英国政府试图秘密要求苹果公司在其端到端加密系统中设置后门，但这一计划因内政部未能以国家安全为由保密而受挫。这一事件凸显了政府滥用国家安全机制的风险，以及秘密法庭在民主社会中的不当性。文章还对比了英国政府的行动与特朗普政府滥用安全许可的做法，指出两者都体现了对权力和安全机制的滥用，对个人自由和言论自由构成威胁。作者呼吁加强对国家滥用安全机制行为的法律监管，以应对数字时代新的安全挑战。
阅读更多
Lambda School，这家曾被誉为硅谷明日之星的编程培训机构，承诺以低廉的学费和“先就业后付款”的模式颠覆传统教育。然而，创始人Austen Allred虚构学生就业率、隐瞒与对冲基金的交易、夸大课程质量，最终导致公司陷入财务危机，并遭到监管机构和受害学生的集体诉讼。本文揭露了Lambda School商业模式的缺陷、Austen Allred的虚假宣传和不道德行为，以及最终的法律制裁，揭示了硅谷创业泡沫背后的残酷现实。
阅读更多
文章深入探讨了随机变量与其分布的区别，强调了即使两个随机变量具有相同的分布，它们也可能是测量不同随机现象的独立变量。文章通过掷骰子、硬币翻转等例子，阐明了随机变量的分布取决于概率测度和定义随机变量的函数，并指出仅仅知道随机变量的分布并不一定能提供关于其背后随机现象或测量函数的信息。
阅读更多
硅谷创业教父Steve Blank认为，人工智能将彻底改变他的“精益创业”方法。人工智能工具将加速假设测试、新产品开发和企业创建的速度，其速度之快是人类无法企及的。Blank设想人工智能可以自动执行精益创业的核心原则，例如假设测试和最小化可行产品，从而以超乎想象的速度推动创新。
阅读更多
这个网站探讨了海七鳃鳗从太平洋入侵美国河流的生态影响。文章描述了七鳃鳗对本地鱼类的掠夺性行为，以及它们对河流生态系统的破坏。文章还讨论了阻止七鳃鳗入侵的潜在解决方案，包括建造大坝和使用化学物质。
阅读更多
文章介绍了一些查找敏感信息泄露的基本方法，包括使用谷歌搜索引擎和GitHub代码搜索。作者以查找包含“机密”字样的PDF文档、政府承包商名单、API密钥、S3存储桶等为例，说明了敏感信息泄露的普遍性和危害性，并强调了保护敏感信息的重要性。
阅读更多
这篇论文介绍了一种名为L-Mul的线性复杂度乘法算法，该算法可以使用整数加法运算来逼近浮点数乘法，从而显著降低大型神经网络的计算资源消耗。与8位浮点乘法相比，L-Mul算法在实现更高精度的同时，可以将逐元素浮点张量乘法的能耗降低95%，将点积的能耗降低80%。研究人员在多个文本、视觉和符号任务上对L-Mul算法进行了评估，结果表明该算法在保持高精度的同时，能够显著降低能耗。
阅读更多
波音737 MAX客机两起坠机事件的举报人埃德·维尔弗在坠机事件发生后不久死于心脏病发作，享年54岁。这是第二起波音举报人死亡事件。维尔弗此前曾向联邦航空管理局和国会举报了波音737 MAX客机的缺陷，包括其机动特性增强系统（MCAS）。MCAS系统被认为是这两起坠机事件的主要原因。维尔弗的去世再次引发了人们对波音公司安全记录的担忧，并提出了有关飞机认证过程的问题。
阅读更多
文章探讨了在简单集成中避免使用SDK的益处。作者认为，直接调用HTTP API更加简洁透明，避免了SDK带来的额外学习成本、依赖问题和代码膨胀。作者主张开发者应根据实际情况选择合适的集成方式，并在文中列举了SDK的适用场景。
阅读更多
本文讲述了作者出于对C语言的热爱，将自己2010年用JavaScript编写的游戏引擎Impact移植到C语言的过程，并介绍了新引擎high_impact的特点。high_impact是一个用于2D动作游戏的轻量级游戏引擎，支持Windows、Mac、Linux和WebAssembly平台。文章详细介绍了引擎的架构、实体系统、碰撞检测、渲染、声音和内存管理等方面，并展示了使用high_impact移植的两款游戏的演示。
阅读更多
文章回顾了计算机内存的发展历程，从最早的机械存储器到电子存储器，涵盖了继电器、真空管、延迟线、磁芯存储器等多种技术。作者详细介绍了每种技术的原理、优缺点以及应用，并指出电子控制的数据存储器的发明是计算机诞生的关键。文章最后展望了磁阻内存 (MRAM) 的未来发展趋势。
阅读更多
本文回顾了哈佛大学六十年的计算机科学发展历程，作者从自身的经历出发，讲述了从早期大型计算机到现代人工智能的发展变化，并探讨了人与计算机的关系。作者认为，尽管计算机在计算能力上已经超越人类，并在人工智能领域取得了显著进展，但人类仍需明确自身独特性，重视人文教育，以应对人工智能带来的挑战，确保其发展符合人类价值观。
阅读更多
这篇《GQ》杂志文章介绍了音乐家克里斯·布莱克和辛迪·李以及他们与实验音乐和即兴表演的关系。文章探讨了他们如何挑战音乐传统并融合不同的影响，包括爵士乐、朋克摇滚和电子音乐。采访中还讨论了他们对即兴表演、集体协作和音乐作为一种自我发现工具的看法。
阅读更多
环球音乐集团宣布与AI音乐科技初创公司SoundLabs达成合作，将为旗下艺人提供AI声音模型技术。SoundLabs的新功能MicDrop允许艺术家使用自己的数据创建声音模型，并控制其所有权和使用权。该技术引发了人们对AI音乐伦理使用的关注，环球音乐集团强调技术应服务于艺术，并与Roland一起发布了AI音乐创作原则。
阅读更多
Pixelmator团队宣布计划加入苹果公司。该团队表示一直以来都受到苹果的启发，致力于打造兼具设计感、易用性和高性能的产品。此次并购协议签订后，Pixelmator将拥有更广阔的平台和影响力。目前，Pixelmator Pro、Pixelmator for iOS 和 Photomator 应用不会发生重大变化，但未来会有更多令人期待的更新。
阅读更多
Activeloop是一家Y Combinator孵化的公司，正在招聘Python后端工程师。该职位要求应聘者具备Python开发经验，并对构建和扩展数据密集型应用程序充满热情。
阅读更多
本文批评苹果公司未兑现其在 2020 年做出的关于允许用户选择退出 OCSP 安全检查的承诺。OCSP 用于验证应用程序的开发者 ID 代码签名证书是否已被吊销，但其曾在 2020 年出现大规模故障。为解决该问题，苹果公司承诺进行多项改进，包括允许用户选择退出安全检查。然而，作者发现苹果公司不仅未实现该承诺，甚至从官方支持文档中删除了相关描述。作者认为苹果公司此举损害了用户隐私，并呼吁用户使用防火墙等工具保护自身隐私。
阅读更多
本文回顾了Multics Emacs的背景、历史和设计。Multics Emacs是一个运行在Honeywell Multics系统上的实时、面向视频的文本编辑器。文章详细介绍了其设计和实现细节，包括基本编辑器、交互式驱动程序和重显示算法。重点讨论了性能增强技术，例如回显协商和快速重显示。文章还探讨了扩展语言，该语言允许用户使用Lisp增强编辑器功能。Multics Emacs对Multics产生了重大影响，激发了人们对集成视频支持的兴趣，并促进了Lisp的使用。
阅读更多
Nvidia发布了Nemotron-4 340B模型，该模型在合成数据生成方面取得了突破性进展，其性能可与GPT-4相媲美。该模型拥有9万亿个训练token，支持超过50种自然语言和40种编程语言，并以其商业友好的许可模式脱颖而出。Nemotron-4 340B的发布有望彻底改变各个行业，从医疗保健到金融，都能从其生成高质量合成数据的能力中受益。
阅读更多
Typewise是一家瑞士-美国深度科技公司，致力于通过解码人类思想让日常生活更轻松，该公司正在招聘一名DevOps工程师。 应聘者需具备4年以上构建、管理和集成后端基础架构的专业经验，精通Python等脚本语言，熟悉微服务、REST API和Web应用安全。
阅读更多/cdn.vox-cdn.com/uploads/chorus_asset/file/25533456/934626432.jpg)
波多黎各近日对多家化石燃料公司提起诉讼，指控这些企业在气候变化问题上误导公众，并阻碍了清洁能源转型，要求其赔偿10亿美元，用于波多黎各应对气候灾害。诉讼称，这些公司违反了贸易法，在推广化石燃料的同时，没有充分警告其带来的危险。波多黎各政府表示，未来将需要支付数十亿美元来应对因气候变化而加剧的灾难，例如2017年造成数千人死亡的飓风“玛丽亚”。
阅读更多
Windows 10 将于2025年10月14日停止官方支持。届时，用户仍可继续使用该系统，但微软将不再提供任何更新，这将导致安全风险。文章分析了用户不愿升级Windows 11的原因，包括早期版本存在问题、微软持续推销付费服务、对人工智能的担忧以及系统要求较高。尽管如此，随着Windows 11的普及，Windows 10用户数量将逐渐减少。
阅读更多
根据 Startup Genome 的年度“全球创业生态系统报告”，西雅图在全球领先的创业地区排名中下降了 10 位，跌至第 20 位。报告指出，尽管排名下降，但西雅图仍然拥有丰富的科技人才，被认为是“创新的一线中心”。报告认为西雅图地区在 2023 年的创业公司资金与前两年相比大幅放缓，导致排名下降。
阅读更多
本文介绍了美国最高法院在“雪佛龙 deference”原则上的立场转变。该原则曾赋予行政机构在解释模糊法律条文方面一定的自由裁量权，但近期被最高法院推翻。文章详细解释了“雪佛龙 deference”的由来、应用条件以及被推翻的原因，并指出这一变化对行政法领域的影响。
阅读更多
orch是一个用于构建由语言模型驱动的应用程序和代理的Rust库，它主要用于magic-cli，但也适用于其他场景。它提供了文本生成、流式文本生成、结构化数据生成和嵌入生成等功能，并支持使用Ollama作为语言模型。
阅读更多