这篇文章介绍了“电子计算机之父”约翰·冯·诺依曼的生平和科学成就。文章详细介绍了冯·诺依曼对数学基础危机、量子力学、计算机科学、博弈论以及自动机理论等领域的贡献,并穿插讲述了他在二战期间参与曼哈顿计划的故事。文章赞誉冯·诺依曼是一位天才,他对20世纪的科学产生了巨大的影响,值得被更多人所知。
Ribbon Health 是一家致力于构建医疗保健操作系统以简化医疗保健体验的公司,目前有多个职位空缺,包括客户合作总监、产品部署总监、产品经理、高级数据产品工程师、高级软件工程师、销售总监、市场营销高级经理、招聘高级总监等。工作地点位于纽约。
本文介绍了作者如何将美国地区的OpenStreetMap数据转换为SQLite数据库并进行优化的过程。作者首先将原始的OSMPBF格式数据导入SQLite,然后通过筛选重要标签、创建索引、使用全文搜索等方式逐步提高查询性能。为了进一步缩减数据库体积,作者还尝试使用ZSTD压缩算法对数据库文件进行压缩,最终成功将文件大小缩减至13GB,同时保持了较快的查询速度。
美国北卡罗来纳州立大学的研究人员开发了一种受折纸启发的机械计算机,它使用刚性互连聚合物立方体的复杂结构来存储、检索和擦除数据,而无需依赖电子元件。该系统还包括一个可逆功能,允许用户控制何时允许编辑数据以及何时应锁定数据。这种新型机械计算机的基本单元是1厘米的塑料立方体,每64个互连成立方体组成一个功能单元。这些功能单元可以组合成更复杂的元结构,用于存储更多数据或执行更复杂的计算。
三星电子最大的工会——全国三星电子工会,于7月9日开始举行为期三天的罢工,要求公司提高工资和奖金。这是该公司55年历史上首次发生工会罢工事件。 约4000名工会成员参加了在京畿道华城园区的集会, 他们警告说,如果管理层不满足他们的要求,他们将发动更多罢工。
由于地方新闻行业持续面临危机,美联社正在成立一个独立的姐妹机构,旨在为地方和州新闻报道筹集资金。该机构将寻求慈善捐款,用于支持美联社内部和外部机构的新闻报道。美联社总裁兼首席执行官黛西·维拉辛厄姆表示,他们认为有必要加大对地方新闻的支持力度,并正在与一些对地方新闻现状表示担忧的资助者进行初步谈判。
Zoraxy 是一款简单易用的反向代理服务器,具有直观的重定向规则和区域服务黑名单功能。它集成了 ZeroTier 控制器,可轻松管理网络节点,并提供实时流量数据分析工具。Zoraxy 是一个开源项目,用户可以通过插件自定义路由规则。
该PR为conhost引入了对Sixel图形协议的基本支持,但仅限于GDI渲染器。SixelParser类负责解析传入的Sixel DCS序列,图像内容存储在文本缓冲区中的一系列ImageSlice对象中,渲染器负责绘制受影响的每一行的图像切片。该实现旨在与VT340仿真器兼容,并已通过真实VT340上的广泛测试。
文章探讨了哲学家档案的重要性,以及如何影响后人对其思想的解读。 以胡塞尔和尼采的档案为例,前者完好保存的档案确保了他的思想传承,而后者却被妹妹出于政治目的篡改,导致其作品被纳粹利用。 文章还探讨了档案编辑的伦理问题,引用了德里达等人的观点,认为任何筛选和解读都可能带有主观性,因此主张公开所有原始材料,让读者自行判断。
美国联邦调查局对与奥克兰市长盛桃有关的住宅以及其他几个地点进行了突击搜查。突击搜查还包括加州废物解决方案公司总裁Andy Duong的住宅,该公司是奥克兰市的垃圾处理商。突击搜查的细节尚不清楚,但消息人士称,此案涉及美国国税局和美国邮政服务。盛桃原定于当天上午出席一个活动,但已经取消。此前,罢免组织呼吁盛桃辞去市长职务,罢免行动已获得足够签名,将出现在投票中。
宾夕法尼亚大学的研究人员提出了一种有趣的机器学习方法,可以通过模拟电阻网络直接工作,无需处理器,这可能有助于解决该领域不断增长的电力需求。研究人员解释说,现有的机器学习算法需要对大型非线性网络进行微分,这个过程速度慢且耗电。而他们的非线性学习超材料提供了一种潜在的快速、高效和容错的模拟机器学习硬件,并且该系统在图像分类网络和非线性回归以及异或(XOR)操作中都显示出应用潜力。
文章以讽刺的口吻,探讨了无能管理在某些情况下带来的意外好处。作者指出,由于缺乏明确目标和绩效压力,无能管理反而可以促进员工自发优化和减少代码臃肿。相比之下,追求效率和目标导向的管理方式可能导致资源浪费、代码膨胀和员工为绩效考核而制造不必要的工作。
本文探讨了算法定价如何导致多个行业的价格 fixing。作者以航空公司价格 fixing 为例,介绍了算法定价软件公司 RealPage 如何利用市场支配地位操控房地产市场租金。文章还关注了农业信息中心 Agri Stats 和药品价格协调机构 GoodRx 等案例,揭示了算法定价对消费者和市场竞争的潜在危害。最后,文章呼吁加强监管,制定明确的法律标准,以遏制算法定价带来的价格 fixing 行为。
本文作者Rory Sutherland认为,很多问题的解决都需要借助行为科学,但不能把行为科学作为解决问题的唯一途径。很多时候,我们需要结合多种因素,比如心理学、经济学、甚至是“胡扯”,才能找到最佳方案。他还强调了创造力的重要性,认为我们应该勇于尝试那些看似不合理的想法,因为它们可能带来意想不到的突破。
本文介绍了作者如何使用 Zola、JSON Resume、Weasyprint 和 Nix 等工具构建一个“过度工程化”的简历。作者首先解释了采用这种方法的原因,包括数据与表示分离、版本控制、多格式输出、自动化构建等。然后,文章详细介绍了从简历数据到 PDF 文件的生成流程,以及如何使用 nix-shell 和 direnv 配置本地开发环境,并使用 justfile 简化命令执行。此外,文章还介绍了如何利用 GitHub Actions 实现持续集成,自动构建和发布简历。
黎曼猜想是数学领域最重要的未解问题,困扰了数学家们160多年。最近,麻省理工学院的Larry Guth和牛津大学的James Maynard在预印本服务器arXiv.org上发表了一项轰动性的新发现,他们在论文中改进了50多年来似乎无法逾越的结果,为解决黎曼猜想提供了新的思路。黎曼猜想涉及素数的分布规律,如果得到证明,将对数论和数学的几乎所有领域产生重要影响。
俄罗斯方块字体是由Erik Demaine和Martin Demaine于2020年创建的。
该字体中的每个字母和数字都由七个俄罗斯方块(I、J、L、O、S、T、Z)各一个组成,并且可以像玩俄罗斯方块游戏一样,将这些方块堆叠起来构建字母。
该项目还包含一个谜题功能,可以将字母编码为俄罗斯方块的下落顺序,以及一个黑色方块版本,挑战玩家如何将七个方块拼成字母形状。
小米在北京昌平区建立了一座全新的智能工厂,占地8万平方米。该工厂实现了100%自动化,所有关键制造流程均由机器人完成,预计年产手机将超过1000万台。这座工厂配备了自主研发的“小米澎湃智能制造平台”,能够进行自我诊断、自我决策和自我执行,并自主优化生产流程,实现从原材料采购到交付的全场景数字化管理。
谷歌的温室气体排放量在过去五年中激增了48%,这主要是由于其支撑人工智能系统的数据中心的扩张。这使得该公司到2030年实现“净零排放”的承诺受到质疑。谷歌将这一增长归因于人工智能系统基础设施建设的投资,并承认“人工智能的未来环境影响”是“复杂且难以预测的”。尽管该公司承诺到2030年实现净零排放,但能源消耗的增长速度超过了其可再生能源项目的上线速度,这引发了人们对其能否实现目标的担忧。
这篇文章分析了作者多年来使用谷歌地图和谷歌健身记录的位置数据。作者发现,谷歌地图记录了他在办公室、学校和参加会议等地点的出行数据,而谷歌健身则更多地记录了他在公寓内走动等“内部行走”的数据。作者还发现,他的平均步行速度为4.01公里/小时,并且在不同的学年和生活阶段,他的步行距离存在很大差异。
Triplit是一个开源数据库,可以在服务器和浏览器之间进行实时数据同步。它提供了一个实时同步数据存储,可以作为Typescript包插入到应用程序中。Triplit负责在服务器上存储数据,并将查询智能地同步到客户端。它支持多种功能,包括实时同步、本地缓存、持久化服务器端存储、可插拔存储提供程序、乐观更新、关系查询、离线模式、回滚和重试管理、数据模式、授权、协作/多人游戏、低延迟和简单的API。
一位特斯拉Cybertruck车主在网上发帖称,他的新车在行驶仅4小时后出现意外加速,并撞上了一户人家的房屋。监控录像显示,该车后轮完全抱死,车主表示当时油门和转向都没有反应。特斯拉方面表示正在调查此事,但尚未给出明确解释,只是让车主联系保险公司处理损失。
RStudio 开发商 Posit 推出了一款名为 Positron 的“下一代”数据科学 IDE,该 IDE 基于 Visual Studio Code,并针对 R 和 Python 进行了特别设计。Positron 开箱即用,易于设置,内置了对 R 和 Python 的支持,并带有一个易于使用的数据和变量资源管理器。该项目仍处于早期开发阶段,但为 R 和 Python 开发人员提供了一个有前途的新选择。
这篇文章探讨了 SQL 在当今技术领域中的地位。作者分享了他们作为一名经验丰富的软件工程师的经历,并观察到越来越多的年轻开发人员不熟悉 SQL。文章将 SQL 的持续相关性与其他技术的兴起进行了对比,并质疑在数据科学和专门开发角色的时代,SQL 是否正在成为一项“小众技能”。作者认为,尽管出现了新的工具和趋势,但对于任何想要有效管理和查询数据的人来说,理解和应用 SQL 仍然是一项至关重要的技能。
安全公司 Censys 的研究人员发现,尽管 Polyfill[.]io 域名已被暂停使用一周,但仍有 384,773 个网站链接到该域名,其中包括 Hulu、梅赛德斯-奔驰和华纳兄弟等公司以及美国联邦政府的网站。该域名此前被中国公司 Funnull 收购,并被发现存在安全风险,可将用户重定向到恶意网站。
本文记录了作者如何发现并利用Brother VC-500W标签打印机中的多个漏洞,包括过时的CUPS版本、不安全的CGI接口和固件升级流程中的缺陷,最终获得root权限的过程。作者还深入分析了固件中存在的安全隐患,例如密码存储明文、身份验证机制形同虚设等问题,并对zink作为OEM厂商的安全态度提出质疑。
Telescope是一款基于使用量的SEO研究工具,提供关键词研究、排名跟踪和竞争对手分析等功能,帮助用户提升网站排名。与其他SEO工具相比,Telescope价格更低,用户只需为使用的功能付费,节省成本。
文章介绍了如何识别JavaScript代码的运行时环境。推荐的方法是使用`navigator.userAgent`,它返回一个包含运行时名称和可选版本的字符串。WinterCG小组将其作为非浏览器ECMAScript运行时的最低通用Web平台API的一部分。文章还讨论了不太可靠的方法,例如检查特定的全局对象或API,这些方法可能会由于不同运行时之间功能重叠而导致不准确。
LibreChat 是一款开源聊天机器人,它不仅仅是一个 ChatGPT 的克隆版,更是一个提供 AI 模型选择的平台。它允许用户选择自己喜欢的 AI 提供商、服务和集成,并提供额外的功能和定制选项。LibreChat 强调数据主权,用户可以完全控制自己的数据,并选择使用本地或远程的 AI 模型。LibreChat 还支持插件,允许用户根据自己的需求定制平台。