News for hackers. Stuff that matters.

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).

Calcium imaging of neuronal activity (see, e.g., https://alleninstitute.org/education-resources/how-scientist...) is a thing, and has been for a while. It does something like what you said: neurons that have been genetically modified glow briefly, which can be picked up by microscopy. It has many advantages (and some drawbacks) compared to more traditional electrical recording techniques.
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...
Re:Jean-Pierre Serre is 100 years old today on Tuesday September 15, 2026 @11:10PM (#49721672)
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
Re:What's New in Emacs 31.1? on Tuesday August 25, 2026 @12:51PM (#49437045)
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.
Re:The Lost Civic Life of Movie Rental Stores on Thursday July 30, 2026 @11:28AM (#49111373)
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.
Re:The Boeing 747 Begins Its Final Descent on Sunday June 28, 2026 @08:30PM (#48713316)
Actually we weren't (& aren't) able to afford this kind of thing. Dad worked for the airline & somehow got this perk, just once.
Re:The Boeing 747 Begins Its Final Descent on Sunday June 28, 2026 @06:04PM (#48712176)
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.
Re:The Life and Works of Raoul Bott on Thursday June 11, 2026 @11:05AM (#48491351)
Bott is often quoted as saying "Evrey mathematician has a secret weapon. Mine is Morse theory." Every time I see his name I've tried to look up a source. Finally found one:

https://mathoverflow.net/questions/100316/raoul-botts-quote-...

Anyway if you enjoyed this you might also enjoy

https://www.numdam.org/item/10.1007/BF02698544.pdf

Slightly off topic (since there's already been so many better answers than I can write), but our knowledge of the dino-slaying asteroid came much later: https://en.wikipedia.org/wiki/Alvarez_hypothesis
Re:What Do Gödel's Incompleteness Theorems Mean? on Thursday May 21, 2026 @01:50PM (#48226516)
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.

Re:The Aperiodic Table on Monday May 18, 2026 @11:33AM (#48181244)
In addition to the above links on quasicrystals etc, it may help to have a bit of context on periodic tilings, which have very precise mathematical properties: https://en.wikipedia.org/wiki/Lattice_(group).

The structure of the periodic table itself can also be understood, to leading order anyway, in symmetry terms. See for example https://mathstodon.xyz/@johncarlosbaez/112540366778806757 and references there.

Re:Some Unusual Trees on Saturday April 04, 2026 @12:30PM (#47640528)
Of course one reads a (nice) post like this and must add one's favorite not on the list. Here's mine: https://en.wikipedia.org/wiki/Fouquieria_columnaris
Re:Apple introduces the new iPad Air, powered by M4 on Monday March 02, 2026 @10:14AM (#47219016)
I had an even older iPad I was happily using for similar use cases. Until one day a family member bricked it and I needed to factory reset. No big deal, I thought -- nothing important on it. Turns out it needed to phone home to do the factory reset, and since the server it wanted to talk to was no longer up (or perhaps the address changed?) I couldn't factory reset the iPad.

If someone has a work-around I'd love to hear it. Until then, or until Apple changes this design, I think I'm done with iPads. I don't want to pay that much to "own" something that Apple can simply make obsolete by reconfiguring or turning off a server somewhere.

Edit: fix typo

Re:GNU Texmacs on Wednesday February 25, 2026 @02:23PM (#47156463)
In my couple decades as an academic mathematician I've only ever met one. He was a strong advocate, and got me to install & try it, but I could never convert to using it fulltime.
Re:In Praise of APL (1977) on Thursday January 22, 2026 @12:14PM (#46722071)
[delayed]
Re:MIT Missing Semester 2026 on Monday December 22, 2025 @07:55PM (#46361168)
Yes, 1.00 was popular with Course 6ers who wanted easy units.
Came here to say this -- looks like the data assimilation is still done the "old fashioned" way. I wonder how long that will last?
Re:MIT Missing Semester 2026 on Monday December 15, 2025 @10:56AM (#46276127)
Yup. Back in my day there was 1.00, a Civil Engineering course, a pretty standard intro to programming in plain old C. I don't know if it still exists. There was nothing of that sort in EECS, though there are lots of IAP courses (which take place in January, before spring semester starts). IMO a month is about right to spend on (leisurely) picking up a programming language for fun. A friend and I learned APL that way.
Re:Size of Life on Wednesday December 10, 2025 @12:05PM (#46220300)
We've still got this:

https://en.wikipedia.org/wiki/Eunice_aphroditois

Thankfully they don't live on land.

Re:Putting email in its place with Emacs and Mu4e on Wednesday December 10, 2025 @10:17AM (#46218625)
I have been using mu4e for years, and am generally happy with it, and yet... I've never recommended it to anyone else. Unlike, say, org-mode or magit, which I'd happily evangelize.

The pain points are what other commenters have said:

- I don't find the default config a good fit for me, and run it heavily customized. As someone said everything in Emacs turns into a project...

- Performance can be an issue, especially indexing new mail (and especially if you like to lug around a copy of most of your emails locally as I do). On a laptop while traveling this used to be more of a problem, but newer versions are notieably quicker and newer laptops have better battery life.

- HTML rendering isn't great. Thankfully I don't get too many important messages that isn't just plain text. This might be a reasonable use case for xwidget-webkit though I'd imagine there are security/privacy issues to work out. (Another Emacs project -- yay!)

When I started I thought it would be an efficient way to get through lots of emails, and it has been for the most part. I'm just not sure I've saved time overall unless one counts the hours configuring it as "entertainment / hobby" rather than "work".

:-)

I don't question this decision is sometimes (often) driven by the need to increase publication count. (Which, in turn, happens because people find it esaier to count papers than read them.) But there is a counterpoint here, which is that if you write say a 50-pager (not super common but also not unusual in my area, applied math) and spread several interesting results throughout, odds are good many things in the middle will never see the light of day. Of course one can organize the paper in a way to try to mitigate the effects of this, but sometimes it is better and cleaner to break a long paper into shorter pieces that people can actually digest.

Re:Feynman vs. Computer on Thursday December 04, 2025 @02:52PM (#46152059)
That's exactly right. A couple more things:

- Differenting a function composed of simpler pieces always "converges" (the process terminates). One just applies the chain rule. Among other things, this is why automatic differentiation is a thing.

- If you have an analytic function (a function expressible locally as a power series), a surprisingly useful trick is to turn differentiation into integration via the Cauchy integral formula. Provided a good contour can be found, this gives a nice way to evaluate derivatives numerically.

Re:Apple Releases Open Weights Video Model on Wednesday December 03, 2025 @10:19AM (#46135480)
Thank you so much for all this detail. This is very interesting & quite helpful, and it's great you were able to communicate all this with your friend.

For anyone else interested: I wanted to be able to typeset mathematics (actual formulas) for the students that's as automated as possible. There are 1 or 2 commercial products that can typeset math in Braille (I can't remember the names but can look them up) but not priced for individual use. My university had a license to one of them but only for their own use (duh) and they did not have the staff to dedicate to my students (double duh).

My eventual solution was to compile latex to html, which the students could use with a screen reader. But screen readers were not fully reliable, and very, very slow to use (compared to Braille), making homework and exams take much longer than they need to. I also couldn't include figures this way. I looked around but did not find an easy open source solution for converting documents to Braille. It would be fantastic to be able to do this, formulas and figures included, but I would've been very happy with just the formulas. (This was single variable calculus; I shudder to think what teaching vector calc would have been like.)

FYI Our external vendor was able to convert figures to printed Braille, but I imagine that's a labor intensive process.

Partway through the term we found funding for dedicated "learning assistants" (an undergraduate student who came to class and helped explain what's going on, and also met with the students outside of class). This, as much or more than any tech, was probably the single most imapctful thing.

Re:Apple Releases Open Weights Video Model on Tuesday December 02, 2025 @11:22PM (#46130272)
Thanks! Did you communicate in "raw" TeX, or was it compiled / encoded for braille? Can you point me at the software you used?

Older »