<feed xmlns='http://www.w3.org/2005/Atom'>
<title>pure/research/experiments/040-against-c/floor.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-05T12:33:32Z</updated>
<entry>
<title>Research 124's floors: each workload by hand as Pure could run it (its lists' representation, its meaning) bare, with the checks a compiler could hoist, and with every check where the meaning puts it: hoisted 0.64-1.02x C (0.90 by the geometric mean), naive up to 12x</title>
<updated>2026-10-05T12:33:32Z</updated>
<author>
<name>eunhhu</name>
<email>necpition205@gmail.com</email>
</author>
<published>2026-10-05T12:33:32Z</published>
<link rel='alternate' type='text/html' href='http://git.yeowoo.org/pure/commit/?id=ca1acb2be40c8c65af46ba83883cf20edb36c993'/>
<id>urn:sha1:ca1acb2be40c8c65af46ba83883cf20edb36c993</id>
<content type='text'>
</content>
</entry>
</feed>
