Communications of the ACM1mo agoThe article discusses the author's perspective on the modern formal mathematics community, particularly the pressure to justify not using the Lean proof assistant. The author acknowledges Lean's technical merits—great language, good tools, large library, and enthusiastic community with astounding recent accomplishments—but expresses discomfort with what they
scattered-thoughts.net1mo ago
infoq.com1mo ago
github.com1mo agoThe article presents a simplified model of Fil-C, a memory-safe implementation of C/C++. It explains that while the real Fil-C uses a compiler pass to rewrite LLVM IR, the simplified version is an automated rewrite of C/C++ source code that transforms unsafe code into safe code. The author aims to help newcomers understand the concept by starting with a simp
Solod is a strict subset of the Go programming language that compiles to regular C code, designed for systems programming with manual memory management and zero runtime overhead. It maintains Go's syntax, type safety, and tooling while removing features like channels, goroutines,
github.com·Hacker News: Front Page·1mo ago·5 min readSky is an experimental programming language that combines Go's pragmatism with Elm's elegance to create a fullstack functional programming language. It compiles to Go, offering fast compilation and single static binary output while incorporating Hindley-Milner type inference, alg
github.com·Hacker News: Front Page·1mo ago·34 min read
creativetension.co2mo agoThis is a draft design document describing the implementation of lightweight userland cooperative threads (called 'fibers') for SBCL (Steel Bank Common Lisp). The document covers the motivation for fibers, design goals, terminology, and programming API including creating/running fibers, yielding/waiting mechanisms, sleep/timed waits, condition-based parking,
atgreen.github.io2mo agoThis is a developer log (devlog) entry for the Zig programming language, documenting recent changes to the main branch. The April 8, 2026 entry focuses on incremental compilation improvements with LLVM, specifically enhancements to the LLVM codegen backend made by developer Matthew Lugg. The devlog serves as a curated changelog tracking development progress,
ziglang.org2mo agoThe author details their experience building a new programming language called Cutlet over four weeks using Claude Code, an AI programming assistant. Unlike previous limited use of LLMs for boilerplate code, this project involved allowing Claude to generate every single line of code. The article explores the process of AI-assisted programming language develo
ankursethi.com2mo ago
github.com2mo agoThe article examines why the Go programming language doesn't include a 'try' keyword for error handling, contrasting it with languages like Zig and Rust. It argues that while Go's explicit error handling appears verbose, Zig is actually more explicit about errors through its error union types. The piece explores the philosophical differences in language desi
niketpatel.com3mo ago
