FStar
An ML-like language aimed at program verification
I started Refactoring – bi-weekly advice on management and software engineering
2020-10-03
Scottish startup launches first electric bus company: Ember
2020-10-03
Rust Starter Kit 2020
2020-10-03
Ask HN: Where do you get your GPUs for AI/ML training (on the cheap)?
2020-10-03
Ask HN: How did you get started in tech and/or Linux?
2020-10-03
Stuck in the Middle with Bruce (2001)
2020-10-03
Rust Starter Kit 2020
2020-10-03
What most founders get wrong about customer happiness
2020-10-02
New startup – rent a motorcycle in any part of the world
2020-10-02
Ask HN: Anyone else miss spontaneous conversations at work?
2020-10-02
