#Canberra #LifelineBookFair , our twice yearly war on the capacity of our bookshelves. Featuring @consequently

@comics #comics Did anyone else collect or read these Dial H comics from 2012-2013? On a re-read I still think they're pretty great fun, with #ChinaMieville 's brain fizzing away at inventing absurd new heroes, brought to life by #MateusSantolouco and […] [Original post on fediscience.org]

That's an absurdly impressive list of authors giving cover blurbs - Alan Moore, Samantha Shannon, and Adrian Tchaikovsky! A body-warping plague escapes from thawing Siberian permafrost and changes how a series of narrators experience death and loss, with each […] [Original post on fediscience.org]

Just finished reading The Lord of the Rings with my son. He enjoyed it a lot, which is in contrast to the first time a few years back that he attempted it and found it too heavy going, and rearranged the book spines to record his review! @bookstodon

King Arthur's life story is told across 4 novellas published between the 1930s-50s, collected in one volume here. The first half stands with the most fun I've had with a book in hand: startlingly hilarious and studded with bizarre passages like the full page […] [Original post on fediscience.org]

12,000 citations for 4 pages of paper is not a bad hit rate... today's #blog is a very short post on the announcement paper for the SMT solver Z3. https://blogs.fediscience.org/the-updated-scholar/2025/09/15/discussing-z3-an-efficient-smt-solver/

Wow! Brisbane win! Unfuckingbelievable! Just amazing. In off the post. Such a fabulous game to watch for us as neutrals. #Rugbyleague #nrl

Holy crap! The drama. A penalty goal awarded as time expires. Brisbane have tied it up 28-28. Extra time. They were 28-12 down and looked dead and buried. #Rugbyleague #nrl

Thus is getting nervous! #raiders #nrl #Rugbyleague

In this week's #blog (or last week's, I don't know, my schedule is shot) I look at the (pre)history of #separationLogic - cool substructural #logic set to work to solve programming problems […] [Original post on fediscience.org]

#Norway's minority #LabourParty government won a second term in power on Monday while the populist right achieved its best-ever result, official counts showed, in an election dominated by concerns over rising living costs and wars in #Ukraine and #gaza#ukraine#labourparty#norwayIncumbent Prime Minister Jonas Gahr […]

Assistant/Associate Professor at University of Birmingham UK (apply by 30 September). The University of Birmingham is recruiting assistant/associate professors in the School of Computer Science. The Theory of Computation group at Birmingham is world-renowned and we have been actively […]

For those who felt that youth radio station #triplej 's #hottest100 of Australian songs vote was taken over by millennials, they've released the top 20 as voted by 18-29 year olds and it's not very different, although Untouched does climb to number 1 […]

A blog post about Mac Lane and Moerdijk's impressive (though still small compared to The Elephant!) tome on topos theory https://blogs.fediscience.org/the-updated-scholar/2025/09/03/discussing-sheaves-in-geometry-and-logic/ #categorytheory #blog

Map of ATproto (Bluesky et al) user data servers / map of ActivityPub (Mastodon et al) servers. * ATproto / atmosphere: https://ipinfo.io/tools/map/88dbbbbc-8dc1-4b85-be3b-d8e5171f7454 and first attached image * ActivityPub / fediverse: NB: * These are the […] [Original post on discuss.systems]

Afrofuturism scifi novel suggestions for my college-aged kid... go! (And thanks in advance)

The final citation of this paper is not one I would have expected... https://www.cantab.net/users/david.pym/Bifurcation_Logic.pdf

* Explicit existence: we have one, and here it is for you to see. * (Truncated) existence: we have one, it doesn't matter what it is, and we won't tell you what it is, not because we are mean, but because we want to emphasize that we don't care which one is chosen. * Classical existence. It is […]

Mike Wright has been a long-time recorder of talks at conferences, including category theory conferences. He has a huge archive of recordings (>100k hours) and needs support to digitise them and make the archive freely available online. There are talks going back 50 years, and the project will […]

First time reading Emma by #JaneAusten , and although it took me a long time to get into (very slow moving, more dialogue than I think I've ever seen in a novel before, and knowing most of the plot twists from Clueless probably didn't help) it was well worth […] [Original post on fediscience.org]

I think this is the first time I've seen something that looks like AI slop polluting my Google Scholar recs: http://dx.doi.org/10.13140/RG.2.2.19060.26246 . I do not trust those em-dashes.

In this week's #blog I write briefly about a 2001 paper on designing lambda calculi for intuitionistic modal logic. https://blogs.fediscience.org/the-updated-scholar/2025/08/15/discussing-extended-curry-howard-correspondence-for-a-basic-constructive-modal-logic/ #logic #ModalLogic #ProofTheory […]

Just finished reading through and collating themes from my student feedback from teaching Logic last semester. I know some people hate student evaluations, but I find reading the written comments so valuable. I am touched that students take such time to give sometimes quite granular feedback for […]

Mathematicians: What are the important *definitions* in your field? For example, in topology the notions of compactness and of Hausdorff space are crucial (among many others). Or in complexity theory the notion of NP-completeness. And so on. Can you list the ones in your mathematical field? […]

"Bing bop boom boom boom bop bam" (at the 1:45 mark) #JukeboxFridayNight #boombangorcrash #KendrickLamar https://music.youtube.com/watch?v=dJOtB4lZzMc

I am going to make an attempt to #blog a bit again, reading and writing about papers and books, old and new, that are cited by recent work in my area. This week, we look at a #ProofTheory #logic textbook. https://blogs.fediscience.org/the-updated-scholar/2025/08/08/discussing-basic-proof-theory/

New edition of #asimovssciencefiction just arrived in the mail! Looking forward to the #richlarson in particular. @scifi

#Canberra #chess club filling the room tonight; their biggest evening ever apparently. Here supporting (well, chauffeuring) my 13yo.

I have finished up with teaching my big introductory #logic course at #anu, leading 300+ students through propositional, first order, and temporal logic, through natural deduction and tableaux, and through formal semantics and translation to natural language. I did a huge overhaul of the […]

#ProofTheory / simple #typetheory question: I'm reading Troelstra & Schwichtenberg's 'Basic Proof Theory' and they discuss 'simplification contractions' on natural deductions, which cover cases where an auxiliary premise of an elimination rule does not use the local variable it is given. e.g.if […]

Page 1 features the most #GregEgan quote ever: "The number of parallel worlds is uncountably infinite - infinite like the real numbers, not merely like the integers". This 1994 collection is significantly earlier work than the other Egan collection I own […] [Original post on fediscience.org]

As someone with an unusual first name, I don't see 'myself' in fiction very often, so this whole page sends me: https://warhammerfantasy.fandom.com/wiki/Ranald "The Cult of Ranald is, by general perception, a disorganised rabble of charlatans, thieves, and ne'er-do-wells. Authority figures […]

Had an adventure with this beautiful and extremely good natured Cavalier King Charles Spaniel puppy today; found her wandering lost on the street with no collar and took her home because we were worried about her on traffic. Reunited with her owner thanks to […] [Original post on fediscience.org]

Uplifting music, sung in gibberish #SigurRós #JukeboxFridayNight #songstomakeussmile https://www.youtube.com/watch?v=JAYb8ZyjzD0

Every logician knows about Peirce’s law, this curious tautology equivalent to the law of excluded middle that uses only the implication connective. Less known is that around 1896, Peirce invented the first diagrammatic proof system in history, predating string diagrams in category theory and […]

I recently read and absolutely loved a collection of stories about the iconic French gentleman burglar Arsène Lupin. This slightly later (1909) collection was flabbier and less to my taste, but #MauriceLeBlanc was certainly ahead of his time with his Dan […] [Original post on fediscience.org]

Someone on Reddit has graphed the songs by release year. 1997 for the win, but a decent spread. #Hottest100 #hottest100ofAustralianSongs #TripleJ […] [Original post on fediscience.org]

#triplej countdown of the #hottest100ofaustralia Number 1 - Never Tear Us Apart by INXS https://www.youtube.com/watch?v=AIBv2GEnXlc #jjj #music

#triplej countdown of the #hottest100ofaustralia Number 5 - Don’t Dream It’s Over by Crowded House https://www.youtube.com/watch?v=J9gKyRmic20 #jjj #music

I liked most of the first 90 songs quite a lot, but if the last couple of songs are any guide I am getting a bit worried about the rest... #triplej #hottest100

We voted for this one. Best first minute in hard rock history? #hottest100 #acdc #triplej

The countdown #hottest100ofaustralia songs is starting now on #triplej https://www.abc.net.au/triplej/countdown/hottest100

Two of Australia's most popular modern metal bands get together for a fun collaboration, with a hilarious self-effacing music video https://youtu.be/sYySr4E7kLg?feature=shared #standatlantic #polaris #JukeboxFridayNight #heavymetalhardrock

Reread this #ChinaMiéville ; a pure fun adventure in a postapocalyptic world of twisting rails across ground infested by giant creatures, and the molers, pirates, and explorers who travel around it in trains. #bookstodon @bookstodon

Really dispiriting to go along to a colleague's first lecture at #anu , the first lecture of a course, and only about a third of students attend. What chance do we have to make a positive impact among students who are so disconnected? @academicchatter

Finished another of my growing collection of gigantic #GardnerDozois anthologies of best short sci fi from a year - this one, 2014. These collections are always so good, and diverse in themes and moods. #NancyKress ends this one on a particularly high note […] [Original post on fediscience.org]

Important democratic duty taken care of this morning... voting in Triple J's Hottest 100 Australian Songs. Exceedingly tough, balancing the music of my childhood, youth, and now. Left it to the last minute, so purely vibes based. #hottest100 […] [Original post on fediscience.org]

#hottest100ofaustralia My Votes Track: Dust Me Selecta — Artist: Gerling Track: Enter Spacecapsule [Radio Disko Remix] — Artist: Gerling Track: Covered In Chrome — Artist: Violent Soho Track: Kong Foo Sing — Artist: Regurgitator Track: Bow River — Artist: Cold Chisel Track: Freak — Artist […]

Good luck with that