Topicssoftware engineering35 items
Multikernel Linux's first public release lets several independent Linux kernels share one machine on bare metal—dedicated CPUs, memory, and devices, with no hypervisor in between.
Inspired by lkml.iu.edu · Cong Wang
A Full Disclosure post on "Commas of D00m" shows how valid JSON full of nulls can still exhaust a server—because deserialization creates state the attacker did not have to create.
Inspired by seclists.org · Full Disclosure
More than 100 organizations signed an open letter calling for stronger cyber defense as AI-enabled attacks grow—and for agent identities that are traceable and accountable.
Inspired by openai.com · OpenAI
Terminal-Bench-Science 0.1 grades agents on researcher-contributed workflows, not textbook Q&A—and the best system still only clears about 30% of tasks.
Inspired by terminal-bench-science.ai · Steven Dillmann
Laude’s Headlong keeps an agent thinking continuously from a small Bash harness. Shared memory enables persistence—and almost no confidentiality between users.
Inspired by laude.org · Laude
Lalit Maganti finds staff problems by listening like a sponge across meetings and chat. That only works when engineers can initiate work—not when they are order-takers on a roadmap.
Inspired by lalitm.com · Lalit Maganti
The July MCP spec makes remote servers ordinary HTTP. The harder problem is issuing sub-agents verifiable, narrow authority instead of one giant user token—and that is what makes real autonomy safe enough to want.
Inspired by blog.modelcontextprotocol.io · David Soria Parra and Den Delimarsky
Torvalds chased a 2 KB Intel Xe VRAM overlap through 24 patches and 18 boots; AI handled the grunt instrumentation but kept wanting to quit—the kernel still requires a human Signed-off-by.
Inspired by github.com · Linus Torvalds
Go 1.27 shipped August 19 with generic methods, encoding/json/v2, uuid, and crypto/mldsa intact—and quieter work like Cox’s uscale float conversion barely made the announcement.
Inspired by go.dev · Nicholas Husin
Vercel Labs’ fx is a 6.39 MiB Zig coding-agent harness with a microsecond cold start—Unix command, not an IDE in a terminal, and small enough to embed.
Inspired by fx.sh
OpenAI’s Codex is becoming one persistent agent across ChatGPT, editors, and terminals—with native Linux sandboxing via seccomp and Landlock—while I wait for the heavier new ChatGPT app on Windows to settle before chasing every release.
Inspired by openai.com · OpenAI
Artificial Analysis’s first Grok 4.6 results put it near the top of agentic benchmarks with far fewer turns and tokens than Claude Opus 5—matching why Grok became my daily coding driver over Claude’s wall-of-prose style.
Inspired by artificialanalysis.ai · Artificial Analysis
Senko Rašić challenges the claim that code was never the hard part—hiring, craft, and buggy software say otherwise—arguing understanding why to build and how to build well both stay hard while AI shifts where scarce effort goes.
Inspired by blog.senko.net · Senko Rašić
Cloudflare OS is a browser-based AI agent workspace on Cloudflare’s platform: Durable Objects, AI Gateway, MCP, sandboxes, and untrusted execution—not chat boxes, but persistent workspaces as an operating layer for AI at work.
Inspired by developers.cloudflare.com · Cloudflare
Bruce Schneier’s work-versus-gym framing for AI use—use tools when the result is the point, keep the struggle when the practice develops skill—and how that maps onto software work, writing, and still requiring reviewable output after trust questions are answered.
Inspired by schneier.com · Bruce Schneier
Draft Go 1.27 release notes cover generic methods, encoding/json/v2, UUID and post-quantum crypto in the standard library, a goroutine-leak profile, and Android MTE compatibility for gomobile—still feeling like Go while removing long-standing limits.
Inspired by go.dev · The Go Authors
Microsoft’s Flint is an open-source visualization language that lets AI agents describe charts through a smaller human-editable spec—compiling to multiple renderers and Excel while keeping semantic types and MCP tooling in the loop.
Inspired by microsoft.github.io · Microsoft
Adam Langley’s ImperialViolet post on LLMs proving Lean properties for a Zstd decoder piece—arguing formal verification’s cost curve may flip, so the scarce skill becomes precise specs while the type checker judges the rest.
Inspired by imperialviolet.org · Adam Langley
Anthropic cut most of Claude Code’s system prompt for Claude 5-generation models without coding-eval loss—arguing prompts and agent configs must be retested per model, not copied across LLMs as if one format were durable.
Inspired by claude.com · Thariq Shihipar
A Wiseday developer argued Apple would not let him show his app after App Store rejection for promotional graphics instead of screenshots—then fixed the listing, and the Hacker News consensus was that Apple was right all along.
Inspired by wisedayplanner.com · Wiseday
