FStar
An ML-like language aimed at program verification
Ask HN: What are solid examples of well written HTML and CSS websites?
2022-03-26
Kim Jong-un stars in film of missile launch on North Korean TV
2022-03-26
FAA again delays completion of Starship environmental review
2022-03-26
Ask HN: If you used to be socially awkward and shy, how did you improve?
2022-03-26
Flexibility in Startups vs. Big Tech
2022-03-26
Launch HN: Koko (YC W22 Nonprofit) – Online Suicide Prevention Kit
2022-03-26
SpaceX drops Starship SN20 from the first orbital flight for a new prototype
2022-03-26
Brain Chemical Helps Signal to Neurons When to Start a Movement
2022-03-26
Show HN: Wachy – A UI for eBPF-based performance debugging
2022-03-26
Ask HN: What do you do when competition signs up for your service?
2022-03-26
