tekknolagi
- Karma
- 1,872
- Created
- 15 years ago
About
[ my public key: https://keybase.io/tekknolagi; my proof: https://keybase.io/tekknolagi/sigs/3yeAq3H_gbqDnK8_Il6wEe8ncwrDEkYiZc0ld5NxGIE ]https://bernsteinbear.com
email on website
Recent Submissions
- 1. ▲ A quick look at zero-knowledge proofs (bernsteinbear.com)
- 2. ▲ A quick look at zero-knowledge proofs (bernsteinbear.com)
- 3. ▲ Value Numbering (bernsteinbear.com)
- 4. ▲ The acyclic e-graph: Cranelift's mid-end optimizer (cfallin.org)
- 5. ▲ Value numbering (bernsteinbear.com)
- 6. ▲ ZJIT removes redundant object loads and stores (railsatscale.com)
- 7. ▲ Two mechanisms for dynamic type checks (wingolog.org)
- 8. ▲ The GDB JIT Interface (bernsteinbear.com)
- 9. ▲ Adding Iongraph Support to ZJIT (railsatscale.com)