skysight-inc/HackerNews huggingface dataset:
The UniFi stuff isn't stand alone, but it doesn't need to 'phone home' to Ubiquiti. There's a little management server with a web config interface you need to set up to run everything. It runs on your local network and doesn't call Ubiquiti or open up anything without you setting that up. They do have what they call the 'cloud key' that runs an instance of the Unifi management server. That thing does phone home, IIRC.
It actually looked pretty cool without the basemap.

Perhaps talk to MapBox? They might be amenable to giving you a few more map views.
My memory usage under Sierra and El Capitan really went up to the point a 4gb Mac is painful to non-usable. Not sure the cause, but what could be upgrade got upgraded and what couldn't (MacBook Air) got retired.
The 'rewrite everything in Javascript' hysteria reminds me of the 'rewrite everything in Java' hysteria we saw a couple of decades ago.

I wonder if it will end the same way. Will Javascript eventually go on to die where all languages go to die -- as as enterprise backend language?
* Failure: The Secret to Success - A Honda Documentary - YouTube || https://www.youtube.com/watch?v=xOVig5H7UbM
Thanks for the feedback.

When you do hire, how do you collect/manage your applicants?
A no is always good. In my last 100 or so applications, I've had about three responses (one of them was interviewing).
I'll agree with your point as soon as Uber signs up to the same level of regulatory restrictions as every phone carrier enjoys. The fact is that there are laws that strictly prohibit my phone carrier doing certain things with data about my usage. Case in point, the stalking that the article mentions - I don't think employees of my phone carrier can do the same thing. Technically they could because they have the necessary data, but they don't because regulations have been put in place to stop them.

Uber has demonstrated that they can't be trusted with personal data, so I'm quite sure the government will be considering implementing some regulation in their industry too. That's a shame really, because I'm sure most of us would prefer companies weren't restricted by regulation and were just sensible and ethical by default, so laws weren't necessary.
https://github.com/haojunliu/OpenFPGA/
I've taken over deployments of UniFi gear and do not have nice things to say about them. We typically deal in the Aerohive and Meraki world and I find the Ubiquiti zero-handoff to be terrible (I see real-world handoff times of up to 8 seconds in some cases) auto channel selection inneffective, band-steering implementation completely broken, and then just some basic lack of features of things that, to be fair, I wouldn't expect at this price point (L7 firewall, etc) but, given how aggressive some of the marketing has been that the Ubiquiti gear can compete with enterprise grade stuff makes you start to miss the enterprise features. It's too bad that my experience with them is not good as I want to like the stuff, but anything over 3 access points in a typical office environment with competing RF and need for seamless handoff, this stuff just doesn't cut it.

I'm a network admin for a small managed service provider.

Happy to provide more detail if needed:)
Yes, same username and password as whatever is used to login to the controller software. At least it is for me. I only have one user setup for the Unifi Controller.
Wow. And here I was just thinking with this week's Netgear security vulnerability, maybe it was time to switch to Ubiquiti.

Guess I'll just wait for the Netgear patch and save my money.
In my experience, the DD-WRT firmwares are on the same level as XDA android images.

Yes, the overall feature set is richer, and performance might be better. But all that is offset by some completely ridiculous bugs, like having to modify 5ghz wifi settings only via cli, because touching a single switch on web-based admin panel causes it to die (my current tp-link).

And there have been bugs like that on every router I've tried. Always some catch. It might very well even boil down to issues on the hardware level, but the point still stands - the combination has never been stable enough.
Make it as an mobile app! Hard to use it as a tab in a browser on the phone, but app is amazing! it!
Sorry, while editing my post I ended up with a ridiculous-looking sentence (obviously all 3000 of those tweets weren't about Obamacare). It looks like at this point he's deleted almost all of his history all the way up through ~November 16th. At the time though it looked like it was just a block of tweets[1], which happened to include a couple of his most popular tweets ever (including the one screenshotted above about Obamacare). The timing of the original deletions was at the same time news was coming out about big premium increases under Obamacare next year, which is where the link between the tweet deletions and Obamacare came from. That may have just been a coincidence, though. It doesn't take away from the fact that he doesn't stand by the opinions he spews to 200k followers.

You can see in the 2nd link is my previous post that someone caught a screenshot of a tweet-deleter app spamming his timeline (this was in late October, I also saw those tweets in real-time), which means he's done another round of cleansing, basically deleting his entire tweet history.

1. https://twitter.com/edhendel/status/790994649972224002
For those of you well versed in Ubiquiti, what's the recommended approach to connecting two switches that don't have wired backhaul between them? Right now I am using two consumer ASUS routers and one is in "wireless bridge" mode. I don't think the Ubiquiti access points support that model. So what's recommended? The distance between is fairly small but with many walls in between.
I got a new MacBookPro 13" without the touchbar. It's a good device.

The only strange thing is it has only two USB-C ports and an analog audio ports. One of the USB-C ports is used for the power adapter, so one port left.
> to say nothing of the higher interest rates that Asians must pay in order to subsidize deadbeat blacks

When I read this kind of thing in your comments it makes me wonder whether you aren't trying to smuggle in inflammatory phrases that you don't need, just to get away with it. Pejorative+race seems like such a troll trick to me (and there are others). If there are "deadbeats" being subsidized they would obviously not all be of one flavor.
> you know your cell phone carrier already has this data right?

"But we already do A, so why shouldn't we do B?"

"But we already do B, so why shouldn't we do C?"

"But we already do C, so why shouldn't we do D?"

...

"But we already do Y, so why shouldn't we do Z?"

This is generally how things slowly but surely go down the toilet. From climate change to mass surveillance to fascism, etc.
I think the opposite. I prefer to have an open OS installed. It's a question of trust.

And did you try the recent version of DD-WRT there by the way?
Well, maybe the author of that post just hasn't noticed the similarity between:

Vim normal mode grammar: command motion-or-textobject

Other editor's grammar: select-a-region command

(Also, Vim visual mode grammar: select-a-region command)

Emacs has lots of command that can select a region. They tend to be called mark-something. There are commands for selecting words, sentences, paragraphs, function definitions, S-expressions (the name comes from Lisp but they're defined to be something useful in every language, usually something like "any delimited construct in the language --strings, blocks, array literals, etc."). Once you select something you can apply many actions to it: you can delete it, uppercase it, rot13 it, sort the lines in it, wrap it in parenthesis, etc.

Maybe what tripped the author up is that additionally Emacs has other commands like kill-word, kill-line that are shortcuts for common combinations of a motion and a command. The author is correct in saying that these convenience commands are not composable, but they're nice shortcuts to have (and by the way, contrary to what the author says Emacs does have a kill-paragraph command).

So you to delete a word you can do:

Vim: dw

Emacs composable style: M-@ C-D (that is, mark-word delete-
region[^1])

Emacs shortcut: M-D (kill-word)

Atom composable style: Option-Shift-f backspace

Atom shortcut: Option-d

(I got the Atom ones by Googling, I don't if they are right, but if they're not, I'm pretty sure correct ones exist: Atom has both a composable way and a shortcut.)

Vim propaganda should stop saying other editors lack composable commands. Even notepad.exe lets me use any of its paltry motion commands[^2] available to select something and then use a generic delete command to delete whatever I selected. "Composability" is the default mode of operation of most text editors.

Vim propaganda should focus instead on the very real advantages than Vim's command model has. For example:

- dot repeats the whole command/motion pair. This is fabulous!

- Vim has counts so you can delete 9 words just as easily as 3 words. (Emacs also has them, but lots of editors don't, and they're superhandy.)

- Vim has lots of little variations of the motions and textobjects so you can pick exactly what you need, other editors tend to have fewer. For example, for words, Vim has w, e, aw, iw (and probably others I'm forgetting) which are related but a little bit different.

(Also, personally I think Vim bloggers should recognize that those non-composable commands like kill-word are nice optional shortcuts, that are actually a tiny advantage other editors have over Vim. Try playing VimGolf in Emacs --using the nice vimgolf Emacs package, because of course Emacs has a package for that-- and you'll see what I mean.)

----

[^1] OK, techinically C-D is delete-forward-char in the default keybindings, but when a region is active it acts as delete-region.

[^2] It's limited to character, word and line, I think. But people forget even the lowly notepad.exe has word motions (all text widgets on Windows do).
I think a "no thanks" is enough.

Would you give every applicant a "no thanks" if it was a simple click of a button? Would that be valuable to you?
Wouldn't you agree that a compiled language is typically much easier to maintain than an interpreted one (refactoring, etc). Also, it's been years since I've worked in C#, but I would imagine you could stay in the language but ditch the frameworks.
It is a bit of a pointless statement then. You could say that about any hardware company really.
With packet-switched network, one radio may suffice for both purposes.

Likely you're looking for a wifi repeater.
For the rest of us with budgets of less than a month's rent, I'd recommend Mikrotik. Just as reliable as an Ubiquiti (as in, never needs a reboot), yet is still a single box you can set in the corner and forget about if you wish. Or set up a mesh of their $20 units to blanket your three-story house if you're so lucky.

(Nothing against Ubiquiti which I'm sure is great, but I've been a very happy Mikrotik user for years. Recently updated my main AP to their gigabit (wired and wireless) hAP AC and loving it. I use a second Mikrotik as a fully-bridged repeater, and have an IoT wired+wirless virtual network firewalled off from the rest.)
Yup. That's the "news" today.
This is awesome!

Lot's of confusion here on what GraphQL is actually trying to accomplish. In no way were the authors of GraphQL attempting to replace or enhance SQL with the GraphQL language; they are two completely different entities. GraphQL sets out to solve annoyances that people run into while building and maintaining large RESTful services.
The linked talk is also TEDx -- even less vetting than normal TED.
Maybe their mesh product line would be of help?
You should use Node.js for back end when you make WEB APPS and want to deliver real time updates and run background processes. Node.js has a very robust ecosystem that integrates well with front end Javascript.
Java Jigsaw’s Missing Pieces
Sure, development builds can vary in quality, especially on different hardware. It also depends on WiFi driver quite a lot. In case of WRT1900ACS at least, my experience was quite good. It's using mwlwifi: https://github.com/kaloz/mwlwifi
Please don't react to a comment with a bad thing in it by turning that into the entire subject and going one worse yourself. That's the opposite of civil, substantive discussion.

We detached this subthread from https://news.ycombinator.com/item?id=13160679 and marked it off-topic.
Excellent list!
I've added all the books for people to save books to their reading list here on ShelfJoy
http://shelfjoy.com/shelfjoy/wrap-up-your-2016-with-ycs-wint...

The summer reading list is also available here:
http://shelfjoy.com/shelfjoy/ycombinators-summer-list-of-201...

Thanks for the wonderful recommendations to everyone at YC!
Me personally I could care less about the extra memory, but what I really wanted was a quad core in a 13" form factor
I have been working on polymer based projects for some time(8 months).

My opinion is that, polymer is good for specific use cases such as- Creating leaf level components, Reusing components around multiple projects.

BUT....

Building complete applications in Polymer has been a painful experience

I have at times encountered critical 'library bugs', which haven't been fixed yet, we had to use hacky workarounds and forked repos with fixes. Check 'p1-backlog' in github

Less control over elements because of two-way-data binding, I guess I should use redux with it. But I'm still a bit confused about certain aspects of adding redux into the mix

The application end up really heavy

I wish I had a bit more control over vulcanize
I spend most of my time in Go these days, and find that it's goroutine model is perfectly suited for both I/O and CPU-bound services. The runtime decides if a thread is needed, and will spawn one any time you're waiting on a syscall.
Remember, this is a terminal emulator. It's fairly easy to get a consistent look and feel, even across platforms.

You asked for one, here's five:

* GTK+

* wxWidgets

* Swing

* SWT

* Tcl/Tk

You then mentioned "easily extendable". I'm not sure if you'll agree Swing/SWT are easily extendable (I'd argue they can be), but wxWidgets and GTK+ have bindings available in many common scripting languages (heck, even PHP!) which are just as easy to extend as JavaScript is.

Again, I'm not arguing any of these are better suited, just responding to your point that there was no alternative.
We are actually working on a game mode, which takes away the map and has you track down countries by listening to different radio stations.
Trulia seems to be using such info to create color-coded crime maps.
> Because that is the case in many countries, even countries which don't do FPTP,

No, it's emphatically not, especially if you mean exclusively forms the government (not in a coalition.) And, if you don't mean that, it's pretty substantially weaker than the duopoly in the US.

Heck, even FPTP systems that aren't also Presidential systems (another structural factor that reduces competitive parties) generally don't do what you describe, at least in the form of exclusively non-coalition governments.

> and that does not seem like a categorical improvement over what happens in, say, the US.

Whether the difference is merely a substantial quantitative improvement with some creatively-defined common category or a categorical improvement is ultimately immaterial.
I switched to a Razer Blade Stealth. I'm not a gamer and I've never used a Razer product, but I like this laptop. I had to ditch Windows, running Debian.
Heh... Javascript.
The periodic beacon has all that info. In this[0] example you'll see the "Transmit Beamforming" field has a hex value of all zeros. Which either means unsupported or it is completely implicit.

[0] https://mrncciew.files.wordpress.com/2014/10/cwap-ht-ie-17.p...
With proper use of promises, async/await and generators, there is no reason for callback hell.

But why would you need threading? 99% of the time will be spent waiting for io. And you can allways spawn a process if you need something computationally heavy.

If you max out the core running your node thread, you are just about to need a second machine and load ballancing anyway.
I've had bad experiences with other mesh products (Eero, namely) but perhaps.
I think the OP's usage of "harder" was about the consumer situation if the company screws up and not the challenge for the company.
We detached this subthread from https://news.ycombinator.com/item?id=13159057 and marked it off-topic.
I feel like they secretly are.
Interesting. What is your training objective in deciding which view of the room would be the most appealing?
Also, are you looking into generative models for creating new views from different angles based on existing views?
And it's only really needed for configuration or logging. The network still operates without connectivity to the server software.
Lots of routers support this, even single-radio consumer stuff with DD-WRT but it dedicates half your bandwidth to uplink and half to clients. Others you can use e.g. the 5ghz radio for uplink and 2.4ghz for clients.

I presume there is some enterprise gear that does it too. I know there are consumer products like Eero or Ubiquiti's AmpliFi line have mesh networked repeaters. Especially the AmpliFi might be good enough for you, depending on how demanding your usage is.
See!
I see. And is this "management server" the "java" thing everyone keeps referring to? (and complaining about)
> Governments that provide comprehensive healthcare funding have an incentive to want people to stop smoking.

The incentive is to keep people smoking. Counter-intuitive as it sounds, smokers spend less on healthcare.[1]

[1] http://economix.blogs.nytimes.com/2010/06/07/greg-mankiw-on-...

Edit: This is consistent with real-world observation. Anti-smoking policy is the greatest in the US where the plutocracy benefits from increased healthcare spending, and relatively lower in social welfare states in Europe.
Ask HN: Tech build and stable, company growing, now asked to leave
Hi,

I seek some advise.

I am working at a startup (india) leading the tech , its been around 1.5 yrs, compensation with some fixed salary and stocks option. Now they want me to leave.
I worked on stablizing the product, helped implement all business verticals, tuned for required processes, security & scalability, created team around the product.
For first year I worked double my energy. After team was added I moved to less coding and desgning (architect), guiding, managing and RnD stuff.
Company is doing great.(Funded in first round, now going for second round.)

Now, they do not need me and want me to leave just like that, no compensation!.
The fixed component is less.
They say they had changed the company name, so the new company has not completed 1 yrs, so cannot process stock option.

How should I approach this?

Regards
> (1) what it means to implements; is it trace inclusion or simulation or stuttering simulation .... (2) what is the refinement map

Well, in TLA there's only one kind of implementation relation, as the three relations you mention coincide since a trace is a sequence of states, under a stuttering equivalence. All other implementation relations (like event-trace-inclusion) are the same relation on a reduced (abstracted) machine, with some of the state erased, or a refined machine with an added time variable. So the map (which we take to include auxiliary variables) fully describes the "kind" of implementation.

> Could you please illustrate what do you mean by unsound refinement?

The TLA+ features are, of course, completely sound, but you may not be mapping what you intended to map. The trickiest problem has to do with prophecy variables. You need to ensure that they don't restrict the behavior of the spec, and it's not always obvious.

> Also can you please illustrate (with an example possibly) on the syntactic rules that Lamport is working on ?

The simplest rule is that if the spec is

Init ∧ ◻[Next]_x

and, under an invariant:

Inv ∧ Inv' ⇒ (Next ≣ ∃i∈Π : N(i))

Then the spec remains equivalent when introducing the prophecy variable p like so:

∃∃p : (Init ∧ p ∈ Π) ∧ ◻[N(p) ∧ p' ∈ Π]_<x, p>

This basically means that the prophecy must cover the entire parameter space of N, and that once used, a prophecy must be "forgotten". The problem is parameterizing N. So the rules treat various forms of Next (disjunction, quantification etc.).

But if Next is parameterized well so that its behavior isn't restricted by p, then obtaining a useful value from p for the mapping can be tricky: so you know what value will be picked by an existential quantifier, and you know what disjunct will be chosen etc., but you still need an interpreter for those choices to obtain the result of the machine's action. You could write the spec itself in a clever parameterized way so that it would be its own prophecy interpreter, but then you'd make it completely unreadable.

In short, the problem is that you need to make sure that your prophecy variables are sound, but you still want to keep the spec at that refinement level readable and not sacrifice it for the sake of refinement to some other level, and the two requirements pull in opposite directions.

What you could do (and that's what I did in a complex spec), is to use a prophecy variable that interacts well with the spec (i.e., doesn't make it unreadable) but doesn't conform with Lamport and Merz's rules, and then prove that it is sound. Unfortunately, that property alone can be 95% of what you intend the refinement to show in the first place, and here the model checker can't help you at all.

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

> I do not quite understand what you mean here.

Oh, it was just to emphasize the point that simulation is a structural property, unrelated to temporal logic or any notion of time or behavior.
Best Guidelines for Dictating Your Writing
> Disclaimer: I'm building https://www.hireloop.io to hopefully bring communication full-circle. I really want to make this less painful.

https://www.hireloop.io/how-does-it-work

Goes to 403 Forbidden. Atleast put something in there???

403 Forbidden

Code: AccessDenied

Message: Access Denied

RequestId: 4XMR36267413GRGBC72

HostId: BGu7DieumfZVCvftdpMIhXeFm2Qyyy2TyJ+P9jpQr3csSyYNIZBoGKhush8nMc4rHSj6+HighM=3p-

All other pages, including Pricing page, work tho ;) https://www.hireloop.io/#pricing
AutoCAD 2017 Product Key and Keygen Full Version Download
Title should be "Open Source at DigitalOcean: Introducing go-qemu and go-libvirt".
Already posted.

* A map of the entire internet as of May 1973 | Hacker News || https://news.ycombinator.com/item?id=13157090
It appears that the way it decides where the dots should go, goes by the city name alone, and ignores the state.

In my case, I am in North Bend, WA. It shows the nearest station as KBBR:

http://radio.garden/live/north-bend/1340kbbr/

The problem is that it is actually physically located in North Bend, OR:

https://en.wikipedia.org/wiki/KBBR
Rating ASUS: It Is Good Brand or Not?
Sane Thinking About Mental Health Problems
I know what you mean. I live in a jurisdiction with optional preferential voting electing 5 candidates using STV. It's fantastic and does tend to elect a house which is broadly representative of what people actually wanted.
This seems to me to be a needlessly synchronic perspective. What you're not looking for anymore doesn't exist because we haven't built it yet. How many thousands of years did it take to invent most other modern tools? Why would you expect us to have perfection in such a short time after computers have been invented?

Quit looking for pots of gold and start panning for nuggets.