Article URL: https://arxiv.org/abs/2609.16299
Comments URL: https://news.ycombinator.com/item?id=49987827
Points: 1
# Comments: 0
General
Revisiting Soundness for Occurrence Typing, Semantically
Hacker News New0 views
Source：https://arxiv.org/abs/2609.16299
PreviousShow HN: A browser-only checker for text hiding under PDF black boxesNextAI startup acquisitions by other AI startups hit 195 through Sept. 29, up 14% from all of 2025, but number of buyers grew just 2%; OpenAI was the most active (Mary Ann Azevedo/Crunchbase News)
Related posts
The Trump Administration Is Wreaking Havoc on the Electoral System Before the Midterms
0Wired
YouTuber Druski is going to make exclusive content for Netflix
0The Verge
Why are Soviet math textbooks so hardcore in comparison to US textbooks? (2017)
0Hacker News
Technofeudalism
0Hacker News
The Linkerd Story: The people Behind The Service Mesh — A new documentary premieres at KubeCon + CloudNativeCon North America 2026
0CNCF Blog
Londres en otoño: barrios, mercados y museos a tu ritmo
0dev.to Watercooler