Oisín Kidney @doisinkidney.com · 27/06/2026I 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/2026This DM did a good guide on how to run the false hydra effectively youtu.be/hy_fkcWtsCEyoutu.beHow to Run.. The False Hydra for D&D 5e TTRPGYouTube video by PrinceDabsALot 101
Oisín Kidney @doisinkidney.com · 28/04/2026Tries for Polynomials doisinkidney.com/posts/2026-0...doisinkidney.comTries for Polynomials - Donnacha Oisín Kidney 094
Oisín Kidney @doisinkidney.com · 06/03/2026That'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 · 27/01/2026POPL talk on Hyperfunctions: youtu.be/9M_E7mPaLQ4youtu.be 020
Oisín Kidney @doisinkidney.com · 14/11/2025Unfortunately, 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/2025in 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/2025I 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/2025POPL 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 CoinductionYouTube video by ACM SIGPLAN 092