Binary Lambda Calculus

raylib vs SDL - A libraries comparison

Magic Namerefs

Simple INI-file parser (strongly-typed)

An algorithm to square floating-point numbers with IEEE-754. Turned to be slower than normal squaring.

How to make o4-mini report you to the FBI

Implementing complex numbers and FFT with just datatypes (2023)

"Safe" YAML monster

AutomationArmy: A Pro Automation Union

Geometry doesn't need a spreadsheet. It never did

Handling real-time two-way voice translation in SwiftUI using AVFoundation + Combine

[vimrc] Bracket and quote matching and automatic shifting

Gas: Get Action Status A GitHub Actions checker script

new state of the art turing test: drawing a rubik's cube

Journey to Optimize Cloudflare D1 Database Queries

MIT4H (MIT license for humans)

prepare()-ing for execution: a new API for process creation

From Languages to Language Sets

Show HN: TypeScript as a proof assistant for intuitionistic propositional logic

Xfinity XB3 hardware mod: Disable WiFi and save 2 watts

A C implementation of defer using `goto`

Make Ubuntu packages 90% faster by rebuilding them

Show HN: I made a C program to create a vanity SHA-1 hash for a text file

How to Use a TPM on Linux

Qt 6 for C & Zig

Svelte5: A Less Favorable Vue3

Simulating a quantum computer in 200 lines of code

Roc rewrites the compiler in Zig

How I implement SSA form

Show HN: Python micro event loop library (~250 LOC)

More →