| 1. | | An Introduction to Session Types (wen.works) |
| 2 points by QuinnWilton on Oct 15, 2021 | past |
|
| 2. | | A Child’s Garden of Inter-Service Authentication Schemes (latacora.micro.blog) |
| 1 point by QuinnWilton on April 28, 2021 | past |
|
| 3. | | Thoughts on Forth Programming (call-with-current-continuation.org) |
| 3 points by QuinnWilton on April 27, 2021 | past |
|
| 4. | | The Strand Programming Language (call-with-current-continuation.org) |
| 117 points by QuinnWilton on April 26, 2021 | past | 28 comments |
|
| 5. | | The Science of Brute Force (2017) (acm.org) |
| 40 points by QuinnWilton on Dec 15, 2020 | past | 2 comments |
|
| 6. | | Cryptol: A DSL for specifying cryptography algorithms (cryptol.net) |
| 2 points by QuinnWilton on Dec 11, 2020 | past |
|
| 7. | | Two Workers Are Quadratically Better Than One (hillelwayne.com) |
| 1 point by QuinnWilton on Nov 2, 2020 | past |
|
| 8. | | Getting Started with Dafny (rise4fun.com) |
| 2 points by QuinnWilton on Oct 31, 2020 | past |
|
| 9. | | Type-Safe LiveView with Gleam [video] (youtube.com) |
| 2 points by QuinnWilton on Oct 21, 2020 | past |
|
| 10. | | Lean HTTP Server for Gleam (crowdhailer.me) |
| 14 points by QuinnWilton on Aug 24, 2020 | past | 5 comments |
|
| 11. | | Lean HTTP Server for Gleam (crowdhailer.me) |
| 1 point by QuinnWilton on June 24, 2020 | past |
|
| 12. | | Gleam: Lean BEAM typing machine – Code BEAM V 2020 (YouTube) (youtube.com) |
| 2 points by QuinnWilton on June 19, 2020 | past |
|
| 13. | | Cuter – A concolic testing tool for the Erlang (github.com/cuter-testing) |
| 1 point by QuinnWilton on June 18, 2020 | past |
|
| 14. | | Gleam v0.8 Released (lpil.uk) |
| 1 point by QuinnWilton on May 14, 2020 | past |
|
| 15. | | Alloydocs (alloy.readthedocs.io) |
| 3 points by QuinnWilton on April 13, 2020 | past |
|
| 16. | | Designing Change – Avdi Grimm and Jessica Kerr – Code Beam SF 20 (youtube.com) |
| 1 point by QuinnWilton on April 2, 2020 | past |
|
| 17. | | Writing an SSDP Directory in Elixir (quinnwilton.com) |
| 1 point by QuinnWilton on Feb 27, 2020 | past |
|
| 18. | | Designing Distributed Systems with TLA+ (youtube.com) |
| 5 points by QuinnWilton on Feb 22, 2020 | past |
|
| 19. | | A Less Than 0% Chance – Intro to Quantum Mechanics (scottaaronson.com) |
| 3 points by QuinnWilton on Sept 24, 2019 | past |
|
| 20. | | A City Is Not a Tree (1965) (patternlanguage.com) |
| 2 points by QuinnWilton on July 11, 2019 | past | 1 comment |
|
| 21. | | Obfuscated Erlang (2012) (ferd.ca) |
| 87 points by QuinnWilton on April 17, 2019 | past | 14 comments |
|
| 22. | | Just Behave Already: Property Testing (tinfoilsecurity.com) |
| 2 points by QuinnWilton on Feb 16, 2018 | past |
|
| 23. | | The Jelly Programming Language (github.com/dennismitchell) |
| 3 points by QuinnWilton on June 8, 2017 | past | 1 comment |
|
| 24. | | Wikileaks CIA Leak – Dark Matter (wikileaks.org) |
| 17 points by QuinnWilton on March 23, 2017 | past | 1 comment |
|
| 25. | | Sketchpad III Demo [video] (1963) (youtube.com) |
| 70 points by QuinnWilton on March 22, 2017 | past | 19 comments |
|
| 26. | | Ivan Sutherland: Sketchpad Demo [video] (1963) (youtube.com) |
| 1 point by QuinnWilton on March 21, 2017 | past |
|
| 27. | | Insufficiently Polymorphic (degoes.net) |
| 1 point by QuinnWilton on Feb 26, 2017 | past |
|
| 28. | | The Day of the Tentacle: Dependency Graph Analysis (thewebsiteisdown.com) |
| 2 points by QuinnWilton on Jan 25, 2017 | past |
|
| 29. | | CloudI – A Cloud at the lowest level (cloudi.org) |
| 2 points by QuinnWilton on Oct 7, 2016 | past | 1 comment |
|
| 30. | | Blinking in Super Mario 64 [video] (youtube.com) |
| 5 points by QuinnWilton on Sept 27, 2016 | past |
|
|
| More |
