FStar
An ML-like language aimed at program verification
Ask HN: Does Godwin's Law apply to ChatGPT?
2023-01-27
Dutch meteorologists say Musk's Starlink network disrupts weather forecasting
2023-01-27
Ask HN: How do I break into Neurotech?
2023-01-27
Thread: Twitter Files #15 Twitter Files Expose Next Great Media Fraud
2023-01-27
Ask HN: Is it me or is YouTube Shorts broken?
2023-01-27
Show HN: YouTube Summaries Using GPT
2023-01-27
Looking for Beta Testers – App to earn rewards for efficient data usage
2023-01-27
Ask HN: Are desktop applications still viable for a startup?
2023-01-27
Ask HN: Those making $0/month or less on side projects – Show and tell
2023-01-27
Building Your Startup’s Attention Flywheel
2023-01-27
