AI desktop pets are evolving from nostalgic digital companions into visual proxies for autonomous agents, with Tencent's Hunyuan Hy3 large model enabling generative intelligence and memory. These new …
MarbleOS, a desktop-metaphor GUI for AI agents, hit the front page of Hacker News this week, but the 78-comment thread that followed argues the product conclusion is wrong. The demo's builders frame c…
MarbleOS, created by Akilan and Miguel, introduces a GUI for AI agents that replaces chat-based interaction with a workspace of task cards, aiming to make AI capabilities visible and tasks manageable.…
Fifty years after Xerox PARC's vision of a malleable computer, the combination of an open system, an AI colleague, and an AI-aware editor has finally realized that promise, according to a personal acc…
Abject project creator Maxim Khitrov argues that the true essence of object-oriented programming, as defined by Alan Kay, is messaging and late binding, not classes or hierarchies. The Abject project …
Ethernet, the most widely deployed wired networking standard, was named after the discredited 19th-century concept of luminiferous ether. Robert Metcalfe deliberately chose the name in 1973 to emphasi…
The first LCF-style proof assistant, Edinburgh LCF, was introduced in 1975, establishing the foundational principles of a proof kernel, natural deduction, and goal-directed proof that underpin modern …