Kint UI
Components
Hacker news
Account
Sample One
Sample One
Welcome to Hacker News
Welcome to the No 1. site for reading really good hacker news. Enjoy our articles.
Posts
A whirlwind tour of systemd-nspawn containers (2025)
https://quantum5.ca/2025/03/22/whirlwind-tour-of-s...
55 points
12 comments
LLMs are making formal software verification feasible at a much larger scale
https://www.anthropic.com/research/formal-verifica...
462 points
311 comments
Woman charged with computer fraud due to scam CashApp account being in her name
https://www.404media.co/amanda-smith-opened-a-cash...
665 points
728 comments
eMudhra to exit global SSL/TLS certificate business
https://emudhra.com/en/press-release/emudhra-to-ex...
1157 points
742 comments
Pentagon orders bases to plan for 90 days without the grid
https://fortune.com/2026/10/26/pentagon-fortress-b...
10 points
4 comments
Microsoft offers buyouts to around 60k employees to contain costs
https://www.reuters.com/technology/microsoft-is-of...
7 points
1 comments
SS United States to be sunk as largest artificial reef
https://divemagazine.com/scuba-diving-news/ss-unit...
5 points
2 comments
Progressive disclosure in agents to make them 2.3x faster
https://www.skyvern.com/blog/deleting-rag-from-our...
21 points
2 comments
Anthropic files S-1 with the SEC for proposed initial public offering
https://www.anthropic.com/news/s1-sec
25 points
1 comments
I will no longer be uploading to the Debian NEW queue
https://lists.debian.org/debian-devel/2026/10/msg0...
6 points
1 comments
Show HN: Steal My Bitcoin
https://stealmybitcoin.com/
616 points
450 comments
Gemma-4-26B-A4B with 39-69% less thinking at same accuracy
https://bottlecapai.com/post/thinkingcap-gemma-4-2...
126 points
34 comments
The Small Web is Huge [video]
https://dn711504.ca.archive.org/0/items/small_web/...
3 points
0 comments
Dream-1
https://dreamlabs.ai/research/dream-1/
180 points
77 comments
A farewell to Arc browser
https://arc.net/
286 points
255 comments
Upwelling – Combining real-time collaboration with version control for writers
https://www.inkandswitch.com/upwelling/
5 points
0 comments
The HTML-in-Canvas API origin trial
https://developer.chrome.com/blog/html-in-canvas-o...
123 points
63 comments
Monoidal computer I: Basic computability by string diagrams (2012)
https://arxiv.org/abs/1208.5205
16 points
0 comments
ICE plan to buy robot dogs spurs protest from Boston Dynamics employees
https://arstechnica.com/ai/2026/10/boston-dynamics...
7 points
0 comments
Securing our frontier model training environment
https://openai.com/index/securing-our-frontier-mod...
125 points
121 comments
Remove pgrust: the entry is cheating (per-query kernels and result caching)
https://github.com/ClickHouse/ClickBench/pull/2165
195 points
162 comments
Police Pulling People over Because AI Deems Their Driving Patterns "Suspicious"
https://www.aclu.org/news/privacy-technology/ai-dr...
10 points
0 comments
We have traits at home
https://www.axelmagn.com/blog/202610-zig-traits/
56 points
19 comments
No signs of AI payoff outside the tech sector
https://www.apollo.com/wealth/insights-news/insigh...
641 points
668 comments
How we made our MMDB files a 33% smaller
https://ipinfo.io/blog/how-made-mmdb-files-smaller
8 points
0 comments
Evolving Threat: http2shell is an RCE in Node, Python, and more
https://nitter.click/AikidoSecurity/status/2113759...
186 points
95 comments
Who killed the EV cert? A browser whodunit for Halloween
https://qwac.com/blog/who-killed-the-ev-cert
30 points
40 comments
Chinese research vessels loiter near undersea cables more than any other nation
https://www.tomshardware.com/tech-industry/chinese...
11 points
0 comments
Ask HN: Is it not possible to enroll for Apple Developer anymore?
item?id=50237680
31 points
16 comments
Japanese companies compensate users as cyberattacks buffet economy
https://www.reuters.com/business/finance/japan-com...
4 points
0 comments
View page 29