cosmo wind

Born rural, stay at CA temporarily

[adafruit industries @adafruit]

AI-assisted PCB design for KiCAD 10 using MCP

https://t.co/Gow2b702Mh

[lifcc @mylifcc]

这场讨论揭示了 AI Agent 时代的三个残酷真相：
1️⃣ “靠繁琐构筑的壁垒”彻底失效：以前固件不加密也没事，因为请顶级逆向/DSP 工程师太贵；现在几百美金 Token 就能干完几个月的逆向活。
2️⃣ 核心不是大模型本身，而是紧反馈闭环（Harness）：一旦人类给 AI 搭好可自动比对的 Ground Truth（Windows 流量抓包 / 原厂 ROM 模拟器），AI 就能不眠不休地收敛到完美解。
3️⃣ 商业价值回归物理与品牌：当核心算法和私有协议的复刻成本趋近于零，硬件厂商唯一剩下的护城河，只有硬件级加密、工业设计旋钮手感、演出级可靠性以及品牌信任。
🔗 相关链接（可放评论区一楼）：
• 原文博客：https://t.co/PnDd0uqMkX
• HN 讨论帖：https://t.co/eU4xY8s80M
• 硬件逆向框架 hw-harness：https://t.co/3OUSCz8D6L

[lifcc @mylifcc]

“为什么都 2026 年了，写一个 iOS App 依然不能像写 Rust、Go 甚至 Android 一样，在任意操作系统的终端里一行命令跑起来？”

这个困扰了开发者十多年的问题，终于在开源社区迎来了硬核回应。

由 Kabir Oberai 等 13 位贡献者打造的 xtool，目前已在 GitHub 斩获 11.8k Stars——它正试图用纯开源的方式，把 iOS 开发从 Xcode 的围墙花园里解放出来。👇

[The Wall Street Journal @WSJ]

Powering the country’s massive AI build-out requires a lot of walking, checking for burning smells and monitoring for bird damage. https://t.co/Ie4qIoFpy8

[PyCoder’s Weekly @pycoders]

Testing Async Python Without Losing Your Mind https://t.co/MRlSZiEU3V

[Phoenix Yin @Phoenixyin13]

这期比较数学，谈谈纳维-斯托克斯方程。最近的新一代 AI 数学模型正在让 Navier–Stokes 问题进入一个非常不一样的阶段。

首先明确，截至 2026 年 9 月，三维不可压 Navier–Stokes 的 existence and smoothness 问题仍然没有解决。
没有任何 AI 或人类证明3D Navier–Stokes 永远保持光滑。也没有人严格证明3D Navier–Stokes 一定会在有限时间发生 blow-up。
但这是人类第一次开始拥有可以大规模、自动化、并行搜索这个问题结构的数学机器。

1. Tao 2014 现在重新变得非常重要

Tao 2014 年研究的其实并不是真实 Navier–Stokes，它可以被看作是averaged Navier–Stokes。
Navier–Stokes 可以抽象写成du/dt = Delta u + B_NS(u,u)。其中，B_NS 是真实 Navier–Stokes 的非线性项。

Tao 构造了另一个算子，B_tilde。然后研究du/dt = Delta u + B_tilde(u,u)
这个 B_tilde 保留了很多真实 Navier–Stokes 的性质，比如energy conservation，energy inequality，scaling，很多 harmonic analysis estimates，以及<B_tilde(u,u), u> = 0。

但 Tao 证明，这个 averaged Navier–Stokes 可以 finite-time blow up。
这件事情最重要的点是如果一个 global regularity proof 只依赖energy estimates、scaling和generic harmonic-analysis bounds，那么这种 proof 不可能成功。
因为 Tao 的 averaged equation 也拥有这些性质，但仍然可以 blow up。

所以，真实 Navier–Stokes 的非线性算子 B_NS，究竟是否拥有 Tao 的 averaged operator B_tilde 所没有的什么关键数学结构？
这才是整个 Millennium Problem 最核心的问题。

2. Tao 模型中的核心机制，frequency cascade

此间构造的 blow-up 机制可以理解成一种无限尺度级联。
E_n -> E_(n+1) -> E_(n+2) -> E_(n+3) -> …

能量不断从较大的尺度转移到越来越小的尺度。或者从 Fourier 空间来看low frequency，higher frequency，even higher frequency，最后infinite frequency。
关键在于，每一级能量传输所花时间越来越短。

例如Delta t_n ~ (1 + epsilon)^(-c n)
sum_n Delta t_n < infinity

也就是说，虽然系统经历无限多个尺度，
n = 1 -> 2 -> 3 -> … -> infinity
但总时间仍然可能有限。我认为这可以理解为Infinite cascade in finite time.
它和1/2 + 1/4 + 1/8 + 1/16 + … = 1是类似的数学结构；无限多个事件，可以在有限总时间内完成。

3. 真实 Navier–Stokes 可能不允许这种 cascade。
因为在真实的三维 Navier–Stokes里有一个非常重要的 vorticity equation。

定义omega = curl u
则有d omega/dt + (u · grad) omega
(omega · grad) u + nu Delta omega
这里加一个纯文本写法。
∂ω/∂t + (u·∇)ω = (ω·∇)u + νΔω
其中最危险的一项是(omega · grad)u，也就是(ω·∇)u，它叫 vortex stretching。

三维 Navier–Stokes 和二维 Navier–Stokes 最大的区别之一，就来自这个 term。

问题是真实 Navier–Stokes 中的 vortex stretching 并不是任意发生的。

它受到geometry、vorticity direction、alignment、incompressibility、Biot-Savart structure、Fourier triadic interaction等结构限制。

举个例子，可能出现omega(x) parallel omega(y)写成ω(x) ∥ ω(y）的情况
这种 vorticity alignment 可能削弱非线性增长。这类现象通常被称为geometric depletion of nonlinearity
单纯看 nonlinearity 的最大可能大小，会觉得它非常危险。
但是因为真实几何结构中的方向、相位、排列产生 cancellation，实际增长可能远低于最坏情况。

averaged operator 有可能破坏了这些特殊结构。

所以说，averaged Navier–Stokes 可以 blow up并不完全意味着true Navier–Stokes 可以 blow up。
反过来，如果 true Navier–Stokes 永远 regular，答案很可能藏在这些特殊几何结构里。

https://t.co/nENbUNnCzC

[Cha Li | 查立 @Himalaya_bear1]

两个老外，跑到合肥，拍一家中国镜头公司。

李大勇，北理工毕业，在日本打工，辞职回国，创业十年，以独特产品设计打入市场，卖遍了全世界。

片子拍得很好。

“中国制造”最好的故事，可能正在发生。 https://t.co/vB3AIFiJ9H

[XDA @xdadevelopers]

Someone got Linux running on their iPhone 6S, and so can you
https://t.co/Ci65xK8Enk

[Apodex @Apodex_AI]

Meet Apodex 1.1: Scaling Agentic Intelligence for Complex Work

Open Source Harness: https://t.co/4V9suLx8o5
Open Weights: https://t.co/9CNZ9E5drH

We’re excited to introduce Apodex 1.1, our new model family built to scale agentic intelligence for professional work.

🧠 Frontier-level intelligence for complex work
Apodex 1.1 brings frontier-level agentic performance across complex professional work, scientific research, financial analysis, and deep search.

🤝 Asynchronous Agent Team
Apodex 1.1 can break down complex tasks, coordinate multiple agents in parallel, continuously integrate their findings, and let you step in to guide or redirect the work at any time.

🔬 Open-source research workbench
We’re open-sourcing FrontierAgent—a locally deployable research workbench for the Apodex 1.1 family, including asynchronous Agent Team.

Available now:
🔹 Apodex 1.1 — our most capable frontier model, available through the Apodex online workbench
🔹 Apodex 1.1 mini — open-weight model for running complex work locally
🔹 FrontierAgent — open-source, locally deployable research workbench

🌐 Live workbench: https://t.co/w5l6YI2ZuP
🦾 API platform: https://t.co/kaxuSWvMB4
📃 Paper: https://t.co/CHc4L63U07

[Steven Brunton @eigensteve]

HydroGym: A Reinforcement Learning Platform for Fluid Dynamics

Now published in Nature!! https://t.co/o1zTn2DIHg
GitHub: https://t.co/9MLBzJAMiJ

Amazing collaboration with Christian Lagemann, S Mokbel, M Gondrum, M Rüttgers, Y Wang, P Suárez, L Paehler, D A Bezgin, A B Buhendwa, J L Callaham, S Ahnert, N Zolman, X Shao, J-Ch Loiseau, N A. Adams, M Meinke, W Schröder, K Lagemann, E Lagemann, R Vinuesa & S L Brunton

[Progyan @plugyawn]

I spent the last six months trying to deconstruct Taalas's patents. We think it can be better: 100x fewer memfetches than their bitROM, better software by better quantization than their hardware team could.

So we wrote a compiler that:
> takes a huggingface checkpoint,
> quantizes the model
> descends the weights down metal layers to RTL and GDS, do your DRC, Yosys, PEX, make the electrical waveform execute a mat-vec from your huggingface checkpoint (thanks Cambricon tech papers)

in ~7000 lines of human-readable code.

we're looking for someone with contacts with a foundry/access to 7nm PDKs or contacts at a cheap EuroPTW shuttle? I'm broke and unemployed.

@itsclivetime this is what i think is the future of perplexity per picojoule. @zerohedge @zephyr_z9 you guys wanna see 40,000 tokens/sec?

[Praveen Kumar Verma @Alacritic_Super]

MCP Tools You Should Know If You are Building Hardware

1. KiCad MCP Server: AI-assisted PCB design, schematics, routing and DRC/ERC.
https://t.co/KPKHdqOmJh

2. FreeCAD MCP Server: Use AI to work directly with 3D CAD models.
https://t.co/HdIpeqrDbF

3. blend-ai: Control Blender and create 3D scenes with AI.
https://t.co/gBsMmOuuGX

4. KiPilot: AI-assisted KiCad PCB workflows through KiCad’s IPC interface.
https://t.co/uCauY4KB3Z

5. FreeCAD MCP: AI-assisted parametric CAD, assemblies and modeling workflows.
https://t.co/7VW7cQdDFf

6. FreeCAD MCP: Control FreeCAD with natural language through Claude and other MCP clients.
https://t.co/tqfkLUy4xK

7. FreeCAD MCP + CFD/FEM: Goes beyond CAD into simulation, FEM, CFD and 3D printing workflows.
https://t.co/GkS5iLO20U

8. CADQuery MCP Server: Generate and verify parametric CAD models and export STL/STEP.
https://t.co/D8KIJ7ilK3

9. OpenSCAD MCP: Generate OpenSCAD models and render them so the AI can visually inspect the result.
https://t.co/Esig4gMu5D

10. FreeCAD MCP: Lightweight option for basic geometry, Boolean operations and scripted CAD generation.
https://t.co/PGlvjA5CRH

[Praveen Kumar Verma @Alacritic_Super]

The Firmware Behind Some Seriously Fast Drones

Betaflight is an open-source flight controller firmware built for multirotors and fixed-wing aircraft.

It handles the low-level stuff that keeps a drone stable like sensors, PID control, filtering, motors, telemetry, GPS Rescue, OSD and more.

The latest 2026.6 release is especially interesting, adding support for ESP32, STM32H5/N6/C5, STM32H757, RP2350, plus the first foundations for autonomous flight and waypoint missions.

A great codebase to explore if you are interested in embedded C, real-time control, MCUs and robotics.

https://t.co/qg5supwUk3

[美国驻华使领馆 U.S. Mission to China @USA_China_Talk]

更多信息请见美国国务院中国国别信息网站：https://t.co/Oh0priuDeb

[鸭哥 @grapeot]

SQLite 最重要的接口，可能不是 SQL，而是它藏了 25 年的 VDBE 虚拟机。

多数数据库把 SQL 变成一棵物理执行树，运行时递归调用算子。SQLite 走的是另一条路：它把 SQL 编译成线性字节码，里面有程序计数器、寄存器、条件跳转和 B-Tree 游标，再交给一个平坦的 VM 循环执行。

Turso 真正有意思的判断，不是给 SQLite 多补几种 Postgres 语法，而是把 VDBE 从内部实现细节提升成公共中间层：

SQLite / Postgres 前端
→ VDBE 字节码
→ 统一存储引擎

这和 LLVM 的价值很像。LLVM 没有把每种语言直接绑死到每种芯片，而是在中间放了一层统一 IR。Turso 也试图把 SQL 方言和物理存储解耦，让不同数据库前端共享同一套字节码核心。

甚至连在数据库 VM 里跑 Doom 的演示都不只是炫技。它走的是 C 源码 → LLVM IR → VDBE 字节码，证明这条中间层具有承载通用计算的表达力。

但这条路线真正的瓶颈也很清楚：Postgres 的价值不只在语法，还在几十年积累的原生扩展和 Internal ABI。把 SQL 编译过去相对容易，让 PostGIS、pgvector 这类扩展高效兼容，才是它从漂亮架构走向生产平台必须跨过的门槛。

这篇文章拆解了 VDBE 的执行模型、Postgres 前端如何落到 SQLite VM，以及 Turso 为什么把自己定位成数据库界的 LLVM：

https://t.co/gt8A5BnpyW

[Avid @Av1dlive]

https://t.co/hYEoVzYzqA

[sphinx @protosphinx]

This is Partmode.

https://t.co/YHMMeY7yTx is free and open-source, browser-based parametric CAD with a SolidWorks-style workflow: constrained sketches, editable feature history, parts, structured assemblies, exact B-rep geometry, production drawings, and standard CAD interchange.

Built for both people and agents.

- Free & Opensource
- Browser Based
- Agent first CAD

Use an agent to drive it.

Version 0.1

Repo links below. Star it. Contribute.

[Alvaro Cintas @dr_cintas]

You can now run a 2.78 trillion parameter model on a CPU with 8.24 GB of RAM 🤯

kimi-k3-in-c is a 176KB pure C99 engine that streams Kimi K3’s experts from disk instead of loading them into memory.

no GPU. no CUDA. no framework.

100% Open Source.

[李承鹏（大眼哥） @dayangelcp]

中国人一直幻觉国家领导人想把经济搞好，取悦于人民。可这个假设并不成立。

有个政治学家叫布鲁斯·布恩诺，这哥们儿洞穿世事，他写了一本《独裁者手册》，提出一套冷酷的“选择人理论”：统治者要活下去，靠的不是取悦国民，而是靠喂饱一个尽可能小的“制胜集团”……就是说，不要把钱花在改善普通人生活上。因为在专制体制下，一个吃饱穿暖、不再仰赖你施舍的民众，是危险的。

当人民快饿死快造反了，搞搞经济，允许刘永好养养猪柳传志搞搞电脑马云搞搞淘宝，可是你们一但做大做强再创辉煌要威胁统治了，必须把你们干掉。

最近闭关锁国，钱锁住，技术锁住，人锁住。完美闭环！你的厂子是国家的，你的公司是国家的，你的钱是国家的，你的人也是国家的，你的下一代也是国家的。

点击进入我的油管第四期：《中国关上大门后，你的命运是什么》：https://t.co/q9waUBH11v…

[Avid @Av1dlive]

https://t.co/tvZbN63GbX

Here is the repo will be dropping the prompt and the workflow I use as well