Recudes Deeps @codesfast

@colossusmag Not to be pedantic but, Andrew Lauwrence and Benjamin Qi both have a higher codeforces rating than this guy, hence, you should remove "the greatest competitive programmer".

1 0 30 10K 0

View Details

Insider Paper @TheInsiderPaper

a month ago

BREAKING: A passenger who later died of hantavirus was "briefly" on board a KLM flight from Johannesburg to the Netherlands

457 2K 12K 11.7M 1K

0 0 0 72 0

View Details

I think this reflects our confused spiritual relationship with our own past. We feel a strong and intuitive affinity for what we used to build, while our contemporary frameworks consider such buildings misguided and "immoral". The mind says massing prohibitions and setbacks; the heart says beautiful masonry, higgeldy-piggeldy layouts, and Victorians. Rather than resolve the tension, we designate large fractions of our city ontologically confused, simultaneously protected and illegal; sanctified and condemned.

Patrick Collison @patrickc

a month ago

I'm interested in "trapped buildings": those that couldn't be built today (because of zoning and code changes) but also can't be substantially modified or demolished (because of historic protection rules). One of those phenomena that really makes one wonder what exactly we're

111 77 1K 385K 255

78 95 1K 277K 312

View Details

Recudes Deeps @codesfast

a month ago

@Priyansh_31Dec Yesterday, my binary search solution was getting wrong answer due to a minor floating point precision issue in C++, Gemini helped resolved that, also got to learn something about floating points.

0 0 0 95 0

View Details

steve hsu @hsu_steve

2 months ago

Feynman: "We know a lot more than we can prove" 🤔 Deng: "For me personally, an important reason is that I don't particularly like pure theory. I feel that in this world, the truths that can be rigorously proven are actually very limited, but the truths you can feel are very numerous. Many principles are more like a feeling or an energy, and it's hard to express them completely in mathematical form. But in mathematics and theoretical computer science, your conclusion must be rigorously provable, written on paper, before people will accept it. In AI, as long as you observe certain phenomena through experiments and intuitively feel they are correct, even if you can't fully convince everyone, you can gradually build your own system of understanding. This approach to understanding the world through intuition and experimentation appeals to me greatly. And this approach lets you discover patterns much faster than disciplines that rely on rigorous proofs."

China Research Collective @CRC_8341

2 months ago

Interview w/ The Smartest Kid in the World: Deng Mingyang (邓明扬) 2nd year PhD student in MIT under He Kaiming (何恺明) ICPC Gold medal 🥇 (1st place) Putnam Fellow (Top 5) IOI Gold Medal🥇 (1st place) IMO Gold Medal🥇 Translated interview here: open.substack.com/pub/chinaresea…

3 38 515 237K 361

21 133 1K 155K 800

View Details

Recudes Deeps @codesfast

2 months ago

@ericweinstein thoughts?

0 0 0 24 0

View Details

Recudes Deeps @codesfast

2 months ago

this reminds me of the essay "The Two cultures of Mathematics" by @wtgowers. perhaps LLMs are coming quite close to solving one-off non-trivial problems, but still suck at grand theory building of the likes done by Grothendieck.

Eric Weinstein @ericweinstein

3 months ago

Tao is not only amazingly smart but also unusually clear and extremely broad. But for most mathematicians I would say that building broad reusable theories is really where pure mathematics finds its greatest expression. Representation Theory. Homotopy Theory. Atiyah-Singer

26 9 131 19K 29

1 1 0 55 0

View Details

Recudes Deeps @codesfast

2 months ago

@okbhaicool This is true, I use codex in VS Codes, and it's leaps and bounds ahead of both Claude Opus 4.6 and Gemini 3.1 Pro in Antigravity.

0 0 1 139 0

View Details

Recudes Deeps @codesfast

2 months ago

@okbhaicool In my humble opinion, the best course would be to go with max spec mac in your budget. Windows experience is too trashy, unless u install linux.

0 0 1 116 0

View Details

Recudes Deeps @codesfast

2 months ago

@jrosell @m18coppola @lisyarus Originally, in the image "n iterations", so n is non-negative.

1 0 1 43 0

View Details

Recudes Deeps @codesfast

2 months ago

@jrosell @m18coppola @lisyarus x.com/codesfast/stat…

Recudes Deeps @codesfast

2 months ago

@yourfav_dev It will be while(n--) which will eventually be while(0) and the loop will stop.

0 0 0 27 0

1 0 0 21 0

View Details

Recudes Deeps @codesfast

2 months ago

@yourfav_dev It will be while(n--) which will eventually be while(0) and the loop will stop.

0 0 0 27 0

View Details

Recudes Deeps @codesfast

2 months ago

@SamaHoole Gluconeogenesis on carnivore keeps your brain and RBCs alive. It doesn't rebuild muscle glycogen. You're lifting on a chronically depleted tank and no amount of adaptation changes that basic substrate math.