FStar
An ML-like language aimed at program verification
Ask HN: How does a Mac determine your location during set-up?
2022-10-04
Show HN: Bell inequality violation with entangled photons - Nobel Prize 2022
2022-10-04
Show HN: Collaborative Jupyter Whiteboards
2022-10-04
Will it be possible one day to have as much agility in hardware as in software?
2022-10-04
Meta is rescinding intern offers, which offers were for 2023 start dates
2022-10-04
Startup selling water in a beer can valued at $700M
2022-10-04
Building a Startup on Clojure
2022-10-04
Startup company aims to build laser-driven particle accelerators
2022-10-04
Show HN: HiveMind – an operating system for startups built on Notion
2022-10-04
Show HN: Dstack – a command-line utility to provision infra for ML workflows
2022-10-04
