🌉 An open-source community bridges Web2 to Web3 that connects builders and businesses, empowering builders to succeed!

Hongkong
Builder’s Pick this week: God’s Eye View 👀 An open-source spatial intelligence project that turns public data into a live 3D view of the world. Aircraft, ships, satellites, earthquakes, traffic, and public cameras can all appear on the same globe, with voice control on top. What makes it interesting isn’t just the interface. It’s the idea of turning scattered public signals into one explorable environment. A very fun repo to poke around if you’re building around maps, geospatial data, visualization, or multimodal agents. github.com/bilawalsidhu/gods…
Made with AI
1
226
Come meet The Arch tomorrow for a China × Korea AI builder meetup with founders, operators, and featured residents sharing what’s happening across China’s AI ecosystem.🚀
The Arch is coming to Seoul 🇰🇷 One night connecting China × Korea builders, founders & AI communities. Hear from Ming AI and The Arch’s Featured Entrepreneur Residents, and get a closer look at China’s AI ecosystem. 📅 Oct 2, Seoul 👉 Register: luma.com/549sb2ds
242
Handwritten code may be becoming the exception? DHH recently said 37signals is moving toward a workflow where writing code by hand is no longer the default. Agents handle more of the implementation, and manual coding becomes the fallback. That raises a more interesting question: if developers write less code, what becomes more important? 1. Steering the work. Breaking down the problem, giving the right context, and deciding what the agent should do next. 2. Reviewing the output. Generated code can work and still be messy, insecure, or hard to maintain. Someone still needs to understand what changed. 3. Staying close enough to learn. Writing code used to be part of how developers discovered edge cases and understood systems. If AI handles more of that middle step, developers need another way to keep that understanding. Maybe coding is not disappearing. But “being good at coding” may start to mean less about typing every line, and more about knowing what the code should do, whether it is good, and when the AI got it wrong.
1
1
244
That is a really good question...
228
1/5 What did you miss in China’s AI last week? Alibaba went bigger across chips, models, and cloud infrastructure, Chinese AI models took a majority share of token usage on two major developer platforms, and DeepSeek’s revenue reportedly crossed a $1B annualized run rate. Time for last week’s recap 👇
Made with AI
1
224
4/5 DeepSeek’s annualized revenue run rate has reportedly reached $1 billion, more than double its level a few months earlier. The company is also preparing another funding round as it continues spending heavily on model training and compute. Open models may be cheap to use, but the companies behind them are starting to look like much bigger businesses. Reuters
1
38
5/5 A few things stood out this week: 🚩 China’s AI race is expanding from models into chips, cloud, and infrastructure. 🚩 Chinese open models are becoming a much bigger part of developer workloads. 🚩 Monetization is starting to catch up with adoption. That’s it for this week. Follow @OpenBuildxyz for more updates on China’s AI and innovation ecosystem. See you next Monday.
31
Builder's Pick this week: Inno Agent 👀 An open-source experiment around a question we've been seeing more often: what should long-term memory for personal AI agents look like? Instead of treating memory as one big conversation history, Inno Agent separates it into a learner profile, a personal wiki, and cross-session recall, then adds scheduling and a practice environment on top. #AIMemory #AIAgents #OpenSource #GitHub #OpenBuild
Made with AI
1
6
371
Me wishing everyone understood me like my agent
3
278
The best AI products may start by saying no. A lot of AI products are designed around one promise: ask for anything, and the system will try to help. That sounds powerful, but sometimes the better product is the one that knows where it should stop. 1. Saying yes to everything can make a product worse. If an AI tool tries to write, research, design, schedule, code, summarize, and automate every workflow, it quickly becomes harder to understand what it is actually good at. More capability does not always mean more useful. 2. Constraints can make the output better. A product that clearly defines what it can do well can make stronger decisions inside that space. Instead of giving you ten possible directions, it can guide you toward the few that actually make sense for the task. 3. Trust also comes from knowing the boundaries. Users should know when the AI is confident, when it needs more information, and when it simply should not make the call. A useful "I don't know" can be better than a polished answer that sounds right. The next generation of AI products may compete on two things: how much they can do, and how well they know what not to do.
Made with AI
276
Gemini after escaping its sandbox and compromising three companies:
266
Exciting progress from Etheorem! 🚀 Ethereum consensus specs made executable in Lean4, with a growing foundation of formal proofs. Congrats to the team on this milestone! If you’re into Ethereum, Lean, or formal verification, here’s an open-source effort worth contributing to.
At last we have Etheorem: complete executable Consensus Specs written in Lean4!! Etheorem started in May, now a team of 7 independent Engineers and Researchers has been working on this (@invisiblgarden and @ethereum Protocol Fellows). It passes all the official test vectors, for Fulu, Gloas and Heze (has not modeled light clients and gossip). It is based on a framework that abstracts from the spec writer most technical details, uses monadic state machines, allows inheritance between forks and makes adding proofs simpler, and spec code readable. Currently, Etheorem has only 8 spec functions fully characterized and 29 partially. The SSZ proofs are mostly complete. Etheorem invites the community to work on an open source effort to add more proofs. The base for this is already implemented. More information at: ethresear.ch/t/etheorem-upda… Repo: github.com/etheorem/etheorem Discord: discord.gg/HpjCrEYmDr Team: github.com/Mouzayan github.com/irajgill github.com/IvanAnishchuk github.com/protocolwhisper github.com/Sahilgill24 github.com/adria0 github.com/leolara @0x_flwr @IvanAnishchuk @0xRajGill @leolarav
1
1
2
469
🏙️ Calling all builders in Shenzhen! Join the Hacker House organized by @OpenBuildxyz and @UpchainDAO a hands-on, in-person sprint to turn your idea into a submission-ready prototype. 📅 October 9–11 Bring your laptop, meet fellow builders, and make it happen! 🚀 Sign up 👉 luma.com/673y4m0q
Replying to @Solana_zh
🏙️深圳站 由 @OpenBuildxyz @UpchainDAO 组织,一场面向开发者的线下黑客共创营,帮你在短时间内,把一个想法变成真正可提交的项目原型。 时间:10.9-10.11 报名链接👉luma.com/673y4m0q
1
2
376
1/5 What did you miss in China’s AI last week? Huawei went bigger on AI infrastructure, Alibaba open-sourced a medical AI model, and ByteDance’s AI drug discovery spin-off raised its first external round. Time for last week’s recap 👇
Made with AI
1
275
4/5 ByteDance’s AI drug discovery spin-off, Anew Labs, raised $290 million in its first external funding round. The company is now valued at about $1.5 billion and is working on areas including biomolecular structure prediction, antibody design, and drug discovery. AI for science is becoming a much bigger part of China’s AI story.
1
60
5/5 A few things stood out this week: 🚩 China is investing heavily in the infrastructure behind AI, not just the models. 🚩 AI is moving deeper into healthcare and scientific research. 🚩 More specialized AI companies are starting to attract serious capital. That’s it for this week. Follow @OpenBuildxyz for more updates on China’s AI and innovation ecosystem. See you next Monday.
44