Pranav Mailarpawar

@pranvtwt

Creator of http://ihatepdf.cv (400K+ users) http://ihatefiles.com http://rankhonestly.com ($800) http://heyFormie.com http://linkfolio.cv http://spacetrekk.com

following
followers

Axiom announces Lean formalization of finite simple groups classification

Axiom calls the formalization complete and computer-verified, describing original work of about 15,000 pages.

240 Sources, 8d ago, updated 8d ago

Technology

Satirical Tale of Boy's Extreme AI Photo Compression

X users react to a satirical post showing extreme AI photo compression via repeated prompts.

16 Sources, 68d ago, first seen 68d ago

Satirical Tale of Boy's Extreme AI Photo Compression

Featured in

Axiom announces Lean formalization of finite simple groups classification

Satirical Tale of Boy's Extreme AI Photo Compression

Featured in

Axiom announces Lean formalization of finite simple groups classification

Satirical Tale of Boy's Extreme AI Photo Compression