skysight-inc/HackerNews huggingface dataset:
Author here: this was a pretty fun side project to experiment with Redis' (relatively) new module system [1], and to help me learn Rust. It uses Rust's FFI module [2] to call into a C binary, and thanks to Rust's minimal runtime and lack of a GC, this turns out to work out very well. Its benchmarks are quite good [3].

Redis provides a fairly novel API for plugging into it in that instead of using a shared object (.so), it's only exposed as a C header file. To compensate for this in a non-C language, I have a build step that compiles a library for Rust to link against [4]. It was a pleasant surprise to find that this functionality is built right into Rust's compiler.

[1] https://github.com/antirez/redis/blob/unstable/src/modules/I...

[2] https://doc.rust-lang.org/book/ffi.html

[3] https://gist.github.com/brandur/90698498bd543598d00df46e32be...

[4] https://github.com/brandur/redis-cell/blob/master/build.rs
If you disagree with a license then do not accept it, do not use the software, do not use the product.

Talking so high about freedom and rights, and then calling other people's rights trivial when they do not fit in your echo chamber of righteousness.
For those who want to research this further (including full claim text, history, who examined it, images of the submitted documents, etc):

1.) Navigate to http://portal.uspto.gov/pair/PublicPair

2.) Enter the CAPTCHA if prompted

3.) In the "Search for Application" form, select the radio button for 'patent number'

4.) Type '9,386,790', without quotes, into the 'Enter Number' text box.

5.) Click on the SEARCH button.

This will take you to the patent page with each of the tabs having different information about the patent. If you get a notification that the system is busy, just wait a few seconds and try again.

These same steps with different patent and application numbers can be used in the future if you run into other US patent related inquiries.
The latter is what scares me. I solved a 'bit twiddling' problem using Z3 and felt a little ashamed. It is reminiscent of Brewster's letter to Martin Gardner "Feeding a recreational puzzle into a computer is no more than a step above dynamiting a trout stream". It's very easy to let skills atrophy and resort to using black boxes we don't really understand (well, I speak for myself, anyhow). When Z3 or cplex or whatever tool du jour gets wedged on a problem, I am not sure I have the background in these tools to get unstuck.
You can just retrieve the Git patch directly from the commit page (add .patch to the URL), which has all the metadata of the commit, including author info.
America's Top Spy James Clapper and the Future of Cyberwar and Surveillance
A French site has reported that their servers on OVH were raided. RIP What :(

http://www.zataz.com/operation-what-cd-12-serveurs-saisis-ch...
Then I won't comment, though I wonder if the parent is thinking of things like https://groups.google.com/a/chromium.org/forum/#!msg/chromiu...
Northern Canadian/European/Russian land masses.
Really excited to have these folks join us!
I got as far as #3, wherein they cite an emailed article as being one of the key quotes from the email. That's nakedly pushing an agenda, there's no intellectual honesty in that -- it's like me asking you to read The Adventures of Tom Sawyer and then telling everyone how you casually refer to black people using the N-word.

To be frank, it's as honest as I'd expected it to be, and exactly why I wanted you to build your case from primary sources. Anyone can quote trash sources and force the other person to do the fact-checking; you should be able to build the case up from primary sources if there's any there there.
Exactly. This is an excellent idea.
To be fair, that broke the paradigm of your OS not being able to brick your hardware. This had rarely been an issue before, and most people would have assumed it wasn't even possible.
I agree wholeheartedly with grzm. And I do believe the skepticism he is talking about has generated one positive result: if you want people to believe in expertise now, you have to not just define terms and explain reasoning, but show concrete proof.

People believe (mostly) in modern medicine not because of our fancy jargon, or our explained logic about why the cell does this or that, but because it obviously works.

I am a liberal living in a conservative state, with many conservative friends and family. I can assure you that many of them have never heard the reasoning and arguments you're referring to. Sure, you can find it on Slate. But they don't read Slate.

But if and when these conservatives are confronted with these arguments, they will mostly agree that implicit bias exists, and accept data about unconscious associations, police profiling, etc.

But they do NOT accept the conclusion drawn from it -- that we are all therefore "racist". Because to them that term is as much or more a political tool for moral condemnation as it is a description of objective reality. And we liberals (I assume) would be kidding ourselves if we didn't admit it has been used this way frequently.

And they also tend to resist the conclusion that we ought to do this or that about it -- because science, if sociology claims to be one, never does or can tell us what we ought to do, only what is reality (the is-ought problem). Once we start talking about what we should do, we are completely outside the realm of science.
my leak says I only have 2 years of experience?!?! puleaaze! how do I correct them?
Not a credible source.

I'm guessing what the article refers to is the entire solar industry being asked about how they calculate the tax credit benefits. Very different from that click-bait title.

http://www.wsj.com/articles/lawmakers-probe-tax-incentives-r...
"As an investor, I love founders that can balance this — being less dependent on external financing but still staying ambitious is ideal."

I worked for a company with a founder like this, but I think he was driven by a love for chaos as much as ambition. Every time it seemed like things were going great and stress was down he would find a way to toss a grenade in the mix (new partner, new crazy-ass idea, etc). Often the grenades ended up being huge wins, but as the company got bigger he was forced to go through budgeting, product managers, development processes, QA, etc.

It was never really clear if he was forced out or left on his own, but before he left he did mention to me how boring it had gotten.
I was investigating an e-mail problem, searching log files across several e-mail servers ... Did it go through this server, or that server ? After a lot of frustration I found out grep didn't show all matches ... I does report the right amount with the -c argument though.
look at all these dudes
I love it; I do Pebble development using it and they have a Linux SDK. The compiler works, all the tools, and even the QEMU Pebble emulator via a Windows X server. The workflow is very seamless.

I do my editing on Windows and compile/test from the command line.
Anaconda Announces Online Python Course Series for Data Science
Decrypt tls sessions? Please fuck off.
Dreams are prettier than reality. It's fun to not have customers. It's fun to just spend investors' money. Lots of things are fun, for a while.
Hilarious.

Even more geek than setting up joke SSIDs for your neighbours to enjoy.
Apparently 12 servers were seized by French authorities. This is huge and completely surprising. I felt like What.cd would just always be here but I guess everyone felt the same about Oink as well.

They just had their nine year anniversary too, ten was so close!
>But I have some pretty darn loyal players.

I am one of those players, Wyvern was an amazing game that actually got me interested in programming beyond little games on my TI calculator. I eventually found Steve's (Drunken) Blog Rants and his writings pushed me into functional languages and Emacs.

I hope we get plenty of new Blog Rants, and I hope the new Wyvern inspires in even one person a desire to program.
Tactical Haptics Raises $2.2M to Build Haptic VR Controller Dev Kit
As much as media and schools indoctrinate the idea that papers waste most trees, it's not true.

The biggest percentage of Amazon rainforest deforestation is for the livestock industry. The beef that USA and Europe gladly import, and the soybean that Brazil gladly exports.

Palm oil in Asia also.

Consumers just have to stop voting with their money for oblivious and blind short-sighted products. Politiciancs obviously will never tax beef or Lays chips.
Flag as spam with your email provider would be a good start.
Maybe because you can't force globalism and multiculturalism down people's throats.

Maybe there should be actual sensible discussions about the merits and drawbacks of these concepts, rather than name-calling and assumed acceptance.
The tech of Tactical Haptics is difficult to understand without trying it. I've tried it several times at various meetups and I'll vouch that it is very impressive once you warm up to it.

When it was presented three years ago, it was way ahead of the then-nonexistent VR controller market. The team has been scraping by for three years waiting for an investor to recognize the value their haptic grip adds. I'm very happy to see them finally get the funding they need to move forward. :)
For what? Creatingafilewritingtoitthenrenamingitoveranexistingfile?

Or did you mean moving the metadata as well? Transferring all kinds of metadata from file A to file B is heinously non-portable across OSes and even OS releases. The specific metadata this is about isn't even available in the Win32 API, it's only part of the native API (and the kernel API ofc.)
>'It’s not clear why LinkedIn — which has out of its 467 million users, only 5 million registered in Russia — was targeted in this case. '

Probably because they keep getting fucking hacked: http://www.wired.co.uk/article/linkedin-data-breach-find-out...

And Russia is tired of Russians getting fucked by shitty American software engineers.
Spare a thought for us Cooks of the world. Four letters, a noun and a verb...

After the gTLD explosion I thought I could finally snare a decent one but they all went into the $1000+ category immediately, excepting niches like cook.republican, cook.accountant etc.

Luckily some did eventually come down, I managed to get cook.run for a more reasonable $50/year
Not a big surprise. Shareholders would approve the acquisition of Theranos if it were Elon at the helm.
Totally disagree. I enable it on the rare occasions I need to and disable it immediately after I'm done doing what I need. This happens quite rarely (a few times a year) so, basically: no, I beg to differ.
> And yet, the greatest scientists in history did NOT have the stereotypical Scientist's Disdain for sociology or softer topics.

Feynman certainly did.
Because democracy doesn't work in a world where people are turned into consumer-zombies that care about nothing except their next dose of dopamine.
Only iCloud Keychain is protected this way. It doesn't apply to backups or other data.
Yes, they are monopolies. I call them technopolies (see Urban Dictionary definition, the Neil Postman definition is wrong).

They should have already been regulated as monopolies.

But the long term solution is decentralization technologies that will put them out of business. See https://reddit.com/r/rad_decentralization
Quite good and improving regularly. Jupyter finally works right out of the box.

People are right that it's mostly just like a VM, however, a VM which doesn't eat up all your memory and is actually fast since there's no VM layer is actually a pretty nice thing. I run WSL on my laptop with 8GB of RAM, whereas running VMs is something I generally avoid.

They have started improving the integration a little; you can call bash from windows and windows executables from bash, if that's useful to you.

The main questions I have are:

a) Will VS Code support WSL? I don't need to edit the files inside the linux filesystem, but things like running python from an IDE inside WSL don't work atm. I have to treat it like a remote system.

b) Will we ever get OpenGL/CUDA support?

c) Will developers treat WSL as a first class platform the same way they do OSX, so that it's not the end user who has to come up with workarounds?

Having said that, I'm a huge fan and I use it a lot. But I also keep real linux machines around since not everything is handled by WSL.
I don't understand how you can use that thread unless you're currently unemployed. Is the hope just that no one else at your company reads it?
You can also delete your entire C:\Windows folder and on Linux you can delete /sbin -- same permissions apply.
> They should always be wearing a body cam

Agreed. Also works if the citizenry wear body cams.
Ask HN: Helping non-tech people to increase online security/privacy?
Josh T. Jordan (https://plus.google.com/u/0/+JoshTJordan) posted this in a private thread on Google+:

Friends who are internet security experts,
A bunch of us non-CS majors are highly motivated to start using VPNs, end-to-end encryption, and other privacy-related best practices. But some of us don't know how to do that.
What are some specific services or apps that you recommend for improved privacy that don't require a huge amount of technical expertise?
For example. I use Protonmail for encrypted email and I use Signal for SMS. I haven't figured out how to set up a VPN on my PC, let alone my Android phone, but I'd be happy to do so if someone pointed me in the right direction.
The problem I've experienced is that someone will explain that I need to start doing a thing, then tell me that the only program that does that thing is either A. expensive or B. hard for beginners to set up. That's not helpful.
Imagine if I said to you, this job requires that you write an essay, but essay writing classes cost $300 dollars and all of the DIY essay writing videos on Youtube are in Esperanto. That would be discouraging.
So, can you name some specific apps or best practices that, say, someone who knows how to use Google+ can figure out?﻿

I got his permission to share this here, hoping the HN community can provide pointers to resources suitable for people with limited tech knowledge.
Well then, we'd have a comprehensive idea of sociology, too, on account of society not completely collapsing.
"What should I do instead?" - use a decent os
I've been using Kaleidoscope for years... I don't know what feature you could want, maybe audio support? Handles my dev needs already.
You're probably right that that's the original source of the messed up "fact", but what Trump originally tweeted was an image, now removed, with these contents according to politifact[1]:

"Blacks killed by whites -- 2%"

"Blacks killed by police -- 1%"

"Whites killed by police -- 3%"

"Whites killed by whites -- 16%"

"Whites killed by blacks -- 81%"

"Blacks killed by blacks -- 97%’

[1] http://www.politifact.com/truth-o-meter/statements/2015/nov/...

Edit: I'm sure there are screenshots of the initial image so you don't have to rely on politifact.. here, this includes the image and a transcript of the O'Reilly interview: http://www.factcheck.org/2015/11/trump-retweets-bogus-crime-...
You're some random on HN. Peter Todd is a core developer who works on software that runs a billion Dollar economy (Bitcoin), and is also one of the 6 people involved in the ZCash trusted setup.

I think you need to stop talking and start listening, because the economics at play and the framing of the founder's reward is critical. Downplaying the 20%, when it is a massive sum that could be used to significantly bolster double-spend attacks and lead to all sorts of perverse incentives, is just irresponsible.
The conclusion of this article is not that global warming is dangerous but that local air pollution is bad for public health: "According to research published last year, spending a day in Beijing is currently akin to smoking almost 40 cigarettes. Decoupling emissions from economic growth thus helps both people and planet. Convincing Mr. Trump of this fact is now an urgent and daunting challenge."

Why should Donald Trump worry about local air pollution in Beijing? This has nothing to do with climate change. I highly doubt Donald Trump thinks thick smog is a good thing.
I mean, I was being a bit facetious, but there are actual proposals for blockchain backed DNS.

[1] https://github.com/okTurtles/dnschain
Agreed. I have always felt that technical people approach their jobs from the wrong side. They cram every technical acronym on the CV in the hope that something will stick. They don't understand business. Business wants value. The CV should concentrate on the value created in your past. If it doesn't get past the recruiters then the job wasn't meant for you anyway. Most techies are programmers who happen to make money at coding, whereas you should be a businessperson who programs; with the difference in attitudes being night/day.

Some time ago, I went for a architect role at a telco which was the largest Progress shop in the southern hemisphere. The interviewer asked if I knew Progress and I said "No but that is only knowledge" and talked about successful projects and later found out I was hired because of that sentence. But I knew 15 languages at the time so what's another language, and sure enough, 3 months later I was reviewing Progress code. You have to convince them to hire you because of your perceived value. I have interviewed a lot and it always cracks-me-up when I ask if they know some technical thing and the job-seeker goes "No, but I've heard of it" meaning they are unwilling to admit that they don't know one of the million of technical languages/platforms/etc. We aren't Leonardo daVinci, who was probably the last person on Earth to know pretty much everything. It's OK to say No. So say No and explain why that doesn't matter.

Regarding the tools we use, I agree again. I have used the same DBMS for 15 years. I know it, I feel safe using it, I know what it likes and dislikes. The majority of all my coding is in stored procedures in the DBMS and I don't really care what the front-end is, whether it's C or some new-fangled hot platform. The lower level your coding the better. Find something that works at a low level and stick with it.
If they're based in Spain, isn't this a clear breach of EU data protection legislation?

Is it even possible for the service to comply with the data protection directive? It's necessary to obtain consent before processing personal data, but that's not the case here.

https://en.wikipedia.org/wiki/Data_Protection_Directive
Your reasoning is extremely flawed. We have fewer deaths on the road because we added safety features and have road features designed to address what caused accidents in the past. Newer cars have way more horsepower and acceleration than in the past, yet deaths have gone down. You are arguing for something different, arbitrarily restricting acceleration.
Agreed - we are all so deep in our stacks that we all look like wizards to outsiders.
I just signed up to HIBP because of this.

But I'm still nervous about it, because now I'm known by another party, and they know where I've been compromised and with what email. HIBP is probably good people, but they can be breached too. It's why it's taken me this long to convince myself to try it.
Some small russian ISP just do not synchronize their database of blacklisted sites with Roskomnadzor central database.

Also, LinkedIn seems to have several IP addresses, some of them may not be blacklisted yet.

The main problem is in tendency itself: the government writes crazy laws and trying to enforce these laws in real life.

It's good that these laws still are not very effective (I mean it's still possible to bypass them) but looking over last 4 years, I see how significantly internet freedom is deteriorated in Russia (i.e. before 2012, there was no such thing is Russian firewall which maintained at federal level by the government).
Could a private citizen following a dietary protocol actually be sued for infringement of a patent? Seems absurd, not to mention highly unenforceable.
“Google can lock your account, forcing you to abandon purchases and credit card”
Good tool to use before visiting a place for holidays!
The "data trading scene" referenced by the author. What/where is this? Dark web?
Well they need to be let in by congress, who the public also voted for...
It's more a training/PR problem than an enforcement problem. Painting intersections prone to gridlock with a diagonally hashed box helps more than ticketing. Here's the Ministry of the Interior of Quatar trying to get through to drivers on Twitter.[1]

"In this business there are very few problems that can't be solved with some yellow paint and a little bit of common sense." - Henry Barnes, NYC traffic commissioner.

[1] https://twitter.com/moi_qataren/status/643829644253261824
Adobe Fined $1M in Multistate Suit Over 2013 Breach
Tariffs are one thing, but since the 1990s globalization has been about "non-tariff trade barriers" which seems to be a euphemism for environmental, health and safety laws.
And obviously we all drive much much faster on average than people did in the 1930s, yet we are much much safer.
https://www.theguardian.com/world/2016/jun/20/chinas-meat-co...

This too, additional to other links. Meat consumption has a huge carbon footprint.

Their government institutions see the problem and invent guidelines. We'll see the same stuff from the USA, most likely never.
I like that the theory has to assume that Canada is just naturally expected to take in American refugees while Mexico can go screw itself. With such ignorant American exceptionalism it's no wonder why we haven't fixed global warming yet.
I felt the same. I'm now just waiting for the day that passthepopcorn.me disappears. I'm very surprised this happened.
«I think people don't realize about gestural interfaces is that gestures are hard to do and tiring to do all day.»

To be critical, this is a biological feature much more than it is a bug. Our bodies don't have very good feedback mechanisms for the small accumulative damage from fine motor control, which leads to things like RSI and Carpal Tunnel with very few in-between indicators.

In a way, moving to a more gestural interface that feels physically tiring is a possible means to better overall ergonomics because people actually start to get real feedback (tiredness, soreness) telling them to take a break every now and then when they are physically straining themselves.
Then rushing the launch in the absence of a superior MPC protocol is just a bad idea.

Except that they had to rush the launch because they're a for-profit, centralised company, with investors that are demanding return on their investment. Thus they went with a shoddy, half-baked attempt at a trusted setup, with a whole lot of hand-waving to make it seem like it was done securely.
1.4 billion :)
I've seen commenters on reddit calling it the 'burning down of the library of Alexandria of digital music'.
Yeah, and those past times also had mass extinctions.