<feed xmlns='http://www.w3.org/2005/Atom'>
<title>pure/research/experiments/041-batches/batch.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-05T19:14:11Z</updated>
<entry>
<title>041 knapsack u32_ops: the batch's operations apart and interpreted over four-byte lanes ascending in memory, 4.54 ms (C 6.38, the tier 7.5; fused 2.70): narrow lanes in memory's order are most of the gain, fusing the rest; runs again</title>
<updated>2026-10-05T19:14:11Z</updated>
<author>
<name>eunhhu</name>
<email>necpition205@gmail.com</email>
</author>
<published>2026-10-05T19:14:11Z</published>
<link rel='alternate' type='text/html' href='http://git.yeowoo.org/pure/commit/?id=dd86977b2db463da841b5c2dacf1027561d06aed'/>
<id>urn:sha1:dd86977b2db463da841b5c2dacf1027561d06aed</id>
<content type='text'>
</content>
</entry>
<entry>
<title>041 batches: loops run a batch of rounds at a time, each operation a C loop made at build time (no code made at run time), on Pure's forms and checks, against C natural and C given the same restructuring: roots 6.79 ms (C 6.86), knapsack fused four-byte 2.70 (C 6.47, C in the batch's blocks 1.94), matmul lanes over j 6.67 (C 7.10, C swapped and vector 4.88), join 37 / 46 with its recurrence interpreted (C 30), BFS 10.3 (C 10.0, C read ahead 7.0); unfused interpreted operations 11.2 and 17.7-22.1</title>
<updated>2026-10-05T19:12:48Z</updated>
<author>
<name>eunhhu</name>
<email>necpition205@gmail.com</email>
</author>
<published>2026-10-05T19:12:48Z</published>
<link rel='alternate' type='text/html' href='http://git.yeowoo.org/pure/commit/?id=81c8c5130894826d70b57a97926cc70b8a2ec689'/>
<id>urn:sha1:81c8c5130894826d70b57a97926cc70b8a2ec689</id>
<content type='text'>
</content>
</entry>
</feed>
