Tag
This video summarizes the 4000-year evolution of mathematics, from ancient geometric reasoning to modern algebraic notation, emphasizing how symbolic systems serve as cognitive tools for thought.
C++26 standardizes trivial infinite loops as well-defined behavior, eliminating undefined behavior that previously allowed compilers to optimize them away, which was problematic in embedded and kernel applications.
The article examines the legacy of C's type declaration syntax in modern programming languages and compares alternative syntaxes used in Go and Rust.
Mergiraf is a syntax-aware Git merge driver that enhances merge handling for a variety of programming languages and file formats.
This article argues that Golang developers should explore Odin, a new programming language that addresses some of Go's limitations with features like memory management and array programming.
Companies often stop using Haskell due to poor adoption strategies and a mismatch between the language's strengths and short-term business incentives, rather than technical shortcomings.
This article discusses three programming language features: flow typing for dynamic feel in static languages like Crystal and TypeScript, borrow checking for memory safety in Rust, and contract programming for invariant checking in D.
Microsoft has declared Rust as a tier-1 language for internal development and introduced rustc_codegen_utc, a new code generation backend that integrates Rust with MSVC for enhanced Windows platform support.
The article discusses the recent addition of the empty type in Rust, explaining the difference between empty and bottom types and how it affects type coercion in the language.
This blog post argues that type inference in programming languages, while widely adopted, can cause usability problems by increasing cognitive load and hindering code comprehension.
This article argues that the C programming language is not truly low-level, challenging common perceptions and discussing its abstractions and design.
Bjarne Stroustrup, creator of C++, criticizes AI-generated code and natural language programming, prompting a response from DHH on disagreeing yet valuing contributions.
Smolts is a pedagogical IDE for teaching the SMoL language, allowing users to write and step through programs with visualizations of continuations, environments, and stores.
The author expresses conflict over using Ruby and Rails due to creator DHH's controversial views, exploring alternatives like Hanami and Gleam but finding no perfect replacement.
This article argues that Runtime Type Information (RTTI) has a linear cost, while Compile-Time Type Information (CTTI) can lead to exponential costs in compilation time and binary size, challenging the assumption that CTTI is zero-cost.
Bluefin, a Haskell effect system, is rebranded as a capability system to emphasize its use of value-level arguments for access control, drawing from capability-based security models.
The author explains why effect systems in programming languages are exciting, offering better control over resource interactions, composability, and testability compared to current systems.
Martin Odersky, creator of Scala, argues that Rust is overused for applications where garbage collection is adequate, suggesting simpler alternatives. The tweet promotes an interview discussing comparisons between Rust, Zig, Python, and Scala, and AI's impact on programming languages.
An interview with developer oofoe discussing his use of exotic programming languages like REBOL, Forth, Decker, and Janet, along with insights into DSL design and applications in the VFx industry.
The article explores symmetries in boolean scans within array languages like APL, discussing optimizations for folds and scans through functional equations and algorithmic insights.