Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
1.
Show HN: Getada: rustup-like installer for Ada's toolchain/package manager
(
getada.dev
)
89 points
by
ajdude
3 hours ago
|
hide
|
42 comments
2.
New Foundations is consistent – a difficult mathematical proof proved using Lean
(
leanprover-community.github.io
)
132 points
by
namanyayg
4 hours ago
|
hide
|
38 comments
3.
Show HN: 10 Level Balancing Game for the Mobile Browser w/ increasing difficulty
(
balanc3dgame.com
)
163 points
by
nargaw
7 hours ago
|
hide
|
70 comments
4.
Help us invent CSS Grid Level 3, a.k.a. "Masonry" layout
(
webkit.org
)
340 points
by
achairapart
8 hours ago
|
hide
|
256 comments
5.
The Beautiful Dissociation of the Japanese Language
(
aethermug.com
)
66 points
by
mrcgnc
3 hours ago
|
hide
|
41 comments
6.
Show HN: Hashquery, a Python library for defining reusable analysis
(
hashquery.dev
)
19 points
by
cpimhoff
3 hours ago
|
hide
|
6 comments
7.
Taiki (YC W24) Is Hiring a Software Engineer Intern
(
ycombinator.com
)
56 minutes ago
|
hide
8.
Generative A.I. Arrives in the Gene Editing World of CRISPR
(
nytimes.com
)
27 points
by
msmanek
1 hour ago
|
hide
|
11 comments
9.
AMA: I'm Dave Greene, an accidental expert on Conway's Game of Life
187 points
by
dvgrn
4 hours ago
|
hide
|
91 comments
10.
The Beautiful Islands of San Serriffe (2016)
(
realdougwilson.com
)
73 points
by
Schiphol
8 hours ago
|
hide
|
11 comments
11.
Krazam OS
(
krazam.tv
)
784 points
by
zdgeier
18 hours ago
|
hide
|
165 comments
12.
EURISKO Lives
(
funcall.org
)
97 points
by
wodow
14 hours ago
|
hide
|
47 comments
13.
Carl Sagan, nuking the moon, and not nuking the moon
(
eukaryotewritesblog.com
)
61 points
by
freediver
4 hours ago
|
hide
|
55 comments
14.
Apple Cuts Vision Pro Shipments as Demand Falls 'Sharply Beyond Expectations'
(
macrumors.com
)
34 points
by
mfiguiere
20 minutes ago
|
hide
|
19 comments
15.
The Moon brings a wild but precarious fish orgy to California's beaches
(
bbc.com
)
51 points
by
priyankanath
11 hours ago
|
hide
|
16 comments
16.
Phi-3 Technical Report
(
arxiv.org
)
369 points
by
varunvummadi
15 hours ago
|
hide
|
116 comments
17.
The Man Who Killed Google Search
(
wheresyoured.at
)
94 points
by
elorant
1 hour ago
|
hide
|
47 comments
18.
Meta Horizon OS
(
meta.com
)
757 points
by
ahiknsr
1 day ago
|
hide
|
613 comments
19.
Mathematicians Marvel at 'Crazy' Cuts Through Four Dimensions
(
quantamagazine.org
)
10 points
by
nsoonhui
4 hours ago
|
hide
|
discuss
20.
Equinox.space
(
equinox.space
)
1515 points
by
fragmede
1 day ago
|
hide
|
316 comments
21.
Petoi Bittle – a programmable robot dog
(
petoi.com
)
58 points
by
metalwhale
13 hours ago
|
hide
|
38 comments
22.
The 40-Year-Old Cable Modem (a NABU network modem teardown) [video]
(
youtube.com
)
18 points
by
handelaar
3 hours ago
|
hide
|
2 comments
23.
The Evolution of Stupidity (and Octopus Intelligence)
(
forkingpaths.co
)
12 points
by
ColinWright
6 hours ago
|
hide
|
3 comments
24.
Reverse Engineering a Software Crack
(
twitter.com/gf_256
)
26 points
by
nharada
2 hours ago
|
hide
|
8 comments
25.
Understanding and avoiding visually ambiguous characters in IDs
(
gajus.com
)
204 points
by
gajus
17 hours ago
|
hide
|
167 comments
26.
How Amazon Became the Largest Private EV Charging Operator in the US
(
bloomberg.com
)
54 points
by
defrost
5 hours ago
|
hide
|
81 comments
27.
Apple cuts Vision Pro shipments, now 'reviewing and adjusting' headset strategy
(
9to5mac.com
)
13 points
by
retskrad
36 minutes ago
|
hide
|
4 comments
28.
The Resurrection of Rajasthan's Royal Liquors
(
atlasobscura.com
)
55 points
by
Thevet
14 hours ago
|
hide
|
17 comments
29.
Most Books Don't Sell Only a Dozen Copies (2022)
(
countercraft.substack.com
)
75 points
by
jahnu
2 hours ago
|
hide
|
48 comments
30.
Lawsuit accuses GM of sharing drivers' data with insurers without consent
(
theregister.com
)
5 points
by
beardyw
17 minutes ago
|
hide
|
1 comment
More
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search: