Hacker Newsnew | past | comments | ask | show | jobs | submit | hackingonempty's submissionslogin
1.
Pulse: Proof-Oriented Programming in Concurrent Separation Logic (Output C/Rust) (fstar-lang.org)
1 point by hackingonempty 9 days ago | past | 1 comment
2.
Consciousness and the Laws of Physics (2021) (philarchive.org)
3 points by hackingonempty 80 days ago | past

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

Search: