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