🛠️ All DevTools

MCP 2026-07-28 Specification: transport going stateless

How Do I Profile eBPF Code?

Harmony Explained: Progress Towards a Scientific Theory of Music (2012)

Show HN: Tines 3B – safe workflow automation for when everyone builds software Hey HN! This is Yannick from Tines, really excited to share what we’re launching today.<p>Tines 3B is a new product we’ve built for teams building agents, apps, and automations with AI, on top of the assumption that people are already doing this, whether or not IT or security knows about it.<p>Finance, marketing, and more are building dashboards in Claude Code or Codex. None of it is malicious, people are doing exactly what they were asked to do. The issue is there&#x27;s no easy way for that work to run securely: it ends up on a laptop or personal account, with a credential pasted directly into the code, with no one else able to see it exists.<p>Tines 3B is where that work runs instead: everyone can still build the same way, but it executes in an environment that IT and security can actually see and control.<p>It&#x27;s code-first, describe what you want, your LLM writes the implementation, with isolated executions and credentials handled through a proxy rather than embedded in the code.<p>Our other product has been running inside security and IT teams&#x27; most sensitive systems for the last 8 years. This is the same underlying problem (who gets access to what, and who can see it), just for a new category of builder.<p>Our explorer edition is free forever, entirely self-serve: <a href="https:&#x2F;&#x2F;login.tines.com&#x2F;saml_idp&#x2F;signup" rel="nofollow">https:&#x2F;&#x2F;login.tines.com&#x2F;saml_idp&#x2F;signup</a>

Show HN: Ctrlb-decompose: Strip the noise from logs before sending to LLMs

New HIV vaccine shows unprecedented success in preclinical study

Show HN: Formally verified 3D CSG: Trust 93 lines spec, not 1000 lines AI code To my knowledge, this is the first formally verified implementation of a 3D constructive solid geometry (CSG) operation: mesh intersection, implemented in Lean 4 and verified against a concise specification that pins down the surface of the resulting mesh exactly and guarantees practical well-formedness conditions on the triangulation.<p>This project is also an experiment in avoiding having to trust AI-generated code. A human reviewer only needs to read 93 lines of formal specification and run the Lean checker to certify the correctness of the kernel, skipping the intricate 1000+ lines of AI-written implementation. To prove correctness, AI autonomously wrote over 60,000 lines of Lean proofs, which also never have to be inspected by a human. The Lean checker guarantees conformance to the specification at compile time, with zero trust placed in any LLM. This allows us to treat the implementation and proofs as a black box. I guided the agent through the milestones described in the readme to arrive at the result presented here.<p>Also take a look at the web demo <a href="https:&#x2F;&#x2F;schildep.github.io&#x2F;verified-3d-mesh-intersection&#x2F;" rel="nofollow">https:&#x2F;&#x2F;schildep.github.io&#x2F;verified-3d-mesh-intersection&#x2F;</a>, which runs the verified mesh intersection kernel compiled to WebAssembly in your browser.

What AI developers could learn from Charles Bukowski?

AI Agent Governance Toolkit — Policy enforcement, zero-trust identity, execution sandboxing, and reliability engineering for autonomous AI agents. Covers 10/10 OWASP Agentic Top 10.

A curated list of awesome libraries, packages, strategies, books, blogs, tutorials for systematic trading.

Turn any technical book PDF into a Claude Code skill — ready to study, reference, and use while you work.

Build local voice agents with open-source models

Show HN: How many people live within an hour walk of you? I&#x27;ve been building a bunch of US geography tools&#x2F;games&#x2F;visualizations and thought folks on HN might like this one. There are also drive-time and bike-time tools available on the same page.<p>For folks interested, all of the data comes from OpenStreetMap and the US Census at the moment - OSM for routing and points interest and the US Census for population data.<p>Anonymous users can use it 5x&#x2F;day. I put up a waitlist page to gauge interest in a paid version but there&#x27;s no way for the public to make an account - feel free to bypass the limits in an incognito tab.<p>The site is US-only for the time being - sorry for international folks!

Kimi Linear: An Expressive, Efficient Attention Architecture

Show HN: Open-source Cloudflare deployed agent native task management and wiki There are many task tracking solutions out there but this one is mine. It&#x27;s open source and free to host on your own Cloudflare project.<p><a href="https:&#x2F;&#x2F;github.com&#x2F;TAJD&#x2F;projektor" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;TAJD&#x2F;projektor</a><p>I had issues with paying for some of the solutions out there, and then the local solutions like beads etc always had quirks I didn&#x27;t want to work around. I built my own solution on top of Cloudflare&#x27;s very generous usage tiers, and I&#x27;ve enjoyed using and developing it over the past month or so. I thought it might be good to share here and get feedback.<p>The deployment process is designed to be super simple. I&#x27;m releasing artefacts from the repo that can be configured to deploy for your projects using the Cloudflare AI functionality they&#x27;ve recently released. You then need to configure your own Cloudflare Access policy to lock it down (or not) and then you&#x27;re off!<p>Please let me know if you have any feedback!

Show HN: Kiln – a fast, native batch image processor I was tired of outdated UIs and performance of similar tools. Nor did I want to write ImageMagick scripts every time I needed to resize&#x2F;convert&#x2F;watermark a folder with a few thousand images.<p>It&#x27;s a native desktop app built with C++23, Skia for rendering, libvips for image processing and my own cross-platform UI toolkit - no Electron&#x2F;Qt.<p>It allows building reusable pipelines: resize, convert, compress, watermark, sharpen, blur, rotate, flip, rename, and metadata (EXIF&#x2F;IPTC&#x2F;XMP) editing, chained in any order and saved for reuse. Batches run in parallel.<p>Everything is local — no uploads, no signups&#x2F;account, no telemetry, no network calls during processing.<p>It&#x27;s currently in public beta (as mentioned, no signups or accounts needed - can just download), for Windows and Linux (Wayland only). Waiting for the Apple certificate to sign the macOS dmg installer, at which point I&#x27;ll post the download link for macOS.<p>Business model: free beta now, one I&#x27;ve received enough feedback and the tool is mature enough - a one-time license per major version once it&#x27;s out of beta. There won&#x27;t be any subscriptions or telemetry ever.<p>Would love to get your feedback, especially on missing formats&#x2F;operations (e.g. RAW file formats, watch folders, a CLI) to drive the roadmap to the first official version.<p>Cheers.

The AI risk is inside the labs

If AI Writes All the Code, What Do the Programmers Do?

The age of token efficiency, the age of libraries

A $500 RL fine-tune of a 9B open model beat frontier models on catalog review