本文讲述了邮轮历史学家Peter Knego致力于拯救即将报废的老式邮轮的故事。他多次前往印度阿朗的拆船厂,冒着风险抢救船上的历史文物,并将它们收藏在家中。Knego对老式邮轮的热爱源于儿时的梦想,他认为这些船舶代表了一个时代的优雅和独特,而现代邮轮则更注重娱乐和感官刺激。他希望通过自己的努力,让未来的人们也能了解这些海上巨人的历史和文化价值。
阅读更多
功能性超声波成像(fUSI)是一种很有前景的脑活动成像新技术,空间分辨率优于功能性磁共振成像(fMRI),且硬件成本低。然而,颅骨对超声波的衰减和扭曲一直是fUSI应用的主要障碍。本文作者团队通过实验测量发现,颅骨对超声波的衰减并没有文献报道的那么高,并开发了一种去畸变算法,可以有效校正超声波穿过颅骨后的信号失真。实验结果表明,该算法在2D模拟和3D打印材料中均能有效工作。此外,团队还搭建了一个多普勒测试平台,用于模拟真实脑组织环境,并探讨了fUSI穿透颅骨进行成像的可行性。
阅读更多
本文介绍了朱诺号探测器上的朱诺相机(JunoCam)及其图像处理功能。公众可以下载朱诺相机拍摄的木星原始图像,进行图像处理,并将作品上传到网站分享。由于木星强烈的辐射带影响,朱诺相机的某些部件性能有所下降,导致动态范围减小,背景噪音增加,科学家鼓励公众探索新的图像处理方法,以展现木星及其卫星的美丽和奥秘。文章详细介绍了朱诺相机的工作原理、图像格式、滤镜类型以及时间延迟积分(TDI)技术,并鼓励公众积极参与图像处理,为科学研究和艺术创作做出贡献。
阅读更多
该项目名为NFQDA(Nondeterministic finite queued dialog automaton,非确定性有限队列对话自动机),由Zeno Endemann创建并托管在GitLab平台上。项目包含一个README文件,创建于2024年10月29日。目前该项目有3次提交,1个分支,0个标签。
阅读更多
Garak是一款用于评估大型语言模型(LLM)漏洞的命令行工具。它通过静态、动态和自适应探测来识别LLM中的弱点,例如幻觉、数据泄露、提示注入、错误信息、毒性生成和越狱等。Garak支持多种LLM,包括Hugging Face、OpenAI、Replicate、Cohere、Groq、ggml、REST API以及私有模型等。用户可以通过指定模型类型和名称,选择不同的探测方式进行测试,并获得详细的评估报告。
阅读更多
本文探讨了多宝乐(Dobble/Spot It!)卡牌游戏的数学原理。游戏规则要求任意两张卡牌都只有一个共同符号。作者从最简单的例子开始,逐步增加符号数量,探索了卡牌数量、每张卡牌符号数量以及总符号数量之间的关系。作者推导出了一些公式,例如当每张卡牌有s个符号时,最多可以创建s+1张卡牌,使用s(s+1)/2个符号;当卡牌数量为k时,每张卡牌的最少符号数量为(1+√(4k-3))/2向下取整。此外,作者还引入了“多宝乐数”的概念,即n=k=s^2-s+1,并通过矩阵和几何方法解释了这些数学关系。最后,作者讨论了实际游戏中卡牌和符号数量的设计,并提供了一些相关链接。
阅读更多
Fern是一家YC孵化的初创公司,致力于为REST API提供高质量的SDK和文档。该公司位于纽约布鲁克林,目前团队规模不足10人。他们正在招聘一位后端工程师,要求有4年以上后端或全栈开发经验,精通TypeScript和至少另一门编程语言,并有从零开始项目的经验。薪资范围为16.8万至19.2万美元,另有1.8万美元的近办公室居住补贴,以及股票期权、一日三餐和全面的医疗保险。
阅读更多
gptel 是一个用于 Emacs 的简单大型语言模型聊天客户端,支持多种模型和后端。它可以在任何缓冲区中随时随地使用。支持 ChatGPT、Azure、Ollama、GPT4All、Gemini 等多种后端和模型,可以异步快速地流式传输响应。它支持多轮对话、一次性交互、多模式模型(包括图像、文档),并可以将聊天保存为 Markdown/Org/Text 文件以便以后恢复。此外,它还提供了一些额外的功能,例如:添加上下文、重写/重构代码、Org 模式便利功能等。
阅读更多
本文作者是一位大学教授,出于对技能型工作的向往,她学习了焊接并成为一名焊工。她描述了在男性主导的焊接行业中女性面临的挑战,包括体力上的不便、性别歧视以及来自客户和同事的质疑。尽管如此,作者仍然坚持,并从其他女性焊工身上汲取力量,不断提升自己的技能。
阅读更多
BioNTech公司在圣安东尼奥乳腺癌研讨会上公布了其新型双特异性抗体BNT-327的早期临床试验数据。该抗体靶向PD-1/PD-L1和VEGF两种关键蛋白,在三阴性乳腺癌患者中取得了积极的疗效。这项研究基于对免疫检查点抑制剂的发现,有望成为下一代免疫疗法药物的突破性进展,为三阴性乳腺癌以及其他癌症的治疗带来新的希望。
阅读更多
Deegen是一个元编译器,可以自动生成带有JIT功能的高性能虚拟机,用于动态语言。用户只需以C++函数的形式提供字节码的执行语义,Deegen即可生成包含解释器、基准JIT编译器和tier-switching逻辑的双层VM执行引擎。Deegen生成的解释器性能优于现有技术水平,并且首次实现了JIT编译器的自动生成。通过字节码特化、寄存器 pinning、内联缓存等多种优化,Deegen生成的代码质量可与专家手写的汇编代码媲美。使用Deegen实现的LuaJIT Remake (LJR) 在44个基准测试中,解释器性能比官方PUC Lua解释器快179%,比LuaJIT解释器快31%;基准JIT启动延迟极低,执行性能比PUC Lua快360%,仅比LuaJIT的优化JIT慢33%,甚至在13个基准测试中更快。
阅读更多
SCIM(跨域身份管理系统)规范旨在简化云应用和服务中的用户身份管理。它通过提供通用的用户模式、扩展模型和绑定文档,以标准协议交换模式,降低用户管理操作的成本和复杂性。SCIM 2.0构建于对象模型之上,所有SCIM对象都源自资源,并定义了用户、组和企业用户等资源类型。SCIM提供REST API进行资源操作,包括创建、读取、替换、删除、更新、搜索和批量操作。此外,SCIM还提供端点以发现支持的功能和属性细节。
阅读更多
本文展示了一个摩尔曲线沃罗诺伊动画,通过控制孔的数量和移动速度因子来演示其动态变化。动画中,摩尔曲线上的点生成沃罗诺伊图,随着参数的变化,沃罗诺伊单元格也随之改变,形成动态的视觉效果。
阅读更多
12位美国参议员敦促运输安全管理局(TSA)监察长调查该机构使用面部识别技术的情况,称其对隐私和公民自由构成重大威胁。参议员们指出,TSA计划将面部识别技术扩展到430多个机场,并可能将其变成强制性要求,而目前该技术仅在少数机场使用且是可选的。他们还批评TSA在旅客选择退出面部扫描方面存在误导和恐吓行为,且没有证据表明面部识别技术能有效减少旅客延误或阻止禁飞名单上的人登机。参议员们要求TSA监察长评估该项目的效果、识别错误率以及对隐私和公民自由的影响。文章同时指出,旅客可以通过口头拒绝使用面部识别,并出示其他身份证明文件以正常通过安检。
阅读更多
Hugging Face 发布了 SmolLM2 系列轻量级语言模型,包含 135M、360M 和 1.7B 参数三种规模。该模型使用 FineWeb-Edu、DCLM、The Stack 等数据集以及新的数学和编码数据集,共计 11 万亿个token进行训练。SmolLM2 能够在设备上运行,并高效地完成各种任务。模型权重以 Apache 2 许可证发布。Simon Willison 通过 llm-gguf 插件进行了测试,并给出了积极的评价,同时提供了使用 LLM 和 lmstudio-community 运行模型的示例。
阅读更多
goblint-cil是C语言的开源前端,用于简化程序分析和转换。它支持C99、C11和GNU C扩展,改进了原始CIL,包括支持现代OCaml版本、使用Zarith处理整数常量、改进位置信息、移除未维护的扩展和MSVC支持,并使用dune进行构建。用户可以使用cilly作为gcc的替代品或将其作为库使用。
阅读更多
本文档介绍了如何启动和设置 Pulumi 项目,并将其与 DigitalOcean CLI (doctl) 集成,以便在 DigitalOcean 上管理基础架构。文章详细说明了安装 Pulumi、Node.js、Python、doctl 和 Git 的步骤,以及如何使用 TypeScript 创建新的 Pulumi 项目。此外,还介绍了如何生成 doctl 令牌、验证 doctl、标记和推送应用程序镜像到 DigitalOcean Docker Registry,以及使用 Pulumi 和 doctl 创建和管理 Kubernetes 集群等操作。
阅读更多
RingGesture是一种基于环状空中手势的输入系统,旨在为轻量级AR眼镜提供高效的文本输入方案。该系统利用戒指上的电极标记手势轨迹的起止,并结合IMU传感器进行手部追踪,实现类似VR头显中光线投射的空中手势输入体验。为了提高准确性和输入速度,RingGesture采用了一种名为Score Fusion的深度学习单词预测框架,该框架融合了单词-手势解码模型、空间拼写纠正模型和上下文语言模型的得分,以预测最可能的单词。实验证明,RingGesture的平均输入速度为每分钟27.3个单词,峰值性能达到47.9个单词,其Score Fusion框架相比传统方法,未校正字符错误率降低了28.2%,输入速度提高了55.2%。
阅读更多
本文作者讲述了其在MIT本科期间进行硬件安全研究的经历。他们重新实现了一种基于机器学习的网站指纹攻击,意外发现了一种新的侧信道攻击。通过一系列实验,他们排除了CPU缓存、频率和核心资源竞争等已知侧信道,最终利用eBPF证明该攻击主要利用了系统中断侧信道。研究表明,系统中断会泄露用户活动,机器学习辅助的侧信道攻击需要仔细分析,并提出了改进浏览器时钟以缓解攻击的建议。这项研究不仅获得了英特尔和IEEE的奖项认可,也改变了作者的人生轨迹,使其最终走上了学术研究之路。
阅读更多
d2c.sh (Dynamic DNS Cloudflare) 是一个简单的 bash 脚本,用于自动更新 Cloudflare 中 A 和 AAAA DNS 记录的 IP 地址。它使用 TOML 文件配置,可以手动运行或设置为定时任务。该脚本会处理 /etc/d2c/ 目录中所有以 .toml 结尾的文件,并使用机器当前的公共 IP 更新其中配置的记录。
阅读更多
美国食品药品监督管理局(FDA)正式启动程序,将移除非处方药中常用的口服鼻塞药成分苯肾上腺素。FDA认为,苯肾上腺素对缓解鼻塞无效。此前,多项研究表明,口服苯肾上腺素与安慰剂相比,在缓解鼻塞方面没有显著差异。FDA将公开征求意见,如果意见无法改变其结论,该机构将最终确定这一命令,药品制造商将有一段宽限期重新配制其产品。尽管证据确凿,但代表苯肾上腺素产品制造商的行业组织——消费者保健产品协会(CHPA)——仍然对FDA的这一举措提出异议。
阅读更多
考古学家在中亚高山地区发现了两个中世纪城市遗址,塔什布拉克和图贡布拉克。这两个城市位于乌兹别克斯坦东部,海拔约2100米,占地广阔,拥有城墙、建筑、庭院等,可能是丝绸之路上的重要贸易中心。利用激光雷达技术,研究人员绘制了这些城市遗址的详细地图,并发现了陶器、熔炉等遗迹,表明这些城市曾有相当规模的人口,并进行金属冶炼和贸易活动。
阅读更多
本文介绍了后室维基,一个记录了大量后室相关虚构故事的网站。作者从一张2019年发布在4chan上的图片说起,探讨了后室概念的起源和流行,以及其与阈限空间美学的关联。后室维基作为粉丝创作平台,包含了数千页的虚构故事,涵盖了各种各样的层级、实体和设定。作者认为,虽然后室维基上的故事从恐怖角度来看质量不高,但其丰富的想象力和创作力仍然值得关注,并鼓励读者自行探索。
阅读更多
研究人员在亚利桑那州出土了一门与1539-1542年弗朗西斯科·巴斯克斯·德·科罗纳多探险队有关的青铜大炮,这是美国大陆发现的最古老的火器。这门大炮是在圣克鲁斯山谷一个西班牙石头和土坯结构的地板上发现的,经放射性碳测年和光释光技术测定,其年代可追溯到科罗纳多时代。该火炮长42英寸,重约40磅,通常需要两人操作,主要用于防御工事的城墙,科罗纳多探险队用其作为攻击性武器。大炮未装填且没有战斗痕迹,推测其被遗弃的原因可能是当地索拜普里奥哈姆人袭击了定居点,导致西班牙人撤退。
阅读更多
本文介绍了一种名为Iterative BC-Max的新技术,旨在通过改进内联决策来减小编译后二进制文件的大小。该技术通过解决精心设计的监督学习问题而不是使用不稳定且计算量大的强化学习算法来生成决策策略。与现有的强化学习算法相比,Iterative BC-Max具有多项优势,包括更少的编译器交互、对不可靠奖励信号的鲁棒性,以及只需解决二元分类问题。该技术通过迭代地编译程序语料库和学习新的编译策略,最终实现二进制文件大小的减小。实验结果表明,在搜索应用程序二进制文件上,Iterative BC-Max相比于进化策略基线实现了约1%的大小缩减。
阅读更多
Veryfront 推出了一个 Figma Kit,让用户能够在几分钟内设计出令人惊艳的网站。该工具包包含 100 多个组件,支持明暗模式和全响应式设计,简化了设计流程。用户只需选择组件、构建页面、添加内容,然后即可将设计无缝交付给前端开发人员。其直观的工具和预构建组件节省了时间,提高了创造力,获得了用户好评,称其彻底改变了设计流程,提高了效率。
阅读更多
特斯拉宣布进一步推迟 Cybertruck 电动皮卡增程器的生产,并将该增程器所能提供的额外续航里程降低。最初承诺的双电机版续航里程将从470多英里降至445多英里,三电机全地形轮胎版本续航里程降至415多英里。增程器的生产开始时间也从2025年初推迟到2025年中。
阅读更多