🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

3. Forwards-compatible proof of personhood by jay and Scott Kominers

🔥 When can a network prove an object is where it says it is, even if it lies? We nail down the answer in our new paper on DePIN with Jens Ernstberger Joseph Bonneau Scott Kominers Tim Roughgarden. More below. 1/n 👇

Today, we've got a midyear market update and news episode for you. At the end of last year, our guest — and resident data weatherman — Daren Matsuoka put out a post on "5 metrics to watch in 2025." Most of the metrics that Daren picked measure how crypto's adoption: from

The crypto industry is maturing. At the end of last year, we proposed 5 metrics to watch closely in 2025 to track the industry’s continued growth and development. Here’s what the data looks like halfway through the year. 👇

Great work from the ZKsync team!

*Identity for agents* is one of the most "obvious" future challenges for AI, yet there is still no clear effort to solve the problem. The ideal solution is neutral and maximally portable, as Sam Broner articulates here.

World Chain now provides priority blockspace to 13M+ verified humans. Priority Blockspace for Humans (PBH) is now live—guaranteeing reliable access for verified humans, even under high congestion. Here’s how it works—and why it matters for the future of a human-first internet.

THANKFULLY, the bots that Cobie is mimicking are still stupid enough to be obvious. But soon they won't be. What then? Every social network will struggle. Every person will want a network where you can tell the difference.

lol I love this little guy (Claude)

2024 was in many ways the centralization cycle. Decentralized primitives lost out to centralized apps across the board. Ethereum decentralization -> L2 multisigs Uniswap immutability -> Jupiter frontends Seaport programmability -> Ordinals offchain orders Metam*sk selfcustody ->

Nick White 🦣 Centralization can be okay. What we really want is no single-party control. We used to call this “trustless”. (And in some settings, decentralization is the only way to achieve no control.)

Today, we’re introducing the Terminal. Pay anyone and any project on Github.

Terminal is probably the biggest single improvement to open source software funding I've seen in my career. I hope you try it out and give the team great feedback!

YouTube has felt "solved" for a while now. Thumbnails all the same (constant abuse of shocked expressions/sanpaku eyes), pacing and narrative structure the same, etc. Overall it's very good — almost always a video for what you want — but a feeling that the medium is at its limit.

I have to admit I’m no longer sure whether replies are written by people most of the time. This matters if you read replies as a signal of what people think. (Maybe in a pure entertainment context it doesn’t matter.)

Currently deep in this absolutely incredible episode of the a16z crypto podcast with Sonal Chokshi, Eddy Lazzarin 🟠🔭, Remco, & Adrian Ludwig. In a world overrun with AI agents, bots, and deep fakes, we desperately need proof of human. Highly recommend it! 👇

Get unlimited free PR summaries by switching the b with a 6 in the GitHub URL

halmos v0.3.0 release highlights! (quick reminder: halmos is a symbolic testing tool for EVM bytecode which interfaces nicely with foundry projects and supports multiple SMT solvers) 1. we (finally) added support for stateful invariant testing

Karma is being modest — huge update for Halmos! ∎ Stateful invariant testing (very powerful) ∎ Flamegraphs (see what Halmos is exploring) ∎ 30x faster interpreter (!!!) ∎ Easily select many solvers ∎ Coverage reports ∎ Solx support ∎ more cheatcodes ∎ ... and more