i_don_t_know

Karma: 864
Created: 10 years ago

About

peter dot ilberg at gmail dot com

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

Recent Submissions

1. ▲ Lean-TUI for the lean proof assistant (codeberg.org) 2 points · 24 days ago · 0 comments
2. ▲ Fun with Algebraic Effects – From Toy Examples to Hardcaml Simulations (blog.janestreet.com) 4 points · 2 months ago · 0 comments
3. ▲ Archimedes – A Python toolkit for hardware engineering (pinetreelabs.github.io) 126 points · 4 months ago · 15 comments
4. ▲ Why higher-order logic is a good formalisation for hardware (cl.cam.ac.uk) 1 point · 4 months ago · 1 comment

All submissions on HN · View profile on HN