Skip to content

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

i_don_t_know

882 karmajoined June 3, 2015On HN

peter dot ilberg at gmail dot com

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

Recent submissions

The Sinclair ZX Spectrum White Edition heise.de
2i_don_t_know4mo3 comments
Lean-TUI for the lean proof assistant codeberg.org
2i_don_t_know6modiscuss
Fun with Algebraic Effects – From Toy Examples to Hardcaml Simulations blog.janestreet.com
4i_don_t_know8modiscuss
Archimedes – A Python toolkit for hardware engineering pinetreelabs.github.io
126i_don_t_know9mo15 comments
Why higher-order logic is a good formalisation for hardware cl.cam.ac.uk
1i_don_t_know10mo1 comment
Algorithms for Optimization (second edition preview) [pdf]algorithmsbook.com
3i_don_t_know1y1 comment
The Quanta Podcast quantamagazine.org
1i_don_t_know1ydiscuss
Algorithms for Validation algorithmsbook.com
3i_don_t_know1y1 comment
Synchronous Programming of Reactive Systems [pdf]www-verimag.imag.fr
2i_don_t_know1ydiscuss

All submissions and comments on Hacker News.

AboutSource Built by g1lg1l

Hackerly is an independent reader for Hacker News, built on the public HN API. Not affiliated with Y Combinator.