Why languages should never reorder structs https://lobste.rs/s/6otyjb #video #plt #programming
https://youtu.be/xqdiSaLRzHc
plt
A framework for systematically addressing undefined behaviour in the C++ Standard https://lobste.rs/s/mo0lsm #pdf #c++ #plt #programming
https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2026/p3100r6.pdf
Profunctors in Haskell (2011) https://lobste.rs/s/tibn5s #pdf #haskell #plt
https://github.com/dpiponi/StableBlog/blob/main/Profunctors/Profunctors.pdf
Using ASTs and CUE to describe multi-language linters and fixers https://lobste.rs/s/xnzzf6 #go #plt #vibecoding
https://github.com/imjasonh/pasta
Record type inference for dummies https://lobste.rs/s/ufml52 #plt
https://haskellforall.com/2026/06/record-type-inference-for-dummies
Implementing a Custom Query Language with Python and Apache Spark https://lobste.rs/s/ucipie #databases #plt
https://nchammas.com/writing/custom-query-language-implementation
Mean Time to Repair by Someone Other than the Author https://lobste.rs/s/db1axg #plt #practices
https://web.archive.org/web/20190826005120/http://www.e-dejong.com/blog/2019/8/4/a-very-important-quality-in-a-programming-language-mttr-bsotta
Parallelizing Compilation: In-Process vs Multi-Process https://lobste.rs/s/lzgtkz #ask #plt
Safe Made Easy Pt.1: Single Ownership is (Not) Optional https://lobste.rs/s/5wgmnl #plt
https://ergeysay.github.io/safe-made-easy-pt1.html
Elixir v1.20 released: now a gradually typed language https://lobste.rs/s/wq1csk #elixir #plt
https://elixir-lang.org/blog/2026/06/03/elixir-v1-20-0-released/
The Object Model in Livelymerge via @arcade https://lobste.rs/s/tiwdxn #plt
https://www.inkandswitch.com/livelymerge/notebook/lm-03/
A survey of inlining heuristics https://lobste.rs/s/daaryj #plt
https://bernsteinbear.com/blog/inlining-heuristics/
Multistack Concatenative Programming Languages https://lobste.rs/s/lv7kzs #concatenative #plt
https://www.sheeeeeeeep.art/multistack-catlangs.html
Type Inference (Part 1) https://lobste.rs/s/6la7z7 #compilers #plt
https://www.blog.akhil.cc/type-inference-part-1
Prism: An Impure Functional Language With Typed Effects https://lobste.rs/s/bgnc5q #plt
https://www.stephendiehl.com/posts/prism/
Parse, Don't Validate — In a Language That Doesn't Want You To https://lobste.rs/s/lzewut #javascript #plt
https://cekrem.github.io/posts/parse-dont-validate-typescript/
Ergonomic overrides for Nixpkgs https://lobste.rs/s/yfj5qc #nix #plt
https://haskellforall.com/2026/06/ergonomic-overrides-for-nixpkgs
A Typed, Algebraic Approach to Parsing via @fanf https://lobste.rs/s/ljvfaf #pdf #plt
https://www.cl.cam.ac.uk/~nk480/parsing.pdf
Forlorn Hope of Fortran Modernisation https://lobste.rs/s/jbalki #fortran #plt
https://amenzwa.github.io/stem/PL/FortranModernisation/
A Core Calculus for Documents https://lobste.rs/s/bbr7q9 #pdf #plt
https://dl.acm.org/doi/pdf/10.1145/3632865
Ante: New Way to Blend Borrow Checking and Reference Counting https://lobste.rs/s/vv4fhi #compsci #plt
https://verdagon.dev/blog/ante-blending-borrowing-rc
Thoughts On Integers (2023) via @abnv https://lobste.rs/s/s4gljc #plt
https://blog.xoria.org/integers/
Typst: Designing for Incrementality https://lobste.rs/s/hj0exw #video #plt
https://youtu.be/yWWVhbyOWWE
Evaluation order and nontermination in query languages https://lobste.rs/s/0p04p0 #databases #plt
https://www.rntz.net/post/2026-06-11-datalog-nontermination.html