FStar
An ML-like language aimed at program verification
SpaceX says it blocked Ukraine from using Starlink with military drones
2023-02-12
Ask HN: Web dev looking to learn new skills for job security, what should I do?
2023-02-12
StarFighter 16 inch: 4K Coreboot/Ryzen Linux laptop
2023-02-12
Is it illegal to plug in a device to watch BBC iPlayer or Live TV in Starbucks?
2023-02-12
Working with data from start to finish (essay series)
2023-02-12
Subtle Mid-Stage Startup Pitfalls (2015)
2023-02-12
Ask HN: Any advice before starting my first real dev job?
2023-02-11
Energy Efficient Design Starts with the Architecture
2023-02-11
Ask HN: How do we protect news from deepfakes?
2023-02-11
Show HN: For Product Managers – curated collection of tools
2023-02-11
