skysight-inc/HackerNews huggingface dataset:
How about The Register? https://www.theregister.co.uk/2017/05/01/intel_amt_me_vulner...

There's also an Intel advisory https://security-center.intel.com/advisory.aspx?intelid=INTE...
Sounds like you ultimately need a backup method for logging into your server -- probably a second, non-Kryptonite key (or another admin user). Is that correct?
Show HN: Oystrr, an unfussy search engine for jobs in tech
Your analogy doesn't quite fit. Copyright covers both the source code, which is more analogous to the schematics than the manual, and the binaries.

If a physical machine is not under patent protection you can strait up copy it and start manufacturing your own version. With software you have to go through an extra "clean room" step to get around copyright. In practice the clean room reverse engineering process is rarely utilized because it is expensive and fraught with the risk of a lawsuit from the copyright owner.
Indeed, (encrypted) requests pass through SQS/SNS with credentials owned by us. We can see the amount of traffic, but not any of its contents or who sent it.
From wikipedia, "glycaemic index (GI) is a number associated with a particular type of food that indicates the food's effect on a person's blood glucose."

Because glucose is a sugar, you seem to be confusing it with fructose (another sugar, 5-carbon vs 6-carbon). The glycaemic index specifically looks at one specific sugar -> glucose. Sugars aren't intrinsically bad, but often times they are removed from their origins which contain other constituents that help our bodies digest them (all sugar, no pulp).
Important point: Promises, ContT monadic constructions[1], Threads, and Actors all are just variations on how to structure sequential computation with asynchronous events.

You can prove this to yourself via construction: you can write an interpreter that simulates threads (and even pre-emption) with Promises, Actors, or a more formal monadic style. You can repeat this feat for any single member of the set and if you do it carefully that's a proof by construction.

Related reading, somewhat famous: https://pdfs.semanticscholar.org/2948/a0d014852ba47dd115fcc7...

Essentially what you choose to implement is arbitrary and should be informed by your underlying performance requirements coupled with your preferences.

And, as people have noted: your post seems confused. Everyone benefits somewhat uniformly from asynchronous operations. Java's implementations are often a little bit more tunable because the programmer can provide the threadpool for async workers.

Of all of the languages you named, Erlang is the most distinct as it offers an abstraction (and cost) of 1 heap per actor from the perspective of the garbage collector. This decision (made in a time when GC algorithms were quite a bit worse than they evolved to be) lead Erlang to something they want to keep: an abstraction that makes remote and local computation identical. Other languages that follow in Erlang's footsteps (Pony comes to mind, yay Pony!) do not do things this way.

[1]: Okay EitherT ContT. Sure. Get picky.

P.S., You cannot comment because your overall karma is too low, putting you in a rate-limited category. It generally clears up in a few hours.

However, I do not think there is much more of value to say other than to thank that one poster for a few pretty cool papers!
Huge respect for the Homebrew devs and community. They make my life so much easier every day.
Yes, thanks for pointing it out. Working on this.
Ask HN: A core component of Musk's strategy is radically reducing the cost of underground drilling (now 14x slower than a snail, evidently).

Considering how drilling underlies many existing big businesses (oil wells, civic engineering) in the status quo, this seems like a pretty ambitious proposal.

Can there really be a Moore's Law-esque progression in drilling?
I didn't do my research there, sorry.

You hear a lot about how a good goalie is half the team in modern hockey, so I thought that would translate to salaries.

Anyway, I hope I made my bigger point clear, despite the questionable example.
Thank you for your comment. Let me tell you a few pros:

- You can integrate Google and Facebook directly, or integrate Ukey1 and get all in one.

- Especially with Facebook, you need to follow API changes, but if you have Ukey1 - you don't need to care about it - we care. For example a week ago, one of my friends told me that Facebook changed something and since that time FB login doesn't work on his website - he still waits for his developers to fix it). Other example - pixabay.com - their FB login doesn't work at least for 6 months.

- There are people who don't want to use social logins. If you don't want to loose those users, you need to implement email/password option as well. It means, you need to store passwords in your database and care about authentication. Ukey1 offers social logins (Google, Facebook, LinkedIn) as well as classic email/password option. It means, no barriers.

- As a user, with Ukey1 you have absolutely full control over your personal data you share. It's not possible with Google or Facebook. And this is just a beginning.

- As a user, you can merge all your social identities. Why? For example, very often I have a problem that after some time I can't remember what social account I previously used on different websites. And I am not alone.

- And finally, are you familiar with new General Data Protection Regulation in EU? If you collect personal data about European citizens, you should. Ukey1 will solve all technical aspects for you, Facebook nor Google not.
Overpaying for content is such a huge part of the problem and I'm surprised there are so few comments here that even mention it. This 2 year old graphic[1] from the last set of layoffs is telling:

http://static4.businessinsider.com/image/5627cd349dd7cc10008...

Basically ESPN's executives shit the bed over and over for a number of years and the rank and file workers are the ones that end up paying for their mistakes.

[1] From http://www.businessinsider.com/espn-mistakes-led-to-layoffs-...
So once, in the past like 10 years have we been able to run a newish gpu.
"Counter to popular opinion, empty blocks help bury other blocks and thus provide security. (Thanks to the ever insightful Dan Robinson of Chain for bringing this up!)"

Empty blocks are almost equivalent to a successful 10 min DOS attack on the network. The Poisson distribution and network hasing power overshoots affect whether it is really likely to be 10 minutes of DOS or not, plus a very small amont for empty blocks not being orphaned as often. Then you could subtract from the harm that a block even empty has perhaps the smallest of value for burying the last block, while still being a denial of service to the new blocks that some other block would have loved to have buried the transactions of.

It takes a twisted logic to love ones denial of service.
Twitter: Video Deal with Bloomberg Is Interesting – Fortune.com
> It's worth remembering that there are already algorithms used in determining how long a prison sentence should be

They aren't secret algorithms, and both the algorithms themselves and the data being fed into them are subject to review and challenge by the people (and their counsel) subjected to them.
This advisory should have been published years ago. HN thread from earlier today:

https://news.ycombinator.com/item?id=14237266
I was tired of always seeing the same top list on sites like Reddit. Relinked allow you to remove what you have seen or what you are not interested in. Concentrate on the stuff you like.
Can goroutines run on separate cores? Because I'm pretty sure go explicitly decided to not share memory between threads because google thinks async. is too hard to understand for programmers...
We had rhubarb pie in Australia which is even farther south! I liked it as a kid in part because otherwise our pies had meat in them.
The argument for why software patents are different is premised by why patents exist.

They exist to grant someone a monopoly in exchange for them sharing their invention with the world. If I patent a dishwasher that does not clog, I will be rewarded for my invention... But once the patent expires, a skilled engineer will be able to look at my patent, and build a dishwasher that does not clog - in far less time then it took me to build mine.

The overwhelming majority of the time, Software patents grant someone a monopoly, in exchange for them sharing nothing remotely useful to society. Looking at that software patent will not save another engineer any time whatsoever, in cloning my product.

With that kind of patent, I am using the legal system to enrich myself, without giving anything back.
I'm pretty confused on the location info on the 1st line. Are engineering roles in Santa Clara, San Francisco, Toronto, Sacramento, or Baltimore?
Not using a patent in a product or doing further research into the area, should reduce the time of patent on a logarithmic scale.
An SSH agent is the correct way to provide access to private SSH keys, just like OpenSSH's ssh-agent does. I could be wrong but I'm not aware of any way to implement this as a PAM module, unless it was something that was installed on all the servers you SSH'd into, which would be super annoying to setup.
Apple AirPods satisfaction at a remarkable 98% for customers
I think that the problem is very simple:

a) The person involved has to obey the law.

b) The computer-program dictates the law and punishment.

c) In a free country, a person should be able to follow the law.

So: The person must be able to know the law, and thus must be able to know the program.

If the program is secret in any way, the person can never obey it.

So: if the punishment is based on this program alone, the person should be let free.
HDLs generally fit this paradigm. You might want to have a look at VHDL or Verilog.
Does it hide it on reddit? Or on an internal list?
tl;dr: "I had a cultural bias that I overcame with critical thinking."
Reminds me of this great article from last year about a couple of stats nerds who started managing a minor league baseball team using sabremetrics:

https://www.nytimes.com/2016/04/24/opinion/sunday/what-happe...
Le Tote | Software Engineer | SF | https://letote.com/careers

Javascript/ES6, React, Redux, GraphQL, Ruby on Rails

I'm not a hiring manager, but feel free to email me with questions and I can put in your resume. kevin at letote.com

Job post: https://boards.greenhouse.io/letote/jobs/562833
At least embedded seems to be embracing RISC-V like it's a race. Microsemi markets RISC-V tooling, Lattice semiconductor markets it, and basically all of Bluespec's marketing material is around their RISC-V development tools (for formal and differential verification of new RISC-V cores).

NVIDIA is already embedding RISC-V deeply into every one of their chipsets (all Tegras, all mobile discrete GPUs, all desktop discrete GPUs).

I don't see how somebody with any knowledge of the embedded industry could conclude that RISC-V will fail to penetrate that market.

As for consumer mobile devices, such as smartphones and tablets, you could make the argument that ARM has a lot of traction. However, the cost and flexibility benefits of RISC-V are not moot. For platforms like the Chromebook, you have a lot more flexibility in terms of the hardware platform. There's no practical reason why RISC-V would fail in Chromebooks.

Workstations, desktops, and general purpose (usually windows) laptops are a lot tougher. There is a lot of consumer value in the dominance of x86 in these markets so I probably wouldn't expect much to budge there in a short amount of time.

As for servers, however, there is no strict reason why any new ISA would fail. The biggest handicaps would be lack of out-of-the box distro support, platform inconsistency (huge problem for ARM, where you can't generally share images between boards), and low quality of compilers and language runtimes.
If there is a good JVM port, a good v8 port, a good GCC port, and a good LLVM port, and maybe a few other VMs (like BEAM), there is no reason why RISC-V would be doomed to fail on servers. In fact, I see huge reasons why RISC-V would win the server market. Imagine an SoC which has the ethernet MAC, the remote management system/iKVM (with low-level access to the platform serial console) and a big wide superscalar OoO for running your server application on it. Imagine that the clean separation of ABI, SBI, HBI, and MBI drives up the quality, isolation guarantees, and performance of virtual machines. Imagine that you could have a TPU on the same die as the application processor, with a low-latency preemptible interconnect and unified memory.

I see RISC-V's technical decisions as almost uniquely suitable for the server market, and I think the server market is probably the most amenable to new ISA penetration.
I find Homebrew handy but could never keep straight all the jargon of taps, bottles, flasks, casks, what have you.
I think what they may've been referring to is something like the Curry-Howard correspondence, which describes the mapping between computer programs and mathematical proofs. Mathematical proofs can't be patented, and it could be taken to imply that (at least some) programs/algorithms shouldn't be eligible for patent protection.
Are you familiar with the distinction between synchronous and asynchronous execution? Let's start there.
Fraunhofer got paid lots of money from big companies buying patent licenses. Since they are a non-profit institution dedicated to scientific research, almost everything they make finds its way back into funding scientific research.

That said, we shouldn't generalize Fraunhofer's economics to the rest of the software industry. If it was just this kind of thing I would have zero problems with it. But we should be suspicious of software patents because the patent system implicitly rewards ideas that are broad (more things a patent touches, more $$$) and non-inventive (less work to come up with a patent, more $$$). Patents can be dangerous to human progress, and the patent system encourages patents that are. A broad patent could hold a whole industry hostage for 20 years, which is an eternity in technology. I sympathize more with folks who want to get rid of the whole thing for this reason.
You have to wonder, is this the only/last one of its kind?
Yes, that's why there was no video or telemetry from the second stage in the webcast like they usually have. Its existence is not classified, but lots of details are. You won't find any photos of the satellite, and there are no official numbers as to how heavy it was (although you can guess an upper limit from the fact that the first stage did an RTLS landing) or what orbit it went into (which is why there was no second-stage telemetry displayed).

It's worth noting that the very existence of the National Reconnaissance Office was classified until 1992, although it leaked out to the public in the 70s. They're a bit less secretive now.
Because Java is a fine and mature language?
When sharing links, if users like it, you get points that can then be used to further promote your links. Your links will show up higher in streams and have more chance of beign seen by users following those streams.
Thanks for asking. I'll work on explaining this better.
Slide 22 of this powerponit, Mike explicitly calls it Gaisler's Method. The term he uses "Structured VHDL" comes next slide.
As far as I can tell, the author didn't call any of these languages esoteric (the word appears once, in reference to the list itself), it's editorial titling, presumably because the actual title of the article sounds horribly click-baity.
FWIW Nest is quietly being offered for sale so won't be a google product in 2030 if indeed Google still exists.

(less seriously: the rest of those products will have been canceled by then)
Can this work with Userify to distribute the public key?
Its explained at the very beginning of README :)
https://github.com/Homebrew/brew/blob/master/docs/Formula-Co...
Array oriented programming languages are also pretty interesting:

https://en.wikipedia.org/wiki/APL_(programming_language)

https://en.wikipedia.org/wiki/J_(programming_language)
Link discussing the more general statistical phenomenon in greater detail: https://en.wikipedia.org/wiki/Regression_toward_the_mean
I have written my own async. webserver and on top of that my own distributed database: https://github.com/tinspin/rupy

Here you can read about how async. works in my system: https://github.com/tinspin/rupy/wiki/Fuse

I might not be stroking the HN community in the right direction but trust me, I'm not confused.
Looking for a product manager opportunity. Please check my profile here: https://www.linkedin.com/in/tanima-makkad
When I first heard about climate change, I knew that there were essentially three things that needed to be proven.

1) That climate change is happening, i.e. the world is getting warmer.
2) That it's not a natural phenomenon, i.e. driven by human behavior.
3) That it's a bad thing, i.e. not a positive thing for the world.

Fairly quickly I accepted 1) based on the evidence. Over time I accepted 2), again based on evidence, but mostly on CO2 levels which I knew were well correlated with warm periods historically and logically should be, given it's a green house gas.

Much later I started to accept 3). I still think the negatives are over-done, an ice age is far worse than global warming and we have no idea how close we are to the next one. But species extinction simply can't be fixed after the fact, so preventing it trumps all.
According to this guy:
https://www.youtube.com/watch?v=uDn6jiq_FjM

All we have to use is use that sign and 100% of this will cease to exist. I highly doubt his 100% number will hold in the aggregate, but even if it's 80% that's impressive for just changing the signage.
AMD's revenue rises 18%, but margin forecast disappoints
Question from a mediocre programmer: what are the advantages of this over, say, a messaging queue and microservice architecture for an application (i.e. Web service built on flask, but the details don't really matter)

For example, would it be a bad idea to put my email module on an async function as opposed to in a different application?
Thank you. Also this page needs an update
https://www.cockroachlabs.com/docs/install-client-drivers.ht...
Cubist Systematic Strategies | Java Developer | New York | Onsite | Full Time

Cubist Systematic Strategies is the systematic investing business of Point72 Asset Management. We deploy systematic, computer-driven trading strategies across multiple liquid asset classes.

We are seeking an exceptional developer to join one of our quantitative trading teams. As a member of this established front-office team, you will work closely with quants and traders on a daily basis and will get exposure to all aspects of quantitative trading business.

The primary responsibilities for this role include real-time data analysis and management, building distributed quantitative trading systems and developing systematic trading strategies for various asset classes (Equities, Futures and Options).

Desirable candidates:

* Very solid knowledge of core Java.

* Significant experience in developing multi-threaded real-time applications on Linux.

* Practical knowledge of scripting languages (perl, python) and SQL.

* Experience with Kafka, Spark or machine learning a huge plus.

To learn more or apply, send an email with your CV to talent@cubistsystematic.com.
Copyright and patents protect entirely different kinds of software. Copyright protects software that's more work to write than to think about (e.g. Windows). Patents protect software that's more work to think about than to write (e.g. PageRank or whatever's inside Google's self-driving cars).
Making mathematics accessible to the general public isn't part of mathematicians' jobs, nor is it something most of them care about.

If you want to write some articles that make mathematics more accessible to the general public, and you want to use longer variable names in order to do that, nobody is going to stop you. It's unreasonable, however, to expect mathematicians to try to do this at the same time they're doing their actual jobs.
Low-effort, snarky comments like these are not useful. In my opinion, they are damaging the culture of HackerNews and making it less valuable to read.

Was Galileo wrong when he speculated that helicopters were possible? Absolutely not. Was Girolamo Fracastoro wrong when he speculated that germs caused illness? Absolutely not.

If you're going to be snarky, at least be right.
How do you "support a format"? AFAIK nothing will convince Apple to release music in a better (patent-free) codec, much less convince others to dump DRM.
I love how often he must stare into space because he's actually thinking about the answers to complex questions, and not solely regurgitation of canned answers. The world needs more real thinkers being asked interesting questions in large public formats like this. Maybe some people can think deeply while locked in eye contact with someone else, but I think there's a overhead to the thoughtful gaze into another's eyes.
Unfortunately, rewards only come with effort (well, ok, at least usually)
I certainly don't mean that there aren't contexts where distinguishing the two is vital to understanding. I just mean there are context where you'll need to talk about both, and I think that's part of the reason they sometimes get conflated.
Oh, I'm not saying it'd be easy, just that the dV needed to get the stage down is <<< the dV to get it up.

The devil is in the details, of course.
Ember 2.13 and 2.14 Beta Released
I still use MacPorts, because I find cutesy metaphors offputting.
An open-source Tomb Raider 1-5 engine remake
Yep! Just type 'kr me' to print your public key, or 'kr copy' to copy it right to your clipboard.
> The perception that math is useful stems from it's use by non experts.

You might be surprised by how many mathematicians would disagree with the assertion that "math is useful" (I suspect a majority would at least think such a statement was overly broad).
Would you prefer I use the phrase "completely incorrect about the memory models of the majority of languages you named and the erroneous conclusions you reached from them?"

That is certainly more accurate, but seemed needlessly confrontational in my first draft, so I opted for the more generic phrase "confused post", which implied maybe the post itself was simply jumbled up and didn't clearly offer your intent to the audience. You did ask after all.

I was trying to give a non-confrontational way to explain why I almost downvoted your post for being very misleading, and opted instead to respond with a slightly more correct post.

HN needs less fighting and more knowledge.

I thought what you were trying to say was, "parallelism is not the same as concurrency" but that it got jumbled up. That is a correct statement.
A partial function in Python is just a wrapper around the underlying function, that automatically supplies whatever arguments you passed in to functools.partial. It doesn't change anything about how the function is executed.

A coroutine gets executed differently from an ordinary function (or an ordinary generator, for that matter); when you call it using the await syntax, the Python interpreter can choose to run some other code while it is waiting for your function to return a result from I/O (for example, a network request). A normal function call doesn't allow that. (A generator might, if you use yield from and do a number of other things, but you have to do them by hand, whereas the await syntax does it all for you automatically inside the interpreter.)