Lightnews — Scholar-powered news

Steven Clontz @clontz.org · 1h

Thank you for adding #MathSky to all my posts today because I am inept with hashtags (and even screwed up my own handle on that last one lol)

1 1

Reposted by Steven Clontz

MathTech.org @mathtech.org · 2h

In today's blog post, @StevenClontz shares his passion for getting mathematicians (and other mathy academic types) up and running using GitHub tools that only require a web browser.

mathtech.org/2025/10/10/g...

Getting Started with GitHub

This post is supported by National Science Foundation award #2449139. While anyone in the mathematical sciences should have no trouble engaging in the development of software supporting math-relate...

mathtech.org

3 6

Steven Clontz @clontz.org · 2h

Yeah exactly - you want to show the potential for at least that scale, but 40 different people don't need to sign on to your proposal before submitting.

1 2

Steven Clontz @clontz.org · 2h

My experience so far is that ARCs can be lots of different things, and AIM supports their ARCs in different ways, so it's tough to specify further than the description that's there.

Is there something you want to know?

1

Steven Clontz @clontz.org · 5h

Two weeks isn't enough time to form a research community, but if you have one already, the proposal is very easy — just 2-3 pages! I think we wrote ours over just a couple of meetings last year.

But yes, the deadline for most AIM opportunities is November 1 each year!

1 2

Steven Clontz @clontz.org · 6h

Did you know @code4math.org is an AIM Research Community (ARC)? ARCs are collaborative efforts involving at least 40 people, organized around a particular area of mathematics research.

Proposals for new ARCs are now open and due November 1! Visit aimath.org/programs/researchcommunities for more!

AIM Research Communities | American Inst. of Mathematics

aimath.org

2 5 11

Reposted by Steven Clontz

Governor JB Pritzker @govpritzker.illinois.gov · 1d

Donald Trump is breaching the Constitution and breaking the law.

A show of force so he can militarize our cities because of the 2026 elections.

We need to stand up together and speak up.

230 2.2K 7.8K

Steven Clontz @clontz.org · 1d

Don't ask me to teach your students a computer thing or we might end up just making a web app in 50 minutes.

flask-demo-wktn.onrender.com

flask-demo-wktn.onrender.com

3

Steven Clontz @clontz.org · 2d

A recording is now available on our @code4math.org Zulip (must be logged in)! code4math.zulipchat.com#narrow/chann...

1 2

Reposted by Steven Clontz

MathTech.org @mathtech.org · 3d

Here @tienchihmath.bsky.social shares with us how he uses programming and randomization in his OER statistics materials, powered by SageCell.SageMath.org!

mathtech.org/2025/10/01/r...

True Randomization in an Introductory Statistics course

For about a decade now, I’ve been teaching on and off some form of introductory statistics for a wide variety of students across different institutions. This is an immensely popular course at the und...

mathtech.org

3 6

Reposted by Steven Clontz

W. Ethan Duckworth @weduckworth.bsky.social · 3d

This is the first formal proof assistant that I could imagine using with students.

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

2 3

Reposted by Steven Clontz

Steven Clontz @clontz.org · 4d

It's creepy and its kooky
Mysterious and spooky
It's altogether ooky
It's Lurch Plus! math verification. 👌👌

I... didn't overthink this bit. But you should join the @code4math.org community via Zoom in about 50 minutes to learn more about the lurch.plus proof assistant anyway!

2 4

Steven Clontz @clontz.org · 4d

It's creepy and its kooky
Mysterious and spooky
It's altogether ooky
It's Lurch Plus! math verification. 👌👌

I... didn't overthink this bit. But you should join the @code4math.org community via Zoom in about 50 minutes to learn more about the lurch.plus proof assistant anyway!

2 4

Steven Clontz @clontz.org · 4d

You rang?

Reposted by Steven Clontz

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

Steven Clontz @clontz.org · 4d

a cartoon character is flying in the air with a sword in his hand .

Alt: GIF of Hornet from Hollow Knight Silksong

media.tenor.com

1 1

Steven Clontz @clontz.org · 4d

Heartbreaking: local man delays his nap and now it's both too late to nap and too early to go to bed.

1 9

Reposted by Steven Clontz

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

2 3

Steven Clontz @clontz.org · 6d

This is mathematical violence

2 10

Reposted by Steven Clontz

John Skiles Skinner @skiles.blue · 6d

Signal is encrypted but that's no help if you just show your phone screen to everyone

taber @kvetch.gay · 6d

this is wild: while Stephen Miller's guy was in Minnesota for his uncle's funeral, somebody was able to see his entire phone and take pictures of his Signal group chats talking about military deployments to Portland, and brought them to the Strib (gift link: www.startribune.com/trump-offici...)

4 20 82

Steven Clontz @clontz.org · 7d

Hmm, the not-knot-naught plot Josh brought caught a lot of thought.

1 2

Steven Clontz @clontz.org · 7d

It's not knot, but also not naught. It's a little bit nautical, but also somewhat naughty.

1 1

Steven Clontz @clontz.org · 7d

I know I thought x_0 was "x not" for a long time. Somewhere in my eleven years in Auburn, Alabama (freshman to PhD) I figured it out, but I have no recollection where or how.

1 7

Steven Clontz @clontz.org · 8d

This is the way (to compute coefficients of binomial expansions)

χle Ormsby @motivickyle.bsky.social · 8d

I wonder how Pedro Pascal feels about mathematicians naming a triangle after him 🤔

10

Steven Clontz @clontz.org · 8d

Today in Steven pretends to know anything about graphic design

2