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. | | 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. | | 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 |