Lightnews — Scholar-powered news

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

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

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

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

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

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

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

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

Steven Clontz @clontz.org · 8d

Steven Clontz @clontz.org · 8d

#MathSky

Reposted by Steven Clontz

Steven Clontz @clontz.org · 12d

Use Doenet.org to create mathematical interactives to support inquiry-based learning: mathtech.org/2025/09/26/d...

Screenshot of interactive applet that illustrates how scaling a column of a determinate scales the determinate's value by the same factor.

1 6 10

Steven Clontz @clontz.org · 9d

I certainly didn't expect him to break out into a rendition of "I am the very model of a modern major general" in a desperate gambit to win over the crowd, but hey, who isn't a fan of Gilbert and Sullivan?

1

Steven Clontz @clontz.org · 9d

I know this author thinks he's funny but honestly he's mostly just kind of a jerk.

Photo of instructor version of a textbook. Note to instructor says, "Answers vary. Legal disclaimer: If you need us to point that out, you should not be teaching a college math course."

4

Steven Clontz @clontz.org · 10d

This was fun. I'll be doing it again in not too long, and sooner if someone reaches out to me to request it!

Steven Clontz @clontz.org · 10d

This is happening in a little over 90 minutes. You can still sign up at preview.scholarlattice.org/collections/... and join us!

Steven Clontz @clontz.org · 11d

Join us tomorrow for this introduction to pi-Base Zoom workshop!

2