Tag
The article explores the advantages of DSL-able languages like Kotlin, using a backend web framework sketch called 'kibble' as an example, and contrasts it with annotation-based frameworks like C# ASP.NET MVC to highlight benefits in code readability and design.
This paper presents a design space exploration of straight-line asynchrony in programming languages, examining how async/await implementations vary across languages and their semantic consequences.
A blog post about Calcium, a tiny programming language implementation designed to demonstrate how languages like Python are compiled and executed, created by Ned Batchelder to explain the compiled vs. interpreted debate.
This article explores programming language semantics and its critical role in memory safety, explaining operational, denotational, and axiomatic approaches in an educational context.
The article argues that assembly is actually typed and presents Odin's inline assembler as the best implementation due to its deep integration with the language's type system and semantic diagnostics.
Ramsey Nasser's talk addresses the English-centric nature of programming languages and introduces an Arabic-based programming language to promote inclusivity in computing education.
An experienced Rust developer shares their journey of learning Zig by reimplementing a JSONPath tool, highlighting differences in IDE support and code organization.
The article explores how the social architecture of programming language communities influences the design and quality of standard libraries, comparing approaches in Python, Go, and Rust.
The article argues against replacing the C programming language with alternatives, highlighting challenges such as toolchain maturity, language uncertainties, developer pool limitations, and C ABI compatibility issues.
The article discusses the internal conflicts within the C++ community regarding ABI breaks and memory safety, alongside government warnings and big tech companies shifting towards Rust.
This article features a curated collection of the personal homepages of programming language creators, highlighting their quirky and unique online designs.
The article argues that type theory adds unnecessary complexity to programming language foundations and proposes a simpler view based on relational membership.
The article explores unexpected behavior in Common Lisp's SBCL where array sub-typing works for integer types but fails for constrained types like (unsigned-byte 16), attributed to compiler optimizations and upgraded array element types.
A blog post arguing that Principia Mathematica anticipated modern programming language concepts such as lambda calculus, types, and referential transparency.
A technical blog post diving into the history and background of Rust's RangeFrom type, tracing its evolution from early RFCs to current and future range types, with a follow-up planned on design opinions.
Dan Luu critiques existing benchmarks claiming dynamic languages are more token-efficient for coding agents, arguing that trivial problems and flawed evals make these conclusions unreliable.
An essay analyzing why programming languages fail, arguing that adoption depends less on technical merit than on how well a language serves programmers as a vocation, art, and job.
Dan Luu critiques claims that dynamic languages are more token-efficient for LLMs, pointing out flaws in existing evals and emphasizing the need for better benchmarking methods.
A technical article explains the true performance costs of garbage collection, contrasting tracing GCs, reference counting, and compile-time memory management in languages like Go, Java, Rust, Swift, and Python.
A tweet by Gergely Orosz highlights that solo developer Chris Sawyer built Rollercoaster Tycoon in Assembly in the late 90s, with a reply from ThePrimeagen joking about the evolution from Assembly to C to Unity to AI agents.