skysight-inc/HackerNews huggingface dataset:
This is an excellent point. Even if you feel as though Eich's donations didn't disqualify him from the position, or if you didn't feel that boycotting a product based on its CEO's stated views was bad, he handled this mess absolutely horribly.

I could come up with a lot of better ways to say what he tried (and failed) to communicate, and whether those points are relevant or not, he completely botched communicating them at all.

For example, his comments about LGBT rights in Indonesia appeared to be about how Mozilla, as a global company in a global market, has to tread carefully in non-liberal markets, because coming out as strongly, unshakeably, and vocally in favour of LGBT rights could carve you out of entire markets which would be willing to look the other way but won't tolerate 'shoving it in their faces' so to speak.

Instead, it sounded like 'gay rights isn't really a given, so who knows how things will end up right?', which sounds to me like he's saying 'This fight isn't over yet, we still might win', which is ten times worse than just saying nothing.
Linux-ready SBC runs on 2 Watts
I think it was handled somewhat better in older engines.

Doom3 seemed a bit of an odd duck.
I didn't think it was so much a 'you have the right to refuse' as much as it was 'it's illegal to ask' for situations not related to taxes and payroll and stuff like that.
You can use 401k's as a tax deferral even with the penalty if your current income is high enough.
The behavior of public technology companies that throw off lots of cash is entirely predictable. They are utterly shitty allocators of capital, esp when run by "visionaries." Some easy predictions:

-This acquisition will have zero to negative return on investment, just like Motorola.

-Oculus acquisition for 2B will have zero to negative return on capital

-WhatsApp will have zero to negative return on capital

The abuse of shareholder cash at cash-rich tech companies like Apple, Facebook, and Google is quite breathtaking to observe.
Not for a long time probably - Go compiler can't make .so shared libraries, which are a requirement for Java / native interop.
If you want to see a dependently typed (technically, though the term often doesn't include this class of languages in practice) language which enforces smaller sets of properties more eloquently take a look at Liquid Haskell

http://goto.ucsd.edu/~rjhala/liquid/haskell/blog/about/

The core idea here is called the Refinement Type which is basically what you're looking for. In order to power this type system Liquid Haskell depends on a full SMT solver, though, which is a rather large hammer to wield.

As it regards to Peano arithmetic in DT languages the Peano naturals data type is awkward for doing math... but FANTASTIC for defining the properties of recursion and induction. Indeed, what you find is that the Peano nats show up everywhere as being a stable foundation for complex proofs and smart recursive functions.

It's a very similar feature to Haskell's lists. Competent Haskell programers do not use lists when they want arrays or vectors—the latter types are naturally far more convenient when in their application space. But lists are not abolished! They're fantastically useful as control structures indicating sequential recursion.

Typically you think of data types as forming their meaning through construction. You use numbers by constructing them according to arithmetic properties. Another way to do it, though, especially with recursive ADTs and inductive families, is to think of a type's meaning as being derived from how you break it down.

The canonical way to break down a list is to find some way of combining the head of the list with the broken-down version of the tail of the list. In Haskell that is called foldr

-- combiner zero list result
foldr :: (a -> b -> b) -> b -> [a] -> b

and you can see its canonicity by thinking of it as simply replacing the constructors for a list by the arguments to foldr.

let ls = Cons 1 (Cons 2 (Cons 3 Nil)))

foldr comb zero ls =
comb 1 (comb 2 (comb 3 zero)))
This doesn't really excuse the fact that Haskell is a harsh mistress that demands elegance. Many production languages are much more pragmatic about the quality of the spec, the quality of the developer, time constraints, and so on.
I was under the impression that they were specifically not using parachutes, that way they would be refining technology that would be useful on other planets.
I think there are three very different questions to consider here:

1) Should an employee be held accountable for his/her political beliefs. (Heck no.)

2) If someone with different political beliefs than I runs a company, will I boycott it? Ex - Owner of Whole Foods is against Universal Healthcare, so I'm boycotting, though I approve of him running the company. In such a case we support our ideologies through capitalism.

3) Should someone who runs a technology company - a multi-billion, multi-national that shapes our future and impacts our daily work lives & culture - should someone who actively holds and acts upon prejudice be allowed to run such a powerful company? No.

That third one is important - and somewhat scary - to consider. We've crossed a threshold. Large technology companies - and many startups - are literally creating the future. We are shaping the world in a way that goes way beyond the capacity of companies in decades past. There is a far greater responsibility to consider.
In other words, many people believe what happened to Eich was unethical, however legal.

Presumably from your description those people believe he was fired. He was not. He clearly stated that he had resigned; his choice, his action.

I am unsure whether people so often assume he was fired because that's what fits the narrative they want to push (bullying intolerant liberal witch-hunting mob action... choose from any of the above, they've all been used), or because it's next to impossible to argue that he was wronged if he resigned.

(the difficulty being that making someone feel unwelcome through overwhelming social pressure can't be labeled wrong in the "Eich was wronged" worldview, because then the overwhelming unwelcoming social pressure of Proposition 8 comes into play as a "well, he did wrong")
Yep. You'll note below, I wrote "courtesy of RDL"

I just found the post fascinating. Reminded me of this for some reason: https://www.youtube.com/watch?v=NnJbtbh4tDE
The last example is especially striking to me, as i've seen that graph used in a discussion about the effects of gun laws. The person posting it had taken the time to remove the numbers.
>>If the 8k difference is part of the refutation, I think you may have inadvertently proved the point.

First, it was a 20% difference ($40,000 vs. $32,000). Second, if you invest that $8,000 at a conservative 6% annual growth for 30 years, you end up with $670,000.

That's a really good chunk of money. It might even be enough to put your kid through college in 2044!
You mean like that "Izzy" Stone guy who passed away recently?
Interesting article on that company http://arstechnica.com/tech-policy/2013/10/how-one-small-ame...
GitHub-Based Developer Report Card
> But then, there is nothing wrong with discrimination, per se, what is wrong is discrimination on bases which do not serve a legitimate public purpose.

That's true, but that means it's not sufficient to denounce anti-gay marriage proponents simply because they favor discrimination.

> the word you are looking for is probably "platonic"

Yes, definitely. I actually looked it up to make sure I would spell it correctly, then still proceeded to spell it incorrectly.
Sorry, I was commenting on the fact that given what we now know about the NSA's TAO etc, you still feel comfortable with encryption software written by anonymous developers.
> With @ and [] one is in Smalltalk land. Without them, one is in C world.

This is an odd and not particularly true way of looking at things. [] (for message sending), is merely some syntactic sugar for the objc_msgsnd function call.
pngquant & pngcrush >= pngcrush

pngquant changes pixels in the image, which gives it freedom to make files much, much smaller than the completely lossless pngcrush can (60-70% vs 10-30%). pngquant-converted files can still be pngcrushed to make them even smaller.

> are you not able add this as a build step?

I am, but I think it's a shame that it's needed. I think users should be able to trust that their apps produce good output in the first place, and not need to hook up 3rd party tools to compress the files well.
The book really was written with Smalltalk in mind with the C++ examples added for marketing reasons. If you want to go argue with Ralph Johnson (aka the god of Smalltalk) about it, be my guest.
Forget Wristbands, Health Trackers of the Future Will Be Skin Patches
> I just went through 250 million iterations of plain text in ten minutes

Oh I thought you were going to say per second. I can recall reaching 500 MHash on some 2008 nvidia gpu with barswf.

Anyway, you're right of course. A nine character password is not really military-grade safe for countries with a security budget like the NSA's. But 9 characters ought to be many, orders of magnitude easier than 40 characters, and md5 is many orders of magnitude easier than pbkdf2 even at a weak security setting. This md5 might just be within reach of governments, but 40 characters certainly isn't.
The center point of the chart is 0%. As a dot moves to either the left or the right, it shows some number greater than 0% until it reaches 100%. No company is going to have a dot at each of the edges... as you can not be both 100% male AND 100% female. The chart made more sense to me when I selected the "Sort By: Most Equal" option. The top few companies have a 50/50 split by gender. As you scroll down you will see those shift to the right for a more male-heavy company (mostly... some are female-heavy as well).
Is 4-5 years the “Midlife Crisis” for a programming career?
Historically, one of the conservative/anti-communist gripes with McCarthy was that he left the public believing that any and all accusations of espionage within the government were baseless political smears, making it far more difficult to expose and prosecute the actual espionage going on at the time.
> So, platonic roomates can get married.

Valid point. But I could use other examples which generally are not allowed, like close blood relatives or groups of 3 or more people.
You can give free packages in both areas, monitoring and system installation/configuration. Bigger packages could be paid and complex ones could be paid by the hour.

I did not entirely thought this through, other commentators already mentioned problems with this model. It was just something I hat thought of in the past and seemed to be a way to approach the difficulties of finding the right market.
Yikes. I understand that companies use these posts as a form of advertising, but seeing your "application security specialist" struggling with such a basic expression gives me pause.
There is medicare for old people in the USA, as imperfect as it is. Also developing countries might not be nice places to raise your kids unless you do the private school / live in a bubble thing.

Try replacing the developing world with 'the US ghetto' or 'rural usa'. You can approximate the costs fairly closely in some of those cases. $40k/$30k houses in small town upstate new york or texas for example and %10-%15 federal tax rates, still be within domestic flying distance of family.
Helium atoms are also smaller than Hydrongen atoms and that makes it even easier for Helium to find its way around the smallest joints and seals.
Have you experimented with Boost Context and Boost Coroutine?
> That's true, but that means it's not sufficient to denounce anti-gay marriage proponents simply because they favor discrimination.

In policy debates "discrimination" alone is often used (often on both sides of the debate) as shorthand for "discrimination not justified by a sufficient public purpose". This is fairly widely understood, but its easy to get tripped up over.
DivvyUP helps you Swap those items
Divvyup help you Swap those unused items for others your really want and need.
I'm impressed you put that post up & link to it here.

:)
Nothing prevents them from having a downloadable version independent of the AppStore.
The visitor pattern is about doing different things to objects based on their class. What would make it redundant would be multi-methods, or pattern matching, not blocks. Smalltalk doesn't have a good alternative to the visitor pattern.
Brainz.

I think while typing them in is when they are most susceptible to being stolen.
> However, the people on his list were not in fact spies or communists and there was no good reason for him to believe they were.

The "list" he was holding wasn't a list at all. It was completely fake, made up for his own political grandstanding purposes.

Oh, sure, they eventually did come up with a real list after the witch-hunt got started but make no mistake that our problem with McCarthy was the witch-hunt itself, and the hysteria it generated. Oh sure, we all agree on "better dead than Red" but that wasn't what the HUAC ended up turning into.
Really depressing. Wasn't expecting it to be so after watching episode 1.
See also Limbo / Alef / Newsqueak for Go's progeny
I've always thought a Lenovo X1 Carbon would be good for this, but I've never seen one in real life (I live in AK).
Does anyone have an X1? Is it a worthwhile investment?
It could also be neither, which is a popular choice these days.
Well, if that is the problem, why not add a photo of you wearing a suit, an address, a short resume and some customer photos/logos with feedback?
Oh, I thought that was only for selected threads.
I highly recommend reading "How to Lie with Statistics"[0]. Old but still very relevant.

[0] http://www.amazon.com/How-Lie-Statistics-Darrell-Huff/dp/039...
IIRC, they actually considered it, but the parachute, plus its pyros and extra equipment were heavier than the extra fuel for braking.

Parachutes are very useful when you don't have engines powerful enough to slow you down, but the whole purpose of this is the controlled landing of nine very powerful engines.
> Looks and feels exactly like XP at that point.

Did you remember to remap Alt-F2 for Krunner (which looks nothing like on XP...) to Win-R?

Did you fix the Lock Screen to look exactly like XP?

I can tell you as a KDE dev myself that although you can do amazing things regarding look-n-feel, there is still a big difference. Even on things that are not very different between the two, that simply becomes an "uncanny valley".
I've personally experienced the frustration of trying to introduce an innovative and different model in the auto industry.

It's a good old boys network that seems like they will resist change until their failure far before they'd ever consider transitioning to something that isn't, "just the way it is".
Kirkpatrick: Amazon Smartphone Move “Brilliant”
Haha - we posted the same link, so I will +1 yours instead. This article is very much in keeping with the spirit of that book. A friend kindly gave me a first edition from 1954.
"Practical" Haskell programming very quickly devolves into carefully constructed stacks of monad transformers. "Practical" Idris programming lives in a modality of extensible effects. These are objectively easier to get started with.

(Moreover, I did also include SML in my list of languages better for beginners than Haskell and Scala incidentally. If the purity is the problem, then SML is a great place to start. Begin with proving by induction that an SML program is pure or impure—this will motivate having it internalized in the type theory.)

Moreover, you don't even need to use the "proving" parts of Idris. You can use the fragment of Idris which is a fixed Haskell, and move on up to the more interesting bits when they become useful to you. For instance, you can write partial programs (and coprograms) in Idris without doing any proofs; then at the end, you can have someone help you shore it up with proofs that it is sound.
This is stupid. And I can't believe it doesn't sound stupid to those who are the most likely to attempt suicide seriously.

Why doesn't anyone talk about "misery prevention" ?
Our Cubicles, Ourselves: How the Modern Office Shapes American Life
The 1960 version of you might have asked, "Why the hell is AT&T playing with satellites?"
> I think the big lesson of the 20th century is that both have their weaknesses, and that we should be looking for a good balance between the better aspects of the two.

Yes, life at the extremes of any philosophy or ideology tends to turn out badly IMO. Things are just too complex to be distilled into very simple solutions, try as we might.
I came here to say the same thing. Also http://www.statisticsdonewrong.com/
All valid points, but I still doubt you can get the same range of lifestyles (eg. car free, beach proximity, unmatched availability of foodstuffs) that cheaply, internal to the US, within a decent climatic zone, somewhere you'd actually want to live. Besides, you're neglecting the linguistic/cultural stimulation that comes from being somewhere truly new.
> There is a perception among some people that the selection process is biased away from controversial figures

Its's more than a perception, they've tacitly admited it. Wikipedia:

As a result of the public backlash it received from the United States for naming the Khomeini as Man of the Year in 1979, Time has shied away from using figures that are controversial in the United States due to commercial reasons. Time's Person of the Year 2001, immediately following the September 11, 2001 attacks, was New York City mayor Rudolph Giuliani, although the stated rules of selection, the individual or group of individuals who have had the biggest effect on the year's news, made Osama bin Laden a more likely choice. The issue that declared Giuliani the Person of the Year included an article that mentioned Time's earlier decision to elect the Ayatollah Khomeini and the 1999 rejection of Hitler as "Person of the Century". The article seemed to imply that Osama bin Laden was a stronger candidate than Giuliani, as Adolf Hitler was a stronger candidate than Albert Einstein.
Oh look. Another debate about religion and politics on the internet. Because the last one didn't change everyone's minds, but this time will be different. Better join in.

You're right and we're wrong!!

(Am I doing it right?)
I'd love to see some automated cable-laying bots that can just dig underground and pull fiber optic cable behind them.
... and the gcc flag would need to be -m64. But I don't think it's this easy. If grub is in 32-bit mode when it hands you control, I would think you would need to switch to Long Mode before you could execute 64-bit code. So your entry point would still have to be a 32-bit program, which would set up everything necessary for Long Mode, make the switch, and then load and execute the 64-bit part of your program.
BitBalloon founder here, cool site!

You can change the URL to something nicer from the UI - just click "Edit Name" and pick something like ulaxi.bitballoon.com :)
I feel like there should be a more efficient way to store these things. You have a complete enumeration of possible inputs (passwords), but unfortunately we need to go in the opposite direction, so we couldn't just index into a n*9 bytes array. Depending on how well distributed the md5 hash space is, it's possible a prefix tree might save you a bit of storage (you'd only have to save a couple of bytes per entry to cancel out the overhead) but I couldn't tell you the numbers there. Otherwise I think you're right, and we'd just have to store a map of md5 -> password.

(Edit: Also being limited to alphanumeric for hashes and printable ascii for input gives you pretty good compression potential.)
The Grasshopper test flights didn't really expand the envelope to anything nearly like the conditions the first stage experiences at entry (max altitude and speed <1% of the real thing) so I'm sure there's no shortage of things to test.
how is the operation of "==" an interesting question to anyone but a novice javascript developer? I think this post is going to give me an aneurism.
These bets are easy because it's hard to figure out if you've won or lost. Among the challenges is that acquisitions like WhatsApp and Motorola can be more about stopping threats. WhatsApp had been adding ~1 million people a day, and if FB's mission is to connect people in the world, then WhatsApp could have become a serious competitor in a few years. The Motorola patent portfolio has been discussed, but there's a lot of potential for simple expertise in consumer goods that was acquired as well. Us outsiders will never really really know.

Since we're talking about tech companies and not airlines, the value of an acq is a lot more difficult than discounted future revenue. YouTube was much derided as a terrible acquisition for YouTube in 2006 -- a bandwidth money pit and a copyright nightmare. But it looks like it was a smart move.

What you describe does happen, though. Microsoft paid $6B to acquire aQuantive in 2007 and then wrote if all off in 2012.
Why should they reconsider it? Someone that just got into development and might want to show their friends or family something they are hacking away on. According to you they now need to learn about VPS, some random nginx settings or other SSH nonsense and meet some arbitrary "minimal" criteria you have decided upon because that is how you would do it. I think you should reconsider your acceptance of people that don't share your same technological expertise.
I have been looking for something just like this! Fantastic
To be fair, Idris does not in general support parametric polymorphism, though you could extend it to do so.

Idris has a quantifier which is called Pi in type theory, and this is not the same as Forall (the quantifier present in Haskell and ML). Forall gives you guarantees about uniform behavior over the domain of quantification (this is parametricity), whereas Pi does not.

Idris does however recover parametricity anyway for types, since it lacks an eliminator for the universe (i.e. it doesn't have type-case). But it doesn't have parametric polymorphism for values.
Issue #1 - It could be a problem for your next employer, especially if your former employer sends them a legal threat letter.

Issue #2 - If it's a personal project, don't publish it until after you've stopped working there for a year.

However, given that it's a large corporation, it's probably a boilerplate contract and you aren't going to get anywhere if you try to negotiate that point.
Defuse has done quick audits on both EncFS and eCryptfs. Both store their encrypted files in another file system.
eCryptfs did substantially better then EncFS

https://defuse.ca/audits/encfs.htm
https://defuse.ca/audits/ecryptfs.htm

Truecrypt is a different beast (acts as the basis blob or blockdev for a file system) and has done significantly better on more rigorous audits:
https://opencryptoaudit.org/reports/
The Power of Brain Style: Foundations of EQ by eqjosh | Webiners
I'm not advocating being politically correct because I enjoy it.

My commentary is an alternative perspective based on what I've experienced working at an ad agency (there were many times we pitched extremely offensive ideas), and more specifically working with conservative BANKS. I've had to change the 4:20 timestamp left in Teehan+Lax iOS PSDs countless times before we'd get approval from a bank. I also don't think 4:20 is very original but that's besides the point.

Lorem has a long history in design. There are a lot of reasons it's used in prototypes... reduce client distraction, more accurately reflect the flow of text, easy to calculate word-count when working with copywriters, etc...
More complex organs like the kidneys, liver, [...]

Interesting. I was under the impression that the liver was going to be one of the easier ones, due to its own ability to regenerate. That's not to say that it's going to just automatically hook up the bile duct and such...
Old Trick Threatens the Newest Weapons
CGHub Has Closed Down