Dave Fol

Serial parallelizer.

[Dave Fol @DixieNoise]

@mbpup @angelmoding I’ll look into it.

[Dave Fol @DixieNoise]

@SarahEMcBride Saw it live. Everyone laughed.

[Dave Fol @DixieNoise]

@angelmoding @Wawa We got one in Selma

[Dave Fol @DixieNoise]

@JerusalemDemsas You are absolutely COOKING Faiz right now.

[Dave Fol @DixieNoise]

@angelmoding @Undue_Risk It’s looking blue all the way out here in JOHNSTON COUNTY

[Nick Longrich @NickLongrich]

"University researchers built a satellite that tracks people from low Earth orbit and dispatches a 5 kg payload to within .1 meter of their position, traveling at Mach 25 to anywhere on Earth in under 5 minutes. They suggest it could be used to deliver greeting cards."

[Dave Fol @DixieNoise]

@mbpup Used to rock them shits in college

[Dave Fol @DixieNoise]

@ThinkWiselyMatt Hi Matt

[Dave Fol @DixieNoise]

@VMises76153 ??? There’s tons of these. Recom has a bunch of the top of my head.

[Dave Fol @DixieNoise]

@angelmoding All engineers hate software developers. It is the way of the world.

[Dave Fol @DixieNoise]

@aipbaybee @Dafore3 @whiffle_frog Are you familiar with Dafore. lol I think he understands draft pretty well.

[Melancholy Yuga (in DC 11/13 - 11/17) @MelancholyYuga]

in retrospect, “don’t let your kids read harry potter or they’ll accidentally summon a demon”’ turned out to be an absolute banger of a moral panic

[Dave Fol @DixieNoise]

@summeranne Quick someone get this to @CartoonsHateHer to run some correlations.

[Dave Fol @DixieNoise]

I've been watching a ton of obscure history videos as an effort to fill in the gaps in my grand story of history while at the same time watching a lot of engineering math videos to brush up on diff eq and probability theory and all of a sudden I'm getting Jane street ads ALOT

[Dave Fol @DixieNoise]

Tony romo should be allowed to drink drive a tiny bit.

[clover 🍀 @avaluciarevilla]

every time i meet a mechanical engineer the quality of their work seems to relate in a generally proportional manner to how badly they wish they could fuck the machine

[Dave Fol @DixieNoise]

@mbpup Happy birthday

[Dave Fol @DixieNoise]

@3D_Orville What’s your bg? Software, electrical, mechanical?

[Dave Fol @DixieNoise]

Secrets of strixhaven is good!

[Jared Duker Lichtman @jdlichtman]

In my doctorate, I proved the Erdős Primitive Set Conjecture, showing that the primes themselves are maximal among all primitive sets.

This problem will always be in my heart: I worked on it for 4 years (even when my mentors recommended against it!) and loved every minute of it.

[Primitive sets are a vast generalization of the prime numbers: A set S is called primitive if no number in S divides another.]

Now Erdős#1196 is an asymptotic version of Erdős' conjecture, for primitive sets of "large" numbers.
It was posed in 1966 by the Hungarian legends Paul Erdős, András Sárközy, and Endre Szemerédi.

I'd been working on it for many years, and consulted/badgered many experts about it, including my mentors Carl Pomerance and James Maynard.

The the proof produced by GPT5.4 Pro was quite surprising, since it rejected the "gambit" that was implicit in all works on the subject since Erdős' original 1935 paper. The idea to pass from analysis to probability was so natural & tempting from a human-conceptual point of view, that it obscured a technical possibility to retain (efficient, yet counter-intuitve) analytic terminology throughout, by use of the von Mangoldt function \Lambda(n).

The closest analogy I would give would be that the main openings in chess were well-studied, but AI discovers a new opening line that had been overlooked based on human aesthetics and convention.

In fact, the von Mangoldt function itself is celebrated for it's connection to primes and the Riemann zeta function--but its piecewise definition appears to be odd and unmotivated to students seeing it for the first time. By the same token, in Erdős#1196, the von Mangoldt weights seem odd and unmotivated but turn out to cleverly encode a fundamental identity \sum_{q|n}\Lambda(q) = \log n, which is equivalent to unique factorization of n into primes. This is the exact trick that breaks the analytic issues arising in the "usual opening".

Moreover, Terry Tao has long suspected that the applications of probability to number theory are unnecessarily complicated and this "trick" might actually clarify the general theory, which would have a broader impact than solving a single conjecture.