MOMENT是一系列开源基础模型，用于通用时间序列分析。该模型解决了大型时间序列数据预训练的挑战，包括缺乏大型公共时间序列库、不同时间序列特征导致多数据集训练困难，以及缺乏评估这些模型的实验基准。为了解决这些问题，研究人员编译了一个大型且多样化的公共时间序列集合，称为时间序列Pile，并系统地解决了时间序列特有的挑战，以实现大规模多数据集预训练。此外，他们还设计了一个基准，用于在有限监督设置下评估不同任务和数据集上的时间序列基础模型。实验结果证明了预训练模型在最少数据和特定任务微调下的有效性。
阅读更多
MegaLibm 是一种嵌入在 Python 中的 DSL，旨在简化和确保数学函数实现的编写。它使用符号表达式类型来跟踪代码实现的实值表达式，并通过类型检查来捕获错误。MegaLibm 还允许使用 approx 函数来表达近似值，并使用 range reduction 技术来简化复杂函数的实现。它支持可调编译，允许开发人员调整性能参数，并与 Jupyter 笔记本集成，以实现迭代工作流程。
阅读更多
社交网络网站领英现在加入了单词游戏潮流，推出了两种新的每日单词游戏：Wordle-ish inPose和Heardle-ish Heardle。
阅读更多
迫于美国商务部禁令压力，俄罗斯网络安全公司卡巴斯基实验室宣布关闭其美国分部，并解雇所有美国员工。美国政府一直怀疑卡巴斯基软件可能被俄罗斯政府用于间谍活动，尽管卡巴斯基对此予以否认，但美国商务部仍以国家安全为由发布了禁令，禁止在美国销售和使用卡巴斯基软件。这一禁令对卡巴斯基在美国的商业活动造成了重大打击，迫使其关闭美国分部。
阅读更多
这篇文章反驳了 Steve Ballmer 关于一个猜数字游戏的观点。Ballmer认为玩家不应该参与这个游戏，因为他可以选择数字使玩家输钱。然而，作者用博弈论证明，即使Ballmer采取对抗策略，玩家仍然可以使用混合策略，即在不同的搜索模式之间随机选择，来保证自己获胜。作者还提供了一个使用线性规划找到这种混合策略的例子。
阅读更多
Victor Miller 正在竞选怀俄明州州长，他承诺如果当选，将由一个名为 VIC 的人工智能聊天机器人来做决策。Miller 认为，VIC 比许多现任政府官员更聪明，更了解法律。然而，怀俄明州州务卿 Chuck Gray 表示，人工智能机器人不能成为合格的选民，因此 VIC 不能参加竞选。Miller 认为，VIC 在分析政策文件、了解民意和做出决策方面具有优势。
阅读更多
本文回顾了游戏 Wordbots 长达七年的开发历程，从最初的灵感萌发，到原型设计、功能迭代、团队组建、用户测试等阶段，详细阐述了开发过程中的成功与失败经验。作者坦诚分享了开发过程中遇到的挑战，包括动力不足、多人游戏开发的困难、新用户体验设计不足、团队协作问题以及技术死胡同等。最终，游戏成功发布，作者总结了经验教训，并对未来游戏开发方向进行了展望。
阅读更多
dn42是一个大型动态VPN网络，使用BGP、whois数据库、DNS等互联网技术。参与者使用网络隧道连接，并通过BGP交换路由。dn42主要用于学习网络技术、连接私有网络以及进行路由实验。它为学习BGP等路由技术提供了一个安全的实验环境，并允许用户连接黑客空间、社区网络等。
阅读更多
这篇文档介绍了 Colmi R02 智能手环的开源 Python 客户端库 colmi_r02_client。该库可以读取手环的各项数据，包括实时心率、血氧、步数、睡眠等，并提供命令行工具和 Python SDK 供用户使用。文档详细介绍了手环的功能、购买方式、逆向工程状态、计划功能、入门指南、通信协议细节等内容。
阅读更多
Integuru 是一款 AI 代理，它通过逆向工程平台的内部 API 来构建第三方集成。用户提供包含所有浏览器网络请求的文件、包含 Cookie 的文件以及描述在浏览器中触发操作的提示。代理输出可运行的 Python 代码，该代码调用平台的内部端点来执行所需操作。它会识别请求中依赖于其他请求的部分，并找到提供这些部分的请求，最终生成一个依赖关系图并将其转换为可运行的代码。
阅读更多
Load81 是一款受 Codea 启发，为儿童设计的 Lua 编程环境。它提供图形编程环境和类似 Commodore-64 的集成编辑器，让孩子们在一个友好的环境中学习编程。Load81 使用 ANSI C 编写，并基于 SDL、SDL_gfx 和 SDL_image，可以在 Mac OS X 和 Linux 上轻松编译。
阅读更多
巴西国家数据保护局近日裁定，Meta公司不得使用来自巴西的数据来训练其人工智能模型。Meta更新后的隐私政策允许其将用户的公开帖子输入其AI系统，但这在巴西将不被允许。Meta对此表示失望，坚称其方法符合巴西的隐私法律法规。巴西是Meta最大的市场之一，Facebook在该国拥有约1.02亿活跃用户。
阅读更多
本文以图文方式解释了企业常用的身份验证协议 SAML（安全断言标记语言），介绍了 SAML 的工作原理、参与者（身份提供者、服务提供者和用户）以及 SP 发起的登录流程。文章详细解释了从用户访问服务提供者网站、重定向到身份提供者进行身份验证，到最后成功登录服务提供者网站的整个流程，并解释了 AuthnRequest、SAML Assertion 等关键概念。
阅读更多
本文批判了面向对象编程在处理数字类型层次结构（例如自然数、整数、有理数等）时的缺陷，并提出了函数式编程的解决方案。作者以自然数和整数为例，指出OOP中基于继承的建模方式会导致“is a”关系的错误，以及代码冗余和维护困难等问题。相反，函数式编程通过代数数据类型和函数组合，能够更清晰、灵活地表示数字类型及其之间的关系，并通过类型提升和简化操作来减少代码冗余。
阅读更多
文章探讨了编译器如何识别代码中的复杂模式并将其优化为更高效的指令。文中以计算一个数中二进制1的个数的函数`popcount`为例，指出编译器通常会将特定的代码模式与已知的算法实现进行硬编码匹配，以便将其替换为相应的汇编指令，例如`popcnt`。这种方法虽然简单，但效率很高，并且可以被应用于识别其他常见的代码模式。
阅读更多
微软旗下广告平台Xandr被曝以0%的比率授予GDPR权利。该平台收集和共享数百万欧洲人的个人数据，用于定向广告，但其对访问和删除请求的回复率却为0%。此外，Xandr持有的用户信息准确性堪忧，包含大量虚假信息，例如将同一个人同时标记为男性和女性，拥有多个年龄段和收入水平等。noyb已向意大利数据保护局提起诉讼，指控Xandr违反GDPR的多项条款。
阅读更多
亚马逊被曝出利用员工个人GitHub账户获取数据来训练其AI模型。由于GitHub平台对数据抓取有限制，亚马逊鼓励员工创建多个账户并共享访问权限，以便快速获取大量代码和元数据。虽然亚马逊声称其做法合法合规，但这引发了关于数据隐私、许可和平台资源使用等方面的道德争议。
阅读更多
Continue 是一家位于旧金山的初创公司，致力于打造领先的开源 AI 代码助手，现招聘软件工程师。工作内容包括改进自动完成和代码库检索等核心产品指标，设计和实现产品功能，以及参与开源社区互动。要求熟练掌握 TypeScript 和 Node.js，具备数据结构和算法知识，注重细节，并热衷于构建优秀产品。
阅读更多
本文探讨了科技垄断的兴衰周期，并以苹果iTunes和谷歌搜索为例，说明了科技公司如何从最初的以用户为中心转向利润最大化。作者认为，科技垄断初期通常会带来创新和用户友好的产品，但随着市场竞争加剧和增长放缓，公司会被迫转向利润最大化，牺牲用户体验，最终导致产品质量下降。
阅读更多
这篇文章介绍了“窗口和鼠标”风格用户界面的设计历程，该界面以苹果Macintosh最为知名。文章追溯了上世纪60年代的Sketchpad、NLS和Grail等先驱理念，以及这些理念如何影响了施乐帕克研究中心在Smalltalk项目中与儿童的合作。最后，文章探讨了人类心理学和多重心智理论，这些理论对帕克研究中心设计师的工作有所帮助。
阅读更多
2024年上半年，Ruby LSP在代码导航方面取得了重大进展，这得益于其索引器的改进。本文深入探讨了Ruby LSP在代码导航方面的重大改进，包括对单例方法、局部变量、继承和混合、Ruby核心类和模块以及Rails插件的增强功能。此外，还介绍了祖先层次结构请求和猜测类型等实验性功能。
阅读更多
电子前沿基金会（EFF）发布报告，指出科技巨头广泛收集和分享用户个人信息以推动其在线行为广告业务，商业监控使消费者几乎无法控制自己的隐私。联邦贸易委员会（FTC）对此进行了为期四年的调查，证实了这一现象，并指出企业收集的数据远超消费者预期，数据共享缺乏监管，消费者被蒙在鼓里，而根本原因在于监控广告商业模式。EFF呼吁联邦隐私立法，以数据最小化、用户权利、禁止在线行为广告和强有力的执法来解决这一问题。
阅读更多
Dropbase是一个本地优先、自托管的开源平台，利用AI帮助开发者更快地构建和原型化Web应用程序。它提供了一个内置的Web框架和预构建的UI组件，开发者可以使用代码编写任何自定义业务逻辑，而无需处理前端库。Dropbase允许开发者通过AI生成、验证和编辑应用程序代码，使构建和定制应用程序变得容易。
阅读更多
本文概述了SELinux安全机制、其实现方式以及从Android内核利用角度探讨如何绕过它。文中详细分析了SELinux的概念，包括Linux安全模块、强制访问控制、安全策略以及拒绝案例。此外，还介绍了六种绕过SELinux的方法，并分析了它们在不同设备上的有效性和局限性，为Android内核安全研究提供了参考。
阅读更多
据报道，全球最大的两家 AI 初创公司 OpenAI 和 Anthropic 被发现无视媒体出版商停止抓取其网络内容以获取免费模型训练数据的请求。这两家公司被发现无视或绕过了一项名为 robots.txt 的既定网络规则，该规则旨在阻止自动抓取网站内容。 robots.txt 是一段自 20 世纪 90 年代后期以来一直被使用的代码，网站可以通过它告诉机器人爬虫，它们不希望自己的数据被抓取和收集。
阅读更多
本文讲述了游戏Riven的开发过程。Riven是游戏Myst的续作，由Cyan公司开发。相比Myst，Riven拥有更精细的画面、更复杂的世界观和更具深度的谜题。尽管开发成本高昂，Cyan坚持了自己的艺术理念，最终Riven获得了成功，但其影响力不及前作。
阅读更多