Lightnews — Scholar-powered news

Reposted by RanaldClouston

Rob Ricci @ricci.discuss.systems.ap.brid.gy · 19d

On the Fediverse, the posts on your feed are moderated by dozens or even hundreds of different servers.

Ever wonder how that works out for your personal feed? Find out with https://moderation-explorer.online/

A screenshot of a website with the title "Who Moderates My Posts and Timeline?" It has a text box to enter your handle and a button that says "Find Out!"

The full text is available via the link in the post.

5 30 5

RanaldClouston @ranaldclouston.fediscience.org.ap.brid.gy · 4d

Rumble in the Bronx has been released on Netflix Australia! I last watched it thirty years ago in the cinema, and had a ball. Tonight's entertainment with my family will be finding out if it holds up... #jackiechan

RanaldClouston @ranaldclouston.fediscience.org.ap.brid.gy · 11d

Second hand book sale purchases for our family of four - how did we do? @bookstodon #bookstodon (bonus photo: our #kitten exploring the shopping bag we brought them home in #Caturday )

A collection of second hand books, including multiple Georgette Heyer, Katherine Kerr, Ngaio Marsh, and Arthur Conan Doyle

A calico kitten looking out of a large blue Ikea shopping bag

RanaldClouston @ranaldclouston.fediscience.org.ap.brid.gy · 11d

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

A crowd of people in a big barn, with trestle tables covered in books

1 1 1

RanaldClouston @ranaldclouston.fediscience.org.ap.brid.gy · 12d

@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]

A stack of 'Dial H' comics. The visible covers credit China Miéville and Mateus Santolouco.

RanaldClouston @ranaldclouston.fediscience.org.ap.brid.gy · 14d

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]

How High We Go in the Dark, by Sequoia Nagamatsu. Front and back cover feature blurbs by Alan Moore, Samantha Shannon, Aimee Bender, Chloe Benjamin, and Adrian Tchaikovsky

1

RanaldClouston @ranaldclouston.fediscience.org.ap.brid.gy · 18d

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

A box of seven Lord of the Rings books (two volumes for each book, plus one of extra material), with the spines each displaying one letter of the name TOLKIEN. They have been rearranged to spell NOT LIKE.

4

RanaldClouston @ranaldclouston.fediscience.org.ap.brid.gy · 21d

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]

The Once and Future King, by T. H. White. Cover image is a poorly drawn medieval falconer with a strangely hangdog, morose expression.

1

RanaldClouston @ranaldclouston.fediscience.org.ap.brid.gy · 23d

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/

1 4 1

RanaldClouston @ranaldclouston.fediscience.org.ap.brid.gy · 24d

@neonbubble also great to watch for a partisan, even the end was a heartbreaker!

Reposted by RanaldClouston

Mark H @neonbubble.mstdn.social.ap.brid.gy · 24d

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

#Rugbyleague #nrl

1 1

RanaldClouston @ranaldclouston.fediscience.org.ap.brid.gy · 24d

!!!!!!!! #nrl

Reposted by RanaldClouston

Mark H @neonbubble.mstdn.social.ap.brid.gy · 24d

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

1 1

RanaldClouston @ranaldclouston.fediscience.org.ap.brid.gy · 24d

Thus is getting nervous! #raiders #nrl #Rugbyleague

1 1

RanaldClouston @ranaldclouston.fediscience.org.ap.brid.gy · 27d

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]

1

Reposted by RanaldClouston

Manuel Erhardt @erhardt.social.librem.one.ap.brid.gy · 29d

#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.

Incumbent Prime Minister Jonas Gahr […]

Original post on social.librem.one

social.librem.one

1 3

Reposted by RanaldClouston

Martin Escardo @martinescardo.mathstodon.xyz.ap.brid.gy · Sep 5

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 […]

Original post on mathstodon.xyz

mathstodon.xyz

3

RanaldClouston @ranaldclouston.fediscience.org.ap.brid.gy · Sep 3

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 […]

Original post on fediscience.org

fediscience.org

1

RanaldClouston @ranaldclouston.fediscience.org.ap.brid.gy · Sep 3

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

Category theory commuting diagrams presenting conditions for Lawever-Tierney topologies. If you squint a bit, these diagrams resemble the conditions on the necessity modality of S4.

1

Reposted by RanaldClouston

Rob Ricci @ricci.discuss.systems.ap.brid.gy · Aug 31

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]

A world map showing the physical locations of ATProto PDSes. They are concentrated mostly on the US coasts and in Europe, with a few showing in Asia, Oceana, and South America

A world map showing geographical locations of fediverse instances. The USA and Europe are very densely represented, and there are quite a few servers in East Asia (largely Japan and Korea), and some in Southeast Asia and Oceania. There are also a few in Africa and South America.

2 1

RanaldClouston @ranaldclouston.fediscience.org.ap.brid.gy · Aug 30

@scifi Finished the July/August issue of #asimovssciencefiction magazine. A bit of a rollercoaster of quality this issue, with the low point a story by Dominica Phetteplace that I found remarkably clumsily written. But, more importantly, very high high points: #richlarson with a story that […]

Original post on fediscience.org

fediscience.org

Reposted by RanaldClouston

Quinn Norton @quinn.social.circl.lu.ap.brid.gy · Aug 28

Afrofuturism scifi novel suggestions for my college-aged kid... go!

(And thanks in advance)

1 4

RanaldClouston @ranaldclouston.fediscience.org.ap.brid.gy · Aug 26

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

RanaldClouston @ranaldclouston.fediscience.org.ap.brid.gy · Aug 24

@highergeometer yes, has happened in my recs recently also: https://fediscience.org/@RanaldClouston/115031296558879158

RanaldClouston (@[email protected])

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.

fediscience.org

Reposted by RanaldClouston

Martin Escardo @martinescardo.mathstodon.xyz.ap.brid.gy · Aug 20

* 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 […]

Original post on mathstodon.xyz

mathstodon.xyz