iiinova — where your digital self keeps evolving

titzerbl.bsky.social @titzerbl.bsky.social · 13/06/2026

If you spent ten million dollars *per day* with absolutely nothing to show for it, it would take three hundred years (THREE CENTURIES!) to blow what Elon is worth on paper. You can only make so much money by creating and inflating your own fake currency. The system is completely broken.

020

titzerbl.bsky.social @titzerbl.bsky.social · 13/06/2026

If you earned..."earned"...five hundred million dollars *per year* since the birth of Jesus, you would still not have as much money as Elon is worth on paper. You can only make so much money by creating and inflating your own fake currency. The system is completely broken.

000

titzerbl.bsky.social @titzerbl.bsky.social · 31/05/2026

I want to just set the icon and it never change. But software is so fundamentally broken today that that idea is just unthinkable. Let *the user* set the icon for an app? Heavens, no.

000

titzerbl.bsky.social @titzerbl.bsky.social · 28/05/2026

They changed the favicon of every single google service so I can't find my calendar in my tabs anymore. This about the 100,000th time some UI designers I never met just broke my brain's pattern recognition for no reason at all. Are they aware that people *use* computers for work?

172

Reposted by @titzerbl.bsky.social

Bailey Hayes @bailey-hayes.bsky.social · 14/05/2026

Elizabeth Gilbert wrote an excellent article on how to use #Wasm for service chaining and composition with WASIP3! bytecodealliance.org/articles/how... #WebAssembly #BytecodeAlliance

bytecodealliance.org

How Wasm components enable pluggable tooling through interposition

And how the splicer framework makes it tractable at any interface edge.

1135

titzerbl.bsky.social @titzerbl.bsky.social · 15/05/2026

Installing MX-Linux on old Chromebook to have a device I can abuse. Abysmally clunk firmware update process required a HW write protect bypass. Following a particularly crappy Ubuntu 26 first go, I conclude that if the UI is going to be shitty, it's better if shitty *and fast*. Go MX-Linux!

000

titzerbl.bsky.social @titzerbl.bsky.social · 26/02/2026

People who know me know my grumpiness about UI changes and obsolescence. While I appreciate the challenge of adding new features and onboarding users, popping up a walkthrough in my face is annoying. Most of the time I want a NOT RIGHT NOW button. I'll get to it later, please stop bothering me.

000

titzerbl.bsky.social @titzerbl.bsky.social · 23/02/2026

I have struggled with Rosetta 2 not liking Virgil x86-64 binaries for some time. Today I put Claude on it. It's fascinating watch it go through pretty heroic attempts to figure out the issue. We are hours and compiler patches deep in this, together.

020

titzerbl.bsky.social @titzerbl.bsky.social · 17/02/2026

Merged the stable release for Virgil III-10. Virgil has real lambdas that are on by default (with return type inference stuff!) and all the optimization levels work. github.com/titzer/virgi...

github.com

Stable Release III-10 by titzer · Pull Request #529 · titzer/virgil

011

titzerbl.bsky.social @titzerbl.bsky.social · 16/02/2026

Every new thing about MacOS upgrades infuriates me. Much ink has been spilled about the rounded corners, but how about the fact that the terminal application now has two columns' worth of horizontal padding that is now unusable. No reason at all. Just wasting space.

010

titzerbl.bsky.social @titzerbl.bsky.social · 10/02/2026

*sigh* After two months of fits and starts, I finally landed the big global regalloc refactor that passes the CI, and both Virgil and Wizard tests all pass now at -O3. I just have to fix the symbols for debugging, then stable rev...

030

titzerbl.bsky.social @titzerbl.bsky.social · 20/01/2026

Elizabeth's work on Whamm triggered a New Stack article!

030

titzerbl.bsky.social @titzerbl.bsky.social · 14/01/2026

Start with Oliver Fluckinger's thesis.

210

titzerbl.bsky.social @titzerbl.bsky.social · 14/01/2026

So that "simple" register allocator bugfix metastasized into a rewrite of about one third--approaching one half, TBH--of the graph coloring allocator. And I just realized that deconstructing SSA before doing the pre-spill (shadow stack) phase was...unwise.

020

titzerbl.bsky.social @titzerbl.bsky.social · 07/01/2026

Getting dragged down into the register allocator hole again. Every time I disappear down the hole I spend several days paging stuff back in, learning two or three minor insights, fix a bug by turning something off, and then promptly forget it all.

060

titzerbl.bsky.social @titzerbl.bsky.social · 23/12/2025

Ugh, I am so close to being able to squashing the last -O3 bug in the Virgil compiler! It passes all of Virgil's, with bootstrap, and passes nearly all of Wizard's, except some mysterious coverage monitor bug and WASI fd_write. After -O3 it's time to stable rev!

030

titzerbl.bsky.social @titzerbl.bsky.social · 18/12/2025

Please enjoy your trip through this door!

000

titzerbl.bsky.social @titzerbl.bsky.social · 13/12/2025

@shriram.bsky.social You always refer to your offspring as "kid". I wrote a song about the first Scientist. Somehow "Kid A" reminds of your stories of them. suno.com/s/07w8E55Fo9...

suno.com

Purple-ometer

Listen and make your own on Suno.

110

titzerbl.bsky.social @titzerbl.bsky.social · 19/11/2025

Don't question the power talk of the go-jillionaires!

110

titzerbl.bsky.social @titzerbl.bsky.social · 19/11/2025

A more generous interpretation is that he meant they need to *move* more electrons...which is more or less true. AI is limited by electrical power generation at this point.

100

titzerbl.bsky.social @titzerbl.bsky.social · 13/11/2025

Indexing an array and the array length are two slightly different cases IMO. In the first, obviously there is a dynamic check (and Virgil allows any-sized or any-signed integers as an index). In the later, the length being unsigned encodes an invariant useful to other code.

000

Reposted by @titzerbl.bsky.social

Ingvar Stepanyan @rreverser.com · 12/11/2025

Haven't tried myself yet, but this VSCode extension for customisable debug visualisations looks absolutely amazing. marketplace.visualstudio.com/items?itemNa...

1121

Reposted by @titzerbl.bsky.social

Andy Wingo @wingolog.org · 13/11/2025

new bloggery: a look back on the last couple years of developments in v8's garbage collector wingolog.org/archives/202...

wingolog.org

the last couple years in v8's garbage collector — wingolog

wingolog: article: the last couple years in v8's garbage collector

0134

titzerbl.bsky.social @titzerbl.bsky.social · 13/11/2025

The Virgil compiler interprets its SSA representation directly, as compile-time initialization allows the full language--a simplification after two generations of customized interpreters. It does basically what Mike wrote, except gotos assign the values of phis instead of looking them up.

031

titzerbl.bsky.social @titzerbl.bsky.social · 12/11/2025

Numeric types are actually pretty tricky to get right in language design. FWIW, Virgil defines array lengths to be 32-bit signed integers, like Java. Yet array and range indexing is overloaded to allow any integer type as an index. github.com/titzer/virgi...

github.com

020

titzerbl.bsky.social @titzerbl.bsky.social · 12/11/2025

Not sure I buy this. One nice principle is "make invalid states unrepresentable" and unsigned types are one mechanism for that. The irony is that up until C23, overflow of signed integers was UB, and now it's defined to wrap. So this stuff about "compiler will catch errors" is tripe.

200

titzerbl.bsky.social @titzerbl.bsky.social · 29/10/2025

Today I presented to the Wasm CG a proposal for fine-grained dynamic code generation as a core WebAssembly feature. The proposal is now at phase 1! github.com/WebAssembly/... Also immortalized in song: suno.com/song/19e0679...

github.com

GitHub - WebAssembly/jit-interface: WebAssembly specification, reference interpreter, and test suite for the jit-interfaces proposal.

WebAssembly specification, reference interpreter, and test suite for the jit-interfaces proposal. - WebAssembly/jit-interface

33111

titzerbl.bsky.social @titzerbl.bsky.social · 12/10/2025

I'm curious if your backend is targeting Wasm GC or linear memory.

210

Reposted by @titzerbl.bsky.social

Fabio Niephaus @fniephaus.com · 10/10/2025

It’s live! "@graalvm.org meets #WebAssembly” from @devoxx.com: compile JVM apps to Wasm (Web Image) and run Wasm in Java or Kotlin at near‑native speed (GraalWasm). Lots of live demos included! www.youtube.com/watch?v=uefc...

youtube.com

GraalVM meets WebAssembly by Fabio Niephaus

YouTube video by Devoxx

2277

titzerbl.bsky.social @titzerbl.bsky.social · 17/09/2025

How I'm feeling about data layout / protocol description languages right now. ...except none of them even ending up becoming standard! xkcd.com/927/

xkcd.com

Standards

000

titzerbl.bsky.social @titzerbl.bsky.social · 16/09/2025

Yes, thanks. I have trouble operating the internet.

010

titzerbl.bsky.social @titzerbl.bsky.social · 16/09/2025

@dubroy.com alerted me to the Safari release notes (developer.apple.com/documentatio...) say version 26 ships an in-place interpreter for WebAssembly, which is in part based on the Wizard design, but adapted for Safari's use cases. This is cool! Wasm brings all the VMs to tiers!

developer.apple.com

173

titzerbl.bsky.social @titzerbl.bsky.social · 06/08/2025

Today I finished implementing the last of the relaxed-simd proposal (now Phase 4). That completes Wizard's support for all of the Wasm 3.0 features, which includes all the good things like exception handling, function references, garbage collection, and tail calls! github.com/titzer/wizar...

github.com

GitHub - titzer/wizard-engine: Research WebAssembly Engine

Research WebAssembly Engine. Contribute to titzer/wizard-engine development by creating an account on GitHub.

052

titzerbl.bsky.social @titzerbl.bsky.social · 24/05/2025

Yeah, unaligned loads are generally pretty fast on intel, but keep in mind that you're benefiting a lot from a forward scan, so prefetching is going to have cache lines ready. It hurts most when you cross a cache line boundary, which is only a fraction of accesses.

000

titzerbl.bsky.social @titzerbl.bsky.social · 22/05/2025

Hello, it's 2011 again and I'm crashing the MacOS kernel with 300 byte binaries. If only it were someone *else's* kernel.

010

titzerbl.bsky.social @titzerbl.bsky.social · 30/04/2025

Whenever a new feature is hot off the presses I am a little hesitant to use it in "production" code, and certainly a self-hosted compiler requires a stable rev to be usable, but man--unittests? Blast away with those lambda bombs. I have so much pent-up closuring!

010

titzerbl.bsky.social @titzerbl.bsky.social · 28/04/2025

That about does it for lambdas in Virgil. Woohoo! First there were just Class, Functions, Tuples, and Type Parameters. Then there were algebraic data types. Then, partial application. Now, full lexical closures! github.com/titzer/virgi...

github.com

[funexpr] Implement captured variables by titzer · Pull Request #395 · titzer/virgil

051

titzerbl.bsky.social @titzerbl.bsky.social · 11/04/2025

In other channels, we've been discussing holding a Wasm tooling tutorial at SPLASH in Singapore. Is that something that interests you as well?

110

Reposted by @titzerbl.bsky.social

Thomas Steiner @tomayac.com · 20/03/2025

As of last December, release 2.0 of the #Wasm specification is “official”! Read Andreas Rossberg's post, which happens to be the first real post on the #WebAssembly website's new News 🗞️ section: webassembly.org/news/2025-03....

webassembly.org

- WebAssembly

WebAssembly (abbreviated Wasm) is a binary instruction format for a stack-based virtual machine. Wasm is designed as a portable compilation target for programming languages, enabling deployment on the...

12110

titzerbl.bsky.social @titzerbl.bsky.social · 20/03/2025

We haven't experimented much with Wasip2 yet, but your comment gives me the idea that we could recompile the wasmtime implementation with the Rust target...hmmm :)

020

titzerbl.bsky.social @titzerbl.bsky.social · 19/03/2025

Yesterday we put up the camera-ready for the WALI paper! This paper introduces Thin Kernel Interfaces for WebAssembly which allows a new class of powerful applications for Wasm and building higher-level interfaces like WASI in an engine-agnostic way. arxiv.org/abs/2312.03858

arxiv.org

Empowering WebAssembly with Thin Kernel Interfaces

Wasm is gaining popularity outside the Web as a well-specified low-level binary format with ISA portability, low memory footprint and polyglot targetability, enabling efficient in-process sandboxing o...

2145

titzerbl.bsky.social @titzerbl.bsky.social · 28/02/2025

Performance is a red herring I think here. Getting efficient data represents (read: avoiding boxing and unnecessary allocations) is more than half the battle. But systems also could benefit from some esoteric features like data layouts, which is something I've focused on recently.

000

titzerbl.bsky.social @titzerbl.bsky.social · 28/02/2025

Well systems programming is my niche and I feel like systems languages have an unfortunate habit of morphing into application languages. The real systems problems are data representations and safety--not on chasing market share through better ergonomics.

110