circle arrow icon
A Formal Proof of Complexity Bounds on Diophantine Equations
By: badmonster 1 day ago
GrapheneOS: Where Licenses Matter More Than People
By: marvinborner 4 hours ago
Show HN: High-resolution surface analysis with Lidar data
By: folli 3 days ago
John Carmack talk at Upper Bound 2025
By: tosh 2 days ago
Disabling kernel functions in your process (2009)
By: rolph 4 days ago
Ask HN: Selling software to company I work for as an employee
By: apohak 4 days ago
Designing type inference for high quality type errors
By: PaulHoule 5 days ago
Beyond Semantics: Unreasonable Effectiveness of Reasonless Intermediate Tokens
By: nyrikki 2 days ago
UndoDB – The interactive time travel debugger for Linux C/C++ for debugging
By: droideqa 1 day ago
Use ramoops for logging under Linux (2021)
By: zdw 23 hours ago
− 9 +