skysight-inc/HackerNews huggingface dataset:
I noticed Hugh Perkins has a AMD badge under "Organizations". Is he not working for AMD?

Also one of the earlier participants of the TF OpenCL support conversations https://github.com/gujunli was working for AMD at the time[1].

https://electrek.co/2016/02/26/tesla-machine-learning-expert...
nah, tbh i think you're spot on. outsourcing isn't "cheaper" it's also shitty quality most of the time, which enables those cheap prices.

it's pretty irresponsible and downright dumb.
"If you're not careful with dependencies and coupling, you can get into situations where you can't upgrade a service without touching n other services; and you have to be sure to deploy them in order. " Why aren't you versioning your api?
> That said though - we DO clearly observe speciation in the paleo records (assuming you won't be claiming that Eohippus == Modern Horse)

Sure, because we're looking at a big gap in time. An Eohippus never gave birth to a horse, though. There were intermediate organisms in between E and H. But as I said, there's no bright line you can point to and say one Eohippus is one species and its immediate progeny are another.

Put another way, if you have H(n), H(n+1), H(n+2), H(n+3)...and so on, there's no point at which you can say H(n+m) and H(n+m+1) are different species. But sure, you can compare H(n) and H(n+2000) and say they're different species. The line is inherently fuzzy. It disappears whenever you look too closely. Only when you zoom out is it present.

If you concede that natural selection leads to small changes, you have therefore conceded that it leads to speciation.
Really? We're calling it a "hit" already? How many have they sold? I don't know anyone who has one, and most people I know don't even know it exists.

Once again Peter Bright being the ultimate Microsoft shill. (I knew this was him before even clicking on the article just from the headline.)
This leaves just the United States as a worrisome country.
However, if you leave register allocation to the source->VM compiler and don't do it in the VM->machine compiler (JIT), you cannot perform machine-specific register allocation (8 registers on IA-32, 16 on AMD64 and ARM, 32 on Aarch64). So register-based VMs typically work with large register sets, and JITs allocate them to the smaller register sets of real machines.

I have not read the present paper yet, but earlier papers I have read were about reducing interpretation overhead by performing fewer VM instructions (if VM instruction dispatch is expensive; dynamic superinstructions make it cheap, but not everyone implements them).
I'm an indian immigrant, this is totally not true. There may be edge cases, but in general, cannot agree with this statement.
OP provided the source. Why not make a pull request and make those implementations and submit then back? Would be a good learning opportunity for some, no?
Stackpoint user here; running a very small (3 node) cluster on DigitalOcean currently using their service. It's been relatively painless so far, but I'm pretty new to k8s so my needs are very basic.
soneca, have you heard back from Trello yet?
Unlike other companies, we don't jump in to upstream projects and throw weight around to influence a project to make it more marketable for us. Kubernetes has a vibrant, and powerful core contributor base already. When it makes sense, for any changes we make, we'll be happy to package those back upstream. Primarily, our contributions to Kubernetes is around operations. What happens 1 week, 1 month, 1 year after setting up a cluster.

GKE is great, but GKE is Google only. It's not on-prem, it's not cross cloud, and it's not portable. That's important to some people. Our contributions to cluster/juju is the distillation of our operational knowledge in running Kubernetes everywhere. The same upstream k8s, deployed with the same tooling, everywhere.

Not all value can be measured in commits :)
If Skype wanted to give user data to the NSA, they would send it over from their servers instead of implementing a backdoor that requires the NSA to already already have software on the target's computer (at which point, assuming they managed to get root, they could circumvent whatever protections Skype was using anyway).
Thanks for the explanation especially with the example.

I now understand what you meant by "unsound refinement" and the desire to keep the spec readable.

> and that's what I did in a complex spec

Do you believe that your hands were tied because the mapping can only be a projection of state?

Is this spec and the corresponding implementation that you are working on in public domain ?

> We really need a model checker that can handle temporal quantification.

Do you intend to restrict the quantification only over time variable only ? Why do I ask this? This is because even in presence of finite stuttering, one only needs to analyze about state and the successors ?

If you intend to quantify over state variables (including the prophecy/history variable, for instance in the example you mentioned) -- that is a more general problem of dealing with quantifiers and there is still long way to automate that aspect.
This is probably not the best option for you but if you want unix terminals cygwin X11 still totally works, albeit with the inevitable disadvantages of cygwin.

I run full-screen cygwin X11 so I can use fvwm2 as a manager for multiple xterms, and still find it vastly superior to any alternative for me, but I'm pretty sure I'm an outlier in that regard.
Learn Design Without Going To Design School
I understand and appreciate your attitude, but to me this just says that Uber employees who aren't so conscientious and caring may well have no trouble accessing this data.

Giving people a ton of warnings about the dire consequences of accessing data they're not supposed to is really easy. Preventing them from actually doing it is substantially harder.
I'm a backend developer that studies ux because I do have to jump into the front end sometimes and take pride when something flows better because I know how frustrating bad sites can be. I also am a blender hobbyists with horrible 3D skills and I don't know why I like following along tutorials as at the end of the day 3D design isn't useful to my current job but I enjoy it.
As Marco alluded, our only supported storage mechanism to date (Which is represented and managed via the charm) is Ceph backed by RBD storage.

We have plans on including other storage vendors and mechanisms, but they aren't on the roadmap for the very near term. If end users start requesting a specific storage solution, it would go in our planning doc and get added to the roadmap. We're quite active with our early adopters that give us feedback and file bugs/requests.

To date you could continue to use alternative storage providers such as NFS or Gluster - but we don't have the PV creation+enlistment captured in the charm code just yet, but again, due to priorities. End users pretty much set the priorities for us, and we then circle back with some light weight planning and execution.

Hope this helps!
Great idea!

A few points for improvement:

- only change station if map is clicked on

- show station details on mouse hover
Makes me wonder what qualifies a micromanager for micromanagement.
The snakiest of snake oils.
for 2) isn't this the same as adding an optional "include=family" to the existing friends endpoint?

This is what the JSONAPI spec suggest too.
Jelly, a new social network by Biz Stone
You mean more paranoid interpretation.

Microsoft controls the servers, they don't need a client backdoor to access messages.
It does? I wouldn't mind finding out how Sublime, Atom and VSCode do it.
Operational ease of use and distribution is our contribution, and we've only just recently joined the Kubernetes community, but as pointed out we see our role value as getting Kubernetes into as many hands as easy and quickly as possible.

EDIT: My first response might of come off as rude, so I fixed it.
The author didn't discuss queues once. I work at a company that uses microservices and queues. Right now we use Rabbit, which is terrible for some reasons I won't get into, but the one good thing about it is that each message has to be acked. You take a message, you process it and then you make that you've processed it.

Things don't get lost. You can requeue messages that end up being dead-lettered due to bugs. You can scale the number of services that read from that queue. You can have services up independently if they just read and write from a system that says, "here's a chunk of data to process."

You can loose data with Rabbit, and if you're starting from the ground up you might want to look at something like Kafka instead. If you don't care about message loss and just need throughput (like if you're doing real time logs or sensor data), something like zeromq might be more appropriate.

The idea behind microservices is that you gain stability at the expense of some redundancy.
The Definitive Guide to Creating Profitable Strategic Partnerships
* Video: Practical JavaScript. I haven't gone through this myself but I've heard good things. https://watchandcode.com/p/practical-javascript

* Comprehensive lesson-based: FreeCodeCamp. An easier, piecemeal option with plenty of hints and guides. Disclosure: My business partner is the CTO of FCC https://www.freecodecamp.com/

* Video: JavaScript30 by Wes Bos. 30 Vanilla JS Challenges. Wes is a fantastic teacher and this is his newest series. I haven't gone through it myself but I've taken his other lessons and been pleased, so I feel somewhat confident in recommending this. https://javascript30.com/

* You don't know JS: A series of free lessons on JS https://github.com/getify/You-Dont-Know-JS

* $ Book: O'Reilly JS Pocket Reference. If you already know how to program, this can help you understand JS in a very short amount of time. Obviously you will need to practice to really get it, but this helped me to understand a lot of things very quickly. Great for train commute or downtime reading: https://www.amazon.com/JavaScript-Pocket-Reference-Activate-...
But the reality of the product/market is that it will be a transitionary stage between assisted self-driving cars -> full robotic cars. There have been a number of complex highly technical products that have components developed independently and integrated at the end (fighter jets, space shuttles, etc).

It's possible Google will want to acquire one of the car companies to full do vertical integration. But that is not entirely necessary right now.

And given the whole complex regulatory and distribution constraints in the marketplace for automobiles it's good to have a partnership with a car company who has years of experience dealing with those issues.
ClassPass’ CMO on How and When to Invest in Product Marketing
Long time vim user here, but I think that the best setup is to use a regular text editor, which has vim bindings. All major editors seem to have them, including Sublime and IntelliJ.

I think the biggest gains in using vim are the small navigation, copying, and editing keystrokes, and that there are little to no productivity gains of using other vim features like tabs and buffers, over say tabs in IntelliJ / Sublime. I am a little biased but I really think that being quick with the vim bindings really makes me a lot more productive at editing code than my non-vimming co-workers. When we're pair programming, it's usually me who does the driving because in one or two keystrokes I can do something that would take them 5+ seconds with a mouse.

So just install the vim bindings on your favourite editor and start picking it up bit by bit. You can start simple with the h,j,k,l keys for navigation, and i for insert, and use the mouse for the rest until you get up to speed.
We split our monolith into microservices. We did so to make it easier to reason about but morever we did it so that we can apply different data persistence strategies for each entity. A monolith would have us bound to a single persistence type (e.g., SQL) but microservices frees us which makes reasoning the application easier. The monolith didn't work for us so we moved to microservices but we didn't start with a microservice, we started with the monolith and grew and evolved it as we needed too.
> What's simpler than a container that has clean API in and out?

The problem is that network APIs still suck. The boundary between components is the place where strong typing is most vital, but microservices are still largely based around stringly-typed JSON.

> If everything's an API call, calling to it is trivial.

Calling a library API is a lot easier than calling a web API

> The interfaces can be their own container.

No they can't. That doesn't make any sense. What do you even mean?

> I know that a container does its job and does it well.

Maybe. I'm never clear on what exactly the job of the "container" is supposed to be - it seems to involve process isolation (I'd think ordinary processes should do that?), and maybe doing funky network namespacing and PID namespacing and a few other things like that, only then other people are saying you shouldn't do that?

> A container makes it evident if it is the result of bad programming. You'll see good data go in, and bad come out.

Only if you can tell good data from bad data. Which is much easier to do within the language, where you have a type system to help you.

> This plays right in to containerization. Compute/storage is cheap.

Compute/storage is cheap, so you probably won't ever have to make your system distributed. The biggest problem with microservices is that they slow development by making it much harder to run the whole system. Anything that makes your development feedback loop slow is a big problem.

> Yeah, LISP and FP still hasn't taken off.

FP is taking off. It's a lot bigger than it was 5 or 10 years ago.

> Hence containers. It's a ball of privilege separation, data segregation, clean interfaces, and easily maintainable.

On the contrary, containers are being pushed as the one true solution to everything, and seem to aggregate a bunch of unrelated concerns.
recent threads about the election caused performance issues and had to be split, the discussion has background info in the replies to questions: https://news.ycombinator.com/item?id=12911042

Apparently, HN runs of a single core of a single server.
IDM 6.27 Build 1 Patch and Serial Number Download
Banach (mathematician) also drank heavily.
In this situation the employer has stable option, you'll stick around no matter the crap.

From perspective the employee it isn't stable. Sounds like he'd get rid of you, if you disagree with anything.
> arcane troubleshooting stuff

... is exactly the reason to have useful comments in there.
Developers in China fare much better than in Hong Kong, Taiwan, Japan, or Korea, for sure. They get paid more (relatively speaking) and are pretty desirable on the dating market. If you tell someone in Beijing "I work for Microsoft", you get a much better response than if you tell someone the same thing in Seattle!

I'm hardly pro china, but the society has been pretty aggressive in courting SEs and paying them well (if they are good, of course, there is a huge low end that is quite different).

Now, there is a lot of pressure to move into management, from family and peers; this reduces the number of senior practicing SEs dramatically, and is a huge problem, but a different problem.
How can data be encrypted so only clients can read it?
I think those issues are orthogonal: if the environment wouldn't discourage a hasty library API, it seems unlikely that it would discourage a similarly-poor network service.

The part I would try to focus on is the culture for things like review and what your threshold is for treating something as a reusable service rather than an internal detail for one app.
Because we're looking at a link to release notes, which I would expect the hyper devs expected people to come to -after- looking at the project page.

One of those situations where submissions being a single URL isn't quite ideal.
1) We're building a business, so we do what's best for the company and customers and don't pay much attention to vanity-based things like winning our home market. SF is a hard market for this business, so we simple don't operate here :) We also haven't had much trouble hiring incredible people -- relevant to HN I think we're up to 8 former YC founders

2) We generally buy from $125K to $500K, so we do hit a lot of that low end. Below that, fixed transaction costs are quite high as a % of home value.

Thanks! We all really appreciate the support, the team's working really hard to redefine a space that hasn't seen enough innovation in the past half century.
So, given Trump and Clinton who I both despise, I should not approve either and thus forfeit any say on which is better?
Docker compose to Kubernetes
right now all major hardware companies bar nvidia and AMD are in utter shite and on a shit producing roll.

maybe they'll learn from this.
Your comment is the last one that has a reply link, so I'm using it, though none of the following applies to it at all.

Over the years I've observed that VS criticism is downvoted quite rigorously here. This is in stark contrast to the overall sentiment on the Internet, so I suspect corporate downvoting here.

The moderators should take a look at it.
That is not at all a realistic interpretation. This is an 'authentication bypass' for a Skype API for locally executed code. Any even slightly serious attacker who has got to that point has already won - they don't need a 'Skype backdoor'.
> Now the argument is always "well if you and your team were just better coders and more disciplined that wouldn't happen" but in the real world it is shown to be incredibly difficult to actually have a team that is that disciplined and microservices give a real hard barrier to enforce that discipline.

I agree that you need enforcement. But by having a multi-module project in a good build system you can enforce decoupling at build time, without the overhead of a network bourdary.
I will give this a try.

I had been a long time vim/emacs rejector. I used ide and sublime text for most of the time.

But few weeks ago, I needed to program a server for deep learning. Because of the graphics driver on that server, there is really no option to run a gui application. So I had to learn vim.

It turned out to be not that difficult to get used to it.

The only complain I have is code navigation. The font size of the vim is fixed to the font size of the terminal. The text is relatively large, therefore the viewing window can only show few lines of code.

Sometimes, I need to reference a previously defined variable or function of the same file, It's difficult to quickly navigate to the right place.

With sublime text, it's mini map navigator is so convenient to allow me go back and forth between locations.

With vim, however, I rely more on my memory. I need to go back once and remember everything, and then go to the end of the file to edit.
keep in mind that normal keyboard activity is completely different than typing a piece of text from the first letter to the last letter in one go. being efficient with navigation, moving text around, and so on, is just as important, so invest in learning vim, emacs or any other editor that makes sense for you. unfortunately keyboard layout analysers do not capture those key presses, making the results very skewed.
Google's entrant into the Conference Room Tech market is their Chromebox for Meetings. It doesn't do the whiteboarding, but it's an easy and cheap way to put a webcam/speaker/mic into a conference room that integrates well with Google Calendar.

Obviously it makes the most sense for companies with "G Suite" as employees can then use gCal to book conference rooms, set up Hangouts video chats in the rooms, etc.

And Google's product costs one-tenth as much. I know there's no way I'd get a budget to spend $7k/room at my company, given we only spend $500/room for furniture the last time we redid them.

Having an ok experience with them at my company. Occasionally one needs reimaging but overall I forget they are there.
I had same question. Thought these people had person drivers.
one more, FreeBSD's pkg uses picosat - https://github.com/freebsd/pkg/tree/master/external/picosat
So Google's ad revenue business subsidized the education of thousands of people who took their newly acquired knowledge of autonomous vehicles to the big car companies.

Aside from the Ad business Google is more like Stanford than any actual business.
Google Is Shelving Its Self-Driving Car
I'm surprised no one here has suggested hiring a personal trainer. If you go to a gym near you, they'll usually hook you up with a few free training sessions and assessments with your membership. These are, of course, sales opportunities for them but if you're looking to get in shape that's what they do.

Since you don't know what you're doing, hiring a professional is a good move. They'll start you off at the right intensity and target your entire body. They'll also teach you what you need to do on your own.

I am just like you and finally just jumped in, went to the gym, and hired a trainer.
How to Lose a Tech Job in 3 Easy Steps
One of the nice things about being an Emacs user (hang in there, I have a real point about Vim to make) is that the concepts (especially non-modal editing) and the keyboard shortcuts map well to newer IDEs.

I switch between IntelliJ and Emacs all day, and all I had to do to become comfortable is choose the Emacs keyboard preset in the IntelliJ preferences. The same is true for Eclipse and Visual Studio.

The Emacs paradigm is a lot more similar to contemporary IDEs than the Vim paradigm, and that makes it a lot easier to switch back and forth.

While a better Vim is a nice goal, I don't see how it will bridge the gap between Vim and newer editors/IDEs unless it includes some fairly fundamental changes to the Vim paradigm. But then it wouldn't be a better Vim -- it would be something different enough that Vim users probably wouldn't like it. I suspect that Vim and modern editors/IDEs are doomed to remain divergent forever.
Does someone have a link to the notation to decipher this?
But a number between 0 and 1 could be arbitrarily close to 0 and 1, which I thought could be proved to be equal to 0 or 1, which are integers. So isn't this not necessarily a contradiction?
DOT proposes vehicle-to-vehicle comms requirement for new cars in the U.S
Linux doesn't do no such thing. ext* filesystems do (especially ext3).
Getting to the "range" for a home isn't too too hard, it's figuring out where in that range that matters. We use upgrade data and other smarter heuristics to accurately place a home vs its comps so we can try to avoid that adverse selection you're describing.
I employ a materialist analysis of society in which means of production are owned by the few, and in which the majority of the people have to sell most of their time simply to have food. This is an undeniable fact of reality, and you merely choose to ignore it. Your ideology obscures simple facts of economic life in capitalistic society, I mean your entire comment completely lacks substance: what do you even mean by "If the rich have money, they took it from the poor"? Which part of my beliefs are you attacking? It's completely vague.

> and socialism IS force

This, again, completely lacks substance. Even by bourgeois ideologue standards.

> Part of freedom is the choice to make unethical choices

Pure ideology. The point is to look beyond individual choices, and analyze how the entire system functions. It is impossible to make ethical choices under capitalism.
I dispute this

> This was relevant on typewriters, but of course is not relevant on computers, which have no inked bits to jam.

You are saying that QWERTY is inferior to other potential layouts. You are concluding that since QWERTY was made for jams and we don't have jams we can have better layouts, but the other layouts have not shown to be of any measurable benefit.