FStar
An ML-like language aimed at program verification
No, ChatGPT alone will not be enough for your startup success
2023-01-15
The Pendulum Swings: How to Respond to Tech’s Downturn
2023-01-15
Stop feeding the hype and start resisting
2023-01-15
Tesla China Plant Expansion in Doubt over Starlink Concerns
2023-01-15
Show HN: Create your own video clips with Stable Diffusion
2023-01-15
Show HN: Group accountability for atomic habits (iOS)
2023-01-15
Platform Engineering as a Startup
2023-01-15
Ask HN: How do you backup your photos online?
2023-01-15
Ask HN: How valuable is being part of YC for a founding engineer?
2023-01-15
Ask HN: Can we just normalise AI (read:ChatGPT for now) as our internet persona?
2023-01-15
