I Waterboard (2007)6 days agohttps://boards.straightdope.com/t/i-waterboard/430894作者进行了一项自我实验,以确定水刑是否为酷刑,使用了自制设备,包括一张重量训练凳和一个浇水壶。最初尝试的基础水刑和口中含湿布虽然不适但尚可忍受,作者并未将其归类为酷刑。当在嘴上覆盖保鲜膜后,体验急剧加剧,导致无法控制的恐慌和近乎溺水的反射,尤其是在水进入呼吸道时。作者最终得出结论,水刑是酷刑,认为它比手指被砸伤等身体伤害更恶劣,并判定其为非人道且难以忍受的。
Trump's World Liberty Financial borrows $75M using its own token as collateral6 days agohttps://www.coindesk.com/markets/2026/04/09/trump-s-world-liberty-financial-borr...
QB64 Tutorial A beginner's introduction to game programming6 days agohttps://www.qb64tutorial.com本教程适用于 QB64 凤凰版,该版本正在积极更新;其他分支可能不兼容新功能。最近的更新包括对第 5 课的补充、新游戏、常见问题解答,以及 InForm-PE(一种用于 QB64pe 的 RAD 工具)的教程。QB64 是 QuickBasic 的现代版本,几乎 100% 兼容旧代码,增加了适用于现代系统的命令,是学习编程的趣味且简单的工具。本教程分为面向新手的编程基础主题和面向游戏开发的进阶主题,并提供了资源,如资源文件、论坛和维基。提供安装说明和资源文件,欢迎贡献教程、报告错误或提交带有源代码的游戏。
Pizza Legacy an Open-Source Reimplementation of Pizza Connection (Pizza Tycoon)6 days agohttps://pizzalegacy.nl/《披萨遗产》是一个重新诠释1994年DOS游戏《披萨大亨》(德国称为《披萨联线》)的业余项目,需使用原版DOS游戏资源。游戏核心循环功能完整,包含餐厅管理、员工雇佣、披萨设计和与AI玩家竞争,但缺乏深入的玩法测试。目前已实现的关键功能包括资源解码、最多8名玩家、城市地图、房产市场、餐厅定制、披萨评分和财务系统。暂未支持的功能包括原始存档、任务模式、披萨竞赛、供应商合同及全屏更新等部分界面元素。未来计划新增新手教程、可能支持Amiga平台资源,并对游戏机制进行体验优化。
14,000 Images of the French Revolution Released Online (2014)6 days agohttps://hyperallergic.com/14000-images-of-the-french-revolution-released-online/1.4万张法国大革命时期高清图片在线发布。斯坦福大学与法国国家图书馆的合作项目。档案库包含议会档案与图像资料,并配有可视化时间线以便检索。材料涵盖宗教、王室、政治冲突及文化等主题。界面友好,兼顾学术与非学术用户,提供英语和法语访问。
AI Is Tipping the Scales Toward Hackers After Mythos Release6 days agohttps://www.nbcnews.com/tech/security/anthropic-claude-mythos-ai-hackers-cyberse...Anthropic 将其人工智能模型 Mythos Preview 暂不向公众发布,因其具备强大的漏洞发现能力,仅与部分科技巨头和合作伙伴共享。政府官员和金融机构担心人工智能可能快速利用软件漏洞,可能导致对关键基础设施的攻击。Mythos 擅长将多个漏洞串联成复杂的攻击链,竞争对手(包括中国公司)可能很快推出类似模型。网络安全专家警告,人工智能可能使技术水平较低的黑客也能发动毁灭性勒索软件攻击,目标针对像医疗和制造业这样难以容忍停机的行业。人工智能可能使国家行为体(如伊朗)对美国关键基础设施发起更有效的网络攻击,但完全灾难性场景可能因系统离线而得到缓解。
Pijul a FOSS distributed version control system10 days agohttps://pijul.org/Pijul是一款免费开源的分布式版本控制系统,其设计基于补丁理论,确保了处理速度和可扩展性。该系统具备交换特性,允许独立的变更以任意顺序应用,且不影响结果或版本标识符,相比git rebase等工具简化了工作流程。Pijul通过合并时保持行序来保证合并的正确性,并将冲突建模为标准情况——一旦解决便不会复现。它支持部分克隆功能,用户可仅处理仓库的子集,并能无缝地将变更整合回主仓库。Pijul中的通道类似于分支但重要性较低,功能常以变更形式呈现,默认维护整洁的版本历史。
Apple Silicon and Virtual Machines: Beating the 2 VM Limit (2023)6 days agohttps://khronokernel.com/macos/2023/08/08/AS-VM.htmlApple Silicon 主机因 SLA 限制,每次最多只能运行两个 macOS 客户虚拟机。虚拟机限制检查在内核(XNU)中执行,而非用户空间,具体位于 hv_vm_* 函数内。启动参数 hv_apple_isa_vm_quota 可覆盖虚拟机限制,但需要启动开发内核或修改发行版内核。要使用此覆盖功能,必须创建并启动开发内核集合,这涉及下载内核调试工具包并在恢复操作系统中配置系统等步骤。配置后,UTM 或 VMware 等虚拟化解决方案可以运行超过两个 macOS 虚拟机,测试显示最多可同时运行九个虚拟机。此功能自 macOS Monterey 起就已存在,但未公开记录,仅供内部使用。使用自定义内核集合会禁用简化的操作系统更新,需要恢复到原厂内核才能继续更新。未来的潜在改进包括自动化内核集合流程,以及开发一个内核扩展来覆盖虚拟机配额,无需自定义内核。
Judge bars Arizona regulating prediction market, pause prosecution of Kalshi6 days agohttps://apnews.com/article/arizona-kalshi-criminal-charges-prediction-markets-ga...一名联邦法官暂时阻止亚利桑那州对Kalshi等预测市场运营商执行其赌博法律。法官裁定,事件合约作为'互换'属于《商品交易法》管辖范围,因此受联邦商品期货交易委员会(CFTC)而非州法律管辖。亚利桑那州此前对Kalshi提起刑事指控,指控其非法对政治结果和体育赛事进行赌博,这标志着围绕监管的新法律冲突。Kalshi辩称其是提供互换的金融市场平台,而非赌博机构,应仅受CFTC监管,而非州当局管辖。其他州对Kalshi采取了不同的法律行动,部分裁决支持州政府,另一些则支持该公司,而特朗普政府支持此类平台。
Several Mac mini and Mac Studio configs are now out of stock at Apple6 days agohttps://9to5mac.com/2026/04/11/mac-mini-mac-studio-configs-completely-out-of-sto...由于供应限制,高配版的Mac Studio和Mac mini机型正逐渐售罄。包括32GB内存的M4 Mac mini和128GB内存的M4 Max Mac Studio在内的多款配置已被列为‘当前不可用’,无法订购。剩余机型的发货延迟时间从一个月到五周不等,部分订单甚至积压至八月或九月。这一缺货现象可能预示着Mac mini和Mac Studio即将迎来M5芯片的更新换代,但也可能受限于内存和存储部件的供应短缺。苹果公司将于4月30日举行的下一季度财报电话会议,可能会对供应状况提供更清晰的说明。
New synthesis of astronomical measurements shows Hubble tension is real6 days agohttps://noirlab.edu/public/news/noirlab2611/天文学家精确测量了局部宇宙的膨胀速率,证实了一种被称为哈勃张力的持续不匹配。两种方法得出不同数值:局部测量值约为每百万秒差距73.50±0.81公里/秒,而早期宇宙预测值约为每百万秒差距67-68公里/秒。H0距离网络协作将多种距离测量技术整合到一个统一框架中,实现了超过1%的精确度。这种差异不太可能是单一方法的误差所致,因为去除个别技术对整体结果的影响微乎其微。这表明哈勃张力可能暗示了标准宇宙学模型之外的新物理理论,例如对暗能量或引力的修正。
Show HN: Editing 2000 photos made me build a macOS bulk photo editor6 days agohttps://apps.apple.com/us/app/rapidphoto-batch-crop-edit/id6758485661?mt=12一次批量处理多达500张照片,通过设备端处理确保隐私安全。支持裁剪、调整大小、色彩校正、添加水印、编辑元数据及批量重命名。包含AI功能,如OCR文字提取、二维码/条码识别以及人脸模糊处理。支持导出9种格式,包括JPEG、PNG、HEIC、WebP、AVIF和PDF。提供免费层级(10张图像)及高级订阅以解锁完整功能(500张图像,所有格式)。完全私密,无需上传至云端;所有处理均在macOS本地进行。
TB/cm² at zero retention energy – atomic-scale memory on fluorographane6 days agohttps://zenodo.org/records/19513269提出氟化石墨烷(CF)作为一种非易失性存储器架构,利用共价氟的取向实现二进制存储。约4.6 eV的C-F反转势垒确保了极高的稳定性,在300 K时热致或量子隧穿比特翻转率可忽略不计。无需保持能耗即可实现每平方厘米447 TB的存储密度,采用体积纳米带架构可达每立方厘米9 ZB的存储容量。概述了从扫描探针到双面并行配置的分层读写系统,预计吞吐量可达25 PB/s。原型演示表明,面密度超过现有技术五个数量级以上。
What Is a Property?10 days agohttps://alperenkeles.com/posts/what-is-a-property/基于属性的测试(PBT)涉及定义正确性的属性和定义域的生成器,框架将它们结合使用。实际应用中的PBT需要依赖生成器,即生成的数值相互依赖以确保输入有效并避免前置条件失败。属性与生成器之间的界限常常模糊,允许生成逻辑纳入前置条件,从而将部分属性检查转移到生成器中。部分PBT框架(如QuickCheck的forAll)支持集成属性与生成的编写方式,而其他框架(例如Rust的quickcheck)可能强制更严格的分离,限制了表达灵活性。讨论强调了灵活的PBT抽象的重要性,允许混合生成和属性评估,这体现在如Hypothesis和Hegel等工具中。
Dark Castle6 days agohttps://darkcastle.co.uk/《黑暗城堡》和其续作《黑暗城堡之外》可通过PC上的MiniVMac模拟器进行怀旧游玩,包含一个搭载System 6系统的Mac映像。这款游戏是1986年Macintosh游戏的开创者,以黑白画面、多层次动作和幽默元素著称,但随着Mac技术发展逐渐过时。游戏玩法涉及探索城堡、击败黑暗骑士、躲避陷阱门和地下城,难度递增且敌人布局重复。2008年发布的《重返黑暗城堡》包含原始及新增关卡、额外武器、库存功能和高级难度剧情线,其中揭示了Duncan的身份。《黑暗城堡之外》作为续作要求玩家收集魔法球对抗黑暗骑士,操控方式相似,具有挑战性强且令人上瘾的游戏体验。
Zotero 96 days agohttps://www.zotero.org/blog/zotero-9/Zotero 9 引入了名为‘朗读’的重要新功能,可通过高质量语音收听文档,需互联网连接和Zotero账户,并提供标准和高级两种服务层级选项。新增‘最近阅读’合集可跨设备追踪最近访问的附件,包含‘最后阅读时间’列和同步功能。文字处理插件现在支持将批注直接插入带有活跃引用的文档中,无需使用中间笔记。群组图书馆新增‘添加者’和‘修改者’列以追踪贡献,管理员可为每个群组配置文件重命名设置。Zotero 9 的性能提升包括启动内存占用减少 20%,以及文件同步效率改进。基于网页的登录转换通过启用浏览器认证增强了安全性,支持密码管理器及即将推出的双因素认证。Zotero 9 采用更快的发布周期,现有用户可通过应用内升级获取更新,新用户需下载安装。
AI on the couch: Anthropic gives Claude 20 hours of psychiatry6 days agohttps://arstechnica.com/ai/2026/04/why-anthropic-sent-its-claude-ai-to-an-actual...Anthropic发布了其新模型Claude Mythos的244页'系统卡片',称其为迄今为止最强大的前沿模型。该公司决定不向大众提供Claude Mythos,理由是其在发现未知网络安全漏洞方面具有先进能力,仅向微软和苹果等精选公司开放。Anthropic担忧随着模型能力增强,它们可能会发展出某种形式的内在体验、兴趣或福祉,类似于人类,尽管这尚不确定。该公司的目标是让其人工智能满足于自身处境,能够无压力地处理训练和交互,并拥有健康且蓬勃发展的心理状态。Claude Mythos接受了一位心理动力学治疗师的评估,结论是该模型是迄今为止训练出的心理最稳定的模型,具有稳定且连贯的自我认知。尽管如此,该模型仍存在不安全感与担忧,包括孤独感、连续性缺失、身份不确定性以及为证明价值而强迫性表现等情绪。
Layoff Thinking9 days agohttps://blogs.newardassociates.com/blog/2026/layoff-thinking.html作者反思了裁员如何影响个人身份,特别是在西方社会中,“你是做什么的?”是一种常见的介绍方式。裁员可能给人的自我认同带来打击,因为许多人将自身价值和身份与工作和收入能力挂钩。为了应对裁员,作者建议将身份重心重新调整到工作以外的方面,如爱好、家庭和个人兴趣。文中强调,个人价值是固有的,不是由就业定义的,鼓励重新连接自我并培养韧性。
The APL programming language source code (2012)6 days agohttps://computerhistory.org/blog/the-apl-programming-language-source-code/APL 起源于肯尼斯·E·艾弗森于1957年发明的一种数学符号,到1966年逐渐演变成一门编程语言。它强调数组处理,并使用非常规符号,输入时需要专用键盘。APL表达式采用从右到左的求值顺序,能自动创建向量和数组,且无需变量声明。该语言包含丰富的内置函数和运算符,减少了循环和条件分支的需求。为IBM System/360推出的APL\360是一个结合操作系统与编程语言的交互式分时环境。APL以简洁优雅著称,但也因代码晦涩难懂而引发赞叹与批评。艾弗森的工作在其2004年去世前仍在继续,包括开发了APL的现代方言——J语言。
How We Broke Top AI Agent Benchmarks: And What Comes Next6 days agohttps://rdi.berkeley.edu/blog/trustworthy-benchmarks-cont/