i_don_t_know

Karma: 873
Created: 10 years ago

About

peter dot ilberg at gmail dot com

https://www.linkedin.com/in/peter-ilberg/

Recent Submissions

1. ▲ The Sinclair ZX Spectrum White Edition (heise.de) 2 points · 14 days ago · 3 comments
2. ▲ Lean-TUI for the lean proof assistant (codeberg.org) 2 points · 2 months ago · 0 comments
3. ▲ Fun with Algebraic Effects – From Toy Examples to Hardcaml Simulations (blog.janestreet.com) 4 points · 3 months ago · 0 comments
4. ▲ Archimedes – A Python toolkit for hardware engineering (pinetreelabs.github.io) 126 points · 5 months ago · 15 comments

All submissions on HN · View profile on HN