文章介绍了Android新的防盗保护功能，这些功能可以在盗窃发生之前、期间和之后保护用户的设备和数据安全。升级后的出厂重置保护功能可以防止小偷在不知道用户凭据的情况下重置被盗设备。自动保护功能，如盗窃检测锁和离线设备锁，会在手机被盗时启动，锁定屏幕并保护数据。如果手机已经丢失，远程锁定功能可以使用用户的电话号码和安全挑战锁定屏幕，让用户有时间恢复帐户详细信息并访问“查找我的设备”选项。
阅读更多
本文介绍了切比雪夫逼近，这是一种用最少的计算量来逼近数学函数的方法。文章首先讨论了嵌入式系统中数学计算的特殊性，指出精度并非首要考虑因素。然后，文章以平方根函数为例，比较了泰勒级数展开和查找表方法的优缺点，并引入了切比雪夫多项式。切比雪夫逼近使用切比雪夫节点，能够更均匀地分布逼近误差，并通过截断系数来降低多项式次数。文章还给出了使用切比雪夫逼近拟合经验数据的加权最小二乘法，并提供了一些常见函数的切比雪夫系数。最后，文章总结了切比雪夫逼近的优势和应用场景。
阅读更多
由于许多玩家利用VPN和经销商网站绕过地区限制，Valve最近严厉打击了这些玩家。继《地狱伞兵2》在PSN平台上引发争议，导致该游戏在180个国家/地区受到限制后，许多玩家开始使用这些方法来继续玩游戏，这也导致许多人被封禁。到目前为止，已有2万名玩家被封禁，其中大部分来自俄罗斯和白俄罗斯。
阅读更多
美国参议院一个由两党议员组成的小组建议，国会未来三年至少投入320亿美元用于人工智能的开发和保障措施。该小组由两名民主党人和两名共和党人组成，他们认为美国需要“利用机遇并应对风险”，应对快速发展的AI技术。他们建议进行紧急支出立法，以促进美国在人工智能方面的投资，包括新的研究和开发以及新的测试标准。此外，该小组还建议对人工智能产品的推出制定新的透明度要求，并对人工智能对就业和美国劳动力队伍的潜在影响进行研究。
阅读更多
本文介绍了 Zed 编辑器在 Linux 上的开发进展。Zed 是用 Rust 编写的，虽然 Rust 具有跨平台特性，但 Zed 为了实现高性能和原生体验，需要深入集成到各个平台的 API 中。因此，Zed 开发了一个名为 GPUI 的框架，用于抽象化平台差异。文章详细介绍了 Linux 平台的多样性带来的挑战，包括发行版、桌面环境、显示服务器等方面的差异。Zed 团队选择支持 Ubuntu 发行版、X11 和 Wayland 显示服务器，并使用 Blade 渲染引擎来实现图形渲染。文章还强调了开源社区对 Zed on Linux 开发的巨大贡献，并展望了未来的开发路线图，包括完善功能、提高性能和稳定性等。
阅读更多
本文探讨了如何使用SAT求解器在生命游戏中寻找能够演化成特定图像的状态。作者首先解释了生命游戏的规则，并说明了如何将黑白图像加载为生命状态。然后，作者详细介绍了如何构建布尔方程来表示目标状态的父状态必须满足的条件，并使用SAT求解器来寻找解决方案。作者还讨论了该方法的局限性，例如存在伊甸园状态，以及随着细胞数量的增加，问题的复杂性也会增加。最后，作者展示了一些实验结果，包括蒙娜丽莎、花朵、玛丽莲·梦露和史蒂夫·布西密等图像的父状态。
阅读更多
本文介绍了作者用乐高积木搭建埃舍尔作品《阳台》的创作过程。作者详细描述了搭建过程中的挑战，包括解读埃舍尔作品中的扭曲结构、使用摄影技巧拼接最终图像以及搭建过程中遇到的各种困难。最终，作者成功地用乐高积木再现了埃舍尔的《阳台》，并展示了模型的细节和搭建过程中的照片。
阅读更多
本文讨论了超加工食品 (UPF) 对健康的潜在风险，以及食品工业如何通过游说和质疑科学研究来抵制监管。UPF 的特点是经过高度加工，添加了防腐剂、调味剂等，其消费与肥胖、癌症和糖尿病等健康问题相关。尽管有越来越多的科学证据表明 UPF 的危害，但食品工业仍在积极游说以阻止监管，并试图让人们对科学研究产生怀疑。
阅读更多
在2024年国际超级计算大会上，英特尔、阿贡国家实验室和惠普企业宣布，Aurora超级计算机突破了百亿亿次计算障碍，成为人工智能领域排名最高的超级计算机，在高性能计算和人工智能融合方面处于领先地位。Aurora超级计算机速度达到1.012 exaflops，是世界上速度最快的专用于开放科学的人工智能系统，实现了10.6 AI exaflops。
阅读更多
这篇文章探讨了容器技术的起源和发展，从UNIX系统中的chroot机制到FreeBSD jails，再到Linux中的cgroups和namespaces。文章解释了这些技术如何共同作用，实现容器的隔离和资源控制，并简要介绍了一些常用的容器管理系统，如Docker、LXC和systemd-nspawn。
阅读更多
本文通过对8085芯片的硅反向工程，分析了其中两个未公开的标志位V和K的实际功能。研究发现，V标志位表示有符号数溢出，而K标志位用于比较有符号数，这与之前发表的解释不同。电路分析表明，这两个标志位是刻意实现的，但Intel却未对其进行记录或支持，其原因可能是为了与8086的源代码兼容。文章还详细介绍了V和K标志位的电路实现，包括NOR门、异或门、锁存器和超级缓冲器等电路组件，并深入到硅层面的晶体管结构，展示了微处理器物理实现的有趣细节。
阅读更多
这篇播客文章讨论了公司如何可能通过智能设备麦克风监听对话以定位广告。文章探讨了目前已知的相关信息，并提出了许多问题。文章还涵盖了斯坦福大学的一项新研究，该研究导致一个最重要的AI数据集下线，以及Facebook上大量AI生成艺术品被盗的事件。
阅读更多
红帽企业Linux 9.4 发布，同时红帽宣布延长RHEL 7 的支持，RHEL 7.9 将获得四年的扩展生命周期支持（ELS）。CentOS Linux 7将于2024年6月30日终止生命周期，CIQ为CentOS 7用户提供CentOS 7扩展生命周期软件包更新，以及针对CVSS 7及以上问题的安全更新，为期三年。
阅读更多/cdn.vox-cdn.com/uploads/chorus_asset/file/25454244/Screenshot_2024_05_18_at_12.02.42_PM.png)
新款 iPad Pro 非常轻薄却十分坚固，并且在可修复性方面也有所提升。iFixit 在拆解这款平板电脑时发现，iPad Pro 的 38.99Wh 电池很容易更换，这与过去的 iPad Pro 型号相比，可以节省数小时的维修时间。然而，其内部许多部件，包括逻辑板，都是用胶水粘合的，这使得拆卸扬声器会损坏扬声器，并且很容易意外弯曲平板电脑的子板。
阅读更多
Sweep 是一家 YC 孵化的初创企业，致力于开发 AI 助手以自动化软件开发工作。目前正在招募第二位创始工程师，负责领导新项目，并拥有高度自主权。工作内容涉及大型语言模型，学习和研究速度快，公司文化注重团队合作和快速交付。
阅读更多
Herbie 网络演示页面允许用户输入公式，并利用 Herbie 工具对其进行改进。用户需要输入变量的近似范围，并使用 FPCore 表达式编写公式。由于请求量大，网页请求可能会排队或超时，建议用户在本地安装 Herbie 以获得更好的体验。
阅读更多
该文章介绍了微软在NeurIPS 2023发表的论文“基于代码库上下文静态分析的代码语言模型监控解码”的官方代码和数据。文章介绍了监控引导解码（MGD）方法，该方法利用静态代码分析来引导代码语言模型的解码过程，从而生成更符合语法和语义规则的代码。文章还介绍了用于评估代码语言模型的PragmaticCode和DotPrompts数据集，以及一个名为multilspy的语言服务器客户端库，用于获取和使用各种静态分析的结果。
阅读更多
为了构建安全的量子互联网，研究人员需要一种名为量子中继器的设备，而这种设备目前还不存在。两组研究人员表示，他们正致力于构建这种设备。量子网络使用量子比特来传输信息，量子比特依赖于一种称为纠缠的量子特性，在这种特性中，粒子可以被连接起来，无论它们相距多远，测量一个粒子都会立即影响另一个粒子的状态。量子中继器可以存储纠缠态并在网络中传输，以确保信号在长距离传输中不发生衰减。两组研究人员分别展示了量子网络中持续时间长的纠缠记忆，这是量子中继器所需的关键特性。
阅读更多
该文章介绍了一个开源 Git 存储库和 NPM 包索引网站，用户可以通过该网站搜索所需的开源项目或 NPM 包。网站提供多种搜索条件，包括编程语言、用户名、仓库名、描述等。同时，网站还提供了一些搜索技巧，例如使用空格分隔多个关键字、使用连字符表示排除关键字、使用双引号进行精确匹配等。
阅读更多
概率过滤器，如布谷鸟过滤器和布隆过滤器，是一种快速、高效的数据结构，支持具有一面错误的集合成员测试。它们可以确定一个条目绝对不在一个集合中，或者可能在一个集合中。布谷鸟过滤器在插入时性能优于布隆过滤器，但随着负载增加，插入性能会下降。布隆过滤器应用广泛，而布谷鸟过滤器相对较新。
阅读更多
美国初创公司斯托克太空（Stoke Space）近日成功对其首个火箭发动机进行了首次点火测试。该发动机采用全流量分级燃烧技术，此前只有SpaceX的猛禽发动机在飞行中展示过这种技术。该公司计划用七台这种发动机为其Nova火箭提供动力，目标是在2026年进行首次飞行。
阅读更多
本文详细介绍了 64k intro “Guberniya”的制作过程，涵盖了从设计理念、团队合作、开发流程到具体技术实现的方方面面。文章重点讲解了小体积二进制文件的生成、浮点数处理、WinAPI 使用、渲染技术、物理模拟、音乐制作等关键环节，并穿插了大量代码示例和图片展示。作者还分享了团队在开发过程中遇到的挑战和解决方案，为有兴趣进入 demoscene 领域的开发者提供了宝贵的经验和参考。
阅读更多
Lapis是一个使用Lua（或MoonScript）构建Web应用的框架，主要针对运行在定制版Nginx上的高性能Web平台OpenResty。Lapis也适用于其他服务器环境，兼容任何现代版本的Lua。它利用Lua协程的强大功能，让你能够编写看起来同步但可以通过自动异步运行而实现高吞吐量的简洁代码。Lapis提供了URL路由、HTML模板、CSRF保护、会话支持、PostgreSQL/MySQL/SQLite支持的模型、模式生成和迁移等功能。
阅读更多
FMP 笔记本提供了一套与《音乐处理基础》(FMP) 教材紧密相关的教育材料。它涵盖了音乐信息检索 (MIR) 中公认的主题作为应用场景，提供了对核心技术和算法的详细解释，并结合 Python 代码示例演示如何实现理论。它适合学习理论和实践、生成课堂教学材料，以及为许多 MIR 任务提供基线实现，面向学生、教师和研究人员。
阅读更多
Reddit 宣布恢复其奖励系统，该系统于去年关闭。新系统保留了大部分原有机制，并进行了一些新的改进，例如新的奖励设计、新的奖励按钮和排行榜。Reddit 表示，之前的“金色点赞”系统不如奖励系统有趣且表达力强，也不清楚它如何使接收者受益。用户需要购买“黄金”来奖励帖子和评论，平均费用在 15 到 50 金之间。Reddit 还为奖励系统添加了一些安全措施，例如在 NSFW 子版块、创伤和成瘾支持子版块以及包含成人内容的子版块中禁用奖励。
阅读更多
PauseAI抗议活动在伦敦、纽约、旧金山和全球范围内展开，抗议者要求暂停比GPT-4更强大的人工智能系统的训练，并呼吁所有联合国成员国签署条约，成立一个负责批准新的AI系统部署和大型模型训练的国际人工智能安全机构。然而，这个组织松散的抗议团体本身仍在摸索传达其信息的最佳方式，一些成员讨论了在人工智能开发商总部举行静坐的想法，而另一些成员则主张采取更温和的方式。
阅读更多
本文介绍了一种利用变换后的椭圆来估计文本透视变换的方法。作者首先将每个字母的轮廓用椭圆形表示，然后通过最小化椭圆面积的方差来找到最佳的透视变换参数。最后，作者通过旋转和倾斜变换来进一步优化结果，最终得到校正后的文本图像。
阅读更多
本文分析了4000多家YC公司的价值主张，将创业公司归纳为三种类型：提高效率、消除限制和技术进步。文章探讨了每种类型的特点、优势、风险和挑战，并强调了市场需求、技术创新和团队能力的重要性。作者认为，创业成功的关键在于识别市场需求，并利用技术创造价值，同时保持对风险的清醒认识和对道德的坚持。
阅读更多