#PLDI

@rmathew4bs.bsky.social

2 weeks ago

Sliced by Go’s Slices Today, I was sliced by Go’s slices. Actually, by Go’s variadics. Question: what does this snippet print? func main() { nums := []int{1, 2, 3} …

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

1 0 0 0

Ranjit Mathew

@rmathew4bs.bsky.social

3 weeks ago

six thoughts on generating c — wingolog wingolog: article: six thoughts on generating c

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

0 0 0 0

Ranjit Mathew

@rmathew4bs.bsky.social

3 weeks ago

research!rsc: Floating-Point Printing and Parsing Can Be Simple And Fast (Floating Point Formatting, Part 3)

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

0 0 0 0

Ranjit Mathew

@rmathew4bs.bsky.social

3 months ago

Eurydice: a Rust to C compiler (yes) Perhaps the greatest surprise of the last two years was, for me, the realization that people not only care about compiling C to Rust (for obvious reasons, such as, ahem, memory safety) – they also car...

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

2 0 0 0

Ranjit Mathew

@rmathew4bs.bsky.social

3 months ago

Generating C code that people actually want to use Project Everest is a large, collaborative research effort that aims to verify and deploy a new, secure HTTPS stack. All of our code is verified using the F* programming language. Using KreMLin, a dedi...

👌🏽:

“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

1 0 1 0

Ranjit Mathew

@rmathew4bs.bsky.social

3 months ago

Opinion piece: On Zig (and the design choices within)

“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

1 0 0 0

Ranjit Mathew

@rmathew4bs.bsky.social

3 months ago

Memory Safety for Skeptics - ACM Queue

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

1 0 0 0

Ranjit Mathew

@rmathew4bs.bsky.social

4 months ago

The best – but not good – way to limit string length | adam-p

“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

0 0 0 0

Ranjit Mathew

@rmathew4bs.bsky.social

4 months ago

Forth: The programming language that writes itself: The Web Page An exploration of the evolution and meaning of the Forth programming language and its context in history.

🤯:

“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

0 0 1 0

Ranjit Mathew

@rmathew4bs.bsky.social

5 months ago

Rating 26 years of Java changes I first started programming Java at IBM back in 1999 as a Pre-University Employee. If I remember correctly, we had Java 1.1.8 installed at that time, but were moving to Java 1.2 (“Java 2”), which w…

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

1 1 0 0

Ranjit Mathew

@rmathew4bs.bsky.social

6 months ago

Zig's Lovely Syntax It's a bit of a silly post, because syntax is the least interesting detail about the language, but, still, I can't stop thinking how Zig gets this detail just right for the class of curly-braced langu...

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

0 0 0 0

Ranjit Mathew

@rmathew4bs.bsky.social

6 months ago

Laurence Tratt: Which Parsing Approach?

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

0 0 0 0

Ranjit Mathew

@rmathew4bs.bsky.social

6 months ago

Python performance myths and fairy tales Antonio Cuni, who is a longtime Python performance engineer and PyPy developer, gave a presenta [...]

#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

0 0 0 0

Ranjit Mathew

@rmathew4bs.bsky.social

6 months ago

The Big OOPs: Anatomy of a Thirty-Five Year Mistake My presentation from the inaugural Better Software Conference, with notes.

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

1 0 0 0

Ranjit Mathew

@rmathew4bs.bsky.social

6 months ago

The long season of langdev 24 comments

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

1 0 0 0

Ranjit Mathew

@rmathew4bs.bsky.social

6 months ago

The long season of langdev

“The Long Season Of Langdev”, Michael Fogus (blog.fogus.me/langdev/long...).

Via Lobsters: lobste.rs/s/xecakg/lon...

#ProgrammingLanguages #PLDI #LangDev #Programming

0 0 1 0

Ranjit Mathew

@rmathew4bs.bsky.social

6 months ago

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

0 0 0 0

Ranjit Mathew

@rmathew4bs.bsky.social

6 months ago

Strategies for very fast Lexers Making compilation pipelines fast, starting with the tokenizer

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

0 0 1 0

Ranjit Mathew

@rmathew4bs.bsky.social

7 months ago

Chris's Wiki :: blog/programming/WhyRDParsersForMe

“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

0 0 0 0

Ranjit Mathew

@rmathew4bs.bsky.social

7 months ago

Captcha Check

“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

0 0 0 0

Ranjit Mathew

@rmathew4bs.bsky.social

7 months ago

Store tags after payloads

“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

0 0 0 0

Ranjit Mathew

@rmathew4bs.bsky.social

8 months ago

"Why is the Rust compiler so slow?"

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

1 0 0 0

Ross Duncan

@rossquantum.bsky.social

8 months ago

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

1 0 0 0

Lean Focused Research Organization

@lean-lang.org

8 months ago

📣 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

3 0 1 0

Ross Duncan

@rossquantum.bsky.social

8 months ago

Now in Seoul for #quantum #pldi Hope to see some of you at WQS tomorrow!

4 0 0 0

Ranjit Mathew

@rmathew4bs.bsky.social

9 months ago

[ On | No ] syntactic support for error handling - The Go Programming Language Go team plans around error handling support

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

0 0 0 0

Ross Duncan

@rossquantum.bsky.social

9 months ago

WQS 2025 - 2nd Workshop on Quantum Software 2025 - PLDI 2025 Learning how to program quantum computers is the next critical skill for developers. Despite this, current quantum programming tools are still at an early stage of the development process, which limit...

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

1 0 0 0

Ranjit Mathew

@rmathew4bs.bsky.social

10 months ago

Writing that changed how I think about PL Every so often I come across a paper, blog post, or (occasionally) video that completely changes how I think about a topic in programming languages and compilers. For some of these posts, I can’t even...

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

1 0 0 0

Ranjit Mathew

@rmathew4bs.bsky.social

10 months ago

Things Zig comptime Won't Do Es el disco de Odín. Tiene un solo lado. En la tierra no hay otra cosa que tenga un solo lado.

“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

0 0 0 0

Ranjit Mathew

@rmathew4bs.bsky.social

10 months ago

Zig-style generics are not well-suited for most languages A discussion of some of the downsides of Zig

“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

0 0 0 0

Posts tagged #PLDI