Lobster Roll

Stories by craigstuntz

On Learning Compilers and Creating Programming Languages (craigstuntz.com)
L 55 pts 24 comments by craigstuntz Oct 24, 2023 compilersplt Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
Equality Is Hard (craigstuntz.com)
L 46 pts 41 comments by craigstuntz Mar 9, 2020 compilerscompscimath Systems / Low-Level / OSProgramming Languages / CS TheoryScience / Math / Physics thread
10 things Idris improved over Haskell (deque.blog)
L 45 pts 9 comments by craigstuntz Jun 15, 2017 haskell Programming Languages / CS Theory thread
Functional Programming, Abstraction, and Names (stephendiehl.com)
L 41 pts 14 comments by craigstuntz Jan 11, 2016 mathprogramming Programming (General)Programming Languages / CS TheoryScience / Math / Physics thread
The Haskell Rewrite ("...the motivation for moving away from Racket") (oden-lang.org)
L 35 pts 5 comments by craigstuntz Jan 18, 2016 compilershaskelllisp Systems / Low-Level / OSProgramming Languages / CS Theory thread
Computer Scientists Attempt to Corner the Collatz Conjecture (quantamagazine.org)
L 30 pts 7 comments by craigstuntz Aug 26, 2020 compscimath Programming Languages / CS TheoryScience / Math / Physics thread
The new and improved programming languages zoo (math.andrej.com)
L 30 pts 5 comments by craigstuntz Sep 7, 2016 compilerscompsciml Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
How Compiler Explorer Works in 2025 (xania.org)
L 29 pts 1 comments by craigstuntz Jun 3, 2025 ccompilersscalingweb Web DevelopmentSystems / Low-Level / OSProgramming Languages / CS TheoryProductivity / Career / Business thread
A riddle wrapped in a curve (on the NSA's mysterious decision to deep-six Suite B) (blog.cryptographyengineering.com)
L 28 pts 2 comments by craigstuntz Oct 22, 2015 security Security / Privacy thread
Learning Haskell (tutorial with screencasts) (learn.hfm.io)
L 28 pts 10 comments by craigstuntz Oct 2, 2015 haskell Programming Languages / CS Theory thread
Beautiful Racket preview: Make your first programming language — in one hour (beautifulracket.com)
L 26 pts 5 comments by craigstuntz Mar 4, 2016 compscilisp Programming (General)Programming Languages / CS Theory thread
How to do distributed locking (martin.kleppmann.com)
L 25 pts 5 comments by craigstuntz Feb 8, 2016 distributed Data / Databases / Infrastructure thread
Type Theory Reading Group - Let's Make This a Thing!
L 25 pts 30 comments by craigstuntz Sep 21, 2015 mathmeta Programming Languages / CS TheoryScience / Math / PhysicsCulture / Philosophy / History / Reading thread
Several people previously [indicated interest in a type theory reading group](https://lobste.rs/s/awe9ob/learn_type_theory/comments/zjvccq#c_zjvccq). tel gave me a poke about this and we've been talking, but it seems better to have the conversation in public. I'm going to throw out some ideas in com...
Java is Unsound: The Industry Perspective (medium.com)
L 22 pts 1 comments by craigstuntz Jan 24, 2017 compilerscompscijava Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
No Compiler - On LLVM, using C libraries from Lua, and writing software without a compiler (msm.runhello.com)
L 21 pts 3 comments by craigstuntz Mar 3, 2016 ccompilerslua Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
Category Theory: A Gentle Introduction (logicmatters.net)
L 20 pts 3 comments by craigstuntz Sep 15, 2015 mathpdf Science / Math / Physics thread
Hidden backdoor API to root privileges in Apple OS X (truesecdev.wordpress.com)
L 20 pts 6 comments by craigstuntz Apr 9, 2015 macsecurity Programming (General)Security / PrivacyApple / macOS / iOS thread
Against Security Nihilism (noncombatant.org)
L 18 pts 6 comments by craigstuntz Jan 28, 2016 security Security / Privacy thread
The Implementation of Functional Programming Languages, by Simon Peyton Jones (research.microsoft.com)
L 18 pts 2 comments by craigstuntz Jun 13, 2014 compscihaskellmath Programming (General)Programming Languages / CS TheoryScience / Math / Physics thread
$200 from Amazon or free from Simon Peyton Jones's site.
Falso : A proof of false in Coq (github.com)
L 17 pts 5 comments by craigstuntz Mar 25, 2015 compscimathsatire Programming Languages / CS TheoryScience / Math / Physics thread
Rhine, "a Clojure-inspired Lisp on LLVM" (github.com)
L 17 pts 0 comments by craigstuntz Nov 17, 2014 lisp Systems / Low-Level / OSProgramming Languages / CS Theory thread
The Null Process: Because sometimes no process is worse than bad process (kateheddleston.com)
L 16 pts 1 comments by craigstuntz Apr 8, 2015 practices Productivity / Career / Business thread
Title was a bit vague, so I borrowed the "subtitle" from the author's Twitter.
Burritos for the Hungry Mathematician (cs.cmu.edu)
L 15 pts 1 comments by craigstuntz Oct 21, 2015 mathpdfsatire Science / Math / Physics thread
12-minute Mandelbrot: fractals on a 50 year old IBM 1401 mainframe (righto.com)
L 15 pts 3 comments by craigstuntz Mar 23, 2015 assemblyhardware Systems / Low-Level / OSMaker / DIY / Hardware thread
Adventures in JIT compilation: Part 1 - an interpreter (eli.thegreenplace.net)
L 14 pts 2 comments by craigstuntz May 15, 2017 compilers Systems / Low-Level / OSProgramming Languages / CS Theory thread
Ode to the use-after-free: one vulnerable function, a thousand possibilities (scarybeastsecurity.blogspot.com)
L 14 pts 2 comments by craigstuntz May 7, 2017 c++security Systems / Low-Level / OSSecurity / Privacy thread
What Template Haskell gets wrong and Racket gets right (blog.ezyang.com)
L 14 pts 2 comments by craigstuntz Jul 18, 2016 haskelllisp Programming Languages / CS Theory thread
Understanding Philae’s wake-up: behind the scenes with the Philae team (blogs.esa.int)
L 14 pts 0 comments by craigstuntz Sep 11, 2015 hardwarescience Science / Math / PhysicsMaker / DIY / Hardware thread
15 Years of Concurrency (joeduffyblog.com)
L 13 pts 0 comments by craigstuntz Dec 1, 2016 compscidotnet Programming (General)Programming Languages / CS Theory thread
BuckleScript - A JavaScript Backend For the OCaml Compiler (bloomberg.github.io)
L 13 pts 0 comments by craigstuntz Mar 27, 2016 compilersjavascriptml Web DevelopmentSystems / Low-Level / OSProgramming Languages / CS Theory thread