Unai
banner
usainzg.bsky.social
Unai
@usainzg.bsky.social
computer aficionado || PhD student @ University of the Basque Country
Pinned
Interesting papers on compilers⬇️
Reposted by Unai
Se ha publicado el EU Gender Equality Index eige.europa.eu/gender-equal...
Al ritmo actual, la igualdad de género plena aún está a más de 50 años de distancia y las mujeres en la UE aún necesitan trabajar 15 meses y medio para ganar lo que los hombres ganan en un año. La buena noticia: España es 4ª.
January 13, 2026 at 4:07 PM
Reposted by Unai
Sábado.

Leed, poneos jerseys gordos y recordad que no necesitáis absolutamente NADA de las rebajas. Tenéis de todo.
January 10, 2026 at 10:07 AM
Reposted by Unai
Book review 📚 These women helped to shape quantum mechanics — it’s time to recognize them

go.nature.com/3Ls2yYu
These women helped to shape quantum mechanics — it’s time to recognize them
An astute book redresses our collective perception of a field that became known as ‘boys’ physics’.
go.nature.com
January 5, 2026 at 4:46 PM
Reposted by Unai
My "No Graphics API" blog post is live! Please repost :)
www.sebastianaaltonen.com/blog/no-grap...

I spend 1.5 years doing this. Full rewrite last summer and another partial rewrite last month. As Hemingway said: "First draft of everything is always shit".
No Graphics API — Sebastian Aaltonen
Graphics APIs and shader languages have significantly increased in complexity over the past decade. It’s time to start discussing how to strip down the abstractions to simplify development, improve pe...
www.sebastianaaltonen.com
December 16, 2025 at 6:52 PM
Reposted by Unai
“Why AGI Will Not Happen” by Tim Dettmers.

timdettmers.com/2025/12/10/w...

This essay is worth reading. Discusses diminishing returns (and risks) of scaling. The contrast between West and East: “Winner takes all” approach of building the biggest thing vs a long-term focus on practicality.
December 14, 2025 at 3:04 AM
Reposted by Unai
It’s good to see papers start to address LLMs as structural plagiarism — provenance, more hidden than the original words or training data. www.nature.com/articles/s42...
LLM use in scholarly writing poses a provenance problem
Nature Machine Intelligence - LLM use in scholarly writing poses a provenance problem
www.nature.com
December 14, 2025 at 11:13 AM
Reposted by Unai
This paper contains some good arguments about an issue that concerns me a lot when I hear my colleagues talking about LLM use in developing their research:

Whose ideas are you presenting as your own?

(Though the fatalist argument the authors make at the end of paper is disappointing/bizarre.)
December 14, 2025 at 12:38 PM
Reposted by Unai
Man, Codeberg feels like pre-AI GitHub. So refreshing to use. 😌
December 14, 2025 at 8:15 PM
Reposted by Unai
We are on a brink of an unprecedented revolution in science that will change forever how science is done and what it means to be a scientist! Instead of having to do all our writing, reading and thinking ourselves, we will now be able to spend all our time on debunking wrong AI-generated papers!
OpenAI leadership are promoting a paper in Physics Letters B where GPT-5 proposed the main idea — possibly the first peer-reviewed paper where an LLM generated the core contribution. One small problem: GPT-5's idea tests the wrong thing. My technical comment: scirate.com/arxiv/2512.0... 1/
December 9, 2025 at 8:30 PM
Reposted by Unai
All I want for Christmas is for AI agents to use the XDG Base Directory specification instead of polluting my home directory.
December 10, 2025 at 2:32 AM
Reposted by Unai
yayyy matt is doing Advent of Compiler Optimizations, go watch:

www.youtube.com/watch?v=eLjZ...
[AoCO 1/25] Why xor eax, eax?
YouTube video by Matt Godbolt
www.youtube.com
December 4, 2025 at 7:32 AM
Reposted by Unai
If you ever wanted a textbook-style guide to memory safety bugs, undefined behavior, exploit mitigations, side channels, etc.

llsoftsec.github.io/llsoftsecbook/
Low-Level Software Security for Compiler Developers
llsoftsec.github.io
December 2, 2025 at 5:07 PM
Reposted by Unai
There is a direct correlation between how fake your job is and how much value you see in AI
A study by Dayforce shows 87% of executives use AI for work, compared to 57% of managers and just 27% of employees.

I think this explains the massive disconnect we see in how CEOs talk about AI versus everyone else. It also raises the question of how useful it truly is for frontline work?
Execs are embracing AI more than their employees are, new research suggests
Research from HR software company Dayforce suggests that executives are leaning into AI far more than their employees.
www.businessinsider.com
November 29, 2025 at 4:28 PM
Reposted by Unai
I know Typst is a worthy successor to LaTeX as it's already inherited one of its most important features: a confusingly pronounced name that no native English speaker will get right on first try
November 28, 2025 at 9:11 AM
Reposted by Unai
Nature: Winter is a time of slowing down, resting, conserving energy and recovering for the year ahead

Capitalism: NOW IS THE TIME TO SELL SELL SELL, EXTENDED OPENING HOURS, CHECK OUT OUR SALES, BUY EVERYTHING WE SAY YOU NEED FOR AN ELABORATE LABOUR-INTENSIVE FESTIVAL, WORK YOURSELF TO THE BONE
November 23, 2025 at 7:15 PM
Reposted by Unai
“Unless global heating is reduced to 1.2C ‘as fast as possible’, warm water coral reefs will not remain ‘at any meaningful scale’, a report by 160 scientists from 23 countries warns..”
October 13, 2025 at 3:00 PM
Reposted by Unai
We should be asking this
c o n s t a n t l y.
October 13, 2025 at 3:54 AM
Reposted by Unai
CHATGPT IS NOT AND WILL NEVER BE AN “OPERATING SYSTEM”, CALL IT THAT ONE MORE TIME AND I WILL STAB YOU
October 7, 2025 at 1:44 AM
Reposted by Unai
I find this site mesmerizing. It is silent though - the winds outside are not.

earth.nullschool.net#current/wind...
earth :: a global map of wind, weather, and ocean conditions
See current wind, weather, ocean, and pollution conditions, as forecast by supercomputers, on an interactive animated map. Updated every three hours.
earth.nullschool.net
October 4, 2025 at 8:01 AM
Reposted by Unai
i hear rumors that i abuse my scientific presentations to talk about Politics

so let me set the record straight and repost my video about Israels war crimes in the Gaza Strip 🇵🇸
Open Problems & Diet Problems
YouTube video by Sophie Huiberts
youtu.be
September 23, 2025 at 5:32 PM
Reposted by Unai
September 19, 2025 at 5:04 PM
Reposted by Unai
added a cheat sheet to the official Git website

(with a lot of help from other folks who work on the website)

git-scm.com/cheat-sheet
Git Cheat Sheet
git-scm.com
September 16, 2025 at 6:28 PM
Reposted by Unai
"we need a manhattan project for AI" no what we really need is a manhattan project for porting every math TeX package to Typst (and please start with mathpartir)
September 16, 2025 at 1:04 PM