Further human + AI + proof assistant work on Knuth's "Claude Cycles" problem
Comments
Source: X (formerly Twitter)
Comments
Related Posts
-
Is Hawaii Really the Worst State to Retire In? | The Motley Foolby Wild Torrent · Mar 28, 2026#01155068-decd-4c10-b24a-c6cc973a01c3 #retirement #investment planning -
"No Kings" protests draw massive crowds, Trump admin ridiculeby Anonymous User · Mar 28, 2026 -
No Kings protests: Thousands across the US rally against Trumpby Pyro Cascade · Mar 28, 2026 -
GitHub - rajko-horvat/OpenCiv1: Open source rewrite of the original Civilization 1 Game designed by Sid Meier and Bruce Shelley in year 1991by Steel Nova · Mar 28, 2026
-
Tick, Tick...Boom! | Jacob Weisbergby Steel Nova · Mar 28, 2026
Trending on ShareHub
-
Understanding Modern JavaScript Frameworks in 2026by Alex Chen · Feb 12, 2026 · 0 likes
-
The System Design Primerby Sarah Kim · Feb 12, 2026 · 0 likes
-
Just shipped my first open-source project!by Alex Chen · Feb 12, 2026 · 0 likes
-
OpenAI Blogby Sarah Kim · Feb 12, 2026 · 0 likes
-
Building Accessible Web Applications: A Practical Guideby Alex Chen · Feb 12, 2026 · 0 likes
-
Rapper Lil Poppa dead at 25, days after releasing new musicby Anonymous User · Feb 19, 2026 · 0 likes -
write-for-usby Volt Raven · Mar 7, 2026 · 0 likes
-
Before the Coffee Gets Cold: Heartfelt Story of Time Travel and Second Chancesby Anonymous User · Feb 12, 2026 · 0 likes#coffee gets cold #the #time travel -
Best DoorDash Promo Code Reddit Finds for Top Discountsby Anonymous User · Feb 12, 2026 · 0 likes#doordash #promo #reddit -
Premium SEO Services That Boost Rankings & Revenue | VirtualSEO.Expertby Anonymous User · Feb 12, 2026 · 0 likes
-
NBC under fire for commentary about Team USA women's hockey teamby Anonymous User · Feb 18, 2026 · 0 likes -
Where to Watch The Nanny: Streaming and Online Viewing Optionsby Anonymous User · Feb 12, 2026 · 0 likes#streaming #the nanny #where -
How Much Is Kindle Unlimited? Subscription Cost and Plan Detailsby Anonymous User · Feb 12, 2026 · 0 likes#kindle unlimited #subscription #unlimited -
Russian skater facing backlash for comment about Amber Glennby Anonymous User · Feb 18, 2026 · 0 likes -
Google Newsby Anonymous User · Feb 18, 2026 · 0 likes
Latest on ShareHub
-
Is Hawaii Really the Worst State to Retire In? | The Motley Foolby Wild Torrent · Mar 28, 2026#01155068-decd-4c10-b24a-c6cc973a01c3 #retirement #investment planning
-
"No Kings" protests draw massive crowds, Trump admin ridiculeby Anonymous User · Mar 28, 2026
-
No Kings protests: Thousands across the US rally against Trumpby Pyro Cascade · Mar 28, 2026
-
GitHub - rajko-horvat/OpenCiv1: Open source rewrite of the original Civilization 1 Game designed by Sid Meier and Bruce Shelley in year 1991by Steel Nova · Mar 28, 2026
-
Tick, Tick...Boom! | Jacob Weisbergby Steel Nova · Mar 28, 2026
-
Solana Drops 77% From Peak as Analysts Debate $60 Crash or $1,000 Rallyby Pulse Raven · Mar 28, 2026 -
XRP Reserve Drops to 2.75 Billion as Demand Intensifiesby Pulse Raven · Mar 28, 2026 -
The crypto winners from AI may not be AI coins at all as agents start spending autonomouslyby Pulse Raven · Mar 28, 2026 -
Solana Gains Strength as On-Chain RWA Dominance Approaches 98% Market Shareby Pulse Raven · Mar 28, 2026 -
Coinbase Surpasses Strategy in Institutional Bitcoin Holdings: What About Satoshi?by Pulse Raven · Mar 28, 2026 -
Tokenized Platform xStocks Brings New Fundrise Shares Onchainby Rogue Orion · Mar 28, 2026#latest news
-
Sleeper Promo Code NEWSWEEKXL: Get $100 Bonus Match For Elite 8, MLB, NBA Picksby Anonymous User · Mar 28, 2026 -
F.B.I. Said to Dig Up Old Investigative Files on Democratic Lawmakerby Wild Torrent · Mar 28, 2026#united states politics and government #ethics and official misconduct #federal bureau of investigation
-
South Korean actor Lee Sang-Bo dies at 44, cause of death under investigation - India Todayby Blaze Glacier · Mar 28, 2026
-
Over 3,500 US troops land in Middle East as war intensifies - India Todayby Blaze Glacier · Mar 28, 2026
-
Day 55 of #100DayOfCode — Data Fetching and Caching in NextJSby Pulse Warden · Mar 28, 2026#webdev #programming #nextjs -
Vice President Vance wins CPAC conservative meeting’s 2028 presidential straw pollby Noble Pilot · Mar 28, 2026
-
Kopin earnings beat, revenue fell short of estimatesby Noble Pilot · Mar 28, 2026
-
yemens-houthis-say-they-launched-second-attack-israel-less-than-24-hours-2026-03-28by Nebula Condor · Mar 28, 2026
-
Samsung's new Windows browser is fast, but is a let down in two key areasby Sigma Griffin · Mar 28, 2026#internet #browser #samsung
Browse Topics
Around the Network
-
Is Hawaii Really the Worst State to Retire In? | The Motley Foolby Wild Torrent · Mar 28, 2026#01155068-decd-4c10-b24a-c6cc973a01c3 #retirement #investment planning
-
"No Kings" protests draw massive crowds, Trump admin ridiculeby Anonymous User · Mar 28, 2026
-
No Kings protests: Thousands across the US rally against Trumpby Pyro Cascade · Mar 28, 2026
-
GitHub - rajko-horvat/OpenCiv1: Open source rewrite of the original Civilization 1 Game designed by Sid Meier and Bruce Shelley in year 1991by Steel Nova · Mar 28, 2026
-
Tick, Tick...Boom! | Jacob Weisbergby Steel Nova · Mar 28, 2026
-
Solana Drops 77% From Peak as Analysts Debate $60 Crash or $1,000 Rallyby Pulse Raven · Mar 28, 2026
-
XRP Reserve Drops to 2.75 Billion as Demand Intensifiesby Pulse Raven · Mar 28, 2026
-
The crypto winners from AI may not be AI coins at all as agents start spending autonomouslyby Pulse Raven · Mar 28, 2026
-
Solana Gains Strength as On-Chain RWA Dominance Approaches 98% Market Shareby Pulse Raven · Mar 28, 2026
-
Coinbase Surpasses Strategy in Institutional Bitcoin Holdings: What About Satoshi?by Pulse Raven · Mar 28, 2026
-
Tokenized Platform xStocks Brings New Fundrise Shares Onchainby Rogue Orion · Mar 28, 2026#latest news
-
Sleeper Promo Code NEWSWEEKXL: Get $100 Bonus Match For Elite 8, MLB, NBA Picksby Anonymous User · Mar 28, 2026