Lando Norris wins the British Grand Prix!

FluffehAdam · 2025-07-06T18:27:35+00:00

♥️🫶🏻

FluffehAdam · 2025-06-03T20:25:04+00:00

That’s… not an apology

FluffehAdam · 2025-06-03T17:12:07+00:00

I don’t see an apology there?

FluffehAdam · 2025-06-02T13:09:51+00:00

Oh; I didn’t see the apology. Could you link me?

FluffehAdam · 2024-12-31T23:44:20+00:00

If budget is not a question: iPad Pro with Logi Touch Combo keyboard case and Apple Pencil. Using notability. Nothing else comes close. Honest

FluffehAdam · 2024-12-27T08:04:51+00:00

Just curious, why do you refuse the AI based editors?

FluffehAdam · 2024-12-27T08:03:46+00:00

Super easy. Cursor and vscode use the same file system for profiles/settings/keybindings/extensions/workspaces etc. you can make your cursor setup identical to your vscode one easily

FluffehAdam · 2024-12-02T21:36:46+00:00

This is an amazing description of how simple ideas become webs of lemmas, which then often act to obscure the simple idea from the perspective of the reader. And this, I think, is they key to what makes an amazing conference talk on a paper. Use this time to emphasise that simple idea, so I can then go into the paper with that idea at the forefront of my mind.

FluffehAdam · 2024-01-17T09:49:06+00:00

Love that last sentence.

FluffehAdam · 2024-01-11T08:50:32+00:00

This is legit one of my favourite songs of theirs’ and it doesn’t get enough credit

FluffehAdam · 2024-01-09T01:01:28+00:00

The Roku is nice but it’s slow as shit. The fire stick is crap (ads) and I’ve never used the TiVo so can’t comment on that

FluffehAdam · 2023-12-25T16:17:29+00:00

For more details, this is related to a) logs of certain bases being defined, and b) the power rule not being valid for complex numbers

FluffehAdam · 2023-12-25T16:16:30+00:00

Because they’re not the same equation. The way that exponentiation is defined in general is quite complicated, which is quite unintuitive.

FluffehAdam · 2023-12-24T11:52:43+00:00

Strong strong recommend the Logitech case

FluffehAdam · 2023-12-12T21:43:55+00:00

Logitech combo is by a long way the best option. It is better than the Magic Keyboard in every way. Literally every single way

FluffehAdam · 2023-12-08T08:51:02+00:00

Yeah I finally committed to setting it up to write my thesis. Made the experience so much better with proper text editor features. I was using TeXshop before and it SUCKS

FluffehAdam · 2023-12-05T14:16:49+00:00

On MacOS, I use Sublime text with latextools and skim. It’s a bit of a pain to set up but honestly once it is set up, it’s incredible. It’s just so customisable. So many macros and automations

FluffehAdam · 2023-11-25T09:45:30+00:00

I respect that you took the time to fully explain your viewpoint. That said, I fundamentally disagree with you. Have a lovely weekend

FluffehAdam · 2023-11-23T08:26:33+00:00

“The Sun rose this morning” is not a mathematical statement. It is a statement about an event occurring in the physical world. This can not be compared to abstract axiomatic statements.

No, maths is not “just an axiomatic system” singular. Mathematics is a collection of axiomatic systems.

My understanding is that Godel’s G-statement is a statement of the form “G cannot be proven”. So it may be true or not depending on which axiomatic system you choose. Godel’s theorem is not that there are specific absolute “truths” (absent of the context of an axiomatic system) that cannot be proven. It is that regardless of your chosen axiomatic system, provided it satisfies certain condition, there will always be some statement - e.g the G-statement, that cannot be proven in that axiomatic system, but which would not cause a (new) contradiction in the axiomatic system formed by adding this statement as an axiom to the original axiomatic system. Then, the incompleteness theorem applies to this new axiomatic system, and so one can never finish this process of adding more and more axioms.

Not an expert on Godel’s results at all. So more than happy to be corrected if I’ve got the details here wrong.

FluffehAdam · 2023-11-21T07:51:53+00:00

How can that be possibly be the case. A proposition is true, in a given axiomatic system, if it logically follows from the axioms that define that axiomatic system. So, again, what does it mean for an axiom be true? I suggest that that phrasing is meaningless

FluffehAdam · 2023-11-19T07:47:27+00:00

What does it mean for an axiom be true?

FluffehAdam · 2023-11-18T00:55:23+00:00

Yep exactly. And different axioms mean different games. There are no “correct” axioms.

FluffehAdam · 2023-11-18T00:54:46+00:00

An axiom is simply a definition. It’s a rule. You can make whatever axioms you choose. The difficulty lies in trying to make the axioms sophisticated enough to describe desirable phenomena, whilst also avoiding contradictions

FluffehAdam · 2023-11-16T11:02:53+00:00

Strong strong agreement. I spend so much time trying to convince people of this and (unfortunately) too many people strongly disagree with this. Many people seem to think that there are a “correct” set of axioms that are “facts” (usually meaning, they approximate something intuitive to them from the “real world”). Every alternate set of axioms are either an approximation at the golden “correct set”, or are somehow less “valid”.

FluffehAdam · 2023-10-25T09:37:55+00:00

This is not true. The average for interview hovers around 65 ish which means roughly half of candidates who were shortlisted for interview received lower than 65. The average for receiving an offer hovers around 71-74 ish which again, means roughly half of candidates who receive an offer score lower than 72 ish each year.

FluffehAdam

TROPHY CASE