| 1. | | A quick look at zero-knowledge proofs (bernsteinbear.com) |
| 2 points by tekknolagi 36 days ago | past |
|
| 2. | | A quick look at zero-knowledge proofs (bernsteinbear.com) |
| 4 points by tekknolagi 40 days ago | past | 1 comment |
|
| 3. | | Value Numbering (bernsteinbear.com) |
| 2 points by tekknolagi 5 months ago | past |
|
| 4. | | The acyclic e-graph: Cranelift's mid-end optimizer (cfallin.org) |
| 74 points by tekknolagi 5 months ago | past | 22 comments |
|
| 5. | | Value numbering (bernsteinbear.com) |
| 2 points by tekknolagi 5 months ago | past |
|
| 6. | | ZJIT removes redundant object loads and stores (railsatscale.com) |
| 92 points by tekknolagi 6 months ago | past | 19 comments |
|
| 7. | | Two mechanisms for dynamic type checks (wingolog.org) |
| 1 point by tekknolagi 6 months ago | past |
|
| 8. | | The GDB JIT Interface (bernsteinbear.com) |
| 6 points by tekknolagi 8 months ago | past |
|
| 9. | | Adding Iongraph Support to ZJIT (railsatscale.com) |
| 8 points by tekknolagi 9 months ago | past | 1 comment |
|
| 10. | | Graph Neural Networks for Faster Search (chrisgregory.me) |
| 2 points by tekknolagi 10 months ago | past |
|
| 11. | | ClassDistribution from S6 JIT is neat (bernsteinbear.com) |
| 3 points by tekknolagi on July 2, 2025 | past |
|
| 12. | | Zero-overhead checks with fake stack overflows (bernsteinbear.com) |
| 1 point by tekknolagi on May 29, 2025 | past |
|
| 13. | | Fast Allocations in Ruby 3.5 (railsatscale.com) |
| 267 points by tekknolagi on May 22, 2025 | past | 67 comments |
|
| 14. | | ZJIT has been merged into Ruby (railsatscale.com) |
| 50 points by tekknolagi on May 14, 2025 | past | 6 comments |
|
| 15. | | And Change (pdubroy.github.io) |
| 4 points by tekknolagi on May 9, 2025 | past | 2 comments |
|
| 16. | | Doing the Prospero-Challenge in RPython (pypy.org) |
| 29 points by tekknolagi on April 9, 2025 | past | 2 comments |
|
| 17. | | Nix derivations by hand, without guessing (bernsteinbear.com) |
| 3 points by tekknolagi on April 6, 2025 | past |
|
| 18. | | The Prospero Challenge (mattkeeter.com) |
| 2 points by tekknolagi on March 24, 2025 | past |
|
| 19. | | Optimizing Django by not being silly (bernsteinbear.com) |
| 2 points by tekknolagi on March 23, 2025 | past |
|
| 20. | | Representing Type Lattices Compactly (bernsteinbear.com) |
| 87 points by tekknolagi on March 11, 2025 | past | 27 comments |
|
| 21. | | Interprocedural sparse conditional type propagation (railsatscale.com) |
| 2 points by tekknolagi on Feb 25, 2025 | past |
|
| 22. | | A Compiler IR for Scrapscript (bernsteinbear.com) |
| 5 points by tekknolagi on Feb 5, 2025 | past |
|
| 23. | | Weak references and garbage collectors (bernsteinbear.com) |
| 3 points by tekknolagi on Jan 4, 2025 | past |
|
| 24. | | Baby's Second Garbage Collector (jennyjams.net) |
| 2 points by tekknolagi on Nov 22, 2024 | past |
|
| 25. | | Abstract Interpretation in the Toy Optimizer (bernsteinbear.com) |
| 2 points by tekknolagi on July 25, 2024 | past |
|
| 26. | | Some Tricks from the Scrapscript Compiler (bernsteinbear.com) |
| 2 points by tekknolagi on July 12, 2024 | past |
|
| 27. | | Vectorizing ML Models for Fun (bernsteinbear.com) |
| 1 point by tekknolagi on Feb 19, 2024 | past | 1 comment |
|
| 28. | | Cado: Python notebook IDE with a focus on reactivity (github.com/gregorybchris) |
| 4 points by tekknolagi on Nov 28, 2023 | past | 1 comment |
|
| 29. | | A quick look at destination-driven code generation (bernsteinbear.com) |
| 60 points by tekknolagi on Nov 10, 2023 | past | 10 comments |
|
| 30. | | Compiling ML models to C for fun (bernsteinbear.com) |
| 3 points by tekknolagi on Sept 21, 2023 | past |
|
|
| More |
