skysight-inc/HackerNews huggingface dataset:
> The UK is free to block access to parts of the internet if it thinks is people aren't fit to safely access it.

Really? Wasn’t that the kind of thing us tech geeks have spent the last 20 years arguing against?
https://en.wikipedia.org/wiki/The_purpose_of_a_system_is_wha...
> but encoding an SMT problem to multiple SAT instances remains a feature there

Sure. I'm not arguing that bitblasting should never be done, it's probably still the best way of solving bitvector problems. My point is that the pedagogical objective of an toy SMT solver is lost if doesn't teach DPLL(T) and only focuses on bitblasting.
Airline safety: 2017 was safest year in history for passengers around world
You are correct in everything you wrote, except for one thing.

> Policemen killing unarmed innocent people is the problem that really needs solving

No, policemen killing unarmed innocent people is a problem that really needs solving. But it isn't solved yet. Until it is, swatting someone should be considered an act of violence. The person calling in the swat is doing so specifically because of the potential for violence, and they should be punished accordingly.

Stopping the police from shooting unarmed and innocent people is the long term solution. Until that is in place, there needs to be consequences for those who would exploit police violence for their own ends. These are issues that can be worked on in parallel.
Yeah, that's why I bought Equifax call options a little bit after the breach was announced. Made good money on those options, and it pisses me off. It pisses me off that after an event that should bankrupt a company such as Equifax, I lay hard-earned on the table knowing that I have an extremely good chance of a healthy ROI simply because of vested interests and status quo.

Like other political hot topics, this is one of those things that causes me to ask, "okay, then, how bad does it have to get before populist outrage brings about change?" Something worse happens, and this is the time, right? Nope. And so on from one event to the next.

OTOH, in this case maybe the invalidation of vast amounts of data will alone bring about changes out of necessity. There will probably be a rough patch of lawsuits, debate, and perhaps a new law or two, but perhaps it will eventually shake out something better.
I've read how all you need is put the AT&T router behind your firewall and proxy the 802.1x packets to/from the AT&T device, thus faking out the upstream gateway.

I don't have AT&T so I didn't pay much attention to the details. One possible approach: https://github.com/jaysoffian/eap_proxy
Compared to just eating the grains ourselves.

For cattle, it takes 100 calories of grains to produce 10 calories of beef.
But if you were able to "contain" all the source code from your DLL into your main "java.exe" launcher, and then slap the all the .jars at the end of the "java.exe" and then renamed it to "mycoolapp.exe" then it might be just that... off course if licensing agrees with you, and you have the source code, and want to deal recompiling these like that... also compiling it along with the java launcher.

This way there is no need for extra install, uninstall. Possibly too much over-engineering for full blown product, but if it's something that needs to be run, and updated on tons of machine - not having to deal with extra artifacts might be a win.
No, actually it's exactly the same thing - or should be in a civilized country. Where policemen (the actual murderers in this case) don't execute unarmed innocent people.

"The bug" is the fact that American police kills innocent people that have done nothing wrong. Of course the caller should be fined for abusing a critical service, but the root cause of this murder isn't in the phone call - it's US police killing innocent people in alarming number of cases. Blaming it on the caller completely ignores all other police killings that have happened without a swatter.

Unless you're trying to say that being able to call up men that murder someone is a feature desired in your country?
Yummy! The turtle mocha is heavenly :)
What would that breach look like? I'm asking sincerely, because I can't fathom what kind of data breach that would be that wouldn't be able to be "smoothed" in a mater of days.

- Black card number stolen? Card frozen.

- FDIC insured account attempted to be flushed. Banks flag and or fraud protected.
It's indeed a flawed comparison but marketcap is still the best we have now. If you use other metrics to mesure popularity like the number of transactions, Bitcoin is already behind Etherum.
> Sure, I agree completely, but at least nominally the argument that healthcare is unique because its a necessity and it has irrational behaving actors is not qualitatively different than the food market.

“Necessity” wasn't part of the argument, and the argument wasn't really of a qualitative difference so much as them being different degrees of the same issues (food is considerably regulated—even by the same agency involved in much healthcare regulation in the US—for many of the same reasons, though the degree of deviation from ideal market conditions is lesser than for healthcare.)
Don't forget that transaction fees help to entice mining too, not just the block reward. The death spiral never happened during the frequent difficulty swaps with BCH because fees simply went up until it was profitable to mine a block -- to as much as 40% of the block reward. There's no reason in principle it couldn't go much higher if necessary.
> It feels strange and wondeful to have every decision made in one searchable place, on one time line for every major piece of software or system implemented for them.

I can see the appeal of that. That is a killer feature for me. My team currently runs what I find to be a pretty lean and clean workflow using Trello, Github (for source control and issues), and Wikimedia for documentation. (Oh, and can't forget Outlook for release scheduling.) Having all of that in one place would make life easier.

On the other hand, not having a monolithic service handling everything has forced us to pay attention to our workflows and practices and keep them sharp.

But the team is small. If we grew or had to manage more projects across multiple teams, this would be really valuable.
Sessions is, after a year in office, looking "very hard right now" at marijuana enforcement policy, which is bureaucratese for "don't hold your breath". He also said he thought the idea some people have put forward suggesting legal pot would solve the heroin problem is stupid. And... he's right. That is stupid.

He hasn't done anything, even things that were in his power to do.
VPNs are minting it, mate. Ever since copyright maximalists successfully lobbied for widespread crackdowns across Europe, the market has boomed. Costs are very low and margins are almost up to you.

I’m actually happy that, for once, money is going back to the critical projects that need it so much.
Far more nuance is needed here.

There are plenty of open source projects where the decisions and roadmap are decided in private and based on financial motivations. In fact most of the company sponsored projects are like this eg. Spark, Cassandra.
Just be careful to avoid Kuru.
Ah, I didn't realize that. I've got my own modem + router, I've only ever used my neighbors' xfinitywifi when I ran through my own data cap (that's a useful trick if you've got a data cap).
My experience with Silicon Valley is much the same as yours. I'm just a mid-level engineer at a FAANG and my co-workers are boring-as-can-be. Nice people but introverted and tech-obsessed and they live relatively uneventful lives.

Still, I assume what's described in the article is happening to some degree, and it's an interesting lens through which to explore the gender and sexual dynamics of Silicon Valley (or Wall Street or w/e other high-powered industry we can think off). It's the age old story of royalty trading (promises of) power for sex. Even though both parties officially consent, is this behaviour morally okay? Or does the asymmetry complicate the situation? Are the powerful manipulating the less powerful? Or is it the other way around?
bazel itself. One of the complaints I here (not sure how valid they are) is that people's docker images tend to grow a lot, and I'm not proposing bazel yet, as it'll pull additional hundreths of megabytes, plus some more per WORKSPACE.

For Windows, it's mainly perception - if engineer sees that a tool is like 200mb in the depot, he/she be like - that's too much :) "Remember why we pulled boost, and no longer use it - as it's huuuge!" :)
The fellow with the round glasses is and a moustache, is physics professor Kristian Birkeland. While working on an electric cannon he had invented, he came up with a theory that could explain the northern lights (stella borealis). The photographer himself and professor Birkeland went on expeditions together in the arctic parts of norway. Few believed in Birkeland’s theories, until modern satelites proved he was actually right and it’s electromagnetic.

To me it seems like some of the young women liked the photographer. Some of my ancestors lived in Oslo at that time, and could be present in some of the photos. As an inhabitant of Oslo myself, these photos are a real gem.
Banker here. Welcome to the club.
I think you're right, and often notice titles degrading throughout the day as they get edited into bland nothingness, but comments probably aren't going to help since it's the title on the front page that gets people clicking.

Now if you had a browser extension that could display the Techmeme/similar headlines alongside, I'd be interested in that :-D
You could say that, but women usually get custody. So it isn't really an accurate framing of social reality.

You really seem to be reaching here. So I will likely not reply further.
First, but not exclusively. As a long time complainer about the iOS-first mindset I used to keep a spreadsheet actually of how long the Android versions of apps were delayed.

I don't recall many iOS and iOS only apps. There was just generally and Android time-tax that Android users had to wait through.
Where did you find it stated that it's 2x. Isn't
it much more, like million to billions times more, since 99.99% of transactions happen off-chain.

https://www.reddit.com/r/Bitcoin/comments/5f8w7f/if_both_seg...
Will you elaborate on the obvious reasons? Pretend they aren't obvious to me.

I'm interested in reading more about athletic advantages gained from consuming meat. Is there a reason that other sources of protein aren't giving the same benefit?
Two research breakthrus in the 1870s paid off by the 1880s

The first was cooking the gelatin emulsions makes the grain much larger but much more light sensitive.

The second (minor) one was adding small amounts of dyes to emulsions make them sensitive to colors other than blue, so B/W looks more realistic and also is obviously more sensitive.

http://thelightfarm.com/Map/Books/Osterman/MapTopic.htm
The need to hire a 'consultant' is extremely depressing. That is what doctors (primary care managers in particular) are supposed to do.

But their pay is terrible compared to specialists, especially when you consider medical school debt and that they don't start earning until years later than most. They have diminishing power in the hospital organizations unless they go into management. There are exceptions, but most medical students with options don't choose Primary Care.

For specialists, the model is just as broken. If you do procedures, you are incentivized to do procedures. Sometimes this is the best option for the patient, sometimes it's not, but you are going to get paid one way and not the other. And there is a good chance that unless you are at a top-tier academic hospital, there will not be anyone around to second guess you unless you realllllly screw up.

There is also tremendous pressure to produce, which is why doctors triple book fifteen minute appointments, and you end up in freezing the waiting room with no LTE for two hours. A good doctor would love to spend more time with you directly, and a lot more time managing your care, but that's not what the system incentivizes. And tying compensation to quality ratings is hugely problematic when the job is to often tell people they are fat alcoholics who need to quit doing opiates.

My wife is a doc, and it breaks my heart when she says she wouldn't recommend it for our kids.
I was under the impression that rowhammer could work because ECC ram can't correct for a high number of errors. Specifically "However, even such modules cannot correct multi-bit disturbance errors" from http://users.ece.cmu.edu/~yoonguk/papers/kim-isca14.pdf.
Thanks Guillermo. I hope the respect and appreciation I have for the Next team came across in the post.

My criticisms aren't based on misunderstandings, however. Route masking provides flexibility but it really does undermine the ability to navigate a complex app structure — Nuxt.js evidently reached the same conclusion, because they too have dynamic route parameters encoded in filenames.

The my-server-page-only.js results in a 'Cannot read property 'end' of undefined' error for me, because it seems Next can't distinguish between universal and server-only routes. If you have any examples of this working, please do share them!

The Markdown ZEIT documentation is cool, but doesn't really address the problem I was getting at with <Link>, which is that your content is likely to come from a database. (Incidentally, Sapper does provide support for <a rel=prefetch>, which works exactly the same as <Link prefetch>.)

> On size: the Next.js and React teams are both working towards really interesting solutions to ship only the code that's necessary, without resorting to templating as the main strategy.

I'm excited to see where that takes us. My conviction remains that templates will always provide more and deeper optimisation possibilities than JSX, but this is a competition in which ultimately we're all winners.
Meshify | Austin, TX | ONSITE | Salary $80-140k | https://meshify.com

Meshify is on a mission to enable companies to more easily create IOT products. Using our customizable hardware and Carbon IOT Platform, companies can focus on solving a problem using connected sensors, rather than spending time running servers, building data pipelines, or designing user permission systems.

We just launched our rewritten platform entitled Carbon. It is a ground-up rewrite in Go, utilizing Docker, Rancher, ScyllaDB, and PostgreSQL. The new front-end UI utilizes Riotjs and Tachyons CSS. We're looking for:

- Backend Engineers interested in Go: https://stackoverflow.com/jobs/159231
- Frontend Engineers: https://stackoverflow.com/jobs/159277
- Full Stack Engineers (Go and Javascript): https://stackoverflow.com/jobs/159278
- DevOps Engineers: https://stackoverflow.com/jobs/150202

You can apply to any of the positions using the links above.
The fact that it's consensual doesn't mean it's not coerceive.

> “What’s not O.K. about this scene is that it is so money- and power-dominated. It’s a problem because it’s an abuse of power. I would never do it again.”

Can we imagine a society in which men with money and power in an industry don't use it to try and sleep with young women? Maybe that's desirable and maybe it's not. But society defines a wide range of conduct as legal, but unseemly or even unethical. Could this maybe fall into that bucket?
I think, if you look hard enough in any city, you'll find just about anything, including sex dungeon parties. I knew some people who were not very secretive about it in Philadelphia, Baltimore, and DC. Those are the only cities I've lived in, so considering it's been 3-for-3 so far, I suspect it's pretty prevalent. The fact that in SV it's full of VCs is not surprising, as nowhere else would you find the density of VCs than in SV.

I think the bigger question might be--in an age of safe sex and (ostensibly) loose morals--why isn't it more common?
Here's the original report: http://to70.com/to70s-civil-aviation-safety-review-2017/

Note in particular: Zero deaths worldwide among commercial jet passengers. (There were deaths among people on the ground, in small turboprops, and in other situations.)
We've been counting the number of apps that use Electron at work (Windows machines) - ok, Microsoft Teams, Visual Studio Code, Slack, and few others!

Now all engineers are "angry" :) :) :) after seeing the same process spawned multiple times, and taking lots of gigabytes!!! (hehee)... I simply don't care and love the Slack app! (Teams is also nice looking, and Visual Studio Code rocks)
I'm pretty sure I've actually seen fake human meat in some documentary at some point. I'd google it but at work I'd probably be put on a very special list.
> I keep becoming more vocal about my career development, but the company keeps having new excuses as to why I need to "wait a few more months".

> I have now escalated my demands and made it clear that my career is not going the direction it needs to. I have laid out my conditions for further employment.

You're not going to win this one. Make your plans and walk away when you have a good offer.
google keyboard is unsuable currently on iOS 11 (iPhone 6S), but that might also be because Apple updares are messing up with older phones.
Surely Apple are throwing away a lot of the value of what they just bought; does profiting from that harm their own developer tools. IMO that seems almost impossible, the only harm is to protect their eco-system from competition; ergo the reason to stop supporting other eco-systems is to harm the competition?

Couldn't they fork the project, keep everything but the name for themselves and set a single guy on maintenance; wouldn't that enhance their own developer tools just as much?
Yeah, it's all Javascript. She's an artist but she's quite good at math and wants to combine them for her career into a form of digital art.
Europe begins countdown to Mifid II – EU financial rules begin January 3
This is perhaps the most important comment in this thread. It's obvious once you think about it, but I don't think most of us have.
How easy is it to get a native look and feel with JavaFX on the various desktop OSes? That is, Windows, Mac, and Linux (GTK and Qt)?
Some of his videos are better than others. But his videos are as slanted towards his view as anything else. What facts you present and how you present them is both a conscious and unconscious result of your own worldview (some things you will see as relevant or irrelevant, and some things you won't even be aware of because of who you are and what you've read, etc.)

But regardless, replying to someone with "Hey watch this 40 minute CGP Grey video which explains why you're wrong." is both hilarious and insulting on multiple levels.
Think about this...

Take any smart phone. No SIM card. Connect it to someone's wifi network, like a coffee shop. Now you can abuse 911 world wide in a completely untraceable manner.

What can possibly be done to prevent this that won't screw people desperately in need of help? It doesn't matter if your government is responsible for a town of 100 people or a country of 1.2 billion. It can't put an owner to each of the billions of smart phones floating around and that's not going to change any time soon.
Black Mirror Season 4: maybe a spoiler?

In season 4 of Black Mirror, every branded piece of tech was Apple. That's just an example. There was an instance where the Apple logo was featured fully on the screen for a fraction of a second. An entire episode leveraged the creepy factor of Boston Dynamics. This obviously an extreme example but imagine every Netflix show is wall to wall Apple products. In the age of chord cutters this becomes a rather powerful tool to have.
"open source projects with open governance"
Yes, each set of data should reflect the data you want to use. That's why I said I default to natural keys unless there is good reason to use a surrogate key.

If I have to compare databases I've worked on over the years, the databases that are all surrogate will have many more data errors than a database that is predominantly natural keys. I could write a book on why that happens, but if you don't know relational theory cold (not saying you don't), you should just use natural keys. The short answer is that using all surrogate keys is equivalent to not using unique constraints at all.

Data is bound to change at some point in the future. The entire point of having constraints is to ensure that your data keeps its integrity, now and later on, no matter how the data needs to be updated.
Hmm, so maybe it is a result of "exposure time". Dunno about you, but I sure can't keep a smile on my face for a few hours while Leonardo does me in oil. (Err, wait, that didn't come out right...)

Despite any documentation, I think it's just a matter of asking for an answer to a negative action. "Why didn't you smile for your photographs back then?"

"Same reason we didn't do a handstand: why would we?"
In with the people who are calling this a sad shutdown.
Trump considers H-1B visa tweak that may lead to mass deportation of Indians
Homelessness is only the most visible sign of poverty. If we somehow gave all homeless people some walls to live in, let's say without running water and no heat, would we have "solved" poverty?

Of course not.

As the GP pointed out, homelessness is safer for men.

How about this fact: 21% of children live in poverty. How does that fit in for you?
A major underlying cause is that we're doing things in hardware that ought to be done in software. We really need to stop shipping software as native blobs and start shipping it as pseudocode, allowing the OS to manage native execution. This would allow the kernel and OS to do tons and tons of stuff the CPU currently does: process isolation, virtualization, much or perhaps even all address remapping, handling virtual memory, etc. CPUs could just present a flat 64-bit address space and run code in it.

The overall idea has a lot of merit (and, for example, Apple is moving towards this model with the iOS AppStore) - but I don't see how it solves the current problem.

Across a variety of architectures, the market has come down firmly in favor of hardware address translation and protection. There are various implementations, many not subject to the current side-channel, but all of them do most of the heavy lifting in hardware: TLBs and related things "just work".

Lets say you had some intermediate format and executed everything in a single 64-bit address space after a final JIT compilation step (your suggestion, as I understand it). How you would implement process and kernel memory protection? It amounts to a bounds-check on every memory access. Certainly you can use techniques common in bounds-checking JITs today to eliminate many of the checks via proof methods, hoisting and combining bounds checks, etc - but the cost would still be large in many cases.

Maybe you want a hardware assist for this bounds checking then? Well follow that to its logical conclusion and you end up with hardware protection support: maybe in a slightly different form than we have today, but hardware support nonetheless.

There are a lot things we could do differently with a clean-slate design, and I think intermediate representations have a lot of merit (e.g., the radical performance improvements partly as a result of radical architecture changes enabled by use of intermediate formats in the GPU space are evidence this works) - but hardware address translation doesn't seem like the problem here.
I am not sure exactly how you would fight a "war on poverty" without also fighting a "war on the poor."

This is some "we are going to invade your country and force you to be free" level Orwellian thinking.
An easy statement to make when you're nowhere near 65. I've spent a lot of time in my life thinking about death, and as a result I've come to certain philosophical conclusions regarding it. But I know that philosophy is something that exists comfortably in mind of someone without a gun to their head.