The Graph That Should Be Front-Page Newsa day agohttps://www.lyrebirddreaming.com/post/the-graph-that-should-be-front-page-news尼诺3.4区域的海表温度显示出前所未有的历史记录偏离，表明了一场气候危机。人为导致的气候变化主要源于二氧化碳增加，已导致海洋变暖，放大了如厄尔尼诺等自然事件，并引发极端天气。海洋变暖破坏了生态系统，导致珊瑚白化、渔业衰退，并增加了热浪、干旱、洪水及经济影响的风险。气候变化以相互关联的方式影响全球系统，存在连锁触发临界点的风险，这些变化可能在人类时间尺度上变得不可逆转。媒体对这一关键图表缺乏关注，反映了社会惯性，敦促在气候变化变得不可控之前采取行动应对。
Quadrupling code performance with a "useless" ifa day agohttps://purplesyringa.moe/blog/quadrupling-code-performance-with-a-useless-if/描述了通过改进关键路径循环来优化特定领域压缩器的过程。强调了依赖链问题会阻碍指令级并行处理。提出利用分支预测来预测稳定值，以打破依赖链。建议使用易变类型转换技巧来防止编译器优化移除分支。提及了潜在的数据结构改进替代方案，但也指出了其中的权衡取舍。
Interrail: 6,379Km and 13 Countries over 7 weeksa day agohttps://shkspr.mobi/blog/2026/07/another-ridiculous-interrail-holiday-6379km-and...作者与伴侣进行了一次为期7周的欧洲铁路通票旅行，覆盖6,379公里和13个国家，使用一张有效期2个月内可灵活出行15天的通票，此前一年他们还完成了一次更紧凑的30天旅行。关键体验包括：列车延误问题、退款流程复杂、虽有使用限制但仍偶尔进入贵宾休息室、车上设施参差不齐（如素食选项、WiFi、座位），以及享受欧洲铁路通票折扣的轮渡旅行。实用建议包括：使用RealTimeTrains查询站台信息、提前预订素食餐食、应对检票流程，以及处理列车故障或拥挤换乘等突发状况。旅程包含多段欧洲路线（如伦敦至布鲁塞尔、汉堡至哥本哈根、奥斯陆至斯德哥尔摩、赫尔辛基至塔林、华沙至柏林），并反思了计划性旅行与即兴探索之间的平衡。总体而言，欧洲铁路通票因轻松便捷、直达市中心和环保而备受好评，但亦可能令人疲惫；未来计划可能结合火车与航班，或在单一国家进行更长时间的深度旅行。
Backtrack-Free Cursivea day agohttps://mmapped.blog/posts/52-backtrack-free-cursive作者发现，由于英语草书书写时需频繁回溯加点、划十字，与俄语草书几乎无需回溯相比，其书写体验较差。对《罪与罚》的分析显示，英语单词需回溯的比例达51%（平均每个单词0.68次），而俄语仅需6.4%（平均每个单词0.066次）。为解决此问题，作者基于SmithHand设计了一套新草书字体，通过改良x、t、i、j等字母的写法，消除回溯以提升书写流畅度。关键改进包括：将x写作两个镜像的c形，为t添加连笔环以实现不间断运笔，并为i和j设计融合环状与主干的连笔结构。该字体已投入使用数月，使英语书写变得与俄语同样流畅愉悦，尽管个别字母形态仍存在不一致之处。
Sam Neill has dieda day agohttps://www.theguardian.com/film/2026/jul/13/sam-neill-death-actor-dies-aged-78新西兰演员山姆·尼尔因出演《钢琴课》和《侏罗纪公园》而闻名，去世享年78岁。他在澳大利亚悉尼去世，此前与癌症抗争多年，尽管去世时已无癌症。他出生于北爱尔兰，幼年移居新西兰，12岁时将名字从奈杰尔改为山姆。他的职业生涯包括150多部影视作品，以《猎杀红色十月》、《浴血黑帮》和《追捕野蛮人》等角色为人所知。他于2022年被授予爵位，并在中奥塔哥拥有一处名为“双围场”的农场和酒庄。尼尔去世后留下四个子女和六个孙辈，他的遗产受到全球政治领袖和粉丝的缅怀。
The great (fire)wall: the technical details behind how China's internet works2 days agohttps://kylejeong.com/blog/great-firewall中国的互联网通过防火墙（GFW）进行管控，该系统采用路径中继机制，通过镜像数据包检测并注入伪造响应以阻断连接。GFW采用三阶段运作：流量复制实现无延迟抓包、深度包检测集群进行内容识别、注入伪造数据包（如DNS响应或TCP重置指令）实施拦截。关键阻断机制包括DNS污染重定向查询、基于关键词的TCP重置连接终止、TLS握手过程中的SNI过滤。GFW在与翻墙工具的对抗中持续演进，从VPN到Shadowsocks、V2Ray等加密协议，现已部署机器学习分类器识别流量特征。鉴于中文同音字和规避技术的复杂性，人工审核不可或缺，国内平台聘用逾十万名审核人员管理内容。未来趋势显示，随着ECH、DoH、QUIC等加密技术减少可读数据，GFW正转向基于行为模式的机器学习分类，促使流量呈现'统计意义上的平淡化'特征。
Blog-Doc Reloaded2 days agohttps://lebcit.github.io/post/blog-doc-reloaded/Blog-Doc经过近两年未更新后，现已彻底重写。这次重写灵感来源于构建其继任者Aether过程中的经验教训。新版本回归原始理念：保持Node.js内容管理系统和静态站点生成器的简洁、轻量化和趣味性。Aether在开发过程中逐渐偏离了简洁性，导致内部任务变得更为复杂。作者决定将Aether大部分功能融入Blog-Doc，同时遵循'简单至上'原则。鼓励用户试用新版，并到GitHub上为其点赞支持。
Getting back my closed Google Play Developer account2 days agohttps://blog.matzielab.com/getting-back-my-closed-google-play-developer-account/Google Play 开发者账号因收到政策变更警告后未能更新旧版应用而被关闭。尝试创建新账号被阻止；联系了客服，但账号恢复请求被拒绝。Google 客服回复迅速，建议使用不同的电子邮件地址创建新账号。
A SETI Home for AI-Assisted Research2 days agohttps://www.kvncnnlly.com/2026-07-11-seti-for-ai-assisted-research/SETI@home曾是一个利用家庭计算机闲置算力进行分布式信号分析以搜寻地外智慧生命的项目。如今,借助AI订阅服务和本地代理软件,未使用的代币额度可以被投入到众包科学或数学研究项目中。小型团队和个人结合领域专业知识与AI系统,已经取得了诸如解决埃尔德什问题等研究成就。关键挑战在于将未知问题的前沿与当前AI系统能力对齐,以有效利用新增的计算资源。建立记录计算量、方法和结果的公共账本,有助于将AI对知识的贡献评估为公共资产。实施这一愿景需要新的商业安排、检查点系统以及面向研究协作的智能体架构。目标是将AI推理能力汇聚成超算规模的集体努力,使产生的知识始终保持公共属性。
A Technology for Free Will2 days agohttps://ziyzhu.com/a-technology-for-free-willAI的个人电脑时代即将到来，聚焦于易于使用、免费且可靠、可在设备本地运行的个人人工智能。个人AI不应是云服务，而应作为用户与目标之间的中间层，利用用户的数据和模型。当前软件常为吸引注意力而堆满屏幕，应用程序往往优先考虑平台目标而非用户意图。AI代理可利用界面背后的数据和操作权限，从而消除平台作为瓶颈的限制。'围墙花园式网络'将宝贵数据困于登录壁垒之后，导致API不可靠；用户设备才是数据汇聚之处。技术突破解锁了多重自由：言论（印刷术/互联网）、金钱（区块链）与意志（AI代理）。无需许可的访问允许工具代表用户利用现有权限进行操作，从而绕过API限制。代理自主性的不可妥协要素：用户设备（本地执行）、数据（开放格式）与模型（可替换）。'代理中介'（如Mango）是以移动端优先的本地代理，充当高效使用网络的媒介。文件重于应用：代理记忆应通过纯文本文件（如mango）比应用更持久，确保数据可移植性和模型可替换性。这一转变意味着减少依赖性，从缺乏API的长尾服务领域开始，逐步实现工具所有权的常态化。
Llambda.lisp2 days agohttp://funcall.blogspot.com/2026/07/llambdalisp.htmlLlama.cpp 是一种广泛使用的本地运行大语言模型的方法。流行的 LLM 服务器，如 Ollama、lmstudio 和 unsloth，都使用 llama.cpp 作为其底层技术。Llama.cpp 是用 C++ 实现的。作者更喜欢 Common Lisp 而非 C++，并相信通过适当的声明，它能达到可比的性能。一个名为 llambda.lisp 的 Common Lisp 实现的 llama.cpp 已被创建。llambda.lisp 在 GitHub 上可用，地址是 github.com/jrm-code-project/llambda。寻求对非 Gemma 架构、GPU、NPU 支持以及其他增强功能的贡献。
Since Chromium 148, Math.tanh is now fingerprintable to link underlying OS2 days agohttps://scrapfly.dev/posts/browser-math-os-fingerprint/不同操作系统（Linux、macOS、Windows）因底层C数学库（glibc、libsystem_m、UCRT）的差异，导致浏览器对某些数学函数（如Math.tanh）产生略微不同的浮点数结果。这形成了一个指纹识别向量，反机器人系统可通过检测Math.tanh、CSS三角函数和Web Audio压缩操作结果的最后一位差异来识别操作系统。Chrome 148+将Math.tanh改为使用宿主操作系统的std::tanh而非V8自带的fdlibm，从而引入了这一泄露问题；早期版本不存在此问题。正确欺骗数学函数需要按操作系统精确复制位模式，考虑库的差异（例如Apple的scalar与Accelerate框架），并确保在编译器优化不影响融合乘加运算的情况下进行确定性编译。Scrapfly的浏览器实现了精确复制或移植原始库（例如在Linux上映射UCRT），以逐位匹配声称的操作系统，并针对真实设备和浏览器进行了验证。
Are you telling me a readonly property is wrecking my performance?5 days agohttps://shub.club/writings/2026/july/check-your-scrollheight/在Letta Desktop中发现了一个性能问题：随着使用量增加，产品速度变慢，最初怀疑是由于代码未优化所致。根本原因被确定为使用了'el.scrollTop = el.scrollHeight;'来在新消息时滚动UI，假设scrollHeight是一个静态且高性能的只读属性。实际上，scrollHeight是动态的，并在访问时重新计算，当在高消息流期间频繁更新时会导致速度变慢。Chromium的实现显示scrollHeight会触发布局更新，使其在频繁使用时性能不佳。解决方案是使用一个非常大的数字代替精确计算scrollHeight，依赖于边界行为。关键建议：只读属性可能是动态的并影响性能，尤其是在发生明显变化时。教训包括质疑关于属性性能的假设，以及优化UI交互。
Count Binfacea day agohttps://countbinface.com宾脸伯爵是来自西格玛九号行星的星际太空战士，也是回收星人的领袖。他于2017年首次以‘桶头勋爵’的身份出现在地球，与特蕾莎·梅竞选并迅速走红。2019年，他以宾脸伯爵的身份与鲍里斯·约翰逊竞选，获得了69票。在2021年伦敦市长选举中，他获得了92,896票（其中24,775票为第一选择票），在20名候选人中排名第9。2023年，他在乌克斯布里奇补选中以190票排名第8，相比201年票数增长了275%。他还在2024年伦敦市长选举中参选，赢得了24,260票，击败了‘英国优先’党。在2024年大选中，他在里士满和诺萨勒顿选区挑战里希·苏纳克，获得了308票。他的竞选主张包括正义、激光武器、Lovejoy乐队、可负担的羊角面包，以及恢复Ceefax图文电视服务。宾脸伯爵在电视剧《金融围城》中有虚构的出场情节，剧中他以309票击败了基特·哈灵顿。
Competitive Programming in the Era of AI3 days agohttps://www.vibhaas.net/posts/Competitive-Programming-in-the-era-of-AI/随着人工智能的到来，竞技编程迎来新时代，代码解决方案的生成变得轻而易举，导致作弊行为泛滥。借助人工智能的不公平参赛者导致分数贬值，预计约150-190分，损害真实参与者的利益并形成恶性循环。对真实参赛者的建议包括：看淡分数、参加线下比赛、使用人工智能前时代的虚拟赛进行练习。使用人工智能辅助练习应有限度；避免依赖其调试功能，以手动培养关键技能。提议的比赛结构改进包括：基于人工智能的作弊检测、分数表现监控、公开报告机制及更严格的账户验证。尽管面临人工智能挑战，竞技编程在培养解决问题能力方面仍有价值，应更关注个人成长而非排行榜名次。
Kids (With Phones) Are Alright3 days agohttps://heatherburns.tech/2026/07/08/the-kids-with-phones-are-alright/苏格兰的一段视频显示，乘客在火车上对峙一名偷拍少女的醉汉；该男子是爱丁堡市议会的高级法律官员。这起事件凸显了当前科技政策往往归咎和限制年轻人，而非追究施害者责任，与旁观者对受害者的支持形成鲜明对比。威权式互联网监管（例如对16岁以下青少年的智能手机禁令）是由富裕精英推动的，他们反对年轻人的个人自主权，通过法律将自身价值观强加于人。视频展现了现实中的权力动态——工人阶级青少年展现出对抗特权的韧性，并强调了为何年轻人需要手机和生活技能来保障安全。个人反思将施害者与作者的酗酒前夫联系起来，从生活经历中阐释了对权力、控制和特权的洞察。
Australian Consumer advocate calls for mandatory domestic mobile roaming2 days agohttps://www.abc.net.au/news/2026-07-13/calls-for-mandatory-domestic-mobile-roami...ACCAN报告显示，73%的澳大利亚人支持强制国内漫游，允许手机在网络覆盖区域外使用其他网络，惠及偏远地区用户。ACCC承认自2017年以来的技术变化，包括5G和卫星技术，正在监控是否需要监管干预。电信公司如Telstra反对漫游，理由是可能造成网络压力并减少投资激励，而Optus则认为这是改善消费者选择的机会。偏远地区澳大利亚人面临移动网络接入困难，有限的选择导致昂贵套餐并阻碍经济增长，正如《区域电信审查》所强调的。国际案例如加拿大表明，国内漫游可以降低价格并改善服务，ACCAN主张在澳大利亚推行类似改革。
Calculix: A Free Software Three-Dimensional Structural Finite Element Program5 days agohttps://www.calculix.de/CalculiX 是一个有限元分析软件包，用于构建、计算和后处理场问题模型。它包括一个使用OpenGL的交互式3D前后处理器，以及支持线性/非线性、静态、动态和热分析的求解器。求解器采用Abaqus输入格式，可与商用前处理器兼容，而前处理器能导出适用于Nastran和OpenFOAM等多种软件的网格数据。该软件由MTU航空发动机公司的员工在业余时间开发，可在Unix、Linux、Irix和MS-Windows系统上运行。一项喷气发动机案例分析展示了其功能，包括爆裂转速、转速限制、特征频率分析，以及采用铝和高温合金等材料的循环对称建模。
The four horsemen behind Postgres outages5 days agohttps://malisper.me/the-four-horsemen-behind-thousands-of-postgres-outages/PostgreSQL 常见故障是由于真空和事务ID回绕造成的，其中删除的行累积，32位ID会导致数据库关闭，如果不回收的话。连接限制和基于进程的并行性导致扩展问题，需要重启或使用像PgBouncer这样的工具，而基于线程的模型在pgrust中提供了一个更安全的替代方案。糟糕的查询计划可能会严重减慢查询速度，并且对规划器的控制有限，不像那些允许提示的数据库；pgrust旨在构建一个自适应查询规划器。PostgreSQL中的JSON缺乏统计和压缩功能，导致查询计划效率低下和存储问题；pgrust计划添加真实的统计和压缩功能来解决这个问题。
Modernizing Property Tax Assessments in Allegheny County2 days agohttps://www.prohousingpgh.org/blog/new-report-modernizing-property-tax-assessmen...