summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--_layouts/algebra.html20
-rw-r--r--_layouts/analysis.html20
-rw-r--r--_layouts/computation.html32
-rw-r--r--_layouts/ctf.html16
-rw-r--r--_layouts/foundations.html22
-rw-r--r--_layouts/linguistics.html16
-rw-r--r--_layouts/mathematics.html14
-rw-r--r--computation/index.md11
-rw-r--r--ctf/index.md18
-rw-r--r--ctf/web.md2
-rw-r--r--linguistics/index.md7
-rw-r--r--linguistics/semantics.md1
-rw-r--r--mathematics/algebra.md6
-rw-r--r--mathematics/analysis.md6
-rw-r--r--mathematics/calculus.md6
-rw-r--r--mathematics/index.md12
-rw-r--r--mathematics/logic.md2
-rw-r--r--mathematics/proof.md2
18 files changed, 134 insertions, 79 deletions
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
</h1>
<div>
<nav>
- <b><a href="/wiki/mathematics">mathematics</a></b>
- <a href="/wiki/linguistics">linguistics</a>
- <a href="/wiki/computation">computation</a>
- <a href="/wiki/ctf">ctf</a>
+ <b><a href="/mathematics">mathematics</a></b>
+ <a href="/linguistics">linguistics</a>
+ <a href="/computation">computation</a>
+ <a href="/ctf">ctf</a>
</nav>
<nav>
- <a href="/wiki/mathematics/foundations">foundations</a>
- <b><a href="/wiki/mathematics/algebra">algebra</a></b>
- <a href="/wiki/mathematics/analysis">analysis</a>
+ <a href="/mathematics/foundations">foundations</a>
+ <b><a href="/mathematics/algebra">algebra</a></b>
+ <a href="/mathematics/analysis">analysis</a>
</nav>
<nav>
- <a href="/wiki/mathematics/linear-algebra">linear algebra</a>
- <a href="/wiki/mathematics/coding-theory">coding theory</a>
- <a href="/wiki/mathematics/abstract-algebra">abstract algebra</a>
+ <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>
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
</h1>
<div>
<nav>
- <b><a href="/wiki/mathematics">mathematics</a></b>
- <a href="/wiki/linguistics">linguistics</a>
- <a href="/wiki/computation">computation</a>
- <a href="/wiki/ctf">ctf</a>
+ <b><a href="/mathematics">mathematics</a></b>
+ <a href="/linguistics">linguistics</a>
+ <a href="/computation">computation</a>
+ <a href="/ctf">ctf</a>
</nav>
<nav>
- <a href="/wiki/mathematics/foundations">foundations</a>
- <a href="/wiki/mathematics/algebra">algebra</a>
- <b><a href="/wiki/mathematics/analysis">analysis</a></b>
+ <a href="/mathematics/foundations">foundations</a>
+ <a href="/mathematics/algebra">algebra</a>
+ <b><a href="/mathematics/analysis">analysis</a></b>
</nav>
<nav>
- <a href="/wiki/mathematics/calculus">calculus</a>
- <a href="/wiki/mathematics/real-analysis">real analysis</a>
- <a href="/wiki/mathematics/complex-analysis">complex analysis</a>
+ <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>
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
</h1>
<div>
<nav>
- <a href="/wiki/mathematics">mathematics</a>
- <a href="/wiki/linguistics">linguistics</a>
- <b><a href="/wiki/computation">computation</a></b>
- <a href="/wiki/ctf">ctf</a>
+ <a href="/mathematics">mathematics</a>
+ <a href="/linguistics">linguistics</a>
+ <b><a href="/computation">computation</a></b>
+ <a href="/ctf">ctf</a>
</nav>
<nav>
- <a href="/wiki/computation/syntax">syntax</a>
- <a href="/wiki/computation/semantics">semantics</a>
- <a href="/wiki/computation/compilers">compilers</a>
+ <a href="/computation/syntax">syntax</a>
+ <a href="/computation/semantics">semantics</a>
+ <a href="/computation/compilers">compilers</a>
<br>
- <a href="/wiki/computation/types">types</a>
- <a href="/wiki/computation/modules">modules</a>
- <a href="/wiki/computation/monads">monads</a>
- <a href="/wiki/computation/effects">effects</a>
- <a href="/wiki/computation/continuations">continuations</a>
+ <a href="/computation/types">types</a>
+ <a href="/computation/modules">modules</a>
+ <a href="/computation/monads">monads</a>
+ <a href="/computation/effects">effects</a>
+ <a href="/computation/continuations">continuations</a>
<br>
- <a href="/wiki/computation/lambda-calculus">lambda calculus</a>
- <a href="/wiki/computation/memory-management">memory management</a>
- <a href="/wiki/computation/networking">networking</a>
- <a href="/wiki/computation/paradigms">paradigms</a>
+ <a href="/computation/lambda-calculus">lambda calculus</a>
+ <a href="/computation/memory-management">memory management</a>
+ <a href="/computation/networking">networking</a>
+ <a href="/computation/paradigms">paradigms</a>
</nav>
</div>
</header>
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
</h1>
<div>
<nav>
- <a href="/wiki/mathematics">mathematics</a>
- <a href="/wiki/linguistics">linguistics</a>
- <a href="/wiki/computation">computation</a>
- <b><a href="/wiki/ctf">ctf</a></b>
+ <a href="/mathematics">mathematics</a>
+ <a href="/linguistics">linguistics</a>
+ <a href="/computation">computation</a>
+ <b><a href="/ctf">ctf</a></b>
</nav>
<nav>
- <a href="/wiki/ctf/rev">rev</a>
- <a href="/wiki/ctf/pwn">pwn</a>
- <a href="/wiki/ctf/crypto">crypto</a>
- <a href="/wiki/ctf/web">web</a>
+ <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>
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
</h1>
<div>
<nav>
- <b><a href="/wiki/mathematics">mathematics</a></b>
- <a href="/wiki/linguistics">linguistics</a>
- <a href="/wiki/computation">computation</a>
- <a href="/wiki/ctf">ctf</a>
+ <b><a href="/mathematics">mathematics</a></b>
+ <a href="/linguistics">linguistics</a>
+ <a href="/computation">computation</a>
+ <a href="/ctf">ctf</a>
</nav>
<nav>
- <b><a href="/wiki/mathematics/foundations">foundations</a></b>
- <a href="/wiki/mathematics/algebra">algebra</a>
- <a href="/wiki/mathematics/analysis">analysis</a>
+ <b><a href="/mathematics/foundations">foundations</a></b>
+ <a href="/mathematics/algebra">algebra</a>
+ <a href="/mathematics/analysis">analysis</a>
</nav>
<nav>
- <a href="/wiki/mathematics/logic">logic</a>
- <a href="/wiki/mathematics/proof">proof</a>
- <a href="/wiki/mathematics/types">types</a>
- <a href="/wiki/mathematics/category-theory">category theory</a>
+ <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>
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
</h1>
<div>
<nav>
- <a href="/wiki/mathematics">mathematics</a>
- <b><a href="/wiki/linguistics">linguistics</a></b>
- <a href="/wiki/computation">computation</a>
- <a href="/wiki/ctf">ctf</a>
+ <a href="/mathematics">mathematics</a>
+ <b><a href="/linguistics">linguistics</a></b>
+ <a href="/computation">computation</a>
+ <a href="/ctf">ctf</a>
</nav>
<nav>
- <a href="/wiki/linguistics/glossary">glossary</a>
- <a href="/wiki/linguistics/syntax">syntax</a>
- <a href="/wiki/linguistics/semantics">semantics</a>
- <a href="/wiki/linguistics/types">types</a>
+ <a href="/linguistics/glossary">glossary</a>
+ <a href="/linguistics/syntax">syntax</a>
+ <a href="/linguistics/semantics">semantics</a>
+ <a href="/linguistics/types">types</a>
</nav>
</div>
</header>
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
</h1>
<div>
<nav>
- <b><a href="/wiki/mathematics">mathematics</a></b>
- <a href="/wiki/linguistics">linguistics</a>
- <a href="/wiki/computation">computation</a>
- <a href="/wiki/ctf">ctf</a>
+ <b><a href="/mathematics">mathematics</a></b>
+ <a href="/linguistics">linguistics</a>
+ <a href="/computation">computation</a>
+ <a href="/ctf">ctf</a>
</nav>
<nav>
- <a href="/wiki/mathematics/foundations">foundations</a>
- <a href="/wiki/mathematics/algebra">algebra</a>
- <a href="/wiki/mathematics/analysis">analysis</a>
+ <a href="/mathematics/foundations">foundations</a>
+ <a href="/mathematics/algebra">algebra</a>
+ <a href="/mathematics/analysis">analysis</a>
</nav>
</div>
</header>
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
+<br>
+<br>
+<br>
+<br>
-- [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
+---
+
+<br>
+<br>
+<br>
+<br>
+<br>
+
+# 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
---
+<br>
+<br>
+<br>
+<br>
+<br>
+
+# 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
+---
+
+<br>
+<br>
+<br>
+<br>
+<br>
+
+# 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
---