这篇文章讲述了作者David决定写一本关于应用密码学的书的原因。David是zkSecurity的联合创始人和《Real-World Cryptography》一书的作者,曾担任过O(1) Labs的密码架构师、Novi (Facebook) Diem(前身为Libra)的安全主管以及NCC Group密码服务部门的安全顾问。他发现现有的密码学资源要么过于理论化,要么已经过时,无法满足实际应用的需求。作者在工作中积累了丰富的实战经验,亲眼目睹了许多密码学应用的失败案例,因此他希望将自己的知识和经验分享给更多的人,帮助他们了解现代应用密码学,避免常见的错误。
这篇文章介绍了一本关于基于物理的深度学习的电子书,该书旨在全面介绍深度学习在物理仿真中的应用。书中包含丰富的代码示例,涵盖了监督学习、物理损失约束、可微分仿真、强化学习和不确定性建模等主题,旨在帮助读者了解如何将物理模型与深度学习技术相结合,以改进计算机仿真效果。
《互联网电话簿》是一个实体目录,旨在探索浩瀚的诗意网络世界,其中收录了数百名设计师、开发者、作家、策展人和教育工作者的个人网站。该项目正在公开征集个人网站,并将收录于将于2024年9月20日在斯洛文尼亚卢布尔雅那建筑与设计博物馆举行的Naive Yearly活动上发布的第一版书籍中。
mandala是一个实验跟踪框架,它通过@op装饰器自动捕获Python函数调用的输入、输出和代码依赖,并通过ComputationFrame数据结构自动将代码执行组织成计算图。它可以自动复用过去的结果,避免重复计算,并支持版本控制和查询。与其他实验跟踪框架相比,mandala更细粒度地集成到Python代码执行中,并提供更强大的查询和操作功能。
根据英国国家统计局的数据,英国数字产业就业增长率降至十年来最低,仅为0.3%,远低于英国整体经济的就业增长速度。这引发了对英国科技行业停滞的担忧,薪资增长也陷入停滞,数字行业员工的时薪仅增长了1%左右。新任科学、创新和技术大臣彼得·凯尔承诺将重振该行业,并表示英国的数字经济充满活力,但其潜力尚未得到充分挖掘。
ParadeDB 宣布 pg_lakehouse 现在支持使用 DuckDB 查询 S3 和 Google Cloud Storage 上的 Iceberg 表格。此前,pg_lakehouse 使用 DataFusion 作为查询引擎,但 DuckDB 对 Iceberg 的出色支持、广泛的用户熟悉度以及更优的性能表现,使其成为更合适的选择。未来,ParadeDB 计划为 pg_lakehouse 添加写入支持,使用户能够将 Postgres 表格复制到外部对象存储中。
位于明尼苏达州北部的一个大型氦气储量可能比最初估计的还要大,其浓度也可能更高。新的地震数据表明,该储层在地表以下530至670米处,横向和深度都可能非常广阔。实验室测试显示,该储层的氦气浓度高达8.7%至14.5%,是迄今为止业界发现的最高浓度。这一发现对全球氦气市场具有重要意义,因为它可以缓解目前氦气供应短缺的问题。
麻省理工学院和哈佛大学Broad研究所的研究人员开发出一种名为CHARM的基因沉默工具,可以关闭导致疾病的基因,例如朊病毒蛋白基因。CHARM通过表观遗传编辑起作用,在DNA中添加化学标签以关闭或沉默目标基因。与基因编辑不同,表观遗传编辑不会改变底层DNA,并且是稳定的,这意味着被CHARM关闭的基因应该会保持关闭状态。研究人员认为CHARM可以有效治疗遗传性疾病,例如遗传性朊病毒疾病。
这篇文章分析了 Xata 公司提供免费 Postgres 数据库服务的经济可行性。Xata 通过共享集群和数据库迁移技术,将大量免费数据库部署在相对强大的集群上,并根据数据库活跃度进行分组,从而降低成本。文章详细解释了成本构成,包括计算成本和存储成本,并与 Supabase、PlanetScale 和 Neon 等公司的免费策略进行了比较。
据英国广播公司报道,微软被指控永久封禁居住在美国和其他西方国家、使用Skype与加沙亲属通话的巴勒斯坦用户的微软账户。微软对此回应称,封禁是由于“涉嫌欺诈活动”,但许多被封禁的用户表示,他们只是在与家人联系,并对微软缺乏透明度和解释表示担忧。
CodeMirror 是一款功能强大的开源 Web 代码编辑器组件,支持语法高亮、代码折叠、自动补全等多种功能。它支持多种语言,并提供丰富的 API 接口以进行扩展。CodeMirror 还具备良好的可访问性和移动设备支持,适用于各种 Web 开发场景。
WebVM 是一款能够在 WebAssembly 中运行 Linux 虚拟化的工具。用户可以通过网页浏览器访问 WebVM,并在其中运行完整的 Linux 操作系统。该项目为用户提供了一个简单易用的界面,可以通过图形界面或命令行与虚拟机进行交互。
这篇文章讲述了作者在朝鲜作为外交官工作三年的经历。文章详细描述了在朝鲜的生活条件、社交活动、文化习俗以及与当地政府和居民的互动。作者讲述了他在平壤的生活,包括住房、食物、交通和娱乐,并分享了一些趣事,例如购买了一辆中国产的“哈雷”摩托车,以及每年一度的泡菜周。文章还涉及到作者在朝鲜的工作内容,包括建立大使馆、与当地政府打交道以及接待外宾等。
《苏美尔游戏》是1964年为课堂设计的教育游戏,是第一个叙事电子游戏,也是第一个由女性Mabel Addis编写的电子游戏。它是一款资源管理游戏,玩家扮演苏美尔城邦拉格什的统治者,通过做出决策来维持王国繁荣。游戏包含幻灯片、录音带过场动画和基于文本的交互,是教育娱乐游戏的先驱,但随着时间推移逐渐被人遗忘。
本文介绍了如何使用llm.c在单个8卡H100节点上,花费24小时,复现GPT-2 (1.6B)模型。文章详细介绍了训练过程、参数设置、内存优化技巧以及与PyTorch实现的性能比较。此外,还展示了模型在FineWeb-EDU验证集和HellaSwag评估集上的性能表现,并讨论了模型训练的稳定性问题以及未来的改进方向。
市场研究显示,苹果首款售价高昂的头显Vision Pro在2024年的销量将持续低迷。分析师预计,到8月底,Vision Pro的销量将暴跌75%。尽管苹果已将Vision Pro推向国际市场,但高昂的价格仍然是阻碍其销售的主要因素。有传言称苹果正在开发一款价格更低廉的Vision设备,预计将于2025年下半年发布,但这能否挽救Vision Pro的颓势还有待观察。
华沙大学和牛津大学的物理学家们在一篇论文中指出,超光速粒子(也称快子)的存在与狭义相对论并不矛盾。他们认为,要计算涉及快子的量子过程的概率,不仅需要知道其过去的初始状态,还需要知道其未来的最终状态。这种对过去和未来状态的混合导致了一种新型量子纠缠的出现,这种纠缠在传统的粒子理论中是不存在的。
eCapture 是一款使用 eBPF 技术,无需 CA 证书即可捕获 SSL/TLS 明文的工具。它支持 Linux/Android x86_64 4.18 及以上、aarch64 5.5 及以上内核版本,但不支持 Windows 和 macOS 系统。eCapture 提供多种功能,包括捕获 OpenSSL、GnuTLS、NSPR、BoringSSL 和 GoTLS 等加密库的明文,以及对 Bash、MySQL 和 PostgreSQL 应用进行软件审计。
Patterns ID 网站更新了主要功能:Conditional Statistics™ Inspector。新功能提供更深入、更具互动性的市场趋势分析,帮助用户改进交易策略。Conditional Statistics™ Inspector 窗口包含一个详细表格,显示与所选指标相关的所有类别的 Conditional Statistics™,用户可以一目了然地了解不同条件如何影响历史价格变化。此外,柱状图和条形图分别直观地展示了历史价格百分比变化和历史价格变化,帮助用户快速掌握价格变化的分布和频率,以及跟踪不同条件下的趋势和过去的表现。
Dynolog是一款面向异构CPU-GPU系统的轻量级监控守护程序,支持持续性能监控和深度分析模式。它与PyTorch Profiler和Kineto CUDA分析库集成,为AI训练应用提供全面支持。Dynolog利用硬件和Linux内核提供的接口,监控CPU、存储、网络、GPU等资源的使用情况,并提供详细的性能指标。此外,Dynolog还支持按需CPU-GPU分析,允许用户在无需修改代码的情况下随时触发CPU-GPU分析,方便开发者深入了解系统性能瓶颈并进行优化。
英国和瑞士的物理学家团队从分形几何和国际象棋中汲取灵感,创造出据说是世界上最难的迷宫。他们利用一种名为Ammann-Beenker瓷砖的模式,生成了称为哈密顿循环的路线,这种模式产生复杂的分形迷宫,据他们说,这种迷宫描述了一种被称为准晶体的奇异物质形式。这项研究的意义远远超出了娱乐的范畴,它有可能解决从复杂的路线寻找系统到蛋白质折叠等许多其他棘手的数学问题,甚至对碳捕获也有影响。
由于谷歌Play商店拒绝授予Syncthing访问设备存储的权限,Syncthing Android 应用将暂停在该平台发布更新。开发者已多次与谷歌方面沟通,但未得到有效回应。建议用户转向F-Droid平台获取Syncthing更新。
Korvus 是一款开源 RAG 搜索 SDK,基于 Postgres 构建,可将整个 RAG 流程整合到单个数据库查询中。它支持 Python、JavaScript、Rust 和 C 等多种编程语言,并提供嵌入生成、向量搜索、重新排序、文本生成等功能,所有操作都通过高效的 SQL 查询在 Postgres 数据库中执行,具有高性能、可定制化和易于扩展等优点。
FlashAttention-3是一种针对英伟达Hopper GPU架构优化的注意力机制算法。它利用了异步Tensor Core和TMA、warp specialization、GEMM与softmax操作交织以及FP8低精度计算等技术,显著提升了注意力机制的速度和效率。相比FlashAttention-2,FP16精度下速度提升1.5-2倍,FP8精度下接近1.2 PFLOPS,且量化误差更小。
本文介绍了英国物理学家保罗·狄拉克的生平和科学成就。狄拉克对量子力学的建立做出了决定性贡献,并提出了著名的狄拉克方程,成功解释了电子的自旋和磁性,并预言了反物质的存在。此外,他还致力于解释电荷量子化问题,并提出了磁单极子的概念。狄拉克对物理学的贡献深刻影响了20世纪物理学的发展。
受疫情期间过度招聘和管理不善的影响,电子游戏行业在经历了 2023 年的裁员潮后,正面临着严重的资金困境,预计 2024 年将出现工作室倒闭潮。这对独立游戏开发者来说更是雪上加霜,许多小型工作室因资金短缺被迫关闭或暂停运营,导致大量人才流失,并扼杀了游戏的创造力和多样性。
文章介绍了美国宇航局计划在2040年代发射的可居住世界天文台(HWO),这是一个旨在寻找太阳系外生命迹象的太空望远镜。HWO的设计得益于SpaceX的星舰、蓝色起源的新格伦和NASA的SLS等超重型运载火箭的出现,这些火箭突破了以往运载火箭的质量限制,使得建造更大、更灵敏的太空望远镜成为可能。文章还详细介绍了HWO的设计目标、关键技术以及未来发展方向。