| 1. | | Rust Any part 3: we have upcasts (pocoo.org) |
|
174 points by jmillikin 9 days ago | past | 76 comments
|
|
| 2. | | PeanoScript: TypeScript but It's a Theorem Prover (mjgrzymek.com) |
|
1 point by jmillikin 18 days ago | past
|
|
| 3. | | Structured Binding Upgrades in C++26 (biowpn.github.io) |
|
1 point by jmillikin 4 months ago | past
|
|
| 4. | | Implementing async APIs for microcontroller peripherals (beaurivage.io) |
|
2 points by jmillikin 4 months ago | past
|
|
| 5. | | Show HN: Idol, an IDL and binary encoding for zero-copy local IPC (github.com/jmillikin) |
|
3 points by jmillikin 5 months ago | past | 3 comments
|
|
| 6. | | Regalloc III: A new register allocator for Rust's Cranelift back end (d-sonuga.netlify.app) |
|
2 points by jmillikin 6 months ago | past
|
|
| 7. | | tolower() small string performance (dotat.at) |
|
3 points by jmillikin 6 months ago | past
|
|
| 8. | | Place expressions and value expressions in Rust (ralfj.de) |
|
1 point by jmillikin 7 months ago | past
|
|
| 9. | | Rust Dylib Rabbit Holes (davidlattimore.github.io) |
|
63 points by jmillikin 7 months ago | past | 13 comments
|
|
| 10. | | Extending the #[diagnostic] tool attribute namespace (weiznich.de) |
|
3 points by jmillikin 8 months ago | past
|
|
| 11. | | Interpreting decimal strings into floats (part 1) (jvernay.fr) |
|
1 point by jmillikin 8 months ago | past
|
|
| 12. | | Spider-Man (Neversoft) decompilation project progress checkpoint – July 2024 (krystalgamer.github.io) |
|
2 points by jmillikin 8 months ago | past
|
|
| 13. | | The Space Quest II Master Disk Blunder (lanceewing.github.io) |
|
4 points by jmillikin 10 months ago | past
|
|
| 14. | | A hybrid approach to semi-automated Rust verification (arxiv.org) |
|
1 point by jmillikin 10 months ago | past
|
|
| 15. | | vu128: Efficient variable-length integers (john-millikin.com) |
|
93 points by jmillikin 10 months ago | past | 33 comments
|
|
| 16. | | A memory model for Rust code in the kernel (lwn.net) |
|
114 points by jmillikin on April 6, 2024 | past | 11 comments
|
|
| 17. | | Multifaceted: The linguistic echo chambers of LLMs (j11y.io) |
|
1 point by jmillikin on Dec 1, 2023 | past
|
|
| 18. | | Single Abstract Method Traits (mcyoung.xyz) |
|
1 point by jmillikin on May 13, 2023 | past
|
|
| 19. | | Show HN: WebGPU Rotating Cube (john-millikin.com) |
|
2 points by jmillikin on May 6, 2023 | past
|
|
| 20. | | Talking about WebGPU (cohost.org) |
|
6 points by jmillikin on May 2, 2023 | past | 1 comment
|
|
| 21. | | Releasing Systrap – A high-performance gVisor platform (gvisor.dev) |
|
3 points by jmillikin on April 29, 2023 | past
|
|
| 22. | | GCC 13 and the State of Gccrs (rust-gcc.github.io) |
|
154 points by jmillikin on April 25, 2023 | past | 96 comments
|
|
| 23. | | Improving messages and types in GDB’s Python API (trailofbits.com) |
|
2 points by jmillikin on April 18, 2023 | past
|
|
| 24. | | How should we use chess engines? (maltliquidity.substack.com) |
|
1 point by jmillikin on April 18, 2023 | past
|
|
| 25. | | Adapting Curl to use Rustls (insufficient.coffee) |
|
2 points by jmillikin on April 17, 2023 | past
|
|
| 26. | | Plain C API design, the real world Kobayashi Maru test (nibblestew.blogspot.com) |
|
143 points by jmillikin on April 16, 2023 | past | 76 comments
|
|
| 27. | | Improved UNIX socket networking in QEMU 7.2 (john-millikin.com) |
|
2 points by jmillikin on April 11, 2023 | past
|
|
| 28. | | There is no truth in business, only knowledge (commoncog.com) |
|
3 points by jmillikin on April 4, 2023 | past
|
|
| 29. | | Near-lossless image formats using LZ codecs (richg42.blogspot.com) |
|
3 points by jmillikin on April 2, 2023 | past
|
|
| 30. | | The mouth-watering world of NIST standard foods (2020) (hackaday.com) |
|
2 points by jmillikin on March 30, 2023 | past
|
|
|
|
More |
