61
New
The latest blog posts to take off on Hacker News. 375 posts.
62
The state of SIMD in Rust in 2025
If you’re already familiar with SIMD, the table is all you need. And if you’re not, you will understand the table by the end of the…
63
Ruby and Its Neighbors: Smalltalk
Smalltalk was the second major influence on Ruby's design. A different kind of influence, since almost nothing of Smalltalk's syntax made into Ruby. But many of the details of how objects work are directly inspired by Smalltalk, including the idea that every piece of data is part of the object system.
64
When your hash becomes a string: Hunting Ruby's million-to-one memory bug
An "impossible" Ruby bug: Hashes becoming Strings at runtime. 2,700 identical crashes. No corruption. Just objects changing what they are. Deep dive.
65
My Experience of building Bytebeat player in Zig
I graduated last month, and my GSoC project along with my startup work finally wrapped up. To take a proper break and enjoy some deliberate...
66
JVM exceptions are weird: a decompiler perspective
Some time ago, I played around with decompiling Java class files in a more efficient manner than traditional solutions like Vineflower allow. Eventually, I wrote an article on my approach to decompiling control flow, which was a great performance boost for my prototype. At the time, I believed that this method can be…
67
Dependent types and how to get rid of them
are-dependent-types-actually-erased - Chad Nauseam Home
68
Why engineers can't be rational about programming languages
The neuroscience of why we make million dollar decisions based on identity, not data.
69
Learning to read Arthur Whitney's C to become smart (2024)
it's not working
70
71
Oxy is Cloudflare's Rust-based next generation proxy framework (2023)
In this blog post, we are proud to introduce Oxy - our modern proxy framework, developed using the Rust programming language
72
Lisp: Notes on its Past and Future (1980)
LISP-NOTES ON ITS PAST AND FUTURE-1980
73
Friendly attributes pattern in Ruby
Friendly Attributes pattern enables writing human-friendly attributes with compact and flexible syntax.
74
Why don't you use dependent types?
To be fair, nobody asks me this exact question. But people have regularly asked why Isabelle dispenses with proof objects. The two questions are essentially the same, because proof objects are intrinsic to all the usual type theories. They are also completely unnecessary and a huge waste of space. As described in an…
75
76
The Arduino Uno Q is a weird hybrid SBC
The Arduino Uno Q is... a weird board. It's the first product born out of Qualcomm's buyout of Arduino. It's like if you married an Intel CPU, and a Raspberry Pi RP2040 microcontroller—oh wait, Radxa's X4 did that. Arduino even tried it before with their old Yún board, which had Linux running on a MIPS CPU, married to…
77
Nim 2.2.6
The Nim Team is happy to announce version 2.2.6, the third patch release for our stable release, Nim 2.2.
78
SPy: An interpreter and compiler for a fast statically typed variant of Python
Antonio Cuni's blog
79
The Green Tea Garbage Collector
Go 1.25 includes a new experimental garbage collector, Green Tea.
80
How I turned Zig into my favorite language to write network programs in
I’ve been watching the Zig language for a while now, given that it was created for writing audio software (low-level, no allocations, real time). I never paid too much attention though, it seemed a little weird to me and I didn’t see the real need. Then I saw a post from Andrew Kelley (creator of the language) on…
81
Learn Multiplatform Z80 Assembly Programming with Vampires
Platform Specific Series - Lets learn how the hardware of the systems work, so we can get it to do what we want... Covers Amsrad CPC,MSX,ZX Spectrum, TI-83,Enterprise 128/64 and Sam Coupe! Lesson P1 - Basic Firmware Text functions Lesson P2 - More Text Functions, Improvements... and the Sam Coupe! Lesson P3 - Bitmap…
82
Result is all I need
Rocky Jaiswal. Christian developer living in Berlin. Blogs about programming & technology.
83
The Swift SDK for Android
Swift has matured significantly over the past decade — extending from cloud services to Windows applications, browser apps, and microcontrollers. Swift powers apps and services of all kinds, and thanks to its great interoperability, you can share code across platforms.
84
How I stopped worrying and started loving the Assembly
Or why robots are playing DOOM now
85
I spent a year making an ASN.1 compiler in D
In this post I’ll just rambling about ASN.1; parts of the compiler implementation, and some of the tool’s output rather than the tool itself as its still too WIP to really advertise on its own yet.
86
Clojure Zippers (2021)
In this article, we will discuss zippers in the Clojure language. These are an unusual way to work with collections. Using a zipper, you can traverse a data structure arbitrarily and modify its content as well as search in it. A zipper is a powerful abstraction that pays off over time. However, it is not as…
87
Why SSA?
If you’ve read anything about compilers in the last two decades or so, you have almost certainly heard of SSA compilers , a popular architecture featured in many optimizing compilers, including ahead-of-time compilers such as LLVM, GCC, Go, CUDA (and various shader compilers), Swift 1 , and MSVC 2 , and just-in-time…
88
Forth: The programming language that writes itself
An exploration of the evolution and meaning of the Forth programming language and its context in history.
89
The future of Python web services looks GIL-free
Web frameworks benchmarks on CPython 3.14t looks promising
90
Why formalize mathematics – more than catching errors
I read a good post by one of the authors of the Isabelle theorem prover, that got me thinking. The author, Lawrence Paulson, observed that most math proofs are trivial, but writing them (preferably with a proof assistant) is a worthwhile activity, for reasons similar to safety checklists - “Not every obvious statement…