QB64 搜索技巧 核手提箱 文字记录 海洋云增白 开源地图 Bliss AI 搜索答案 深海沉船 自由职业 policy 小团队 颈挂空调 Chumby 个人电脑 极端主义 团队 世界 PostgreSQL AI工具 证券 DirectX 防溢 DrawingPics Zulip 儿童读物 化学 连续滚动 代码审查 三菱电机 更多

QUIC 文件传输服务 (github.com)

该项目是一个基于 QUIC 协议的文件传输服务,利用 QUIC 的多路复用特性,通过多个流并发传输文件以提高速度。服务端将文件分割成多个块,客户端并发请求和接收这些块,并能在传输完成后进行 MD5 校验。

美国最大自动驾驶网约车服务区域进一步扩大 (waymo.com)

Waymo One 自动驾驶网约车服务在美国凤凰城的服务范围扩展了 90 平方英里,使服务总面积达到 315 平方英里,成为美国最大的自动驾驶服务区域。此次扩张将服务范围扩展到凤凰城北部、斯科茨代尔和梅萨市中心,为居民和游客提供前往热门目的地、度假村、高尔夫球场和娱乐场所的便利交通。Waymo 还与盐河皮马-马里科帕印第安人社区合作,首次在部落土地上提供自动驾驶服务。此外,Waymo 还致力于改善用户体验,包括提供个性化音频体验、重新设计车载屏幕以及推出“共享行程”功能等。

别再责怪按“部署”按钮的开发者了 (yieldcode.blog)

本文批判了将软件故障归咎于开发者的现象。作者列举了CrowdStrike软件故障的例子,指出真正应该负责的是公司高层、政府监管部门以及整个行业的不合理制度。作者呼吁给予开发者应有的尊重,让他们在稳定的环境中工作,而不是将他们当做替罪羔羊。

网游论坛用户沉寂11年后回归,只为继续2013年的争论 (www.pcgamer.com)

一位Something Awful论坛用户在被禁言11年后回归,继续他在2013年参与的一场关于桌面游戏的争论。该用户因在争论中发表不当言论而被禁言10万小时,但他并没有放弃账号,而是设定了计时器,并在禁言结束后立即回归,以一种幽默的方式完成了这场跨越十年的辩论。

你不需要人工智能,你需要的是算法 (zacs.site)

本文作者参与了一个工作小组,该小组的任务是确定人工智能和机器学习可以改善网络利用率的领域。作者认为,在很多情况下,人们提出的需求实际上可以通过简单的算法来解决,而不是复杂的人工智能。比如,客户要求使用人工智能来选择最佳的上行链路,而实际上,简单的广域网故障转移解决方案就可以满足需求。

postmarketOS 2024年7月进展:全新主页、pmbootstrap v3、传感器支持等 (postmarketos.org)

postmarketOS 在2024年7月发布了重要更新,包括全新设计的主页、更易维护和性能更高的pmbootstrap v3、新增对8款设备的支持以及传感器、libcamera等方面的改进。团队还优化了审批流程,并获得了NGI Zero Core的资金支持。未来计划默认使用PipeWire、推进systemd相关工作,并将在多个活动上亮相。

我的伟大软件起源论 (hiandrewquinn.github.io)

本文作者Andrew Quinn 认为,许多伟大软件的诞生源于一小部分“黑客”群体。他们对软件本身抱有极大热情,不断探索软件的潜力,并致力于将其打造成理想中的最佳状态。这些“黑客”往往是软件重度用户中的佼佼者,他们不仅将软件视为工具,更将其视为目标本身,并持续推动软件的创新与发展。

无条件现金补助研究 (www.openresearchlab.org)

OpenResearch进行的一项研究探索了无条件现金补助对人们生活的影响。研究发现,现金补助增加了人们在基本需求、住房和对他人的经济支持方面的支出,并为其提供了追求教育、创业和搬迁的更大灵活性。虽然现金补助对整体就业和工作时间有轻微的负面影响,但它也增加了人们对预算、未来规划和设定目标的积极性。

美国最高法院暂停环保署防止烟雾跨州扩散计划 (www.theverge.com)

美国最高法院决定暂停环保署一项旨在防止形成烟雾的污染物跨州界漂移的计划。俄亥俄州、印第安纳州、西弗吉尼亚州以及包括化石燃料行业团体在内的各种贸易组织要求最高法院在下级法院对环保署的行动提出质疑的同时,对该计划发布暂缓令。最高法院在其关于俄亥俄州诉环保署的意见中同意暂时搁置该计划。五位法官投票赞成暂时停止执行,而其余法官则表示反对。虽然暂缓令是暂时的,但该决定表明,如果该问题再次提交最高法院并就该计划的法律价值做出最终裁决,则倾向于保守派的最高法院可能会做出有利于反对环保署计划的州的裁决。

代码高尔夫挑战:元胞自动机规则 30 (codegolf.stackexchange.com)

本文介绍了代码高尔夫挑战,要求用尽可能少的代码生成元胞自动机规则 30 的前 32 行。规则 30 是一种特殊类型的元胞自动机,它展示了简单规则、混沌和随机性产生的复杂性,并且是不可计算约简的。

像计算机科学家一样思考:交互版目录 (levjj.github.io)

这篇文章列出了《像计算机科学家一样思考:交互版》这本书的目录,涵盖了 Python 编程的基础知识,包括数据类型、控制流、函数、数据结构、面向对象编程等。还包括调试、模块、递归、GUI 编程、文件处理等高级主题。

ELECTRA:以判别器而非生成器的方式预训练文本编码器 (arxiv.org)

这篇论文介绍了一种新的预训练语言模型ELECTRA,它使用了一种名为“替换词检测”的任务来提高效率。与BERT使用掩码预测的方式不同,ELECTRA使用一个生成器网络替换输入文本中的某些词,然后训练一个判别器网络来判断每个词是否被替换。这种方法在相同的计算资源下,能够学习到比BERT更好的上下文表示,尤其在小模型上表现更为突出。

芝加哥大学研发出全球首个无负极钠固态电池 (pme.uchicago.edu)

芝加哥大学普利兹克分子工程学院Shirley Meng教授领导的能源存储与转换实验室研发出全球首个无负极钠固态电池。该电池采用钠代替锂,成本更低,更环保,且充电速度更快、容量更高,有望应用于电动汽车和电网储能领域。研究人员采用创新的固态设计,用铝粉作为集流体,实现了电解质与集流体的良好接触,解决了无负极电池面临的技术挑战。

DoLa:通过对比层解码提高大型语言模型中的事实性 (arxiv.org)

这篇论文介绍了一种名为DoLa的新解码策略,用于减少预训练大型语言模型中的幻觉现象,即生成偏离预训练中所见事实的内容。DoLa方法通过对比从较后层和较早层投影到词汇空间得到的logits差异来获得下一个标记的分布,它利用了大型语言模型中的事实性知识通常局限于特定Transformer层这一事实。实验结果表明,DoLa能够更好地呈现事实性知识,减少错误事实的产生,并在多个选择题和开放式生成任务中持续提高真实性。

香蕉的味道变了? (www.epicurious.com)

文章探讨了香蕉品种的变迁。曾经风靡美国的“大麦克”香蕉因其香甜的口感和多用途性而备受喜爱,但由于单一栽培方式导致的疾病,它在上世纪60年代几乎绝迹。如今,我们常见的卡文迪什香蕉虽然在外形上与“大麦克”相似,但在味道和香气上有所逊色。文章还探讨了香蕉产业的单一化种植方式对环境和基因多样性的影响,呼吁人们关注香蕉品种的多样性,并寻找更可持续的种植方式。

重现贝尔实验室的辉煌:历史机遇与科技变革 (www.construction-physics.com)

贝尔实验室,20世纪科技创新的摇篮,其辉煌成就离不开其独特的历史环境和科技体制。作为AT&T的子公司,贝尔实验室受益于母公司的垄断地位和对研发的巨额投入,得以进行长期、广泛的科学研究,并吸引了大量顶尖人才。然而,随着科技的进步,贝尔实验室赖以生存的垄断体制逐渐被瓦解,其研发成果也逐渐被其他公司所利用。如今,尽管诺基亚贝尔实验室依然存在,但昔日的辉煌已难以重现。

漫展或将离开圣地亚哥:主办方控诉酒店哄抬价格 (www.forbes.com)

全球最大、历史最悠久的流行文化盛会圣地亚哥漫展正面临离开举办地的困境。主办方表示,当地一些酒店在漫展期间大幅哄抬房价,导致参展者和工作人员难以负担住宿费用,这可能迫使漫展在2025年合约到期后迁至其他城市。尽管圣地亚哥为漫展提供了场地和支持,但主办方强调,如果无法保证参展者的住宿成本,他们将不得不考虑其他选择。

同行评审对科学至关重要,不幸的是,它已经失效 (arstechnica.com)

这篇文章讨论了科学领域同行评审机制存在的问题。作者认为,由于现代科学的复杂性和对计算机软件的依赖,传统的同行评审难以发现论文中存在的错误和欺诈行为。许多科学软件代码不公开,审稿人无法检查代码的可靠性。作者呼吁改变科学领域的激励机制,鼓励代码公开,提高科学研究的透明度和可信度。

PostgreSQL 扩展发现和分发的重大进展 (ardentperf.com)

本文介绍了PostgreSQL扩展生态系统的最新发展,特别是在扩展发现和分发方面的改进。PostgreSQL扩展是独立的软件项目,扩展了PostgreSQL核心数据库服务器的功能。文章重点介绍了PostgreSQL扩展网络(PGXN)的演变,这是一个用于发现和分发扩展的中心枢纽,并讨论了正在进行的改进工作,包括新的元数据规范、命名空间约定和二进制打包选项。此外,文章还强调了即将举行的PostgreSQL开发者大会上的“迷你峰会”,该峰会将重点关注扩展生态系统,并将汇集开发人员、用户和打包人员,共同塑造PostgreSQL扩展的未来。

上世纪50年代的磁带录音机难倒美国国家安全局 (hackaday.com)

美国国家安全局因无法读取存有格蕾丝·霍珀(Grace Hopper)演讲录像的Ampex 1英寸磁带而拒绝了一项信息公开请求。该机构声称他们不再具备读取这种磁带的能力,这引发了人们的质疑。格蕾丝·霍珀是计算机科学领域的先驱人物,她的演讲被认为具有重要的历史价值。

一个新的方向 (blog.replay.io)

Replay.io 宣布停止 Replay Test Suites 产品,并将专注于探索可重放性和人工智能的交叉领域。公司承认在寻找产品市场契合度方面遇到了挑战,并决定将资源集中在更有前景的方向上。Replay DevTools 将继续开发,并将探索利用可重放性来增强人工智能代理和创建新的基准或训练环境。

条件断点的原理和性能优化 (werat.dev)

本文解释了现代调试器中条件断点的实现方式,探讨了其性能瓶颈,并提出优化方案。条件断点通常通过在目标代码中插入断点指令实现,并在每次触发时检查用户定义的条件。由于需要频繁停止进程并执行条件评估,传统方法效率低下,尤其在调试循环或远程进程时。文章介绍了利用进程内代理或JIT编译等技术将条件检查代码直接注入目标进程,从而显著提升性能。

拒绝批准挑战者号航天飞机发射的艾伦·麦克唐纳去世,享年 83 岁 (www.npr.org)

艾伦·麦克唐纳,美国宇航局承包商莫顿·蒂奥科尔公司航天飞机助推火箭项目的负责人,曾在 1986 年挑战者号航天飞机爆炸前强烈要求推迟发射。他于周六去世,享年 83 岁。麦克唐纳坚持认为发射存在风险,并拒绝签署发射批准文件。在挑战者号爆炸后,他在总统委员会的听证会上勇敢揭露了 NASA 掩盖真相的行为,并因此受到公司的降职处分。最终,麦克唐纳的勇气和正直得到了认可,他被提升为副总裁,负责重新设计助推火箭。

PgManage:一款用于数据库管理的Web工具 (github.com)

PgManage是一款以Postgres为中心的现代图形数据库客户端,致力于简化Postgres的管理。它提供数据库连接管理、SQL编辑器、架构编辑器、数据备份和恢复、性能监控等功能,支持PostgreSQL、MySQL、MariaDB和SQLite3等多种数据库类型。该工具提供详细的文档,并且不断更新和改进。

使用 SIMD 的二叉搜索树 (clement-jean.github.io)

本文介绍了一种使用SIMD指令集优化二叉搜索树缓存效率的算法。传统的二叉搜索树存储结构对缓存不友好,因为搜索路径上的节点可能分散在内存的不同位置。文章介绍了一种新的存储结构,将父节点和子节点存储在一起,从而提高缓存命中率。文章还介绍了如何使用SIMD指令并行比较多个节点,从而进一步提高搜索效率。

嵌入式Python:MicroPython真棒 (hackaday.com)

这篇文章介绍了MicroPython的特点和优势,包括其交互性、丰富的库和易于使用的硬件抽象层,并以实际案例展示了MicroPython在嵌入式开发中的强大功能。文章还提到了MicroPython的一些局限性,例如对内存的占用和对某些特定硬件平台的支持问题。

最大的教育秘诀:提前学习数学 (www.justinmath.com)

提前学习数学可以降低学业风险,并为职业发展创造机会。提前学习可以保证好成绩,打开获得推荐信、参与研究项目和实习机会的大门。文章建议学习大学水平的数学,如线性代数和微积分,而不是专注于竞赛数学。研究表明,加速学习不会对学生产生负面影响,反而可以增强其成就。文章还探讨了学校阻碍加速学习的动机,以及家长和老师对加速学习的误解。

标准错误的诞生 (www2.dmst.aueb.gr)

本文讲述了标准错误概念的诞生过程。20世纪70年代,贝尔实验室使用C/A/T照排机进行文档排版,该设备只能单向连接,无法获取状态反馈。为了解决排版错误难以发现的问题,开发人员引入了标准错误的概念,将程序的错误输出与正常输出分开,通过不同的通道进行传输。这一概念被所有主流操作系统和语言库所采用,极大地提高了程序开发和调试的效率。

别再用联系表单了 (adamjones.me)

文章认为联系表单对于用户和网站来说都是一个低效的沟通方式。对于用户来说,填写联系表单繁琐、耗时,而且收不到及时的回复。对于网站来说,处理联系表单需要额外的管理成本,并且无法有效地跟踪和管理用户反馈。文章建议使用即时聊天、电子邮件或社交媒体等替代方法来与用户沟通,这些方法更加高效、便捷,也能更好地满足用户需求。

微软被曝永久封禁与加沙亲属通话的巴勒斯坦用户账号 (www.windowscentral.com)

据英国广播公司报道,微软被指控永久封禁居住在美国和其他西方国家、使用Skype与加沙亲属通话的巴勒斯坦用户的微软账户。微软对此回应称,封禁是由于“涉嫌欺诈活动”,但许多被封禁的用户表示,他们只是在与家人联系,并对微软缺乏透明度和解释表示担忧。

1 2 107 108 109 111 113 114 115 362 363