The new AI lab by Francois Chollet et al is super interesting:

> Ndea is building frontier AI systems that blend intuitive pattern recognition and formal reasoning into a unified architecture.

A paradigm shift is finally underway in AI.

Lots of insight in this video:

The new AI lab by Francois Chollet et al is super interesting:

> Ndea is building frontier AI systems that blend intuitive pattern recognition and formal reasoning into a unified architecture.

A paradigm shift is finally underway in AI.

Lots of insight in this video: https://www.youtube.com/watch?v=w9WE1aOPjHc

politics

What could go wrong if you let a politician back to power who has shown that they’ll break election rules? 

I’m really surprised that SV is so insensitive to this. Having grown up in Eastern Europe, all the alarm bells are going off in my head

What could go wrong if you let a politician back to power who has shown that they’ll break election rules? 

I’m really surprised that SV is so insensitive to this. Having grown up in Eastern Europe, all the alarm bells are going off in my head

https://www.nytimes.com/2025/01/14/us/politics/trump-special-counsel-report-election-jan-6.html

Books

Squiggles and poor spelling | 

Replying @ /replyguys 

Spiritual in the good sense of the word. In Surprised by Joy he talks about finding and slowly embracing a new dimension in himself. This changed him from being a fundamentally unhappy person to becoming a fundamentally happy person.

Tricks with polynomials and Riemann-Roch spaces. Breaking into the platonic realm to pillage forbidden abstractions. Starknet grantee.

I listened to Surprised by Joy the other day and felt I had to get all of his work

Poetry

OH what a thing is man! how farre from power,
                      From setled peace and rest!

OH what a thing is man! how farre from power,
                      From setled peace and rest!

https://www.ccel.org/h/herbert/temple/Giddinesse.html

Farcaster

What’s your most controversial crypto take?

Rust

Rust concurrency is like, great you have a Ferrari, but you have to drive it everywhere

/max • /bracket • @quickcast • /coys • maxp.co

Jetbrains Intellisense for TS is significantly faster in my experience than VSCode’s default TS LSP

🏗️ crypto builder  |  
👑 /degengame  |  
💸 paymagic.xyz  |  
🌐 nf.td/corbin

Works well in Switzerland where local trains serve as subways in cities. ~$7k for a first class annual subscription that covers the entire country. It’s a better option than a car for many.

learnlean

I added some comments to the subset transitivity proof

It’s a lot easier to correct bad policy within the framework of a liberal democracy than to reverse democratic backsliding. 

If Trump wins, the US starts down an unprecedented authoritarian path. As a I learned it the hard way in my native Hungary, one must vote for the winningest opposing candidate in a situation like this, no matter how misguided their policy, just to preserve the rules of the game.

You don't get a louder warning than this

https://www.nbcnews.com/politics/2024-election/13-former-trump-administration-officials-sign-open-letter-backing-john-rcna177227

After a two week hiatus I was considerably rustier, so just a short exercise today to prove the transitivity of subset relations: https://github.com/agostbiro/mathematics_in_lean/commit/16ae0aad2173868f365d147e43b7fee1fa65cc71

Gotta prioritize daily progress no matter what

creating and destroying; built flying cars & autonomous vehicles, now building roc.camera, writings: july.rocks

I love this and pretty much all of Stephen Mitchell’s work. Recommend Book of Job by him if you haven’t already

groupchat

Building /bright-moments - minting onchain art IRL | /purple #15 | FID 129 #magikarp

I think about meme coins as Schelling points to express enthusiasm around a topic. So new social primitives for me

Europe

"This isn't about mimicking Silicon Valley. It’s about amplifying our unique European strengths: our diversity, our decentralized talent pool, and our unique startup hubs."

This is precisely  it. For a long time. It's time to finally change this.

I signed. What about you? 

h/t @agostbiro

OSS + Rust. I have one goal in life: the ability to stop thinking at will

"This isn't about mimicking Silicon Valley. It’s about amplifying our unique European strengths: our diversity, our decentralized talent pool, and our unique startup hubs."

This is precisely  it. For a long time. It's time to finally change this.

I signed. What about you? 

h/t @agostbiro 
https://www.eu-inc.org/

europoooooor

Petition for the next commission to get eu/acc on their agenda:

Petition for the next commission to get eu/acc on their agenda: https://www.eu-inc.org/