higuoxing

[Massachusetts Institute of Technology (MIT) @MIT]

We’ve lost an icon. Margaret Hamilton, a computer science pioneer best known for her work at MIT leading development of the flight software for the Apollo missions to the moon, has died at 90. Read about her legacy via MIT News: https://t.co/ODkbdIsoHw

[[email protected] @HaskRay]

edgls is a C/C++ language server built on the EDG C/C++ front end. It is a fork of ccls with the clang-based parts replaced: the indexer, diagnostics, compile command handling, code completion, signature help, and formatting. https://t.co/cTkRjMA5rq

Verdict: Slower than clang

[Jim Huang @jserv]

Same here. I teach system software programming in my class and asked students to enforce static analysis.

[higuoxing @higuoxing]

妈的，最烦装逼的人！

[higuoxing @higuoxing]

RIP

[llvm.org @llvmorg]

It is with great sadness that we share the news of the passing of Johannes Doerfert. Johannes was one of the most prolific and respected contributors to the LLVM compiler project, and his loss will be deeply felt. https://t.co/G7vBOJvQ3Q

[JustZht @JustZht]

加了星门

[Nick Price @DominoTree]

I vibe-coded a kernel module for FreeBSD that uses GitHub's downtime as an entropy source

https://t.co/kh7bpG2afB

[Spencer Gu @matrix67]

AI 用 4 分 12 秒完成了我 15 年前的梦想：制作一个可交互的汉字地图。
15 年前：https://t.co/lsMdasdLKd
15 年后：https://t.co/X50lZxffwf

[♡lanadelreyslefthood♡ @mooofinnn]

https://t.co/iSvjfX0Hxn

Solved without knowing any electronics concepts ,used my lifter's symbolic execution API to test how good it would be (which solves constraints by representing as based on V8's sea of nodes and partially inspired from Angora a taint tracking fuzzer )

[Paweł Gronowski @grono_dev]

Co-authored-by: NuPhy Halo 75 v2
Co-authored-by: Neovim (v0.12.4)
Co-authored-by: Sway (1.12)
Co-authored-by: systemd
Co-authored-by: openSUSE Tumbleweed
Co-authored-by: GNU
Co-authored-by: Linux 7.2.4
Co-authored-by: Ryzen 3600

[higuoxing @higuoxing]

@rui314 Will you do it with the help of AI?

[新中国哈密瓜🇨🇳🍈 @xhmelon]

我无意跟着踩一脚，不过仲树让我想起童哲，我猜心路历程类似，都是一步步下滑。��在名利面前坚持底线的人还是少，特别是自恋者……
https://t.co/kDAkpKWlSD

[Shengyi Wang @txyyss]

西蒙斯基金会的YouTube 频道今天发布了三个 ICM 2026 公众讲座，有我喜欢的那个幻方的，也有 Ingrid Daubechies 介绍 Mathemalchemy 这个多媒体数学艺术装置的。

他们出了漫画本来介绍涉及的数学概念，翻译成了各种语言，中文版里英文押韵的地方中文也押韵，非常用心了：

https://t.co/kiuh6lP3oy

[Evan (Yifeng) Wang @ewind_dev]

非常激动地和大家分享，在 Fable 加持下，我终于做出了多年来设想中最极致的跨平台 UI 框架，这就是 PocketJS！

将 QuickJS 移植至内存仅 32MB 的索尼 PSP，结合标准版 SolidJS 和 Vue Vapor，配合编译期 tailwind 样式引擎，实现了 8MB 内存下 60fps 的流畅动画！

来拥抱裸金属 Modern Web 吧！

[Shengyi Wang @txyyss]

这个在 AI 帮助下设计的“每天为难一下自己”谜题，现在被 3D 成实体了：今天是七月六号星期一。

[Shengyi Wang @txyyss]

是这样的，周四晚上我在看今年 Bridges 的论文集，看看有什么有趣的，然后看到了我曾经觉得有趣的日历拼块游戏。然后我就想啊，现在有 Codex 了，设计一个自己的显示日期和星期的拼块游戏应该挺有意思的哈，而且不必局限在方块嘛，六边形蜂巢也很好嘛。

于是就这么成了：

https://t.co/nAxikhVzFD

[strange things @zangag0106]

@bboczeng 半导体都这么厉害了，那全导体还得了？

[��牙山刘能 @disksing]

在AI时代，每个程序员都活成了自己最讨厌的那种 team leader：

1. 半年不写一行代码，编程能力严重退化，还自诩"我也是搞技术的“

2. 开会的时候把一线开发干的活全说成是自己的功劳，连自己的汇报材料都是让别人总结的

3. 瞎JB指挥，出了问题就甩锅说是下面没执行好

4. 不了解项目具体情况，只会提”单测加了没“、“性能还要优化”、“文档要沉淀一下”这类空洞的要求

5. PR 基本上看不懂，只会让别人先review了自己跟着点赞

6. 遇到 bug 了只知道无脑转发让别人查一下，自己负责来来回回转发消息

7. 还经常吐槽“今年的应届生水平越来越不行了”

[higuoxing @higuoxing]

@splinedrive Curious what your log files actually look like? What specific info or events are you usually hunting for in them?

[higuoxing @higuoxing]

@__shouge__ @pengchujin 我的是跟移动/联通投诉换到的 8 元/月套餐