skysight-inc/HackerNews huggingface dataset:
>> The cryptographic algorithm that the AI comes up with isn't guaranteed to be based on a provably NP-hard problem, so there aren't any formal guarantees.

There are no cryptographic schemes, either in theory or in practice, that reduce to NP-hard problems. Instead, they rely on different "cryptographic hardness assumption" including factoring (and related number-theoretic problems) and a variety of so-called "lattice" problems. Are these assumptions as sure as P!=NP? No, they are explicitly stronger. Are they better cryptosystems than this work generates? Almost surely.

In you are interested, there are actually some negative results that suggest it would be impossible to do cryptography based on NP-hardness alone. Akavia, Goldreich, Goldwasser, Moshkovitz show this for a restricted class of NP-hard problems in a 2006 paper [http://people.csail.mit.edu/akavia/AGGM.pdf]. More philosophically, there is a big difference between computational hardness and cryptography: in complexity, we study worst-case hardness, but in cryptography, we need breaking a cipher (for example) to be hard with very high probability. Rather surprisingly, there seems to be a big difference between these two goals.
Practice your YC interview
USB-C uses 24 rather small wires to transfer data and power, they probably have pretty tight tolerances, in terms of position (my magsafe 2 wiggles a little), and signal integrity. The port would be rather exposed.
Out of curiosity, what kind of developer are you? (e.g. languages you know, frameworks, platforms, etc.)
Interesting. We're currently mostly using it for application secrets, but I'll definitely be looking at what other secrets we can move to Vault from Blackbox, if only to consolidate on one secret management solution.
It's unfortunate the parent is the top comment here. There's a common thing that happens when a new idea shows up that doesn't easily fit into existing categories:(most) people give it a cursory look over, and then decide it's just another instance of boring category X.

This is especially common in discussions about humanizing programming. I think it's partly because people are invested in the current way of doing things, having spent so much time developing their particular skills; and partly because our attempts at serious alternatives have largely been failures, so far. That makes it easy to see any new idea in this space and automatically class it as already understood. But there is room between C++ and toy visual languages, and someone may find something good there yet—and this will illuminate things just that much more if nothing else.

Look into the lineage of ideas the Eve team have moved through to get where they are today, and you've got to admire their search process even if you don't like the results.

In any case, it's patently false that Eve's innovation is analogous to the algebra example given in the parent.
Unfortunately, refresh rate is different from latency, it's the pipeline that matters.

I've tried iOS devices on display, with no extra software loaded (is that what you mean?). If you waggle your finger back ane forth, it's easy to see the lag.
> (Linux Only) BIOS Update for Windows 10 (64-bit) - Yoga 900-13ISK2

What's the context?

Edit:

https://forums.lenovo.com/t5/Linux-Discussion/Yoga-900-13ISK...

http://www.theregister.co.uk/2016/09/21/lenovo_denies_plot_w...

http://www.theregister.co.uk/2016/10/28/lenovo_downward_dogs...
Google should teach an AI to do prime factorization instead.
Well to be fair HiDPI issues are application issues as opposed to core Windows issues.
We ended up just rolling something with AWS KMS and DynamoDB. Vault looks great though, it's just overkill for our needs ATM. One day maybe.
SG Operations member here:

Definitely worth looking at solutions from the hosting platform you're infrastructure is on. In our case, we don't use Azure, so going across the net for secrets was less than ideal.
Which makes Appl€ particularly fitting!
It doesn't have to be a physical key to do that. The Touch Bar still has a virtual Esc key.
And by $650 you mean "up to $650"... I have a MacBook Air that was appraised at $260. Screw that...
What flipping a loaded coin can tell you about stock investing
a metric shit-ton of execs all over the globe are now using MacBooks of all sorts. and iPads.

see for yourself - sit down in any airport lounge in big hubs and observe.

i have seen so many presentations go haywire because windows machines started updates, etc - execs got seriously tired of that shit.

the touchbar, if paired with the Ribbon interface in MS Office, is going after exactly that user group. and they have the money.

see also IBM's press release this week how Macs have far better TCO than windows machines within IBM (50k Macs in an environment of 400k employees).
It's at the OS level. http://www.economyofeffort.com/2014/08/11/beyond-ctrl-remap-...
I'm a developer and I wouldn't pay the price of TB's of RAM in a laptop, no matter if it made the machine thicker or thinner.
Technology and Autonomy in Warfare: Report by the US Defense Science Review Board
in front of every compromised IoT device is a compromised router.

Why do you say that? AFAIK the devices being infected by Mirai use UPnP to expose themselves so the router probably has no responsibility for the insecurity. It would be great if we could build some sort of immune system into home routers and force IOT companies to pay for it, but that doesn't seem likely.

Short of mass-bricking these devices, any solution is going to be incredibly labor-intensive and expensive.
Well sort of both. Because of the reasons mentioned above, a purely linear neural net wouldn't be able to learn anything more complicated than simple linear functions. Adding nonlinearities vastly increases the space of possible functions it can learn.
It seems to me that the downside of this is that it (at least the default output) is even harder to read than iptables.
not death of all email - i think lima talks about that it's too late for per-default end-to-end encrypted email. encrypted transport to/from the server is relatively easy, but client-to-client? email wasn't really built that way and now the barrier of entry for broad adoption is too high.
How did they become aware of the bug so quickly (<10 minutes)? Unless I'm missing something from the report, it doesn't say.
Fortunately most ISPs and mail providers have disabled unencrypted logins. And many mail clients give really scary warnings if you try to use unencrypted imap or pop3.
A client of mine has a number of windows machines, and a well-organized Active Directory setup. The small group of users who need to be able to create deployment tokens are all in an AD group, and it was pretty straightforward to use the LDAP auth backend with vault to allow them to create those one-time use tokens using their normal network logins. Everyone's super impressed so far.
And thus it's important to also rename things when refactoring, or else you get awful confused when your Foobinator(x) function returns you a Splunkinated value, or your FrobbleTheFribbets() call also woggles the wiggles.
Can you replace this windows key with a pingwin? I'd buy it but I can't look at windows logo so many times a day (yes, it is really a problem for me).
With modern processors, that becomes a much more difficult proposition. For various reasons, processors now scramble addresses before writing to dram. This makes it more difficult to figure out which cells are neighboring, and much more difficult to implement that type of countermeasure.
At last, a VR/AR version of the classic game, "My Summer Car"

http://www.amistech.com/msc/
Co-Working in Virtual Reality
> I think the better metric to optimize for is how easy it is to go from seeing a piece of code for the first time to having a mental model for what its runtime behavior will be

Actually yes, we've seen some evidence of this. In one instance, I was demonstrating the syntax of Eve to someone who really only had experience programming HTML, and he was able to point out a bug in my code without even running the program.

I believe this is because the syntax is very minimal, there are very few core language operations (only 9), and the underlying data model is completely consistent throughout the language (everything is a record). You can only query and update records. When you only have a few consistent tools, you can wield each one with greater confidence.

Also, in Eve if you want to know what a block does you can just ask for the output right next to the block, so there's no guessing. You can look at it as text, a table, a chart, or any number of visualizations you can come up with. When you have the output and the source code right next to each other, updating in real time, and recompiling automatically as your code changes, you can get a better sense for what each individual part does in a block of code. You can even point at a specific element and ask "What draws this". We hope that all of these features will encourage new users to feel the freedom to explore, make mistakes, and build their own mental model of how Eve works, without having to understand set theory.
It's actually well integrated into the kernel (just like iptables).

Any userland applications that manage nftables could, I suppose, integrate with systemd. However, I don't see how that's really a downside.
https://lwn.net/op/FAQ.lwn:

Where is it appropriate to post a subscriber link?

Almost anywhere. Private mail, messages to project mailing lists, and blog entries are all appropriate. As long as people do not use subscriber links as a way to defeat our attempts to gain subscribers, we are happy to see them shared.
There is not a good comparison because if it were anyone else no one would ever have known about the investigation. The FBI does not normally comment on ongoing investigations and since no charges were ever brought there would not have been any disclosure of the matter.
Thank you. The specs list shows one GeForce gtx 660 ti. Do you have two of these?
People talk about games/3d hardware for MS products, but I do a lot of work in 2d graphics, animation and Typography and the amount of work apple puts into these compared to MS is superior imho. Even more when you come to compatibility with these in MS land compared to apple, Apple just works, and works beautifully, MS is a mire of API's that perform adequately. 2d is the interface that most people see and really the focus on this is the reason that 'creatives' flock to apple imho.
I didn't really go into my preferred Linux environments, but my preference is generally KDE. Cinnamon is a fork of an older GNOME that's reskinned, in my understanding, and I guess the whole GNOME look isn't my preference in general. I think a big part of it is the interactions, and from what I remember there were things I didn't quite like about GNOME that I liked a lot better in KDE.

Caveat: I haven't used a Linux GUI in ~3 years, so my opinions might have changed a lot since then.
HexViewJS: rendering binary data into HTML reminiscent of a hex viewer
Not necessarily. One could imagine that with far superior voice interaction technology and display (rather than a tiny screen in the corner of your vision and cruddy voice interaction), that would open up Google Glass to substantially more compelling product uses.
Devices tend to self-assign IPv6 addresses using SLAAC, but the router would still have MAC-to-IP mappings in its neighbor table. Or some cases the router assigns it using DHCPv6.
I would in a 1-to-1 deal. They are both overpriced hardware for what they bring to the table, but at least the SPro has a Wacom touchscreen which makes it a great little thing for taking notes and on-the-go whiteboarding. I would've loved one for my daily commute when I had 30-45 mins to kill on the bus. An MBP offers me nothing valuable over laptops at ~half the price.
Ok, just grabbing some scores off Passmark [1]

Intel Core i5 6440HQ -- 6390
Intel Core i5 7200U -- 4856
Intel Core i7 6650U -- 4857
Intel Core i7 6700HQ -- 8023

By looking at the numbers in the name alone, there's a wide variability in how fast they are. That's pretty confusing to someone who doesn't keep track of CPUs.

[1] http://www.cpubenchmark.net/cpu_list.php
Patent Troll Sues Basically Anyone Who Notifies You When Your Package Ships
Sorry. Benchmarks is too wrong to use in production. In fact, it is x200~1000+ slower than real memcached.
"..rather than specify programs precisely, we give examples to an approximate system and hope for the best."

I agree with this, as it has the most potential to bring an entirely new paradigm to software development.

I've been working on a research project like this, using genetic algorithms to write programs. Unit tests are used to guide the fitness. The AI discovers a solution program that satisfies the test cases.

Using Artificial Intelligence to Write Self-Modifying/Improving Programs

http://www.primaryobjects.com/2013/01/27/using-artificial-in...
"They could, but I doubt it." – you mean exactly like they did with the switch to Lightning already?
Apparently there are a lot of complains on quality, as in "quality control" before shipping to people doesn't exist, if you are lucky, you're fine, if not, you'll need to return, is that true?
Yes, if it really was a coin flip you'd be right. But that's not really reasonable - in the real world you can't know the odds like that.

If you think about what the company is saying, it's "If we fail at our business this year, we'll pay you less despite all your work." Even if that was only a 10% chance, meaning I'd statistically win, I wouldn't work there because they're looking to shit on me for their fuckups.

And it's far more likely that they'll specifically and intentionally defraud you by faking the performance metric, and reward themselves the bonus they "saved" by not paying you.
I think it does make a stab at making the rules a bit more "human friendly".

iptables -A FORWARD -p tcp --dport 22 -j LOG
iptables -A FORWARD -p tcp --dport 22 -j DROP

vs:

nft add rule filter forward tcp dport 22 log drop

Less random-looking flags/switches, and more meaning to a human.
Talend lost me when they started making you pay for their software.

Not because I'm opposed to paying for software, but because Talend isn't that good. If I want to use paid software, I want it to be super refined and usable. Talend feels very open source.
If I look deep enough I can find where every manufacturer has done this... that is my point.

Dont use OEM Images, or better yet dont use Windows... that is my point
Yeah. Those are all really hard problems. Visual SLAM is far from solved, especially if since this is only monocular SLAM. And even if he did solve that to a pretty decent level (which is already multiple top-PhD theses worth of research), that would only get him to the point of where he would be is he had just mounted LIDAR on cars and said "now what?"
Isn't this just the automated version of "anybody can invent crypto they can't break themselves"? It doesn't sound like the neural nets were provided with any high level cryptanalytic primitives. Just basic math and left to bodge something together. I can't imagine it would be easy to hill-climb towards an understanding of the why behind crypto. Algorithms that work look a lot like ones that have glaring flaws - but those flaws only glare if you know the right way to come at them.
If they would have actually given me $650 off I would have done it, but since they are only offering $150 for my model and I wasted my time looking into it, I feel an even stronger dislike from Microsoft than I felt before.

Nice work Microsoft marketing team. Very shortsighted.
SG Operations member here:

That mirrors our thoughts exactly - also would be great to hear about some of your tooling! - though at the moment there didn't seem to be a pressing need to move to the AppRole workflow. Our usage would be fairly similar if we did move, so I assume that we'll be revisiting this once it becomes clearer as to how we can better take advantage of AppRole.
They're not about to switch to USB-C on mobile. They've been doubling down on Lightning recently with the Apple TV remote and the new Magic peripherals.
My question is: How is Microsoft going to dispose of these MacBooks?

My follow-up question is: How do I get in on that action?
No, a vacuum never "pulls". The pressure on the other side of the object pushes it.
Griffin already does: https://griffintechnology.com/us/device/laptops/breaksafe-ma...
Or addresses are hidden in his email client and he didn't take the time to look.
Sbt 0.13.13 is released
How do you edit which keys do what on Windows? I had to do registry edits to get the caps lock to function as control which is baked into the macOS preferences. You can also add as many shortcuts as you like that control anything on macOS in the Keyboard pane. Sure you can't remap every key to something different out of the box but I don't think you can do that on Windows either.
I disagree, I think we should all have the responsibility to make sure our sites and apps are accessible.
Now, it uses socat instead of ncat because socat is more simple than ncat and it can cut off lsof.
Nifi UI graph canvas
A Suicide Cult’s Surviving Members Still Maintain Its 90s Website
Sure, and that's part of the joke. It's also an IT Crowd reference.
You should channel your dislike towards Tech Crunch who wrote the headline...
Cutting edge Macbook Pro: 16GB RAM "because battery". o_0

My 2011 MBP has 16GB.
Yes, WhatsApp. Of course. The only successful platform using Erlang (although to what extent, not quite clear). What's also not clear is whether that platform would have been more successful or easier to design with another technology. We'll never know.

What we know is that, like I said, the number of Java EE projects out there absolutely dwarfs the number of Erlang projects. That was my one and only point. I never compared the quality of these two platforms, I just offered a simple mind share fact.
Facebook draws criticism for ‘ethnic affinity’ ad targeting
Shouldn't Microsoft have made the trade in page prettier if the goal is to get the word out that "Surface Pro/Book are competing for the same market as the Macbook <whatever>"?
What the Early, Hands-On Reviews Think About the Macbook's New Touch Bar
Ask HN: Does anyone else worry we are becoming too connected?
How can we build systems to connect that don't result in being acquired by Google or Facebook?
8 and 9 specify manufacturers -- people selling something that connects to the internet. If you're selling, you should have to certify that you've done due diligence. If this is done through NIST standards being created, one of the side effects of this would mean that everyone would get actual guidelines, and almost certainly tools, which could do checking if a device is configured at least semi-properly. If anything, it would mean that vendors would have more impetus to communicate and send patches, because they would have to actually own their problems.
When Cortana was launched on Windows, I went to a Microsoft Store to try it out. I found a Surface and tapped the Cortana button, and it opened a "Microphone Calibration Setup Wizard" that looks like it was from Windows XP.

So yeah, taste is one thing, but execution is a different ball game.
The hyphens gave a nice visual separation before.
I've not used it with Vault (I don't know much about Vault) nor in a group, but it basically is a tool for managing a bunch of gpg-encrypted files in a given directory tree, and it uses git for version control and database distribution / synchronisation, and allows for encrypting for multiple GPG recipients. See man page [1], the FILES section especially.

[1] https://git.zx2c4.com/password-store/about/
This wasn't an attack against the root servers, so it's unclear what decentralization help. Should Dyn stand up two servers? That sounds like a good idea, but also something they can do themselves.
Fixed in Apache Tomcat 7.0.72
There's a few different ways to verify, a few of them involving stopping replication, like you pointed out. These can also sometimes be quite expensive, so depending on the type of verification required, the verification method can be tuned.

We also implemented table checksums inside of mysqldump, allowing us to dump out the restored data and compare checksums as well, if required. https://github.com/facebook/mysql-5.6/commit/54acbbf915935a0...
It's part of the challenge of landing a job there. They are trying to figure how creative and motivated you are to apply there.
Why was the transition to HiDPI so much less painful on macOS, then?

Because Apple designed the core OS to handle it much better, and make it easier to support for developers. (which was years in the making, far before the launch of rMBP.)
I think the note that "This BIOS is NOT intended for use with machines running a Windows operation system" is rather telling. People saw the Lenovo BIOS issue as an anti-Linux move, but really I think it's an anti-Windows 7 move.
But this got into a discussion about Jesus' historicity, not his character.
Noone is arguing about the benefits of self-driving technology in general.

The question at hand is: Does this specific piece of equipment actually work as described, and move us towards that goal, or is it a piece of cobbled together junk that will cause more accidents? If you want to sell this specific piece of equipment on the consumer market, you'd better have a good answer to that question, and be able to back it up with more than "hey, it worked for me this morning!"
You are right that the learning process which ANNs use is pretty much nothing like the brain. But an argument can be made that the feature representations which they learn are quite brain like. For example in visual cortex, you will find feature detectors for things like edges and whatnot, with more abstract features as you climb to higher layers. You see very similar things in Convolutional nets.

Spiking neural network models are actually very brain like, but no one really knows how to use them effectively.

I think its also important to realize that we don't have simulate the brain to do what the brain does. If you want to build a flying machine, you could model a bird with flapping wings, but its much easier to just build a fixed wing aircraft. Back propagation may be a similar case. Evolution found a very good way to learn with neurons but it may not be optimal for the things we care about. We may be better off sticking to back propagation because it works so well. Also people are investigating backpropagation alternatives which start to look more and more brain like.

Basically my point is there seems to be intrinsic characteristics of neural computation, which ANNs and real brains both demonstrate.
An old Apple MacBook Pro A1150 MA463LL/A 15" 1.83GHz Core Duo
gets $150 in trade value so maybe yours is a mistake. Or maybe you meant to type $500?
I'd like to see a team of digital archaeologists find and reassemble the lost Digg pre-4.0 database. Lots of gold lost in that upgrade.
Advice to a Young “Data Scientist” (Part 1)