SeL4 – a formally verified, capability-based microkernelsel4.systems6 points·by wh313·قبل 3 أشهر·4 comments
wh313·قبل 5 سنوات·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.