FStar
An ML-like language aimed at program verification
Ask HN: Programs on your laptop that saved you hundreds of hours?(2021)
2021-12-26
Getting Started with QGIS, PostgreSQL and PostGIS
2021-12-26
Ask HN: Was a dev. Became a lawyer. How do I become a dev again?
2021-12-26
Ask HN: Late 30s PM career change to dev?
2021-12-26
How do you describe to kids what can we archive with programming?
2021-12-26
Megatron AI argues AI ethics
2021-12-26
Ask HN: Tiny Home for $5k USD?
2021-12-25
My New 2022 Ritual: Open Mic
2021-12-25
25-Dec. Shout-out to everyone else at work
2021-12-25
“Autism Is a Spectrum” Doesn’t Mean What You Think (2019)
2021-12-25
