Lightnews — Scholar-powered news

Matt Luckcuck @mattluckcuck.bsky.social · 1d

Phew!
That makes more sense. 😁

1

Matt Luckcuck @mattluckcuck.bsky.social · 1d

Wait...the kid dated your Grandma or Bond dated your Grandma? 😅

1

Reposted by Matt Luckcuck

arxiv cs.RO @arxiv-cs-ro.bsky.social · 13d

Atef Azaiez, David A. Anisi, Marie Farrell, Matt Luckcuck
Revisiting Formal Methods for Autonomous Robots: A Structured Survey
https://arxiv.org/abs/2509.20488

1 1

Reposted by Matt Luckcuck

arXiv cs.RO Robotics @csro-bot.bsky.social · 13d

Atef Azaiez, David A. Anisi, Marie Farrell, Matt Luckcuck: Revisiting Formal Methods for Autonomous Robots: A Structured Survey https://arxiv.org/abs/2509.20488 https://arxiv.org/pdf/2509.20488 https://arxiv.org/html/2509.20488

1 2

Reposted by Matt Luckcuck

arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social · Jun 18

Matt Luckcuck, Angelo Ferrando, Fatma Faruq: Varanus: Runtime Verification for CSP https://arxiv.org/abs/2506.14426 https://arxiv.org/pdf/2506.14426 https://arxiv.org/html/2506.14426

2 1

Reposted by Matt Luckcuck

arXiv cs.SE Software Engineering @csse-bot.bsky.social · Apr 1

Marie Farrell, Matt Luckcuck, Rosemary Monahan, Conor Reynolds, Ois\'in Sheridan: Adventures in FRET and Specification https://arxiv.org/abs/2503.24040 https://arxiv.org/pdf/2503.24040 https://arxiv.org/html/2503.24040

1 1 1

Reposted by Matt Luckcuck

Tom Gauld @tomgauld.bsky.social · 6d

A cartoon from my new book, 'Physics for Cats'. Out next week: www.tomgauld.com

A scientist stands in front of an enormous contraption
"I created this device to test my theory that our entire reality is a simulation, but the readings I'm
getting suggest something much worse"

"What?" Asks a second scientist.
"We're living in a cartoon!" Says the first.
"Does it at least have a good punchline?" says the second.
The fiorst scientist carefully looks over the data, then eventually replies "Nope"

From 'Physics for Cats' by Tom Gauld - order it at www.tomgauld.com

17 390 1.1K

Reposted by Matt Luckcuck

Colleen Morgan @clmorgan.bsky.social · 4d

“Bronze is brilliant!” #archink #inktober - bronze & flint
youtu.be/nyu4u3VZYaQ

Drawing of a skeuomorphic spear head made of flint. It says, “bronze bronze bronze bronze…what’s wrong with stone?” And hashtags in the tweet.

3 8 73

Matt Luckcuck @mattluckcuck.bsky.social · 4d

Bronze is user friendly and Zeitgeisty!

2

Matt Luckcuck @mattluckcuck.bsky.social · 7d

This was a really useful episode to listen to on the way to work.

Here, the Guardian's Science Weekly podcast talks about a lot of the big problems in the way we publish research (I don't suppose these issues are entirely confined to science research).

www.theguardian.com/science/audi...

Fraud, AI slop and huge profits: is science publishing broken? – podcast

Scientists warn academic publishing needs reform in order to retain trust in research system. Ian Sample talks to Madeleine Finlay and Dr Mark Hanson proposes potential solutions

www.theguardian.com

1

Reposted by Matt Luckcuck

Alison Fisk @alisonfisk.bsky.social · 8d

Charming little octopus from a Roman villa at Villaquejida, León, Spain. Limestone, 2nd-3rd century AD.

Museo Arqueológico Nacional, Madrid 📷 me

#Archaeology

My photo shows a mosaic fragment from the floor of a Roman villa in Spain, dated AD 100-200s. It depicts a cartoon-like, stylised octopus using red, yellow, white, and black limestone tesserae, against a white background. The front-facing octopus has a large red and white head/body outlined in black. Its yellow circular eyes are outlined in black with a central black dot. Below the head/body are eight writhing tentacles

14 260 1.1K

Matt Luckcuck @mattluckcuck.bsky.social · 9d

The Remains of the Dough?

1 1 1

Reposted by Matt Luckcuck

Ben Williamson @benpatrickwill.bsky.social · Nov 23

Not sure anyone can handle even more horrible AI in academia but as a T&F journal editor I am appalled to inform you of "Paperpal", allegedly "Trained on millions of published scholarly articles." 1/2
paperpal.com/blog/news-up...

CACTUS Joins Hands with Taylor & Francis to Simplify Editorial Process with a Pioneering AI Solution | Paperpal

CACTUS announced a partnership with Taylor and Francis to to introduce an innovative AI solution, Paperpal Preflight for Editorial Desk, designed to streamline journal editorial processes. By bringing...

paperpal.com

8 41 120

Reposted by Matt Luckcuck

The Guardian @theguardian.com · 13d

‘A hub of humanity’: National Railway Museum space reopens after £11m refit

Station Hall displays from a microwave-burger box to royal carriages intended to showcase best and worst of rail travel

www.theguardian.com

1 12 71

Matt Luckcuck @mattluckcuck.bsky.social · 13d

End of Level Boss.

@vimtotime.bsky.social

A dusky grey cat, sat on a metal street cabinet, against a brick wall. The cat is looking right at you.

1 2 12

Reposted by Matt Luckcuck

Peter Donaghy @peterdonaghy.bsky.social · 15d

The shortest distance across the border from England to Scotland is over 130 miles

Google AI Overview

No, it's not possible to throw a paper plane from England to Scotland, as the flight distance between them is far greater than the maximum range of a paper airplane. The Guinness World Record for the longest distance flown by a paper airplane is only around 88 meters (290 feet), while the shortest distance across the border from England to Scotland is over 130 miles, requiring much more than a single throw.
Here's why it's impossible:
Distance:
England and Scotland are separated by a significant landmass and body of water, with the narrowest points being over 100 miles wide.

12 13 46

Reposted by Matt Luckcuck

Peter Donaghy @peterdonaghy.bsky.social · 15d

Incredible stuff

No, it's not possible to physically "throw" a paper plane from Northern Ireland to the Republic of Ireland because the border is an actual physical land boundary, not an aerial one you could cross with a paper aircraft. While you can cross the border with ease for people and goods, the concept of throwing a paper plane across this geographical divide is a physical impossibility.
Why It's Not Possible
Physical Border:
The border between Northern Ireland and the Republic of Ireland is a geographical, not an aerial, boundary. There is no open airspace for paper planes to travel across.
Distance:
The land border is significant, and a paper plane thrown by hand simply lacks the power and range to cover that distance.
Gravity and Aerodynamics:
A paper plane is subject to gravity and air resistance, which would quickly bring it down after being thrown.
In Summary
You can move freely between the two jurisdictions, but this doesn't mean you can throw an object across the physical landmass. The question is about a physical action that cannot be performed over the distance between Northern Ireland and the Republic of Ireland.

11 24 99

Reposted by Matt Luckcuck

Emmet Ó Briain @emmet.quiddity.ie · 15d

is it possible to throw a paper airplane from Dublin to Dublin?

• Al Overview
+4 :
No, it's not possible to throw a paper airplane from one place in Dublin to another, as paper airplanes are designed for much shorter distances and the city of Dublin spans several miles. A paper airplane with the best design can fly over 200 feet, but the city of Dublin is over 30 miles wide, making such a feat impossible with a paper airplane.

1 3 25

Matt Luckcuck @mattluckcuck.bsky.social · 15d

Just hitting random on @smbccomics.bsky.social and found this, which feels very on-the-nose at the moment.

Saturday Morning Breakfast Cereal - 2013-04-07

www.smbc-comics.com

1

Reposted by Matt Luckcuck

Kit de Waal @kitdewaal.com · 16d

The Royal Society for Blind Children (RSBC) urgent appealing to children’s authors, writers and publishers to donate stories to its new bedtime stories app.

The charity relies on stories in the public domain but are running out of books.

Anyone willing to donate should contact [email protected].

5 150 140

Reposted by Matt Luckcuck

Bethany Brookshire @beebrookshire.bsky.social · 16d

Some people think ChatGPT has a place writing things like news briefs, stuff written to a specific style and tone and, y'know, kinda boring.

So Science did a study.

ChatGPT failed.

Why? It got stuff wrong. "Also, extensive editing for hyperbole was needed." www.science.org/content/blog...

Can ChatGPT help science writers?

www.science.org

11 210 420

Reposted by Matt Luckcuck

Orkney Library & Archive @orkneylibrary.bsky.social · 17d

Today is #HobbitDay because both Bilbo and Frodo Baggins were born on September 22nd. Normally we'd shire a hobbit pun or two but it might just feel like a tolkien gesture and we don't want to embarrass our elves. Anyway come and boromir #Tolkien books.

22 170 600

Reposted by Matt Luckcuck

York Festival of Ideas @yorkfestofideas.bsky.social · 17d

Open Lectures at the University of York are back for the new academic year! 💛

Find out more at www.york.ac.uk/news-and-eve...

1 1

Reposted by Matt Luckcuck

DerbyshireArchaeology @derbyshirearch.bsky.social · 24d

#MosaicMonday

Long Eaton Library, funded by the Carnegie Trust for Long Eaton Urban District Council in 1906, and Grade II Listed.

The mosaic over the entrance shows the light of learning.

her.derbyshire.gov.uk/Monument/MDR...

Mosaic panel over the entrance of Long Eaton Libray, showing the figure of Learning holding a torch. Image credit 'The Wulfrun Way' on flickr

2 12

Reposted by Matt Luckcuck

House of Commons Speaker @commonsspeaker.parliament.uk · 17d

Happy Derbyshire Day. The flag of Derbyshire is flying in New Palace Yard today to mark this historic county day.

Did you know that Derbyshire has featured in the official titles of more than 200 Commons debates?

The Derbyshire historic county flag with a green cross on a blue background and a gold tudor rose in the centre.

3 9