FStar
An ML-like language aimed at program verification
Successful startup teams mix business and friendship
2022-03-16
Slack has started disconnecting customers in Russia
2022-03-16
Ask HN: Where are the designers looking to contribute to FOSS projects?
2022-03-16
Ask HN: How to get clients for a new, small software agency?
2022-03-15
Ask HN: How would you, a solo dev/small team, make a scalable web app in 2022?
2022-03-15
Starbucks is planning to phase out its iconic cups
2022-03-15
Star Trek dialogue and characters. A statistical analysis of episode transcripts
2022-03-15
Productive Uncertainty – On Startup Success and Moats
2022-03-15
Getting Started with Go Generics
2022-03-15
Look to the Stars: Navigating the Urbit
2022-03-15
