F-Droid，一个致力于提供免费开源安卓应用的平台，近日获得了Open Technology Fund 396,044美元的资助。这笔资金将用于解决F-Droid长期可持续性面临的挑战，包括重构代码、改进法律策略应对政府审查、优化本地化流程、加强捐赠机制以及提升基础设施。此举将确保F-Droid继续为全球用户，特别是网络连接有限地区的用户，提供隐私保护的开源应用。
阅读更多
哥伦比亚大学的研究人员开发出一种新型全光学纳米力传感器，该传感器能够以极高的灵敏度和动态范围测量力，突破了以往技术的局限。这种传感器利用光子雪崩效应，通过光学手段远程探测力，无需物理连接，可应用于从机器人到生物物理学和医学等众多领域，甚至可以用于太空探索。这项突破有望彻底改变力传感技术，并为在以前无法到达的环境中进行测量开辟新的可能性。
阅读更多
Curo，一家由Y Combinator孵化的初创公司，正在招聘市场供应助理。这是一个面向业务发展的角色，负责寻找电动汽车充电和停车资产以满足特定地区的车队需求。候选人需要具备强大的沟通能力、主动性和团队合作精神，能够进行冷电话和邮件营销。Curo致力于加速电气化进程，为商业车队提供更经济高效的电动汽车充电解决方案。
阅读更多
Go语言社区正在讨论一个新的错误处理语法提案，旨在减少冗余代码。该提案建议引入一个新的“?”运算符，允许以更简洁的方式处理函数返回的错误，同时保持代码的可读性。提案引发了社区广泛讨论，主要争议点在于新的语法是否足够清晰，以及是否会鼓励开发者忽略错误处理。一些开发者认为该提案能有效减少样板代码，提高代码可读性；另一些则担心新语法过于隐晦，可能导致难以调试的错误。
阅读更多
作者改进Emacs中的Tree-sitter语法高亮，不再局限于简单的关键字着色。文章详细介绍了如何利用Tree-sitter模式，根据代码语义对变量名进行个性化高亮，例如区分控制流关键字、类型别名和导入语句。作者通过自定义`treesit-font-lock-rules`函数，结合`treesit-inspect-mode`工具，精确控制着色规则，最终实现了更智能、更具表达力的代码高亮效果。后续文章将探讨基于变量名的启发式高亮方法。
阅读更多
一篇博文提出了一个颠覆性的方案，旨在解决美国医疗保健的经济难题。作者认为，医疗行业过于复杂，导致成本居高不下。他建议回归到更简单的模式：病人接受治疗，并支付得起的费用。核心问题是如何为无力支付医疗费用的患者提供资金。作者提出通过提高透明度（公开医疗服务的物料清单和医院的利润率）、简化合同以及取消保险公司来降低成本，最终目标是将医疗总支出降低一半以上，并探讨多种为无法负担医疗费用的患者提供资金的方案。
阅读更多:max_bytes(150000):strip_icc():focal(933x472:935x474)/Luigi-Mangione-Support-021524-05-4d7c4e2b13df489a83e6b12b90ddfc7e.jpg)
涉嫌谋杀联合健康保险公司CEO布莱恩·汤普森的26岁男子路易吉·曼吉奥内，在其法律团队新建立的网站上发表声明，对收到的广泛支持表示感谢。声明中，他提到来自全国各地乃至全球的支持邮件如潮水般涌入，跨越了政治、种族和阶级的界限。尽管无法回复所有邮件，但他表示已阅读每一封。曼吉奥内目前面临联邦谋杀指控，最高可能面临死刑，同时也面临州一级恐怖主义指控。他已认罪不。值得注意的是，一个名为“12月4日法律委员会”的团体为他筹集了29.7万美元的法律费用，来自超过一万名支持者。
阅读更多
著名作家丹·布朗为新书《地狱》的评价担忧，他给经纪人约翰打去电话。约翰劝他别在意批评家的言论，关注百万读者和巨额财富带来的快乐。丹·布朗想起自己的成功和财富，以及他收藏的梵高画作和莎士比亚签名版书籍，心情豁然开朗。他继续创作以罗伯特·兰登为主角的系列小说，灵感来自但丁的《地狱》。丹·布朗最终回到家中，与美丽的妻子共享幸福时光，或许未来还会尝试浪漫诗歌创作。
阅读更多
威廉·肖克利，一位天才却又脾气暴躁的物理学家，因发明晶体管而闻名于世。他创立的肖克利半导体实验室，汇聚了硅谷早期诸多精英，然而，肖克利的傲慢和糟糕的管理风格最终导致“八叛逆”的出走，他们创立了仙童半导体，成为硅谷传奇的开端。肖克利实验室虽然最终被收购，但其历史意义不容忽视，它不仅孕育了晶体管技术，也催生了现代半导体产业的繁荣。
阅读更多
Genesis是一款为机器人/具身AI/物理AI应用设计的通用物理引擎平台。它集多种功能于一体：一个从零构建的通用物理引擎，能够模拟各种材料和物理现象；一个轻量级、超快速、pythonic且用户友好的机器人仿真平台；一个强大的快速逼真渲染系统；一个生成式数据引擎，可以将用户提示的自然语言描述转换为各种数据形式。Genesis的目标是降低使用物理模拟的门槛，使机器人研究对所有人开放；将各种最先进的物理求解器统一到一个框架中；最大限度地减少收集和生成机器人和其他领域数据的人工努力。目前，底层物理引擎和仿真平台已开源，生成式框架即将发布。
阅读更多
Maestro是一款简单高效的移动端和Web UI测试框架，它吸取了Appium、Espresso、UIAutomator和XCTest等前辈的经验。它内置容错机制，能够应对UI元素位置不稳定和屏幕点击失败等问题；内置延迟容忍机制，无需手动添加等待时间；采用解释执行，迭代速度快，无需编译；使用YAML文件定义测试，语法简洁强大；只需单个二进制文件即可运行。
阅读更多
倡导隐私保护的人士经常遇到两种有害的论调：一是认为隐私已死，保护个人数据毫无意义；二是认为只有完全私密和安全的工具才值得使用。作者认为，这两种心态都会导致人们放弃努力提升隐私保护。文章鼓励人们采取渐进式的方法，庆祝每一个小小的进步，例如从短信迁移到Signal，即使并非完美，也应鼓励和支持。与其追求完美，不如通过微小的增量改进，逐步提升隐私保护水平，营造积极的隐私文化。
阅读更多
F* 是一种通用的证明导向型编程语言，支持纯函数式和有副作用的编程。它结合了依赖类型的表达能力和基于SMT求解和基于策略的交互式定理证明的自动化证明功能。F* 程序默认编译成 OCaml，还可以通过 KaRaMeL 工具提取到 F#、C 或 Wasm，或使用 Vale 工具链提取到汇编语言。F* 由微软研究院、Inria 和社区积极开发，开源且免费，并广泛应用于安全、加密和系统等领域，例如 Mozilla Firefox 和 Linux 内核等项目。
阅读更多
OpenAI的记忆升级标志着自GPT-3发布以来最具变革性的飞跃。以往的AI如同健忘的天才，现在，记忆的突破改变了一切。AI将记住你的习惯、思维模式和偏好，成为你的终身伴侣和助手。这将带来巨大的生产力提升，并挑战AI缺乏防御能力的传统观点。OpenAI或将推出“Sign in with OpenAI”产品，让第三方开发者直接访问其记忆层，构建更强大的应用。这场竞争将围绕记忆展开，谁能更快地捕捉记忆，谁就能赢得未来。
阅读更多
Mastodon用户Henning Paul（DC4HP）在其个人页面上发布了一条信息，感叹一段旅程的结束，并对结果表示惊讶和赞叹。该信息暗示了此前经历了一段不平凡的历程，最终的结果超出了他的预期。
阅读更多
System76发布了其基于Rust的全新桌面环境COSMIC Alpha 6，带来了诸多改进。新增了桌面缩放功能，方便用户调整屏幕元素大小；改进了工作区管理，支持更直观的窗口切换和拖拽；优化了文件管理器、媒体播放器和文本编辑器，并修复了大量bug，提升了性能和稳定性。此外，Alpha 6还对字体、内存管理和CPU使用率进行了优化，整体使用体验更加流畅。
阅读更多
Armv9架构凭借更高的授权费，以及云计算巨头对Arm架构的广泛采用，推动Arm营收再创新高。2025财年第四季度营收首次突破10亿美元，全年营收突破40亿美元，授权收入突破20亿美元。CEO Rene Haas表示，智能手机芯片授权收入同比增长30%，远高于芯片出货量增长。服务器芯片方面，Armv9也展现出强劲的增长势头，Nvidia、Google和Microsoft等公司都在积极采用Armv9架构。Arm的成功得益于其在AI云部署中的领先地位以及定制芯片领域的强劲势头，这推动了其授权和版税收入的增长。
阅读更多.png)
本文介绍了十种经过验证的Terraform配置根目录结构，涵盖单环境、多环境、多区域、多云、微服务、多租户SaaS等多种场景。每种结构都配有示例和优缺点分析，帮助你选择最合适的方案，提升代码可维护性和团队协作效率。从简单的单环境单配置到复杂的团队协作模式，文章详细阐述了每种方案的适用场景、结构示例以及优缺点，并特别强调了模块化复用和环境隔离的重要性。
阅读更多
这篇博客是作者CowFreedom的个人网站的索引页，主要记录了他生活中遇到的有趣事物，并表示会不定期更新内容。作者也附上了自己的联系方式[email protected]，希望有机会合作。文章提到了后续会分享关于点积的内容，包括介绍、简单的For循环实现、SIMD版本和CUDA版本等。
阅读更多
程序员Shae Erisson受到一篇关于工作中断影响的研究启发，DIY了一个名为FlowLight的系统，用于指示程序员是否处于专注的“心流”状态。该系统通过监测Emacs编辑器的空闲时间，当程序员长时间未操作时，系统会通过Adafruit MagTag板上的LED灯变为绿色表示空闲，红色表示忙碌。Erisson还在CircuitPython中编写了HTTP服务器，使得系统能够远程控制LED颜色和显示状态。虽然该系统目前还有一些改进空间，例如更精细的空闲时间监测和更美观的显示效果，但它已经能够有效地帮助程序员避免被打扰，提高工作效率。
阅读更多
1854年，558名来自卢萨蒂亚（今德国）的索布人/温德人，在牧师约翰·基利安的带领下，远渡重洋来到德克萨斯州，开启了他们独特的历史篇章。这群因宗教冲突而背井离乡的温德人，在克服了跨越大西洋的艰辛旅程和黄热病的威胁后，最终在李县建立了塞尔宾定居点。他们顽强地保留着自己的文化和语言，即使德语和英语逐渐占据主导地位，温德文化也在德州这片土地上生根发芽，并在今天通过博物馆、节日等形式得到传承。
阅读更多
安全研究人员发现了一个影响所有主流移动浏览器的漏洞，攻击者可在蓝牙范围内通过触发FIDO:/意图劫持PassKeys账户。攻击者利用受控网页诱导受害者访问FIDO:/ URI，从而启动合法的PassKeys身份验证意图，最终在攻击者设备上接收凭据，实现PassKeys钓鱼攻击。该漏洞打破了PassKeys无法被钓鱼的假设，攻击者无需复杂的Web应用配置即可实现账户接管。所有主要移动浏览器已修复此漏洞（CVE-2024-9956）。
阅读更多
全球科学网络展示了如何利用LED作为光耦器，在面包板上构建人工突触。文章详细解释了人工突触的组成：包括一个反相器、由两个LED组成光耦器、输出缓冲器、二极管和一个可变电阻器。抑制性突触还需要增加一个放电晶体管。每个突触都会向突触后神经元添加或移除电荷。为了与生物细胞的功能等效，需要传输与相同生物网络相比例的数目的状态。该视频更详细地描述了这一过程。
阅读更多
Bryan 耗时数月，从零开始打造了一款高度集成的开源笔记本电脑 anyon_e。它配备了 4K AMOLED 屏幕、Cherry MX 机械键盘，能够流畅运行大型游戏和 7B 参数的 LLM，电池续航约 7 小时。项目使用了 RK3588 SoC、定制主板、ESP32-S3 电源控制器等，并包含了 Bryan 自己设计的机械键盘和触控板。整个过程充满了挑战，涉及到硬件设计、软件开发、机械加工等多个领域，最终成果令人惊叹。这是一个关于挑战极限、将创意变为现实的精彩故事，体现了开源精神的魅力。
阅读更多
作者在众多用户转向BlueSky之际，分享了其谨慎入驻的策略。文章的核心观点是：不要将所有价值都依赖于他人控制的平台。作者以“不要在别人的王国里建城堡”为喻，建议用户在自控空间内创造最大价值，并将其他平台作为导流工具。作者将BlueSky视为一个可能在三年内消失的平台，因此他不会在上面投入过多的精力，而是将重点放在个人网站和自建社区上，以确保长期价值的积累。
阅读更多
作者分享了克服拖延症，开始写作的经验。他鼓励大家定期发表文章，不必过度思考，从短小的文章开始，选择现有的平台即可。作者本人也花了十年时间才写下这篇短文，并建议大家不必过度设计网站，甚至不必检查语法，只需写100字就发布。
阅读更多
Mike Alche 创建了一个 Y Combinator (YC) 公司的全景图可视化工具，以直观的方式展现了这些公司的行业分布、投资关系以及发展轨迹。该工具以其清晰的图表和易于理解的交互式设计，为用户提供了一个深入了解 YC 生态系统的独特视角，帮助人们洞察创业公司之间的联系和发展趋势。这对于创业者、投资者以及对科技行业感兴趣的人来说都是一个宝贵的资源。
阅读更多
维基百科以免费信息著称，却持续进行大规模募捐。文章揭露，维基媒体基金会已积累数亿美元资金，远超网站运营所需。巨额资金并未用于支付志愿者编辑，而是用于庞大的员工队伍（550人）和高管薪酬，引发志愿者不满。文章呼吁读者理性看待募捐，质疑其资金使用效率及透明度，并点出其可能存在的政治倾向性。
阅读更多
Bird Buddy，一款配备摄像头的喂鸟器制造商，推出了全新的“Wonder”系列产品，其中包括Petal相机和Wonder Blocks。Petal相机是一款多功能的生物形态相机，可以拍摄照片和视频，并通过内置的AI功能“自然智能”识别鸟类孵化、蝴蝶飞舞等自然景象。Wonder Blocks则可以与Petal相机配合使用，创建野生动物栖息地。这两个产品将于2025年春季通过Kickstarter众筹平台推出。
阅读更多
本文探讨了将人工智能限制为仅执行信息处理任务（工具型AI）以规避风险的方案是否有效。作者认为，这种方案由于智能体型AI在行动和推理方面都具有经济和智力优势而不可行。智能体型AI能够更好地选择数据、优化学习过程、设计自身并利用外部资源，从而获得更高的智能水平。虽然强化学习并非学习复杂事物最理想的方法，但它是控制复杂系统的最佳选择，而世界充满了我们希望控制的复杂系统，包括AI本身。因此，工具型AI最终将被智能体型AI取代，因为后者更符合市场需求和实际应用场景。
阅读更多