Submissions by kvnhn

What the Bagel Man Saw (2004)

TLA+: a high-level language for modeling programs and systems

Show HN: A CLI tool for versioning large files alongside source code

Unofficial Football World Championships

Which hypercube unfoldings tile space?

Florida plans to fine social media for banning politicians

Moral Crumple Zones: Cautionary Tales in Human-Robot Interaction

Hash – Multi-agent simulations in your Web browser

Andrew Ng: From Model-Centric to Data-Centric AI [video]