Software 2.0

JOB MARKET

数据工程师应该掌握的 6 个技能

在这篇文章中，我分享了我认为每个数据工程师都应该掌握的六项技术技能。它们短期内不会过时。

INDUSTRY

AI 末日已经来临

我们正面临一场前所未有的生存挑战。

AGENT

迈向自修复、可重复的 AI 系统

Agent Harnesses 标准的最新进展

TOOL

LlamaStash = llama.cpp+Ollama

LlamaStash像 llama.cpp 一样快，又像 Ollama 一样简单。

AGENT

用 Claude Design 设计 Logo

在本文中，我将向你展示如何使用 Claude Design 为你的业务打造一款 Logo。

AGENT

编程Agent可用的6个免费 AI API

必备资源和 API 密钥，让你一分钱都不用花。

INDUSTRY

GTA 6 剧透：不需要 AI 来思考

GTA 5 问世十三年后，GTA 6 终于要来了。忘掉次世代 AI 吧——期待更好的东西：一个令人惊叹的、充满远见几何学的世界。

MODEL-ZOO

10 美元微控制器上的语言模型

一个从头训练的自定义 transformer 在 ESP32-S3 上解析英文硬件命令——1.2 MB 的权重，无 WiFi、无云端、无 API 密钥。

JOB MARKET

为未来的技术变革做好职业规划

我用这些日常习惯、核心人类技能和技能提升策略来保持自己的竞争优势。

TOOL

编写 Tree-sitter 语法

不管怎样，这样做我经常想到一个点，那就是能够以编程方式解析和操作代码会很棒。

KNOWLEDGE GRAPH

OKF + Hermes + Gbrain

许多人对Andrej Karpathy提出的"LLM-Wiki"概念着迷，即LLM读取和编写Markdown维基以自主工作。结果，许多个人和小团队开始实现它。

TOOL

GitHub用Tree-sitter理解代码仓库

GitHub 是世界上最大的代码托管平台。每次你打开文件、搜索符号、点击"跳转到定义"或浏览差异时，GitHub 都需要理解文件中的内容，而不仅仅是将其作为文本渲染。

INDUSTRY

雅各布定律：当界面折叠为聊天框

像Claude这样的助手正在通过对话式入口拉取更多任务。雅各布·尼尔森的熟悉界面定律现在欣然指向了助手本身。

ALGORITHM

AI智能体时代的形式化方法

AI生成的代码正在推动工程团队采用更强的规约、证明工具和分层保证机制。

AGENT

okf-rs：将代码库转成知识库

构建一个快速、开源的Rust工具包，用于从源代码生成、验证和提供Open Knowledge Format（OKF）知识库

INDUSTRY

谷歌的2000亿美元身份危机

运营数十年的印钞机如今押注将token活动转化为持久利润，但这真的能奏效吗？

ALGORITHM

终极保证：形式化验证

我们是否有可能以100%的确定性知道某件事？

MODEL-ZOO

基础模型的崛起

过去几篇文章中，我一直对大型语言模型大加批评。一些读者将此视为对LLM的宣战……但并非如此。

INDUSTRY

AI不是科学，而是炼金术

在21世纪，炼金术又回到了我们的生活中。这一次，它以主流AI的形式出现。

PHYSICAL AI

如何读取Openness XML文件

熟练掌握Openness的XML结构并不是一个快速而简单的过程；它需要时间和大量经验。然而，通过我在本文中将介绍的基础知识，您将获得迈出第一步所需的工具和背景。

TOOL

Tree-sitter的5种强大用法

Tree-sitter是一个很棒的解析器，可以帮助我们像专业人士一样理解源代码。无论我们是想构建分析代码的工具、创建代码检查器，还是检测AI生成的代码，Tree-sitter都能提供帮助。

INDUSTRY

AI编程的隐藏成本

当AI悄悄抹去塑造每一代伟大工程师的奋斗过程时，行业面临着比任何招聘指标当前显示的更缓慢、更深层的危机

AI

图工程详解

这就是为什么有些AI工具从不跳过步骤，而其他工具却悄悄完全偏离脚本。用地铁地图而非计算机科学讲座来解释。

INDUSTRY

AI将终结我们所知的技术债

我们误用了这个术语二十年。AI将使其无法被忽视。

MODEL-ZOO

十大开源编程 LLM (2027-08)

最好的那个需要服务器。能运行在你自己GPU上的比你想象的更接近。