Lightnews — Scholar-powered news

Prof Christelle Vincent @xl772.bsky.social · 14h

#MathSky

Helen @homotoptheory.bsky.social · 14h

Decidability question: Suppose you have a computable subset L of N x N, that is, elements of L are pairs of natural numbers, and given a pair there is an algorithm to determine whether that pair belongs to L. Then we can make a decision problem P which is, on input m is there an n such that (m,n) is

1 1

Prof Christelle Vincent @xl772.bsky.social · 21h

Thank you for your service 🫡

2

Prof Christelle Vincent @xl772.bsky.social · 21h

It’s embarrassing (actually not at all) how much I’ve been thinking of this cruffin recently… today I finally stopped by the store and got another one

Prof Christelle Vincent @xl772.bsky.social · 13d

Today’s French pastry: the cruffin (which I can only imagine is a portmanteau of croissant and muffin) This one has Nutella in the middle 😋

A white person’s hand holds a pastry over a white plate. A couple bites have been taken out of it, so it looks like a delicious blob, with Nutella in the middle. In the background are a laptop, a pen, and a pencil case.

2

Prof Christelle Vincent @xl772.bsky.social · 1d

We’ll have to see… thankfully we’re still here for a while 😅

1

Reposted by Prof Christelle Vincent

American Mathematical Society @amermathsoc.bsky.social · 1d

Abbe Herzig and Aris Winger will lead a two-session Professional Enhancement Program (PEP) at the 2026 Joint Mathematics Meetings titled: “Transforming Your Math Department with the COME-In Framework.” Learn more: www.ams.org/peps

Professional Enhancement Program (PEP) at JMM. Abbe Herzig and Aris Winger headshots.

1 2

Prof Christelle Vincent @xl772.bsky.social · 1d

I mean I will do it either way, and I’ll let you know and then you can see what you think

3

Prof Christelle Vincent @xl772.bsky.social · 1d

No pressure, that’s why I was offering to go first 😅

1 2

Prof Christelle Vincent @xl772.bsky.social · 1d

I want to migrate to the service Rudy has for non Black people when headache clears and if it works I can help you migrate too?

1 3

Prof Christelle Vincent @xl772.bsky.social · 1d

I just feel like we can’t though 😭😭 husband is allergic and here the windows are always open so it’s not a problem but back in Vermont that will not be the case 😭 I also don’t know if he can be an indoor cat, which is what I would want if he were my cat

But also I love him 😭

1 3

Reposted by Prof Christelle Vincent

Greg Pak @gregpak.net · 1d

Rudy is the real deal. Been waiting for an update, and he sure has it! Makes me really glad I migrated @gregpak.com to Blacksky's myatproto.social PDS for non-Black users - gonna migrate @gregpak.net over asap as well.

Rudy wants revolution. @rude1.blacksky.team · 1d

I hear and see your concerns. Over the weekend, a couple users hosted on Blacksky's PDS were banned from the Bluesky app and thus the Bluesky API servers. This was a weakness of our system I've been aware of and hoped we had more time to address before any kind of public incident. 1/11

4 78 250

Prof Christelle Vincent @xl772.bsky.social · 2d

Am I on the APHIS website to see if we can import the cat to the US because he came to sleep with me on the bed and made biscuits? Maybe…

Prof Christelle Vincent @xl772.bsky.social · 2d

I just saw this on an official government website, I don’t even have words. This is so far beyond the pale.

www.aphis.usda.gov

Black text on blue background, following an “information” symbol (the letter i in a circle), reading: The Radical Left Democrats shutdown the government. This government website will be updated periodically during the funding lapse for mission critical functions. President Trump has made it clear he wants to keep the government open and support those who feed, fuel, and clothe the American people.

1 12

Prof Christelle Vincent @xl772.bsky.social · 2d

I just saw this on an official government website, I don’t even have words. This is so far beyond the pale.

www.aphis.usda.gov

1 3 12

Prof Christelle Vincent @xl772.bsky.social · 2d

I’m sorry I’m going to be late to this remote meeting…

Close up of a striped orange cat getting pets on his head from a white person’s hand. The cat’s eyes are closed with contentment.

14

Prof Christelle Vincent @xl772.bsky.social · 2d

If you missed the talk today you can still check Lurch out at lurch.plus

I was super impressed by the demo we saw, I strongly invite people who teach proofs to undergrads to check it out!!

1 5

Reposted by Prof Christelle Vincent

Prof Christelle Vincent @xl772.bsky.social · 3d

Ever wanted to have your undergrads write computer-verified proofs but without having to learn all of Lean? Come check out Lurch!

October 6, 3pm Eastern

#MathSky

code4math Community @code4math.org · 3d

Join us tomorrow 3pm Eastern on Zoom for our October 2025 Concerning.

preview.scholarlattice.org/events/77211...

Ken Monks will be sharing about the Lurch Plus project: write natural language proofs that are verified by computer?! lurch.plus

Lurch Plus!

This is the home page for lurch.plus, the home of the Lurch proof assistant, plus additional content.

lurch.plus

3 6 17

Prof Christelle Vincent @xl772.bsky.social · 3d

I’ll ask if Prof Monks is open to it!!

1

Prof Christelle Vincent @xl772.bsky.social · 3d

Come to the talk and see if you can be convinced to use just one new fangled tool 🤗😉

1 2

Prof Christelle Vincent @xl772.bsky.social · 3d

… if the submitted proof satisfies the rules. No environmental damage or stolen work needed!!

1 2

Prof Christelle Vincent @xl772.bsky.social · 3d

Computer-verified proofs can actually be really useful for students to check their own work and find the flaws in their arguments. Note that this is different from using AI to write proofs! As far as I know (I’ll know more tomorrow ;) ) Lurch is a set of rules for math proofs and it checks…

1 5

Prof Christelle Vincent @xl772.bsky.social · 3d

😭 but maybe we can record it 🤞🏻

3

Prof Christelle Vincent @xl772.bsky.social · 3d

Ever wanted to have your undergrads write computer-verified proofs but without having to learn all of Lean? Come check out Lurch!

October 6, 3pm Eastern

#MathSky

code4math Community @code4math.org · 3d

Join us tomorrow 3pm Eastern on Zoom for our October 2025 Concerning.

preview.scholarlattice.org/events/77211...

Ken Monks will be sharing about the Lurch Plus project: write natural language proofs that are verified by computer?! lurch.plus

Lurch Plus!

This is the home page for lurch.plus, the home of the Lurch proof assistant, plus additional content.

lurch.plus

3 6 17

Reposted by Prof Christelle Vincent

Aveta👾🇭🇹 @aliafonzy.blacksky.app · 3d

Can we get the word around for more donations to go to BlackSky so there’s funding for the infrastructure that can bring Link back?

From my understanding:

Relays are costly and expensive. Anyone feel free to chime in. Bluesky relays is what has him banned.

opencollective.com/blacksky

Blacksky - Open Collective

Decentralized social media built for community power, culture, and collective freedom.

opencollective.com

9 450 560

Prof Christelle Vincent @xl772.bsky.social · 3d

Bring Link back!! This is some bullshit. I wasn’t getting involved in Jay’s public meltdown but she can’t ban the people who built this platform, and were always nice and generous to everyone who deserved it.

@moderation.bsky.app this is a bad mistake, fix it!!

Aveta👾🇭🇹 @aliafonzy.blacksky.app · 3d

Hey Erin here is Link confirming his permanent ban.

6

Prof Christelle Vincent @xl772.bsky.social · 4d

No 😭😭

3

Reposted by Prof Christelle Vincent

trick van treat @derek.bike · 14d

tired: defensive walking

wired: offensive walking

photo of a white car driving on a road. obscuring the car is a service pole with a sign on it that says: "BE SEEN - GRAB A BRICK! 1. GRAB 2. LOOK 3. WAVE 4. CROSS" the sign has an illustration of a person holding a brick and standing in a confident pose. beneath the sign, there is a yellow basket full of bricks mounted on the service pole

18 370 1.3K