Stories by stevekrouse

Security Analysis of the Estonian Internet Voting System (2014)

Computer Utopias (2015)

Lunch with Alan Kay: How to become educated enough to invent the future

The Case for Formal Methods

Ask HN: Have you ever been on a project where the key person was hit by a bus?

Export Google Inbox Reminders to JSON

De-Nerding Programming: Jonathan Edwards

Unreasonable ineffectiveness of mathematics

Physics envy

Gradual Typing Bibliography

Ask HN: Do you have a printer you'd recommend?

Do functional programming enthusiasts fetishize the word “pure”?

Democratizing Web Design: Vlad Magdalin of Webflow

Can functional programming be liberated from the von Neumann paradigm? (2010)

Against the Current: What We Learned from Eve

Live 2018 [Bootleg Edition]

Anymod: add any feature to any website

Dynamicland: The Next Big Thing Is a Room

Basic developer human rights: Quinn Slack

Ask HN: Is anyone using GraphCool or Prisma in production?

2
3
4
5
6
7
8