Lightnews — Scholar-powered news

Reposted by Valeria de Paiva

Tom Gauld @tomgauld.bsky.social · 24d

My latest cartoon for @newscientist.com

p.s. this week I am on a USA/Canada tour with my new book. Details and preorder links at tomgauld.com

Panel 1. image of a huge nuclear plant.
“Reactor Overheating”

2. A worker in a hazmat suit works at a computer. The screen reads:
“Press cancel to avoid critical overload”

3 - 9. The worker continues to type at the computer. The screen changes in each panel and reads:
“Enter password to confirm”
“Incorrect password”
“Incorrect password”
“Do you want to reset your password?”
“Reset link has been sent to your email”
“Please choose a new password”
“New password can't be the same as old password”
The colour gets hotter in each panel. Starting blue in 1 and ending in red in 9.

Panel 10. Wide view. The entire earth is blown up.

23 890 2.4K

Reposted by Valeria de Paiva

Katie Mack @astrokatie.com · Aug 22

I don’t think it can be emphasized enough that large language models were never intended to do math or know facts; literally all they do is attempt to sound like the text they’re given, which may or may not include math or facts. They don’t do logic or fact checking — they’re just not built for that

Popular Science @popsci.com · Aug 21

Unfortunately, it repeatedly offers incorrect answers for straightforward math questions. 🧪

A version of OpenAI's GPT-4 will be 'teaching' thousands of kids this fall

Khanmigo's AI beta "test" program is meant to assist teachers with individualized student help.

www.popsci.com

150 2K 5.1K

Reposted by Valeria de Paiva

Prakash Lab at Stanford @prakashlab.bsky.social · 18d

For last 10 years - we have worked with thousands of organizations around the world helping support them in integrating foldscope programs.

To bring in a new cohort of organizations - we are re-launching “fast and curious” 2025 edition - apply and get a Foldscope trainer and Foldscopes for free!

TeamFoldscope @teamfoldscope.bsky.social · 19d

🔬 Free microscopes + teacher training!

📅 Applications are now open. To apply, visit www.foldscope.com or scan the QR code (video)

✉️ Any questions? Email us at [email protected]

#stem #education #science #teachers #training #free #microscopy #educators #professionaldevelopment #microscope

30 59

Reposted by Valeria de Paiva

Women In Logic @womeninlogic.bsky.social · Aug 26

🚨TALK ANNOUNCEMENT🚨

Emma Gruner (Penn State University), "A Baire Category Approach to Besicovitch's Theorem"

September 4, 2025, 1pm UTC-5, on zoom

lagrange.math.siu.edu/calvert/Onli...

Online Logic Seminar

lagrange.math.siu.edu

1 2

Reposted by Valeria de Paiva

Women In Logic @womeninlogic.bsky.social · Aug 28

🚨NEW PAPER ALERT🚨

Sujata Ghosh, Fenrong Liu, et al., "Reasoning under uncertainty in the game of Cops and Robbers," Synthese 206, article 101 (2025): link.springer.com/article/10.1...

Reasoning under uncertainty in the game of Cops and Robbers - Synthese

The game of Cops and Robbers is an important model for studying computational queries in pursuit-evasion environments, among others. As recent logical explorations have shown, its structure exhibits a...

link.springer.com

1 5

Reposted by Valeria de Paiva

arXiv cs.AI Artificial Intelligence @csai-bot.bsky.social · Aug 29

Marianne Defresne, Romain Gambardella, Sophie Barbe, Thomas Schiex: Efficient Neuro-Symbolic Learning of Constraints and Objective https://arxiv.org/abs/2508.20978 https://arxiv.org/pdf/2508.20978 https://arxiv.org/html/2508.20978

4 2

Reposted by Valeria de Paiva

Women In Logic @womeninlogic.bsky.social · Aug 30

The Women in Logic at the Bochum Feminist Logic workshop.

1 5 17

Reposted by Valeria de Paiva

Women In Logic @womeninlogic.bsky.social · Aug 30

Wrapping up the formal talks we have Gillian Russell talking about Social Spheres: Logic, Ranking, and Subordination.

A person with glasses and mid length purple hair, dressed in dark clothing, holding a handout.

1 1 3

Reposted by Valeria de Paiva

Women In Logic @womeninlogic.bsky.social · Aug 29

A poster for the Feminist Logic workshop at the Bochum university U-bahn station!

1 4 18

Reposted by Valeria de Paiva

Women In Logic @womeninlogic.bsky.social · Sep 2

🚨TALK ANNOUNCEMENT🚨

Women in Logic Online

Speaker: Nina Gierasimczuk
Title: Learning and Belief Revision: an Overview
Date: Tuesday, September 16, 2025
Time: 17:30 (European Summer Time)
Venue: Online via Zoom

Register: tuwien.zoom.us/webinar/regi...

Welcome! You are invited to join a webinar: Women in Logic Online with Nina Gierasimczuk. After registering, you will receive a confirmation email about joining the webinar.

Learning and Belief Revision: an Overview

tuwien.zoom.us

1 3

Reposted by Valeria de Paiva

Women In Logic @womeninlogic.bsky.social · Sep 3

“Commemorating Frege: Logic and Philosophy of Mathematics” Workshop

Speakers: Francesca Boccuni, Janine Gühler, Ludovica Conti, Leila Haaparanta, etc.
Date: September 10-12, 2025
Venue: Maynense Room, Lisbon Academy of Sciences, Lisbon.

cful.letras.ulisboa.pt/lancog/event...

Commemorating Frege: Logic and Philosophy of Mathematics – Lancog

cful.letras.ulisboa.pt

3 8

Reposted by Valeria de Paiva

Women In Logic @womeninlogic.bsky.social · Sep 5

The Women in Logic at the 7th International School and Workshop on Proof Theory, UGent (proof2025.ugent.be)

2 8

Reposted by Valeria de Paiva

Women In Logic @womeninlogic.bsky.social · 29d

Rosalie Imhoff speaking on "Logic and Inference in Constructive Set Theory" at the Peter Aczel Memorial Conference in Manchester.

3 6

Reposted by Valeria de Paiva

Paula Quinon @ludolphine.bsky.social · 29d

British Logic Colloquium Day 1

www.signbsl.com/sign/logic

Found @saraluckelman.bsky.social

Watch how to sign 'logic' in British Sign Language.

www.signbsl.com

4 6

Reposted by Valeria de Paiva

Paula Quinon @ludolphine.bsky.social · 29d

Manchester Peter Aczel Memorial Conference and British Logic Colloquium

Turing Building

Phyllis Nicolson, physicist and mathematician, pioneer in computer science, numerical analyst and an expert user of Hartree’s differential analyser

@womeninlogic.bsky.social
#womenincomputerscience

3 2

Reposted by Valeria de Paiva

Women In Logic @womeninlogic.bsky.social · 28d

Fairouz Kamareddine gives an invited talk on "Numbers, Sets, Types, and Paradoxes" at the British Logic Colloquium 2025.

A woman with long black hair, a purple shirt, and black trousers standing in front of a slide announcing her talk.

2 7

Reposted by Valeria de Paiva

Women In Logic @womeninlogic.bsky.social · 28d

So many excellent books by #WomenInLogic for sale at the BLC.

A Course in Model Theory by Katrin Tent et al.

Fast Track to Forcing by Mirna Dzamonja.

A Logical Foundation for Potentialist Set Theory by Sharon Berry.

2 6

Reposted by Valeria de Paiva

Women In Logic @womeninlogic.bsky.social · 28d

Florrie Verity presents on Homotopy Type Theory: Models and Modalities at the British Logic Colloquium.

Slide with the title and author in beautiful handwritten font.

A woman with glasses and short curly hair, an olive drab shirt and cream trousers.

2 5

Reposted by Valeria de Paiva

Women In Logic @womeninlogic.bsky.social · 27d

Paua Quinon @ludolphine.bsky.social gives a keynote at the British Logic Colloquium on "Is the Concept of Computation a Conceptual Fixed Point?"

A smiling woman with glasses wearing a black t-shirt and black trousers.

4 12

Reposted by Valeria de Paiva

Women In Logic @womeninlogic.bsky.social · 28d

Katrin Tent gives an invited talk on Model Theory of the Free Factor Complex at the British Logic Colloquium.

A woman with blonde hair knotted up, glasses, a white shirt and jeans, holding a piece of chalk in front of a blackboard.

2 4

Reposted by Valeria de Paiva

Women In Logic @womeninlogic.bsky.social · 27d

The Women in Logic of the British Logic Colloquium and Peter Aczel Memorial Conference.

Eight women standing in front of a blackboard.

1 9

Reposted by Valeria de Paiva

Women In Logic @womeninlogic.bsky.social · 22d

The Women in Logic of the MOSAIC-PLEXUS workshop (Buenos Aires).

A photo of a row of 15 women, smiling, in front of a slide that says "Thank you!!" One of the women is holding a small baby.

1 3 10

Valeria de Paiva @valeriadepaiva.bsky.social · Sep 6

Remembering last year's Women in Formal Math workshop.
logic-forall.blogspot.com/2025/09/wome...

2

Reposted by Valeria de Paiva

code4math Community @code4math.org · Sep 1

To celebrate our new recognition as an AIMath.org Research Community, we are hosting a virtual Grand Opening Symposium on September 8 and 15! Using the Zulip and Zoom apps, we will host seven presentations and tutorials facilitated by members of our community.

code4math

Consortium of Digital Ecosystems for Mathematics

code4math.org

1 3 10

Valeria de Paiva @valeriadepaiva.bsky.social · Sep 1

You can register now for Women in Logic Online with Nina Gierasimczuk, register at the link in www.vcla.at/2025/08/wome...

1 2