FStar
An ML-like language aimed at program verification
Amazon starts providing freight forwarding services to the EU (German)
2022-02-12
Ask HN: Is an MVP the first thing a startup should build?
2022-02-12
Mexico's cultural appropriation ban is off to a messy start
2022-02-12
Joke written by an AI: “A basic program walked into a bar ”
2022-02-12
Software engineering in startups, scale-ups and enterprises [video]
2022-02-12
When Will AI Start Getting Dangerous?
2022-02-12
Ask HN: Strategy to persuade someone do a user interview with you?
2022-02-12
What I wish I knew about security when I started programming
2022-02-12
Our Universe is normal Its biggest anomaly, the CMB cold spot, is now explained
2022-02-12
SpaceX’s monstrous, dirt-cheap Starship may transform space travel
2022-02-12
