mem-isolate：安全运行不安全代码的利器
2025-04-06
mem-isolate 利用fork()机制在隔离进程中运行函数，返回结果到父进程，从而避免不安全代码影响父进程内存。它能处理内存泄漏、堆碎片等问题，即使函数本身不纯净，也能保证其内存纯净性。该库目前仅支持类Unix系统，在性能方面，相比直接调用函数，额外开销约为1ms，对于内存安全至关重要的场景，这是一个可以接受的权衡。
阅读更多9400小时打造的自动演奏吉他系统：售价4万美元
2025-08-15
吉他手兼电气工程师Michael Kuzma耗时9400小时，创造了一个可以安装在任何吉他上的自动演奏系统。该系统由3D打印部件、电机、皮带传动装置、电缆传动装置、致动器和拨片组成，能够进行拨弦和按弦。虽然还无法演奏Hendrix的曲目，但可以胜任Oasis的歌曲。Kuzma已经用它进行无人值守的街头表演，并且由于其机器人特性，它可以实现人类无法达到的速度，例如每秒44个音符。目前，Kuzma定制生产这些系统，起价4万美元，具体价格取决于定制要求、选择的吉他底座和送货地点。
阅读更多Go语言事件溯源工具库Chronicle：类型安全且实用的现代事件溯源
2025-09-01
Chronicle是一个用Go语言编写的现代事件溯源工具库，它以实用性和类型安全为设计理念。通过嵌入aggregate.Base结构体简化聚合根的版本控制，并利用sum type确保类型安全。Chronicle支持多种事件日志存储后端（内存、SQLite、PostgreSQL等），并提供乐观并发控制、快照机制、事件元数据、事件转换器等高级特性，有效应对高并发、数据安全和性能挑战。
阅读更多
开发
带注释的Transformer详解：一行一行代码实现
2025-08-26
本文档提供了一个带注释的Transformer论文的逐行代码实现版本。它重新排序并删除了原始论文中的一些部分，并在整个过程中添加了注释。该文档本身就是一个可运行的notebook，包含一个完整的可用实现。代码基于PyTorch，并详细解释了Transformer的架构，包括编码器、解码器、注意力机制、位置编码等，还包含了训练过程和一个真实的例子（Multi30k德英翻译任务）。
阅读更多
开发
五角大楼软件采购系统大换血：安全至上
2025-05-07
美国国防部（DoD）正在对其“过时”的软件采购系统进行彻底改革，并坚持将安全放在决策过程的首位。国防部首席信息官凯蒂·阿林顿启动了“软件快速通道”（SWFT）计划，旨在改革软件的获取、测试和授权方式。该计划旨在解决当前采购流程缓慢、缺乏供应链可见性以及对开源软件安全性的担忧等问题。SWFT计划将制定明确的网络安全和供应链风险管理要求，并利用AI技术提高软件授权效率。国防部希望在90天内完成SWFT框架和实施计划的制定，以确保为军队提供高质量的安全的软件，提高作战能力和韧性。然而，DoD自身的安全记录却令人担忧，近期发生的网络攻击和信息泄露事件凸显了其安全漏洞。
阅读更多
科技
软件采购
特朗普政府叫停近乎完工的风电项目，引发能源行业震荡
2025-08-24
特朗普政府以“国家安全”为由，叫停了位于罗德岛附近、已接近完工的Revolution Wind海上风电项目，这是其近期一系列打压可再生能源产业行动的最新举措。此举不仅导致项目开发商面临巨额损失和法律诉讼，也引发了能源行业对美国投资环境的担忧，并可能推高能源价格。业内人士批评此举短视，认为阻碍可再生能源发展不利于满足美国日益增长的能源需求。
阅读更多
科技
重拾古法：百年土地估价秘籍Somers系统
2025-06-01
本文探讨了上世纪初的Somers土地估价系统。该系统并非依赖复杂的计算机技术，而是通过社区集体协商确定地价，再用算法计算最终地价。作者详细介绍了该系统的两阶段流程：第一阶段，召集当地居民集体评估街道地价；第二阶段，用算法根据地价图计算每个地块的地价。尽管该系统已逐渐被遗忘，但作者认为它在缺乏交易数据的情况下仍具有实用价值，并尝试用现代GIS技术复现该系统。
阅读更多重读歌德：一位被遗忘的天才及其对现代世界的深刻影响
2025-05-21
A. N. Wilson的新书《歌德：浮士德般的一生》重新审视了这位被英语世界忽视的伟大天才。歌德不仅是一位杰出的诗人，也是一位科学家、哲学家和政治家，其思想深刻影响了19世纪的德国，甚至对达尔文的进化论也有启发。Wilson将歌德的一生与他的代表作《浮士德》联系起来，展现了他如何将自身经历融入创作，并创造了一个关于现代人追求知识和真理的“神话”。书中也探讨了歌德独特的科学观，他强调整体性和对自然的敬畏，反对将自然简单地分解成可测量的单元。歌德的思想对我们理解科学与艺术的关系，以及人与自然的关系具有重要的启示意义。
阅读更多
杂项
阿波罗15号：月球上的首次飙车
2025-08-04
1971年，阿波罗15号任务中，宇航员戴维·斯科特和詹姆斯·艾尔文驾驶月球车，成为首批在月球表面驾驶的人。这款电池驱动的月球车时速可达12英里，使宇航员能够进行比以往更长的月球探险。它在月球上的重量仅为77磅，却能承载两名宇航员、相机、设备和数百磅的样本。经过严格测试，月球车经受住了极端温度和坠落冲击的考验，最终在阿波罗15号任务中收集了170磅的月球样本。如今，这辆月球车仍静静地停留在月球近侧。
阅读更多
科技
阿波罗15号
宇宙热寂假说：终结还是延续？
2025-08-30
本文探讨了宇宙热寂假说，即宇宙最终将走向熵增最大化，一切秩序消亡的理论。文章指出，这一假说可能基于对热力学第二定律的误解。宇宙并非封闭系统，其持续膨胀，且暗能量的存在使得熵增可能无法导致宇宙秩序的完全瓦解。一些科学家认为，宇宙的复杂性可能在不断增加，生命在其中扮演着关键角色，通过不断利用宇宙中的自由能，维持自身的组织性并创造更多复杂性。因此，宇宙的未来并非注定走向终结，而是存在持续演化的可能性。
阅读更多中国超音速飞行器“飞天-2”试飞成功，挑战美国技术霸权
2025-07-02
西北工业大学近日成功试飞了自主研发的超音速飞行器“飞天-2”，其速度达到12马赫，并实现了火箭和冲压发动机之间的自主切换。这项技术突破不仅展现了中国在高超音速技术领域的显著进展，也对美国在该领域的科技霸权构成挑战。美国一直密切关注中国在高超音速武器方面的进展，并采取措施限制中国获取相关技术。此次试飞成功，意味着中国在克服技术封锁方面取得了重大进展，未来或将对国际军事格局产生深远影响。
阅读更多
科技
华硕ROG游戏本固件Bug深度调查：CPU核心被困住的13毫秒
2025-09-17
许多华硕ROG游戏本用户都遇到过系统卡顿、音频爆音等问题。传统方法都无法解决，原因在于BIOS固件中存在一个ACPI相关的Bug。深度技术调查发现，固件中一个中断处理程序会休眠100毫秒，导致CPU核心被阻塞，并周期性地尝试开关独显，即使在独显直连模式下也如此，最终可能导致蓝屏死机。该Bug源于固件设计缺陷，未正确处理中断上下文，且缺乏平台感知能力。数百万台华硕游戏本受影响，厂商尚未回应。
阅读更多苹果论文重锤打击大型语言模型：汉诺塔难题暴露其局限性
2025-06-08
一篇来自苹果的论文引发了人工智能领域的震动。该论文指出，即使是最新一代的“推理模型”，也无法可靠地解决经典的汉诺塔问题，暴露了大型语言模型（LLM）在推理能力上的重大缺陷。这与Gary Marcus和Subbarao Kambhampati等学者的观点不谋而合，他们长期以来一直批评LLM的泛化能力不足。论文指出，LLM即使在给出解决方案算法的情况下，仍然无法有效解决问题，其“推理过程”并非真正意义上的逻辑推理。这表明，LLM并非通往通用人工智能（AGI）的直接途径，其应用场景仍需谨慎评估。
阅读更多
AI
鲍伊1996年的网络单曲实验：一次颠覆音乐分发的尝试
2025-05-07
1996年，在线音乐零售蓬勃发展，但数字下载和流媒体却面临挑战。大卫·鲍伊的单曲《Telling Lies》成为一次关键实验。鲍伊与N2K合作，通过其官网发布这首单曲，提供多种格式下载，包括低质量的RealAudio和Shockwave音频流，以及更高质量但下载时间长达45分钟的Liquid Audio版本。尽管面临低带宽、下载速度慢和服务器错误等问题，单曲在发布一周内仍获得了45万次下载，成为一次成功的营销事件，预示着数字音乐分发的未来，也印证了鲍伊勇于尝试的冒险精神。
阅读更多WhippyTerm：为嵌入式开发者打造的现代化终端程序
2025-05-06
WhippyTerm是一款现代化的终端程序，专为嵌入式开发者设计，拥有现代化的UI界面，支持Windows和Linux等现代操作系统。其独特功能包括书签、内置十六进制转储、插件扩展以及对二进制协议的原生支持。它支持串口通信（RS232、RS485、RS422、TTL UART）、TCP/IP、UDP，并通过插件支持I2C和SPI等协议。此外，它还支持ANSI和VT100等终端仿真，以及处理RS232等串行流和UDP等消息块协议中的二进制协议。
阅读更多
开发
二进制协议
以色列国防军犬只部队Oketz：城市战中的犬类力量
2025-01-02
本文讲述了以色列国防军特种犬只部队Oketz在加沙地带城市战中的经验。Oketz部队的犬只在探测爆炸物、搜寻幸存者和进入隧道等方面发挥了关键作用，极大提高了作战效率并降低了士兵伤亡。文章总结了Oketz部队的四个成功经验：远程操控和技术整合、部队规模灵活调整、团队部署提升心理健康、以及对细节的关注。这些经验对美国军方改进其军犬运用具有借鉴意义，但也需要正视高强度作战中人员和犬只的巨大牺牲。
阅读更多
军事
犬只
火星地底惊现巨大液态水库：红色星球的秘密
2025-05-12
一项新的研究利用NASA洞察号任务的地震数据，发现了火星地表下5.4到8公里深处存在一个巨大的液态水库的证据。这个水库可能含有足以覆盖火星全球的液态水，其体积与火星“失踪”的水量相符。这一发现不仅解释了火星古代海洋的去向，也为未来火星探测和寻找地外生命提供了新的方向。火星地下水可能支持简单的生命形式，甚至为未来的宇航员提供宝贵的资源。
阅读更多
科技
用Calligraphr自制个性化网站字体：告别开源工具的痛苦
2025-09-06
作者为了让个人网站更个性化，决定制作一个手写体字体。尝试使用开源工具Inkscape和FontForge后，因其复杂的UI和操作而放弃。最终选择付费订阅Calligraphr，通过打印模板、手写、扫描的方式生成字体。Calligraphr易用的UI和强大的功能让作者高效完成了字体制作，并对Calligraphr的公平定价和用户友好的数据管理策略表示赞赏。
阅读更多OAuth 2.0：安全地授权第三方应用访问你的数据
2025-08-25
OAuth 2.0 是一种授权协议，允许用户授权第三方应用访问其账户数据，无需共享密码。文章详细解释了 OAuth 2.0 的工作流程，包括用户授权、授权码获取、访问令牌交换等步骤，并强调了安全性，例如避免在 URL 中直接传递访问令牌。文章还介绍了 OAuth 2.0 中的关键术语，如资源拥有者、OAuth 客户端、授权服务器和资源服务器等，以及前端通道和后端通道的概念，并解释了 PKCE 机制在无后端应用中的作用。
阅读更多
开发
特朗普政府欲叫停NASA关键碳监测卫星？
2025-08-06
据报道，特朗普政府曾要求NASA制定计划，终止至少两项主要的卫星任务，其中一项涉及将卫星送入大气层烧毁。这两项任务——轨道碳观测站（OCO）——收集的数据被科学家、能源公司和农民广泛使用，用于监测地球大气中的二氧化碳和植物生长情况，是唯一专门监测全球变暖温室气体的联邦卫星任务。尽管NASA内部评估认为数据质量极高，且继续任务至少三年是合理的，但终止计划仍在推进。此举引发了科学界和国会的强烈反对，认为这不仅会造成巨大的科学损失，更会危及国家安全和粮食安全。
阅读更多
科技
马斯克与萨姆·哈里斯的百万美元赌局：一场关于疫情预判的友谊破裂
2025-01-15
本文讲述了萨姆·哈里斯与埃隆·马斯克之间友谊破裂的故事。2020年疫情初期，马斯克轻视疫情，哈里斯劝说无效，两人甚至打了个赌，赌疫情在美国的感染人数。最终，马斯克输了赌局，也输掉了友谊，这篇文章揭示了两人观点分歧以及马斯克在社交媒体上对哈里斯的持续攻击。
阅读更多
杂项
萨姆·哈里斯
PostgreSQL复制槽位创建中的一个棘手Bug及修复
2025-07-15
ClickPipes团队在使用PostgreSQL的逻辑复制槽位创建时遇到一个奇怪的bug：一个本来只需几秒钟的查询却耗时数小时，且无法终止。经过调查，发现这是PostgreSQL自身的一个bug，该bug在读副本上创建逻辑复制槽位时，由于等待主库事务完成而陷入长时间的休眠循环，导致无法中断。团队提交了一个补丁到PostgreSQL社区，该补丁添加了中断检查，有效解决了这个问题。此案例说明即使是成熟的数据库系统，也可能存在一些意想不到的边缘情况，开源社区的协作对于解决这些问题至关重要。
阅读更多
开发
逻辑复制
Citybound：百万人生成城市模拟器
2025-08-15
Citybound是一款雄心勃勃的开源城市建设游戏，它使用微观模型来模拟由数百万个体互动而产生的城市有机体。游戏中，每个家庭或企业都被单独模拟，拥有自己的资源清单，并通过交易来满足需求，从而形成自然涌现的经济模式。该游戏还拥有微观交通模拟、基于行为的协同规划和创新的技术架构，例如基于Actor的分布式模拟引擎和Rust-WASM-JS桥接。Citybound的目标是模拟数百万人口的大型城市，并通过高效的实时交互编辑功能和社区合作实现。
阅读更多小模型的崛起：300亿参数也能很“小”
2025-05-24
曾经，“小模型”意味着几百万参数，能跑在树莓派上。但如今，300亿参数模型只需单卡GPU就能运行，定义已悄然改变。现在，“小模型”更注重部署便捷性，而非参数量。它们分为边缘优化模型（例如Phi-3-mini，可在移动设备上运行）和GPU友好型模型（例如Meta Llama 3 70B，单卡GPU即可运行）。小模型的优势在于专注特定任务，效率更高，更容易微调。即使是700亿参数模型，经过量化优化后，也能在高端消费级GPU上流畅运行。这标志着小模型时代来临，它们将为创业公司、开发者和企业带来更多可能性。
阅读更多
AI
小模型
Engelbart的五键键盘：鼠标的完美搭档
2025-06-15
在发明鼠标的同时，道格·恩格尔巴特及其团队还创造了一种名为“五键键盘”的单手输入设备，它与鼠标配合使用，实现了高效的单手文本编辑和命令输入。这种设计灵感源于电报员和速记员的设备，用户通过组合按下五个按键来输入字母和命令，鼠标按键则充当Shift键和Ctrl键的功能。这种人机交互方式在1968年的“所有演示之母”中惊艳亮相，为高性能用户界面设计提供了新的思路，即使在单手操作鼠标时也能快速高效地进行文本编辑。
阅读更多
科技
五键键盘
智利帕瑞纳天文台面临工业巨型项目威胁
2025-01-12
智利阿塔卡马沙漠的帕瑞纳天文台，拥有全球最黑暗、最清澈的夜空，其天文观测能力正面临严重威胁。一个名为AES Andes的工业巨型项目计划在其附近建设，该项目包括港口、氨和氢气生产厂以及数千个发电单元，产生的光污染和大气湍流将对天文观测造成不可逆转的损害。该项目距离帕瑞纳天文台仅5至11公里，威胁到该天文台以及即将建成的全球最大望远镜——极大望远镜（ELT）的观测能力。ESO呼吁重新选址该项目，以保护这片珍贵的黑暗夜空，这是全人类的宝贵遗产。
阅读更多
科技
帕瑞纳天文台
Nvidia发布巨型多语言AI数据集Granary，助力欧洲语言AI翻译
2025-08-24
Nvidia发布了名为Granary的巨型开源多语言语音数据集，包含超过百万小时的音频数据，用于训练AI翻译模型。该数据集支持近所有欧盟官方语言以及俄语和乌克兰语，尤其注重那些数据匮乏的语言，例如克罗地亚语、爱沙尼亚语和马耳他语。同时，Nvidia还发布了Canary和Parakeet两个新的AI模型，分别针对高精度和高速低延迟翻译任务优化。Granary数据集显著减少了训练AI模型所需的数据量，为开发更具包容性的语音技术奠定了基础。
阅读更多
AI
多语言数据集
用Pixel 5手机和太阳能打造的离线博客
2025-09-03
一位Android爱好者成功地将自己的Hugo博客部署到了一部旧的Google Pixel 5手机上，并利用太阳能供电。他巧妙地利用Termux终端模拟器，安装了Hugo、SSH等必要工具，实现了博客的运行和维护。该方案不仅环保节能，而且运行稳定可靠，性能与传统服务器不相上下，充分展现了低功耗设备的强大潜力。
阅读更多
开发
离线博客
斑马鱼心脏再生机制：基因电路的秘密
2025-07-01
加州理工学院和加州大学伯克利分校的研究人员发现，斑马鱼心脏再生能力背后的基因电路，为人类心脏损伤修复提供了新的线索。研究发现，源自神经嵴细胞的心肌细胞负责协调斑马鱼心脏的重建过程。这些细胞在胚胎发育过程中激活特定基因，而在成年期这些基因失活，但在损伤后被重新激活，从而实现再生。研究团队正试图找出触发基因激活的信号，并利用CRISPR技术研究在人体心肌细胞中重新激活这些基因的可能性。这项研究为治疗心脏病，例如心脏病发作或先天性心脏缺陷，带来了新的希望。
阅读更多AI代码审查工具公司Greptile招募设计/产品工程师
2025-03-05
Greptile，一家开发面向大型真实世界代码库的AI开发者生产力工具的初创公司，正在招聘设计/产品工程师。他们已经获得了530万美元的融资，服务于包括Raycast、PostHog等在内的1000多个软件团队，月增长率达20-30%。理想候选人应具备扎实的TypeScript/JavaScript编程技能、UI/UX设计经验，以及良好的团队合作能力。公司位于旧金山，要求候选人具备美国工作许可并愿意搬迁。
阅读更多
开发