Why are formal languages not used as programming languages?
Most were built only for mathematics. Lean lets you write real code, but its compiler assumes a garbage collector, threads, and an operating system underneath.
So I rewrote it.
If you missed out on Solana Summer School and felt a little sad, it's time to get happy again
We have a cool new program opening up tomorrow for anyone ambitious and ready to learn
Application required, but open to anyone, not just students
Introducing Solana School: Fall Class
Spend this fall learning, building, and shipping.
Solana School: Fall Class includes:
- Seven weeks of hands-on learning and building
- Guest lectures from top Solana devs
- Open office hours with @SolanaFndn DevRel
- Real programs shipped every week
- Finish with Demo Day and get ready for @colosseum
Mon/Wed/Fri, 1.5 hours per session, Aug 31 through Oct 16.
Anyone can apply: https://t.co/QRjMTlz4jd
My first long form video on @x!
I'm testing DeepSeek V4 Flash inside of Codex and doing a https://t.co/8FcdaMXwoZ pull request with it to see if it's any good.
New episode of The Stack with @nocircuit
Solana is about to get a lot faster, and the effects could reshape everything from trading to wallets to onchain apps.
@bw_solana CEO of @anza_xyz breaks down 200 millisecond slots, 10x rent reduction, and what makes upgrades possible👇