skysight-inc/HackerNews huggingface dataset:
I'm pretty sure that I engage the visual part of my brain in those moments when I truly understand algebra. It's very beautifully overwhelming and understanding such complex mathematics through visualisation brings about one of the few moments where I get naturally high through cognitive tasks.

I wouldn't consider myself a very visual person otherwise.
I think you would also have to verify resulting binary, compiler, libraries...

It seems more manageable to verify a few KB of assembly or C
They bought Nimbula back in 2013 as well: https://en.wikipedia.org/wiki/Nimbula

The naming was always confusing because both companies were based within a mile of each other, never mind the product overlap.
How many of those 150+ services depend on other services ?
But Macbooks still only come with glare screens, or has this changed?
I consider the small hop to TS its greatest disadvantage, personally. JS's ecosystem is a horribly broken mess, and any sane person would welcome a leap to another, better designed one. Dart has JS-interoperability for those times when you just can't get away, but TS is like an anchor holding you down in the mire of the JS world.
Why not both? I just installed flow and checked the JavaScript output of my TypeScript project (~2000 lines) and was a little disappointed it didn't turn up any errors.
> There are other, non-nefarious reasons.

Cost is a nefarious reason?
Relative to the $285M median raised by the 158 companies on the WSJ unicorn tracker.

To counter notion that you need capital to get on a certain path, I'd note that Shutterstock, Wayfair, Lynda, Atlassian and others achieved multi-billion dollar exits with no VC in their formative period. In all cases, save Shutterstock, the companies raised late stage PE, but more as a way to cash out shareholders than fund development.
A similar concept -- variable compliance -- that's been around for a while is called series elastic actuators. With geared motors you think in terms of position and speed. With direct drive or series elastic you are instead controlling torque.
IMO, more than motivation, more than all the tip/tricks/productivity hacks, the one thing that keeps a person going for long periods of time is sheer discipline. When you make something a part of your daily routine, irrespective of the external/internal stimuli, you just keep at it. Not because there's some mega reward at the end of it, not because you're passionate about it, but just because you are "used to it" ! I think this was brilliantly explained by Scott Adams in his Goals vs Systems article. Instead of looking for motivation/passion and stuff, try to build a system / discipline around what you want to learn / want to be. Rest everything follows automatically. Even if it doesn't give immediate results, a system just doesn't stop, it keeps going !
What's your sense of the number of IoT vulnerabilities that are due to misconstrued OS semantics? Mine --- and I've done a bit of work here, but not that much --- is that there aren't that many.

Really I think it depends on what you're doing. If the work you're doing is fundamentally kernel work --- if it's all about interacting with the security boundaries of the hardware (not just "interacting with hardware", like getting the bits from an RF codec, but manipulating hardware shared by attackers, like the iPhone SEP) then L4 is a pretty huge security win.

Otherwise: the problem you have isn't your OS, but the programming language you're using to build with.
GE Goes into High Gear to Attract Silicon Valley Tech Talent
What's the difference between "work" and "right"?
And Twitter needed an "engineering office in Bangalore, India" because?
Get Your Board on Board with Updating Your Website
There isn't anything different really different in the transfer, as both the buyer and the seller have their own banks, the buyer tells his bank to send the funds to the seller's bank, it does, and the seller hands him the jet. Bank to bank transfers can easily be 10's of millions and hundreds of millions per transfer.

As for security, once you get to a couple of hundred thousand dollars in a bank they will generally assign you your own account manager and you can work out security restrictions with them. Generally you won't be doing a lot of "online banking" with those accounts but I could imagine people do. If you have a lot of money they probably would call your accountant to verify the transfer prior to enacting it if it didn't come directly from them.
>> It's basically $0 in Twitter dollars.

It's not when it happens to 10, 50, and then 100 teams
> The key to success is to change your point of view so that the act of becoming slim (dieting, exercising, etc) or the act of getting things done (working) is what you desire.

Do you have more advice related to this?

For example, there are literally hundreds of little hobbies and projects I'd like to work on or get better at. For 20 years now (sigh) I've wanted to learn how to play guitar. I've taken lessons from different teachers, I've bought music for pieces I want to play, I've joined online communities, and even bought a second guitar to keep at work thinking it would be a nice thing to have for those times when I'm stuck on a problem. Other than the toy songs in a Hal Leonard book and a few scales, I can't play a single thing. All it takes is regular, deliberate practice, right?
It's hitting the Reddit frontpage as well, so yeah.
3 Reasons Asana Is the Right Choice to Manage IT Projects
> Compare to "modern" SPA-monstrocities (like blogger.com until recently), where you had actual code written to defer showing the (1KB) content (which you came for), until several MBs of fonts, scripts and whatever had loaded, parsed and executed.

Whoever came up with that idea should be loaded, parsed and executed.

> We need to get back to the basics. The basics worked, and the direction we're heading is doing all the wrong things.

Frankly, it's gotten to the point that I don't even like using my smartphone anymore. Even with uBlock, sites take too long to load, they do annoying things with animations, colors and behaviour, and it's just generally a burden to use.

I just want to be able to read documents and follow links to other documents. The Web was awesome when it was a web of documents, linked together.
But Flow still needs to be able to parse the JS. If it thinks your JS is invalid, you'all get an error.
They are? I haven't run into any problems with the latest typescript@next.
Well, it's a little amusing I suppose, but I don't see what makes it 'kind of amazing'.

I never understood claims like "if there's no free will, why do anything?"; it doesn't matter whether something's deterministic or not, only whether it's predictable or not.

The only non-BS form of "free will" I've come across is Wolfram's approach of computational irreducibility, where "I" am the computational process which calculates my behaviour. From that perspective, even if someone can predict my behaviour and choices with 100% accuracy, it's still "me" making those choices, since their model of me is just another instance of me.

Everything else is just geocentric fairytales.
That made me chuckle. Who would have thought having a headphone jack would be a defining feature?
Firing a offshore team usually improves morale for the onshore teams.
How to Design Lead Nurturing, Lead Scoring, and Drip Email Campaigns
Bash 4.4
I'll just point out the nuclear power plant Olkiluoto 3 which is well behind schedule and estimated to cost €8.5 billion [1]. Sure, the original price tag was €5 billion lower, but it's just the materialized cost that matters in the end.

[1] https://en.wikipedia.org/wiki/Olkiluoto_Nuclear_Power_Plant#...
First, it depends on how you use it. L4 is pretty close to a "libOS". You can built sandboxes on it, or you can build something more like a monolithic OS on it.

Second, in IoT devices, sandboxing is a lot less interesting, because there aren't that many use cases for sandboxed sensor inputs (you're not RFing or button-pushing whole PDF documents).

I like L4! A lot! But I would be very wary of an IoT device claiming to have inherited security from it.
But The TS parser will see object spread as a syntax error.
Beyond the money it allows them to focus more on something else, which can be extremely valuable.
Defining a pure function as "a function that is pure as long as you use it purely" isn't a very useful definition. (Note distinction between "not very useful" and "useless".) It isn't very useful to humans, who do not have the cognitive bandwidth to process the resulting graph of purity and impurity through any non-trivial code base, especially in dynamically-typed language like Javascript where the purity of a function's invocation can be changed at runtime with the full arbitrariness of a Turing-complete language. It isn't useful at all to compilers or JITs, who if they can not be assured a function is definitely, 100% always pure must always check in one way or another and thus lose optimization opportunities.

It's sort of useful in terms of looking at leaf nodes of the structure of the program and determining that this call is pure (today, at least) and thus reasoning with it hyperlocally, but that's pretty much it, and that's not that great of an advantage over what programmers already do. And such reasoning is still quite weak given that it can be invalidated by changes to the local environment, like complicated objects getting passed in.

I think purity isn't too confusing here, and it's not really a Haskell concept being used, it's general purpose. It's just that the answer given by the post is correct; it's essentially impossible to write pure Javascript code. It's also, for much the same reasons, impossible to write pure Python, Ruby, or Perl; there's so many ways to invoke something that runs arbitrary unconstrained code (properties, method overrides, class-level hacks, metaprogramming, redefinitions of symbols used by the function) that it's very difficult or impossible to write pure code. (I think you could write a pure id function in JS. But in light of the fact that x + 10 can be impure, that would seem to be about the limit.)

And this fact is not just academic; it's part of the reason why it seems like JS engines have plateaued at around 8-10x slower than C. These issues may be academic to most JS programmers, but they are brutally, unavoidably practical to someone writing a JIT.
Maybe they were given ample prior notice, then Twitter reported only the actual closure, not the plan.
That's exactly what the libertarians on HN post. I seriously hope it's a very vocal minority though.
I think that concern over malicious communicators will at least slow this down. If not implemented correctly, it could give hackers a dangerous amount of control over traffic.
Legal contracts are no replacement for technical impossibility.
How is "here, install this module" different from "here, copy and paste this code"? (And where exactly does licensing come into that?)
Earthquakes, ‘Mars-quakes,’ and the possibility of life
What tax rate does it take before: (1000) * (1 + 0.08 * (1-x)) ^ 30 = $8,069.6.

Plug some numbers in and it's ~9.9% effective tax rate not 15%. Extend that from 30 to 300 years and that % keeps dropping.

The numbers are even lower if that initial 1000$ was profit not principle.
Not producing by twitter's measurement. If it was their fault, or their manager's or maybe it was simply a bad decision to open that office there, is completely irrelevant.
What if they didn't have families, would their discomfort mean less to you?
OMG, Yes!
George Soros is investing $500MM to help refugees in ways governments can’t
5 Free Tools and Resources for Creating Visuals and Infographics
Here's the famous verified one: https://github.com/seL4/seL4
In, say a relatively historic area where all the buildings are the same, what is wrong with mandating brick colour?
What does separation between kernel and application really matter for single-function devices, like most IoT things are?
> Performant is not an adjective, it is a noun. "One who performs".

It has been used as a noun, but rarely. You are thinking of the -ant formation seen in informant: one who informs. But this is not the only -ant in English, and it is not the one used here.

That which is resistant, resists well; it offers a good amount of resistance. Those who are insistent, insist strongly; they make plenty of insistence. That which is compliant, complies fully; it is very much in compliance.

That which is performant, performs well; it offers (a) good performance.

As to what good performance is:

> Software can perform well at its job (not crash, get the correct answer) but may not perform efficiently (takes a long time, has unbounded resource use, uses a brute force pattern).

This is a reasonable objection—I agree with it, wanting speech to be plain—but here is something to oppose it: I suspect that just about everyone who clicked on this article, including the two of us, knew precisely what the author wanted the word to mean, even if they had an objection to that use of the word. Performant has sprung to life, and it describes an efficient performance.

As for what I think of the word: the English language is already rich with others which would do just as well, which is probably why this one seems so jargony. It is one of those technical words that sounds more like a social signal—"I know what I'm talking about"—than something precise: "This is what I'm talking about."
And for the official source: https://support.google.com/nexus/answer/4457705?hl=en#nexus_...
Well, there goes Twitter. It was a nice experiment. Pack it up.

Seriously, why is this news...
The 4x 'colder' here really threw me. Took me a minute to realize you meant 1/4 the temperature. Strikes me as an odd phrasing, like saying "airplanes fly 23x 'lower' than LEO".
"less than 20 people" also implicitly assigns a value to 20 people. Should read "fewer than 20 people."

(ok im sorry for nitpicking)
So you're saying there's a chance!
Possibly pertinent: at OOPSLA 2000 there was a paper, "An Aristotlean understanding of object-oriented programming"

http://dl.acm.org/citation.cfm?id=354222.353194
The civil war in Syria has been one of the most critical situations in US foreign policy for several years now. It has consequences for the stability of the region and the rise or fall of IS, it has consequences for the security of Israel, a key ally, and it has consequences for how our modern relationship with Russia continues to develop.

You can call our foreign policy a joke, but it's inexcusable for someone running for the most powerful office in the world to not have even a cursory knowledge of it.
I agree. Even just writing "We thank the X affected people." would have been better. The "less than 20 people" interjection makes it sound like they're trying to minimise the importance of it and making a point of it being such a trifling little firing-round that they couldn't even be bothered checking the exact count.
And on top of that you have obstructionism (from both sides) and deliberate efforts to sabotage the other side.
I'm happy to believe that almost all IoT vulnerabilities are application level problems.

The beginning availability of verified kernels and compilers makes it much more worthwhile to invest in formal approaches for application level vulnerabilities.
Thanks for making the effort, but this definition is problematic in several respects. First of all, Trump is only a bit behind Clinton in the polls now, so either OP is wrong about Trump's supporters being those, as you put it, "far away from the median" (we typically call this "long tail") or the variance is much higher than any rational observer could believe. 538 gives Trump an 88.5% chance of winning the state where I live. The median voter here is a Trumpet.

Second, the proposed method of making this identification is entirely subjective. I'm planning to vote either Green or Libertarian this election, because I oppose war, prohibition, and other travesties of the status quo. On the topics of most concern to me, I literally can't tell the difference between Clinton supporters and Trump supporters. How can I determine whose "sins" I should "hate"? Perhaps I should hate my own sins, even though they couldn't possibly be of support to Trump? This is quite disturbing to me, and the principle of charity had previously ruled out this reading of OP.

With the same kindness you treat everyone else, but without having to agree (or pretend to agree) with our have any respect for their views. You "hate the sin, not the sinner".

Incidentally, if any particular campaign takes this particular idiotic rhetorical stance, and then loses, and then wonders why? They'll be able to blame this particular idiotic rhetorical stance. In order to convince people of anything, one must speak with fluency in the people's terms. Your use of "sin" here would not be considered idiomatic by any Trump supporter I know.
Just asking to nail down definition of "puppet": is SK a US puppet?
An equally 'deep' advice could be: I don't care what you do, as long as you don't do it for the rest of your life.
China’s LeEco raises $1.08B to build its electric sports car
20 down, 2000 to go?
It runs just like loca https://www.youtube.com/watch?v=x2RJN9a_jdM
how's their update schedule for Security fixes and OS versions?

How botched are their security lockdown of their phones compared to the Nexus line?

Can't seem to find a list of CVE's fixed with each update (not in their changelogs, that they only post on the forum...) , based on that, they do not fix known security problems.
UK already get's some electricity from France, getting it from north Africa does not ramp up costs all that much. However, wind is another option, hell double that that to 5 cents per kWh and it's still cheaper.

PS: Land costs are less of an issue than you might think as solar does not take that much more land and you can generally use the space under it. Unlike the exclusion zone around nuclear power plants.
Molten salt reactors look both safe and cheap. Half a dozen startups are trying to get governments to let them build prototypes.
Approving a Muscular Dystrophy Drug Ignites a Civil War at the FDA
> As soon as you require precision on all browsers, it becomes a nightmare.

Don't do that then. Seriously, browsers aren't meant to provide bit-for-bit precision. Really, they can't: your page will be viewed on phones, on phablets, on tablets, on laptops, on desktops, on giant wall-screens; it will be viewed in colour, in black-and-white, in high-contrast palettes; it will be viewed with the same fonts you have installed, and without them and in monospace; it will be read aloud; it will be copy-pasted; it will be saved as plain text or as HTML.

Just … don't do that. Resist the impulse to do everything one browser or two browsers will let you get away with; limit yourself to what works on all browsers.
> Large internet companies like Amazon, Netflix, and Twitter have shown that single monolithic codebases do not scale to large numbers of users,

And yet, both Facebook and Google have large, monolithic codebases.
“We have to get it right”: New rules for self-driving cars, Obama explains why
> ten four? sounds like tensor flow - machine learning.

Sounds a lot more like "10-4"

https://en.wikipedia.org/wiki/Ten-code
"What U.S. president will make sure we make a national upgrade to competitive, last-mile-fiber-plus-advanced-wireless connections?"

Al Gore. :-(
The best question that I was asked by a 50-something when I was a 20-something was about my team:

"Do you want to be bailing out a sinking boat with them for the next 10 years?"

Now that I am nearly a 50-something myself, I still think its the most important question to ask!
“Google” Your Own Brain: Create a CMS with Neo4j and Elasticsearch
Is it safe to say that you feel like those folks wouldn't ask those questions in the hallway afterwards, or that you wouldn't follow the speaker out there to hear them? If so, can understand why you'd want to hear them from the stage.
Google Pixel has build quality far in excess of anything else I have seen including those Apple computers and those Thinkpad computers that others uphold as the benchmark of quality.

I am delighted with the 2013 model, still available but only 4Gb RAM. RAM aside (not a problem for me) the keyboard is best out there as is the trackpad and the speakers. I believe the screen is the best too, because I prefer the 2:3 aspect ratio, but it may not have the most pixels etc. Everything is subjective but I think that the best hardware for a linux dev box is a rather high end Chromebook.
Sorry. Wrong thread.
>Each of those 20 people have lives and families. Not producing by whose measurement? Who defines that ,they were obviously hired for a particular job and have been doing it for a while and pretty well if they weren't fired before.

Don't necessarily disagree on the human impact, but this is a strange reasoning.

>Not producing by whose measurement?

Obviously by the one who hired them?

>Who defines that, they were obviously hired for a particular job and have been doing it for a while and pretty well if they weren't fired before.

Nobody is fired until they are fired. So by the same logic, everybody who wasn't fired immediately did their job "pretty well". Alternatives not considered:

(a) they did their a bad or mediocre job for a longish time, but company only ever cared to fire when money got tight, cuts needed to be made, performance review was completed and they came up empty.

(b) they did their job bad for a short time, and they're fired as soon as it was discovered.

Of course firing is can be also because they were hired for a specific project that they completed and now they no longer needed, or because the project went south or went out of favour with Twitter management and Twitter wants to kill it, etc.

Or they do their job perfectly well, but it doesn't bring Twitter the money it expected, so they are canned.

>I wonder how much help Twitter is giving them in looking for their next jobs

None? Like most employees? Besides maybe a good recommendation letter?
The oldest phone to get iOS 10: iPhone 5, released Sep 2012.

The oldest phone to officially get Android 7: Nexus 5, released in Oct 2013.

Sure, it's 1 year less, but you sure did exaggerate. Also Nexus phones get more frequent updates than iPhones, and I'd argue they're much better updates.
Speculative Financing in Technology Companies Strikes Again
Rather than talking in terms of “purity”, it's better to talk in terms of “effects”. Raising an exception is an effect. Returning different results when passed the same arguments twice is an effect. I/O is an effect. Looping forever (also known as “divergence” in some circles) is an effect. What you call “purity” is just the absence of effects.

From the point of view of programming language semantics, what all effects have in common is that they reduce the extent to which equational reasoning is applicable to our programs. For example,

f(x) == f(x)

doesn't always hold if `f` is a non-deterministic procedure, and

function foo_bar() {
var x = foo();
var y = bar();
return (x, y);
}

isn't the same as

function bar_foo() {
var y = bar();
var x = foo();
return (x, y);
}

if `foo` and `bar` have effects that don't commute.

---

Higher-order functions also give us an interesting possibility: effect polymorphism. Let's consider the humble `map` function, operating on lists:

map _ [] = []
map f (x :: xs) = f x :: map f xs

Intuitively, it's clear that `map f` is an effectful procedure if and only if `f` is an effectful procedure. This notion can be formalized by giving `map` the following type signature:

forall (a b : Type) (f : Effect). (a -f-> b) -> (List a -f-> List b)

Where `Foo -Bar-> Qux` means “procedure with argument type Foo, effect Bar, and return type Qux”, and `Foo -> Bar` is sugar for `Foo -Pure-> Bar`.