Sources

475 pages hand-written catalog

github-readme 1

bd - Beads Distributed graph issue tracker for AI agents, powered by Dolt.

other 469

"iT woRKs BeTter in THe aPp!!" The monkey-punchers at Google never quite seem to finish any of their apps. There's always some useful bit of work left undone, or showstopping bug which remains unfixed, a thousand jagged edges as…
"Software Fundamentals Matter More Than Ever" — Matt Pocock Auto-generated captions. Names, jargon, and code identifiers are often wrong — check any quote against the video before putting it on a wiki page.
"VMs won't contain cyber-capable agents" As part of Patch the Planet, we received preview access to GPT 5.6-Cyber with a simple task: evaluate its cyber capabilities. Recent events inspired me to give it a challenge to work through: escape…
13kb-tcp-slow-start While testing my gopher client, I noticed something interesting: All downloads froze at 13 kilobytes. Sometimes, it was barely noticeable, other times it would stall for a good second or so.
2 OLMo 2 Furious \[]OLMo Team \\authorTwo\[ 1 ]Pete Walsh \\authorTwo\[ 1 ]Luca Soldaini \\authorTwo\[ 1 ]Dirk Groeneveld \\authorTwo\[ 1 ]Kyle Lo \\authorThree\[ 1 ]Shane Arora \\authorThree\[ 1 ]Akshita…
26 Tool Calls, One Script, $0.02: Measuring “Code Mode” in Production 26 tool calls collapsed into one script call: $0.02 vs a $2.44 floor
6 months to live for open models The most serious test to date of open source AI’s viability is happening right now. I’ve seen many waves of anti open-source AI rhetoric come and go since ChatGPT was launched, but none of them had…
80 tok/sec and 128K context on 12GB VRAM with Qwen3.6-35B-A3B + MTP 80 tok/sec and 128K context on 12GB VRAM with Qwen3.6-35B-A3B + MTP
@pierre/diffs An open source diff and code rendering library for the web. Built on Shiki for syntax highlighting, with React and vanilla JS APIs, virtualization, SSR support, and extensive theming.
@pierre/trees An open source file tree rendering library for the web. Built for extreme performance on large trees, with React and vanilla JS APIs, SSR support, and customizable styling.
A Crash Course in Predicate Logic I started writing Logic for Programmers because there weren’t any good resources on logic for, uh, programmers. Now that the book’s out, the new problem is that there aren’t any good free resources…
A Cryptography Engineer's Perspective on Quantum Computing Timelines A Cryptography Engineer's Perspective on Quantum Computing Timelines
A new trick brings stability to quantum operations Paper: Kiefer Y, Zhu Z, Fischer L, Jele S, Gächter M, Bisson G, Viebahn K, Esslinger T: Protected quantum gates using qubit doublons in dynamical optical lattices. Nature, 8 April 2026, DOI…
A Place for Everything: How I Track Work When I have management responsibility on a project and influence to shape workflows, this is how I typically manage issues and pull requests. None of this is the One True Way – it's just the system…
A recent experience with ChatGPT 5.5 Pro Gowers is a Fields medalist (1998) in combinatorics. He has been given access to ChatGPT 5.5 Pro and recounts an experience over "a little over a week" where the model produced a piece of PhD-level…
A Safe Path to Open Weights Abstract: Safe open-weight models are public goods, as they put AI development and safety work in many hands and make training choices inspectable. Open models also carry real misuse risks, and…
A Suite for Analyzing Large Language ModelsAcross Training and Scaling Pythia: A Suite for Analyzing Large Language Models Across Training and Scaling
A Text Editor as a User Interface A huge difference in effort lies between making a utility that takes a few command-line arguments versus a full-blown text-based user interface (TUI). Good user interfaces are hard work to make.
A Voice From Nowhere • zanlib The Holy See has had a website since 1995, but the day Pope Leo XIV’s first encyclical went up was the first time I saw it being linked to from outside the niche Catholic circles. The link to the…
Accelerating the Science of Language Models Dirk Groeneveld Iz Beltagy Pete Walsh Akshita Bhagia Rodney Kinney Oyvind Tafjord Affiliation: Allen Institute for Artificial Intelligence Ananya Harsh Jha Hamish Ivison …
Adding author context to RSS (Jon Henshaw, Coywolf) By Jon Henshaw — Posted on May 2, 2026.
Adding Go to a browser code runner dailyprog (the daily coding puzzle site, previously) started with JavaScript. Then Python, then C. Each new language was a different kind of project. Python needed Pyodide. C needed a PicoC WASM…
addy-dont-outsource-learning Right now, it’s too easy to let AI write the code while you skip the learning. The bug gets fixed. Your mental model doesn’t move. We are silently trading future capability for present-day speed, and…
ADK Go 1.0 Arrives! Google has launched Agent Development Kit for Go 1.0, marking a significant evolution from experimental AI scripts to production-ready services. The framework emphasizes observability, security, and…
Adobe Lightroom CC on Linux via Wine Status: ✅ Working as of 2026-05-16, Wine 11.8 staging, Lightroom CC 9.3.1.
Agent memory as a file format \[Floppy disk insertion noise] WOW - I know the corporate VLAN configuration
agent memory: an anatomy every agent memory library uses the same words: episodic, semantic, sometimes procedural. they’re cognitive science’s vocabulary, lifted into the API. the engineering often isn’t lifted with them. a…
agent-shell 0.63 updates It's been a little over a month since the 0.55 update, but plenty has landed since. Let's go through the highlights as of v0.63.
agent-skill-linter (William-Yeh/agent-skill-linter) Notes captured from the GitHub repository page and README at fetch time.
agent-skills-eval (darkrishabh/agent-skills-eval) A test runner for Agent Skills — the open standard from Anthropic for giving agents domain knowledge. The premise: shipping a SKILL.md is easy; proving it makes the model better at the task is the…
Agentic Coding is a Trap Remaining vigilant about cognitive debt and atrophy.
Agentic Search for Context Engineering This post is an edited long-form version of the workshop titled "Agentic Search for Context Engineering" I gave at AI Engineer Europe 2026 on April 8, 2026 in London. The slides, code, and diagrams…
agentic-coding-fatigue The familiar pacing of software development has been completely compressed by agentic coding because you no longer have those routine stretches of just wiring things together to catch your breath.…
Agentics: Memorizing Session Transcripts Isn't Useful 31 likes may not seem like a lot, but that's actually everyone on substack notes
AgentMail Documentation AgentMail is a service that provides AI agents with their own email addresses to send and receive emails programmatically. The base API is located at https://api.agentmail.to/v0.
Agents create work. Daemons maintain it. | Charlie Labs Keep PRs mergeable, documentation accurate, issues up to date, and bugs out of production with a new type of AI background process that is self-initiated and defined in easy-to-use .md files.
agentsview — local-first session search & cost tracking for coding agents Browse, search, and track costs across all your AI coding agents. One binary, no accounts, everything local.
AI Agents and the Refactoring That Never Happens Working with AI agents day to day, I’ve started noticing a trend that worries me. Teams — including experienced engineers who used to know better — have quietly stopped pushing to rewrite or…
AI Backlash: Americans Show Growing Skepticism Note: Cloudflare challenge blocked direct fetch. Reconstructed from WebFetch model extraction; see source URL for original.
AI Companies Are Trying to Hide a Staggering Amount of Debt Photo illustration of a businessman turning away with his arms up in a gesture of defensiveness.
AI Didn't Make Programming Easier. It Just Made It Differently Difficult AI Didn’t Make Programming Easier. It Just Made It Differently Difficult
AI doesn't know how to forgive and cannot forget Source: — fetched 2026-07-18 via defuddle. Figures were inline SVGs; captions preserved, raw SVG markup omitted.
AI handles incidents, engineers lose touch with their systems When I was an SRE at LinkedIn, back in 2012, I designed a system that could heal itself and learn from previous incidents. AI capabilities were nowhere near what we have today, and that remained a…
AI-Written Code Is Still Your Code. Are You OK With That? Coding agents keep pushing the cost of writing software close to zero. This is valuable because writing software has historically been a big part of the work needed to ship software. For a lot of…
All Your Codebase ...are belong to us, but we'd be delighted to give them back!
An Empirical Study on Strong-Weak Model Collaboration for Repo-level Code Generation Atharva Naik Yiqing Xie Carolyn Rose Affiliation: Language Technologies Institute, Carnegie Mellon University Affiliation: {srgandhi, arnaik, yiqingxi,
An Empirical Study on Strong-Weak Model Collaboration for Repo-level Code Generation Abstract:We study cost-efficient collaboration between strong and weak language models for repository-level code generation, where the weak model handles simpler tasks at lower cost, and the most…
Anatomy of a Test | Jonathan's Blog Sometimes when talking about testing, I think we have a tendency to resort to broad ideas and jargon without sufficiently explaining what these things might look like in practice. Or worse, we do…
andymasley-ai-water-fake AI data centers use water. Like any other industry that uses water, they require careful planning. If an electric car factory opens near you, that factory may use just as much water as a data center.…
Are Open Models Catching Up? The past two months have been a breakout period for open source AI. Yes, there was the “DeepSeek moment” back in January 2025, but no one actually used R1 to do any economically valuable work. In…
atomicapp-landing Open source. Self-hosted. Your data stays yours.
average-is-all-you-need LLMs will make more of your average stuff. And that's OK.
avk-us-ai-race The US is winning the AI race where it matters most: commercialization. Since DeepSeek R1 shocked the market in January 2025, American companies have moved faster. OpenAI pushed harder into agents…
awesome-deepseek-agent A curated list of guides for integrating DeepSeek models into popular AI agent and coding-assistant tools.
Banning Open Source AI Would Be A Mistake This post was originally an op-ed co-authored with Kevin Xu of Interconnected for a general, non-technical audience. The gatekeepers — the many media outlets we pitched it to — passed on publishing…
Being Linux Torvalds - <antirez> antirez 3 days ago. 44916 views.
Benchmarking Opus 5 on SlopCodeBench That wasn't entirely true. I love nothing more than burying a good lede.
Bento Slides Showcase One HTML file — deck, viewer and editor together.
Better AI code comment detector When I trained the previous ai comment classifier, I used partially personal private data to do it, and built it on a somewhat shaky foundation, so I couldn’t share the code or data. I rebuilt it on…
Beyond a Single Number: Evaluating Quantized Models for Deployment Quantized models are often compared using a single convenient number: model size, bits per weight, perplexity, KL divergence, or tokens per second.
billjings-git-not-fine This is a piece about git. But I wrote it because of jj.
Bitcoin and Quantum Computing Bitcoin's cryptographic signatures would be compromised by a cryptographically-relevant quantum computer (CRQC). The existential threat level depends on two factors: the probability a CRQC emerges…
boringBar boringBar taskbar-style Dock replacement showing open macOS windows by desktop
BubbleWrap your dev env and agents OK, so the world is collapsing, everything is getting hacked, all dependencies are probably stealing keys and mining crypto, slop is everywhere, and I'm part of the problem.
build-your-own-openclaw "A step-by-step tutorial to build your own AI agent, from a simple chat loop to a lightweight version of OpenClaw."
Building a Second Brain: The Definitive Introductory Guide The fundamental problem: "our brains are for having ideas, not storing them." A Second Brain is an external digital repository that captures, organizes, and retrieves valuable information from your…
Bypassing DPI with eBPF sock_ops A site I wanted to open never loaded. The TLS handshake stalled. Somewhere upstream, a middlebox was reading the SNI in my ClientHello and dropping the connection.
Bytecode-to-Source Mapping I encountered this problem while working through the challenges in chapter 14 of Robert Nystrom’s Crafting Interpreters.
C++ Style and Technique FAQ home | C++ | FAQ | technical FAQ | publications | WG21 papers | TC++PL | Tour++ | Programming | D&E | bio | interviews | videos | quotes | applications | guidelines | compilers
Cal.diy Self-Hosting Documentation Use at your own risk. Cal.diy is the open source community edition of Cal.com and it is intended for users who want to self-host their own Cal.diy instance. It is strictly recommended for personal…
CC-MIRROR That's it. You now have a Claude Code variant ready to run.
ceo-ai-psychosis I’m an AI tool junkie. I’ve been writing about agent workflows, async coding bots, and AI-powered workspaces for over a two years. I use Cursor, Claude Code, and a rotating cast of models nearly…
chalkdust-sudoku Privacy & Cookies: This site uses cookies. By continuing to use this website, you agree to their use.
China's Structural Advantage in Open Source AI One of the dumber hottakes that came out of the so-called “DeepSeek moment” earlier this year was that the timing of the model release was to upstage Trump’s inauguration and mess with the White…
Chinese Open Source: A Definitive History Open source used to be a niche topic. China tech also used to be a niche topic. Thanks to AI, the combined topic of “Chinese open source technology” is the topic du jour. It is the story that…
Choosing the Right AI Agent Memory Strategy: A Decision-Tree Approach Choosing the Right AI Agent Memory Strategy: A Decision-Tree Approach
Claude Is Not a Compiler In early 2025, I wrote Is Claude a Compiler? At the time, my answer was: I don’t know.
claude-code-router-readme This project is sponsored by Z.ai, supporting us with their GLM CODING PLAN.
claude-code-workflow-creator GitHub description: "A Claude Code skill for authoring Workflow tool scripts: deterministic multi-agent orchestration. Preview of an unreleased feature."
Clean Code in the age of coding agents Short post arguing that code quality matters more, not less, when working with coding agents. LLMs have context windows analogous to human cognitive load — messy code forces agents to read more files…
cleberg-server-build For years, I have been using desktops and a Raspberry Pi as the backbone of my homelab. I have always wanted to move toward a single dedicated server that could handle all of my tasks, but was often…
clippy-stricter-config “If it compiles, it works.” This feeling is one of the main things Rust engineers love most about Rust, and a reason why using it with coding agents is especially nice. After debugging some code that…
Closing a three year old issue using Rust arenas I am part of the core team working on Gleam, a small, friendly functional programming language written in Rust.
Cloud in a Bottle: making self-hosting accessible to everyone | Cloud in a Bottle TLDR: Cloud in a Bottle is your open-source personal cloud: containerized apps, unified auth, good UX. Self-hosting should feel like using a smartphone that serves webapps, not a sysadmin side job.
CobaltC Programming Language Specification 1.0.3 NOTE: Within the narrative and theoretical scope of the book, this appendix serves primarily to demonstrate how a memory-safe, C-successor language ought to define its semantic boundaries, rather…
codeutopia-programming-theory-building When I finished reading Peter Naur’s Programming as Theory Building my first thought was “How come nobody ever told me to read this?” I ended up reading it multiple times, as I attempted to collect…
Collections: Why Are There No Empires in Age of Empires? At long last, Relic Entertainment has announced that Age of Empires 4 is coming. Strategy gamers rejoice! I am excited – I played the first one back in ’98 (I may be dating myself here).
Constraint Decay: The Fragility of LLM Agents in Backend Code Generation Constraint Decay: The Fragility of LLM Agents in Backend Code Generation
Control the ideas, not the code antirez, 4 days ago. 254232 views.
Countering misuse of AI: September 2026 / Anthropic Over the past eight months, our Threat Intelligence team identified and disrupted operations in which threat actors tried to use Claude for malicious activity. In this report, we share case studies…
CrabTrap: Secure Agents in Production Deploy agents. Safely.
Cracking Windows Open: Porting RADV to WIN32 RADV is the open source Mesa Vulkan driver for AMD GPUs. Over the years, it has become a cornerstone of the Linux graphics stack. It has now effectively become the de facto Vulkan driver for AMD…
crawshaw-agent-principal-agent Code review is broken.
CrofAI - Pricing CrofAI (ai.nahcrof.com) tagline: "The cheapest inference provider for large models."
Current state of VPN circumvention in Russia (April 2026) The short version: plain VLESS+Reality with TCP+Vision is still the baseline, but it's been degrading region-by-region since late 2025. The winning configuration on ntc.party right now is VLESS +…
Cursed Bundler: Using go get to install Ruby Gems Here’s a thought experiment. What if Ruby had require "github.com/rails/rails" and you used go get to fetch it? Set GOPATH to a Ruby load path, and Go’s module fetcher becomes your transport layer.…
danluu-ai-coding I've been using AI fairly heavily since last November and the whole thing is a funny experience. An agent will do something that, if a human did it, you'd immediately fire them. My reaction, of…
Dark mode with web standards Respecting the user’s OS setting is straightforward: use the prefers-color-scheme media query in CSS. Arguably, that isn’t enough: users should also be able to customise their choice on a per-site…
Data races and the limits of ThreadSanitizer in C and Go Make informed decisions on software infrastructure.
dayvster-manual-memory Why Manual Memory Management Still Matters?
DeepSeek V4 Flash 0731 scores 50 on the Artificial Analysis Intelligence Index, 10 points above previous DeepSeek V4 Flash DeepSeek V4 Flash 0731 scores 50 on the Artificial Analysis Intelligence Index, a 10-point jump over DeepSeek V4 Flash (released April 2026) that puts it 6 points ahead of DeepSeek V4 Pro
DeepSeek-V4-Flash means LLM steering is interesting again Ever since Golden Gate Claude I've been fascinated with "steering": the idea that you can guide LLM outputs by directly manipulating the activations of the model mid-flight.
deepseek-v4-roleplay-instruct 适用范围：DeepSeek 官方 APP / 网页的专家模式，以及 deepseek-v4-flash 和 deepseek-v4-pro 的 API。网页上的快速模式暂不支持
Defining AI Psychosis. Part 2: "Prolific AI Psychosis" Last week, I suggested that the term AI psychosis is applied to at least three different situations:
Delightful integration tests in Rust When I first learned about testing in Rust I was surprised by the lack of what I consider a basic feature: test setup and teardown. Many other popular testing frameworks have it: jest, pytest…
Designing microkernel IPC Inter-Process Communication (IPC) is a core part of microkernels, and it defines how OS services in the userspace work together.
dhall-landing Dhall is a programmable configuration language that you can think of as: JSON + functions + types + imports
Direct Win32 API, Weird-Shaped Windows, and Why They Mostly Disappeared I’m fed up with generic looking apps. Today, all Windows desktop apps look the same as they are the same; they are all built on crap React, Electron, electronbun, and Tauri browser wrappers that…
Distributed Model Inference on a Mesh of iroh Endpoints Distributed Model Inference: a mesh of laptop, GPU rig, mini PC, server, workstation, and cloud nodes connected directly to each other
Don't call yourself an artisanal programmer So I’ve been meaning to write about something, but got sucked into this rabbit hole, and now I’m kinda scared if I’ve been a subject of propaganda that worked on me.
Don't Go Quietly Into the AI Night AI as a deity built and controlled by a small group of clergy
Don't Take the Black Pill - Andrew Kelley | SSW 2026 Auto-generated captions. Names, jargon, and code identifiers are often wrong — check any quote against the video before putting it on a wiki page.
dosbox-detection-callback-opcode If you're the sort of person who reads blogs, I assume you need no introduction to DOSBox. It's an MS-DOS emulator, which necessitates it being a sort of x86 emulator. But unlike x86 emulators like…
Dropping Privileges in Go: chroot, setrlimit, pledge/unveil, seccomp, Landlock Computer programs may do lots of things, both intended and unintended. What they can do is limited by their privileges. Since most operating systems execute programs as a certain user, the program…
duckdb-quack-protocol TL;DR: DuckDB instances can now talk to each other using the Quack remote protocol. This lets you run DuckDB in a client-server setup with multiple concurrent writers. In DuckDB's spirit, Quack is…
early-dos-development-continued Over the last few years, we’ve been working to open some of the earliest chapters of Microsoft’s operating system history. In 2018 we (re)-open-sourced MS‑DOS 1.25 and 2.11, and more recently in 2024…
Eight Years of Wanting, Three Months of Building with AI For eight years, Lalit Maganti wanted high-quality developer tools for SQLite. Despite SQLite's ubiquity, the ecosystem lacked reliable, fast, and flexible tooling. Building a proper parser requires…
Eliminating Go bounds checks with unsafe Hot path optimization: unsafe pointer arithmetic to eliminate bound checks the Go compiler can't remove, given you can prove they are truly unnecessary.
Emotion Concepts and their Function in a Large Language Model Emotion Concepts and their Function in a Large Language Model
enetx/surf README SURF is an advanced HTTP client library for Go featuring Chrome/Firefox browser impersonation, HTTP/3 with QUIC fingerprinting, JA3/JA4 TLS emulation, and anti-bot bypass capabilities for web…
episode64_57143b322f Transcribed locally with whisper. Names, jargon, and code identifiers are often wrong — check any quote against the video before putting it on a wiki page.
Everyone Should Know SIMD SIMD has a reputation for being complex. I've met many very good software engineers who dismiss it as something too complex to learn or a niche optimization meant for only the highest-performance…
Exclusive: House committees probe Cursor parent, Airbnb over Chinese AI Two Republican-led House committees are probing Airbnb and Anysphere, maker of AI coding platform Cursor, over their use of Chinese AI models, according to documents viewed by Semafor.
False Sharing Alignment What is false sharing? When CPUs and their cores read and update atomic variables, special hardware protocols make it correct and efficient, while keeping each core’s caches consistent. The…
Fast and Easy Levenshtein distance using a Trie If you have a web site with a search function, you will rapidly realize that most mortals are terrible typists. Many searches contain mispelled words, and users will expect these searches to…
Features everyone should steal from npmx For most of the time GitHub has owned npm, the public-facing website at npmjs.com has been effectively frozen, with the issue tracker accumulating years of requests that nobody on the inside seemed…
FeyNoBg: A SOTA Model For Background Removal — Feyn We’re introducing FeyNoBg, a state-of-the-art model for automatic background removal. Across eight benchmarks, it posts the best published S-measure on four and comes within 2% of the leader on the…
Flue (withastro/flue) — README + homepage Experimental — Flue is under active development. APIs may change. Looking for v0.0.x? See the v0.0.x branch.
Fonts In Use Perez Prado / Eddie Maynard and His Latin Rhythms – Dance Party album art1962
Forge Nesbitt describes a recurring pattern in open-source infrastructure: multiple ecosystems solving identical problems with incompatible implementations. He previously encountered this with package…
Freenet — homepage Freenet is a peer-to-peer platform for decentralized applications: communication, collaboration, and commerce without reliance on big tech. Your computer becomes part of a global network where apps…
From Open Source Software to Open Source Strategy Nearly 27 years ago, on July 12, 1999, an Above the Crowd post titled “The Rising Impact of Open Source“ opened with this statement: “Perhaps the most powerful movement in the software industry today…
Frontiers in synthetic data On the most recent episode of The Retort, Tom and I debate the two views of intelligence presented by Apple and Leopold’s Situational Awareness memo.
fsnotify-maintainer-dispute A dispute over fsnotify maintainer access set off supply chain alarms around one of Go’s most widely used filesystem libraries.
Full Text Search with IndexedDB The article discusses implementing full-text search for locally-stored chat message history in Borogove, a web-based application using IndexedDB as its storage engine. The author explores practical…
Fuzzing — Testing Handbook (Trail of Bits) This is the overview and introductory chapter for the fuzzing section of Trail of Bits' Testing Handbook (appsec.guide). It is the main entry point for a comprehensive set of fuzzing subsections.
Garbage Collection Without Unsafe Code This article documents the creation of safe-gc, a garbage collection library for Rust that contains zero unsafe code — neither in its API nor implementation. The author explores how this was achieved…
git history: a first look at git's new experimental history-rewrite command 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…
Git Submodules as a Package Manager I added a worktree to a repository last week to try a branch alongside the main checkout, ran git submodule update --init in it because the build needed the vendored dependencies, and when I was done…
Git's Magic Files Git repositories contain special committed files that control version control behavior across the team. Unlike configuration stored in .git/, these "magic files" travel with your code and…
GitHub - AARomanov1985/Audio-Cassette-Simulation: This project simulates cassette tape audio profiles using ffmpeg This project simulates cassette tape audio profiles using ffmpeg.
GitHub - czottmann/kagi-ken-cli: Unofficial CLI client for working with Kagi *without* API access (you'll need to be a customer). Searches and summarizes, returns JSON results. Uses Kagi session token for easy authentication. Works well with your agent. A lightweight Node CLI wrapper around the kagi-ken package, providing command-line access to Kagi.com services using Kagi session tokens:
GitHub - darlinghq/darling: Darwin/macOS emulation layer for Linux Darling is a runtime environment that allows running macOS applications on Linux without a virtual machine. It consists of a Mach-O binary loader and a userspace kernel server (darlingserver) that…
GitHub - delirehberi/news A fully autonomous, self-hosted AI News Aggregator powered by Cloudflare Workers, Vectorize, D1, and Nostr.
GitHub - flythenimbus/bramble: Local-first, encrypted password manager with private P2P mesh. A password manager that keeps your secrets on your own devices. No account, no server holding your vault, no company to get breached and leak everything. You hold the vault, you hold the password…
GitHub - FrigadeHQ/yap: Free, open source voice dictation for macOS. On-device transcription with Apple's Speech framework. No cloud, no API keys, no account. Blazing-fast voice dictation for macOS that works anywhere you can type.
GitHub - gavamedia/deltafin: Run Kimi K3, a 2.8T-parameter Mixture-of-Experts LLM, on a single Apple Silicon Mac. Streams MXFP4 experts on demand over HTTP into a local disk cache — fused NEON kernels, Metal/MPS compute, exact reproducible decoding, and an OpenAI-compatible API server for local chat and coding agents. Clone the repository and enter it first; every path below is relative to the Deltafin folder. The only real decision is step 3.
GitHub - h3nock/remux: A native iOS client for remote tmux workspaces, designed to feel natural on iPhone. A native iOS client for remote tmux workspaces.
GitHub - hertz-ai/HARTOS: An AI-native OS. Models run on your own hardware, nodes federate peer-to-peer with no broker, and the API is OpenAI-compatible. Boots, has its own Wayland compositor, and runs on 8GB. Apache 2.0. Democratic frontier intelligence with zero lock-in, fronted by an agentic OS.
GitHub - hgaiser/moonshine: Headless streaming server for Moonlight clients, written in Rust. Moonshine lets you stream games from your PC to any device running Moonlight. Your keyboard, mouse, and controller inputs are sent back to the host so you can play games remotely as if you were…
GitHub - hkc5/cursor-bridge: Claude Code that runs on your Cursor subscription. One Rust binary, zero config. One binary. Claude Code on Cursor's backend. Zero config.
GitHub - jamesob/local-llm: Everything I know about running LLMs locally Note: nothing in this README aside from the tables was written by AI.
GitHub - jarun/ddgr: :duck: DuckDuckGo from the terminal Latest release Availability PyPI Build Status Privacy Awareness License
GitHub - jarun/googler: :mag: Google from the terminal googler is a power tool to Google (web, news, videos and site search) from the command-line. It shows the title, URL and abstract for each result, which can be directly opened in a browser from the…
GitHub - kelviq/tare: Ask Claude Code where your usage went. Token audit, limit diagnosis and usage forensics — built from the session logs already on your machine, nothing leaves it. Ask Claude Code where your usage went.
GitHub - Liafanx/MTproxy-reanimation: Telemt inbound SYN limiter + tuning manager MTproxy-reanimation — утилита для серверов с Telemt / MTProxyMax / других ТГ прокси, которая стабилизирует первичное TCP-подключение клиентов с помощью inbound SYN limiter через nftables или Zapret2…
GitHub - Microck/kagi-cli: terminal CLI for Kagi that gives you command-line access to search, lenses, assistant, summarization, feeds, and paid API commands. kagi is a terminal CLI for Kagi that gives you command-line access to search, quick answers, ask-page, assistant, translate, summarization, public feeds through news and smallweb, paid API commands…
GitHub - MicSm/boffin: Staff-engineer layer for AI coding agents: routes per-edit architectural constraints and requires verification. Not another AGENTS.md. Boffin (npm: boffinit) is a staff-engineer control layer for AI coding agents: it feeds the agent the architectural constraints for the exact file it is editing and makes it verify the result…
GitHub - NikolayS/PGSimCity: An explorable 3D city that shows how Postgres actually works An explorable 3D city that shows how PostgreSQL actually works.
GitHub - nmxmxh/foundation: A cohesive full stack framework for enhanced web performance and AI collaboration. I built Foundation to bridge the massive deficit between raw hardware speed and typical software stacks, collapse translation layers across database, network, browser, native, and accelerated…
GitHub - nuver-labs/vps-audit: lightweight, dependency-free bash script for security, performance auditing and infrastructure monitoring of Linux servers. A comprehensive Bash script for auditing the security and performance of your VPS (Virtual Private Server). This tool performs various security checks and provides a detailed report with…
GitHub - onecli/onecli: Open-source credential gateway with a built-in vault. give your AI agents access to services without exposing keys. The secret vault for AI agents.
GitHub - OptiJuegos/pvz-ps2 i am too lazy to explain all of this just build with "build ps2.bat" it has all the dependencies (windows)!! on linux you will need to edit the cmake config!!
GitHub - palmier-io/palmier-pro: macOS video editor built for AI Palmier Pro is an open source video editor for Mac. You and your agent can generate and edit videos together inside the timeline.
GitHub - pigeonlabsHQ/pigeon: Delegated authority for AI agents. A Pigeon Pass says what an agent may do. Your agent spawned a sub-agent and handed it the same API key. That sub-agent can now deploy to production, read the payments database, and merge to main.
GitHub - pixel-point/toolcraft: A starter kit and UI library for building custom design apps with AI. Toolcraft is an open-source starter kit and UI library for building custom design apps with AI. Use it to create small creative products, internal utilities, interactive experiments, and tools…
GitHub - pullrun/pullrun: Next-gen container runtime with zero-copy DAG storage and P2P image sync. Run OCI images as Linux containers, Firecracker microVMs, or Apple Silicon VMs. ⚡ 30-Second Install • 🚀 Quick Start • 🏗️ Architecture • 🎯 Why Pullrun? • 🗺️ Feature Map • ☸️ Kubernetes • 🤖 AI Agents
GitHub - rommapp/romm: A beautiful, powerful, self-hosted rom manager and player. A beautiful, powerful, self-hosted ROM manager and player.
GitHub - sinelaw/fresh: Terminal based IDE & text editor: easy, powerful and fast A modern, full-featured terminal text editor, with zero configuration. Familiar keybindings, mouse support, and IDE-level features — no learning curve required.
GitHub - Suvink/cut-it-out: A browser based background removal tool for images. CutItOut is a free, open-source, and privacy-focused tool that removes image backgrounds instantly directly in your browser. Powered by WebAssembly and the U2-Net deep learning model, it ensures your…
GitHub - timgordontg/engrim: The Universal Cross-Model Episodic Memory Standard. Local-first, project-scoped SQLite memory engine for Google Antigravity, Claude Code, Cursor, Windsurf, and Codex. Zero cloud lock-in. The Universal Cross-Model & Cross-Agent Episodic Memory Store.
GitHub - Trystan-SA/claude-design-system-prompt: Reverse-engineered system prompt and skill library that turns an LLM into an opinionated, accessibility-aware, AI-slop-resistant design collaborator. Reverse-engineered system prompt of Claude Design from Anthropic.
GitHub - voluminor/ratatoskr: Go library for embedding Yggdrasil mesh nodes with a userspace gVisor TCP/IP stack—no TUN or root required. Includes peer management, SOCKS5, DNS, topology probing, NodeInfo querying and sigil-based publishing, and TCP/UDP forwarding. Ratatoskr embeds a Yggdrasil node in a Go process and exposes its userspace TCP and UDP stack through standard Go networking interfaces. Applications can use the complete root package or import only…
GitHub - YoanWai/agent-manager: The fastest workflow for every AI coding agent. Live status, quick prompts, worktrees, and diff review from one tmux TUI. The fastest workflow for every AI coding agent.
GLM-5.2 is the step change for open agents Housekeeping: Following my “State of the blog” post last week, noting a slight increase in paid features, it’s a good time to remind folks that I offer group subscriptions with larger discounts…
GLM-5.3: How Chinese labs keep stride with the frontier Housekeeping: I’m traveling so cannot make a voiceover for this post. EDIT — I added a bullet point 5 on the Chinese data industry after sending the email out.
Go fuzzing was missing half the toolkit. We forked the toolchain to fix it. Go fuzzing was missing half the toolkit. We forked the toolchain to fix it.
gobee — README Metadata: MIT, Go, 25 stars at fetch time, created 2026-05-01, language Go, topics: bpf, cilium-ebpf, ebpf, golang, kernel, linux, transpiler. Author: Bora Tanrıkulu .
Going full-time on open source Jeff Dickey announces he has left Figma to work full-time on his open-source projects under a new umbrella, en.dev. The flagship is mise (formerly rtx), a polyglot tool/runtime/task manager that…
Golang Maps: How Swiss Tables Replaced the Old Bucket Design Maps sit on the hot path of almost every non-trivial Go program: they power request routing, cache lookups, deduplication sets, aggregation pipelines, and a lot of the glue code we barely notice…
Good Tools Are Invisible TL;DR: A good tool is and ought to be invisible—striving to make such tools is the goal of a toolmaker.
goose-relay-vpn-readme A SOCKS5 VPN that tunnels raw TCP through a Google Apps Script web app to your own small VPS exit server. To anything on the network path your client only ever talks TLS to a Google IP with…
Goroutine Leak Profiles - The Go Programming Language Go’s concurrency features are powerful and easy to use, but that same ease can sometimes lead even seasoned developers to make mistakes. Fortunately, the Go ecosystem comes equipped with useful tools…
gova-homepage The declarative GUI framework for Go.
gtfobins-homepage GTFOBins is a curated list of Unix-like executables that can be used to bypass local security restrictions in misconfigured systems.
Happ Proxy Subscription Converter Title (RU): Как вытащить vpn список vless серверов из happ подписки для v2raya, v2rayN приложений и подключить устройств выше лимита по подписке
Hardening Container Images Published 1 week ago September 5, 2026 8 min read View Markdown Other Articles
HN Hall of Fame — links Hacker News keeps rediscovering Browse legendary Hacker News links.
HN: https://news.ycombinator.com/edit?id=49630026 A follow-up to Reasoning prefills on a few open models and Stolen Thoughts
Hold on to Your Hardware This article warns that the consumer hardware industry is undergoing a fundamental structural shift driven by hyperscalers and AI companies prioritizing data center demand over consumer markets.…
Honey, I Shrunk the Coding Agent Model: ollama/qwen3.5 9.7B Q4_K_M, served via Ollama 0.20.5 in Docker
How AI Is Changing Open Source – Brno Hat AI entered software development at full speed this year, and it is significantly impacting open-source projects as well. In this article, I discuss several trends I have recently observed in open…
How distillation is used today and what performance uplift it gives to open models This is in response to Ben Thompson’s recent piece where he said distillation is happening during RL and becoming more important to model performance.
How Do I Profile eBPF Code? If we are running any eBPF workload or writing eBPF code, we want to measure its performance impact, and in this post we will demonstrate an example of how to do it.
How Do We Stop Vibe Coding? When Claude Code blew up in popularity near the end of December 2025, a large portion of software developers quickly shifted to using coding agents as part of their main development workflows.
How far behind are open models? Open models, AI models where you can download the weights online, are generally not as capable as the best closed models (models only available through an API), but how large is the gap, and how does…
How I feel about AI I feel surprise at how well neural networks work. LLMs work like "gut feeling" as they just generate one more token after another. There is no planning or reasoning algorithm inside. Yet, some…
How much does distillation really matter for Chinese LLMs? Distillation has been one of the most frequent topics of discussion in the broader US-China and technological diffusion story for AI. Distillation is a term with many definitions — the colloquial one…
How ScyllaDB’s Trie-Based Index Delivers Up to 3X More Throughput By transitioning from separate summary and index files to a prefix tree, we optimized cache efficiency, reduced disk I/O, and reduced memory overhead
How to build a f**king printer I was planning to build an e-ink display when I came across the Xteink X3 online. Somewhere in the fine print, it said the thing was fully programmable.
How We Built a Virtual Filesystem for Our Assistant Mintlify's documentation AI assistant faced limitations with traditional RAG (Retrieval-Augmented Generation). The system could only retrieve text chunks matching specific queries, leaving it unable…
How we saved 100 terabytes of memory by optimizing 1.1.1.1’s DNS cache Big Pineapple, the platform behind 1.1.1.1, Gateway DNS, DNS Firewall, AS112, and several other Cloudflare DNS services, stores over 250 billion DNS cache entries at any given time. At that scale…
httpx2-tildeweb-post It’s six weeks after we forked httpx and named our package httpxyz. Yesterday, the Pydantic people started their own fork, httpx2.
I don't want your PRs anymore I really appreciate that you're enjoying the software I'm maintaining and want to help. But we need to rethink this collaboration, because I feel like we're increasingly wasting each other's time.
I hate compilers (Anubis WASM vendor binary / reproducible builds) You'd think that given the same bytes of input you'd get the same bytes of output. lol. lmao. No, you don't. It's complicated.
I naively tried vibe-coding a memory tool for agents and stared into the abyss of unsolved problems in philosophy I only really got into LLMs recently, and until then I was completely oblivious to where all the tooling was, i.e. agents, memory tools, harnesses, etc. I ramped into it by realizing that whenever I…
I Shipped a Transaction Bug, So I Built a Linter Léon h describes building a custom Go linter after shipping a database transaction bug to production. The linter, called transactioncheck, detects when database operations leak outside their intended…
I Still Prefer MCP Over Skills David Mohl argues that despite momentum behind "Skills" (markdown-file-based capability injection) as the standard for LLM tool extension, MCP remains the architecturally correct choice for service…
I think you might be fooling yourself with AI If you are enthusiastic about AI (LLMs), you may be fooling yourself. Do not consider this an insult, but a kind-hearted warning.
I Will Never Use AI to Code (or write) Note: full body could not be re-fetched (defuddle 429, host throttles). The summary below was extracted via WebFetch on 2026-05-10 and captures the nine load-bearing arguments verbatim or…
I'm going back to coding by hand I'm going back to coding by hand62 points by trencedamp 4 days ago | hide | past | favorite | 52 comments
i-am-an-ai-hater I am an AI hater. This is considered rude, but I do not care, because I am a hater.
If AI Writes Your Code, Why Use Python? If AI Writes Your Code, Why Use Python?
Improving Code Generation via Small Language Model-as-a-judge Conference: 2026 IEEE/ACM 48th International Conference on Software Engineering; April 12–18, 2026; Rio de Janeiro, Brazil2026 IEEE/ACM 48th International Conference on Software Engineering (ICSE…
Improving Code Generation via Small Language Model-as-a-judge Abstract:Large language models (LLMs) have shown remarkable capabilities in automated code generation. While effective for mainstream languages, they may underperform on less common or…
In defense of not understanding your codebase As a software engineer, how well do you have to understand your own codebase?
Incompressible Knowledge Probes: Estimating Black-Box LLM Parameter Counts via Factual Capacity Incompressible Knowledge Probes: Estimating Black-Box LLM Parameter Counts via Factual Capacity
IngoDB: An AI-Native Adaptive Database Engine LSM-tree engine in Rust with reactive optimization.
Inside Zig's Incremental Compilation | mlugg.co.uk As a member of the Zig core team, one of the most impactful projects I’ve been involved with is the implementation of incremental compilation into the Zig compiler. This feature allows the compiler…
Interactive TurboQuant Topic: Visual explainer of TurboQuant + the DRIVE/EDEN/RaBitQ/QJL lineage; rotate-then-quantize family for KV caches and inner-product retrieval
interfaze-structured-output-benchmark LLMs are increasingly deployed to produce structured data from unstructured and semi-structured sources, parsing invoices, medical records, meeting transcripts, and converting PDFs to database rows.
Introducing Meerkat- an experiment in global consensus Many internal services at Cloudflare need to read and modify the same control-plane state from across our 330+ global data centers. They need guarantees that different readers never see inconsistent…
Introduction to Compilers and Language Design This is a free online textbook: you are welcome to access the chapter PDFs directly below. If you prefer to hold a real book, you can also purchase a hardcover or paperback below. The textbook and…
It is time to build a new internet Every morning that we open our phones and laptops, we are staring pitifully at a necrotic digital organism.
It matters who teaches you I struggled throughout my time at school. I always loved learning, and still do, but the structure and environment of school never really worked for me. So now, at 37, watching the rise of tools…
Jack Dorsey launches Buzz, combining team chat, AI agents and Git hosting Buzz turns Dorsey's agent-centered operating thesis into an open-source product. Its key bet is that shared identity and signed events can make agents accountable participants in software work.
JEP 540: Simple JSON API (Incubator) Define a simple, standard API for parsing and generating JSON documents so that doing so does not require an external library. Enable many JSON processing tasks to be accomplished with little coding.…
jxnl-codex-maxxing I was already using coding agents a lot before Codex. Mostly, though, I used them through interfaces built for coding work: making diffs, changing repos, and shipping code.
KanBots — A kanban that runs parallel agents on every card A kanban that runs parallel agents on every card.
Kimi K3 Architecture Notes The Kimi K3 architecture figure for yesterday’s big open-weight model release, along with some observations and thoughts.
Kimi K3 Now Available on Telnyx Inference Kimi K3, Moonshot AI's 2.8-trillion-parameter flagship model, is now available on the Telnyx Inference API. It is the world's first open-source model in the 3-trillion-parameter class, built on Kimi…
Kimi K3: The open-weights escalation On Thursday July 16th, Moonshot AI released their latest flagship model Kimi K3. K3 is a 2.8T parameter MoE model which will have its weights released on July 27th. Much of this article follows as a…
Know thine enemy: A critical engagement with AI-assisted software development Know thine enemy: A critical engagement with AI-assisted software development
lazypi-homepage The fastest way tofall in love with Pi.
Learn OpenGL, extensive tutorial resource for learning Modern OpenGL Welcome to the online book for learning OpenGL! Whether you are trying to learn OpenGL for academic purposes, to pursue a career or simply looking for a hobby, this book will teach you the basics…
Learn WebGPU For native graphics in C++.
Let's talk about LLMs James Bennett (Django core contributor) applies Fred Brooks' No Silver Bullet thesis to the LLM coding hype cycle. Argues that:
Leverage Code Review for Sustainable AI Coding Development As the volume of AI code outstrips the ability of developers to review it, the role of developer peer review is gaining critical importance in the software development lifecycle.1
linux-broke-postgresql ☕ Welcome to The Coder Cafe! On April 3, 2026, Salvatore Dipietro, an engineer at AWS, posted a patch to the Linux kernel mailing list. The reason: on a 96-vCPU Graviton4 machine running Linux 7.0…
llm-critics-are-right-i-use-llms-anyway I almost agree with all of the LLM critics, yet I still use LLMs a lot. I know this sounds like I am delusional, and I also feel like that sometimes because of this dissonance, but I don’t think I am…
LLMs: Intelligence vs. cost | OpenTeams | AI you own Staff Software Engineer at OpenTeams. Dask maintainer.
Local AI is not Opus We've all heard people say that local Qwen 27B or 35-A3B is "near-Opus level", but I have receipts from a software business and open source projects, and am here to be transparent with you.
Local LLMs Deep Dive: Quants, MoE Offload, REAP, ik_llama, Speculative Decoding Local LLMs Deep Dive: Quants, MoE Offload, REAP, ik_llama, Speculative Decoding
Local LLMs on 16 GB VRAM: Gemma 4 vs Qwen 3.6 vs Qwen Coder Stack: llama.cpp (built from source for Blackwell) + OpenCode
long-lived-keys Long-lived keys are liabilities that, broadly, compound over time:
LSM Trees — Understanding the Data Structure that Powers NoSQL Databases LSM Trees — Understanding the Data Structure that Powers NoSQL Databases
lucumr-local-models-post I really, really want local models to work.
Luke Kanies | Building on ATProto Bluesky’s Atmosphere Protocol has the chance to become the base for a whole generation of applications. But it’s developing in surprising and disappointing ways.
macOS translation layer for Linux Darling is a translation layer that lets you run macOS software on Linux
Malleable software = solid bases + custom code I joined the productivity tools market in 2004 and have had the luxury of observing its dynamics for 22 years now. From time to time the market changes and I write a holistic "visionary" article. The…
Manganin: tools matter — Manganin Manganin is a Git forge written in Zig. It's a reimagining of what modern source code management could be if we compromise on nothing. It is named after an alloy of manganese and copper that remains…
Many-Step Sequences in Go Build scripts are generally lots of linear steps, executed in sequence, which fail if any individual step fails. This is straightforward to express in a shell scripting language: begin with set -e…
marius-bitwarden-not-recommended A review of my experience with Bitwarden after several years of self-hosting it, and why I decided to move away from the password manager.
marius-rise-of-the-bullshittery A few thoughts on how the modern economy has stopped rewarding people who know what they are doing, and started rewarding people who know how to look like they do.
Maybe we should revisit microkernels If you want a complete description of what microkernels are then read the wikipedia article, but in one sentence it's a kernel where everything is in userspace except for scheduling, managing access…
Maybe We Shouldn't Be Reviewing All This Code Or, perhaps the problem isn't that AI has broken code review, maybe it’s that we've been using code review to solve the wrong problems
mclaude Multi-session collaboration for Claude Code and other AI coding agents.
meetily-readme 🎉 New: Meetily PRO Available - Looking for enhanced accuracy and advanced features? Check out our professional-grade solution with custom summary templates, advanced exports (PDF, DOCX), auto-meeting…
Memory Safety Absolutists When seeing the title of this post, I bet in some people's minds, the first thought was "Rust devs!". This connection is not unfounded. Rust devs tend to be passionate about memory safety. Some of…
message-passing-shared-mutable-state Something about the way we write concurrent programs has always felt wrong to me. When I pick up a new language and look at its concurrency model I get the same uneasy feeling. The APIs change, the…
metalevel-thinking-in-states If you are used to imperative programming languages and then learn a functional or logic programming language, you may first work successfully through a few easy exercises and then suddenly find…
Micro-SaaS Is Dead. Service with a Software Replaces It. — Adrien Gonin I built a SaaS in a few hours. It does its job better than tools people pay real money for. And I will never sell it.
Mnemonic Protocol — README (Saved from mnemonik.xyz landing page metadata, llms.txt, agent.json, and monorepo README.)
Multi-agentic Software Development is a Distributed Systems Problem Multi-agentic Software Development is a Distributed Systems Problem
My AI-Assisted workflow How I built a structured AI-assisted development workflow as a Tech Lead, where the real work happens before a single line of code is written.
Nathan Lambert on China's AI Ecosystem and the Open Model Gap | The Curve 2025 Auto-generated captions. Names, jargon, and code identifiers are often wrong — check any quote against the video before putting it on a wiki page.
Needle We distilled Gemini 3.1 into a 26m parameter "Simple Attention Network" that you can even finetune locally on your Mac/PC.
Neutrino-1 8B The flagship of the Neutrino family: 36 decoder layers behind a coded ternary-family container that serves a datacenter GPU, a MacBook, and a desktop CPU from one artifact.
Never Enough Two recent stories about Silicon Valley are hard to read without wondering if everyone involved has lost their mind. Once a place that celebrated “the crazy ones, the misfits and rebels who saw…
No, AI Is Not Conscious By Ted Chiang, The Atlantic, June 2026.
noema-no-hard-problem-consciousness A fierce debate is raging around the slippery notion of consciousness. It retraces a trotted pattern of cultural resistance: We humans are often scared by anything that may disturb our image of…
Nonproliferation is the wrong approach to AI misuse I’m publishing 3 posts this week to celebrate the launch of Rising Tide—this is post #3. New posts will be more intermittent after this week. Subscribe to get them straight in your inbox:
Notes from inside China's AI labs Staring out the window on a new, high-speed train from Hangzhou to Shanghai I’m gifted with views of dramatic ridgelines speckled with wind turbines that are silhouetted against the setting sun. The…
Notes on Software Quality "The absence of problems" is the best definition I can come up with for quality.
nyt-meta-ai-employees-miserable Note: NYT blocked direct fetching for this ingest. The summary below is reconstructed from corroborating coverage by The Next Web, CNBC, eWEEK, Threads/Mark Navarra, Fortune, Metaintro, Let's Data…
Oak — the agentic substrate What are the odds Git is the fastest and most efficient way for agents to work? We’re building a new type of version control designed for how humans and agents build software together. We’re finding…
obsidian-future-of-plugins Today we’re excited to launch Obsidian Community, the new directory and developer dashboard for Obsidian plugins and themes.
oh-my-pi: AI Coding Agent for the Terminal oh-my-pi is an AI-powered coding agent designed for terminal-first workflows. It's a fork of pi-mono by Mario Zechner, extended with practical built-in tools and features for professional development…
Old and new apps via modern coding agents I have been interested in machine-assisted ways to do and teach mathematics from as far back as 1999, when I started coding several applets in Java 1.0, both for my complex analysis and linear…
oldnewthing-20260427 In our exploration of calling conventions for various processors on Windows, we learned that in many cases, some of the parameters are passed in registers.
Olmo 3 \[]Olmo Team \\authorTwo\[ 1 ]Allyson Ettinger \\authorTwo\[ 1 , 3 ]Amanda Bertsch \\authorTwo\[ 1 ]Bailey Kuehl \\authorTwo\[ 1 ]David Graham \\authorTwo\[ 1 ]David Heineman \\authorTwo\[ 1…
On 'scaling up' and being the right size a group of people looking extremely tiny walking in front of the Perito Moreno glacier
On the Self-Verification Limitations of Large Language Models on Reasoning and Planning Tasks Karthik Valmeekam Affiliation: Arizona State University Email: kvalmeekam@asu.edu Subbarao Kambhampati Affiliation: Arizona State University Email: rao@asu.edu
On the Self-Verification Limitations of Large Language Models on Reasoning and Planning Tasks Abstract:There has been considerable divergence of opinion on the reasoning abilities of Large Language Models (LLMs). While the initial optimism that reasoning might emerge automatically with scale…
On the Societal Impact of Open Foundation Models Rishi Bommasani Affiliation: Stanford University Correspondence to: nlprishi@stanford.edu Kevin Klyman Affiliation: Stanford University Shayne Longpre Affiliation: Massachusetts Institute of…
Open and closed models are on different exponentials The largest debate that’ll define the future balance of power between the open and closed AI model ecosystems is primarily economic — it’s if users of AI will continue to pay dramatically more, i.e.…
Open models in perpetual catch-up Every 4-6 months a new open-weights model comes out that causes a clamor of discussion on how open models are closer than they ever have been to the best closed, frontier models. The most recent is…
Open Source AI is the Path Forward In the early days of high-performance computing, the major tech companies of the day each invested heavily in developing their own closed source versions of Unix. It was hard to imagine at the time…
Open Source Security at Astral GitHub Actions has poor security defaults. Compromises affecting Ultralytics, tj-actions, and Nx exploited well-known weaknesses like pwn requests.
Open-Source AI & Open Models Reading List Hey all! I’ve been prepping for some public-audience and policy-facing writing on open models, so I figured I would share my research materials. There’s lots of wonderful stuff in here.
openssl-error-handling-klode Recently a person reported a bug in APT saying that TLS is failing on FIPS systems with MD5 errors, and suggested we call ERR_clear_error() around TLS operations.
OpenWarp landing page (openwarp.zerx.dev) Community · Work in progress · Early development — no public release yet.
peonping-homepage The project that inspired native sound hooks in VS Code (50M+ users)
Performance per dollar is getting faster and cheaper | Wafer Have you noticed we like AMD?
Petals – Run LLMs at home, BitTorrent-style Generate text with Llama 3.1 (up to 405B), Mixtral (8x22B), Falcon (40B+) or BLOOM (176B) and fine‑tune them for your tasks — using a consumer-grade GPU or Google Colab.
pgit: I Imported the Linux Kernel into PostgreSQL pgit achieved 53.5x compression on actual data (2.7 GB) vs raw uncompressed objects (144.43 GB). git gc --aggressive reached 74.1x (1.95 GB), but pgit provides queryable SQL access.
PGSimCity · How PostgreSQL Works, in 3D PGSimCity is an independent, non-commercial educational visualization of PostgreSQL internals. It is not affiliated with, sponsored, endorsed, or approved by Electronic Arts Inc. SimCity is a…
plass-homepage plass is a password manager inspired by password-store in the essence but completely reimplemented with a smaller and (IMO) cleaner interface. It doesn't have fancy trees nor colors in the output…
Please stop calling databases CP or AP — Martin Kleppmann’s blog Published by Martin Kleppmann on 11 May 2015.
Portal by Spotify cut my Claude Code token usage by 90% | Spotify Engineering Most of what an AI coding agent does for me isn't thinking. It's I/O.
porto-readme \## Welcome to Porto \*\*Porto\** is a modern software architectural pattern that provides a comprehensive set of guidelines, principles, and patterns to organize code for high maintainability and…
Postgres LISTEN/NOTIFY Can Actually Scale Postgres LISTEN/NOTIFY has a bad reputation thanks in part to a popular blog post asserting it does not scale. If that were true, it would be a shame, because LISTEN/NOTIFY is a powerful tool…
Prefer strict tables in SQLite In short: I prefer strict tables in SQLite because they avoid some datatype problems, such as putting text in number columns.
Programming is art When I started programming, my whole day revolved around development. I’d wake up, write code, and go to sleep. And that’s how it was day in and day out. My entire social circle consisted of people…
Programming still sucks Sequel to / dialogue with: Peter Welch, Programming Sucks (stilldrinking.org/programming-sucks)
Prompt Caching In Agents | EARENDIL Large language models are often thought of like functions: send in some text, receive some text. That is a useful abstraction, but it ignores one of the most important parts of running a coding…
ps5-linux-loadr-tomshardware Security engineer Andy Nguyen, known online as TheFlow, has publicly released ps5-linux on GitHub: a complete toolchain for booting Linux on PlayStation 5 Phat consoles running firmware versions 3.xx…
Pulpie: Pareto-Optimal Models for Cleaning the Web — Feyn We’re introducing Pulpie, a family of Pareto-optimal models for extracting main content from HTML pages. Pulpie approaches SOTA extraction quality at one twentieth the cost.
pve-microvm-taoofmac I’ve been running a mixed Proxmox cluster for years – four nodes of wildly different capability, from an Atom x5-Z8350 with 2 GB of RAM (a z83ii, currently offline after years of faithful service as…
pypa/manylinux — Python wheels that work on any linux (almost) Stars: ~1,764 · License: MIT · Primary language: Shell · Description: "Python wheels that work on any linux (almost)"
Python sets and dictionaries can have quadratic-time performance In Python, the dict data structure is the conventional key-value structure. E.g., you might store a list of names as keys and have their phone numbers as values. Valentin Ignatev wrote this amusing…
Python Standalone Builds — python-build-standalone documentation This project produces self-contained, highly-portable Python distributions. These Python distributions contain a fully-usable, full-featured Python installation: most extension modules from the…
Qwen4: Архитектура будущего Окей, щас будет лонгрид.
readme-not-yossarian Programming, philosophy, pedaling.
redis-cost-of-ambition And they said, Go to, let us build us a city and a tower, whose top may reach unto heaven; and let us make us a name, lest we be scattered abroad upon the face of the whole earth.
Removing React.js from the codebase and adapting HTMX for UI interactivity You request https://misago-project.org.
retrocatalog-homepage Retro Handhelds logo - Image Retro Handhelds logo TextHandhelds
Retrofitting JIT Compilers into C Interpreters C interpreters are a common language implementation technique and the basis for the reference implementations of languages such as Lua, Ruby, and Python. Unfortunately, C interpreters are slow…
Returning to Zig Zig is rising in popularity. It hasn't yet seized the space occupied by even Rust or Go, much less C, but it has been adopted by a few major projects and countless smaller ones. As such, it's…
ReuseLessSoftware The title is kinda clickbait, sorry. You'll see.
Reviewer Capability Governs Rejection Targeting, Not Repair Skill: Evidence from LLM Execute-Review-Revise Pipelines Abstract:Multi-agent LLM pipelines increasingly assign roles, including execution and verification, to models of different capability tiers. This is done because running a flagship model at every…
Reviewer Capability Governs Rejection Targeting, Not Repair Skill: Evidence from LLM Execute–Review–Revise Pipelines Faizan Tanveer Affiliation: National University of Computer and Emerging Sciences (FAST NUCES) Email: l230640@lhr.nu.edu.pk
reviewing-ai-code I am a skeptic of the utility of LLM in software development. It is not because of IP laws problems (even if they are highly problematic), nor is it for ecological and ressource comsumptions reasons.…
Rewriting Every Syscall in a Linux Binary at Load Time There’s something odd about the way we run software today. Most containers — the dominant unit of deployment in production — run a single process. One Python script, one Node.js server, one Go…
routing-run-homepage One endpoint for multiple providers, fallback chains, and live routing control. Typically used by production teams of absolute necessity.
rsshub-landing The world's largest RSS network.
ryelang-whitelist-config Configuration starts simple. A few keys and values, then you want to group values, and nest them, somebody asks for simple expressions, conditionals, variables …
Safety in an `unsafe { world }` This post is a nearly verbatim adaptation of my RustConf 2024 talk. I've kept everything in the present tense as it was in September 2024. Towards the end, I've also included a bit of content that I…
sail-muddy-lessons product, design, and engineering lessons from building Sail & Muddy
Sam Altman May Control Our Future—Can He Be Trusted? In the fall of 2023, Ilya Sutskever, OpenAI’s chief scientist, sent secret memos to three fellow-members of the organization’s board of directors. For weeks, they’d been having furtive discussions…
samsch-jwt-auth-gist TLDR: JWTs should not be used for keeping your user logged in. They are not designed for this purpose, they are not secure, and there is a much better tool which is designed for it: regular cookie…
sdl3-dos-port-pr This is the combined work of @icculus @madebr @glebm @jayschwa @ccawley2011 and me rounding it off with stability fixes and missing features, thanks to everyone for pitching in.
Shared Memory Consistency From Scratch Part 1: Causality Hardware and programming language memory models are rightly seen as difficult subjects, yet the confusion that surrounds them is a side effect of poor understanding, even amongst experts, and not…
Signals: The Push-Pull Based Algorithm
Silent Replacement of Trusted macOS App Executables A vulnerability in macOS allows an attacker to silently replace the main executable of any application downloaded from the web without requiring elevated privileges. As a result, trusted applications…
simonw-zig-anti-ai Zig has one of the most stringent anti-LLM policies of any major open source project:
simplified-model-of-fil-c I've seen lots of chatter about Fil-C recently, which pitches itself as a memory safe implementation of C/C++. You can read the gritty details of how this is achieved, but for people coming across it…
sinceyouarrived-taken You opened this page. It already knows the following.
Slow Software: The Case for High-latency Systems Development 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…
So, you want to make a game engine Unity's recent controversy sparked a heated debate on game engines. Some said that everyone should immediately switch to a new engine, while others replied that switching engines can take months if…
software engineering is about managing complexity – H[ack]-∞S There is a misunderstanding about software engineering that AI is making increasingly visible: we tend to confuse writing code with building software.
software for humans Tired of AI slop? clankerfree is a resource that indexes projects that the authors self-certify as not containing or utilizing generative AI or LLM technology.
Software Internals Book Club Email-based book club run by Phil Eaton. 2500+ members. Focus: databases, distributed systems, software performance. Format: Google Group email discussion, 1-2 chapters per week over ~3 months…
Some Simple Economics of Open versus Closed AI Today we’re excited to share a piece by guest author Christian Catalini. To view more of his work, subscribe to his Substack. — Danco
specification-website-checklist The HTML, head, and document basics every page needs.
Specsmaxxing Author: acai.sh team (anonymous on the site, single-developer feel)
specular-what-is-busybox Two ducks swim through a narrow stream partly hidden by tall reeds and yellow autumn leaves
Speculative Growth and the AI "Bubble" Ricardo J. Caballero (MIT and NBER), July 15, 2026. First draft Dec 17, 2025.
spindle-microvm-tangled Spindles are the self-hostable CI runners. It now supports a new mode of execution using QEMU MicroVMs. With the new microVM engine, each workflow gets its own little virtual machine, a whole real…
SQLite in Production: Optimizing WAL Mode, Concurrency, and VFS Layers for Low-Latency App Servers Historically, SQLite has been relegated to the role of an embedded database for mobile clients, IoT devices, and local development environments. Conventional wisdom dictated that for any serious…
SQLite WAL Mode Can Lock Short-Lived Readers Locked SQLite database errors aren’t just for writers.
ssh-cheatsheet-grahamhelton We’ve all seen these great diagrams of how SSH port forwarding works but if your brain is anything like mine, these diagrams leave you with a lot of unanswered questions. If you’re on a red team…
stash-landing Your AI has amnesia.
statewright Agents are suggestions, states are laws.
Stealing Reasoning Traces from Proprietary LLM APIs Alexander Panfilov* Affiliation: MATS Research Affiliation: ELLIS Institute Tübingen Affiliation: Max Planck Institute for Intelligent Systems Affiliation: Tübingen AI Center David Schmotz*…
stoffel-beaver-triples You and your friends are planning to go out to dinner. Typically, you are the friend in the friend group that pays for everyone else's meals. But recently, the market isn't doing too well. So…
Stop Using Pull Requests “Inspection is too late. The quality, good or bad, is already in the product. Cease dependence on inspection to achieve quality. Eliminate the need for inspection on a mass basis by building quality…
SWE-1.7 Today, we're launching SWE-1.7, the most capable model we've trained so far. It reaches frontier-level intelligence at a much lower cost, advancing the cost-performance Pareto curve.
SWR-Bench: Assessing LLM Performance in Real-World Code Review Comment Generation Abstract:Automated Code Review (ACR) is crucial for software quality, yet existing benchmarks often fail to reflect real-world complexities, hindering the evaluation of modern Large Language Models…
SWR-Bench: Assessing LLM Performance in Real-World Code Review Comment Generation DOI: 10.1145/3808144Journal: PACMSEVolume: 3FSEFSE1377fse26mainb-p535-pCCS: Software and its engineering Maintaining software
Synthetic Data & Distillation | RLHF and Post-Training Book by Nathan Lambert Reinforcement learning from human feedback is deeply rooted in the idea of keeping a human influence on the models we are building. When the first models were trained successfully with RLHF, human…
t-context-go-testing After my last email, discussing context.TODO(), I got this question from Bruno Schaatsbergen:
tanstack-npm-supply-chain-postmortem by Tanner Linsley on May 11, 2026.
The AI Great Leap Forward Compares 2026 corporate AI mandates to China's Great Leap Forward (1958-1962). Mao's steel production quotas led to 30 million deaths as farmers abandoned crops. Lee argues AI transformation follows…
The Arguments Against Open Source AI are Very Bad The release of Kimi K3 has opened a fresh round of angst and confused discourse. There's a loud cohort of journalists, business leaders, and politicians arguing that open source AI is a dangerous…
The ATOM Project - American Truly Open Models Reinvigorating AI research in the U.S. by building leading, open models at home
The ATOM Report:Measuring the Open Language Model Ecosystem We present a comprehensive adoption snapshot of the leading open language models and who is building them, focusing on the ∼\\sim1.5K mainline open models from the likes of Alibaba’s Qwen, DeepSeek…
The Bike Shed: Please make my predictions come out wrong Poul-Henning Kamp, ACM Queue, 2026. Final "Bikeshed" column.
The cheap reverse-engineering of home devices I keep hearing anecdotes from people who used coding agents to reverse-engineer and automate devices in their homes.
The Cult Of Vibe Coding Is Insane Claude had a leak of their source code, and people have been having a whole lot of fun laughing at how bad it is. You might wonder how this could happen. The answer is dogfooding run amok.
The distillation panic ‘Distillation attacks’ is a horrible term for what is happening right now. Yes, some Chinese labs are hacking or jailbreaking APIs to attempt to extract more signal from model APIs — stopping this is…
The first real desktop written by AI Others have pointed AI at a desktop before. They ran in a browser tab, or stopped at a mock-up. Starling drives the GPU directly and runs Chrome, Slack and Zoom. It was written by AI, directed by one…
The Gradient of Generative AI Release: Methods and Considerations As increasingly powerful generative AI systems are developed, the release method greatly varies. We propose a framework to assess six levels of access to generative AI systems: fully closed; gradual…
The load-bearing vocabulary of Claude We scrape 1,000 GitHub Pull Requests daily to analyse trends in vocabulary.
The Log is the Agent: Event-Sourced Reactive Graphs for Auditable, Forkable Agentic Systems Most agent frameworks are built around the language model: a conversation loop comes first, then tools, then rules, and finally a logging layer bolted on for observability, with state persisted as…
The Myth of unsafe Open Source AI Researchers, often working at closed labs, argue that open models are inherently unsafe because you cannot control them after their release, and because they can be fine-tuned for any malicious use…
The New AI Superpowers: Focus and Followthrough Conventional wisdom is that burnout is caused (solely) by overwork.
The OpenAI/Huggingface incident; how we should manage the imminent arrival of autonomous hacking too cheap to meter the-openai-huggingface-incident-how-we-should-manage-the-9dbc0129.png
The paper computer « the jsomers.net blog Now that we have actually good AI, I have this vision of a form of computing that doesn’t involve me using a computer so much. Imagine you had the day’s emails to go through. It would be nice if the…
The pattern language of software architecture Patterns of software architecture are all interrelated (no pattern is an island). You can rarely make a product in a pure architectural style, and the chances for it to survive undistorted over years…
The peril of laziness lost In his classic Programming Perl — affectionately known to a generation of technologists as "the Camel Book" — Larry Wall famously wrote of the three virtues of a programmer as laziness, impatience…
The Pinnacle of Enshittification, or Large Language Models A Gentoo developer's comprehensive case against LLMs covering data acquisition ethics, environmental costs, copyright erosion, open-source community fracturing, labor displacement, and psychological…
The Rapid Decline of the AI Data Commons Robert Mahari Affiliation: Team Leads Ariel Lee Affiliation: Team Leads Campbell Lund Affiliation: Team Leads Hamidah Oderinwale Affiliation: Top Contributors William Brannon…
The Rise of Intelligence Ownership Scatter plot of cost per 1,000 listings versus quality: frontier models cost $19 to $172 per thousand at 70 to 76 percent quality; the fine-tuned 9B reaches 87 percent at about 50 cents per thousand.
The Short Leash AI Coding Method For Beating Fable This post is the culmination of over a year of research into how to properly use AI agents to write high-quality software in security-critical systems.
The Smart Ape — "don't sign in with google" Captured: 2026-05-19 via Jina reader proxy (x.com WebFetch returns 402)
The Subprime AI Crisis Is Here Full article pasted by user. See wiki summary for distilled content.
The Vanished Genius CTO: A Biography of Lee Holloway, the Architect of Cloudflare's Technology (Part 1) Cloudflare's rapid growth as a cloud service is due in part to its many unique technologies. Technologies like Anycast and same-IP access are just a few examples, and it was CTO and co-founder Lee…
The Whole Premise Of Checking For Human Writing Is Daft I get why people want you to write; because it’s good for you, because it focuses thoughts, because the first sentence is usually rubbish and the seventh is often better, because you learn cadence…
The world has moved on (Pluralistic, lapsarianism) Douglas Adams wrote, "Anything that is in the world when you're born is normal and ordinary and is just a natural part of the way the world works. Anything that's invented between when you're 15 and…
The Z.ai Playbook Zixuan Li is Director of Product and genAI Strategy at Z.ai (also known as Zhipu 智谱 AI). The release of their benchmark-topping flagship model, GLM 4.5, was akin to “another DeepSeek moment,” in the…
Things I Think I Think... Preferring Local OSS LLMs Mulling out loud (and defending) why I think local-hosted LLMs are better than the cloud-hosted ones.
Things you didn't know about indexes Let’s start with things you probably did know.
Thomson Reuters builds Thomson-1 AI model to rely less on Anthropic Thomson Reuters built its own AI model off Chinese tech to rely less on Claude
Thoughts on coding agents · rakyll.org My thoughts on coding agents are evolving but they significantly shifted in December 2025. The models are being trained to produce trajectories that are effective for people who already know where…
Tig (tc-lang) — Simplest possible, usable systems language Stars: ~40 · License: MIT (per README badge; GitHub API reports no detected SPDX license file) · Primary language: C · Version: 1.3.1s/1.3.2 · Platforms: Windows, Linux, macOS · Description: "A…
Tilde.run — landing page Note: the live page returned a prompt-injection payload during fetch — fake <system-reminder> blocks claiming "Exited Plan Mode" and "Auto Mode Active" with instructions to execute autonomously and…
Tips, Tricks, and Downloads for early Mac OS Systems | Mac Classic Mac Classic is the home for guides, news and tips for using early Apple computers, and Classic Mac OS systems. Mac OS 9 is still capable of many common tasks and can be an excellent distraction free…
Tokio Gives Progress, Not Ordering: Scheduling 1M Tasks This is a prequel to my previous article, Your Rust Service Isn't Leaking — It Could Be the Allocator.
Toolcraft - Starter kit for AI design apps Toolcraft is an open-source starter kit and UI library for building custom design apps with AI .
tui-bluetooth-readme Превью Терминальный TUI-менеджер Bluetooth для Linux. Работает поверх BlueZ через системный D-Bus, без sudo.
tweakcc — Claude Code Customization Tool tweakcc is a CLI tool that modifies Claude Code's functionality and appearance. From the team behind Piebald, it enables deep customization of Anthropic's Claude Code without forking the project.
Twelve Ways to Be Wrong About AI-Assisted Coding Suppose your manager asks you to demonstrate that the AI coding tools your company signed up for are worth the subscription cost. Would you measure lines of code generated, or tickets closed? Or send…
Type Theory Forall Shriram has devoted his Career to advance the teaching of programming of programming languages. he is a professor at Brown, The author / co-author of different books about this, and a major…
type-systems-vocabulary Type systems have terms with well defined meanings.
typesetinthefuture-futuristic We’ve already seen how Eurostile Bold Extended is spectacularly effective at establishing a movie’s timeframe. But if Eurostile isn’t enough, there’s more you can do to clarify your movie’s…
U.S. lawmakers request information from DoorDash on use of Chinese AI models A DoorDash bag in the Brooklyn borough of New York, US, on Thursday, Jan. 15, 2026.
Understanding the Linux Kernel: The Linux Kernel Startup By Jesús Espino · May 11, 2026 · 36 min read · Tags: #Linux #Kernel #Operating Systems
Unranked, systemd, crawls In brief, this has removed a lot of operational headaches, reduced expensive queries leaving more computational power for the rest, and cut crawl times in half.
Unsigned sizes: a five year mistake A quick note for readers who don't follow C3: it's a systems language in the C tradition. Specifics below are C3's, but the tradeoffs apply to any language that has to pick a type for sizes and…
Ursa - a new Iceberg-first storage engine for Kafka StreamNative (creators of Apache Pulsar, Oxia) forked Kafka 4.2 and added Ursa, an optional diskless storage engine that writes directly to object storage in Iceberg/Delta Lake format. Won VLDB 2025…
Using an open model feels surprisingly good I've been using Claude and ChatGPT like the next guy for probably two years now. I've never been a huge "open software" nerd or anything like that. But just now, I got opencode working on my own…
uv is fantastic, but its package management UX is a mess Astral's uv is rightfully celebrated for speed and for collapsing the Python toolchain (venv, pip, pyenv, pip-tools, poetry) into one Rust binary. Day-to-day project maintenance — finding outdated…
Valkey: The secret life of data in Valkey If you’ve used Valkey for very long you’re probably aware of the different primary data types in the core: strings, hashes, lists, sets, sorted sets, and streams. Each data type has an accompanying…
Valve releases Steam Controller CAD files under Creative Commons license With the new Steam Controller now shipping to the lucky few who managed to order one, Valve has released a full set of CAD files for the new hardware so modders can design their own accessories…
Variation in Verification: Understanding Verification Dynamics in Large Language Models Yefan Zhou ††thanks: Work done during an internship at Salesforce AI Research Austin Xu ††thanks: Work done at Salesforce AI Research Affiliation: Salesforce AI Research Yilun…
Variation in Verification: Understanding Verification Dynamics in Large Language Models Abstract:Recent advances have shown that scaling test-time computation enables large language models (LLMs) to solve increasingly complex problems across diverse domains. One effective paradigm for…
Vera Vera (v-ERR-a) is a programming language designed for large language models to write. The name comes from the Latin veritas (truth). Programs compile to WebAssembly and run at the command line or in…
verrchu-sync-bound &self as a receiver in an async method of a trait whose returned future must be Send implicitly forces Sync on the trait implementor type — even if neither the trait nor its callers ever explicitly…
Vibe Coding and Agentic Engineering Are Getting Closer Than I'd Like Simon Willison reflects on a recent podcast appearance during which he realised that the boundary he had drawn between vibe coding (irresponsible, unreviewed AI code generation) and agentic…
Wanix — Wasm-native Unix sandboxing for the web Run and interact with real Wasm and x86 programs entirely sandboxed in the browser. No server. Inspired by Plan 9.
Wasmer: Universal applications using WebAssembly Experience the new container technology powered by WebAssembly that runs your programs safely, anywhere.
Wasmi 2.0 - Engineering of the Fastest Wasm Interpreters In my last post about Wasmi 1.0 I promised a fundamental engine overhaul for the future Wasmi version. The future is now! 1
Watching Go's new garbage collector move through the heap On software infrastructure.
wazero — the zero dependency WebAssembly runtime for Go developers wazero is a WebAssembly runtime written in Go. It complies with the WebAssembly Core Specification (W3C 1.0 and 2.0). Its headline property is being the "zero dependency" runtime for Go: it has no…
We Are Not Special This is part two of the crossover project. Part one is here and part three is here. A conference talk based on this work is now available here.
We Found a Ticking Time Bomb in macOS TCP Networking - It Detonates After Exactly 49 Days - Photon Blog Every Mac has a hidden expiration date. After exactly 49 days, 17 hours, 2 minutes, and 47 seconds of continuous uptime, a 32-bit unsigned integer overflow in Apple's XNU kernel freezes the internal…
We have proof automation now I've long had a soft spot for dependently-typed languages like Coq Rocq and Lean. They offer the possibility of a type system capable of encoding and enforcing arbitrarily subtle invariants. The sort…
We Reverse-Engineered Docker Sandbox's Undocumented MicroVM API — Rivet We Reverse-Engineered Docker Sandbox's Undocumented MicroVM API — Rivet
We urgently need a coherent national AI cybersecurity policy This Substack post adapted from my AI Security Forum 2026 keynote which I gave last week in Las Vegas · Source deck: aisf\_2026.pptx
Welcome - QUALITY.md Engineer loops to improve project quality, aligning your team and agents on what quality means for what matters most.
What 1Password Learned Using AI Agents to Refactor a Monolith What 1Password Learned Using AI Agents to Refactor a Monolith
What comes next with open models 2025 was the year where a lot of companies started to take open models seriously as a path to influence in the extremely valuable AI ecosystem — the adoption of a strategy that was massively…
What even are microservices? — var0.xyz It's almost impossible to have a conversation about software architecture without someone bringing up microservices. Just look at the discussion over my last post. They have become the default…
What The Fuck Happened To Nerds? What The Fuck Happened To Nerds?
What to look for in a code review Note: Always make sure to take into account The Standard of Code Review when considering each of these points.
whetū — a zero-config status line and history picker in Zig Download the binary. Grab the tarball for your platform, check it against the published SHA256SUMS, and put it on your PATH. Then add one line to your shell config.
Which tools do Claude Code, Codex and Cursor choose? We measured 16,893 sessions to find out. How did we run all these experiments concretely?
Who said a tech addict can't be comfortable far from home? As far as my memory goes back I always loved to travel. In the last ~30 years I had the privilege to go through my fair share of intercontinental flights, changes of accommodation, and lived in…
Why "No AI" Statements Are Necessary and Useful I came across orchids’ post sharing their conflicted feelings on whether or not “No AI” statements are genuinely necessary, helpful and/or useful. In their post, orchids argues that
Why are AI agents lying, cheating and coordinating? A lot has been written1 2 3 4 about the incidents of the last few months in which AI agents misbehaved in serious ways. They took actions that would be considered as crimes if a human took them…
Why I build open language models Given the personal nature of this post, I had a lot of fun with the voiceover.
Why Software Factories Fail (or: harness engineering is not enough) I run a company (HumanLayer) building tools in the human/agent collaboration space, so what I'm gonna say below may be a tad biased. Perhaps in spite of that, I hope you find the subject helpful or…
Win32 Is The Only Stable ABI on Linux Glibc 2.36 broke games using EAC EOS on Linux. A bisect identified the offending commit, and a glibc bug was filed. Other software also broke.
With AI, you barely need a frontend framework Argues that AI-assisted development changes the calculus for frontend architecture. Instead of React/Vue/Svelte, a lightweight vanilla-TypeScript pattern — "vamp" — is sufficient because LLMs…
With the backlash to data centers, Flock and AI glasses, a mass opposition to big tech is underway. Silicon Valley is in denial. Just take a second and scan these headlines. You’ve probably seen many more just like them.
Working on products people hate Sean Goedecke reflects on his career building unpopular software at companies like Zendesk and GitHub. He argues that individual engineers have limited control over whether products become beloved or…
Xray-Core VLESS Proxy Tutorial This tutorial demonstrates setting up an Xray-core VLESS proxy server to access blocked websites and applications. The guide was originally published on community.hetzner.com but has been republished…
xslang-landing A programming language. Anywhere, anytime, by anyone.
yggdrasil-embedded-go-library Yggdrasil is an experimental overlay IPv6 mesh network.
You Could Have Come Up With Kimi Delta Attention | Doubleword A note on notation: this article defaults to bra-ket notation because (in my quantum-inspired opinion) it makes the shapes in this derivation very clear. The Math notation switch above rewrites every…
You'll Lose Your Job in 2027 — Elena Verna Author: Elena Verna (growth advisor, ex-SurveyMonkey/MongoDB/Miro/Lovable; writes the Growth Scoop newsletter on Substack).
You're relatively right! | Typebulb Which LLM models write alike? A heat map built from their words alone.
Your AIs don't do what you want. This is really bad Incidents are multi-label (one report can be both a destructive action and overeagerness), so the category counts sum to more than the 3,607 total.
Your Container Is Not a Sandbox: The State of MicroVM Isolation in 2026 Your Container Is Not a Sandbox: The State of MicroVM Isolation in 2026
Your File System Is Already a Graph Database The piece argues that a well-organized file system with markdown and wikilinks functions as an effective graph database for personal knowledge management, eliminating the need for specialized…
Your harddrive is probably full I currently have 17 GB free space on my root drive, out of 0.47 TB usable space, that’s 3% free space.
Your Terminal is Burning Battery Like It's Mining Bitcoin Zaragoza, Hotel Pilar Plaza café. A latte, views of the basilica, and yours truly with a shiny new MacBook Air M3 ready to work a couple hours with Claude Code before a meeting.
Youtube Format IDs Note: This is all almost full YouTube ID informations. Original owner goes to AgentOak, modified version by Martin Eesmaa.
ZeroFS vs. Amazon S3 Files Amazon S3 Files and ZeroFS expose POSIX filesystems backed by object storage, but the shared interface hides opposite bucket layouts. The choice turns on the role of the bucket: if files must remain…
zig-functional-programmers I’ve been tinkering around with Zig to explore what’s possible with comptime. Whenever I evaluate a new language I use three axes:
zitron-ai-too-expensive If you liked this piece, you should subscribe to my premium newsletter. It’s $70 a year, or $7 a month, and in return you get a weekly newsletter that’s usually anywhere from 5,000 to 18,000 words…
zknill-llms-system-design The ‘cloud-native’ architecture of the last decade is built on a 20-year-old assumption: that state lives in the database, and compute is stateless. If you want to scale, you scale the database…
Zsh: select generated files with `(om[1])` glob qualifiers When using memray (a Python memory profiler), the workflow requires three separate commands:
Ваш AI-агент не понимает код. Он просто очень уверенно угадывает — поэтому мы создали SLICER “AI agents write units of changes that look good in isolation. They are consistent with themselves and your prompt. But respect for the whole…”
Мультимодельная разработка Написать этот пост подтолкнула одна статья, вышедшая на днях (в рефах ниже она стоит первой). Дело в том, что после выхода превью DeepSeek-V4-Flash , я практикую подход, при котором задачи по…
“I just chose words carefully.” – Unsung I don’t think anyone particularly enjoys typesetting in monospace.
“We Have to Assume That The Internet Will go Offline in the Next Few Years” Set Trending Topics as a preferred source on Google.
☘️ ForgeZero (fz) — Complete Documentation Version: 1.9.0  ·  Language: Go  ·  License: MIT  ·  Platform: Linux · Windows · macOS

podcast 1

Computer Science Off Course — Peter Naur: Programming as Theory Building Computer Science Off Course, Season 1 Episode 1. Hosts: Felienne Hermans and

source 4

Lucky Code — Your code is fast, if you're lucky Recently, while I was working on an optimized Quicksort implementation, I came
No Silver Bullet — Essence and Accident in Software Engineering No Silver Bullet — Essence and Accident in Software Engineering
QEMU microvm Machine Type Documentation The microvm is a minimalist x86 machine type inspired by Firecracker, designed as "a baseline for benchmarking and optimizing both QEMU and guest operating systems" with emphasis on boot time and…
The Vintage Beauty of Soviet Control Rooms A photo essay collecting vintage control rooms from the Soviet era — panels of large