FStar
An ML-like language aimed at program verification
A Template for Starting New Projects on Ruby on Rails
2020-01-26
Glitch puts Star Fox 64 ships in an unmodified Zelda cartridge
2020-01-26
Ask HN: Should I move in with my co-founder?
2020-01-26
Ask HN: ideas for last weekend of a crowd-fund please
2020-01-25
Ask HN: What are some good resources to learn Marketing?
2020-01-25
New coronavirus can spread between humans, but started in a wildlife market
2020-01-25
Cats, Once YouTube Stars, Are Now an ‘Emerging Audience’
2020-01-25
Los Angeles-based CREXi raises $29M for its online real estate marketplace
2020-01-25
Y Combinator Startup News (2007)
2020-01-25
Getting Started with Coral Edge TPUs
2020-01-25
