| 1. | | First-class custom smart pointers (nadrieril.github.io) |
| 3 points by jmillikin 56 days ago | past |
|
| 2. | | Progress update on Clang's new constant expression interpreter (redhat.com) |
| 2 points by jmillikin 79 days ago | past |
|
| 3. | | Introduction to reverse-engineering vintage synth firmware (ajxs.me) |
| 196 points by jmillikin 81 days ago | past | 27 comments |
|
| 4. | | The biggest semantic mess in Futhark (futhark-lang.org) |
| 63 points by jmillikin 3 months ago | past | 8 comments |
|
| 5. | | Tracking source locations in the Futhark compiler (futhark-lang.org) |
| 43 points by jmillikin 5 months ago | past |
|
| 6. | | Hacking Coroutines into C (wiomoc.de) |
| 160 points by jmillikin 6 months ago | past | 42 comments |
|
| 7. | | Bin2Wrong: A fuzzer for uncovering semantic errors in binary-to-C decompilers [pdf] (utah.edu) |
| 3 points by jmillikin 6 months ago | past |
|
| 8. | | Unsoundness and accidental features in the #[target_feature] attribute (predr.ag) |
| 3 points by jmillikin 6 months ago | past |
|
| 9. | | Using the Internet without IPv4 connectivity (jamesmcm.github.io) |
| 296 points by jmillikin 6 months ago | past | 130 comments |
|
| 10. | | Announcing the Clippy feature freeze (rust-lang.org) |
| 72 points by jmillikin 6 months ago | past | 9 comments |
|
| 11. | | Graduate student develops an A.I.-based approach to restore damaged paintings (smithsonianmag.com) |
| 2 points by jmillikin 6 months ago | past | 1 comment |
|
| 12. | | Plutonium Mountain: The 17-year mission to guard remains of Soviet nuclear tests (2013) (belfercenter.org) |
| 88 points by jmillikin 7 months ago | past | 46 comments |
|
| 13. | | RULECOMPILE - Undocumented Ghidra decompiler rule language (msm.lt) |
| 1 point by jmillikin 7 months ago | past |
|
| 14. | | Rust Any part 3: we have upcasts (pocoo.org) |
| 174 points by jmillikin 9 months ago | past | 76 comments |
|
| 15. | | PeanoScript: TypeScript but It's a Theorem Prover (mjgrzymek.com) |
| 1 point by jmillikin 9 months ago | past |
|
| 16. | | Structured Binding Upgrades in C++26 (biowpn.github.io) |
| 1 point by jmillikin on Dec 5, 2024 | past |
|
| 17. | | Implementing async APIs for microcontroller peripherals (beaurivage.io) |
| 2 points by jmillikin on Dec 3, 2024 | past |
|
| 18. | | Show HN: Idol, an IDL and binary encoding for zero-copy local IPC (github.com/jmillikin) |
| 3 points by jmillikin on Oct 11, 2024 | past | 3 comments |
|
| 19. | | Regalloc III: A new register allocator for Rust's Cranelift back end (d-sonuga.netlify.app) |
| 2 points by jmillikin on Oct 5, 2024 | past |
|
| 20. | | tolower() small string performance (dotat.at) |
| 3 points by jmillikin on Oct 1, 2024 | past |
|
| 21. | | Place expressions and value expressions in Rust (ralfj.de) |
| 1 point by jmillikin on Sept 2, 2024 | past |
|
| 22. | | Rust Dylib Rabbit Holes (davidlattimore.github.io) |
| 63 points by jmillikin on Aug 28, 2024 | past | 13 comments |
|
| 23. | | Extending the #[diagnostic] tool attribute namespace (weiznich.de) |
| 3 points by jmillikin on Aug 2, 2024 | past |
|
| 24. | | Interpreting decimal strings into floats (part 1) (jvernay.fr) |
| 1 point by jmillikin on July 28, 2024 | past |
|
| 25. | | Spider-Man (Neversoft) decompilation project progress checkpoint – July 2024 (krystalgamer.github.io) |
| 2 points by jmillikin on July 28, 2024 | past |
|
| 26. | | The Space Quest II Master Disk Blunder (lanceewing.github.io) |
| 4 points by jmillikin on May 22, 2024 | past |
|
| 27. | | A hybrid approach to semi-automated Rust verification (arxiv.org) |
| 1 point by jmillikin on May 22, 2024 | past |
|
| 28. | | vu128: Efficient variable-length integers (john-millikin.com) |
| 93 points by jmillikin on May 21, 2024 | past | 33 comments |
|
| 29. | | A memory model for Rust code in the kernel (lwn.net) |
| 114 points by jmillikin on April 6, 2024 | past | 11 comments |
|
| 30. | | Multifaceted: The linguistic echo chambers of LLMs (j11y.io) |
| 1 point by jmillikin on Dec 1, 2023 | past |
|
|
| More |