Accidentally writing a SAT solver

Related Stories

Yahtzeeql – Yahtzee solver that's mostly SQL

Accidentally Made New Math lol

Alephic Writing Style Guide

writing LSP in go

It's not cheating if you write the video game solver yourself

Encoding Hangeul, Koreas writing system

Writing HTML in HTML (2019)

Google Accidentally Reveals Android's Material 3 Expressive Interface

Boy Accidentally Orders 70k Lollipops on Amazon. Panic Ensues.

Accidentally discovered nanostructured material passively harvest water from air

Writing delete for a Linked List

Writing into Uninitialized Buffers in Rust

Writing a hexdump utility in go

New Life Hack: Using LLMs to Generate Constraint Solver Programs for Personal Logistics Tasks

"Night of the Living Dead" accidentally became public domain (2019)

Mike Waltz Accidentally Reveals App Govt Uses to Archive Signal Messages

Google accidentally leaks Material 3 Expressive UI ahead of Android 16

Extending a Language – Writing Powerful Macros in Scheme

Writing a preloadable malloc in Rust, using MMTk

Writing N-body gravity simulations code in Python

Writing a C Compiler, Chapter 1, in Zig

Moving Forth: a series on writing Forth kernels

Oops, I accidentally vibe-coded a ChatGPT client for my Apple Watch

Writing that changed how I think about programming languages

Why I started writing test cases for my code.

Maybe Zelenskiy Should Be Writing the Art of the Deal

Replicube: A puzzle game about writing code to create shapes

Writing OS from scratch for Cortex-M using Zig + C + Assembly

Writing an LLM from scratch, part 13 – attention heads are dumb

Update: Is writing a compiler worth it? Only optimizations left now