szany

7 ms·

1.
by szany 10y ago
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 something until you can reinvent it (and in particular give
2.
by szany 11y ago
Part of starting this was finding a place and moving in.
3.
by szany 11y ago
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".
4.
by szany 11y ago
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, but we're willing to accept that if necessary to ac
5.
A collaborative residency program in mathematical biology and deep learning(topos.house)
52 points by szany 11y ago|11 comments
6.
by szany 11y ago
Most true statements are uninteresting.
7.
by szany 11y ago
See also Bob Harper's blog for a more leisurely exposition: https://existentialtype.wordpress.com/2011/03/27/the-holy-tr...
8.
Unifying Structured Recursion Schemes(youtube.com)
1 points by szany 13y ago|0 comments
9.
by szany 13y ago
What makes ambition/creativity/drive/perspective/attitude/inspiration any more intrinsic than intelligence/knowledge?
10.
by szany 13y ago
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 homotopy), rather than awkward encodings (ZFC "sets
11.
by szany 13y ago
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
12.
by szany 13y ago
This is good advice, because the right sort of person to be a Thiel fellow would read this and scoff anyway.
13.
by szany 13y ago
“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 ~ Functional programming
14.
by szany 13y ago
http://www.haskellforall.com/
15.
by szany 13y ago
Constructivist answer: they don't.
16.
by szany 13y ago
Alan Kay has been calling for this for a long time now.
17.
by szany 14y ago
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. The computer verifies that your inductive proof is correct
18.
by szany 14y ago
There was a mention of dependent types.
19.
by szany 14y ago
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 American government which was necessary at that time to obt
20.
by szany 14y ago
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 helping either. My week off work has been a wash out. I di
21.
by szany 14y ago
What language are you programming in? Try a language like Haskell or ML. It might just be that you have taste.
22.
by szany 14y ago
Programming is math, in the same way that accounting is. If you read the link that's not what it says. Doing programming all day will not make you a mathematician. Sad truth. For now!
23.
by szany 14y ago
There's also the simple fact that programming literally is math. http://ncatlab.org/nlab/show/computational+trinitarianism
24.
by szany 14y ago
This is stupid. Perseverance ≠ finishing everything. Not every project is worthy of being finished.
25.
Canadian scientists create a functioning virtual brain(calgaryherald.com)
1 points by szany 14y ago|0 comments
26.
by szany 14y ago
Someone should upload the zebrafish image to this. http://v.jcb-dataviewer.glencoesoftware.com/webclient/img_de...
27.
by szany 14y ago
In fact it's purely functional! http://conal.net/blog/posts/the-c-language-is-purely-functio...
28.
by szany 14y ago
In the past, topology was little more than an amusing diversion for mathematicians doodling about the difference between donuts and dumplings. ...what?
29.
by szany 14y ago
Honestly, it feels like putting kids in a zoo and seeing what happens. It's a spectacle, and I'm sure some enjoy it, but it looks somewhat exploitative (like some aspects of Hollywood :). Sadly I think you're right about this: http://www
30.
Terry Tao writes math games in Scratch(terrytao.wordpress.com)
2 points by szany 14y ago|0 comments

More ›