211
Ada and SPARK enter the automotive ISO-26262 market with Nvidia
AdaCore and NVIDIA have decided to publish this reference process freely as an open-source and evolving document, allowing the industry at large to adopt…
New
The latest blog posts to take off on Hacker News. 375 posts.
212
Why I wrote the BEAM book
The story behind writing The BEAM Book-ten years, three publishers, and an open‑source sprint.
213
Swift at Apple: Migrating the Password Monitoring Service from Java
Swift is heavily used in production for building cloud services at Apple, with incredible results. Last year, the Password Monitoring service was rewritten in Swift, handling multiple billions of requests per day from devices all over the world. In comparison with the previous Java service, the updated backend…
214
(On | No) Syntactic Support for Error Handling
Go team plans around error handling support
215
Structured Errors in Go (2022)
Bridge the gap between structured logging and errors in Go
216
Implementing a Forth
(Image of "Four-Armed Chuck" programming a PDP-11 is from my giant write-up of Forth .)
217
Learning C3
Learning the C3 programming language
218
Pyrefly vs. Ty: Comparing Python's two new Rust-based type checkers
A deep dive into Meta's pyrefly and Astral's ty - two new Rust-based Python type checkers that both promise faster performance and better type inference.
219
Making C and Python Talk to Each Other
How to Use Python in C
220
Hacker News now runs on top of Common Lisp
Hacker News was written in the Arc lisp dialect, a dialect created by Paul Graham. Arc was implemented on top of Racket, but that has now changed. HN runs on top of SBCL since (at least) September of 2024.But why? For performance reasons. I recently noticed that Hacker News no longer uses paging for long threads. In…
221
Why Algebraic Effects?
Algebraic effects 1 (a.k.a. effect handlers) are a very useful up-and-coming feature that I personally think will see a huge surge in popularity in the programming languages of tomorrow. They’re one of the core features of Ante, as well as being the focus of many research languages including Koka , Effekt , Eff , and…
222
Roto: A Compiled Scripting Language for Rust
By Terts Diepraam We are working on an embedded scripting language for Rust. This language, called Roto, aims to be a simple yet fast and reliable scripting language for Rust applications. The need for Roto comes from Rotonda, our BGP engine written in Rust. Mature BGP applications usually feature some
223
224
“ZLinq”, a Zero-Allocation LINQ Library for .NET
I’ve released ZLinq v1 last month! By building on structs and generics, it achieves zero allocations. It includes extensions like LINQ to…
225
Clojuring the web application stack: Meditation One
In a land bereft of a canonical "killer app" web framework or two, one must think about the what, why, how, where of all the moving parts. Out here, one must become a student of web framework architecture in addition to web application architecture. For here, in Clojure-land, the two are one. ☯
226
Writing into Uninitialized Buffers in Rust
A blog by sunfishcode
227
228
Pyrefly: A new type checker and IDE experience for Python
Today we are announcing an alpha version of Pyrefly, an open source Python type checker and IDE extension crafted in Rust. Pyrefly is a static type checker that analyzes Python code to ensure type …
229
Evolution of Rust Compiler Errors
Blog about programming stuff.
230
The first year of free-threaded Python
A recap of the first year of work on enabling support for the free-threaded build of CPython in community packages.
231
232
Project Verona: Fearless Concurrency for Python
Research programming language for concurrent ownership
233
Lessons from Mixing Rust and Java: Fast, Safe, and Practical
This article provides a hands-on guide to integrating Rust and Java through the Java Native Interface (JNI).
234
Flattening Rust’s learning curve
I see people make the same mistakes over and over again when learning Rust. Here are my thoughts (ordered by importance) on how you can ease the learning process. My goal is to help you save time and frustration. Let Your Guard Down Stop resisting. T…
235
Don't unwrap options: There are better ways (2024)
I noticed that handling the None variant of Option without falling back on unwrap() is a common papercut in Rust. More specifically, the problem arises when you want to return early from a function that returns a Result if you encounter None. It has …
236
Lua for Elixir
Execute sandboxed Lua code on the BEAM VM using Luerl
237
Odin: A programming language made for me
In my book Understanding the Odin Programming Language I wrote that “Odin incorporates some of my favorite C best practices, straight into the language”. But I didn’t really elaborate on the details. Let’s do that here! This brings me to talking a bit about a previous job I had. Back in 2021 I worked at a place called…
238
LSP client in Clojure in 200 lines of code
I wrote a small LSP client, it was kinda neat so I’m sharing it
239
JEP 515: Ahead-of-Time Method Profiling
Improve warmup time by making method-execution profiles from a previous run of an application instantly available, when the HotSpot Java Virtual Machine starts. This will enable the JIT compiler to generate native code immediately upon application startup, rather than having to wait for profiles to be collected.
240
I learned Snobol and then wrote a toy Forth
This page is a mini-site for my Snobol excursion with links to separate pages for my: