skysight-inc/HackerNews huggingface dataset:
Political parties are free to make their own rules to the extent that they comply with election law and the National Voters Right Act. The report points out many instances in which election officials broke the law.

Now a party may still decide to run its internal elections like a banana republic but in that case, this party should certainly not be named the Democratic party...
> what purpose on god's green earth would be served by introducing univalence directly to haskell?

Generally, when I want to reason about tricky data structures, what I do is:

(0) Define a set-isomorphic auxiliary type that's easier to analyze, and whose operations are easier to implement, but have worse asymptotic performance.

(1) Prove that transporting the operations on the auxiliary type along the isomorphism yield the operations on the original tricky type.

I need univalence for this argument to hold water.

> (Oh, and furthermore, you realize that fundeps have precisely the same issues in this setting?)

Type classes are already Haskell's controlled mechanism for adding ad-hoc polymorphism “without hurting parametricity too much”. I consider it healthier to reuse and extend this mechanism (which is what functional dependencies do) rather than add a second one for exactly the same purpose (type families).

> Contrariwise, don't you find it _useful_ that we can have two monoids, say And and Or, which have different `mappend` behaviour?

Sure. In ML, I'd just make two structures having the MONOID signature. Haskellers have this wrong idea that the monoid is just the type - it's not! A monoid is a type plus two operations. Same carrier, different operations - different monoids.

> Now, can you imagine having that feature and _also_ respecting the idea that set-isomorphic things should be indistinguishable? How?

Yes. Acknowledging that an algebraic structure is more than its carrier set.
Dezmembrari de tractoare dintr-un magazin virtual perfect
> C++ does not have a "platform". Nor does it need one.

Sure it does, it is called C++ Standard Library and ISO C++ catching up to what other languages already offer.

https://isocpp.org/std/status
Impraise (YC S14) Is Hiring Ruby Developers in Beautiful Amsterdam
> The second is that it's also common for the top places to game the structure of the data or overfit to the particular data or training set.

And somewhat often, the datasets for those competitions are f* up because having clean, unbiased, historical data is uncommon in organizations. Or they mess up while anonymizing the data.

Other point about competitions is that you don't need to deal with things like concept drift, implementation complexity, resource/latency constraints for predictions and a lot of other things that people applying ML in practice have to face. More often than not, these factors dominate having a 1% or 0.1% better model - unless you're like Google or Facebook.
That's a failure at the moment of inclusion. I'm guessing it was done for convenience and to increase adoption (getting decent libraries in the standard library faster).
> signed off by two doctors

And then we get to complain about the excess bureaucracy in healthcare!
In C is called UNIX and it got renamed as POSIX for other OSes.
I mean really, why is this necessary?
The reasons for adding this much bloat are tiny and irrelevant. You get a big download full of packages you dont all need, you dont know if you need and all for what?
We all have Google, if I want an HTTP library for Rust I'll google whatever the best one is and make a judgement call myself.
A lot of remote towns around Australia started out as camps built by mining companies to support nearby mine sites. These camps have a significantly different connotation, though - generally accommodation, catered food and amenities (gym, pool, etc.) are free for the workers. Aside from the inherent stresses which come with the FIFO lifestyle, they're pretty nice places.
great comment, sir. I'm one of those geeks who is into history as much as computer science so I get a particular pleasure in stumbling across contributions like this here on HN.

on a related note, that's a huge factor in why I'd vote Hillary over Trump. I don't think Hillary is a perfect person or candidate, but when I compare to Trump, well, the latter pushes too many of my "disaster-in-the-making" buttons. I increasingly try to think of the next 5 years, the next 20, the kind of world that's better for children, grandchildren, etc. And a big factor in informing that, for me, is to look back on history, whether recent or ancient.
Oh, no - I mean, if you want to reward people fairly, but not get a stampede to your door, tell them to report a smaller bounty than was received. They can spread private word to their network (presumably, other people who are going to actually be correct) but still provide hooks to the public.

Probably doesn't work out, but it's what came to mind as a way to deal with the balancing act.
That would overwhelm our hospital system.

It's possible to find middle ground, and I think comprehensive IT systems for all doctors with real-time forbidden drugs lists and epidemia tracking would make this much easier.

It's even possible to divide hospitals into "different drug is forbidden here", and when someone has MRSA - put him in a hospital where the drugs that doesn't work on him - are banned anyway. And use "last ditch" drugs only in these hospitals.

And of course the main thing is to stop abusing antibiotics for agriculture.
“Distributed Computing for Everyone” Startup Public Launch on August First
Interesting read. What I don't understand is why other body hair is not mentioned, and if that has the same effect. If not, what makes a beard different?
Turn you smartphone into a car head unit
I wouldn't be surprised if they ran a simulation, then ran another simulation
with the same data, and then calculated difference between runs, calling this
"accuracy".
Ive read it a few times and keep getting to the chapter in the annotated version where the author of the annotations basically says that unless you really want to put the work in stick with index trackers. I then reread bogleheads, and WB's recent shareholder letters and decided i'll stick with that.
That doesn't prevent tampering, it just prevents official tampering.
So are people basically content, or do they still long for something more free?

Has the believe in something Diaspora-like evaporated completely since they screwed up?
Up until now I wasn't aware there were two issues, I saw two very similar titles on the front page and assumed it was about the same issue.

Might work out better for them than having one issue appear a week later.
Election officials still need to respect election law and the National Voters Right Act which hasn't been the case in many instances according to the report.
What I do is the following: For each country, I transform its points from the equirectangular projection I'm given to an azimutal projection centered in some point (that depends on the country).

That point is obtained by computing the midpoint of two random points from the border of the country.

I know it is not the best (if the country is not convex, then the midpoint isn't necessarily inside it), but it works. The code is at the end of the post, if you want to take a look at it.

Thanks for pointing that out though, I'm going to add this to the post.

Edit: you were right, it wasn't even the Mercator projection, it was the equirectangular projection. Thank you!
I had a P-800. I can tell you the iPhone experience was much more than the screen. It was swipe, multi-touch, the smooth animation, the attention to designing applications down to their icons.

The iPhone redefined what a smartphone should be using nothing that wasn't available to anyone else in the market. Except, perhaps, a Jony Ive with a mad man like Steve Jobs pushing him.

That said, the unibody MacBooks set the gold standard for stylish laptops. It's natural someone else would follow the formula many years later. Even with only evolutionary changes, the MacBook is still light years apart from its Windows-running copycats.
There are so many examples of the 'deadly sins' of poor management because the concept of work is not far removed from slavery, and managers are essentially the slave masters.

Good jobs and good treatment are the exception.

Hierarchies are poor organizational structures.
Does anyone know when can we expect KDE5 in FreeBSD? Better support for Rust would be also nice :(
How Mortgage Audit Services can help your business
I think a whole hell of lot less of people who watch beheading videos and videos of people being humiliated and tortured to death, than you think less of people who champion Howard Stern as talented or emulate him.
Could they be patenting it to prevent others from doing so?

They'll probably make some money out of it, to fund more research, but hopefully any deal with pharmaceutical companies should have some pricing clause to make this widely affordable to public health services.
String processing is never simple. Simply identifying "what is whitespace?" is a big undertaking in Unicode.

Lua's philosophy seems to be to include the absolute minimum that is unacceptably painful to omit. This is a perfectly reasonable tradeoff for Lua's primary use case: embedding.

With respect to strings in particular, most systems that Lua is embedded in has its own string type, or inherits one from a framework. This is an unfortunate reality of the C/C++ world.

Returning to my point about language standard libraries: The lack of a traditional "standard library" is a feature for Lua, but only because Lua has a strong FFI and C API that acts as a "bring your own standard library" mechanism. It's less about needing a standard library, and more about admitting a language is only one piece of the puzzle. For a language to flourish, you need to have some story for interfacing with the rest of the world in a rich way.
The article states that they are seeking a commercial partner, which suggests the research was indeed publicly funded.
Your case is a case of established trust relationship (remote party has your private key it trusts), which is somewhat different from what folks in the article suggest, hence the zero knowledge part. so, for them ZK property matters a lot, to my understanding.
Ever since reading http://strikemag.org/bullshit-jobs/ I have been thinking about this. One problem with this is the definition of 'meaningful', it is not very concrete. But I think the phenomenon is true - more and more work feels like doing something unnecessary (bullshit). I don't agree with Graeber explanation why this happens - which is basically a grand conspiration by all business owners to give worthless work to people so that they don't revolt. I think it is the result of the growing complexity of our work - we encounter more and more rules that we suspect to be stupid. Many of the rules are stupid indeed - based on some random past events, but many are not - they are just covering some cases that we have never thought of. It is easier to assume that the rules are stupid than admit incompetence. But as the complexity grows less and less people understand the rules, the bad rules are not revised and it all goes in a vicious circle.
Exactly... I probably could have posted less of them but in an era of TLDR it was easy enough to just post the list and let the uninterested scroll past and ignore it. That I have down votes for pointing out how practically no developers are without an option to guard against poorly written regular expressions, feels somewhat overkill.
i got my Mi4C in April 2016 and it has received several OTA android version update and monthly android security patches. there are certainly many insignificant UI changes, but there have been android updates occasionally in the last four months.

similar to what others have mentioned, the place where i purchased it added google apps in a way that prevented regular updates. once i re-flashed and reinstalled google apps, i've gotten updates every week
Forgive me if I'm missing something obvious, but if I brute force one hashed version of a password (and recovered the plaintext version), then what difference would it make that other servers have it hashed differently? I already know the actual password...
You can still have a tiny install if you want to. But most people not knowing what to do will be able to have batteries included setup.

Basically: people knowing will still have freedom, people not knowing will have an easier life.

And in the end, in 2016, you generally don't care if you download a few extra 100Mo. If you do, you will just find spend the time to find to have a smaller setup.
I don't think the TSA are going around opening bags in secret. There's a note that they leave conspicuously inside your bag explaining it was opened for security reasons.

When I travel with a large snowboard bag I used to get one of these every single time. Presumably it was too big to fit in the security scanners so they were required to open it.
Plasmas were tens of thousands of USD when they came out.

Let's put a pin in this comment and revisit it in 5-10 years. I don't have much faith in VR being a consumer favorite. They've never been found of having to put stuff on their faces.
Getting Started Neo4j with Scala – An Introduction
Interesting idea, but the justification is completely wrong:

> There is no way of configuring local root (like, available only through IPMI) on the frontend load-balancing servers through remote authorisation agent.

You can have users which are not allowed via sshd. You can also configure local auth that takes precedence over ldap attempts.

It's also very confusing in what it does:

> found collision to that single hash attacker actually got access to all servers with that hash.

yet with shadowd:

> One shadowd instance can be used for securely instanciate thousands of servers with same root password for each one.

I'm not sure how that's any different. You're still using one password.
The barrier is strapping something to one's face. People don't want that.
a recommendation from my friend is http://www.gearbest.com/top-brands/brand/xiaomi.html
Yes, exactly, lots of round trips, quite expensive to calculate each. SMP, the ZKP protocol they're using, is quite expensive itself, but promises even better security and nifty set of additional features, based info from presentation linked in the article.

However, I think that ZKP is not what you want for regular authentication: just for specific cases, where ZKP properties shine the most.
Doesn't it rely on dbus and by extension systemd?
Sync standup are for teams that lack the self discipline for async. Every team i have been in starts sync and switches to async when the most senior or fearless person decides to stop carving out sync time
Actually waiting for the TTL to run out and requesting a new password reveals more information than one hash would. Shouldn't matter in case of perfect hash algorithm, but in practice...
I don't see any reason why the researchers couldn't have placed their discovery in the public domain, just as Tim Berners-Lee did with his ideas.

Unfortunately many universities (and hence researchers) are under pressure to commercialise their IP, based on the assumption that such behaviour is beneficial to the economy.
Why does sync matter?
The same is true in Seattle which has similar weather.

Coats, hats, and hoodies are much more common than are umbrellas, unless it's raining cats and dogs.
I think it's meant to defend against collisions that don't produce the actual password, but some other value which hashes to the correct value.
https://freebsd.kde.org/ and it looks like https://freebsd.kde.org/area51.php is where you can figure out how to get the latest, greatest
The day will come, dear Americans, when you will have to finally get your measuring sh*t together! :)
Bitcoin: The Trust Anchor in a Sea of Blockchains
Those interested in cryptology and coding theory should definitely consider "The Code Book" by Simon Singh. It's a great account of how cryptology was used throughout history.
You can even configure this remotely, assuming you have at least one user in the sudoers group.
Being able to get a follow up on those donations will help a lot driving donations in the future.
Being able to get a followup and really know what your money is used for, and get confirmed that your money has actually contributed to something significant is incredibly valuable and not enough organizations do it.

That's what helped a lot charity:water, which not only promised to use 100% of the fund to build actual wells in africa, it would tell you exactly which well would get built with your money, where, and then send you a picture of the well.

That's great to see that the whole ice bucket challenge actually helped the cause.
Right, I guess there's no info needed outside what the --extern flag contains.
If you sit on a standup, your meeting is broken and you should speak up about it.
> You seem to be overlooking the ultimate counterexample: C. :P

I think one reason (of many) that C++ has replaced C almost completely for new development is the STL. Of course, the STL fundamentally depends on the language feature of templates, which you can only approximate in C, but considering that Java and Objective-C, among other languages, lasted pretty long with no generics and only non-type-safe containers, I think C could have benefitted greatly from basic things like resizable arrays, hash tables, trees, better strings, etc. in the standard library. Now it is probably too late for it to matter (which most people consider a good thing).
I really really would advise having a word with Snoyberg about this. The Haskell Platform has been a pretty deadly experience. It's also ridiculously beginner-hostile (sounds like it won't be, is in practice).
5 minutes is too long and ruins the concept of a "standup"
> Now, by parametricity that should have only one inhabitant (upto iso).

I can count at least three: `undefined`, `const undefined` and `id`.

> Use your claimed break in parametricity from type families and provide me two distinct inhabitants.

Does this count? Here Oleg constructs an inhabitant of False using just some means to case-analyze types (GADTs or type families): http://okmij.org/ftp/Haskell/impredicativity-bites.html
I have not used LP in a long time but does not not prompt for the master password before filling?
> ... Kind of a pain to use.

This. The inertia it takes to actually use it has to become as low as flipping on the TV and channel surfing. Having to locate a headset, strap it on, etc. is not what people are willing to do. Also, people don't like things on their face.
Real-Time SMS Sentiment Visualization with Twilio, Fanout Cloud and React
Once thing that always strikes me with those studies, and a lot of other medical, economical or psychological studies and tryouts are the sample size...

A study that interviews 135 people? And this is seen as significant? It seems to me saying something like "we tried this on 150 people, and we saw that 60% of them X" proves nothing because of how small the sample size is.

what I am missing?
Thanks for posting that.

If the case had a simple anchored fabric loop that the lock could be fed through, then this would keep the sliders in a fixed position. It obviously wouldn't stop the case from being opened, but it would stop the zipper from being re-meshed afterwards. I've seen this on a few cases and bags, but it doesn't seem common.
> CISC-style dedicated instructions and hardware which utilises them will always be more efficient than a pure software implementation using just "simple RISC instructions"

For a counterexample, see the x86 string instructions. "Hardware" implementations like `repne scasb` are routinely outperformed by software implementations using SSE2.

Another problem is that these instructions don't die. SHA will some day be replaced, but the instruction will live on. The x86 BCD instructions illustrate this.

From what I remember, RISC is less about "simple" instructions, and more about regular instructions which can execute with predictable throughput, ideally one per clock cycle. "Do this particular arithmetic" is in the RISC philosophy, while looping instructions (rep, lswi, etc.) are not.
I lived in an intersection like you and now I have lots of health issues and I'm extra sensitive to smog..it makes life much harder and shortens life-span. All I can say is that it's not worth to live in a place like that...move somewhere else if you can
> At least the English tolerate all kinds of foreign mangling pretty well.

That's because they mangle their own language awfully enough.

I'm not a native English speaker but I've heard quite a few native Englishmen and their accents are horrible. Received Pronunciation is obviously nice to hear and quite clear, but those local accents... oh my!

I'm not saying that my accent is any better, but at least I try to make my sounds be as close as possible to the actual letters used in the word! :)
Choose your favorite ransomware from the gallery
Show HN: RESTful Bitcoin payment channel server (written in Haskell)
GitHub repo: https://github.com/runeksvendsen/restful-payment-channel-server

Hello everyone

This server allows the operator to receive instant Bitcoin payments (no waiting for confirmations) from a single, pre-defined sender; paying the Bitcoin transaction fee only once, when the channel is closed.

One could imagine, for example, setting up a service which sends video in response to payments, the first minute being free (if you have an open payment channel), and then charging, say 0.1 cent per second thereafter. That's trustless pay-per-view. Pretty cool, if you ask me.

I'm at a stage where I'm interested in getting feedback on this, and having people try it out, to see what I've missed. I've been thinking about this for the past two years or so, and have been working for the past year on code, with most of the code written in the past six months (I've rewritten the server at least five times now).

The README in the JavaScript client implementation contains an explanation of what a payment channel is (which is not necessarily a Bitcoin-only concept): https://github.com/runeksvendsen/paychanjs-client/blob/master/README.md#bitcoin-payment-channel-primer. Conceptually, it simply involves requiring each potential receiver of funds to also sign the transaction (as opposed to just the sender), thus solving the double spend problem at the expense of limiting the potential number of receivers.

Side note: if someone is good at JavaScript, I could use help with the client implementation. It works, but it's not pretty. I find myself completely lost in JavaScript land, coming from Haskell.
Many ended up in some landfill or lie in obscure drawers, but many of them may have been recycled/upcycled.
Say what you want about Apple but their recycling & sustainability program is really a gem. Lisa Jackson rocks.
The Yellow Conference 2016
people who dont know what to do exactly? Downloading a package? If they can't download a package then they have an entirely different problem to solve which they have to solve anyway if they want to ever productively program Rust.
I made a similar tool in Perl. It eval's a Perl command passed as string, on each line of stdin. In the middle I can go wild with regexes and hash/dictionaries and whatnot. It's one of my most used tools.

Instead of writing scripts for each little task, I just write one-liners. When they become more than 2 lines long it becomes unwieldy and I switch it to a regular script.
Yes, definitely feels a little intimidating and static.
Except if the clathrate gun fires. In that case we're not.
would probably be a pretty dope town though
Let's just get rid of the darn computers already.