FStar
An ML-like language aimed at program verification
Grab a Shitty Rod and Start Fishing
2020-06-20
How to Get Started with Blockly and Webduino Bit
2020-06-20
Learning Haskell – looking for a good starting project
2020-06-20
SpaceX Wants to Build Floating Spaceports for Starship Launches
2020-06-20
NimConf 2020 – Online Nim conference starts in an hour
2020-06-20
Ian Holm, star of Lord of the Rings, Alien and Chariots of Fire, dies aged 88
2020-06-19
Show HN: A tool to help make sure you're building the right product
2020-06-19
A path to learn data science
2020-06-19
A Former Google Executive Takes Aim at His Old Company with a Startup
2020-06-19
Found a Good Resource to Promote
2020-06-19
