5911
More optimizations in the compiler and JIT
The official home of the Erlang Programming Language
New
The latest blog posts to take off on Hacker News. 21,822 posts.
5912
How to make good small games
Polly the Frog by ...
5913
Node.js 20 is now available
Node.js® is a free, open-source, cross-platform JavaScript runtime environment that lets developers create servers, web apps, command line tools and scripts.
5914
An example of LLM prompting for programming
Generated knowledge and chain of thought prompting of an LLM can generate useful code.
5915
Don't write clean code, write CRISP code
“Clean code” is so over: all the cool kids are switching to CRISP code . I’ll show you how to achieve it in five catchy, T-shirt-friendly slogans.
5916
The New XOR Problem
In 1969, Marvin Minsky and Seymour Papert published Perceptrons: An Introduction to Computational Geometry. In it, they showed that a single-layer perceptron cannot compute the XOR function. The main argument relies on linear separability: Perceptrons are linear classifiers, which essentially means drawing a line to…
5917
Breaking the limits of TLA+ model checking
Graphing TLA+ state spaces for fun and profit.
5918
Tag Systems
I've tried to write a blog post on tag systems for years now. Literally years, I think I first started drafting it out in 2018 or so? The problem is that...
5919
Horrible Code, Clean Performance
A short tale of how horrible code yields clean performance.
5920
Constraint Programming (2020)
A brief introduction tutorial to Constraint Programming with Python, we introduce some relevant definitions and solve our old Pokémon Centers and Pokémon Gyms problem this time with CP!
5921
Unwinding the Stack the Hard Way
Tutorial on how to make a stack trace or backtrace manually unwinding the stack using ELF’s .eh_frame and call frame information (CFI)
5922
Conway’s Law (2022)
Systems are constrained to follow the communication patterns of their designers.
5923
Clojure Rationale (2008)
Customers and stakeholders have substantial investments in, and are comfortable with the performance, security and stability of, industry-standard platforms like the JVM. While Java developers may envy the succinctness, flexibility and productivity of dynamic languages, they have concerns about running on…
5924
Plain C API design, the real world Kobayashi Maru test
Designing APIs is hard. Designing good APIs that future people will not instantly classify as "total crap" is even harder. There are typical...
5925
Nibbles of Rust – Restructuring Patterns
In Rust, there is this feature known as “pattern matching”, whereby you can take apart a piece of structured data by writing out patterns which bind to parts of it. This process is known as “destructuring”, because you’re breaking a structure into parts.
5926
Algebraic graph calculus (2021)
We describe a graph-theoretic analogue of vector calculus. The linear operators of vector calculus (gradient, divergence, laplacian) correspond to the matrices naturally associated to graphs (incidence matrix, adjacency matrix). This analogy is useful for formalizing the discretization of some problems in image and…
5927
Generalizations of Fourier analysis (2021)
When I first learned about Fourier series and integrals, I hated it because it seemed like a collection of many ad-hoc definitions, formally related but very different.
5928
Stop Building Closed Ecosystems
I'm sick of it. In the world of mobile development (though likely also elsewhere), we sink so much engineering talent into making tools that are great...
5929
Systems design 2: What we hope we know
Someone asked if I could write about the rise of AI and Large Language Models (LLMs) and what I think that means for the future of people, t...
5930
Hypervisor Development in Rust
In the ever-evolving field of information security, curiosity and continuous learning drive innovation. This blog series is tailored for those deeply engaged in experimental projects, leveraging Rust’s capabilities to push the boundaries of what’s possible. The focus on Rust, after exploring various programming…
5931
Low Code Software Development Is a Lie
I’ve been writing custom software for a long time and one of the things that annoys me most is when a client adopts the position that there is a silver bullet which will reduce or remove the inherent complexity of this task. This happens more often than you’d think and guess what? They are almost always wrong. Perhaps…
5932
5933
Zig build system
As the popularity of zig cc, more developers may realize Zig is not only a programming language, but also a toolchain to help maintaining C/C++/Zig project. Today I want to discuss one vital part of this toolchain: Zig's build system, build.zig the first non-trivial Zig program for newcomers. Note: This post is based…
5934
Building LLM Applications for Production
[Hacker News discussion, LinkedIn discussion, Twitter thread]
5935
SQL:2023 is finished: Here is what's new
SQL:2023 has been wrapped. The final text has been submitted by the working group to ISO Central Secretariat, and it’s now up to the ISO gods when it will be published. Based on past experience, it could be between a few weeks and a few months.
5936
Elixir and Rust is a good mix
Make your Elixir projects even faster using Rust!
5937
Improving Tailscale via Apple’s open source
Updates on innovations and the state of virtual private networks - globally, as well as Tailscale product and company news.
5938
Amazon CodeWhisperer, Free for Individual Use, Is Now Generally Available
Today, Amazon CodeWhisperer, a real-time AI coding companion, is generally available and also includes a CodeWhisperer Individual tier that’s free to use for all developers. Originally launched in preview last year, CodeWhisperer keeps developers in the zone and productive, helping them write code quickly and securely…
5939
Kalyn: A self-hosting compiler for x86-64
Over the course of my Spring 2020 semester at Harvey Mudd College , I developed a self-hosting compiler entirely from scratch. This article walks through many interesting parts of the project. It’s laid out so you can just read from beginning to end, but if you’re more interested in a particular topic, feel free to…
5940
Using io_uring for network I/O
Discover io_uring, an async I/O API for Linux that can potentially benefit networking, and learn how to integrate it into your applications and I/O libraries.