Paulo Matos
@p.ocmatos.com
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.
Reposted by Paulo Matos
Announcing: New @steampowered.com Hardware, coming in 2026:
Steam Controller
Steam Machine
Steam Frame.
Watch our jazzy announcement video and wishlist now: steampowered.com/hardware
Steam Controller
Steam Machine
Steam Frame.
Watch our jazzy announcement video and wishlist now: steampowered.com/hardware
Steam Hardware
The Steam Hardware family officially expands in early 2026.
steampowered.com
November 12, 2025 at 6:03 PM
Announcing: New @steampowered.com Hardware, coming in 2026:
Steam Controller
Steam Machine
Steam Frame.
Watch our jazzy announcement video and wishlist now: steampowered.com/hardware
Steam Controller
Steam Machine
Steam Frame.
Watch our jazzy announcement video and wishlist now: steampowered.com/hardware
After Halloween comes Christmas, right? #lego #christmas
November 1, 2025 at 9:44 AM
After Halloween comes Christmas, right? #lego #christmas
October 31, 2025 at 9:05 AM
October 31, 2025 at 9:03 AM
Reposted by Paulo Matos
x86-64 Playground – An online assembly editor and GDB-like debugger https://x64.halb.it/ (https://news.ycombinator.com/item?id=45646958)
X86-64 playground
An online assembly editor, emulator, and debugger for the x86-64 architecture. Learn and experiment with assembly and system internals directly in your browser—no setup required
x64.halb.it
October 20, 2025 at 8:39 PM
x86-64 Playground – An online assembly editor and GDB-like debugger https://x64.halb.it/ (https://news.ycombinator.com/item?id=45646958)
Yes, this is what you think it is...
October 9, 2025 at 2:50 PM
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
October 4, 2025 at 12:58 PM
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.
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
October 2, 2025 at 12:58 PM
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...
Wingo on Wasm
open.spotify.com
September 3, 2025 at 1:41 PM
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...
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
Hindsight is a wonderful thing. I'm sure this is true for any language.
@stylewarning.bsky.social
August 21, 2025 at 4:15 PM
"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
Hindsight is a wonderful thing. I'm sure this is true for any language.
@stylewarning.bsky.social
Reposted by Paulo Matos
🎙️ 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's @bkardell.com and @meyerweb.com chat about the past, present and future of funding and 'micropayments'.
www.igalia.com/chats/2025-m...
July 15, 2025 at 6:13 PM
🎙️ 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'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
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...
Is Mojo language not general purpose?
Hi Folks, Chris Lattner here from the Modular team, I'd like to clarify a few things. This isn't to try to convince you to use and fall in love...
old.reddit.com
June 20, 2025 at 8:20 PM
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.
June 20, 2025 at 6:01 PM
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
Credits: NASA
June 19, 2025 at 5:19 PM
One of the most beautiful pictures of Jupiter ever taken.
Credits: NASA
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…
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…
June 17, 2025 at 9:05 AM
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…
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
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.
June 4, 2025 at 9:16 AM
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.
May 31, 2025 at 5:31 PM
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
May 30, 2025 at 2:17 PM
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...
Reposted by Paulo Matos
Excited for this - always fun! Monday's talks are streaming, info in the link
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...
igalia.com/2025/webengi...
May 27, 2025 at 4:42 PM
Excited for this - always fun! Monday's talks are streaming, info in the link
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
webengineshackfest.org#talks
May 21, 2025 at 9:16 AM
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
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...
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...
May 14, 2025 at 10:50 AM
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...
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
Reposted by Paulo Matos
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/
RISC-v and LLVM With Alex Bradbury
Learn about the interesection of these two cutting edge technologies
tmpdir.org
May 10, 2025 at 5:39 AM
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/