From d2f845d7982d305022f4313c0faa343ae11693ad Mon Sep 17 00:00:00 2001
From: JJ
Date: Sat, 25 Nov 2023 02:08:46 -0800
Subject: meow
---
_layouts/algebra.html | 29 +++++++++++++++++++++++++++++
_layouts/analysis.html | 29 +++++++++++++++++++++++++++++
_layouts/computation.html | 35 +++++++++++++++++++++++++++++++++++
_layouts/ctf.html | 26 ++++++++++++++++++++++++++
_layouts/default.html | 26 ++++++--------------------
_layouts/foundations.html | 30 ++++++++++++++++++++++++++++++
_layouts/linguistics.html | 25 +++++++++++++++++++++++++
_layouts/mathematics.html | 24 ++++++++++++++++++++++++
computation/compilers.md | 7 ++++++-
computation/continuations.md | 5 +++++
computation/effects.md | 7 ++++++-
computation/memory-management.md | 16 ++++++++++++++++
computation/modules.md | 9 ++++-----
ctf/crypto.md | 5 +++++
ctf/pwn.md | 5 +++++
ctf/rev.md | 5 +++++
ctf/web.md | 5 +++++
foundations/index.md | 0
foundations/lambdas.md | 0
foundations/types.md | 0
linguistics/index.md | 5 +++++
linguistics/semantics.md | 12 ++++++++++++
linguistics/syntax.md | 5 +++++
mathematics/abstract-algebra.md | 5 +++++
mathematics/category-theory.md | 5 +++++
mathematics/coding-theory.md | 6 ++++++
mathematics/complex-analysis.md | 5 +++++
mathematics/foundations.md | 8 ++++++++
mathematics/lambdas.md | 5 +++++
mathematics/linear-algebra.md | 5 +++++
mathematics/logic.md | 5 +++++
mathematics/proof.md | 5 +++++
mathematics/real-analysis.md | 5 +++++
mathematics/types.md | 5 +++++
34 files changed, 342 insertions(+), 27 deletions(-)
create mode 100644 _layouts/algebra.html
create mode 100644 _layouts/analysis.html
create mode 100644 _layouts/computation.html
create mode 100644 _layouts/ctf.html
create mode 100644 _layouts/foundations.html
create mode 100644 _layouts/linguistics.html
create mode 100644 _layouts/mathematics.html
create mode 100644 computation/memory-management.md
delete mode 100644 foundations/index.md
delete mode 100644 foundations/lambdas.md
delete mode 100644 foundations/types.md
create mode 100644 linguistics/semantics.md
create mode 100644 linguistics/syntax.md
create mode 100644 mathematics/foundations.md
create mode 100644 mathematics/lambdas.md
create mode 100644 mathematics/proof.md
create mode 100644 mathematics/types.md
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
+---
+
+
+{{ content }}
+
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
+---
+
+
+{{ content }}
+
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
+---
+
+
+{{ content }}
+
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
+---
+
+
+{{ content }}
+
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 @@
-
+
- Wiki
+ {{ page.title }}
+
-
-
- {{ content }}
-
-
+{{ content }}
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
+---
+
+
+{{ content }}
+
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
+---
+
+
+{{ content }}
+
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
+---
+
+
+{{ content }}
+
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)
diff --git a/ctf/pwn.md b/ctf/pwn.md
index 8a19175..d269699 100644
--- a/ctf/pwn.md
+++ b/ctf/pwn.md
@@ -1,3 +1,8 @@
+---
+layout: ctf
+title: ctf/binary exploitation
+---
+
# binary exploitation
- [pwn.college](https://pwn.college)
diff --git a/ctf/rev.md b/ctf/rev.md
index a1ea19b..78c95cf 100644
--- a/ctf/rev.md
+++ b/ctf/rev.md
@@ -1,3 +1,8 @@
+---
+layout: ctf
+title: ctf/reverse engineering
+---
+
# reverse engineering
- [crackmes.one](https://crackmes.one)
diff --git a/ctf/web.md b/ctf/web.md
index 09107d1..9152482 100644
--- a/ctf/web.md
+++ b/ctf/web.md
@@ -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
diff --git a/foundations/lambdas.md b/foundations/lambdas.md
deleted file mode 100644
index e69de29..0000000
diff --git a/foundations/types.md b/foundations/types.md
deleted file mode 100644
index e69de29..0000000
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
+---
+
--
cgit v1.2.3-70-g09d2