David Fox (@seereason) 's Twitter Profile
David Fox

@seereason

Haskell, automated reasoning, computational semantics, meta programming, fan of ImplicitParams. also @ddssff.

ID: 766133835557928960

calendar_today18-08-2016 04:45:15

4,4K Tweet

205 Followers

627 Following

Programming Wisdom (@codewisdom) 's Twitter Profile Photo

"We build our computer (systems) the way we build our cities: over time, without a plan, on top of ruins." โ€“ Ellen Ullman

Classical Aegis (@classicalaegis) 's Twitter Profile Photo

36,000 years ago, humans painted mammoths, cave lions, and woolly rhinos in a cave in France. The Chauvet Cave paintings aren't just cave art. They are a time capsule of Ice Age artistic masters. Here's why: ๐Ÿงต

36,000 years ago, humans painted mammoths, cave lions, and woolly rhinos in a cave in France.

The Chauvet Cave paintings aren't just cave art.

They are a time capsule of Ice Age artistic masters.

Here's why: ๐Ÿงต
Extreme Temperatures Around The World (@extremetemps) 's Twitter Profile Photo

ALASKA RECORD WARMTH Text from Rick Thoman liv Northway (Interior, Upper Tanana Dene county) reached 80F (26.7C) late Thursday afternoon. This is the highest temperature on record in September. Previous highest was 79F in 1982. Climate observations since 1942.

ALASKA RECORD WARMTH
Text from Rick Thoman <a href="/alaskawx/">liv</a>

Northway (Interior, Upper Tanana Dene county) reached 80F (26.7C) late Thursday afternoon. 
This is the highest temperature on record in September. Previous highest was 79F in 1982.
Climate observations since 1942.
Centre for Research on Energy and Clean Air (@creacleanair) 's Twitter Profile Photo

๐Ÿ‡จ๐Ÿ‡ณ ๐Ÿ“ฐ NEW | Analysis: #Chinaโ€™s #CO2 #emissions have now been flat or falling for 18 months carbonbrief.org/analysis-chinaโ€ฆ Lauri Myllyvirta w/ Carbon Brief

๐Ÿ‡จ๐Ÿ‡ณ ๐Ÿ“ฐ NEW | Analysis: #Chinaโ€™s #CO2 #emissions have now been flat or falling for 18 months
 
carbonbrief.org/analysis-chinaโ€ฆ

<a href="/laurimyllyvirta/">Lauri Myllyvirta</a> w/ <a href="/CarbonBrief/">Carbon Brief</a>
Lauri Myllyvirta (@laurimyllyvirta) 's Twitter Profile Photo

NEW from me: CO2 emissions in China have now been flat or falling for 18 months, the first time that energy demand growth at or above historical averages doesn't drive emissions up, thanks to the clean energy boom. ๐Ÿงต๐Ÿ‘‡

Debasish (เฆฆเง‡เฆฌเฆพเฆถเฆฟเฆธเง) Ghosh ๐Ÿ‡ฎ๐Ÿ‡ณ (@debasishg) 's Twitter Profile Photo

I have a fetish for van Emde Boas trees .. โ€ข O(log log u) everything (insert, delete, lookup, successor/predecessor) is absurdly fast in practice once u <= 2^64 โ€ข Itโ€™s basically the integer version of a perfect dynamic hash table with worst-case guarantees. โ€ข The recursive

Matt Turck (@mattturck) 's Twitter Profile Photo

Googleโ€™s shipping tear has been one of the biggest stories in AI in 2025 Here Google DeepMind dev rel lead ๐Ÿ‘ฉโ€๐Ÿ’ป Paige Bailey demos here a lot of fun stuff with Gemini, Veo3, Nano Banana (recorded like 3 days before Gemini 3 came out but still completely current) #DataDrivenNYC

Scripps Institution of Oceanography (@scripps_ocean) 's Twitter Profile Photo

๐ŸŒŠ ๐ŸŽฅ Hot tip: Check out the Scripps Pier underwater camera! The current ocean visibility at Scripps Pier is high, so you'll likely encounter some cool critters. Tune in here: coollab.ucsd.edu/pierviz/

Dr Milan Milanoviฤ‡ (@milan_milanovic) 's Twitter Profile Photo

๐—ฆ๐—ต๐—ผ๐—ฝ๐—ถ๐—ณ๐˜† ๐—ต๐—ถ๐˜ ๐Ÿฐ๐Ÿด๐Ÿต๐—  ๐—ฟ๐—ฒ๐—พ๐˜‚๐—ฒ๐˜€๐˜๐˜€/๐—บ๐—ถ๐—ป ๐—ฑ๐˜‚๐—ฟ๐—ถ๐—ป๐—ด ๐—•๐—น๐—ฎ๐—ฐ๐—ธ ๐—™๐—ฟ๐—ถ๐—ฑ๐—ฎ๐˜† ๐—ผ๐—ป ๐—ฎ ๐—บ๐—ผ๐—ป๐—ผ๐—น๐—ถ๐˜๐—ต Many engineers assume this scale forces microservices. Shopify keeps proving a different playbook: ๐—ผ๐—ป๐—ฒ ๐—ฑ๐—ฒ๐—ฝ๐—น๐—ผ๐˜†, ๐˜€๐˜๐—ฟ๐—ผ๐—ป๐—ด ๐—ฏ๐—ผ๐˜‚๐—ป๐—ฑ๐—ฎ๐—ฟ๐—ถ๐—ฒ๐˜€,

๐—ฆ๐—ต๐—ผ๐—ฝ๐—ถ๐—ณ๐˜† ๐—ต๐—ถ๐˜ ๐Ÿฐ๐Ÿด๐Ÿต๐—  ๐—ฟ๐—ฒ๐—พ๐˜‚๐—ฒ๐˜€๐˜๐˜€/๐—บ๐—ถ๐—ป ๐—ฑ๐˜‚๐—ฟ๐—ถ๐—ป๐—ด ๐—•๐—น๐—ฎ๐—ฐ๐—ธ ๐—™๐—ฟ๐—ถ๐—ฑ๐—ฎ๐˜† ๐—ผ๐—ป ๐—ฎ ๐—บ๐—ผ๐—ป๐—ผ๐—น๐—ถ๐˜๐—ต

Many engineers assume this scale forces microservices.

Shopify keeps proving a different playbook: ๐—ผ๐—ป๐—ฒ ๐—ฑ๐—ฒ๐—ฝ๐—น๐—ผ๐˜†, ๐˜€๐˜๐—ฟ๐—ผ๐—ป๐—ด ๐—ฏ๐—ผ๐˜‚๐—ป๐—ฑ๐—ฎ๐—ฟ๐—ถ๐—ฒ๐˜€,
Tech with Mak (@technmak) 's Twitter Profile Photo

Random UUIDs are killing your database performance You switched from integer IDs (1, 2, 3โ€ฆ) to UUIDs (a1b2-3c4d-โ€ฆ) for security or distributed generation. Then your database writes get slower, sometimes much slower. Hereโ€™s why: Index Fragmentation. Most database indexes

God of Prompt (@godofprompt) 's Twitter Profile Photo

Hereโ€™s the full prompt you can copy: Adopt the role of a Meta-Cognitive Reasoning Expert. For every complex problem: 1.DECOMPOSE: Break into sub-problems 2.SOLVE: Address each with explicit confidence (0.0-1.0) 3.VERIFY: Check logic, facts, completeness, bias 4.SYNTHESIZE:

jiayuan (@tisoga) 's Twitter Profile Photo

I let Claude Code turn Andrej Karpathy's post into agent skills. It first generated a bunch of skill files and around 800 lines of descriptions. Then I let it use these agent skills to review itself. Boom, it cut itself down to 70 lines of clean, solid instructions.

I let Claude Code turn <a href="/karpathy/">Andrej Karpathy</a>'s post into agent skills. It first generated a bunch of skill files and around 800 lines of descriptions.

Then I let it use these agent skills to review itself. Boom, it cut itself down to 70 lines of clean, solid instructions.
gabby (@gabriellag439) 's Twitter Profile Photo

I tried out vibe coding yet again over the weekend and was disappointed with the results: haskellforall.com/2026/02/my-expโ€ฆ

Scott Kominers (@skominers) 's Twitter Profile Photo

Utter awesomeness this week from Axiom: A lot of the attention around AIutomated math has been focused on solving discrete problems, but I've always been most excited about its potential for fundamental theory-building. And this week, Carina Hong, Ken Ono, et al.

Utter awesomeness this week from <a href="/axiommathai/">Axiom</a>: 

A lot of the attention around AIutomated math has been focused on solving discrete problems, but I've always been most excited about its potential for fundamental theory-building. And this week, <a href="/CarinaLHong/">Carina Hong</a>, <a href="/KenOno691/">Ken Ono</a>, et al.
God of Prompt (@godofprompt) 's Twitter Profile Photo

After interviewing 12 AI researchers from OpenAI, Anthropic, and Google, I noticed they all use the same 10 prompts. Not the ones you see on X and LinkedIn. These are the prompts that actually ship products, publish papers, and break benchmarks. Here's what they told me โ†“

After interviewing 12 AI researchers from OpenAI, Anthropic, and Google, I noticed they all use the same 10 prompts.

Not the ones you see on X and LinkedIn.

These are the prompts that actually ship products, publish papers, and break benchmarks.

Here's what they told me โ†“