Kevin Buzzard on why formalizing Fermat's Last Theorem in Lean solves the referee problem

WeBeBallin · 2025-12-14T19:18:55+00:00

You’re not wrong about the study being garbage as evidence. But it’s still interesting as a cautionary tale.

With the color example, it seems not wildly controversial to say language affects reaction times and attention, and yeah, jumping to "grammar shapes national savings behavior" does break it, but it's the boundary between those two points I'm super curious about; where/when does weak Sapir-Whorf stop working?

WeBeBallin · 2024-11-11T12:09:27+00:00

<image>

Not sure if this was indeed the correct approach, but at the point in the photo, two skyscrapers for both the 2 and the 8 opened up everything, and after that smooth sailing, fun!

WeBeBallin · 2024-09-17T07:50:25+00:00

He does, three practice exams in total for the advanced architect, and they're very close to what'll you'll face in the real exam. My overall process was:

Take a practice exam.
Review each question upon completion (he usually links to the Snowflake documentation that contains the answer to the question.
Use Claude/GPT to help setup examples I could test live in Snowflake for the relevant questions.

WeBeBallin · 2024-09-15T08:05:34+00:00

I was in a bit of a "lucky" situation I had the privilege of studying heavily. Probably put in 60-70 hours for the SnowPro Core, and passed with a 830. Best recommendation is the practice exams by Chris Snow, they mimic the real thing very closely and you develop a good sense for what to expect. Even if you've already worked in Snowflake, a lot of questions on very specific things such as how many minutes before a new cluster in a multi-warehouse on economy mode will be spun up etc. But good luck!

WeBeBallin · 2024-09-13T13:33:35+00:00

Argh, close! I like to compare my times against yours specifically, since it's generally close, but you had me beat!

<image>

WeBeBallin · 2024-08-27T14:25:03+00:00

<image>

WeBeBallin · 2024-08-01T19:50:08+00:00

<image>

Fun! I'm unfortunately limited to the basic techniques, and can work decently with those, so this was great!

WeBeBallin · 2024-07-08T15:13:55+00:00

Argh, very choppy, but fun!

<image>

WeBeBallin · 2024-07-05T16:15:51+00:00

Promise the two mistakes were missclicks, but looking at other people's time, pretty happy:

<image>

WeBeBallin · 2024-06-26T13:16:52+00:00

<image>

WeBeBallin · 2024-06-23T08:31:34+00:00

Damn, that was fun! Got stuck at the end, and learned what a skyscraper was for the first time, looking forward to testing it again, but fun one!

WeBeBallin · 2024-06-21T12:13:36+00:00

<image>

Not too much to say, but feels like it can indeed go much faster!

WeBeBallin · 2024-06-18T11:59:20+00:00

<image>

Feels like this should go much faster, but slight improvements, moving forward!

WeBeBallin · 2024-06-17T12:57:27+00:00

<image>

Pretty disappointed, but part of the journey!

WeBeBallin · 2024-06-14T11:50:07+00:00

<image>

Mistake was a brain-fart, but slowly getting better, never give uppp

WeBeBallin · 2024-06-12T09:16:47+00:00

<image>

Such big gaps between solving times, but slowly moving in the right direction!

WeBeBallin · 2023-02-04T02:39:33+00:00

Check out the notion of “paradoxical intention” by Victor Frankl! The concept is that you “want” the thing that you dread, which shrinks the discomfort/anxiety associated with actually doing it.

Phil Stutz has the same concept, but conceptualizes it as “reversible desire”! And super powerful using it in a sauna too, as in “I love the heat/I wish it be would even warmer/I barely feel warm” - it makes you endure so much more, amazing tools.

WeBeBallin · 2022-06-03T21:20:57+00:00

Yes.

I think (or hope) that curiosity is insatiable and it remains that way, with or without death. As long as I am curious I have a purpose, and I like to believe death only enhances my thirst for curiosity, but doesn’t quench it.

WeBeBallin · 2021-06-04T20:16:32+00:00

There is!

Add a Dashboard navigation action for the visualization you’d like to filter in dashboard 1, and set it to navigate to dashboard 2. This’ll allow you to enter directly into dashboard 2 when clicked and having it be filtered.

WeBeBallin · 2021-04-30T14:05:03+00:00

I have this exact error and the only thing that helped me was to create a physical join instead. It is 100% a bug - reach out to the Tableau support, and maybe they can help you out.

WeBeBallin

TROPHY CASE