aboutsummaryrefslogtreecommitdiffstats
path: root/2022
diff options
context:
space:
mode:
authorBryan Newbold <bnewbold@archive.org>2022-06-24 19:49:48 -0700
committerBryan Newbold <bnewbold@archive.org>2022-06-24 19:50:42 -0700
commit7335d44275f9ed1df03be14af5bb550e66602ccc (patch)
tree4afd68eac8491a8268eaf38fafc10e39a703d5eb /2022
parent1f335d0e893b65ff96729fb10471b24670209a8c (diff)
downloadmodelthought-7335d44275f9ed1df03be14af5bb550e66602ccc.tar.gz
modelthought-7335d44275f9ed1df03be14af5bb550e66602ccc.zip
commit many old notesHEADmaster
Diffstat (limited to '2022')
-rw-r--r--2022/03/refs.md18
-rw-r--r--2022/04/refs.txt6
-rw-r--r--2022/06/notes.txt3
3 files changed, 27 insertions, 0 deletions
diff --git a/2022/03/refs.md b/2022/03/refs.md
new file mode 100644
index 0000000..82d2024
--- /dev/null
+++ b/2022/03/refs.md
@@ -0,0 +1,18 @@
+
+simple/basic rust CAS:
+https://github.com/p-e-w/savage
+
+rust PEG parser library, with nice error recovery (aka, human-readable parser errors):
+https://github.com/zesterer/chumsky
+https://github.com/zesterer/ariadne
+
+e-graphs:
+https://egraphs-good.github.io/
+https://www.philipzucker.com/egraph-1/
+https://www.philipzucker.com/egraph-2/
+https://blog.sigplan.org/2021/04/06/equality-saturation-with-egg/
+
+Julia CAS stuff:
+https://github.com/JuliaSymbolics/Metatheory.jl
+https://github.com/JuliaSymbolics/TermInterface.jl
+
diff --git a/2022/04/refs.txt b/2022/04/refs.txt
new file mode 100644
index 0000000..05d6df2
--- /dev/null
+++ b/2022/04/refs.txt
@@ -0,0 +1,6 @@
+
+https://fredrikj.net/blog/2022/04/things-i-would-like-to-see-in-a-computer-algebra-system/
+
+https://fungrim.org/
+
+institute: https://risc.jku.at/
diff --git a/2022/06/notes.txt b/2022/06/notes.txt
new file mode 100644
index 0000000..8c2fd63
--- /dev/null
+++ b/2022/06/notes.txt
@@ -0,0 +1,3 @@
+
+https://en.wikipedia.org/wiki/Ostwald_ripening
+related to ice cream (!)