yoshuaw

5 ms·

1.
Hyperlight 0.17.0(hyperlight.org)
2 points by yoshuaw 1mo ago|0 comments
2.
WASI 0.3.1(github.com)
2 points by yoshuaw 2mo ago|0 comments
3.
by yoshuaw 2mo ago
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
4.
by yoshuaw 2mo ago
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-pr
5.
by yoshuaw 2mo ago
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."
6.
by yoshuaw 3mo ago
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...
7.
by yoshuaw 3mo ago
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...
8.
by yoshuaw 3mo ago
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 second
9.
by yoshuaw 3mo ago
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 e
10.
by yoshuaw 3mo ago
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...
11.
by yoshuaw 4mo ago
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 cou
12.
by yoshuaw 4mo ago
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
13.
by yoshuaw 4mo ago
Thank you!
14.
by yoshuaw 4mo ago
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-
15.
by yoshuaw 4mo ago
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 Comp
16.
by yoshuaw 4mo ago
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 int
17.
by yoshuaw 6mo ago
I've found old buildings to have generally worse air quality than newer buildings because of a lack of mechanical ventilation.
18.
by yoshuaw 7mo ago
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&#x27
19.
by yoshuaw 7mo ago
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 m
20.
by yoshuaw 7mo ago
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 sa
21.
by yoshuaw 8mo ago
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&#
22.
by yoshuaw 8mo ago
A lot of us are our own instance admins, with our own accounts being the only accounts associated with our domains. I don't self-host though; I pay a dedicated hosting provider to handle this for me. This means I end up having a very s
23.
by yoshuaw 8mo ago
> I always forget the order of precedence for FnOnce/Fn/FnMut The way I remember the ordering is by thinking about the restrictions the various Fn traits provide from a caller's perspective: 1. FnOnce can only ever be
24.
by yoshuaw 9mo ago
If we're talking sanitation tech: I'm personally really excited by the further miniaturization of (far)-UVC light sources [1]. Far-UVC lamps deactivate airborne pathogens, but cannot penetrate the human eyes or skin making them ge
25.
by yoshuaw 9mo ago
I couldn't agree more. And in the rare cases where destructors do need to be created inline, it's not hard to combine destructors with closures into library types. To point at one example: we recently added `std::mem::DropGuard` [
26.
by yoshuaw 11mo ago
The differences in regional prices are interesting to me. From a recent article comparing BYD's offerings [1]: > The BYD Dolphin EV sells for the equivalent of around $16,500 in China, while in Germany, with the same battery pack, i
27.
by yoshuaw 1y ago
Some anecdata from my kitchen, which has an air quality monitor positioned approx. 4 meters away from the stove: - Most days when cooking PM2.5 doesn't exceed 5ppm. - I accidentally burned some vegetable oil this week, and PM2.5 shot u
28.
by yoshuaw 1y ago
Aren't the entities who manage relays the ones who broker access to the network? E.g. if you subscribe to a relay, you must also subscribe to their moderation decisions. Say if Bluesky (the company) bans someone, that person could stil
29.
by yoshuaw 1y ago
> Running a relay is not expensive anymore [...] $30/mo is $360/yr, which for most people is a prohibitively large sum of money. That would make Bluesky access more expensive than even the most expensive Netflix subscription; c
30.
by yoshuaw 1y ago
It's hard to tell honestly. I studied psychology for two years in uni, and I dropped out rather disillusioned about the field. Some of my least favorite aspects included: - Acknowledgement by our professors that P-hacking (pruning

More ›