Readit News logoReadit News
rjeli commented on Adventures in Symbolic Algebra with Model Context Protocol   stephendiehl.com/posts/co... · Posted by u/freediver
rjeli · 3 months 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

rjeli commented on UCSD: Large Language Models Pass the Turing Test   arxiv.org/abs/2503.23674... · Posted by u/Mossy9
rjeli · 5 months 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!

https://turingtest.live/

(I have a dozen games played and 100% success rate :3)

rjeli commented on Google calls Gemma 3 the most powerful AI model you can run on one GPU   theverge.com/ai-artificia... · Posted by u/gmays
vsgherzi · 6 months ago
actually the finale is on friday not today!
rjeli · 6 months ago
they come out thursday nights (in the US) - 9pm EST
rjeli commented on Apple M3 Ultra   apple.com/newsroom/2025/0... · Posted by u/ksec
rjeli · 6 months 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?

rjeli commented on When imperfect systems are good: Bluesky's lossy timelines   jazco.dev/2025/02/19/impe... · Posted by u/cyndunlop
VWWHFSfQ · 7 months ago
Why are you following 1,200 people? What is the point of your home feed? What are you trying to see?
rjeli · 7 months ago
there are a lot of interesting people on twitter
rjeli commented on Blue Origin New Glenn Mission NG-1 (video)   blueorigin.com/missions/n... · Posted by u/mkl
idlewords · 8 months ago
It's normal for altitude to decrease while the second stage builds up to orbital velocity; the Shuttle did the same thing.

Like all rockets, the second stage has a thrust/weight ratio substantially lower than 1 on ignition, and the motor points far away from the gravity vector, so there's a bit of a race between the vehicle trying to fall down, and the rocket motor trying to accelerate it to orbital velocity. The fact that the final orbit was 100 miles exactly suggests this all went according to plan.

rjeli · 8 months 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)

rjeli commented on Reciprocal Approximation with 1 Subtraction    · Posted by u/mbitsnbites
LegionMammal978 · 8 months ago
Yes, most casts via pointers are formally UB in both C and C++, and you can induce weird behavior by compilers if you transmit casted pointers through a function boundary (see [0] for a standard example: notice how the write to *pf vanishes into thin air). Since people like doing it in practice, GCC and Clang have an -fno-strict-aliasing flag to disable this optimization, and the MSVC compiler doesn't use it in the first place (except for restrict pointers in C). They don't go too far with it regardless, since lots of code using the POSIX socket API casts around struct pointers as a matter of course.

Apart from memcpy(), the 'allowed' methods include unions in C (writing to one member and reading from another), and bit_cast<T>() and std::start_lifetime_as<T>() in C++.

[0] https://godbolt.org/z/dxMMfazoq

rjeli · 8 months 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.)

rjeli commented on Prover-Verifier Games improve legibility of language model outputs   openai.com/index/prover-v... · Posted by u/davidbarker
rjeli · a year 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...
rjeli commented on Convolutions, Fast Fourier Transform and polynomials (2022)   alvarorevuelta.com/posts/... · Posted by u/clearprop
rjeli · a year 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

rjeli commented on Group actions and hashing unordered multisets (2021)   jeremykun.com/2021/10/14/... · Posted by u/KqAmJQ7
rjeli · a year 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

u/rjeli

KarmaCake day1701June 27, 2015
About
http://rje.li

[ my public key: https://keybase.io/rjeli; my proof: https://keybase.io/rjeli/sigs/g_UlqZH7q19Y1_4cFMHYmpBANDmW-KNtGysYrIaZP6w ]

https://rjeli.at.hn

View Original