First time in a few years I've made time to watch the #AllBlacks . Good fun, and reassuring in a chaotic world to see Eden Park is still impregnable. #Rugby #NZLvAUS
RanaldClouston
@ranaldclouston.fediscience.org.ap.brid.gy
Lecturer in Computer Science at Australian National University. Interested in logic, types, and categories. See my introduction post […] 🌉 bridged from ⁂ https://fediscience.org/@RanaldClouston, follow @ap.brid.gy to interact
#GardnerDozois must be the most reliable name in short sci fi; for more than three decades straight he read every professional publication in the field and published 600 pages of his favourites. His 2011 collection is not the best I've read - it even has one […] [Original post on fediscience.org]
Having a cold is annoying, but at least I'm being looked after. #Caturday #CatsOfMastodon #DogsOfMastodon
My first foray into classical Graeco-Roman literature (I've read a bit of viking stuff like Beowulf before). I can see why Hollywood is attracted to this one; it builds through a series of smaller adventures into a satisfyingly brutal scene of action and […] [Original post on fediscience.org]
Still a day or two left for you or your students to apply for grants to attend the #Logic Summer School at #ANU in Canberra. We can and do support international travel for students! https://comp.anu.edu.au/lss/grants/
Grants
Homepage of the Logic Summer School program at ANU School of Computing.
comp.anu.edu.au
Having done bidding for papers at the next Certified Proofs and Programs (CPP), I have this to say: "Formalization of X in Y" isn't gonna cut it anymore. When calculators first came out, did people try to publish "We computed √(5 + log 2) to 15 decimals"?
#KatharineKerr delivers on the climax of her second Deverry quadrilogy, with all the magic, battle scenes, and shocking character deaths one might wish for. Imagine George R. R. Martin, except working decades earlier and capable of ending a story, and you […] [Original post on fediscience.org]
"Forty-five of 48 members of the editorial board of the Journal of Approximation Theory resigned earlier this month for what they called Elsevier’s “concerning and potentially detrimental” decisions regarding the publication. " "An April 3 email signed by 45 editors and both former […]
Original post on mathstodon.xyz
mathstodon.xyz
A primer on philosophical paradoxes that is surprisingly wide ranging for its length: more than 200 named paradoxes, according to the index, discussed in less than 200 pages. This means steaming through them pretty quickly, but it works as a nice introduction […] [Original post on fediscience.org]
Reading a philosophy book, and saw a citation to a philosopher called 'John Wisdom', which is a pretty great bit of #nominativeDeterminism
"This is it, he thought. This is where we've filled ourselves up with so many questions that they're starting to overflow and become answers." #TerryPratchett was my most beloved author by far when I was a teenager, but I've re-read him only a few times over […] [Original post on fediscience.org]
Family haul from #Canberra 's wonderful #LifelineBookfair second hand book (and DVD, puzzle, etc) sale. Did we win? @bookstodon #Bookstodon
King Kapisi "Screams From The Old Plantation" https://youtu.be/soEjX2YD3yM #JukeboxFridayNight #Royalty
The only King I recognise https://www.youtube.com/watch?v=2QSzOvzi33c 'KING' by #BakerBoy #JukeboxFridayNight #Royalty
Ok, first of all 👏 for finishing the book. I'm not sure how old you are, but whether you are 10-100, the applause is the same. Very good questions that are impossible to answer in short tweets, but let me give it a try, one per 'tweet':
An anthology of recent (2012-23) short space opera, a genre defined by editor #JonathanStrahan in an interesting introduction as "romantic adventure set on space and told on grand scale". This is a high quality collection by a diverse group of big names in […] [Original post on fediscience.org]
A friend sent me this picture of the local library. The text below reads: "I think somebody read out from the wrong book at the library".
A near-future thriller of a woman drawn into a world of ecoterrorism and the smuggling of taxidermied endangered species. Jane is a unique protagonist, a hulking former collegiate wrestler and bodybuilder with a violent past, turned into an apparently […] [Original post on fediscience.org]
I watched Clue (1985) for the first time this weekend, with my kids, and I think Tim Curry's butler is one of the great comic performances in cinema. The kids were in hysterics. RIP #TimCurry
The Australian National University's annual #Logic Summer School is running for its 34th time! https://comp.anu.edu.au/lss/ . Starting on 7 December, we'll have a week of lectures by locals, including a series by me titled 'Foundations (plural) of Mathematics', and then a week from our overseas […]
Original post on fediscience.org
fediscience.org
The Australian National University's annual #Logic Summer School is running for its 34th time! https://comp.anu.edu.au/lss/ . Starting on 7 December, we'll have a week of lectures by locals, including a series by me titled 'Foundations (plural) of Mathematics', and then a week from our overseas […]
Original post on fediscience.org
fediscience.org
My last read was a thousand page monster, so I was looking for something lighter and frothier, and this romantic comedy fantasy of 19th century pirate witches and their flying houses did the job. But I didn't much like it. The central joke, that the […] [Original post on fediscience.org]
Finished this 992 page behemoth of a novel by typographer #RianHughes , in which Earth is 'invaded' by ideas from outer space. Full of style shifts from fake wikipedia pages and BBC articles, to text-based graphic storytelling, to an entire novella presented […] [Original post on fediscience.org]
Ooh, unexpected surprise: fifth season of Wellington Paranormal on the way! https://tvtonight.com.au/2026/08/renewed-wellington-paranormal.html
tvtonight.com.au
Finished reading this collection of short stories and critical and philosophical essays by Borges, mostly from the 1940s, and unfortunately bounced off it pretty hard. His very short stories are written (and translated) in a style that I found dry and […] [Original post on fediscience.org]
A romantasy about a secretly Jewish magician in inquisition-era Spain. I've not read #LeighBardugo before, and had mixed feelings about this, leaning positive. Her prose is elegant and pleasurable to read, and she balances the plausible and magical aspects […] [Original post on fediscience.org]
I was joking with my 11yo old daughter, and #SherlockHolmes buff, that the conference I attended had filled my brain up and I needed to forget something to make room, and asked her what the most unimportant thing I knew was. She immediately replied, "the Copernican system".