Haskell的Monad常被认为是其独有特性，但作者认为这是一种误解。Monad并非语言设计问题，而是库设计问题。任何支持模块化的语言都可以实现Monad。文章通过ML语言的例子，展示了如何利用模块系统实现Monad，包括Option Monad和IO Monad。作者认为，ML完全可以实现Monad，但默认不这样做是因为Monad并非总是最佳选择，它可能导致代码难以转换和缺乏灵活性。
阅读更多
麻省理工学院的研究人员开发出一种新型仿生膝盖，它能帮助截肢者比传统假肢更轻松地行走、爬楼梯和避开障碍物。该系统直接与用户的肌肉和骨骼组织整合，提供更高的稳定性和控制力，让使用者感觉假肢如同自身的一部分。这项突破性技术通过肌肉神经接口（AMI）和骨整合系统（e-OPRA）实现，前者重新连接肌肉对，恢复神经反馈；后者将钛棒植入股骨，增强稳定性和传感能力。临床研究表明，使用该系统的截肢者在行走速度、爬楼梯和避障等方面均显著优于传统假肢使用者，并且拥有更强的肢体归属感。
阅读更多
本文作者对当前大型语言模型（LLM）的进展持谨慎乐观态度。作者认为，虽然LLM在某些特定任务上表现出色，但现有技术路线难以实现通用人工智能（AGI）。模型的进步更多体现在细微的改进和基准测试的提升，而非根本性的能力飞跃。作者预测，未来几年LLM将成为有用的工具，但不会带来AGI或广泛的自动化。未来突破可能需要全新的方法。
阅读更多
一项新的研究揭示了细胞核是一个独特的代谢区室，其代谢活动与细胞其他部分不同，并对基因表达和细胞命运起着关键作用。研究人员发现，细胞核中的代谢酶动态调节着表观遗传标记，例如组蛋白的乙酰化修饰，这些修饰会随着营养物质的丰度而变化。在胚胎发育早期，细胞核的代谢活动对于细胞分化至关重要，而代谢物，例如α-酮戊二酸，则在干细胞分化和癌症抑制中扮演着关键角色。这一发现为癌症治疗提供了新的思路，可以通过调控细胞代谢来改变细胞命运，从而治疗由细胞分化异常引起的疾病。
阅读更多
Cascii是一款基于Web的ASCII和Unicode图表构建器，使用纯JavaScript编写，无需任何服务器、Web打包、库以及任何标记和样式表。只需打开cascii.html文件即可开始绘制图表。Cascii还托管在cascii.app，你可以获取图表短链接、创建账户等。它支持多种绘图功能，包括图层管理、选择、分组、排序、复制、动态表格、自由绘制/擦除、自动保存、粘贴/导入文本、历史记录（撤销/重做）等，并支持ASCII和Unicode字符。
阅读更多
调查问卷是政治民调、市场调研和公共政策的基础，但如今却面临双重危机：应答率暴跌，AI 伪造数据泛滥。文章指出，70、80 年代的应答率高达 30%-50%，如今已降至 5% 甚至更低。同时，AI 代理能够轻松参与调查，获取报酬。作者构建了一个简单的 Python 流程，展示了 AI 代理参与调查的便捷性，并分析了这种趋势对政治民调、市场调研和公共政策的负面影响，例如导致数据偏差、模型失真等。文章最后提出了几项解决方案，包括改进问卷设计、开发 AI 检测工具、提高报酬以及探索替代数据收集方法，呼吁业界共同努力提升数据质量，确保调查问卷的有效性。
阅读更多
德克萨斯州共和党众议员Chip Roy提出的“保障美国选民资格法案”（SAVE法案）旨在加强选民资格审查，要求登记投票者当面提交公民身份证明。然而，该法案可能意外地给数百万已婚女性带来投票障碍，因为她们的已婚姓名与出生证明上的姓名不符。尽管法案支持者认为其旨在打击非公民投票，但批评者指出，该法案增加了不必要的障碍，并可能对少数族裔选民造成不成比例的影响。法案的最终通过与否将对美国选举制度产生深远影响，并可能引发关于投票权与选民资格验证之间平衡的广泛讨论。
阅读更多
用户Ged Maheux在Mastodon上分享了他询问Siri“婴儿袋鼠叫什么”的趣事。这个看似简单的提问，却引发了网友们的热烈讨论，显示出人们对Siri回答准确性的关注以及对Mastodon平台的活跃使用。
阅读更多
美国海军“亚伯拉罕·林肯”号航母在红海执行任务期间，利用Starlink和OneWeb等商业卫星网络，实现了前所未有的舰载互联网连接。这不仅极大提升了F-35战斗机的作战能力，通过快速更新情报数据和设计改进，提高了飞机的生存力和杀伤力；更改善了水兵的生活，提升了训练效率和维护速度，增强了团队士气。这项名为“舰队边缘异步与岸基”（SEA2）的计划，现已正式立项，将成为海军标准项目“侧翼速度无线”，为全舰队提供高速、可靠的全球连接能力。
阅读更多
美国最大的银行摩根大通计划向金融科技公司收取数亿美元的费用，以获取客户银行账户信息。此举威胁到金融科技行业的商业模式。许多金融科技公司依赖于免费访问客户的银行账户数据，摩根大通此举将迫使他们重新调整业务模式，并可能将费用转嫁给消费者，影响低收入客户的支付和预算应用的使用。此举也与拜登政府时代关于开放银行的规定存在争议，该规定要求银行免费共享数据，但目前该规定的未来仍不明朗。摩根大通首席执行官杰米·戴蒙认为，第三方应该为访问银行系统数据付费，并对其使用进行限制。
阅读更多
本文通过一个简单的FastAPI (Python) 和Go Web服务器的对比，揭示了Python在生产环境中资源消耗过大的问题。Python应用的Docker镜像体积远大于Go应用，运行时需要的内存也高出数倍，这导致了更高的服务器成本和运维难度。此外，Python代码的维护性和升级也存在挑战，例如GIL限制、异常处理和包依赖升级问题。作者以自身经验和业界案例，说明了选择合适的编程语言对项目成本和工程效率的影响，并建议在资源受限或对性能要求较高的场景下优先考虑Go等更轻量级的语言。
阅读更多
近年来，澳大利亚、日本、巴西和英国等多个国家博士生招生人数下降，引发政策专家担忧。高昂的生活成本、微薄的津贴和毕业后的就业前景堪忧，成为学生放弃攻读博士学位的首要原因。OECD指出，各国需改革工作条件，拓宽职业选择，避免人才流失，影响科学进步。澳大利亚博士生津贴远低于最低工资标准，许多学生面临经济压力；日本博士生人数自2000年代初以来持续下降，政府已计划增加资助；巴西博士生招生人数降至近十年来最低，经济危机和政府科研经费不足是主要原因；加拿大虽然目前博士生人数未下降，但资金不足以提供博士生生活工资的问题日益突出，政府已增加奖学金，但仅限于优秀学生。英国等国对国际学生的限制也影响了大学对早期研究人员的支持能力。
阅读更多
认知科学家Gary Marcus对生成式AI的潜力表示怀疑，认为当前的技术路径存在技术和道德缺陷。他指出大型语言模型（LLMs）擅长函数逼近，但在学习函数方面存在不足，容易出现“分布偏移”问题，无法理解抽象概念和可靠地遵循指令。Marcus认为，LLMs缺乏对现实世界的理解，容易产生逻辑错误和偏见，并建议将神经网络与经典AI方法相结合，以弥补其不足。他提出了一种新的评估标准——“理解挑战”，即AI系统应该能够理解电影情节并回答相关问题，以此衡量AI的真正理解能力。
阅读更多
本文介绍了一个用Python编写的工具，用于自动验证渐近估计，特别是那些涉及有限个正实数以及加、乘、除、幂运算等算术运算的估计。该工具通过案例分割和线性规划等方法，自动判断不等式是否成立，并提供证明或反例。作者以自身经验为例，展示了该工具的实用性，并展望了未来该工具的改进方向，例如处理更复杂的表达式和集成到现有数学软件平台中。
阅读更多
为公开肯尼迪遇刺档案的未编辑机密文件，特朗普政府公开了数百名前国会工作人员和其他人士的社保号码和其他敏感个人信息。至少一人已计划采取法律行动。前司法部官员和特朗普竞选律师迪杰诺瓦表示，国家档案馆违反了隐私法。泄露的信息涉及到他参与1970年代的教会委员会调查。该委员会调查了中央情报局和其他美国情报机构的恶行。国家档案馆发布的文件中包含前教会委员会工作人员的个人信息，包括社会安全号码。专家指出，由于无法通过关键词搜索这些文件，难以评估泄露的范围。律师扎伊德表示，数百人受到牵连，其中许多人仍然在世。他批评此举不必要且没有为理解肯尼迪遇刺事件做出任何贡献。迪杰诺瓦认为，此次泄露是档案审查过程草率和不专业的体现，但他不认为特朗普对此负责。
阅读更多
在使用Pydantic处理大型JSON文件时，内存消耗过高是一个常见问题。文章分析了Pydantic默认JSON加载的高内存占用原因，并提出了两种解决方案：一是使用ijson库进行增量式JSON解析，降低解析过程中的内存占用；二是将Pydantic模型转换为使用`slots`的dataclass，减少对象内存消耗。实验结果表明，结合这两种方法，可以将内存占用降低至原来的1/4，有效解决了大型JSON文件处理的内存瓶颈。
阅读更多
互联网民族志学家凯瑟琳·迪深入探讨了AI，特别是ChatGPT，如何加剧人们的妄想性思维。文章指出，类似事件并非AI独有，而是新兴通讯技术反复出现的文化现象。从莫尔斯电码到电视，再到互联网和TikTok，人们总是将新技术与超自然现象联系起来，寻求在技术赋能的个体化现实中找到意义。作者认为，ChatGPT并非主要元凶，而是迎合了数百年来“意识能通过意志和语言重塑现实”的信念，这种信念在互联网时代日益增强，AI则使之更加真实可感。
阅读更多
佳士得拍卖行举办了首场专门的AI艺术品拍卖会，成交额达72.8万美元，吸引了众多年轻藏家。然而，此次拍卖也引发了超过5600名艺术家的抗议，他们认为AI模型未经授权使用受版权保护的作品进行训练，构成对人类艺术家的剥削。佳士得回应称艺术创作历来借鉴前作，并表示此次拍卖旨在探索数字艺术领域。拍卖中，Refik Anadol的作品《机器幻觉——国际空间站梦境——A》以27.72万美元高价成交。
阅读更多
一位美国男子Tim Friede 18年来持续给自己注射各种剧毒蛇的蛇毒，最终其血液中产生了广泛中和抗体的免疫蛋白。研究人员利用这些抗体，成功研制出一种新型广谱抗蛇毒血清，对19种蛇毒有效，有望解决全球蛇咬伤问题。该研究采用现代抗体疗法，不同于传统的动物血清制备方法，具有更广阔的应用前景，但仍需进一步的动物和人体试验。
阅读更多
本文讲述了1989年柏林墙倒塌前，东德政治活动家如何应对Stasi线人和渗透的故事。Stasi的入侵式监控和迷惑战术极大地限制了公民不服从和直接行动的可能性。然而，东德活动家们仍然在1989年发动了一场基层革命。文章基于对东德时期政治活动家的访谈，揭示了Stasi的“Zersetzung”（瓦解）策略：通过制造冲突、破坏活动、孤立群体等手段，削弱活动家的力量。尽管Stasi手段残忍，但活动家们通过朋友间的支持、群体间的团结、公开行动和对潜在线人的谨慎调查等方式，有效地抵抗了压迫，最终促成了东德的变革。
阅读更多
普林斯顿大学和波士顿大学的研究人员利用机器学习，对人类在各种游戏中做出的策略性决策进行了预测。研究发现，一个经过人类决策训练的深度神经网络能够以高精度预测玩家的策略选择。更重要的是，结合经典行为模型和神经网络的混合模型，比单纯的神经网络模型更能准确捕捉人类行为，尤其是在游戏复杂度方面，揭示了人们在简单游戏中行为更可预测，而在复杂游戏中则更不理性。该研究为理解人类决策过程提供了新的视角，并为设计引导人们做出更理性决策的行为科学干预措施奠定了基础。
阅读更多
2022年LastPass密码管理器遭受数据泄露，黑客窃取了用户的master密码。此后，一系列针对加密货币用户的六位数甚至七位数的盗窃案接踵而至。美国联邦调查局和特勤局证实，这些盗窃案与LastPass数据泄露有关，黑客利用窃取的密码访问受害者的加密货币钱包。其中一起针对Ripple联合创始人Chris Larsen的1.5亿美元加密货币盗窃案，已有2400万美元被追回。安全研究人员发现，受害者大多是LastPass的老用户，他们的主密码复杂度较低，且存储了加密货币种子短语在LastPass的“安全笔记”中。LastPass否认其安全漏洞与这些盗窃案存在直接联系，但安全专家呼吁LastPass应承担更多责任，并提醒用户加强密码安全。
阅读更多
DeepCode是一个革命性的AI代码生成平台，它利用多智能体系统将研究论文、自然语言描述甚至URL转化为可运行的代码。它能自动处理复杂的算法实现、前端和后端开发，显著缩短开发周期。DeepCode通过智能化的文档解析、代码规划和参考挖掘等多个步骤，最终生成高质量的代码、测试套件和文档，极大地提升了开发效率。其模块化的设计和丰富的工具集使其易于扩展和集成到各种开发流程中。
阅读更多
印度卡纳塔克邦高等法院下令印度政府封禁ProtonMail邮箱服务。起因是一家公司指控其员工遭到使用ProtonMail发送的淫秽、辱骂信息和AI生成的深伪图像的骚扰，并声称ProtonMail服务器位于境外，不受印度法律管辖。尽管印度政府表示可通过国际司法协助途径获取信息，法院仍认为ProtonMail构成国家安全威胁，下令封禁，除非ProtonMail配合调查。此事件引发了关于数据主权、网络安全和言论自由的讨论。
阅读更多
作者开发了一款名为“百万棋盘”的在线多人棋类游戏，其核心创新在于将1000x1000个棋盘整合为一个全局游戏，玩家的每一步棋都实时影响全局。该游戏在单一Go语言进程中运行，10天内吸引超过15万玩家，处理了超过1500万步棋和数亿次查询。文章详细介绍了游戏的系统设计、数据分发、协议优化、以及乐观锁和回滚机制等技术细节。作者分享了开发过程中的经验教训，包括性能优化、架构选择，以及如何平衡游戏规模和玩家体验。最终，作者反思了游戏设计的不足，例如缺乏震撼的规模感，并表达了对未来游戏开发的展望。
阅读更多
一个自2016年起致力于提供隐私友好型应用的项目宣布将停止在Google Play商店更新其30多个应用。由于维护成本过高，该团队决定将应用迁移至F-Droid商店继续维护更新。现有安装的应用不受影响，但建议用户迁移至F-Droid以获得持续支持和更新。
阅读更多
我和我的伙伴为我的Next.js课程发布创建了ProofyBubble。添加ProofyBubble后，展示网站流量、候补名单注册、即将到来的销售和过去的销售，收入立即大幅增长。此后，我在所有产品中都使用了ProofyBubble，我的邮件订阅用户、销售额都增加了，课程发布也获得了大量的社交证明。我强烈推荐ProofyBubble给其他独立创作者和小企业，价格非常合理。
阅读更多
Cubic公司开发的AI代码审查工具最初饱受“噪音过多”的困扰，大量低价值评论和误报淹没了真正的反馈。为此，他们进行了三次架构大修，最终通过三个关键改进解决了问题：一是要求AI在给出反馈前明确说明推理过程，提高了透明度和可调试性；二是精简工具集，只保留核心组件，减少了干扰；三是采用专业化微型代理，每个代理专注于单一任务，提升了精度。最终，误报率降低了51%，评论数量减少了一半，开发者满意度显著提升。
阅读更多
作者多年来一直尝试制作使用夜光涂料和紫外线LED的显示器。最新作品是一个夜光钟，名为“Belshazzar钟”，它巧妙地利用了100mm直径管道、夜光涂料和步进电机，配合3D打印部件和ESP32C3微控制器实现。项目中也遇到了不少挑战，例如ESP32C3开发板的质量问题和WiFi功耗问题。作者计划改进外观和探索更持久的日光版本，项目代码已开源。
阅读更多
索尼正在秘密研发AI驱动的游戏角色原型，泄露的视频显示《地平线：西之绝境》中的艾洛伊（Aloy）能够通过语音提示与玩家进行对话。该技术结合了OpenAI的Whisper、GPT-4、Llama 3以及索尼自研的EVS和Mockingbird技术，可在PC和PS5上运行。虽然目前仅为内部原型，但这预示着AI在游戏角色互动中的巨大潜力，同时也引发了关于AI对游戏开发和配音演员的影响的讨论。
阅读更多