Skip to content

Top New Best Ask Show Jobs

i_don_t_know | Better HN

i_don_t_know

867 karmaJoined June 3, 2015301 submissions

peter dot ilberg at gmail dot com

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

Recent submissions

1

Lean-TUI for the lean proof assistant (opens in new tab)

(codeberg.org)

2i_don_t_know29d ago0

2

Fun with Algebraic Effects – From Toy Examples to Hardcaml Simulations (opens in new tab)

(blog.janestreet.com)

4i_don_t_know2mo ago0

3

Archimedes – A Python toolkit for hardware engineering (opens in new tab)

(pinetreelabs.github.io)

126i_don_t_know4mo ago15

4

Why higher-order logic is a good formalisation for hardware (opens in new tab)

(cl.cam.ac.uk)

1i_don_t_know4mo ago1