公众号 · TuringLambdaAI
车载软件工程师的深度技术写作。
深度解析
AUTOSAR、车载通信、嵌入式底层——讲原理，也讲工程实践。
语言与 AI
编程语言与 AI 编程工具链，工程师视角的实操笔记。
不讲套话
只写本质，帮你把最难啃的技术真正搞懂。
扫码关注
微信搜索 TuringLambdaAI
车载软件工程师的深度技术写作。
AUTOSAR、车载通信、嵌入式底层——讲原理，也讲工程实践。
编程语言与 AI 编程工具链，工程师视角的实操笔记。
只写本质，帮你把最难啃的技术真正搞懂。
扫码关注
微信搜索 TuringLambdaAI
业余时间独立开发的工具与书籍。
把 Hacker News 读成中文
给非英语开发者的 HN 阅读器：内置翻译与三层 AI 摘要——文章 TL;DR、评论区观点提炼、每日晨报。自带 API Key 全功能免费，Pro 提供托管翻译与同步。
立即下载 →Linux 原生的 gPTP 调试工作台
gPTP / IEEE 802.1AS 调试利器：GrandMaster / Slave / Listener 一键切换、实时同步曲线、报文全字段解码，Doctor 环境体检，内置模拟器。开源核心 + Pro。
立即下载 →跨平台任务管理，简洁专注
仿 macOS Reminders 的桌面任务管理应用，本地 SQLite，支持 Windows / macOS / Linux。
立即下载 →强制你离开椅子的健康提醒
统计真实工作时长，到点用全屏倒计时锁定每台显示器请你起身；喝水提醒只做轻量 toast。Windows / macOS / Linux。
立即下载 →GLM Coding Plan 配额，一眼掌握
桌面悬浮小部件，实时监控 5 小时滚动窗口与每周额度，再也不被限流打断。
立即下载 →AUTOSAR 集成工作台
直接打开 OEM 交付的 System Extract / ECUC ARXML：检查、检索、引用追踪、交付对比，进 vendor 工具链之前先看清整套交付。开发中。
了解进展 →从语法到语言设计的在线技术书
覆盖 Racket 核心语法、宏系统、并发与契约编程，以及用 #lang 创造新语言。
在线阅读 →Racket 版 Tauri：Racket 写逻辑，Web 做 UI，无需原生工具链，二进制轻量。
Racket 写逻辑，交付一等原生应用：WinUI 3 / SwiftUI 宿主内嵌 Racket CS 运行时，构建期生成 Swift / C++ 客户端。
Racket 的 Qt 6 绑定：原生控件、QSS 样式、信号槽，macOS / Windows / Linux 三平台一致。
AI agent 硬件在环调试：power → flash → observe，通过 MCP 连接真实或模拟工作台。