Gabriel Gaster

data, software, search, places, clocks, bikes, trains, noise, pictures. metra aesthete.

[Gabriel Gaster @gabegaster]

@quasicoh @phalpern Yes, an e’th of the items on the menu.

[Gabriel Gaster @gabegaster]

@Marsgains1 @rathbunholdco @dylthorn ofc. You might argue it is a luxury to have that stability and it comes at a price.

[Gabriel Gaster @gabegaster]

@Marsgains1 @rathbunholdco @dylthorn Moving down the street is very unpleasant

[Gabriel Gaster @gabegaster]

@soederpop @fingerg @WestLoopTom @CheapSeats411 Thanks, I appreciate that and agree likewise.

[Gabriel Gaster @gabegaster]

@JDL811 @WestLoopTom @CheapSeats411 I thought he was sticking with tavern style

[Gabriel Gaster @gabegaster]

@soederpop @fingerg @WestLoopTom @CheapSeats411 If we are including Neapolitan, then Spacca Napoli is required

[Gabriel Gaster @gabegaster]

@pogues1977 @NateGchi @WestLoopTom @CheapSeats411 Both are nice but the original has history.

[Gabriel Gaster @gabegaster]

@WestLoopTom @CheapSeats411 Vito and Nicks is surprisingly low on the list.

[Gabriel Gaster @gabegaster]

I wonder if there approximate coincidences that show up in physics. Formulas where pi shows up but it’s technically wrong but approximately correct and also could make sense for a theoretic reason that is actually incorrect.

[Math Files @Math_files]

The following little-known formula yields the correct decimal digits of π to an astonishing 42 billion places; however, it is not an exact formula for π. In other words, it is only a very high-precision approximation. The symbol ≈ denotes an approximation

(Borwein and Borwein, Strange Series and High Precision Fraud, 1992).

[Math Files @Math_files]

The following little-known formula yields the correct decimal digits of π to an astonishing 42 billion places; however, it is not an exact formula for π. In other words, it is only a very high-precision approximation. The symbol ≈ denotes an approximation

(Borwein and Borwein, Strange Series and High Precision Fraud, 1992).

[Gabriel Gaster @gabegaster]

@MDiwan22 @thebiggrepper 28 crore

[Daniel Litt @littmath]

can’t believe people are complaining my paper is wrong. did you even read the “Limitations” section, where I wrote “This paper is wrong.”?????

[Gabriel Gaster @gabegaster]

This should be called Proof by Whoopsie Daisy

[Sujeet Bhalerao @sujeetbhlr]

Here's a "theorem" in the complex variables section proved by sorry: "If g is complex differentiable at every point with Re z \geq 0, then g is complex differentiable everywhere." This is then used in the proof of another theorem in Lecture21.lean. All of this is marked as a "pass".

[Sujeet Bhalerao @sujeetbhlr]

Here's a "theorem" in the complex variables section proved by sorry: "If g is complex differentiable at every point with Re z \geq 0, then g is complex differentiable everywhere." This is then used in the proof of another theorem in Lecture21.lean. All of this is marked as a "pass".

[Robert Hackett @rhackett]

it’s tempting to look back at certain moments in history and think, god, there was so much low-hanging fruit then.

people are going to look back at this moment the same way.

[Gabriel Gaster @gabegaster]

@chi_t_williams The UD result feels like a tenure worthy result at a good university. The new applications lend credence to one of the bigger awards— since it is opening up more and more new terrain.

[Gabriel Gaster @gabegaster]

This article is now outdated by yesterday’s new result which should be added to this list of new ramifications as the conjectures fall.

[Kai Williams @chi_t_williams]

There's a LOT going on in AI for math right now, partly (but not fully) inspired by the OpenAI result last week, where a model disproved a longstanding, pretty famous conjecture. Little of the general discussion has tried to explain the math tho, so I did!
https://t.co/MQpAFK81XU

[Gabriel Gaster @gabegaster]

@chi_t_williams I think so, yes. The Unit Distance result did not make a new theory but it did apply an old heavy duty theory to a big problem— which now seems to port well to other big problems, too.

[Gabriel Gaster @gabegaster]

@tarunchitra Counterpoint: ABC False by 2027

[Tarun Chitra @tarunchitra]

abc solved by 2027?