Install
Your New Search Engine
AI search that doesn't replace the web.
Discover the web with 4Search, an independent search engine designed to highlight real websites, clear results, and powerful search features—without unnecessary distractions.
Latest Articles
My end-to-end run is ten of ten, and one of those ten is just my word for it
27+ min ago (521+ words) An end-to-end run across a sandbox, from a clean slate: Ten of ten. One of those ten is not a measurement. It is me asserting something, in the output, next to nine things that were actually exercised. One of the…...
Verify a Real Axiomark Chain Yourself
5+ hour, 54+ min ago (521+ words) Everyone in this market says their records are independently verifiable. Very few of them will hand you a record and let you try. Below are two sealed decision chains: one intact, one with a single field altered after sealing. Verify…...
My parser reported a parse error on a file that was never malformed
32+ min ago (554+ words) A build step that reads requirement tables out of a document reported this, every run: reason=parse has an obvious reading. Either the document is malformed or the parser is broken. A person following that reason code goes and looks…...
A deprecated value has to live somewhere, and widening the set was the wrong somewhere
32+ min ago (590+ words) A check refused a row I had just added. The row was a retired signing key, kept so that records signed under it can still be read. The check said: The set of accepted schemes has exactly one element, and…...
How to change reasoning effort in Codex CLI: model_reasoning_effort values and one-off overrides
55+ min ago (430+ words) Codex feels slow, or it overthinks a trivial fix. The knob for that is reasoning effort, the Codex counterpart of extended thinking in Claude Code, controlled by the model_reasoning_effort key. In short: set model_reasoning_effort = "high" (or another value) in ~/.codex/config.toml…...
My build went green and the permanent record kept almost none of it
1+ hour, 24+ min ago (569+ words) A clean run at a release boundary. Every check green. Then the step that writes the run into the append-only record, and this: The run succeeded. The record of the run mostly does not exist. That is the part worth…...
Sixteen XORs and not a single if
1+ hour, 36+ min ago (990+ words) Verbose is a small experimental language I build — its compiler proves properties about your code (termination, declared reads, sound types) and emits tiny x86-64 machine code: no runtime, no GC, no libc. Its emitted binaries already compute the TLS 1.3 cryptography for…...
My check ran green every time and its result could never reach the thing that needed it
1+ hour, 24+ min ago (491+ words) An acceptance report reads one cell per unit. For weeks it read the same thing on every single unit: absent is not a failure. It means the acceptance step looked for a result and found nothing there. Meanwhile the check…...
My determinism check can only test one producer in seven, and the print says so
1+ hour, 57+ min ago (545+ words) I added a check that asks one question: run the thing that produces this record twice, and do you get the same bytes? One of seven. That number is not a coverage gap I plan to close. It is the…...
A question on Discord found two bugs in my RAG system. Fixing them found a third.
2+ hour, 12+ min ago (611+ words) Every test passed. The tests had the same blind spots as the code. A developer saw Ossian's MCP... Tagged with rag, kafka, ai, opensource....