Ai辅助编程

科技人工智能

pgrust v0.4-beta发布Gravity查询引擎:性能超ClickHouse三倍并兼容完整Postgres方言

pgrust团队发布v0.4-beta版本,推出名为Gravity的新查询引擎。 该引擎利用Claude编写的高效Rust代码作为“光速”参考目标,通过构建多阶段编译器管道实现了比ClickHouse快3倍且兼容完整Postgres SQL方言的性能。

科技人工智能

“可执行考古学”复活早期AI编程模型:对比现代工具缺失的显式理论基础

一项名为“可执行考古学”(Executable Archaeology)的研究通过运行原始代码,成功复现并分析了两个历史悠久的计算机程序理论模型:赫伯特·西蒙(Herbert Simon)于1961年提出的启发式编译器(Heuristic Compiler),以及麻省理工学院程序员学徒项目(MIT Programme…

科技人工智能

开发者应在软件构建中追求更高的雄心

大模型和编码代理能力的提升正在改变软件开发的可行性边界。随着AI工具的进步,原本需要数年才能完成的项目现在可在数小时内实现。作者通过多个实例证明了这一转变:用数小时而非数年开发出正则表达式引擎、ripgrep分支版本和Rust编译加速工具。值得注意的是,pgrust项目在测试中发现了Postgres中的多个真实bug…

科技创业公司

Ordewell:将编程目标转化为AI代理任务计划

Ordewell是一款开源工具,能够将单一编程目标分解为有序的AI代理任务计划。用户在执行前可对任务进行编辑、选择具体模型和运行器。该工具支持多个编码代理,包括Claude Code、Codex和OpenCode等,并集成了25个AI提供商,涵盖OpenRouter、Anthropic、OpenAI、Gemini、D…

科技人工智能

Harness成为AI辅助编程核心:单人开发者实现大型团队级产出

一位软件开发者分享了过去18个月在AI辅助编程领域的实践演进历程,其工作模式从最初的Tab补全发展到Agentic编码,并最终演进为使用Harness管理多个AI Agent 。在该实践中,作者构建了一个包含planner、worker、critic和promoter四个隔离角色的Agentic工作流 。通过结合Cu…