Differences Between `Foldl` and `Foldr`
`foldl` and `foldr` can be confusing, so let's work out what's up
The latest blog posts to take off on Hacker News. 21,812 posts.
`foldl` and `foldr` can be confusing, so let's work out what's up
Marques Brownlee just released a video essay titled “Dear YouTube” . I loved it. He talks about how YouTube is going to start shipping this new feature where…
Before the AI era, I wrote pretty long commit descriptions (or commit bodies) for major changes. It took me about five to ten minutes to draft and reread them to make sure I didn’t miss anything important. I did that for several reasons.
Let's chill just a little bit on the "TLA+ will save AI from itself" narrative
Pi now supports MCP. Why we changed our minds, what changed in MCP and in Pi, and what Codemode is.
A deep dive into converting a simple arithmetic expression into a binary tree, leading to a custom language in C.
How Godot's GDExtension system and the godot-cpp bindings work, and how to use Conan to bring C and C++ libraries into a Godot game, with a flecs example that simulates 100,000 particles.
I play Factorio the normal way: by writing matrix math code to plan the factory.
If we think writing code is dead, and AI is generating all codebases, I still think the bigger problem is people or full teams not knowing anything anymore about the system...
A how-to manual for engineer-led discovery in software platforms
Tell me you don’t understand software without literally using those words!!!
(this post figured on HNews here) This happened to me in 2020, and it has been on my mind again lately. During the worst of the pandemic, I found a vulnerability in a system that gave me access to the Brazilian federal system, and with that access I was able to retrieve information on any
I spent the summer at Recurse Center, a programming retreat in Brooklyn, at the recommendation of my friend Cory. These are some things I did there.
The technical musings of Iain Cambridge.
My GPU is the integrated Radeon Vega 8 that comes with my AMD Ryzen 7 5700G CPU. I tell you this so you know that my workstation is not a graphical computing powerhouse. It is, in fact, quite weak. To its credit my integrated GPU shows up as 48% faster on UserBenchmark than the GPU in my low end hardware target; a…
Front-end antics and typographic mischievousness
And why you may need to repeat AT TIME ZONE 'UTC' twice. SUMMARY * AT TIME ZONE 'UTC' converts the data type from timestamptz to timestamp (example). * Now you are inadvertently using the timestamp without time zone (aka timestamp) data type, which is markedly discouraged. * There are tons of footguns with timestamp…
A practical introduction to TLA+, why it matters for agentic coding, and how AI could take formal verification from models to machine-checked proofs and ultimately to verified software.
Repository drawgent by yanndegat.tngl.sh on Tangled.
Typed decisions with a probability for every option, from GLM-5.3-Flash in a single forward pass: about as accurate as Jev, faster from Europe, and protected by confidential computing. With a playground and a benchmark on 29 datasets.
The abstract for article “ The End of Code Review: Coding Agents Supersede Human Inspection ” paints this picture for the reader…
Interactive mini-book on concurrent programming in Go.
Conversations, my federated instant messaging client for Android, started out as many traditional open-source projects do: as an attempt to scratch my own itch. Development started in January 2014 in my student dormitory, and within weeks I started dogfooding and using the client as the primary means of communicating…
I was intrigued by Jev and the self-hostable projects appearing around it, such as OpenJev and SemIf . Reading about them introduced me ...
Computers now work the way I thought they did when I was 8. What does computing look like when most applications have an audience of 1-2 people? I'm leaving Fly.io to build a phone for that world.
asawicki.info is protected against automated traffic and abuse. This one-time check confirms you are a real visitor — nothing to install.
Claude computes a nine-loop amplitude in N=4 super-Yang-Mills
Word sizes, strange machines, and why <strong>int</strong> was never meant to mean 32 bits. C's flexible integer types were how the language achieved portability in a world of 12, 18, 36, and 60-bit computers.
A lot of progress was made since last year, and I made some of it!
SAFA details the full exploitation of CVE-2025-13032, turning a double-fetch vulnerability in Avast's kernel driver into a local privilege escalation to SYSTEM on Windows 11.