Over the weekend I decided to overhaul my blog, so I started off by porting from from Hakyll to Hugo. The results so far have been fine. As much as I loved hacking on my old blog with Haskell and Hakyll, in reality I needed a static site generator solution with batteries included, namely one that supported paging, site search, and URLs without extensions, e.g., this post is https://www.brandonstil.es/posts/hakyll-to-hugo/, not https://www.Read more
A Somewhat Retroactive Manifesto Today is Wednesday at noon. I have ditched Vim, Tmux and iTerm for Emacs.1 And it has been difficult. I have been going to bed somewhat mentally exhausted. Have I been productive? No. Am I having fun? No. Am I making progress? I suppose. But maybe the better question is, why? Vim is highly-likable. I use it for all my programming. And Vimwiki for organizing my life.Read more
Today I am excited to soft-launch Aegis, a cloud infrastructure automation tool for HIPAA compliance. You can check out the tool here. If you are interested in setting up a HIPAA compliant cloud, send me a message!
Today I’m incredibly thrilled to announce that fs-h is ready for commercial use. fs-h is a starter kit for containerized full-stack Haskell web applications.
In part 2 of this series we will investigate the underlying reasons for why Coq and Haskell types are so different. These reasons arise from Coq’s design as a interactive theorem prover Please refer to my previous post for part 1. The Introduction of Russel’s Paradox Coq and Haskell are both based on mathematical concepts like set and type theory, both of which came about due to Russell’s Paradox, or the Russell-Zermelo Paradox.Read more