Hacker News: yoshuaw

WASI 0.3.1

yoshuaw — Thu, 13 Aug 2026 14:37:56 +0000

Article URL: https://github.com/WebAssembly/WASI/releases/tag/v0.3.1

Comments URL: https://news.ycombinator.com/item?id=49286664

Points: 2

# Comments: 0

New comment by yoshuaw in "Rust project goals: Immobile types and guaranteed destructors"

yoshuaw — Mon, 03 Aug 2026 22:00:03 +0000

Niko Matsakis (T-Lang) has since also published a post on only-bounds: https://smallcultfollowing.com/babysteps/blog/2026/06/09/onl.... Sized hierarchy, Move, and Forget/Leak all share the same fundamental compat issues, so we're all pretty motivated to solve the underlying problems in a way that enables all the other features to be built on top.

New comment by yoshuaw in "Rust project goals: Immobile types and guaranteed destructors"

yoshuaw — Mon, 03 Aug 2026 21:48:21 +0000

You're right that this is an important issue. I wrote a post explaining this in some detail, so at the very least we avoid having the same problem with generator functions:

https://blog.yoshuawuyts.com/gen-auto-trait-problem

New comment by yoshuaw in "Why don't people use formal methods? (2019)"

yoshuaw — Thu, 30 Jul 2026 14:00:31 +0000

One of my favorite quotes on this topic is:

"Type systems are just the parts of formal verification we've figured out how to make fast."

New comment by yoshuaw in "In-toto: A framework to secure the integrity of software supply chains"

yoshuaw — Sat, 18 Jul 2026 16:12:54 +0000

I thought this was a good explainer on what In-toto is, when to use it, and how it's different from e.g. Sigstore:

https://nesbitt.io/2026/05/24/signing-is-for-the-bad-days.ht...

New comment by yoshuaw in "Leaded gas was a known poison the day it was invented (2016)"

yoshuaw — Sun, 12 Jul 2026 01:18:12 +0000

Sodium-ion batteries are now also finally coming to market (CATL Naxtra) [1]. This gives me a lot of hope for the future.

[1]: https://www.electrive.com/2026/06/26/catl-targets-up-to-2000...

New comment by yoshuaw in "Alternate clock designs and time systems"

yoshuaw — Fri, 10 Jul 2026 19:42:16 +0000

My favorite base 10 clock is Neralie: http://wiki.xxiivv.com/site/time.html

> The Neralie clock has two groups of 3 digits, called the beat & the pulse. A beat contains 1000 pulses, and equivalent to 86.4 seconds. A day is 1000 beats, or a million pulses.

New comment by yoshuaw in "The bottleneck might be the air in the room"

yoshuaw — Sat, 04 Jul 2026 09:30:12 +0000

Worse specs? Sure. Worse value? I don't think so. Worse accuracy? Perhaps not either.

A price of 30 EUR makes this sensor really easy to pick up. For the same price as one Aranet (~180 EUR) the typical household can place a sensor in every room of the house. Which provides far more accurate readings for the whole house than just one high-end sensor in one room.

New comment by yoshuaw in "EU countries want oil exploration to be classed as a green investment"

yoshuaw — Wed, 01 Jul 2026 19:29:10 +0000

This is just days after EU courts ruled private jet construction counts as a "green investment": https://www.reuters.com/business/environment/eu-court-says-p...

New comment by yoshuaw in "The Road to the WASM Component Model 1.0"

yoshuaw — Fri, 12 Jun 2026 22:05:06 +0000

Mozilla is currently prototyping this in the browser [1] and measured 45% reduced overhead compared to calling DOM APIs through JS glue. The Chrome team has also expressed their interest. That's not a guarantee it will ever land of course; but I'm cautiously optimistic we'll get there eventually.

[1]: https://hacks.mozilla.org/2026/02/making-webassembly-a-first...

New comment by yoshuaw in "WASI 0.3"

yoshuaw — Fri, 12 Jun 2026 19:48:33 +0000

Seconding this. Writing .wast files by hand is kind of fun as a novelty, but it's in no way something I'd want to maintain interfaces in.

Declarative interfaces via the WIT format are so much more readable in comparison; I'm really happy that's the direction we took for the component model.

New comment by yoshuaw in "WASI 0.3"

yoshuaw — Fri, 12 Jun 2026 17:23:54 +0000

Thank you!

New comment by yoshuaw in "WASI 0.3"

yoshuaw — Fri, 12 Jun 2026 16:38:29 +0000

Hey everyone, we just published the announcement post for WASI 0.3 on the Bytecode Alliance blog:

https://bytecodealliance.org/articles/WASI-0.3

The current link is just the release notes and covers only the interface-level changes. The announcement post goes into more detail on what's new in WASI 0.3, how it differs from WASI 0.2, and includes examples.

New comment by yoshuaw in "The Road to the WASM Component Model 1.0"

yoshuaw — Thu, 11 Jun 2026 23:12:24 +0000

If you want compilers to be able to natively target browsers and access the browser DOM APIs, then you need to define some kind of contract between browsers and compilers on how to call APIs in one from the other. That is what the Wasm Component Model provides.

Perhaps some people are happy to keep the status quo where each call between Wasm and the browser needs to roundtrip through a JS glue layer. But personally I'm excited about a future where that is no longer needed.

New comment by yoshuaw in "Apple reportedly preps native support for Google Cast in iOS 27"

yoshuaw — Wed, 27 May 2026 18:51:20 +0000

I'm personally quite excited for Matter Casting. I haven't actually looked into the details of casting protocol itself, but I've been really enjoying my Matter devices at home and would love for my screens and speakers to integrate with the standard as well.

New comment by yoshuaw in "Observations from carbon dioxide monitoring"

yoshuaw — Tue, 31 Mar 2026 04:54:44 +0000

I've found old buildings to have generally worse air quality than newer buildings because of a lack of mechanical ventilation.

New comment by yoshuaw in "Never snooze a future"

yoshuaw — Fri, 13 Mar 2026 10:29:27 +0000

For the past seven years I've been urging people to stop using `select!` in async Rust code and use dedicated structured control flow primitives instead. Correct use of `select!` cannot be guaranteed by the compiler [1], and so it's unsurprising it leads to bugs.

For the first example the better option would be to use the `race` operation [2]. For the second it would be better to use `ConcurrentStream` [3]. Many (but not all) of the issues people have with cancellation in async Rust can be improved with the advice: "don't use select!".

[1]: https://blog.yoshuawuyts.com/futures-concurrency-3/#issues-w...

[2]: https://docs.rs/futures-concurrency/latest/futures_concurren...

[3]: https://docs.rs/futures-concurrency/latest/futures_concurren...

New comment by yoshuaw in "Making WebAssembly a first-class language on the Web"

yoshuaw — Thu, 26 Feb 2026 21:39:56 +0000

The other side of the story here is also worth considering: native support in browsers provides a stable compile target for language toolchains. It'd be really nice if targeting the web from e.g. Kotlin, Swift, or Rust becomes just a matter of passing the right flag to the compiler.

New comment by yoshuaw in "Making WebAssembly a first-class language on the Web"

yoshuaw — Thu, 26 Feb 2026 21:31:27 +0000

I think it's less about unlocking new scenarios per se, and more about making existing scenarios better. If given the choice I'll generally prefer to write my code in Rust. But with native Wasm Component-based DOM bindings that same code will now run twice as fast.

New comment by yoshuaw in "C isn't a programming language anymore (2022)"

yoshuaw — Fri, 06 Feb 2026 14:17:50 +0000

This is the same author who found and reported ABI incompatibilities between clang and gcc: https://faultlore.com/abi-cafe/book/trophies.html — Given these incompatibilities have since been addressed, I think it's fair to say there were indeed issues with C.