N
Hacker Next
new
past
show
ask
show
jobs
submit
login
1
▲
Docker is weird
(
codeandcake.dev
)
323 points by
psxuaw
6 hours ago
|
158 comments
2
▲
LLMs are making formal software verification feasible at a much larger scale
(
anthropic.com
)
253 points by
johnbender
7 hours ago
|
138 comments
3
▲
This I Believe (1952)
(
awakin.org
)
40 points by
ctoth
4 hours ago
|
7 comments
4
▲
OpenShell – A safe, private runtime for fleets of autonomous AI agents
(
github.com
)
355 points by
niemandhier
13 hours ago
|
186 comments
5
▲
Every AI model has the same "controversial" take on humans
(
modelcompare.ai
)
330 points by
rakannimer
14 hours ago
|
365 comments
6
▲
Run full iOS 16.5 firmware on Android Devices
(
github.com
)
384 points by
aghuang
15 hours ago
|
137 comments
7
▲
The foolishness of "natural language programming" (1978)
(
cs.utexas.edu
)
98 points by
xiaoyu2006
5 hours ago
|
63 comments
8
▲
Jank – The native Clojure dialect with seamless C++ interop
(
jank-lang.org
)
65 points by
giancarlostoro
6 hours ago
|
2 comments
9
▲
Getting ready to operate GNU Taler in Germany
(
taler.net
)
250 points by
dewey
14 hours ago
|
101 comments
10
▲
Quad9 to exit France
(
quad9.net
)
1110 points by
farrokhi
16 hours ago
|
385 comments
11
▲
WorldTUI: I trained a 360M model to pretend to be a terminal
(
simedw.com
)
517 points by
alphax314
1 days ago
|
162 comments
12
▲
Postgres recovery_prefetch can cause outages
(
ardentperf.com
)
31 points by
plaur782
1 days ago
|
0 comments
13
▲
Why my Asus laptop kept rebooting after sleep and how to fix it
(
idiallo.com
)
30 points by
surprisetalk
3 days ago
|
21 comments
14
▲
What Is Gridifcation
(
musicalform.substack.com
)
440 points by
gumby
4 days ago
|
208 comments
15
▲
A lost Schrödinger manuscript reveals a twist in quantum physics
(
sciencealert.com
)
14 points by
ibobev
23 hours ago
|
5 comments
16
▲
Color Names
(
names.color.pizza
)
43 points by
akkartik
3 days ago
|
5 comments
17
▲
Tell HN: I unknowingly broke the PHP RCE embargo. I am sorry.
475 points by
petecooper
20 hours ago
|
193 comments
18
▲
Show HN: OnKey – I'm a bad singer, so I built an app to show where I'm off-key
(
github.com
)
8 points by
dsmurrell
16 hours ago
|
3 comments
19
▲
How to Design Flowers
(
asimov.press
)
36 points by
surprisetalk
3 days ago
|
2 comments
20
▲
Mortality Among People with Attention-Deficit/Hyperactivity Disorder
(
jamanetwork.com
)
88 points by
gumby
2 days ago
|
52 comments
21
▲
Xbox wants you to pay 24 to 40 cents per hour to stream games you bought
(
arstechnica.com
)
269 points by
entryleveljobsc
19 hours ago
|
235 comments
22
▲
eMudhra to exit global SSL/TLS certificate business
(
emudhra.com
)
1003 points by
bo0tzz
17 hours ago
|
664 comments
23
▲
Hedra is a 3D open world game I wrote from scratch while in highschool
(
github.com
)
173 points by
maxilevi
12 hours ago
|
30 comments
24
▲
Railpass
(
train.samismith.com
)
81 points by
CharlesW
9 hours ago
|
23 comments
25
▲
Mapping the Northern Sky
(
maps.com
)
32 points by
tmseidman
6 hours ago
|
10 comments
26
▲
Ask HN: If the models are so good, why doesn't OpenAI just start 100 companies?
69 points by
ex-aws-dude
9 hours ago
|
68 comments
27
▲
Show HN: Uberblok – an interactive museum of ZFS internals
(
uberblok.storagebits.workers.dev
)
107 points by
storagebits
2 days ago
|
27 comments
28
▲
Faster than earcut: triangulating 3.7M map polygons in 489 ms
(
globus.software
)
214 points by
molind
21 hours ago
|
40 comments
29
▲
Dungeon generation in the Gnomish mines of NetHack
(
boristhebrave.com
)
138 points by
ibobev
4 days ago
|
18 comments
30
▲
Jailbreaking the Switch 2
(
pepsipu.com
)
769 points by
ledoge
22 hours ago
|
268 comments
Rendered at 06:15:12 GMT+0000 (Coordinated Universal Time) with Vercel.