N
Hacker Next
new
past
show
ask
show
jobs
submit
login
121
▲
Show HN: OmniDiff – Opensource, super fast, content aware Git difftool, in Rust
(
github.com
)
313 points by
FabCH
2 days ago
|
94 comments
122
▲
AI, Lean, and the Future of Formal Verification, with Lean Creator Leo de Moura
(
thedataexchange.media
)
217 points by
datascientist
5 days ago
|
59 comments
123
▲
Novellas with Groff
(
movq.de
)
129 points by
dverlaeckt80
2 days ago
|
53 comments
124
▲
Queen of the Bagel Business
(
thehustle.co
)
4 points by
qi104104
15 hours ago
|
0 comments
125
▲
Most of our measures of a key cognitive process don't agree
(
arstechnica.com
)
11 points by
rbanffy
8 hours ago
|
0 comments
126
▲
$48 e-paper display can be whatever you want it to be
(
arstechnica.com
)
48 points by
evolve2k
17 hours ago
|
11 comments
127
▲
Police Dept. Quits After Finding Out What It Feels Like to Be Tracked
(
gadgetreview.com
)
21 points by
thisislife2
6 hours ago
|
7 comments
128
▲
We're releasing the weights of Mistral Large 4
(
mistral.ai
)
1725 points by
kuberwastaken
5 days ago
|
440 comments
129
▲
Show HN: Point your camera at a landscape to learn about its geology
(
outcrop.rocks
)
257 points by
headsupernova
5 days ago
|
54 comments
130
▲
Ask HN: Does anyone enjoy work anymore?
14 points by
jackmalpo
9 hours ago
|
12 comments
131
▲
Maksym Radziwill–'The quasi-Riemann Hypothesis' [video]
(
youtube.com
)
3 points by
pfdietz
5 hours ago
|
2 comments
132
▲
IBM PC/XT drives stuck in the bay? How to free them
(
dfarq.homeip.net
)
4 points by
ibobev
13 hours ago
|
0 comments
133
▲
A 1580 Map Shows Why Data Visualization Is Never Neutral
(
thereader.mitpress.mit.edu
)
79 points by
the-mitr
4 days ago
|
23 comments
134
▲
Landline phones will switch off across Britland in 100 days, no extensions
(
theregister.com
)
176 points by
edward
2 days ago
|
162 comments
135
▲
The Duty of a Scholar
(
daemonology.net
)
142 points by
gslin
2 days ago
|
38 comments
136
▲
Napping characteristics and incident dementia
(
academic.oup.com
)
39 points by
bookofjoe
15 hours ago
|
26 comments
137
▲
Frontier Airlines Likely Breached
(
reddit.com
)
223 points by
999900000999
2 days ago
|
88 comments
138
▲
One-minute frequency disturbances from synchronization in power systems
(
nature.com
)
179 points by
croes
3 days ago
|
58 comments
139
▲
When electric cars were for women
(
spectrum.ieee.org
)
82 points by
dverlaeckt80
2 days ago
|
80 comments
140
▲
Let Me Ch...
(
blog.alxgsv.com
)
184 points by
alxgsv
13 hours ago
|
77 comments
141
▲
The oldest ice disappears and the Stone Age emerges from it
(
sciencenorway.no
)
215 points by
dxs
3 days ago
|
108 comments
142
▲
Serbia just elected the world's brainiest parliament
(
science.org
)
919 points by
input_sh
3 days ago
|
510 comments
143
▲
A brief history of just-in-time: forty years of JIT work, from 1960–2000
(
dl.acm.org
)
72 points by
gjvc
5 days ago
|
1 comment
144
▲
We ran AI agent swarms in Minecraft and Mindustry
(
labs.ycombinator.com
)
421 points by
sandslash
4 days ago
|
173 comments
145
▲
Copper – A minimal low-level programming language with OOP and generics
(
tibleiz.net
)
203 points by
bogdanoff_2
3 days ago
|
124 comments
146
▲
The future in old computer magazines (1984–2004)
(
tomorrowasusual.substack.com
)
69 points by
tudell
19 hours ago
|
37 comments
147
▲
Kraft Mac & Cheese Now Comes in Cinnamon Roll Flavor
(
parade.com
)
8 points by
bigwheels
10 hours ago
|
4 comments
148
▲
Anthropic blocks users for anything touching training larger models
(
twitter.com
)
489 points by
pretext
2 days ago
|
268 comments
149
▲
Show HN: ClickBench inspired leaderboard for multiple database benchmarks
(
benchmark.pivotlake.io
)
4 points by
thinkredstone
15 hours ago
|
0 comments
150
▲
The $6.3B Binance hack was pulled off in just 20 minutes
(
wired.com
)
597 points by
domhudson
4 days ago
|
451 comments
Rendered at 06:12:32 GMT+0000 (UTC) with Wasmer Edge.