Toggle navigation
HN
Paper
All
Show
Ask
Jobs
Top stories
Today
Last 7 days
Last months
This year
Stats
Stories by mindcrime
Word Problems in Russia and America (Swedish Mathematical Society Meeting) [pdf]
2 points
mindcrime
2020-09-16T01:32:27Z
www.de.ufpe.br
International Space Station 437.800 MHz cross band FM repeater activated
194 points
mindcrime
2020-09-07T06:10:28Z
amsat-uk.org
Advanced Propulsion Study – Air Force Research Laboratory [pdf]
3 points
mindcrime
2020-09-07T00:08:19Z
documents.theblackvault.com
Package “Primes” [pdf]
1 points
mindcrime
2020-09-05T04:36:38Z
cran.r-project.org
Disproved Conjectures
1 points
mindcrime
2020-09-04T16:10:23Z
en.wikipedia.org
Seth Shostak: Institute Fellow @ SETI – AMA “Are there aliens out there?”
2 points
mindcrime
2020-09-04T00:59:50Z
www.reddit.com
Is Category Theory Similar to Graph Theory?
4 points
mindcrime
2020-09-03T18:27:43Z
math.stackexchange.com
Experimental Mathematics in Action [pdf]
3 points
mindcrime
2020-08-31T18:13:48Z
carma.newcastle.edu.au
Voyager Scientific Data
2 points
mindcrime
2020-08-30T02:14:08Z
voyager.jpl.nasa.gov
The Texas Method and the Small Group Discovery Method
2 points
mindcrime
2020-08-29T23:11:04Z
legacyrlmoore.org
Warp Field Mechanics 101 [pdf]
1 points
mindcrime
2020-08-28T13:22:12Z
web.archive.org
Solutions to Mathematics Textbooks
29 points
mindcrime
2020-08-23T04:20:02Z
en.wikibooks.org
Mizar System
2 points
mindcrime
2020-08-19T17:21:18Z
en.wikipedia.org
More MathML patches upstreamed to Chromium in 2020
1 points
mindcrime
2020-08-17T18:53:50Z
mathml.igalia.com
Why does cron silently fail to run sudo stuff in my script?
2 points
mindcrime
2020-08-16T02:05:16Z
unix.stackexchange.com
MiniConf – A Virtual Conference Framework
2 points
mindcrime
2020-08-13T14:37:03Z
arxiv.org
Realm: Integrating Retrieval into Language Representation Models
3 points
mindcrime
2020-08-13T01:03:03Z
ai.googleblog.com
What makes the “natural” log natural? 3b1b Lockdown Math
1 points
mindcrime
2020-08-12T02:36:19Z
youtu.be
The Simple Essence of Algebraic Subtyping: Principal Type Inference
4 points
mindcrime
2020-08-12T01:06:50Z
lambda-the-ultimate.org
Simulating Entanglement in Classical Computing (2013)
2 points
mindcrime
2020-08-03T17:35:47Z
arxiv.org
17
18
19
20
21
22
23
24
25
26