Hacker News

共 3933 篇文章

2281

Poly/ML – A Standard ML Implementation

2026-07-07 · 在编程语言的浩瀚星河中,Standard ML(标准ML)或许不如Python、Java那样家喻户晓,但它始终是函数式编程领域一颗不容忽视的明珠。而Poly/M
2282

Vessel An EGA adventure about whether machines can grieve

2026-07-07 · 近日,一款名为《Vessel》的独立冒险游戏正式登陆Steam平台,引发游戏界与哲学界的双重关注。这款由小型独立工作室“回声实验室”历时三年开发的像素风格EGA
2283

Evaluation order and nontermination in query languages

2026-07-07 · 在数据库和编程语言的发展史上,“非终止”(nontermination)问题始终是开发者挥之不去的噩梦。近日,数据库理论领域一篇题为《Evaluation or
2284

How to sequence your own DNA at home

2026-07-07 · 在科幻电影中,基因测序往往是疯狂科学家在层层防护的实验室中进行的复杂操作。然而,随着生物技术的飞速发展,这个曾经遥不可及的技术如今已悄然走入寻常百姓家。一个令人
2285

A 2048-spin bulk acoustic wave Ising machine for number partitioning and Sudoku

2026-07-07 · 在经典计算面临组合优化难题时,新型物理计算设备正开辟一条全新路径。近日,一支国际研究团队在《自然·通讯》上发表了一项突破性成果:他们成功研制出一台搭载2048个
2286

Ternlight – 7 MB embedding model that runs in browser (WASM)

2026-07-07 · 近年来,大语言模型(LLM)的参数量动辄数十亿乃至上千亿,部署门槛居高不下。然而,在边缘计算与隐私保护需求日益增长的背景下,轻量级模型正成为新焦点。近日,一款名
2287

Fable turned remarkable into Tom Riddle's diary from Harry Potter

2026-07-07 · 在文学作品中,汤姆·里德尔的日记不仅是一本普通的日记,更是一个被黑魔法染指的魂器,能够操控人心、扭曲现实。而在现实世界,一则古老的东方寓言“粉身碎骨浑不怕,要留
2288

Companies hire more after AI adoption

2026-07-06 · 长期以来,“人工智能将取代人类工作”的担忧弥漫在全球劳动力市场。然而,最新多项研究与商业实践数据却呈现出一幅截然不同的图景:在积极引入AI技术后,多数企业的招聘
2289

The LLVM Compiler Infrastructure

2026-07-06 · 在当今软件开发与芯片设计深度融合的时代,编译器早已不再只是把人类可读的代码翻译成机器指令的“黑盒”。一个名为“LLVM”的开源项目,正悄然重塑着从手机APP到超
2290

M/PC – A Concatenative OS

2026-07-06 · 在操作系统设计领域,Linux、Windows和macOS长期占据统治地位,它们均基于“冯·诺依曼”架构的进程管理与虚拟内存模型。然而,一种名为“M/PC”的全
2291

Titan's Resources and Their Utilization

2026-07-06 · 在太阳系中,土星的第六大卫星——土卫六(Titan)一直被视为最具有资源潜力的天体之一。作为太阳系中唯一拥有浓厚大气层的卫星,土卫六表面遍布液态甲烷和乙烷构成的
2292

GLM 5.2 and the coming AI margin collapse

2026-07-06 · 随着人工智能大模型竞赛进入下半场,一场关于“利润空间”的暗战正在悄然升级。近日,智谱AI正式推出其最新一代基座模型GLM 5.2,这一被内部称为“成本屠夫”的版
2293

Taiganet.com, Home of the WS4000 Simulator

2026-07-06 · 在互联网的某个角落,有一个致力于保存电视气象历史的小众网站——Taiganet.com。它并非普通的天气预报平台,而是全球唯一全面模拟美国天气频道(The We
2294

Learning to code is still worthwhile

2026-07-06 · 曾几何时,“学会编程”被视为通往高薪职业和数字时代的金钥匙。然而,随着ChatGPT、Copilot等生成式AI工具的横空出世,一个声音开始蔓延:编程还有必要学
2295

AI: The ROI Runway Could Be Long Outside the Tech Sector

2026-07-06 · 随着生成式人工智能(AI)浪潮席卷全球,企业纷纷加速拥抱这一技术。然而,最新行业分析指出,对于非科技行业的公司而言,AI投资实现显著回报的周期可能远比预期漫长。
2296

Full Writeup of the Windows GDID

2026-07-06 · 近日,微软发布了一项针对Windows操作系统关键组件——图形设备接口驱动(Graphics Device Interface Driver,简称GDID)的完
2297

How little exercise can you get away with?

2026-07-06 · “今天太累了,明天再练吧”“周末补上就好”——这样的借口,你用过多少次?在快节奏的现代生活中,运动常常被排在待办清单的最末位。然而,一个更实际的问题开始浮出水面
2298

Pruning RAG context down to what the answer actually needs

2026-07-06 · 在大语言模型(LLM)应用领域,检索增强生成(RAG)已成为提升知识准确性和时效性的核心范式。然而,随着企业级应用对模型响应质量和成本控制的要求日益严苛,一个关
2299

Python 3.14 compiled to metal – no interpreter

2026-07-06 · 近日,Python 核心开发团队在年度 PyCon 大会上正式宣布了一项里程碑式的技术突破:Python 3.14 将首次支持直接编译到 Apple Metal
2300

Price per 1M tokens is meaningless

2026-07-06 · 在人工智能大模型商业化竞争日趋白热化的当下,一个看似技术化的指标——“每百万Token价格”——正悄然成为各大厂商争夺客户、展示实力的核心战场。然而,随着应用场