skysight-inc/HackerNews huggingface dataset:
> I do not see how you can reason about Haskell in Haskell either, as this is a programming language and not a proof language (maybe I am missing something?).

http://www.haskellforall.com/2013/12/equational-reasoning.ht...

http://www.haskellforall.com/2014/07/equational-reasoning-at...

The reasoning is entirely carried out by replacing Haskell expressions with contextually equivalent ones.

> Since with both Haskell and JavaScript you will need to define a propositional equality

No, you need much more than a propositional equality to be able to reason about JavaScript programs. If you try to use Haskell-style equational reasoning on JavaScript objects, you can only pick between your reasoning being trivial (because every object reference is only equal to references to physically the same object) or unsound! So if you want a more useful notion of program equivalence, you'll have to use a separate logic (e.g. Hoare logic) or axiomatic system (e.g. Dijkstra's predicate transformer semantics) for reasoning about imperative programs.
Part-time Cat Dad. I love you! That's just perfect.
I understand that. But in real world, you can't check that about a prospect employer during the few interviews and it usually boils down to the things I've mentioned.
From the docs I understand that it is interpreted and runs on erlang vm. I did not find anywhere that lfe code is compiled.
What is your software saying behind your back?
Perhaps not the best example of "irrational exuberance", but it does indicate the power of brand, the evolution of the videogame industry and console market, Nintendo's business decisions, and investors looking for value.

- Irrational Exuberance - the term: https://en.wikipedia.org/wiki/Irrational_exuberance

- Irrational Exuberance - the book summarizes instances of irrational market events throughout history - http://irrationalexuberance.com/main.html?src=%2F
Is yours the original Pi or Pi 2? The Pi 2 is like 6x more powerful than the Pi, and the Pi 3 is about that much more powerful than the Pi 2.

I have the pi B and I can do SNES pretty decently with a little overclocking. I understand the Pi 2 can do SNES with ease, and N64 pretty well too. I can only imagine the Pi 3 will do N64 smoothly and more.
Munich Gunman Purchased the Weapon on the Dark Web
Here Is Marissa Mayer's Final Letter to Yahoo Employees
8 Entrepreneur Challenges Founders Don’t Anticipate
>Thus, radical improvement in the energy efficiency of computing is needed

Isn't that what all these new arm boards are?
What's also strange is that despite this Ask HN being at 6 points in 1 hour, I couldn't find it anywhere in the first 5 pages of HN. That means it's behind posts like a 30 point, 7 hour post, and an 8 point, 2 hours Ask HN. This suggests, then, that HN is actively trying to stifle this DNC stuff, and I don't like that they are doing this without any communication.
I've worked at a company where this philosophy was compounded on during the "down" days, where the company I was at was in a sharp decline.

When the VPs and execs panicked, they started at the hiring level... They made a plan to "stop hiring junior level" employees, and our team became full of Senior level people. Then they said we need more PhDs... because a PhD is prestigious and we need prestige. There was even a brief mandate to high an industry celebrity type, basically just for show. It all started with a "hiring by keyword" mentality and pretty much led to a massive decay of passion across the entire team.
>How are you interacting with opponents in rowing? Can you hit them over the head with an oar?

Words can hurt more then an oar. :)
Either way you'd have to hit them really hard for them to care (they train insanely hard).

>By politics I mean that you can cooperate with a part of your opponents to side line some of the other opponents.

I feel i can safely say that that doesn't happen in rowing. At least for the team i know i am sure that they wouldn't "take a dive" (or even think about it; same for their trainer).
Clearly you learned from a wise professor! Also a huge fan of virtually all of Dan Luu's writing.
> When you make something difficult to tamper with, you usually just increase the potential payout of tampering.

The real goal is to make the cost of tampering exceed the payout. The standard mechanisms for increasing the cost are computational power needed (cryptography) and ability to participate in mainstream society (legislation).
Yep, but has anyone successfully installed Linux (aside from ChromeOS, obviously)?
To add to this, tasks risks in hiring but fire fast. Seriously as a hiring manager my best hires have been, on paper, the least qualified for the position. And when we've hired bad people, removing them within the span of 6months have been incredibly helpful. The corollary, not firing them fast enough has really hurt.
Secret PowerPoint tips and tricks
Free Artem Vaulin Sign the Petition N0W
And the second part of the joke is that these people usually are not real techies who produce, like Wozniak, Ritchie, Thompson, etc. but socially skilled, manipulative talking heads, who inevitable raise to topmost positions if an organization is old enough - the useless ballast of pointy haired managers. There is no better example of that kind than Balmer himself.
its hard enough to identify problems and i think you don't need a well thought out solution before you can start to explain the problem. Maybe the next post will be "Do Hire by Ability to multiply numbers in your head", because that worked out well in practice. Or not.
I liked the article and i think these kind of question are harder than they look. Demanding solutions is too much.
Aren't bots like this often run on botnets? After the classic DDoS of course, I'd have thought this sort of thing would be what botnets are used for these days.
Well there's two things:

It's not unfair to expect people shouting about changing the world (implication: for the better) to be working on things that change the world (for the better).

While certainly not all of them, and maybe not even a majority, there are a lot of loud voices of pro-capitalist boosters who absolutely expect that for-profit, private companies to be the only way to solve real problems and save society.
Thanks for checking it out.

Screenshots are a good idea. I'll try to get those added to the home page soon. Until then,. here's a few i just put on imgr.

http://imgur.com/X2z6bP9
http://imgur.com/nLFtn3Y

In general, JobRudder works like this:

In: You add in what you're doing at work, your deeds and accomplishments

Out: We generate performance reviews and/or resumes for you in one click. Plus analytics, search, tags etc.
One of the keys to good management is actually understanding that there are some people who want it delicate and some people who want it blunt.
how could i do that?
>A desktop motherboard, to me, includes things like audio and video support

Ideally, what most of us want, I think, is a ARM ATX motherboard, with a few PCI Express slots. I believe that it would limit the selection of processor though.
Horrible way to treat a customer. What OP experienced was a very strict fraud prevention system. I'm not trying to excuse HTC in any way, they should have a way for a manager to override. Nevertheless, I thought I'd share my experience with a different company with similar anti-fraud policies. Should anyone find themselves in a similar situation, call your bank and ask about adding an additional address to your account. This way the address verification check with the processing gateway will succeed when your shipping address is submitted.
The terminology as it stands it too broad. The people on the internet shouldn't be allowed to hijack each others computers. There should be a law specifically against hijacking another computer without permission.

Just like guns, and going to the bank aren't illegal. In some places going to the bank with a gun isn't illegal. But pointing a gun in a bank at a teller and saying "give me all the money" is illegal.
Effortlessly Add HTTPS to Dokku, with Let’s Encrypt
There's a rumour in Japan that pets can see Pokémon
The SQL injection is more like entering using a `back door` instead asking for permission. Power used the facebook API which is the `main entrance`.
No, because the issue isn't that new programming languages and their libraries shouldn't be developed (and I'm a big fan of new languages with new paradigms) but whether the new languages should be general purpose or not. I'd argue that the development of S was misstep, and one which would have been completely forgotten by now if not for R and the libraries written for it.
I'm interested in how that kind of thing prevails. Is it because the purpose of the lie is just to get past HR screening, and after that competent people just learn the language they lied about on their CV? I can't imagine that would work though, I mean how does someone get past a technical interview with a fake CV?
Do the people you're hiring know that this is your playbook?
Yes, I think 'honesty', 'trust' and 'reputation' used to be very important in the old days but not so much now - The system is extremely generous when it comes to giving people 'second chances'.

In our semi-globalized world, you can take HUGE risks and make a COMPLETE MESS of your reputation and credit rating in your home country, but then you can move to a different country (and often, you can also bring along your dirty money with you) and start fresh as though nothing ever happened. Unless you're a major public figure; no one will know what a crook you are.

A partially-globalized world is a perfect world for crooks. I think we should either give up on globalization completely or go full steam ahead and merge into a 'world government' under which everyone can be held accountable for their past behaviour without any loopholes.
Hiring Software People at Scale by Patio11
So it is just a wrapper over the inferior capabilities of ImageMagick. There are already a done of these on NPM: https://www.npmjs.com/package/gm
Is that a legal way to avoid a cease and desist? If PowerVentures which was asked to cease and desist and lost, now outsourced their Facebook API use to a third-party (still performing the same function) - would the court really not find against them?
Itanium failed for the same reason every other VLIW failed as a general purpose CPU: there just isn't enough information a compile time to model the dynamic properties of a program. In fact many of Itanium additions (strange instruction packing, alias disambiguation hardware) were attempts at overcoming this issue.

The only moderately successful general purpose VLIW are Conroe and the related Denver, and they use a runtime translation layer to collect the required dynamic informations.
This is like being banned from a restaurant, then returning the next day and saying "well, I pushed on the door and it opened, so it's nonsensical to say I was trespassing"
First note: The article is ~16 months old, so is outdated on some measures. I've corrected the numbers below, but in either case, you seem to have been confused between the size of a core and the size (and power) of an entire chip consisting of multiple cores.

After tapeout of our first test chip, the final size for one of our cores is 0.27mm^2 (including the SRAM that makes up the scratchpad memory) on TSMC's 28nm process. We actually came in using less gates than originally anticipated, and our size without SRAM is a little less than 0.01mm^2.

Now, for just going by what is on the linked article: The diagram comparing sizes are for single cores (0.1mm^2 estimate back then for a Neo core, 14.5mm^2 for a single Intel Haswell core). The power numbers in the table below that are for entire chips. You are quoting 65W for a single core, which is incorrect... The 65W Haswell chip I believe you may be referring to is the 4770S, which is 4 cores @ 65 watts, and looks like it has a die size of 177mm^2.

Calculating this out using our current numbers, our planned full 256 core chip has changed a bit (doubled the performance since last year, doubled the power due to adding more stuff) and we estimate the TDP to now be 8 Watts and ~100mm^2, which gives us a power density of 0.08W/mm^2. Intel would then have 65W / 177mm^2 = 0.367W/mm^2.

As would make sense in the case where we are claiming lower power operation, our power density is also lower.
One of the keys to having a valuation that's higher than your discounted cash flow is whether or not people think you can grow. Twitter, LinkedIn and Snapchat are all growth-stage companies so there is less relation between their valuation and the sum of their assets. Yahoo! is much closer to a mature company so their valuation is better determined by a sum of assets minus liabilities.

With LinkedIn you had an obvious path to continue growing as well as a pretty obvious path to profitability whenever they decided to stop growing.

Snapchat actually has pretty big growth prospects and has shown that they can monetize very well, so they can command a much higher multiple of their current earnings.

Twitter's market cap is just over 2x what Yahoo! sold for, so it's not like people think they are THAT much more valuable, and their stock has taken quite a beating over the last year because they're showing that they don't have a path to growth.
Thresholds seems to be a huge missing component to this stuff. Syntax, obscure trivia, brainteasers, etc are generally terrible predictors. However, if you ask someone to find say the average (mean) value in an array and they can't even get close that's a problem.

IMO, this comes from the mistaken assumption that you want to most technically competent person possible. Instead basic competence is a minimum barrier and everything else combined is more important.
I am American, but I don't interpret that section to mean that I am working 100% of the time. Actually, I think it means the opposite - as long as core hours are met, I have flexibility to work when the inspiration hits me. I know in my current role, sometimes I get a good idea at 8pm, and I am glad I could sit for an hour or two and knock that out rather than have to save it for 9am the next day. Likewise, if it's 3:30~4:00pm and I'm clearly hitting a rut, I can stop and pick back up a little earlier the next day. Me being the best person I can become means that I have the flexibility to do those other activities as I see fit, because I am not 100% work.
There's really great things about being 25. There's really great things about being 45. There's also things that suck about being 25 or 45. One of the things that suck about being 25 is KNOWING that being 45 means you're old and you don't know a damn thing. KNOWING that some 45 year old fart will just get in the way because they're slow and only know Perl. Hell, when you're 25 you simply KNOW so much. Then one day you wake up and you're 45 and you realize that even now you don't know a damn thing.

I guess you're right, it's ageism, but it's also just being 25 and being so sure of everything that you couldn't possibly learn anything from "industry experience".
As a Clojure fan, I tried using this, but I got the impression it has learned next to nothing from Clojure, so I ended up going with Elixir instead.

Particularly:

- No data structure literals (?) - (except e.g., '(1 2 3) for lists)

- Manual module exports, instead of just having 2 versions of def

- Other small syntactic annoyances, like plain parens everywhere, instead of brackets in some cases like Clojure, and atoms (like keywords in clojure) started with "'" rather than ":"
>Pedophilia and necrophilia in writing is protected as freedom of speech.

Sure, but protected speech only protects you from government censorship. For example, Reddit recently instituted a policy of disallowing anything that sexualizes children. Pedophilic writings would probably fall under that. Should they have the right to take those posts down? Or have that kind of policy?

> If google is now censoring literature (as opposed to pictures/media) -- that's pretty bad..

That's par for the course. You can't sell ads if your site hosts writings on pedophilia. Most platforms and social networks would probably take down his content.
I disagree.

If there's a bug in the server and someone exploits it to gain unauthorized access -- even if the user has been warned via terms of service that doing this is unauthorized -- then by your interpretation this shouldn't be considered unauthorized access. Power was explicitly warned their behavior was unauthorized, had their IP banned, and Power implicitly acknowledged this ban by changing their IP.

>Ultimately, Facebook still controls access to its servers; it just hasn't figured out a good policy for denying certain requests.

Not having a lock on your door does not give everyone permission to walk into your home.
If you genuinely want to be "100% dedicated 100% of the time" for any significant amount of time, you'll have to go home and relax when you're not working.

Anything else would just be setting yourself up for burnout and surely that's not the path to be on when your goal is to be "100% dedicated 100% of the time".

The problem is that people want to appear to be dedicated but don't actually care about being dedicated. Combine this with lack of education and you have people trying to appear dedicated while being dedicated only to the destruction of their mental health.
Pokemon Go: A New Hit in Augmented Reality Game Development
Readability is still bad in your example, and not all projects require localization (not to mention usage of \ is not encouraged)
Yeah, I know you can develop games in a purely functional fashion. My point what is the advantage of doing so, given that most resources are developed for an imperative way. I think the interactive approach taken by Elm is a very good advantage of FP for games.
I think anyone who likes what they see here needs to honestly ask themselves how they believe this applies to their world. Whenever this PDF is posted on HN I am disappointed to see comparisons between how people perceive Valve and their own companies. Does your company have a total equity > 2 billion us dollars? Probably not. Much of this flows from the ability to invest in an incentivize your employees at this level.

As another aside I do not think there is causal evidence that Valve became successful because of these ideals. On the contrary they seem like the result of success.
Add CAPTCHA to Your Forms with One Word
Quality Rug Cleaning in Marietta GA
It's run by F-Secure. I've known the F-Secure guys for a long time, and I trust them and I trust the brand. I think they'll use time and resources to fight what they consider to be over-broad surveillance orders, and I think they're competent from a security perspective.
Is it possible Bush was propagating disinformation for the benefit of US national security?

"The U.S. initiated ICBM research in 1946 with the RTV-A-2 Hiroc project. This was a three-stage effort with the ICBM development not starting until the third stage. However, funding was cut after only three partially successful launches in 1948 of the second stage design" https://en.wikipedia.org/wiki/Intercontinental_ballistic_mis...
if it's done locally then people will bodge the client so the random is no longer random. The server's always going to have to do the math, even if to just ensure the client's not lying.
How about this.

Give the "product" (which has nothing depending on it) the number 0, then the number for anything else is the length of the longest chain of dependencies from the root to the dependency in question.

You could put layer 0 on the far right, and then layer 1, layer 2 in vertical rows going to the left for instance. The important thing is that the arrows always point from right to left so they are not tangled. There are other ways you could assign dependencies to layers that might look better or be more informative but the "arrows always point the same way" property prevents tangling.

Layout along the other axis is a different question, I'd imagine you could shuffle the vertical order of the dependencies in the layers to minimize the number of arrows that cross or something.
> This is still purely functional because the resulting type is roughly: State Game () which is equivalent to: (Game -> Game) (a pure function that takes a game and returns a modified game).

This is the kind of arguing that could easily be extended to C and other "impure" languages. And even the IO monad is "pure" -- it's just values containing computations executed by the runtime (i.e. the computational side-effects are not part of the language / type system)

Using the State Monad for += syntax is no better than doing the equivalent in C.

The real enemy is accidental state. That is, meaningless (but significant) dependencies between conceptually independent calculations. For example:

pacman.position += speed
pacman.lives = ghostAt pacman.position

While updating the position based on the speed and deciding whether pacman was hit by a ghost are conceptually independent, the outcome of the above code is dependent on the order of these lines.

Instead it's often cleaner to do something along the lines of

pacmanLives :: Pacman -> Ghosts -> Bool
pacmanNewPosition :: Pacman -> Position
-- use both of these functions in the update routine.
-- Hand them the pacman from the last frame
-- (i.e. don't "chain" the functions)

This way a dependency on the "order" of these computations is "avoided" (kind-of. There is still an order between the frames, but that is not as "accidental").
These stuff exists, but it usefulness depends on the administrators.

I was really surprised when a couple of years ago visiting Tigre, a city north of Buenos Aires, argentina:

There is a huge river delta there, the Tigre delta and the people living in the small islands formed by the many branches of the river have a sort of local internet with their own news sites, wiki, etc... as well as access to the worldwide internet.

Another interesting fact is that some of this island houses have electricity but no drinkable water, they have to carry it from the city docks
Shouldn't it be banned? Like car factory owning dealerships? Or Movie Theaters owning Hollywood Studios??
> he didn't mean google account got removed for having Pedophilia in writing, but was suggesting that Google probably found actual child porn somewhere on this Google Account (Gmail, Drive, Blogger, Youtube, Whatever) and shut down the account.

If that's the case, why isn't Cooper in jail?
I downvoted this for being a lazy comment, just a simple google search would provide plenty of evidence that you asked for (you might not lose in court, but there are plenty of news articles about parents arrested after trying to print their baby pictures at kodak/wal-marts).

Being arrested as a parent and potentially having your children taken into protective-services custody until you win or the charges are dropped is unquestionably "a lot of trouble".
The real LPT here is that every employee is different and a good boss treats them how they want to be treated.
I believe it's "#1 Lucky Internet Investments Inc." Also that's racist.
Would be great if there were a tensorflow project that would learn the calls and then could be used to identify birds in the wild :)
How the Chicken Conquered the World
I'd flag that post. It belongs on CNN, not HN.
It's pretty scary that when Google (or BigTechCompanyX) deletes your data, people will automatically assume you must be a child pornographer.

Is account deletion an automatically applied child porn sentence with no assumption of innocence and no recourse to an actual judicial system? Seems that way.
Important Debian security update for perl
Putting pokemon on every place on the earth
nice collection - i keep some notes myself here, and was able to generate my own parser with Jison https://github.com/mulderp/mulderp.github.com/issues/13

Once the parser returns the AST, it is getting more complicated, how to decorate an AST, add actions, etc. still looking to learn more about compiler backends
MaxCDN acquired by stealth security startup StackPath
Recent discussion: https://news.ycombinator.com/item?id=11302125