我的手机将跑步识别为“有人抢走手机并逃跑”
原文：https://mastodon.gamedev.place/@rygorous/117047697255584965
阅读时间：2 分钟
分数：190

Rust和 #math:
https://lobste.rs/
https://increment.com/issues/
https://handmade.network/projects #os Odin编程语言也在其中

game界也有啊，经常讨论blow播客的，还有indie 发布的站点:

https://itch.io/
https://www.gcores.com/articles/151541
https://xpaidia.com/sunset-project/

确实都是那个领域的先知啊，Jonathan Blow、Inigo Quilez、Bellard、Alan Kay 什么的，而且creative coding 里每个人也都很有个性呢…… HN blog rank的ciechanow.ski和Neal，甚至只是“落后”的 Ncase.me 《可探索解释》

Bret Victor 的演示直接启发了后来的 Swift Playgrounds，以及 React Redux 热重载 (Hot-Reloading) 的灵感。可探索解释要求文章本身包含一个“微型世界”的数学模型。直接弄滑块、修改图表里的变量

Blow是极少数王垠博客里夸过的 game author 呢。虽然有些人不如Linus或Bellard那样知名，但是也是非常恐怖的呢~

“落日间 (xpaidia)”和机核 (GCORES) 的深度长文区，对游戏的理解已经完全脱离了“消费品”或“工业流水线”的范畴，而是把它看作和文学、电影甚至数学同等重量的“思想媒介 (Medium for Thought)”。

“游戏不仅是好玩，好的游戏设计是在探索宇宙中早已存在的某种系统真理”。 就像Portal、MC、纪念碑谷、OSU这些“非典型游戏”，它们并不是Flash时代丰富但平台化的功能性产物。

【落日间】绝对是可以和各种yt台媒（如志祺77 / STR）、各种B站“回形针复活”的制作质量相比的。虽然只是文字，但【朋友圈】都是世界级的，就像 Alan Kay 一样表面爆冷，其实是真先知

🐮🍻

#ce #china 感叹 Fable/DS

现在随便一个两年经验的SDE开发都能做有双向tcp/http支持和窗口canvas的LLVM编程语言了

> 人家是无比认真的呢 <

甚至还有ImGui https://xuantie.markjy.com/guide/玄铁语言参考手册

> 玄铁由中国广东一名 17 岁开发者独立设计并实现。从 2026 年 4 月 3 日的 v0.2 起步

https://github.com/MARKJY-China/YueYin_Music/blob/main/app/src/main/java/com/dirror/music/App.kt
-> https://markjy.com/#/blog/1
-> https://xuantie.markjy.com/guide/玄铁语言参考手册

还有一个四个月前起步的，可惜没实现（都是B站） https://gitee.com/hongweifei/hua-lang/blob/master/examples/manager.hua

彭贞给ESP32写的timscript和君土封装的code安卓版（类似Androlua）同样很独特，因为某些场景确实【通用语言】不通用。

想起了 wa-lang.org; https://unicov.cn/covscript/ ; https://github.com/covscript/ecs 还有 Wenyan-lang 什么的。如果比完成度，KCL和Klang才能与之相比

如果我们愿意的话，还可以把 中蟒 周蟒 木兰 易语言 按键精灵 这些加进列表，但其实…… just4fun，硬要去数的话我还能找到5个完成度和Wenyan差不多的，star<10（比方说，无界面SDK）

可能和 Moonbitlang.cn 或 Taichi 相比缺少用途，但足够和楼上从0手搓node形成对比了。

说起来呢：prompt 的“中文编程”对我们而言更有意义。（想想看，你的输入比blabla单词表快多少？这不比关键字汉化or “list或列表”有趣多了？）

咱们17岁的时候，不还是在 #android AIDE 学那个 class Square extends Rect{} …… 那时一个shorthand都能学废OOP呢，现在LLM给的优化建议都比 Lua.c 时代的强太多了。Lua的对象哪有什么小整数 pointer tagging 啊…… 说实话，SMI和ARC这些技巧比Lua那个 no-ast codegen 和短路运算符回填实现有效多了


📚 🧑‍💻
#ai探讨 https://share.gemini.google/4cXBFL1apZ3m 顺便把Lua.so原理剖析了下

#statement #PLT 谈这几年的技术之路

在编程时，

我说的“解决”，其实更像黑道的【处理掉】。联想到 Archwiki 的这一经典正面案例：也可以说，Arch用户们都很懒，他们踩过的坑，新用户依然在犯。

用户有什么毛病？不如说，wtf v1.0 的错 wtf v2 也在犯呢？

比方说，UI如何与DevTools(html-only)相平衡、await如何脱离函数染色的代价、killer app 的灵感何时来

⚠️ 【编程语言】不是工具，它至少也是和 “贴吧体” “网抑云” 同级的【思维方式】，就像你订阅的那些信息源一样，提供了素材，并且定义了边界and甜点区。

就像 JetBrains MPL 吹的硬核DSL那样（虽然我不赞成过度scripting+客制化导致的”两门语言问题“），语言像究极框架，它能决定你【要怎么想】，就像ffmpeg/svg的滤镜图，或opencv/canvas的迭代过程，它决定代码基的未来。

框架解决应用场景，而语言消灭设计模式。每个编程语言都是由不同的【子语言】组合而成，也叫编程范式。

一个完成度高的工具链，支持“现代特性”如match和面向事件的可执行实现，可能还不如CSS或bash理解编程创作的真正工作流。Runtime的起点高，不等于心智模型更进化。

我说的编程，“你好世界”，至少是在filterMap和numpy之上的那种，而且要提供更好的 Quality-of-Life

很遗憾，我还没有找到native或server上如此Fluent的编程语言。各种好框架其实并不少，但对于上文所述的那种开发设计实例，我意识到很多人是在做一种... 不深奥的Esolang，

他们完全可能没为 App-dev 的方便维护过一个框架。我不是在猜测，因为我知道一个功能点“正确复用时”是几百行代码，而许多手搓的结果太单一。

— 推敲寻找了四五年…… 我的追求是“短而不凡，长而不乱”，他们大多能实现golf或“很酷的可用”，但不够均衡。
— 就像大胃袋良子、生物书蛋白质女神、和施瓦辛格，站在领奖台比对那样。我不喜欢太胖或骨感的代码。 如果它长得就不像代码，并且很“好动”，那可能就是我要的?

Why? "because I CAN." 这个理由对我而言，显然是行不通的……

可能在CC代写代码的时代，这种大狗大狗请 “不叫” 的意识也是一种工程素质吧…… 🤨

#life #game ☕️ ☀️

说到底，会编程的人（全栈/云原生/信号处理/嵌入式基础）依旧在社会占<5% ，但也可以说，辐射范围广到(1/3)个数码圈。

选择哪种方法，并不重要，至少没有 #Rust 那样 “真理”。Who cares. It's just common-sense-UX for the 2000s. 时间相关，并非因果。

如果，写的项目很爆炸，能够发上HN或投稿给朋友们，或许很好。比如之前的液态玻璃, apksign和DSP入门教程

我更喜欢【成品软件】的概念，但并不是说发布即封笔了，而是不必因为架构腐烂而返工，变更有局部性。另外，如果以后成为 game-dev 或解决【内容创作】中的各种麻烦，这笔记也是个不错的积累呢！

这位 NB #vibe 到现在也就几万播放。而且“转化率”很低吧。什么公司会认写Runtime的经验呢？

我只能想到CoreJS和Faker.js的死亡回放。

有个梗，Python之父Guido面对interview表示： I write Python 🐍 🫰

Bill Gates 曾经发公开信，说世界在steal他想制造的“高质量软件、教程，和BASIC解释器”，可能还有“DOS文件系统外壳”什么的。 他们究竟不是软件的upstream。非得是.NET（要包括注册表COM协议、DX/WMF这些共识依赖）这种体量，才能得到基本的维护。

Linux is free if your time is free.

我不希望变得Nerd般“高代码”，或像yin一样愤世嫉俗，或像Apple那样拿“端着”当生产力（It works afterall）

就…… 让我看看，我到底要写什么吧。唉，其实早有设计方向了。 🤨

或许没人问过，为什么几乎一样的功用和场景，会一直有wheel被写出来，甚至流行。在许多地方，软件仅仅是资本的副作用，比如那伙会为Python解释器付费的 Apple End-est User

许多人无法理解：为什么编程上（或常识中）完全一样并不高明的 Output type，仅仅因为Driver甚至Format，甚至文件path中的不可思议之多的【不兼容性】，就成了叹息之墙，以至于electron和Telegram发行版至今无人超越。

如果你认真考究，它们不会比ndarray更复杂，它们没有把视频变成xyt、plot或光流转来转去，只是让你的摄像头或文件黑屏了。

我真的信仰过什么【真理】呢？ 还是过度工程与缺工程呢？

反正只要有利可图，软件和游戏就会【长出来】的话？ 十亿狗窝和 Alan Kay 的十亿细胞真的很重要吗？

就像Kay所说的，如果你真的热爱编程，你应该有自己的硬件和人体交互——而不是在RGB88或BGR24（比这晦涩的多）的地方玩文字游戏。

当你知道（Yada）茴香豆是咸的，或许就不会在意那四种该死的写法，以及不可思议的“抽象高墙”与“技术深度”了。

我想理解的，只有那个简单RGB888，顶多搭配个混成图表，就像C "\0" 或len前缀String那样，绝不会有分歧，哦，顶多再加个SSO。在这种程度上——为什么那些不可思议的不兼容性都消失了？ 大概是这样的【理想软件】。

就好像是八国语言和方言全都消失了，人们用痛觉和笑容来交流一样。对了，那样，你大概就能理解为什么你需要某种软件了。

Inventing on Principle, Anthropic Principle. “生态”的区别就像市场经济，优化它只会让人懒得再造新体验。但是，一定要透传到硬件和模拟信号主导的领域，API中的噪音才能消停吗？

dmg和exe间有一道墙，而它们并没有【突破】键鼠屏幕上的相似性；Win10的体积是win95的的133倍大，它的功能或性能翻了10倍吗？什么算法需要30分钟来更新C:盘的SSD设备？30分钟足够软件shred全盘的字节。不对，是9次，所以不能用“要备份”来告解。

我始终为这些【常识】而困惑。Wine为这些事付出了十几年代价，而Waydroid少的多，这些只是pid1的问题，而实际上，我认为大部分开发者并不懂用【权限与硬件能力】理解编程，他们总是在别名与别名之间摸爬滚打。在这一点上Web和当年的KHTML超越时代——因为他们能用，不用供着。

Tl;dv：逾 18 万场会议完全公开
原文：https://bobdahacker.com/blog/tldv-hack
阅读时间：6 分钟
分数：598 🔥

Show HN: Woxi - 开源的 Mathematica / Wolfram 语言重新实现
原文：https://woxi.ad-si.com
阅读时间：1 分钟
分数：304

理解力成为新瓶颈
原文：https://www.geoffreylitt.com/2026/07/02/understanding-is-the-new-bottleneck
阅读时间：6 分钟
分数：406 🔥