Welcome bud!
-
December 16, 2021
joseferben.com and hoarddit.com 👏Tips & tricks and art.
-
December 16, 2021
Playing Bass or ContrabassIntroducing double negation elimination to a logical system is equivalent to introducing the law of the excluded middle. Both implications can be proved. Both also make the hair of constructivists stand on end.
-
December 16, 2021
Growing Box Hover in CSSExpanding a card-like box on hover is a simple effect that can look nice if used appropriately. A while back I found a neat way to implement it in CSS.
-
October 12, 2021
Automatic Heading Anchors in HakyllMany static site generators provide functionality to automatically insert anchors for headings. Hakyll does not (yet), so I illustrate a simple way to do it yourself.
-
October 6, 2021
Literate Agda with HakyllLiterate Agda has its own HTML generator. In this blog post I show how to hook it up with Hakyll, including a working watch mode!
-
February 28, 2021
Took a Whileidk why