Lugel Labs / Research

Research.

Notes on intelligence, computation, and verifiable systems.

All publications

5 pieces

Research note13 October 20263 min read

LULA I: measured signing costs, cache recovery, comparisons and the published paper.

Research note18 September 202612 min read

A point cannot say “several”, and it cannot say “none”. The answer is a set, and its width can be certified.

Episode22 August 20262 min read

Move information. Check the work. Keep the record.

Research note22 August 20261 min read

Cuna applies inference optimizations to open models. A recorded GLM-5.2 test reached about 260 tok/s versus an OpenRouter route at 58–60 tok/s.

Research note23 June 202612 min read

The published bound over GR(2^k, m) was quadratic in the block length. A 2-adic descent makes it linear, with no factor of k.