FStar
An ML-like language aimed at program verification
Y Combinator founders from this year reveal what made them stand out
2022-09-07
Ask HN: Work Culture Canary?
2022-09-07
The Stubborn Computing Manifesto
2022-09-07
Berlin based startup Lofelt closing down after Facebook acquisition
2022-09-07
NFT Viking game went bankrupt because of investing the funding in Luna
2022-09-07
Ask HN: What are peoples opinions on Smalltalk and its derivatives?
2022-09-06
What percentage of skilled hackers, coders and engineers are morning people?
2022-09-06
Ask HN: What would it take to go from 0 to contributing to fusion research?
2022-09-06
Russia says China will start paying for gas in rubles and yuan
2022-09-06
EarlyDay Raises $3.25M Seed Round for Education Job Marketplace
2022-09-06
