<feed xmlns='http://www.w3.org/2005/Atom'>
<title>pure/docs/research/125-tier-first-steps.md, branch master</title>
<subtitle>Verified execution runtime unifying state, persistence, and replication.
</subtitle>
<id>http://git.yeowoo.org/pure/atom?h=master</id>
<link rel='self' href='http://git.yeowoo.org/pure/atom?h=master'/>
<link rel='alternate' type='text/html' href='http://git.yeowoo.org/pure/'/>
<updated>2026-10-05T18:36:25Z</updated>
<entry>
<title>125: forms and newton runs named; BFS's time after the graph's load is the generic code's (steps 0.1%), what the tier needs for it (a list's count as a changing value); 023 cites words at e2e56dd</title>
<updated>2026-10-05T18:36:25Z</updated>
<author>
<name>eunhhu</name>
<email>necpition205@gmail.com</email>
</author>
<published>2026-10-05T18:36:25Z</published>
<link rel='alternate' type='text/html' href='http://git.yeowoo.org/pure/commit/?id=a099d63e2322f5ae17e8fbdc51d6cc020638a5dc'/>
<id>urn:sha1:a099d63e2322f5ae17e8fbdc51d6cc020638a5dc</id>
<content type='text'>
</content>
</entry>
<entry>
<title>Research 125: the tier's first steps against C (e2e56dd: roots 1.40, knapsack 1.19, sort 1.37, join 2.54, words 5.58, matmul 1.85, BFS 1.61; geometric mean 1.92, from 3-300x at 6b45806), what each change did, the forms measured in assembly, the apps unchanged, what is left (text in the executor, BFS's appends, spills); CHECKPOINT says so</title>
<updated>2026-10-05T18:34:17Z</updated>
<author>
<name>eunhhu</name>
<email>necpition205@gmail.com</email>
</author>
<published>2026-10-05T18:34:17Z</published>
<link rel='alternate' type='text/html' href='http://git.yeowoo.org/pure/commit/?id=b611a1f95a0ebe917691154c430368eecc479162'/>
<id>urn:sha1:b611a1f95a0ebe917691154c430368eecc479162</id>
<content type='text'>
</content>
</entry>
</feed>
