FStar
An ML-like language aimed at program verification
Tell HN: Netwrck.com OpenAI Account Closed with 0 Notice
2023-09-04
GPT4 Is a Snitch
2023-09-04
Our Universe May Be Starting to Unravel
2023-09-04
We did 15 startups in 21 months
2023-09-03
Wherein it feels like we are starting to reimplement RxJS
2023-09-03
Microsoft Edge is starting to annoy me big time
2023-09-03
Call of Duty enlists AI to eavesdrop on voice chat and help ban toxic players
2023-09-03
How soon AI will start firing programmers?
2023-09-03
Show HN: Mantella – Talk to AI-Powered NPCs in Skyrim
2023-09-03
Competition is for Losers with Peter Thiel (How to Start a Startup 2014: 5) [video]
2023-09-03
