FStar
An ML-like language aimed at program verification
Tell HN: Deleting Google “Frequent” Contacts Is Like Playing Whack-a-Mole
2022-03-19
Lapce: Fast and Powerful Code Editor Written in Rust
2022-03-19
India tightens IPO valuation scrutiny, jolts startups eyeing listings
2022-03-19
The Static File Startup
2022-03-18
Show HN: Breeze search query for recent startup press releases
2022-03-18
Ukrainian drone units are using Starlink to help target tanks at night
2022-03-18
Startups are cheaper to build, but more expensive to grow
2022-03-18
Google buys Micro LED startup Raxium, wants to make AR displays
2022-03-18
The James Webb Space Telescope has taken its first aligned image of a star
2022-03-18
Ask HN: Viable bridge jobs from data engineer to malware reverser
2022-03-18
