Skip to content

Top New Best Ask Show Jobs

i_don_t_know | Better HN

i_don_t_know

873 karmaJoined June 3, 2015307 submissions

peter dot ilberg at gmail dot com

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

Recent submissions

1

The Sinclair ZX Spectrum White Edition (opens in new tab)

(heise.de)

2i_don_t_know17d ago3

2

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

(codeberg.org)

2i_don_t_know2mo ago0

3

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

(blog.janestreet.com)

4i_don_t_know4mo ago0

4

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

(pinetreelabs.github.io)

126i_don_t_know5mo ago15