FStar
An ML-like language aimed at program verification
After using the 32k GPT4 model, I've lost interest in 4K/8K models
2023-08-31
Ask HN: How to find out if I'm a good enough programmer?
2023-08-31
X wants permission to start collecting your bio data and employment history
2023-08-31
Designers say only way to fix Tesla Cybertruck is to start over
2023-08-31
The fall of Babylon: failed tele-health startup once valued at $2B goes bankrupt
2023-08-31
“Which Linux distro should I start with?”
2023-08-31
Are YC Valuations Too High?
2023-08-31
Arm wrestles assembly language guru's domains away citing trademark issues
2023-08-31
Command line autocompletion YC startup, Fig acquired by Amazon
2023-08-30
Steve Blank: AI will revolutionize the ‘lean startup’
2023-08-30
