5161
Strong arrows: a new approach to gradual typing
An introduction to strong arrows and how it leverages the Erlang VM to provide sound gradual typing.
New
The latest blog posts to take off on Hacker News. 21,821 posts.
5162
Compiling ML models to C for fun
We make micrograd fly with a little compiler magic. In this post, we’ll write a ML compiler from scratch.
5163
Interoperability: Swift’s Super Power
Open sourcing our learnings around Windows APIs, COM, C++ and their delightful integration into Swift - while building Arc.
5164
Svelte 5: Runes
Rethinking ‘rethinking reactivity’
5165
78% MNIST accuracy using GZIP in under 10 lines of code
Using GZIP compression and the k-Nearest Neighbors algorithm, we explore an innovative approach to classifying the MNIST dataset with about 78% accuracy
5166
Gokrazy is cool
Xe Iaso's personal website.
5167
Lean, Coq and other proof assistants: Visualising proofs as trees
This week we (me & Anton Kovsharov) published Paperproof, a Gentzen-tree-like proof interface for Lean 4. In this post I'll review proof visualisations from o...
5168
Grouping digits in SQL
PostgreSQL 16 was released last week. This is the story of a feature.
5169
5170
Ruby 3.3's YJIT Runs Shopify's Production Code 15% Faster
Ruby 3.2 YJIT has optimized the production workloads of Shopify and other companies. We encourage you to enable YJIT in production. Once Ruby 3.3 is released, it should make your application even faster.
5171
Programming is hard
Software is weird. In its basic form, software is this very abstract thing with seemingly little connection to the real world. Yet graphical applications running on a hardware device like a modern phone feel very real, even to people who have no appreciation of what happens within this “black box”. Some pieces of…
5172
Fixing for loops in Go 1.22
Go 1.21 shipped a preview of a change in Go 1.22 to make for loops less error-prone.
5173
5174
5175
64-bit bank balances ‘ought to be enough for anybody’?
“640K ought to be enough for anybody.” - Supposedly Bill Gates, circa 1981.
5176
Web apps are better than no apps
There’s a certain community in tech that’s very vocal about their preference toward native apps. I share that sentiment, yet sometimes people take this …
5177
Tracing: Structured logging, but better
It is no secret that I am not a fan of logs; I’ve baited (rapala in work lingo. Rapala is a Finnish brand of fishing lure, and used to mean baiting in this context) discussion in our work chat with things like: If you’re writing log statements, you’re doing it wrong. This is a pretty incendiary statement, and while…
5178
The anatomy of a Godot API call
UPDATE: This article has started an ongoing conversation with the Godot devs. They care about the issues raised, and would like to improve things. Significant improvements will almost certainly be made, although it’s still early days and it’s unclear what will change and by how much. I am encouraged by the response. I…
5179
iOS 17 is available today
iOS 17 makes iPhone even more personal and intuitive with StandBy, easier sharing with AirDrop, and more, and is available as a free software update.
5180
The joys of maintenance programming (2011)
In the old days when I started programming, green programmers trying to build their skills and get experience started out doing maintenance programming. Only the old hands got to write new code. The newbies cut their teeth debugging and fixing musty old code that still worked for the business. I’ve done my share of…
5181
Leveraging Rust in our Java database
A guide to adding Rust to a Java codebase with JNI and the rust-maven-plugin.
5182
Problems with homemade billing systems
If you're considering building a homemade billing system for your SaaS company, there are a few things you should be aware of. In this article, Qonto's first billing engineer shares four lessons he learned while working on this project.
5183
Memory-efficient enum arrays in Zig
Proper support for sum types or tagged unions have become table stakes for systems programming languages. However, they can incur a lot of memory fragmentation that's not trivial to avoid without good support for metaprogramming. This post goes into Zig's powerful comptime feature, and how it allows some radical…
5184
What if OpenDocument used SQLite? (2014)
Suppose the OpenDocument file format, and specifically the "ODP" OpenDocument Presentation format, were built around SQLite. Benefits would include:
5185
Changing the Rules of Rust
In Rust, there are certain API decisions about what is and isn’t sound that impact all Rust code. That is, a decision was made to allow or not allow types which have certain safety requirements, and now all users are committed to that decision. They can’t just use a different API with different rules: all APIs must…
5186
Java 21 makes me like Java again
Algebraic data types in Java.
5187
Hexadecimal clock counting down to 2038 problem
It is now ??????????.??? ( ????-??-??T??:??:??.???Z ) in Unix time , according to your local system clock.
5188
How Instagram scaled to 14 million users with only 3 engineers
Instagram's guiding principles and tech stack explained simply
5189
5190
Building an economy simulator from scratch
by Thomas SIMON