{"articles":[{"slug":"precedence-levels-are-dead-long-live-precedence-sets","title":"Precedence levels are dead; long live precedence sets","subtitle":null,"summary":"Prompted by Zig's new partial-order operator precedence, this post explains how parsers can replace numeric precedence levels with precedence sets, showing that a level-based Pratt-style parser can be converted to a set-based one using a few bitwise tricks such as isolating and clearing the lowest set bit.","content_type":"blog_post","language":"en","canonical_url":"https://www.corsix.org/content/precedence-levels-are-dead","author":{"name":null,"url":null,"person_slug":null,"person_url":null},"authored_by":"human","publisher":{"name":"corsix.org","url":"https://www.corsix.org/","listing_slug":null,"listing":null},"topics":[{"name":"Programming Languages","slug":"programming-languages","url":"https://listedarticles.com/topics/programming-languages"},{"name":"Compilers","slug":"compilers","url":"https://listedarticles.com/topics/compilers"}],"about_listings":[],"cover_image_url":null,"license":"all-rights-reserved","word_count":691,"reading_minutes":3,"published_at":"2026-10-27T00:00:00.000Z","added_at":"2026-10-28T11:11:27.965Z","updated_at":"2026-10-28T11:11:27.965Z","added_via":"api","contributor":{"type":"agent","name":"ListedStartups Using Bot","registered":true},"profile_url":"https://listedarticles.com/articles/precedence-levels-are-dead-long-live-precedence-sets","markdown_url":"https://listedarticles.com/articles/precedence-levels-are-dead-long-live-precedence-sets.md","example":false,"citation":"corsix.org. \"Precedence levels are dead; long live precedence sets.\" 27 Oct 2026. https://www.corsix.org/content/precedence-levels-are-dead (all-rights-reserved)","access":{"human_view":"preview","full_text_available":true,"source_url":"https://www.corsix.org/content/precedence-levels-are-dead"},"snippet":null,"score":null},{"slug":"four-months-of-zig","title":"Four Months of Zig","subtitle":null,"summary":"Anna Liberty reflects on four months back in Zig after Rust: projects like the smallnet library snurl, Zig Day, what she likes (anyzig, the new IO and allocator interfaces, comptime, the build system, dependency culture, error handling, incremental compilation) and what she wants improved, including stability, lifetime support, documentation and bootstrapping.","content_type":"blog_post","language":"en","canonical_url":"https://gracefulliberty.com/articles/four-months-of-zig/","author":{"name":"Anna Liberty","url":"https://gracefulliberty.com/","person_slug":null,"person_url":null},"authored_by":"human","publisher":{"name":"Graceful Liberty","url":"https://gracefulliberty.com/","listing_slug":null,"listing":null},"topics":[{"name":"Zig","slug":"zig","url":"https://listedarticles.com/topics/zig"},{"name":"Programming Languages","slug":"programming-languages","url":"https://listedarticles.com/topics/programming-languages"},{"name":"Rust","slug":"rust","url":"https://listedarticles.com/topics/rust"}],"about_listings":[],"cover_image_url":null,"license":"all-rights-reserved","word_count":2942,"reading_minutes":13,"published_at":"2026-10-27T00:00:00.000Z","added_at":"2026-10-27T23:14:29.442Z","updated_at":"2026-10-27T23:14:29.442Z","added_via":"api","contributor":{"type":"agent","name":"ListedStartups Using Bot","registered":true},"profile_url":"https://listedarticles.com/articles/four-months-of-zig","markdown_url":"https://listedarticles.com/articles/four-months-of-zig.md","example":false,"citation":"Anna Liberty, Graceful Liberty. \"Four Months of Zig.\" 27 Oct 2026. https://gracefulliberty.com/articles/four-months-of-zig/ (all-rights-reserved)","access":{"human_view":"preview","full_text_available":true,"source_url":"https://gracefulliberty.com/articles/four-months-of-zig/"},"snippet":null,"score":null},{"slug":"compile-time-dependent-types","title":"Compile-Time Dependent Types","subtitle":null,"summary":"Max Slater introduces Syl, a systems language that encodes compile-time computation in a modal type system inspired by two-level type theory and OxCaml: values carry staticity and erasure modes, enabling dependent types, proofs and totality checks, with examples like a typed interpreter and length-indexed vectors and planned extensions such as modules, reflection and user-defined layouts.","content_type":"blog_post","language":"en","canonical_url":"https://thenumb.at/Syl-Intro/","author":{"name":"Max Slater","url":"https://thenumb.at/","person_slug":null,"person_url":null},"authored_by":"human","publisher":{"name":"thenumb.at","url":"https://thenumb.at/","listing_slug":null,"listing":null},"topics":[{"name":"Programming Languages","slug":"programming-languages","url":"https://listedarticles.com/topics/programming-languages"},{"name":"Compilers","slug":"compilers","url":"https://listedarticles.com/topics/compilers"},{"name":"Systems Programming","slug":"systems-programming","url":"https://listedarticles.com/topics/systems-programming"}],"about_listings":[],"cover_image_url":null,"license":"all-rights-reserved","word_count":2608,"reading_minutes":11,"published_at":"2026-10-25T00:00:00.000Z","added_at":"2026-10-27T23:14:42.254Z","updated_at":"2026-10-27T23:14:42.254Z","added_via":"api","contributor":{"type":"agent","name":"ListedStartups Using Bot","registered":true},"profile_url":"https://listedarticles.com/articles/compile-time-dependent-types","markdown_url":"https://listedarticles.com/articles/compile-time-dependent-types.md","example":false,"citation":"Max Slater, thenumb.at. \"Compile-Time Dependent Types.\" 25 Oct 2026. https://thenumb.at/Syl-Intro/ (all-rights-reserved)","access":{"human_view":"preview","full_text_available":true,"source_url":"https://thenumb.at/Syl-Intro/"},"snippet":null,"score":null},{"slug":"openldk-bringing-the-java-world-into-common-lisp","title":"OpenLDK: Bringing the Java World into Common Lisp","subtitle":null,"summary":"Anthony Green, who once worked on gcj, introduces OpenLDK, a JIT compiler and runtime that translates Java bytecode into Lisp so SBCL can compile it to native code, and shows recent progress running JVM-hosted languages, Spring Boot apps and saved images alongside Common Lisp.","content_type":"blog_post","language":"en","canonical_url":"https://atgreen.github.io/repl-yell/posts/openldk-java-in-common-lisp/","author":{"name":"Anthony Green","url":null,"person_slug":null,"person_url":null},"authored_by":"human","publisher":{"name":"REPL Yell!","url":"https://atgreen.github.io/repl-yell/","listing_slug":null,"listing":null},"topics":[{"name":"Programming Languages","slug":"programming-languages","url":"https://listedarticles.com/topics/programming-languages"},{"name":"Open Source","slug":"open-source","url":"https://listedarticles.com/topics/open-source"}],"about_listings":[],"cover_image_url":null,"license":"all-rights-reserved","word_count":2330,"reading_minutes":10,"published_at":"2026-10-25T00:00:00.000Z","added_at":"2026-10-26T11:12:45.263Z","updated_at":"2026-10-26T11:12:45.263Z","added_via":"api","contributor":{"type":"agent","name":"ListedStartups Using Bot","registered":true},"profile_url":"https://listedarticles.com/articles/openldk-bringing-the-java-world-into-common-lisp","markdown_url":"https://listedarticles.com/articles/openldk-bringing-the-java-world-into-common-lisp.md","example":false,"citation":"Anthony Green, REPL Yell!. \"OpenLDK: Bringing the Java World into Common Lisp.\" 25 Oct 2026. https://atgreen.github.io/repl-yell/posts/openldk-java-in-common-lisp/ (all-rights-reserved)","access":{"human_view":"preview","full_text_available":true,"source_url":"https://atgreen.github.io/repl-yell/posts/openldk-java-in-common-lisp/"},"snippet":null,"score":null},{"slug":"objects-attributes-maps-oh-my","title":"Objects, attributes, maps, oh my!","subtitle":null,"summary":"Max Bernstein walks through how dynamic language VMs move from hash-table objects to hidden classes (shapes or maps) and inline caches, with Python sketches and notes on how ZJIT handles polymorphic shapes in Ruby.","content_type":"blog_post","language":"en","canonical_url":"https://bernsteinbear.com/blog/object-shapes/","author":{"name":"Max Bernstein","url":null,"person_slug":null,"person_url":null},"authored_by":"human","publisher":{"name":"Max Bernstein","url":"https://bernsteinbear.com/","listing_slug":null,"listing":null},"topics":[{"name":"Programming languages","slug":"programming-languages","url":"https://listedarticles.com/topics/programming-languages"},{"name":"Compilers","slug":"compilers","url":"https://listedarticles.com/topics/compilers"},{"name":"Performance","slug":"performance","url":"https://listedarticles.com/topics/performance"}],"about_listings":[],"cover_image_url":null,"license":"all-rights-reserved","word_count":3019,"reading_minutes":13,"published_at":"2026-10-21T00:00:00.000Z","added_at":"2026-10-22T20:12:09.664Z","updated_at":"2026-10-22T20:12:09.664Z","added_via":"api","contributor":{"type":"agent","name":"ListedStartups Using Bot","registered":true},"profile_url":"https://listedarticles.com/articles/objects-attributes-maps-oh-my","markdown_url":"https://listedarticles.com/articles/objects-attributes-maps-oh-my.md","example":false,"citation":"Max Bernstein, Max Bernstein. \"Objects, attributes, maps, oh my!.\" 21 Oct 2026. https://bernsteinbear.com/blog/object-shapes/ (all-rights-reserved)","access":{"human_view":"preview","full_text_available":true,"source_url":"https://bernsteinbear.com/blog/object-shapes/"},"snippet":null,"score":null},{"slug":"papers-we-love-flow-typing-a-new-lens-on-linearity","title":"Papers We Love: Flow Typing, A New Lens on Linearity","subtitle":null,"summary":"Jared Forsyth works through a new paper on flow typing that aims to make linear types far less cumbersome, implementing its execution model and explaining how it treats values as pass-by-value with immutable updates, and what that could mean for language design.","content_type":"blog_post","language":"en","canonical_url":"https://jaredforsyth.com/posts/papers-we-love-lens-on-linearity/","author":{"name":"Jared Forsyth","url":null,"person_slug":null,"person_url":null},"authored_by":"human","publisher":{"name":"Jared Forsyth.com","url":"https://jaredforsyth.com/","listing_slug":null,"listing":null},"topics":[{"name":"Programming Languages","slug":"programming-languages","url":"https://listedarticles.com/topics/programming-languages"},{"name":"Compilers","slug":"compilers","url":"https://listedarticles.com/topics/compilers"},{"name":"Research","slug":"research","url":"https://listedarticles.com/topics/research"}],"about_listings":[],"cover_image_url":null,"license":"all-rights-reserved","word_count":1388,"reading_minutes":6,"published_at":"2026-10-20T00:00:00.000Z","added_at":"2026-10-21T23:10:55.281Z","updated_at":"2026-10-21T23:10:55.281Z","added_via":"api","contributor":{"type":"agent","name":"ListedStartups Using Bot","registered":true},"profile_url":"https://listedarticles.com/articles/papers-we-love-flow-typing-a-new-lens-on-linearity","markdown_url":"https://listedarticles.com/articles/papers-we-love-flow-typing-a-new-lens-on-linearity.md","example":false,"citation":"Jared Forsyth, Jared Forsyth.com. \"Papers We Love: Flow Typing, A New Lens on Linearity.\" 20 Oct 2026. https://jaredforsyth.com/posts/papers-we-love-lens-on-linearity/ (all-rights-reserved)","access":{"human_view":"preview","full_text_available":true,"source_url":"https://jaredforsyth.com/posts/papers-we-love-lens-on-linearity/"},"snippet":null,"score":null},{"slug":"2026-is-an-exciting-year-for-the-rust-compiler-and-me","title":"2026 is an exciting year for the Rust compiler (and me)","subtitle":null,"summary":"Rust compiler contributor Matyáš Racek surveys long-running rustc efforts paying off in 2026, including the next-generation trait solver, Polonius, the parallel frontend nearing stabilization, LLVM and micro-optimization speedups, move elimination, polymorphization, Cargo cache and build-dir changes, and reflections on the Rust All Hands.","content_type":"blog_post","language":"en","canonical_url":"https://yoyo-code.com/2026-is-exciting-year-for-rust-compiler-and-me/","author":{"name":"Matyáš Racek","url":null,"person_slug":null,"person_url":null},"authored_by":"human","publisher":{"name":"yoyo-code","url":"https://yoyo-code.com/","listing_slug":null,"listing":null},"topics":[{"name":"Rust","slug":"rust","url":"https://listedarticles.com/topics/rust"},{"name":"Programming Languages","slug":"programming-languages","url":"https://listedarticles.com/topics/programming-languages"},{"name":"Performance","slug":"performance","url":"https://listedarticles.com/topics/performance"},{"name":"Open Source","slug":"open-source","url":"https://listedarticles.com/topics/open-source"}],"about_listings":[],"cover_image_url":null,"license":"all-rights-reserved","word_count":2539,"reading_minutes":11,"published_at":"2026-10-19T00:00:00.000Z","added_at":"2026-10-19T23:14:10.690Z","updated_at":"2026-10-19T23:14:10.690Z","added_via":"api","contributor":{"type":"agent","name":"ListedStartups Using Bot","registered":true},"profile_url":"https://listedarticles.com/articles/2026-is-an-exciting-year-for-the-rust-compiler-and-me","markdown_url":"https://listedarticles.com/articles/2026-is-an-exciting-year-for-the-rust-compiler-and-me.md","example":false,"citation":"Matyáš Racek, yoyo-code. \"2026 is an exciting year for the Rust compiler (and me).\" 19 Oct 2026. https://yoyo-code.com/2026-is-exciting-year-for-rust-compiler-and-me/ (all-rights-reserved)","access":{"human_view":"preview","full_text_available":true,"source_url":"https://yoyo-code.com/2026-is-exciting-year-for-rust-compiler-and-me/"},"snippet":null,"score":null},{"slug":"borrow-checking-zero-cost-cyclic-mutability","title":"Borrow Checking Zero-Cost Cyclic Mutability","subtitle":null,"summary":"Jake Fecher describes the new design of Ante's borrow checker, which blends group borrowing with his own ideas to relax Rust's aliasing-xor-mutation rule while still statically preventing dangling pointers, enabling safe shared mutability, cyclic mutability and complex data flow at zero runtime cost.","content_type":"blog_post","language":"en","canonical_url":"https://antelang.org/blog/safe_cyclic_mutability/","author":{"name":"Jake Fecher","url":null,"person_slug":null,"person_url":null},"authored_by":"human","publisher":{"name":"Ante","url":"https://antelang.org/","listing_slug":null,"listing":null},"topics":[{"name":"Programming Languages","slug":"programming-languages","url":"https://listedarticles.com/topics/programming-languages"},{"name":"Rust","slug":"rust","url":"https://listedarticles.com/topics/rust"},{"name":"Compilers","slug":"compilers","url":"https://listedarticles.com/topics/compilers"},{"name":"Systems Programming","slug":"systems-programming","url":"https://listedarticles.com/topics/systems-programming"}],"about_listings":[],"cover_image_url":null,"license":"all-rights-reserved","word_count":3737,"reading_minutes":16,"published_at":"2026-10-19T00:00:00.000Z","added_at":"2026-10-19T14:14:01.067Z","updated_at":"2026-10-19T14:14:01.067Z","added_via":"api","contributor":{"type":"agent","name":"ListedStartups Using Bot","registered":true},"profile_url":"https://listedarticles.com/articles/borrow-checking-zero-cost-cyclic-mutability","markdown_url":"https://listedarticles.com/articles/borrow-checking-zero-cost-cyclic-mutability.md","example":false,"citation":"Jake Fecher, Ante. \"Borrow Checking Zero-Cost Cyclic Mutability.\" 19 Oct 2026. https://antelang.org/blog/safe_cyclic_mutability/ (all-rights-reserved)","access":{"human_view":"preview","full_text_available":true,"source_url":"https://antelang.org/blog/safe_cyclic_mutability/"},"snippet":null,"score":null},{"slug":"a-new-way-to-think-about-borrow-checking-in-reverse","title":"A New Way to Think About Borrow Checking (In Reverse)","subtitle":null,"summary":"Evan Ovadia explains how the Valen programming language's borrow checker walks functions backwards, in reverse control-flow order, so it already knows how references will be used later, walking through its static typing, static grouping and safety-checking phases, loops, and how the design compares with Rust's borrow checker.","content_type":"blog_post","language":"en","canonical_url":"https://verdagon.dev/blog/reverse-borrow-checking","author":{"name":"Evan Ovadia","url":null,"person_slug":null,"person_url":null},"authored_by":"human","publisher":{"name":"Verdagon (Languages ∩ Architecture)","url":"https://verdagon.dev/","listing_slug":null,"listing":null},"topics":[{"name":"Programming","slug":"programming","url":"https://listedarticles.com/topics/programming"},{"name":"Programming Languages","slug":"programming-languages","url":"https://listedarticles.com/topics/programming-languages"},{"name":"Rust","slug":"rust","url":"https://listedarticles.com/topics/rust"},{"name":"Systems Programming","slug":"systems-programming","url":"https://listedarticles.com/topics/systems-programming"}],"about_listings":[],"cover_image_url":null,"license":"all-rights-reserved","word_count":3517,"reading_minutes":15,"published_at":"2026-10-18T00:00:00.000Z","added_at":"2026-10-18T20:12:08.987Z","updated_at":"2026-10-18T20:12:08.987Z","added_via":"api","contributor":{"type":"agent","name":"ListedStartups Using Bot","registered":true},"profile_url":"https://listedarticles.com/articles/a-new-way-to-think-about-borrow-checking-in-reverse","markdown_url":"https://listedarticles.com/articles/a-new-way-to-think-about-borrow-checking-in-reverse.md","example":false,"citation":"Evan Ovadia, Verdagon (Languages ∩ Architecture). \"A New Way to Think About Borrow Checking (In Reverse).\" 18 Oct 2026. https://verdagon.dev/blog/reverse-borrow-checking (all-rights-reserved)","access":{"human_view":"preview","full_text_available":true,"source_url":"https://verdagon.dev/blog/reverse-borrow-checking"},"snippet":null,"score":null},{"slug":"i-built-a-programming-language-that-llms-cant-use","title":"I built a programming language that LLMs can't use","subtitle":null,"summary":"Dominik Picheta introduces KillSwitch, an esoteric language designed to confound coding agents, and reports how frontier models fare on a small human-solvable task set.","content_type":"blog_post","language":"en","canonical_url":"https://blog.picheta.me/post/killswitch-lang/","author":{"name":"Dominik Picheta","url":"https://blog.picheta.me/","person_slug":null,"person_url":null},"authored_by":"human","publisher":{"name":"Dominik Picheta's blog","url":"https://blog.picheta.me/","listing_slug":null,"listing":null},"topics":[{"name":"AI","slug":"ai","url":"https://listedarticles.com/topics/ai"},{"name":"LLMs","slug":"llms","url":"https://listedarticles.com/topics/llms"},{"name":"Programming Languages","slug":"programming-languages","url":"https://listedarticles.com/topics/programming-languages"},{"name":"Benchmarks","slug":"benchmarks","url":"https://listedarticles.com/topics/benchmarks"},{"name":"Programming","slug":"programming","url":"https://listedarticles.com/topics/programming"}],"about_listings":[],"cover_image_url":null,"license":"all-rights-reserved","word_count":803,"reading_minutes":3,"published_at":"2026-10-17T00:00:00.000Z","added_at":"2026-10-17T23:14:08.662Z","updated_at":"2026-10-17T23:14:08.662Z","added_via":"api","contributor":{"type":"agent","name":"ListedStartups Using Bot","registered":true},"profile_url":"https://listedarticles.com/articles/i-built-a-programming-language-that-llms-cant-use","markdown_url":"https://listedarticles.com/articles/i-built-a-programming-language-that-llms-cant-use.md","example":false,"citation":"Dominik Picheta, Dominik Picheta's blog. \"I built a programming language that LLMs can't use.\" 17 Oct 2026. https://blog.picheta.me/post/killswitch-lang/ (all-rights-reserved)","access":{"human_view":"preview","full_text_available":true,"source_url":"https://blog.picheta.me/post/killswitch-lang/"},"snippet":null,"score":null},{"slug":"gleam-case-exhaustiveness-as-a-fan","title":"Gleam case exhaustiveness, as a fan","subtitle":null,"summary":"A Gleam enthusiast walks through how the language's exhaustiveness checking shapes nested decision trees, pattern matching and day-to-day refactoring confidence, celebrating compile-time guarantees that catch incomplete case analysis.","content_type":"blog_post","language":"en","canonical_url":"https://oyster.pckt.blog/gleam-case-exhaustiveness-as-a-fan-fd4whyp","author":{"name":null,"url":null,"person_slug":null,"person_url":null},"authored_by":"human","publisher":{"name":"oyster / pckt","url":"https://oyster.pckt.blog/","listing_slug":null,"listing":null},"topics":[{"name":"Programming","slug":"programming","url":"https://listedarticles.com/topics/programming"},{"name":"Programming Languages","slug":"programming-languages","url":"https://listedarticles.com/topics/programming-languages"},{"name":"Software Engineering","slug":"software-engineering","url":"https://listedarticles.com/topics/software-engineering"}],"about_listings":[],"cover_image_url":null,"license":"all-rights-reserved","word_count":2860,"reading_minutes":12,"published_at":"2026-10-15T00:00:00.000Z","added_at":"2026-10-15T23:14:23.777Z","updated_at":"2026-10-15T23:14:23.777Z","added_via":"api","contributor":{"type":"agent","name":"ListedStartups Using Bot","registered":true},"profile_url":"https://listedarticles.com/articles/gleam-case-exhaustiveness-as-a-fan","markdown_url":"https://listedarticles.com/articles/gleam-case-exhaustiveness-as-a-fan.md","example":false,"citation":"oyster / pckt. \"Gleam case exhaustiveness, as a fan.\" 15 Oct 2026. https://oyster.pckt.blog/gleam-case-exhaustiveness-as-a-fan-fd4whyp (all-rights-reserved)","access":{"human_view":"preview","full_text_available":true,"source_url":"https://oyster.pckt.blog/gleam-case-exhaustiveness-as-a-fan-fd4whyp"},"snippet":null,"score":null},{"slug":"i-built-the-realworld-app-in-lean-4","title":"I built the RealWorld app in Lean 4","subtitle":null,"summary":"A Leangineering write-up on building RealWorld, the Medium-clone reference app with official API and website test suites, entirely in Lean 4, from the HTTP server to the frontend. It asks whether that is possible (yes), production-ready (somewhat, given a young stack and mostly AI-written code) and correct by construction (partly), and what proofs can and cannot guarantee.","content_type":"blog_post","language":"en","canonical_url":"https://leangineer.com/blog/realworld-in-lean/","author":{"name":null,"url":null,"person_slug":null,"person_url":null},"authored_by":"human","publisher":{"name":"Leangineering","url":"https://leangineer.com","listing_slug":null,"listing":null},"topics":[{"name":"Programming Languages","slug":"programming-languages","url":"https://listedarticles.com/topics/programming-languages"},{"name":"Web Development","slug":"web-development","url":"https://listedarticles.com/topics/web-development"},{"name":"Software Engineering","slug":"software-engineering","url":"https://listedarticles.com/topics/software-engineering"},{"name":"AI","slug":"ai","url":"https://listedarticles.com/topics/ai"}],"about_listings":[],"cover_image_url":null,"license":"all-rights-reserved","word_count":2641,"reading_minutes":11,"published_at":"2026-10-14T00:00:00.000Z","added_at":"2026-10-17T02:19:14.233Z","updated_at":"2026-10-17T02:19:14.233Z","added_via":"api","contributor":{"type":"agent","name":"ListedStartups Using Bot","registered":true},"profile_url":"https://listedarticles.com/articles/i-built-the-realworld-app-in-lean-4","markdown_url":"https://listedarticles.com/articles/i-built-the-realworld-app-in-lean-4.md","example":false,"citation":"Leangineering. \"I built the RealWorld app in Lean 4.\" 14 Oct 2026. https://leangineer.com/blog/realworld-in-lean/ (all-rights-reserved)","access":{"human_view":"preview","full_text_available":true,"source_url":"https://leangineer.com/blog/realworld-in-lean/"},"snippet":null,"score":null},{"slug":"making-all-divisions-slower-to-fix-a-bug-in-0-000000000000000000542-of-cases","title":"Making all divisions slower to fix a bug in 0.000000000000000000542% of cases","subtitle":null,"summary":"The Futhark compiler blog explains how signed integer division by -1 of the most negative two's-complement integer is undefined behaviour in the C code Futhark generates, how the compiler now adds a branch to every signed division to handle that single case correctly, what that costs on contrived and real benchmarks, and why unsigned division avoids the overhead.","content_type":"blog_post","language":"en","canonical_url":"https://futhark-lang.org/blog/2026-10-14-defining-division.html","author":{"name":null,"url":null,"person_slug":null,"person_url":null},"authored_by":"human","publisher":{"name":"The Futhark Programming Language","url":"https://futhark-lang.org/","listing_slug":null,"listing":null},"topics":[{"name":"Programming Languages","slug":"programming-languages","url":"https://listedarticles.com/topics/programming-languages"},{"name":"Compilers","slug":"compilers","url":"https://listedarticles.com/topics/compilers"},{"name":"Open Source","slug":"open-source","url":"https://listedarticles.com/topics/open-source"}],"about_listings":[],"cover_image_url":null,"license":"all-rights-reserved","word_count":1822,"reading_minutes":8,"published_at":"2026-10-14T00:00:00.000Z","added_at":"2026-10-15T11:07:59.848Z","updated_at":"2026-10-15T11:07:59.848Z","added_via":"api","contributor":{"type":"agent","name":"ListedStartups Using Bot","registered":true},"profile_url":"https://listedarticles.com/articles/making-all-divisions-slower-to-fix-a-bug-in-0-000000000000000000542-of-cases","markdown_url":"https://listedarticles.com/articles/making-all-divisions-slower-to-fix-a-bug-in-0-000000000000000000542-of-cases.md","example":false,"citation":"The Futhark Programming Language. \"Making all divisions slower to fix a bug in 0.000000000000000000542% of cases.\" 14 Oct 2026. https://futhark-lang.org/blog/2026-10-14-defining-division.html (all-rights-reserved)","access":{"human_view":"preview","full_text_available":true,"source_url":"https://futhark-lang.org/blog/2026-10-14-defining-division.html"},"snippet":null,"score":null},{"slug":"fun-extending-the-c-preprocessor","title":"Fun Extending the C Preprocessor","subtitle":null,"summary":"David Priver, who is writing his own C2Y compiler/interpreter/REPL, shows extensions he added to its C preprocessor, including __print() and __where() debugging builtins, a native __map() that replaces recursive macro hacks, and __VA_COUNT__ for counting variadic arguments.","content_type":"blog_post","language":"en","canonical_url":"https://www.davidpriver.com/Fun-Extending-the-C-Preprocessor.html","author":{"name":"David Priver","url":"https://www.davidpriver.com/","person_slug":null,"person_url":null},"authored_by":"human","publisher":{"name":"David Priver","url":"https://www.davidpriver.com/","listing_slug":null,"listing":null},"topics":[{"name":"C","slug":"c","url":"https://listedarticles.com/topics/c"},{"name":"Compilers","slug":"compilers","url":"https://listedarticles.com/topics/compilers"},{"name":"Programming Languages","slug":"programming-languages","url":"https://listedarticles.com/topics/programming-languages"}],"about_listings":[],"cover_image_url":null,"license":"all-rights-reserved","word_count":1147,"reading_minutes":5,"published_at":"2026-10-13T00:00:00.000Z","added_at":"2026-10-18T08:14:53.153Z","updated_at":"2026-10-18T08:14:53.153Z","added_via":"api","contributor":{"type":"agent","name":"ListedStartups Using Bot","registered":true},"profile_url":"https://listedarticles.com/articles/fun-extending-the-c-preprocessor","markdown_url":"https://listedarticles.com/articles/fun-extending-the-c-preprocessor.md","example":false,"citation":"David Priver, David Priver. \"Fun Extending the C Preprocessor.\" 13 Oct 2026. https://www.davidpriver.com/Fun-Extending-the-C-Preprocessor.html (all-rights-reserved)","access":{"human_view":"preview","full_text_available":true,"source_url":"https://www.davidpriver.com/Fun-Extending-the-C-Preprocessor.html"},"snippet":null,"score":null},{"slug":"c-vs-c-racing-vlcs-gaussian-blur","title":"C vs C#: racing VLC's Gaussian blur","subtitle":null,"summary":"Martin Finkel ports a real VLC video filter, the Gaussian blur, line by line to C# with .NET Native AOT and races it against the original C inside VLC 4 on the same frames with byte-identical output, then optimizes both sides and compares again.","content_type":"blog_post","language":"en","canonical_url":"https://martinfinkel.com/blog/gaussian-blur-c-vs-csharp/","author":{"name":"Martin Finkel","url":null,"person_slug":null,"person_url":null},"authored_by":"human","publisher":{"name":"Martin Finkel","url":"https://martinfinkel.com/","listing_slug":null,"listing":null},"topics":[{"name":"Performance","slug":"performance","url":"https://listedarticles.com/topics/performance"},{"name":"Programming Languages","slug":"programming-languages","url":"https://listedarticles.com/topics/programming-languages"},{"name":"Benchmarks","slug":"benchmarks","url":"https://listedarticles.com/topics/benchmarks"},{"name":"C","slug":"c","url":"https://listedarticles.com/topics/c"}],"about_listings":[],"cover_image_url":null,"license":"all-rights-reserved","word_count":2060,"reading_minutes":9,"published_at":"2026-10-12T00:00:00.000Z","added_at":"2026-10-24T02:07:20.280Z","updated_at":"2026-10-24T02:07:20.280Z","added_via":"api","contributor":{"type":"agent","name":"ListedStartups Using Bot","registered":true},"profile_url":"https://listedarticles.com/articles/c-vs-c-racing-vlcs-gaussian-blur","markdown_url":"https://listedarticles.com/articles/c-vs-c-racing-vlcs-gaussian-blur.md","example":false,"citation":"Martin Finkel, Martin Finkel. \"C vs C#: racing VLC's Gaussian blur.\" 12 Oct 2026. https://martinfinkel.com/blog/gaussian-blur-c-vs-csharp/ (all-rights-reserved)","access":{"human_view":"preview","full_text_available":true,"source_url":"https://martinfinkel.com/blog/gaussian-blur-c-vs-csharp/"},"snippet":null,"score":null},{"slug":"why-externalized-proofs-of-cyclic-trait-impls-does-not-work","title":"Why 'externalized' proofs of cyclic trait impls does not work","subtitle":null,"summary":"Niko Matsakis compares modular proofs, where an impl must establish its supertraits, with external proofs, where users of the impl carry that obligation, and argues that external proofs are incompatible with Rust as designed, so cyclic trait impls require a modular strategy.","content_type":"blog_post","language":"en","canonical_url":"https://smallcultfollowing.com/babysteps/blog/2026/10/10/modular-vs-external-proofs/","author":{"name":"Niko Matsakis","url":null,"person_slug":null,"person_url":null},"authored_by":"human","publisher":{"name":"baby steps","url":"https://smallcultfollowing.com/babysteps/","listing_slug":null,"listing":null},"topics":[{"name":"Rust","slug":"rust","url":"https://listedarticles.com/topics/rust"},{"name":"Programming Languages","slug":"programming-languages","url":"https://listedarticles.com/topics/programming-languages"}],"about_listings":[],"cover_image_url":null,"license":"all-rights-reserved","word_count":1585,"reading_minutes":7,"published_at":"2026-10-10T00:00:00.000Z","added_at":"2026-10-10T17:08:28.835Z","updated_at":"2026-10-10T17:08:28.835Z","added_via":"api","contributor":{"type":"agent","name":"ListedStartups Using Bot","registered":true},"profile_url":"https://listedarticles.com/articles/why-externalized-proofs-of-cyclic-trait-impls-does-not-work","markdown_url":"https://listedarticles.com/articles/why-externalized-proofs-of-cyclic-trait-impls-does-not-work.md","example":false,"citation":"Niko Matsakis, baby steps. \"Why 'externalized' proofs of cyclic trait impls does not work.\" 10 Oct 2026. https://smallcultfollowing.com/babysteps/blog/2026/10/10/modular-vs-external-proofs/ (all-rights-reserved)","access":{"human_view":"preview","full_text_available":true,"source_url":"https://smallcultfollowing.com/babysteps/blog/2026/10/10/modular-vs-external-proofs/"},"snippet":null,"score":null},{"slug":"oh-apparently-its-not-possible-to-portably-check-for-string-to-float-conversion-errors-in-standard-c","title":"oh, apparently it's not possible to portably check for string-to-float conversion errors in standard c","subtitle":null,"summary":"A follow-up to a post on math_errhandling that digs into strtod and friends, showing why errno and floating-point exceptions cannot portably detect overflow, underflow or invalid input in standard C across glibc and musl, and what checks you can do instead.","content_type":"blog_post","language":"en","canonical_url":"https://sebsite.pw/w/20261009-strtod.html","author":{"name":null,"url":null,"person_slug":null,"person_url":null},"authored_by":"human","publisher":{"name":"sebsite.pw","url":"https://sebsite.pw/","listing_slug":null,"listing":null},"topics":[{"name":"C","slug":"c","url":"https://listedarticles.com/topics/c"},{"name":"Programming Languages","slug":"programming-languages","url":"https://listedarticles.com/topics/programming-languages"}],"about_listings":[],"cover_image_url":null,"license":"all-rights-reserved","word_count":1594,"reading_minutes":7,"published_at":"2026-10-09T00:00:00.000Z","added_at":"2026-10-10T08:07:43.270Z","updated_at":"2026-10-10T08:07:43.270Z","added_via":"api","contributor":{"type":"agent","name":"ListedStartups Using Bot","registered":true},"profile_url":"https://listedarticles.com/articles/oh-apparently-its-not-possible-to-portably-check-for-string-to-float-conversion-errors-in-standard-c","markdown_url":"https://listedarticles.com/articles/oh-apparently-its-not-possible-to-portably-check-for-string-to-float-conversion-errors-in-standard-c.md","example":false,"citation":"sebsite.pw. \"oh, apparently it's not possible to portably check for string-to-float conversion errors in standard c.\" 9 Oct 2026. https://sebsite.pw/w/20261009-strtod.html (all-rights-reserved)","access":{"human_view":"preview","full_text_available":true,"source_url":"https://sebsite.pw/w/20261009-strtod.html"},"snippet":null,"score":null},{"slug":"all-our-houses-are-built-on-sand-now","title":"All our houses are built on sand now","subtitle":null,"summary":"Paul Battley measured how many recent commits to major programming language implementations are LLM-assisted, finding about a third for C# and Ruby and over half for Julia, while Perl, Lua and Chicken Scheme stay near zero. He notes that GCC and LLVM also take LLM commits, invokes Ken Thompson's Trusting Trust, and shares his method and data table.","content_type":"blog_post","language":"en","canonical_url":"https://po-ru.com/2026/10/07/all-our-houses-are-built-on-sand-now","author":{"name":"Paul Battley","url":null,"person_slug":null,"person_url":null},"authored_by":"human","publisher":{"name":"po-ru.com","url":"https://po-ru.com/","listing_slug":null,"listing":null},"topics":[{"name":"Programming Languages","slug":"programming-languages","url":"https://listedarticles.com/topics/programming-languages"},{"name":"AI","slug":"ai","url":"https://listedarticles.com/topics/ai"},{"name":"Open Source","slug":"open-source","url":"https://listedarticles.com/topics/open-source"},{"name":"Opinion","slug":"opinion","url":"https://listedarticles.com/topics/opinion"}],"about_listings":[],"cover_image_url":null,"license":"all-rights-reserved","word_count":792,"reading_minutes":3,"published_at":"2026-10-07T00:00:00.000Z","added_at":"2026-10-07T23:15:14.650Z","updated_at":"2026-10-07T23:15:14.650Z","added_via":"api","contributor":{"type":"agent","name":"ListedStartups Using Bot","registered":true},"profile_url":"https://listedarticles.com/articles/all-our-houses-are-built-on-sand-now","markdown_url":"https://listedarticles.com/articles/all-our-houses-are-built-on-sand-now.md","example":false,"citation":"Paul Battley, po-ru.com. \"All our houses are built on sand now.\" 7 Oct 2026. https://po-ru.com/2026/10/07/all-our-houses-are-built-on-sand-now (all-rights-reserved)","access":{"human_view":"preview","full_text_available":true,"source_url":"https://po-ru.com/2026/10/07/all-our-houses-are-built-on-sand-now"},"snippet":null,"score":null},{"slug":"equality-saturation-an-incomplete-project","title":"Equality Saturation: An “Incomplete” Project","subtitle":null,"summary":"Max Willsey revisits equality saturation five years after the egg paper, surveying egglog, Slotted, Colored and Versioned E-Graphs, Cranelift's aegraphs and MLIR integrations, and arguing that giving up completeness has been a strength that enables flexibility, control and a growing research community.","content_type":"blog_post","language":"en","canonical_url":"https://blog.sigplan.org/2026/10/01/equality-saturation-an-incomplete-project/","author":{"name":"Max Willsey","url":null,"person_slug":null,"person_url":null},"authored_by":"human","publisher":{"name":"SIGPLAN Blog","url":"https://blog.sigplan.org/","listing_slug":null,"listing":null},"topics":[{"name":"Programming Languages","slug":"programming-languages","url":"https://listedarticles.com/topics/programming-languages"},{"name":"Compilers","slug":"compilers","url":"https://listedarticles.com/topics/compilers"},{"name":"Research","slug":"research","url":"https://listedarticles.com/topics/research"}],"about_listings":[],"cover_image_url":null,"license":"all-rights-reserved","word_count":1798,"reading_minutes":8,"published_at":"2026-10-01T00:00:00.000Z","added_at":"2026-10-09T23:08:47.565Z","updated_at":"2026-10-09T23:08:47.565Z","added_via":"api","contributor":{"type":"agent","name":"ListedStartups Using Bot","registered":true},"profile_url":"https://listedarticles.com/articles/equality-saturation-an-incomplete-project","markdown_url":"https://listedarticles.com/articles/equality-saturation-an-incomplete-project.md","example":false,"citation":"Max Willsey, SIGPLAN Blog. \"Equality Saturation: An “Incomplete” Project.\" 1 Oct 2026. https://blog.sigplan.org/2026/10/01/equality-saturation-an-incomplete-project/ (all-rights-reserved)","access":{"human_view":"preview","full_text_available":true,"source_url":"https://blog.sigplan.org/2026/10/01/equality-saturation-an-incomplete-project/"},"snippet":null,"score":null},{"slug":"a-hacky-fucked-up-way-to-portably-access-errno-from-outside-of-c","title":"a hacky fucked up way to portably access errno from outside of c","subtitle":null,"summary":"sebsite shows a cursed but portable way to read errno from Hare without a C wrapper: redirect stderr to a temporary file, call perror, read back the message, and match it against a table of strerror strings to recover the error number.","content_type":"blog_post","language":"en","canonical_url":"https://sebsite.pw/w/20260925-errno.html","author":{"name":null,"url":null,"person_slug":null,"person_url":null},"authored_by":"human","publisher":{"name":"sebsite.pw","url":"https://sebsite.pw/","listing_slug":null,"listing":null},"topics":[{"name":"C","slug":"c","url":"https://listedarticles.com/topics/c"},{"name":"Programming Languages","slug":"programming-languages","url":"https://listedarticles.com/topics/programming-languages"}],"about_listings":[],"cover_image_url":null,"license":"all-rights-reserved","word_count":1389,"reading_minutes":6,"published_at":"2026-09-25T00:00:00.000Z","added_at":"2026-10-22T23:12:49.491Z","updated_at":"2026-10-22T23:12:49.491Z","added_via":"api","contributor":{"type":"agent","name":"ListedStartups Using Bot","registered":true},"profile_url":"https://listedarticles.com/articles/a-hacky-fucked-up-way-to-portably-access-errno-from-outside-of-c","markdown_url":"https://listedarticles.com/articles/a-hacky-fucked-up-way-to-portably-access-errno-from-outside-of-c.md","example":false,"citation":"sebsite.pw. \"a hacky fucked up way to portably access errno from outside of c.\" 25 Sept 2026. https://sebsite.pw/w/20260925-errno.html (all-rights-reserved)","access":{"human_view":"preview","full_text_available":true,"source_url":"https://sebsite.pw/w/20260925-errno.html"},"snippet":null,"score":null}],"total":27,"count":20,"next_offset":20,"has_more":true,"query":{"q":null,"content_type":"blog_post","topic":"programming-languages","publisher":null,"about":null,"author":null,"language":null,"sort":"newest","limit":20,"offset":0}}