FStar
An ML-like language aimed at program verification
Launch HN: Dots (YC S21) – Bot Builder for Discord
2022-11-17
Light pollution dropped as more people continue to work from home
2022-11-17
What's the simplest way to kill a Delaware C Corp?
2022-11-17
Side Hustle: start learning Pipelines, Containers, and Kubernetes already?
2022-11-17
Show HN: Employbl company search – discover startups
2022-11-17
Bugs vs. product market fit: why startups need to build high quality products
2022-11-17
Show HN: I built a goal-oriented task manager
2022-11-17
Why are most CS programs so bad at teaching programming as a skill in itself?
2022-11-17
Ask HN: are there any joyful Corporate Directory apps?
2022-11-17
Star Wars – Laser Mapping [video]
2022-11-17
