软件工程
研发流程、质量保障与团队协作
No Effect Before Its Cause: From Einstein to Lamport
Causality in collaborative editors · Part 1 of 2
LATEST STORIES
最新内容
The Street That Stopped Being Anonymous精选导读
The idea for the essay was inspired by the series “The Capture,” but by the time I finished writing it, I realized that the plot of the series is closer than ever.
For Starlink alternative, Ukraine partners with Nokia and satellite maker ICEYE精选导读
After SpaceX restricted use of its Starlink and Starshield satellite internet services in Ukraine, causing fast-moving drones to disconnect and drop out of the sky, Kyiv is looking for alternatives.
Claude skill that turns any two places into a pixel-art fly-through of the road精选导读
A Claude Code skill that turns any two places into a pixel-art fly-through of the real road. Ask Claude for "a pixel
Vektor 2.0.2: Memory benchmark LongMemEval results精选导读
VEKTOR 2.0.2: Memory benchmark LongMemEval results
US executives quit $25B gas venture over claims of secret Russian control精选导读
暂无摘要
Commission on Federal Paperwork: Drawings by Carol精选导读
In the late 1970s, the United States Commission on Federal Paperwork studied the forms, reports, and records that the government required from citizens, businesses, and other governments.
AgentGrid.io精选导读
Shared workspace for humans and agents Discussion | Link
Denmark abandons plans to ditch Microsoft Office after technical problems精选导读
暂无摘要
Incompleteness and Computability – An Open Introduction to Gödel's Theorems精选导读
# git clone https://github.com/OpenLogicProject/OpenLogic.git