Igalia 24/7
News about Igalia
We love hearing from you, so be sure to follow us and join the conversation on our networks. If you want to know more about us, you can also meet the team here.
Posts
From WebKit/GStreamer to rust-av, a journey on our stack’s layers
In this post I’ll try to document the journey starting from a WebKit issue and ending up improving third-party projects that WebKitGTK and WPEWebKit depend on. I’ve been working on WebKit’s...
Continue reading >
Getting started with Lean 4, your next programming language
I had the pleasure of learning about Lean 4 with David Christiansen and Joachim Breitner at their tutorial at BOBKonf 2024. I‘m planning on doing a couple of formalizations with...
Continue reading >
The Blessing of the Strings
The Blessing of the Strings Trusted Types have been a proposal by Google for quite some time at this point, but it's currently getting a lot of attention and work...
Continue reading >