2371
Datalog in miniKanren
A browser with Wasm GC and tail call support is required for this demo. We recommend using either Mozilla Firefox or Google Chrome.
New
The latest blog posts to take off on Hacker News. 4,109 posts.
2372
Modifying an HDMI dummy plug's EDID using a Raspberry Pi
I recently found myself needing to change the monitor that a cheap HDMI “dummy plug” pretended to be. It was a random one I had bought on Amazon several years ago that acted as a 4K monitor, and I needed it to be something simpler that didn’t support a 4K resolution. The story behind why is a long one that I’m still…
2373
Why SSL was renamed to TLS in late 90s (2014)
The Netscape/Microsoft browser wars in the mid-90's were really vicious and competitive. They really had it out for each other. Netscape had...
2374
How to modify Starlink Mini to run without the built-in WiFi router
The Starlink Mini terminal is designed as a compact, all-in-one solution with an integrated Wi-Fi router. While this design is ideal for typical consumer use, certain applications—such as custom networking setups, embedded installations, or power-constrained environments—may benefit from removing the internal router…
2375
Meta's Llama 3.1 can recall 42 percent of the first Harry Potter book
New research could have big implications for copyright lawsuits against generative AI.
2376
ZX Spectrum graphics magic
Hey friends! (Or just curious readers peeking under the hood of good old retro games).
2377
I Wrote a Compiler
I have a Computer Science degree. I attended a whole course of lectures on compilers (and have a certain fondness for “the red dragon book” as a result). However, I had never actually written a compiler from start to finish until a rainy day last weekend.
2378
The Art of Lisp and Writing (2003)
Lisp is the language of loveliness. With it a great programmer can make a beautiful, operating thing, a thing organically created and formed through the interaction of a programmer/artist and a medium of expression that happens to execute on a computer.
2379
Q-learning is not yet scalable
Over the past few years, we've seen that next-token prediction scales, denoising diffusion scales, contrastive learning scales, and so on, all the way to the point where we can train models with billions of parameters with a scalable objective that can eat up as much data as we can throw at it. Then, what about…
2380
Infinite Grid of Resistors
There is a well-known puzzle based on the premise of an �infinite� grid of resistors connecting adjacent nodes of a square lattice. A small portion of such a grid is illustrated below.
2381
AMD's AI Future Is Rack Scale 'Helios'
Key Announcements from AMD Advancing AI 2025
2382
Seven replies to the viral Apple reasoning paper and why they fall short
Also: another paper that seals the deal
2383
Inside the Apollo “8-Ball” FDAI (Flight Director / Attitude Indicator)
During the Apollo flights to the Moon, the astronauts observed the spacecraft's orientation on a special instrument called the FDAI (Flight ...
2384
Occurences of swearing in the Linux kernel source code over time
How many times are words, names or functions found in the Linux kernel source code? Browse an example or write your own comma-separated list to find out! You can use * for wildcards, foo|bar for sums, and a word is defined as \<[[:alnum:]_]+\> (ignoring case, considering accents).
2385
Meta-analysis of three different notions of software complexity
Discussion on notions of software complexity as defined by Rich Hickey, John Ousterhout and Zach Tellman.
2386
SIMD-friendly algorithms for substring searching (2016)
Popular programming languages provide methods or functions which locate a substring in a given string. In C it is the function strstr , the C++ class std::string has the method find , Python's string has methods pos and index , and so on, so forth. All these APIs were designed for one-shot searches . During past…
2387
The Tech Job Meltdown
Half a million layoffs? It's all accounting.
2388
Endometriosis is an interesting disease
5k words, 23 minutes reading time
2389
Implementing Logic Programming
I just think it's neat!
2390
Apple's Liquid Glass is prep work for AR interfaces, not just a design refresh
Why Apple Just Killed the iPhone Interface (And What Comes Next)
2391
I convinced HP's board to buy Palm and watched them kill it
The systematic thinking errors that kill breakthrough technology and the decision framework that prevents these disasters
2392
When random people give money to random other people (2017)
A post on Decision Science about a problem of Uri Wilensky’s has been making the rounds: Imagine a room full of 100 people with 100 dollars each. With every tick of the clock, every person wi…
2393
The Hat, the Spectre and SAT Solvers (2024)
Introduction In this blog post you are going to read about two things:
2394
100 years of Zermelo's axiom of choice: What was the problem with it? (2006)
Cantor conceived set theory in a sequence of six papers published in the Mathematische Annalen during the five year period 1879–1884. In the fifth of these papers, published in 1883, 1 he stated as a law of thought ( Denkgesetz ) that every set can be well-ordered or, more precisely, that it is always possible to…
2395
Design Patterns for Securing LLM Agents Against Prompt Injections
This new paper by 11 authors from organizations including IBM, Invariant Labs, ETH Zurich, Google and Microsoft is an excellent addition to the literature on prompt injection and LLM security. …
2396
Rendering Crispy Text on the GPU
Rubén Osorio’s blog
2397
Jemalloc Postmortem
The jemalloc memory allocator was first conceived in early 2004, and hasbeen in public use for about 20 years now. Thanks to the nature of open source software licensing,jemalloc will remain publicly available indefinitely. But active upstream development has come to anend. This post briefly desc...
2398
A dark adtech empire fed by fake CAPTCHAs
Late last year, security researchers made a startling discovery: Kremlin-backed disinformation campaigns were bypassing moderation on social media platforms by leveraging the same malicious advertising technology that powers a sprawling ecosystem of online hucksters and website hackers. A new report on the fallout…
2399
Worldwide power grid with glass insulated HVDC cables
Moving electricity around the world has huge financial and environmental benefits. Unfortunately, current power transmission systems are both lossy and expensive to build. This post explores an alternative design for cables to make undersea power transmission substantially cheaper.
2400
Wrong ways to use the databases, when the pendulum swung too far
Disclaimer: This story took place when I was a junior developer for a previous employer ages ago. Some details might be fuzzy, and goes without saying this is entirely from my own POV so take everything here with humor and a grain of salt.