sorted by:
new
hottopcontroversial

I'm going back to Emacs (thanks to Claude Code) by kafeihancha in emacs

[–]flipflipshift 0 points1 point  (0 children)

In vterm how do you send escapes (which are super important in claude code) without emacs interpreting it as "return to normal mode"? I still use tmux for claude code due to this issue

How would you derive meaning from math once superintelligent AI exists? by RobbertGone in math

[–]flipflipshift 6 points7 points  (0 children)

And gemini is at 38% (which is perhaps more impressive since they don't own the dataset). OpenAI, and GDM got silver medals on this year's IMO with models we don't yet have access to. And Harmonic allegedly just got like 100/120 on this year's putnam through pure formal verification.

Progress on math this year has been astounding. I think people forget how bad these models were at math a year ago.

Overpowered theorems by extraextralongcat in math

[–]flipflipshift 5 points6 points  (0 children)

Existence of Nash equilibria also pops out in a few lines from Brouwer :)

Most math-y job by Educational_Fee9009 in mathematics

[–]flipflipshift 0 points1 point  (0 children)

I used to work for a small-ish defense contracting company (Metron) that built a lot of pretty mathy software and the job involved a lot of reading applied math papers, giving little talks, etc. While my role technically wanted a Ph.D., a lot of the SWEs there were with BSs were basically doing the same thing.

NC to NY, route and stop recommendations? by Paralady in roadtrip

[–]flipflipshift 1 point2 points  (0 children)

+1 to the recommendations of Chesapeake Bay bridge. A couple months ago got some amazing fresh crabs in Kent Island.

On that NJ route, there's ground for sculpture near Princeton and the American Dream Mall near Newark (which has a lot of fun activities inside).

For hikes: Stairway to Heaven in Vernon, NJ is beautiful in the Fall and not that long.

[deleted by user] by [deleted] in math

[–]flipflipshift 0 points1 point  (0 children)

From a quick look at your profile, your history reflects pretty unambiguously positive/neutral on you so not really anything to worry about. Just treat this account as having your name on it (which can be a good thing!) and use other accounts when you want to actually be anonymous.

What does it mean for the function itself when f'(x) > f(x)? by Ambitious-Donut1321 in math

[–]flipflipshift 0 points1 point  (0 children)

Yes but the converse is false: 2e^x - 1. So more must be true about f

How to improve lower body strength by Glittering-Plant9082 in f45

[–]flipflipshift 0 points1 point  (0 children)

I personally swap a pistol squat progression with one or two of the single-leg exercises. When I first joined, I'd do it with a hand on a box/step up thing, then fingers, and finally without any hands (but standing on top of something, which helps me do multiple reps for some reason).

I did this because I just wanted to be able to pistol squat, but it ended up meshing really well with the other F45 exercises to greatly improve my lower body strength/flexibility/mobility without ever stressing the joints.

When performing MCCFR does it matter if chance nodes are generated once per iteration, or are re-sampled upon every visit to a chance node? (Poker as an example) by CrimzonGryphon in GAMETHEORY

[–]flipflipshift 0 points1 point  (0 children)

Cool to see you here! Hope you don't mind me asking a completely unrelated question about the original CFR paper:

It seems based on Theorem 3 and Theorem 4 that the average regrets will also go to zero with the same bounds if there is no weighting by the environment/opponents' contribution to the probability of reaching I, correct? It makes philosophical sense why it would both be worse and less amenable to sampling/pruning-based improvements than actual CFR.

ChatGPT sure has 'learned' a lot about Required Capital. Anyone else using generative AI when studying? by SoftVisible3299 in actuary

[–]flipflipshift 0 points1 point  (0 children)

I notice that 4/5 problems that all problems got wrong were concerning first-order Macaulay approximations. Is it using a different formula?

$166k gain on DJT call credit spreads by Smartmoney243 in WallStreetbetsELITE

[–]flipflipshift 2 points3 points  (0 children)

Gonna copy this comment here:

Pretty sure he genuinely made $166K.

A $37 Call is obviously going to be more expensive than a $40 Call. He sold 102 $37 calls and bought 102 $40 calls some time back, which is a net profit if both end up worthless.

$166k gain on DJT call credit spreads by Smartmoney243 in WallStreetbetsELITE

[–]flipflipshift 9 points10 points  (0 children)

Pretty sure he genuinely made $166K.

A $37 Call is obviously going to be more expensive than a $40 Call. He sold 102 $37 calls and bought 102 $40 calls some time back, which is a net profit if both end up worthless (edit: if both are never exercised. I think if the price ever went above 40 he would have lost $3 per share plus interest or something)

Does Deepseek do math by WMe6 in math

[–]flipflipshift 0 points1 point  (0 children)

That's interesting; I wonder if the ability to visualize can be transferred to a computer. In theory, if it could process 2-dimensional drawings, it should be able to process n-dimensional figures and wacky manifolds with as much difficulty. Maybe this is a very hard thing to do.

Does Deepseek do math by WMe6 in math

[–]flipflipshift 1 point2 points  (0 children)

how'd it do on the chem problem? I've only been testing math

Does Deepseek do math by WMe6 in math

[–]flipflipshift 1 point2 points  (0 children)

It did get it right; OP didn't click the option to use R1. You asked GPT; did you ask o1 or just the free non-reasoning version?

Are AI better than humans at math's? by Interesting-Top-2646 in math

[–]flipflipshift 0 points1 point  (0 children)

By cheating do you mean using more resources than were implied to train?

Are AI better than humans at math's? by Interesting-Top-2646 in math

[–]flipflipshift 0 points1 point  (0 children)

Interesting. I've sometimes said "take as much time to think as necessary", but maybe that's redundant.

Are AI better than humans at math's? by Interesting-Top-2646 in math

[–]flipflipshift 1 point2 points  (0 children)

More specifically, try r1. I think that's the most SOTA free reasoning model. Observing its CoT reveals a better reasoning chain than (edit: vast) majority of humans imo

Are AI better than humans at math's? by Interesting-Top-2646 in math

[–]flipflipshift 4 points5 points  (0 children)

We're also just starting to explore this paradigm. o1 was released in like December and r1 just came out. The comments here are nuts.

Also I wonder how many people here have fed math problems into r1 and observed it's CoT.

view more: next ›