Viewing profile — rjeli

the implementations have a distinctly "I wrote this at a 3 AM hackathon" vibe The LLM handles the natural language interaction and orchestration, while the computer algebra system …

Author’s announcement xeet with some context and highlights: https://x.com/camrobjones/status/1907086860322480233 mirror: https://nitter.net/camrobjones/status/1907086860322480233#…

they come out thursday nights (in the US) - 9pm EST

Wow, incredible. I told myself I’d stop waffling and just buy the next 800gb/s mini or studio to come out, so I guess I’m getting this. Not sure how much storage to get. I was floa…

there are a lot of interesting people on twitter

IIRC when I played KSP it was necessary to point slightly down if you wanted to reach orbit in a continuous burn, rather than waiting to burn more at perigee. Is that true in gener…

For C++, `bit_cast (0.f)` should be Well Defined, right? I'm curious, in C, is union-casting float->uint32_t also Perfectly Legal And Well Defined? (I am not a C or C++ expert.)

Funny that when I reached the "Key Findings" section, my brain immediately parsed it as ChatGPT output. Maybe it's the bullet points, the word choice, or just the font...

Note that the FFT has this property of “convolution is pointwise multiplication” for any cyclic multiplicative group, see https://www.sciencedirect.com/science/article/pii/S0022000…

There’s a nice writeup on group hashes here: https://cronokirby.com/posts/2021/07/on_multi_set_hashing/ In particular, if you choose a group where discrete log is hard (such as pri…

With high enough accelerometer accuracy, you need to start adjusting your subtracted gravity vector with maps, right?

Very cool! I assume it uses WebCodec VideoEncoder to encode in browser, maybe with a wasm ffmpeg fallback? How reliable/easy to use have you found that?

ZKML is actually not horrible, probably only 100-1000x overhead atm. Unfortunately it doesn’t solve the problem, you would need FHE which has much higher overhead

Got in late, seems like I can't rewind on this stream??

See also levomethamphetamine, the mirror image of meth found commonly in drugstores in Vick’s inhalers, acting as a vasoconstrictor

Does anyone have recs for doing really low level performance tuning on Apple Silicon? Xcode Instruments isn’t very easy to use or interpret. Things like what % of time is spent on …

I’ve always thought it was strange that btc community encourages only running core, rather than having several implementations to make consensus more robust

hm yeah i wonder if you could use the phase change tanks as an acoustic antenna to communicate with buoys on the surface

You can do it without a TEG: https://sci-hub.se/10.1109/48.972077 Essentially you use a fluid which freezes at the bottom of the ocean and loses volume (some kind of paraffin) And …

I'm curious, do you have any intuition for what percent of the time is spent shifting & masking vs. adding & subtracting (int32s I think)? Probably about the same?

I love rhymezone, I use it all the time! Thanks!

Nice! I rewrote it in z3 and was able to avoid the if-elses by tracking the occupancy of each cell as an integer, and constraining it to exactly 1: https://gist.github.com/rjeli/a1…

First, we take some of the safety into our own hands. While this approach won't result in corrupted memory, double frees or accessing freed pointers, it can lead to run-time panics…

There was a story a few weeks ago about some odd picture taken, and it turned out to be motion blur compensation / HDR / some other computational method creating artifacts. That’s …

Huh? How do you read from the ram after you write to it?