<feed xmlns='http://www.w3.org/2005/Atom'>
<title>pure/research/experiments/041-batches/bfs.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-05T20:41:34Z</updated>
<entry>
<title>041 join ops: the recurrence interpreted and each round's rest as 11 operations apart, interpreted, 57.8 ms (C 32.6; fused by hand 48.4, the tier 2.46x); bfs: a node with more edges than the lanes runs its round alone (tested with lanes of 16, LANES_TEST); runs again</title>
<updated>2026-10-05T20:41:34Z</updated>
<author>
<name>eunhhu</name>
<email>necpition205@gmail.com</email>
</author>
<published>2026-10-05T20:41:34Z</published>
<link rel='alternate' type='text/html' href='http://git.yeowoo.org/pure/commit/?id=bbed2c103f839af7ede4b3d86b22b15138480372'/>
<id>urn:sha1:bbed2c103f839af7ede4b3d86b22b15138480372</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>
