diff options
| author | JJ | 2023-11-25 10:08:46 +0000 |
|---|---|---|
| committer | JJ | 2023-11-25 10:08:46 +0000 |
| commit | d2f845d7982d305022f4313c0faa343ae11693ad (patch) | |
| tree | e28bec672c028a0716ed6669e26c387fa9fa97cf | |
| parent | 384af43d4220eb93abe06668210c594923fb9a8c (diff) | |
meow
34 files changed, 342 insertions, 27 deletions
diff --git a/_layouts/algebra.html b/_layouts/algebra.html new file mode 100644 index 0000000..b8f4703 --- /dev/null +++ b/_layouts/algebra.html @@ -0,0 +1,29 @@ +--- +layout: default +--- +<header> +<h1> + <a href="https://apropos.codes">apropos</a> +</h1> +<div> + <nav> + <b><a href="/mathematics">mathematics</a></b> + <a href="/linguistics">linguistics</a> + <a href="/computation">computation</a> + <a href="/ctf">ctf</a> + </nav> + <nav> + <a href="/foundations">foundations</a> + <b><a href="/algebra">algebra</a></b> + <a href="/analysis">analysis</a> + </nav> + <nav> + <a href="/algebra/linear-algebra">linear algebra</a> + <a href="/algebra/coding-theory">coding theory</a> + <a href="/algebra/abstract-algebra">abstract algebra</a> + </nav> +</div> +</header> +<main> +{{ content }} +</main> diff --git a/_layouts/analysis.html b/_layouts/analysis.html new file mode 100644 index 0000000..5faa293 --- /dev/null +++ b/_layouts/analysis.html @@ -0,0 +1,29 @@ +--- +layout: default +--- +<header> +<h1> + <a href="https://apropos.codes">apropos</a> +</h1> +<div> + <nav> + <b><a href="/mathematics">mathematics</a></b> + <a href="/linguistics">linguistics</a> + <a href="/computation">computation</a> + <a href="/ctf">ctf</a> + </nav> + <nav> + <a href="/foundations">foundations</a> + <a href="/algebra">algebra</a> + <b><a href="/analysis">analysis</a></b> + </nav> + <nav> + <a href="/analysis/calculus">calculus</a> + <a href="/analysis/real-analysis">real analysis</a> + <a href="/analysis/complex-analysis">complex analysis</a> + </nav> +</div> +</header> +<main> +{{ content }} +</main> diff --git a/_layouts/computation.html b/_layouts/computation.html new file mode 100644 index 0000000..ec3328d --- /dev/null +++ b/_layouts/computation.html @@ -0,0 +1,35 @@ +--- +layout: default +--- +<header> +<h1> + <a href="https://apropos.codes">apropos</a> +</h1> +<div> + <nav> + <a href="/mathematics">mathematics</a> + <a href="/linguistics">linguistics</a> + <b><a href="/computation">computation</a></b> + <a href="/ctf">ctf</a> + </nav> + <nav> + <a href="/syntax">syntax</a> + <a href="/semantics">semantics</a> + <a href="/compilers">compilers</a> + <br> + <a href="/types">types</a> + <a href="/modules">modules</a> + <a href="/monads">monads</a> + <a href="/effects">effects</a> + <a href="/continuations">continuations</a> + <br> + <a href="/lambda-calculus">lambda calculus</a> + <a href="/memory-management">memory management</a> + <a href="/networking">networking</a> + <a href="/paradigms">paradigms</a> + </nav> +</div> +</header> +<main> +{{ content }} +</main> diff --git a/_layouts/ctf.html b/_layouts/ctf.html new file mode 100644 index 0000000..c38148a --- /dev/null +++ b/_layouts/ctf.html @@ -0,0 +1,26 @@ +--- +layout: default +--- +<header> +<h1> + <a href="https://apropos.codes">apropos</a> +</h1> +<div> + <nav> + <a href="/foundations">foundations</a> + <a href="/computation">computation</a> + <a href="/mathematics">mathematics</a> + <a href="/linguistics">linguistics</a> + <b><a href="/ctf">ctf</a></b> + </nav> + <nav> + <a href="/rev">rev</a> + <a href="/pwn">pwn</a> + <a href="/crypto">crypto</a> + <a href="/web">web</a> + </nav> +</div> +</header> +<main> +{{ content }} +</main> diff --git a/_layouts/default.html b/_layouts/default.html index fbec88d..4583528 100644 --- a/_layouts/default.html +++ b/_layouts/default.html @@ -1,31 +1,17 @@ <!DOCTYPE html> -<html> +<html lang="en"> <head> - <title>Wiki</title> + <title>{{ page.title }}</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"/> + <style> + header { padding-bottom: 1em; } + </style> </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> +{{ content }} </body> </html> diff --git a/_layouts/foundations.html b/_layouts/foundations.html new file mode 100644 index 0000000..77bb237 --- /dev/null +++ b/_layouts/foundations.html @@ -0,0 +1,30 @@ +--- +layout: default +--- +<header> +<h1> + <a href="https://apropos.codes">apropos</a> +</h1> +<div> + <nav> + <b><a href="/mathematics">mathematics</a></b> + <a href="/linguistics">linguistics</a> + <a href="/computation">computation</a> + <a href="/ctf">ctf</a> + </nav> + <nav> + <b><a href="/foundations">foundations</a></b> + <a href="/algebra">algebra</a> + <a href="/analysis">analysis</a> + </nav> + <nav> + <a href="/foundations/logic">logic</a> + <a href="/foundations/proof">proof</a> + <a href="/foundations/types">types</a> + <a href="/foundations/category-theory">category theory</a> + </nav> +</div> +</header> +<main> +{{ content }} +</main> diff --git a/_layouts/linguistics.html b/_layouts/linguistics.html new file mode 100644 index 0000000..95ac6c0 --- /dev/null +++ b/_layouts/linguistics.html @@ -0,0 +1,25 @@ +--- +layout: default +--- +<header> +<h1> + <a href="https://apropos.codes">apropos</a> +</h1> +<div> + <nav> + <a href="/mathematics">mathematics</a> + <b><a href="/linguistics">linguistics</a></b> + <a href="/computation">computation</a> + <a href="/ctf">ctf</a> + </nav> + <nav> + <a href="/glossary">glossary</a> + <a href="/syntax">syntax</a> + <a href="/semantics">semantics</a> + <a href="/types">types</a> + </nav> +</div> +</header> +<main> +{{ content }} +</main> diff --git a/_layouts/mathematics.html b/_layouts/mathematics.html new file mode 100644 index 0000000..6ad8497 --- /dev/null +++ b/_layouts/mathematics.html @@ -0,0 +1,24 @@ +--- +layout: default +--- +<header> +<h1> + <a href="https://apropos.codes">apropos</a> +</h1> +<div> + <nav> + <b><a href="/mathematics">mathematics</a></b> + <a href="/linguistics">linguistics</a> + <a href="/computation">computation</a> + <a href="/ctf">ctf</a> + </nav> + <nav> + <a href="/foundations">foundations</a> + <a href="/algebra">algebra</a> + <a href="/analysis">analysis</a> + </nav> +</div> +</header> +<main> +{{ content }} +</main> diff --git a/computation/compilers.md b/computation/compilers.md index b9db36d..8e6ebbf 100644 --- a/computation/compilers.md +++ b/computation/compilers.md @@ -1,7 +1,12 @@ +--- +layout: computation +title: computation/compilers +--- + # compilers articles -- [Compiler Optimizations Are Hard Because They Forget](https://faultlore.com/blah/oops-that-was-important/) +- [Compiler optimizations are hard because they forget](https://faultlore.com/blah/oops-that-was-important/) - [A tutorial on how to write a compiler using LLVM](https://tomassetti.me/a-tutorial-on-how-to-write-a-compiler-using-llvm/) books and courses diff --git a/computation/continuations.md b/computation/continuations.md index 67b8675..b2126f8 100644 --- a/computation/continuations.md +++ b/computation/continuations.md @@ -1,3 +1,8 @@ +--- +layout: computation +title: computation/compilers +--- + # continuations - [nim-works CPS](https://github.com/nim-works/cps/tree/master/docs): diff --git a/computation/effects.md b/computation/effects.md index 98312c5..50be541 100644 --- a/computation/effects.md +++ b/computation/effects.md @@ -1,3 +1,8 @@ +--- +layout: computation +title: computation/effects +--- + # effects posts @@ -5,7 +10,7 @@ posts - [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) +- [OCaml effects tutorial](https://github.com/ocaml-multicore/ocaml-effects-tutorial) - [Simple functional effects with tag unions](https://www.youtube.com/watch?v=7SidSvJcPd0) - [Effect bibliography](https://github.com/yallop/effects-bibliography) diff --git a/computation/memory-management.md b/computation/memory-management.md new file mode 100644 index 0000000..b4dc8be --- /dev/null +++ b/computation/memory-management.md @@ -0,0 +1,16 @@ +# memory management + +lobster +- [Memory Management in Lobster](https://aardappel.github.io/lobster/memory_management.html) + +nim +- [ARC/ORC in Nim](https://nim-lang.org/blog/2020/10/15/introduction-to-arc-orc-in-nim.html) +- [ORC in Nim](https://nim-lang.org/blog/2020/12/08/introducing-orc.html) +- [Destructors and Move Semantics in Nim](https://nim-lang.org/docs/destructors.html) +- [Nim's ARC/ORC and Rust's move semantics](https://paste.sr.ht/blob/731278535144f00fb0ecfc41d6ee48513233baa4) + +## reference counting + +## tracing + +## ownership diff --git a/computation/modules.md b/computation/modules.md index 8ec4b61..cde238c 100644 --- a/computation/modules.md +++ b/computation/modules.md @@ -1,9 +1,9 @@ -# Modules +# modules An overarching question I've had that I've been unable to resolve: are ML-style modules any more expressive than a system with: - polymorphic data types - polymorphic interface types -- first-class modules, that are *not* polymorphic (no functors)? +- first-class modules that are *not* polymorphic (no functors)? ## Resources @@ -11,8 +11,7 @@ Papers - [F-ing Modules](https://www.cambridge.org/core/journals/journal-of-functional-programming/article/fing-modules/B573FA00832D55D4878863DE1725D90B) (2014) Posts -- [Modules Matter Most](https://existentialtype.wordpress.com/2011/04/16/modules-matter-most/) - - [Modules Matter Most (presentation)](http://macqueenfest.cs.uchicago.edu/slides/harper.pdf) +- [Modules Matter Most](https://existentialtype.wordpress.com/2011/04/16/modules-matter-most/) (and [slides](http://macqueenfest.cs.uchicago.edu/slides/harper.pdf)) - ['Modules Matter Most' for the Masses](https://www.pathsensitive.com/2023/03/modules-matter-most-for-masses.html) - [First-Class Modules: An Introduction](https://dev.realworldocaml.org/first-class-modules.html) - [Exotic Programming Ideas: Module Systems](https://www.stephendiehl.com/posts/exotic01.html) @@ -20,5 +19,5 @@ Posts - [UW CSE 341: ML Modules](https://courses.cs.washington.edu/courses/cse341/04wi/lectures/09-ml-modules.html) Books -- [ATTAPL Ch. 8: Design Considerations for ML-style Module Systems]() +- [ATTAPL Ch. 8: Design Considerations for ML-style Module Systems](https://annas-archive.org/md5/7175434efd5620b4b117aa45a01777fa) diff --git a/ctf/crypto.md b/ctf/crypto.md index 31ac887..665ace4 100644 --- a/ctf/crypto.md +++ b/ctf/crypto.md @@ -1,3 +1,8 @@ +--- +layout: ctf +title: ctf/cryptography +--- + # cryptography for computer security - [cryptohack](https://cryptohack.com) @@ -1,3 +1,8 @@ +--- +layout: ctf +title: ctf/binary exploitation +--- + # binary exploitation - [pwn.college](https://pwn.college) @@ -1,3 +1,8 @@ +--- +layout: ctf +title: ctf/reverse engineering +--- + # reverse engineering - [crackmes.one](https://crackmes.one) @@ -1,3 +1,8 @@ +--- +layout: ctf +title: ctf/web exploitation +--- + # web security - [websec.fr](https://websec.fr) diff --git a/foundations/index.md b/foundations/index.md deleted file mode 100644 index e69de29..0000000 --- a/foundations/index.md +++ /dev/null diff --git a/foundations/lambdas.md b/foundations/lambdas.md deleted file mode 100644 index e69de29..0000000 --- a/foundations/lambdas.md +++ /dev/null diff --git a/foundations/types.md b/foundations/types.md deleted file mode 100644 index e69de29..0000000 --- a/foundations/types.md +++ /dev/null diff --git a/linguistics/index.md b/linguistics/index.md index e69de29..abe12f7 100644 --- a/linguistics/index.md +++ b/linguistics/index.md @@ -0,0 +1,5 @@ +--- +layout: linguistics +title: linguistics +--- + diff --git a/linguistics/semantics.md b/linguistics/semantics.md new file mode 100644 index 0000000..d04b917 --- /dev/null +++ b/linguistics/semantics.md @@ -0,0 +1,12 @@ +--- +layout: linguistics +title: linguistics/semantics +--- + +# notes on semantics + +Semantics is the study of **meaning**. + +How do we know what sentences are true and which are false? +What conditions must hold for a sentence to be true? + diff --git a/linguistics/syntax.md b/linguistics/syntax.md new file mode 100644 index 0000000..c2c3b54 --- /dev/null +++ b/linguistics/syntax.md @@ -0,0 +1,5 @@ +--- +layout: linguistics +title: linguistics/syntax +--- + diff --git a/mathematics/abstract-algebra.md b/mathematics/abstract-algebra.md index d58cb53..c2446cd 100644 --- a/mathematics/abstract-algebra.md +++ b/mathematics/abstract-algebra.md @@ -1,3 +1,8 @@ +--- +layout: algebra +title: mathematics/algebra/abstract algebra +--- + # various notes on topics in abstract algebra ## groups diff --git a/mathematics/category-theory.md b/mathematics/category-theory.md index e69de29..19100a7 100644 --- a/mathematics/category-theory.md +++ b/mathematics/category-theory.md @@ -0,0 +1,5 @@ +--- +layout: foundations +title: mathematics/foundations/category theory +--- + diff --git a/mathematics/coding-theory.md b/mathematics/coding-theory.md index e69de29..f809ff4 100644 --- a/mathematics/coding-theory.md +++ b/mathematics/coding-theory.md @@ -0,0 +1,6 @@ +--- +layout: algebra +title: mathematics/algebra/coding theory +--- + +# coding theory diff --git a/mathematics/complex-analysis.md b/mathematics/complex-analysis.md index e69de29..26e1ff0 100644 --- a/mathematics/complex-analysis.md +++ b/mathematics/complex-analysis.md @@ -0,0 +1,5 @@ +--- +layout: analysis +title: mathematics/analysis/complex analysis +--- + diff --git a/mathematics/foundations.md b/mathematics/foundations.md new file mode 100644 index 0000000..8b16600 --- /dev/null +++ b/mathematics/foundations.md @@ -0,0 +1,8 @@ +--- +layout: foundations +title: mathematics/foundations +--- + +# foundations + +There is broad overlap in... diff --git a/mathematics/lambdas.md b/mathematics/lambdas.md new file mode 100644 index 0000000..1c93818 --- /dev/null +++ b/mathematics/lambdas.md @@ -0,0 +1,5 @@ +--- +layout: foundations +title: mathematics/foundations/lambdas +--- + diff --git a/mathematics/linear-algebra.md b/mathematics/linear-algebra.md index fbd4a63..5fe2210 100644 --- a/mathematics/linear-algebra.md +++ b/mathematics/linear-algebra.md @@ -1 +1,6 @@ +--- +layout: algebra +title: mathematics/algebra/linear algebra +--- + # Linear Algebra diff --git a/mathematics/logic.md b/mathematics/logic.md index 8068751..020a6e0 100644 --- a/mathematics/logic.md +++ b/mathematics/logic.md @@ -1,3 +1,8 @@ +--- +layout: mathematics +title: mathematics/foundations/logic +--- + # sparse notes on logic, mathematics, and that around and in between ## kinds of logic diff --git a/mathematics/proof.md b/mathematics/proof.md new file mode 100644 index 0000000..170026b --- /dev/null +++ b/mathematics/proof.md @@ -0,0 +1,5 @@ +--- +layout: mathematics +title: mathematics/foundations/proof +--- + diff --git a/mathematics/real-analysis.md b/mathematics/real-analysis.md index e69de29..9c0b134 100644 --- a/mathematics/real-analysis.md +++ b/mathematics/real-analysis.md @@ -0,0 +1,5 @@ +--- +layout: analysis +title: mathematics/analysis/real analysis +--- + diff --git a/mathematics/types.md b/mathematics/types.md new file mode 100644 index 0000000..577e610 --- /dev/null +++ b/mathematics/types.md @@ -0,0 +1,5 @@ +--- +layout: foundations +title: mathematics/foundations/types +--- + |