301
New
The latest blog posts to take off on Hacker News. 5,634 posts.
302
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
303
Lisp: Notes on its Past and Future (1980)
LISP-NOTES ON ITS PAST AND FUTURE-1980
304
Friendly attributes pattern in Ruby
Friendly Attributes pattern enables writing human-friendly attributes with compact and flexible syntax.
305
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…
306
307
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…
308
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.
309
SPy: An interpreter and compiler for a fast statically typed variant of Python
Antonio Cuni's blog
310
The Green Tea Garbage Collector
Go 1.25 includes a new experimental garbage collector, Green Tea.
311
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…
312
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…
313
Result is all I need
Rocky Jaiswal. Christian developer living in Berlin. Blogs about programming & technology.
314
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.
315
How I stopped worrying and started loving the Assembly
Or why robots are playing DOOM now
316
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.
317
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…
318
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…
319
Forth: The programming language that writes itself
An exploration of the evolution and meaning of the Forth programming language and its context in history.
320
The future of Python web services looks GIL-free
Web frameworks benchmarks on CPython 3.14t looks promising
321
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…
322
Ruby core team takes ownership of RubyGems and Bundler
Dear Ruby community,
323
Elixir 1.19
Elixir v1.19 released: type checking of protocols and anonymous functions, broader type inference, improved compile times, and more.
324
When you get to be smart writing a macro
A story of writing Clojure’s println alternative that works inside threading-first/last macros
325
Garbage collection for Rust: The finalizer frontier
Abstract Rust is a non-Garbage Collected (GCed) language, but the lack of GC makes expressing data-structures that require shared ownership awkward, inefficient, or both. In this paper we explore a new design for, and implementation of, GC in Rust, called Alloy . Unlike previous approaches to GC in Rust, Alloy allows…
326
Ruby Blocks
How to start really getting Ruby, especially blocks.
327
When if is just a function
what does this mean and does it matter
328
Copy-and-Patch: A Copy-and-Patch Tutorial
If you can ctrl-c and ctrl-v, you can build a JIT.
329
Go subtleties
Some of my favorite tidbits from the past year of working with Go.
330
Completing a BASIC language interpreter in 2025
Completing a BASIC language interpreter in 2025 for replacing the very slow Mattel ECS BASIC for Intellivision.