Profile

Cover photo
Giorgio Mossa
614 followers|14,041 views
AboutPostsPhotosVideos

Stream

 
Does anyone known if there's any project aiming to add dependent types into Haskell standard?
1
Gabor Greif's profile photoGershom B's profile photoGiorgio Mossa's profile photo
3 comments
 
Thanks for this precious comments and the relative references. I'm gonna go to read them.
Add a comment...

Giorgio Mossa

Discussion  - 
 
Does anyone know a blog platform written in haskell (maybe in yesod project)?
1
Alexander Foremny's profile photoJP Moresmau's profile photoSjoerd Visscher's profile photoDan Burton's profile photo
4 comments
 
While not a platform in and of itself, BlogLiterately has worked well for me. (I use it with wordpress.com)
http://byorgey.wordpress.com/blogliterately/
Add a comment...

Giorgio Mossa

Introduce Yourself  - 
 
Hello everyone,
I'm Giorgio. I'm a math student and I'm from Italy. I've lot of scientific interests, primarily in algebra, category theory, algebraic topology, computer science, physics......well let's keep it simple, I'm interested in science :D.
I hope I could learn lot of stuff from this community and maybe help others to learn something new too.
3
Add a comment...

Giorgio Mossa

Shared publicly  - 
 
Now I get why in my first course of algebra the professor said "two is a pain in the neck"
http://en.wikipedia.org/wiki/Feit%E2%80%93Thompson_theorem
1
Denis Nardin's profile photoGiorgio Mossa's profile photo
2 comments
 
No, I didn't, but I have to admit it's a pretty cool fact.
Add a comment...

Giorgio Mossa

Shared publicly  - 
 
It seems to me that Elsevier is fearing the real power of mathematical community. They have understood that mathematicians have the power to do their jobs without them, thus I'm wondering "why should mathematicians stop now?"
 
Further concessions from Elsevier in a "letter to the mathematics community".

http://www.elsevier.com/wps/find/P11.cws_home/lettertothecommunity

These are welcome changes, but they don't exactly change the publishing landscape. Having said that, they also claim that this is just the beginning.
1
2
Add a comment...
Have him in circles
614 people
Nicolas Fillion's profile photo
Charles Wells's profile photo
David Dumas's profile photo

Giorgio Mossa

Introduce Yourself  - 
 
"Category theory, you can understand it as the linguistics of pure mathematics" (Richard Garner)
Category Theory - Dr Richard Garner - Macquarie University
14
6
picoFlamingo Project's profile photoDavid Roberts's profile photo
Add a comment...

Giorgio Mossa

Discussion  - 
 
An amazing paper on infinite category theory, which helped me clarifying lots of things :)

http://arxiv.org/abs/1303.4669

Enjoy
4
Add a comment...

Giorgio Mossa

Discussion  - 
 
Maybe there's someone who can help me with this stuff?
http://math.stackexchange.com/q/263835/11888
1
Add a comment...

Giorgio Mossa

Shared publicly  - 
 
A really interesting post I hope you enjoy.
Thanks to Mr +Andy Adams-Moran for sharing this.
 
Bartosz Milewski on "The Downfall of Imperative Programming". I obviously agree with him, but then I am biased: http://fpcomplete.com/the-downfall-of-imperative-programming/
1
Luigi Amedeo Bianchi's profile photoGiorgio Mossa's profile photo
2 comments
 
+Giorgio Mossa, accidenti a te, ora mi sembra una buona idea imparare anche rudimenti di Haskell...
 ·  Translate
Add a comment...
People
Have him in circles
614 people
Nicolas Fillion's profile photo
Charles Wells's profile photo
David Dumas's profile photo
Work
Occupation
Student
Links
Story
Tagline
One can solve every problem if he studies it from the right point of view: a.k.a. with the right functor you can solve every problem!
Introduction
I'm a wanna be (higher) category theorist, whose interests ranges from algebra and logic to topology, but I  don't mind science in general.
I'm a student in mathematics and (sometimes) a programmer too, in particular I enjoy writing haskell code, anyway I've studied also javascript, C, C++, bash and I'm learning python.

Basic Information
Gender
Male