FStar
An ML-like language aimed at program verification
Ask HN: Any startup founders that have dealt with emotional problems / PTSD?
2022-01-26
How Claude Shannon helped kick-start machine learning
2022-01-26
Does SICP cover the same ground as FoCS?
2022-01-26
Ask HN: What should a student who is already decent at SWE do over the summer?
2022-01-25
Ask HN: Spam Breaking Through (Gmail)
2022-01-25
Hundreds of Y Combinator alumni join crypto collective to back Web3 startups
2022-01-25
Show HN: A full AR helicopter action game built as a Snap lens
2022-01-25
Show HN: Jetpack Compose Starter Kit: Contacts
2022-01-25
Claude Shannon Helped Kick-Start Machine Learning
2022-01-25
What percentage does each founder get?
2022-01-25
