Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Astrée Static Analyzer for C and C++. Parent comment
Fire simulation modelling.
Computational GIS tooling (Hexagon et al)
Computational Algebra (eg Cayley|Magma)
Fireball monitoring, Square Kilometre Array processing, . . .
I'm struggling to recall anything I've worked on that didn't emphasis code correctness.
There are no comments on this comment yet.
Fire simulation modelling.
Computational GIS tooling (Hexagon et al)
Computational Algebra (eg Cayley|Magma)
Fireball monitoring, Square Kilometre Array processing, . . .
I'm struggling to recall anything I've worked on that didn't emphasis code correctness.