» curated · synthesized
Skip the noise.
Read the signal.
Curated tech news and synthesis for developers and technology professionals.
» Latest posts
2695 postsLLM-Assisted Formal Verification Uncovers Two Critical nftables Bugs
Basis used LLM-guided formal verification in Rocq to audit Linux's nftables optimizer, uncovering two critical bugs since 2022.
Why Node.js Can't Be Hardened Against Prototype Pollution
Node.js security reports on prototype pollution gadgets are symptoms, not bugs. The real fix belongs at the application boundary, not in core.
Subrust: a no_std, alloc-free interpreter for a Rust subset
Subrust is a zero-dependency, no_std/no-alloc interpreter for a Rust subset that guarantees rustc-identical behavior and bootstraps from a 229-byte seed.
CommitBrief — AI code reviews, right in your terminal
A provider-agnostic, local-first CLI that reviews your staged changes, a historic range, or a whole GitHub pull request. Zero telemetry, no server. Free and open source.
commitbrief.comFable 5 vs GPT-5.6 Sol on an NP-Hard Problem: Does /goal Help?
Claude Fable 5 and GPT-5.6 Sol tackle an NP-hard fiber-network problem, testing whether the /goal persistence feature actually improves results.
How a Benchmark Turned an MCP Security Proxy From 9% to 63%
An open benchmark shows how the mcp-bastion MCP security proxy grew from 9% to 63% attack-surface coverage through iterative testing.
NVIDIA's Nemotron 3 Super Beats GPT-OSS-120B on Coding Benchmarks
NVIDIA's open Nemotron 3 Super model beats GPT-OSS-120B by 20 points on SWE-Bench and delivers 2.2x faster inference throughput.
Three Years of AI Disclosures on Steam: A 53,600-Game Census
Steam census of 53,600 games (2023-2026) shows AI disclosures rising to ~33% of releases, but AI titles still underperform non-AI games commercially.
Reverse-Engineered: iPod Classic's Undocumented Mikey Remote Chip
An undocumented iPod Classic chip called Mikey got reverse-engineered via register sweeping, bringing working earbud remote buttons to Rockbox.
Open-source AI skill set turns LinkedIn posting into a pipeline
linkedin-skills is an open-source, ten-skill toolkit for Claude Code and Codex that automates LinkedIn writing, publishing, and analytics safely.
Engrava: A Deterministic Memory Library for AI Agents Built on SQLite
Engrava is an MIT-licensed Python library storing agent memory as a typed graph in SQLite, with deterministic consolidation instead of LLM rewrites.