CS PhD student at Heinrich-Heine-University. Interested in Formal Methods, Programming languages, specifications. Slowest possible person. Hopeless optimist. Uniquely unhinged.
Guard up, Heart open.
🏳️⚧️
sometimes i get questions asking me about some weird float code i wrote and ask why it's not included by default in our builds and i have to explain that ieee754 conformance allows for a surprising range of possible behaviors and binary formats (how it's laid out in memory and what the bits mean).
this often surprises people and it gives me validation that the inclusion of maybe overzealous checks that currently let builds fail on e.g. macOS was the right move until the code is rewritten.
starting point: let's write some specification for using existing software libraries 😊
hurdle: oh, floats are nasty
going down the weird road: let's write a constraint solver
catching my breath on top of this cursed mountain: sparse polynomial zonotopes and constrained polynomial zonotopes are my best friends now.
currently in the valley of: cylindrical algebraic decomposition is going to be my salvation. real algebraic geometry is the hole that was made for me. i'm sure of it.
