HN Explorer

QuinnWilton

↗ HN profile [ 71.4 ms ] full profile
Karma
1,788
Created
May 28, 2012 (14y ago)
Submissions
0
quinnwilton.com

[ my public key: https://keybase.io/quinnwilton; my proof: https://keybase.io/quinnwilton/sigs/RWWjIgOCtLO7zky-yIgatpgLiCyvFsr4qLvGYMvIPO8 ]

  1. An Introduction to Session Types (wen.works)
    2 points 0
  2. A Child’s Garden of Inter-Service Authentication Schemes (latacora.micro.blog)
    1 points 0
  3. Thoughts on Forth Programming (call-with-current-continuation.org)
    3 points 0
  4. Strand Programming Language (call-with-current-continuation.org)
    117 points 28
  5. The Science of Brute Force (2017) (cacm.acm.org)
    40 points 2
  6. Cryptol: A DSL for specifying cryptography algorithms (cryptol.net)
    2 points 0
  7. Two Workers Are Quadratically Better Than One (hillelwayne.com)
    1 points 0
  8. Getting Started with Dafny (rise4fun.com)
    2 points 0
  9. Type-Safe LiveView with Gleam [video] (youtube.com)
    2 points 0
  10. Lean HTTP Server for Gleam (crowdhailer.me)
    14 points 5
  11. Lean HTTP Server for Gleam (crowdhailer.me)
    1 points 0
  12. Gleam: Lean BEAM typing machine – Code BEAM V 2020 (YouTube) (youtube.com)
    2 points 0
  13. Cuter – A concolic testing tool for the Erlang (github.com)
    1 points 0
  14. Gleam v0.8 Released (lpil.uk)
    1 points 0
  15. Alloydocs (alloy.readthedocs.io)
    3 points 0
  16. Designing Change – Avdi Grimm and Jessica Kerr – Code Beam SF 20 (youtube.com)
    1 points 0
  17. Writing an SSDP Directory in Elixir (quinnwilton.com)
    1 points 0
  18. Designing Distributed Systems with TLA+ (youtube.com)
    5 points 0
  19. A Less Than 0% Chance – Intro to Quantum Mechanics (scottaaronson.com)
    3 points 0
  20. A City Is Not a Tree (1965) (patternlanguage.com)
    2 points 1
  21. Obfuscated Erlang (2012) (ferd.ca)
    87 points 15