George ZMy co-author brought back the goodies from #PLDI :)
Philip ZuckerOn Monday morn I'll be giving a talk at @pldi #PLDI EGRAPHS 2026 about lifting egraphs https://pldi26.sigplan.org/details/egraphs-2026-papers/13/Lifting-E-Graphs-A-Function-Isn-t-a-Constant a new twist on adding a notion of rigid alpha canonical variables to e-graphs! Pretty pumped about these ideas! Check it out!
Lifting E-Graphs: A Function Isn’t a Constant (EGRAPHS 2026) - PLDI 2026
Research in the EGRAPHS Community has recently exploded in both quantity and diversity. The data structure that powers SMT solvers is now seeing use in synthesis, optimization, and verification via equality saturation and related techniques. In addition to recent advances in the core data structure and techniques, researchers and practitioners are applying e-graphs to domains such as compilers, floating point accuracy, test generation, computational fabrication, automatic vectorization, deep learning compute graphs, symbolic computation, and more. The fifth EGRAPHS workshop will bring toge ...
रञ्जित (Ranjit Mathew)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
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
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
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