jessup

7 ms·

1.
Building fast interpreters in rust (2019)(blog.cloudflare.com)
2 points by jessup 6y ago|0 comments
2.
John Conway’s contributions to mathforum.org (1993-2004)(mathforum.org)
2 points by jessup 6y ago|0 comments
3.
John Conway – The Free Will Lectures (2009) [video](youtube.com)
379 points by jessup 6y ago|60 comments
4.
Harris versus Buzzard (2019)(galoisrepresentations.wordpress.com)
1 points by jessup 7y ago|0 comments
5.
Clang and FSF's Strategy (2014)(gcc.gnu.org)
2 points by jessup 7y ago|1 comments
6.
Metacat: a computer model of analogy-making and perception (2016)(science.slc.edu)
28 points by jessup 8y ago|4 comments
7.
Intuitions about Cohomology(ncatlab.org)
2 points by jessup 8y ago|0 comments
8.
Optical Computing: A 60-Year Adventure (2010)(hindawi.com)
24 points by jessup 8y ago|4 comments
9.
Ask HN: When will a technology like Lean Prover overtake LaTeX?
2 points by jessup 8y ago|0 comments
10.
Math joke (Richard P. Stanley)(imgur.com)
2 points by jessup 8y ago|0 comments
11.
by jessup 8y ago
> keeping clocks in sync is nontrivial. masterful understatement imo
12.
Functional Pearl: Enumerating the Rationals [pdf](cs.ox.ac.uk)
63 points by jessup 8y ago|6 comments
13.
by jessup 8y ago
"The algebraic numbers are spotted over the plane like stars against a black sky; the dense blackness is the firmament of the transcendentals." -- E. T. Bell
14.
by jessup 8y ago
"Before the Law" is an example of a Kafka story that reads like a joke / one of the jokes that Kafka wrote: http://www.kafka-online.info/before-the-law.html
15.
Functional Pearl: Enumerating the Rationals [pdf](cs.ox.ac.uk)
1 points by jessup 8y ago|0 comments
16.
by jessup 8y ago
"Mailer, Updike, Roth-the Great Male Narcissists* who’ve dominated postwar realist fiction are now in their senescence, and it must seem to them no coincidence that the prospect of their own deaths appears backlit by the approaching mi
17.
Taming the Web (2001)(technologyreview.com)
18 points by jessup 8y ago|4 comments
18.
The Case Against Computers in K-13 Math Education (1996)(sites.math.washington.edu)
35 points by jessup 8y ago|27 comments
19.
The Kruskal Count Card Trick(faculty.uml.edu)
201 points by jessup 8y ago|41 comments
20.
by jessup 8y ago
A lecture series by Langlands for a lay audience: https://video.ias.edu/The-Practice-of-Mathematics The video is not great, but the content. From the summary: "In spite of forty years as a mathematician, I have difficu
21.
A lambda calculus for quantum computation(het.brown.edu)
114 points by jessup 9y ago|10 comments
22.
This Week's Finds in Mathematical Physics (Week 240) (2006)(math.ucr.edu)
1 points by jessup 9y ago|0 comments
23.
A self-contained, brief and complete formulation of Voevodsky's Univalence Axiom(cs.bham.ac.uk)
57 points by jessup 9y ago|15 comments
24.
To Understand Rising Inequality, Consider Janitors(nytimes.com)
390 points by jessup 9y ago|672 comments
25.
by jessup 10y ago
>AI alarmists are fond of the paper clip maximizer, a notional computer that runs a paper clip factory, becomes sentient, recursively self-improves to Godlike powers, and then devotes all its energy to filling the universe with paper cli
26.
Sideways addition(groups.google.com)
1 points by jessup 10y ago|0 comments
27.
Taming the Web (2001)(technologyreview.com)
2 points by jessup 10y ago|0 comments
28.
Welcome to the CMU Artificial Intelligence Repository (1994)(cs.cmu.edu)
44 points by jessup 10y ago|2 comments
29.
by jessup 10y ago
"The original text has been typed again and obvious spelling and grammar errors, possibly put there deliberately as markers to identify the origin in case of a leak, have been removed. Other apparent textual or formatting-related marke
30.
by jessup 10y ago
:%s/obstacle/target

More ›