FStar
An ML-like language aimed at program verification
Show HN: Punya AI – Customize your own version of ChatGPT in minutes
2023-03-27
Ask HN: Is it too early to start comparing LLM prompting to mental priming?
2023-03-27
Ask HN: What are your most humane tech companies/startups?
2023-03-27
ChatGPT started a new kind of AI race – and made text boxes cool again
2023-03-26
Show HN: I built a GPT-4 bot which builds software incrementally
2023-03-26
Show HN: Icebreakers – A Fresh Collection of Conversation Starters
2023-03-26
Starlink Rival OneWeb Completes Fleet to Offer Global Internet
2023-03-26
Apple’s Best Hope for New Headset: a Smartwatch-Like Trajectory
2023-03-26
I Started a Shitstorm or Contemporary Journalism Is Embarrassing
2023-03-26
Does Raising More VC Lead to Bigger Outcomes?
2023-03-26
