IKOS: Static analyzer for C/C++ based on the theory of Abstract Interpretation
2022-04-20
Looking for Technical Co-Founder ASAP
2022-04-20
Looking for a tech co founder for fintech startup
2022-04-20
Ask HN: Do you use an optimization solver? Which one? Do you like it?
2022-04-20
The Fundamental Attribution Error: What It Is and How to Avoid It
2022-04-20
LibreTranslate: FOSS Machine Translation API, self-hosted
2022-04-20
The swimming of a dead fish (2018)
2022-04-20
Abstracting local development environments through containers
2022-04-20
Forget Fortnite–my son is still obsessed with Minecraft (2018)
2022-04-20
Httm is for when you want to find your ZFS file snapshots fast
2022-04-19