FStar
An ML-like language aimed at program verification
The Nudge Group help founders from start to exit. They only bill for recruitment
2022-10-23
I Got Scammed by a Silicon Valley Startup
2022-10-23
Oldest complete star map found inside medieval manuscript
2022-10-23
Ask HN: Should I open source my next project?
2022-10-23
Ask HN: Business intelligence tools for e-commerce SaaS data reports
2022-10-23
My Learnings: ML in Research vs ML in a Startup
2022-10-23
Tell HN: Someone is actually paying to have his product advertised on my site
2022-10-23
Xi Jinping's party is just getting started
2022-10-23
Ask HN: Am I Unhireable?
2022-10-23
Show HN: I made a CMS that uses Git to store your data
2022-10-23
