Paulo Matos
banner
p.ocmatos.com
Paulo Matos
@p.ocmatos.com
160 followers 530 following 78 posts
Igalian working on FEX-Emu, Proud Father of 2, AWA IRONMAN Triathlete. All opinions are my own or my children's - if they got hold of my phone. Uke Player - Aspiring Pianist.
Posts Media Videos Starter Packs
Saturday morning in a photo...
After Halloween comes Christmas, right? #lego #christmas
It's coming together! Vroom, vroom... #lego #technic
It's coming together! Vroom, vroom... #lego #technic
What an amazing little build. Recommended for some nostalgia and video game fans. #lego #gameboy
Yes, this is what you think it is...
Reposted by Paulo Matos
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.
There’s more to mathematics than rigour and proofs
The history of every major galactic civilization tends to pass through three distinct and recognizable phases, those of Survival, Inquiry and Sophistication, otherwise known as the How, Why, and Wh…
terrytao.wordpress.com
Reposted by Paulo Matos
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!
Home
Lean Workshop at Interactive Theorem Proving 2025 - 2 October 2025, Reykjavik, Iceland
leanprover-community.github.io
Easy: Ghost of Tsushima - got me through a double slipped disc. Good luck with your ankle.
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...
Wingo on Wasm
open.spotify.com
Reposted by Paulo Matos
"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
Reposted by Paulo Matos
Igalia @igalia.com · Jul 15
🎙️ 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...
Reposted by Paulo Matos
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.
Reposted by Paulo Matos
One of the most beautiful pictures of Jupiter ever taken.

Credits: NASA
Reposted by Paulo Matos
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…
Reposted by Paulo Matos
Hiro Ohta @xlix.me · Jun 4
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.
Reposted by Paulo Matos
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.
Reposted by Paulo Matos
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...
Linux 6.15, DRM scheduler, wedged events, sched_ext and more - tony is coding
Igalia
andrealmeid.com
Reposted by Paulo Matos
Excited for this - always fun! Monday's talks are streaming, info in the link
igalia.com Igalia @igalia.com · May 27
The Web Engines Hackfest Starts Monday in A Coruña, Galicia, Spain. We're excited to host our largest @webengineshackfest.org ever!

igalia.com/2025/webengi...
Reposted by Paulo Matos
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
Reposted by Paulo Matos
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...
Reposted by Paulo Matos