SeL4 – a formally verified, capability-based microkernelsel4.systems6 points·by wh313·3 months ago·4 comments
wh313·5 years ago·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.