kkylin

As other commenters said, graders are certainly not paid from grant money at US institutions. NSF (which funds most mathematicians in the US) would never allow it, and grants are usually much better spent getting grad students off teaching so they can get research done. Teaching assistant (TA) funding would ultimately come from the university. Sometimes it is optional, i.e, a faculty member can request a TA or grader for certain courses but does not get one automatically. Some courses, like large entry-level calculus, cannot be run without teams of TAs teaching recitations.

I'm on the math faculty at a R1 (public) university, and we've not had a budget for graders for most courses for a very long time, with the exception of e.g., very large courses. For most classes the instructor does all the grading. Grading has been a significant fraction of my time teaching, certainly much more than what I can spend on preparing lectures and other teaching-related work. Moreover, much of the time grading is giving feedback, figuring out partial credit, etc; just checking "correct" or "incorrect" is often relatively quick.

In the last couple years, my personal experience has been that (i) a very small (and possibly vanishing) fraction of students are declining to use AI, or at least use it sparingly, because they want to learn; (ii) a growing percentage are using it as a personal tutor; and (iii) some are outright outsourcing all the work. The last category is small, but if that category grows (anecdotally this seems to be the case -- I've mostly taught grad courses in the last year and don't have first-hand knowledge) then what would be the point of spending all that time grading and giving detailed written feedback?

Incidentally, many students in the second category are the type who in years past would form study groups, come to office hours, etc.; now they seem to prefer AI over humans. Some of them do seem to benefit from it, but not all. How one uses AI matters a lot, and how to help students use the tech to learn is something we have to figure out (regardless of how we feel about AI's impact on research).

Happened right here too: thieves opened up man hole covers in city parks and took the wires. The city now has large boulders right over those man hole covers...

Euler was a master manipulator of formal expressions; don't think it bothered him very much whether, e.g., an infinite series converged or not. (Unfortunately don't remember a source for this offhand -- maybe a leftover impression from having read ET Bell's book long ago? I also don't know how reliable Bell is.)

Edit: added semi-source

Just from the title it sounds really cool, but I guess the server got the hug of death (kept getting timeout)

There's understandably been a focus on speed, but what I really like about Julia is being able to write clear code: it has a lot of the flexibility and expressiveness that I like in Lisps, but with better numerical libraries than most Lisps/Schemes, and I really like prototyping algorithms in it. To me (an applied mathematician) it is just a nice tool for thinking in. Not having to compromise too much on speed is a big bonus.

I just came back to CA from the UK, and the two places looked surprisingly alike: yellow fields everywhere

Unfortunately the NS/macOS version still needs work as far as I can tell. Even not fully featured it's still useful: I prefer reading PDF in xwidget-webkit than pdf-tools, and it's great to have Jupyter notebooks running inside a browser inside Emacs.

Where I live we still have a locally owned video rental store, though several years ago they put in a bar and now it's more a bar with a video section than a video store where you can get beer and watch movies. We do still rent when there's something we can't stream on one of the services we pay for; I much rather do that than give more $ to Amazon and the like.

Actually we weren't (& aren't) able to afford this kind of thing. Dad worked for the airline & somehow got this perk, just once.

We got front lower deck seats once when I was a kid. My sister and I had extra open floor space for playing. It was great.

I really do think the incompleteness theorems deserve the attention they get, not just because of what they say about efforts to formalize mathematics and because of the historical context -- remember Gödel numbers came (just) before Turing and the first recognizably modern electronic computers. That numbers can represent things that are not numbers was (IMO) a revolutionary idea.

Having said all that, I'd taken mathematical logic in college to learn about incompletenss, but the most interesting things I got out of it were completeness and compactness. Non-standard models really can be quite interesting.