FStar
An ML-like language aimed at program verification
Disallow import * for your Python package
2023-04-01
German Climate Tech Startups to Know
2023-04-01
Ray Kurzweil predicts humans will be immortal, identical to AI by 2045
2023-04-01
Ask HN: How do you deal with the existential career threat of AI?
2023-04-01
Ask HN: Recent post or comment about DIY speech-based, note-taking personal AI?
2023-04-01
SpaceX Starship Orbital Flight Test Animation
2023-04-01
Marine notices for Starship’s first orbital flight
2023-04-01
Show HN: Coursemate – connect with other self learners
2023-04-01
Ask HN: Why is Rust faster than C++ for calculating the sum of 1M numbers?
2023-04-01
Looking for advice for my new AI-powered side project
2023-04-01
