hmusgrave/pdv
View on GitHub ↗ ★ 13 Zig
parse don't validate
5 mentions on Hacker News by 1 person: 0 stories, 5 comments · first 2023-03-11 · latest 2025-07-13
20082026
-
…about. I'm very curious what other people do to appropriately model that sort of thing though. [0] https://github.com/hmusgrave/pdv
comment by hansvm · 2025-07-13 · in Parse, Don’t Validate – Some C Safety Tips -
…vector, then something in your model is horribly wrong anyway; just make that unrepresentable. [0] https://github.com/hmusgrave/pdv
comment by hansvm · 2023-11-13 · in Variadic generics, again -
…arbitrary invariants when you are allowed to compute with those invariants at compile time. [0] https://github.com/hmusgrave/pdv
comment by hansvm · 2023-09-04 · in A Gentle Introduction to Liquid Types -
…smoother (automatic subtype resolution on a lattice of constraints, a bit of syntax, ...)? [0] https://github.com/hmusgrave/pdv
comment by hansvm · 2023-09-02 · in Invariants: A Better Debugger? -
https://github.com/hmusgrave/pdv
comment by hansvm · 2023-03-11 · in Parse, don't validate (2019)