Knuth: "Shock! Shock! I learned yesterday that an open problem I'd been working on for several weeks had just been solved by Claude Opus 4.6 ... What a joy it is to learn not only that my conjecture has a nice solution but also to celebrate this dramatic advance in automatic deduction."
On a headcount basis, approximately 40% of university staff are casual.
Source: andrewnorton.id.au/2021/04/16/h...
Proportions of respondents by employment status: Ongoing/Continuing (78%), Fixed Term (15%), Casual (6%), and Honorary appointment (1%).
Nationally, 11-12% of Australian workers are in a very high-risk psychosocial safety climate. In universities, that jumps to 44%.
Anyway, join your union @nteunion.bsky.social
Sorry, this is a little vague. I can’t refer back to the email for details because I had some big feelings about it and immediately deleted it.
I got an email celebrating a Faculty wellbeing initiative. Some lovely colleagues have been volunteering to do things like deliver flowers and citrus fruits to the tearooms to lift our spirits.
(My contribution was the analytic and semi-analytic portions of the paper)
You'd think requiring everyone to agree to the fishing level would protect fish better, but this new paper shows consensus-based voting can lead to worse conservation outcomes when the fishery was already highly exploited.
Congratulations to Irina Lerner on her first paper 🎉
We need $484 billion/year for nature-based climate solutions by 2030. But how do you convince investors when a single cyclone can erase years of restoration? Jordan Holdorf's new paper shows adaptive timing of investments can make risky projects financially viable.
To be clear, I have no idea what the answer is to all of this
It doesn't have to be this way (sincerely)
Apparently Claude has been using Grokipedia for at least a month
bsky.app/profile/dana...
Thread summarising an arxiv preprint investigating what Grokipedia changed from Wikipedia by @harold.bsky.social and @mantzarlis.com
bsky.app/profile/haro...
Oh! I only noticed this morning. So it has been at least a month
Noticed this morning Claude also cites Grokipedia now
A screenshot of a Claude chat from the phone app with most of the text greyed out. The text at the top indicates Opus 4.5 is being used. The first block of text has a link indicating the content was sourced from Wikipedia. The second block has a link indicating the content was sourced from Grokipedia.
Claude (Opus 4.5) has started citing Grokipedia in its results.
I posted this👇 to a claim that genAI is better than Ctl+F to search historical docs. @tristanpalmgren.bsky.social replied with a genAI summary of my document and @bookllyfr.bsky.social asked if it was accurate.
It turns out that it did exactly what genAI does: made stuff up & got stuff wrong.🧵
That makes me really sad. They were both extremely successful in their fields. They didn't need to do that.
Haha, thank you, this was helpful.
Disrespecting reality seems like about 90% of what’s going wrong in the world right now
I really appreciated how this article led with the context I needed to put the newsworthy part into perspective
I wrote a blog post about a lecture introducing stability in ODE models and their numerical solution. The lecture transcript and code for figures are included.
nadiah.org/2025/12/04/m...
This is so unjust.
Congratulations!
Congratulations!
🚨 Excited to share our new research! 🚨
We tackle a big question in conservation: how can we make smarter use of existing surveys to learn about places and species we haven’t yet been able to survey? 🏔️
🔗 Read the paper here: doi.org/10.1111/2041...
Happy to share that our paper ‘a formal theory of group-level adaptation for obligate eusociality’ (with @andygardner.bsky.social) is now out in @jevbio.bsky.social advances.
doi.org/10.1093/jeb/...
#OpenAccess #Eusociality #GroupAdaptation #FormalDarwinism
Allegedly
