Table of Contents
So, I guess I have a blog now! It uses Zola and is hosted on GitHub Pages. The theme is custom, but it is based on the Apollo theme. Plus Ayu-dark for codeblocks.
Here is my fork: Redux.
Mermaid
graph LR
A[Start] --> B[Initialize]
B --> C[Processing]
C --> D[Complete]
D --> E[Success]
style A fill:#f9f,stroke:#333
style E fill:#9f9,stroke:#333
LaTeX
Inline Math
- $(a+b)^2$ = $a^2 + 2ab + b^2$
- A polynomial P of degree d over $\mathbb{F}_p$ is an expression of the form $P(s) = a_0 + a_1 . s + a_2 . s^2 + … + a_d . s^d$ for some $a_0,..,a_d \in \mathbb{F}_p$
Displayed Math
$$ p := (\sum_{k∈I}{c_k.v_k} + \delta_v.t(x))·(\sum_{k∈I}{c_k.w_k} + \delta_w.t(x)) − (\sum_{k∈I}{c_k.y_k} + \delta_y.t(x)) $$
Quote
The enjoyment of one’s tools is an essential ingredient of successful work.
- Donald Knuth
H1
H2
H3
Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqua. Aliquet sagittis id consectetur purus ut. In pellentesque massa placerat duis ultricies. Neque laoreet suspendisse interdum consectetur libero id. Justo nec ultrices dui sapien eget mi proin. Nunc consequat interdum varius sit amet mattis vulputate. Sollicitudin tempor id eu nisl nunc mi ipsum. Non odio euismod lacinia at quis. Sit amet nisl suscipit adipiscing. Amet mattis vulputate enim nulla aliquet porttitor lacus luctus accumsan. Sit amet consectetur adipiscing elit pellentesque habitant. Ac placerat vestibulum lectus mauris. Molestie ac feugiat sed lectus vestibulum mattis ullamcorper velit sed. Google
Code Block
fn main() {
println!("Hello World");
}
1 fn main() {
2 println!("Hello World");
3 }
Ordered List
- First item
- Second item
- Third item
Unordered List
- List item
- Another item
- And another item
Nested list
- Fruit
- Apple
- Orange
- Banana
- Dairy
- Milk
- Cheese
Table Inline Markdown
| Italics | Bold | Code | StrikeThrough |
|---|---|---|---|
| italics | bold | code |
Foldable Text
Title 1
IT'S A SECRET TO EVERYBODY.
Title 2
Stay awhile, and listen!
Code tags
Lorem ipsum dolor sit amet, consectetur adipiscing elit.
Lorem ipsum dolor sit amet, consectetur adipiscing elit.
Testing
Here is an example of the note shortcode:
This one is static!
This blog assumes basic terminal maturity
This one is clickable!
The answer to the quiz!
Syntax:
{{ note(header="Note!", body="This blog assumes basic terminal maturity") }}
{{ note(clickable=true, header="Quiz!", body="The answer to the quiz!") }}
You can also use some HTML in the text:
This blog assumes basic terminal maturity
Literal shortcode:
{{ note(header="Note!", body="<h1>This blog assumes basic terminal maturity</h1>") }}
Pretty cool, right?
Finally, you can do something like this (hopefully):
Hello this is markdown inside a note shortcode
fn main() {
println!("Hello World");
}
We can’t call another shortcode inside a shortcode, but this is good enough.
Here is the raw markdown:
{{ note(clickable=true, header="Quiz!") }}
# Hello this is markdown inside a note shortcode
```rust
fn main() {
println!("Hello World");
}
```
We can't call another shortcode inside a shortcode, but this is good enough.
{{/* end */}}
| Cartesian Closed Category | $\mathbf{Set}$ | $\mathbf{P}$ (Logic) | Typed $\lambda$-calculus |
|---|---|---|---|
| Objects/1-cells | Sets | Propositions | Types |
| Morphisms/2-cells | Functions | Entailment | Terms/Programs |
| 1-cell composition | Cartesian product $S \times T$ | Conjunction $A \wedge B$ | Product type |
| Identity 1-cell | One-element set ${*}$ | True proposition $\top$ | Unit type $()$ |
| Right Kan extension | Function set $T^S$ | Implication $A \rightarrow B$ | Function type |
| Evaluation morphism | Function application | Modus ponens | Term application |
| Currying | $f: C\times A\rightarrow B$ to $\Lambda f: C\rightarrow B^A$ | Deduction theorem | Lambda abstraction |
Basic Note Types
This is a standard note with default styling.
This note contains important information you should know.
Be careful! This note warns you about something important.
Congratulations! This operation was successful.
Critical error! Something went seriously wrong.
Here’s a useful tip to make your work easier.
Custom Icons
This note uses a custom pin icon instead of the default info icon.
This warning uses a fire emoji as its custom icon.
A star icon celebrates this success message.
Clickable Notes (Collapsible)
This content can be toggled by clicking the header.
This tip is in a collapsible block.
Center Alignment
Centered Header
This note has a centered header.
Centered Success
This success note has a centered header.
This note has both center alignment and is clickable.
Rich Content Examples
This note includes bold text, italic text, and inline code.
Things to watch out for:\n\n1. First issue\n2. Second issue\n3. Third issue
Tables Inside Notes
| Name | Age | Role | Height |
|---|---|---|---|
| Alice | 28 | Developer | 5’6“ |
| Bob | 34 | Designer | 6’1“ |
| Carol | 42 | Manager | 5’8“ |
It works good enough for me!