SeL4 – a formally verified, capability-based microkernelsel4.systems6 points·by wh313·vor 3 Monaten·4 comments
wh313·vor 5 Jahren·discussMy Aeropress coffee maker. It feels more convenient than a french press, and much cheaper than an espresso machine.https://aeropress.com/Also a bidet. Americans really need to start using it more.
https://aeropress.com/
Also a bidet. Americans really need to start using it more.