» curated · synthesized
Skip the noise.
Read the signal.
Curated tech news and synthesis for developers and technology professionals.
» Latest posts
371 postsCan AI Conduct Novel Security Research? Introducing the HTTP Terminator
The HTTP Terminator project explores AI's ability to develop new attack techniques, offering significant insights for security engineers.
Sqlfmt: A gofmt-style Formatter for SQL
Sqlfmt is a tool that formats SQL queries in a gofmt style, inspired by PostgreSQL books.
Harvesting Ethereum Traces Without an Archive Node
Efficiently harvest Ethereum call traces without the need for an archive node.
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.comCreusot: A Deductive Verifier for the Rust Programming Language
Creusot is a deductive verifier for Rust, proving code compliance with formal specifications to eliminate errors.
REFLEX: Record a GUI Workflow, Replay Without LLM Calls
REFLEX allows you to record GUI workflows and replay them quickly without LLM calls.
Tracking Down a Zsh History Data Loss Bug
Learn how I tracked down a Zsh history data loss bug and its resolution.
Model Genome: Fingerprinting Whether an LLM Was Trained from Scratch or Derived
Model Genome offers a method to determine if LLMs were trained from scratch or derived.
A Tool to Quickly Audit LLM-Generated Python Codebases
pyreplay aids in auditing Python code generated by LLMs, turning runs into explorable HTML pages.
Informing HTTP Extension Design with Data
Insights from cc-lint reveal key lessons for HTTP protocol designers.
No cloud, no GPUs: Liquid AI's LFM2.5-2.6B model empowers edge devices
Liquid AI introduces LFM2.5-2.6B, a model that runs on local hardware without cloud or GPU dependencies.