QuinnWilton

POSTS

• An Introduction to Session Types

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

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

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

• Thoughts on Forth Programming

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

• Strand Programming Language

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

• The Science of Brute Force (2017)

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

• Cryptol: A DSL for specifying cryptography algorithms

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

• Two Workers Are Quadratically Better Than One

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

• Getting Started with Dafny

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

• Type-Safe LiveView with Gleam [video]

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

• Lean HTTP Server for Gleam

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

• Lean HTTP Server for Gleam

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

• Gleam: Lean BEAM typing machine – Code BEAM V 2020 (YouTube)

  by QuinnWilton on 6/19/2020, 10:16 PM with 0 comments

• Cuter – A concolic testing tool for the Erlang

  by QuinnWilton on 6/18/2020, 2:45 AM with 0 comments

• Gleam v0.8 Released

  by QuinnWilton on 5/14/2020, 6:06 AM with 0 comments

• Alloydocs

  by QuinnWilton on 4/13/2020, 10:02 PM with 0 comments

• Designing Change – Avdi Grimm and Jessica Kerr – Code Beam SF 20

  by QuinnWilton on 4/2/2020, 8:47 PM with 0 comments

• Writing an SSDP Directory in Elixir

  by QuinnWilton on 2/27/2020, 4:34 PM with 0 comments

• Designing Distributed Systems with TLA+

  by QuinnWilton on 2/22/2020, 8:40 PM with 0 comments

• A Less Than 0% Chance – Intro to Quantum Mechanics

  by QuinnWilton on 9/24/2019, 4:19 AM with 0 comments

• A City Is Not a Tree (1965)

  by QuinnWilton on 7/11/2019, 11:02 PM with 1 comments

• Obfuscated Erlang (2012)

  by QuinnWilton on 4/17/2019, 4:55 AM with 14 comments

• Just Behave Already: Property Testing

  by QuinnWilton on 2/16/2018, 12:30 AM with 0 comments

• Jelly Programming Language

  by QuinnWilton on 6/8/2017, 6:20 AM with 1 comments

• by QuinnWilton on 6/8/2017, 6:19 AM with comments

• Wikileaks CIA Leak – Dark Matter

  by QuinnWilton on 3/23/2017, 6:32 PM with 1 comments

• Sketchpad III Demo [video] (1963)

  by QuinnWilton on 3/22/2017, 4:56 PM with 19 comments

• Ivan Sutherland: Sketchpad Demo [video] (1963)

  by QuinnWilton on 3/21/2017, 3:18 AM with 0 comments

• Insufficiently Polymorphic

  by QuinnWilton on 2/26/2017, 4:21 AM with 0 comments

• The Day of the Tentacle: Dependency Graph Analysis

  by QuinnWilton on 1/25/2017, 1:48 AM with 0 comments

• CloudI – A Cloud at the lowest level

  by QuinnWilton on 10/7/2016, 12:25 AM with 1 comments

• Legacy Software Modernization: Erlang, CloudI and MUDs

  by QuinnWilton on 10/7/2016, 12:14 AM with comments

• Blinking in Super Mario 64 [video]

  by QuinnWilton on 9/27/2016, 4:37 AM with 0 comments

• What's up with monomorphism?

  by QuinnWilton on 6/11/2016, 10:38 AM with 0 comments

• Reducers are Fuzzers

  by QuinnWilton on 3/25/2016, 8:49 PM with 0 comments

• Opus Testing [pdf]

  by QuinnWilton on 3/25/2016, 8:23 PM with 0 comments

• FBI Contracts Cellebrite to Break into San Bernardino iPhone

  by QuinnWilton on 3/23/2016, 11:31 PM with 12 comments

• Should I read papers?

  by QuinnWilton on 2/26/2016, 11:58 PM with 0 comments

• Beating the CAP Theorem Checklist

  by QuinnWilton on 2/17/2016, 3:12 AM with 0 comments

• An Atom package for Elixir

  by QuinnWilton on 2/16/2016, 10:39 PM with 0 comments

• CRDT Notes

  by QuinnWilton on 1/26/2016, 12:16 AM with 0 comments

• Http-decision-diagram

  by QuinnWilton on 12/17/2015, 11:29 PM with 2 comments

• Anatomy of a Rails Service Object

  by QuinnWilton on 12/10/2015, 9:58 PM with 0 comments

• Design of a Digital Republic

  by QuinnWilton on 10/29/2015, 6:27 AM with comments

• The Complete, Unofficial TEMPEST Information Page

  by QuinnWilton on 10/22/2015, 7:40 PM with 1 comments

• Bombly – Keep Talking and Nobody Explodes Robot

  by QuinnWilton on 10/19/2015, 7:26 PM with 1 comments

• HITCON CTF 2015

  by QuinnWilton on 10/15/2015, 9:15 PM with 1 comments

• Scanning for Subresource Integrity

  by QuinnWilton on 10/7/2015, 8:33 PM with 0 comments

• Scanning for Subresource Integrity

  by QuinnWilton on 10/6/2015, 11:07 PM with 0 comments

• NSA Codebreaker Challenge 2015

  by QuinnWilton on 9/2/2015, 1:57 AM with 0 comments

• by QuinnWilton on 8/31/2015, 7:11 AM with comments

• Writing Beautiful Code

  by QuinnWilton on 7/30/2015, 7:49 PM with 0 comments

• Writing Beautiful Code

  by QuinnWilton on 7/30/2015, 3:54 AM with 0 comments

• Hammer: Parser Combinators for C

  by QuinnWilton on 7/25/2015, 3:38 PM with 20 comments

• Blind Return Oriented Programming [pdf]

  by QuinnWilton on 7/24/2015, 8:13 PM with 3 comments

• Everything About Tor [pdf]

  by QuinnWilton on 7/24/2015, 7:17 PM with 4 comments

• De-Anonymizing Alt.Anonymous.Messages (2013) [video]

  by QuinnWilton on 7/24/2015, 5:41 AM with 0 comments

• Selected Papers in Anonymity

  by QuinnWilton on 7/23/2015, 10:28 PM with 14 comments

• The Weird World of Bi-Directional Programming (2006) [pdf]

  by QuinnWilton on 7/23/2015, 7:46 PM with 7 comments

• The Science of Insecurity

  by QuinnWilton on 7/23/2015, 2:37 AM with 0 comments

• Selected Papers in Anonymity

  by QuinnWilton on 7/22/2015, 10:42 PM with 0 comments

• Price and Feature Comparison of Web Application Scanners

  by QuinnWilton on 7/17/2015, 10:38 PM with 0 comments

• Understanding F-Algebras (2013)

  by QuinnWilton on 6/29/2015, 7:04 AM with 0 comments

• Microsoft Azure adds web vulnerability scanning from Tinfoil Security

  by QuinnWilton on 6/3/2015, 8:51 PM with 0 comments

• XML External Entity Injection

  by QuinnWilton on 3/17/2015, 7:47 PM with 0 comments

• Ghost in the Shellcode 2015 – Blocky’s Revenge Writeup

  by QuinnWilton on 1/22/2015, 7:50 AM with 0 comments

• 9447 CTF 2014 – HelloMike Writeup

  by QuinnWilton on 12/10/2014, 5:09 PM with 0 comments

• Securing Yourself at DEF CON, or How Not to Be a Sheep

  by QuinnWilton on 8/5/2014, 9:44 PM with 0 comments

• Securing Yourself at DEF CON, or How Not to Be a Sheep

  by QuinnWilton on 8/5/2014, 7:16 PM with 0 comments

• How I Automated Everything with CircleCI

  by QuinnWilton on 7/30/2014, 9:26 AM with 0 comments

• Multi-Stack Integration Tests with CircleCI

  by QuinnWilton on 7/29/2014, 8:07 PM with 0 comments

• Multi-Stack Integration Tests with CircleCI

  by QuinnWilton on 7/29/2014, 6:56 PM with 0 comments

• Storing Your Data Securely: A Primer

  by QuinnWilton on 7/25/2014, 6:40 PM with 41 comments

• Anti-Forensics Tools

  by QuinnWilton on 7/23/2014, 7:23 AM with 1 comments

• Postcards from the post-XSS world

  by QuinnWilton on 7/23/2014, 2:28 AM with 1 comments

• Cross-Platform Binary Exploitation

  by QuinnWilton on 7/15/2014, 7:13 PM with 0 comments

• by QuinnWilton on 7/15/2014, 6:39 PM with comments

• by QuinnWilton on 7/15/2014, 5:57 PM with comments

• by QuinnWilton on 5/21/2014, 6:37 PM with comments

• KickStarter - SparkFun National Education Tour

  by QuinnWilton on 11/20/2012, 9:26 PM with 0 comments