| 1. | | Paul Krugman: Talking with Gabriel Zucman (youtube.com) |
| 3 points by pron 12 days ago | past | discuss |
|
| 2. | | Towards Language Model Guided TLA+ Proof Automation (arxiv.org) |
| 4 points by pron 30 days ago | past |
|
| 3. | | Keynote: Industry GC Insights from OpenJDK (youtube.com) |
| 1 point by pron 5 months ago | past |
|
| 4. | | Two AIs Compete at Variant Sudoku [video] (youtube.com) |
| 1 point by pron 8 months ago | past |
|
| 5. | | Postcards from the Peak of Complexity by Brian Goetz (youtube.com) |
| 3 points by pron on Oct 10, 2024 | past |
|
| 6. | | Project Babylon – Code Reflection in Java (youtube.com) |
| 1 point by pron on Aug 16, 2024 | past |
|
| 7. | | The Rich Are Crazier Than You and Me (nytimes.com) |
| 5 points by pron on July 16, 2023 | past |
|
| 8. | | Blood and the Machine: The Return of Reactionary Modernism (johnganz.substack.com) |
| 1 point by pron on June 21, 2023 | past |
|
| 9. | | The End of Silicon Valley? (johnganz.substack.com) |
| 2 points by pron on April 7, 2023 | past |
|
| 10. | | Sleeping Soundly with the Help of TLA+ (oracle.com) |
| 1 point by pron on Oct 21, 2022 | past |
|
| 11. | | Selectively Shifting and Constraining Computation in Java (openjdk.org) |
| 4 points by pron on Oct 13, 2022 | past |
|
| 12. | | Distributed systems showdown – TLA+ vs. real code (youtube.com) |
| 1 point by pron on Jan 7, 2022 | past |
|
| 13. | | TLA+: Viewed from 40k Feet and Ground Level (youtube.com) |
| 6 points by pron on Aug 23, 2021 | past |
|
| 14. | | The Business Costs of Technical Debt [pdf] (codescene.com) |
| 3 points by pron on March 6, 2021 | past |
|
| 15. | | The First Zig Website Redesign (kristoff.it) |
| 3 points by pron on Jan 14, 2021 | past |
|
| 16. | | The Argument Against Quantum Computers – A Very Short Introduction (gilkalai.wordpress.com) |
| 7 points by pron on Dec 29, 2020 | past |
|
| 17. | | A Formal Model of Cache Speculation Side-Channels (youtube.com) |
| 3 points by pron on Oct 16, 2020 | past |
|
| 18. | | A Formal Model of Cache Speculation Side-Channels (youtu.be) |
| 3 points by pron on Oct 2, 2020 | past |
|
| 19. | | Zig Live Coding: Self-Hosted Incremental Compilation Debug Info (youtu.be) |
| 2 points by pron on Aug 5, 2020 | past |
|
| 20. | | A walkthrough tutorial of TLA+ and its tools: analyzing a blocking queue (github.com/lemmy) |
| 213 points by pron on March 5, 2020 | past | 6 comments |
|
| 21. | | TLA+ for Startups (Part 2) (medium.com/koodoo) |
| 5 points by pron on Dec 10, 2019 | past |
|
| 22. | | TLA+ for Startups (Part 1) (medium.com/koodoo) |
| 2 points by pron on Dec 9, 2019 | past |
|
| 23. | | The Paxos Algorithm, or How to Win a Turing Award (lamport.azurewebsites.net) |
| 328 points by pron on Aug 30, 2019 | past | 83 comments |
|
| 24. | | Wait A Minute (theatlantic.com) |
| 1 point by pron on Aug 5, 2019 | past |
|
| 25. | | If You’re Not Writing a Program, Don’t Use a Programming Language (eatcs.org) |
| 4 points by pron on June 30, 2019 | past |
|
| 26. | | PraxisLIVE – a visual live programming environment (praxislive.org) |
| 2 points by pron on May 7, 2019 | past |
|
| 27. | | Formal Specification Applied, with TLA+ (youtu.be) |
| 1 point by pron on March 8, 2019 | past |
|
| 28. | | Building a “Simple” Distributed System – Formal Verification (jack-vanlightly.com) |
| 151 points by pron on Jan 29, 2019 | past | 9 comments |
|
| 29. | | Cliff Click – Lessons from a Big Data Machine Learning Startup (youtube.com) |
| 2 points by pron on July 26, 2018 | past |
|
| 30. | | Known Unknowns (harpers.org) |
| 66 points by pron on June 30, 2018 | past | 23 comments |
|
|
| More |
