my point still stands, it is advanced mathematics at this stage. you do have a CS doctorate but as I said it requires time and refinement to make it accessible even for CS researchers. It is un-scientific to criticize and snub which you can't make informed arguments about.
what a load of bullshit. you don't even have a phD in mathematics, let alone in similar subject of HoTT. News flash calculus was considered very advanced curriculum for even mathematicians in 17th century, only discussed in scholarly correspondence of elite mathematicians and physicists. your ignorance is not the reason HoTT will fail/pass. This is not a programming language where the uptake depends on the stupidity of programmers. It is mathematical theory if the premise and potential is interesting enough it will thrive or perish. you are not special you are not a unique snowflake (neither am I). Science(mathematics is described as queen of sciences) needs good education to understand and appreciate it, you can't criticize which you don't understand.
I would love to read informed criticism, I for one even welcome a little ridicule if it is justified by sound arguments.
Sorry Professor, there is only one person behind typed-racket Sam, AFAIK. typed racket isn't very well supported or documented or even advertised by racket folks.
yeah right. It is beta-quality unfit for pre-packaging in distro's. ABI incompatible with libstdcxx and deliberately OS X only. (It works sure (i mean kinda) no one is actually a linux port developer or maintainer not yet)
Am I the only guy rooting for Snapdeal? I mean yeah, currently
flipkart is better than snapdeal, but snapdeal has better pricing and variety in products,Snapdeal needs good engineering talent now,specially with their search and filtering of products.
Try Fedora, they have guile 2.o working out of the box, guile binds C libraries quite easily, the documentation is decent (and ofcourse under GFDL). Fedora is pretty much the "GNU/Linux", RMS wanted (except some firmware, which RMS is touchy about.) Fedora has very good, tools for developers (all libre/opensource), they even have a feature slated for Fedora 20 called dev-assist, which helps setup several development environments and manage them pretty easily.
Can anyone tell me how much did Batman Arkham Asylum, Injustice:Gods among us and Batman Arkham City made?(individually) I am asking this because I feel that DC puts their best creative writers behind games (Paul Dini for instance) instead of movies (forget TDK trilogy, that's Noolan empire). I wonder How much more Man Of Steel would have made if the plot was more cohesive and deeper.
please post enough evidence, which conclusively says we are not even scratching the surface of earth's resources and it is cool to increase population to 15 billion by mid 21st century and pollution is not due to humans and global warming is a sham created by Neo-hippies.
>>> And we are not stuck on our planet forever, there are more planets nearby waiting to be 'devastated'.
Yeah right! We can have a movie on that planet with Cameroon directing,can't we?.
All snark aside, there is only one planet which is nearby and can be terra-formed, Mars. Our Solar system is huge as we go far from our sun, we loose precious energy we get from sun which is very important to sustain any kind of flora or fauna.And no the big moons of Jupiter are quite hostile and cold, one the moon has liquid methane raining from it's atmosphere. How can you terra-form that? Anything further than asteroid belt is just too damn cold.
Now coming to other solar systems, I learnt in my high-school that our near star Alpha Centauri (I know proxima centauri is the nearest, but alpha was mentioned in our textbook, but doesn't matter same system) is more than 4 light years away and no planet in the habitable zone.However if anyone builds a machine which enables us to travel to alpha in say a couple of months. I will immediately marry and procreate(May be in 10 years have 5-7 kids).
I hope Elon Musk(or someone else) succeeds and dies a natural death on Mars. It is important for humanity.
I do not want to be mean, but can you not just read existing material on Human population growth, pollution and global warming.For a start you can try high school environmental science book.Then may be you can come up with some counter-evidence with hard facts (like shaking up the environmental sciences pile of data of over 50 years).
so we are in a fix (in other words ooh! poops).any study or effort to beat nature from selecting stupidity?. I used to joke about natural selection as "survival of the dumbest"(I used to be a creationist nut, back in freshman days) I guess "dumb is the new fit!"
> So where's the impending disaster? I don't see it in any of the relevant metrics.
The impending disaster is in its early stage and is slowed down a bit due to mass immigration of Bangladeshi citizen into neighboring countries and rapid urbanization of India (specially western and southern India) and please check the number of immigrants of bangladesh and hazardous urbanization of India.