cachyos.org
CachyOS โ Blazingly Fast OS based on Arch Linux
๐ CachyOS is a performance-optimized Arch Linux distribution with CPU-specific package builds, advanced kernel scheduling, and an effortless installation โ delivering measurable speed gains without sacrificing simplicity.
โค34๐16๐ฉ6๐4๐2๐คฎ2๐ญ2
๐5๐ญ2
Ryanliptak
Windows drive letters are not limited to A-Z - ryanliptak.com
If you want โฌ:\, you can have it, sort of
๐11๐ฅด8โค4โก3๐คก2๐ญ1
๐ญ3๐1
X (formerly Twitter)
Vlad Tenev (@vladtenev) on X
We are on the cusp of a profound change in the field of mathematics. Vibe proving is here.
Aristotle from @HarmonicMath just proved Erdos Problem #124 in @leanprover, all by itself. This problem has been open for nearly 30 years since conjectured in theโฆ
Aristotle from @HarmonicMath just proved Erdos Problem #124 in @leanprover, all by itself. This problem has been open for nearly 30 years since conjectured in theโฆ
๐18๐ฉ10๐ฅฑ6๐ฅ1๐คฎ1๐ญ1๐คจ1
Substack
Don't Push AI Down Our Throats
AI is being done wrong.
๐25๐ญ22๐2๐ฏ1