रञ्जित (Ranjit Mathew)Mar 1

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 (https://ohadravid.github.io/posts/2026-02-go-sliced/).

Via Lobsters: https://lobste.rs/s/o3cpxf/sliced_by_go_s_slices

#Programming #GoLang #PLDI

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} …

रञ्जित (Ranjit Mathew)Feb 21

Nice article, but the all-lowercase titling is so jarring:

“Six Thoughts On Generating C”, Andy Wingo (https://wingolog.org/archives/2026/02/09/six-thoughts-on-generating-c).

Via HN: https://news.ycombinator.com/item?id=46945235

On Lobsters: https://lobste.rs/s/j8jnqq/six_thoughts_on_generating_c

#Programming #C #PLDI #Compilers #CodeGeneration #ProgramSynthesis

six thoughts on generating c — wingolog

wingolog: article: six thoughts on generating c

रञ्जित (Ranjit Mathew)Feb 21

Another excellent post 👌🏽 from Russ Cox 👇🏽🫡:

“Floating-Point Printing And Parsing Can Be Simple And Fast” (https://research.swtch.com/fp).

On HN: https://news.ycombinator.com/item?id=46685317

On Lobsters: https://lobste.rs/s/nbsclr/floating_point_printing_parsing_can_be

#Programming #Math #FloatingPoint #Numbers #PLDI #Parsing #Printing

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

Show threadरञ्जित (Ranjit Mathew)Dec 8

Awesome!

“Eurydice: A Rust To C Compiler (Yes)”, Jonathan Protzenko (http://jonathan.protzenko.fr/2025/10/28/eurydice.html).

Via HN: https://news.ycombinator.com/item?id=46178442

On Lobsters: https://lobste.rs/s/1kcrn4/eurydice_rust_c_compiler_yes

#Eurydice #Rust #C #Compilers #Transpilers #Programming #PLDI #Portability #Embedded

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 care about compiling Rust to C! Wait, what?

Jonathan Protzenko
रञ्जित (Ranjit Mathew)Dec 8

👌🏽:

“Generating C Code That People Actually Want To Use” [2019], Jonathan Protzenko (http://jonathan.protzenko.fr/2019/01/04/behind-the-scenes.html).

On HN: https://news.ycombinator.com/item?id=19304400

On Lobsters: https://lobste.rs/s/4vfysy/generating_c_code_people_actually_want

#C #Compilers #Transpilers #Readability #Programming #PLDI #CodeGeneration #Verification

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 dedicated compiler, the verified F* code is compiled to readable C, meaning existing systems projects can readily integrate our verified code. Going to C is what allows people to use our code without having to buy into exotic, strange languages with lambdas.

Jonathan Protzenko
रञ्जित (Ranjit Mathew)Nov 30

“Rust’s Ugly Syntax” [2023], Aleksey Kladov (https://matklad.github.io/2023/01/26/rusts-ugly-syntax.html).

On HN: https://news.ycombinator.com/item?id=34541695 & https://news.ycombinator.com/item?id=41397679

On Lobsters: https://lobste.rs/s/tn9gho/rust_s_ugly_syntax

On Reddit: https://old.reddit.com/r/rust/comments/10mdlep/rusts_ugly_syntax/ & https://old.reddit.com/r/programming/comments/10rkaag/rusts_ugly_syntax/

#Rust #Programming #PLDI

Rust's Ugly Syntax

People complain about Rust syntax. I think that most of the time when people think they have an issue with Rust's syntax, they actually object to Rust's semantics. In this slightly whimsical post, I'll try to disentangle the two.

रञ्जित (Ranjit Mathew)Nov 23

“Opinion Piece: On Zig (And The Design Choices Within)”, ‘Blueberry Wren’ (https://blueberrywren.dev/blog/on-zig/).

Via HN: https://news.ycombinator.com/item?id=45876990

On Lobsters: https://lobste.rs/s/uclead/opinion_piece_on_zig_design_choices

#Zig #Programming #PLDI #Critique #Rants

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

रञ्जित (Ranjit Mathew)Nov 23

The article is too verbose & the discussions flame out, but some good references in both:

“Memory Safety For Skeptics”, ACM Queue (https://queue.acm.org/detail.cfm?id=3773095).

Via HN: https://news.ycombinator.com/item?id=45879012

On Lobsters: https://lobste.rs/s/mytmnl/memory_safety_for_skeptics

#PLDI #Programming #MemorySafety #Security

Memory Safety for Skeptics - ACM Queue

Cass AlexandruNov 3
the AoE timezone, a consequence of globalization, offers a way to triple Fridays the 13ths globally, and double them locally:
Introducing: Friday the 13th somewhere on Earth (parenthesized as: Friday (the 13th somewhere on Earth).
E.g. the #PLDI deadline is such a newly acquired Friday (in Europe).
Friday here, the 13th somewhere. Keep the weekday, offshore the date.
रञ्जित (Ranjit Mathew)Oct 24

“The Best – But Not Good – Way To Limit String Length”, Adam Pritchard (https://adam-p.ca/blog/2025/04/string-length/).

On HN: https://news.ycombinator.com/item?id=43850398

#Programming #PLDI #Strings #Length #Unicode #Characters #Bytes #Graphemes #UTF #CodePoints #I18N #Internationalization

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