<feed xmlns='http://www.w3.org/2005/Atom'>
<title>pure/research/experiments/041-batches/frontier.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-06T09:32:56Z</updated>
<entry>
<title>041 runs of b5 = bdfc4d7 and b6 = de9efad: batches knapsack 10.84 ms (the compiled code 7.93), matmul 36.41 (14.20), join 118.3 (78.7), sort 55.5 (35.6), roots 8.87 (9.57); the executor alone as many instructions as b4's; costs three ways on b5 and b6 (tagged by version, b4's too: adds 0.65, ops 4.00, recur 21.8, recur4 36.0); frontier.c: the suite's BFS as frontier batches (105,232 of 999,913 edges asked again in order, 99,997 added; walking a batch's edges together 2.17x the edges)</title>
<updated>2026-10-06T09:32:56Z</updated>
<author>
<name>eunhhu</name>
<email>necpition205@gmail.com</email>
</author>
<published>2026-10-06T09:32:56Z</published>
<link rel='alternate' type='text/html' href='http://git.yeowoo.org/pure/commit/?id=644a27a732e44003a9bb05385af5eb224810a375'/>
<id>urn:sha1:644a27a732e44003a9bb05385af5eb224810a375</id>
<content type='text'>
</content>
</entry>
</feed>
