Hacker News Reader

stralepon Types Are Anti-Modular

I do not see a single reason why strongly typed language compiler couldn't have unsafe flag, to compile with undefined symbols, and to make your program fail/rise error/perform some other action when such symbols are evaluated or called.

And I understand why this behavior would be unwanted in production systems.

stralepon "The worst algorithm in the world?"

Actually, you need just Z ring enriched (if this is right word) with sqrt(5). So instead of one float, you use pair of integers of arbitrary precision. So

(a,b)+(c,d) = (a+c,b+d)

(a,b)/sqrt(5) = (b,a/5)

(a,b)(c,d) = (ac+5bd,ad+bc)

2phi = (1,1)

F(n) = (2phi^n - (2-2phi)^n)/(2^n*sqrt(5))

[edit] As ot said, the right word is "extended"

stralepon Unthinking Machines: Artificial intelligence needs a reboot, say experts

Winston speculated that the magic ingredient that makes humans unique is our ability to create and understand stories using the faculties that support language: "Once you have stories, you have the kind of creativity that makes the species different to any other."

Any idea to where is this coming from? Any related articles?

stralepon How do people in different countries spend their time?

Pie charts are mostly useless...

I really don't see any reason for their usage here, except of their resemblance to the shape of the sun (and analog clock).

stralepon Bill Gates on why the brilliant Khan Academy is a force of social change

Completely agree, but I believe that change can come only by example.

Majority of people plays safe. There is nothing wrong in that. If someone can show them better choice, not by talking, but by creating better private school for underprivileged kids, they will start sending their kids in such schools.

When some percentage of people accepts that there are more options, I believe that more intelligent debate will emerge.

stralepon Types Considered Harmful

Do we want languages where a PhD is required to understand the library documentation?

two PhDs for Haskell

This presentation is so lighthearted... I realy like it.

stralepon The Size of the Human Radio-Broadcast Bubble in the Milky Way Galaxy

I mean, you may think it's a long way down the road to the chemist's, but that's just peanuts to space.

stralepon Three unique features of Lisp in 2010

But isn't the definition of global at #1 a local thread closure captured variable?

I don't see why this is global...

stralepon What fuels my passion for technology & writing code

Worth reading just for this paragraph:

I began having difficulty finding people to discuss ideas and thoughts with. When I did find someone who I could brainstorm and bounce ideas off of it was a very surreal feeling. I loved every minute of it and did not want to stop. Even today I have very few of these conversations but cherish the people I can have these conversations with. I enjoy my ideas being challenged. I enjoy being challenged, period. My level of excitement in these conversations are off the hook.

stralepon Announcing NoSQL Tapes

Is there a way for dowloading videos from this site?

stralepon Richard Feynman and The Connection Machine

If anyone has this, please contact me.

stralepon Why Lisp is a Big Hack (And Haskell is Doomed to Succeed)

I'm also currently interested in this area, and I would recommend Interactive Theorem Proving and Program Development. At the same time, it is practical and theoretical.

http://www.labri.fr/perso/casteran/CoqArt/index.html

stralepon Why Hacker news uses tables?

But 1. point, in this post, IMHO, is not completely resolved.

http://news.ycombinator.com/item?id=100699

stralepon Ask HN: Any advice for single-hand typist?

Actually I have two hands, but functionality of second hand is quite reduced.

stralepon First Impressions of Python from a Java Developer

"Haskell is a scripting language inspired by Python."

http://www.haskell.org/pipermail/haskell-cafe/2010-November/...

(joke)

stralepon How I boosted my Vim

You can type it... Just slowly

My combination is just kj.

stralepon My Thoughts on Oracle v Google

Something hit me:

BSD history is repeating itself...

stralepon Stop Calling Yourself a Rockstar and a Ninja

I would say that this picture is appropriate :)

http://johnstamosfever.files.wordpress.com/2009/08/ninjas-an...

stralepon Ask HN: What Vim Plugins do you use?

If your language has REPL, I must recommend ConqueTerm.

http://www.vim.org/scripts/script.php?script_id=2771

stralepon Ask HN: If P = NP, what does it mean?

NP-Complete are NP-Hard, inside NP.

stralepon Bill Gates: In Five Years The Best Education Will Come From The Web

I was learning Scheme from old SICP lectures online.

Best lecture EVER.

Why would professors need to make same lectures every year? It make more sense to make new lectures only when they have something new or better to say.

stralepon Western civilization runs on the mainframe

Should I learn COBOL 2002, or some earlier version?

Are mainframes COBOL standard compliant?

Is there free standard document?

stralepon Programmers are not 'resources' [comic]

Maybe the 1st panel should be the last.

stralepon We Are Not Time Travelers

And more powerful computer than anything they have ever seen...

stralepon Falsehoods Programmers Believe About Names

"We want information, information, information."

"Who are you?"

"The new number two."

"Who is number one?"

"You are number six."

"I am not a number, I am a free man."

"HAHAHAHAHAHAHAHA."

Btw, why not use encoded pictures?

stralepon Pixar films don't get finished, they just get released

Only problem with framing: It's two-sided :) (It looks to me)

It is really nice letter indeed.

stralepon Why are objects so unintuitive?

I agree.

I have posted this because of comments. Good part of them agree with your statement.

"One of the best leaps a programmer makes during their path from newb to godhood is to realize that 'objects' don't map well to real world objects. Programs work better, designs are more clean... code sucks less when a object in code represents the embodiment of a singular concept; a singular set of invariants rather than an object. Is that a failing of language design? A quirk of calling it object oriented programming rather than state oriented programming?"

http://lambda-the-ultimate.org/node/3265#comment-48034

(worth reading, not particularly related with your statement)

stralepon S4 - The Super Simple Storage Service

http://news.ycombinator.com/item?id=1360436

stralepon Excellent video explaining GADTs in Haskell

Does anyone have idea how was this video created? What application was used?

stralepon Write yourself a Scheme in 48 hours (in Haskell)

It seems that this is newer...

http://en.wikibooks.org/wiki/Write_Yourself_a_Scheme_in_48_H...

Also, there you can download PDF.