The fediverse was right
Federated services are the only escape from corporate platforms and lonely self-hosting. ActivityPub works. Git forges are next. AI just made protocols cheap enough to iterate on.
@lobsters
Publisher
184
Posts
Federated services are the only escape from corporate platforms and lonely self-hosting. ActivityPub works. Git forges are next. AI just made protocols cheap enough to iterate on.
The BSD of the 21st century. Mach + launchd + XPC on FreeBSD.
OpenSSH ships in Windows, sshd comes preinstalled on Server 2025, and PowerShell 7 remotes over SSH natively. A twenty-year follow-up to the Cygwin kludge, including the key-permissions gotcha that still bites everyone.
in c++, function types have a "language linkage" associated with them: this is either "C++", "C", or some other implementation-defined language. and the standard very explicitly states that Two function types with different language linkages are distinct types even if they are otherwise identical...
Aurora DSQL is a serverless SQL database designed for cloud-scale transaction processing with multi-region active-active capabilities. Built on a disaggregated architecture, DSQL separates compute, storage, and transaction coordination into independent, horizontally scalable services. Query proce...
How our model works, and the reasons we are confident in our AI detection
One of the cool features of JPEG files is that there's the option to save low frequency components first. This means that a partially downloaded image will be displayed at low resolution instead of being cut off.
Scala on Go. Sealed types, pattern matching, Option/Either/Try/Future, and immutable collections — transpiled to plain Go with full third-party interop, zero-reflection JSON, and a GoLand plugin. -...
A series of videos explaining the tech behind classic consoles and how various effects were achieved in games.
Simon Peyton Jones presents a deep exploration of Verse, the experimental programming language being developed at Epic Games, and explains how its design cha...
A batteries-included framework for building web apps - tokio-rs/topcoat
How Haskell earned its place in H-E-B's supply chain.
A medical doctor implemented a Lisp on the Linux kernel with direct system calls without even a C stdlib dependency.
From its humble beginnings as a project code-named "Oak" at Sun Microsystems to becoming a global standard for enterprise software and billions of devices, J...
I know. As if what the world needed was yet another blogpost about LLMs and AI tech. Yet there is a pile of things which have been on my mind, and I haven't seen them laid out elsewhere in the way I'm going to write them, and so here we go.
Quad-rotor drone shots taken low to the ground are difficult: GPS altitude is fairly rough on accuracy, and obstacle avoidance can get significantly more difficult versus just flying over the everything. Cinema rover drones are less common but do get around a number of these problems, especially...
We evaluated the cyber capabilities of leading open and closed weight AI models, and found that recent open models GLM-5.2 and DeepSeek V4-Pro perform similarly to frontier closed models released 4 to 7 months before them – a narrower gap than the 6 to 10 months we measured through most of 2025.
WELCOME TO FEDICHAT! WHO ARE YOU TODAY?
Our second developer productivity study faces selection effects from wider AI adoption, prompting us to redesign our approach.
A blog about functional programming
Negative leap second risk is driving an October 2026 CGPM vote to replace the 54-year-old leap second with a leap hour. Earth set rotation speed records in 2024 and 2025, and timekeepers estimate a...
It always comes back to "protecting the children." It's one of the most convincing ways of getting people to sign on to (or simply support) a bill. But when a goal like this gets shouted about so widely by lawmakers who have a less than sterling record on these issues, we need to consider whether...
Martin Uecker, 2026-07-14
Tired of Discord? Want to chat with your friends using that perfectly good Windows 98 machine? Well now you can spin up your own AIM server.
As of writing, the Zilog Z80 processor was officially launched 50 years ago, in July of 1976, less than 4 years after the last human had walked on the moon, decades closer to WWII than to the present day, roughly at a half way point between the Kennedy assassination and the...
Here’s the plan. I reckon it’ll take about five years in all, and I think we’re about 1.5 to 2 years in already.
Microsoft Comic Chat is now open source. Explore the IRC client that turned conversations into comics and helped introduce Comic Sans to the world.
Hot on the heels of CIDER 2.0, clj-refactor.el 4.0 is out! It’s the first major release of the project in almost five years, and this time around the version bump is not just ceremonial - 4.0 is the biggest batch of user-facing improvements clj-refactor has seen in ages, plus a healthy dose of lo...
Turso is becoming the LLVM of databases: one modern, reliable Rust core with many SQL frontends. After rewriting SQLite, we are now building Postgres.
I almost agree with all of the LLM critics, yet I still use LLMs a lot. I know this sounds like I am delusional, but I don't think I am alone with it.
What does a memory compiler actually do? From T-diagrams and 6T bitcells to GDS tiling, LVS, and the symmetry between memory compiler tiling and ML compiler tiling.
An app that makes a WHOOP 4.0 useful without a WHOOP subscription — pairs over Bluetooth, computes everything on your phone, no cloud required. - OpenStrap/edge
For the past year and a half, the team building Roc's compiler has been rewriting our 300,000 lines of Rust code into Zig, for reasons I'll recap below. We recently passed an exciting milestone: feature parity with the original compiler!
what is new for perl v5.44.0
Forgejo version 16.0 was released on 16 July 2026. Forgejo is a lightweight, community-developed, self-hosted platform for code collaboration.
We now have the metadata and the source. The last missing piece is the building instructions.
Modern package management for Meson's wrap ecosystem.
Linux stable vulnerability commit monitor
While icons on iOS (formerly iPhoneOS) have always been rounded squares, and rounded-square icons have existed on Apple platforms for over 20 years now, Mac app icons have historically exhibited a variety of unique silhouettes, which helped identification alongside other visual tools like color,...
dailyprog needs a new puzzle every day. I wrote the first few drafts by hand, then built a generator that writes them with an LLM and validates the output against real sandbox execution. The generator works, but it still needs someone to run it. Pick a pattern, kick off the script, review the res...
G# is a modern .NET language that brings Go, Kotlin, and Swift ergonomics to the CLR.
Separate from my proposal for key transparency for the Fediverse (which I’ve certainly blogged about a lot), the W3C has been working on building out end-to-end encryption (E2EE) for Activity…
I’m at RubyConf this week, and it’s great! I recently read that lobste.rs is now running on SQLite. One part from the post caught my attention: I wish we could say in a test, “Fail if you encounter any full table scans”. Which would have caught the perf issues we experienced during the first depl...
Failures, asynchrony and more can all be represented by continuations
We all know the drill. You type https:// into the browser, a padlock shows up, and everyone collectively agrees not to think about what just happened. That works fine right up until the moment some application on your server starts throwing certificate verify failed while curl against the same en...
Date: 2025-07-15 Git: https://gitlab.com/mort96/blog/blob/published/content/00000-home/00017-sqlite-editions.md
Run Arm64/x86-64 Linux ELF binaries on macOS Apple Silicon - sysprog21/elfuse
Long-running coding agents need more than persistence. Adversarial verification is the feedback loop that lets software begin to maintain itself.
Microsoft has confirmed the existence of a persistent Windows device identifier called GDID, first publicly detailed in an FBI federal complaint against an alleged hacker.
Mass layoffs, AI anxiety, and corporate surveillance have heightened interest in unions among IT professionals. Organizers who've been through it explain how to get started — and what to expect.
Obelisk, Temporal and Restate all let a function keep making progress after its process disappears. The largest architectural difference is that Obelisk is a wo…
ok so i've been reading the "specification" from "the c programming language" (1st edition). alongside that, i've also been reading the c89 rationale document, and the source code for the 7th edition unix c compiler. i've also been reading some other related stuff.
null is weird. you ever think about null pointers? because i've been thinking about null pointers.
Two years ago, Mozilla published Over the Edge: How Microsoft’s Design Tactics Compromise Free Browser Choice, a report by independent researchers Harry Brignull and Cennydd Bowles documenting how Microsoft used ...
How does the database decide on the order, when it is not specified? What about performance? Can returned pages overlap? Meaning: might item from page 1 suddenly appear on page 2, even if the underlying data stays the same?
We've released @clickhouse/rowbinary a Node.js reader and writer for ClickHouse's RowBinary formats. You can import it and call its generic parser like any other library. But it also ships as an Agent Skill: point a coding agent at the bundled `SKILL.md`
A personal blog, by a programmer and IT expert. Essays, Articles, Guides, and Recipes. As well as Code, Quotes, and Links.
Why C strings suck—and why length-based strings are the right design.
Software is now something we do TO users, instead of something that we make FOR them.
Computation started as a puzzle. We built national banking systems using 92kIPS microprocessors. We built rendering engines using a PDP-8 and a DAC. We flew to the moon with a 2MHz CPU, a slide rule, and a dream. The resources behind these accomplishments...
I got curious about what HTTP headers Chrome is requesting so I stood up a trivial HTTP server and this is what is on the wire. $ while true; do echo -e "HTTP/1.1 200 OK\nContent-Length: 3\n\n…
I just updated the CSS for my website to use a fork of Kelp UI, which includes a much more consistent and easy-to-maintain class system than I had before. Quick aside: if you see any bugs in your travels, please let me know! While it mostly looks the same as before, the biggest change was to the...
TL;DR: is your refrigerator running malware? If so, you better catch it!
crates.io serves as a central registry for sharing crates, which are packages or libraries written in Rust that you can use to enhance your projects
Learn how FreeBSD 15 introduces native inotify support, solving longstanding EVFILT_VNODE race conditions, improving file monitoring performance, and enhancing Linux compatibility.
When I want to add sprinkles of interactivity to a web application, I'm a big fan of using HTMX. I like that it makes it easy to give interactions a smooth app-like feel, I like that it minimizes the amount of JavaScript that I have to write, and I like that it allows me to keep the consistency a...
What is verifiable inference and why it would make AI outputs much more useful.
A recent exchange on linkedin about what data is and how to store it prompted me to write this small piece, since I consider the issue at hand quite fundamental to developing systems that reflect reality and therefore help people. Here is what the author of the quote said: I mean that actual data...
I built a device to measure end-to-end input latency, then used it to find out what actually moves the needle.
macOS menu bar app that tells you, in plain English, what each USB-C cable plugged into your Mac can actually do - darrylmorley/whatcable
The Temper programming language for solving problems once via ubiquitous libraries.
Blog post: Too many words about DIDs by Steve Klabnik
Hello there! This is my personal website and it is allergic to SEO.
The openQA-based testing system has recently been integrated into KDE Linux (hooray!), and I thought it was about time I did a little write-up. The nature of KDE Linux, in which the whole system ships as a single signed image rather than a pile of packages, is (in theory) wonderful for reliabilit...
So… another missing icon gets some attention 🙂
If you’ve ever tried using type erasure for something more complicated than std::any or std::function, you’ve either written 100+ lines of easy-to-mess-up code or reached for a boilerplate-heavy library like Boost.TypeErasure or Folly.Poly. rjk::duck uses the magic that is C++26 reflection to rem...
From a small 1D array of floats to a proper autograd capable of training tinyML models, explaining every step.
CPU designs must evolve to keep up with changing workloads.
Even once you’re using compiled code, there are still opportunities for faster performance by avoiding fighting the CPU.
git commit --fixup, but automatic. Contribute to tummychow/git-absorb development by creating an account on GitHub.
A worked out example of different job queueing semantics and how they affect workloads.
Working with lots of changes in parallel on git can be painful. You end up juggling branches and commits, and running scary rebase -i commands that can leave your tree in a half-broken state if you so much as sneeze. jj, an alternative to git, gets discussed a lot these days (1, 2, 3, 4) and is o...
Cameron DaCamara has created a super-fast, super-customizable editor named fred. It has a streamlined but powerful plugin system based entirely on C, and all...
A commuter waiting for the train leans with one foot against the wall, and their shoe leaves a mark.
How stacking middleware quietly collapsed our TypeScript inference—and what it took to fix it.
My TFTP honey pot has been running for over a month, continuously on my $5 a month VPS, and intermittently on my Dell R530 home server. It’s time to see what surprises it has captured.
Map how Claude built two FreeBSD kernel exploit chains, escaping a jail past KASLR and SMEP/SMAP, with a human still in the loop.
IPv6-only networks often still depend on IPv4 subnets and ARP. This article introduces an IETF proposal to eliminate both, allowing IPv4 to operate as a service over IPv6-only infrastructure without translation or tunnelling.
Worker pools, channels, and mutexes - backed by pthreads.
Emacs as a free software project focuses on empowering its users without compromising its ethical principles. As users of Emacs, we are interested in ensuring that we can continue to use it and contribute to it in good faith in the future.
Digital identities and what they mean for the web have become a hot topic of discussion in the last few years.They have also brought many controversies: age verification laws and what they mean for online anonymity, Wikipedia potentially having to verify the identify of its users in the UK, the r...
Don’t use the aria-label or aria-labelledby attributes on divs, spans, or other elements representing static/noninteractive text-level semantics, unless you’re also updating roles.
July 12, 2026
A practical guide for organizing your first regional Ruby conference — from the decision to commit to the room full of people who came because of you.
How designing the data structure first (flat arrays of indices instead of a pointer tree) makes a parser fast and collapses memory layout, allocation, and serialization into one decision.
Most programming languages come up with random syntax that just mimics whatever is familiar. This is trash. Syntax should be an ambassador of the abstraction...
Dr. Dobb's Journal August 2002
Programming language drama ensues as tech bros oversell the end of software engineering.
Once again I find myself searching through a giant table on Wikipedia. And again I think: it would be so much better if I could just query it with SQL or something. Wish someone made a browser extension for that!..
A diskless, API-only AppView for Tangled
I’m Paulo. A software developer based in Lisbon, Portugal, founder of Outer Corner, currently building apps for Apple platforms.
The satirical cyberpunk novella to read while your AI agent completes Jira tickets.
So I was optimizing a domain-specific compressor the other day, as one does. One important problem was chunking the input string and optimally choosing the most compact encoding for each chunk (different encodings compress different characters better, so where to split is not immediately obvious)...
Math.tanh, every CSS trig function, and the Web Audio compressor all route through the host libm, so the rounding of a cosine betrays the OS a browser actually …
Let’s start with a quick recap for those of you who are just tuning in (and for those who have been tuned in for a while but are likely very lost): In the late 80s, Psion developed their own message-passing Object Oriented C dialect with its own markup language. They did this because Psion be Psi...
InfiniteDiffusion: Bridging Learned Fidelity and Procedural Utility for Open-World Terrain Generation
How I used arenas to make the Gleam formatter faster and less memory hungry
Systems research prizes efficiency and performance. For the last decade, I’ve worked on ultra-low-latency systems: the goal of Demikernel and its related nanosecond-scale systems (e.g., Cornflakes, Capybara) is to do more with fewer cycles. AI coding has brought the same level of efficiency to bu...
Personal website of Mike Zornek, a developer and teacher from the suburbs of Philadelphia.
Jujutsu (from here on, "jj") is a version control system that is both simple and powerful. This site is a tutorial will help you learn to use jj.
How I found an unauthenticated remote code execution vulnerability in Motorola's MR2600 router, exploitable from the LAN or over the internet.
If you use AsSplitQuery anywhere in your codebase, EF Core 11 has a present for you: your queries get faster.
Introduction In our last blog post, we delved into the inner workings of Lucee and took a look at the source code of Masa/Mura CMS, and the vastness of the potential attack surface struck us. It became evident that investing time in understanding the code could pay off. After dedicating a week t...
Here are some ways to help me make more videos!Buy some Merch:Merch: https://tech-tangents.creator-spring.com/Leave a one time tip:Paypal one-time: https://p...
What is programming? This week, we take a stab at this fundamental question with Peter Naur's paper "Programming as Theory Building". Felienne has read the paper (more than once), and Hanna is asking her questions about it. Apparently, programming is more than just solving problems by writing cod...
Inspired by the The Elements of Typographic Style
Around 2000 I took an AI course at the University of Guelph. I don’t think I learned too much. We didn’t talk about neural networks, as far as I can remember. My end of term project was, I think, a pathfinding algorithm wearing an AI costume. There were certainly no discussions of transformers. N...
As a software engineer, how well do you have to understand your own codebase?
I have been working on a patch to the Linux kernel to support $ORIGIN for the interpreter (PT_INTERP) via bpf in binfmt_misc [thread].
UI text diff. Contribute to cdacamar/gap development by creating an account on GitHub.
Portable games console, designed from scratch: CPU, graphics, PCB, and the kitchen sink - Wren6991/RISCBoy
Sometimes you’re working on a project with a lot of colours.
As Web standards have moved on, a particular 1990s library of GIFs has been hard to effectively archive and was at risk of being lost forever. So I swooped in, wrote some hacky code, and now a few thousand low-res images have been saved for posterity. Hurrah, I guess?
An end-to-end engineering practice for the MiMo-V2.5 series inference system, covering KVCache management, tiered caching, SWA-aware prefix cache trees, scheduling, Prefill/Decode pipelines, and multimodal optimizations.
The other day I was iterating on a small C program with entr:
Thanks for watching! Learning zig has been really fun. It's a breath of fresh air in a world of abstraction. That being said, I want to emphasize that this i...
Low Quality Image Placeholders (LQIPs) are very small (both in terms of file size and pixel dimensions) images that load very quickly, providing immediate visual feedback while full-resolution images load slowly in the background. They are small-in-file-size enough that it’s feasible to base64-en...
In this essay, Carson Gross walks through a concrete bug fix in hyperscript to show where AI helped, where it fell short, and why keeping a knowledgeable human in the loop is what kept complexity in check.
In the near future, AI-powered surveillance systems will be able to track everything we do in public, and much of what we do in private. And if we do something wrong—shoplift, litter, jaywalk, you name it—the system will notice, retain it, tie it to your official government record, communicate th...
I was asked to install a mobile app to get access to the itinerary of a trip to Disneyland I'm taking with the kids. Fuck that noise: couldn't it have just been a Web page? An hour of reverse-engineering later, it is, and it's superior in virtually every way to the "app" that it replaces.
Homebrew 8-bit computer powered by a Z80. Retrocomputing and electronics subjects
NetBSD is a real Unix that can run almost anywhere. Can it run as a desktop?
Adding Go to a sandboxed code runner: why the GOOS=js path hangs inside a V8 isolate, and how Yaegi compiled to WASI turned out to be the clean path.
Conway’s Law applied to dependency management designs.
Postgres rewritten in Rust, now passing 100% of the Postgres regression tests - malisper/pgrust
MPI software stacks are complex beasts that play a key role in application performance. Guix packages Open MPI for a wide range high-speed interconnects—InfiniBand, Omni-Path, Slingshot, ROCE, you name it—with the goal of achieving peak performance for each one of them.
Most code doesn't require the amount of test isolation modern test runners apply by default. If you only opt into the amount of isolations you need, you can easily run 1000 tests in 1s.
Cpp2Rust: Automatic Translation of C++ to Safe Rust - Cpp2Rust/cpp2rust
Anyone can create write an article here! Simply make a PR to the sherbert repo or ask us on Discord! Changes usually take effect within ~10min of being approved.
Home > Windows > You paid me, a long-time Linux user, to use Windows 11 exclusively for a month: here’s how it went