| 1. | | Ask HN: How do you deal with eye strain as a developer? |
| 7 points by deterministic 51 days ago | past | 10 comments |
|
| 2. | | New Navy Device Learns by Doing (1958) (nytimes.com) |
| 1 point by deterministic 5 months ago | past | 1 comment |
|
| 3. | | When Computers Write Proofs, What's the Point of Mathematicians? (youtube.com) |
| 2 points by deterministic 11 months ago | past |
|
| 4. | | The Hylo Programming Language (hylo-lang.org) |
| 4 points by deterministic on Dec 11, 2024 | past |
|
| 5. | | Fat: Why It Matters and What to Do About It (youtube.com) |
| 1 point by deterministic on Nov 12, 2024 | past |
|
| 6. | | HACL: A High-Assurance Cryptographic Library (github.com/hacl-star) |
| 2 points by deterministic on June 10, 2024 | past | 1 comment |
|
| 7. | | Milawa is a "self-verifying" theorem prover for an ACL2-like logic (utexas.edu) |
| 2 points by deterministic on June 10, 2024 | past | 1 comment |
|
| 8. | | How to Build a Satellite (youtube.com) |
| 6 points by deterministic on June 1, 2024 | past |
|
| 9. | | Book notes: A Philosophy of Software Design (2021) (danlebrero.com) |
| 1 point by deterministic on Dec 19, 2023 | past |
|
| 10. | | Unity Backtracking (twitter.com/unity) |
| 4 points by deterministic on Sept 18, 2023 | past | 2 comments |
|
| 11. | | How Amazon built Cedar with automated reasoning (amazon.science) |
| 2 points by deterministic on June 30, 2023 | past | 1 comment |
|
| 12. | | Interview with an Emacs Enthusiast in 2023 (youtube.com) |
| 3 points by deterministic on June 29, 2023 | past |
|
| 13. | | Thorium Molten Salt Reactors (youtube.com) |
| 2 points by deterministic on June 19, 2023 | past | 2 comments |
|
| 14. | | Theorem Proving in Lean 4 (leanprover.github.io) |
| 4 points by deterministic on June 19, 2023 | past |
|
| 15. | | An Introduction to Model-Based Systems Engineering (MBSE) (cmu.edu) |
| 4 points by deterministic on June 4, 2023 | past |
|
| 16. | | Kevin Buzzard: The rise of formalism in mathematics (youtube.com) |
| 2 points by deterministic on June 3, 2023 | past |
|
| 17. | | Constructor Theory of Information (2014) (arxiv.org) |
| 1 point by deterministic on March 13, 2023 | past |
|
| 18. | | Forty-Five Things I Learned in the Gulag (2018) (theparisreview.org) |
| 3 points by deterministic on March 2, 2023 | past |
|
| 19. | | Replatform in a Year or Die: The Tale of a Turnaround (2021) (youtube.com) |
| 1 point by deterministic on Feb 26, 2023 | past |
|
| 20. | | Ask HN: Best Laptop for Development? |
| 2 points by deterministic on Feb 24, 2023 | past | 5 comments |
|
| 21. | | FastVer2: A Provably Correct Monitor for Concurrent, Key-Value Stores (2022) [pdf] (fstar-lang.org) |
| 2 points by deterministic on Feb 7, 2023 | past |
|
| 22. | | Day in the Life of a Japanese Game Designer (youtube.com) |
| 1 point by deterministic on Jan 14, 2023 | past |
|
| 23. | | Why Are There So Many Stupid People? (youtube.com) |
| 2 points by deterministic on Jan 13, 2023 | past |
|
| 24. | | House of Dreams (AI movie trailer) (youtube.com) |
| 2 points by deterministic on Dec 22, 2022 | past |
|
| 25. | | Type Theory (As a Foundation of Math) (wikipedia.org) |
| 4 points by deterministic on Dec 19, 2022 | past |
|
| 26. | | No to AI Generated Images (artstation.com) |
| 2 points by deterministic on Dec 14, 2022 | past | 2 comments |
|
| 27. | | [flagged] Sexual Economics [pdf] (2004) (umn.edu) |
| 55 points by deterministic on Dec 8, 2022 | past | 18 comments |
|
| 28. | | How Finland Ended Homelessness (2021) (youtube.com) |
| 2 points by deterministic on Nov 26, 2022 | past |
|
| 29. | | AI Music Generator (soundraw.io) |
| 127 points by deterministic on Nov 24, 2022 | past | 37 comments |
|
| 30. | | Ask HN: What is your preferred *production* C++ web server framework/library? |
| 1 point by deterministic on Nov 23, 2022 | past |
|
|
| More |
