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
We''ve landed a few more talks since the last update!
* Sorrachai Yingchareonthawornchai: The CSLib initiative
* Simon Sorg: Machine learning for Lean
* Jannis Limperg on Lean metaprogramming for AI
* Will Turner on the new ProofBench effort
Come join us for a day of #lean! leaning.in
* Sorrachai Yingchareonthawornchai: The CSLib initiative
* Simon Sorg: Machine learning for Lean
* Jannis Limperg on Lean metaprogramming for AI
* Will Turner on the new ProofBench effort
Come join us for a day of #lean! leaning.in
Leaning In! 2026
A workshop for the Lean community - Thursday, March 12, 2026
leaning.in
December 8, 2025 at 10:16 AM
We''ve landed a few more talks since the last update!
* Sorrachai Yingchareonthawornchai: The CSLib initiative
* Simon Sorg: Machine learning for Lean
* Jannis Limperg on Lean metaprogramming for AI
* Will Turner on the new ProofBench effort
Come join us for a day of #lean! leaning.in
* Sorrachai Yingchareonthawornchai: The CSLib initiative
* Simon Sorg: Machine learning for Lean
* Jannis Limperg on Lean metaprogramming for AI
* Will Turner on the new ProofBench effort
Come join us for a day of #lean! leaning.in
Reposted by Paulo Matos
Incredible results with #lean and Gemini Deep Think by Tao in the Erdős Problem. It feels like a lot of doors in the formalization space, whether that's math or hardware/software verification, are opening quickly. mathstodon.xyz/@tao/1155914...
Terence Tao (@tao@mathstodon.xyz)
Over at the Erdos problem website, AI assistance is now becoming routine. Here is what happened recently regarding Erdos problem #367 https://www.erdosproblems.com/367 : 1. On Nov 20, Wouter van…
mathstodon.xyz
November 26, 2025 at 1:58 PM
Incredible results with #lean and Gemini Deep Think by Tao in the Erdős Problem. It feels like a lot of doors in the formalization space, whether that's math or hardware/software verification, are opening quickly. mathstodon.xyz/@tao/1155914...
Reposted by Paulo Matos
Valve’s announcements last week about their new hardware were particularly welcome here at Igalia: a lot of our work will be in those machines. From translation layers to better frame rates and longer battery life, we’ve helped @valvesoftware.com push gaming forward. www.igalia.com/2025/11/help...
Helping Valve to Power Up Steam Devices | Igalia
Igalia is an open source consultancy specialised in the development of innovative projects and solutions. Our engineers have expertise in a wide range of technological areas, including browsers and cl...
www.igalia.com
November 21, 2025 at 4:26 PM
Valve’s announcements last week about their new hardware were particularly welcome here at Igalia: a lot of our work will be in those machines. From translation layers to better frame rates and longer battery life, we’ve helped @valvesoftware.com push gaming forward. www.igalia.com/2025/11/help...
Now that this is publicly announced I can say it has been delightful to be part of the small team of contributors to FEX, bringing you x86 games to ARM64 hw - now integrated into the Steam Frame.
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 13, 2025 at 10:21 AM
Now that this is publicly announced I can say it has been delightful to be part of the small team of contributors to FEX, bringing you x86 games to ARM64 hw - now integrated into the Steam Frame.
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