Hacker News new | ask | show | jobs
by seg_lol 192 days ago
formal > typed > untyped > unsound > vibed