这篇文章讲述了数学家 Julia Robinson 和 Yuri Matiyasevich 之间的合作，他们共同解决了希尔伯特第十问题。文章以两人之间温暖而充满智慧的通信为主线，展现了他们在解决这一难题的过程中所克服的挑战、所分享的喜悦以及他们之间深厚的友谊。Matiyasevich 在 Robinson 等人的早期工作的基础上最终解决了这个问题，但是双方都对彼此的贡献给予了高度评价。文章还介绍了 Robinson 作为一名女性数学家所面临的挑战以及她在数学界的巨大影响力。
阅读更多
Turbo9 是一款用 Verilog 编写的流水线化微处理器 IP，执行 Motorola 6809 指令集的超集。它是一款全新的现代微架构，具有 16 位内部数据路径，在高性能与小面积/低功耗之间取得了平衡。它是一款高效且紧凑的微处理器 IP，适用于 SoC 子模块或小型混合信号 ASIC，需要可编程的高级控制。
阅读更多
本文由斯坦福大学两位教授撰写，探讨了大型语言模型（LLM）是否具有感知能力。作者认为，尽管LLM可以生成类似人类表达感知的语句，但它们缺乏像人类一样的生理基础，因此不能认为它们真正拥有感知能力。文章通过分析LLM生成语言的机制，指出其本质是概率计算而非基于生理状态的表达，并强调了生物体和人工智能在感知能力上的根本区别。
阅读更多
这篇文章详细介绍了墨尔本大学2005年谜题竞赛中的一项任务“侦探”的解决方案。这个谜题由维基解密的创始人朱利安·阿桑奇设计，类似于桌游妙探寻凶，玩家需要根据对话内容，破译不同语言的角色、武器和房间之间的关系，最终找出凶手和作案地点。
阅读更多
这篇文章深情回顾了Deluxe Paint（DPaint）这款经典绘画软件的历史和功能，作者从个人经历出发，讲述了DPaint对游戏图形发展的影响，并详细介绍了其调色板、笔刷、动画等功能，以及HAM、Stencil等特殊模式。作者认为DPaint是一款强大且有趣的工具，即使在今天依然具有实用价值，并表达了对DPaint开发者的感谢。
阅读更多
本文介绍了等离子体控制小组在利用人工智能进行实时聚变等离子体行为预测和控制方面的研究工作。主要包括：利用多模态超分辨率技术发现隐藏的物理现象，解决边缘局域模（ELM）问题；利用机器学习进行托卡马克实时剖面控制，提高实验效率；利用高分辨率诊断数据进行等离子体行为监测，例如检测和分类阿尔芬-艾根（AE）模；利用数据驱动方法进行诊断降维和诊断上采样，解决未来聚变堆诊断限制问题；利用大型数据库对托卡马克输运模型进行交叉验证，提高预测可靠性；以及利用实时碳III发射前沿代理实现稳定的偏滤器辐射剥离，保护偏滤器板。
阅读更多
Hono是一个用于构建云原生函数和无服务器应用程序的开源函数计算框架。它提供了跨云平台和基础设施的统一函数编程模型，支持多种编程语言和部署选项，并具有丰富的扩展机制，允许开发者根据需要定制平台功能。
阅读更多
电子前线基金会（EFF）近期发布文章指出，摩托罗拉的车牌识别系统存在严重漏洞，可能导致大规模监控和数据泄露，对公共安全构成威胁。文章列举了该系统存在的七个漏洞，包括默认开启WiFi网络、使用硬编码密码、本地登录使用默认用户名和密码等。EFF认为，这些漏洞可能被恶意攻击者利用，窃取车辆信息、监控车辆实时位置，甚至对个人进行骚扰和勒索。EFF呼吁政府机构应重视数据安全，限制数据收集范围，加强数据保护措施，避免大规模监控对公民隐私和公共安全造成威胁。
阅读更多
本文介绍了如何使用Postgresql实现版本化的有限状态机 (FSM)。作者首先优化了状态和事件的存储方式，将其从文本改为枚举类型，以减少存储空间和提高性能。然后，作者创建了一个映射表来定义状态转换规则，并使用版本控制来管理FSM的不同版本，以便在业务流程发生变化时，可以轻松地更新FSM，而不会影响历史数据。作者还提供了一个SQL脚本来测试这些功能，并强调这只是一个实验性的POC，还不是生产就绪的解决方案。
阅读更多
《糟糕旅程侦探》是一篇来自《鹦鹉螺》杂志的文章，探讨了迷幻药物导致的持久性精神障碍（HPPD）的现象。文章通过专家采访和案例研究，深入研究了HPPD的症状、成因和治疗方法。文章还探讨了迷幻药物治疗的使用，以及在使用这些药物时应对潜在风险的重要性。
阅读更多
本文是建筑大师Christopher Alexander在1996年面向对象编程大会上的主题演讲稿。Alexander首先回顾了其提出的“模式语言”理论，并将其与软件设计中的“模式”概念进行比较，指出后者缺乏道德维度、整体连贯性和生成性。随后，他介绍了其新的理论框架“秩序的本质”，该框架认为“中心”是所有整体结构的基本元素，并通过15种几何属性相互关联，形成递归结构。最后，Alexander提出了一个宏大的愿景，即通过软件程序作为“基因”，以生成式的方式创造出具有生命力的建筑环境，并呼吁软件工程师承担起这一责任，共同创造一个更加美好的世界。
阅读更多
大西洋月刊的一篇文章讨论了人工智能在快餐业的应用，特别是“内核”机器人，这些机器人可以自动化汉堡烹饪过程。文章认为，内核机器人可以提高效率、降低成本，并改善工作条件。然而，文章也探讨了对机器人取替人类工人的担忧，并强调了实施人工智能伦理的重要性。
阅读更多
本文是关于使用 Google 地图在无人机上使用 GPS 和摄像头定位的的分步指南。它涵盖了使用 Google Earth Pro 创建飞行任务、使用 DJI Ground Station Pro 导入 KML 文件、设置无人机摄像头以及将照片上传到 Google Drive 的分步说明。指南清晰易懂，配有截图。
阅读更多
BOA27是一个开源智能气球项目，旨在为生活在朝鲜《反动思想文化排斥法》第27条下的人们提供希望。该项目旨在设计和制造低成本的智能气球，用于向朝鲜运送信息、教育材料、宗教材料以及生活必需品等。该项目的目标是通过技术手段突破信息封锁，为朝鲜民众带去希望和改变。
阅读更多
本文以轻松幽默的口吻，描述了 Linux 用户从入门到成熟的心路历程。作者认为，Debian 是 Linux 用户的最终归宿，因为它完全由社区控制，体现了自由开源软件的理念，拥有庞大的软件仓库，并且对专有软件的支持也很好。
阅读更多
密歇根大学的学者研究表明，一辆恶意汽车就能够欺骗美国基于智能交通控制系统，使其误以为十字路口已满，并迫使交通控制算法改变其正常行为，间接导致交通堵塞，甚至阻塞街道十字路口。研究团队重点关注联网汽车（CV）技术，该技术目前正被纳入全球所有制造的汽车中。研究人员发现，美国交通部（DOT）实施的一种名为智能交通信号系统（I-SIG）的V2I系统存在缺陷，该系统容易受到基本数据欺骗攻击。
阅读更多
国际眼科研究中心(ICTER)的科学家们在双光子视觉领域取得了突破。双光子视觉是一种利用红外激光脉冲刺激人眼感知图像的技术。研究人员首次确定了红外光的亮度值，并将其与感知亮度相关的新的物理量——双光子视网膜照度联系起来。这项研究表明，在人眼安全激光功率范围内，双光子刺激的亮度可达670 cd/m2。这一发现为医学诊断和虚拟/增强现实技术的发展开辟了新的可能性，并有助于未来双光子视网膜显示器的开发。
阅读更多
本文测评了Anthropic公司新推出的Claude Computer Use API。该API允许Claude AI通过视觉识别理解和操作电脑，实现类似“代理”的功能。作者认为该API令人兴奋，但也存在一些缺陷，例如容易卡顿、难以识别屏幕状态变化、不善于处理模态窗口等。作者建议为Claude提供更多系统状态信息，并开发更强大的不确定性处理机制，以提高其可靠性和效率。
阅读更多
此网站托管CodaFi开发的开源C语言宏汇编器和模拟器，用于研究和开发经典的6502和65C02微处理器体系结构。
阅读更多
美国宇航局预测，预计一个强大的日冕物质抛射(CME)将于 5 月 10 日星期二袭击地球，它正以每小时 2534 公里的速度向地球疾驰而来。预计这次袭击将在 5 月 10 日或 5 月 11 日 UTC 时间引发 G2 级或 G3 级的太阳风暴。几小时后，另一个快速移动的日冕物质抛射将从太阳上朝地球方向喷发。这次撞击预计将在 5 月 12 日或 5 月 13 日引发另一次 G2 级或 G3 级地磁风暴。今年第三个地球指向性的日冕物质抛射预计将在 5 月 14 日左右袭击地球，预计将导致较弱的 G1 级地磁风暴。
阅读更多
Material Web Components (MWC) 项目正式进入维护模式。这意味着将不再添加新功能和组件，GitHub PR 默认不会被接受，仅对小型 PR 进行个案评估。维护工作将依赖团队志愿者的贡献。尽管如此，MWC 团队对该项目取得的成就感到自豪，并表示正在寻找继续开发新功能和组件的方法，包括寻找新的维护者。
阅读更多
这篇文章详细介绍了如何使用原生C语言创建一个微型张量库，并以此为基础解释神经网络的基本原理和训练过程。文章首先解释了神经网络的概念，将其类比为一个函数，并以图像识别为例展示了神经网络的结构和工作方式。接着，文章介绍了张量的概念，以及如何使用C语言中的结构体表示和操作张量。随后，文章解释了损失函数的作用，以及如何使用梯度下降法优化损失函数以训练神经网络。文章还详细介绍了自动梯度计算的原理和实现方法，并通过矩阵乘法、ReLU和logsoftmax等操作的示例代码展示了如何实现神经网络中的各种操作。最后，文章以MNIST手写数字识别为例，展示了如何使用该微型张量库训练一个简单的神经网络，并解释了训练过程中涉及的超参数选择和训练技巧。
阅读更多
沃尔沃推出新款VNL重型卡车，专为北美市场设计。该车型注重燃油效率和安全性，采用了空气动力学设计，并将Super Truck项目中的技术应用到实际生产中，例如连接驾驶室和拖车的整流罩，可将整体燃油效率提高7%。与欧洲卡车不同，VNL没有速度限制，因此设计重点是减少阻力。此外，沃尔沃还注重提高安全性，以帮助卡车保持运行，保护资产和货物，并吸引和留住司机。
阅读更多
微软公司对谷歌在云计算和人工智能领域的领先地位表示担忧，并认为这可能会损害其在游戏市场的地位。因此，微软决定以 690 亿美元收购动视暴雪，以加强其在游戏领域的竞争力。该交易将使微软成为世界第三大游戏公司，仅次于腾讯和索尼。交易预计将在 2023 年上半年完成，但仍需监管部门批准。
阅读更多
本文披露了阿里亚娜自助入住终端的一种安全漏洞，攻击者只需在客户姓氏中输入一个单引号，即可使应用程序崩溃，进而绕过自助服务模式，访问终端的Windows桌面。漏洞发现者已与阿里亚娜公司联系，但沟通不畅，最终选择公开漏洞信息。文章建议酒店采取措施，更新软件版本，并隔离自助终端以防止攻击。
阅读更多
宝马在美国南卡罗来纳州的工厂测试了一款名为Figure 02的人形机器人，该机器人由Figure AI公司开发。Figure 02机器人拥有16个自由度的双手和与人类同等的力量，能够完成将钣金零件插入固定装置等需要灵活性和耐力的任务。宝马表示目前没有将人形机器人纳入其生产线的具体时间表，但对机器人技术的发展前景充满信心。
阅读更多/cdn.vox-cdn.com/uploads/chorus_asset/file/25560373/2164192957.jpg)
美国演员工会与代表电子游戏公司的谈判委员会就人工智能技术在电子游戏中的应用产生分歧，导致了罢工。争议的焦点在于，哪些类型的表演者应该受到人工智能保护。演员工会希望所有表演者都能得到保护，而公司方则希望将保护范围限制在声音和动作捕捉表演者。
阅读更多
本文讲述了日本江户时代（1603-1868）的“和算”数学传统，特别是其中女性和青少年参与者的故事。文章以岐阜县大垣市妙净轮寺保存的算额为例，介绍了当时一位名叫Kawai Sawa的16岁女孩解决了一个相当于现在大学数学专业的难题。此外，文章还介绍了江户时代的算术书籍《算法少女》，书中记录了各种数学问题和解决方法，展现了当时女性对数学的热情和贡献。
阅读更多
文章探讨了随机变量及其分布的区别，强调了即使两个随机变量具有相同的分布，它们也可能是测量不同事物的不同变量。作者以掷骰子、抛硬币和人群性别比例为例，说明了随机变量的分布可以通过模拟、观察和总结结果来近似，但随机变量本身并不是它的分布。分布取决于概率度量和定义随机变量的函数，改变其中任何一个都会改变随机变量的分布。
阅读更多