A public research log and reproducibility workspace for Erdos Problem #97: does every strictly convex polygon have a vertex from which no distance to the other vertices occurs four times? The problem remains open — no general proof and no c…
An operating system whose primary user is a language model. llmos is a sub-16 KiB real-mode x86 kernel with no keyboard driver and no human prompt — its entire interaction surface is a line-oriented text protocol over COM1. Every capability…
Geno is a statically typed, functional-first programming language for reliable small programs written with LLMs. You can write Geno directly or generate it with a model; executable examples, contracts, explicit block boundaries, and capabil…
