Viewing profile — szany

This is a bit defeatist. Parsing the definition in your head is only the first level of understanding you can have about a mathematical structure. You don't really understand somet…

Part of starting this was finding a place and moving in.

This isn't full-time — one of the goals is explicitly "to complement rather than conflict with the tenure of a full-time position elsewhere".

Thanks for raising that question. Actually the house was rented for the purpose of hosting the program, not the other way around. Of course we're trying not to operate at a loss, b…

Most true statements are uninteresting.

See also Bob Harper's blog for a more leisurely exposition: https://existentialtype.wordpress.com/2011/03/27/the-holy-tr...

What makes ambition/creativity/drive/perspective/attitude/inspiration any more intrinsic than intelligence/knowledge?

It's a foundation of mathematics whose native objects are structures fundamental to higher mathematics (∞-groupoids, which are more or less equivalent to topological spaces up to h…

SET : Group MAN : Lie Group TOP : Topological Group GRP : Objects The last line should really be "GRP : Abelian Group" See http://en.wikipedia.org/wiki/Eckmann-Hilton_argument

This is good advice, because the right sort of person to be a Thiel fellow would read this and scoff anyway.

“Programming languages are not arbitrary. They are manifestations of deep invariants of human thought, i.e. they are grounded in logic.” —Bob Harper Logic ~ Type theory ~ Functiona…

http://www.haskellforall.com/

Constructivist answer: they don't.

Alan Kay has been calling for this for a long time now.

Essentially the same way we reason about infinite mathematical structures in our heads: we define infinite structures by a finite system of generators and prove things by induction…

There was a mention of dependent types.

In the fall of 1958, Zariski invited Grothendieck to visit Harvard. He was pleased to go, but made clear to Zariski that he refused to sign the pledge not to work to overthrow the …

I'm sat here, in my dressing gown. My fingers are greasy from eating crisps all morning. My back aches because I spent all night playing a stupid video game. The gin hangover isn't…