isaacimagine

6 ms·

1.
Druids: Batteries-included library to coordinate and deploy coding agents(druids.dev)
8 points by isaacimagine 6mo ago|1 comments
2.
by isaacimagine 7mo ago
I read this as "a shortage of tensors" and was curious as to the latest chicanery. But yeah tenors right -- matches my experience.
3.
Bad Apple but it's Lean Tactics(unnamed.website)
6 points by isaacimagine 1y ago|0 comments
4.
by isaacimagine 1y ago
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 talking past one another.
5.
by isaacimagine 1y ago
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 cited in a similar way. The a
6.
by isaacimagine 1y ago
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 problem by virtue of having an attention mechanism. Most RL re
7.
by isaacimagine 1y ago
The article is about using nalgebra to create an intuitive library for tranforming between Earth's various coordinate systems. Not "another Rust matrix library".
8.
by isaacimagine 1y ago
Very cool, thank you for sharing!
9.
by isaacimagine 1y ago
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 compiler to vectorize anything, doing that explic
10.
by isaacimagine 1y ago
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'll be training over the raw instructions ava
11.
by isaacimagine 1y ago
+10 respect, thank you <3
12.
by isaacimagine 1y ago
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't do anything fancy, like autovectorization. I profile
13.
by isaacimagine 1y ago
Glad you enjoyed it, and thanks for the tip!
14.
by isaacimagine 1y ago
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 | 1476 | 64.1% Not
15.
by isaacimagine 1y ago
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 interesting, that I can just checkout to revisit.
16.
by isaacimagine 1y ago
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 DLGN converging; the tiny relu network I trained
17.
by isaacimagine 1y ago
Agree, it's much better to write up a journal at times when your colleagues would be https://xkcd.com/303
18.
by isaacimagine 1y ago
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 scattered across the codebase or in comments, never by date in
19.
by isaacimagine 1y ago
Author here. Any questions, ask away.
20.
by isaacimagine 1y ago
https://dihulvhqvmoxyhkxovko.supabase.co/storage/v1/object/p...
21.
by isaacimagine 1y ago
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 as the head turns: https://goto.isaac.sh/ne
22.
by isaacimagine 1y ago
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 in hot loops! and a million other things!).
23.
by isaacimagine 1y ago
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 microcentury long. Exams are the one exception, they start on the dot
24.
by isaacimagine 1y ago
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 scripting language like Lua to sketch a mod, with the o
25.
by isaacimagine 1y ago
Yes, Wasm components rock! I'm amazed to see how far you've taken Wasm and run with it. I'm at a new email address now, apologies if I've missed any mail. We should catch up sometime; I'll be in SF this summer, I mi
26.
by isaacimagine 1y ago
I interned at zed during the summer of 2022, when the editor was pre-alpha. Nathan, Max, Antonio are great guys and build software with care. I'm happy to see the editor receive the success it deserves, because the team has poured so
27.
by isaacimagine 1y ago
See also: dockerc https://github.com/NilsIrl/dockerc
28.
by isaacimagine 1y ago
Related, fun link: RNG and Cosine in Nix https://unnamed.website/posts/rng-cosine-nix/
29.
by isaacimagine 1y ago
Not the author, but both of those features seem unlikely to fit well with the rest of the language. I believe Borretti has commented on partial application in OCaml being a big pain because it can lead to weird type inference errors, and th
30.
by isaacimagine 2y ago
Trademark does not apply for unrelated goods. See: https://www.uspto.gov/trademarks/search/likelihood-confusion

More ›