英国邮局Horizon系统丑闻持续了二十多年,导致数百名邮局局长被错误指控为盗窃和做假账。Horizon系统是富士通为邮局开发的自动化会计系统,但该系统存在缺陷,导致了无法解释的账目短缺。邮局非但没有调查问题,反而指责邮局局长,导致许多人破产、被解雇甚至入狱。在经过多年的斗争后,受害者们终于在2019年赢得了对邮局的集体诉讼,证明了Horizon系统存在缺陷。目前,英国政府正在进行一项法定公开调查,以查明真相并追究责任。
Computex 2024 展会上,英伟达展示了 HGX B200 主板,与之前的 HGX H100 相比,NVLink 交换芯片数量从四个减少到两个,并且位置从边缘移至主板中央,旨在缩短走线长度,提高高速信号传输效率。
瑞士颁布了新的开源软件法,强制要求公共部门公开软件源代码,除非涉及第三方权利或安全问题。该法律旨在提高政府运营的透明度、安全性和效率,并促进开源软件的使用,允许公众监督和贡献软件代码。该法律的实施预计将成为其他考虑类似措施的国家的典范,并促进数字主权,鼓励公共部门的创新与合作。
本文分析了美国成年人识字率低的现状,指出超过一半的美国成年人阅读水平低于六年级水平,并揭示了低识字率对个人和社会造成的深远影响。文章还调查了各州为成人教育提供的经费差异,以明尼苏达州和新墨西哥州为例,说明了经费投入与识字率之间的关系,并呼吁加大对成人教育的投入,以打破低识字率的代际循环。
NixOS 24.05 “Uakari” 版本正式发布。新版本包含 GNOME 46、Plasma 6、Linux Kernel 6.6 等更新,新增 17777 个软件包,更新了 16249 个软件包,同时也移除了 9393 个软件包。该版本由 2491 名贡献者参与开发,历经 47795 次代码提交。
本文讨论了环岛取代交通信号灯的趋势,以及这种趋势带来的安全优势。作者认为,尽管许多人对环岛持怀疑态度,但数据表明,与传统交通信号灯相比,环岛能够有效减少交通事故,提高道路安全性,尤其对行人和自行车骑行者更为友好。
3DGRT是一种基于粒子场景快速追踪的新型渲染技术。与传统的基于光栅化的渲染方法不同,3DGRT采用射线追踪技术,利用高效的GPU硬件对场景中的粒子进行渲染。该方法通过构建边界体积层次结构和为每个像素投射光线,实现了对大量半透明粒子的高效处理。实验结果表明,3DGRT在速度和精度方面均优于现有的方法,并在计算机图形学和视觉领域具有广泛的应用前景。
本文探讨了如何创建一个数据集来评估LLM微调模型在结构化数据生成任务中的表现。作者详细列举了评估模型时需要考虑的因素,包括:模型预测的准确性、对域外数据的处理能力、对“一些”、“少数”、“许多”等模糊词语的理解、对不同拼写变体的识别、对复杂事件的处理能力等。作者强调,准确性对于该模型至关重要,并计划通过一系列详细的评估来测试和改进模型。
本文介绍了作者出于兴趣对大数运算库进行优化的过程。作者首先将存储数字的基数从10改为30位,显著提高了加法和乘法的运算速度。随后,作者实现了Karatsuba乘法算法,进一步提升了大数乘法的效率。作者通过基准测试比较了不同优化策略的性能差异,并计划在未来添加更多功能,例如负数支持、减法、除法、位运算等,并完善代码测试。
华沙大学和牛津大学的物理学家们在一篇论文中指出,超光速粒子(也称快子)的存在与狭义相对论并不矛盾。他们认为,要计算涉及快子的量子过程的概率,不仅需要知道其过去的初始状态,还需要知道其未来的最终状态。这种对过去和未来状态的混合导致了一种新型量子纠缠的出现,这种纠缠在传统的粒子理论中是不存在的。
文章介绍了东德时期发明的一种名为“超级硬”的玻璃,这种玻璃比普通玻璃耐用15倍。文章详细介绍了超级硬玻璃的研发过程、化学处理方法以及其在东德的普及和最终停产的原因。作者认为,超级硬玻璃的停产是德国统一后资本主义追求短期利润而忽视产品耐用性的结果,是“德国统一的一出小悲剧”。
这是一款名为“每日习惯追踪器”的应用程序介绍。它可以帮助用户记录和追踪日常习惯,并提供可视化的进度图表。该应用程序支持离线使用、记录连续完成天数以及暂停功能,用户还可以选择注册账户以同步数据。
由Alexis Ohanian投资的初创公司Intro搭建了一个专家咨询平台,用户可以付费与各行各业的专家进行视频通话,获取专业建议。平台上的专家包括风险投资家、商业领袖、设计专家和播客主持人等,咨询费用从几百美元到数千美元不等。一些用户认为该平台提供的咨询服务物有所值,而另一些用户则对高昂的收费和专家的资质表示怀疑。
Milk-V 发布了基于 SpacemiT K1/M1 SoC 的 Milk-V Jupiter 的更多技术细节。该产品是首批支持 RVA22 和 RVV1.0 标准的 Mini ITX 设备之一,标志着基于 RISC-V 的计算的重大发展。Milk-V Jupiter 搭载八核 X60 处理器 (RV64GCVB),能够高效管理 RVA22 和 RVV1.0 功能。它还提供 2.0 TOPS 的 AI 处理能力,适用于高级机器学习和 AI 应用。
麻省理工学院计算机科学与人工智能实验室(CSAIL)的研究人员发现,大型语言模型(LLM)的推理能力经常被高估。研究表明,LLM 擅长处理熟悉的任务,但在面对不熟悉的任务时表现不佳,这表明它们缺乏泛化能力。研究人员通过修改现有任务,例如将算术问题从常见的十进制改为其他进制,以及改变国际象棋中棋子的初始位置,来测试LLM 在反事实场景下的表现。结果显示,LLM 在这些场景下的表现远不如预期,甚至无法超越随机猜测。
本文是关于美国传奇试飞员乔·恩格尔的自述。文章以访谈的形式,记录了恩格尔从儿时对飞行的热爱,到大学期间在塞斯纳公司打工学习飞行,再到进入空军服役并进入试飞员学校学习的经历。恩格尔详细描述了他在试飞员学校的学习内容,以及在爱德华兹空军基地试飞各种飞机的难忘经历。他还讲述了与传奇试飞员查克·叶格的交往,以及被选中参加X-15飞行研究项目的经过。恩格尔分享了他在X-15项目中进行的多次试飞经历,包括第一次试飞时的意外情况、成功突破50英里高度获得宇航员资格、以及与其他宇航员一同在五角大楼接受宇航员徽章的经历。
Great Question是一家YC孵化的初创公司,致力于打造用户研究平台,帮助企业轻松开展用户访谈、调查和原型测试。公司正在招聘驻澳大利亚的全栈Rails工程师,负责平台功能开发、用户体验优化和技术架构设计等工作。应聘者需具备5年以上Web应用程序开发经验,熟悉Ruby on Rails和React,注重代码质量,并以客户为中心。
Apache软件基金会(ASF)宣布将启用全新品牌标识,以更好地体现其“社区大于代码”的理念,并确保每个人都感到受欢迎和包容。新的品牌标识将取代现有的羽毛标志,原因是ASF认识到使用原住民主题或语言是不合适的。新的标志和品牌将于2024年10月在北美社区大会上揭晓。
本文讲述了通用电气、IBM和麻省理工学院林肯实验室在1962年同期分别独立发明了半导体激光器的历史。半导体激光器是一种体积小、用途广泛的器件,是今天许多技术的基石,包括条形码扫描器、光纤通信、医学成像和遥控器。文章详细介绍了激光技术的理论起源、发展历程以及这三家机构在半导体激光器研发过程中的竞争和贡献。
本文作者为了提高Uxn CPU解释器的速度,选择使用汇编语言重写了解释器。通过将关键数据存储在寄存器中、使用线程代码消除调度循环等优化,汇编版本的解释器比用Rust编写的解释器速度提升了30%。作者还尝试了其他优化方法,例如扩展RAM存储空间、使所有操作码实现大小相同等,但都没有带来性能提升。
Quicklang 是一款能够帮助开发者快速实现软件本地化的工具。它可以将 JSON 文件翻译成任何语言,自动执行翻译过程,并确保所有翻译版本的一致性。Quicklang 提供多种价格方案,包括免费版和付费版,可以满足不同开发者的需求。
美国政府将根据《芯片法案》向格芯提供高达4亿美元的资金,用于资助其在德克萨斯州和密苏里州的300毫米晶圆制造厂。德克萨斯州的工厂将是美国首家300毫米晶圆制造厂,而密苏里州的工厂将生产用于国防和航空航天应用的绝缘体上硅(SOI)300毫米晶圆。这两个工厂总共将耗资约40亿美元,这意味着《芯片法案》提供的最高奖励将高达预算的10%。
本文作者分享了如何使用开发板验证市场并降低风险的方法。作者原计划销售自主研发的电子设备,但考虑到 FCC 认证和市场的不确定性,决定先利用现有的开发板,将操作系统和软件预装到 SD 卡上进行销售。这种方式可以快速验证市场需求,并根据销售数据确定未来硬件设备的开发方向,同时最大程度降低了前期投入和风险。
琳·安·康维(Lynn Ann Conway,1938年1月2日-2024年6月9日)是一位美国计算机科学家、电气工程师和跨性别活动家。她在20世纪60年代在IBM工作,发明了通用动态指令处理,这是乱序执行中使用的一项关键技术,大多数现代计算机处理器都使用它来提高性能。她在超大规模集成(VLSI)微芯片设计领域引发了米德-康维VLSI芯片设计革命。这场革命在20世纪80年代迅速席卷了研究型大学和计算机行业,孵化出一个新兴的电子设计自动化产业,催生了现代芯片设计和生产的“代工厂”基础设施,并在20世纪80年代和90年代引发了一股高科技创业热潮。
巴西最高法院周二裁定,个人持有大麻的行为将不再被视为犯罪,但该裁决并未将持有少量大麻用于个人用途的行为合法化。最高法院尚未就区分毒贩和吸食者的数量或金额界限做出决定。
Otherbranch 是一家由前 Triplebyte 员工创立的公司,旨在重现 Triplebyte 早期的成功模式。他们提供技能优先的招聘服务,强调透明度,并为优秀人才提供机会。与 Triplebyte 不同的是,Otherbranch 不进行背景调查,不强制公司跳过现场面试环节,并且采用更灵活的定价模式。他们吸取了 Triplebyte 的教训,致力于建立一个稳定盈利、对社会有积极影响的企业。
本文介绍了两种不为人知的沟通方式:编织者和总结者。总结者占大多数,他们说话的目的是为了表达观点,而编织者则旨在通过陈述事实来建立与对话伙伴的多维度联系。文章详细阐述了这两种沟通方式的差异,以及它们在日常交流中可能导致的误解。作者认为,理解这两种沟通方式的差异对于改善人际关系至关重要,尤其是对于自闭症群体而言。