<feed xmlns='http://www.w3.org/2005/Atom'>
<title>pure/docs/research/120-pushing-views.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-04T17:32:39Z</updated>
<entry>
<title>Say why the dashboard's push-to-poll CPU sits at a tenth: an event costs what a request does (120)</title>
<updated>2026-10-04T17:32:39Z</updated>
<author>
<name>eunhhu</name>
<email>necpition205@gmail.com</email>
</author>
<published>2026-10-04T17:32:39Z</published>
<link rel='alternate' type='text/html' href='http://git.yeowoo.org/pure/commit/?id=e8bc8ddd8f64e2f923eee86dd3624689bbd30241'/>
<id>urn:sha1:e8bc8ddd8f64e2f923eee86dd3624689bbd30241</id>
<content type='text'>
</content>
</entry>
<entry>
<title>Wake each thread at most once a push, end streams only of stopped apps, and show a subscriber costs writes nothing (019)</title>
<updated>2026-10-04T15:20:17Z</updated>
<author>
<name>eunhhu</name>
<email>necpition205@gmail.com</email>
</author>
<published>2026-10-04T15:20:17Z</published>
<link rel='alternate' type='text/html' href='http://git.yeowoo.org/pure/commit/?id=bcfc4fe3baa94bc054f949e65389e05969b7ff50'/>
<id>urn:sha1:bcfc4fe3baa94bc054f949e65389e05969b7ff50</id>
<content type='text'>
</content>
</entry>
<entry>
<title>Say what pushing views costs and how fresh it keeps them (019, research 120)</title>
<updated>2026-10-04T15:10:43Z</updated>
<author>
<name>eunhhu</name>
<email>necpition205@gmail.com</email>
</author>
<published>2026-10-04T15:10:43Z</published>
<link rel='alternate' type='text/html' href='http://git.yeowoo.org/pure/commit/?id=50d8263492d69ca8521d3b1d51f60b551c76c443'/>
<id>urn:sha1:50d8263492d69ca8521d3b1d51f60b551c76c443</id>
<content type='text'>
</content>
</entry>
</feed>
