Viewing profile — jamii

> The AI built-out is by far the fastest growing energy consumer in the world, and they’re being built with fossil fuels, or drawing green energy demand away from replacing the fos…

> It seems like either one evaluates the contents of the `box`, and would only make a difference if you tried to use `x` afterwards? More or less. x^ moves the whole box whereas x*…

> The goal is that most of your code can have the assurances of static typing, but you can still opt in to dynamically-typed glue code to handle repls, live code reloading, runtime…

Wasm-mvp is very simple, especially if you drop the floating point instructions. But WAMR supports a lot of extensions - https://github.com/bytecodealliance/wasm-micro-runtime?tab=…

My bad :)

EDIT I totally missed the context

I've tried using binaryen, and I've also tried emitting raw wasm by hand, and the latter was far easier. It only took ~200 lines of wasm-specific code.

Yeah, json is annoying because of the limited types, but postgres arrays/rows are annoying because of the lack of sum/union types (if your UI has a heterogenous list of elements). …

One of the dynamics is that people get older so they move into different buckets. We can make the model way simpler to make it clearer. Say in 2020 we hired 1000 20-24yo, 1000 25-2…

I made a stupid simple model where hiring in all age brackets rose slowly until 2021 and then fell slowly. That produces very similar looking graphs, because the many engineers tha…

The ... is the useful part. We actually want that string, so we can't avoid allocating it. But the &str at the end is an additional heap allocation and causes an additional pointer…

I'm curious if any languages other than swift do this.

I don't think Austral uses second-class references. Even the page you linked says: > But is it worth it? Again, the tradeoff is expressivity vs. simplicity... Austral’s linear type…

> it solves the actual problem perfectly The whole post was about how that doesn't solve the problem perfectly - there is no way to interactively edit the output. > by embracing LI…

This is an old prototype. I ended up making a language for it from scratch so that I could attach provenance metadata to values, making them directly editable even when far removed…

Worth mentioning that all the talks are published at https://www.hytradboi.com/2025/#program .

Worth mentioning that all the talks are published at https://www.hytradboi.com/2025/#program .