本文介绍了一种在Haskell中重载lambda抽象以构建嵌入式领域特定语言（EDSL）的方法。作者通过巧妙地利用`Port`类型和`encode`、`decode`函数，将Haskell函数转换为自定义类别中的态射，从而实现了简洁直观的语法，避免了繁琐的Arrow抽象和proc notation。这种方法无需任何元编程或编译器插件，仅需少量Haskell代码即可实现。作者以流程图DSL为例，展示了该方法的应用，并讨论了避免重复和处理副作用等问题。
阅读更多
一家初创公司尝试利用AI模型进行代码安全漏洞扫描，发现自去年六月以来，尽管模型的基准测试分数不断提高，但实际应用效果提升有限。作者认为，大型语言模型的进步并未体现在经济效用和泛化能力上，这与公开报道存在差距。这引发了对AI模型评测方法的质疑，以及对AI实验室可能夸大模型能力的担忧。作者呼吁关注模型的实际应用能力，而非单纯的基准测试分数，并强调在AI应用于社会治理前需完善评估体系。
阅读更多
一项新的研究表明，TikTok的算法可能更有利于传播支持中国共产党的观点，而非批评性内容。研究人员发现，即使批评性内容的互动率更高，TikTok仍然推送更多支持性内容。此外，该研究还显示，TikTok用户比其他平台用户对中国的评价更为正面。这一发现正值美国最高法院即将审理是否禁止TikTok的案件之际，进一步加剧了对TikTok作为中国政府宣传工具的担忧。
阅读更多
arXivLabs是一个框架，允许合作者直接在我们网站上开发和分享新的arXiv功能。与arXivLabs合作的个人和组织都认同并接受了我们开放、社区、卓越和用户数据隐私的价值观。arXiv致力于这些价值观，并且只与遵守这些价值观的合作伙伴合作。如果你有一个想法，可以为arXiv社区增值，请了解更多关于arXivLabs的信息。
阅读更多
Steam 近日更新了平台规则，禁止违反支付处理器和银行规定的游戏内容，导致大量包含性暗示，特别是“乱伦”主题的游戏下架。此举源于支付公司长期以来对成人内容的抵制，他们担心平台缺乏足够的非法内容监管措施。虽然许多玩家对下架游戏表示支持，但也有担忧声音认为，此举可能成为金融审查的先例，未来可能影响更多游戏，甚至包括一些LGBTQ+主题的游戏。
阅读更多
作者使用 Haskell 编写了一个 APL 解释器。APL 是一种基于数组的编程语言，其简洁的语法极具挑战性。作者在项目中经历了从最初的语法解析器到最终完善的解释器的迭代过程，其中涉及到对 Haskell 的深入学习，以及对解析器设计模式的不断改进，例如从上下文无关文法到使用 Monad 和 Applicative 的优化。最终的解释器虽然与 Dyalog APL 存在一些细微的差异，但已经能够很好地运行。这个项目展现了 Haskell 在处理复杂语法和高阶函数方面的强大能力，同时也揭示了 Haskell 的学习曲线陡峭以及调试的复杂性。
阅读更多
本文探讨了约旦代数、八元数和李奇格之间的深层联系。文章从20世纪30年代帕斯卡·乔丹对厄米特矩阵代数性质的探索开始，引出形式上实的约旦代数及其分类，其中包含一个特殊的27维例外约旦代数。基于此，文章介绍了由约旦代数构造射影空间的方法，并重点讲解了由例外约旦代数生成的八元数射影平面。最后，文章深入探讨了一个由八元数厄米特矩阵构成的奇异时空，以及其中一个独特的积分单模格——李奇格，并指出该格在E6群作用下具有两个不同的轨道，这与通常的理解有所不同。
阅读更多
作者痴迷于卡牌游戏Balatro，并尝试将其移植到任天堂Game Boy Advance的E-Reader外设上。E-Reader的限制，例如有限的屏幕分辨率、内存和数字处理能力，给移植工作带来了巨大的挑战。作者制作了一个原型，但它只包含了游戏核心玩法的一部分，并做了一些简化，例如简化计分系统和约简特殊牌的种类。作者详细分析了移植过程中遇到的各种技术难题，包括数字精度、精灵数量、内存空间以及文本显示等问题，并探讨了可能的解决方案。最终，作者决定不公开这个原型，除非得到原游戏作者的许可。
阅读更多
一家名为Yarn的初创公司正在利用AI彻底改变视频制作流程。他们开发了一种创新的技术，将人工智能与视频制作相结合，使制作引人入胜的视频的速度提高了100倍。公司已获得Y Combinator等知名投资机构的投资，并与Clay和Shopify等公司合作。目前，Yarn正在纽约招聘经验丰富的工程师，希望他们能够参与核心代理工作流程的构建、AI协同编辑工具的开发以及尖端AI模型的原型设计等工作。
阅读更多
LiveYou是一个全新的在线学习平台，它允许用户实时与导师互动学习任何技能。该平台打破了传统教学的局限，提供了一种更灵活、更个性化的学习体验。用户可以根据自己的需求选择导师和课程，并通过实时互动获得个性化的反馈和指导，从而更高效地掌握新技能。这预示着在线教育可能迎来一场革命，未来学习不再受时间和地点的限制。
阅读更多
瑞士洛桑联邦理工学院的研究人员研发出一种名为RAVEN的仿生无人机，它拥有类似鸟类的腿，能够行走、跳跃甚至利用腿部力量起飞。这项研究不仅揭示了鸟类跳跃起飞的效率，也为固定翼无人机的起飞方式提供了新的思路。RAVEN无人机通过腿部储存和释放能量，实现了比传统方式更节能、更快速的起飞，未来有望应用于货物递送等领域。
阅读更多
Business Insider披露的微软内部薪酬指南揭露了这家软件巨头对技术人才，特别是AI人才的慷慨程度。顶级工程师（级别70）年薪最高可达408,000美元，外加高达190万美元的一次性股票奖励和额外的签约奖金。不同级别工程师的薪资和股票奖励也有显著差异，级别越高，奖励越丰厚。这反映了科技公司在AI人才争夺战中的激烈竞争，微软也以高薪吸引全球顶尖人才。
阅读更多
为了提高外卖骑手的安全，纽约市交通局推出了一项免费的电动自行车置换计划。该计划面向2024年收入至少1500美元，且居住在纽约五大区的外卖骑手，允许他们用不符合安全标准的电动自行车或摩托车换取一辆新的UL认证电动自行车及备用电池。这项计划旨在解决外卖骑手因低收入而使用不安全电动车的问题，但名额有限，申请截止日期为2025年3月10日，最终参与者将通过抽签决定。
阅读更多
Reddit上的一篇帖子指出，联想在美国和加拿大销售预装Fedora和Ubuntu的笔记本电脑，价格比预装Windows的同款机型便宜140美元（或211加元）。这引发了人们对Windows定价的质疑。虽然并非所有型号都提供Linux预装选项，但用户可以通过Lenovo网站上的过滤器轻松找到这些型号。虽然联想和戴尔等厂商都提供预装Linux的笔记本电脑，但选择有限，而且市场营销力度不足，这限制了Linux在普通消费者中的普及。
阅读更多.jpeg?auto=webp)
Unseen Histories网站发表了一篇文章，追忆了被誉为“有史以来最伟大的历史小说家”的帕特里克·奥布莱恩的生平。文章以图文并茂的形式，展现了奥布莱恩鲜为人知的私人生活，并回顾了他的创作历程。这篇文章是Unseen Histories网站众多高质量历史内容的一部分，该网站致力于以原创、引人入胜且精美的方式呈现历史。
阅读更多
本文介绍了一个基于ATmega328的超低功耗Arduino系统。作者通过精简硬件和利用JeeLib库的休眠功能，将系统功耗从6.7mA降低到43μA，实现电池续航时间大幅提升。文章详细讲解了硬件连接、软件编程以及功耗测试结果，并以温度传感器为例计算了系统在实际应用中的电池续航时间，预计可达两年。
阅读更多
一名40多岁的澳大利亚男子成为全球首位植入钛合金人工心脏后出院的人。这款名为BiVACOR的人工心脏作为心脏衰竭患者等待捐赠心脏的过渡方案，此前接受者都必须留在美国医院。该男子植入BiVACOR超过三个月后成功接受心脏移植，目前恢复良好。这是BiVACOR的第六例临床应用，也是首例植入时间超过一个月的案例。专家认为，这项技术具有创新性，但仍需进一步研究其长期功能和成本效益。BiVACOR作为一款全心脏替代品，只有一个活动部件，理论上比传统人工心脏更耐用。
阅读更多
本文深入探讨了90年代Tektronix TDS684B示波器惊人的5Gsps采样率背后的技术。作者通过拆解和测量，发现其核心在于一个未知的ADG286D芯片，它很可能是一个模拟CCD FIFO存储器，以极高的速度捕获模拟信号，然后以较低的速率(8MHz)数字化。尽管ADC输入信号噪声很大，但示波器最终显示的波形却非常干净，这其中的处理过程仍需进一步研究。这台老式示波器在当时的硬件条件下实现如此高的采样率，展现了其卓越的设计和工程实力。
阅读更多
麻省理工学院发布了一份关于信息本质变化的报告（1983年3月9日）。这份报告目前正在更新中，但其元数据已可获取，包括添加日期（2025年4月27日）和标识符等信息。该报告可能探讨了信息技术快速发展对信息获取、处理和传播方式的影响。
阅读更多
本文深入探讨了经典游戏《虚幻竞技场》中狙击步枪的物理模型。虽然游戏采用“即时命中”机制，忽略了真实世界中子弹飞行时间和弹道下坠等因素，但在大多数情况下，这种简化模型能提供流畅的游戏体验。然而，在经典地图“Facing Worlds”中，这种简化带来的不真实感较为明显。文章对比了不同游戏对弹道物理的模拟，解释了游戏设计中权衡真实性和游戏性的取舍，并以“所有模型都是错误的，但有些模型是有用的”来总结这种设计哲学。
阅读更多
亚马逊终于推出了期待已久的Alexa生成式AI版本。这次升级让Alexa能够处理更复杂的任务，例如订购杂货、发送邀请函，甚至还能记住用户的饮食和电影偏好。它支持持续对话，具备视觉能力，可以分析图片，并根据用户需求创建日程安排等。虽然此前曾有传闻称项目进展受阻，但如今Alexa的AI升级版正式发布，将与谷歌Gemini、ChatGPT和升级后的Siri等竞争对手展开角逐，凭借其在智能音箱领域的优势，有望快速触达更多用户。
阅读更多
科学家发现了一种名为Henneguya salminicola的寄生虫，它是地球上唯一已知的无需呼吸的动物。这种寄生虫寄生在鱼类和水生蠕虫体内，其基因组中缺乏负责呼吸作用的线粒体基因组。研究表明，这种寄生虫为了快速繁殖，进化出了极简的基因组，甚至放弃了大部分多细胞生物的特征，例如组织、神经细胞和肌肉。虽然目前尚不清楚其能量获取方式，但研究人员推测它可能直接从宿主获取能量。这项发现挑战了我们对动物进化和生命基本需求的理解。
阅读更多
瑞士苏黎世联邦理工学院（ETH Zurich）的研究人员与企业合作，利用3D打印技术建造了一座令人惊叹的白色混凝土塔。该塔的设计基于复杂的算法，由工业机器人逐层打印，无需传统模板。新型混凝土和创新的钢筋加固技术，使3D打印的混凝土首次具备承重能力。该项目不仅展示了建筑技术的进步，也象征着科学界与产业界的成功合作，为建筑业和乡村旅游带来了新的机遇。
阅读更多
OpenAI宣布与阿联酋建立大型AI数据中心，声称其符合“民主价值观”。然而，阿联酋的民主记录劣迹斑斑，人权状况堪忧。此举引发质疑，OpenAI的“民主AI”口号是否只是掩盖其追求商业利益的幌子？文章分析了OpenAI的辩解，指出其论据站不住脚，并指出此合作实际上可能增强阿联酋独裁政府的力量，而非促进民主。最终，作者认为，OpenAI对自身使命的轻率态度令人担忧，在AI发展中，关注权力分配至关重要。
阅读更多
本文讲述了废奴主义者大卫·拉格尔斯在1836年营救“Brilliante”号奴隶船上五名奴隶的经历。文章重点刻画了拉格尔斯为营救奴隶所做的琐碎、乏味却至关重要的努力，例如奔波于各政府部门、撰写报告、与官员周旋等。尽管最终只成功解救了两人，但文章强调了这些看似平淡无奇的努力对废除奴隶制运动的巨大贡献，以及这些“乏味英雄主义”在历史中的重要性。
阅读更多
Gecode是一个开源的C++约束求解器工具包，以其卓越的性能和模块化设计而闻名。它支持整数、布尔值、集合和浮点数等多种约束类型，并包含超过70个全局约束。Gecode不仅拥有先进的分支启发式算法和多种搜索引擎（包括并行搜索），还支持MiniZinc，并具有自动对称性破坏和重启机制等高级特性。其丰富的文档和超过5万个测试用例保证了其可靠性和易用性。在2008年到2012年的MiniZinc挑战赛中，Gecode更是包揽了所有金牌，展现了其强大的性能优势。
阅读更多
慕尼黑工业大学领导的AEgIS合作团队利用改装后的智能手机摄像头传感器，研制出一种新型探测器，能够以史无前例的分辨率实时成像反质子的湮灭过程。该探测器将60个摄像头传感器集成在一起，像素高达3840兆像素，分辨率达到0.6微米，比之前的实时方法提高了35倍。这项技术突破依赖于人工识别反质子湮灭点，并为研究低能反粒子湮灭以及反氢在重力作用下的微小位移开辟了新的途径，是反物质研究领域的里程碑式进展。
阅读更多
子宫内膜异位症是一种神秘的疾病，其病因至今未明，与癌症有着惊人的相似之处，却缺乏有效的治疗方法。文章探讨了该病的成因、与癌症的关联性以及目前治疗手段的局限性，并指出其严重低估的患病率和研究经费严重不足的问题，呼吁更多关注和投入该疾病的研究。
阅读更多
长期以来，主动型基金经理们一直声称能够战胜市场，但数据却残酷地揭示了真相：指数基金的长期表现远超主动型基金。SPIVA报告显示，多年来，大部分主动型美股大型公司基金跑输标普500指数。普通投资者应该选择简单、低成本、且长期表现优异的指数基金，避免因情绪化投资而犯错。虽然指数基金的集中度引发了一些担忧，例如对公司治理和政治立场的潜在影响，但其卓越的长期回报率仍然使其成为普通投资者的首选。
阅读更多
2019年Netflix推出的《黑暗水晶：抗争时代》是一部被低估的奇幻史诗巨作。该剧作为1982年电影《黑暗水晶》的前传，以精湛的木偶戏和豪华的配音阵容（包括塔伦·埃格顿、安雅·泰勒-乔伊等）再现了Thra星球上Gelfling反抗邪恶Skeksis的壮丽史诗。虽然剧集因成本高昂和收视率问题而夭折，但其精良的制作、深刻的故事和成人向的黑暗剧情使其成为一部不容错过的经典之作，足以与《指环王》、《星球大战》等史诗巨制比肩。
阅读更多