Welcome bud!

• December 16, 2021

  joseferben.com and hoarddit.com 👏

  Tips & tricks and art.

• December 16, 2021

  Playing Bass or Contrabass

  Introducing 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 CSS

  Expanding 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 Hakyll

  Many 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 Hakyll

  Literate 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 While

  idk why