Programming examples

Find reproducible qualitative simulation transitions and turn them into pytest regressions.

Every known way to get a proof of False accepted in Lean 4 and Rocq/Coq, organised by what the route costs: paradoxes of type theory, sanctioned escape hatches, kernel defects, and audits that found nothing.

Android demo for maximum localized HDR QR brightness with live headroom diagnostics

Simulate and detect the full DLL-injection telemetry chain—no VM, no admin, zero live processes touched. ATT&CK T1055.001 · JSONL · SARIF

A growing collection of interactive Jupyter Notebooks, theoretical guides, and coding exercises covering foundational data science and machine learning concepts.

Minimalist and header-only semi-generic C data structure library intended for online coding challenge platforms.

the classic 27-card trick (with ternary magic) written in gnucobol

a single character turns a universal primitive recursive function into a universal general recursive function

A comprehensive collection of open source C++ samples for Direct3D 11, Direct3D 12, OpenGL 4, Vulkan 1, Metal 3 and OpenAL 1.

Implementation of 1970 bloom filters research paper

Production-ready agent examples built with Tilde

HTTP get/post instructions for Stationeers IC10

An Exploratory Implementation of the AlphaFold2 protein folding transformer neural network.

A simple Tkinter GUI experiment demonstrating rapid string allocation and terminal spam loops in Python.

Working Windows 11 Snap Layouts in a frameless Tauri v2 app with a custom titlebar. Two runnable Rust templates + the full write-up of why HTMAXBUTTON/WM_NCHITTEST fails in a webview, and how to fix it.

A one-million-line synthetic Odin project for measuring development build performance

Python objects out of thin air. Describe a thing and an LLM infers its attributes, methods, and behavior on demand, with confidence attached. Written code always wins.

小耳剪纸风 Xiaoer Paper Collage:剪纸拼贴网页 PPT skill,14 套艺术史配色+一键换肤+滑杆+20 布局+可编辑 PPTX,文字真 HTML 永不乱码

Archive of several of my projects over the years