Lobsters

Intuitionistic Type Theory (Stanford Encyclopedia of Philosophy)

rustunit

Rustunit offers software development consulting with a focus on rust, game-development and large scale distributed backend services.

Understanding NvPCRs in systemd v262

systemd answers TPM PCR scarcity with additional PCR-like registers allocated in the TPM’s NV memory, with an anchoring design that was reworked in v262. In this hands-on deep dive, we rebuild a systemd NvPCR from scratch against a software TPM, picking up the required TPM concepts along the way, and analyze why the design is secure. Why can’t systemd get enough of those PCRs? Many of systemd’s security features rely on TPM PCR measurements: Passwordless full disk encryption can unlock disks aut

The Greatest Pun: JavaScript

JavaScript

Switching To Emacs as a Neovim User

My experience of switching to Emacs as a Neovim user.

Fabricati Diem

Deshittification Part 2: Bypassing the App Store Gatekeeper

How LG WebOS holds third-party applications hostage behind mandatory telemetry endpoints—and how network isolation exposes forced consent under GDPR Article 7(4).

Who owns my stack?

An end-to-end tour of the tech I'm using and who pays for it.

Thoughts on Flash

Ten Lines Of Code That Changed My World – Pixelambacht

Front-end antics and typographic mischievousness

Cloudflare Blog

Saving another 100TB of RAM with math (and Rust)

Cloudflare's global network is immense but not limitless. As we look for small ways to trim our resource usage, we sometimes get lucky and we can cut significantly more. Here’s how we reduced one of our Pingora-based service's RAM usage with statistics.

Union vs sum types

V Language Review (2023)

Review about V programming language in 2023

Don't couple your Go code to GitHub | Iain Cambridge

The technical musings of Iain Cambridge.

We’re gonna need a lot more mathematicians

[This is a guest post by Amit Sahai. This blog post was initially written in a different file format and converted using AI. — T.] When I was an undergraduate student, I remember talking with…

Lobsters

What are you doing this week?

0 comments

madradavid.com

Claude's load-bearing seams

Now that I have the full picture, the load-bearing seams are much clearer. They are not merely incidental details around the edges. They materially change how the entire situation needs to be understood, and that is the smoking gun I should have recognized earlier.Claude's load-bearing seams

vincent.bernat.ch

Bot-free self-hosted analytics with GoatCounter on NixOS

AI scrapers inflated my visitor count tenfold. I now count a visit only after a user interaction, buffer hits on each web server, and back up the...

Jared Norman

What About Rails? | Jared Norman

DHH

(iterate think thoughts): Introducing Lev

Dmitri's blog about programming, Clojure, and software development

xenodium.com

agent-shell 0.78 updates

Another month, another agent-shell update. If you missed the last post, have a look at the 0.73 update. As usual, this post showcases highlights, but ...

GitHub - sebastiancarlos/shobr: The stealthiest, UNIX-iest, Job Search Automator

The stealthiest, UNIX-iest, Job Search Automator. Contribute to sebastiancarlos/shobr development by creating an account on GitHub.

Expert asterisks

Watching discussions happening online, I see a frequent unfortunate tic I’ll call the Expert Asterisk. A beginner is asking for help, and experts are answering.

One month without AI

Several months ago, I decided that AI contributions were no longer welcome in a FOSS project I am building and maintaining - LibreWeddingPlanner. It’s not that it got a lot of contributions with AI - actually all contributions I’ve had are translations and feature requests - but I wanted to...

futhark-lang.org

Do not let your type system reason about aliasing in your programming language

A high-performance and high-level purely functional data-parallel array programming language that can execute on the GPU and CPU.

CSS-Tricks could be a co-op

The web will calcify without voices sharing what they know.

What's been going on in w64devkit the past year

Farid Zakaria’s Blog

Every package is already installed

tl;dr; omnibin is a FUSE filesystem that puts every binary nixpkgs ever shipped on your $PATH. Nothing is installed. Nothing needs building. 0 bytes on disk until something actually reads a file. 😈 It’s 2026, why am I still installing packages individually?1 Why must I go through the ritual of adding a package to my configuration.nix, running nix-shell or succumb to the hellscape of nix-env -iA. Yes, I am a little inspired after watching DHH’s keynote at RailsConf 2026. I feel the same way about

Researchers achieve fastest and most complex DNA computer to date

Researchers at Maynooth University just built a breakthrough DNA computer capable of math like addition, multiplication and division.

inessential: That About Wraps It Up for Stock Mac UI

Corrode Rust Consulting

We Have Named Arguments at Home | corrode Rust Consulting

Steve Klabnik recently wrote about named arguments, optional arguments, default arguments, function overloading, and why most of that design space has historically made him nervous in Rust. I agree with Steve. In fact, I think I agree slightly more s…

arXiv.org

DeepSeek Elastic Compute (DSec): A Sandbox Infrastructure for Effective Agentic Training at Scale

Large-scale agentic training and evaluation with large language models (LLMs) rely on isolated, stateful execution environments in which models inspect repositories, invoke tools, execute commands, and interact with task-specific services. These workloads create sandboxes in large bursts, span heterogeneous functionality and isolation requirements, retain state across long interactions, and draw from large image corpora with limited reuse. Supporting them therefore requires an elastic execution

Servo

Your Donations at Work: One Year of Sponsored Servo Development - Servo aims to empower developers with a lightweight, high-performance alternative for embedding web technologies in applications.

Looking back on Servo's first donation-funded role.

teamten.com

Keep if clauses side-effect free

EX-ARRR: Sailing the 0-click Seas - ironPeak Blog

Release v0.29.0 · warp-tech/warpgate

NoteWould you kindly spend 5 minutes to give your feedback on your deployment and what you'd like to see in Warpgate? Multiple changes in this release have been proposed by users like you through t...

Writing Rust code that

c’mon, try doing a breakthrough

Reassurance

blog.glyph.im

What Would A Serious AI Product Look Like?

Every “AI” tool is missing critical features that you would need if you wanted to do real work with them. What would those look like, if they existed?

Double-entry bookkeeping and paper and tokens

The invention of double-entry bookkeeping has had profound implications on our world. All modern commerce owes a debt (hi!) to it. I have heard it compared to the invention of numbers. In turn, this accounting mechanism was made possible by the sudden availability of cheap paper. In The notebook: a history of thinking on paper, Roland Allen writes: Before paper became easily available in the years after 1244, Italian merchants had used parchment books to record their transactions, but they recog

Agents: The new, New Kingmakers

Well over a decade ago, hundreds of conversations over a period of years crystalized into a book called The New Kingmakers. The core thesis of the book was simple: a constituency long thought to be powerless had become instead the real power behind the throne, the anointer of queens and kings. For decades, developers that

LWN.net

Thread-identity switcheroo for io_uring

The io_uring subsystem is all about asynchronous execution; applications count on it to not blo [...]

seangoedecke.com

Automatically detecting AI text in my browser

Automated AI text detection is currently an underserved niche. The only game in town is Pangram, which does an excellent job but desperately needs more…