Hacker Newsnew | past | comments | ask | show | jobs | submit | ret2pop's submissionslogin
1.
Trampolining Nix with GenericClosure (kleisli.io)
17 points by ret2pop 31 days ago | past | 1 comment
2.
Dependent Types in Pure Nix (kleisli.io)
1 point by ret2pop 32 days ago | past
3.
Cognition: A Programming Language with Runtime Tokenization Programming (nullring.xyz)
4 points by ret2pop on May 1, 2024 | past | 4 comments

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

Search: