Install
Please confirm you are human
This browser or connection looks automated. Press and continuously hold the control for 3 seconds to enable Google-hosted web results and, when separately allowed, AI-assisted answers.
A successful check enables 100 search requests. Interactive access does not authorize scraping, systematic collection, or reuse of search output.
News
No blue without green. No green without blue
5+ hour, 45+ min ago (1265+ words) An investigation by SUMAÚMA found 75 candidates, including allies of Flávio Bolsonaro, have been charged with violating environmental laws in the Amazon In this third report in a series, SUMAÚMA examines the court battle between a health workers union and the…...
My checker reported 11 unknown names. Declaring all 11 in one place would have passed and been wrong.
2+ hour, 52+ min ago (443+ words) A semantic check over a codebase reported: Eleven identifiers appearing in code that the project's vocabulary does not declare. There is an obvious way to clear that: add eleven entries to the vocabulary file and watch the number go to…...
Verify a Real Axiomark Chain Yourself
8+ hour, 48+ 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…...
ESLint took 4.4s to lint Vue's core. oxlint took 0.24s. Then I turned on the type-aware rules.
3+ hour, 50+ min ago (515+ words) ESLint took 4.4 seconds to lint 445 TypeScript files. oxlint took 0.24. Turn on the type-aware rules that most projects actually want and ESLint climbs to 12 seconds, while oxlint, doing the type-aware pass too, finishes in under one. I went in expecting to…...
My build went green and the permanent record kept almost none of it
4+ hour, 18+ 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
4+ hour, 30+ 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 determinism check can only test one producer in seven, and the print says so
4+ hour, 51+ 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…...
tanstack-fetch: A Typed Fetch Client Built for TanStack Query
5+ hour, 49+ min ago (490+ words) If you're using TanStack Query with native fetch, your query functions may look like this: There's nothing wrong with this. But as the application grows, the HTTP layer usually becomes responsible for much more: This is the problem I wanted…...
C++ Lambdas: Captures, Closures and Sort Comparators
10+ hour, 21+ min ago (853+ words) Learn to read C++ lambdas, trace copied and referenced state, write a valid sort comparator, and prevent dangling-reference bugs in stored callbacks. Exam prep & CS education For a first pass through syntax, value-versus-reference capture, and broad STL use, start with…...
I built an open-source personal web memory for coding agents
10+ hour, 47+ min ago (72+ words) I kept saving things I knew I would need later: a GitHub repository, a Reddit answer, a post on X, a... Tagged with ai, memory, bookmarks, mcp....