rprenger

9 ms·

1.
by rprenger 4mo ago
Didn't Matt Levine tell a story about Masayoshi Son doing that? https://news.ycombinator.com/item?id=21427688
2.
by rprenger 6mo ago
Also, while we're getting rid of angles, can we please get rid of cross products and just use geometric algebra tools?
3.
by rprenger 11mo ago
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.
4.
by rprenger 1y ago
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 was firing at in newer games.
5.
by rprenger 1y ago
I think if Kramnik accuses someone of cheating it might actually drop the posterior probability that they cheated.
6.
by rprenger 1y ago
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 "regular life" part. But recent ones I've notic
7.
by rprenger 2y ago
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 Seattle". I was guessing England, but th
8.
by rprenger 3y ago
This is pretty close to how AlphaZero works. https://medium.com/applied-data-science/alphago-zero-explain...
9.
by rprenger 3y ago
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 code is great!
10.
by rprenger 3y ago
You can have both! LeanDojo: Theorem Proving with Retrieval-Augmented Language Models https://arxiv.org/abs/2306.15626 (shameless plug)
11.
by rprenger 3y ago
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'm understanding it right. Like I could take the output
12.
by rprenger 3y ago
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 being able to do POSTs, and the only way to handle the respo
13.
by rprenger 3y ago
The printing press.
14.
by rprenger 3y ago
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 was from 1980.
15.
by rprenger 3y ago
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) instead of just normal probabilities even without e
16.
by rprenger 4y ago
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 built models that predict the voxel responses from images us
17.
by rprenger 4y ago
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 replacements. I would've assumed newer keyboard apps
18.
by rprenger 4y ago
It should output the result of a GPT-stlye transformer fine-tuned on data set of 1,000,000 instances of "Hello World"
19.
by rprenger 4y ago
Dr. Sbaitso! https://oneweakness.com/dr-sbaitso-online
20.
by rprenger 4y ago
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, e, t]. Using a larger vocab like PaLM'
21.
by rprenger 4y ago
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
22.
by rprenger 4y ago
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
23.
by rprenger 5y ago
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 a Wikipedia article about a show I've never h
24.
by rprenger 5y ago
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" class too, as the main antagonist is lit
25.
by rprenger 5y ago
I think what the other commenters are getting at is that PDEs can be used without having a closed form solution (and mostly are used that way as closed form solutions usually only come up in special artificial cases). You start your system
26.
by rprenger 5y ago
Has anyone figured out how to enable "stay sitting on chair during meal"? StackOverflow has totally failed me here.
27.
by rprenger 5y ago
Do you mean tritiated water?: https://en.wikipedia.org/wiki/Tritiated_water
28.
by rprenger 5y ago
This got me thinking. If they did bump it up from $1m to $100m, do we think the Riemann Hypothesis would be solved sooner?
29.
by rprenger 5y ago
Me too. I had to look it up. This page has pretty good breakdown: https://itnext.io/a-wild-way-to-check-if-a-number-is-prime-u... The main trick for me was you first have to convert the number to unary, which was done out
30.
by rprenger 6y ago
Yeah, figure 4 is more clear. This is the early stopped loss though, so the regularization is more explicit. If you trained the large models to completion on small data sets they would do much worse on test error due to overfitting. It is

More ›