15:I[981,["658","static/chunks/658-a698693f56d0116a.js","183","static/chunks/183-6beeeb801c274aaa.js","474","static/chunks/app/%5Btype%5D/layout-631c4730b83c8223.js"],"Posts"] 16:T7c8,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).

The Goal:

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'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.

Key Features:

- Imperative Syntax: Write logic using familiar if/else and return statements instead of mental stack juggling.

- Type Safety: First-class support for bool, signature, string, and number types to prevent runtime errors.

- Targeted Compilation: Support for Legacy, SegWit, and Taproot compilation targets.

- Native Primitives: Built-in keywords for timelocks (older, after) and cryptography (sha256, checksig).

You can try it in the browser here (runs via WASM): https://bithoven-lang.github.io/bithoven/ide/

Here is an example of a Hashed Time-Locked Contract (HTLC):

  (condition: bool, sig_alice: signature)
  (condition: bool, preimage: string, sig_bob: signature)
  {
      if condition {
          // Relative locktime (Sequence)
          older 1000;
          return checksig (sig_alice, alice_pk);
      } else {
          // Hashlock verification
          verify sha256 sha256 preimage == hash;
          return checksig (sig_bob, bob_pk);
      }
  }

The project is

Multi-AI Coordination Framework: Four Systems Ratify Binding Specifications

A shift towards engineering-native RL for software engineering

Hollywood warns: 'Extortionary' codec patent fees could hike streaming prices

Apywire: Lazy object wiring and dependency injection for Python 3.12

Risky Business in the New Year

A dying mother's plan: Buy a gun. Rent a hotel room. Kill her son

Best Books 2025: Business Leaders Recommend Their Must-Reads

Show HN: Empirical evidence of a multiscale structural intersection

Show HN: Claude Code Skill for creating VSCode themes

We mapped the hottest data centers

Show HN: Troql – Auto-generate architecture maps from GitHub repos

Show HN: Bithoven – A high-level, imperative language for Bitcoin Smart Contract

Google debuts 'Disco,' Gemini-powered tool for making web apps from browser tabs

DBLP, the Computer Science Bibliography

Book Review: If Anyone Builds It, Everyone Dies: (Probably Not)

GPU vs. CPU. How to Cut Live Streaming and AI Processing Costs?

Built a first-principles interactive model for space data center economics

A comparison of every* Arena in Rust

MIT Missing Semester 2026

The Undisputed Queen of Safe Programming

Show HN: SafeExec: Destructive Command Interceptor for Codex/Claude/Agents

Ask HN: Is snapd still controvertial on Ubuntu?

Build vs. buy is dead – AI just killed it

Tech predictions for 2026 and beyond – All Things Distributed

UK Wants All iPhones to Block Explicit Images Unless You Prove Age

The Programmer's Roller Coaster (Comic)

Batched Ranged Random Integer Generation

How Mindset Shapes Engineering Success at Startups

The AI-Bubble – Slow hiss or big bang?

Multiplying the Shuffle Speed in Go with Batched Shuffling

Show HN: Building an OS for self-improving ecommerce stores

Comments