Lambda Calculus Benchmark for AI
lambda 算术基准AI
47900506
A web-based RDP client built with Go WebAssembly and grdp
一个基于Go WebAssembly和grdp的Web端RDP客户端。
47900440
You probably wouldn't notice if an AI chatbot slipped ads into its responses
你 Probably wouldn't notice if an AI chatbot slipped ads into its responses
47900270
Show HN: A Karpathy-style LLM wiki your agents maintain (Markdown and Git)
展示 HN:一个以卡瑞普特风格 LLM 维基为基础的 LLM 知识库,你的代理维护(Markdown 和 Git)
47899844
Escrow Security for iCloud Keychain
iCloud 密钥安全
47899334
New 10 GbE USB adapters are cooler, smaller, cheaper
新10GbE USB适配器更凉,更小,更便宜
47899053
Oxford All Souls College General Examination (2025) [pdf]
牛津阿萨斯学院2025年一般考试 [PDF]
47898680
Turbo Vision 2.0 – a modern port
涡轮视力2.0 – 一款现代移植
47898597
Show HN: VT Code – Rust TUI coding agent with multi-provider support
Show HN: VT Code – Rust TUI coding agent with multi-provider support
47898308
Devin for Terminal
Devin for Terminal
47897953
Firefox Has Integrated Brave's Adblock Engine
Firefox 集成了 Brave 的广告拦截引擎
47897891
Open source memory layer so any AI agent can do what Claude.ai and ChatGPT do
开源内存层,任何AI代理都可以做的事情,类似于Claude.ai 和 ChatGPT。
47897790
Cosmology with Geometry Nodes
cosmology with geometry nodes
47897706
(Blender) Cosmology with Geometry Nodes
(Blender) 宇宙学与几何节点
47897706
Plain text has been around for decades and it’s here to stay
文本已存在几十年,并且它将持续存在。
47897681
"Plain text has been around for decades and it's here to stay." – Unsung
“文本已经存在了几十年,而且会持续下去。” – 无名
47897681
Replace IBM Quantum back end with /dev/urandom
替换IBM量子后端替换 /dev/urandom
47897647
Avnac: Open-source local-first Canva alternative
Avnac:开源本地优先的 Canva 的替代品
47897638
Cactus, a work-stealing parallel recursion runtime for C
“仙人掌,一个为并行递归运行时提供盗窃工作功能的平行递归运行时。”
47897570
Is Italy the new tax haven for the global rich?
意大利是否成为全球富豪的新税天堂?
47897477
Education must go beyond the mere production of words
教育必须超越仅仅生产字眼。
47897349
The bull case for graph DBs in law
图数据库在法律领域的案例
47897043
FusionCore: ROS 2 sensor fusion (IMU and GPS and encoders)
核心融合:ROS 2 传感器融合 (IMU 和 GPS 和编码器)
47896670
$8800 house design helps prevent fatal diseases in African children
八千八百美元的住宅设计有助于阻止非洲儿童中危的疾病。
47896664
Show HN: I've built a nice home server OS
“Show HN:我构建了一个不错的家庭服务器操作系统”
47896163
Generalised plusequals
Generalized plusequals
47896086
Google Flow Music
Google Flow Music
47895765
Eurosky.social Account
Eurosky.social 账户
47895567
PiClaw v2.0.0 – A New Hope
PiClaw v2.0.0 – 一场新希望
47895297
Show HN: Nimbus – Browser with Claude Code UX
Show HN: Nimbus – Browser with Claude Code UX
47895093
Tell HN: Claude 4.7 is ignoring stop hooks
中文:
tell HN: Claude 4.7 正在忽略停止钩
47895029
MenteDB – open-source memory database for AI agents (Rust)
MenteDB – 一款开源内存数据库,用于AI代理(Rust)
47894985
My audio interface has SSH enabled by default
我的音频接口默认启用SSH
47894747
TIPSv2: Advancing Vision-Language Pretraining with Enhanced Patch-Text Alignment
TIPSv2:通过增强Patch-文本对齐来改进视觉语言预训练
47894734
Could a Claude Code routine watch my finances?
能否让Claude Code 监控我的财务状况?
47894690
Show HN: HNswered – watches for replies to your Hacker News posts and comments
“见面会:回复您的 Hacker News 帖子和评论”
47894638
The Classic American Diner
经典美国宾馆
47894435
MiniZinc, constraint modelling language solve discrete optimisation problems
MiniZinc 是一个约束建模语言解决离散优化问题。
47894291
SFO Quiet Airport (2025)
SFO 沉默机场 (2025)
47894081
OpenAI releases GPT-5.5 and GPT-5.5 Pro in the API
OpenAI 发布 GPT-5.5 和 GPT-5.5 Pro 在 API 中
47894000
There Will Be a Scientific Theory of Deep Learning
“深度学习将诞生一个科学理论”
47893779
CC-Canary: Detect early signs of regressions in Claude Code
CC-Canary: 检测 Claude 代码退步迹象
47893620
CSS as a Query Language
CSS as a Query Language
47893427
Tariffs Raised Consumers' Prices, but the Refunds Go Only to Businesses
消费者价格上涨,但退款仅限于企业。
47893060
Tesla discloses $2B AI hardware company acquisition in filing
特斯拉披露 $200 亿美元人工智能硬件公司收购
47892765
Redesigning the Recurse Center application to inspire curious programmers
重新设计递归中心应用,以激发好奇的程序员
47892660
SDL Now Supports DOS
SDL 现在支持 DOS
47892291
Diatec, known for its mechanical keyboard brand FILCO, has ceased operations
Diatec, 以其机械键盘品牌 FILCO 已停止运营。
47892236
Google plans to invest up to $40B in Anthropic
谷歌计划投资高达4000亿美元到Anthropic。
47892074
I cancelled Claude: Token issues, declining quality, and poor support
我取消了Claude:令牌问题、降低质量、糟糕的支持
47892019
Refuse to let your doctor record you
拒绝让你的医生记录你。
47891872
I'm done making desktop applications (2009)
我做完了2009年的桌面应用程序
47891801
Norway set to become latest country to ban social media for under 16s
挪威将成为世界上最新一例禁止16岁及以下使用社交媒体的国家。
47891019
Different Language Models Learn Similar Number Representations
不同语言模型学习类似数量的表示
47890873
Different language models learn similar number representations
不同语言模型学习相似的数字表示
47890873
Show HN: Browser Harness – Gives LLM freedom to complete any browser task
Show HN: 浏览器引擎 – 赋予 LLM 完成浏览器任务的自由。
47890841
Sabotaging projects by overthinking, scope creep, and structural diffing
“过度思考、范围蔓延和结构性脱节导致项目破坏”
47890799
ML supports existence of unrecognized transient astronomical phenomena
ML 支持未识别的瞬时天文现象。
47890456
The operating cost of adult and gambling startups
成年和赌场的创业运营成本
47889279
Show HN: Atomic – Local-first, AI-augmented personal knowledge base
“展示 HN:原子 – 本地优先,AI 增强的个人知识库”
47889110
8087 Emulation on 8086 Systems
8087 Emulation on 8086 Systems
47888694
Hear your agent suffer through your code
听你经纪人忍受你的代码
47888465
How to be anti-social – a guide to incoherent and isolating social experiences
如何成为反社会型,一份关于不连贯和孤立社交体验的指南
47888372
Mounting tar archives as a filesystem in WebAssembly
将tar存档作为WebAssembly文件系统挂载
47888124
Spinel: Ruby AOT Native Compiler
石英:Ruby AOT natives编译器
47887334
Composition shouldn't be this hard
构件不难如此。
47886773
Show HN: Gova – The declarative GUI framework for Go
演示会:Gova – Go 语言的声明式 GUI 框架
47886272
Why Not Venus?
为什么不是 Venus?
47885739
DeepSeek v4
DeepSeek v4
47884971
Why I Write (1946)
它写了 (1946)
47884768
Physicists revive 1990s laser concept to propose a next-generation atomic clock
物理学家复兴1990年代激光概念,以提出下一代原子钟。
47884225
US special forces soldier arrested after allegedly winning $400k on Maduro raid
美国特种军事士兵因涉嫌在马德可袭击中获胜,被逮捕。
47882645
TorchTPU: Running PyTorch Natively on TPUs at Google Scale
TorchTPU: 在谷歌规模上原生运行 PyTorch
47881786
Using the internet like it's 1999
使用互联网像1999年一样
47881198
GPT-5.5
GPT-5.5
47879092
An update on recent Claude Code quality reports
“关于近期 Claude 代码质量报告的更新”
47878905
Bitwarden CLI compromised in ongoing Checkmarx supply chain campaign
Bitwarden CLI 受到持续的检查马x供应链攻击的影响
47876043
UK Biobank health data keeps ending up on GitHub
英国生物银行健康数据越来越被GitHub上发现。
47875843
Email could have been X.400 times better
邮件Could have been X.400 times better。
47873323
A disabled kea parrot is the alpha male of his circus
一只受残疾的柯氏鹦鹉是他的杂耍中心的alpha男。
47872418
MacBook Neo and how the iPad should be
MacBook Neo 和如何使用iPad
47872306
PCR is a surprisingly near-optimal technology
PCR 是一个 surprisingly near-optimal 技术
47866215
Alberta startup sells no-tech tractors for half price
阿尔伯塔州初创公司以半价出售无需技术的拖拉机。
47865868
A Powerful New 'QR Code' Untangles Math's Knottiest Knots
一个强大的新‘二维码’解开了数学的缠结最棘手的问题。
47865283
Iliad fragment found in Roman-era mummy
阿基俄斯片段在罗马时期法老墓中发现。
47864056
Larry McMurtry's Tall Tales
爱尔兰的故事
47863196
A 3D Body from Eight Questions – No Photo, No GPU
三维身体,八个问题 – 无照片,无GPU
47862541
The Overtom Chess Computer Museum
奥特莫棋盘计算机博物馆
47860911
A Man Who Invented the Future
一个发明未来的男人
47859543
Panipat: The Rise of the Mughals
帕尼塔:穆斯塔法王朝的 rise
47859514
Reverse-engineering infrared-based electronic shelf labels
反向工程 IR 基于电子货架标签
47858982
Paraloid B-72
巴尔索威尔 B-72
47858939
Humpback whales are forming super-groups
海豚鲸鱼正在形成超级群体
47858294
How to Implement an FPS Counter
如何实现FPS计数字数
47857563
ENIAC's Architects Wove Stories Through Computing
ENIAC 建筑师编织了计算的故事
47856997
Work with the garage door up
与门廊合作
47851613
Work with the garage door up (2024)
与阁楼(2024)合作
47851613
You don't want long-lived keys
你不需要长久存在的键。
47851377
The mail sent to a video game publisher
邮件发送给视频游戏出版商
47849455