Oni
An IDE powered by Neovim
A Primer on Separation Logic (Automatic Program Verification and Analysis)(2011) [pdf]
2021-06-27
Hackers hit 10k mailboxes in phishing attacks on FedEx and DHL Express
2021-06-27
Book Review – Unix: A History and a Memoir
2021-06-27
Ask HN: Smartphone As Exclusive Word-Processor Device? (& Pinephone)
2021-06-27
Schools Are Spying on Students – But Students Can Fight Back
2021-06-27
Ask HN: Resources on learning how to build a web server framework?
2021-06-27
The Death of Beautiful Rendition and 3D Pop on Modern Lenses (2017)
2021-06-27
San Francisco Chronicle: 'The Covid lab leak theory is still probably wrong'
2021-06-27
The Libera.Chat split 1 month later, summed up in one graph
2021-06-27
Ask HN: Shorter back-end programming path to gainful employment?
2021-06-27
