Pinned
pldb.kirancodes.me
Titles and abstracts of 22,324 programming languages papers, from the first POPL in 1973 to this year's proceedings.
Titles and abstracts of 22,324 programming languages papers, from the first POPL in 1973 to this year's proceedings.
pldb: programming languages papers
Search 33,580 papers from POPL, PLDI, ICFP, OOPSLA and other programming languages venues, from 1973 to today.
pldb.kirancodes.me
October 1, 2026 at 6:40 AM
pldb.kirancodes.me
Titles and abstracts of 22,324 programming languages papers, from the first POPL in 1973 to this year's proceedings.
Titles and abstracts of 22,324 programming languages papers, from the first POPL in 1973 to this year's proceedings.
Reposted by Unai
Artificial intelligence systems do not think, feel, want or understand. Avoid language that gives them human characteristics.
https://apnews.com/article/openai-safety-ai-framework-089e75b95bc935af092da7b79d92706d
apnews.com
September 23, 2026 at 5:11 PM
Artificial intelligence systems do not think, feel, want or understand. Avoid language that gives them human characteristics.
Reposted by Unai
american elites are broadly in consensus that critics of israel need to be silenced but nazis are now within the acceptable parameters of public discourse and have to be given a seat at the table
bsky.app/profile/theo...
bsky.app/profile/theo...
like, Robert Kraft banned Macklemore over "Free Palestine," but literally "Heil Hitler" isn't getting Kanye dropped from the same stadium
September 16, 2026 at 2:18 PM
american elites are broadly in consensus that critics of israel need to be silenced but nazis are now within the acceptable parameters of public discourse and have to be given a seat at the table
bsky.app/profile/theo...
bsky.app/profile/theo...
Reposted by Unai
Reposted by Unai
Very forceful statement by Terry Tao about AI and math.
terrytao.wordpress.com/2026/09/11/a...
Note, he is not claiming the models aren't real and powerful. He's talking about how that power should be used. This, I believe, is what all AI discussions should center.
terrytao.wordpress.com/2026/09/11/a...
Note, he is not claiming the models aren't real and powerful. He's talking about how that power should be used. This, I believe, is what all AI discussions should center.
A Severe Misalignment of AI in Mathematics
I am proud to be among the list of 25 initial signatories — all Fields Medallists — to the declaration below, which grew out of discussions between ourselves over the last week. We have…
terrytao.wordpress.com
September 11, 2026 at 6:49 PM
Very forceful statement by Terry Tao about AI and math.
terrytao.wordpress.com/2026/09/11/a...
Note, he is not claiming the models aren't real and powerful. He's talking about how that power should be used. This, I believe, is what all AI discussions should center.
terrytao.wordpress.com/2026/09/11/a...
Note, he is not claiming the models aren't real and powerful. He's talking about how that power should be used. This, I believe, is what all AI discussions should center.
Reposted by Unai
Reposted by Unai
I was talking with a colleague the other day who said that while he’s not sure if AI will change physics research so much as to unemploy the physicists, he’s confident that teaching will always need humans.
So we know AI helped a negligible number of students. But how many did it harm? I've crunched the raw data provided by the lead researcher, and what I've found is that ~9,500 students using AI studied less than even the *least* studious, non-AI using student.
This should shock the conscience.
This should shock the conscience.
August 21, 2026 at 12:02 PM
I was talking with a colleague the other day who said that while he’s not sure if AI will change physics research so much as to unemploy the physicists, he’s confident that teaching will always need humans.
Reposted by Unai
Yep. You just get used to it and… voila, a lot fewer people get killed and injured.
The Welsh national 20mph default speed for urban/village streets has already won the Prince Michael of Kent International Road Safety Award and will be seen as one of the most successful road safety interventions this century. #20splenty
pja.co.uk/2026/08/06/r...
pja.co.uk/2026/08/06/r...
Rethinking safer streets: Lessons from Wales’ 20mph transformation - PJA
How do we create streets that are safer, healthier and more people-focused? Speed is one of the most influential factors. The relationship between speed and…
pja.co.uk
August 8, 2026 at 7:29 AM
Yep. You just get used to it and… voila, a lot fewer people get killed and injured.
Reposted by Unai
If this doesn't scare the ever-living shit out of you, I don't know what will.
10 minutes with AI before measurable cognitive impairment. 10!!
www.theguardian.com/books/ng-int...
10 minutes with AI before measurable cognitive impairment. 10!!
www.theguardian.com/books/ng-int...
‘I hate what AI is doing to the minds and happiness of the young’: Katherine Rundell on the view from the classroom
Education is at a crossroads, argues the author and academic. Should we embrace new technology in the name of efficiency, or is it time to fight back?
www.theguardian.com
August 9, 2026 at 1:49 AM
If this doesn't scare the ever-living shit out of you, I don't know what will.
10 minutes with AI before measurable cognitive impairment. 10!!
www.theguardian.com/books/ng-int...
10 minutes with AI before measurable cognitive impairment. 10!!
www.theguardian.com/books/ng-int...
Reposted by Unai
This is very well done, I think:
leidendeclaration.ai
A few choice quotes, that should be of interest well beyond mathematics:
>>
leidendeclaration.ai
A few choice quotes, that should be of interest well beyond mathematics:
>>
Leiden Declaration on Artificial Intelligence and Mathematics
This declaration calls for action to address the challenges posed by the use of artificial intelligence within mathematics research.
leidendeclaration.ai
July 21, 2026 at 10:57 PM
This is very well done, I think:
leidendeclaration.ai
A few choice quotes, that should be of interest well beyond mathematics:
>>
leidendeclaration.ai
A few choice quotes, that should be of interest well beyond mathematics:
>>
Reposted by Unai
we live in the stupidest fucking time in history
The White House just posted a video mixing real footage from the Iran strikes with a killstreak animation from Call of Duty: Modern Warfare 3
x.com/WhiteHouse/s...
x.com/WhiteHouse/s...
March 5, 2026 at 12:33 AM
we live in the stupidest fucking time in history
Reposted by Unai
Looks like a fun way of finding research and talks on llvm: bwatsonllvm.github.io/library/inde...
LLVM Research Library
A research library for LLVM talks, papers, blogs, and docs.
bwatsonllvm.github.io
March 3, 2026 at 8:43 PM
Looks like a fun way of finding research and talks on llvm: bwatsonllvm.github.io/library/inde...
Reposted by Unai
There's a "is anyone even reading this" sort of honesty you get in the software update release notes from a project that's been around for a long time.
February 26, 2026 at 8:44 PM
There's a "is anyone even reading this" sort of honesty you get in the software update release notes from a project that's been around for a long time.
Reposted by Unai
Something about LLM hype culture renders a man immune to the experience of embarrassment. If I couldn’t tell the difference between PhD-level scholarship and grammatical gibberish I simply would not announce that to a global audience.
February 17, 2026 at 3:35 AM
Something about LLM hype culture renders a man immune to the experience of embarrassment. If I couldn’t tell the difference between PhD-level scholarship and grammatical gibberish I simply would not announce that to a global audience.
Reposted by Unai
No joke: I got angry hate mail today for writing an obituary of a Black woman scientist—because the person felt she did didn’t deserve the recognition.
Which just makes me want to share it again: www.nature.com/articles/d41...
Which just makes me want to share it again: www.nature.com/articles/d41...
Gladys Mae West obituary: mathematician who pioneered GPS technology
She made key contributions to US cold-war science despite facing huge barriers as a Black woman.
www.nature.com
February 6, 2026 at 9:09 AM
No joke: I got angry hate mail today for writing an obituary of a Black woman scientist—because the person felt she did didn’t deserve the recognition.
Which just makes me want to share it again: www.nature.com/articles/d41...
Which just makes me want to share it again: www.nature.com/articles/d41...
Reposted by Unai
I'm in this picture and I don't like it. I've regularly got hundreds of tabs open. What I really need is a way to organize the information and bookmarks just ain't it.
This is exactly one of the findings of the study* on tabbed browsing I did ~15 yrs ago — tab usage is bimodal. Funny to see that it (anecdotally at least) still holds up!
∗ "A Study of Tabbed Browsing Among Mozilla Firefox Users" from CHI 2010: dl.acm.org/doi/pdf/10.1...
∗ "A Study of Tabbed Browsing Among Mozilla Firefox Users" from CHI 2010: dl.acm.org/doi/pdf/10.1...
February 14, 2026 at 3:51 PM
I'm in this picture and I don't like it. I've regularly got hundreds of tabs open. What I really need is a way to organize the information and bookmarks just ain't it.
Reposted by Unai
CPUs are getting worse.
We’ve pushed the silicon so hard that silent data corruptions (SDCs) are no longer a theoretical problem.
Mercurial Cores are terrifying because they don’t hard-fail; they produce rare, but *incorrect* computations!
We’ve pushed the silicon so hard that silent data corruptions (SDCs) are no longer a theoretical problem.
Mercurial Cores are terrifying because they don’t hard-fail; they produce rare, but *incorrect* computations!
February 13, 2026 at 8:11 PM
CPUs are getting worse.
We’ve pushed the silicon so hard that silent data corruptions (SDCs) are no longer a theoretical problem.
Mercurial Cores are terrifying because they don’t hard-fail; they produce rare, but *incorrect* computations!
We’ve pushed the silicon so hard that silent data corruptions (SDCs) are no longer a theoretical problem.
Mercurial Cores are terrifying because they don’t hard-fail; they produce rare, but *incorrect* computations!
Reposted by Unai
Do you think big tech will put in policy restrictions for employees?
"You have to have [these] inhouse competencies before we let you use AI, and you'll have to take an annual exam to continue to qualify."
arxiv.org/abs/2601.20245
"You have to have [these] inhouse competencies before we let you use AI, and you'll have to take an annual exam to continue to qualify."
arxiv.org/abs/2601.20245
How AI Impacts Skill Formation
AI assistance produces significant productivity gains across professional domains, particularly for novice workers. Yet how this assistance affects the development of skills required to effectively su...
arxiv.org
February 8, 2026 at 11:44 PM
Do you think big tech will put in policy restrictions for employees?
"You have to have [these] inhouse competencies before we let you use AI, and you'll have to take an annual exam to continue to qualify."
arxiv.org/abs/2601.20245
"You have to have [these] inhouse competencies before we let you use AI, and you'll have to take an annual exam to continue to qualify."
arxiv.org/abs/2601.20245
Reposted by Unai
I'm convinced AI is our generation's radium - a discovery with genuinely useful applications in specific, controlled circumstances that we stupidly put in everything from kid's toys to toothpaste until we realised the harm far too late where future generations will ask if we were out of our minds.
February 8, 2026 at 10:23 PM
I'm convinced AI is our generation's radium - a discovery with genuinely useful applications in specific, controlled circumstances that we stupidly put in everything from kid's toys to toothpaste until we realised the harm far too late where future generations will ask if we were out of our minds.
Reposted by Unai
Wikipedia has signed major AI training deals with Meta, Amazon, and Microsoft. Now, regional-language Wikipedia editors are doing double duty: feeding LLMs with credible knowledge while fighting a flood of AI-generated misinformation
The volunteer Wikipedia army protecting against AI slop
The editors are both populating and fighting the world’s regional language AI engines.
restofworld.org
February 5, 2026 at 2:10 PM
Wikipedia has signed major AI training deals with Meta, Amazon, and Microsoft. Now, regional-language Wikipedia editors are doing double duty: feeding LLMs with credible knowledge while fighting a flood of AI-generated misinformation
Reposted by Unai
February 5, 2026 at 8:57 AM
Reposted by Unai
The simplex algorithm is super efficient. 80 years of experience says it runs in linear time. Nobody can explain _why_ it is so fast.
We invented a new algorithm analysis framework to find out.
We invented a new algorithm analysis framework to find out.
Beyond Smoothed Analysis: Analyzing the Simplex Method by the Book
Narrowing the gap between theory and practice is a longstanding goal of the algorithm analysis community. To further progress our understanding of how algorithms work in practice, we propose a new alg...
arxiv.org
October 27, 2025 at 1:43 AM
The simplex algorithm is super efficient. 80 years of experience says it runs in linear time. Nobody can explain _why_ it is so fast.
We invented a new algorithm analysis framework to find out.
We invented a new algorithm analysis framework to find out.
Reposted by Unai
A las mujeres se nos dice que somos demasiado jóvenes para [], demasiado viejas para []... porque la única edad correcta es cuando eres un hombre 👇
Older women ‘disappear’ from BBC presenting roles, internal review finds
Older women ‘disappear’ from BBC presenting roles, internal review finds
Older men seen as ‘gaining wisdom’ but women must keep looking younger or be ‘idiosyncratic’, review hears
Older women disappear from presenting roles across the BBC while older men are regarded as “gaining gravitas and wisdom”, according to an internal review of the broadcaster’s record on representation.
A “noticeable mismatch” in the number of staff and freelance male and female presenters over the age of 60 was uncovered by the review. Continue reading...
www.theguardian.com
January 30, 2026 at 6:49 AM
A las mujeres se nos dice que somos demasiado jóvenes para [], demasiado viejas para []... porque la única edad correcta es cuando eres un hombre 👇
Reposted by Unai
I've been wanting to do this for a while, so here we go. This is a thread of some of the reports coming out about the issues with genAI, specifically negative impacts on people.
I'll do my best to keep this updated while it's relevant.
I'll do my best to keep this updated while it's relevant.
September 10, 2025 at 1:46 AM
I've been wanting to do this for a while, so here we go. This is a thread of some of the reports coming out about the issues with genAI, specifically negative impacts on people.
I'll do my best to keep this updated while it's relevant.
I'll do my best to keep this updated while it's relevant.