» curated · synthesized
Skip the noise.
Read the signal.
Curated tech news and synthesis for developers and technology professionals.
» Latest posts
512 postsProvensql Proves SQL Query Equivalence Instead of Guessing
Provensql is an open-source SQL equivalence checker using SMT proofs that never returns a false positive, unlike LLM-based query judges.
Shoehorn: Rust Tool Quantizes LLMs to Fit Your Mac's Exact VRAM
Shoehorn is a Rust CLI that quantizes BF16 GGUF LLMs per-tensor to exactly fit your Mac's available VRAM, maximizing quality under a hard memory budget.
Diagnosing Slow Postgres Queries: Planning Time vs Execution Time
Learn to read EXPLAIN ANALYZE buffer stats to tell if a slow Postgres query needs partition/plan fixes or memory/storage fixes.
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.comAPC Framework Closes Authorization Gaps in Multi-Agent LLM Systems
A new authorization framework, APC, tracks delegated authority to block prompt-injection and unsafe action combinations in AI agents.
pgColumnar 1.0-alpha2 Ships Read-Only Iceberg and S3 Object Storage
pgColumnar 1.0-alpha2 adds read-only Apache Iceberg support, S3-compatible object storage, a maintenance daemon, and six security fixes.
Tailvisor gives macOS/Linux VMs their own Tailscale identity
Tailvisor is an open-source VM sandbox giving macOS/Linux guests their own Tailscale identity via a gVisor-based networking layer.
Why Debug Info Makes Rust-to-WebAssembly Builds 40x Slower
LLVM's Register Stackify pass mishandles debug records, making Rust-to-WebAssembly builds up to 40x slower; a fix targets the root cause.
Unigram: A Rust Codec Turning Bytes Into Single-Token Words for LLMs
Unigram is a Rust crate encoding bytes into words that cost exactly one LLM token each, giving fixed token-budget guarantees over hex or base64.
Operation CameraSwarm: 14,000+ Dahua Cameras Compromised
Hunt.io traced Operation CameraSwarm to an exposed dev directory, revealing three exploit paths behind 14,000+ compromised Dahua cameras.
GeoServer jsonArrayContains SQLi Confirmed Regression of CVE-2023-25158
GeoServer's GHSA-mqjf-5f49-2fjh SQL injection is a confirmed regression of CVE-2023-25158, enabling unauthenticated RCE. Patch and mitigation details inside.