<feed xmlns='http://www.w3.org/2005/Atom'>
<title>pure/research/experiments/044-specs/2026-10-19-frictions.jsonl, branch master</title>
<subtitle>Fast, lightweight verified computation and deterministic execution runtime.
</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-19T06:34:12Z</updated>
<entry>
<title>140: aup's frictions written away and the apps measured again (no core change, no new opcode): lists declared together, targets together (straight when no value can read what a target changes), a list given a list value whole, abs, tick.period, hex where numbers go; lines to Python 1.47-2.04x (were 1.47-2.15x): UAX #14 176 to 169, layout 116 to 110, HTTP 148 to 146 and its last workaround gone; instructions of the four whose modules changed within 0.2%, inflate's and UAX #14's modules the same; the six specs' checks pass on the three paths, module_specs nine; RTO's checks no longer rewrite G (tick.period); the suite table's rows 5, 8 and 9</title>
<updated>2026-10-19T06:34:12Z</updated>
<author>
<name>eunhhu</name>
<email>necpition205@gmail.com</email>
</author>
<published>2026-10-19T06:34:12Z</published>
<link rel='alternate' type='text/html' href='http://git.yeowoo.org/pure/commit/?id=f1bb9de4ac72136a1b0722ce77ac4ea6fd4fa413'/>
<id>urn:sha1:f1bb9de4ac72136a1b0722ce77ac4ea6fd4fa413</id>
<content type='text'>
</content>
</entry>
</feed>
