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

美国人对高等教育的信心骤降 (lithub.com)

最新盖洛普民意调查显示,美国人对高等教育的信心正在急剧下降,仅有三分之一的受访者表示对高等教育“几乎没有或根本没有信心”。受访者将原因归咎于政治议程、不相关的技能以及过高的学费。文章进一步探讨了文科教育的价值面临质疑,以及在当今社会和经济环境下,年轻人对高等教育的看法正在发生变化。

llm2sh: 让 GPT 运行命令行指令 (github.com)

llm2sh 是一个命令行工具,利用大型语言模型 (LLM) 将自然语言请求转换为 shell 命令。它提供了一种使用自然语言与系统交互的便捷方式。支持多种 LLM(例如 OpenAI、Claude 和 Groq)用于命令生成,并提供可自定义的配置文件。

Pseudo Scheme 软件包 (www.cs.cmu.edu)

Pseudo Scheme 是一个用 Common Lisp 编写的 Scheme 实现,通过预处理器将 Scheme 代码转换为 Common Lisp 代码执行。它与 Common Lisp 高度集成,Scheme 和 Common Lisp 程序可以直接相互调用。Pseudo Scheme 实现了大部分 IEEE 和 Revised^4 Scheme 标准,但对第一类延续、尾递归和数字系统的支持有限。

梅赛德斯-奔驰与星巴克合作,将在美西海岸建设大功率充电网络 (electrek.co)

梅赛德斯-奔驰高功率充电公司将与星巴克合作,在美西海岸100家门店安装400千瓦的直流快速充电桩。这些充电桩将位于连接加拿大和墨西哥的5号州际公路沿线,供所有电动汽车使用。梅赛德斯-奔驰高功率充电公司是梅赛德斯-奔驰集团和可再生能源生产商MN8 Energy的合资企业,目标是打造一个对所有电动汽车品牌开放的公共充电网络。

克服当前大型语言模型的局限性 (seanpedersen.github.io)

大型语言模型(LLM)存在着诸如幻觉、缺乏置信度估计和缺乏引用等局限性。文章探讨了克服这些局限性的可能途径,特别提出了一种“一致性引导”的方法:从精选的、一致的语料库中训练基础模型,然后用该模型筛选新的训练数据,逐步扩展训练集并最终训练出一个大型的一致性语言模型。文章还提出了训练多个具有不同世界观的模型的想法。

“人工智能教母”李飞飞创办了一家价值10亿美元的初创公司 (qz.com)

被称为“人工智能教母”的李飞飞博士创办了一家名为 World Labs 的人工智能初创公司,该公司目前价值10亿美元。World Labs 的目标是开发能够进行类似人类视觉数据处理和高级推理的技术。李飞飞以其对人工智能的贡献而闻名,她发明了 ImageNet,这是一个用于推进计算机视觉的数据集,被许多人视为人工智能热潮的催化剂。

CheerpX 文档 (labs.leaningtech.com)

CheerpX是一种x86虚拟化技术,可以在浏览器端运行可执行文件和操作系统。它是一个始终可用、零成本的虚拟机,具有保证的数据隐私性,由WebAssembly JIT引擎提供支持。CheerpX非常适合基于Web的IDE、编程教程、虚拟机和交互式演示。它还可以用于为不受信任的代码提供安全的沙箱。

Valve:仅凭约 350 名员工运营其庞大的 PC 游戏生态系统 (arstechnica.com)

Valve,一家以其游戏平台 Steam 而闻名的公司,仅依靠大约 350 名员工就实现了年收入约 65 亿美元的惊人业绩。Ars Technica 对泄露数据的分析揭示了 Valve 内部组织的扁平化结构,其中“游戏”部门占据了大部分员工人数,而负责运营 Steam 平台的“Steam”部门的规模近年来反而有所缩减。尽管员工人数少,但 Valve 仍然能够创造出像 Steam Deck 这样的热门硬件产品,并对 Dota 2 和 Counter-Strike 2 等游戏提供持续支持。

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

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

sqlite-bench:测试 SQLite 事务行为的项目 (github.com)

该项目包含 SQLite 事务行为测试的代码,并提供了一个多平台 Docker 镜像,用于对 SQLite 数据库执行基准测试。该项目提供详细的使用说明,包括如何编译、运行和配置测试参数,例如线程数、扫描操作和更新操作等。

Instagram与青少年之争的新进展 (www.theatlantic.com)

Meta公司宣布将启动一项试点项目,允许少数研究人员访问Instagram数据,以研究该应用对青少年和年轻人身心健康的影响。该项目为深入了解社交媒体的影响打开了大门,但一些研究人员对此表示担忧,因为Meta公司之前曾被指控限制研究人员对其平台进行研究。该项目被认为是在数据透明度方面迈出的重要一步,但仍有待观察其能否真正解决人们对社交媒体影响的担忧。

贝塞尔曲线弧长参数化问题 (ninjakoa.la)

文章探讨了计算机图形学中贝塞尔曲线弧长参数化问题。作者首先解释了弧长参数化的概念,然后指出三次贝塞尔曲线的弧长没有封闭形式解,而二次贝塞尔曲线的弧长虽然可以计算,但其弧长参数化通常也被认为没有封闭形式解。为了证明这一点,作者引入了Lin定理和Schanuel猜想,并通过数学推导证明了在Schanuel猜想成立的情况下,二次贝塞尔曲线的弧长参数化不存在封闭形式解。

基于 RP2040 的 DECstation 模拟器 (github.com)

DECstation 2040是一个基于RP2040的DECstation 3000模拟器,可以运行DECWindows。它具有32 MB的PSRAM、8 MB的SPI闪存和一个uSD卡插槽,并支持以太网和单色VGA输出。该项目使用了RP2040的PIO和DMA功能来实现高效的视频输出和内存访问。

格芯获4亿美元资金,将在德克萨斯州和密苏里州建设美国首批300毫米晶圆厂 (www.theregister.com)

美国政府将根据《芯片法案》向格芯提供高达4亿美元的资金,用于资助其在德克萨斯州和密苏里州的300毫米晶圆制造厂。德克萨斯州的工厂将是美国首家300毫米晶圆制造厂,而密苏里州的工厂将生产用于国防和航空航天应用的绝缘体上硅(SOI)300毫米晶圆。这两个工厂总共将耗资约40亿美元,这意味着《芯片法案》提供的最高奖励将高达预算的10%。

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

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

2024年重大数据泄露事件:超10亿条记录被盗,数据安全堪忧 (techcrunch.com)

2024年才过半,全球已发生多起重大数据泄露事件,累计超10亿条记录被盗。其中,美国电信巨头AT&T发生两起数据泄露,泄露了近乎所有客户的电话号码和通话记录;医疗保健巨头联合健康集团旗下Change Healthcare遭黑客攻击,数亿美国人敏感医疗数据被盗;英国病理实验室Synnovis遭勒索软件攻击,3亿患者数据被盗。

ACT考试将迎来重大改革,科学部分将改为选考 (edition.cnn.com)

美国大学入学考试ACT将进行重大改革,包括缩短考试时间、降低考试费用,并将科学部分改为选考。考试时间将从3小时缩短至2小时,阅读和英语部分的文章长度将缩短,每个部分的题目数量也将减少。 这一改革旨在减轻学生的考试压力,让他们能够在更短的时间内发挥出最佳水平。 此外,ACT还将推出免费的大学和职业规划项目,帮助学生更好地规划未来。

YC 孵化企业 Draftaid 招聘软件工程师 (www.ycombinator.com)

Draftaid 是一家利用人工智能技术自动生成 CAD 工程图纸的初创公司,致力于革新机械设计领域。公司正在寻找一位经验丰富的软件工程师加入其位于加拿大安大略省奥克维尔的团队。 该职位需要精通全栈开发,包括人工智能、机器学习算法、数据库以及与 CAD 工具的集成。 成功的候选人将领导核心技术堆栈的开发,并与创始团队紧密合作,推动产品路线图。

Rye 语言 (ryelang.org)

Rye 是一种高级、同像的动态编程语言,其灵感来自 Rebol,并融入了 Factor、Linux shell 和 Go 的元素。它仍在开发中,但其目标是尽快使其变得实用。它使用 Go 编写,也可以被视为 Go 的脚本伴侣,因为 Go 的库很容易集成,并且 Rye 可以作为脚本或配置语言嵌入到 Go 程序中。

Blitzping: 用户空间下极速发送IP数据包 (github.com)

Blitzping是一款在用户空间内尽可能快地发送IP数据包的工具,专为嵌入式设备设计,仅依赖于标准POSIX头文件和C11的libc。它通过预先生成数据包静态部分、异步配置、多线程发送和编译器优化等方式,实现了比hping3和nping更高的数据包发送速度,尤其是在发送最小TCP SYN数据包时,性能提升显著。

格兰特与统计学 (www.delanceyplace.com)

本文讲述了John Graunt和他的著作《对死亡率的自然和政治观察》如何开创了统计学。格兰特是一位商人,他利用伦敦教会的出生和死亡记录,分析了人口统计数据,并从中推断出关于社会和经济的重要信息。他的方法为统计推断奠定了基础,并影响了从保险到市场调研的各个领域。

Tracklist.it - 发现与分享新音乐的平台 (tracklist.it)

Tracklist.it是一个音乐发现和分享平台,用户可以在这里探索和分享新的音乐曲目。网站每天更新最新的曲目列表,并提供歌曲信息,方便用户浏览和收听。

谷歌文档终于支持 Markdown 了 (arstechnica.com)

谷歌文档即将原生支持 Markdown 语法,允许用户直接粘贴或导入 Markdown 文本,并将其转换为相应的格式。用户还可以将文档导出为 Markdown 格式。这一功能对技术内容作者尤其有用,他们现在可以使用谷歌文档进行实时同步和协作,同时保留 Markdown 的格式。

NOAA 处于危险之中 (www.theatlantic.com)

本文揭露了美国保守派智库“传统基金会”提出的“2025计划”可能导致国家海洋和大气管理局(NOAA)被解散的风险。该计划主张NOAA停止发布公共天气预报,将其数据收集和预报工作完全商业化,并大幅缩减其气候变化研究部门。文章认为,私有化天气信息可能会导致服务分层,使公众无法获得高质量的天气预报,并警告NOAA的解散将削弱美国应对日益频繁的极端天气事件的能力。

研究人员打造超轻型太阳能无人机 (arstechnica.com)

北京的研究人员开发了一种名为“库仑飞行器”的超轻型无人机,该无人机采用太阳能电池、电压转换器和静电马达驱动螺旋桨,可在阳光照射下长时间自主悬停。由于静电马达需要高电压,研究人员设计了一种高效但轻便的电压转换器。这款无人机目前还没有配备控制硬件,无法定向飞行,但其轻巧的设计和潜在的优化空间为未来发展提供了可能。

对AWK的创造者Brian Kernighan博士的简短采访 (pldb.io)

这篇文章是对AWK编程语言的创造者之一Brian Kernighan博士的简短采访。在采访中,Kernighan博士谈到了AWK的一些新颖之处,比如关联数组和模式-动作范式,以及他在设计编程语言时所使用的参考资料。他还给那些想进入编程语言设计领域年轻人提出了一些建议,建议他们尝试设计和实现小型和专用的语言。

NVIDIA全面转向开源GPU内核模块 (developer.nvidia.com)

NVIDIA宣布从R560驱动程序版本开始全面转向开源GPU内核模块。 此举始于2022年5月发布的R515驱动程序,该驱动程序以开源形式发布了一组Linux GPU内核模块。开源模块现已具备与专有驱动程序相当或更好的性能,并添加了对异构内存管理、机密计算以及Grace平台的相干内存架构等新功能的支持。 对于图灵、安培、Ada Lovelace或Hopper架构的新GPU,NVIDIA建议切换到开源GPU内核模块。但对于Maxwell、Pascal或Volta架构的旧GPU,开源GPU内核模块不兼容,建议继续使用NVIDIA专有驱动。

迷你电脑中心 (minipcs.org)

这篇文章介绍了迷你电脑中心,一个提供各种迷你电脑信息的网站。文章列出了不同型号迷你电脑的详细配置信息,包括CPU型号、Geekbench跑分、内存大小、内存类型等,方便用户比较和选择合适的迷你电脑产品。

VisCircuit - 让电路学习变得简单 (viscircuit.com)

VisCircuit 旨在让电路学习变得简单。

博士论文致谢辞中的意外诗意 (science.anu.edu.au)

澳大利亚国立大学科学院的Tabitha Carvan阅读了数百篇博士论文的致谢辞,发现了一种独特的诗意。这些致谢辞看似格式化,却饱含着作者无法在论文其他部分表达的情感。作者们感谢导师、家人、朋友,甚至咖啡师,感谢他们在漫长而艰辛的科研过程中提供的支持和陪伴。论文的成功看似来自复杂的实验和分析,但最终都归结于人与人之间的联结和情感支持。

1 2 92 93 94 96 98 99 100 366 367