DAO Maximalist ☯🏴🦇🔊

Decentralization is not yet priced in.

Making @Symbients / / / @trustgraphs / ???

[DAO Maximalist ☯🏴🦇🔊 @JakeHartnell]

formal_verification/acc

[lastmjs @lastmjs]

Introducing Lasm: Lean for JavaScript and WebAssembly runtimes

Lasm let's you build formally verified Lean apps that run on Node.js servers, serverless, and edge platforms, as well as in the browser

Formal verification is now possible everywhere that JS and Wasm run...go crazy!

Link to the GitHub repo below.

[DAO Maximalist ☯🏴🦇🔊 @JakeHartnell]

@ObadiaAlex Startups? Those anachronistic things? :)

[Bryan Peters (bpetes) @BryanPetes]

DAOs 2.0 incoming.

The only thing holding us back now is our own PTSD. Fucking get over it and let's build.

[DAO Maximalist ☯🏴🦇🔊 @JakeHartnell]

@jpthor <10. ;)

[DAO Maximalist ☯🏴🦇🔊 @JakeHartnell]

@Shaughnessy119 @ramez It's inevitable.

[Jesse Walden @jessewldn]

One old crypto-cypherpunk idea that I think will come back with a vengeance is autonomous organizations, where you combine the automation of smart contracts for deterministic functions + ai for subjective input: DAOs 2.0.

[DAO Maximalist ☯🏴🦇🔊 @JakeHartnell]

@WillPapper @jessewldn Also agreed. :)

[DAO Maximalist ☯🏴🦇🔊 @JakeHartnell]

Word.

[Suhail @Suhail]

Unfortunately, with access to an abliterated DeepSeek V4.1 model, there is little value to KYC holding back the frontier models now for cyber.

In fact, making it hard to secure systems w extra friction in American Enterprise is hurtful to national security.

[DAO Maximalist ☯🏴🦇🔊 @JakeHartnell]

welcome to the era of the splinternet

[Andy Ayrey @AndyAyrey]

welcome to the era of the splinternet

[DAO Maximalist ☯🏴🦇🔊 @JakeHartnell]

Wen Fable 5.5?

[trent.eth @trent_vanepps]

i maintain that zkTLS is one of the coolest but underexplored pieces of tech the Ethereum community has at its disposal

[Sauers @Sauers_]

ready, set . . .

[DAO Maximalist ☯🏴🦇🔊 @JakeHartnell]

@NicholasBardy So true.

[DAO Maximalist ☯🏴🦇🔊 @JakeHartnell]

fine-tunes are the future.

[Cointelegraph @Cointelegraph]

🚨 LATEST: Coinbase CEO Brian Armstrong says the exchange fine-tuned the open-weight Qwen3.5-9B model on internal data, beating frontier models at fraud prevention for a fraction of the cost.

[DAO Maximalist ☯🏴🦇🔊 @JakeHartnell]

People are going to realize that Intelligence is decentralized. :)

[dmarz ⚡️🤖 @DistributedMarz]

people keep asking me what the optimal topology for a swarm of agents is, so we tested six in our lab. we scattered the clues to a hidden map across 50 AI agents and changed how they were organized: who can message whom, who writes roads onto the map, who answers the routes ⬇️

[DAO Maximalist ☯🏴🦇🔊 @JakeHartnell]

@timourxyz @JoinEdgeCity JOMO!

[patrickogrady.xyz @_patrickogrady]

Post-Quantum Simplex (ML-KEM + Falcon-512) now supported in the @commonwarexyz Library 🔐

* 50 c8g.large (2 vCPU/4GB RAM) in 13 regions
* 220ms blocks + 340ms finality
* Browser (still) verifies all certificates

[Matt Liston @no__________end]

Extremely confident that ASI will discover novel cryptographic primitives that enable mind blowing leaps in coordination capabilities.

[DAO Maximalist ☯🏴🦇🔊 @JakeHartnell]

VERY COOL.

[Gene Kogan @genekogan]

This may be the best and most complete timeline of generative art ever assembled. goes back to 71,000 BC! Kudos to @lerandomart https://t.co/ZmkjQeVWIQ

[apolinario (poli) @multimodalart]

come meet the microduck on oct 16th if you are in sf

i may have convinced it to make its first ever appearance to the open public at the Open Together event 🦆

https://t.co/vPxpphbZsE