<feed xmlns='http://www.w3.org/2005/Atom'>
<title>pure/research/experiments/040-against-c/2026-10-05-forms.jsonl, 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>040 forms.c: matmul's inner loop in the forms the tier may make it (index 20.7 ms, pointer with multiply-add 13.1, apart 10.0, with checks 10.2, a bit tested before each load 13.4): the position's multiply and the pre-load branch cost, the checks hardly; 023 section 5 says so and what comes first (pointer induction, then a full list's copy)</title>
<updated>2026-10-05T17:53:24Z</updated>
<author>
<name>eunhhu</name>
<email>necpition205@gmail.com</email>
</author>
<published>2026-10-05T17:53:24Z</published>
<link rel='alternate' type='text/html' href='http://git.yeowoo.org/pure/commit/?id=8c0c409ec5032a39bf9181198a24f25cca90d5fb'/>
<id>urn:sha1:8c0c409ec5032a39bf9181198a24f25cca90d5fb</id>
<content type='text'>
</content>
</entry>
</feed>
