Skip to content
Hacker News
New stories
Live mirror
30 stories
·
updated just now
View source snapshot
1
Hamilton–Perelman's proof of Poincaré conjecture is claimed to be autoformalized
(github.com/qinz1yang
↗
)
1 points
by
unexpectedtrap
1 minute ago
—
discuss
2
Quake 2 on ESP32-P4
(github.com/alexkid77
↗
)
1 points
by
alexkid777
2 minutes ago
—
discuss
3
With iOS 27, Apple Is Quietly Setting the Stage to Paywall Your iPhone
(pcmag.com
↗
)
1 points
by
divbzero
3 minutes ago
—
discuss
4
Migrating from MinIO to Predastore
(mulgadc.com
↗
)
5 points
by
InsideStick
4 minutes ago
1
comments
5
Tailmux – connect to multiple tailnets at once
(github.com/growlyx
↗
)
1 points
by
subhamkts
5 minutes ago
—
discuss
6
Why Cheetahs Are Friendly (But Never Domesticated) [video]
(youtube.com
↗
)
1 points
by
dataflow
9 minutes ago
—
discuss
7
Cantor's Diagonal Argument
(wikipedia.org
↗
)
1 points
by
CGMthrowaway
10 minutes ago
—
discuss
8
VPNs, Copyright Territoriality, and Why Borders Still Matter Online
(wolterskluwer.com
↗
)
1 points
by
bryanrasmussen
10 minutes ago
1
comments
9
El Niño bursts through temperature record months before peak
(theguardian.com
↗
)
1 points
by
ijidak
11 minutes ago
—
discuss
10
Machine will eventually solve face powder, in theory.. (2021)
(reddit.com
↗
)
2 points
by
112233
15 minutes ago
—
discuss
11
Is this the Future of Gaming? [video]
(youtube.com
↗
)
1 points
by
sb057
17 minutes ago
—
discuss
12
InputConfig: Free Controller Mapper for Mac
(inputconfig.com
↗
)
1 points
by
jonbaer
17 minutes ago
—
discuss
13
TraceOn – best DevTools extension that explains why your page loaded slow
(chromewebstore.google.com
↗
)
2 points
by
Solomon_mh
23 minutes ago
—
discuss
14
Google Assistant won't be available soon
(androidpolice.com
↗
)
2 points
by
auaauaaaaua
25 minutes ago
—
discuss
15
AG of Florida files for temporary injunction against OpenAI [pdf]
(myfloridalegal.com
↗
)
2 points
by
theahura
26 minutes ago
—
discuss
16
Anthropic warns AI may pose 'existential risks to humanity' in IPO filing
(cnbc.com
↗
)
2 points
by
magoghm
26 minutes ago
—
discuss
17
Show HN: Error in official Swiss weather forecasts, recorded since September '25
(xlit.app
↗
)
1 points
by
ghasemi
27 minutes ago
1
comments
18
Egg producers reach federal and state settlement over price-fixing allegations
(cbsnews.com
↗
)
2 points
by
dataflow
29 minutes ago
—
discuss
19
Inside Texas immigration court where children fight to stay in the US
(cnn.com
↗
)
2 points
by
spankibalt
29 minutes ago
—
discuss
20
The Video Game Industries Dark Night
(isfine.org
↗
)
1 points
by
akurilin
33 minutes ago
—
discuss
21
AMD Acquires Fei-Fei Li's World Labs for $8.2B
(youtube.com
↗
)
1 points
by
rasengan0
34 minutes ago
—
discuss
22
Show HN: How distributed Claude Code is built on a tunnelling service
(nfltr.xyz
↗
)
1 points
by
abbiya
38 minutes ago
—
discuss
23
2026 in LLMs (so far)
(simonwillison.net
↗
)
1 points
by
matt_d
40 minutes ago
—
discuss
24
Show HN: Gargi Reflex: Autonomous Model Caching for System One Decisions
(gargi.io
↗
)
2 points
by
gishnumadhu
44 minutes ago
—
discuss
25
When oil prices spike, where does the money go?
(theconversation.com
↗
)
4 points
by
thelastgallon
50 minutes ago
—
discuss
26
Clipboard Normalizer
(jefftk.com
↗
)
1 points
by
luu
51 minutes ago
—
discuss
27
Global Cloud Status
(globalcloudstatus.com
↗
)
1 points
by
kyleomalley
52 minutes ago
1
comments
28
Compiler Construction Fall 2018 (UCSD)
(ucsd-cse131-s18.github.io
↗
)
1 points
by
learner_yearner
52 minutes ago
—
discuss
29
DHH has gone off the rails [video]
(youtube.com
↗
)
3 points
by
ferryth
53 minutes ago
—
discuss
30
Histomap: Visualizing the 4k Year History of Global Power
(visualcapitalist.com
↗
)
1 points
by
colinprince
53 minutes ago
—
discuss
Load more stories
Back
InputConfig: Free Controller Mapper for Mac
1 points
by
jonbaer
19m ago
inputconfig.com
Open original
View on HN
Comments · 0
Comments · 0
Article
Article
0 comments
A quiet thread, for now.
Start the conversation on HN ↗
Maximize article