Hacker News new | past | comments | ask | show | jobs | submit | from login
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

Search: