fedvasu

FAQ emphasizes a lot on OOP what about immutability and pattern matching?

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.

Honest Question : So now Chess will be more fashionable game?

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.

sounds like ML+contracts, but wait is it statically typed? Maybe not Racket folks hate types (with great dredd)

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)

off-topic : please pardon me, does rust support multi-parameter typeclasses? a link with example would be nice. docs don't go into typeclasses much.

> fold () x it should be fold () 1 x or foldr1 () x or foldl1 () x of course according to Guy Steele, fodl and foldr are considered harmful :)

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.

llvm backend, seems very sleepy if not dead. I thought it was a cool project.

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.

I totally agree,but aren't already gamers psyched about GTA franchise (I am!!)? Yes GTA deserves it.

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.

In total agreement and moreover the best comment on this post(irrespective of agreement :)).

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.

I am pretty sure you are living in a first world. No I am not a political nutjob. I was born in and live in a 3rd world country, I have seen all the problems, Just type Indian food security bill in Google. I mean come on,it is not even funny how the situation is in south Asia.

Dude(I hope you are,or else Ma'am), HongKong is an urban conglomerate(yes it is independent region). It is a city you can't apply the same logic of cities to a an entire nation.My point is still valid.

No that is the problem right there. The advent of good(pretty good for a 3rd world country) health care in India ensured explosive growth of population. The only humane way to control population is extensive education of the masses,strongly backed by government(military can be engaged, if required) It means breaking away from religious factions and beliefs. It is impossible in India where minority politics is very important and in an Islamic country like Bangladesh it would be difficult.

I think we are seeing evolution and natural selection in action right in front of our eyes here. Nature produces stupid people like this are in influential position and most of our species has this mentality and we will reach a point where it is truly unsustainable and nature has it's way in form mass extinction events, even if we survive that, our species is way more violent and a civil/traditional war will obliterate most of humanity.

I curse you to live in a country like India or Bangladesh for rest of your life. I hope you survive that environment and die a natural death.These are the places where population increase is severely under-checked due to various political,religious and plain-old(which are not any of the former) dumb reasons. I am not going to predict anything but I believe these two countries will be the example of hazards of overpopulation in the 21st century.(If Humanity survives ,we might see some awesome horror movies(or something of that sort) based on early-mid to 21st century Indian sub-continent in 22nd century)

I wish Prof Landau had given some lectures (atleast audio, in english?). I think it is logical for the "eternal physics enthusiast(student)" to move from FLP to Landau & Lifschitz's books.

fuck political correctness. Most of the time I had to deal with all the passive-agressive BS of office, I want to throw a few chairs out-of-the window and whenever I talk to a feminist, I want to go frag mode in the office. I always wish I could let some steam off,instead giving reasonable and politically neutral statements.I guess it is just me. :(

Let us not make this a mud-slinging competition, I am expressing my view here, may be a bit ridiculous and in minority.You may be just annoyed that one is defending such anti-feminist demon, Yes I am and Yes it is necessary.

Yeah, But he is not announcing anything on behalf of BI right? There is an implicit disclaimer that all views are his not his employers (I am sure atleast he thinks that way). Yes BI is entitled to fire him as it portrays them in bad-light in public but that wouldn't attract lawsuits (may be american law is fucked-up). I don't know.

So, I must live and die by this ideaology because my company buys into it for raising share prices, even when I am not at my workplace? I don't think so!