News
Newest
Ask
Show
Jobs
Open on GitHub
< prev
1 / 10
more >
35
Show HN: Getada: rustup-like installer for Ada's toolchain/package manager
(getada.dev)
by
ajdude
1 hour ago
|
7 comments
86
New Foundations is consistent – a difficult mathematical proof proved using Lean
(leanprover-community.github.io)
by
namanyayg
4 hours ago
|
4 comments
38
Carl Sagan, nuking the moon, and not nuking the moon
(eukaryotewritesblog.com)
by
freediver
11 hours ago
|
7 comments
135
Show HN: 10 Level Balancing Game for the Mobile Browser w/ increasing difficulty
(balanc3dgame.com)
by
nargaw
5 hours ago
|
39 comments
279
Help us invent CSS Grid Level 3, a.k.a. "Masonry" layout
(webkit.org)
by
achairapart
6 hours ago
|
32 comments
18
How Amazon Became the Largest Private EV Charging Operator in the US
(bloomberg.com)
by
defrost
1 day ago
|
5 comments
351
Phi-3 Technical Report
(arxiv.org)
by
varunvummadi
13 hours ago
|
16 comments
4
The Beautiful Dissociation of the Japanese Language
(aethermug.com)
by
mrcgnc
1 hour ago
|
1 comments
61
The Beautiful Islands of San Serriffe (2016)
(realdougwilson.com)
by
Schiphol
1 day ago
|
6 comments
6
Show HN: Hashquery, a Python library for defining reusable analysis
(hashquery.dev)
by
cpimhoff
1 hour ago
|
0 comments
< prev
1 / 10
more >