| 1. | | Coq: The World's Best Macro Assembler? (2013) [pdf] (nickbenton.name) |
| 167 points by addaon 4 months ago | 74 comments |
|
| 2. | | N-Params vs. Single Param (carlos-menezes.com) |
| 37 points by carlos-menezes 12 months ago | 43 comments |
|
| 3. | | Is my vision that bad? No, it's just a bug in Apple's Calculator (wojtczyk.de) |
| 631 points by wojtczyk on Aug 31, 2024 | 395 comments |
|
| 4. | | Git cheat sheet [pdf] (wizardzines.com) |
| 328 points by tambourine_man on May 26, 2024 | 143 comments |
|
| 5. | | Racket Language (racket-lang.org) |
| 276 points by swatson741 on April 21, 2024 | 135 comments |
|
| 6. | | OPML is underrated (kmaasrud.com) |
| 204 points by thunderbong on Feb 10, 2024 | 128 comments |
|
| 7. | | How I write HTTP services in Go after 13 years (grafana.com) |
| 790 points by matryer on Feb 9, 2024 | 241 comments |
|
| 8. | | Where Is OpenCV 5? (opencv.org) |
| 332 points by Tycho87 on Nov 27, 2023 | 138 comments |
|
| 9. | | 'Not of faculty quality': How Penn mistreated Katalin Karikó (thedp.com) |
| 512 points by happy-go-lucky on Oct 27, 2023 | 339 comments |
|
| 10. | | Java 21 Released (openjdk.org) |
| 191 points by mkurz on Sept 19, 2023 | 1 comment |
|
| 11. | | StackOverflow petition to allow removing AI generated content (mousetail.nl) |
| 127 points by miohtama on June 2, 2023 | 114 comments |
|
| 12. | | Improving mathematical reasoning with process supervision (openai.com) |
| 157 points by davidbarker on May 31, 2023 | 58 comments |
|
| 13. | | Can Rust Beat JavaScript in 2023? (joshuamo876.bearblog.dev) |
| 74 points by stmblast on April 21, 2023 | 170 comments |
|
| 14. | | Things I Won't Work With: Azidoazide Azides, More or Less (2013) (science.org) |
| 297 points by ColinWright on Aug 26, 2022 | 86 comments |
|
| 15. | | Map of Reddit (anvaka.github.io) |
| 729 points by penneyd on May 12, 2022 | 119 comments |
|
