Merge pull request #38 from reednel/develop

puzzle overhaul

src/config/config.json

@@ -14,8 +14,10 @@
     "default_theme": "system",
     "blog_pagination": 4,
     "drink_pagination": 6,
+    "puzzle_pagination": 6,
     "summary_length": 200,
     "blog_folder": "blog",
+    "puzzle_folder": "puzzle",
     "drink_folder": "drink"
   },
 

src/config/menu.json

@@ -16,6 +16,10 @@
       "name": "Blog",
       "url": "/blog"
     },
+    {
+      "name": "Puzzles",
+      "url": "/puzzle"
+    },
     {
       "name": "Drinks",
       "url": "/drink"

src/content/about/-index.md

@@ -8,6 +8,6 @@ draft: false
 
 I am a software engineer at Infinite Campus, and a graduate of UW-Madison with a BS in Computer Science, Mathematics, and Philosophy. Previously, I worked in the [Solís-Lemus Lab](https://solislemuslab.github.io/) at the Wisconsin Institute for Discovery, developing MiNAA: Microbial Network Alignment Algorithm.
 
-My interests include almost anything related to discrete math, but especially graph theory and cryptography. Outside of academia, I enjoys camping, tea, and mathematical/logic riddles.
+My interests include almost anything related to discrete math, but especially graph theory and cryptography. Outside of academia, I enjoy camping, tea, and mathematical/logic riddles.
 
 My modest blog was inspired by Rishi Banerjee's [Rising Entropy](https://risingentropy.com/).

src/content/blog/debruijn.md

@@ -123,6 +123,8 @@ De Bruijn sequences and graphs have many interesting and simple properties. This
 
 I wrote a Java implementation of the generating algorithm and shuffles described above, along with a suite of other tools pertaining to de Bruijn sequences and graphs. This code and select output files from the generating function can be found [here](https://github.com/reednel/debruijn).
 
+---
+
 [^1]: Nicolaas Govert de Bruijn, *[A combinatorial Problem](https://pure.tue.nl/ws/files/4442708/597473.pdf)* (1946).
 [^2]: A binary alphabet is often implied with de Bruijn sequences, but most of what this paper discusses is applicable to an arbitrary alphabet.
 [^3]: The nominal values of the characters used in the alphabet are unimportant, so for this paper and generally, when $k < 10$, we take $A = \{ 0, 1, \dots, k \}$.

src/content/blog/dh.md

@@ -29,6 +29,8 @@ draft: true
 - The US government literally treating cryptographic schemes as "munitions" for decades. Everything cryptography (double check this) was under the purview of the NSA.
 - Once apon a time (until the 90's) a few governments held all the cards to secure communication.
 
+---
+
 [^0] Whitfield Diffie and Martin Hellman: [*New Directions in Cryptography*](https://ee.stanford.edu/~hellman/publications/24.pdf).
 [^2]: [Computerphile](https://www.youtube.com/c/computerphile) has several Diffie-Hellman-related videos.
 [^1]: Understanding asymmetric encryption is critical to the solution to this problem. RSA is one of the most important schemes of this kind, and an explanation of both can be found in [this post](/rsa).

src/content/blog/dharma.md

@@ -64,6 +64,8 @@ It's important to have detachment from the outcome of your dharma. One should ne
 
 It’s better to fail at one's own dharma than to succeed at another’s. Do not be what you are not[^5].
 
+---
+
 [^1]: [Stephen Cope](https://en.wikipedia.org/wiki/Stephen_Cope), *[The Great Work of Your Life](https://www.stephencope.com/shop/books/the-great-work-of-your-life-a-guide-for-the-journey-to-your-true-calling/)* (2012). The book outlines the teachings of the Bhagavad Gita, which translates to “The Song of God” - It’s the most famous Hindu text. The story is a narrative of a dialogue between Arjuna, a great prince and warrior, (and babe), And Krishna, Arjuna’s charioteer. Though the reader knows Krishna is a Hindu god. The story’s set on a battlefield, and for the duration of the book, Arjuna is pretty much in the middle of an existential crisis over this war he’s fighting, and Arjuna is dropping wisdom on him to help him through it. Krishna’s teachings are the Gita’s teachings.
 [^2]: Venturing dangerously close to Capitalist mythology here.
 [^3]: *The Role of Deliberate Practice in the Acquisition of Expert Performance* (1993); Ericsson, Krampe, Tesch-Roemer; [[Article]](https://www.researchgate.net/publication/224827585_The_Role_of_Deliberate_Practice_in_the_Acquisition_of_Expert_Performance).

src/content/blog/huffman.md

@@ -62,6 +62,8 @@ In the 50's, MIT PhD student David Huffman had to write a paper proving some cod
 
 Huffman's simple $O(n\log(n))$ algorithm finds an optimal symbol-by-symbol coding. There are alternate methods of coding which perform better under certain circumstances, but even where suboptimal, Huffman is quite good.
 
+---
+
 [^1]: Claude Shannon is the father of [Information Theory](https://en.wikipedia.org/wiki/Information_theory), and an absolute legend. He wrote the book *A Mathematical Theory of Communication*, which a professor of mine once described as "one of the most important books in science in the last century".
 [^2]: This statistic is from the Wikipedia page on [Letter Frequency](https://en.wikipedia.org/wiki/Letter_frequency).
 [^3]: David Huffman, *[A Method for the Construction of Minimum-Redundancy Codes](https://github.com/pipul/lab/blob/master/papers/Others/huffman_1952_minimum-redundancy-codes.pdf)* (1952).

src/content/blog/language.md

@@ -166,6 +166,8 @@ Generally we interpret other speakers as following these maxims, but even if we
 
 - The speaker violates a maxim with the intention of communicating some other information. e.g. [A reference letter] “To whom it concerns, Philip’s command of English is excellent, and his attendance at work has been regular.”
 
+---
+
 [^1]: We call a truth **analytic** if the fact that it’s true follows from the meaning of the terms, and we call it **synthetic** if not. To use the classic example, the sentence "bachelors are unmarried men" is analytic, this is what it means to be a bachelor. The sentence "Karl is a bachelor" is synthetic. Karl could be married or unmarried, you'd have to know more about him to say. This distinction first discussed by Kant captures something similar to the *a priori*/*a posteriori* distinction, but isn't quite the same.
 [^2]: From the Wikipedia page on the [Meter](https://en.wikipedia.org/wiki/Metre).
 [^3]: Austin apparently invented the word “performative”, though today the colloquial use seems to be sort of the opposite of his.

src/content/blog/love.md

@@ -60,5 +60,7 @@ An interesting implication of this theory, in particular of the importance of th
 
 It seems to be a fairly common mindset that emotional maturity and wisdom are emotional restraint; that the suppression of non-rational feelings is a valuable feature of civil society. But this theory says just the opposite. Whether or not it's true that we're too favoring of rationality over emotion, our perceptions of these things have far-reaching implications. They shape social norms that affect us all individually in subtle, murky ways[^2].
 
+---
+
 [^1]: [A General Theory of Love](https://en.wi`kipedia.org/wiki/A_General_Theory_of_Love) (2000), by Thomas Lewis, Fari Amini, and Richard Lannon, professors of Psychiatry at UCSF.
 [^2]: We live in a society.

src/content/blog/phenomenology.md

@@ -1,7 +1,7 @@
 ---
 title: Artificial Consciousness and Phenomenology
 meta_title: Artificial Consciousness and Phenomenology
-description: To identify the requirements for a conscious machine, I believe we ought to look beyond mechanical scientific accounts of what makes a human human. Using a phenomenological approach to this subject, we stand to better express what is necessary for a true, human-level artificial consciousness.
+description: I believe that with a phenomenological examination of human consciousness and experience, we stand to better express what is necessary for a true, human-level artificial consciousness.
 date: 2022-04-07T05:00:00Z
 categories: [Philosophy]
 author: Reed Nelson
@@ -62,6 +62,8 @@ Fjelland’s goal in this paper is to show that Dreyfus’s argument still holds
 
 > We are bodily and social beings, living in a material and social world. To understand another person is not to look into the chemistry of that person’s brain, not even into that person’s soul, but is rather to be in that person’s ‘shoes’. It is to understand that person’s lifeworld.
 
+---
+
 [^1]: And you’d be in the company of [some experts](https://www.researchgate.net/publication/280838978_Future_Progress_in_Artificial_Intelligence_A_Survey_of_Expert_Opinion)!
 [^2]: I've always wanted to say this.
 [^3]: Pronounced däzīn. This is a German word which just means "being there". Our usage comes from Martin Heidegger (phenomenologist and student of Husserl). Dasein is a very important and nuanced concept for Heidegger, we're being a little fast and loose.

src/content/blog/power.md

@@ -90,6 +90,8 @@ What if you were forced to live this same life over and over, forever? This is e
 
 This idea is meant to undermine the sense that we’re getting somewhere and achieving something. There is no culmination to give our actions a point. Nietzsche introduces this idea for us to test weather we live in a healthy or unhealthy way. If this thought makes you uncomfortable, you’re living wrong. This is partially a test to see if you’re living well, but also a sort of guide on the day-to-day scale to indicate to you what you could do better.
 
+---
+
 [^1]: Nietzsche's sister, [Elisabeth Förster-Nietzsche](https://en.wikipedia.org/wiki/Elisabeth_F%C3%B6rster-Nietzsche), was a bit of a Nazi. After his death, she took his very unfinished draft of *The Will to Power*, wrote a bunch of nazi-ish things in it, and then had it published in his name. Later she sent it over to Hitler, who appreciated it. This seems to be the main reason for the very mistaken association between Nietzsche and Nazism. To be clear, Nietzsche's idea of the Will to Power did not originate in the book of the same name. It is present to varying degrees in many of his previous works.
 
 [^2]: Nietzsche was a [Kelly Clarkson](https://open.spotify.com/track/6D60klaHqbCl9ySc8VcRss?si=62e36bc9524b4633) fan.

src/content/blog/rsa.md

@@ -75,6 +75,8 @@ By Fermat's Little Theorem, $x^p \equiv x \,(\text{mod } p)$, so $x \cdot (x^p)^
 By symmetry, $(x^e)^d \equiv x \,(\text{mod } q)$.$\\$
 So we have $\forall x \in \mathbb{Z}_n, x^{ed} \equiv x \,(\text{mod } pq)$.
 
+---
+
 [^1]: An equivalent system was developed secretly and used by the British government years before Rivest, Shamir, and Adleman devised RSA!
 [^2]: The existence of one-way functions is actually only a conjecture! To prove OWFs exist is to prove $P \neq NP$. That is to say, RSA's security depends on a very big (but probably safe) assumption.
 [^3]: [Numberphile](https://www.youtube.com/c/numberphile) has several RSA-related videos. [This one](https://youtu.be/cbGB__V8MNk) explains why $2^{16}+1$ is a pretty good choice of $e$.

src/content/config.ts

@@ -15,6 +15,16 @@ const blogCollection = defineCollection({
   }),
 });
 
+// Puzzle collection schema
+const puzzleCollection = defineCollection({
+  schema: z.object({
+    title: z.string(),
+    meta_title: z.string().optional(),
+    description: z.string().optional(),
+    draft: z.boolean().optional(),
+  }),
+});
+
 // Drink collection schema
 const drinkCollection = defineCollection({
   schema: z.object({
@@ -39,5 +49,6 @@ const drinkCollection = defineCollection({
 // Export collections
 export const collections = {
   blog: blogCollection,
+  puzzle: puzzleCollection,
   drink: drinkCollection,
 };

src/content/puzzle/-index.md

@@ -0,0 +1,5 @@
+---
+title: Puzzles
+meta_title: Puzzles
+description: A selection of good puzzles.
+---

src/content/puzzle/action-riddles.md

@@ -0,0 +1,76 @@
+---
+title: Action Riddles
+meta_title: Action Riddles
+description: These riddles are given by example. The solver has succeeded when discover the trick and can give examples as well as the riddler.
+draft: false
+---
+
+These riddles are given by example. The solver has succeeded when discover the trick and can give examples as well as the riddler.
+
+<details>
+<summary>Jump To</summary>
+
+- [Green Glass Door](#green-glass-door)
+- [Good Line/Bad Line](#good-linebad-line)
+- [Magic Moon](#magic-moon)
+- [Egyptian Counting](#egyptian-counting)
+- [Black Magic](#black-magic)
+
+</details>
+
+## Green Glass Door
+
+Ex. "There are trees behind the green glass door, but no leaves"
+
+The riddle is to correctly identify what is and what is not behind the green glass door.
+
+<details>
+    <summary>Solution</summary>
+    The only things behind the green glass door have pairs of letters in the word.
+</details>
+
+## Good Line/Bad Line
+
+Ex. "Okay, from ____ to ____ is a good line." and "From ____ to ____ is a bad line."
+
+The riddle is to be able to correctly identify good and bad lines.
+
+<details>
+    <summary>Solution</summary>
+    The line between two objects is only a good line if the word "okay" is said before the declaration of whether it's a good or bad line.
+</details>
+
+## Magic Moon
+
+This is a visual Riddle.
+
+<details>
+    <summary>Solution</summary>
+    The 'riddler' begins with a stick in the right hand declaring in some way that they're about to describe their magic moon, and uses the stick it as a brush to draw out whatever they describe in the air, then brings the stick to their left hand, drawing another object, and finishes with the phrase "That's my magic moon."
+</details>
+
+## Egyptian Counting
+
+This is a visual riddle.
+
+<details>
+    <summary>Solution</summary>
+    Make a little figure on the table with whatever’s available (phone, keys, etc.) and ask what number that figure represents. However many fingers you have on the table is the answer.
+</details>
+
+## Black Magic
+
+Two people, A and B, need to know black magic. B leaves the room. A, in collaboration with the "audience", chooses an object in the room. B is called back in, where they will now attempt to guess the object chosen by A and the others. A then points out specific objects to be B, asking if that is the chosen one. After a few inquiries, A will ask about the chosen object, and for the first time, B will answer in the affirmative.
+
+Example:<br>
+A: "Is it the desk?"<br>
+B: "No."<br>
+A: "Is it the blackboard?"<br>
+B: "No."<br>
+A: "Is it the stapler?"<br>
+B: "Yes."
+
+<details>
+    <summary>Solution</summary>
+    The object before the chosen object must be black.
+</details>