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

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Galois Theory (golem.ph.utexas.edu)

467 points

2 years ago

2.

The Inconsistency of Arithmetic (2011) (golem.ph.utexas.edu)

368 points

5 years ago

3.

Severing Ties with the NSA (golem.ph.utexas.edu)

326 points

13 years ago

4.

The Riemann Hypothesis (golem.ph.utexas.edu)

294 points

7 years ago

5.

A Curious Integral (golem.ph.utexas.edu)

267 points

3 years ago

6.

Math writing is dull when it neglects the human dimension (golem.ph.utexas.edu)

223 points

2 years ago

7.

The Riemann Hypothesis Says 5040 Is the Last (golem.ph.utexas.edu)

219 points

7 years ago

8.

The Riemann Hypothesis (Part 2) (golem.ph.utexas.edu)

117 points

7 years ago

9.

Native Type Theory (golem.ph.utexas.edu)

116 points

5 years ago

10.

Unicode is, in 2012, still “cutting edge.” (golem.ph.utexas.edu)

115 points

14 years ago

11.

Linguistics Using Category Theory (2018) (golem.ph.utexas.edu)

108 points

7 years ago

12.

Mathematics and Magic: The de Bruijn Card Trick (2015) (golem.ph.utexas.edu)

99 points

4 years ago

13.

On Writing Short Papers (golem.ph.utexas.edu)

97 points

8 years ago

14.

In Further Praise of Dependent Types (golem.ph.utexas.edu)

84 points

6 years ago

15.

A Compositional Framework for Reaction Networks (golem.ph.utexas.edu)

66 points

9 years ago

16.

Linear Logic Flavoured Composition of Petri Nets (golem.ph.utexas.edu)

64 points

6 years ago

17.

EGA Chapter 1: The Language of Schemes (golem.ph.utexas.edu)

51 points

6 years ago

18.

Zero-Determinant Strategies in the Iterated Prisoner’s Dilemma (golem.ph.utexas.edu)

45 points

14 years ago

19.

Analysis in Higher Gauge Theory (golem.ph.utexas.edu)

38 points

8 years ago

20.

PGP Signed Comments (golem.ph.utexas.edu)

32 points

3 years ago

21.

Feynman the Babylonian (2009) (golem.ph.utexas.edu)

32 points

11 years ago

22.

An M5-Brane Model (golem.ph.utexas.edu)

32 points

8 years ago

23.

Feynman the Babylonian (golem.ph.utexas.edu)

30 points

17 years ago

24.

Gradual Typing [for category theorists] (golem.ph.utexas.edu)

26 points

8 years ago

25.

Cakes, Custard, Categories and Colbert (golem.ph.utexas.edu)

11 points

11 years ago

26.

On Digital Mathematics and Drive-By Contributors (golem.ph.utexas.edu)

8 points

10 years ago

27.

Physics, Topology, Logic and Computation: a Rosetta Stone (golem.ph.utexas.edu)

7 points

18 years ago

28.

Logical Uncertainty and Logical Induction (golem.ph.utexas.edu)

7 points

10 years ago

29.

New Evidence of the NSA Deliberately Weakening Encryption (golem.ph.utexas.edu)

7 points

12 years ago

30.

Introduction to Synthetic Mathematics (2015) (golem.ph.utexas.edu)

7 points

6 years ago