Ericoolen retweeted
Behold, the ESP32 ball.
Readers added context they thought people might want to know
This is a popular product on AliExpress, TikTok shop and others. It was not invented by this user.
It retails for about $55 USD on AliExpress.
a.aliexpress.com/_mr4TNcR
Beware potential drop-shipping scams.
deno 寄了,那么也许
We are excited to announce that Deno is joining Cloudflare!
deno.com/blog/cloudflare
Too useful to be real.
I've published a new, general-purpose terminal specification that gives any program a way to tell the terminal what it's doing: idle, working, waiting, finished, or failed, and why. It is easy to implement on both sides. I've written more about why: mitchellh.com/writing/progra…
The problem this solves is generic and applies in compelling ways to all sorts of use cases (e.g. package managers, build tools), but it really rears a hideous head when it comes to AI and the "agentic inbox" problem.
I found over 250 different agent orchestrators (with various goals) that all individually implement a heuristic based approach to detecting whether things like Claude Code are working, blocked, done, etc.
If you look at @herdrdev's commit history, you can see around 10 compatibility changes to detect Claude Code within just the past 3 months. (This isn't a dig at Herdr! They're doing great work with what they have, and everyone else is doing the same thing).
Heuristics are not the way. And over-indexing on agentic use cases isn't the way, because this problem is really interesting for other tools too: Homebrew, Terraform, Cargo, etc. etc.
Proprietary protocols and out of band APIs are not the way. They have an O(N) integration problem and require extra work to work over SSH or within local VMs/containers.
The program status specification (OSC 7501) solves this in a reliable, deterministic way that is general-purpose and can be easily adopted by the entire industry.
Read more: mitchellh.com/writing/progra…
为什么解决方案不是做一个 rust 解释器,开发过程中只用这个解释器,release 再 build
正确的
对我而言,体感上 Rust 的所有权机制有些负优化,手感也不及智能指针。至少在系统编程和高性能编程中,C++ 或许仍然是更稳妥、也更自由的方案。
核心问题在于,Rust 并不总是方便表达复杂的引用关系。实际工程中最后仍然会出现 "Rc>" 一类组合,用引用计数和运行时借用检查来绕开静态借用系统难以表达的关系;而这又引入了额外的引用计数、间接寻址和运行时状态维护成本。
更重要的是,借用检查器并非只影响代码写法,它还会影响数据结构选型。对于图、树、对象网络等结构,Rust 往往更鼓励 arena + index / handle 一类游标式实现,因为它们更容易满足借用规则。但指针结构和连续数组本来各有自己的性能与修改成本权衡:前者更适合稳定地址和拓扑修改,后者更利于局部性和连续访问。如果语言的安全模型使其中某些表示显著更难表达,那么安全机制实际上已经开始介入 representation choice,而不再只是验证既定实现。
从更一般的角度看,编译器优化和静态验证都依赖于可获得的信息,也就是通过减少不确定性来证明更多性质。但程序员掌握的大量信息——例如某个容器级生命周期约束、阶段性不可变约定、地址稳定性或者并发协议中的全局不变量——并不能总被 Rust 的所有权与借用系统完整表达。因此,无法形式化进去的信息最终可能以额外间接层、运行时机制,乃至数据结构选型偏好的形式重新出现。
所以我认为 Rust 所有权真正值得讨论的成本,并不只是“borrow checker 很烦”,而是它的安全证明模型会对底层数据表示产生偏置。对于 representation 本身就是算法一部分的系统编程,这个副作用并不干净。
Have been playing bedrock with my kids for a bit for Minecraft, but it occurred to me you can do so many insane things with java edition... It doesn't have controller support on Linux ootb? Cool, I'll add it. Just one prompt.
Syncing mods across tailscale, cool one prompt.
Custom UI that doesn't suck for controllers, ok that's a lot of prompts but possible.
MAKING A TANK THAT SHOOTS TNT AFTER MY SON ASKS FOR IT, priceless (ok well I do know the token cost but you know what I mean)
So hilarious, made winged pink unicorn with purple horn. So sick. My daughter was freaking out.
Gonna build quests and a bunch of stuff. So funny
我不知道为什么大家会默认编译型语言总是高性能的,今天还刷到 bun 作者说 ts 需要 aot 才会更适合后端,不知道 graavlvm 在哪发财呢


























