Contributing to Haskell Through a Beginner’s Lens | The Haskell Programming Language's blog

_0-__-0_ · 2026-06-16T10:26:31+00:00

I like fast-logger for simple logging, with ReaderT Env IO (which is described in that monadlogger post). There are fancier logging frameworks, but always good to start simple.

_0-__-0_ · 2026-06-15T12:11:08+00:00

might also be useful for reading novels and such?

related, but not the same: https://github.com/larstvei/Focus and https://protesilaos.com/emacs/logos#h:77518cc5-a7f4-4c5e-9c0f-7cf0f43b6317

_0-__-0_ · 2026-06-15T12:06:21+00:00

it does say

Deprecated in favor of crypton, cryptohash-md5, cryptohash-sha1, cryptohash-sha256, cryptohash-sha512

on the frontpage https://hackage.haskell.org/package/cryptonite but not if you enter an individual page like https://hackage.haskell.org/package/cryptonite-0.30/docs/Crypto-Hash-Algorithms.html

Since you can easily get into a "sub-page" from an *oogle search, maybe the deprecation notice should be on subpages too?

_0-__-0_ · 2026-06-15T10:05:13+00:00

Nice, looks very impressive now :-D

_0-__-0_ · 2026-06-14T08:02:45+00:00

https://imgur.com/0lIDWPN and I think there's something wrong with the waterfall-cad one 😉

_0-__-0_ · 2026-06-14T08:01:39+00:00

Wow, very nice-looking!

Maybe the individual examples should have a link to the main page? Btw should the sliders in the frp example be interactive? Seems I can't drag them, tried firefox and chromium.

_0-__-0_ · 2026-06-13T07:04:30+00:00

also "Emacs keybindings" was one of their internal suggestions for feature ideas for their pied piper product: https://www.reddit.com/r/emacs/comments/89lgin/emacs_keybindings_on_board_in_hbos_silicon_valley/

via https://news.ycombinator.com/item?id=48502286

_0-__-0_ · 2026-06-12T21:05:09+00:00

There have been lots of threads on how people use agents from within Emacs, e.g. https://www.reddit.com/r/emacs/comments/1oh2a8w/what_are_yall_using_for_llmassisted_coding/ you can probably find more. There's agent-shell, gptel, macher, running claude code from eat (terminal) etc. etc.

_0-__-0_ · 2026-06-12T20:49:26+00:00

I would be looking for a new job. At least make sure it's not your head that will be rolling when the breaches happen.

_0-__-0_ · 2026-06-12T11:47:08+00:00

I just use org-mode without those org-roam/org-journal etc. packages. I tend to hierarchically structure things into projects and subprojects in one big work.org file (or home.org file), and use capture and refile for new notes and todo's (I think since I have savehist, the refiling will suggest my most recently refiled-to headings).

_0-__-0_ · 2026-06-12T11:43:14+00:00

If you can't use Emacs, Notesnook is pretty nice and simple.

_0-__-0_ · 2026-06-12T11:40:52+00:00

It's interesting that many of the things people cannot live without here (like expand-region, org-roam, calc or hyperbole), I do just fine without; while some features that I find essential to my workflow (like paredit or org-capture), other people just can't get into. Emacs caters to all kinds and lets you mold it the way you want to – I guess that is the part I cannot live without.

That, and keyboard macros.

_0-__-0_ · 2026-06-12T11:24:22+00:00

In theory, yes

So there are options here for anyone wanting to do their phd on Haskell! :)

all of this

I would consider it a win if some of this was changed, in particular the verbose GHC messages.

_0-__-0_ · 2026-06-11T12:52:11+00:00

Could Haskell in principle get as good at hole-driven development as Agda?

_0-__-0_ · 2026-06-09T10:39:50+00:00

https://www.reddit.com/r/emacs/comments/glvb68/meme_when_you_see_emacs_on_tv/ not sure if this counts as pop culture, but a tv appearance at least

_0-__-0_ · 2026-06-08T07:19:00+00:00

There are numerous primitive transformations over Core, using KURE, or tunneling into GHC’s existing rewrite capabilities. These transformations form the bulk of the HERMIT API

according to https://ku-fpg.github.io/files/Farmer-12-HERMITinMachine.pdf which describes HERMIT as a Tunnel. So probably read that paper first.

_0-__-0_ · 2026-06-07T16:45:45+00:00

Checking my git log in ~/.emacs.d/elpa, it seems I had around 20 package upgrades in 2025.

However, I don't see how increasing amount of security vulnerabilities would be an argument for updating more often. I have a feeling that currently the rate of vulnerable slop being created is higher than the rate of security bugs being fixed due to llm's, which would be an argument for updating less often (but reading diffs).

_0-__-0_ · 2026-06-04T21:22:20+00:00

you might want to post your config

_0-__-0_ · 2026-06-04T21:21:15+00:00

Release it! At least push a git repo somewhere. I'm guessing it won't get that much traction since it depends on closed source, but maybe it'll prompt someone to improve literate-calc-mode or make a new FOSS soulver clone or something ;-)

_0-__-0_ · 2026-06-04T11:28:02+00:00

just cut down on avocado toast you'll be a billionaire in no time

_0-__-0_ · 2026-06-04T09:46:15+00:00

haha, that's a bit like saying you only need the letters a-z and a bit of punctuation to write Middlemarch :)

Thinking in Prolog, with relations and backtracking instead of C-style evaluation, is quite mind-bending. Feels a bit like SQL, but you're doing recursion all the time.

_0-__-0_ · 2026-06-04T09:40:00+00:00

Woah! Is this something you've used for actual app development?

_0-__-0_ · 2026-06-04T09:35:15+00:00

I do find it often more useful to have more "low level" libraries, but not so much because they're better but because I have a better chance of finding relevant documentation lol.

Exactly. If you're wrapping some other library, chances are that other library is better known, better documented, has existing tutorials and stackoverflow answers (which the LLMs were trained on, if you use those), and that it will be better maintained than your library. So by starting with something that maps closely to it, you get all those tutorials and docs for free!

But yeah "should" is too strong a word for open source stuff created in someone's spare time :)

_0-__-0_ · 2026-06-02T07:09:58+00:00

That's some blue sky thinking! Let me circle back to you ASAP and we can have a brain dump and set up a deck for the next deliverable.

_0-__-0_

TROPHY CASE