skysight-inc/HackerNews huggingface dataset:
"Because /r/haskell has become a place of constant flamewars."

Are we talking about different /r/haskells here? I'm not seeing it.

"Disagreement" is not "a flamewar". Wouldn't even call it "constant disagreement", either.

Do you have an example "flamewar" you can show us?
I think this response is exactly what he was trying to preempt at the end of the talk, when he noted that these ideas in particular aren't his point: his point was that all of these ideas hatched in a short timeframe long ago, and they're all quite interesting and different (regardless of workability), so... why did they hatch then?

The unspoken assumption is that fewer new, interesting ideas came out of the following decades, and the thesis he asserts is that this is because we have settled into smugly believing we know the whole territory of computing, rather than keeping the beginners mind, as people in the 60s were essentially forced to have.

I think there are fair positions of opposition to his true thesis, but ignoring his main argument to point out that we don't use these ideas because we're, well, so experienced and savvy (or do use them in some spots, again go us) kind of seems like making his argument for him.
35 Actionable Tips to Reduce Shopping Cart Abandonment Rate (Ultimate List)
Thanks for sharing the Turing Award link; agreed it's noteworthy.

Random: I met Whit Diffie at my brother's wedding a couple years ago. He was charming.
Interestingly, the Community page has a link to /r/haskell instead of /r/haskell_lang.
Checkt this out https://www.producthunt.com/topics/snapchat
And much more likely to be shot by another black person (not the police officer). That's also is fact.
I know ocaml has a lot of proponents in industry (jane street probably the most vocal, but I've seen it many other places, as well). Most of the SML/MLTon references I come across seem to be in an academic and research context. Is anyone out there using it for "real world" application development? What sorts of niches would it serve well?
> "Disagreement" is not "a flamewar"

It's worse these days. "We need a safe zones!"
From what I've seen, there seems to be a decent level of consensus in scientific research on the issue (and also recognition that more research is needed to understand what kind of causation might be behind the correlation). Here are some other interesting studies:
http://news.stanford.edu/2015/06/30/hiking-mental-health-063...
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC4204431/
Platforms I guess. Plain C code is much more portable than JIT and PyPy is reinventing JIT implementation as opposed to using something like LLVM, so they're much more limited in terms of supported target platforms.
If I had to guess it just simplifies the implementation. If you have deterministic load addresses then you can just reload the program on replay. If you have ASLR on, then you need to record where each library/stack/heap is and arrange for them to be placed at the same place when you replay. It's doable (though I don't know offhand how to specify the stack/heap location from userspace) but extra work.

I've done similar things before – in PANDA we don't strictly need to snapshot the full device state when creating a recording; it would be enough to just keep track of which memory regions are I/O and reconstitute that mapping. But QEMU's savevm/loadvm saves and restores that mapping as a side effect so it's easier to just let that happen.

Edit: also, instead of disabling ASLR system-wide, it might be better to just use "setarch `uname -m` -R <pypy>", which disables it for just a single process.
> Textual programming exceeds at plugging into your mind, you can associate words with ideas, imagine what the program will do very efficiently.

Unless you mean something else than current day programming with "textual programming" i don't buy that for a second.

Current languages are too hung up on minutia for that to be the case.
Knowing all these sorting algorithms can only be useful for someone just learning what an algorithm or what a complexity means. On day to day basis, they are not used. So if this poster was supposed to be practical, it's not, and if it supposed to be stylized techno-babble kind of poster, it's really uninspired and could use serious style improvements, better background, etc.
> a new community based on better principles

Like stating the "old" community is based on worse principles ?
How are these countries tyrannic?
More likely is not equivalent to a blanket "constant fear".
That seems to go against the documentation: (https://developer.android.com/guide/components/services.html)

> A started service must manage its own lifecycle. That is, the system does not stop or destroy the service unless it must recover system memory and the service continues to run after onStartCommand() returns.

A started service shouldn't be killed randomly - after all, that's how the downloads are handled - you don't see those disappearing without a reason.
All the police officers I know are nice, level-headed guys, but that speaks more about my friends than it does police officers. That said, I talked to a psychiatrist about a relative in the service. She has a term "shiny-shoe syndrome" where people with personality disorders gravitate toward jobs that give them power over others. What were missing is a good psych eval as a requirement for a badge.
This was also made into a movie called Night Crossing [0]. It's available for streaming from a few places [1].

[0] https://en.m.wikipedia.org/wiki/Night_Crossing

[1] http://www.canistream.it/search/movie/Night%20crossing
Sadest part is that it diffused into education.
What's so hard about the JVM install? I googled for "java download" and this was my first hit: https://java.com/en/download/

Went there and found a single, totally obvious button labeled "Free Java Download" that detects your browser and Operating System and makes sure you download the proper version of the JVM.

How much easier could it be?
Thanks. Much appreciated!
Good to see that the Haskell community is looking for ways to be more accessible to newcomers. I'm not very familiar with Haskell, but I have long heard that the Haskell community wasn't interested in popularity. Has there been a shift in their thinking?
10 things you should know about Alibaba
Cf "Current issues" section:

> Only works on Linux, and only with Address Space Layout Randomization (ASLR) disabled. There is no fundamental reason for either restriction, but it is some work to fix.
This is pretty cool. I might actually use this (assuming it can solve any "solvable" linear system).
I'd also use a version of this for differential equations, if you happened to write one :)
This is something we are discussing as well. We are weighing all of our options but gotta move quickly. We think having a technical cofounder has its advantages for championing ideas, improvements and reassurance. Its hard to find talent that sees beyond the code that doesn't want to work on their own ideas by themselves.

We also think finding the right contractor is smart idea too because it will allow us to make the changes without equity like you said. Which than we can scale the product on our own to get the traction/funding we need to hire the right CTO.

We've really only had one investor question us on not having a CTO anyway.
Ask HK: What is the most number of tables you've used in a RDMS?
I am doing research on E. F. Codd's work. I wonder since then, 1970, what is the most tables you have used in a real database? Thank you in advance.
> British police do not expect to be threatened with a firearm, or shot on a routine traffic stop. In the US, the police have to expect that as normality.

Why? It doesn't happen.
Dallas Police Department Statement [video]
I tried with locked keychain and it requires to enter your password (still something but not everything). This is something that Apple needs to address soon I think.
Dunno. Do you want the ask.com toolbar? How about updates that install the new version and remove the old version? Or maybe they've fixed the latter issue by now.
The way an old-timer described it to me was that CCD amounts to an increase in overwintering failures from around 10% for well-managed hives to around 25-50%.

This in turn means that you've got to do a lot more splits (where you create a new hive by splitting an old hive into two, and either inducing them to produce a queen or adding a carefully-bred queen yourself) or buying new packages of bees from someone who has already done this for you. A new hive usually needs a year to get up to full strength -- you can occasionally take a little bit off a new hive, but not much, and most beekeepers don't even risk it.

As you say, 25-50% failure rates are expensive but currently within the range of what can be replaced; new packages of bees currently cost around $100-150 on the east coast, but aren't really hard to find. I'm somewhat curious how high of a failure rate can be sustained. It pretty much depends on how many splits you can generate a year starting from a single hive, which isn't a number I'm familiar with.
If you pay her enough (donate to her campaign, the clinton foundation, or give her some cattle future trading tips) she'll say anything in her speeches. She's the most technically illiterate candidate of this century. Her emails (the ones she didn't delete) lay that bare.
And when police gets killed it is OK? Justified?
C-Extension support is still not complete and comes at a massive overhead. That's better than no support at all but the performance impact might be a problem in some cases.

PyPy is also still several versions behind implementing the latest Python 3.

So while PyPy is definitely a great project, groundbreaking in many ways and a very useful for a lot of applications, it's not a replacement for all applications, for now at least.

Also while the actual PyPy Python interpreter is reasonably simple overall the project is incredibly complex. It at least appears as if there are parts of the PyPy project not even all PyPy developers understand. Making PyPy the reference implementation is probably questionable for that reason alone.
The JavaScript interview review
On Windows it comes with an unrelated installed-by-default "malware" browser toolbar.
As others have alluded to, this is the "Login" keychain--a keychain of usernames and passwords that are unlocked upon a user's login. This is by design, not a security flaw.
Office 2013 Product Key Crack and Activator Free Download
Last I heard, didn't their messenger app pull a ton of not required permissions on Android?
New mileage tracker app
For one, it'd be nice if it only did what it says on the tin: install Java. There's no reason that a platform like the JRE should be installing a piece of crapware.
What's new in SQL Server 2016 [audio]
The jit must be rerunned every time the process is loaded.
In image based language like smalltalk the jit state can be saved in the image with performance optimizations.
So next time the image is reloaded the jit status is hot.
> I assume that police officers don't go into an encounter intending to shoot someone so it's important to get at the root cause.

I fail to see any evidence to justify (or at least motivate) that assumption.
How to get a Linux terminal on Android
From what is written, I understand this to mean that users can select this feature for specific conversations. That not all messages are subject to this encryption.

I am not usually one for paranoia, but is anyone else becoming more suspicious about Facebooks motivations and involvement with gov? This feature is a massive boost for intelligence services dealing with unsophisticated actors. This reduces the haystack significantly, by users self flagging messages that may be incriminating. Multi-millions of FB messages must be sent every day, brute-forcing encryption on all of these is probably not possible. A small % marked as 'secret conversation'? Much easier.

Why doesn't FB just apply encryption on all messages? Surely they have the resources avail. Is it because this feature makes somebody else's job a lot easier?
If my suspicions are correct, what sort of threats would this pick up. Are serious threats likely to use FB messages with 'secret conversation' flagged to co-ordinate actions?
Sometimes a title, and perhaps first paragraph, look inviting, but you just don't have time right now, so you want to bookmark it and read it later.

So you upvote it, come back later, use the "bookmark" that you put to find it, read it, and discover that it is, in fact, complete rubbish.

It's happened to me more than once, and I find it annoying.

But the most common use-case is that I upvote because I think it's a Good Thing(tm) to have on HN. In that case I really don't care that it's remembered.

For me, bookmarking is a very occasionally useful side-effect of the upvote.
Why is the font color for this one HN user profile name green?
profile name of HN user "Rabble_Of_One" shows up in green font. While for other users, it's default. What's the difference.
And if you're working on web apps, look at Ur/Web[1] which also uses MLton. It is what Opa should have been and has a very nice model.

[1] https://air.mozilla.org/ur-web-a-simple-model-for-programmin...

Edit: Ur/Web takes inspiration from Haskell, SML and OCaml, and is arguably an improved substrate of the good features of those. It's definitely the nicest tool I know of for writing web apps at the moment.
Developers hate Oracle, but enterprises give them money.
I understand you desire a clean break, but personally I find it rather user-hostile to fragment all of your resources so easily.
Visual programming vs textual programming is like video vs transcript. You can read the transcript of a video a lot faster than watching a video. You can not say that video is superior because it simplifies orthography and grammar issues.
People are mamals. Mamals breed.

There were 1bn people in 1800, there are 7bn today.

Facts don't care about your feelings.
new users are always green ;)
What's Theranos worth now?
UK police almost always carry a collapsible metal baton and pepper spray.
This is awesome, finally the real nitty gritty things one needs to know about installing Kubernetes.

None of this `curl http://someshittyurl.io/install.sh | sudo bash` crap.

These kind of docs allow me to understand it, grow from it, adjust to my needs and then automate it using my own tools. (Ansible ofcourse ;-))

We need more of these "The hard way" docs about everything (Chef, mesos, docker, hadoop, glusterfs, etc, etc). Because really: They make things easier to understand.
I thought you were going to talk about a program you wrote that automated some tedious marketing process. This is a pretty tech, marketing, business savvy group, you probably need to offer something more advanced than the concept of affiliate marketing.

Also, here's my problem with affiliate marketing in general. There's no long term customer cash flow. I send amazon someone I get 4% of say $30 and they get a new customer for life. So, unless you have a big audience your screwed.

I used to do ads on google and send them to lead based affiliate programs. made a few bucks. no cash changes hands and I still make money. But that's a pretty competitive business. Then zillow came along and offered the info for free.

To me this is the best article I've seen in a while on "growth hacking" aka "digital marketing"
https://hackernoon.com/this-is-the-growth-hack-that-got-my-w...

If your going to sell for someone find someone to sell for that only you are marketing for and they have something unique for you to sell.
>> smartcard

> Those are not at all secure against compromised hosts.

How so? Certainly there are poorly designed applications on smartcards that are vulnerable, but the smartcard itself should be fine.
Current Azul Zing. Is trending into a hybrid, storing previously compiled machine code to use upon restart if byte code matches.

I also think that the JVM is the only JIT that has had close to same number of resources pushed at it as some of the Fortran/C/C++ compilers. But to differing markets the JVM focused a lot less on easy to benchmark numeric and actually looks at other types of code.

Then of course there is the hybrid JVM/LLVM using Graal/Sulong [1]. Which hopes to better than JIT or AOT apart.

[1] https://github.com/graalvm/sulong
Hm.

Air has a heat capacity of approximately 1 kJ/(kg K). Its density is 1.2 kg/m^3.

I don't know how big the fridge is, but someone elsethread said 600 litres, so I'll use that. (And assume that it's empty.) That's 0.6 m^3, and so has a mass of ~700 grams. Assuming ambient air temperature of 20°C and a fridge temperature of 4°C, that's a temperature delta of 16 K. Therefore the energy required to chill that air is 0.6 * 16 = ~10 kJ.

10 kJ is 0.003 kWh. Electricity costs about 20 US cents per kWh. Assuming a factor of ten fudge factor for cooling efficiency, then we can be reasonably confident that opening and closing the fridge would cost less than 0.03 * 0.20 = 0.006 dollars = 0.6 cents.

That's not a lot.

Does anyone have any figures on how good fridge insulation is, for comparison?
Bitcoin and Altcoin Price Analysis: July 8, 2016
What are actual Java's shortcomings?
The first, unpublished, most underrated and brilliant paper by Codd, "Derivability, Redundancy, and Consistency of Relations Stored in Large Data Banks" - http://www.liberidu.com/blog/images/rj599.pdf

> The true importance of relational theory is highlighted by the title of the original (and considerably shorter) version of Codd’s first paper. That version predated the published version by a year, and the title was “Derivability, Redundancy, and Consistency of Relations Stored in Large Data Banks.” The title of this unpublished version emphasizes that the real importance of relational theory is that it provides a rigorous method of asserting arbitrarily complex consistency constraints that must be satisfied by the data within the database. Strange as it may sound, Oracle Database did not enforce referential integrity constraints until Version 7 was released in the 1990s (by which time Oracle Corporation was already the world’s largest database company)

https://iggyfernandez.wordpress.com/2013/04/24/whats-so-sacr...
They have taken exactly the same approach as Google with the Allo service. This is most probably done because people want to use Chat Bots and services and these do not work with E2E encryption. Well they could work but it would be dishonest branding as the messages would leak.
Silicon Valley turns dark as it wraps up a third season
Seriously. And frankly, haskell-lang.org looks a lot like haskell.org
It's a matter of humility, and hinges on the empirical claim that uninformed actions are more likely to harm than help in complicated systems (hence, the George Washington blood-letting example). Hastening someone's death because you can't admit you don't know what you're doing is and, by golly, you're trying, is not an excuse.
I think the more likely scenario is they know the value of the conversations they datamine, but don't want to lose customers to these other message apps that tout their encryption. So they do the bare minimum to support encryption while still having access to most data.
> I'm not too worried about backdoors in microcontrollers, they're too small to hide much.

You can hide a LOT on a chip, though for embedded systems the attacks are not likely to be generic, or scale.

If I was a spook agency, I'd definitely try to compromise USB handling, at a low level. Most controllers I know of use DMA, so it's likely that sneaking in a few hundred gates would open up a whole SOC. The USB controllers are just libraries that people buy; I don't know how closely they are audited by customers.

Hook that up to a compromised PC (read about system management CPUs...) and that's the ball game.

Silicon is pretty opaque.
In the realm of FP compilers, what I like about MLton a lot are its default support for untagged and unboxed integers, reals, arrays, etc. And SML is arguably a nicer language to learn than OCaml.

I'm using MLton for executables and MoscowML for the REPL, but I wish it was easier than that because you have to come up with some tooling to use both in the same project.
I'm not familiar with the US system, so I have to ask: are you saying that nowhere during his training a cop is evaluated by a psychiatrist before receiving his badge?
Google Victor Orban.
I could understand a break clause based on change of ownership, but the fact that Yahoo would still be obligated to pay is nuts.

Would Mozilla ever want to exercise this clause? I don't know - I wonder how they would react if Verizon/AOL ends up buying them, given that Netscape was bought by them early on.
Absolutely. If you live in a world of ascii, then maybe python 2 is adequate. But I always deal with unicode, and python 3 is a big benefit just for that.
"End-To-End Encrypted ‘Secret Conversations’" in software that is ordinarily used to harvest electronic phone books and rummage through user photos, from a company that made its whole fortune trying to obliterate privacy as a part of human culture?

It's going to be pretty high standards of proof to give this anything that resembles credibility.
I've worked on the Microsoft stack for most of my career, and I'm curious what Java has/does that the .NET stack doesn't. Or is that more about the .NET core stuff for running on Linux-based systems?
Football Leagues are starting up soon
amazing as usual :)

no python 3 as usual :( 99% of my production code is python 3.
This is bogus.

If you execute "security dump-keychain -d login.keychain":

1. If the keychain is unlocked (the keychain is unlocked by default after logging in, and you can check that by opening the Keychain Access app) a SecurityAgent window opens, and you must click the Allow button to dump the keychain. That cannot be scripted in an installation of a recent version of OS X which is not misconfigured.

2. If the keychain is locked (for example, by clicking the padlock in the Keychain Access app to lock it), it asks you for your user password, just like the Keychain Access app does.
I can't think of a way that this makes any difference, or see any reason why anyone should be bothered by python 2 support "ending". I don't even understand what this means, I mean it sounds like a scare tactic without substance. At the end of the day, if the PSF won't support it, I will (and I'll happily take the money for it).
Show HN: SummaDB, a hierarchical database that syncs with PouchDB
SML is old, very old. SML has quite a few implementations and MLton is one. This is a fork of MLton with some special features. There's also MLkit which has region types similar to Rust. I don't know if MLkit was first though, but the idea existed before Rust, so it's possible.