Show HN: Zig-DbC – A design by contract library for Zig

1 habedi0 0 8/12/2025, 1:49:57 PM

Hi everyone,

I've made an open-source library for using design by contract (DbC) principles in the Zig programming language.

It's called Zig-DbC, and it currently provides the following features:

- A simple API to define preconditions, postconditions, and invariants.

- Contracts are active in `Debug`, `ReleaseSafe`, and `ReleaseSmall` modes to catch bugs early.

- All checks are removed at compile time in `ReleaseFast` mode for zero performance cost.

- An optional mode to handle partial state changes in functions that return errors.

- Transparent error handling that propagates errors from your code to the caller.

Project's GitHub repo: https://github.com/habedi/zig-dbc

God created men; Sam Altman made them equal (taylor.town)

Writing is power transfer technology (danco.substack.com)

TextQuests: How Good Are LLMs at Text-Based Video Games? (textquests.ai)

OpenAI Burns the Boats (ethanding.substack.com)

Sandboxing AI-Generated Code: Why We Moved from WebR to AWS Lambda (quesma.com)

High-purity quantum optomechanics at room temperature (nature.com)

Show HN: Created 60 free useful tools in one place (kewltools.com)

Visualize Embeddings Using DuckDB (github.com)

Prediction markets could create a missing incentive for climate action (santiag0m.github.io)

Show HN: Omnara – Run Claude Code from Anywhere (github.com)

Station – Deploy Sub Agents

Jenny's Daily Drivers: FreeDOS 1.4 (hackaday.com)

Losing the "fun" part of "for fun and profit" (ezhik.jp)

Turning Microsoft's Login Page into Our Phishing Infrastructure (infocondb.org)

Precariat (en.wikipedia.org)

Show HN: How Low Can You Go? – A daily "lowest unique number" challenge (golow.app)

Former Googlers' AI startup OpenArt creates 'brain rot' videos in one click (techcrunch.com)

Lessons learned building an AI hacker (theori.io)

Perplexity makes bold $34.5B bid for Google's Chrome browser (reuters.com)

Sling TV's $5 pass buys you one day of cable TV (theverge.com)

vivid: A themeable LS_COLORS generator with a rich filetype datebase (github.com)

How my divorce and a dildo inspired a practical use of AI (mythos.one)

Symplectification of Circular Arcs and Arc Splines (researchgate.net)

Experiment will attempt to counter climate change by altering ocean (insideclimatenews.org)

Guédelon Castle (en.wikipedia.org)

AI Is Like Outsourcing (brentozar.com)

Google ending AI arms ban concerning, campaigners say (2025/02/05) (bbc.co.uk)

Show HN: Voice-Controlled iOS Navigation Example (github.com)

Pico3D: Open World 3D Game Engine for the RP2040 Microcontroller (github.com)

Do Kwon Pleads Guilty (bsky.app)

Can modern LLMs count the number of b's in "blueberry"? (minimaxir.com)

Synthetic aperture waveguide holography for compact mixed-reality displays (nature.com)

Ask HN: Are leetcode interviews going away?

Launch HN: Design Arena (YC S25) – Head-to-head AI benchmark for aesthetics

Perplexity offers to buy Google's Chrome browser for $34.5B (cnbc.com)

Using Socratic Dialog with AI for Better Technical Decisions (matthewsinclair.com)

Spanner's Columnar Engine Unites OLTP and OLAP (cloud.google.com)

Service Model (Book) System Design for Task Management (varunmehta.github.io)

Jules' sharpest critic and most valuable ally (developers.googleblog.com)

Solo to $1B – What it takes to build a unicorn alone (marcrand.com)

Dog May Stop Loving You (gardnermcintyre.com)

Prompt ChatGPT, Claude, Deepseek and Gemini Simultaneously (tantyai.com)

Choosing the Right Wireless Module for Your Framework Desktop (boilingsteam.com)

Show HN: Building a web search engine from scratch with 3B neural embeddings (blog.wilsonl.in)

Provably guarantee correctness of (some of) your LLM outputs (aws.amazon.com)

Claude Sonnet 4 now supports 1M tokens of context (anthropic.com)

Dicing an Onion, the Mathematically Optimal Way (pudding.cool)

23-24 Leinster Gardens, London's False-Front Houses (britainexpress.com)

Google Gemini struggles to write code, calls itself "a disgrace to my species" (arstechnica.com)

Show HN: Blackjack App with a Provably Fair System (apps.apple.com)

Show HN: Zig-DbC – A design by contract library for Zig

Comments (0)