<feed xmlns='http://www.w3.org/2005/Atom'>
<title>pure/docs/research/114-across-machines.md, 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-04T08:46:51Z</updated>
<entry>
<title>Trade stores with the WSL2 too: its bytes are the Pi's (029, research 114)</title>
<updated>2026-10-04T08:46:51Z</updated>
<author>
<name>eunhhu</name>
<email>necpition205@gmail.com</email>
</author>
<published>2026-10-04T08:46:51Z</published>
<link rel='alternate' type='text/html' href='http://git.yeowoo.org/pure/commit/?id=582294d084fced5bf5b3111f99a81cfb2422787e'/>
<id>urn:sha1:582294d084fced5bf5b3111f99a81cfb2422787e</id>
<content type='text'>
The same events make byte-identical stores on the x86_64 WSL2 (4 KiB
pages) as on the Pi and the Mac, and a store made on either of the Pi
and the WSL2 opens on the other and goes on the same.
</content>
</entry>
<entry>
<title>Say what running on an x86_64 WSL2 and an M3 Mac showed (research 114)</title>
<updated>2026-10-02T05:23:26Z</updated>
<author>
<name>eunhhu</name>
<email>necpition205@gmail.com</email>
</author>
<published>2026-10-02T05:23:26Z</published>
<link rel='alternate' type='text/html' href='http://git.yeowoo.org/pure/commit/?id=e15df813829e2ab47fa76ede66e3ffb1168eef7c'/>
<id>urn:sha1:e15df813829e2ab47fa76ede66e3ffb1168eef7c</id>
<content type='text'>
The same modules and inputs give the same outputs, failures and store
bytes on the Pi, an x86_64 WSL2 and an M3 Mac; other compilers found an
argument read before it was set, and the core and store build on macOS
again. WSL2's wall clock steps back about 2 s every 32 s. The Pi froze
twice under a measuring tool that held its output: it now streams it,
and experiments run under research/guard.py.
</content>
</entry>
</feed>
