Sign in

Oisín Kidney

@doisinkidney.com
125 followers 220 following 10 posts

Functional programming researcher. doisinkidney.com (Personal site: doisinkidney.com/personal)

PostsRepliesMedia
Oisín Kidney @doisinkidney.com · 27/06/2026
I feel that the OP (and lots of the comments) seem annoyed that the monster/story didn’t fit in the normal DnD pattern, and a lot of their negative feeling is because of that. I think that’s a pity! (The original monster was for an OSR game, though, so it makes sense it’s not a great fit for DnD)
120
Oisín Kidney @doisinkidney.com · 27/06/2026
This DM did a good guide on how to run the false hydra effectively youtu.be/hy_fkcWtsCE
youtu.be
How to Run.. The False Hydra for D&D 5e TTRPG
YouTube video by PrinceDabsALot
101
Oisín Kidney @doisinkidney.com · 28/04/2026
Tries for Polynomials doisinkidney.com/posts/2026-0...
doisinkidney.com
Tries for Polynomials - Donnacha Oisín Kidney
094
Oisín Kidney @doisinkidney.com · 06/03/2026
That's a good observation, and yeah it seems like there's something more going on. I think the weakened monus laws only ensure that a heap built using the comparison+subtraction method in the post is actually a valid difference-based heap. The stronger property might need the ⇔ you have here.
100
Oisín Kidney @doisinkidney.com · 05/03/2026
Oh no worries! I don’t post here much
110
Oisín Kidney @doisinkidney.com · 27/01/2026
POPL talk on Hyperfunctions: youtu.be/9M_E7mPaLQ4
youtu.be
020
Oisín Kidney @doisinkidney.com · 14/11/2025
Unfortunately, I think that some peoples' reaction to this scandal will be to stop listening to all research on lifting (at least in the short term).
110
Oisín Kidney @doisinkidney.com · 14/11/2025
in informing casual/general population exercise/diet regimens. The shame is that I think there are other fitness people online who actually do write about serious science, and present it in a digestible and responsible way. (Greg Nuckols being probably the best example)
110
Oisín Kidney @doisinkidney.com · 14/11/2025
I think a lot of his advice was unscientific in subtle ways (i.e. generalising from narrow study results to overly-broad training prescriptions). The fact that he associated his brand so much with "science" did a lot of damage, and gave people the wrong impression of what role science should play
120
Oisín Kidney @doisinkidney.com · 04/05/2025
POPL Talk on "Formalising Graph Algorithms with Coinduction" youtu.be/sgNT2w_f-o4 Paper here: doisinkidney.com/posts/2024-1...
youtu.be
[POPL'25] Formalising Graph Algorithms with Coinduction
YouTube video by ACM SIGPLAN
092