FStar
An ML-like language aimed at program verification
Can't Leave Canada After Nov 30th, If Not Vaccinated
2021-11-30
Tock OS: Programmable IoT starts at the edge
2021-11-30
Ask HN: What career path for a hands-on engineering leader?
2021-11-30
SpaceX Could Face Bankruptcy If Starship Flight Pace Stalls, Musk Says
2021-11-30
Wonder: Our Startup Journey
2021-11-30
Ask HN: Does your company care about professional training and development?
2021-11-30
SpaceX Starship/Superheavy Launch and Catch Animation
2021-11-30
Josephine Baker, music hall star and civil rights activist, enters Panthéon
2021-11-30
BotMeNot’s official beta launch date – December 7th, 2021
2021-11-30
Ask HN: Weird Technology or Startup Ideas?
2021-11-30
