From e7583c9d26a3f04012e332377485200c7854da44 Mon Sep 17 00:00:00 2001 From: JJ Date: Sat, 2 Dec 2023 17:34:07 -0800 Subject: meow --- _layouts/algebra.html | 20 ++++++++++---------- _layouts/analysis.html | 20 ++++++++++---------- _layouts/computation.html | 32 ++++++++++++++++---------------- _layouts/ctf.html | 16 ++++++++-------- _layouts/foundations.html | 22 +++++++++++----------- _layouts/linguistics.html | 16 ++++++++-------- _layouts/mathematics.html | 14 +++++++------- computation/index.md | 11 +++++------ ctf/index.md | 18 ++++++++++++++++++ ctf/web.md | 2 +- linguistics/index.md | 7 +++++++ linguistics/semantics.md | 1 + mathematics/algebra.md | 6 ++++++ mathematics/analysis.md | 6 ++++++ mathematics/calculus.md | 6 ++++++ mathematics/index.md | 12 ++++++++++++ mathematics/logic.md | 2 +- mathematics/proof.md | 2 +- 18 files changed, 134 insertions(+), 79 deletions(-) create mode 100644 mathematics/algebra.md create mode 100644 mathematics/analysis.md create mode 100644 mathematics/calculus.md diff --git a/_layouts/algebra.html b/_layouts/algebra.html index 3cadce3..d05b8b5 100644 --- a/_layouts/algebra.html +++ b/_layouts/algebra.html @@ -7,20 +7,20 @@ layout: default
diff --git a/_layouts/analysis.html b/_layouts/analysis.html index 0c0b920..9ddde8d 100644 --- a/_layouts/analysis.html +++ b/_layouts/analysis.html @@ -7,20 +7,20 @@ layout: default
diff --git a/_layouts/computation.html b/_layouts/computation.html index c95b07b..e4b54db 100644 --- a/_layouts/computation.html +++ b/_layouts/computation.html @@ -7,26 +7,26 @@ layout: default
diff --git a/_layouts/ctf.html b/_layouts/ctf.html index 5727de1..bd9b2dd 100644 --- a/_layouts/ctf.html +++ b/_layouts/ctf.html @@ -7,16 +7,16 @@ layout: default
diff --git a/_layouts/foundations.html b/_layouts/foundations.html index 53a1899..85bdf3f 100644 --- a/_layouts/foundations.html +++ b/_layouts/foundations.html @@ -7,21 +7,21 @@ layout: default
diff --git a/_layouts/linguistics.html b/_layouts/linguistics.html index c2d0050..529dc45 100644 --- a/_layouts/linguistics.html +++ b/_layouts/linguistics.html @@ -7,16 +7,16 @@ layout: default
diff --git a/_layouts/mathematics.html b/_layouts/mathematics.html index 27fafe4..1efa5b2 100644 --- a/_layouts/mathematics.html +++ b/_layouts/mathematics.html @@ -7,15 +7,15 @@ layout: default
diff --git a/computation/index.md b/computation/index.md index 7c2765e..e1a6818 100644 --- a/computation/index.md +++ b/computation/index.md @@ -3,10 +3,9 @@ layout: computation title: computation --- -# notes on computation and its consequences +
+
+
+
-- [paradigms](paradigms) -- [modules](modules) -- [monads](monads) -- [effects](effects) -- [continuations](continuations) +# computation and its consequences diff --git a/ctf/index.md b/ctf/index.md index e69de29..bf2cdd4 100644 --- a/ctf/index.md +++ b/ctf/index.md @@ -0,0 +1,18 @@ +--- +layout: ctf +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 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. + +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. diff --git a/ctf/web.md b/ctf/web.md index 9152482..d5bf6cc 100644 --- a/ctf/web.md +++ b/ctf/web.md @@ -1,6 +1,6 @@ --- layout: ctf -title: ctf/web exploitation +title: ctf/web security --- # web security diff --git a/linguistics/index.md b/linguistics/index.md index abe12f7..074db20 100644 --- a/linguistics/index.md +++ b/linguistics/index.md @@ -3,3 +3,10 @@ layout: linguistics title: linguistics --- +
+
+
+
+
+ +# linguistics is the study of *language* diff --git a/linguistics/semantics.md b/linguistics/semantics.md index d04b917..d3e242f 100644 --- a/linguistics/semantics.md +++ b/linguistics/semantics.md @@ -8,5 +8,6 @@ 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? What conditions must hold for a sentence to be true? diff --git a/mathematics/algebra.md b/mathematics/algebra.md new file mode 100644 index 0000000..5838147 --- /dev/null +++ b/mathematics/algebra.md @@ -0,0 +1,6 @@ +--- +layout: algebra +title: mathematics/algebra +--- + +# algebra diff --git a/mathematics/analysis.md b/mathematics/analysis.md new file mode 100644 index 0000000..7bfef62 --- /dev/null +++ b/mathematics/analysis.md @@ -0,0 +1,6 @@ +--- +layout: analysis +title: mathematics/analysis +--- + +# analysis diff --git a/mathematics/calculus.md b/mathematics/calculus.md new file mode 100644 index 0000000..d78b7e7 --- /dev/null +++ b/mathematics/calculus.md @@ -0,0 +1,6 @@ +--- +layout: analysis +title: mathematics/analysis/calculus +--- + +# calculus diff --git a/mathematics/index.md b/mathematics/index.md index e69de29..9503ce9 100644 --- a/mathematics/index.md +++ b/mathematics/index.md @@ -0,0 +1,12 @@ +--- +layout: mathematics +title: mathematics +--- + +
+
+
+
+
+ +# mathematics is the art of *truth* diff --git a/mathematics/logic.md b/mathematics/logic.md index 020a6e0..3be55f0 100644 --- a/mathematics/logic.md +++ b/mathematics/logic.md @@ -1,5 +1,5 @@ --- -layout: mathematics +layout: foundations title: mathematics/foundations/logic --- diff --git a/mathematics/proof.md b/mathematics/proof.md index 170026b..08979a6 100644 --- a/mathematics/proof.md +++ b/mathematics/proof.md @@ -1,5 +1,5 @@ --- -layout: mathematics +layout: foundations title: mathematics/foundations/proof --- -- cgit v1.2.3-70-g09d2