from Hacker News

QuinnWilton

joined 5/28/12, 6:21 PM has 1788 karma

• An Introduction to Session Types

  by QuinnWilton on 10/15/21, 7:23 AM, with 0 comments

• A Child’s Garden of Inter-Service Authentication Schemes

  by QuinnWilton on 4/28/21, 6:01 PM, with 0 comments

• Thoughts on Forth Programming

  by QuinnWilton on 4/27/21, 7:27 PM, with 0 comments

• Strand Programming Language

  by QuinnWilton on 4/26/21, 9:25 PM, with 28 comments

• The Science of Brute Force (2017)

  by QuinnWilton on 12/15/20, 1:10 AM, with 2 comments

• Cryptol: A DSL for specifying cryptography algorithms

  by QuinnWilton on 12/11/20, 11:47 PM, with 0 comments

• Two Workers Are Quadratically Better Than One

  by QuinnWilton on 11/2/20, 11:02 PM, with 0 comments

• Getting Started with Dafny

  by QuinnWilton on 10/31/20, 1:20 AM, with 0 comments

• Type-Safe LiveView with Gleam [video]

  by QuinnWilton on 10/21/20, 7:19 PM, with 0 comments

• Lean HTTP Server for Gleam

  by QuinnWilton on 8/24/20, 9:47 PM, with 5 comments

• Lean HTTP Server for Gleam

  by QuinnWilton on 6/24/20, 5:50 PM, with 0 comments