FStar
An ML-like language aimed at program verification
AI is the new measuring stick
2023-03-20
Attackers are starting to target .NET developers with malicious NuGet packages
2023-03-20
Ask HN: What game (industry/company) should I be playing as a young adult
2023-03-19
To amortize or not to amortize software development?
2023-03-19
Brave Be Hustling?
2023-03-19
Ask HN: Anyone using GPT-4 as a co-founder?
2023-03-19
Ask HN: What Should I Do?
2023-03-19
Show HN: Feedback Widget for Production ML
2023-03-19
Show HN: Text Adventures, ChatGPT based text adventure games everyday
2023-03-19
Why Developer Relations Jobs at Startups Are Not Entry Level Positions
2023-03-19
