| 1. | | Reconstructing Concurrency Invariants Through Medieval East Asian Logic (oborona.zip) |
| 18 points by gg582 2 days ago | 5 comments |
|
| 2. | | Show HN: Galois connections for composable numeric casts in Rust (github.com/cmk) |
| 31 points by partialsolve 58 days ago | 3 comments |
|
| 3. | | Grok Build is open source (github.com/xai-org) |
| 590 points by skp1995 59 days ago | 643 comments |
|
| 4. | | Eurydice: a Rust to C compiler (protzenko.fr) |
| 189 points by todsacerdoti 9 months ago | 123 comments |
|
| 5. | | TPU Deep Dive (henryhmko.github.io) |
| 451 points by transpute on June 22, 2025 | 86 comments |
|
| 6. | | Odin, a pragmatic C alternative with a Go flavour (bitshifters.cc) |
| 144 points by hmac1282 on May 9, 2025 | 128 comments |
|
| 7. | | I designed my LED matrix PCB with code (tscircuit.com) |
| 104 points by imrishabh18 on April 25, 2025 | 64 comments |
|
| 8. | | Verus: Verified Rust for low-level systems code (github.com/secure-foundations) |
| 158 points by mmcloughlin on April 20, 2025 | 48 comments |
|
| 9. | | Why is C the symbol for the speed of light? (2004) (ucr.edu) |
| 143 points by fanf2 on March 25, 2025 | 121 comments |
|
| 10. | | Cyber Security: A pre-war reality check (berthub.eu) |
| 593 points by edent on May 18, 2024 | 278 comments |
|
| 11. | | Ask HN: Best open source and/or free EDA tooling |
| 123 points by lelanthran on Jan 28, 2024 | 67 comments |
|
| 12. | | Lessons from building GitHub code search [video] (youtube.com) |
| 256 points by costco on Dec 14, 2023 | 100 comments |
|
| 13. | | FCC enforces first space debris penalty in $150k settlement with Dish (cnbc.com) |
| 40 points by pseudolus on Oct 2, 2023 | 1 comment |
|
| 14. | | Intel Arc A580 could be the next great affordable GPU (techradar.com) |
| 160 points by mikece on Aug 3, 2023 | 220 comments |
|
| 15. | | [flagged] Revert for jart’s llama.cpp MMAP miracles (github.com/ggerganov) |
| 86 points by mmoustafa on April 2, 2023 | 86 comments |
|
| 16. | | Towards a More Open Secure Element Chip (bunniestudios.com) |
| 214 points by zdw on Dec 20, 2022 | 69 comments |
|
| 17. | | A Compiler Writing Playground (i-programmer.info) |
| 120 points by weatherlight on Nov 26, 2022 | 9 comments |
|
| 18. | | With Old Traditions and New Tech, Young Inuit Chart Their Changing Landscape (hakaimagazine.com) |
| 30 points by Thevet on Sept 5, 2022 |
|
| 19. | | Catching Sanitizer Errors Programmatically (lemire.me) |
| 48 points by greghn on Aug 22, 2022 | 2 comments |
|
| 20. | | A conference about software you can love (kristoff.it) |
| 52 points by todsacerdoti on May 27, 2022 | 16 comments |
|
| 21. | | RISC-V is succeeding (semiengineering.com) |
| 413 points by PaulHoule on March 1, 2022 | 299 comments |
|
| 22. | | Google rewrites many page titles (zyppy.com) |
| 547 points by cyrusshepard on Jan 26, 2022 | 250 comments |
|
| 23. | | Why is the Gaza Strip blurry on Google Maps? (bbc.com) |
| 1008 points by vanusa on May 17, 2021 | 637 comments |
|
| 24. | | The computers rejecting job applications (bbc.co.uk) |
| 198 points by mnw21cam on Feb 8, 2021 | 251 comments |
|
| 25. | | Gustave – Embedded OS kernel fuzzer (github.com/airbus-seclab) |
| 57 points by aburan28 on Dec 6, 2020 | 4 comments |
|
| 26. | | I reverse engineered McDonalds’ internal API (twitter.com/rashiq) |
| 845 points by swyx on Oct 22, 2020 | 420 comments |
|
| 27. | | Millionaire hacker gets 9 years in death of man building nuclear bunker tunnels (baltimoresun.com) |
| 124 points by bobsil1 on June 18, 2019 | 100 comments |
|
| 28. | | Stanford CS9: Problem-Solving for the CS Technical Interview (stanford.edu) |
| 440 points by master_yoda_1 on Jan 14, 2018 | 286 comments |
|
| 29. | | Vulnerability of Speculative Processors to Cache Timing Side-Channel Mechanism (arm.com) |
| 193 points by subbu88 on Jan 4, 2018 | 60 comments |
|
