Tag
The article explains the confusing behavior of C array types, including their decay to pointers, exceptions like sizeof and function parameters, and compares it to function types, suggesting a mental model where arrays and pointers are strictly separated.
An opinion piece arguing that LLMs perform better with boring, consistent languages and ecosystems (like Ruby on Rails) because the training corpus has lower variance, leading to more reliable agentic output, while fragmented ecosystems (like JavaScript) produce poor results.
.NET 11 preview introduces union types in C# 15, a long-requested feature for handling data that can be one of several types, with a new 'union' keyword and pattern matching.
A deep dive into existential quantification in Rust's type system, comparing `dyn Trait` and `impl Trait`, and exploring advanced patterns for existentially quantified type variables beyond `Self`.
Anders Hejlsberg, creator of C#, discusses the design goals that shaped the language, including object orientation, managed code, garbage collection, reflection, and standardization.
The article criticizes C standard library functions for parsing integers (atol, strtol, strtoul, sscanf), explaining why most are broken and only strtol can be used correctly with careful error handling.
A developer reflects on PHP's oddities after five years of use, focusing on the quirks of its array implementation and type system.
Paul Graham discusses the advantages of using Lisp for web-based applications, including language freedom, incremental development, and rapid bug fixing, drawing from his experience with Viaweb.
David Crawshaw argues that while the industry invests in Rust's lack of GC, Jane Street's OCaml with OxCaml demonstrates that GC is beneficial for most code paths, with only 1% needing performance optimization.
This article recaps the PyCon US 2026 Typing Summit, detailing key talks on Python typing advancements including PEP proposals, AI-assisted type checking experiments, and a Typing Council Q&A session.
An introduction to Prolog programming using Pokémon type matchups as a motivating example, demonstrating how logic programming can elegantly model relational data.
A blog post discusses how the lock-in effect of programming languages is diminishing due to the rise of coding agents, exemplified by a company rewriting native iPhone and Android apps to React Native.
Mitchell Hashimoto comments on the increasing fungibility of programming languages, using Bun's rewrite from Zig to Rust as an example, suggesting that languages are no longer a source of lock-in.
A detailed summary of an interview with Anders Hejlsberg, the creator of Turbo Pascal, Delphi, C#, and TypeScript, covering his career, design philosophy, and insights on software craftsmanship and AI.
The article discusses Lua as a practical 'soft-bedrock' language, exploring its role in software development.
C++26 is introducing standardized library hardening to catch common undefined behavior (like out-of-bounds access) at runtime, based on Google's production experience showing a mere 0.30% performance overhead and a 30% reduction in segmentation faults.
The article argues that AI's proficiency in complex systems languages like Rust and Go has shifted the value proposition away from Python, as AI lowers the barrier to entry for high-performance development.
This article presents a minimalist 7-line interpreter for a Turing-equivalent functional language based on lambda calculus, demonstrating the eval/apply design pattern.
The article proposes a principled rethinking of array languages like APL by modeling variables as functions of input dimensions, aiming to improve readability and error checking compared to traditional approaches.
This article discusses the decision to revert the incremental garbage collection feature in Python 3.14 and 3.15.