Hacker News (AI)·hace 2 meses☆Anthropic AI 'formalizes' proof of Fermat's last theorem in just 11 days↗en▲ 5
Hacker News (AI)·hace 2 meses☆Show HN: Animaxxing – get agents to animate the shit out of your website↗en▲ 5
Hacker News (AI)·hace 2 meses☆Show HN: Stuxnet – A reconstructed source code of the infamous cyber-weapon↗en▲ 6
Hacker News (AI)·hace 2 meses☆Leaving VMware Just Got Harder After Broadcom Pulled VDDK Downloads↗en▲ 5
Hacker News (AI)·hace 2 meses☆Show HN: Gote – a CLI note-taking management tool for plain Markdown↗en▲ 5
Hacker News (AI)·hace 2 meses☆Tell HN: OpenAI brings back 5 hour limit for plus and business standard users↗en▲ 5
Hacker News (AI)·hace 2 meses☆Reduced integration layer code by 67% replacing REST with grafting↗en▲ 5
Hacker News (AI)·hace 2 meses☆Show HN: Browser-Based Tempest – Transmitting VHF Morse via Monitor EMI Leakage↗en▲ 5
