Yes, this is what you think it is...

Some reflections by Terence Tao on different levels, of formalization and rigor in math. This was offered as a discussion topic in the afternoon session of the Lean workshop at ITP 2026 but we didn’t really get around to it.

Just arrived in Reykjavik for the #lean workshop as part of ITP 2025 leanprover-community.github.io/itp-2025-lea... I'll be presenting some of my recent work. Looking forwrard to (re)connecting with some fellow Leaners!

Even if you didn't have the chance to listen to any of the amazing Igalia Chats - it's time for you to start with a really good chat about #Webassembly, with the one and only @wingolog.org . open.spotify.com/episode/0DmQ...

"XXXX, while historically important and technically very interesting, is an excellent guide for how not to design a language." Hindsight is a wonderful thing. I'm sure this is true for any language. @stylewarning.bsky.social

🎙️ New Episode of Igalia Chats: Show me the Monetization! Igalia's @bkardell.com and @meyerweb.com chat about the past, present and future of funding and 'micropayments'. www.igalia.com/chats/2025-m...

Igalia is keeping busy in July with 9 talks at 2 conferences... www.igalia.com/2025/07/03/J...

Mojo attracts some criticism on /r/programminglanguages (mostly not targeted at design decisions of the language itself) and a wild clattner appears to defend/clarify old.reddit.com/r/Programmin...

Spent a week and a half on a family holidays in New York City and loved it, but being able to come back, sit down in my garden and sip an espresso without a hint of noise feels otherworldly.

One of the most beautiful pictures of Jupiter ever taken. Credits: NASA

Outside of Google is there any large company NOT using Sonnet as their primary model for coding? Heard even Meta switched internally to it from Llama Anthropic pulled off something pretty incredible by becoming the de facto coding model choice for most tech companies…

This artwork by Karl Jilg, commissioned by the Swedish government, questions how 20th-century public spaces excluded pedestrians. The imagination of artists can sometimes convey our familiar world in a more real form.

Maio e por fin chega o libro de @xanlopez.xyz (@anagramaeditor.bsky.social) coas rosas e as cereixas (todo vermello). Hai tempo que non lía un ensaio que propoña tantas ideas novas e tan ben articuladas.

Linux kernel 6.15 is out and, like clockwork ⏰, my @igalia.com colleague André "Tony" Almeida gives an overview of the main changes and the many contributions by Igalia to this release. Check it out! andrealmeid.com/post/2025-05...

Excited for this - always fun! Monday's talks are streaming, info in the link

This year the Web Engines Hackfest will have 9 talks live streamed in YouTube on Monday 2nd June starting at 10:30 CEST. 🎥 webengineshackfest.org#talks

I'm delighted to see two of @igalia.com's projects for RISE highlighted at the RISC-V Summit Europe. Find out more about our work on both LLVM optimisation and testing/CI on the RISE blog (with more to come in the future!): riseproject.dev/2025/05/08/p... riseproject.dev/2024/10/15/w...

Pascal’s Law xkcd.com/3087

I'm on the latest episode the TMPDIR podcast hosted by Khem Raj and Cliff Brake. We talk about various projects I've been involved in (RISC-V, LLVM, lowRISC, Raspberry Pi), current work at @igalia.com, and tech in general. Thanks for having me on! tmpdir.org/043/

Lego partially completed but the nostalgia is already there. While many are keen on pre-ordering a switch 2, I stick to a NES made of Lego. #lego #nes #Nintendo #gaming

In case you hadn't noticed:

Words to live by.

Videos of talks at the recent Simons Institute and SLMath joint workshop on AI for mathematics and theoretical computer science at UC Berkeley are now available: simons.berkeley.edu/workshops/si...

@simonwillison.net we discussed LLM training energy cost Vs intercontinental flights before. Have you looked at cost vs animated movies? I'm stuck on finding solid data on GPU hours and GPU used. But Llama 4 == ?? Wish (or going back further, Emoji Movie) to train feels like a useful comparison.

My llm-fragments-github plugin has a new feature that lets you import an issue thread using -f issue:org/repo/number - you can feed it the repo contents with -f github:simonw/llm and say "muse on this issue, then propose a whole bunch of code to help implement it" simonwillison.net/2025/Apr/20/...

I feel seen...

We’ll be at #EuroLLVM 2025 in Berlin next week with talks from @asbradbury.org and Luke Lau!

If you listen carefully to a Unix Shell Sometimes you can still hear the C 🥁 #programming

I wrote about sustainable organizations — the kind that grow with care, adapt without burning out, and actually make sense in a messy world. Inspired by @igalia.com 🌱 Check it out → vignatti.com/posts/sustai... #OrganizingDifferently #Sustainability #FutureOfWork

You matter. Unless you multiply yourself by the speed of light squared. Then you Energy.

Servo is considering: - allowing some AI tools for non-code contributions - allowing maintainers to use GitHub Copilot for some code contributions over the next 12 months These changes are planned to take effect in June 2025, but we want your feedback. More details: github.com/servo/servo/...

I’m excited to see this plan taking shape. blog.rust-lang.org/2025/04/04/v...

God DAMN it. The utter malignancy of this. The sheer fucking moronity. www.404media.co/nih-archives...

Curved PC keyboards, curved TVs, curved monitors, curved... Pianos? #akustika #piano #curved #steingraeber

Today my day is dedicated to music! Akustika, here I come!

There's something that makes me smile to imagine a bunch of people in their 90s gathered round a screen playing EA FC and screaming "EA Sports - it's in the game!".

Maybe I can finally win a race... 😁 Against bots!🙄

Vaccines. 💪🏻💪🏻

we did some awesome stuff and then went ahead and wrote down about everything so you could read about it over your morning coffee! blogs.igalia.com/compilers/20...

My colleague Stephen Chenney wrote about how to customize find-in-page highlights, something @igalia.com has been working to improve with support from Bloomberg Tech blogs.igalia.com/schenney/fin...

Tomorrow is W3C Breakouts Day - We'll be be leading a discussion about collective funding, governance and prioritization of web engine projects... You can join online. www.w3.org/events/meeti...

We had a great time at #EmbeddedWorld 2025! Our colleague @samuelig.bsky.social talked about our OSS GPU drivers, we had lots of interesting conversations and we made new friends. Looking forward to repeating the experience next year! #ew25

SteamOS 3.7.0 Preview brings the 'beginnings of support for non-Steam Deck handhelds' #SteamDeck #SteamOS #HandheldGaming #Gaming #Linux #PCGaming #Steam

Today in the Dance World Cup German Qualifiers! Absolutely incredible dancers left and right. When I think about the fact that these dancers trains a choreo for months and get two minutes to show it, it's scary. Congrats to everyone!

🥹

Mechanism are doing a Spring Sale for their Steam Deck accessories #SteamDeck #Mechanism #Deckmate

I am in Embedded World Nuremberg, Germany this week with some of my colleagues from @igalia.com . Do come and visit our booth (4-636) and talk to us. We are showing off some of cool tech we have been working on.

My total rewrite of the instructions on cross-compiling Clang/LLVM for Linux using Clang/LLVM for Linux has now landed. If you want to cross-compile LLVM without getting angry - this is your guide! llvm.org/docs/HowToCr...

What if I told you 3DNow! square root recíprocals are defined for negative numbers?... Also the amazing FEX 2503 is out. Read about some of my work and the work of other FEX maintainers' in the release notes: fex-emu.com/FEX-2503/ #fex #igalia #gaming #linux #arm64

FEX stats in mangohud are a game changer if you're running your games on ARM64! Go get this amazing release.