From fa1e6f75ceb4f2a99dc1c107bfe60434356cfe19 Mon Sep 17 00:00:00 2001 From: JJ Date: Tue, 20 Feb 2024 17:28:49 -0800 Subject: meow --- _layouts/algebra.html | 5 ----- _layouts/analysis.html | 5 ----- _layouts/ctf.html | 6 ------ _layouts/foundations.html | 6 ------ _layouts/plt.html | 18 ------------------ _layouts/web.html | 9 --------- ctf/crypto.md | 2 ++ ctf/index.md | 19 ++++++++++++++++--- ctf/pwn.md | 3 +++ ctf/rev.md | 8 ++++++++ ctf/web.md | 8 +++++++- linguistics/semantics.md | 4 ++-- mathematics/abstract-algebra.md | 13 ------------- mathematics/algebra.md | 30 +++++++++++------------------- mathematics/calculus.md | 6 ------ mathematics/complex-analysis.md | 5 ----- mathematics/lambdas.md | 5 ----- mathematics/linear-algebra.md | 2 +- mathematics/real-analysis.md | 5 ----- mathematics/types.md | 5 ----- web/css.md | 2 +- 21 files changed, 51 insertions(+), 115 deletions(-) delete mode 100644 mathematics/abstract-algebra.md delete mode 100644 mathematics/calculus.md delete mode 100644 mathematics/complex-analysis.md delete mode 100644 mathematics/lambdas.md delete mode 100644 mathematics/real-analysis.md delete mode 100644 mathematics/types.md 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 algebra analysis -
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 algebra analysis -
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 plt web -
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 algebra analysis -
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 plt web -
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 plt web -
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?
+What does it *mean* for a sentence to be true?
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. -- cgit v1.2.3-70-g09d2