My votes for the famous annual Australian music countdown, the #triplej #hottest100 for 2025:

For the first time since I moved to Australia and started voting the kids are grown up & independent enough to want to cast their own votes, so I have no one to […]

[Original post on fediscience.org]

Cats love to sit in boxes. Or anything that could be plausibly parsed as a box. #Caturday

For today's #JukeboxFridayNight theme #morethancarols , I don't think there's been many more tonally weird projects than the 'Christmas on Death Row' album... https://youtu.be/so1i47jcHf8 #snoopdogg

#canberra

7:30 pm and it is still 34.6 degrees

Are you being tracked when you visit your government's websites?

Probably!

We (@sachindhke, Faisal Mahmud, Sandra Siby, and I) have a new paper appearing at PETS (the Privacy Enhancing Technologies Symposium) next July that looks at government websites from […]

[Original post on discuss.systems]

A very rare DNF for me on this one, 220 pages in. The prose is the main thing that killed it for me, full of cliches. I gritted it out to the half way point to see if it went anywhere but although the main character Zelu carried some of my interest, nothing […]

[Original post on fediscience.org]

Since discovering them a couple of years back, #KatharineKerr 's Deverry series has become my fantasy comfort read; it's so easy to slip into her world with its particular catchphrases and characters that reoccur, but change, across hundreds of years of […]

[Original post on fediscience.org]

I'm happy that my proposal for an introductory course on Homotopy Type Theory / Univalent Foundations at the European Summer School in Logic, Language and Information 2026 in Prague was accepted!

A great opportunity to make use of @egbertrijke's recently published book, @MartinEscardo's lecture […]

Lots of fun #cricket today, but 74 overs bowled in a day is pathetic.

I highly recommend the Midlands Graduate School in the Foundations of Computing Science. And so do tell me many previous students, some of whom are now well-established academics, including LICS invited speakers.

The courses for 2026 are:

1. Type theory using Agda
2. Category theory
3. Lambda […]

The #anu #logic Summer School is under way! https://comp.anu.edu.au/lss/ If you're interested in seeing what we teach, some slides will start appearing on the Lectures page of our website (currently only Peter's slides on Overview of Automated Reasoning have gone up).

In the post-mortality far future, an experiment with quantum gravity goes wrong and starts consuming the universe. Greg Egan is always worth a read and I really enjoyed the final chapters in particular, but I didn't love this one overall. I found the […]

[Original post on fediscience.org]

I love how far good programmers will go for the sake of a joke.

https://tabloid.vercel.app/

Slightly odd issue of #asimovssciencefiction with four of ten stories which I wouldn't call science fiction at all. Not that I'm particularly invested in policing genre boundaries, but it seems strange to stray so far from the magazine's strengths. My […]

[Original post on fediscience.org]

So much for my plans to watch #cricket tomorrow. #ashes

Baby #currawong fledging next to our house. What a fluffy baby. #birdsofmastodon

Finished reading #ursulakleguin 's 1820s historical novel set in a (fictional) part of the Austro-Hungarian empire - Orsinia, a setting she has returned to, in various time periods, in a few of her non-SFF works. The story does eventually feature a violent […]

[Original post on fediscience.org]

The slides for tonight’s talk are linked here, https://consequently.org/presentation/2025/wlmfp-wpmfl-p/
in case you’re interested in following along.

#philosophy #logic

Tomorrow evening, I get to talk to the Philosophy Society students about what I do (as a philosopher/logician) and why I do it. I’ll be interested to discover what the students make of it and where the conversation goes.

I love the poster they made for the […]

[Original post on hcommons.social]

There are some goings on at the World Othello Championships right now. A couple of years ago, Othello was announced to be weakly solved as a draw, with essentially 5 different proven perfect draw games (see https://arxiv.org/abs/2310.19387). Since that time, the community has come to believe the […]

New #asimovssciencefiction in the mail! Looking forward to getting started on it once I've finished my current read.

Breaking news (to me): "If wheel running is indeed caused by captive housing, wild mice are not expected to use a running wheel in nature. This however, to our knowledge, has never been tested. Here, we show that when running wheels are placed in nature […]

[Original post on social.vivaldi.net]

RE: odon.xyz/@egbertrijke/115528036589916180" class="hover:underline text-blue-600 dark:text-sky-400 no-card-link" target="_blank" rel="noopener" data-link="bsky">https://mathstodon.xyz/@egbertrijke/115528036589916180

Congratulations to @egbertrijke on the publication of his textbook on homotopy type theory and univalent mathematics!

For many of us classically trained mathematicians, learning univalent mathematics and type theory meant adapting to […]

Liberal Meltdown, the local version! #actpol
https://www.abc.net.au/news/2025-11-10/leanne-castley-steps-down-canberra-liberals-leader/105990626