Pascal QuachI dabbled a little bit in #lean and found the "tactic" concept to be a very intuitive interface to types metaprogramming.
I'm currently tinkering with my blog generated by #hakyll and as usual the hardest in programming is not writing the code, but discovering interfaces.
Given how good the typing is in #haskell, I thought... Hang on, I'm writing all these definitions, surely the LSP could be smart enough to just let me discover the relevant functions right? Something like a tactic but for Haskell.
One search after, I'm discovering Wingman [1], a tactic metaprogramming plugin for HLS which used to work back in GHC<9. Apparently the upgrade cost was too high and the plugin got dropped unfortunately...
Fraser TweedaleAdded a new recipe to my #Hakyll grimoire: https://frasertweedale.github.io/blog-fp/posts/2026-03-28-hakyll-pages-from-haskell-source.html #Haskell
renesat
nmeumWrote a #Hakyll patch over the weekend that enables tracking of metadata-only dependencies. The PR got merged today, so if you are generating navigation sidebars, tag lists, etc. using Hakyll then give it a try.
https://github.com/jaspervdj/hakyll/commit/e4b2dfd7d7fe8a6be163638efc8f7f0c9558afbb
Jan de Muijnck-HughesWhy do I like #OrgMode as a markup language....
Compare the output of:
```
pandoc --list-extensions=X
```
for #CommonMark #Markdown, and OrgMode...
Markdown dialects have yet to truly converge on a nice set of features....
OrgMode has...
The trouble I have faced tonight: You can have alerts in CommonMark but not Markdown, and you can have citations in Markdown but not CommonMark. This /is/ a limitation of #Pandoc but the point remains...
In OrgMode, I can have many features from many a Markdown dialect. Sadly, #Hakyll doesn't support metadata extraction from OrgMode markup yet... There is a trick though! That is for later...
From what I can tell, there is no #StaticSiteGenerator derived from a mixture of #Pandoc #Haskell (maybe #Hakyll) that works as well as #MyST or #mdbook
To use Haskell/Pandoc (or Hakyll) I will need to write something myself...
All I want to do is to publish course notes via HTML with minimal javascript and css...
HoldMyTypestatus - enabling #mastodon comment server in my #Hakyll blog
It's quire easy to find one for jakyll, I couldn't find one for Hakyll for doing it, so building it
https://carnotweat.srht.site/post/2025-09-16-ffi-for-code-reuse.html
almost there
It's quire easy to find one for jakyll, I couldn't find one for Hakyll for doing it, so building it
https://carnotweat.srht.site/post/2025-09-16-ffi-for-code-reuse.html
almost there
Brent Yorgey@julesh I have #KaTeX working on my #Hakyll blog. I'd like to say it wasn't complicated, though I honestly don't really remember. Resources I found useful include https://axiomatic.neophilus.net/using-katex-with-hakyll/ and https://tony-zorman.com/posts/katex-with-hakyll.html . And of course you are welcome to look at the source of my blog: https://github.com/byorgey/blog .
krejgoDear Lazy Web... all the web sites that I'm involved in running are static websites using #Hakyll. It's an arrangement that I'm pretty happy with.
I've been increasingly looking at integrating Activity Pub comments and I've so far not found a pre-existing solution for this.
I dropped solutions like Drupal and WordPress yonks ago but the more I look at this space, the more I look at solutions like the ones JWZ has here https://www.jwz.org/hacks/#wysiwyg-comments that already do exactly what I want.
Thoughts?
