rjeli

7 ms·

1.
by rjeli 13d ago
See also the @p encoding system used in urbit: https://cp4space.hatsya.com/2021/05/12/urbit-for-mathematici... https://github.com/urbit/urbit-ob > ob.patp('0') '~
2.
by rjeli 1y ago
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 does what it does best ... exact symbolic manip
3.
by rjeli 1y ago
Author’s announcement xeet with some context and highlights: https://x.com/camrobjones/status/1907086860322480233 mirror: https://nitter.net/camrobjones/status/1907086860322480233#m They
4.
by rjeli 1y ago
they come out thursday nights (in the US) - 9pm EST
5.
by rjeli 2y ago
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 floating the idea of getting less storage, and hooking it u
6.
by rjeli 2y ago
there are a lot of interesting people on twitter
7.
by rjeli 2y ago
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 general? (was playing with a mod that models ullage, so relight
8.
by rjeli 2y ago
For C++, `bit_cast<uint32_t>(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.)
9.
by rjeli 2y ago
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...
10.
by rjeli 2y ago
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/S002200007... for a more algebraic d
11.
by rjeli 2y ago
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 prime order elliptic curve
12.
by rjeli 2y ago
With high enough accelerometer accuracy, you need to start adjusting your subtracted gravity vector with maps, right?
13.
by rjeli 2y ago
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?
14.
by rjeli 2y ago
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
15.
by rjeli 2y ago
Got in late, seems like I can't rewind on this stream??
16.
by rjeli 2y ago
See also levomethamphetamine, the mirror image of meth found commonly in drugstores in Vick’s inhalers, acting as a vasoconstrictor
17.
by rjeli 2y ago
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 memory stalls, simd units, etc
18.
by rjeli 2y ago
I’ve always thought it was strange that btc community encourages only running core, rather than having several implementations to make consensus more robust
19.
by rjeli 2y ago
hm yeah i wonder if you could use the phase change tanks as an acoustic antenna to communicate with buoys on the surface
20.
by rjeli 2y ago
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 then you hook it up with some actuated
21.
by rjeli 2y ago
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?
22.
by rjeli 2y ago
I love rhymezone, I use it all the time! Thanks!
23.
by rjeli 2y ago
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/a1612da0e3c8b99ec4514e689ebdfa...
24.
by rjeli 2y ago
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 and other problems because we deal in "raw&q
25.
by rjeli 3y ago
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 my first instinct looking at this pic, but who kno
26.
by rjeli 3y ago
Huh? How do you read from the ram after you write to it?
27.
by rjeli 3y ago
There is a very simple solution to emacs pinky, although it doesn't work on laptop keyboards: pressing the ctrl key with your palm. Whenever I see someone contort their pinky I am shocked that this convenient (and obvious in retrospect
28.
by rjeli 3y ago
For example, to create a JPEG, part of the process is removing the "high frequency" parts of your image, since those take the most information to store. Here, high frequency refers to noise, or any large difference between neighbo
29.
by rjeli 3y ago
this looks nice, but I feel like mixing the python into the source is actually the reason I like cog so much. It feels weird at first, but having it all inline and checking it in together is simpler to work with IMO
30.
by rjeli 3y ago
No, the difference is too large for it to be rolling shutter. (not sure if the rolling shutter is even vertical or horizontal). It seems like it takes a short video and stitches together the sections with the least motion blur in each frame

More ›