pleroma.debian.social

pleroma.debian.social

Jonathan Dowland | @jmtd@pleroma.debian.social

Principal Software Engineer on #OpenJDK #IBM. #Debian developer. PhD in Computing Science. Amateur historian (Computing Science and H/W, esp. Commodore Amiga). Guerilla archivist.

Currently playing whack a mole with parsec combinators. Fix one parser bug, re-break another!

@thomasfuchs @RnDanger that *is* a fantastic one. Can easily run rock-box; replacement bits readily available, mod kits for solid stage storage too.

Booted old laptop... Firefox *everywhere else* reverts to default theme

Idle thought: if you are a software maintainer who objects to GitHub, and you used sha256 hashes for your git repos, then those repos cannot be pushed to GitHub.

I’ll probably ring fence some time to further explore the ethical issues with them (that’s pretty much all I’ve done so far) but not the whole day

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

»