<feed xmlns='http://www.w3.org/2005/Atom'>
<title>Sakura/lib/sublanguage.ml, branch physical-layer-lmdb</title>
<subtitle></subtitle>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/Sakura/'/>
<entry>
<title>Add build deps and sublanguage directory struct for dune</title>
<updated>2026-04-23T18:26:55+00:00</updated>
<author>
<name>Marcos Magueta</name>
<email>maguetamarcos@gmail.com</email>
</author>
<published>2026-04-23T18:26:55+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/Sakura/commit/?id=12f170f438f5909511da2f26c5d33a85acc1fe64'/>
<id>12f170f438f5909511da2f26c5d33a85acc1fe64</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>Prototype for configuration</title>
<updated>2026-04-23T01:46:41+00:00</updated>
<author>
<name>Marcos Magueta</name>
<email>maguetamarcos@gmail.com</email>
</author>
<published>2026-04-23T01:46:41+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/Sakura/commit/?id=29e00769046cbc8cd020b2b7c47448d89f21ab39'/>
<id>29e00769046cbc8cd020b2b7c47448d89f21ab39</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>format</title>
<updated>2026-04-03T19:17:38+00:00</updated>
<author>
<name>Marcos Magueta</name>
<email>maguetamarcos@gmail.com</email>
</author>
<published>2026-04-03T19:17:38+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/Sakura/commit/?id=63ae3c930de89af6f85229a467caa3f53cb844a2'/>
<id>63ae3c930de89af6f85229a467caa3f53cb844a2</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>Session with stream control sublanguage (#55)</title>
<updated>2026-03-24T20:51:03+00:00</updated>
<author>
<name>Marcos Magueta</name>
<email>maguetamarcos@gmail.com</email>
</author>
<published>2026-03-24T20:51:03+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/Sakura/commit/?id=013cbf09e4ea9871311bf52b6873c43fc9be5441'/>
<id>013cbf09e4ea9871311bf52b6873c43fc9be5441</id>
<content type='text'>
SCL adds cursor-based streaming to Sakura so clients can consume DRL query results incrementally in bounded batches rather than all at once. Three statements: Begin, Fetch, and Close. `open`, `advance`, and `release` cursors backed by a session registry that suspends the generator between calls. SCL is just an optional consumption layer above the existing algebra.</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
SCL adds cursor-based streaming to Sakura so clients can consume DRL query results incrementally in bounded batches rather than all at once. Three statements: Begin, Fetch, and Close. `open`, `advance`, and `release` cursors backed by a session registry that suspends the generator between calls. SCL is just an optional consumption layer above the existing algebra.</pre>
</div>
</content>
</entry>
<entry>
<title>Sublanguages improvement &amp; Coq experiment (#53)</title>
<updated>2026-03-22T03:33:50+00:00</updated>
<author>
<name>Marcos Magueta</name>
<email>maguetamarcos@gmail.com</email>
</author>
<published>2026-03-22T03:33:50+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/Sakura/commit/?id=59dd901fbe76fc1dfc2d0fd3b725c47735f4bb1c'/>
<id>59dd901fbe76fc1dfc2d0fd3b725c47735f4bb1c</id>
<content type='text'>
* separation and functor for sublanguages

* add coq experiment for termination

* fix tests with envelopes

* add timestamp and print responses to server on terminal

* remove coq experiment for trivial cases and rework gate

* refactor nesting with let*

* remove non-envelope sublang support and tests on server

* manip_err duplication purge and better format as s-expr

* abstract storage with dispatch for sublanguages

* dead code and minor refactor due to old non-envelope parsing on subl

* refactor server to use proper dml alg error and wire ephem relations

* remove (schema)

* change .gitignore to blacklist folders</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
* separation and functor for sublanguages

* add coq experiment for termination

* fix tests with envelopes

* add timestamp and print responses to server on terminal

* remove coq experiment for trivial cases and rework gate

* refactor nesting with let*

* remove non-envelope sublang support and tests on server

* manip_err duplication purge and better format as s-expr

* abstract storage with dispatch for sublanguages

* dead code and minor refactor due to old non-envelope parsing on subl

* refactor server to use proper dml alg error and wire ephem relations

* remove (schema)

* change .gitignore to blacklist folders</pre>
</div>
</content>
</entry>
</feed>
