Autology是一个用Clojure编写的函数式Lisp解释器，其核心亮点在于它能够访问并修改自身的解释器。通过重新绑定变量*i*（指向解释器函数），程序可以在运行时动态地改变Autology的语法和行为，例如添加函数、修改求值策略等。虽然Autology本身效率不高，但它为探索Lisp元编程和语言运行时修改提供了独特的视角。
阅读更多
厌倦了滚动时动画卡顿？全新的滚动驱动动画规范（Scroll-driven Animations）闪亮登场！它整合了Web Animations API和CSS Animations API，让你的滚动动画流畅如丝，运行于主线程之外，只需少量代码即可实现各种炫酷效果，例如视差背景、阅读进度条、图片渐显等等。文中提供了多个演示案例和教程视频，帮助你快速上手，轻松创建令人惊艳的滚动动画体验。
阅读更多
Open WebUI是一个开源项目，旨在简化用户与大型语言模型（LLM）的交互。它提供了一个用户友好的图形界面，让即使是非技术人员也能轻松访问和利用LLM的强大功能，例如生成文本、翻译语言和回答问题。无需复杂的命令行操作或编程知识，Open WebUI降低了LLM的使用门槛，为更多人打开了AI世界的大门。
阅读更多
上世纪80年代，WordPerfect凭借其在DOS平台上的出色表现，成为办公室的标配软件。本文回顾了WordPerfect的辉煌历史，从最初在Data General平台上的创新设计，到后来在IBM PC上的成功，再到最终败给微软Word的历程。WordPerfect以其所见即所得的界面设计和强大的功能，一度占据市场主导地位，但由于未能及时适应Windows平台的崛起，最终失去了市场份额。文章还详细介绍了WordPerfect 6.0在DOS系统下的使用体验，以及其在图形模式和字符模式下的不同表现。
阅读更多
1944年，日本秘密向美国发射了数千个“风船炸弹”，企图造成破坏和恐慌。这些由和纸制成的巨大气球携带着燃烧弹和炸弹，借助太平洋的急流飘洋过海。尽管最终仅造成6名美国平民死亡，且对军事目标几乎没有影响，但“风船炸弹”计划依然是二战中一段鲜为人知的奇特篇章，展现了日本在资源匮乏情况下孤注一掷的战争策略，也体现了战争信息管控的复杂性。
阅读更多
本文探讨了在 MySQL 中对参与外键关系的表进行在线 Schema 变更的固有难题。作者分析了现有工具（如 pt-online-schema-change 和 gh-ost）的局限性，指出在线变更父表时，需要同时变更所有子表，这带来了巨大的复杂性和风险。由于需要协调多个变更过程，且容错性极低，一旦其中一个变更失败，就可能导致数据不一致甚至服务中断。作者认为，对于大型表，在线变更包含外键约束的 Schema 几乎不可行。
阅读更多
这个Python脚本实现了xkcd密码规范，生成安全且易记的密码。它允许用户自定义密码长度、单词数量、分隔符以及最大单词长度，并提供熵计算和破解时间估算等信息，帮助用户评估密码强度。此外，它还支持生成多个密码以应对偷窥风险，并提供了多种命令行参数以满足不同需求。该工具使用系统级的随机数生成器，保证密码的随机性，并开源发布，方便用户使用和改进。
阅读更多
Emil Wallner，一位自学成才的AI研究员，他的经历堪称传奇。从在非洲乡村当老师到成为Google Art & Culture的机器学习研究员，他的职业生涯充满了冒险和挑战。他创立了将设计稿转化为HTML/CSS的开源项目Screenshot-to-code，并因其自动着色工作而被Google拍摄成短片。本文深入探讨了Emil的AI学习之路，以及他对自学成才的AI研究人员的建议，并分享了他对AI研究未来发展趋势的独到见解。他强调了实践的重要性，以及如何通过建立高质量的个人作品集来获得认可。
阅读更多
一位刚从斯坦福毕业的Formal公司新员工，在解决客户使用Visual Studio Code远程SSH连接AWS EC2实例进行机器学习时遇到的问题过程中，意外发现并修复了AWS SSM参考库中几个并发Bug。该问题源于Formal Connector对TCP/IP端口转发支持不足，导致VS Code无法正常初始化远程开发环境。修复过程涉及深入研究SSH和SSM协议，最终通过修改AWS Session Manager插件，解决了数据竞争和序列号问题，实现了通过Formal Connector安全地进行VS Code远程SSH连接。
阅读更多
Pantograph 是一款革命性的结构化代码编辑器，它直接操作类型化的语法树，而不是像传统编辑器那样先解析文本再进行类型检查。通过引入树选择和“拉链编辑”的概念，Pantograph 简化了对现有程序的编辑，使程序员可以更轻松地进行复杂的代码修改，同时保持程序的类型安全。它巧妙地处理类型差异，并允许程序中存在一些错误，方便用户逐步调试。Pantograph 的设计具有语言通用性，开发者可以基于其框架定义新的编辑器。
阅读更多
为了应对外部逆风和提振国内消费，中国将扩大消费补贴范围，涵盖智能手机和其他电子产品。国家发改委官员周五表示，目前针对家用电器和汽车的国家以旧换新计划，今年将扩大到手机、平板电脑和智能手表等个人设备。疫情后，由于缺乏令人兴奋的新功能和普遍的节俭，中国消费者开始延长智能手机的使用寿命。与汽车和洗衣机一样，投资者希望激励措施能够重振全球最大的智能手机市场，不仅能推动华为和小米等品牌的销售，还能刺激阿里巴巴和京东等受设备爱好者欢迎的平台的业务。此举是中国努力鼓励消费以抵消任何新的美国对华出口关税影响的一部分，而这些关税一直是重要的增长动力。上个月，中国高层领导人十年来第二次将刺激消费和内需作为2025年的首要任务。国家发改委副秘书长袁达表示，政府将大幅增加超长期特别国债的销售，为该计划提供资金，该计划还鼓励企业升级设备。2024年末，一些省份已经启动了自己的个人设备和手机以旧换新计划，但全国范围内的举措可能会更有效。中央政府7月份承诺，将从特别国债筹集的3000亿元人民币（411亿美元）资金用于支持补贴。包括地方政府的努力，从9月份开始，这些激励措施导致汽车和家用电器销量激增。袁达表示，对升级业务设备的补贴也将扩大到包括农业设施在内的领域。他表示，该计划扩大的具体方案将很快发布。中国此前曾对手机购买进行补贴，作为2007年末开始应对全球金融危机影响的大规模消费刺激计划的一部分。该计划针对农村居民，还涵盖家用电器、电脑和汽车，于2013年结束。
阅读更多
一位自由职业者分享了他两年内从获得第一个客户到建立小型软件服务公司的经验。文章详细描述了他在简历制作、自我介绍、时间规划和工具运用等方面的技巧，并强调了量化成就、准备简洁的自我介绍、选择合适的求职时间以及利用工具提高效率的重要性。他从最初两年才找到第一个客户，到后来的六个月、六周就找到新客户，这其中的经验和技巧值得其他求职者借鉴。
阅读更多
Holepunch团队发布了Bare，一款极简的JavaScript运行时，可在桌面和移动设备上运行。它速度快、模块化且高效，通过拥抱模块化和通用兼容性，重拾Node.js的初衷。Bare专注于点对点应用，可跨平台运行，并与Holepunch的Pear运行时无缝集成，实现真正的“一次编写，随处运行”，彻底改变了应用开发模式。
阅读更多
科学家发现海龟利用地球磁场导航，并通过独特的“舞蹈”行为表达对食物地点的记忆。研究人员训练海龟将特定磁场与食物联系起来，结果海龟在感受到该磁场时会兴奋地“跳舞”。这项研究发表在《自然》杂志上，揭示了海龟拥有两种不同的磁感应机制：磁罗盘和磁地图，并暗示这两种机制可能分别进化而来。这为理解动物的磁感应机制提供了重要线索。
阅读更多
WXT是一个开源工具，旨在彻底改变网页扩展的开发方式。它支持Chrome、Firefox、Edge、Safari以及所有基于Chromium的浏览器，并能同时构建Manifest V2和V3扩展程序。WXT拥有闪电般快速的HMR和文件系统入口点，并默认使用TypeScript，提供自动导入功能及自动化发布流程。它与任何前端框架兼容，并支持模块系统和远程代码下载，极大地提升了开发效率，让开发者能够专注于功能开发而非构建脚本。
阅读更多
本文讲述了一个项目经理Sonia发现软件bug，工程师Jerry却认为是用户操作错误的故事。作者作为领导者，先尝试温和沟通，但Jerry态度傲慢，最终作者直接指出Jerry的错误，并要求其改变态度。最终问题解决，但作者也强调了直接沟通的重要性，以及在领导岗位上不应回避冲突，应维护团队的决策和流程。
阅读更多
美国东海岸近期出现大量神秘无人机，引发广泛关注和恐慌。这些无人机大小如同SUV，出现在新泽西州、纽约州等地，甚至影响了机场的运行。联邦调查局等机构虽然介入调查，但目前仍未找到确切答案，说法不一，部分人士猜测与政治阴谋或其他事件有关。事件持续发酵，各方呼吁尽快解决问题，避免造成更大的社会恐慌和安全隐患。
阅读更多
本文探讨了17-19世纪英国海军卓越战力的制度根源。作者认为，并非技术优势，而是巧妙的制度设计，解决了海军将领临阵脱逃的问题。通过高薪、严格的晋升制度、独特的战列线战术以及严厉的《战争法》（甚至包括死刑），英国海军有效地提高了将领的作战积极性，并通过互相监督的机制确保了其执行。蒸汽船的出现改变了海战模式，也最终导致了这些制度的变革。
阅读更多
本文利用语言嵌入技术分析了Pornhub网站从2008年到2023年首页标题的演变。研究发现，网站标题从简单的“辣妹”等描述逐渐转向更具有暴力和乱伦色彩的内容。这种转变与Pornhub的专业化、商业化以及相关法律法规的变动有关。研究者通过计算年度中心点、t-SNE可视化等方法，揭示了标题内容的三个不同时期，并分析了关键词趋势，例如“拉丁裔”等词的市场份额下降，而“乱伦”、“强奸”等词的出现频率显著增加。这项研究引发了对色情产业商业化与内容走向的思考。
阅读更多
Backblaze 对其数据中心使用的 SSD 和 HDD 进行长期可靠性对比研究。初期数据显示 SSD 故障率远低于 HDD，但考虑到 SSD 使用时间远短于 HDD，以及驱动器运行时间的差异，这种结论并不完全可靠。通过对 HDD 数据进行时间回溯，比较相同使用寿命阶段的 SSD 和 HDD，发现两者故障率差异并不显著。长期来看，HDD 故障率随着使用时间的增长而显著上升，SSD 故障率的未来走向仍有待观察，目前基于故障率选择 SSD 或 HDD 并不明智，其他因素如价格、速度等更值得考虑。
阅读更多
一位独立游戏开发者回顾了2024年充满挑战的游戏开发历程。他尝试了三种不同类型的游戏：多人回合制RPG、解谜模拟游戏和合作横版卷轴射击游戏。尽管三个项目都未完成，但他从范围管理、多人游戏机制和美术需求等方面吸取了宝贵的经验教训，例如“从小做起”、“专注于核心游戏循环”、“后期再打磨”等。虽然2024年目标未达成，但他为2025年的游戏开发打下了坚实的基础，并对未来充满信心。
阅读更多
美国国际开发署（USAID），全球最大的对外援助机构，似乎已经名存实亡。预算削减导致其在非洲和亚洲的多个项目被迫关闭，包括艾滋病中心、疟疾防治项目和营养诊所。研究人员预测，未来一年，仅这五个项目的削减就可能导致48.3万至114万新增死亡，五年内则可能导致148万至624万新增死亡。这凸显了国际发展援助在全球健康和福祉中的关键作用，以及其削减可能造成的灾难性后果。
阅读更多
Rebble团队宣布了振奋人心的消息：Google开源了PebbleOS！这将极大加速Rebble开发新硬件的进程，并使其转型为非营利组织，由社区共同拥有。Rebble将继续致力于保护这款经典智能手表，将其作为嵌入式系统教育平台，并通过开源软件保持其生命力。同时，Rebble计划举办黑客马拉松，开发RebbleOS及其他应用，并升级经典Pebble助手Snowy。未来，Rebble将继续秉持用户至上的理念，打造一个开放的社区化智能手表生态。
阅读更多
本文介绍了一种简单易生成的XOR纹理，它通过对像素的x和y坐标进行异或运算生成。虽然XOR纹理在演示或游戏中并不常用，但它非常适合测试纹理映射器。文章详细解释了XOR运算的原理，并探讨了纹理尺寸对颜色亮度的影响，以及如何使用AND和OR运算符生成类似的纹理。最后，作者展示了XOR纹理在三维纹理中的应用示例。
阅读更多
厌倦了耗时费力的UI开发？现在，借助AI驱动的设计工具，你可以将构建复杂UI的时间从3-5天缩短到2-4小时。告别手动实现带来的设计不一致性，AI确保设计的一致性；设计变更也从耗时的手动更新变为几分钟的再生或视觉编辑。代码质量得到保证，学习曲线大幅降低，迭代速度显著提升，开发者体验也从枯燥乏味转变为高效愉悦。
阅读更多
本文介绍了如何仅用100行纯Jax代码从零开始实现LLaMA3模型。作者选择Jax是因为其简洁的语法和强大的功能，例如XLA加速器、JIT编译、vmap向量化等。文章详细讲解了模型的各个组件，包括权重初始化、BPE分词、动态嵌入、旋转位置编码、分组查询注意力机制和前向传播过程。此外，文章还阐述了Jax中独特的随机数生成器管理和JIT编译机制。最后，作者演示了如何使用Shakespeare数据集训练该模型，并给出了训练循环的代码。
阅读更多
为应对日益增长的冲突和盗窃事件，美国零售巨头沃尔玛正在部分门店试行员工佩戴随身摄像头的计划。虽然沃尔玛发言人未透露具体细节，但已有顾客在德克萨斯州等地拍到员工佩戴摄像头，以及门店内部摄像头充电站的照片。该计划旨在提高员工安全，而非单纯防盗，目前仅在一部分市场测试，沃尔玛将根据结果决定是否长期实行。这一举措也反映了零售业对员工安全日益重视的趋势，其他零售商如TJX和Greggs也已采取类似措施。
阅读更多
本文探讨了SaaS平台提供私有部署服务的利弊。虽然私有部署能带来高额收入，但它也伴随着巨大的运营和支持成本。作者指出，私有部署会将SaaS提供商转变为运营或技术支持组织，需要大量人力和资源来维护客户的专属环境。文章建议，除非万不得已，否则应避免私有部署；如果必须提供，则应选择托管式私有部署，并通过合理的合同条款和定价策略来控制风险。
阅读更多
普利策奖得主、华盛顿邮报漫画家Ann Telnaes因其讽刺邮报老板杰夫·贝索斯和特朗普的漫画被拒稿而辞职。漫画中描绘了贝索斯向特朗普献金的场景，邮报以已刊登相关评论为由拒绝发表，Telnaes认为这是对新闻自由的威胁，最终选择辞职。这一事件引发争议，美国编辑漫画家协会批评邮报“政治怯懦”。
阅读更多
美国一架美国鹰航空公司飞机与黑鹰直升机相撞事故发生后，各种说法层出不穷。有人指责多元化招聘导致不合格的空中交通管制员，也有人建议关闭华盛顿国家机场。然而，文章指出事故的真正原因在于美国空中交通管制系统的严重落后：陈旧的设备、繁琐的手工流程、以及数十年来技术升级的失败。文章揭示，美国联邦航空管理局（FAA）的技术问题远比多元化招聘的影响更为严重，其自身监管和采购体系的低效也是重要原因。FAA落后的技术和低效的管理才是导致空中交通事故频发和人员短缺的根本原因。
阅读更多