241
Public static void main(String[] args) is dead
Holy fucking shit did this suck 1 . There is a comments section below. Give your eulogy for that piece of shit sorcerous incantation there or wherever else.
New
The latest blog posts to take off on Hacker News. 3,707 posts.
242
The Ruliology of Lambdas
Stephen Wolfram explains the rich ruliology of lambdas, made particularly significant by their connection to practical computing. Covers basic computations to undecidability to multiway graphs and evaluation strategies.
243
What's New in C# 14: Null-Conditional Assignments
C# 14 adds null-conditional assignment, a feature that safely assigns values to properties or indexers without long chains of if statements.
244
Safe C++ proposal is not being continued
One year ago, the Safe C++ proposal was made. The goal was to add a safe subset/context into C++ that would give strong guarantees (memory safety, type safety, …
245
My first impressions of Gleam
What I’ve learned in my first few hours using Gleam for a small project.
246
UTF-8 is a brilliant design
Exploring the brilliant design of UTF-8 encoding system that represents millions of characters while being backward compatible with ASCII
247
Death to type classes
Death (XIII) Symbolizes significant change, transformation, and endings, rather than literal physical death. Have you ever seen a Number grazing in the f
248
The Expression Problem and its solutions (2016)
The craft of programming is almost universally concerned with different types of data and operations/algorithms that act on this data [1] . Therefore, it's hardly surprising that designing abstractions for data types and operations has been on the mind of software engineers and programming-language designers since…
249
Contracts for C
C++ seems to finally converge with their contracts proposal, I decided to give it a try and come up with ideas how such a thing would look for C. This is in early stages, not a full proposal yet, a…
250
Python has had async for 10 years – why isn't it more popular?
A deep-dive into the challenges and misconceptions surrounding async programming in Python
251
What to do with C++ modules?
Note: Everything that follows is purely my personal opinion as an individual. It should not be seen as any sort of policy of the Meson buil...
252
Quirks of Common Lisp Types
Humans have a tendency toward binary thinking (pardon the pun). If it's not A, it's B. Perhaps because Lisps have REPLs, they are often thought of from the outside as being dynamic, interpreted languages. Our years of Python have taught us that such languages don't really have strong typing - it's all a wild guess…
253
A review of Nim 2: The good and bad with example code
I've been using Nim for about 1-2 years now, and I believe the language is undervalued. It's not perfect, of course, but it's pleasant to write and read. My personal website uses Nim .
254
Unexpected productivity boost of Rust
Rust is known for having a steep learning curve, but in this post we will be looking at another curve, the one showing developer productivity in relation to the project size.
255
Implementing Forth in Go and C
I first ran into Forth about 20 years ago when reading a book about designing embedded hardware . The reason I got the book back then was to actually learn more about the HW aspects, so having skimmed the Forth chapter I just registered an "oh, this is neat" mental note and moved on with my life. Over the last two…
256
257
Dynamically patch a Python function's source code at runtime
written by Eric J. Ma on 2025-08-23 | tags: python runtime llm security namespace compilation execution functions toolbot monkeypatching
258
I'm too dumb for Zig's new IO interface
Karl Seguin's Blog - A mix of coding and creative writing
259
Go is still not good
Previous posts Why Go is not my favourite language and Go programs are not portable have me critiquing Go for over a decade.
260
The Core of Rust
within Rust is a smaller language struggling to get out
261
The forgotten meaning of "jerk"
Ben Lindbergh at the Ringer asks “When did jerk stop meaning ‘stupid’?” He starts with the Steve Martin movie The Jerk , saying of its protagonist:
262
263
OCaml as my primary language
A detailed explanation of why I chose OCaml as the ‘default’ programming language for every project.
264
Coalton Playground: Type-Safe Lisp in the Browser
I wanted to share a side project I’ve been tinkering with for a while and finally got around to shipping: Coalton Playground – basically a web-based REPL for Coalton, which is this inte…
265
Writing a competitive BZip2 encoder in Ada from scratch in a few days – part 2
Note for subscribers: if you are interested in my Ada programming articles only, you can use this RSS feed link. Link to Part 3 here . As ...
266
Recto – A Truly 2D Language
Recto is a 2D programming language that uses nested rectangles as its core syntax, encoding structure and recursion directly in space instead of a linear stream of text. Recto explores new ways to write, parse, and reason about code—and even natural language—spatially.
267
Generic Containers in C: Safe Division Using Maybe
Martin Uecker, 2025-08-10 I discuss the implementation of type and bounds safe generic containers in C. Previously, I discussed a span type , bounds checking using arrays . and a a vector type . This time, I will discuss maybe inspired by Haskell. This type can used to return a value that may not exist, e.g. because…
268
Compiling a Lisp: Lambda lifting
first – previous
269
Zig's Lovely Syntax
It's a bit of a silly post, because syntax is the least interesting detail about the language, but, still, I can't stop thinking how Zig gets this detail just right for the class of curly-braced languages, and, well, now you'll have to think about that too.
270
Partially Matching Zig Enums
A short post about a neat little Zig idiom. Consider your average {sum type, variant, tagged union, enum, alt}: