from Hacker News

efm

joined 7/6/13, 4:19 AM has 599 karma

• Secure Software Development Framework (SSDF)

  by efm on 8/7/23, 9:42 PM, with 1 comments

• Data-first and data-last: a comparison

  by efm on 2/4/23, 9:44 PM, with 1 comments

• Poker Chip Flipping Puzzle

  by efm on 11/22/21, 1:29 AM, with 1 comments

• Formal Software Design with Alloy 6 book

  by efm on 11/15/21, 1:52 PM, with 1 comments

• Non-standard solutions to some technical problems

  by efm on 2/20/21, 10:43 PM, with 0 comments

• Famine Early Warning System

  by efm on 4/19/20, 3:46 PM, with 0 comments

• Recipes for Improving Communication in Groups

  by efm on 7/2/19, 5:55 PM, with 0 comments

• Legit: A language based on a Git commit history

  by efm on 5/2/19, 11:16 PM, with 4 comments

• “What Have We Done?”: Silicon Valley Engineers Fear They've Created a Monster

  by efm on 8/9/18, 6:13 PM, with 12 comments

• Programming Paradigms and Beyond [pdf]

  by efm on 6/23/18, 5:45 PM, with 33 comments

• The story behind finding the Game of Life knightship Sir Robin

  by efm on 3/12/18, 1:11 AM, with 0 comments