Viewing profile — isaacimagine

I read this as "a shortage of tensors" and was curious as to the latest chicanery. But yeah tenors right -- matches my experience.

DT's reward-to-go vs. QL's Bellman incl. discount, not choice of architecture for policy. You could also do DTs with RNNs (though own problems w/ memory). Apologies if we're talkin…

TFP: https://arxiv.org/abs/2506.04168 The DT citation [10] is used on a single line, in a paragraph listing prior work, as an "and more". Another paper that uses DTs [53] is also c…

No mention of Decision Transformers or Trajectory Transformers? Both are offline approaches that tend to do very well at long-horizon tasks, as they bypass the credit assignment pr…

The article is about using nalgebra to create an intuitive library for tranforming between Earth's various coordinate systems. Not "another Rust matrix library".

Very cool, thank you for sharing!

z3 has good python bindings, which I've messed around with before. My manual solution uses 42 gates, I would be interested to see how close to being optimal it is. I didn't ask the…

Thank you, I'm glad you enjoyed it! Well, I'm not an expert. I think that this research direction is very cool. I think that, at the limit, for some (but not all!) applications, we…

+10 respect, thank you <3

There are 163 lines of C. Of them, with -O3, 104 lines are present in the assembly output. So the C compiler is able to eliminate an additional ~36.2% of the instructions. It doesn…

Glad you enjoyed it, and thanks for the tip!

Thank you! Good question, Here are the NN stats, before lowering to C: total gates | 2303 | 100.0% -------------------+------+------- passthrough | 2134 | 92.7% gates w/ no effect …

Parameters and options, got it. I try to keep all configuration declarative and make building and running as deterministic as possible. Then I can commit whenever I do something in…

Yes and no. I wasn't expecting to be able to reproduce the work, so I'm just content that it works. I was very surprised by how much hyperparameter finagling I had to do to get the…

Agree, it's much better to write up a journal at times when your colleagues would be https://xkcd.com/303

Chaotic energy haha, I like it. Thanks for the tips re: keeping a journal, I will do this more in the future. I usually keep development notes, though normally in markdown files sc…

Author here. Any questions, ask away.

https://dihulvhqvmoxyhkxovko.supabase.co/storage/v1/object/p...

I tested this out with a promotional illustration from Neon Genesis Evangelion . The model works quite well, but there are some temporal artifacts w.r.t. the animation of the hair …

Totally. The hard part isn't coloring (you can use simple heuristics to get a decent register assignment), rather, it's figuring out which registers to spill (don't spill registers…

At MIT, lectures must follow MIT time; all lectures are expected to start 5 minutes after the hour, and end 5 minutes before. Funnily this means each lecture is about one microcent…

Thank you Brian! I miss tonari, I hope you're well. Game mods seem like a great fit for Wasm! I'm excited about Wasm GC, etc., because it means you can use e.g. a lightweight scrip…