N
Hacker Next
new
past
show
ask
show
jobs
submit
login
121
▲
Are We Stuck with Lean?
(
mathoverflow.net
)
153 points by
jjgreen
2 days ago
|
66 comments
122
▲
Show HN: I built a cross-browser extension that controls fingerprinting surfaces
(
privacything.com
)
19 points by
tomaszjanusz
16 hours ago
|
10 comments
123
▲
Show HN: Chronos, 2 terminal games through 50 years of hacking history
(
chronos-game.com
)
12 points by
xav77
14 hours ago
|
4 comments
124
▲
The Elevator Button Problem
(
blog.jgc.org
)
11 points by
jgrahamc
14 hours ago
|
3 comments
125
▲
Show HN: The Goal is simple, there should be an actual free editor
(
sylixide.com
)
16 points by
Sai-09
14 hours ago
|
7 comments
126
▲
Google will expand age checks on Android worldwide till the end of the year
(
android-developers.googleblog.com
)
415 points by
dmantis
2 days ago
|
511 comments
127
▲
New Defcon Badges Pack a Unique Open-Source Chip That Doubles as a Security Key
(
wired.com
)
63 points by
hn_acker
16 hours ago
|
11 comments
128
▲
Why don't people use formal methods? (2019)
(
hillelwayne.com
)
128 points by
Thom2503
2 days ago
|
115 comments
129
▲
RFC 8890 – The Internet is for End Users (2020)
(
mnot.net
)
129 points by
notarobot123
2 days ago
|
41 comments
130
▲
BMW Is Showing Commercials on Their Car's Dash Screens
(
theautopian.com
)
3 points by
Tomte
3 hours ago
|
0 comments
131
▲
Ask HN: What did you learn last month? (July 2026)
8 points by
bhu1st
7 hours ago
|
6 comments
132
▲
AI's top startups are barely publishing their research
(
science.org
)
611 points by
YeGoblynQueenne
2 days ago
|
317 comments
133
▲
AI broke writing as proof-of-thought
(
hereisyourbrain.substack.com
)
8 points by
prdgl_daughter
4 hours ago
|
1 comment
134
▲
Agent Skill to Force Docs in ASD-STE100 Simplified Technical English
(
github.com
)
325 points by
navs
1 days ago
|
118 comments
135
▲
Google is actively hiring someone to save the world from AGI/ASI
(
google.com
)
8 points by
arm32
5 hours ago
|
4 comments
136
▲
A.I. Books Sneak Their Way into Stores
(
nytimes.com
)
3 points by
lxm
3 hours ago
|
0 comments
137
▲
Read this before you buy that TV streaming stick
(
krebsonsecurity.com
)
794 points by
speckx
2 days ago
|
531 comments
138
▲
Azulejo
(
en.wikipedia.org
)
187 points by
Amorymeltzer
3 days ago
|
64 comments
139
▲
Leopold Aschenbrenner built a $45B AI hedge fund – and lost most of it in days
(
cnbc.com
)
6 points by
gilfoyle_7
4 hours ago
|
2 comments
140
▲
Functional replacement for the Toshiba TA7357P sync separator IC
(
github.com
)
13 points by
Jimmc414
14 hours ago
|
0 comments
141
▲
The Accidental Architect of the Internet's Brain
(
newyorker.com
)
11 points by
bookofjoe
14 hours ago
|
2 comments
142
▲
I 4x'd a 367x479 stamp-sized photo through 8 upscaling models
(
enlarger.app
)
17 points by
jaakkoc
4 days ago
|
8 comments
143
▲
GCC steering committee announces AI policy
(
lwn.net
)
346 points by
arto
2 days ago
|
420 comments
144
▲
A big win for Android interoperability
(
openhomefoundation.org
)
10 points by
soheilpro
16 hours ago
|
0 comments
145
▲
The coolest use for the Vision Pro
(
christianselig.com
)
831 points by
robbiet480
2 days ago
|
314 comments
146
▲
The Empty Field That Wasn't: GPS, OTAD and Two Decades of Encrypted Broadcasts
(
sjmurdoch.github.io
)
10 points by
exiguus
14 hours ago
|
0 comments
147
▲
Opkssh integrating single sign-on with SSH (2025)
(
ethanheilman.com
)
10 points by
EthanHeilman
16 hours ago
|
0 comments
148
▲
Why in Building Protocols, Like Code, Starting over Is Dumb
(
lowentropy.net
)
9 points by
speckx
16 hours ago
|
0 comments
149
▲
Companion AI, Sycophancy, and the Engineering of Attachment
(
papers.ssrn.com
)
6 points by
Ai_Sycophancy
15 hours ago
|
0 comments
150
▲
Making Postgres queues scale
(
dbos.dev
)
126 points by
KraftyOne
2 days ago
|
33 comments
Rendered at 07:04:13 GMT+0000 (Coordinated Universal Time) with Cloudflare Workers.