Game: Print Gallery Of An Artist, A brief exploration of recursive spaces5 days agohttps://managore.itch.io/print-gallery-of-an-artist一款递归式平台游戏，玩家在灵感源自M. C. 埃舍尔和3Blue1Brown视频的空间中穿梭。控制方式：左/右键移动，上键/空格键跳跃和蹬墙跳。游戏采用色彩丰富的绘画美学，每个关卡都是独立艺术品，并能动态旋转。目标：收集物品并抵达门扉，但需超越传统操控思维，因视觉上的模糊性带来挑战。玩家反馈其带来令人晕眩的思维扭曲效果，但称赞其技术表现力出众，艺术与玩法完美融合。积极反响：评分4.8星，评论强调其创意性、挑战性及递归设计的浑然天成。
Not all elementary functions can be expressed with exp-minus-log18 hours agohttps://www.stylewarning.com/posts/not-all-elementary/论文《All Elementary Functions from a Single Operator》声称EML项（exp x - log y）可以表达所有初等函数，但这依赖于对‘初等’的具体定义。标准数学定义中的初等函数包括多项式的根，而EML项由于可解单值群的限制无法完全表达这些。利用Khovanskii的拓扑伽罗瓦理论，研究表明EML项具有可解单值群，而像一般五次方程的根这样的函数具有不可解群（例如S5），从而证明EML项是标准初等函数的严格子集。文章阐明EML项并非像布尔与非门那样具有通用性，因为它们无法捕捉标准初等函数的关键方面，例如任意多项式的根。
Dependency cooldowns turn you into a free-rider18 hours agohttps://calpaterson.com/deps.html依赖冷却期会延迟新软件包版本的采用，迫使开发者依赖他人检测供应链攻击，导致用户成为免费搭车者。冷却措施会给他人带来额外成本，需要在多个包管理器中实施，且容易被规避，提供的安全保障并不完整。上传队列将等待期集中在依赖服务器端，实现发布与分发环节的分离，既消除了免费搭车问题，又简化了安全流程。上传队列能减少意外更新，提供版本发布预先通知，为安全扫描和维护者提醒留出时间，并能有效阻止未授权发布。对于使用Markdown文件的LLM等AI系统，具有审核机制和所有者复核功能的上传队列至关重要，可预防供应链攻击和数据泄露。上传队列的资金可来源于现有资源、企业赞助或付费加急审核服务，通过交叉补贴机制保障生态系统安全。
Chinese Electrotech Is the Big Winner in the Iran Wara day agohttps://paulkrugman.substack.com/p/chinese-electrotech-is-the-big-winner特朗普对可再生能源的反对，加上伊朗局势的不稳定，加速了全球向可再生能源的转型，而中国在供应链中占据主导地位。由于强有力的产业政策、庞大的国内市场以及完善的产业生态系统，中国在太阳能电池板、风力涡轮机、电池和电动汽车等电气技术产业处于领先地位。美国在可再生能源技术和影响力方面面临落后的风险，而中国的系统性优势正在重塑全球能源和产业发展路径。中国的可再生能源应用正在迅速增长，驳斥了其只生产而不在国内使用这些技术的误解。全球南方国家可能通过利用中国的设备、融资和供应链实现电气化，从而跳过传统的化石燃料发展阶段。
Apple Launches New All-in-One Apple Business Platforma day agohttps://www.macrumors.com/2026/04/14/apple-business-platform-launches/苹果推出统一的企业业务平台，替代之前以企业为核心的产品线。该平台提供移动设备管理、通过蓝图预配置设备部署及托管式苹果账户功能。包含整合的邮件、日历、目录服务，以及用于在苹果各服务间统一品牌形象的客户互动工具。苹果地图广告现可通过苹果企业业务投放，首批在美国与加拿大上线。基础服务全球免费提供，含可选付费附加功能；配套应用及部分功能需iOS/iPadOS/macOS 26系统支持。
Object Oriented Programming in Adaa day agohttps://entropicthoughts.com/object-oriented-programming-in-adaAda 将面向对象编程分解为封装、重用、继承、抽象接口、类型扩展和动态派发等独立特性，允许细粒度控制。在 Ada 中，包的规格说明和体是分开的，类似于 C 语言的头文件但更具结构性，有助于维护和编译器辅助。Ada 要求对继承和方法覆盖进行显式声明，例如使用'new Engine with null record'进行类型扩展而不添加字段。Ada 中的内存管理涉及具有 Initialize 和 Finalize 方法的受控类型，以实现 RAII，这与 Java 的垃圾回收形成对比。Ada 中的动态派发是显式的，需要标记类型和'Class'符号，不像 Java 对所有类实例的隐式使用。Ada 的访问类型是 C 风格指针的更安全替代，具有作用域引用防止泄漏，不过也可使用非受控释放进行堆分配。Ada 中的构造函数不是内置的；任何返回对象的函数都可以充当构造函数，但继承复杂性可能需要子包来实现适当的设计。Ada 的私有包部分控制可见性，类似于 Java 的受保护字段，但通过包层次结构而非类继承来实现。该示例将 Java 车辆层次结构转换为 Ada，突出了语法、内存管理和面向对象编程组件显式选择功能的差异。Ada 在低级编程方面表现出色，类似于 C 语言，为安全性和可维护性提供强大功能，而无需假定完整的面向对象编程层次结构。
What Claude Code's Source Revealed About AI Engineering Culturea day agohttps://techtrenches.dev/p/the-snake-that-ate-itself-what-claudeAnthropic的首席工程师声称Claude Code的所有贡献均由AI编写，已产生259次拉取请求、497次提交和40,000行新增代码。一份泄露资料显示51.2万行代码库中存在3,167行的超长函数、情感分析正则表达式，以及每日浪费25万次API调用的文档化缺陷。Anthropic管理层多次提高AI编写代码的比例声明，从70-90%逐步夸大到100%，且未明确衡量标准，涉嫌制造营销噱头。泄露代码暴露出糟糕的工程实践：巨型文件、过度嵌套的结构，以及自动化机器人管理问题导致有效投诉被草率关闭。公司对泄露事件的回应聚焦于加速流程和用AI检测AI生成代码，而非增加人工审查或测试环节。这种重速度轻质量、用资源掩盖技术债的文化引发了对行业可持续性与标准的担忧。作者反思软件工程根基质量价值的沦丧，正考虑转向安全领域或传统技术行业。评论者指出这种自动化'垃圾进、垃圾出'的模式加剧了技术债务与产品过度炒作等现存问题。
Woman with three deadly diseases has 'remarkable' recovery after cell therapy18 hours agohttps://www.theguardian.com/science/2026/apr/09/autoimmune-diseases-cell-therapy...一名患有三种危及生命的自身免疫性疾病的女性在接受CAR-T细胞治疗后恢复到接近正常的生活。她患有自身免疫性溶血性贫血、免疫性血小板减少症和抗磷脂综合征，所有疾病都对之前的九种治疗有抵抗性。通常用于癌症的CAR-T疗法靶向引起她病情的异常B细胞，导致几周内病情缓解。治疗后，她不再需要每日输血，所有疾病均有改善，并且已保持无治疗缓解状态14个月。该疗法可能重置了她的免疫系统，因为她的B细胞恢复健康，但长期持久性仍需临床试验验证。专家指出CAR-T疗法在其他自身免疫性疾病中的潜力，目前针对狼疮、多发性硬化等疾病的试验正在进行中。
Don't feel like exercising? Maybe it's the wrong time of day for you20 hours agohttps://www.bbc.com/news/articles/cd6lzpxwx50o在符合你自然生物钟（时型）的时间进行锻炼，可以增强健康益处，如改善血压、有氧能力和睡眠质量。晨型人应在早上锻炼，而夜猫子则应在傍晚锻炼，以避免‘社交时差’并最大化心脏健康的收益。一项涉及134名参与者的研究表明，将锻炼与生物钟对齐相比时间错配，能带来更大的代谢指标和体能改善。保持坚持并养成运动习惯是保持健康的关键，建议将目标分解为小而可行的步骤，而非设定过于雄心勃勃的计划。力量训练，包括靠墙蹲和平板支撑等静力练习，是一种流行且有效的方法，有助于降低血压并改善所有年龄段人群的整体体能。
Understanding Clojure's Persistent Vectors, pt. 1 (2013)5 days agohttps://hypirion.com/musings/understanding-persistent-vector-pt-1Clojure中的持久化向量实现了近乎常数时间的追加、更新、查找和子向量操作。它们通过在平衡树中使用路径复制来实现持久性，避免了完整的数组复制。更新操作会复制目标叶节点路径上的所有节点，并替换其中的值。追加操作处理三种情况：叶节点有空位、需要创建新节点，或根节点溢出。弹出操作移除最后一个元素，涉及叶节点删除、空节点清理和根节点缩减等情况。具有高分支因子（Clojure中为32）的浅层树使得这些操作的实际时间复杂度接近O(1)。
Your codebase doesn't care how it got writtena day agohttps://robbyonrails.com/articles/2026/04/14/your-codebase-doesnt-care-how-it-go...设计团队抱怨客户提供 PowerPoint 草图，但设计师对开发者也常做同样的事，造成摩擦。协作中的每个人都产生成本，包括争论、原型设计和应对角色边界，这些都作为“流程”被纳入时间表。客户现在能独立制作高保真原型，减少对设计师和开发者的依赖，挑战传统商业模式。像 Microsoft Access 这样的 DIY 系统常持久存在，最终仍需专业用户体验设计、架构和扩展，催生了一个产业。关于 AI 的伦理担忧包括质量、责任归属、劳动力替代以及未经同意利用创意作品。个人职业反思涉及与工具、客户和价值观的妥协，在不完美的系统中平衡有意义的工作。开发者的职位描述正在变化，AI 将重心从编写代码转向监督智能体和成果。团队面临培训和重新分类的挑战，需要定义新角色、淘汰过时职位以适应 AI。小公司必须适应 AI 否则面临边缘化风险，可选择抵制 AI 或寻找新定位，但可持续性不确定。成功在于理解创始人为何创建 DIY 系统并倡导下一步发展，而非抵触变化。
Apple App Store threatened to remove Grok over deepfakes: Letter21 hours agohttps://www.nbcnews.com/tech/tech-news/apple-threat-remove-grok-app-store-deepfa...苹果在1月份警告埃隆·马斯克的xAI，若不加强措施防止制作色情或裸体深度伪造内容，将把Grok从App Store下架。这一警告是通过苹果致美国参议员的一封信传达的，该信后来被NBC新闻获得。这一事件凸显了对AI内容审核的持续关注，尤其是在非自愿性露骨材料方面，以及应用商店政策的执行问题。
A Communist Apple II and Fourteen Years of Not Knowing What You're Testing5 days agohttps://llama.gs/blog/index.php/2026/04/10/friday-archaeology-a-communist-apple-...许多英国企业领袖计划在没有证明其益处的情况下继续投资AI，毕马威建议将其重新定位为'战略赋能者'而非单纯的投资。OpenAI因电力成本高昂和监管担忧推迟了其英国'星际之门'项目，该项目是在特朗普访问期间宣布的。AMD的AI总监报告称，基于对数千次会话的分析，Claude Code自二月以来性能下降，突显了AI评估的全面性。以保加利亚的Правец计算机为例的反向工程，通过聚焦于理解现有设计而非构建不透明系统，与现代AI开发形成对比。Правец 82作为保加利亚的Apple II克隆机，被学校广泛使用，并通过反向工程和适配帮助将计算技术引入东欧。ISCAS-85基准测试套件在数字设计研究中使用了数十年，于1999年被反向工程以揭示其原始功能，如中断控制器和算术逻辑单元。反向工程通过形式化方法连接综合与诊断，表明通过分析来理解技术与正向构建技术同样有价值。本文主张在技术领域回归耐心、分析性的方法，强调数学和实践技能的重要性，而非追逐炒作和大规模投资。
Stop Flocka day agohttps://stopflock.comFlock Safety的人工智能监控技术不仅限于车牌识别，还能根据颜色、品牌、车型、凹痕、保险杠贴纸和其他特征生成详细的'车辆指纹'，从而实现无需车牌的追踪。该系统包括'车队分析'功能，用于检测车辆间的关联并标记模式，其数据可在全国范围内供执法机构无需搜查令即可访问，这引发了关于第四修正案和隐私权的担忧。美国已部署超过10万台Flock摄像头，被3,000多家机构使用，通常缺乏公众监督，且曾被滥用，例如官员利用其进行跟踪。Flock与业主协会和企业等私人实体合作，扩大监控网络，模糊了公共安全与企业利润之间的界限，同时缺乏证据表明此类系统能减少犯罪。大规模监控趋势不仅限于Flock，还包括军方互联网监控、Palantir的联邦数据整合以及无人机部署，这些都对公民自由构成威胁，并助长有偏见的执法行为。
IMF warns global economy at risk of recession if Iran war persistsa day agohttps://www.bbc.com/news/articles/c4g66p2q075o美国财政部长斯科特·贝森特主张，为了长期安全可以忍受短期经济阵痛，反驳了国际货币基金组织关于美以与伊朗冲突可能引发经济衰退的警告。国际货币基金组织预测，若冲突持续，将给全球经济带来严重冲击，包括可能在2026年引发经济衰退，导致石油和天然气价格高企、通胀加剧及增长放缓。预计伊朗经济将在2026年萎缩6.1%，而英国及卡塔尔、伊拉克等海湾国家也将面临显著放缓或收缩，不过若能尽快结束战争，经济有望复苏。冲突初期油价飙升，现已趋于平稳；但若中东能源出口长期受阻，可能加剧经济风险，尤其对依赖霍尔木兹海峡的国家影响更大。俄罗斯因油价上涨获益，国际货币基金组织预测其增长将改善，引发对放松制裁的警告。这场冲突正考验全球经济韧性与政策应对能力。
Loonies for Loongsonsa day agohttps://www.leadedsolder.com/2026/04/14/loongson-ls3a5000-debian-linux.html这篇文章详细讲述了如何让一块基于Loongson 3A5000的旧主板（ML5A-MB1）在Linux系统上运行，探索了它的性能和兼容性。Loongson Technology自主研发了名为LoongArch的CPU架构，不同于x86、ARM或PowerPC，广泛应用于中国的各种系统中。这块主板是从中国二手市场以约50美元加上运费购得，还需要散热器、内存、存储设备和操作系统才能使用。一块标准的Intel 1155散热器可以适配这块主板，这表明主板使用了通用组件；在更新BIOS后安装了Debian系统。性能测试显示Loongson 3A5000LL落后于2012年的Intel i5-3570，但优于2007年的Core Quad Q6600，总体排名处于第13百分位。该系统能够流畅运行《毁灭战士2》和《雷神之锤》等游戏，通过Firefox浏览器观看YouTube视频，视频输出由集成的基于Vivante GC1000的Loongson 7A1000 GPU负责。尽管架构独特，但由于遵循USB、PCIe和UEFI等标准，加上Linux的可移植性，该系统运行起来感觉很正常，功能齐全。遇到的挑战包括最初的启动问题、Wi-Fi适配器的兼容性问题以及Debian系统中的软件包冲突，但总的来说，它提供了一个可用的Linux环境。
Uncharted island soon to appear on nautical charts3 days agohttps://www.awi.de/en/about-us/service/press/single-view/unkartierte-insel-demna...2026年2月，国际探险队乘坐破冰船Polarstern号前往南极洲的威德尔海西北部进行勘探。科学家们意外发现了一个之前仅被标注为航行危险、长约130米、高约16米的未标记岛屿。团队使用无人机和多波束回声测深仪系统性地调查了该岛，计划对其进行正式命名和绘制。研究内容包括追踪从深海到大陆架的水体，研究海底生物群落定殖以及南极深水衰退现象。探险队观察到自2017年以来，威德尔海的夏季海冰急剧减少，冰厚度在不同区域介于1.5至4米之间。表面融化导致类似北极的环境状况，融水影响了冰层生物学和热交换，尽管融池很少见。探险队预计在2026年4月结束后，后续分析将评估海冰生物在南大洋碳循环中的作用。
SpaceX Is Basically a Huge Meme Stocka day agohttps://www.theatlantic.com/ideas/2026/04/spacex-ipo-elon-musk/686793/SpaceX 正计划进行首次公开募股（IPO），其估值可能高达2万亿美元，这将成为美国第六大最有价值的公司，尽管该公司规模不大且财务处于亏损状态。SpaceX 的业务包括占主导地位的火箭发射服务（占美国商业发射市场的80%以上）、盈利的星链卫星互联网（拥有900万用户）以及其持有的xAI股份（包括X公司，即原Twitter）。然而，由于高昂的资本支出，该公司去年亏损近50亿美元。以2万亿美元的估值计算，SpaceX 的交易价格将超过其年销售额的100倍，远超其他万亿美元市值的公司，如英伟达（21倍）、Alphabet（10倍）和苹果（9倍），使其成为市场上最昂贵的蓝筹股。埃隆·马斯克依赖于他推销宏大愿景的能力以及一批忠实的散户投资者（“粉丝”），这些投资者可能分配高达30%的IPO股票份额，押注于未来的计划，如在太空发射100万个人工智能数据中心，尽管当前存在技术和成本障碍。马斯克的做法类似于特斯拉，投资者更关注未来的潜力而非当前的利润，尽管特斯拉的收益在下降，但其市盈率仍超过300倍。然而，SpaceX 的高估值设定了一个几乎不可能完成的任务：实现与特斯拉过去业绩相媲美的回报。最近的大型IPO，如Snap、优步和爱彼迎，表现均逊于标普500指数，这暗示SpaceX可能面临挑战。但马斯克创造的“现实扭曲力场”以及投资者的信念，仍可能将2万亿美元的估值确立为投资史上的一个信仰之举。
Free, fast diagnostic tools for DNS, email authentication, and network securitya day agohttps://mrdns.com/免费、快速的诊断工具，涵盖DNS、邮件认证和网络安全。直接从权威名称服务器查询多种DNS记录类型（A、AAAA、MX、TXT等）。同时查询7个全球公共解析器，以检查全球DNS传播情况。通过检查DS、DNSKEY和RRSIG记录，验证DNSSEC信任链。查找域名/IP的RDAP注册数据（注册商、状态、到期日期、联系人）。检测公共IPv4/IPv6地址，附带地理位置、ISP名称和实时地图。发送ICMP回显请求，测量往返时间和丢包统计信息。逐跳跟踪网络路径，提供实时结果和路由器地理位置。并行检查IP/域名是否在15个以上基于DNS的阻止列表中。检查任何主机名的SSL/TLS证书详细信息（到期时间、SANs、证书链）。查看HTTP响应头、重定向链，并标记缺失的安全头。测试HTTP/2和HTTP/3支持（ALPN、Alt-Svc、HTTPS重定向、HSTS）。测试TCP端口状态（开放/关闭）并获取服务器横幅（SSH、SMTP、FTP）。获取SPF + DMARC健康等级（A–F），附带细分分析和可操作建议。查找并验证SPF记录，递归展开包含链。查找并验证DMARC记录，附带标签解释和警告。查找并验证DKIM公钥（密钥大小、标志、配置）。粘贴邮件头以跟踪投递路径，检查SPF/DKIM/DMARC，并发现延迟。通过选择提供商并输入IP范围，构建有效的SPF记录。构建有效的DMARC记录，包括策略、报告URI和对齐选项。验证MTA-STS DNS记录和政策文件（模式、最大期限、MX覆盖范围）。验证BIMI DNS记录，预览SVG品牌徽标，并检查VMC证书URL。
Civilization Is Not the Default. Violence Isa day agohttps://apropos.substack.com/p/civilization-is-a-public-good和平与发展紧密相连；罗马崩溃后因分裂和暴力导致文明衰退，正如中世纪早期所见。封建欧洲经历了极端不稳定，加洛林帝国崩溃后，人口下降、贸易崩溃，地方社会依赖血缘关系和自给农业。复苏始于第二封建时代（1050–1200年），以和平、人口增长、贸易复兴以及中央集权王国和官僚体系的兴起为标志。文明依赖于由暴力垄断实现的陌生人之间的信任，这创造了法律、基础设施和商业等公共产品，如罗马帝国所示。美国治下的和平通过美元、美国海军和世贸组织等机制，在80多年里促进了全球繁荣，减少了贫困并推动了经济一体化。当前挑战包括基于规则的秩序的侵蚀、机构合法性丧失（如联合国、世卫组织），以及国际关系回归到以武力为主导的现实政治。多极世界正在形成，美国、中国、印度等国构建势力范围，若无主导执法者，很可能导致不稳定。西方自由主义与启蒙价值观等理念，内部受到身份政治的威胁，外部面临中国等非自由主义模式的挑战，危及自由社会的根基。文明并非默认状态；暴力才是。从封建主义到文艺复兴等历史转型表明，崩溃后可重建，这为当前变局提供了希望。