2024年10月31日晚，数百人聚集在都柏林市中心的奥康奈尔街，准备参加一场在网上宣传的虚假“万圣节游行”。该虚假活动在社交媒体上发布并广泛传播，承诺从该市的北侧开始，一直到圣殿酒吧区。然而，实际上并没有这样的游行计划。数百人参加了这场不存在的活动，现在看来这是一场大规模的恶作剧。警方已要求人们安全离开该区域。
阅读更多
本文深入探讨了类型理论，解释了类型检查的必要性及其带来的抽象能力。文章首先阐述了类型提供的结构信息、错误检测、构建优化和程序员理解代码等方面的作用。接着，文章定义了类型，并将其与集合进行比较，解释了类型如何根据属性对数据进行分类。文章详细介绍了基本类型（any 和 never）、类型的组合（交集和并集）、参数化类型、特殊根类型（元组、对象、函数）、条件类型和类型层级。此外，文章还讨论了类型操作，包括子类型化、不相交性、属性读取、函数调用和类型参数替换，以及类型检查过程、上下文、类型注释、类型推断、反射和类型表示等内容。最后，文章简要提及了依赖类型和未来将要探讨的更高级的类型理论主题。
阅读更多
英国歌手莉莉·艾伦近日透露，她在OnlyFans上出售自己脚部照片的收入超过了她在Spotify上的歌曲播放收入。她表示，尽管她在Spotify上拥有近800万月活跃听众，但每月从1000名订阅她OnlyFans的用户那里获得的收入更高。艾伦每月在OnlyFans上收费10美元，这意味着她每月的收入至少为1万美元。相比之下，Spotify每条流媒体仅向艺术家支付约0.003至0.005美元。
阅读更多
2024年10月19日，国际通信卫星组织（Intelsat）旗下的Intelsat 33e卫星在静止轨道上解体并失去动力，导致欧洲、非洲和亚太部分地区的客户通信服务中断。美国太空部队报告称，正在追踪与该卫星相关的约20块碎片。Intelsat正在努力将客户转移到其机队中的其他卫星或第三方运营的航天器。Intelsat 33e于2016年8月发射，原计划寿命为15年，但由于推进器问题，实际寿命缩短至约11.5年。
阅读更多
dLine是一款命令行工具，它直接在终端显示重要数据，以日历的形式呈现。它可以监控关键日期、通过API简化事件添加，并计算各种事件类型的时间跨度。dLine专为开发者设计，无需离开终端即可简化事件管理和日程导航。它具有动态视图、静态视图和事件计算器视图，并支持多种数据管理功能，包括添加、删除、查看和清理事件。dLine还支持自定义颜色方案和用户翻译，可以与Google Calendar集成。
阅读更多
ad是一款新颖的文本编辑器，它结合了Vim和Kakoune的模态编辑接口以及Plan9的Acme的可扩展性方法。ad允许用户执行文本，并将其作为实验平台，用于探索各种文本编辑器功能的实现。目前，ad已足够稳定，并具备一定的功能，用户可以尝试使用，但文档较少，可能存在一些bug。ad的设计理念是融合Vim的模态编辑、Emacs的mini-buffer、以及Acme的编辑命令和可扩展性，旨在创建一个舒适的编辑环境，支持与外部工具和程序直接交互。
阅读更多
本文介绍了一种简单易生成的XOR纹理，它通过对像素的x和y坐标进行异或运算生成。虽然XOR纹理在演示或游戏中并不常用，但它非常适合测试纹理映射器。文章详细解释了XOR运算的原理，并探讨了纹理尺寸对颜色亮度的影响，以及如何使用AND和OR运算符生成类似的纹理。最后，作者展示了XOR纹理在三维纹理中的应用示例。
阅读更多
Windows 11 24H2 用户发现，安装最近发布的功能更新后，他们的设备上会残留无法删除的数据，占用 8.63 GB 磁盘空间。这些数据被标记为“Windows 更新清理”，但用户无法通过系统设置或磁盘清理工具删除。微软尚未对该问题作出回应，但可能与 Windows 11 24H2 更新处理方式有关。
阅读更多
本文档Auth Wiki解释了身份验证、授权和身份管理中的关键术语，涵盖了OpenID Connect、OAuth 2.0和SAML等开放标准相关的概念，包括访问控制、访问令牌、API密钥、基于属性的访问控制、用户、身份验证、授权、授权码流、授权服务器、声明、客户端、客户端凭据流、CSRF攻击、设备流、企业单点登录、混合流、ID令牌、身份和访问管理、身份提供商、隐式流、JSON Web加密、JSON Web密钥、JSON Web签名、JSON Web令牌、JIT供应、机器对机器通信、Magic Link、管理API、多因素身份验证、多租户、OAuth 2.0、OAuth 2.0授权、OAuth 2.1、离线访问、一次性密码、不透明令牌、OpenID Connect、OpenID Connect发现、Passkey、无密码、PKCE、重定向URI、刷新令牌、资源指示器、资源所有者、资源服务器、角色、基于角色的访问控制、范围、SAML、服务提供商、签名密钥、单点登录、TOTP、令牌自省、令牌请求、用户信息端点、WebAuthn和Webhook。
阅读更多
美国版权局最新裁定，允许合法维修包括麦当劳冰淇淋机在内的商业食品制备设备，这对“维修权”运动来说是一场重大胜利。长期以来，制造商利用数字锁限制维修信息，迫使企业支付高昂的维修费用。此次裁决允许绕过这些数字锁，但仍然禁止分享或销售用于绕过软件锁的工具。此外，该裁决并未涵盖更广泛的商业和工业设备，这意味着许多企业仍然无法自由维修自己的设备。
阅读更多
本文研究了大型语言模型是否隐含地学习了世界模型。作者针对底层现实由确定性有限自动机控制的情况，提出了新的评估指标，并将其应用于游戏、逻辑谜题和导航三个领域。结果表明，尽管生成模型在现有诊断中表现良好，但新的指标揭示了其世界模型远不如表面看起来那么连贯，这种不连贯性会导致模型在处理类似任务时出现严重错误。
阅读更多
苹果公司发布了关于其私有云计算 (PCC) 平台的安全研究报告，该平台旨在保护用户隐私的同时，满足苹果智能功能对计算密集型请求的需求。报告详细介绍了PCC的架构设计，并提供了安全指南、虚拟研究环境 (VRE) 和部分源代码，以供安全研究人员和其他感兴趣人士检查和验证PCC的安全性和隐私保护措施。此外，苹果还宣布将PCC纳入其安全奖励计划，为发现PCC安全或隐私漏洞的研究人员提供高额奖励。
阅读更多
本文分析了美国数值天气预报衰退的原因，并指出现状令人担忧。作者认为，美国在天气预报领域投入巨大，但由于机构设置分散、缺乏与大学合作、计算机资源不足等原因，导致预测能力落后于欧洲。文章最后提出了改进建议，包括建立独立的国家预测中心、整合NOAA内部资源、增加计算机资源以及积极发展机器学习预测等，以期使美国在未来几年内重新获得世界领先地位。
阅读更多
Algol-68是20世纪60年代末期设计的一种编程语言，旨在成为一种通用语言，涵盖Cobol和Lisp等语言的功能。然而，由于其过于复杂和晦涩难懂的设计，以及难以实现编译器，Algol-68最终并未获得成功。一些专家，例如Hoare和Dijkstra，批评该语言放弃了Algol-60的简洁性。尽管Algol-68在苏联等地得到了一定程度的应用，但它并未像Fortran、Cobol、Pascal和C等语言那样流行。
阅读更多
这是一篇关于如何在Mac上利用GPU进行语音转录的文章。文章介绍了一个bash脚本，它封装了Python的mlx_whisper库，从而可以使用GPU加速转录过程。
阅读更多
一项新的研究表明，特斯拉汽车的致命事故率在所有汽车品牌中最高。该研究引用了美国国家公路交通安全管理局的数据，指出特斯拉的致命事故发生率高于起亚、别克、道奇和现代等品牌。尽管如此，该报告也承认事故率可能更多地反映了驾驶员行为，而非车辆设计本身。此前也有其他报告对特斯拉的安全性得出相互矛盾的结论，例如，EpicVIN的报告称特斯拉驾驶员的致命伤害率最低。
阅读更多
本文讲述了雷明顿兰德公司从创立到被并购的历史。创始人小詹姆斯·亨利·兰德在继承父业后，因理念不合自立门户，创办了美国卡迪克斯公司。之后，他通过一系列的收购和合并，将公司发展成为美国最大的办公用品公司——雷明顿兰德。公司在20世纪20年代末达到顶峰，但在经济大萧条时期遭遇重创。尽管在二战期间通过生产武器扭转了局面，并在战后进军电子计算机领域，但由于公司结构和销售策略问题，最终在与IBM的竞争中败下阵来，于1955年被斯佩里公司收购。
阅读更多
本文作者通过汇总分析来自 PYPL、Tiobe、GitHub、Stack Overflow 和 IEEE 等机构的九个编程语言排行榜数据，得出 2024 年最受欢迎的编程语言以及这些语言的应用领域。结果显示，Python、JavaScript 和 Java 位居前三，并建议开发者根据实际应用场景选择合适的编程语言。
阅读更多
本文简要介绍了Java类文件API（JEP 484），该API提供了一种解析、生成和转换Java类文件的标准方法。文章以一个简单的示例程序为例，演示了如何使用该API生成JVM字节码，创建新的对象，并基于随机数进行分支。作者详细解释了如何使用API的各种方法和类，例如ClassDesc、MethodTypeDesc、ConstantDescs等，来构建类文件、字段、构造函数和方法。同时，文章还提到了javap工具的使用，以及JVM作为栈基虚拟机的基本原理。
阅读更多
本文讲述了日本病理学家福岛正一医生一生致力于收集和保存纹身皮肤的故事。他认为纹身是一种独特的艺术形式，值得被永久保存。福岛医生通过支付报酬的方式，获得了许多纹身者的同意，在他们死后保存他们的皮肤。他还详细记录了每个纹身的图案和背后的故事。他的儿子福岛克成继承了他的遗志，继续保存这些珍贵的藏品。如今，福岛父子的收藏成为了解日本纹身文化的重要资料。
阅读更多
德国、法国、波兰、意大利、西班牙和英国六国外长在华沙举行会议，讨论欧洲安全挑战，并发表联合声明。声明谴责俄罗斯对乌克兰的侵略战争，指出俄罗斯的修正主义和持续侵略行为挑战了欧洲及跨大西洋地区的和平、自由与繁荣。六国决心加强团结，共同应对安全挑战，加强北约和欧盟的合作，增加安全防务支出，支持乌克兰，并对俄罗斯实施制裁。
阅读更多
29岁的栃木县那须町无业男子薄井信明因涉嫌持有具有杀伤力的电磁枪“线圈枪”而被警方逮捕。他曾在视频网站上发布了制作线圈枪的视频，被警方在网络巡逻中发现。经鉴定，该线圈枪能够发射实弹并具有杀伤力。嫌犯供述称线圈枪是其高中时期制作的。由于法律修订，线圈枪将于明年3月起被禁止持有，警方呼吁民众将持有的线圈枪上交至附近警署。
阅读更多
Data Formulator 是微软研究院开发的一款应用程序，它利用大型语言模型来转换数据，加快数据可视化的进程。Data Formulator 允许用户通过拖放数据字段、输入自然语言提示以及与图表进行交互来创建可视化图表。该工具还允许用户迭代地构建图表，并提供代码以便用户复用。
阅读更多
10月18日，古巴主要热电厂Antonio Guiteras发生故障，导致全岛电网瘫痪，全国陷入大范围停电。这是继前一天大面积停电后的又一次严重停电事故。古巴总理曼努埃尔·马雷罗表示，政府正在采取紧急措施，包括暂停课程、关闭部分国有工作场所和取消非必要服务，以确保居民用电。他还表示，将考虑对中小型企业调整电价。目前，电力部门尚未确定何时能够全面恢复供电。
阅读更多
本文回顾了libcurl 18年来保持ABI稳定性的历程。2006年，curl 7.16.0版本因移除FTP第三方传输功能导致SONAME变更，引发用户强烈反响。作者Daniel Stenberg因此决定将ABI兼容性置于首位，确保用户可以无风险升级到最新版本。文章还探讨了维护ABI稳定性带来的挑战，例如需要持续支持旧功能和代码，以及处理用户对早期版本变更的反馈。即便如此，作者仍坚持认为ABI稳定性对libcurl至关重要，并计划继续保持下去。
阅读更多
一家信息设计机构Ferdio挑战自我，尝试用一个简单的数据集创作100种兼具洞察力和视觉吸引力的可视化图表。他们旨在展示数据可视化的多样性和复杂性，以及如何使用有限的视觉元素讲述不同的故事。
阅读更多
