Zigbook is a comprehensive, open-source guide to the Zig programming language, packed with hands-on chapters, projects, and real-world examples.

An exploration of check as the fundamental language of inevitability across chess-family games. From checkmate to resignation, how terminal piece threats shape the game's narrative.

What changed, why it matters, and how to use the new API.

A CLI tool to convert OpenBSD Packet Filter configuration files (`pf.conf`) to JSON and vice versa. - fleximus/pfjson

A deep dive into the practical advantages of Zig over Rust for building command-line interfaces.

Redis in Zig. Contribute to barddoo/zedis development by creating an account on GitHub.

YouTube video by Svelte Society

Walkthrough of the various parts and concepts in Bluesky's AT Protocol (ATProto), the types of servers involved and how it all fits together

We've been making improvements to the end-user and developer experiences with atproto OAuth, and wanted to share some updates.

A protocol that enforces immutability, functional programming principles, and robust security practices in Ruby development by restricting object mutation, enforcing explicit type validation, and impl...

FEEN: A minimalistic, rule-agnostic format for representing board positions in chess variants and other board games, designed for canonicity and flexibility.

Open source, AI-native testing framework for web apps - magnitudedev/magnitude

We are really excited to share our initial steps towards building clean, an embedded DSL and formal verification framework for ZK circuits in Lean4. As we recently shared, Zero Knowledge circuits are full of bugs, but fortunately, techniques like formal verification can provide a huge confidence boost in the correctness of ZK circuits. Clean enables us to define circuits in Lean4, specify their desired properties, and – most importantly – formally prove them!

A practical approach to URL protection using HMAC for secure, tamper-proof links, with applications in CSRF protection and passwordless authentication.

Ever wondered why you need the underscore in target="_blank" to open a link in a new tab?

A minimal symmetric encryption protocol using hash functions for message confidentiality, focusing on simplicity and fundamental cryptographic principles.