这篇博文展示了如何使用Chrome 137+中实验性的CSS `if()`函数实现纯CSS逻辑门，包括AND、OR、NOT、XOR等基本逻辑门，以及更复杂的半加器、全加器和多路选择器。通过巧妙运用CSS变量和条件语句，作者成功地用CSS实现了这些通常由硬件或编程语言完成的功能，这为CSS在计算领域的应用开辟了新的可能性。
阅读更多
Structured公司正在革新开发者构建和部署数据应用程序的方式，它将整个分析堆栈整合到代码中。针对数据密集型应用部署效率低下的现状，Structured开发了一个轻量级SDK，使开发者能够在数小时内完成原型设计、部署和管理数据应用程序（仪表板、内部工具）。公司寻求经验丰富的全栈工程师加入，参与核心SDK构建、交互式组件设计和性能优化等工作，使用Python、TypeScript、Next.js、React、Postgres、AWS/GCP等技术栈。
阅读更多
迈克尔·利丁，一位备受争议的国家安全记者和学者，于2018年去世。本文揭露了他为操纵情报以达到政治目的所扮演的关键角色，特别是他在2003年美国入侵伊拉克之前的行动。利丁卷入制造虚假情报，为入侵伊拉克制造借口，例如伪造的“意大利信件”，声称萨达姆从尼日尔购买铀。这导致了代价高昂的伊拉克战争，造成了巨大的军事和外交灾难。文章还提及他此前在离间吉米·卡特兄弟和散布关于保加利亚参与教皇暗杀阴谋的虚假信息等事件。利丁的案例成为了利用秘密和不实情报操纵政治的典型案例。
阅读更多
作者购买了一张Finish Ticket乐队的Echo Afternoon专辑CD，但在用Whipper软件翻录后，发现曲目信息存在错误：一个曲目名称拼写错误，另一个曲目时长异常，甚至少了一首曲目。问题根源在于MusicBrainz音乐数据库中该专辑的信息存在错误。由于CD翻录软件使用TOC(Table of Contents)从MusicBrainz数据库匹配并获取专辑信息，而数据库中存在曲目合并以及名称错误，导致翻录结果出错。作者手动修正了MusicBrainz数据库中的错误信息，并更新了本地音乐库。这说明了开放数据库的可编辑性以及数据质量的重要性。
阅读更多
鱼缸不仅仅是装饰，更是提升猫咪身心健康的利器。水中鱼儿的动态和视觉刺激能有效缓解猫咪压力，促进身心健康。观察鱼儿游泳能激发猫咪的好奇心和探索欲，提升认知能力，防止破坏行为，带来自然放松的效果，改善睡眠质量。鱼缸与猫咪的完美结合，营造和谐的居家环境。
阅读更多
本文深入探讨了Fenwick树（也称为二元索引树）的实现原理。作者从更易理解的线段树出发，运用函数式编程和等式推理，逐步推导出了Fenwick树的实现，揭示了其看似神秘的位运算操作背后的逻辑。通过巧妙地运用Haskell EDSL对无限二进制补码数进行操作，文章最终解释了Fenwick树高效实现的秘密，并证明了其更新和范围查询操作的log(n)时间复杂度。
阅读更多
miniDiffusion项目是一个使用纯PyTorch语言，仅依赖少量库的Stable Diffusion 3.5模型的重新实现。其代码精简，旨在用于教育、实验和研究目的。项目包含VAE、DiT、训练和数据集脚本等核心组件，并提供了模型训练和推理脚本。用户需安装依赖项并下载预训练模型权重。该项目已开源，并遵循MIT许可证。
阅读更多
维基媒体基金会正对英国在线安全法案（OSA）的分类条例提起法律挑战。该条例可能将维基百科归类为最高风险网站，要求其进行严格的身份验证，这将威胁到志愿贡献者的隐私和安全，并损害维基百科的运作。基金会认为，此举将对全球知识共享造成严重影响，并呼吁法院保护维基百科这一重要的公共资源。此案也得到了英国志愿贡献者的支持，他们认为该条例威胁到言论自由和知识共享。
阅读更多
WebFFT是一个包含多个FFT库的元库，既有JavaScript版本，也有WebAssembly版本。它会自动基准测试所有子库并选择最佳的方案。只需几行代码即可实现快速傅里叶变换(FFT)和二维FFT，并支持实值输入。WebFFT 还提供性能分析工具，方便用户优化代码。
阅读更多
加州数学框架（CMF）的更新引发了激烈的争论，被称为“数学战争”。一方主张改革，提倡以更贴近生活、更具包容性的数据科学课程替代传统的代数课程，以提高学生的学习兴趣和数学素养，缩小不同群体间的数学成绩差距；另一方则认为，数据科学课程不够严谨，无法替代代数课程，担心会影响学生未来的STEM职业发展。争论甚至延伸到社交媒体和政治层面，引发了诸多争议。最终，在专家和科技巨头的共同努力下，加州大学撤销了数据科学课程替代代数课程的政策，并成立工作组制定更完善的数学课程标准。这场“战争”暴露了美国数学教育的不足，也促进了相关改革的深入推进。
阅读更多
Printercow 是一款将任何热敏打印机变成API端点的服务，允许你通过HTTP请求进行打印，无论是单据还是艺术作品。它支持各种热敏打印机，并提供每月300次免费打印。通过简单的安装命令或桌面应用，即可轻松连接打印机。无论是个人用户创作AI生成的诗歌，还是企业大规模打印收据，Printercow都能胜任。其灵活的设置、强大的功能和注重隐私的设计，使其成为连接AI与物理世界的理想桥梁。
阅读更多
Alisp是一个由一人开发的开源Lisp解释器项目，目标是实现Common Lisp标准。目前已完成大部分Common Lisp功能，并包含调试器和性能分析器等实用工具。作者使用C89编写，并采用GPL v3开源许可证。项目代码托管在Savannah，欢迎提交bug报告和建议，但暂不接受代码补丁。
阅读更多
这篇文章深入探讨了代码性能优化的挑战。作者指出，优化并非简单的技能提升，而是需要面对大量尝试和错误的“蛮力”任务。各种优化策略之间存在复杂的相互作用，甚至看似优秀的方案也可能因为一些意想不到的原因失效。编译器虽然能提供帮助，但其能力有限，盲目依赖反而可能适得其反。针对不同架构的CPU，优化策略也大相径庭，例如x86架构有丰富的资料，而Apple Silicon则缺乏完善的文档支持，这给开发者带来了巨大的挑战。文章最后总结道，性能优化是一门艺术，微小的改进累积起来就能带来显著的提升，值得开发者投入时间和精力。
阅读更多
魁北克政府宣布停止对陷入财务困境的电动汽车制造商Lion Electric的进一步投资，此前该公司寻求债权人保护。尽管Lion Electric曾是魁北克电动汽车雄心的代表，但由于美国政策变化和自身补贴计划缺陷，魁北克政府认为继续投资不负责任。此举可能导致该公司重组失败，并给魁北克的学校巴士运营商带来困境，因为他们需要满足政府电动校车比例的要求。政府正在重新评估其电动交通计划的步伐，并可能寻求其他解决方案来满足电动汽车需求。
阅读更多
Scheme语言的宏系统引入了“卫生”机制，以避免宏展开时变量命名冲突。文章深入探讨了Scheme中标识符的概念，它不仅包含符号名称，还包含词法上下文和历史上下文。`bound-identifier=?`和`free-identifier=?`谓词用于比较标识符的等价性，前者关注宏展开后绑定标识符的可替换性，后者关注自由标识符的可替换性。文章通过多个例子展示了这两种等价关系的差异，以及历史上下文在宏卫生机制中的作用，最终阐述了Scheme如何通过标识符的历史信息来保证宏的卫生性，避免变量名冲突。
阅读更多
最新研究显示，人工智能的能源消耗正以惊人的速度增长，预计到2025年将占据全球数据中心电力使用量的近一半，甚至可能超过比特币挖矿的能耗。研究人员指出，大型科技公司很少公开AI的具体能耗数据，这使得准确评估其环境影响变得困难。虽然一些公司正在转向可再生能源，并提高能源效率，但这可能无法抵消AI指数级增长的能耗。AI的快速发展带来的巨大能源需求，以及由此产生的碳排放和对矿产资源的依赖，正成为一个亟待解决的环境问题。
阅读更多
从2011年开始接触Hacker News，作者最初对其中的技术术语和公司一无所知。然而，通过坚持每天阅读，并深入研究遇到的每一个陌生的技术概念，作者逐渐从一名数据分析师成长为能够自信地将代码部署给数百万用户的工程师。Hacker News不仅提供了学习资源，更是一个充满智慧的社区，帮助作者提升技术能力和写作水平，最终实现了职业的巨大飞跃。
阅读更多
一项新的研究调查了40个国家的人们对新闻公正性的偏好。结果发现，虽然大多数人表示偏爱公正新闻，但一些群体更倾向于与自身观点一致的新闻：政治参与度高且有明确意识形态的人、主要依赖社交媒体获取新闻的年轻人、女性以及社会经济地位较低的人群。该研究还发现，在新闻来源多样化且民主质量较低的国家，人们对非公正新闻的支持度更高。这项研究挑战了新闻公正性的传统观念，表明人们对“公正”的理解与其所处的政治、社会和经济环境密切相关。
阅读更多
这篇文章通过费米估算的方法，计算了你每次呼吸中大约有多少个凯撒大帝最后一次呼吸的分子。通过估算地球大气层的体积和一次呼吸的体积，以及大气中分子的数量，最终得出结论：你每次呼吸都大约吸入一个凯撒大帝的分子！这听起来不可思议，却巧妙地展现了费米估算的魅力，以及科学计算中近似估算的强大之处。文章也提供了相关的链接，方便读者进一步学习费米估算的方法和应用。
阅读更多
持续数月的强劲极地涡旋风力即将发生剧烈变化。最新预测显示，本周末将出现重大涡旋扰动，风速将急剧下降甚至反转，这可能导致平流层温度在几天内骤升25摄氏度。这种“突然平流层增温”事件可能导致极地涡旋偏离极点或分裂成两个较小的涡旋，并可能影响春季天气，带来比正常情况更冷的北极气流。然而，目前尚不清楚这种扰动是否会影响对流层，以及其影响程度。此次事件可能标志着极地涡旋季节的提前结束，这在历史上也曾发生过。
阅读更多
本文探讨了乱序微架构中执行单元的流水线化。作者最初认为执行单元在处理完微操作后才会空闲，但以A14和M1中的Firestorm微架构为例，发现两个整数执行单元能够同时处理多个乘法操作，每个乘法操作需要三个周期。通过对比依赖指令序列和独立指令序列的执行时间，作者发现执行单元和微操作的许多组合都高度流水线化，这意味着一个微操作可以在执行单元仍在处理其他微操作时发出。这使得独立指令序列的执行时间从预期的6个周期缩短到4个周期。作者最后解释了指令延迟和带宽表中为何指定倒数吞吐量，因为它等同于周期/指令。
阅读更多
本文探讨了如何利用BQN语言优化大型矩阵乘法的性能。作者首先通过简单的方块划分方法，有效利用缓存，将性能提升了约六倍。随后，作者又介绍了一种基于分治策略的Strassen算法，并通过实验验证，该算法在处理大型矩阵时能实现高达9倍的性能提升。文章还比较了不同块大小和嵌套平铺策略对性能的影响，最终得出结论：单线程BQN实现的性能极限已基本达到。
阅读更多
美国太空军发布了X-37B太空飞机在轨运行的首张照片，该照片拍摄于非洲大陆上空，展现了其太阳能电池板和有效载荷舱。这是X-37B第七次任务的一部分，该任务于2023年12月28日发射，此次任务中，X-37B在高椭圆轨道上进行了实验，并首次进行了大气制动机动，利用地球大气摩擦改变轨道，以最大限度地减少燃料消耗。X-37B作为先进的可重复使用航天器测试平台，正在测试各种新技术，包括空间太阳能输送、隔热系统和自主飞行能力。虽然太空军对X-37B的任务细节保密，但这张照片为其在轨运行提供了罕见的视角，也突显了美国与中国在可重复使用航天器领域的竞争。
阅读更多
DDoSecrets泄露了410GB的以色列公司TeleMessage的服务器堆转储数据，其中包含来自灾难响应人员、海关官员、美国外交人员、白宫工作人员和特勤局成员的通讯记录。数据泄露源于一个简单的漏洞，允许任何人下载服务器上的Java堆转储文件。分析显示，数据包含来自WhatsApp、Telegram、Signal等多种通讯平台的聊天记录，其中一部分已被加密，但仍包含大量未加密的文本信息、附件和元数据。研究人员已经识别出数千名TeleMessage客户，包括来自金融、能源等行业的知名公司，例如摩根大通、苏格兰皇家银行等。虽然目前尚未发现极其敏感的信息，但该数据集提供了大量线索，可能引发进一步调查和新闻报道。
阅读更多
本文批判了当前公司低效的招聘流程，浪费求职者和公司的时间和资源。作者认为，传统的代码面试（LeetCode风格）无法有效区分优秀程序员和滥竽充数者，并且忽略了软件工程师的综合能力。更好的方法是注重实际工作能力，例如代码审查、架构设计和工作样本评估，并强调团队合作和个人风格。作者建议结合代码审查和现场讨论工作样本，并安排候选人和未来经理的会面，以提高招聘效率和准确性，最终目标是找到长期合适的员工，而非短期需求的应试者。
阅读更多
系统理论家纳菲兹·艾哈迈德博士在其发表在《远见：未来研究杂志》上的新研究中指出，人类文明正处于进化的下一个“巨大飞跃”的边缘，这将是一个基于分布式清洁能源的“网络化超级丰裕”的时代。然而，这一进程可能被日益增长的极右翼权力和民族主义民粹主义所阻碍。艾哈迈德博士预测了2008年金融危机、清洁能源的增长和英国脱欧等重大事件，他认为，工业文明正在走向不可避免的衰落，而新兴的清洁能源、细胞农业和人工智能等技术有可能创造前所未有的繁荣，但能否成功取决于我们能否负责任地治理这些新兴能力。
阅读更多
一家名为“惊奇货仓”的廉价商品店在西费城开张，引发了社区居民的好奇和争议。这家店以每日递减的价格出售来自大型零售商的库存积压商品和退货商品，吸引了大量顾客，也引发了关于消费主义、商品过剩和社区变化的讨论。文章作者通过一周的观察，揭示了这家店的运营模式、商品来源以及它对社区的影响，展现了逆向物流产业的兴衰以及消费社会中商品的循环利用。
阅读更多
arXivLabs是一个允许协作者直接在arXiv网站上开发和分享新功能的框架。参与arXivLabs的个人和组织都认同并接受了arXiv关于开放性、社区、卓越和用户数据隐私的价值观。arXiv致力于这些价值观，并且只与坚持这些价值观的合作伙伴合作。如果你有想法可以为arXiv社区增值，那就了解更多关于arXivLabs的信息吧！
阅读更多
本文讲述了一个名为Max的程序员和他15年前用PHP写的图片上传脚本Imagebin的故事。Imagebin代码简洁，只有233行，其中大部分是更新日志。作者尝试用Go重写Imagebin，却发现代码量反而增加了，而且可读性下降。这让他反思了程序设计的复杂性，意识到简洁的代码更易于维护，Max的Imagebin正是因为其简洁性而经久耐用。最终，作者决定保留Max的代码，继续使用PHP。
阅读更多
作者痴迷于一个简单的网页需求：在多个 HTML 页面中复用相同的头部。他发现解决这个问题的方法很多，但没有一个是纯 HTML 的解决方案。这引发了他的疑问：为什么 HTML 不能像 CSS 或 JavaScript 一样直接导入其他 HTML 文件？他探讨了潜在原因，例如预加载扫描器、异步加载问题、嵌套导入的复杂性、增加网络请求等，并向读者征求意见。
阅读更多