meow

21 files changed, 51 insertions, 115 deletions

diff --git a/_layouts/algebra.html b/_layouts/algebra.html
index 0a8969b..171d8b6 100644
--- a/_layouts/algebra.html
+++ b/_layouts/algebra.html
@@ -16,11 +16,6 @@ layout: default
     <b><a href="/mathematics/algebra">algebra</a></b>
     <a href="/mathematics/analysis">analysis</a>
   </nav>
-  <nav>
-    <a href="/mathematics/linear-algebra">linear algebra</a>
-    <a href="/mathematics/coding-theory">coding theory</a>
-    <a href="/mathematics/abstract-algebra">abstract algebra</a>
-  </nav>
 </div>
 </header>
 <main>
diff --git a/_layouts/analysis.html b/_layouts/analysis.html
index 2e9fd1e..c049ee7 100644
--- a/_layouts/analysis.html
+++ b/_layouts/analysis.html
@@ -16,11 +16,6 @@ layout: default
     <a href="/mathematics/algebra">algebra</a>
     <b><a href="/mathematics/analysis">analysis</a></b>
   </nav>
-  <nav>
-    <a href="/mathematics/calculus">calculus</a>
-    <a href="/mathematics/real-analysis">real analysis</a>
-    <a href="/mathematics/complex-analysis">complex analysis</a>
-  </nav>
 </div>
 </header>
 <main>
diff --git a/_layouts/ctf.html b/_layouts/ctf.html
index 9666a6f..1688d3e 100644
--- a/_layouts/ctf.html
+++ b/_layouts/ctf.html
@@ -16,12 +16,6 @@ layout: default
     <a href="/plt">plt</a>
     <a href="/web">web</a>
   </nav>
-  <nav>
-    <a href="/ctf/rev">rev</a>
-    <a href="/ctf/pwn">pwn</a>
-    <a href="/ctf/crypto">crypto</a>
-    <a href="/ctf/web">web</a>
-  </nav>
 </div>
 </header>
 <main>
diff --git a/_layouts/foundations.html b/_layouts/foundations.html
index ac33e10..a1ae590 100644
--- a/_layouts/foundations.html
+++ b/_layouts/foundations.html
@@ -16,12 +16,6 @@ layout: default
     <a href="/mathematics/algebra">algebra</a>
     <a href="/mathematics/analysis">analysis</a>
   </nav>
-  <nav>
-    <a href="/mathematics/logic">logic</a>
-    <a href="/mathematics/proof">proof</a>
-    <a href="/mathematics/types">types</a>
-    <a href="/mathematics/category-theory">category theory</a>
-  </nav>
 </div>
 </header>
 <main>
diff --git a/_layouts/plt.html b/_layouts/plt.html
index 463950c..2a8ae15 100644
--- a/_layouts/plt.html
+++ b/_layouts/plt.html
@@ -16,24 +16,6 @@ layout: default
     <b><a href="/plt">plt</a></b>
     <a href="/web">web</a>
   </nav>
-  <nav>
-    <a href="/plt/compilers">compilers</a>
-    <a href="/plt/syntax">syntax</a>
-    <a href="/plt/semantics">semantics</a>
-    <a href="/plt/pragmatics">pragmatics</a>
-    <br>
-    <a href="/plt/types">types</a>
-    <a href="/plt/modules">modules</a>
-    <a href="/plt/monads">monads</a>
-    <a href="/plt/continuations">continuations</a>
-    <a href="/plt/effects">effects</a>
-    <br>
-    <a href="/plt/lambda-calculus">lambda calculus</a>
-    <a href="/plt/memory-management">memory management</a>
-    <a href="/plt/paradigms">paradigms</a>
-    <a href="/plt/patterns">patterns</a>
-    <a href="/plt/written-language">written-language</a>
-  </nav>
 </div>
 </header>
 <main>
diff --git a/_layouts/web.html b/_layouts/web.html
index e60f11d..8799d8a 100644
--- a/_layouts/web.html
+++ b/_layouts/web.html
@@ -16,15 +16,6 @@ layout: default
     <a href="/plt">plt</a>
     <b><a href="/web">web</a></b>
   </nav>
-  <nav>
-    <a href="/web/html">html</a>
-    <a href="/web/htmx">htmx</a>
-    <a href="/web/css">css</a>
-    <a href="/web/tailwind">tailwind</a>
-    <br>
-    <a href="/web/markdown">markdown</a>
-    <a href="/web/networking">networking</a>
-  </nav>
 </div>
 </header>
 <main>
diff --git a/ctf/crypto.md b/ctf/crypto.md
index 7ff4bd2..f1b061d 100644
--- a/ctf/crypto.md
+++ b/ctf/crypto.md
@@ -5,6 +5,8 @@ title: some notes on cryptography
 
 # cryptography
 
+## practice
+
 - [cryptohack](https://cryptohack.com)
 - [cryptopals](https://cryptopals.org)
 
diff --git a/ctf/index.md b/ctf/index.md
index bf2cdd4..aaf7d94 100644
--- a/ctf/index.md
+++ b/ctf/index.md
@@ -11,8 +11,21 @@ title: ctf
 
 # all my knowledge about capture the flag
 
-[capture the flag](https://en.wikipedia.org/wiki/Capture_the_flag_(cybersecurity)) is a wonderful activity in which one gets together with a merry band of friends to solve puzzles for the sake of solving puzzles and learning things. such puzzles are often security-related.
+[capture the flag](https://en.wikipedia.org/wiki/Capture_the_flag_(cybersecurity)) is a wonderful activity in which one gets together with a merry band of friends to solve puzzles for the sake of solving puzzles and learning. such puzzles are often security-related.
 
-capture the flag competitions ("ctfs") are hosted by established teams, or organizations, or corporations. there is typically at least one running at any given time: although most usually start fridays and run for a day or two.
+capture the flag competitions ("ctfs") are hosted by established teams, or security organizations, or corporations.
+there is typically at least one running at any given time: although most usually start fridays and run for a day or two.
+a list of past, present, and future ctfs can be found on [ctftime](https://ctftime.org/).
 
-while competing in ctfs can be group work: practice is overwhelmingly a solo activity. to learn how to play ctfs, one must learn to be very comfortable learning on their own.
+while competing in ctfs can be group work: practice is overwhelmingly a solo activity.
+to get good at playing in ctfs, one must learn to be very comfortable learning on their own.
+
+## [crypto](cryptography)
+
+## [rev](reverse-engineering)
+
+## [pwn](binary-exploitation)
+
+## [web](web-security)
+
+## [misc](miscellaneous-problems)
diff --git a/ctf/pwn.md b/ctf/pwn.md
index 053ea28..eaa2ee8 100644
--- a/ctf/pwn.md
+++ b/ctf/pwn.md
@@ -5,6 +5,8 @@ title: some notes on binary exploitation
 
 # binary exploitation
 
+## practice
+
 - [pwn.college](https://pwn.college)
 - [ionetgarage](https://io.netgarage.org/), [pwnable.kr](https://pwnable.kr/), [pwnable.tw](https://pwnable.tw), [pwnable.xyz](https://pwnable.xyz)...
 - [the nightmare book](https://guyinatuxedo.github.io/)
@@ -12,5 +14,6 @@ title: some notes on binary exploitation
 
 ## tooling
 
+- [pwntools](https://github.com/Gallopsled/pwntools)
 - [angr](https://angr.io/)
 - [z3](https://github.com/Z3Prover/z3), [cvc5](https://cvc5.github.io/), [stp](https://stp.github.io/), [yices2](https://yices.csl.sri.com/): smt solvers
diff --git a/ctf/rev.md b/ctf/rev.md
index ba82c48..e39710b 100644
--- a/ctf/rev.md
+++ b/ctf/rev.md
@@ -5,9 +5,17 @@ title: some notes on reverse engineering
 
 # reverse engineering
 
+## practice
+
 - [crackmes.one](https://crackmes.one)
 
 ## tooling
 
 - [ghidra](https://ghidra-sre.org/) [free]
 - [binary ninja](https://binary.ninja/) [$75 for students]
+- [GDB](https://www.sourceware.org/gdb/)
+- [GEF](https://github.com/hugsy/gef)
+
+## language-specific tips: go
+
+## language-specific tips: rust
diff --git a/ctf/web.md b/ctf/web.md
index 93612ae..a68f693 100644
--- a/ctf/web.md
+++ b/ctf/web.md
@@ -5,14 +5,20 @@ title: some notes on web security
 
 # web security
 
+## practice
+
+- [picoctf.org](https://picoctf.org)
 - [websec.fr](https://websec.fr)
+- https://portswigger.net/web-security/all-materials
 
 ## tooling
 
+- curl
 - devtools
 - burp suite
 - mitmproxy
-- ???
+- [webhook.site](https://webhook.site/)
+- [dnslog.cn](http://www.dnslog.cn/)
 
 ## common attacks
 
diff --git a/linguistics/semantics.md b/linguistics/semantics.md
index d3e242f..7615145 100644
--- a/linguistics/semantics.md
+++ b/linguistics/semantics.md
@@ -7,7 +7,7 @@ title: linguistics/semantics
 
 Semantics is the study of **meaning**.
 
-How do we know what sentences are true and which are false?
-What does it *mean* for a sentence to be true?
+How do we know what sentences are true and which are false?<br>
+What does it *mean* for a sentence to be true?<br>
 What conditions must hold for a sentence to be true?
 
diff --git a/mathematics/abstract-algebra.md b/mathematics/abstract-algebra.md
deleted file mode 100644
index c2446cd..0000000
--- a/mathematics/abstract-algebra.md
+++ /dev/null
@@ -1,13 +0,0 @@
----
-layout: algebra
-title: mathematics/algebra/abstract algebra
----
-
-# various notes on topics in abstract algebra
-
-## groups
-
-## rings
-
-## fields
-
diff --git a/mathematics/algebra.md b/mathematics/algebra.md
index 4b9a097..3756604 100644
--- a/mathematics/algebra.md
+++ b/mathematics/algebra.md
@@ -5,8 +5,8 @@ title: mathematics/algebra
 
 # algebra
 
-modern algebra is the study of **algebraic structures**: groups, rings, fields, modules, vector spaces, lattices, and the like.
-these structures are very general: and so results from abstract algebra can be applied to a wide variety of situations.
+modern algebra is the study of **algebraic structures**: groups, rings, fields, modules, and the like.
+these structures are very abstract: and so results can be applied to a wide variety of situations.
 
 ## structures
 
@@ -34,9 +34,9 @@ A **ring** $R$ is a set with two binary operations $+$ and $×$ satisfying the f
   - $∀a,b,c : (a+b) × c = (a×c)+(b×c)$
   - $∀a,b,c : a × (b+c) = (a×b) + (a×c)$
 - An Abelian or **commutative ring** satisfies an additional axiom:
-  - commutativity (of ×): $∀a,b : a×b=b×a$
+  - commutativity (of $×$): $∀a,b : a×b=b×a$
 
-A **field** is a *commutative ring* where $0 ≠ 1$ and all elements sans $0$ have an inverse $a^{-1}$ under multiplication.
+A **field** is a *commutative ring* where all elements sans $0$ have an inverse $a^{-1}$ under multiplication. Subsequently, $0 ≠ 1$. A field may be also thought of as a set on which addition, subtraction, multiplication, and division are defined and behave as they do on $ℝ$.
 
 A **vector space** $V$ over a field $F$ of scalars is a set with a binary operation $+$ and a binary function satisfying the following axioms:
 - $(V, +)$ is a *commutative group*:
@@ -53,7 +53,7 @@ A **vector space** $V$ over a field $F$ of scalars is a set with a binary operat
 
 A **module** $M$ is a generalization of a *vector space* to function over a ring $R$ instead of a field.
 
-A **lattice** $L$ is a set with two binary operations ∧ and ∨ satisfying the following axioms:
+A **lattice** $L$ is a set with two binary operations $∧$ and $∨$ satisfying the following axioms:
 - commutativity:
   - $∀a,b : a ∧ b = b ∧ a$
   - $∀a,b : a ∨ b = b ∨ a$
@@ -67,22 +67,14 @@ A **lattice** $L$ is a set with two binary operations ∧ and ∨ satisfying the
   - $∀a : a ∧ a = a$
   - $∀a : a ∨ a = a$
 
-## group theory
+## [group theory](group-theory.md)
 
-...
+## [ring theory](ring-theory.md)
 
-## ring theory
+## [galois theory](galois-theory.md)
 
-...
+## [linear algebra](linear-algebra.md)
 
-## galois theory
+## [order theory](order-theory.md)
 
-...
-
-## linear algebra
-
-...
-
-## order theory
-
-a lattice may alternatively be defined as...
+## [coding theory](coding-theory.md)
diff --git a/mathematics/calculus.md b/mathematics/calculus.md
deleted file mode 100644
index d78b7e7..0000000
--- a/mathematics/calculus.md
+++ /dev/null
@@ -1,6 +0,0 @@
----
-layout: analysis
-title: mathematics/analysis/calculus
----
-
-# calculus
diff --git a/mathematics/complex-analysis.md b/mathematics/complex-analysis.md
deleted file mode 100644
index 26e1ff0..0000000
--- a/mathematics/complex-analysis.md
+++ /dev/null
@@ -1,5 +0,0 @@
----
-layout: analysis
-title: mathematics/analysis/complex analysis
----
-
diff --git a/mathematics/lambdas.md b/mathematics/lambdas.md
deleted file mode 100644
index 1c93818..0000000
--- a/mathematics/lambdas.md
+++ /dev/null
@@ -1,5 +0,0 @@
----
-layout: foundations
-title: mathematics/foundations/lambdas
----
-
diff --git a/mathematics/linear-algebra.md b/mathematics/linear-algebra.md
index 5fe2210..6853121 100644
--- a/mathematics/linear-algebra.md
+++ b/mathematics/linear-algebra.md
@@ -1,6 +1,6 @@
 ---
 layout: algebra
-title: mathematics/algebra/linear algebra
+title: mathematics/linear algebra
 ---
 
 # Linear Algebra
diff --git a/mathematics/real-analysis.md b/mathematics/real-analysis.md
deleted file mode 100644
index 9c0b134..0000000
--- a/mathematics/real-analysis.md
+++ /dev/null
@@ -1,5 +0,0 @@
----
-layout: analysis
-title: mathematics/analysis/real analysis
----
-
diff --git a/mathematics/types.md b/mathematics/types.md
deleted file mode 100644
index 577e610..0000000
--- a/mathematics/types.md
+++ /dev/null
@@ -1,5 +0,0 @@
----
-layout: foundations
-title: mathematics/foundations/types
----
-
diff --git a/web/css.md b/web/css.md
index 14367bc..1d788b4 100644
--- a/web/css.md
+++ b/web/css.md
@@ -5,7 +5,7 @@ title: A Brief Reference for Modern CSS
 
 # A Brief Reference for Modern CSS
 
-I like CSS. I really, really like CSS. I greatly enjoy just... fucking about with it, producing [pretty websites](https://apropos.codes) (egotistical, i know!) and [ugly websites](https://cursedc.tf/2023) and [weird-ass websites](https://cursedc.tf).
+I like CSS. I really, really like CSS. I greatly enjoy just... fucking about with it, producing [pretty websites](https://apropos.codes) and [ugly websites](https://cursedc.tf/2023) and [weird-ass websites](https://cursedc.tf).
 
 But I don't like *everything* about CSS, and one of those things I don't like is how much I have to rely on references. Property names are remarkably unintuitive. And CSS is complicated! There's a lot to keep in your head, and it's ever changing - ever improving, I would say, but ever changing nonetheless. So I figured writing my *own* reference might help.