Loading activity…
@hey_madni
Interesting things in AI, tech + across the internet building @griddagency, @theclaudekit + more soon
AI
OpenAI says its claimed refutation of the Exponential Time Hypothesis was formalized in Lean and made public.
Technology
Replies distinguish the practice from agentic development and standard AI assistance.
