FStar
An ML-like language aimed at program verification
Google wants people to use 2FA, so it’s just going to turn it on for them
2021-05-08
Ask HN: Books/Talks/Tips for Starting Research Engineer in Industry Without PhD?
2021-05-08
Community for startups, investors, talents and founders, in MENA region
2021-05-08
Linux Foundation starts AgStack, an open-source agtech initiative
2021-05-08
'Spaghettified' star wrapped around a black hole spotted for the first time
2021-05-08
Ask HN: Computational feasibility of piedpiper compression algorithm?algorithm
2021-05-08
Show HN: I'm starting an IoT hacking video series
2021-05-08
Ask HN: Best container runtime for process isolation / security?
2021-05-08
Show HN: I'm writing a library to apply NLP techniques to StarCraft 2
2021-05-08
Tile’s trackers will work with Amazon’s Sidewalk network starting June 14th
2021-05-08
