🛠️ All DevTools

[Other] Show HN: Bithoven – A high-level, imperative language for Bitcoin Smart Contract Hey HN! I’m a researcher working on Bitcoin smart contracts, and today I’m releasing Bithoven—a high-level imperative language that compiles to native Bitcoin Script (Legacy, SegWit, and Taproot).<p>The Goal:<p>Raw Bitcoin Script is notoriously difficult to reason about. Writing raw Bitcoin Script today feels like writing Assembly in the 1970s. You have to mentally juggle the stack (`OP_SWAP`, `OP_ROT`), manually manage distinct execution branches, and pray you didn&#x27;t leave a stack item unconsumed (which crashes the script). My goal was to bridge the gap between complex contract logic and raw opcodes, allowing developers to write readable, compile-time-safe code.<p>Key Features:<p>- Imperative Syntax: Write logic using familiar if&#x2F;else and return statements instead of mental stack juggling.<p>- Type Safety: First-class support for bool, signature, string, and number types to prevent runtime errors.<p>- Targeted Compilation: Support for Legacy, SegWit, and Taproot compilation targets.<p>- Native Primitives: Built-in keywords for timelocks (older, after) and cryptography (sha256, checksig).<p>You can try it in the browser here (runs via WASM): <a href="https:&#x2F;&#x2F;bithoven-lang.github.io&#x2F;bithoven&#x2F;ide&#x2F;" rel="nofollow">https:&#x2F;&#x2F;bithoven-lang.github.io&#x2F;bithoven&#x2F;ide&#x2F;</a><p>Here is an example of a Hashed Time-Locked Contract (HTLC):<p><pre><code> (condition: bool, sig_alice: signature) (condition: bool, preimage: string, sig_bob: signature) { if condition { &#x2F;&#x2F; Relative locktime (Sequence) older 1000; return checksig (sig_alice, alice_pk); } else { &#x2F;&#x2F; Hashlock verification verify sha256 sha256 preimage == hash; return checksig (sig_bob, bob_pk); } } </code></pre> The project is free open source and the academic paper is currently under review. I’d love to hear any feedback. Thanks for checking it out!

[Other] Building a High-Performance OpenAPI Parser in Go

[Database] One interface for all your databases. Self-hosted. Connect PostgreSQL, MySQL, SQLite, Supabase, AWS RDS... all in one place. AI writes your SQL. Deploy with Docker in 5 minutes.

[API/SDK] Turn websites into APIs Convert any website into a clean, type-safe API. Use natural-language or JSON-schema prompts to extract data and get usable JSON output for RAG pipelines, sales, content aggregation, or research.

[Other] Arborium: Tree-sitter code highlighting with Native and WASM targets

[Database] GNU recutils: Plain text database

[Other] How I wrote JustHTML, a Python-based HTML5 parser, using coding agents

[Other] Show HN: Open-source customizable AI voice dictation built on Pipecat Tambourine is an open source, fully customizable voice dictation system that lets you control STT&#x2F;ASR, LLM formatting, and prompts for inserting clean text into any app.<p>I have been building this on the side for a few weeks. What motivated it was wanting a customizable version of Wispr Flow where I could fully control the models, formatting, and behavior of the system, rather than relying on a black box.<p>Tambourine is built directly on top of Pipecat and relies on its modular voice agent framework. The back end is a local Python server that uses Pipecat to stitch together STT and LLM models into a single pipeline. This modularity is what makes it easy to swap providers, experiment with different setups, and maintain fine-grained control over the voice AI.<p>I shared an early version with friends and recently presented it at my local Claude Code meetup. The response was overwhelmingly positive, and I was encouraged to share it more widely.<p>The desktop app is built with Tauri. The front end is written in TypeScript, while the Tauri layer uses Rust to handle low level system integration. This enables the registration of global hotkeys, management of audio devices, and reliable text input at the cursor on both Windows and macOS.<p>At a high level, Tambourine gives you a universal voice interface across your OS. You press a global hotkey, speak, and formatted text is typed directly at your cursor. It works across emails, documents, chat apps, code editors, and terminals.<p>Under the hood, audio is streamed from the TypeScript front end to the Python server via WebRTC. The server runs real-time transcription with a configurable STT provider, then passes the transcript through an LLM that removes filler words, adds punctuation, and applies custom formatting rules and a personal dictionary. STT and LLM providers, as well as prompts, can be switched without restarting the app.<p>The project is still under active development. I am working through edge cases and refining the UX, and there will likely be breaking changes, but most core functionality already works well and has become part of my daily workflow.<p>I would really appreciate feedback, especially from anyone interested in the future of voice as an interface.

[Other] The official source for MDN Web Docs content. Home to over 14,000 pages of documentation about HTML, CSS, JS, HTTP, Web APIs, and more.

[Other] Show HN: I Ching simulator with accurate Yarrow Stalk probabilities I built this because I wanted a digital I Ching that honors the original math, rather than just Math.random().<p>Technical detail for the curious:<p>The simulation follows the traditional Yarrow Stalk algorithm (Da Yan). The core of this algorithm relies on modulo-4 arithmetic on the stalks remaining after a random split.<p>To make it physically realistic, I used a Box-Muller transform to simulate the user splitting the stalks with a Gaussian distribution (since humans naturally tend to split near the middle), rather than a uniform random split.<p>I was worried this &#x27;human bias&#x27; might skew the modulo probabilities, so I ran a 1-million-run Monte Carlo simulation to verify.<p>The Result: The remainders [0,1,2,3] still emerged with a near-perfect 25% distribution (deviation &lt; 0.05%).<p>So, the app simulates the physics of human imperfection while preserving the mathematical perfection of the probability distribution (where Old Yin is 1&#x2F;16).<p>Stack: Next.js + Tailwind css<p>Happy to answer any questions about the math or the hexagrams!

[DevOps] Show HN: Stepped Actions – distributed workflow orchestration for Rails Stepped is a Rails engine, extracted out of Envirobly where it powers tasks like application deployment, that involve complex, out-of-the-band tasks like DNS provisioning, retries, waiting for instances to boot, running health checks and all the fun stuff of a highly distributed networked system.

[Monitoring/Observability] Real-time state non-determinism & consensus monitoring apphash.io helps Cosmos SDK chain developers debug app hash mismatches (state non-determinism) by making application state divergence visible. When a mismatch happens, the chain halts, but finding where state diverged usually requires manual RPC diffing and log analysis. apphash.io shows which SDK module produced a different state root and the exact key-value differences inside that module across nodes, turning blind debugging into a concrete, inspectable problem.

[Other] The easiest way to use GitHub Octicons in your Blazor apps BlazorOcticons provides GitHub Octicons as native Blazor components. Instead of copying SVG files or managing icon assets manually, you can reference any icon by name and customize size and color directly in your Blazor code. The library keeps your icons consistent with the Octicons set and makes it easier to work with icons in Blazor projects.

[Other] Web3 and Blockchain Development CoinsQueens helps startups and enterprises transform their Web3 and blockchain ideas into real-world solutions. From smart contracts and decentralized applications to secure blockchain platforms, we build scalable, reliable, and future-ready products designed to drive business growth and long-term success in the digital economy.

[Other] AI tech stack generator for your app idea TechStacker is an AI-powered tool that instantly generates tailored tech stack recommendations for your project. Whether you're building a SaaS, mobile app, or complex system, just describe your idea and get professional architecture recommendations powered by Google's Gemini AI.

[API/SDK] Real-time feature flags for indie hackers & small teams Stop deploying just to change a variable. LiveFlags is a real-time feature flag platform for indie hackers and small teams. Toggle features, update remote config, and control your app instantly—no redeploy needed. ✨ Real-time updates via WebSocket 📦 Simple React SDK: one hook to use flags 🌍 Multi-environment support (dev/staging/prod) 👥 Team collaboration with roles 📝 Full audit logs Free tier available. Built with React, TypeScript & Supabase.

[Database] Show HN: KV and wide-column database with CDN-scale replication

[CLI Tool] Show HN: Interactive Common Lisp: An Enhanced REPL I created this because sometimes I want more than rlwrap but less than emacs. icl aims to hit that middle sweet spot.<p>It&#x27;s a terminal application with context-aware auto-complete, an interactive object inspector, auto-indentation, syntax colouring, persistent history, and much more. It uses sly to communicate with the child lisp process and aims to be compatible with any sly-supporting implementation. I hope others find it useful!

[Other] I created a publishing system for step-by-step coding guides in Typst

[Other] Building an efficient hash table in Java