| 1. | | [flagged] Trump's likely FCC chair wrote Project 2025 chapter on how he'd run the agency (arstechnica.com) |
|
120 points by Jtsummers 25 days ago | past | 149 comments
|
|
| 2. | | The Debugging Book (debuggingbook.org) |
|
2 points by Jtsummers 31 days ago | past
|
|
| 3. | | We're Entering Uncharted Territory for Math (theatlantic.com) |
|
6 points by Jtsummers 59 days ago | past | 4 comments
|
|
| 4. | | Static Program Analysis [pdf] (au.dk) |
|
2 points by Jtsummers 86 days ago | past
|
|
| 5. | | Researchers hack electronic shifters with a few hundred dollars of hardware (wired.com) |
|
6 points by Jtsummers 3 months ago | past | 1 comment
|
|
| 6. | | Soundness and Completeness: Defined with Precision (2019) (acm.org) |
|
1 point by Jtsummers 4 months ago | past
|
|
| 7. | | Agile Manifesto co-author blasts failure rates report (theregister.com) |
|
4 points by Jtsummers 4 months ago | past
|
|
| 8. | | ICFP Contest 2024 (icfpcontest2024.github.io) |
|
2 points by Jtsummers 5 months ago | past | 1 comment
|
|
| 9. | | New heroes of spaceflight: Not the astronauts but the software nerds (washingtonpost.com) |
|
15 points by Jtsummers 5 months ago | past | 4 comments
|
|
| 10. | | New heroes of spaceflight: Not the astronauts but the software nerds (washingtonpost.com) |
|
6 points by Jtsummers 5 months ago | past | 1 comment
|
|
| 11. | | Automata via Macros (2006) (brown.edu) |
|
20 points by Jtsummers 6 months ago | past | 6 comments
|
|
| 12. | | The surprise is not that Boeing lost commercial crew but that it finished at all (arstechnica.com) |
|
18 points by Jtsummers 7 months ago | past | 3 comments
|
|
| 13. | | IT Doesn't Matter (hbr.org) |
|
4 points by Jtsummers 7 months ago | past | 1 comment
|
|
| 14. | | How to Specify It: A Guide to Writing Properties of Pure Functions (2020) [pdf] (chalmers.se) |
|
3 points by Jtsummers 8 months ago | past
|
|
| 15. | | TDD's Missing Skill: Behavioral Composition (tidyfirst.substack.com) |
|
2 points by Jtsummers 8 months ago | past
|
|
| 16. | | Automate Your Way to Better Code: Advanced Property Tests [video] (youtube.com) |
|
2 points by Jtsummers 9 months ago | past
|
|
| 17. | | On the Design and Development of Program Families (1976) [pdf] (msu.edu) |
|
1 point by Jtsummers 9 months ago | past
|
|
| 18. | | Nobody ever gets credit for fixing problems that never happened (2001) [pdf] (web.mit.edu) |
|
1031 points by Jtsummers 9 months ago | past | 424 comments
|
|
| 19. | | The Apple Vision Pro is spectacular and sad (theatlantic.com) |
|
78 points by Jtsummers 10 months ago | past | 88 comments
|
|
| 20. | | An Incremental Approach to Compiler Construction (2006) [pdf] (uchicago.edu) |
|
2 points by Jtsummers 10 months ago | past
|
|
| 21. | | The strengths of the academic enterprise (1994) (utexas.edu) |
|
1 point by Jtsummers 11 months ago | past
|
|
| 22. | | A full online version of Object-Oriented Software Construction, 2nd Ed. (1997) (bertrandmeyer.com) |
|
1 point by Jtsummers 11 months ago | past
|
|
| 23. | | FAQ Sheet on Feature Interaction (2004) (pamelazave.com) |
|
1 point by Jtsummers on Oct 16, 2023 | past
|
|
| 24. | | Local-first software: You own your data, in spite of the cloud (2019) (inkandswitch.com) |
|
227 points by Jtsummers on Oct 2, 2023 | past | 50 comments
|
|
| 25. | | An Air Force sergeant spotted pulsars months before astronomers (arstechnica.com) |
|
4 points by Jtsummers on Aug 1, 2023 | past
|
|
| 26. | | How do we tell truths that might hurt? (1975) (utexas.edu) |
|
2 points by Jtsummers on July 31, 2023 | past
|
|
| 27. | | How Did Software Get So Reliable Without Proof? (1996) [pdf] (springer.com) |
|
3 points by Jtsummers on July 24, 2023 | past | 1 comment
|
|
| 28. | | Computation and State Machines (2008) [pdf] (lamport.azurewebsites.net) |
|
80 points by Jtsummers on July 12, 2023 | past | 37 comments
|
|
| 29. | | Logic Programming is Underrated (2013) (swannodette.github.io) |
|
4 points by Jtsummers on June 2, 2023 | past | 1 comment
|
|
| 30. | | Programming Pearls: A Literate Program (1986) [pdf] (acm.org) |
|
2 points by Jtsummers on May 14, 2023 | past
|
|
|
|
More |
