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
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
I made a mechanical laptop
YouTube video by flurples
youtu.be
September 15, 2025 at 6:10 AM
Reposted by Unai
Protect trans kids.
December 4, 2024 at 10:00 PM
Reposted by Unai
When speaking to Tommy Robinson at the far right demonstration in London today, Elon Musk wore a t-shirt saying "What would Orwell think?"

So let's dive in - what would George Orwell think about Tommy Robinson and Elon Musk? 🧵
September 13, 2025 at 10:37 PM
Reposted by Unai
“These results suggest that physical activity levels are directly influenced by the built environment and not simply a product of personal preferences or other types of selection effects”

If we really want to make America healthy again, walkability should be a priority
September 2, 2025 at 6:39 PM
I peaked
August 30, 2025 at 6:35 AM
Reposted by Unai
A practical introduction to parsing (in #rustlang)

jhwlr.io/intro-to-par...
A practical introduction to parsing
jhwlr.io
August 19, 2025 at 7:14 PM