| 1. | | Teaching Program Verification in Dafny at Amazon (2023) (dafny.org) |
| 61 points by Jtsummers 7 months ago | 20 comments |
|
| 2. | | Lessons from open source in the Mexican government (lwn.net) |
| 328 points by signa11 9 months ago | 95 comments |
|
| 3. | | Looking for a Job Is Tough (kaplich.me) |
| 184 points by skaplich on Nov 14, 2024 | 276 comments |
|
| 4. | | AWS Creates New Policy-Based Access Control Language Cedar (infoq.com) |
| 82 points by msolujic on Feb 20, 2023 | 83 comments |
|
| 5. | | Epsilon: The JDK’s Do-Nothing Garbage Collector (oracle.com) |
| 141 points by based2 on Dec 8, 2019 | 75 comments |
|
| 6. | | Building a highly-available web service without a database (screenshotbot.io) |
| 287 points by tdrhq on Aug 10, 2024 | 178 comments |
|
| 7. | | Lean Book: The Hitchhiker's Guide to Logical Verification [pdf] (github.com/blanchette) |
| 177 points by kevinbuzzard on April 6, 2020 | 19 comments |
|
| 8. | | Launch HN: Electric Air (YC W23) – Heat pump sold directly to homeowners |
| 927 points by cmui on March 13, 2023 | 789 comments |
|
| 9. | | TabFS – a browser extension that mounts the browser tabs as a filesystem (omar.website) |
| 1033 points by pps on Feb 18, 2023 | 193 comments |
|
| 10. | | Search through historical cookbooks dating back to the Middle Ages (thesifter.org) |
| 100 points by stiray on Feb 16, 2023 | 34 comments |
|
| 11. | | British Rail’s short experiment with travelling pubs (2020) (ianvisits.co.uk) |
| 91 points by zeristor on Feb 9, 2023 | 76 comments |
|
| 12. | | Ask HN: How do you test SQL? |
| 663 points by pcarolan on Jan 31, 2023 | 315 comments |
|
| 13. | | Ask HN: What's the best lecture series you've seen? |
| 777 points by cauliflower99 on Jan 31, 2023 | 271 comments |
|
| 14. | | Architecture diagrams should be code (brianmckenna.org) |
| 317 points by todsacerdoti on Jan 10, 2023 | 184 comments |
|
| 15. | | Conc: Better Structured Concurrency for Go (github.com/sourcegraph) |
| 254 points by aurame420 on Jan 11, 2023 | 154 comments |
|
| 16. | | Production Twitter on one machine? 100Gbps NICs and NVMe are fast (thume.ca) |
| 776 points by trishume on Jan 7, 2023 | 477 comments |
|
| 17. | | Donald Knuth’s Christmas Lecture (2022) [video] (youtube.com) |
| 155 points by yllan on Dec 25, 2022 | 14 comments |
|
| 18. | | Ask HN: How do I learn to communicate effectively? |
| 132 points by curious16 on Oct 5, 2022 | 72 comments |
|
| 19. | | Launch HN: Astro (YC W21) – Build your own dev teams in Latin America |
| 164 points by FrankLicea on June 22, 2022 | 142 comments |
|
| 20. | | If founders treated investors the way they treat employees (rajivprab.com) |
| 347 points by yodon on April 20, 2022 | 167 comments |
|
| 21. | | You Promised Me Mars Colonies but I Got Facebook (linkedin.com) |
| 221 points by rahimnathwani on Nov 16, 2019 | 223 comments |
|
| 22. | | How to learn compilers: LLVM Edition (lowlevelbits.org) |
| 150 points by ingve on Nov 5, 2021 | 1 comment |
|
| 23. | | Doing a math assignment with the Lean theorem prover (ahelwer.ca) |
| 141 points by ahelwer on April 6, 2020 | 29 comments |
|
| 24. | | IRS records reveal how the wealthiest avoid income tax (propublica.org) |
| 1031 points by danso on June 8, 2021 | 967 comments |
|
| 25. | | Amazon's Controversial 'Hire to Fire' Practice Reveals a Truth About Management (inc.com) |
| 335 points by thunderbong on June 3, 2021 | 200 comments |
|
| 26. | | Types of Legal Argument (philosophicaldisquisitions.blogspot.com) |
| 102 points by objections on April 27, 2021 | 20 comments |
|
| 27. | | First tax year with Stripe Atlas (tryhexadecimal.com) |
| 202 points by jmstfv on Aug 26, 2020 | 165 comments |
|
| 28. | | MacOS Catalina: Slow by Design? (macromates.com) |
| 2031 points by jrk on May 22, 2020 | 998 comments |
|
| 29. | | Jepsen Disputes MongoDB's Data Consistency Claims (infoq.com) |
| 791 points by anarchyrucks on May 23, 2020 | 399 comments |
|
| 30. | | How coffee took over the world (theatlantic.com) |
| 167 points by neonate on March 19, 2020 | 146 comments |
|
|
| More |
