Sign in

Coraline !!!!!!

@tech5l.bsky.social
10 followers 61 following 32 posts

Sick of the hype and slop. nonbinary ML engineer. Transformers, JEPA, Reinforcement Learning. i specialise mostly in the Transformer architecture I am not an AI bro. Next token ID classifiers with low rank matrices added on are not God

PostsRepliesMedia
Reposted by Coraline !!!!!!
Emily M. Bender @emilymbender.bsky.social · 6h
Software engineering could and should be done with the same care as any other type of engineering. This is a post in honor of Margaret Hamilton (and also a subtweet of all vibe-coders everywhere).
Screencap

"“I fought to bring the software legitimacy so that it — and those building it — would be given its due respect, and thus I began to use the term ‘software engineering’ to distinguish it from hardware and other kinds of engineering, yet treat each type of engineering as part of the overall systems engineering process,” Hamilton told El Pais in 2018. “When I first started using this phrase, it was considered to be quite amusing. It was an ongoing joke for a long time. They liked to kid me about my radical ideas. Software eventually and necessarily gained the same respect as any other discipline.”"

Source: https://news.mit.edu/2026/margaret-hamilton-computing-pioneer-dies-1007
6485141
Reposted by Coraline !!!!!!
Antonio E. Porreca 🐳 @aeporreca.org · 9h
The Association for Human Mathematics (AHM) statement on OpenAI’s October 6 release of mathematical documents just dropped! www.ahmath.org/statements
AHM Statement on OpenAI’s October 6 Release of Mathematical Documents

Yesterday, on October 6th, 2026, OpenAI – which is currently defending lawsuits against accusations of illegal plagiarism, copyright infringement, and trademark dilution – released a repository of manuscripts purporting to contain solutions to a number of high-profile problems in mathematics.

Mathematicians did not ask for this work to be done. The Advisory Group on Mathematics and Artificial Intelligence, from whom OpenAI has claimed to derive its legitimacy, opened their initial advisory statement by saying that frontier AI corporations should not test advanced mathematical problems on internal models. In ignoring the central premise of the Advisory Group’s position, OpenAI has indicated total disregard for the norms of scientific research — norms that guarantee that mathematics remains trustworthy, ethically researched, and in the public interest.

Mathematicians have a particular vision of progress that is informed by history and field-specific considerations. We reject OpenAI's assertion that this release advances our subject, and we urge mathematicians and the public to view the value of this publication model with due skepticism. 

Releasing over 700 files at once is not a demonstration of scholarship, but a demonstration of power. We urge mathematicians to discontinue their work with OpenAI and to return to a vision of science that centers human understanding.

Association for Human Mathematics
Communications Working Group
9225117
Reposted by Coraline !!!!!!
Kybosh @kybosh.bsky.social · 06/10/2026
I like seeing the dev of the SNES core on the Pocket actually telling one of these dudes off. Holy shit.
8 Closed
Experimental MSU-1 streami. #123
nasonliu wants to merge 2 commits into a
agg23 commented yesterday
If it works, that's pretty cool; I didn't think
would ever see this implemented (I also didn't
expect LLMs to exist).
However, this is not something you can PR
here, or anywhere. You sent me a nearly 50k
line diff, unasked for, completely LLM built, and
you somehow expect me to review it. There is
SO MUCH unrelated garbage here. Never
minding all of the docs and Python, you've
somehow touched basically all of the upstream
HDL, which already had MSU1 support, so idk
what in the world you're doing.
This kind of behavior is not acceptable. You are
infringing on the time and brainpower of people
by pushing "your" content that little/no of your
brainpower went into; completely unrequested.
I hope for the sake of all responsible
maintainers that you do not do such a thing
again.
Again, I think it's cool that you and your LLM
supposedly got this to work. It has no place in
my world.
4789252163
Reposted by Coraline !!!!!!
Timnit Gebru @timnitgebru.blacksky.app · 06/10/2026
In how many ways can this message be repeated? @emilymbender.bsky.social has been saying this for how long now? www.bloomberg.com/news/videos/...
bloomberg.com
Watch Bender: AI’s ‘Existential’ Risk Is ‘Fake’ - Bloomberg
University of Washington professor Emily Bender argues the AI safety debate is too focused on hypothetical existential threats while overlooking harms already happening today. She points to environmen...
622679
Reposted by Coraline !!!!!!
Mike Cook @mtrc.bsky.social · 22/09/2026
New Post: Why I Love AI Next month it'll be twenty years since I went to university, learned to program, and studied AI. I wrote about why I loved it, why I still love it, and why, unfortunately, it no longer exists. www.possibilityspace.org/blog/posts/i...
32558165
Reposted by Coraline !!!!!!
David Gerard @davidgerard.circumstances.run.ap.brid.gy · 04/10/2026
henstomper

oh my god the slot machine company says i have to keep putting coins in their machine or Im Gonna Get Left Behind. thats so scary. and it has to be true because they know more about slot machines than i do

oh my god the slot machine company says if we dont give them money to build the world's biggest slot machine the chinese are gonna build it first and win all the prizes. and then there wont be any prizes anymore
30127273965
Reposted by Coraline !!!!!!
Museum of Twitter @museum-of-twitter.bsky.social · 03/10/2026
Tweet from Film Daze (@filmdaze):

Blade Runner 2049 directed by Denis Villeneuve

(image of a cat bathed in pink/purple light looking up at a giant screen with a sexy cat on it)
22629361
Reposted by Coraline !!!!!!
Timnit Gebru @timnitgebru.blacksky.app · 03/10/2026
Even more depressing than the knowledge that congress is now overrun by effective altruist and overall TESCREAL cult member staffers, is the number of billionaires in these cults that are going to be created by the OpenAI and Anthropic IPOs.
619548
Reposted by Coraline !!!!!!
Chanda Prescod-Weinstein 🌌 @chanda.blacksky.app · 02/10/2026
thebulletin.org/2026/09/how-...
thebulletin.org
How the bad science of AI doomerism is good for big business
There is no clear path showing that today’s AI systems will lead to superintelligence, much less a basis for calculating the probability of doom.
17324
Reposted by Coraline !!!!!!
Joshua Grochow @joshuagrochow.bsky.social · 09/08/2026
"The "output" [of human math research] is not just a paper, but the changes that happened in the brain along the way. The "output" is a person who understands something better, and can take that understanding forward in their research and their teaching." -Jonny Evans jde27.uk/llms.html #🧮 🧪 #AI
jde27.uk
Jonny Evans's Homepage
Homepage of the Lancaster-based mathematician Jonny Evans
26418
Reposted by Coraline !!!!!!
Joshua Bowman @thalesdisciple.bsky.social · 08/08/2026
Working on an A.I. policy for my calculus classes. Decided to be upfront about the current situation with LLMs and to give a heartfelt explanation for why the course still matters.
Al policy

Context

Artificial Intelligence, or "A.l.," Is a broad term used to refer to several different kinds of technologies. The kind most relevant to this class are Large Language Models (LLMs), which use mathematics to analyze large amounts of human-produced text and then generate new text that simulates what a human might write in response to prompts or questions. Some examples of LLMs are OpenAl's ChatGPT, Anthropic's Claude, and Google's Gemini.Current LLMs can provide a solution to any calculus problem I give you. So why should we work on them, you might ask? Here's the thing: for the most part, the problems were already solved anyway. Calculus as a subject is nearly 400 years old. It has reached into virtually every modern scientific and economic field. And while I would like to believe that I have crafted a few new problems with some small amount of originality tailored to this class, for the most part I have curated a collection of exercises drawn from my years of teaching calculus. Those exercises come from textbooks, workshops, friends, and other fields of study, as well as my own invention.
And they nearly all have known solutions, often with fairly standard approaches.
Before A.I. became widely available, you could find those solutions in another textbook, or from a friend's notes, or through a repository on the internet.The point of this class is not necessarily to solve problems that have never been solved before. It is for you to develop habits of thinking that are used by mathematicians, scientists, and policymakers-to develop a sort of mental toolbox that can be applied to new problems. If along the way you happen to find a new way of solving one of the class exercises, that's great! I am constantly learning new things from my students. But you will be bereft of discovery if you rely on a LLM for solutions to the calculus problems before you. Here I mean the discovery of having your own realizations, crystallizing your own internal understanding, claiming the knowledge in a way that cannot be taken away from you.
That ownership is what I want for you, and that is what the course is built around.
441924546
Reposted by Coraline !!!!!!
Olga Nesterova @onestpress.onestnetwork.com · 11/08/2026
UEFA, Concacaf & Asia Football Conference wrote open letter stating that FIFA & Infantino made “profound failure in judgment” with failed plan to sell stakes in the World Cup. “When an individual places himself above the collective that entrusted him with authority, that duty has been abandoned.”
921948
Reposted by Coraline !!!!!!
Movies Silently @moviessilently.bsky.social · 11/08/2026
I keep harping on this but AI “writers” and “artists“ keep showing what unserious tourists they are. People who actually create agonize over adverbs and color palettes and metaphors and gesture. AI people can’t even be bothered to skim their own book once
932831016
Reposted by Coraline !!!!!!
西 @nishiii26miii.bsky.social · 11/08/2026
quick sketch
Pencil drawing of frieren
71078160
Coraline !!!!!! @tech5l.bsky.social · 11/08/2026
peace in this world is a game of Go with your significant other and a beer
010
Reposted by Coraline !!!!!!
QuoProQuid @quoproquid.bsky.social · 10/08/2026
i personally think polymarket and all companies like it should be regulated out of existence and their assets seized by the state
304141451984
Reposted by Coraline !!!!!!
Massimo (mirror) @rainmaker1973-m.bsky.social · 11/08/2026
This girl teaching her puppy how to go down the stairs Original post
1157275791
Reposted by Coraline !!!!!!
Brandon Friedman @brandonfriedman.bsky.social · 11/08/2026
Axios writer: I melted my brain with AI. Not only can I no longer read, but I don't even understand the purpose of reading anymore. Here's how you can also do this. www.axios.com/2026/08/11/r...
Axios: AI has become my reading buddy as I've plowed through my summer book list, helping me keep track of plots and characters, unpack themes, and make sense of wordy, old prose.

Why it matters: The way many of us actually read books — a few pages before bed, a chapter at the beach, another on a plane — makes it easy to lose the thread. AI can help you pick it back up without starting over.
📖 I really got into using AI while reading James Fenimore Cooper's "The Last of the Mohicans." The text was far too dense for casual vacation reading. My first prompt asked:

"I'd like a guide as I read The Last of the Mohicans who can help me understand what I've read and where the story is, without giving spoilers or getting ahead of my progress. Can you do this, chapter by chapter?"
The robot agreed: "Cooper's sentences are long and his diction is archaic."
49372151666
Coraline !!!!!! @tech5l.bsky.social · 11/08/2026
calnewport.com/on-ai-coding... But it does emphasize an important truth: AI is not a magic “infinity machine” that can solve all our problems, and ultimately deliver us a sense of meaning in a cold, confusing world. It’s a normal technology, and perhaps it’s time we start talking about it that way.
calnewport.com
On AI Coding and Its Discontents - Cal Newport
Back in January, I received a note from a senior software engineer in Silicon Valley. He described himself as an AI skeptic who became converted ... Read more
000