David Fox
@seereason
Haskell, automated reasoning, computational semantics, meta programming, fan of ImplicitParams. also @ddssff.
ID: 766133835557928960
18-08-2016 04:45:15
4,4K Tweet
205 Followers
627 Following
๐จ๐ณ ๐ฐ NEW | Analysis: #Chinaโs #CO2 #emissions have now been flat or falling for 18 months carbonbrief.org/analysis-chinaโฆ Lauri Myllyvirta w/ Carbon Brief
My favorite movies of the year (and those of some amazing geniuses) are on this Film Comment Magazine list: filmcomment.com/best-films-of-โฆ
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
๐ฆ๐ต๐ผ๐ฝ๐ถ๐ณ๐ ๐ต๐ถ๐ ๐ฐ๐ด๐ต๐ ๐ฟ๐ฒ๐พ๐๐ฒ๐๐๐/๐บ๐ถ๐ป ๐ฑ๐๐ฟ๐ถ๐ป๐ด ๐๐น๐ฎ๐ฐ๐ธ ๐๐ฟ๐ถ๐ฑ๐ฎ๐ ๐ผ๐ป ๐ฎ ๐บ๐ผ๐ป๐ผ๐น๐ถ๐๐ต Many engineers assume this scale forces microservices. Shopify keeps proving a different playbook: ๐ผ๐ป๐ฒ ๐ฑ๐ฒ๐ฝ๐น๐ผ๐, ๐๐๐ฟ๐ผ๐ป๐ด ๐ฏ๐ผ๐๐ป๐ฑ๐ฎ๐ฟ๐ถ๐ฒ๐,
Dmitri Volkov For those wondering how to find it, hereโs a github link for the pdf github.com/sarwarbeing-aiโฆ
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.