SeL4 – a formally verified, capability-based microkernelsel4.systems6 points·by wh313·há 3 meses·4 comments
wh313·há 5 anos·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.