rjeli
Joined 11 years ago
Karma
1,701
Submissions
464
Member since
Jun 27
Recent submissions
Comment · 2 months 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')
'~zod'
> ob.patp2dec('~nidsut-tomdun')
'15663360'
> ob.hex2patq('010203')
'~doznec-binwes'
> ob.patq2hex('~marned-wismul-nilsev-botnyt')
'01ca0e51d20462f3'
> ob.isValidPatq('~marned-wismul-nilsev-botnyt')
> true
Comment · 1 year 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 manipulation.
this smells like claude :D
Comment · 1 year 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 link to the webapp which you can play yourself!
(I have a dozen games played and 100% success rate :3)
Comment · 1 year ago
they come out thursday nights (in the US) - 9pm EST
Comment · 1 year 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 up to a TB5 NAS array of 2.5” SSDs, 10-20tb for models + datasets + my media library would be nice. Any recommendations for the best enclosure for that?
Comment · 1 year ago
there are a lot of interesting people on twitter
Comment · 1 year 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 relighting was quite finicky)
Comment · 1 year 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.)
Comment · 2 years 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...
Comment · 2 years 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 derivation.
Some call this a “harmonic” fft, and there are also non-harmonic FFTs:
- the “additive NTT” of [LCH14] on GF(2^n)
- the circle fft on the unit circle X^2+Y^2=1 of a finite field [HLP24]
- the ecfft on a sequence of elliptic curve isogenies [BCKL21]
[LCH14]: https://arxiv.org/abs/1404.3458
[HLP24]: https://eprint.iacr.org/2024/278
[BCKL21]: https://arxiv.org/pdf/2107.08473
Comment · 2 years 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 curves), multiset hashing falls out for free
Comment · 2 years ago
With high enough accelerometer accuracy, you need to start adjusting your subtracted gravity vector with maps, right?
Comment · 2 years 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?
Comment · 2 years 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
Comment · 2 years ago
Got in late, seems like I can't rewind on this stream??
[ my public key: https://keybase.io/rjeli; my proof: https://keybase.io/rjeli/sigs/g_UlqZH7q19Y1_4cFMHYmpBANDmW-KNtGysYrIaZP6w ]
https://rjeli.at.hn