Slices combine a mutable vector with a (seemingly) read-only view – a big mistake in #Go, leading to the foot-guns here & in the discussions 😓:
“Sliced By Go’s Slices”, Ohad Ravid (ohadravid.github.io/posts/2026-0...).
Via Lobsters: lobste.rs/s/o3cpxf/sli...
#Programming #GoLang #PLDI
Nice article, but the all-lowercase titling is so jarring:
“Six Thoughts On Generating C”, Andy Wingo (wingolog.org/archives/202...).
Via HN: news.ycombinator.com/item?id=4694...
On Lobsters: lobste.rs/s/j8jnqq/six...
#Programming #C #PLDI #Compilers #CodeGeneration #ProgramSynthesis
Another excellent post 👌🏽 from Russ Cox 👇🏽🫡:
“Floating-Point Printing And Parsing Can Be Simple And Fast” (research.swtch.com/fp).
On HN: news.ycombinator.com/item?id=4668...
On Lobsters: lobste.rs/s/nbsclr/flo...
#Programming #Math #FloatingPoint #Numbers #PLDI #Parsing #Printing
Awesome!
“Eurydice: A Rust To C Compiler (Yes)”, Jonathan Protzenko (jonathan.protzenko.fr/2025/10/28/e...).
Via HN: news.ycombinator.com/item?id=4617...
On Lobsters: lobste.rs/s/1kcrn4/eur...
#Eurydice #Rust #C #Compilers #Transpilers #Programming #PLDI #Portability #Embedded
👌🏽:
“Generating C Code That People Actually Want To Use” [2019], Jonathan Protzenko (jonathan.protzenko.fr/2019/01/04/b...).
On HN: news.ycombinator.com/item?id=1930...
On Lobsters: lobste.rs/s/4vfysy/gen...
#C #Compilers #Transpilers #Readability #Programming #PLDI #CodeGeneration #Verification
“Opinion Piece: On Zig (And The Design Choices Within)”, ‘Blueberry Wren’ (blueberrywren.dev/blog/on-zig/).
Via HN: news.ycombinator.com/item?id=4587...
On Lobsters: lobste.rs/s/uclead/opi...
#Zig #Programming #PLDI #Critique #Rants
The article is too verbose & the discussions flame out, but some good references in both:
“Memory Safety For Skeptics”, ACM Queue (queue.acm.org/detail.cfm?i...).
Via HN: news.ycombinator.com/item?id=4587...
On Lobsters: lobste.rs/s/mytmnl/mem...
#PLDI #Programming #MemorySafety #Security
“The Best – But Not Good – Way To Limit String Length”, Adam Pritchard (adam-p.ca/blog/2025/04...).
On HN: news.ycombinator.com/item?id=4385...
#Programming #PLDI #Strings #Length #Unicode #Characters #Bytes #Graphemes #UTF #CodePoints #I18N #Internationalization
🤯:
“Forth: The Programming Language That Writes Itself: The Web Page” [2023], Dave Gauer (ratfactor.com/forth/the_pr...).
Via HN: news.ycombinator.com/item?id=4563...
On Lobsters: lobste.rs/s/xgq91o/for...
#Forth #ChuckMoore #PLDI #ProgrammingLanguages #ComputerHistory #Genius
Not everyone will agree with the ratings (or the inclusions) here:
“Rating 26 Years Of Java Changes”, Neil Madden (neilmadden.blog/2025/09/12/r...).
Via HN: news.ycombinator.com/item?id=4555...
#Java #JDK #Programming #PLDI #ProgrammingLanguages #Evolution
Ehh…
“Zig’s Lovely Syntax”, Aleksey Kladov (matklad.github.io/2025/08/09/z...).
Via HN: news.ycombinator.com/item?id=4485...
On Lobsters: lobste.rs/s/nxeqtq/zig...
#Zig #Syntax #Grammar #Programming #ProgrammingLanguages #PLDI #Aesthetics
Nice:
“Which Parsing Approach?” [2020], Laurence Tratt (tratt.net/laurie/blog/...).
On HN: news.ycombinator.com/item?id=3580...
On Lobsters: lobste.rs/s/9pcqys/whi...
#Parsing #Programming #Compilers #Interpreters #Parser #PLDI
#Python is too dynamic for its own good?
“Python Performance Myths And Fairy Tales”, LWN (lwn.net/Articles/103...).
On HN: news.ycombinator.com/item?id=4480...
On Lobsters: lobste.rs/s/6wjkre/pyt...
#CPython #Performance #Interpreter #PLDI #Programming #Myths #Speed #Optimization
The talk was very nice 👌🏽:
“The Big OOPs: Anatomy Of A Thirty-Five Year Mistake”, Casey Muratori (www.computerenhance.com/p/the-big-oo...).
On HN: news.ycombinator.com/item?id=4461... & news.ycombinator.com/item?id=4459...
On Lobsters: lobste.rs/s/rnnpqm/big...
#OOP #Programming #CPP #PLDI
The Lobsters discussion 👆🏽 had this 👇🏽informative comment:
lobste.rs/s/xecakg/lon...
which leads to this very interesting book / technical-report by Slava Pestov on #generics in #Swift:
“Compiling Swift Generics” (download.swift.org/docs/assets/...).
#PLDI #Monomorphization
“The Long Season Of Langdev”, Michael Fogus (blog.fogus.me/langdev/long...).
Via Lobsters: lobste.rs/s/xecakg/lon...
#ProgrammingLanguages #PLDI #LangDev #Programming
See Also:
“Chapter 6: Lexical Analysis”, from “lcc, A Retargetable Compiler For ANSI C”, by Christopher Fraser & David Hanson (drh.github.io/lcc/document...).
#Books #Compilers #Lexers #Programming #PLDI #LexicalAnalysis #Tokenization #Excerpts
Great 👌🏽:
“Strategies For Very Fast Lexers”, Matteo / ‘xnacly’ (xnacly.me/posts/2025/f...).
Via HN: news.ycombinator.com/item?id=4456...
On Lobsters: lobste.rs/s/75zw2o/str...
#Compilers #Lexers #Tokenizers #LexicalAnalyzers #Speed #C #Programming #Efficiency #Optimization #PLDI
“Why I Write Recursive Descent Parsers (Despite Their Issues)” [2020], Chris Siebenmann (utcc.utoronto.ca/~cks/space/b...).
Via HN: news.ycombinator.com/item?id=4466...
#Parsing #Compilers #PLDI #RecursiveDescent #Programming
“Losing Language Features: Some Stories About Disjoint Unions”, Graydon Hoare (graydon2.dreamwidth.org/318788.html, which 403s for me, so archive.is/oTbMW).
On HN: news.ycombinator.com/item?id=4460...
#PLDI #Programming #Variants #DisjointUnions #TaggedUnions #SumTypes #Mesa #CPP
“Store Tags After Payloads”, Jamie Brandon (www.scattered-thoughts.net/writing/stor...).
Via Lobsters: lobste.rs/s/x9s2mu/sto...
#Compilers #PLDI #Swift #Rust #C #Alignment #Optimization #SumTypes #TaggedUnions
Why indeed 🐢🧐👀:
"Why Is The Rust Compiler So Slow?", Em Sharnoff (sharnoff.io/blog/why-rus...).
Via HN: news.ycombinator.com/item?id=4439...
On Lobsters: lobste.rs/s/72hbqg/why...
#Performance #Compilers #Speed #Rust #PLDI #Docker
A toilet. It says "Qrisp" on it.
Was in Seoul last week for the Workshop on Quantum Software at PLDI. Nice workshop. No decent pictures, except this evidence of some "Berlin style" advertising for Qrisp....
#pldi #wqs #qrisp #quantumcomputing
📣 This week, #LeanLang Chief Architect Leonardo de Moura will deliver a keynote in Seoul at #PLDI2025 titled "Lean: Machine-Checked Mathematics and Verified Programming, Past and Future."
#pldi #formalmethods #programminglanguages #leanprover
Clever title; disappointing 😢:
“[ On | No ] Syntactic Support For Error Handling”, Robert Griesemer (go.dev/blog/error-s...).
On HN: news.ycombinator.com/item?id=4417...
On Lobsters: lobste.rs/s/xyhnvt/on_...
On /r/GoLang: old.reddit.com/r/golang/com...
#Go #GoLang #ErrorHandling #PLDI
Finally got off my arse and bought tickets to go to the Workshop on Quantum Software in Seoul. Looking forward to seeing some old friends and hopefully making some new ones. Never been to Korea before! Anyone here going?
#wqs #pldi #quantum
pldi25.sigplan.org/home/wqs-202...
Whatay wonderful #list for anyone interested in #PLDI or #compilers 👌🏽:
“Writing That Changed How I Think About PL”, Max Bernstein (bernsteinbear.com/blog/pl-writ...).
Via Lobsters: lobste.rs/s/v2zmv3/wri...
On HN: news.ycombinator.com/item?id=4398...
#Optimization #Writing #SSA #Parsers
“Things Zig comptime Won’t Do”, Aleksey Kladov (matklad.github.io/2025/04/19/t...).
On HN: news.ycombinator.com/item?id=4374...
On Lobsters: lobste.rs/s/yhtpk0/thi...
On /r/zig: old.reddit.com/r/Zig/commen...
#Zig #Programming #PLDI #comptime
“Zig-Style Generics Are Not Well-Suited For Most Languages” [2022], Varun Gandhi (typesanitizer.com/blog/zig-gen...).
On HN: news.ycombinator.com/item?id=3314...
On Lobsters: lobste.rs/s/jktewn/zig...
On /r/programming: old.reddit.com/r/programmin...
#Zig #PLDI #Generics #Types #Programming
