FStar
An ML-like language aimed at program verification
Evolution of All Windows Startup and Shutdown Sounds (1993-2021)
2023-04-03
Launch HN: OutSail (YC W23) – Wingsails to reduce cargo ship fuel consumption
2023-04-03
Show HN: Add AI Autocomplete to Your Website/Project in 2 Minutes
2023-04-03
Google Code Jam and Kick Start 2023 Is Cancelled. Is the Trend of Competi (Cont)
2023-04-03
Column: Afraid of AI? The startups selling it want you to be
2023-04-03
Show HN: Goru, an experimental, Go-inspired concurrency library for Ruby
2023-04-03
Show HN: Spine – Create and Share ChatGPT-like Interfaces on multi-modal data
2023-04-02
Ask HN: SSD File Transfer Speeds
2023-04-02
Worried Recent Grad
2023-04-02
Show HN: Lore Sage – Turn Ideas into Custom Fantasy Worlds for TTRPGs
2023-04-02
