I might dedicate friday’s “day of learning” to finally catch up on some of this LLM craze, specifically developer tooling. I’m very behind. Any recommendations on specific things to look at? Thanks!

Urgh I so much prefer the lightweight approach of test functions in HTF to any of the popular frameworks. If I’ve got to build an elaborate tree structure it’s such a pain in the ass. `prop_myfunc x = …` right there next to `myfunc` is so much better imho #haskell

This looks like my kind of university society

https://cercle-informatique.be/

@mjr @kinnison the thought crossed my mind, but on balance of probabilities, perhaps not. Unless anyone else has gone public wondering about transactions

@mjr @kinnison thanks for spotting that: yes, that explains it! (I still can't remember what I bought but hey!)

@zhenech enjoy it while it lasts!

@zhenech definitely, alas, not my only problem: per-diem of 62 EUR for food to contend with as well argh

seems I spent €1 EUR with them on a different day too. No idea what on

@gargle not on purpose. It looks pretty cool tho! Perhaps they were involved in running some of the drinks stalls on the weekend?

@kinnison Yeah perhaps club mate. I think I had one at some point. CERK INFO pointed me at https://cercle-informatique.be/ which is fascinating but possibly irrelevant

#FOSDEM ers, can anyone help me recall what "SUM UP CERKINFO CI DE" might be? €6.70 EUR. I'm guessing a coffee or something like that!

I’ve been enjoying hacking on Pandoc

Fully expecting Starmer to appoint Dominic Cummings now

I didn't think I necessarily had more to write about lavalamps but perhaps I do. I recently bought some new colours/bottles. And a friend sent me this interesting Techmoan video where he reviews some Mathmos ones: https://www.youtube.com/watch?v=ipFePT4Z270&pp=0gcJCZEKAYcqIYzv

Some people joke that you need a PhD to understand Haskell’s type system. I actually have one *substantially related to haskell* and I _still_ get stuck

I’ve been off my regular meds for about 2 weeks now (in order to take some antibiotics) and I don’t know if it’s psychosomatic but I generally feel more energetic and “with it”

@andrew_shadura oh nice. Nah the logo on the basic punter tee

@mcc also completely agree with you about the trilogy wow. What a time that was.

@mcc I think it’s just some screw up as the responsible publishers changed hands

@mcc hesitation marks has been deleted from *all* digital platforms at the moment