该项目推出了一款尺寸与标准信用卡相当(厚约 1 毫米)的全功能计算机。该设备基于 ESP32-C3 芯片,配备电子墨水屏和 NFC 功能,可作为智能家居控制、离线双重身份验证(2FA)/加密货币存储、渗透测试或交互式名片的通用工具。
开发者通过严谨的工程设计实现了这种极致的小型化,包括定制蚀刻的柔性电路板,以及通过巧妙的“孤岛式”元器件布局来管理机械应力。虽然最初的原型是手工制作且较为脆弱的概念验证,但该项目已成功证明,可编程计算机完全能够集成在标准的卡片尺寸限制内。
目前的开发重点在于提高耐用性,并寻找超薄电池以平衡容量与安全性。通过优先考虑与真实卡片一致的超薄外形,创作者旨在超越笨重的“智能”设备,打造一款真正便携的日常工具。开发者计划近期发布该项目,并邀请社区成员为其贡献更多应用场景。
在即将上映的《玩具总动员 5》中,胡迪、巴斯光年和翠丝等经典角色将面对一个全新的反派:名为“Lilypad”的平板电脑。演员汤姆·汉克斯和蒂姆·艾伦表示,这部电影突显了现代儿童沉迷屏幕的困境,汉克斯将其形容为一种“令人心惊胆战”的现象。
演员们指出,影片反映了现实世界的挑战。艾伦观察到,习惯了 Instagram 等短视频内容的当代青少年,很难对传统的两小时电影保持兴趣。虽然该系列电影历来专注于玩具的内心世界,但这一部作品是对数字设备时代代际转变的一种探讨。尽管题材严肃,演员们相信这个故事能引起那些为限制屏幕时间而苦恼的家长的共鸣。饰演翠丝的琼·库萨克表示,影片对科技与传统玩耍方式之间冲突的探索是一个及时且引人共鸣的主题。
开源 CQL(分类查询语言)是一款功能强大且可用于生产环境的 IDE,专为数据库查询、迁移和集成等复杂数据任务而设计。通过利用应用范畴论,CQL 为传统的 SQL 提供了一种更具原则性且数学上更稳健的替代方案。
其主要特性包括灵活的 I/O 支持(JDBC、CSV)、模式的可视化图形界面,以及支持无缝去规范化的高级数据完整性约束。其独特的计算模式支持使用 Java 或 JavaScript 定义用户函数,并内置定理证明器以确保数据一致性。
与传统的数据库管理系统不同,CQL 是一种无状态函数式编程语言及工具集,专为单节点内存数据处理而优化,非常适合数据科学工作负载。它是 David Spivak 的 ologs 的参考实现。虽然核心软件是开源的,但商业支持和企业级解决方案由 Conexus AI 提供。
该项目将一个 10 欧元的“YCOO NEO OCTOBOT”玩具改造成了儿童专用的 LLM(大语言模型)智能伙伴。为了打造一个注重 STEM 教育、注重隐私且完全本地化的 AI,作者拆解了该机器人,绕过了其原厂基础电子元件,并集成了一块 Adafruit FT232H 板,通过 USB 控制电机。
该系统采用客户端-服务器架构:笔记本电脑作为“大脑”,运行本地大模型(Gemma/Qwen)以及定制的 Rust 语音转文字(Parakeet)和文字转语音(Qwen3 TTS)引擎;手机作为移动交互界面,负责传输音频并渲染 UI。定制的硬纸板外壳容纳了所有组件,使其既耐用又易于修改。
该项目实现了一套复杂且低延迟的语音对语音交互流程,并具备“插话”功能,确保对话自然流畅。除了基础互动,机器人还能搜索网络、播放 Spotify 音乐以及描述照片。在经过社区儿童的实地测试并取得成功后,该项目已演变为一项本地社区计划,旨在教家长和孩子们如何构建属于自己的 AI 机器人。这一过程也成功重燃了作者对创造能为他人带来切实快乐的技术的热情。
Jane Street 开发了 `strace-ui`,这是一个交互式终端界面,能将往往难以理解的 `strace` 输出转换为可搜索、可读的格式。它具备实时过滤、文件描述符追踪以及人类可读的格式化功能,显著简化了复杂多线程进程的调试工作。
该工具由 **Bonsai_term** 驱动,它是 Jane Street 现有函数式响应式 Web 框架 Bonsai 的终端适配版本。该框架最初为 Web 应用开发,采用声明式、类型安全的方法,支持模块化、可组合的 UI 组件。通过将 Bonsai 移植到终端,团队使开发人员能够构建复杂的命令行应用程序,并与后端服务共享逻辑,从而摆脱了基于浏览器的开发限制。
该框架成功的关键因素在于它与 AI 编码助手的集成。Bonsai_term 的“预期测试”(expect test)系统(将终端状态以文本形式打印)创建了一个闭环,使 AI 代理能够通过类似视觉差异的对比来验证自己的 UI 代码。这带动了内部工具开发的激增,涵盖了从调试器到持续集成(CI)监控等多种工具。通过将终端的速度与现代函数式编程的强大功能相结合,Bonsai_term 正在 Jane Street 引领一场终端用户界面(TUI)的复兴。