<h1 id="algebraic-interfaces">Algebraic Interfaces<a aria-hidden="true" class="anchor-heading icon-link" href="#algebraic-interfaces"></a></h1>
Algebraic structures are powerful tools for modeling tricky domains.
<ul>
<li><a href="https://en.wikipedia.org/wiki/Relational_algebra">Relational Algebra</a></li>
<li><a href="https://en.wikipedia.org/wiki/Conflict-free_replicated_data_type">CRDTs (maybe)?</a></li>
</ul>
What does a UI for them look like?
<ul>
<li><a href="https://www.youtube.com/watch?v=vQ61mPn3Nio">MathMap: Supporting Exploratory Problem Solving with Algebra</a></li>
<li><a href="https://dl.acm.org/doi/10.1145/3411764.3445460">Constructing Embodied Algebra by Sketching</a></li>
<li><a href="https://dragonbox.com/products/algebra-12">https://dragonbox.com/products/algebra-12</a></li>
</ul>
<h2 id="related-stuff">Related stuff<a aria-hidden="true" class="anchor-heading icon-link" href="#related-stuff"></a></h2>
<a href="https://kubuszok.com/2018/algebras-we-love/">https://kubuszok.com/2018/algebras-we-love/</a>
<a href="https://crypto.stanford.edu/~blynn/haskell/ga.html">https://crypto.stanford.edu/~blynn/haskell/ga.html</a>
<a href="https://jrsinclair.com/articles/2020/algebraic-structure-of-functions-illustrated-with-react-components/">https://jrsinclair.com/articles/2020/algebraic-structure-of-functions-illustrated-with-react-components/</a>
<a href="https://westoncb.blogspot.com/2017/10/thoughts-on-how-to-find-alternate.html?m=1">Thoughts on how to find alternate algebra-like systems</a>
<a href="https://github.com/fantasyland/fantasy-land">https://github.com/fantasyland/fantasy-land</a>
<a href="https://zenodo.org/record/2565243">https://zenodo.org/record/2565243</a>
<a href="https://web.archive.org/web/20191113070416if_/http://stedolan.net:80/research/semirings-slides.pdf">https://web.archive.org/web/20191113070416if_/http://stedolan.net:80/research/semirings-slides.pdf</a>
(via Prathyush)
<a href="https://m.youtube.com/watch?v=CfbwOxV8NA0">https://m.youtube.com/watch?v=CfbwOxV8NA0</a>
<a href="https://twitter.com/prathyvsh/status/1304507282152185858?s=09">https://twitter.com/prathyvsh/status/1304507282152185858?s=09</a>
<a href="https://twitter.com/docmilanfar/status/1305028501481771008">https://twitter.com/docmilanfar/status/1305028501481771008</a>
<a href="http://hdc.cs.arizona.edu/papers/infovis_2014_algebraic.pdf">http://hdc.cs.arizona.edu/papers/infovis_2014_algebraic.pdf</a>
<a href="https://arxiv.org/pdf/2104.04042.pdf">https://arxiv.org/pdf/2104.04042.pdf</a>

Algebraic Interfaces


This is [Max Krieger](https://a9.io)'s "inquiry" page. I guess it's like a [Digital Garden](https://github.com/MaggieAppleton/digital-gardeners). But I'm not trying to upload my Second Brain to it. Just want to share some half-baked ideas. One source of inspiration for this was Kevin Lynagh's ["Collaboration ideas"](https://kevinlynagh.com/ideas/). See also Sharif Shameem's ["Questions"](https://sharif.io/questions/).

It was made with [Dendron](https://dendron.so).

Take everything I write here (well, everywhere) with a grain of salt. That said I'm always happy to talk about anything on here.

The pages definitely don't adhere to [Andy's Evergreen Notes](https://notes.andymatuschak.org/z4SDCZQeRo4xFEQ8H4qrSqd68ucpgE6LU155C) pattern, I hope one day they do.

Feel free to add [a PR or issue to the repo](https://github.com/maxkrieger/inquiry) to discuss any of these in public!

## Guide

Here are some of my favorite/extensive pages:

- [[Linear algebra as spreadsheet|projects.linear-algebra-spreadsheet]]
- [[Domain learning for computational microworlds|rethinking-media.microworld-languages]]
- [[Linux DE prototyping|projects.linux-desktop]]
- [[System Archaeology|projects.system-archaeology]]

---

![](/assets/images/2021-03-18-20-55-10.png)

[El Lissitzky, The Constructor (self-portrait, 1924)](https://commons.wikimedia.org/wiki/File:El_Lissitzky_The_Constructor,_self-portrait,_gelatin_silver_print,_107%C3%97118_mm,_1924_London,_Victoria_and_Albert_Museum,_Inv._PH142-1985.jpg)
