FStar
An ML-like language aimed at program verification
Ask HN: Programmable Drones for Kids?
2023-03-02
YC W23 AI Startup Overview
2023-03-02
Show HN: Castled – No-Code Segmentation Engine on Top of Your Data Warehouse
2023-03-02
How to Start New Agile Software Projects: Building Healthy Teams
2023-03-01
Show HN: Fine-tune generative models in 1 line of code
2023-03-01
Startups can boost growth and de-risk innovation in the current climate
2023-03-01
Thorium – A Starship Bridge Simulator
2023-03-01
Show HN: Supaglue – open-source unified API
2023-03-01
Ask HN: Best path to Emacs for lifelong vi guy?
2023-03-01
Show HN: MiniMock, a minimalist, header-only, C/C++ mock library
2023-03-01
