रञ्जित (Ranjit Mathew)Apr 26

Interesting:

“A Case Against Currying”, Emilia H (https://emi-h.com/articles/a-case-against-currying.html).

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

On Lobsters: https://lobste.rs/s/w2x9dq/case_against_currying

#Programming #FunctionalProgramming #FP #Currying #Rants #PLDI #Haskell

A Case Against Currying - emih.com

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

“An Incoherent Rust”, ‘BoxyUwU’ (https://www.boxyuwu.blog/posts/an-incoherent-rust/).

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

On Lobsters: https://lobste.rs/s/i0cskl/incoherent_rust

#Programming #PLDI #Rust #Traits #Compilers #Syntax

An Incoherent Rust

Coherence and the orphan rules are a frequent source of complaints about Rust, and a common topic of language proposals. This post covers most of the existing proposals around coherence and my vision for how we should solve coherence once and for all.

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

A nice survey of #ProgrammingLanguages that allow you to omit semicolons:

“No Semicolons Needed”, Terts Diepraam (https://terts.dev/blog/no-semicolons-needed/).

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

On Lobsters: https://lobste.rs/s/09wmcz/no_semicolons_needed

#Programming #PLDI #Parsing #Lexing #Syntax #Grammar #Compilers

No Semicolons Needed | Terts Diepraam

रञ्जित (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)