Grateful for the 173,000 terawatts of solar energy.
Haarlem, Nederland
Joined September 2008
- Tweets3.6K
- Following738
- Followers459
- Likes1.7K
Pinned Tweet
Maths is now the best part of my day
emilesilvis.com/maths-is-now…
Emile Silvis retweeted
In less than 24 months there will be a clip of a high profile CRO explaining this reality to a (much smaller) room of sales reps.
@coyle_frankp I just watched your Why Agentic Systems Need Ontologies and loved it. It all makes so much sense now.
1
30
Emile Silvis retweeted
@AnthropicAI has shared the first end-to-end, computer-checked proof of Fermat's Last Theorem: 13 million lines of Lean, 29,500 intermediate theorems. Their announcement calls it "the largest Lean proof ever constructed."
See also Kevin Buzzard's blog post about the proof: xenaproject.wordpress.com/20…
🔗 Anthropic's announce post: anthropic.com/research/forma…
🔗 The code: github.com/anthropics/fermat…
#LeanLang #LeanProver #FLT
GenAI-assisted coding has not been good for my ADHD. My ideas comes faster than I can pipe them into LLMs. Cake is my attempt to bring back some focus.
github.com/emilesilvis/cake
3
87
I’m starting to realise the value of slow, deliberate, authentic thinking, so I built handwritten.blog.
1
3
75
Everyone has an opinion on spec-driven development but nobody is tracking whether it actually works. I built a small directory that follows SDD frameworks and real projects over time: spec structure, drift, rework, maintenance outcomes. Community-maintained, data on GitHub. sddobservatory.com
1
77
Nvidia is worth more than the GDP of every country on the planet except the US and China 🤯
I'm not an economist, but I am curious, so I tried to reason this out for myself in my latest blog post: emilesilvis.com/maybe-is-ai-…
1
2
38
Last year I built a computer from scratch: logic gates, CPU, assembler, compiler, operating system. I wrote about it at the time, but I never shared what made it so cool for me, so I wrote a 5-part blog series on it!
emilesilvis.com/part-1-how-1…
4
36
I got tired of memorising trigonometry by rote so I built an interactive unit circle — I think I get it now!
emilesilvis.com/interactive-…
5
187
