thedatabase

13 ms·

1. 1.▲
   by thedatabase 3y ago

   Where to begin, even? The first paragraph perhaps: > As with Justice Potter Stewart’s non-definition of pornography – ‘I may not be able to define it, but I know it when I see it’ – the soul is slippery So is prose! Right through his gra
2. 2.▲
   by thedatabase 5y ago

   I'm never running again!
3. 3.▲
   by thedatabase 11y ago

   Cool project! Are you using dependent linear types? Or are you using dependent types some places, and non-dependent linear types for the ownership semantics?
4. 4.▲
   by thedatabase 11y ago

   Here's a quote from John Baez's G+: "Gravity is a weak force, in the sense that the gravitational force between two protons is about 10^33 times weaker than the electric force between them. And I'm using protons rather t
5. 5.▲
   by thedatabase 11y ago

   The original link looks like a scratchpad/notes page to me. For insight into John Baez's ideas around this time, try the slides from this colloquium: http://math.ucr.edu/home/baez/quantum_spacetime/
6. 6.▲
   by thedatabase 11y ago

   Hmm. The UK has a Freedom of Information request process, much like the US (ie just as neutered). The request would be, essentially: "prove it". The hard part would be putting it in a form likely/able to be answered.
7. 7.▲
   Petri Net Programming(johncarlosbaez.wordpress.com)

   4 points by thedatabase 14y ago|1 comments