i_don_t_know
- Karma
- 873
- Created
- 10 years ago
About
peter dot ilberg at gmail dot comhttps://www.linkedin.com/in/peter-ilberg/
Recent Submissions
- 1. ▲ The Sinclair ZX Spectrum White Edition (heise.de)
- 2. ▲ Lean-TUI for the lean proof assistant (codeberg.org)
- 3. ▲ Fun with Algebraic Effects – From Toy Examples to Hardcaml Simulations (blog.janestreet.com)
- 4. ▲ Archimedes – A Python toolkit for hardware engineering (pinetreelabs.github.io)