skysight-inc/HackerNews huggingface dataset:
Intro to Crypto with Apache CXF JOSE
Show HN: KarmaCards for AskReddit
It amazes me that they so eagerly ditched magsafe. As a long time and generally quite happy PC owner/user, magsafe was one of the few Apple features that I looked at with envy.
Yeah, you can't read too much into it, but consider the following: to buy a Zone 2 house in London right now requires a fair bit of money. We're talking typically more than $1m US. Even a flat on my street is upwards of 600,000 US. So who can buy this kind of property? That mostly means successful professionals. A fair few of this category are either foreign-born themselves or have spent significant time overseas. Nearly all of them work in extremely international offices. This category skews Remain extremely strongly. Remainers are, for the most part, pretty chary about England's prospects right now.

The broader data shows Outer London still going up, but Outer London's a huge place. Areas like Sidcup and Plumstead skew Leave and I'm sure property prices are still doing fine right now. Longer term, it'll depend on what happens, but I do think property prices are literally skewing on the basis of the political views of the prospective buyers right now.
Microsoft: more people are switching from Macs to Surface than ever before
If you're going to argue definitions, you should probably quote your source. Dictionary.com's primary definition for work is "exertion or effort directed to produce or accomplish something". There's no mention of you "having to do it for someone else", as you say. Although later definitions do mention employment.

So it seems like you're both arguing whether definition 1 or definition 3 of a word is the right definition.
I have no trouble believing that your mental state can influence your physical health. It's happened to me repeatedly. Prolonged stress (usually at work) seems to result in my immune system becoming less effective, and I start getting colds, coughs, mild flu-likes and so forth, plus whirly stomach and lots of toilet time.

Sure it's all in my head, but the thermometer says it's in my bloodstream too!
When you come to upgrade you might be looking at a model which hasn't been released at this time, but the 2016 MacBook Pro does have a headphone socket.
"Risky" investment for commercial real estate in a tier I area in a European capital? I find any residential property more risky and volatile, at least from a price elasticity point of view.

I guess we have different views on how we perceive risk. But that is ok.
Resolution and PPI is generally more important to look at instead of physical size when it comes to productivity.

If both sizes run at the same resolution then the 13" is going to offer more PPI which will make things look tighter but the downside is things will be smaller.

Personally I find 13" at 1080p to be pretty readable without needing to scale.

There's no chance I would ever want to use less than 1080p for a development laptop. Don't be fooled by "retina" resolution numbers too. A lot of manufacturers will label their displays at a much higher resolution but when you run them at "retina enabled" resolutions they are either 1080p or less when it comes to screen real estate.
The implication of the "great salt wastes" or whatever in Fury Road, I thought, was that they were driving over the Pacific- that the oceans had literally disappeared.
A guide to DataScience programs
Agreed, BMW have said that, much as they don't want to lose Britain as a target market, they value their Europe-wide integrated supply-chain more.
I think the bigger point is that in the face of nuclear annihilation CO2 doesn't matter.

Just maybe the particles launched into th atmosphere, the radioactive fallout and the death of the human race are more important than CO2
https://news.ycombinator.com/item?id=12557489
> NVidia's defining characteristic has been designing good drivers.

This. When shopping for discrete video cards, I no longer look at AMD's offerings because I'm not willing to fight with their driver, fret over whether or not I should apply updates, etc.
Yes, Dice.com / Glassdoor.com / Linkedin.com
The Future of Internet Regulation [pdf]
>nothing can now be believed which is seen in a newspaper. truth itself becomes suspicious by being put into that polluted vehicle. the real extent of this state of misinformation is known only to those who are in situations to confront facts within their knolege with the lies of the day. I really look with commiseration over the great body of my fellow citizens, who, reading newspapers, live & die in the belief that they have known something of what has been passing in the world in their time: whereas the accounts they have read in newspapers are just as true a history of any other period of the world as of the present, except that the real names of the day are affixed to their fables. general facts may indeed be collected from them, such as that Europe is now at war, that Bonaparte has been a successful warrior, that he has subjected a great portion of Europe to his will &c &c. but no details can be relied on. I will add that the man who never looks into a newspaper is better informed than he who reads them; inasmuch as he who knows nothing is nearer to truth than he whose mind is filled with falsehoods & errors. he who reads nothing will still learn the great facts, and the details are all false.

-From Thomas Jefferson to John Norvell, 11 June 1807

http://founders.archives.gov/documents/Jefferson/99-01-02-57...
>You could also buy 4 or 5 McDonalds restaurants or 20-25 houses and watch them appreciate while living off rental income.

Even better would be the Chick-fil-a. They only cost 4K to start and it will give you something to do for 3 years while they put you through training and you work at various locations. It is a lot cheaper than other franchises but could pay out close to as much.
What really grinds my gears is not the MacBook but the fact they went with lightning on the iPhone for the newest gen. If I bought lightning headphones I'd be pissed I couldn't use them with my Mac, even more so if the next iPhone does go USB-C. You'd think it would make the most since to go USB-C at the same time you drop the headphone jack...
Not deliberately, no. See my other comments on this tree.
Even though I'm more of an Emacs user, I'd say if you're going to learn one, learn vi. Not vim, mind you: nvi, the original one (you can emulate it in vim with "set compatible"). Use it for a few months until you get muscle memory for it. Just about any UNIX-like system you'll work on, anywhere, has at least the old vi, and it's very useful to just have that muscle memory tucked away.
In my experience, the _stupid_ questions are the best ones, provided they are on topic. They hint at an edge case or something not covered deeply enough.
https://www.wired.com/2008/04/ff-wozniak/ pretty sure that's the article you're referencing
Daniel Radcliffe war the same thing every day (http://www.imdb.com/news/ni0051271/) in order to prevent paparazzi getting useful pictures of the ongoing filming of Harry Potter and the Order of the Phoenix
This is really cool! I wrote a small go app awhile back to solve my personal wiki problem (https://github.com/esell/bookie) but since I am in vim most of the day, this seems like an even better solution. You could even just take the output and toss it up on Github pages or whatever if you wanted to share it.
It is wonderfull product, I love simplicity of it.

One question though, why don't you allow me to set up recurring billing? Eg. if credits go below 10€, charge 10€.
More accurately: by the parent of that comment.
And mass starvations, just from blocked sunlight and decreased crop yield due to sunlight decrease.
This is pretty much the DNC playbook from the election, elevate a fringe candidate and marginalize the moderates during the primaries, to make it easier to tear down the candidate during the election. Problem is Dr. Frankenstein wasn't able to control her monster

Operation Pied Piper, The DNCs 2016 Strategy From Wikileaks part of Podesta release

1) Force all Republican candidates to lock themselves into extreme conservative positions that will hurt them in a general election;

2) Undermine any credibility/trust Republican presidential candidates have to make inroads to our coalition or independents;

3) Muddy the waters on any potential attack lodged against HRC.

Pied Piper Candidates

Ted Cruz

Donald Trump

Ben Carson

https://wikileaks.org/podesta-emails/emailid/1120.

see the attachment with email for the Strategy.
Netflix Conductor: A microservices orchestrator
From 0 to Hacker News Front Page in 30 Days
"regularly putting in 12 hour days 6 days per week"

"Play hard" after 72 hours of working? They must be super-human. What about, you know, er, human contact? Like spending time with your family and friends?
so this is whats going on with my N7... it got slower and slower...
7 Simple and Quick Web Design Tips to Improve Your Website Pt1
About Magsafe - you should definitely consider - https://www.kickstarter.com/projects/436147229/snapnator-you...
I think that is something that various vegan doctors have asserted. Or at least, that dairy-based proteins are particularly damaging. See the oft-derided China study folks.
Stoicism has been useful for me:

https://www.reddit.com/r/Stoicism/wiki/faq
How years of Congressional wrangling led to a water compromise
Unless you like hanging out with stay at home moms, there's nobody around during the day. Might as well go to the office and work with interesting people and have somebody to go to lunch with.
Eulogy written by a neural network
I realize that, but the problem is that I'm assaulted so often that "block by default" is the only reasonable option. I whitelist a few sites that I go to often, but that's it.
I was referring to the composition and post production (sound design, engineering) world. Mostly because that is the industry I worked in for many years and still continue to work in (much more sporadically these days).

That's a world that was dominated by Mac Pros around 2010. Around 2013 I started seeing a shift, myself included, to custom built PC workstations and that trend is just increasing now. The initial switch, I believe, started with the lackluster cylinder Mac Pro, but continued due to the obvious failings in the Mac desktop market.

You speak of home based studios using MacBook pros, but anyone doing that is obviously not a professional. I will give you the fact that many DJs are using MacBooks for the mobile rigs, but at home, anyone actually doing professional audio work is likely using a massive powerful workstation or a number of PCs (master/slaves).

This notion that MacBooks (or even laptops in general) are super popular in the professional audio world is fiction made for advertising.
I first got the logic of wearing the same clothes from Jeff Goldblum in the 1986 remake of "The Fly":

https://www.youtube.com/watch?v=ktYrYErBN-0&t=27m25s
That's very interesting, I read the book a few years ago and then watched the film after. Both have stuck with me, particularly some distressing scenes from the book, and yet I never put too much thought into what could have caused the disaster. Given their plight I suppose it didn't matter.
It needs a lot more time before it's usable beyond demo use cases.

If you're interested I wrote all about it[0] when trying to change my development environment recently:

[0]: https://nickjanetakis.com/blog/i-almost-rage-bought-a-macboo...
> the former is a branching time notion and the later is a linear time notion

I think it is more precise to say that you cannot formally encode the concept of (bi)sumlation in LTL while you can in CTL. The notion itself, however, is a general structural relation between state machines that is independent of the temporal logic you use to formalize properties of their behavior, if any. I.e. (bi)simulation would exist even if temporal logic didn't.

> the refinement map in Abadi/Lamport is a projection function

One of the few things I don't like in TLA+ is that you can create a "refinement" mapping which isn't sound (and therefore isn't a refinement). In particular, you can add auxiliary variables that interfere with the specification. I know Lamport is working on a paper where he gives syntactic rules that ensure that the mapping is sound.

> This is what we are after in type-based reasoning: reasoning at the level of functional abstraction.

The challenge is making that reasoning rich enough (to reason about a wide class of programs), scalable enough, and at the same time affordable and simple for engineers. This goal is far from realized (and currently falls short, at least in the last two requirements).

P.S

I also think that TLA allows reasoning about structural properties of the state machine without any use of temporal logic at all. If A and B are action formulas and S is a state-predicate, then `S ∧ A` denotes the set of transitions from the set of states denoted by S (conversely `S' ∧ A` is the set of transitions into S). And so `S ∧ A ⇒ S ∧ B` means "for every transition A leaving S, there is a transition B leaving S". I think that you can therefore show (bi)simulation directly, structurally, rather than behaviorally; there is no use of behaviors (traces) or computation trees here at all (you may want to show that all the states S are reachable from the initial states).

[1]: Unless behaviors are sequences of states, in which case the relationship coincides with the trace-equivalence relationship. There may be subtle technical differences (that I don't quite understand) even then, but they don't matter.
I'd advise you to learn vim, for a couple of reasons.

The main one is the concept of composability [0] - in vim, you're speaking a mini-language. You have commands (delete, copy, make uppercase,...), and a number of movements (right, down, to the next occurrence of a word, to line 27,...) or objects (word, line, paragraph, html tag, text within quotes, ...) to work on. These can be combined in any way you like, any command can be applied to any movement or object. So if you have a plugin like vim-angry that adds a "C-style function parameter" text object, all the commands you know can be applied to that. In contrast, in emacs, you have a number of commands (kill-line, kill-word, ...), and that's it. You have to get by with those. If they didn't implement the command you'd like to use, tough luck.

A second (minor) reason for me is that I work in the embedded software world, and usually on an embedded linux, there's at least some variant of vim or vi available, while emacs is very rare.

Take my advice with a grain of salt : I've never really used emacs, so I can't compare from first hand. From what I've heard, emacs is also a very good editor. To me, the question "should I use vim or emacs" is more or less the same as "should I use firefox or chrome" - I'm a chrome guy myself, but I don't consider firefox to be crap, nor its users to be idiots. Internet explorer on the other hand,...

So my advice : learn vim. And if you don't, learn emacs. Just learn to use either one properly, and you'll be way faster at editing than people who don't use those.

[0] a.o. https://medium.com/@mkozlows/why-atom-cant-replace-vim-43385...
You are right, 810 has HMP. I somehow missed that.
> Apple will never back down on USB-C

This is true, it's not Apple's' MO to fallback, they will double down and plow forward(even if it's too soon).
So you are not measuring the value delivered by the developer or his team to the business, but rather the amount of work done.
> - If you buy a new macbook and a new iPhone, you can't physically connect them

Yes, you can. Get a USB C to Lightning cable or just a simple USB A to USB C adapter. Here's 2 for 7 bucks:

https://smile.amazon.com/gp/product/B01EL4PVFE/ref=oh_aui_de...

> - If you buy standard aux headphones, you have to keep track of the tiny dongle

Or buy lots of tiny dongles and keep them attached to your headphones? Honestly I just use the lightning set included with the phone.

> - You can't charge your iPhone while using wired headphones

Yes, you can.

https://smile.amazon.com/Lightning-Adapter-Charger-Earphones...

> - No more Macsafe chargers which have saved me so many times

Not quite true:

https://smile.amazon.com/USB-C-Magnetic-Adapter-MacBook-Alum...

> - A touchbar that I'm sure I could get used to, but haven't seen a compelling use case yet

Ok, you get one. I don't see a point to it either.

So yeah, you'll need to buy some accessories and yeah, Apple should have included all of that stuff at no cost ... buy hey, they're probably making big $$$ on the dongles they sell directly.
I can see the commuter lanes in many cities being converted to self driving lanes with 100mph speed limits. That alone would push people into self driving vehicles.
HN (l)users typically veer to the ctrl-left. Rational thought threatens their narratives.
One high price computer for another...

Just kidding. I want a Surface Studio so bad its crazy. Just can't bring myself to spend the scratch, though.
SSC-Minimal command to Add/Remove/list ssh aliases in $HOME/.ssh/config
Is this substantially different than:

a) writing a syntax highlighting script for your notes files,
b) using tags to jump to documents and
c) using netrw for browsing your files?

Because if it is not, and even if it is just making it easier to do those things yourself, I would personally not even consider using it, having had some really nasty surprises with Vim plugins in the past. Yes, I do mean you, Powerline.
I've seen this too, but the Moto Z is not one of these phones (the battery is not "user"-removable).
United States' state-run TV network with expanded reach
Humans are too... polarizing to discuss.

Lets take horses. They were essential for many areas, for a very long time. Once a horseless carriage was constructed, horse ownership declined. After a tipping point, the cost for a horse, in terms of food, water, lodging cost more than the horseless carriage.

Eventually, horses were unemployable. They were still animals - strong animals at that. But the cost of maintenance and upkeep was more than they could output. So many went to the sausage and glue factories.

Some people still have them, and they are huge money-sinks. Their owners know it, and budget accordingly. But none use them for actual labor - machines are much more efficient.

So, what do we do when human labor is less than the resources to keep said human alive? Sausage/glue factories for them as well?

(edit: spelling)
if i had so much money that I'd never have to work again, I'd probably do the following:

1. quit my day job and travel the world (and I mean all over - south america, middle east and so on).

2. get a couple of houses (one for my parents, and another for me)

3. start contributing back to the community (If i get that kind of money, It's probably because I would have IPOd or sold my business - in which case, I would love to work on open source - no strings attached - MIT).

4. buy a few toys (cars and what not) that I've always wanted.

5. leave the rest for my kids/family/future.
In the case of USB-C, it seems to be an industry wide push toward it. Not only Apple.
can you tell me how to make it better?
When I see news about self-driving cars I can't help but think about car DoS, ransomware and hijacking. Not that this doesn't apply to "normal" cars, but I suspect that "intelligent" cars will have Internet connection and, at some point in the near future, inter-vehicle communication in order to cooperate better. We already have a PoC smartlight worm.
Hmm I'm sensing some bias in your comment...
Sorry, it took me a moment to stop laughing. Revenue is not profit for starters, and "profit" can be defined in so many ways. A more accurate representation for a franchisee is "total operating income" which is usually between 5-10% of net sales. This is what the owner/operator takes home before taxes. With net sales averaging $2.7m, that take home is usually around $150K. Definitely not peanuts, but considering the cost of a franchise and the amount of work involved, not living high on the hog.
I doubt there's a utility patent, I take it you think MS may have taken out a design patent?
Mobile app development - releasing a binary download (MVP) in a few days which delivers the bulk of the clients required functionality.

Somehow, at least for (native?) mobile, the spec to implementation transformation still seems
magical to many of our clients. I personally think it's the rapid turn around. It seems there's an expectation still that the development will take longer and thus the reaction?
But then again, your economy will get a large boost. Construction is awesome source of growth. No construction means stagnation.

If you don't piss off homeowners today, tomorrow situation will become even more dire. Pricess will be bigger, price growth expectations would be even more insane, regular people will be more disgruntled. So it should really be "piss early, piss often". Or face downward spiral.

It's pretty obvious how this should resolve: suppose there's two nearby towns (inside metro area) - one is building up but another one doesn't. Property prices will lower in both of them but onle one will be getting economic benefits, leading to second one following the suit. It only becomes problematic when cartel forms, blocking the development of entire area. Such cartels should be fought with.
Like how thr non-coding regions of the genome were termed junk DNA
I've thought about this a lot, though I'm not planning on getting that kind of money any time soon. My plan would be to invest a lot of the money and then go back to school. I'd get a couple more master degrees as well as try for a PhD. I love learning and not having debt would make it better. On top of that, I would work freelance/consulting as a developer. I love programming and that is what makes me happy so I wouldn't want to stop doing that.
No, because CETA shows an awareness of these issues:

1) It's got a lot of stuff about non-tariff barriers in it.
2) Doesn't really apply, because Canada is heavily pro-immigration anyway.
3) Remains true
4) Remains true
and 5) Is also a problem for CETA.

Bear in mind also that CETA is a _much_ more limited trade deal than we have with the EU.

So, you're right in that there is a theoretical position that the UK could take which was pro-trade and anti-EU, but it would be a light-year away from the briefings of the Three Brexiteers right now.
Identify potential clients. Go out and introduce yourself and your company. Ask intelligent questions about their business. Listen to their answers. Thank them for their time.

Follow up periodically so that the company stays in your deal flow pipeline and maybe it leads to work at some future date. Maybe it doesn't.

Doesn't matter what magic the consultancy sells, that's how it works: build a big enough pipeline of potential sources of work and statistically there is always likely to be enough work to keep the lights on. Statistically, if the pipeline is not big enough, there won't be.

The size of the pipeline is based on the rate at which the consultancy burns through money; the aggregated probabilities of each potential client to produce paying work each month; the rates at which clients cancel projects, fail to pay, or choose an alternate means of accomplishing their goal; and the amount of time it takes to complete a project (e.g. $10k over two years versus $10k over two weeks).

The larger the consultancy, the bigger the pipeline needs to be. My advice is to start putting numbers into Excel.

Good luck.
I gave it a little thought: if the "prev" and "next" buttons included some visual indicator of how many more items there were in that direction, I think that would help a lot. Bonus points if it comes with a subtle animation that makes it look like the items are swinging into view as you navigate.