diff options
| author | JJ | 2023-11-24 00:28:52 +0000 |
|---|---|---|
| committer | JJ | 2023-11-24 00:28:52 +0000 |
| commit | 426d431d03599b65dee1ddffd8923098cbaa79b0 (patch) | |
| tree | 5b5ad794c2e260bdf523e90c9e18d5ff53b8e212 | |
| parent | fa8bb975614b5da3eb358598a1fa379911900f0d (diff) | |
meow
| -rw-r--r-- | _layouts/default.html | 31 | ||||
| -rw-r--r-- | computation/continuations.md | 15 | ||||
| -rw-r--r-- | computation/effects.md | 25 | ||||
| -rw-r--r-- | computation/index.md | 7 | ||||
| -rw-r--r-- | computation/lambda-calculus.md | 1 | ||||
| -rw-r--r-- | computation/networking.md | 12 | ||||
| -rw-r--r-- | computation/paradigms.md | 8 | ||||
| -rw-r--r-- | computation/semantics.md | 4 | ||||
| -rw-r--r-- | ctf/crypto.md | 11 | ||||
| -rw-r--r-- | ctf/pwn.md | 5 | ||||
| -rw-r--r-- | ctf/rev.md | 9 | ||||
| -rw-r--r-- | mathematics/abstract-algebra.md | 8 |
12 files changed, 111 insertions, 25 deletions
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 @@ +<!DOCTYPE html> +<html> +<head> + <title>Wiki</title> + <meta charset="utf-8"/> + <meta name="viewport" content="width=device-width"/> + <link rel="icon" type="image/jpg" href="https://apropos.codes/assets/light.png"/> + <link rel="stylesheet" href="https://apropos.codes/css/style.css"/> + <link rel="stylesheet" href="https://apropos.codes/writeups/css/style.css"/> +</head> +<body> + <header> + <h1> + <a href="https://apropos.codes">apropos</a> + </h1> + <nav> + <a href="https://apropos.codes/about">about</a> + <a href="https://apropos.codes/resume">resume</a> + <a href="https://apropos.codes/notes">notes</a> + <a href="https://apropos.codes/posts">posts</a> + <a href="https://apropos.codes/writeups">writeups</a> + </nav> + </header> + <main> + {{ content }} + </main> +<footer> + <span><img src="assets/copyleft.svg" width="12" height="12" title="https://en.wikipedia.org/wiki/Criticism_of_copyright" /> 2020-2023 </span> +</footer> +</body> +</html> 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 @@ -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/) @@ -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 + |