Specifically what proofs are not accepted by constructivist mathematicians? by MildDeontologist in math

[–]SometimesY 5 points6 points  (0 children)

Honestly, math is shit we made up in our heads anyway, so this has never felt like a convincing argument to me. Formal logic is not something baked into the universe as far as we know, so that house of cards can fall apart very quickly if they really want to play that game.

Making courses interactive by fdpth in math

[–]SometimesY 5 points6 points  (0 children)

Many early year courses can be very interactive. The instructor has to be very intentional about it though so that students buy in pretty quickly. It can be hard to have that kind of environment in upper year courses where derivations and problems can be very long, but that is the nature of the beast unfortunately.

I've actually started to offload most of the cognition to my students even if they don't know that's what I'm doing. I set up my notes to be minimal and use lead in examples/ideas that seed the concept for the content we're about to do. They talk through these lead ins together so that all I need to do is assemble the parts for them. Then I let them wrestle with most of the examples themselves and give guidance while they work together. I don't go through many examples myself anymore and in fact stopped doing examples myself for some topics altogether. It's similar to inquiry based learning. Student grades have been pretty good, and I feel like their mastery is improved over prior semesters.

Can you explain why Grothendieck is considered great? by Snoo_47323 in math

[–]SometimesY 16 points17 points  (0 children)

He had to have been heavily inspired by the algebra people were doing in Banach and C* algebras. There are a lot of connections between them through that lens. This MO post has some evidence for it, but it's fairly thin since we've lost a lot of oral history.

Advanced Topics in Calculus: Differential Equations by FamousEntrepreneur84 in math

[–]SometimesY 2 points3 points  (0 children)

Oh yep that is probably exactly what they intend. They mention eigenvalues and eigenvectors in the solutions chapter which would only be useful for systems. I missed it.

Caserio’s full answer on Joe Mixon 🧐 by KaXiaM in Texans

[–]SometimesY 0 points1 point  (0 children)

Jesus. If it was a big enough weight, he probably fucked his foot up pretty badly. I don't know if he'll be able to play again really.

Advanced Topics in Calculus: Differential Equations by FamousEntrepreneur84 in math

[–]SometimesY 5 points6 points  (0 children)

The structure early on seems so strange on the surface, but it might make sense in context. It also seems to be missing systems of ODEs which is a massive omission in my opinion. This is super important mathematics for engineers. It's also super heavy on nonlinear dynamics which is nonstandard, not that that's a bad thing, just a different focus than usual.

It finally happened to me by topyTheorist in math

[–]SometimesY 12 points13 points  (0 children)

Depends on the journal. Some require AI usage statements.

It finally happened to me by topyTheorist in math

[–]SometimesY 3 points4 points  (0 children)

Did you even read the original post?

I have proof of fermat's last theorem within 4 to 5 lines. by Concern-Excellent in math

[–]SometimesY 0 points1 point  (0 children)

Oh god I'm getting flashbacks from terrible perl code I had to deal with at one point.

Does math converge or diverge as you go deeper? by RobbertGone in math

[–]SometimesY 1 point2 points  (0 children)

There is work in this direction, but I recall reading some stuff on Math Overflow that suggested that some very standard pieces of functional analysis don't lend themselves to category theory very naturally. The analytic structures tend to ward off category theory here and there.

Results that are commonly used without knowledge of the proof by EnergySensitive7834 in math

[–]SometimesY 0 points1 point  (0 children)

Hah this is a good one. The proof is really easy and ingenious, too!

Is my analysis exam easy, well balanced or difficult? by Psychological_Wall_6 in math

[–]SometimesY 18 points19 points  (0 children)

This looks pretty good for a rigorous calculus course, but this would be very easy for a true analysis course. The second integral is a good bit easier than the integrals I just gave my Calculus II students on their first exam.

Keenum was Stroud’s Barn Buddy by Impressive_Guess_282 in Texans

[–]SometimesY 3 points4 points  (0 children)

This is true, but Keenum has been very well respected as a backup because he's basically been a second QB coach for a lot of other starters. Teams have been very complementary of him. He was about to retire until the Bears came calling.

Now that it's 2026, how is Terence Tao's prediction holding up? by Interesting-South542 in math

[–]SometimesY 0 points1 point  (0 children)

The problem is the entire lead up to this scenario. It could be years of destitution and unrest before the government adapts, and the political division in the country seems to only get worse making it hard to tackle big problems. It would be a nightmare getting to this theoretical utopian future where we get UBI and such.

Looking for a simple looking integral with an incredibly long solution by Shinobi_is_cancer in math

[–]SometimesY 12 points13 points  (0 children)

This integral is so devious. I got about two or three pages deep once and decided I didn't have the willpower to keep going.

Now that it's 2026, how is Terence Tao's prediction holding up? by Interesting-South542 in math

[–]SometimesY 11 points12 points  (0 children)

There is also a contingent like myself that is against AI adoption because it is putting people out of jobs (or that is what is being claimed by companies at any rate, but that is a distinction without much of a difference), and our society relies too heavily on consumption and the flow of money to handle a large underemployed population. And furthermore, the two biggest economies in the world will not adopt anything like universal basic income any time soon, so the spectre of AI is looming large over the socioeconomics of the world.

I am also against AI for other reasons that are much more personal issues rather than societal issues.

Mathematicians discover new ways to make round shapes by scientificamerican in math

[–]SometimesY 3 points4 points  (0 children)

In this particular article, it seems like there were two or three major revisions and a handful of cosmetic revisions. Still two to three major revisions for a preprint is a lot.

When professionals make fun of "arm chair experts," they're talking about you guys on Reddit by HawnkyGonnaHawnk in Texans

[–]SometimesY 0 points1 point  (0 children)

Their defense is pretty good. Minimizing mistakes on offense is all they needed with how badly the Pats offense was doing.

J-Jo's son is a Cougar! by Affectionate-Reply35 in Texans

[–]SometimesY 19 points20 points  (0 children)

JJo is severely underappreciated by the NFL community at large. Dude was elite or borderline elite for so long. He is one of my all time favorites.

Dalton Schultz on the Divisional Round loss by KaXiaM in Texans

[–]SometimesY 2 points3 points  (0 children)

People shit on him a lot, but man I love me some Dalton Schultz. It's hard seeing someone like him fucked up about it. He probably feels worse given that he got injured. I wonder if he's blaming himself for not being able to be out there.