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
The latest blog posts to take off on Hacker News. 5,634 posts.
Death (XIII) Symbolizes significant change, transformation, and endings, rather than literal physical death. Have you ever seen a Number grazing in the f
Go 1.25 introduces experimental support for encoding/json/jsontext and encoding/json/v2 packages.
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…
Listen in on Jane Street’s Ron Minsky as he has conversations with engineers working on everything from clock synchronization to reliable multicast, build systems to reconfigurable hardware. Get a peek at how Jane Street approaches problems, and how those ideas relate to tech more broadly.
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…
Discover Ada through a fun, project-based tutorial! Learn the language’s clarity, safety, and modern features while building an SVG rosetta generator. A…
A deep-dive into the challenges and misconceptions surrounding async programming in Python
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...
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…
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 .
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.
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…
written by Eric J. Ma on 2025-08-23 | tags: python runtime llm security namespace compilation execution functions toolbot monkeypatching
Karl Seguin's Blog - A mix of coding and creative writing
Previous posts Why Go is not my favourite language and Go programs are not portable have me critiquing Go for over a decade.
within Rust is a smaller language struggling to get out
Zig is a general-purpose programming language and toolchain for maintaining robust , optimal , and reusable software.
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:
Why we still choose Ruby on Rails in 2025: Learn how Lago scales millions of API events with Rails, Go, and Rust, balancing developer speed, concurrency, and performance.
Node.js® is a free, open-source, cross-platform JavaScript runtime environment that lets developers create servers, web apps, command line tools and scripts.
A detailed explanation of why I chose OCaml as the ‘default’ programming language for every project.
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…
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 ...
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.
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…
first – previous
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.
A short post about a neat little Zig idiom. Consider your average {sum type, variant, tagged union, enum, alt}: