From 4352cbc9df36c1c84bba51ce51a69be7a009d264 Mon Sep 17 00:00:00 2001 From: JJ Date: Sat, 25 Nov 2023 15:06:19 -0800 Subject: meow --- _layouts/algebra.html | 20 ++++++++++---------- _layouts/analysis.html | 20 ++++++++++---------- _layouts/computation.html | 32 ++++++++++++++++---------------- _layouts/ctf.html | 17 ++++++++--------- _layouts/foundations.html | 22 +++++++++++----------- _layouts/linguistics.html | 16 ++++++++-------- _layouts/mathematics.html | 14 +++++++------- computation/continuations.md | 2 +- computation/index.md | 5 +++++ computation/lambda-calculus.md | 5 +++++ computation/memory-management.md | 5 +++++ computation/modules.md | 5 +++++ computation/networking.md | 5 +++++ computation/paradigms.md | 5 +++++ computation/semantics.md | 5 +++++ computation/syntax.md | 7 +++++++ computation/types.md | 5 +++++ linguistics/glossary.md | 4 ++++ linguistics/types.md | 4 ++++ 19 files changed, 126 insertions(+), 72 deletions(-) create mode 100644 linguistics/glossary.md create mode 100644 linguistics/types.md diff --git a/_layouts/algebra.html b/_layouts/algebra.html index b8f4703..3cadce3 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 5faa293..0c0b920 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 ec3328d..c95b07b 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 c38148a..5727de1 100644 --- a/_layouts/ctf.html +++ b/_layouts/ctf.html @@ -7,17 +7,16 @@ layout: default
diff --git a/_layouts/foundations.html b/_layouts/foundations.html index 77bb237..53a1899 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 95ac6c0..c2d0050 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 6ad8497..27fafe4 100644 --- a/_layouts/mathematics.html +++ b/_layouts/mathematics.html @@ -7,15 +7,15 @@ layout: default
diff --git a/computation/continuations.md b/computation/continuations.md index b2126f8..08017c5 100644 --- a/computation/continuations.md +++ b/computation/continuations.md @@ -1,6 +1,6 @@ --- layout: computation -title: computation/compilers +title: computation/continuations --- # continuations diff --git a/computation/index.md b/computation/index.md index 9ac7e22..7c2765e 100644 --- a/computation/index.md +++ b/computation/index.md @@ -1,3 +1,8 @@ +--- +layout: computation +title: computation +--- + # notes on computation and its consequences - [paradigms](paradigms) diff --git a/computation/lambda-calculus.md b/computation/lambda-calculus.md index 769b80d..78752db 100644 --- a/computation/lambda-calculus.md +++ b/computation/lambda-calculus.md @@ -1 +1,6 @@ +--- +layout: computation +title: computation/lambda calculus +--- + # the lambda calculus diff --git a/computation/memory-management.md b/computation/memory-management.md index b4dc8be..a2edadc 100644 --- a/computation/memory-management.md +++ b/computation/memory-management.md @@ -1,3 +1,8 @@ +--- +layout: computation +title: computation/memory management +--- + # memory management lobster diff --git a/computation/modules.md b/computation/modules.md index cde238c..be7b7e5 100644 --- a/computation/modules.md +++ b/computation/modules.md @@ -1,3 +1,8 @@ +--- +layout: computation +title: computation/modules +--- + # modules An overarching question I've had that I've been unable to resolve: are ML-style modules any more expressive than a system with: diff --git a/computation/networking.md b/computation/networking.md index 85c1b6b..e2cdccf 100644 --- a/computation/networking.md +++ b/computation/networking.md @@ -1,3 +1,8 @@ +--- +layout: computation +title: computation/networking +--- + # the networking layer of the internet ## routing: IP, DNS diff --git a/computation/paradigms.md b/computation/paradigms.md index e66a454..198a522 100644 --- a/computation/paradigms.md +++ b/computation/paradigms.md @@ -1,3 +1,8 @@ +--- +layout: computation +title: computation/programming paradigms +--- + # reflections on programming paradigms ## imperative programming diff --git a/computation/semantics.md b/computation/semantics.md index d854341..410d0ef 100644 --- a/computation/semantics.md +++ b/computation/semantics.md @@ -1,3 +1,8 @@ +--- +layout: computation +title: computation/semantics +--- + # formal semantics ## denotational semantics diff --git a/computation/syntax.md b/computation/syntax.md index 29e8c48..31b95a5 100644 --- a/computation/syntax.md +++ b/computation/syntax.md @@ -1,3 +1,8 @@ +--- +layout: computation +title: computation/syntax +--- + # syntax articles @@ -11,6 +16,8 @@ books ebnf +npegs + ## lexing ## parsing diff --git a/computation/types.md b/computation/types.md index 2124175..7231f82 100644 --- a/computation/types.md +++ b/computation/types.md @@ -1,3 +1,8 @@ +--- +layout: computation +title: computation/types +--- + # types! ah, wonderous types! posts diff --git a/linguistics/glossary.md b/linguistics/glossary.md new file mode 100644 index 0000000..5bfb895 --- /dev/null +++ b/linguistics/glossary.md @@ -0,0 +1,4 @@ +--- +layout: linguistics +title: linguistics/glossary +--- diff --git a/linguistics/types.md b/linguistics/types.md new file mode 100644 index 0000000..437ab50 --- /dev/null +++ b/linguistics/types.md @@ -0,0 +1,4 @@ +--- +layout: linguistics +title: linguistics/types +--- -- cgit v1.2.3-70-g09d2