diff options
| -rw-r--r-- | _layouts/algebra.html | 5 | ||||
| -rw-r--r-- | _layouts/analysis.html | 5 | ||||
| -rw-r--r-- | _layouts/ctf.html | 6 | ||||
| -rw-r--r-- | _layouts/foundations.html | 6 | ||||
| -rw-r--r-- | _layouts/plt.html | 18 | ||||
| -rw-r--r-- | _layouts/web.html | 9 | ||||
| -rw-r--r-- | ctf/crypto.md | 2 | ||||
| -rw-r--r-- | ctf/index.md | 19 | ||||
| -rw-r--r-- | ctf/pwn.md | 3 | ||||
| -rw-r--r-- | ctf/rev.md | 8 | ||||
| -rw-r--r-- | ctf/web.md | 8 | ||||
| -rw-r--r-- | linguistics/semantics.md | 4 | ||||
| -rw-r--r-- | mathematics/abstract-algebra.md | 13 | ||||
| -rw-r--r-- | mathematics/algebra.md | 30 | ||||
| -rw-r--r-- | mathematics/calculus.md | 6 | ||||
| -rw-r--r-- | mathematics/complex-analysis.md | 5 | ||||
| -rw-r--r-- | mathematics/lambdas.md | 5 | ||||
| -rw-r--r-- | mathematics/linear-algebra.md | 2 | ||||
| -rw-r--r-- | mathematics/real-analysis.md | 5 | ||||
| -rw-r--r-- | mathematics/types.md | 5 | ||||
| -rw-r--r-- | web/css.md | 2 |
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) @@ -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 @@ -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 @@ -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 ---- - @@ -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. |