Lightnews — Scholar-powered news

Prof Christelle Vincent

@xl772.bsky.social

1.2K followers 990 following 2.3K posts

Math, cryptography, justice. No alt text = no engagement. Cis het white woman, québécoise, Canadian American, tired. Profile pic: raised fist; banner pic: masked white woman giving a talk entitled “Introduction to cryptography”

Posts Media Videos Starter Packs

Pinned

Prof Christelle Vincent @xl772.bsky.social · Jul 25

Buddy is gone 😭💔

A three-legged yellow hound dog mix lies in the grass in front of a boardwalk and a beach. There is water behind and the sky is blue.

17 1 29

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

It is!!!

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

Checkmate, Outlook!!

1 1

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

Anyway I hope @mathandcobb.bsky.social loves his email 🥰

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

Fuck out of here Outlook telling me that I shouldn’t use two exclamation marks 😤

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

Later on they wanted me to remove a question mark, like let me live 😭

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

Fuck out of here Outlook telling me that I shouldn’t use two exclamation marks 😤

4 1 31

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

#MathSky

Helen @homotoptheory.bsky.social · 1d

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 · 1d

Thank you for your service 🫡

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

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 · 14d

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.

1 2

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

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

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 · 2d

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

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

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

1 2

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

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 · 2d

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 · 2d

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 · 2d

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 · 3d

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 · 3d

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 · 3d

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 · 3d

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.

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

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 · 4d

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 · 4d

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 · 4d

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

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

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 · 4d

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

1 2

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

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 · 4d

😭 but maybe we can record it 🤞🏻