N
Hacker Next
new
past
show
ask
show
jobs
submit
login
1
▲
OpenLogi
(
openlogi.org
)
673 points by
amatheus
8 hours ago
|
188 comments
2
▲
Cerebras CS-4
(
cerebras.ai
)
279 points by
sunils34
10 hours ago
|
198 comments
3
▲
Palomar: A registry of Lean verified mathematics
(
terrytao.wordpress.com
)
104 points by
matt_d
7 hours ago
|
16 comments
4
▲
The Two Factions of C++
(
herecomesthemoon.net
)
19 points by
signa11
3 days ago
|
9 comments
5
▲
Supersonic Trebuchet [video]
(
youtube.com
)
106 points by
CharlesW
4 days ago
|
31 comments
6
▲
Being ambitious and being a dad
(
nicholascharriere.com
)
499 points by
nichochar
3 days ago
|
307 comments
7
▲
Scientists stunned by children's lung recovery in ultra low emission zone
(
bbc.com
)
261 points by
dabinat
9 hours ago
|
193 comments
8
▲
A 3D fruit fly on macOS desktop powered by the real FlyWire connectome
(
github.com
)
279 points by
phoenix120
12 hours ago
|
106 comments
9
▲
How does IKEA come up with names for its products?
(
ikea.com
)
349 points by
NaOH
16 hours ago
|
231 comments
10
▲
Solo – a .so loader for static Linux binaries
(
github.com
)
145 points by
zX41ZdbW
10 hours ago
|
156 comments
11
▲
Where Human Sleep Went Wrong
(
nautil.us
)
54 points by
XzetaU8
2 hours ago
|
42 comments
12
▲
λλ: A Programming Language for Silicon Photonics
(
dl.acm.org
)
20 points by
matt_d
4 hours ago
|
5 comments
13
▲
The Vietnam Binh Chau (Chau Tan) Late Tang Wreck
(
koh-antique.com
)
39 points by
teleforce
8 hours ago
|
3 comments
14
▲
AI usage patterns in software teams
(
linear.app
)
139 points by
giuliomagnifico
12 hours ago
|
71 comments
15
▲
Activation Energy is a good model for a lot of things
(
homosabiens.substack.com
)
6 points by
surprisetalk
5 days ago
|
0 comments
16
▲
Finger: the 1971 social network that never died
(
en.andros.dev
)
214 points by
andros
1 days ago
|
68 comments
17
▲
The Mojo language (by Modular, now Qualcomm) is now open-source
(
modular.com
)
42 points by
flaburgan
2 hours ago
|
16 comments
18
▲
Show HN: Automatically detect and patch walking-dead states in Sierra games
(
github.com
)
61 points by
wkfauna
8 hours ago
|
23 comments
19
▲
CUDA Shared Memory Swizzling
(
leimao.github.io
)
50 points by
jxmorris12
6 days ago
|
2 comments
20
▲
Meta's blockbuster trial draws parallels to big tobacco
(
economist.com
)
235 points by
newsomix9xl
8 hours ago
|
185 comments
21
▲
Turbovec – Google's TurboQuant for vector search in Rust
(
github.com
)
250 points by
fittingopposite
16 hours ago
|
31 comments
22
▲
A 25-year-old video patent just expired, ending a legal headache for Linux
(
xda-developers.com
)
192 points by
theanonymousone
4 days ago
|
73 comments
23
▲
And then the men with guns tell you to do it anyway
(
shkspr.mobi
)
322 points by
_djo_
17 hours ago
|
207 comments
24
▲
Claude writing a macOS driver for my obscure HP printer built only for Windows
(
twitter.com
)
202 points by
porridgeraisin
22 hours ago
|
158 comments
25
▲
The Amazon tax
(
seths.blog
)
1177 points by
herbertl
21 hours ago
|
628 comments
26
▲
Looking for Missed Alarm Bugs in a Formal Verification Tool
(
blog.regehr.org
)
13 points by
luu
5 days ago
|
0 comments
27
▲
Show HN: Interactive, animated architecture of any HuggingFace models
(
modelmap.cc
)
81 points by
lizhaoliu
10 hours ago
|
9 comments
28
▲
Apple announces changes for apps in the European Union
(
apple.com
)
194 points by
newusertoday
18 hours ago
|
274 comments
29
▲
Tiny satellite will use the dark side of the Moon as a shield
(
cam.ac.uk
)
40 points by
NordStreamYacht
9 hours ago
|
7 comments
30
▲
Beware Management Consultants
(
about.iceland.co.uk
)
550 points by
KolmogorovComp
15 hours ago
|
149 comments
Rendered at 10:05:29 GMT+0000 (Coordinated Universal Time) with Vercel.