meow

7 files changed, 59 insertions, 13 deletions

diff --git a/computation/continuations.md b/computation/continuations.md
index 4d4565d..67b8675 100644
--- a/computation/continuations.md
+++ b/computation/continuations.md
@@ -1,13 +1,14 @@
 # continuations
 
-## Resources
-- [nim-works CPS](https://github.com/nim-works/cps/tree/master/docs): 
+- [nim-works CPS](https://github.com/nim-works/cps/tree/master/docs):
 - [CPS vs. SSA](http://www.mlton.org/pipermail/mlton/2003-January/023054.html)
-- https://matt.might.net/articles/by-example-continuation-passing-style/
-- https://okmij.org/ftp/continuations/
+- [By example: continuation-passing style](https://matt.might.net/articles/by-example-continuation-passing-style/)
+- [How to compile with continuations](https://matt.might.net/articles/cps-conversion/)
+- [**Oleg Kiselyov's writings**](https://okmij.org/ftp/continuations/)
+- [An argument against call/cc](https://okmij.org/ftp/continuations/against-callcc.html)
 
-## Continuations
+## continuations
 
-## Continuation-passing style
+## continuation-passing style
 
-## Deliminated continuations
+## deliminated continuations
diff --git a/computation/effects.md b/computation/effects.md
index 7b8ba3e..ac11fae 100644
--- a/computation/effects.md
+++ b/computation/effects.md
@@ -1 +1,24 @@
-# Effects
+# effects
+
+posts
+- [Oleg Kiselyov's writings](https://www.okmij.org/ftp/)
+- [Exotic Programming Ideas: Effect Systems](https://www.stephendiehl.com/posts/exotic03.html)
+- [Faking algebraic effects and handlers with traits](https://blog.shtsoft.eu/2022/12/22/effect-trait-dp.html)
+- [From deliminated continuations to algebraic effects](https://blog.poisson.chat/posts/2023-01-02-del-cont-examples.html)
+- [OCaml Effects Tutorial](https://github.com/ocaml-multicore/ocaml-effects-tutorial)
+- [Simple functional effects with tag unions](https://www.youtube.com/watch?v=7SidSvJcPd0)
+
+papers
+- [What is algebraic about algebraic effects and handlers?](https://arxiv.org/abs/1807.05923)
+- [Asynchronous effects](https://dl.acm.org/doi/10.1145/3434305)
+
+languages
+- [Koka](https://koka-lang.github.io/koka/doc/book.html)
+- [Effekt](https://effekt-lang.org/)
+- [Eff](https://www.eff-lang.org/)
+- [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/index.md b/computation/index.md
index e69de29..9ac7e22 100644
--- a/computation/index.md
+++ b/computation/index.md
@@ -0,0 +1,7 @@
+# notes on computation and its consequences
+
+- [paradigms](paradigms)
+- [modules](modules)
+- [monads](monads)
+- [effects](effects)
+- [continuations](continuations)
diff --git a/computation/lambda-calculus.md b/computation/lambda-calculus.md
new file mode 100644
index 0000000..769b80d
--- /dev/null
+++ b/computation/lambda-calculus.md
@@ -0,0 +1 @@
+# the lambda calculus
diff --git a/computation/networking.md b/computation/networking.md
new file mode 100644
index 0000000..85c1b6b
--- /dev/null
+++ b/computation/networking.md
@@ -0,0 +1,12 @@
+# the networking layer of the internet
+
+## routing: IP, DNS
+
+as number?
+bgb?
+dns?
+hmmmm
+
+## transport: TCP, UDP, QUIC
+
+## content: HTTP, FTP
diff --git a/computation/paradigms.md b/computation/paradigms.md
index 59261ae..e66a454 100644
--- a/computation/paradigms.md
+++ b/computation/paradigms.md
@@ -1,9 +1,9 @@
-# Programming Paradigms
+# reflections on programming paradigms
 
-## Imperative Programming
+## imperative programming
 
-## Object-Oriented Programming
+## object-oriented programming
 
-## Functional Programming
+## functional programming
 
 ...
diff --git a/computation/semantics.md b/computation/semantics.md
index e3e063a..d854341 100644
--- a/computation/semantics.md
+++ b/computation/semantics.md
@@ -1 +1,3 @@
-# Formal Semantics
+# formal semantics
+
+## denotational semantics