1021
Conservative GC can be faster than precise GC
wingolog: article: conservative gc can be faster than precise gc
Topics /
Software Engineering
The most popular blog posts about software engineering on Hacker News. 1,535 posts.
1022
Adding type safety to object IDs in TypeScript
Learn how to add type safety to object IDs in a TypeScript codebase using template literal types.
1023
Aggregating all cinema showtimes in Germany with Clojure
How I build a website for choosing movies
1024
Writing a scheduler for Linux in Rust that runs in user-space
Overview I’ve decided to start a series of blog posts to cover some details about scx_rustland , my little Linux scheduler written in Rust ...
1025
The evolution of a Scheme programmer (2020)
For a real-life implementation, see how Racket's math/number-theory does it here .
1026
Putting a full power search engine in Ecto
My diatribe about adding support for ParadeDB to Ecto
1027
An interactive guide to x86-64 assembly – moving data
This is the second part of a series of interactive articles on the x86-64 architecture. This part will focus on the first assembly instructions, visualizing the way data moves in memory when they are executed.
1028
OOP is not that bad
OOP is certainly not my favorite paradigm, but I think mainstream statically-typed OOP does a few things right that are very important for programming with many people, over long periods of time.
1029
Escaping from Anaconda's Stranglehold on macOS
Economist. Policy Entrepreneur. Geek. Co-recipient of the 2018 Sveriges Riksbank Prize in Economic Sciences in Memory of Alfred Nobel. University Professor at NYU. Focused on urbanization; cooperation at scale of millions and billions; science; technology; economic development; long-term growth; code as language.
1030
Taming the beast that is the Django ORM – An introduction
The Django ORM, how it compares to raw SQL and gotchas that you should be aware of when using it
1031
Why Elixir Is the Best Language for Building a Bootstrapped, B2B SaaS in 2024
[This article is the companion to my presentation for CodeBEAM America 2024, Elixir is the One-Person Stack for Building a Software Startup. You can download the slides as a PDF or view them in Google Slides .]
1032
You Too Could Have Made Curl
https://www.youtube.com/watch?v=kCJmAyUr1j4 This is the video recording of my talk with this title, done at February 4, 2024 10:00 in the K1.105 room at FOSDEM 2024. The room can hold some 800 people but there were a few hundred seats still unoccupied. Several people I met up with later have insisted that 10 am on a ……
1033
jj init – getting serious about replacing Git with Jujutsu
Jujutsu (`jj`) is a new version control system from a software developer at Google. I have been using it full time for 6 months. Here’s why you should switch, too.
1034
Revisiting the NetBSD Build System
I recently picked up an embedded project in which I needed to build a highly customized full system image with minimal boot times and NetBSD was the best choice for it. Let's look at why its build system helps.
1035
Coding Self-Attention, Multi-Head Attention, Cross-Attention, Causal-Attention
This article will teach you about self-attention mechanisms used in transformer architectures and large language models (LLMs) such as GPT-4 and Llama.
1036
Lambda Screen: Fractals in pure lambda calculus
Lambda Screen allows you to draw images using terms of pure lambda calculus. By using fixed-point combinators, you can even create infinitely detailed fractals.
1037
Swift's native Clocks are inefficient
In absolute terms they don’t have much overhead – think sub-microsecond for most uses. Which makes them perfectly acceptable when they’re used sporadically (e.g. only a few times per second).
1038
Regular expression matching can be simple and fast (2007)
This is a tale of two approaches to regular expression matching. One of them is in widespread use in the standard interpreters for many languages, including Perl. The other is used only in a few places, notably most implementations of awk and grep. The two approaches have wildly different performance characteristics:
1039
A reasonable configuration language
I was fed up with the poor opportunities for abstraction in configuration formats. The many configuration languages that exist already were not invented here, so I wrote my own, at first just for fun. But then it became useful.
1040
Software Friction
In his book On War, Clausewitz defines friction as the difference between military theory and reality: Thus, then, in strategy everything is very simple, but not on that account very easy. Everything is very simple in war, but the simplest thing is difficult. These difficulties accumulate and produce a friction, which…
1041
Rama is a testament to the power of Clojure
It took more than ten years of full-time work for Rama to go from an idea to a production system. I shudder to think of how long it would have taken without Clojure. Rama is a programming platform …
1042
Murder Mystery: GCC builds failing after sbuild refactoring
This is the story of an investigation conducted by Jochen Sprickerhof, Helmut Grohne, and myself. It was true teamwork, and we would have not reached the bottom of the …
1043
Factorio – Statistics improvements, Linux adventures
Hello, welcome once again to the world of facts.
1044
1045
Matrix Client Tutorial
Welcome to the Matrix. Matrix is an open protocol for decentralised communication. Matrix allows users on different servers to communicate with each other, similar to how people on different email servers can email each other.
1046
Let rand = main as usize (2022)
The other day I posted something silly, and learned some interesting things about raw pointers in Rust.
1047
NVK is now ready for prime time
As of today, NVK is now a conformant Vulkan 1.3 implementation on Turing (RTX 2000 and GTX 1600 series), Ampere (RTX 3000 series), and Ada (RTX 4000 series) GPUs.
1048
1049
Higher-kinded bounded polymorphism in OCaml (2021)
How bounded higher-kinded polymorphism arises in practice, and how to express it in OCaml, in several different ways. Some ways are rather concise -- but less widely known.
1050
Turnstyle – An esoteric, graphical functional language
An esoteric, graphical functional language