skysight-inc/HackerNews huggingface dataset:
> OCaml's H-M type system doesn't try to guess whether you meant all references to x to be type A or type B, it just tells you that they aren't internally consistent.

No, it doesn't tell you that. It tells you that they are internally inconsistent WITH RESPECT TO OCAML's SEMANTICS. They are not internally inconsistent in any absolute sense, as evidenced by the fact that I can write (+ x y) in Lisp and it will produce a sensible result whether x and y are integers, floats, rationals, complex numbers, or any combination of the above. This is an existence proof that compilers can figure these things out. Hence, any compiler that doesn't figure these things out and places this burden back on the programmer is deficient. OCAML's design requires its compiler to be deficient in this way, which makes OCAML IMHO badly broken. OCAML, in essence, requires the programmer to engage in premature optimization of arithmetic primitives. The result is, unsurprisingly, a lot of unnecessary work when certain kinds of changes need to be made. Maybe you can "get used to" this kind of pain, but to me that seems to be missing the point rather badly.
I don't think that's necessarily true. Take a look at all the System.Posix modules: http://haskell.org/ghc/docs/latest/html/libraries/unix/Syste...
As long as banks that miscalculate go out of business, over time, the survivors will have much more sound financial practices. Also, without the Fed, there is no single point of failure. This makes it much easier to diversify away risks. Further, note that a lot of the bad banking practices of the late 1800's were not the result of a free market, but of federal and state banking laws. The Fed and other government intervention is almost certainly a proximate cause of the problem. Perhaps, though, the ultimate problem of bad government is an inevitable part of the human condition.
FOr this article to have any validity there would have to be a market opportunity presented by the demise of big business or a part of it.

If SAP or Sun disappeared off the face of the earth without warning, then you'd have a bunch of opportunities. I don't see any such thing.
Looking at the keyboard doesn't mean all typing is mediated by vision.
Adi Shamir's Cube Attack Paper is Online
Yes. One way around this whole 'who pays' mess would be a Wikipedia like site for papers. Anyone can publish, anyone can review. If you added voting to that and some level of authentication of users it could be very interesting.
The main problem is that both SQL and HTML are often simply represented by strings. The programmer has to keep track herself to make sure everything is escaped and unescaped at the right moment.

The point is that you can use Haskell's type system to get guarantees about and keep track of escaping. It's really light-weight to add new types. Also, dynamic typing would probably mess this up.

Still, all this mainly comes down at the shoulders of the library designer. But, looking at some of the available libraries (such as Text.XHtml) this works really well.

In the case of Text.XHtml the easy/default case when using a string in HTML is that it's escaped. When you want to 'parse' a string to HTML you'll have to be explicit. That makes it really hard to 'accidentily' forget to escape HTML.

The way I look at Haskell's type system is that it's a great tool for easily enabling 'safe' programming. It won't work automatically, but it gives you the opportunity to let the type checker take care of guaranteeing that everything will work as expected ;)
Uhm, I find this post kind of uninspired. Did it really require experimental verification to show that meta-programming in C probably wasn't a good idea?

I find this sort of argument in general a bit straw-man-ish. They use a programming language for something it's not suited for and then reflect that back on the programming language.
The clock really is quite garish, but you have to see it in context really. It's going to be be sited on the wall of the old bank opposite Kings College Chapel - anything quiet and unassuming in such an austere location would be lost. Garish is good.

I was lucky enough to get a preview of the clock in operation about a month ago - guided by the clockmaker himself. Two things stand out in particular. First, the sound. The clock has a really satisfying mechanical whirr and clunk. A satisfaction that you just don't get by building software! Second, the LEDs. Bright blue LEDs mark out the hours, minutes, seconds. and they do so with sweeping movements across the clock face. These sweeping LEDs are exactly that - LEDs that sweep. It's not an array of LEDs that get turned on-and-off around the face, it's just some LEDs on a bar that is swung round mechanically.

Come and see it next time you're in Cambridge. It's mounted behind bullet-proof glass on the wall of the bank. There's even a special audio system so that you can hear the 'tick'!

http://maps.google.co.uk/maps?f=q&hl=en&geocode=&...
1) Jobs are investment banks and asset management are not risk free and not conservative. There is almost zero job security and - as seen - you won't know you were fired until the day you are. With small startups CEOs will communicate things much better and you can usually see things coming. Case in point, Lehman UK had a fairly succesful business, however all their cash was pooled in Lehman US. So on Sunday they got a call that their cash was no longer available, so they had to put a profitable business in administration.

2) They are not risk free, because your bonus depends on your performance (not in all segments, but in many your performance is directly measurable in money). No one cares about salary - it's all about the bonus.

3) You do gain a broad skill set working in finance. It probably looks very narrow and simple from outside, just like programming would look to a non-programmer.

4) On one hand, in a startup you create something tangible and in finance you are just a glorified broker. On the other hand, startup valuation is very chaotic and many startups would not exist if there were no bubbles. In finance it is very clear what you and your company are paid for and how much it costs.
Agreed. I don't think any of my friends considered their jobs "predictable and secure" when they started. And in many cases the huge bonuses they received last year wil cushion the fall. Let's just hope they haven't become to accustomed to a certain lifestyle.
The shift key really doesn't take that long to depress, I'm not sure how not using saves you time.

I had the same realization, that I had better job security at a startup, when I revisited some people I left at uni doing postdocs.
Ask HN: What are the disadvantages programming?
What are the disadvantages for a programmer if he is programming for past 10 years?
Shitter: When did you last take the Browns to the SuperBowl?
I agree: "The Greater Depression" is coming almost exactly 80 years after the last one.

I think Mark is right that this will happen again and again, but not because we don't have enough legal structures in place. Although that would help for a while, it would soon be undermined. Capital markets are a prisoner's dilemma. If everyone behaves, everyone wins, but there's just too much incentive to misbehave and win spectacularly at the expense of others. With so many people playing, it seems impossible to avoid.

Unfortunately, 80 years, four generations, is just long enough to forget the lessons from last time.
This guy is really ignorant. It's the same mentality that thinks the valley is impervious to bubbles and inflation.

What? Really, "you get the satisfaction of knowing you aren’t a complete tool bag every time you wake up in the morning."... They may have lost their jobs, but you lose at life.
Capital markets do not stop at borders. The American/European baby boomers are not as important may not be as important as they seem.
The Worlds Very First Webserver
They (Herb Brody) say that telling the future by looking at the past assumes that conditions remain constant. This is like driving a car by looking in the rearview mirror. But I still think it is good to look back on how things got started and where they ended up since then. The first website was put online in August 1991. Just think about how much has happened since then and try to imagine how much we can expect from the following 17 years…
<i> I can't think of any famous Arab scholars from the period (not an expert though - let me know if there are any) </i>

Take a look at the creator of cryptanalyis:

http://en.wikipedia.org/wiki/Al-Kindi

He was an arab philosopher, scientist, astrologer, astronomer, cosmologist, chemist, logician, mathematician, musician, physician ...
you get the satisfaction of knowing you aren’t a complete tool bag every time you wake up in the morning.

whilst everyone reading your blog has the exact opposite impression...
Sure, but my point is, they're inevitable.
Mine is crashing every 5 min! :( Anyone else having problems? Looks like a great attempt though, but I cant wait for a native version, hopefully that's on the way soon.
1) Can't even spell Merrill

2) Banks wash people out. You think everyone who starts at one ends up on top?
http://personalmba.com/recommended-business-books/
Oooh... this is just asking for bad karma for your start-up. Fire him, he's bad luck!
Steve Ballmer Selling Windows 2.0
The problem with this argument is that most IT people working for banks, in my experience, as extraordinarily ill-suited to the start-up life and work-style.

I wouldn't hire most of the IT people I worked with in financial services. Hell, I wouldn't hire myself based on my performance in that environment. So how would you tell the geniuses from the clunkers?
The long compilation time is due to the optimization options. Without optimization it compiles in a few seconds.

Yet, the macros leave plenty of space for optimization. See the size of your executable compared to the unoptimized one of qwph above.
You are correct in that what the man meant was "No-one you would normally meet knows how this escapement works" which is (partly) why this clock implements key components in the mechanism if full public view so that the world at large can see how it works.
Its all about growth. Dividend at best helps offset some costs, for sure, but really, its betting on growth, or at least it has been for a long time.
Podcaster for iPhone: It's Available It's Good
Let's just hope they haven't become to accustomed to a certain lifestyle.

We're all accustomed to a certain lifestyle, and most folks fall on tougher times at least once or twice in life, and have to downgrade their spending. I'm not suggesting folks here are a couple of paychecks away from being homeless, as I assume we're all of at least average intelligence and have some savings, good health insurance, and don't consider debt a fun hobby...just that we're all pretty spoiled, and we all probably have some expenses we wouldn't hang on to if our own personal revenue took a dramatic turn south.

But, I agree. I hope that folks who work in volatile industries (like finance, or our very own home turf, technology, to give another example) are thinking ahead when times are good, and have an understanding that times will not always be good. (You guys who missed the first bubble know that, right? We will see another crash in tech. Don't imagine human nature is so dramatically different this time around, or that enough of the folks who experienced the first one are still around and taking part to impart wisdom to prevent it from happening again. It'll look different, because it won't be played out in the public markets, and the names will mostly be different...but it'll come, and not every high flying Web 2.0 company will survive it.)
1. Buy shares of that company (ESOP ?).

You will automatically become co-owner of the company.

2. Leading, Managing, and Administering are 3 different aspects.
3. Change your priorities: People First, Processes Second, and Technologies Third

You will automatically align with your management.
>The way to avoid financial meltdowns is to make every human a God.

I am a fan of Iain M Banks - in his "Culture" series novels, thats pretty much what happens to the dominant "Culture" - people can get whatever they want when they want, so they turn to art and fashion and fads to occupy themselves (one such one was voluntarily catching cold/flu just to feel what it is like to get better).
> (not sure how this works when a bubble bursts, haven’t been around long enough).

Well, after the last .com bubble burst, there was a lot less ping-pong with the CEO, and a lot more "You want fries with that" going on, as I understood it.
Web design Orange County 
That's why we don't just create a good-looking web site and then wash our hands of it. We work with you to ensure that the web sites gets outstanding results - your company deserves no less.
Free web templates
All these templates include the full set of sub-pages; you may need with appropriate layouts and pictures. Don't spend time multiplying pages in your FrontPage - you have everything you need here!
No. Pragmatic needs have always shaped science. It is just that only recently craftsmen started to write. So just the written accounts of the gentleman-scientist survived.
Juegos Flash 
Los mejores juegos para pc, juegos flash listos para jugar, actualizados diariamente, sin duda los mejores juegos flash.
37. Option to use as webcam with PC

With items like this, you can't really talk of "top missing features" - it's more like trying to come up with wishes. Further, design is about deciding which features to leave out too.
if thats the reason they could get better coverage inviting Paris Hilton to do the showing.
"Designing the Obvious" by Robert Hoekman dedicates a whole chapter in his book on supporting the user's mental model.

A great example he gives is deleting files. Instead of writing command line prompts to delete files, users simply drag icons into a trash bin on their desktop.

The visual metaphor of throwing something away is simple and it makes sense.
"One common criticism is that the approach amounts to throwing a handful of ideas at the wall to see what sticks. More important, no top-tier startups on the order of a YouTube Inc. or Facebook have emerged from accelerators."

It might be true that no top tier startups have appeared from "accelerators" yet, but I have a couple points that I'd like to make really.

Don't count your chickens before they're hatched

I think it's only a matter of time until an event like this occurs. How many top-tier startups are there in comparison to total number on non-accelerator startups? I would dare to say that number is incredibly small (0.1% chance?).

Wouldn't it be more prudent to wait and see for a more definitive answer on if the model gives startups a better or worse off chance.

A bird in the hand is worth two in the bush

Does it really matter? I thought the model was designed for returning investments & making profit. I'm sure the guys at reddit & omnisio are crying themselves to sleep at night with their millions of dollars.

Good artists borrow, Great artists steal

If there are several groups mimicking YC now, I don't think it is necessarily because the idea is fundamentally unsound.

Given the average acquisition time for startups and how long YC (or any of them really, but I'm basing my thoughts off YC's start time) has been up and running, logic tells me to wait and see yet emotions tell me it is the right course of action.
I have actually encountered the opposite. The guys I know who used to work at Goldman Sachs are really good. Maybe it depends on what bank they worked at?
I would choose the thinkpad with its optical drive and 5yr vs 2yr lifespan anyday. Looks mean nothing.

But it comes with Vista :( That's the only reason I'm with my first mac, the air.
the author makes an arguably biased assumption, from the article:

Google is forcing the early adopters to stick with Firefox, rather than experiment with Chrome. The trendsetting crowd is with the Mac and, to a lesser but still significant extent, Linux, not Windows.
From the 2005 PDF (Status Report, Vol. 40, No. 1, Jan. 3, 2005) at the above link:

Types of vehicles that struck animals,
killing vehicle occupants

Number Percent
Passenger vehicles 80 54
Motorcycles 55 37
Medium or heavy trucks 9 6
All-terrain vehicles, mopeds 3 2

Animals in the collisions in which
vehicle occupants were killed

Number Percent
Deer 113 77
Cattle 13 9
Horses 9 6
Dogs 9 6
Bear 1 1
Cat 1 1
Opossum 1 1

Further, in 5 percent of the single-vehicle, and 10 percent of the multiple-vehicle, fatal crashes involving animals, the animal went through the windshield of the victim vehicle.
How Fractals Can Explain What's Wrong with Wall Street
DjangoCon videos are now online.
Microsoft abandons Vista?
They also seem to define teamwork as "doing what your boss tells you without pointing out ways to do it better" and leadership as "passing on your boss's vision to the poor souls working for you, while not passing back any complaints/problems to your boss".
Yeah, so your message is URL Shortener + Analytics.

Two nice rounded image headers, one for each, large ENTER URL HERE box, prompt for registration on entering the URL. What's so complicated?

this is going to sound harsh, but looking at your site, I couldn't care less. I go to a lot of sites, regularly share URLs with people, I'm your target audience, and I'm not interested. It's overwought. It's not that your frontpage needs to do a lot, it's that the page sucks.

If I visit, I want to submit a URL and then get analytics on the flipside. Everything that isn't related to that task is extraneous.

Why not just nuke the entire page, put in a bigass textarea for copying in a url, a submit button, and two small rounded image boxes describing, respectively, URL Shortening and Analytics? You'd have a site that's approximately 10 trillion and a half times better.

It's not that anyone's missing something, it's that your site fails to get across why your site is useful.
In your email.
Or in other words, when did you give up on your childish ideas about the heights of your own human potential?
I believe http://bit.ly also works on similar lines: http://switchabit.wordpress.com/2008/07/08/bitly/
Danielle, things have changed in recent times. There have only been 9 ever Nobel laureates who are Muslim.

http://aa.trinimuslims.com/showthread.php?t=2757

this is from a pool of 1.4 Billion Muslims. On the other hand 151 Jews have been awarded Nobel prizes from a pool of 12 million.
http://www.science.co.il/Nobel.asp

http://israelist.blogspot.com/2005/09/jewish-muslim-nobel-pr...

Do you think that Islam over time has affected intellectual output, or that Jews have an advantage because of the religion? What do you think?
Weird, as I was browsing the language shootout, I got the impression that SBCL produces damn fast code, in most cases comparable to the code emited by GCC or Java 6.

http://shootout.alioth.debian.org/debian/benchmark.php?test=...
I thought nothing went in a straight line and everything moved in a wave-like motion.
You have too much taste for Atlas Shrugged because of your illustrious bloodline?

If reading Atlas Shrugged is too much work for your taste, then I think the actual ideas contained in it would surely be quite distasteful to you, but I guess the world will never know.
Google Chrome Q&A
The point of a novel of ideas is not that you agree with every single idea within, but that the novel presents the ideas in a way that brings out their power in a concrete way.

Ayn Rand didn't want people to form a religion, so please don't feel that you have to apologize for "agreeing" with some aspects of her fiction. Those who try to paint Rand's philosophy that way are looking at it through the timid, dark-ages lens of their religion, in which everything is black and white, the way George W. Bush's "good vs evil" nonsense is.
Yes, indeed.

I have a suspicion that the author doesn't know exactly what he is writing about. If you want to render under Windows, you need to call windows code at the end, don't you?...You can directly call Win32 API, or go through .NET, or use MFC or WTL wrappers. In my opinion WTL was one of the best choices, because the library has good design (derived from C++'s STL) and leads to very efficient code.
It's very important not to think about all this to much. Stocks go up. It's all very complicated. You should leave it to the pros who take care of your retirement fund.

It's threads like this that cause economic meltdowns.
Great insight, I wish I could upvote you more.
Yes, I do have too much taste to work through Atlas Shrugged, and I attribute this at least partially to good parenting. It always saddens me to read about good minds softened by the writings of Ayn Rand, and I shudder to think about the sorts of childhoods they must have had.
You've sort of side-stepped the point.

The idea of humans being "imperfect" is not in reference to a Webster's definition, but in comparison to the religious notion of the deity's perfection.

If one believes that Mankind is not some imperfect reflection of a perfect deity whom he must serve, then any notion of perfection must be realizable by humans. So in theory a man or woman could be perfect.

Rand writes about these larger than life types of people. Most of us only see shades of them in ourselves or people we know, but it sure beats the idea of guilt/imperfection as a birthright thanks to original sin!

I bring this up b/c western culture is so heavily influenced by Christianity that it pollutes even people's secular understanding of what perfection means.

As I recall someone got a 10 at the olympics this year.
the point of owning a share is to make money from your ownership.

You need to look at this from a 'whole' perspective. You can make money from buying high selling low, but the market cannot.
Reproduction rights?

This is like someone else borrowing your code, copying it and using it himself or selling it to third parties without paying you.
Bankofamerica.com/mynewcard offer for Bank of America Credit Cards 
The www.bankofamerica.com/mynewcard offer for Bank of America Credit Cards is great, and I just got my card today in the mail. Check it out!
bends organizations to their will - if that were the case, Lisp would be used at many more organizations (including Google and JPL), wouldn't it?
Were you forced by your parents to donate your allowance to the homeless amid tears that eventually turned into self-congratulation?

What sort of "good parenting" created such a visceral aversion to Rand's philosophy? Or is it her prose style that you object to?
Probably does. I won't name the bank I was at, but it was a big one, and I worked in a number of departments there, from risk reporting to prime brokerage, and all over the place, there was a lack of the kind of singular talent that, imho, is best suited to start-ups.

That said, if you want people with a high level of professionalism, banking IT is a good place to poach from. For my start-up, though, I look for genius, not professionalism.
Hmm, I think you're probably underestimating the impact. I've made a little test program that you can play with yourself - if you've got a Windows machine around at all:

http://www.rocksolidgames.com/latencytest.exe

Source is at:

http://www.rocksolidgames.com/latencytest.bmx (written in BlitzMax)

I can't notice 1 frame of latency (16ms per frame), but 2 doesn't feel quite right, and by 4 frames (~64ms), the controls clearly feel lagged to me. Of course, considering my day job I play a lot of games and troubleshoot problems like this, so I'm probably more sensitive than average to something like this. My gut feeling is that anything over 40-50ms is unacceptable. So you could have a render pipeline three stages deep at 60fps, but there's no way I'd go deeper than that. Also, if you've got any external latency in a game (i.e. multiplayer net play), the budget is already blown and any kind of latency at all is unacceptable.
no complaint, just a link...