零基础:一个无系统Lisp的提议

2024-05-12

文章提出了一个名为“零基础”的提议,旨在完全使用Lisp语言自身来实现Lisp,从而消除对系统语言的依赖。作者认为,这种自托管的实现方式具有工程上的优势,例如简化代码维护、提高性能、增强安全性等。文章探讨了实现这一目标所需克服的挑战,包括编译器、方法查找和垃圾回收,并提供了一些解决方案,如饱和技术、惰性分配模型等。作者主张,通过这些技术,可以创建一个完全自包含的Lisp实现,从而为编程语言的设计和实现开辟新的可能性。

阅读更多
未分类

日本“失落的一代”即将面临养老金危机

2024-05-12
日本“失落的一代”即将面临养老金危机

日本“失落的一代”指的是在1990年代和2000年代初,泡沫经济破裂后经历“就业冰河期”的那一代人。由于错过了获得“正式”工作的短暂窗口期,许多人一直辗转于低薪工作。随着这一代人即将步入退休年龄,日本的公共养老金体系能否支撑他们的老年生活成为一个严峻问题。文章分析了日本两级养老金体系的局限性,以及对“失落的一代”的影响,指出现行制度不足以应对即将到来的养老金危机,需要进行更深层次的改革。

阅读更多

页面去扭曲

2024-05-12

本文介绍了一种页面去扭曲方法,将弯曲页面图像展平。作者使用参数模型来描述页面的外观,并通过优化投影误差来确定模型参数。程序步骤包括:获取页面边界、检测文本轮廓、将文本组合成跨度、对跨度进行采样、创建参数估计、优化参数、重新映射图像和阈值处理。作者还分享了程序运行的统计数据和一些结果示例,并讨论了代码优化和样式检查工具的使用心得。

阅读更多
未分类 页面去扭曲

专业的偷工减料

2024-05-12
专业的偷工减料

本文将软件开发比作传统家具制作,强调专业开发者应像老练的工匠一样,懂得在不影响最终产品质量的前提下,巧妙地“偷工减料”。作者认为,开发者应该勇于承担技术决策的责任,深入理解客户需求,并避免因懒惰而偷工减料,最终以高效的方式交付高质量的软件产品。

阅读更多

fnands - 使用 Mojo 解析 PNG 图像

2024-05-12

这篇文章详细介绍了如何使用 Mojo 编程语言解析 PNG 图像。作者首先解释了 PNG 文件格式,包括文件头、数据块、图像头等部分。然后,文章逐步讲解了如何读取和解析 PNG 文件的各个部分,包括如何处理压缩和过滤后的图像数据。文章还演示了如何将解析后的图像数据转换为 Mojo 的 Tensor 格式,以便用于机器学习任务。最后,作者将所有代码整合到一个名为 PNGImage 的结构体中,并展望了未来开发更完善的 Mojo 图像处理库的计划。

阅读更多
56

物理学家将原子排列得更近,为探索奇异物质状态铺平道路

2024-05-12
物理学家将原子排列得更近,为探索奇异物质状态铺平道路

麻省理工学院的物理学家开发了一种新技术,可以将原子排列得比以前更近,最小距离可达50纳米。该技术通过使用两个不同频率和圆偏振的激光束,将超冷原子云分成具有相反自旋的两组。然后,将激光引导通过光纤以稳定它们,使两组原子分别被吸引到各自的激光峰值,从而使原子层之间的距离达到50纳米。这一突破使得科学家能够探索在更短距离内发生的现象,例如原子之间增强的磁相互作用,这为构建新型量子材料和磁驱动的原子系统打开了大门。

阅读更多
56

解递归关系

2024-05-12
解递归关系

本文介绍了一种求解线性递归关系的通用方法,该方法的核心是将下标替换为上标,即将递归关系转化为特征多项式,并通过求解特征多项式的根来找到递归关系的解。文章详细讲解了该方法的步骤和原理,并通过斐波那契数列和一个更复杂的例子进行了演示。文章还解释了如何处理特征多项式具有重复根的情况,并通过计算验证了结论。

阅读更多

愤怒的时代:为何人们如此愤怒?

2024-05-12

本文探讨了当代社会普遍存在的愤怒情绪,作者认为导致这一现象的原因包括经济压力、政治极化、社交媒体的负面影响以及对社会精英的不满。文章指出,通货膨胀、生活成本上升和社会流动性下降加剧了人们的经济焦虑,而政治分歧和社交媒体的算法加剧了社会分裂,导致人们更加原子化和不信任彼此。作者还批评了社会对成功的过度强调,认为这种文化氛围加剧了人们的挫败感和愤怒情绪。

阅读更多

卡林顿事件

2024-05-12
卡林顿事件

卡林顿事件是记录中最强烈的磁暴,发生在1859年9月1日至2日,正值太阳周期10的高峰期。它在全球范围内产生了强烈的极光,并在多个电报站引发了火花甚至火灾。这场地磁暴很可能是由于太阳日冕物质抛射(CME)与地球磁层碰撞的结果。

阅读更多

电容器突破:储能潜力提升19倍

2024-05-12
电容器突破:储能潜力提升19倍

圣路易斯华盛顿大学的研究人员开发了一种新型电容器设计,该设计可以克服目前的储能挑战。这种设计利用了2D和3D材料的夹层结构,实现了高达19倍于市售铁电电容器的储能密度,同时效率高达90%。这一突破为电动汽车等大型电子设备的储能技术带来了新的希望。

阅读更多
未分类

Yi-1.5:性能更强的升级版Yi模型

2024-05-12
Yi-1.5:性能更强的升级版Yi模型

Yi-1.5是Yi的升级版本,经过5000亿token的高质量语料库持续预训练,并在300万个不同的微调样本上进行了微调。与Yi相比,Yi-1.5在编码、数学、推理和指令跟随能力方面表现更出色,同时仍然保持了在语言理解、常识推理和阅读理解方面的出色能力。Yi-1.5提供三种模型尺寸:34B、9B和6B。

阅读更多
93
未分类

摄影师使用无人机创下最快飞行速度世界纪录:298 英里/小时

2024-05-12
摄影师使用无人机创下最快飞行速度世界纪录:298 英里/小时

摄影师兼内容创作者Luke Maximo Bell与其父亲Mike共同打造了一架名为Peregrine 2的定制无人机,该无人机实现了惊人的298.47英里/小时(480.2公里/小时)的飞行速度,创下了新的世界纪录。他们在数月的原型设计和测试中克服了多次起火和技术挑战,最终获得了吉尼斯世界纪录的官方认证。Peregrine 2还意外地成为了世界上最快的相机无人机,能够以超过400公里/小时的速度飞行并拍摄流畅的画面。

阅读更多

同像性 Python:用 Python 列表实现 McCarthy 的 Lisp

2024-05-12
同像性 Python:用 Python 列表实现 McCarthy 的 Lisp

这篇文章探讨了 Lisp 语言的同像性概念,即代码和数据可以互换。作者使用 Python 重新实现了 Lisp 1.5 手册中著名的“Lisp in Lisp”代码,以更易理解的方式展示了 Lisp 的这一特性。文章首先解释了 Lisp 的 M 表达式和 S 表达式,然后逐步展示了如何用 Python 的函数和列表来模拟 Lisp 的基本功能,包括列表操作、条件语句以及 lambda 表达式。最终,作者成功地用 Python 实现了 Lisp 的核心功能,证明了 Lisp 的同像性可以用其他语言来表达。

阅读更多
未分类 同像性

DIY达人打造256核RISC-V超级计算机集群,单核频率高达14.7 GHz

2024-05-12
DIY达人打造256核RISC-V超级计算机集群,单核频率高达14.7 GHz

DIY爱好者Bitluni使用RISC-V架构构建了一个包含256个微控制器的超级计算机集群。他通过设计定制的“集群刀片”来管理多个超级集群,每个刀片包含两个微控制器,用于管理一个超级集群的总线接口。最终,Bitluni成功地将256个RISC-V微控制器整合在一起,并实现了高达14.7 GHz的单核频率。

阅读更多
未分类

16年的CVE-2008-0166漏洞:Debian OpenSSL漏洞将在2024年破坏DKIM和BIMI

2024-05-12
16年的CVE-2008-0166漏洞:Debian OpenSSL漏洞将在2024年破坏DKIM和BIMI

本文揭露了 Debian OpenSSL 软件包中的一个长期存在的安全漏洞 CVE-2008-0166,该漏洞影响了许多 DKIM 设置,并由于 BIMI 规范设计不当而使其也受到影响。作者通过扫描发现大量主机仍然使用易受攻击的密钥,导致伪造 DKIM 签名和绕过 DMARC 检查成为可能。文章还探讨了漏洞存在的原因,并提供了检查 DKIM 密钥是否受影响的方法,以及对 BIMI 安全问题的分析。

阅读更多
未分类

SQL 联合创始人拥抱 NoSQL

2024-05-12
SQL 联合创始人拥抱 NoSQL

SQL 联合创始人 Donald Chamberlin 在 SQL 50 周年之际表示支持 NoSQL 数据库运动。他认为 NoSQL 数据库及其查询语言可以帮助执行关系型数据库系统从未设计过的任务,满足现代应用程序对大规模可扩展性和高性能的需求,例如 Web 应用程序。虽然大多数流行的关系型系统现在都支持 JSON 文档,但 Chamberlin 认为 NoSQL 对于支持现代应用程序仍然是必要的。

阅读更多
未分类 SQL

部分符号化、稀疏性利用自动微分的一次意外之旅;或主啊,你能给我买一个拉普拉斯近似吗?

2024-05-12
部分符号化、稀疏性利用自动微分的一次意外之旅;或主啊,你能给我买一个拉普拉斯近似吗?

本文介绍了拉普拉斯近似,并探讨了如何利用JAX的中间表示jaxpr来加速Hessian矩阵的计算。作者通过将表达式图分解为线性与非线性子图,并利用Hessian矩阵的稀疏性,实现了近似Hessian矩阵的快速计算方法,并与标准的自动微分Hessian计算方法进行了性能比较。

阅读更多

Stack Exchange 数据转储

2024-05-12
Stack Exchange 数据转储

这篇文章介绍了互联网档案馆提供的 Stack Exchange 数据转储项目。该项目包含了 Stack Exchange 网络上所有用户贡献内容的匿名转储,每个站点都格式化为单独的存档,并使用 7-zip 通过 bzip2 压缩的 XML 文件。文章还详细列出了每个站点存档包含的内容,如帖子、用户、投票、评论等,并提供了数据的使用许可和归属要求。

阅读更多

余弦相似度

2024-05-12
余弦相似度

文章介绍了余弦相似度的概念、计算公式和应用场景。余弦相似度是一种用于衡量文本相似性的技术,它将文本转换为向量空间中的向量,通过计算向量之间的夹角余弦值来评估文本之间的相似度。文章通过一个简单的例子说明了如何计算句子之间的余弦相似度,并讨论了余弦相似度的局限性,指出对于较长的文本,更复杂的机器学习和深度学习方法可能更有效。

阅读更多

中国服务器CPU性能超越微软、谷歌和AWS

2024-05-12
中国服务器CPU性能超越微软、谷歌和AWS

阿里云的倚天710处理器被IEEE期刊《云计算汇刊》评为目前超大规模云环境中数据库任务效率最高的Arm服务器处理器。研究表明,这款128核处理器在特定数据库云任务中超越了英特尔至强白金处理器。虽然在OLAP、机器学习推理和区块链任务方面,基于Arm的服务器难以匹敌至强,但倚天710及其竞争对手AWS Graviton3被认为是英特尔至强CPU的真正对手,在内存工作负载方面表现出同等甚至更优异的结果。

阅读更多
未分类 CPU 阿里云 服务器

GitHub - kzemek/es6_maps: Elixir 映射的 ES6 类简写语法:`%{foo, bar} = map; IO.puts(foo)`

2024-05-12
GitHub - kzemek/es6_maps: Elixir 映射的 ES6 类简写语法:`%{foo, bar} = map; IO.puts(foo)`

es6_maps 项目为 Elixir 映射引入了类似 ES6 的简写语法,简化了频繁使用映射字面量的代码模式,例如 `ctx = %{variable: variable, user: user, ...}`。它通过在运行时替换 Elixir 编译器的 elixir_map 模块来实现,将映射键 %{k} 替换为 %{k: k}。该项目不产生运行时开销,并且与 JavaScript 和 Rust 等其他语言的简写语法类似。

阅读更多
53
未分类 语法 ES6

美国正处于创业热潮之中

2024-05-12
美国正处于创业热潮之中

尽管美国一直以其创新和创业活力而闻名,但近年来,一些经济学家担心这种声誉已不复存在。数据表明,新成立的公司在商业领域中所占的比例越来越小,导致生产力增长疲软。然而,最近几年出现了一股创业浪潮,预示着深刻的变化正在发生。例如,南卡罗来纳州格林维尔的Incora Health公司正在开发一种可以追踪身体健康指标的耳环,这只是众多新兴创业公司中的一个例子。

阅读更多
未分类

GitHub - noisysockets/nsh: 噪声套接字命令行界面

2024-05-12
GitHub - noisysockets/nsh: 噪声套接字命令行界面

噪声套接字命令行界面 (nsh) 是一个用于配置和管理用户空间 WireGuard 连接的工具。它包含噪声套接字 Shell,这是一个使用 WireGuard 进行身份验证和加密的安全远程 Shell。可以通过终端或 Web 浏览器访问该 Shell。文章介绍了 nsh 的使用方法,包括初始化配置、添加节点、启动服务器以及通过命令行界面或浏览器连接到服务器。

阅读更多
57

ENIAC的胜与悲:世界上第一台计算机

2024-05-12

本文是对Scott McCartney所著书籍《ENIAC: The Triumphs and Tragedies of the World's First Computer》的评论。作者[email protected]对书中关于ENIAC和EDVAC的描述提出了质疑,认为作者在技术细节和历史背景方面存在错误。作者认为,John Mauchly和Pres Eckert才是真正的电子计算机发明者,而Herman Goldstine和John von Neumann则夸大了自己的贡献。作者还批评了书中对Atanasoff、BINAC和Sperry Univac的描述。

阅读更多

硅背后的软件:与新思科技创始人Aart de Geus和首席执行官Sassine Ghazi一起回顾完整历史和战略

2024-05-12
硅背后的软件:与新思科技创始人Aart de Geus和首席执行官Sassine Ghazi一起回顾完整历史和战略

本文是对新思科技创始人Aart de Geus和首席执行官Sassine Ghazi的访谈。文章回顾了新思科技的发展历程,从最初的合成软件到如今在芯片设计自动化领域的关键作用,以及公司如何应对芯片行业不断增长的复杂性和挑战。访谈还探讨了摩尔定律的未来,以及多芯片架构和SysMoore等新技术如何推动芯片性能的持续提升。此外,文章还介绍了新思科技收购Ansys的逻辑,以及仿真技术在芯片设计和系统级设计中的重要性。

阅读更多

小型反应堆并非可行的能源

2024-05-12
小型反应堆并非可行的能源

文章指出,小型模块化反应堆(SMR)虽然被吹捧为应对气候变化的方案,但实际上成本高昂,单位发电量成本远高于大型反应堆和可再生能源,且建设周期长,并存在核安全、核废料处理等问题。作者认为,核能发电成本高昂,且存在诸多环境问题和风险,并非可持续的能源,全球核电占比呈下降趋势,而可再生能源成本持续下降,是更优的选择。

阅读更多

垃圾回收器令人望而生畏

2024-05-12

本文作者分享了在虚拟指令集架构项目中实现垃圾回收器的经验。作者认为垃圾回收器由于其不可见性、非局部性以及复杂性,令人望而生畏。为了解决这个问题,作者采用了一些方法,例如选择复制半空间回收器、保留先前堆地址范围、设计谨慎的C代码接口、使用堆栈映射进行调试等。这些方法使得垃圾回收器的操作更加明显,并有助于及早发现问题。

阅读更多
1 2 997 998 999 1001 1003 1004 1005 1084 1085