Zed – A Font Superfamily4 days agohttps://daringfireball.net/linked/2026/04/12/zed-font-superfamilyZed 是由 Typotheque 开发的字体超级家族，专注于读者需求，经过测试在视障患者的阅读速度上优于 Helvetica。它包含两个光学版本（文本版和展示版），四个可变轴（宽度、字重、圆润度、倾斜度），并支持 547 种语言，包括濒危语言。Zed 提供盲文字符和图标字体，兼具实用性与审美吸引力，可直接从设计师处购买。
How to foster critical thinking for teens in an online world4 days agohttps://www.rnz.co.nz/life/relationships/family/how-to-foster-critical-thinking-...批判性思维需要练习与情感投入，对青少年而言尤其如此，他们需要机会反思自己的感受和经历。同伴间的团体讨论是练习批判性思维的有效方式，因为青少年对与朋友和同学的对话反应积极。青少年能够探索复杂的社会议题，例如算法背后的道德问题和诈骗行为，这有助于深化参与度和学习效果。使用具有模糊性的争议话题能激发青少年的兴趣，鼓励他们寻求多元视角并评估信息来源的可靠性。有动力的青少年可以保持专注并深入探究话题，这与人们对其注意力不佳的假设相反。尊重至关重要；青少年重视自己的观点能被成年人倾听和尊重，而不必与其成为朋友。
Homelab5 days agohttps://www.0xn1nja.dev/homelabHomelab采用27U网络机架混合硬件构建，包括路由器、交换机、用作超级计算机/备份设备的笔记本电脑、NAS塔式服务器以及用于监控的树莓派。在HP笔记本电脑上运行的Proxmox VE承载多个虚拟机，所有自托管服务均通过Debian虚拟机中的Docker Compose进行管理，以实现更便捷的维护与真实环境模拟。安装于Compaq笔记本电脑的Proxmox Backup Server提供高效定时备份，支持去重功能，并能与Proxmox VE无缝集成以实现数据恢复。塔式PC上部署的Unraid NAS整合不同容量硬盘并通过奇偶校验提供保护，采用SSD缓存加速，通过SMB/NFS共享数据，高效处理媒体与存储任务。树莓派4实时显示Grafana仪表盘监控Proxmox指标，并运行轻量级容器，相关数据通过InfluxDB2进行收集。媒体栈包含Plex与Jellyfin流媒体服务，配合*arr套件（如Radarr、Sonarr）实现自动化下载、内容整理及字幕管理。其他自托管工具涵盖广告拦截（AdGuard Home）、云存储（Nextcloud）、文档管理（Paperless-ngx）、照片备份（Immich）以及各类实用功能如搜索、通知和文件共享。
The Triumph of Stupidity (1933)4 days agohttps://russell-j.com/0583TS.HTM德国对文明的独特贡献正被残暴的纳粹政权所掩盖。法西斯主义可能在其他地方蔓延，英国法西斯主义者势力渐长，而英国在印度的统治被比作德国的希特勒追随者。由于愚蠢者的过度自信与智慧者的疑虑，全球治理中越来越多地使用野蛮武力，通常由那些敌视文明的人所主导。智慧个体的怀疑主义和个人主义可能阻碍有效的反抗，表明需要道德热情的驱动。美国被强调为民主的灯塔，或许有能力将欧洲从其过度行为中拯救出来。
Standard Control Flow Flattening is fundamentally broken4 days agohttps://gist.github.com/xkilldash9x/e8ee393a5c681677b38c58f178e203a4控制流平坦化（CFF）在OLLVM/Hikari中由于依赖数据区的调度表、可写的状态变量和混合布尔算术（MBA）常量，在结构上易受静态分析攻击，这些特征无需动态分析即可识别。CFFDispatchTracer是一个Ghidra脚本，通过扫描特定模式、利用这些不变性，并迭代构建知识库，自动解析CFF调度条目，在测试的二进制文件中恢复率达到95.8%。测试的商业防篡改/防欺诈SDK（包括一个1.2MB的防欺诈SDK）在几小时内被完全反混淆，揭示出复杂的混淆通常仅掩盖简单的操作（如令牌透传）。相比代码虚拟化或服务器端认证等替代方案，CFF较弱，但由于其低开销和开源可用性仍被广泛部署，造成了一种虚假的安全感。供应商应采用更强大的技术（如代码虚拟化、多样化构建或临时代码生成），以提供超越CFF的有效防篡改保护。
Zed, A sans for the needs of 21st century4 days agohttps://www.typotheque.com/blog/zed-a-sans-for-the-needs-of-21centuryZed 是一款为 21 世纪设计的无衬线字体，通过为展示和文本用途提供独立的光学校正版本，解决了两者之间的权衡问题。它专注于包容性和可及性，经过视障读者和边缘化语言社区的测试，以确保广泛的可用性。该字体家族包括紧密间距的展示版本和宽松间距的文本版本，无需在大小文本性能之间做出选择。Zed 的设计原则根植于科学研究，采用简化的字母骨架和开放的内部空间以实现最佳可读性，在实验室测试中表现优于 Helvetica。Zed 提供前所未有的设计灵活性，拥有重量、宽度、倾斜度、圆角和光学尺寸等多个调节轴，支持超过 500 种预定义字体和文化适配版本。它支持 547 种语言，包括原住民语言和主要文字体系，并持续努力扩展对全球其他书写系统的支持。该字体系统包含数百个用于非语言交流的图标，并纳入了根据国际规范制作的盲文字符，以提升可及性。
Optimization of 32-bit Unsigned Division by Constants on 64-bit Targets5 days agohttps://arxiv.org/abs/2604.07902提出了一种针对64位CPU上32位无符号常数除法的优化方法，改进了现有的GM方法。指出了当前编译器生成代码（例如针对x/7的代码）的局限性，未能充分利用64位处理器的能力。报告了性能提升：在微基准测试中，英特尔至强w9-3495X处理器上实现1.67倍加速，苹果M4芯片上实现1.98倍加速。提到了针对LLVM/GCC的实际实现补丁；LLVM补丁已合并至主分支。将本工作置于现有文献背景中，引用了Granlund、Montgomery等人的贡献。
New metal with triple copper's heat conduction challenges fundamental physics4 days agohttps://www.scientificamerican.com/article/new-metal-with-triple-coppers-heat-co...一种名为β相氮化钽的新型金属材料实现了约每米-开尔文1110瓦的热导率，大约是铜（每米-开尔文400瓦）的三倍。该材料的原子结构具有连续、高度有序的晶格，减少了电子和声子的阻力，从而实现卓越的导热性能。这一发现揭示了一种先前未被探索的策略：声子在传输过程中极少受到干扰，能够长距离传播，这与普通金属中声子频繁受阻的情况截然不同。这些发现可能对电子产品、数据中心和能源系统的热管理产生重大影响，尤其是在人工智能需求日益增长的背景下。这一突破挑战了材料物理学中长期存在的假设，促使科学家重新审视其他被普遍认为的基本极限。
Javier Milei's bribery scandal may have derailed Argentina's crypto investment4 days agohttps://www.theguardian.com/world/2026/apr/12/crypto-javier-milei-bribery-argent...阿根廷总统哈维尔·米莱因涉及一项与$Libra加密货币代币背书相关的500万美元财务协议丑闻，面临其上任以来的最低支持率。米莱在2025年2月推广$Libra导致该代币价格暴涨后暴跌，使13,000名持有者损失2.5亿美元，这与他声称与项目组织者无关联的说法相矛盾。加密货币游说者毛里西奥·诺维利的手机证据显示其向米莱支付款项并进行通话，加剧了丑闻发酵，损害了加密货币在阿根廷的声誉，并拖慢了监管整合进程。以Crecimiento等组织为代表的加密货币倡导者，将2025年在布宜诺斯艾利斯举行的Devconnect大会视为重塑行业形象的契机，通过展示加密货币的积极面并推动监管改革。尽管丑闻影响持续，阿根廷加密货币领域仍取得里程碑进展，包括监管沙盒的建立以及将以太坊等加密货币纳入投资资质认可范围，但行业整体发展前景仍不明朗。
Basics of Radar Technology4 days agohttps://www.radartutorial.eu/index.en.html雷达原理与技术详解，涵盖数学、物理和技术各个方面，并附有示例和技术数据。内容面向雷达操作员、维护人员以及电气规格专业的学生，可作为教育训练辅助材料。特色包括采用JavaScript的虚拟示波器、适合打印的页面和PDF文件，以及针对快速加载和低速网络连接优化的设计。
Is Math Big or Small?5 days agohttps://chessapig.github.io/talks/Big-Small这篇文章讨论了数学图示中的尺度概念，探讨了数学是否应被视作相对于观察者“宏大”或“微小”的想象。文中以瑟斯顿的火车轨道（尺度影响情感效果）和雅沙·埃利亚什伯格在辛拓扑中的观点（将数学想象为宏大有助于理解细节）为例进行说明。文章引入地理与植物学的类比来组织数学问题：地理描绘不变量范围（宏观尺度），而植物学则对特定不变量内的对象进行分类（微观尺度）。文章总结道，数学既可以是宏大的也可以是微小的，取决于具体情境，并鼓励读者思考尺度如何影响自身的数学可视化方式。
Palantir CEO says AI 'will destroy' humanities jobs5 days agohttps://fortune.com/article/palantir-ceo-alex-karp-ai-humanities-jobs-vocational...一些经济学家认为批判性思维和创造力在人工智能时代将具有重要价值，但Palantir首席执行官亚历克斯·卡普持不同观点，他指出AI将对人文学科相关职位造成巨大冲击。卡普预测，接受过职业培训或具有神经多样性特质（如阅读障碍）的人将蓬勃发展，而文科毕业生可能因缺乏专业技能而面临困境。他主张用替代性的能力测试取代传统学位，并举例说明社区大学毕业生可以管理AI系统，同时强调发掘独特才能的重要性。其他领导者，如麦肯锡的鲍勃·斯特恩费尔斯，认为文科在创造力方面具有价值。贝莱德集团招募非金融专业毕业生的情况表明，未来劳动力需求存在多样化观点。Palantir的精英管理奖学金项目推广职业发展路径，批评大学教育削弱了精英制度。尽管青年失业率上升，卡普对接受职业培训的工人未来仍持乐观态度。
Hackers claim control over Venice San Marco anti-flood pumps4 days agohttps://securityaffairs.com/190679/hacktivism/hackers-claim-control-over-venice-...OT安全重点从操作可靠性转向网络韧性。威尼斯防洪系统遭黑客攻击，威胁行为者声称持续控制访问权限并以600美元出售控制权。此次攻击突显OT系统被入侵的实际风险：可能导致洪水、服务中断及安全威胁。全球关键基础设施因IT-OT融合及遗留系统问题而日益暴露风险。伊朗关联的APT组织持续攻击水务、能源等多领域暴露于互联网的OT系统。安全需从设计源头嵌入，而非事后补救，遵循最小权限、分区隔离等原则。制胜关键在于构建可信赖的韧性系统，确保业务连续性并形成竞争优势。
Canada revokes crypto firms' registrations4 days agohttps://www.icij.org/investigations/coin-laundry/canada-revokes-dozens-of-crypto...加拿大反洗钱当局在一项由国际调查记者联盟（ICIJ）与《多伦多星报》联合调查后，撤销了近30家加密货币企业的注册。加拿大金融交易与报告分析中心（FINTRAC）从注册名单中移除了23家加密公司，加上本月早些时候的12家，这标志着对资金传送者和加密企业的执法力度有所加强。此举源于《星报》的一项调查，该调查揭露了多伦多存在未注册的加密企业，其中一些据称与伊朗支持的恐怖组织有关联。财政部长弗朗索瓦-菲利普·尚帕涅承诺将保持势头并寻求新措施，以应对虚拟货币中的洗钱和欺诈等风险。专家质疑加拿大当局是否会系统性地处理非法加密金融活动，指出执法存在延迟，并需要更快采取行动。FINTRAC发言人表示，加密行业将会有进一步行动，但由于正在进行合规调查的保密性，具体细节有限。《星报》的报道指出，通过多伦多地区的一个单一加密钱包进行的交易金额超过1.2亿美元，其中包括据称与伊朗有关的恐怖组织的资金。一次卧底行动揭示，一个加密平台001k可能违反了反洗钱法律，通过匿名现金兑换进行交易，而没有进行适当的身份识别。
Why Is Sherlock Holmes English?5 days agohttps://alistaird221b.blogspot.com/2013/05/why-is-sherlock-holmes-english.html福尔摩斯通常被认为是英国人，带有部分法国血统，这在《希腊译员历险记》中有所揭示。身为苏格兰人的阿瑟·柯南·道尔将福尔摩斯设定为部分法国血统的英国人；原因可能包括对占多数的英语读者群体的商业吸引力，或家庭融入英国社会的考量。另有一些理论认为，道尔的家庭背景影响了角色的国籍设定，因为他的父亲曾被流放到苏格兰，而道尔本人则试图让家族在英国社会立足。
IrDA4 days agohttps://computer.rip/2026-04-11-IrDA.html光被用于通信的历史可追溯至早期的烽火信号和光纤等技术，其中自由空间光通信作为一种虽不常见但功能完备的选择尤为突出。自由空间光通信技术，包括卫星激光链路和Li-Fi等系统，已存在数十年，但一直处于小众领域，直到近期如星链等卫星星座的普及才使其广为人知。惠普开发了诸如RedEye和HP SIR等红外协议，用于计算器与打印机之间的通信，并于1993年演变为用于短距离无线网络的IrDA标准。IrDA标准化了协议栈，包括物理层（如SIR、MIR、FIR）、链路层（IrLAP用于设备发现）以及高层如IrLMP和TinyTP，负责多路复用和流量控制。基于IrDA的应用协议包括用于串口仿真的IrCOMM、用于打印的IrJetSend以及用于文件和数据传输的OBEX，支持诸如设备间交换名片等功能。IrDA面临诸多限制，如因光学特性导致的点对点连接、缺乏多点支持，以及来自蓝牙和Wi-Fi的竞争，这些因素共同导致其在21世纪中叶逐渐衰落。尽管在消费电子领域已过时，IrDA仍在嵌入式应用中得以延续，这得益于其低成本、安全优势和法规便利性，同时IrLAN等协议也在探索通过红外实现IP联网。
Sam Altman's home targeted in second attack4 days agohttps://sfstandard.com/2026/04/12/sam-altman-s-home-targeted-second-attack/OpenAI首席执行官萨姆·阿尔特曼的住宅在周日凌晨遭遇了第二次袭击，此前两天曾发生过一起燃烧瓶事件。据旧金山警察局称，一辆载有两名乘客的本田轿车停在阿尔特曼的房产附近；据称乘客从车窗开枪射击，安保人员听到了枪声。车辆逃离现场，但监控摄像头拍下了车牌号，警方据此查获了车辆；目前尚未有人被捕。在周五早些时候的袭击中，20岁的丹尼尔·亚历杭德罗·莫雷诺-加马涉嫌在切斯特纳特街的房产大门处投掷了一个燃烧瓶。安保人员扑灭了火势，监控录像帮助识别了一名在OpenAI总部发出威胁的嫌疑人，最终导致他被捕。莫雷诺-加马面临包括谋杀未遂、纵火和持有燃烧装置在内的多项指控，两起事件中均未报告人员受伤。OpenAI、旧金山警察局和Open公司尚未发表评论，事件仍在进一步发展中。
A Perfectable Programming Language4 days agohttps://alok.github.io/lean-pages/perfectable-lean/Lean被推崇为最佳编程语言，因为它具有‘可完美化’的特点，这意味着它可以用来在语言内部写下关于自身的属性，以事实和属性的形式代表进步。大多数语言无法有效利用自我引用的事实，但Lean通过依赖类型支持这一点，这允许进行严格的属性规范和定理证明，使其成为验证和重构的强大工具。Lean在元编程方面表现出色，允许创建自定义语法，如使用自定义棋盘符号演示的井字游戏示例，实现了无缝的API设计和语法解释。尽管速度是一个关注点，但由于能够证明代码等价性，使编译器可以替换等效函数，因此Lean具有很高的优化上限，且其开发者社区正积极致力于改进。与其他定理证明语言如Coq、Idris和Agda相比，Lean的社区正在不断壮大并获得关注，使其成为一种独特的编程语言，将实际编程能力与定理证明能力相结合。这篇博客文章本身是用Lean代码实现的，强调了其实际应用以及在相同环境中编程与证明的融合。
Tech valuations are back to pre-AI boom levels4 days agohttps://www.apollo.com/wealth/the-daily-spark/tech-valuations-back-to-pre-ai-boo...演示文稿内容为保密信息，分发须经阿波罗公司同意。阿波罗公司对演示信息的准确性和完整性不作任何保证。观点和预测仅为演讲者个人意见，可能随时变更且无另行通知；阿波罗公司无更新义务。本演示不构成专业建议（会计、法律、税务）或投资推荐。投资者应进行独立调查并咨询专业顾问。阿波罗公司不代表收件人行事，亦不提供客户保护措施。本演示不构成任何证券或服务的销售要约或购买招揽。前瞻性陈述涉及风险和不确定性；不建议依赖此类陈述。前瞻性陈述可能包含'可能'、'将'、'预期'或其否定形式等术语。
India's frugal AI models are a blueprint for resource-strapped nations4 days agohttps://restofworld.org/2026/india-frugal-ai-sarvam-krutrim-sovereign/主权AI对印度的自力更生至关重要，考虑到其语言和经济多样性，它能确保技术服务于所有人民，而不仅是富裕阶层。AI4Bharat于2020年在印度理工学院马德拉斯分校启动，开发针对印度语言的轻量级AI工具，可在低端设备和低带宽环境下运行，以弥合数字鸿沟。Sarvam AI由维韦克·拉格万和普拉提尤什·库马尔共同创立，专注于开发可扩展、成本效益高的生成式AI模型，以满足印度在医疗和教育领域的特定需求。在医疗领域，Sarvam AI部署支持语音的多语言对话代理，提供当地语言的医疗咨询和分诊服务，作为农村地区的低成本辅助工具。在教育领域，Sarvam AI构建了经济高效的解决方案，如拥有240亿参数的SarvamM大型语言模型，提供数学和编程等科目的印度语言个性化辅导。OpenHathi是Sarvam的开源项目，它通过适配LlaMA和Mistral等现有模型以理解印度语言，从而推动更经济的领域特定AI解决方案。印度语言需要的词汇标记数量比英语更多，这使得AI交互成本更高；Sarvam通过优化标记和构建更好的数据集来降低成本。Krutrim由Ola Cabs联合创始人推出，是另一家印度AI初创公司，提供涵盖22种语言的包容性模型，并针对经济型基础设施进行了优化。印度的AI初创企业正在以可扩展、负担得起且多语言的解决方案重写全球规则，专注于一种可服务全球南方国家的经济包容性路径。