FStar
An ML-like language aimed at program verification
Ask HN: I can program, but have nothing to show for it. Where do I go from here?
2021-11-17
Microsoft starts rolling out a new Media Player for Windows 11
2021-11-17
I went from idea to MVP in 5 hours
2021-11-17
Ask HN: Ridiculous job interview. What do I do?
2021-11-17
Removing China’s “Startup Debt”
2021-11-17
Profitable proptech Place raises $100M at a $1B valuation
2021-11-17
Getting Started: Systems Programming with Nim
2021-11-17
Xbox Cloud Gaming is starting to roll out to Xbox consoles
2021-11-17
Starbucks to trial renting cups to customers in Japan
2021-11-17
Show HN: Bee Genius, a multiplayer word game inspired by the NYT Spelling Bee
2021-11-17
