Y
Hacker News
new
|
ask
|
show
|
jobs
user:
i_don_t_know
created:
2015-06-03
karma:
874
peter dot ilberg at gmail dot com
https://www.linkedin.com/in/peter-ilberg/
submissions:
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
The Sinclair ZX Spectrum White Edition
2 points
|
3 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
Lean-TUI for the lean proof assistant
2 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
Fun with Algebraic Effects – From Toy Examples to Hardcaml Simulations
4 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
Archimedes – A Python toolkit for hardware engineering
126 points
|
15 comments