Top
New
🔦
QuinnWilton
joined 5/28/2012, 6:21 PM has 1,788 karma
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