Il y a du thé renversé au bord de la table, by David "Yoric" Teller

Let’s face it: for developers, the Age of Agents has begun.

I’ve had a few conversations about async code recently (and not so recently) and seen some code that seems to make wrong assumptions about async, so I figured out it was time to have a serious chat about async, what it’s for, what it guarantees and what it

I’ve been writing some Go code recently.

TL;DR There’s a path towards AI that actually produces high-reliability, high-performance code, and it goes through formal methods and compilers.

A few years ago, on a whim, I wrote YAIOUOM.

So you want to optimize your code, eh?

I’ve been a programmer since the age of 8, and some kind of developer for most of my life.

If the last few weeks of media and social media have demonstrated anything, it is the power of language.

(This is meant to be the first entry of a series which will cover individual points more in depth.

Recent publications by Consumer Reports and the NSA have launched countless conversations in development circles about safety and its benefits.

Among the many interesting moments of this ending year 2022, we have had the chance of seeing the Twitter/Musk experiment unfold.

The web is getting darker.

On this rainy october day (well, at least it rains where I’m writing this) of the great year 2020, let’s take another few minutes to reflect on some great practices that we have at Mozilla and that would deserve to take over the world.

Let’s continue this series on some of the great practices that we have at Mozilla and that your project may wish to adopt, too.

Until now, this blog has been using Disqus as a comment mechanism.

2020 is a crappy year for pretty much everyone.

TL;DR: Firefox used to have a great extension mechanism based on the XUL and XPCOM.

A number of programming languages offer a feature called “Named Arguments” or “Labeled Arguments”, which makes some function calls much more readable and safer.

Years ago, Andrew Kennedy published a foundational paper about a type checker for units of measure, and later implemented it for F#.

I have decided to keep this blog for professional use and move everything related to storytelling, role-playing games or improv acting to a new location.

When I’m not busy attempting to reduce the startup time and power requirements of web pages with the JavaScript Binary AST, I’m into Improv Acting and Role-Playing Games.

Two years ago, I was working on a research project called “Project Link” as part of the Connected Devices branch of Mozilla.

Credit While I’m the author of this blog post, 99% of the work was done by Nicolas B.

In this entry, I’d like to discuss one of the most interesting and unusual aspects of the Binary AST: how we gain performance by turning proof-building into validation, and why this is very good news for performance (and maybe not so good news for file si…

A long time ago, the Rust language was a language with typestate.

“The key to making programs fast is to make them do practically nothing.” - Mike Haertel, creator of GNU Grep.

Hey, all cool kids have exciting Engineering Newsletters these days, so it’s high time the JavaScript Binary AST got one!

In this blog post, I would like to introduce the JavaScript Binary AST, an ongoing project that we hope will help make webpages load faster, along with a number of other benefits.

A few weeks ago, Mozilla pulled the plug on its Connected Devices Experiment: a bunch of internal non-profit hardware-related startups.

Hi, I’m Yoric, aka David Teller, I’m a Jack of all Threads at GitLab (aka Staff Engineer).

It’s no secret that all projects die, eventually, and that most projects die before they have had a chance to have any impact.

While Hubpress is a cool project, I had no idea of what it could be doing with my password, so I have migrated to Hugo.

At its core, Lighthouse is an idea we have been discussing in Connected Devices: can we build a device that will help people with partial or total vision disabilities?

I am in the process of migrating to github.io.