The latest blog posts to take off on Hacker News. 375 posts.
Recently I was scrolling through brson’s Rust quote database and stumbled upon a link to the official Rust tutorial from the very beginning of 2013. It says Rust 0.6 in the corner, but it lists many things that were removed in 0.6, so it’s likely closer to 0.5. I heard tales of old Rust before, but not of how the…
After years of engineering, design, and community collaboration, we're excited to release Unison 1.0. This version delivers a refined programming workflow and a mature toolchain. Join us as we celebrate this milestone and look ahead to the future of Unison.
Class website here: https://kmicinski.com/cis531-f25
I used to call myself a Rust hater, but really I was doing it just to compensate for the perceivable fanboyism e.g. Rust tops on stackoverflow surveys as most-loved language. There are many reasons to hate C++, and I hate C++ too. Lots of people were waiting for a better programming language, but got Rust instead.
_posted by Stephen De Gabrielle and John Clements_ We are pleased to announce Racket v9.0 is now available from https://download.racket-lang.org/. **Racket 9.0 is here!** A major release is always exciting and Racket 9.0 is no exception in that it intr...
It is known that mathematics is heavily reliant on set theory, but no one can agree on what set theory is. Many people today understand that we have a choice between set theory and type theory , but they don’t know what type theory is either. Many think that type theory refers to some sort of dependent type theory, as…
I delivered my traditional Go Cryptography State of the Union talk at GopherCon US 2025 in New York. It goes into everything that happened at the intersection of Go and cryptography over the last year.
A blog about modern PHP, the web, and programming in general. Follow my newsletter and YouTube channel as well.
A teardown of Rust's mutex internals plus real benchmarks so you know when to choose std or parking_lot.
I am just really bored by Lisp Machine romantics at this point: they should go away. I expect they never will....
Trick question! Perl is not dead. I’ll show you what I mean, and then still answer what I think killed Perl.
TIL: `satisfies` is my favorite TypeScript keyword
I got it working with arrays and records, but couldn't make it work for regular objects.
We are pleased to announce the release of Ruby 4.0.0-preview2. Ruby 4.0 updates its Unicode version to 17,0.0, and so on.
I've started working on a new edition of Ruby Under a Microscope that covers Ruby 3.x. I'm working on this in my spare time, so it will take a while. Leave a comment or drop me a line and I'll email you when it's finished.
One of the first things any Rust programmer learns is that you can’t pass an object and a reference to that object around at the same time. It’s impossible to do, even indirectly. This limitation has been the subject of countless questions on Stack Overflow and posts on Reddit and the Rust forums and anywhere else…
Of course you want to design (and implement!) your own programming language! It’s fun. It’s creative. It’s empowering.
Happy Birthday, Go!
A modest mathematical framing of language
wingolog: article: the last couple years in v8's garbage collector
Optimizing compilers like to keep track of each IR instruction’s effects. An instruction’s effects vary wildly from having no effects at all, to writing a specific variable, to completely unknown (writing all state).
Announcing the release of .NET 10, the most productive, modern, secure, intelligent, and performant release of .NET yet. With updates across ASP.NET Core, C# 14, .NET MAUI, Aspire, and so much more.
Learn how we use macros to make it less painful to use Zig structs in C++ (and vice versa)
(From someone who has spent far too much time thinking about the designs of programming languages)
This is my Code BEAM Europe 2025 talk, converted to a blogpost.
I can’t think of any other language in my 45 years long career that surprised more than Zig . I can easily say that Zig is not only a new programming language, but it’s a totally new way to write programs, in my opinion. To say it’s merely a language to replace C or C++, it’s a huge understatement.
OCaml's type system catches state corruption at compile time. Type-safe SQL, automatic serialization, and immutability by default prevent entire categories of bugs.
