<feed xmlns='http://www.w3.org/2005/Atom'>
<title>pure/research/experiments/043-programs/programs.c, 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-09T14:56:48Z</updated>
<entry>
<title>043 programs (research 139, in progress): a batch loop's body as the program a load would make, interpreted a step at a time (scalar steps by the executor's rules, kernel steps over four-byte lane registers fixed at load with two buffers each, a list's cells once a batch, a deferred set after its distance check), against the same kernels called straight and natural.h's C: matmul 10.36 ms (straight 7.17; the executor's 25.8 with 3.6 of making), knapsack 4.16 (straight 3.76; the executor's 8.19); 139's question, bars and b20's split (matmul's 11.1 ms of interpretation, knapsack's 1.9)</title>
<updated>2026-10-09T14:56:48Z</updated>
<author>
<name>eunhhu</name>
<email>necpition205@gmail.com</email>
</author>
<published>2026-10-09T14:56:48Z</published>
<link rel='alternate' type='text/html' href='http://git.yeowoo.org/pure/commit/?id=75aa418924fbaf510174713aa007482169bbd114'/>
<id>urn:sha1:75aa418924fbaf510174713aa007482169bbd114</id>
<content type='text'>
</content>
</entry>
</feed>
