FStar
An ML-like language aimed at program verification
Stop crying about your startup valuation
2023-07-02
Secretive hardware startup Humane’s first product is the AI Pin
2023-07-02
Ask HN: My Company Is Falsely Accused – Seeking Advice
2023-07-02
Ask HN: App and input device recommendations for someone with ALS
2023-07-02
Drastic increase in Tor clients from Germany
2023-07-02
Show HN: Agents.blue – learn LLM prompting interactively in <10 minutes
2023-07-02
Finishing my first commercial project (Go Start)
2023-07-02
Show HN: Authenticated ChatGPT Plugin Template
2023-07-01
Secretive hardware startup Humane’s first product is the AI Pin
2023-07-01
5G wireless signals could disrupt flights starting this weekend
2023-07-01
