i_don_t_know

Karma: 848
Created: 10 years ago

About

peter dot ilberg at gmail dot com

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

Recent Submissions

1. ▲ Fun with Algebraic Effects – From Toy Examples to Hardcaml Simulations (blog.janestreet.com) 4 points · 24 days ago · 0 comments
2. ▲ Archimedes – A Python toolkit for hardware engineering (pinetreelabs.github.io) 126 points · 2 months ago · 15 comments
3. ▲ Why higher-order logic is a good formalisation for hardware (cl.cam.ac.uk) 1 point · 2 months ago · 1 comment
4. ▲ Algorithms for Optimization (second edition preview) [pdf] (algorithmsbook.com) 3 points · 5 months ago · 1 comment
5. ▲ The Quanta Podcast (quantamagazine.org) 1 point · 8 months ago · 0 comments

All submissions on HN · View profile on HN