Skip to content
Better HN
Top
New
Best
Ask
Show
Jobs
Search
⌘K
antisemiotic
297 karma
Joined May 31, 2019
281 submissions
antisemiotic | Better HN
Recent submissions
1
Liquid Types vs. Floyd-Hoare Logic
(opens in new tab)
(ucsd-progsys.github.io)
1
antisemiotic
6y ago
0
