| 1. | | Postcards from the Peak of Complexity by Brian Goetz (youtube.com) |
|
3 points by pron 6 months ago | past
|
|
| 2. | | Project Babylon – Code Reflection in Java (youtube.com) |
|
1 point by pron 8 months ago | past
|
|
| 3. | | The Rich Are Crazier Than You and Me (nytimes.com) |
|
5 points by pron on July 16, 2023 | past
|
|
| 4. | | Blood and the Machine: The Return of Reactionary Modernism (johnganz.substack.com) |
|
1 point by pron on June 21, 2023 | past
|
|
| 5. | | The End of Silicon Valley? (johnganz.substack.com) |
|
2 points by pron on April 7, 2023 | past
|
|
| 6. | | Sleeping Soundly with the Help of TLA+ (oracle.com) |
|
1 point by pron on Oct 21, 2022 | past
|
|
| 7. | | Selectively Shifting and Constraining Computation in Java (openjdk.org) |
|
4 points by pron on Oct 13, 2022 | past
|
|
| 8. | | Distributed systems showdown – TLA+ vs. real code (youtube.com) |
|
1 point by pron on Jan 7, 2022 | past
|
|
| 9. | | TLA+: Viewed from 40k Feet and Ground Level (youtube.com) |
|
6 points by pron on Aug 23, 2021 | past
|
|
| 10. | | The Business Costs of Technical Debt [pdf] (codescene.com) |
|
3 points by pron on March 6, 2021 | past
|
|
| 11. | | The First Zig Website Redesign (kristoff.it) |
|
3 points by pron on Jan 14, 2021 | past
|
|
| 12. | | The Argument Against Quantum Computers – A Very Short Introduction (gilkalai.wordpress.com) |
|
7 points by pron on Dec 29, 2020 | past
|
|
| 13. | | A Formal Model of Cache Speculation Side-Channels (youtube.com) |
|
3 points by pron on Oct 16, 2020 | past
|
|
| 14. | | A Formal Model of Cache Speculation Side-Channels (youtu.be) |
|
3 points by pron on Oct 2, 2020 | past
|
|
| 15. | | Zig Live Coding: Self-Hosted Incremental Compilation Debug Info (youtu.be) |
|
2 points by pron on Aug 5, 2020 | past
|
|
| 16. | | 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
|
|
| 17. | | TLA+ for Startups (Part 2) (medium.com/koodoo) |
|
5 points by pron on Dec 10, 2019 | past
|
|
| 18. | | TLA+ for Startups (Part 1) (medium.com/koodoo) |
|
2 points by pron on Dec 9, 2019 | past
|
|
| 19. | | The Paxos Algorithm, or How to Win a Turing Award (lamport.azurewebsites.net) |
|
328 points by pron on Aug 30, 2019 | past | 83 comments
|
|
| 20. | | Wait A Minute (theatlantic.com) |
|
1 point by pron on Aug 5, 2019 | past
|
|
| 21. | | If You’re Not Writing a Program, Don’t Use a Programming Language (eatcs.org) |
|
4 points by pron on June 30, 2019 | past
|
|
| 22. | | PraxisLIVE – a visual live programming environment (praxislive.org) |
|
2 points by pron on May 7, 2019 | past
|
|
| 23. | | Formal Specification Applied, with TLA+ (youtu.be) |
|
1 point by pron on March 8, 2019 | past
|
|
| 24. | | Building a “Simple” Distributed System – Formal Verification (jack-vanlightly.com) |
|
151 points by pron on Jan 29, 2019 | past | 9 comments
|
|
| 25. | | Cliff Click – Lessons from a Big Data Machine Learning Startup (youtube.com) |
|
2 points by pron on July 26, 2018 | past
|
|
| 26. | | Known Unknowns (harpers.org) |
|
66 points by pron on June 30, 2018 | past | 23 comments
|
|
| 27. | | Engineered for Dystopia (thebaffler.com) |
|
1 point by pron on Jan 28, 2018 | past
|
|
| 28. | | A History of Computation, Logic and Algebra (pron.github.io) |
|
4 points by pron on Jan 19, 2018 | past
|
|
| 29. | | TLA+ Spec of a simplified part of MongoDB replication system (github.com/visualzhou) |
|
3 points by pron on Oct 17, 2017 | past
|
|
| 30. | | Tackling Concurrency Bugs with TLA+ (youtube.com) |
|
7 points by pron on Oct 3, 2017 | past | 1 comment
|
|
|
|
More |
