Viewing profile — rprenger

Didn't Matt Levine tell a story about Masayoshi Son doing that? https://news.ycombinator.com/item?id=21427688

Also, while we're getting rid of angles, can we please get rid of cross products and just use geometric algebra tools?

And you can do that at any board state, so if it starts with like 16 white squares you can make one or two greedy moves to minimize white squares, then do your memorize trick.

I felt a similar way when I moved from Chuck Yeager's Air Combat to (I think) F15 Strike Eagle 3. Yeager was the perfect mix for me. I remember rarely even seeing the enemy planes …

I think if Kramnik accuses someone of cheating it might actually drop the posterior probability that they cheated.

One thing about horror movies is that even though they usually pretty much follow a three act structure they at least usually have to have a prologue to set the mood before the "re…

Yeah as soon as I saw the "answer" I was like "yeah sure blah blah blah, you can make a trick question, but what IS the country that you'll actually hit if you walk East from Seatt…

This is pretty close to how AlphaZero works. https://medium.com/applied-data-science/alphago-zero-explain...

I think it's like: Passive: Uh, your code looks great! Aggressive: Your code is garbage! Assertive: Your code is broken. Passive-Aggressive: It's great that you think your garbage …

You can have both! LeanDojo: Theorem Proving with Retrieval-Augmented Language Models https://arxiv.org/abs/2306.15626 (shameless plug)

I believe Zero123++ gives you the ability to generate consistent images from multiple camera views, where as DreamCraft3D seems to output 3D models with geometry and textures if I'…

I kind of hoped the long term result of htmx, instead of just being a Javascript library, was to become a standard in a newer version of HTML itself. The constraints of only forms …

The printing press.

I think the "weight" here is weight as in mass and "convolutions" here is as in folds. The size/weight and folds of Einstein's brain have been the subject of studies, and the quote…

This Scott Aaronson lecture I really liked is relevant. It's like a "why quantum mechanics probably had to do the weird probability amplitudes (which can be negative and complex) i…

I generally agree with the assessment that the limiting factor in quality is the signal from the MRI. Just one slight correction to the description of previous projects. We first b…

We put this in our ASR based keyboard app back in 2016. Basically kept the ASR decoders beam search candidates around and could use their differences and relative scores to suggest…

It should output the result of a GPT-stlye transformer fine-tuned on data set of 1,000,000 instances of "Hello World"

Dr. Sbaitso! https://oneweakness.com/dr-sbaitso-online

I don't think a larger vocab would help. All the individual letters are in the ~50k token vocab already, but the word "alphabet" will still not get tokenized to [a, l, p, h, a, b, …

Here's the resource I've used that I've liked best. It's more the math, but thinking this way helped me with other puzzles: https://math.berkeley.edu/~hutching/rubik.pdf

Is this a high enough price to be considered a "Bear Hug"? I immediately thought of this scene from Succession: https://www.youtube.com/watch?v=v4QHqjel4kI

For my first search of "GFlowNetworks" (which the search bar suggested) It said: Found 5,887 (or something) results, but showed no results For my second I searched my name and got …

That's an interesting pattern, that seems pretty clear now that you mention it. I would also argue that Ralph Breaks the Internet falls squarely into the "self/internal conflict" c…