Author | Lightnews

Paulo Matos @p.ocmatos.com · 2d

Saturday morning in a photo...

Paulo Matos @p.ocmatos.com · 2d

After Halloween comes Christmas, right? #lego #christmas

1 1

Paulo Matos @p.ocmatos.com · 3d

It's coming together! Vroom, vroom... #lego #technic

1

Paulo Matos @p.ocmatos.com · 3d

It's coming together! Vroom, vroom... #lego #technic

2

Reposted by Paulo Matos

Hacker News 50 @betterhn50.e-work.xyz · 14d

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

1 1

Paulo Matos @p.ocmatos.com · 24d

What an amazing little build. Recommended for some nostalgia and video game fans. #lego #gameboy

Paulo Matos @p.ocmatos.com · 25d

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

1 1

Reposted by Paulo Matos

Jesse Alama @jessealama.net · Oct 4

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

1 1

Reposted by Paulo Matos

Jesse Alama @jessealama.net · Oct 2

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

2 3

Paulo Matos @p.ocmatos.com · Sep 27

Easy: Ghost of Tsushima - got me through a double slipped disc. Good luck with your ankle.

1 2

Paulo Matos @p.ocmatos.com · Sep 3

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

1 2 9

Reposted by Paulo Matos

Stephen @sp.degabrielle.name · Aug 21

"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

3 1 4

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...

A title card with a photo of a man screaming into a phone with the words "Show me the monetization" followed by many exclamation points. Visualized soundwaves emanate from the picture

7 7

Reposted by Paulo Matos

Igalia @igalia.com · Jul 7

Igalia is keeping busy in July with 9 talks at 2 conferences...

www.igalia.com/2025/07/03/J...

July Conference News | 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

1 5

Reposted by Paulo Matos

Alex Bradbury @asbradbury.org · Jun 20

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

1 1 5

Paulo Matos @p.ocmatos.com · Jun 20

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.

1 3

Reposted by Paulo Matos

Insta Science @instascience.bsky.social · Jun 19

One of the most beautiful pictures of Jupiter ever taken.

Credits: NASA

250 2K 15K

Reposted by Paulo Matos

Gergely Orosz @gergely.pragmaticengineer.com · Jun 17

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…

15 6 130

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.

Artwork by Karl Jilg - A surreal urban scene shows pedestrians calmly walking along a narrow sidewalk suspended above a vast, deep chasm. A man balances precariously on a wooden plank connecting two sides, as though unaware of the danger below. The surrounding environment appears normal, with traffic lights and storefronts, yet the impossible drop emphasizes a disjointed reality. Everyday life continues despite the looming void.

13 110

Reposted by Paulo Matos

Marilar Aleixandre @marilaraleixandre.bsky.social · May 31

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.

2 6 26

Reposted by Paulo Matos

Ricardo Garcia @rg3.name · May 30

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

6 7

Reposted by Paulo Matos

Brian Kardell @bkardell.com · May 27

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

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...

A photo of the venue, a large convention center on the coast as a title card, with the words "Web engines hackfest 2025 - June 2-4 | A Coruña, Galicia, Spain"

2 5

Reposted by Paulo Matos

Web Engines Hackfest @webengineshackfest.org · May 21

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

Screenshot of the talks section on the website: https://webengineshackfest.org/#talks

2 15 25

Reposted by Paulo Matos

Alex Bradbury @asbradbury.org · May 14

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...

Picture of a presenter showing a slide that details outcomes of RISE funded RISC-V software ecosystem projects.

3 6

Reposted by Paulo Matos

Randall Munroe @xkcd.com · May 10

Pascal’s Law xkcd.com/3087

92 1.1K 11K