|
|
| | What I've Learned About Formal Methods in Half a Year (jakob.space) | |
164 points by todsacerdoti on April 10, 2023 | past | 70 comments
|
| | I Love My PinePhone (jakob.space) | |
183 points by todsacerdoti on Aug 26, 2022 | past | 162 comments
|
| | The Many Faces of an Undying Programming Language (Thoughts on Lisps) (jakob.space) | |
2 points by latenightcoding on March 20, 2022 | past
|
| | The Many Faces of an Undying Programming Language (jakob.space) | |
143 points by grugagag on July 21, 2020 | past | 50 comments
|
| | The Many Faces of an Undying Programming Language (jakob.space) | |
5 points by paroneayea on July 20, 2020 | past
|
| | Browser games aren't an easy target (jakob.space) | |
1 point by markdog12 on Jan 12, 2020 | past | 1 comment
|
| | Browser Games Aren't an Easy Target (jakob.space) | |
2 points by dyslexit on Jan 12, 2020 | past
|
| | Browser Games Aren't an Easy Target (jakob.space) | |
106 points by jsnell on Jan 11, 2020 | past | 50 comments
|
| | Slime the World: A Postmortem (jakob.space) | |
2 points by octosphere on Nov 2, 2018 | past
|
| | First Impressions of the Rust Programming Language (jakob.space) | |
100 points by dailymorn on June 9, 2018 | past | 45 comments
|
|

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact
|