N
Hacker Next
new
past
show
ask
show
jobs
submit
login
211
▲
Conformance checking at MongoDB: Testing that our code matches our TLA+ specs
(
mongodb.com
)
109 points by
todsacerdoti
4 days ago
|
63 comments
212
▲
Ukraine strikes Russian bomber-maker with hack attack
(
theregister.com
)
10 points by
rntn
5 hours ago
|
0 comments
213
▲
Autopen Guide
(
astroautopens.com
)
20 points by
rolph
2 days ago
|
4 comments
214
▲
Preventing Flash of Incomplete Markdown when streaming AI responses
(
engineering.streak.com
)
33 points by
biot
2 days ago
|
10 comments
215
▲
Optimizing 1979's Manbiki Shounen: Shoplifting Boy for Commodore PET [video]
(
youtube.com
)
6 points by
austinallegro
14 hours ago
|
0 comments
216
▲
The Shape of the Essay Field
(
paulgraham.com
)
67 points by
luisb
4 days ago
|
43 comments
217
▲
Photos taken inside musical instruments
(
dpreview.com
)
1113 points by
worik
7 days ago
|
55 comments
218
▲
Nncp: Ad-hoc friend-to-friend delay-tolerant sneakernet-compatible darknet
(
nncpgo.org
)
61 points by
gasull
6 days ago
|
13 comments
219
▲
Second ispace craft has probably crash-landed on Moon
(
nature.com
)
16 points by
politelemon
18 hours ago
|
9 comments
220
▲
The Visual World of 'Samurai Jack'
(
animationobsessive.substack.com
)
517 points by
ani_obsessive
5 days ago
|
89 comments
221
▲
Bookish Diversions: Reading as Help for Living
(
millersbookreview.com
)
34 points by
ingve
6 days ago
|
0 comments
222
▲
How to Read a Novel
(
adjacentpossible.substack.com
)
37 points by
ingve
6 days ago
|
57 comments
223
▲
Show HN: Localize React apps without rewriting code
(
github.com
)
87 points by
maxpr
3 days ago
|
71 comments
224
▲
Show HN: Verysmall.site – vibecode single page websites
(
verysmall.site
)
27 points by
sixhobbits
2 days ago
|
14 comments
225
▲
Teaching Program Verification in Dafny at Amazon (2023)
(
dafny.org
)
60 points by
Jtsummers
4 days ago
|
20 comments
226
▲
Show HN: Controlling 3D models with voice and hand gestures
(
github.com
)
97 points by
getToTheChopin
3 days ago
|
20 comments
227
▲
HeidiSQL Available Also for Linux
(
heidisql.com
)
169 points by
Daril
8 days ago
|
49 comments
228
▲
Show HN: Open a browser by clapping twice (inspired by Iron Man)
(
github.com
)
9 points by
ponta17
2 days ago
|
5 comments
229
▲
A critical look at OpenBSD's installer
(
eerielinux.wordpress.com
)
8 points by
JdeBP
2 days ago
|
4 comments
230
▲
If you're in Walnut Creek for 2 hours, the city is tracking you
(
mercurynews.com
)
27 points by
gnabgib
1 days ago
|
13 comments
231
▲
Standard Completions
(
standardcompletions.org
)
40 points by
todsacerdoti
7 days ago
|
2 comments
232
▲
Every 5x5 Nonogram
(
pixelogic.app
)
175 points by
eieio
7 days ago
|
84 comments
233
▲
Vision Language Models Are Biased
(
vlmsarebiased.github.io
)
173 points by
taesiri
3 days ago
|
140 comments
234
▲
More Federal Workers Are Flooding the Job Market, with Worsening Prospects
(
nytimes.com
)
24 points by
koolba
12 hours ago
|
2 comments
235
▲
Deep learning gets the glory, deep fact checking gets ignored
(
rachel.fast.ai
)
588 points by
chmaynard
3 days ago
|
156 comments
236
▲
GUIs are built at least 2.5 times
(
patricia.no
)
247 points by
mpweiher
7 days ago
|
147 comments
237
▲
Mapping latitude and longitude to country, state, or city
(
austinhenley.com
)
115 points by
azhenley
3 days ago
|
48 comments
238
▲
Brain aging shows nonlinear transitions, suggesting a midlife "critical window"
(
pnas.org
)
271 points by
derbOac
3 days ago
|
147 comments
239
▲
EasyTier – P2P mesh VPN written in Rust using Tokio
(
easytier.cn
)
155 points by
wucke13
8 days ago
|
51 comments
240
▲
Show HN: Onlook – Open-source, visual-first Cursor for designers
(
github.com
)
407 points by
hoakiet98
8 days ago
|
81 comments
Rendered at 00:13:28 GMT+0000 (Coordinated Universal Time) with Vercel.