The Hitchhiker’s Guide to Logical Verification [pdf]
2022-12-21
Interview with Martin Hellman of Diffie-Hellman Fame (2004)
2022-12-21
A Low-Latency Garbage Collector for the Glasgow Haskell Compiler (2020) [pdf]
2022-12-20
'Stop Stealing Sheep–Find Out How Type Works'–free download newly updated 4th ed [pdf]
2022-12-20
How to Read a Paper [pdf]
2022-12-20
Studio Display – Repair Manual [pdf]
2022-12-20
Using ChatGPT to extract invoice lines from a complex PDF file
2022-12-20
Show HN: Textra – extract text from images, PDFs, and audio (Mac CLI tool)
2022-12-20
US National Security Strategy [pdf]
2022-12-20
The Origins of Objective-C at PPI/Stepstone and Its Evolution at Next
2022-12-20