Mastodawn

Oliver Kennedy 1h ago

Peter du Toit 10h ago

Maybe it is time to revisit the 10-Point Plan to Cut Oil Use?

This could reduce global oil demand by 2.7 million barrels a day in 4 months.

Source: https://www.iea.org/reports/a-10-point-plan-to-cut-oil-use

Oliver Kennedy 1h ago

Achim D. Brucker 3h ago

Do you want to do a PhD in Formal Methods and are interested in pursuing a PhD? Look no further, we have an open position leading to a joint degree from the University Paris-Sacly (France) and the University of Exeter (UK):

Information about the programme can be found at
* <https://www.exeter.ac.uk/study/pg-research/funding/phdfunding/paris-saclay/>
* <https://adum.fr/as/ed/voirproposition.pl?langue=en&matricule_prop=71068&site=PSaclay>

All applications have to be made via the ADUM system:
<https://adum.fr/as/ed/voirproposition.pl?langue=en&matricule_prop=71068&site=PSaclay>,
latest on the 22nd of March 2026.

#phd #phdposition #formal_logic #isabelleHOL #formal_mehods #joboffer #DiscreteMathematics #NumberSystems

Exeter Paris-Saclay Studentships | PhD and Research Degrees | University of Exeter

University of Exeter

Oliver Kennedy 1d ago

inconvergent 2d ago

an LLM is a compiler in the same way that a slot machine is an ATM

Oliver Kennedy 2d ago

The Starlight Network 2d ago

# No AI, cuz we don't do that around here.

hiya! You might've seen @alexia talking about this a bit already, but we're publishing a list of tech (software, hardware, anything we know of!) that actively rejects or disallows AI contributions, or pledges not to implement AI features themselves.

This is the first release, and we hope that this can be a useful resource for everyone :)

noai.starlightnet.work

Starlight Network No-AI List

Oliver Kennedy 2d ago

Lindsey Kuper 2d ago

another thing about this whole CS-professors-using-LLMs discussion is that I've been hearing some of my colleagues excitedly say things like, "now that LLMs can generate good code, I don't need grad students anymore!", which horrifies me because of what it implies about how they thought of grad students this whole time: as code generation machines, I guess?

Oliver Kennedy 2d ago

My new grader is ruthless...

#caturday

Oliver Kennedy 2d ago

Tuta 3d ago

Are you joining #QuitGPT? 🚫 If yes, follow these steps before deleting your account 🗑️👇

Open ChatGPT in a web browser

1. Export your full history:

Click on your profile icon > Settings > Data controls > Export > follow the onscreen instructions

2. Delete all chats:

Settings > Data controls > Delete Chats > Delete All

3. Delete your account:

Settings > Account > Delete Account

#BoycottChatGPT #ChatGPT

Oliver Kennedy 2d ago

System76

4d ago

“In the case of Colorado’s and California’s bills, effectiveness is lost. In the case of New York’s bill, liberty is lost.”

Carl Richell, System76 Founder and CEO, urges New York to reject S8102A OS-level age verification.

Read his full statement: https://s76.co/m-S8102A

System76 on Age Verification Laws

Liberty has costs, but it's worth it.

System76 Blog

Oliver Kennedy 3d ago

Show thread

George B 4d ago

@glynmoody @blogdiva

The NY State Senate are considering a bill that would make companies legally liable if they make chat bots that deliver advice in licensed fields like law, medicine and engineering

https://www.nysenate.gov/legislation/bills/2025/S7263

Oliver Kennedy 3d ago

I don't know what's true anymore...

That's what I get for talking to a logician. 😠 @akhirsch

Home	https://odin.cse.buffalo.edu/people/oliver_kennedy.html
DBPL @ UB	https://cse.buffalo.edu/dbpl/people/