News
Newest
Ask
Show
Jobs
Open on GitHub
< prev
1 / 10
more >
43
American Flag Sort
(xlinux.nist.gov)
by
zerojames
56 minutes ago
|
4 comments
40
a poem about the Turing halting proof
(ed.ac.uk)
by
soferio
1 hour ago
|
7 comments
63
Digitized Continuous Magnetic Recordings for the 1859 Carrington Event
(onlinelibrary.wiley.com)
by
simonebrunozzi
4 hours ago
|
5 comments
112
Network visualization of 50k blogs and links
(graph.henryn.ca)
by
ng-henry
4 hours ago
|
19 comments
12
Jsfxr: 8-Bit sound maker and sfx generator
(sfxr.me)
by
memalign
18 hours ago
|
2 comments
72
Chechnya bans music outside the range of 80-116 beats per minute
(smithsonianmag.com)
by
anigbrowl
2 hours ago
|
21 comments
240
New Foundations is consistent – a difficult mathematical proof proved using Lean
(leanprover-community.github.io)
by
namanyayg
12 hours ago
|
8 comments
159
Show HN: Getada: rustup-like installer for Ada's toolchain/package manager
(getada.dev)
by
ajdude
9 hours ago
|
14 comments
949
The man who killed Google Search?
(wheresyoured.at)
by
elorant
7 hours ago
|
71 comments
262
Show HN: Balancing game for the mobile browser with increasing difficulty
(balanc3dgame.com)
by
nargaw
14 hours ago
|
49 comments
< prev
1 / 10
more >