First Blog Post
This is the first post using my new custom static site generation scripts. For now I am just testing things out to make sure everything works. I’m using a combination of handwritten Markdown, python, pandoc, and CSS, so I want to make sure text, code, quotes, mathematical expressions, links, images, and videos look OK.
Some Code
Here is some code:
sum :: [Int] -> Int
sum [] = 0
sum (x:xs) = x + sum xsI’m not sure why it does not render in a monospace font right
now, despite saying so in the CSS, but I will figure that out
later.
I figured it out. I misunderstood some aspect of how CSS styles worked.
A Quote
Here is a quote:
A rainbow is a meteorological phenomenon that is caused by reflection, refraction and dispersion of light in water droplets resulting in a spectrum of light appearing in the sky. It takes the form of a multicolored arc. Rainbows caused by sunlight always appear in the section of sky directly opposite the sun.
Some Math
Here are some Lambda Calculus expressions that use symbols \(\lambda\), \(x\), \(y\), and \(a\):
\(\lambda x . x\)
\(\lambda y . a\)
Here are some other more complex math expressions:
\[ \sum_{i=0}^{n} \frac{i}{i+i^2} \]
\[\frac{\Gamma \vdash A \ \ \ \ \ \ \ \Gamma, x:B \vdash A \implies B \ }{\Gamma \vdash B}\]
Embedding Images
Do you like birds? Here is a bird.
Can I Embed Videos?
I’m curious how hard it will be to include videos with my new blog system. Let’s find out.
This is my favorite music video lately. That keyboard player has such a vibe.
Альянс - На заре (At dawn) USSR, 1987
A Link to a Website
You can find more information about me there.