#pldi — Public Fediverse posts

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

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

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

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

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

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

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

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

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

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

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

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

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

“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”, ‘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”, ‘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”, ‘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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

👌🏽:

“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” [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” [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” [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” [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

“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” [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” [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” [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” [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

“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)”, ‘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)”, ‘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