From 6bd4f091312baca69ec7a984e739e00a208127d5 Mon Sep 17 00:00:00 2001
From: JJ
Date: Sat, 25 Nov 2023 16:22:57 -0800
Subject: meow

---
 computation/effects.md     | 3 ---
 computation/monads.md      | 8 ++++++++
 computation/networking.md  | 5 -----
 computation/patterns.md    | 6 ++++++
 computation/types.md       | 4 ++--
 mathematics/foundations.md | 2 --
 6 files changed, 16 insertions(+), 12 deletions(-)
 create mode 100644 computation/monads.md
 create mode 100644 computation/patterns.md

diff --git a/computation/effects.md b/computation/effects.md
index 50be541..17c558d 100644
--- a/computation/effects.md
+++ b/computation/effects.md
@@ -25,6 +25,3 @@ languages
 - [Unison](https://www.unison-lang.org/)
 - [Effect handlers for WebAssembly](https://wasmfx.dev/)
 - [Coeffects: Context-aware programming languages](https://tomasp.net/coeffects/)
-
-
-similar to monads, continuations, ... effects provide a generalized mechanism for control flow.
diff --git a/computation/monads.md b/computation/monads.md
new file mode 100644
index 0000000..c6cc0da
--- /dev/null
+++ b/computation/monads.md
@@ -0,0 +1,8 @@
+---
+layout: computation
+title: computation/monads
+---
+
+# monads
+
+- [Monads in 300 words](https://lambda.xyz/blog/monads/)
diff --git a/computation/networking.md b/computation/networking.md
index e2cdccf..a47eee6 100644
--- a/computation/networking.md
+++ b/computation/networking.md
@@ -7,11 +7,6 @@ title: computation/networking
 
 ## routing: IP, DNS
 
-as number?
-bgb?
-dns?
-hmmmm
-
 ## transport: TCP, UDP, QUIC
 
 ## content: HTTP, FTP
diff --git a/computation/patterns.md b/computation/patterns.md
new file mode 100644
index 0000000..6236411
--- /dev/null
+++ b/computation/patterns.md
@@ -0,0 +1,6 @@
+---
+layout: computation
+title: computation/design patterns
+---
+
+# ways of going about doing things
diff --git a/computation/types.md b/computation/types.md
index 7231f82..18bc9d2 100644
--- a/computation/types.md
+++ b/computation/types.md
@@ -6,11 +6,11 @@ title: computation/types
 # types! ah, wonderous types!
 
 posts
-- [How should I read type system notation?](https://langdev.stackexchange.com/questions/2692/how-should-i-read-type-system-notation/)
+- ✨ [**How should I read type system notation?**](https://langdev.stackexchange.com/questions/2692/how-should-i-read-type-system-notation/)
 - [Programming Language Theory resources](https://steshaw.org/plt/)
 
 books
-- [_**Types and Programming Languages**_](https://www.cis.upenn.edu/~bcpierce/tapl/) by Benjamin C. Pierce: the canonical type system text
+- ✨ [_**Types and Programming Languages**_](https://www.cis.upenn.edu/~bcpierce/tapl/) by Benjamin C. Pierce: the canonical type system text
 - [_Advanced Topics in Types and Programming Languages_](https://www.cis.upenn.edu/~bcpierce/attapl/) by Benjamin C. Pierce
 
 
diff --git a/mathematics/foundations.md b/mathematics/foundations.md
index 8b16600..9057bea 100644
--- a/mathematics/foundations.md
+++ b/mathematics/foundations.md
@@ -4,5 +4,3 @@ title: mathematics/foundations
 ---
 
 # foundations
-
-There is broad overlap in...
-- 
cgit v1.2.3-70-g09d2