<feed xmlns='http://www.w3.org/2005/Atom'>
<title>Sakura/lib/core_functions.ml, branch rnt-integration</title>
<subtitle></subtitle>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/Sakura/'/>
<entry>
<title>remove interop with c</title>
<updated>2026-04-04T20:10:32+00:00</updated>
<author>
<name>Marcos Magueta</name>
<email>maguetamarcos@gmail.com</email>
</author>
<published>2026-04-04T20:10:32+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/Sakura/commit/?id=d3708bb28adcd0220142f1890ab96bfd2df637d3'/>
<id>d3708bb28adcd0220142f1890ab96bfd2df637d3</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>wip: physical</title>
<updated>2026-03-06T23:27:49+00:00</updated>
<author>
<name>Marcos Magueta</name>
<email>maguetamarcos@gmail.com</email>
</author>
<published>2026-03-06T23:27:49+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/Sakura/commit/?id=b2b1d9a3a8cbf2f5d0089e29931cacf36297065a'/>
<id>b2b1d9a3a8cbf2f5d0089e29931cacf36297065a</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>encode relations on module base</title>
<updated>2026-03-06T07:10:31+00:00</updated>
<author>
<name>Marcos Magueta</name>
<email>maguetamarcos@gmail.com</email>
</author>
<published>2026-03-06T07:10:31+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/Sakura/commit/?id=5bbbbc976d25859082014f3720b82bcd2d05a2f0'/>
<id>5bbbbc976d25859082014f3720b82bcd2d05a2f0</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>ocaml re-migration</title>
<updated>2026-03-06T02:42:15+00:00</updated>
<author>
<name>Marcos Magueta</name>
<email>maguetamarcos@gmail.com</email>
</author>
<published>2026-03-06T02:42:15+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/Sakura/commit/?id=8c640a262969ef44cd8bc0e0abe95e2a54f4c3f5'/>
<id>8c640a262969ef44cd8bc0e0abe95e2a54f4c3f5</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>migrating to erlang to attach to mnesia</title>
<updated>2025-11-11T03:00:43+00:00</updated>
<author>
<name>Marcos Magueta</name>
<email>maguetamarcos@gmail.com</email>
</author>
<published>2025-11-11T03:00:43+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/Sakura/commit/?id=3063608df6ff1668f683d9d22c57fea29d728d0d'/>
<id>3063608df6ff1668f683d9d22c57fea29d728d0d</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>State of the world with Merkle Tree composition of files (#2)</title>
<updated>2024-10-27T04:53:18+00:00</updated>
<author>
<name>Marcos Magueta</name>
<email>maguetamarcos@gmail.com</email>
</author>
<published>2024-10-27T04:53:18+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/Sakura/commit/?id=fcb5613755b08fcb7ae73a3826b1cdce40e2747f'/>
<id>fcb5613755b08fcb7ae73a3826b1cdce40e2747f</id>
<content type='text'>
* file state hash calculation with history on replace and insert

* add state transitions with linear hashing

* add test

* format dune files

* nix format

* delete shared flake

* disable fmt check on flake

* add nix formatter to flake shell</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
* file state hash calculation with history on replace and insert

* add state transitions with linear hashing

* add test

* format dune files

* nix format

* delete shared flake

* disable fmt check on flake

* add nix formatter to flake shell</pre>
</div>
</content>
</entry>
<entry>
<title>Basic storage with C interop (#1)</title>
<updated>2024-10-26T17:26:10+00:00</updated>
<author>
<name>Marcos Magueta</name>
<email>maguetamarcos@gmail.com</email>
</author>
<published>2024-10-26T17:26:10+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/Sakura/commit/?id=2eab114a120c7818861c0640ecdc300cf7366e53'/>
<id>2eab114a120c7818861c0640ecdc300cf7366e53</id>
<content type='text'>
* writer command design

* dune build with shared core lib

* port c lib project inside ocaml

* os specific dynamic link

* fix project name on flake

* fix: cmake cxx version breaking merklecpp

* finish write to disk and update maps func

* add non atomic commit to transaction graph

* merkle tree binding for generating root hash

* disk module refactor

---------

Co-authored-by: Renan Lopes &lt;renans.l@icloud.com&gt;</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
* writer command design

* dune build with shared core lib

* port c lib project inside ocaml

* os specific dynamic link

* fix project name on flake

* fix: cmake cxx version breaking merklecpp

* finish write to disk and update maps func

* add non atomic commit to transaction graph

* merkle tree binding for generating root hash

* disk module refactor

---------

Co-authored-by: Renan Lopes &lt;renans.l@icloud.com&gt;</pre>
</div>
</content>
</entry>
</feed>
