रञ्जित (Ranjit Mathew)May 17

Intriguing:

“Unsigned Sizes: A Five Year Mistake”, The C3 Programming Language (https://c3-lang.org/blog/unsigned-sizes-a-five-year-mistake/).

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

On Lobsters: https://lobste.rs/s/bzltqt/unsigned_sizes_five_year_mistake

#Programming #Arithmetic #Integers #Math #PLDI #C3 #Unsigned #Signed #Errors

Unsigned sizes: a five year mistake

C3 is the ergonomic, safe evolution of C. Familiar syntax, full ABI compatibility, optionals, slices, contracts and zero-cost abstractions.

C3 Programming Language
रञ्जित (Ranjit Mathew)May 17

Nifty:

“All Of The String Types”, Lemon Donnell (https://lambdalemon.gay/posts/string-types).

Via Lobsters: https://lobste.rs/s/khf0ye/all_string_types

#Programming #PLDI #String #ProgrammingLanguages #Unicode #UTF8 #Characters

All of the String types

A list of all of the string types in a lot of languages

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