From 426d431d03599b65dee1ddffd8923098cbaa79b0 Mon Sep 17 00:00:00 2001
From: JJ
Date: Thu, 23 Nov 2023 16:28:52 -0800
Subject: meow
---
_layouts/default.html | 31 +++++++++++++++++++++++++++++++
computation/continuations.md | 15 ++++++++-------
computation/effects.md | 25 ++++++++++++++++++++++++-
computation/index.md | 7 +++++++
computation/lambda-calculus.md | 1 +
computation/networking.md | 12 ++++++++++++
computation/paradigms.md | 8 ++++----
computation/semantics.md | 4 +++-
ctf/crypto.md | 11 +++++------
ctf/pwn.md | 5 ++---
ctf/rev.md | 9 ++++++---
mathematics/abstract-algebra.md | 8 ++++++++
12 files changed, 111 insertions(+), 25 deletions(-)
create mode 100644 _layouts/default.html
create mode 100644 computation/lambda-calculus.md
create mode 100644 computation/networking.md
diff --git a/_layouts/default.html b/_layouts/default.html
new file mode 100644
index 0000000..fbec88d
--- /dev/null
+++ b/_layouts/default.html
@@ -0,0 +1,31 @@
+
+
+
+ Wiki
+
+
+
+
+
+
+
+
+
+ {{ content }}
+
+
+
+
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
diff --git a/ctf/crypto.md b/ctf/crypto.md
index a1d645c..31ac887 100644
--- a/ctf/crypto.md
+++ b/ctf/crypto.md
@@ -1,10 +1,9 @@
-# Cryptography for Computer Security
+# cryptography for computer security
-## Resources
+- [cryptohack](https://cryptohack.com)
+- [cryptopals](https://cryptopals.org)
-- [Cryptohack](https://cryptohack.com)
-- [Cryptopals](https://cryptopals.org)
-## Notes on Cryptohack
+## notes on cryptohack
-## Notes on Cryptopals
+## notes on cryptopals
diff --git a/ctf/pwn.md b/ctf/pwn.md
index ed75eea..1032833 100644
--- a/ctf/pwn.md
+++ b/ctf/pwn.md
@@ -1,7 +1,6 @@
-# Binary Exploitation
-
-## Resources
+# binary exploitation
- [pwn.college](https://pwn.college)
- [pwnable.kr](https://pwnable.kr/)
- [how2heap](https://github.com/shellphish/how2heap)
+- [the nightmare book](https://guyinatuxedo.github.io/)
diff --git a/ctf/rev.md b/ctf/rev.md
index a4bfc1d..a1ea19b 100644
--- a/ctf/rev.md
+++ b/ctf/rev.md
@@ -1,5 +1,8 @@
-# Reverse Engineering
-
-## Resources
+# reverse engineering
- [crackmes.one](https://crackmes.one)
+
+## tooling
+
+- [ghidra](https://ghidra-sre.org/) [free]
+- [binary ninja](https://binary.ninja/) [$75 for students]
diff --git a/mathematics/abstract-algebra.md b/mathematics/abstract-algebra.md
index e69de29..d58cb53 100644
--- a/mathematics/abstract-algebra.md
+++ b/mathematics/abstract-algebra.md
@@ -0,0 +1,8 @@
+# various notes on topics in abstract algebra
+
+## groups
+
+## rings
+
+## fields
+
--
cgit v1.2.3-70-g09d2