Search: golem.ph.utexas.edu | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

golem.ph.utexas.edu

2 years ago

467 points

2.

The Inconsistency of Arithmetic (2011)

golem.ph.utexas.edu

5 years ago

368 points

3.

Severing Ties with the NSA

golem.ph.utexas.edu

13 years ago

326 points

4.

The Riemann Hypothesis

golem.ph.utexas.edu

7 years ago

294 points

5.

A Curious Integral

golem.ph.utexas.edu

3 years ago

267 points

6.

Math writing is dull when it neglects the human dimension

golem.ph.utexas.edu

2 years ago

223 points

7.

The Riemann Hypothesis Says 5040 Is the Last

golem.ph.utexas.edu

7 years ago

219 points

8.

The Riemann Hypothesis (Part 2)

golem.ph.utexas.edu

7 years ago

117 points

9.

Native Type Theory

golem.ph.utexas.edu

5 years ago

116 points

10.

Unicode is, in 2012, still “cutting edge.”

golem.ph.utexas.edu

14 years ago

115 points

11.

Linguistics Using Category Theory (2018)

golem.ph.utexas.edu

7 years ago

108 points

12.

Mathematics and Magic: The de Bruijn Card Trick (2015)

golem.ph.utexas.edu

4 years ago

99 points

13.

On Writing Short Papers

golem.ph.utexas.edu

9 years ago

97 points

14.

In Further Praise of Dependent Types

golem.ph.utexas.edu

6 years ago

84 points

15.

A Compositional Framework for Reaction Networks

golem.ph.utexas.edu

9 years ago

66 points

16.

Linear Logic Flavoured Composition of Petri Nets

golem.ph.utexas.edu

6 years ago

64 points

17.

EGA Chapter 1: The Language of Schemes

golem.ph.utexas.edu

6 years ago

51 points

18.

Zero-Determinant Strategies in the Iterated Prisoner’s Dilemma

golem.ph.utexas.edu

14 years ago

45 points

19.

Analysis in Higher Gauge Theory

golem.ph.utexas.edu

8 years ago

38 points

20.

PGP Signed Comments

golem.ph.utexas.edu

3 years ago

32 points

21.

Feynman the Babylonian (2009)

golem.ph.utexas.edu

11 years ago

32 points

22.

An M5-Brane Model

golem.ph.utexas.edu

8 years ago

32 points

23.

Feynman the Babylonian

golem.ph.utexas.edu

17 years ago

30 points

24.

Gradual Typing [for category theorists]

golem.ph.utexas.edu

8 years ago

26 points

25.

Cakes, Custard, Categories and Colbert

golem.ph.utexas.edu

11 years ago

11 points

26.

On Digital Mathematics and Drive-By Contributors

golem.ph.utexas.edu

10 years ago

8 points

27.

Physics, Topology, Logic and Computation: a Rosetta Stone

golem.ph.utexas.edu

18 years ago

7 points

28.

Logical Uncertainty and Logical Induction

golem.ph.utexas.edu

10 years ago

7 points

29.

New Evidence of the NSA Deliberately Weakening Encryption

golem.ph.utexas.edu

12 years ago

7 points

30.

Introduction to Synthetic Mathematics (2015)

golem.ph.utexas.edu

6 years ago

7 points