skysight-inc/HackerNews huggingface dataset:
From one of the comments.

---

NOTE ON JAVA SUPPORT. THE SOFTWARE PRODUCT MAY CONTAIN SUPPORT FOR PROGRAMS WRITTEN IN JAVA. JAVA TECHNOLOGY IS NOT FAULT TOLERANT AND IS NOT DESIGNED, MANUFACTURED, OR INTENDED FOR USE OR RESALE AS ON-LINE CONTROL EQUIPMENT IN HAZARDOUS ENVIRONMENTS REQUIRING FAIL-SAFE PERFORMANCE, SUCH AS IN THE OPERATION OF NUCLEAR FACILITIES, AIRCRAFT NAVIGATION OR COMMUNICATION SYSTEMS, AIR TRAFFIC CONTROL, DIRECT LIFE SUPPORT MACHINES, OR WEAPONS SYSTEMS, IN WHICH THE FAILURE OF JAVA TECHNOLOGY COULD LEAD DIRECTLY TO DEATH, PERSONAL INJURY, OR SEVERE PHYSICAL OR ENVIRONMENTAL DAMAGE.

---

Made me smile and also scared me at the same time.
Getting DRY with Sass
My experience with startups (and started up and made its) has been pretty negative with respect to mental health and work life balance: I've got to tear myself away from the perf charts, server logs and IntelliJ to make sure I don't miss my sons growing up.

If you'd like a reasonable work-life balance with a lot of smart people, I can recommend my ex-employer, Guidewire. They don't work crazy hours and have a fairly adult work environment, and their recurring revenue model guarantees a level of stability underneath the technical innovation.
This is interesting because I use a pseudo-grid system with plenty of floats and clears. For some reason (research), it seems to look perfectly fine in IE 6+ and Quirks Mode.
I do some work on formal verification, so I can talk about it from that perspective. Purely functional code is the easiest to reason about, but then again you a) can't interact with the "real world" in pure code, and b) "safety critical" often goes hand in hand with "embedded" and "low-level", where you usually don't want to lug a runtime around. So you will probably end up with an imperative language of some sort or the other.

In such a case, the programming languages and programming practices which facilitate formal reasoning are more or less the same ones which facilitate informal reasoning. Avoid "spooky action at a distance", i.e. keep state changes localized (this enables you to use, say, separation logics). Funky flow control is difficult to model/reason about. Non-determinism as well. Type safety and static type systems help.

Then again, if "safety" includes "security", you not only have to wonder whether your system is correctly implementing its API, but also whether the API is secure in itself. A paper by Steel & al [1] contains a partly amusing, and partly frightening account of one such investigation.

[1]: http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/BCFS-ccs10.pd...
For people outside the UK: a TV license is an opt-in for people who chose to watch TV. Blind people aren't required to pay for a service they don't use, they can chose to pay (at a discounted rate) if they wish to consume (listening rather than watching) live television.

If blind people don't want to have TV on, they don't have to pay anything. If they do then clearly they feel they are getting something out of it, so why should they get it free unlike everybody else?
When Facebook met Wall Street
It lakes numerous important differences from (for example) a driving licence. You do not have to do a test for your 'porn licence'. You do not have to pay for a 'porn licence'. Your 'porn licence' cannot be taken away. No-one can ever ask for to see your 'porn licence'. Porn website will not and cannot check your 'porn licence'. etc.
IPhone Screen Protectors. Pros and cons.
I don't know much about Macs, but does the OS use a lot of memory or something? Or does it have to do with the hardware?
I saw it in 3D yesterday (begrudgingly, as I hate 3D, but the theater I went to only showed it in 3D). The 3D is used to pretty good effect for the most part (ie: it's not 20 minutes of normal footage and then a gratuitous 3D shot of something being waved at you), and I found that about an hour into the movie, I didn't notice it.

What I thought was odd was that there were things in 3D that were just part of the background (like there was literally a scene or two where the railing on a walkway was jutting out in 3D).

If you've already seen it in 2D, I really don't think you missed out; but if you liked the movie (and I thought it was very very good) and were going to see it again anyway, the 3D doesn't ruin the experience.
Keeping Minecraft Servers Up and Running
Sounds like a good research problem/job opportunity.
Half is incorrect. It's about 20%. Still a large amount.

Source:
http://en.wikipedia.org/wiki/United_States_federal_budget
(look at first graph)

I really don't know where you are getting your ideas from.
(you were asking for this :)
I am quite aware of v8 and how Mozilla is "trying to beat them". I worked on Firefox's JIT.

As it turns out, the optimizations in v8 don't do very much above the baseline JIT except in careful microbenchmarks: https://www.cs.cmu.edu/~ishafer/compilers/files/report.pdf

The difference in speed between the two browsers in real-world code is quite minimal.
On a related note, I was playing around with going to Norway to get a Masters in statistics. Does anyone have any insight on whether this would be a good idea or bad one? I suspect i'd want to move back to the US afterwards. Would the degree be marketable?
UK PUBLIC WANT GENERAL STRIKE ON THURSDAY
Some of the forums seem worse than others. I give you "Programmers" (http://programmers.stackexchange.com/) as an example of one forum that closes questions way too often.
You don't need to look that far afield. Literally everything runs over a kernel written in C.

But that being said: this is just proof that it "can" be done, not that there aren't better choices. Specifically, could you do a missile management system in less than a million lines of code or for less than $100M with equivalent performance and quality on another platform? I think most of our intuitions would agree that you could.
Did you even read what you are replying to?

He wasn't talking about the sum of money, just that it had gone up -- and he wasn't talking about how to finance it, just that it had caused more people to become dependent on assistance _even as more people are getting a job_. Meaning that it is not because there is no jobs.
Knowing and Doing, reflections of an academic and computer scientist: http://www.cs.uni.edu/~wallingf/blog/index.html
Desktop browser support for h.264 video via HTML5 is a crap shoot. Sometimes it works well (Safari), sometimes it works poorly (Chrome), and sometimes it doesn't work at all (Firefox and IE9-).
Perhaps you should be checking your numbers? Defense this year is 24%, which is half of 50%. Welfare + Social Security + Medicare = 54%.

http://cl.ly/1x3D1W3Z2c3Z2G1w400g
A similar thing happened to me. Our professor forced us to program a lot in a language of his own invention called Morpho (http://morpho.cs.hi.is/). Although it does have some cool features I don't think anyone has ever written anything properly useful in that language and I'm fairly certain that I will never ever write another line of Morpho in my life. I'd say you were lucky since Eiffel is actually used to some extent out there in the real world.

There should be some sort of ban or restriction for teachers teaching their own textbooks or obscure languages.
Emphasis especially here:

> if your processes ... are good enough

I would say that it's possible to write complex safety-critical software in any language, provided it's completely specified beforehand in, well, military detail. This program was likely done when that spec hit the programmers' desks--the project from that point on basically consisted of transforming pseudocode to language-of-choice-X without mucking anything up in the process.
There's actually logistical reasons why that's potentially difficult, (having actors show up at premiers for example).

I think considering that "overseas piracy" is the big stated concern for Hollywood (less people downloading cam-rips, more people selling DVD's on corners), their strategy of actually launching the movie outside the U.S. first made sense.

I suspect we'll see more of that for tent-pole type films.
It sounds to me as if the causes of your burnout are not related to overwork and long hours, but more about poor management, too much bureaucracy and resentment. However, different companies have different attitudes to work boundaries, and it's up to you to find out what they are and whether those are aligned with your own attitudes or not. What are you willing to do?

In terms of general advice, coming back from burnout to a new job:

I'd advise you in the first instance to look for a workplace that is as free of assholes as possible. This is easier to accomplish in a small company just on a sheer scale basis, but there are still plenty of small companies that are full of assholes. When you interview, remember you are interviewing your coworkers as much as they are interviewing you. I chose my current job based heavily on this criterion, and I have never regretted it.

Next up, remember the three key things required for job happiness: autonomy, mastery, and purpose. You will generally speaking get more autonomy in smaller companies, although some medium - large companies have worked hard on maintaining this. (See the recently leaked Valve employee handbook for an example.)

Mastery - assuming you like to learn new stuff - is something you will be forced into at a startup, where everything is your job. It's mastery or failure.

Purpose depends on the company you choose. Basically this amounts to doing something you personally think is important. (I'd advise you to choose carefully here: I personally couldn't summon up enough passion to work on advertising-related products, for example.)

Spend time researching your options, and I hope you find something that makes you eager to get to work each morning. Best of luck to you.
It's a hangover from the 'old days' where those lower down the release date list got 'hand me down' film reels.

Reels are one of the last major costs for film distributors, and even in the face of piracy they would rather cut costs there, than put there risk onto their own shoulders and produce more reels. They are scared of being stuck with a flop movie, and many theatres in the UK and elsewhere outside of the USofA won't commit to buying reels without seeing USA box-office turnout first. The delay is here, and until we have digital projecting, I'm not sure how it will be solved
I don't know why I keep bothering to point this out, but the notion that "America no longer makes things" is absolutely, empirically, unassailably false.

See this: http://research.stlouisfed.org/fred2/series/OUTMS

And a prior discussion of the topic.

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

Anybody who starts a discussion decrying the death of manufacturing in America is selling you something, and it's not a manufacturing job.

Sidebar: This quote!

"The workforce and the union offered to buy it, take it over, and run it themselves. The multinational decided to close it down instead, probably for reasons of class-consciousness."

Aside from the fact that this story is clearly made-up, the idea that a profit-seeking corporation would favor "shutting down" an asset rather than selling it because it fears an uprising of the working class is just about the stupidest fucking thing I've ever heard.
OrmHate (Martin Fowler)
You're right, but most people will not notice Chrome's sluggishness because Google has worked very hard to ensure Chrome feels fast. That, and (in my experience) the fact that most Chrome users rarely go beyond 15-20 open tabs, make Chrome an overall better experience than Firefox for many people. In UX design, perception of speed counts almost as much as actual speed.
I also watched on 2D because 3D movies give me headaches, but several friends told me that the 3D stuff there is almost avatar-like good. I am tempted to watch it again.
Over half of the discretionary budget, which is the pot of money that things like food stamps come out of (way less than 1%, if anyone's counting).

The entitlement programs are run off of their own separate taxes and are legally "off-budget" compared to discretionary spending. Their budget isn't voted on, it's basically "automatic", coming from the legislation that created them. Same with debt repayment (which, coincidentally, represents defense spending in previous years, neat that it doesn't count that way on your pie chart though).

So that's where he's getting his ideas from. The federal budget that gets voted on by congress every year (in a good year) is over 50% defense, and more like 65% defense if you include Homeland Security, Dept of State, Veteran Affairs, etc in the defense column instead of domestic.

Here's a more useful graphic:
http://www.deathandtaxesposter.com/
because Android is slow and We need c++/Qt.
Explore The Galaxy Using The Actual ‘Minority Report’ Interface
I'd definitely say that seeing libraries like this reminds me of what it was like to be a Rails developer in the early days. It's awesome to see concepts ported over to what Ruby does so well, providing clean and beautiful alternatives to what's been around for awhile.
That's funny because Apple has a very pleasing OS upgrade experience. Even better, the machine upgrade experience was amazing to me when I bought a new macbook and was able to migrate installed applications and settings from the old machine seamlessly. Doing something like that on windows or linux is still a pain.
That isn't necessarily true. In general, some agree that the state should provide the basics, and as the centuries go by and the world gets richer, those basics become more and more. Reasonable welfare equals to higher productivity rather than laziness. If you are not convinced, look at the countries that provide the most in terms of welfare such as northern europe or japan and yet they are equally or more productive than the US.
The latest Unity 2D is actually quite snappy on my machine, for what it's worth. More so than Unity, in fact.
> By the way, my friend had an offer at a VC darling, for 60% of the salary he was making but about 0.25% of the company. When he asked if there were preferences against that equity, the offer was rescinded. I don't know if this is normal, but it is telling.

This is disturbing, but it does seem like he dodged a bullet there.

I'll corroborate that I had an offer rescinded when I tried to negotiate salary and benefits... but this was not a startup. Do companies that behave like this think that everyone is desperate to work for them?
I am perplexed by your comment about overseas release dates. There has been an absolutely massive compression in release dates in the past 5 years. Most obvious blockbusters are now globally released, and the spread for smaller films has also been contracting.

Avengers was released overseas prior to the US release. A film like The Descendants was released 4 weeks early in NY/LA, and then foreign releases were only 6 weeks after the US release. That is insanely fast for a movie that could potentially have never made it out of NY/LA.
That's fine for CSS images (media queries), but what about content images?
Is Ada code in aerospace really "safe" for the muslim civilians that got bombs dropped on their head ? I think a language that's applied toward blowing people up is kind of dangerous, actually.
A Free, Responsive Website Template for Your Mobile App
Ever took a long haul flight? A robot was flying your airplane 10000 feet in the air (autopilot). Why wouldn't people accept something that drives on the ground, at much lower speeds?
How to compile the c sharp programming code from the DOS command prompt
I certainly do not qualify for "have the background" but I do have some
information. One part is cost of reproduction; it's rumored to cost
$1,500 for each reproduced film reel set. The current work (that I
know about) is the move towards digital distribution.

http://singularityhub.com/2012/04/27/movie-theaters-ramp-up-...

Another part is translation. Though language barriers have been
decreasing during the last two decades, they still exist, and most
people prefer to watch movies in their native language, or at least have
subtitles in a language they know well.

Various "fan groups" release subtitled versions of their favorite anime,
and at least to some degree, this addresses the time delay of
translation. More importantly, the entertainment industry has been
slowly learning from the fan subbing groups. A good example would be the
partnership between entertainment companies (read: investors) and groups
like CrunchyRoll which does and distributes officially sanctioned,
subtitled (re)releases a short time after the programs have originally
aired.

http://www.crunchyroll.com/

Though the former could easily be considered just cost cutting, the
latter is undoubtedly due to pressure from alternate distribution
channels.
This is great news and may finally push me into upgrading FF on my depleted box. Despite all the grumblings about FF's memory issues, it is the (only) full featured browser that works for me, not Chrome.

There are a few reasons for that. (1) There's no tab abuser worse than me. I have hundreds of them around (I have commented before, why I have it that way) (2) I do all my browsing from a (battery less) laptop with 512 MB of RAM. (3) I do not close my browser for months on end. On top of that I expect that I should be able to do my usual editing etc while I have the browser open.

For this very corner'est of corner cases, if I use Chrome, my box goes into a fetal position and dies. However, and kudos to FF 3.6, (yeah 3.6!) my laptop works great, no problem at all. I have flashblock, no script, bar-tab, memory fox, bunch of greasemonkey scripts (to fix google's layout, and give github and bitbucket a dark theme) and have tweaked FF's cache settings.

On a more performant box I am on FF-11, but have never upgraded on the other, fearing that the new FF assumes (not unreasonably) the box to have more memory.
40 inch flat panels used to cost $40000 in higher volumes (production quantity) than LIDARs are shipping now. Now these panels cost ~$500 (and are better).
Using clojure database functions and transaction annotation in Datomic
And yet it has among experts and textbook authors for nigh-on 60 years. It's even sometimes presented (quite credibly, imo) as the feature which makes all the other aspects of functional languages worthwhile.

I didn't notice purity become quite the deal it's become until recently, when boosters started talking it up as a concurrency panacea. Sure it's always been ubiquitous, and mutability was seen as a tricky tool that's best used sparingly, but that was seen as a matter of culture as much as it was a matter of definition. Valuing immutability definitely wasn't presented as functional 'territory' - a somewhat difficult position to hold given things like the PURE keyword in Fortran, or the variable and constant keywords in Ada.
I don't know how it scales either, but I'd guess that if your proofs grow even quadraticly with code size then you're doing something wrong. Exponential growth is just clearly wrong. Note that even for SMT solvers, there is not exponential growth with program size. Even with small programs, the model space can be infinite, and general automated theorem proving is undecidable, not NP. Do you have evidence that a million line program is inherently harder to check with an SMT solver than is a thousand line program? Both are probably jut checking approximations to the model.

Similarly, with multi-threading, either the program works for a simple reason that it's author understands, or its correctness is not understood (and it probably doesn't work). People don't work through exponentially increasing number of cases in a growing project, and nor will formal proofs.
Ask HN: You're in beta. How much $ is 1,000 random users worth?
Imagine that you have your product and it's at the point where you're ready to get some real users in -- maybe to test, maybe as actual customers or whatnot. The opportunity arises to get about 1,000 of them, give or take, to sign up, all within a 24-48 hour period, with two caveats:

1) You'd have to give them some incentive, like give one of them a free iPad or something.

2) You don't know much about the audience you'd get other than that they all have basic English literacy.

On top of the incentive, what would you be willing to spend to get those 1,000 people?
Fair enough and I guess you are free to do that.

Still: targetting "retine display devices" is wrong for a multitude of reasons. You don't want your website to be tailored for a device which has 4x the number of pixels of another very specific device made by one vendor only. That is not the problem you are trying to solve.

The problem you are trying to solve is creating a DPI-independent site layout which exploits the resolution and estate available, while degrading gracefully on lower class devices.

If your solution to that problem is making your website hardcoded to fit two devices made by one vendor, as long as they remain true to leaving everything pixel perfect as they are now, for all eternity, needless to say, it's not a good nor elegant solution.

It's the "This website was made for MSIE" of olden days all over again, only this time for Apple-devices. And thats just not going to cut it.
>Even the first Mac was pretty gorgeous"

It was the same beige as everything else and had the same square corners. It was aesthetically equivalent to a C64 or a PET 16 or any one of a large number of name brands.

That's not to say it wasn't sound industrial design, only that it's aesthetics didn't differentiate it in the way the first iMac's aesthetics differentiated it.
There is no such data structure as an "Aguri Tree"
Maybe, but it's telling that you didn't mention it at all and instead focussed on blaming people on food stamps.
Short answer: yes.

Long answer: talk to a lot of people in the kind of role you want. Find out what their work life is like. You need to get this information from employees, not from employers-that's how you'll get honest information.
However, there is a lot of work on generating C code from formal models in Haskell or ML. Verify the high level code; verify the compiler; target a subset of C whose semantics you understand. See e.g. L4; Lustre; Copilot.
The target code for the seL4 project is actually written in C. They do however use Haskell as a stepping stone (they have an abstract spec of their system, which they then prove is implemented by a Haskell implementation, which is in turn implemented by the C implementation).

Do you have any links to your friends work?
I wonder what would have happened if it had been a leaked screener instead of a CAM recording. I'd never choose a CAM over going to the cinema, but a screener might change my choice.
Show HN: Tributary, live visual coding you can share
The change will come through digital distribution of the movies to cinemas, instead of the physical reel method that has been used since movies were first shown in cinemas.

The main reasons these movies take so long to distribute outside of North America has been because of local content & distribution rules for movies, risk assessment for success from distributors and, importantly, studios not wanting to spend extra money on new or extra reels when they can just use those from North America after a few months in overseas markets.
50 Visionary Examples of Creative Photography #9
> humans drive okay

Seriously?
Currently, Ada. It's a fair tradeoff between formal verifiability and time/space control. You have to do a lot more extra work to meet these three requirements.

In the future, as we figure out how to make things like Haskell or an ML meet all three requirements, we'll move away from the labour intensive languages.

In fact, if strict real-time requirements aren't necessary Haskell is already useful. It's being used in the UK's national air traffic system.
MBT Habari Sandals Women
The Entrepreneur 'Ah Hah' Moment And How To Get It
I'd offer them some kind of premium features and/or discounts later down the product (time)line.