skysight-inc/HackerNews huggingface dataset:
He blocked users in the US for some other inane reason a year or so ago. Treefinder (the software in question) hasn't been updated for several years and has been surpassed by other (better) tools, anyone still using it would be doing so out of habit rather than it providing any insightful edge.

It seems Jobb is ignorant and racist, and this article has no tangible scientific angle - it's just stirring up controversy.
that's exactly right - factories in town use to lay off workers seasonally, then call them back in later.

Can't put my finger on when exactly, but during one of our recessions they stopped getting called back, and then companies started to realize once the local union was busted they could hire new workers at a fraction of the price, and...here you are.
they probably can actuate both hinges at the same time when a tight arc is not needed
http://www.amazon.com/Automate-Boring-Stuff-Python-Programmi... . More specifically, chapter 11 - https://automatetheboringstuff.com/chapter11/ .
> But to hold the entire company hostage seems like it would be a career-ending move to me, regardless of sides.

It would be, if you lose. If you win, you are rich beyond the dreams of avarice. It would also be a career ending move to admit that your system is less than the other system and everyone will remember you as that loser whose system was done better by the current VP of engineering.
The Welikia project is a great resource, but it bears mentioning that it is focused on the island of Manhattan and hasn't yet expanded to NYC's other boroughs.
Facebook and Google, Two Giants in Digital Ads, Seek More
Yes and No:

Yes the syntax of SQL is very different and isn't the best.

No the syntax of SQL and data languages are nice because I mentally KNOW that I am doing Data Management because of this vastly different syntax.

I agree a little more on the new syntax side of your argument, but like an old pair of jeans it is comfortable.
The system that manages the money flow isn't perfect but we don't subsidize driving.

I think you're confusing subsidizing it with taxing it like cigarettes. We don't discourage driving because that would discourage utilization of land that isn't located near a population center. Land is a natural resource that we can't practically use up (short of massively contaminating it) and to discourage its use would be moronic.
It works fine under Chrome, and Safari (both in OS X).
I also thought of introducing Nexus, but since we are only 3 Devlopers (yet, we searching though) it didn't too much sense. I also I hoped for Nexus 3 (but since I'm waiting over half a year now, we might introduce Nexus 2).

Oh and we also using the Cache, when working on newer sbt projects.
The problem with that is that you can't not care about them if you care about meaningful debate and conversation.

The effect of downvotes is to push comments down and fade them away into the background. That should be the effect of filtering low-quality comments, but why should that be the effect of disagreement?
Significant verification projects always plan for verification
and do verification in tandem.

That may be the case, but the point is that dependently typed
programming languages force you to verify every intermediate step, while program logic gives you the option to do so.

A key problem in contemporary software engineering is that specifications constantly change (aka "customers don't know what
they want"). Agile software engineering methodologies have mostly
taken over from waterfalls because agile is designed from the start to
minimise the cost of change (how successful they are at minimise the
cost of change is another matter). If you have to redo not just the
code itself and tests but also proofs every time your customer changes
the spec, the costs of software development increase rapidly. Look at
e.g. Java exception specifications, for a similar but much more benign
problem. The program logic approach to verification does not force the
full cost of verification on the programmer, because verification can
be deferred until the program specification is stable and it's code
passes all tests. This enables a hybrid approach to program correctness: in early states of the software engineering process, you use lightweight methods such as Hindley-Milner like typing systems, and testing, and only in later states you go for logic-based approaches. Let me repeat that the program logic approach always allows
you to specify and verify from day one, so program logic gives you the
best of both worlds.

Dafny and similar tools can only express first order logic

That's a design choice of Dafny's and orthogonal to dependent types vs program logic. Moreover, all program logics where observational completeness has been proven(which means you can prove exactly the program properties that are contextually observable) were based on first-order logic. This is a pretty good indication that higher-order is not needed for sheer expressivity. Higher-order logics are but a convenience that enables shorter specifications and proofs.

This is a silly point. First off proof assistants like Coq aren't
inconsistent with the law of the excluded middle

It's a serious point. Look at the influential nominal
approaches to handling bound names. The reason they were implemented
in Isabelle and are heavily used there, but are basically not used in
Coq, despite nominal techniques being perfectly constructive, is that
nominal techniques have extremely short and uniform non-constructive
proofs which can easily be handled by Isabelle's proof automation,
while the corresponding constructive proofs are long, non-uniform and
not easily handled by Coq's proof automation.

The real reason everybody uses dependent types is that they are
perfectly matched for the verification of pure functional programs,
since proofs are pure functional programs. This is beautiful. But as
soon as you want to verify non functional programs, that beautiful
coincidence evaporates.

This is another key shortcoming of the dependent types approach: it's
unlikely that it can be extended in a beautiful way to low-level
programming, stateful programming, timed programming, concurrent
programming.
Erdos was on serious high test, Benzedrine. He quit for a while but said his math suffered too much.
One thing that interrupts my moments of boredom is the thought of falling behind while the world makes progress.

That is precisely the same feeling you get when you move to a quieter town: "nothing goes on here while 'everything is going on' somewhere else".

This feeling of 'nothing doing' pushes me to do stuff, be it a hobby, reading, etc. I think the idea is pretty much associated to the 'time is money' or the 'time is flying, we're getting older, take advantage of your time' sort of thoughts.

A nice point made in the article is the fact that many people just can't stand live in peace with their own thoughts. Indeed.
Why I'm not going to Web Summit – in Dublin, Lisbon or anywhere else
Any time the demarcation between "remote page" and
"browser UI" is blurred, problems such as "phishing"
attacks become easier.

Hugely important; largely ignored.

Unfortunately, people whose training and experience exists only inside a browser either don't or can't see beyond those confines and the result is reimplementing perfectly adequate external functionality.
Temporary Visas to Import Talent Help Copycats Take Jobs Abroad
Crossref did some analysis on when DOIs are submitted to reddit. DOIs are identifiers / persistent links, mostly for scholarly content.

http://crosstech.crossref.org/2015/09/dois-in-reddit.html

HN thread here: https://news.ycombinator.com/item?id=10303295
For me boredom is the manifestation of a problem. I am introvert and could think on my own for days, but boredom never happens.

Animals in the wild rarely get bored. I worked as an assistant in a zoo while teenager and you could see every single animal getting bored there. And today it is much better than in the past, because we are stating to understand them and we make them work for getting their food and so on.

After I sold my first company I went to an African Safari, and it was incredible seeing the same animals I had seen in captivity, because they looked different in the Wild. In particular, they were the same, but moved and behaved completely different. Their spirit is different.

In my opinion, the same happens to humans, only that we could create our own jail ourselves for paying the rent,raising our kids, advancing our career or having a successful business.
Sequel Pro 1.1 released
I think you have to weight by trade size. If you didn't, I'd say 99.999% of all trades are algo.
One may get bored while doing something but still have to do it (like the regular job at hand)
One can not simply think about anything else, or switch to introspection because one need to concentrate (even boring work needs attention).

Boredom thus could be a symptom, an alarm (get a better job !!!)
Process first, not data first – a response to “Data first, not code first”
Works for me - FF 41.0 on OS X.
Aye, works in IE11 too. Just not Firefox.
Hatred and animosity is definitely a form of speech. You're just drawing a line as to what you're allowed to hate. Carrying pictures of aborted fetuses at clinics and screaming at women attempting to get healthcare is arguable in the same vein.
A response to Evan Todd's excellent post: "Data first, not code first" (https://news.ycombinator.com/item?id=10291688)
"Warning: Using an IP blacklist will stop trivial attacks but it relies on an additional daemon and successful logging (the partition containing /var can become full, especially if an attacker is pounding on the server). Additionally, if the attacker knows your IP address, they can send packets with a spoofed source header and get you locked out of the server. SSH keys provide an elegant solution to the problem of brute forcing without these problems."

source: https://wiki.archlinux.org/index.php/Fail2ban
If the employer provides any value (which he clearly does), he would receive payment equal to the value he provides too.
The ultimate reading list for Tech
Easy... choose Node and put the Python engineer in charge or choose Python and put the Node guy in charge.

Or redo the whole thing in Go.
Is college worth the cost? Many recent graduates don’t think so
"We, too, practice cyberespionage and . . . we’re not bad at it"
- James Clapper

Ironic, for the intelligence leader of a country that had their defensive systems completely penetrated (with the federal personnel records), and their offensive systems fully outed in the most humiliating way possible (by Snowden)

It seems to me that yeah... you kind are bad at it.

At the very least, a little less self-certainty might be in order.
Technologies That Will Redefine the Enterprise: Mainstream Machine Learning
To an outsider that doesn't know much about phone architecture:

1) I can easily envision a scenario where he really is an expert but is not necessarily allowed to come out and say "I am a senior embedded systems engineer working for XYZ Mobile Devices" and has years of experience and is sitting there laughing at you. I should know because there are a couple of completely unrelated subjects that get widely discussed on the internet where I am an expert but can't just flat out state all my qualifications. I try to contribute sometimes in discussions about these subjects but often people say I have no idea what I'm talking about.

2) You seem to believe that he cannot possibly be an expert. He disagrees, and offers no absolute proof (and really, does he have to do that? Why can't we just be nice to each other).

3) I am embarrassed for you because you have seemed to be very mean and dismissive. Even if you're right, using phrases like "You are a Hacker News "Expert" and a bore" and "Save the world from your ignorance" just makes me feel that you're being rude.
You get a special medal for using something from Monty Python.
I Have Read Prop F, and It Is a Normal and Reasonable Piece of Legislation
> The employer could make money in excess of the value added by the employees, by exploiting other kinds of effective monopolies such as patents, trade secrets, even things like brand recognition and goodwill.

Exactly. That's why the ideal case is for the employee to be paid for the value he provides, and the employer also paid for the value he provides (i.e. he provides patents, trade secrets, brand recognition, ...).
The calculation isn't so simple. The use of cars may enable additional business. If that leads to an additional £50 billion in tax revenue, then it would be worthwhile, from a bookkeeping perspective.
> Gerrymandering gets attention because it is malicious misrepresentation, but unintentional misrepresentation is just as bad.

From an ethics point of view, the intent makes gerrymandering worse than unintentional misrepresentation. If you are not moved by ethical considerations, there is still the purely practical matter that the intent makes it much harder to fix.
I think what this author is getting at is similar to the concept of flow.

It's interesting, the article is based on "boredom" but I'm not sure that's the right word. Boredom is a state of "I want to do something but there's nothing to do," and I think what the author is really arguing for is finding time for quiet contemplation, letting your mind wander, personal reflection or, if you will, meditation.

A lot of those books on creativity espouse the benefit of quiet time without distracting yourself with Facebook (or Hacker News). So it's a similar idea here. Allow yourself free self-reflective time in order to be happier and more creative.
Granite OS? Where is the source? If the answer is "private", then that's not good enough for something selling itself as a security product in 2015.

It's hard to find anything real about this phone. I hate these "growth hacked" minimal websites - impossible to find any actual information. Are they really expecting me to buy $800 worth of phone on the information they're showing me about it on that page? Why am I supposed to trust them? Do they take me for a complete idiot?
Some folks go through their university years without much discretionary income.
What I find missing is a native Windows client. For me, "immediate" note taking means that I just hit ctrl-alt-N (or click Evernote icon in a tray), and I am immediately writing. In Google Keep, you basically need to visit a webpage, which is just not immediate. Or you use it only on mobile device?
It's quite possible that your fingerprint has already been stolen

http://www.theguardian.com/technology/2015/sep/23/us-governm...
by curb he probably meant the edge of the curb in which case the helmet splitting in half makes sense, and also that probably would have done quite a bit of damage without a helmet
"The three offices that closed were in Taiwan, Singapore, and Moscow, according to a company spokeswoman. While the Moscow office was more development-focused, the other two were concentrated on sales and marketing. All of its Asian operations will be relocated to Seoul, South Korea, although it will maintain an office in China."
http://uk.businessinsider.com/evernote-layoffs-2015-9?r=US&I...

Mind that "an office" can be only one or two persons doing some local marketing work or do some specific feature implementation.
iOS 9.0.1 cydia for iPhone, iPad and iPod
It's a red herring, anyway. Microkernels aren't so much about size as they are about separation of concerns. Otherwise we'd have to conclude V7 Unix and DOS are both microkernels, which is preposterous.
Ok... So, why would Apple receive the benefit of only exposing iMessage data in secret courts when Google, Facebook, and Microsoft all have to do it in open court documents?
Wow. You must have never lived in an area abundant of trust fund kids. A lot of people I see drive $100k+ cars barely (if at all) have a job that could reasonable pay for such a vehicle.
There is definitely some degree of executive decision their management could make but it would shred one of the two leads careers. This kind of hard call is why you're boss, so it says something about someone when they don't make this call (although we don't know the full story here, this situation happens enough in general).

The post I was replying to was asking why an individual lead engineer in this scenario would do this. They have reasons to fight and no reason to concede. Their bosses have every reason to, at minimum, get both sides to "hug it out" so why haven't they?
More to the point, is it not to your benefit to encounter and engage with quality points of view that differ from your own?
Sure, but it's fun to talk about how you'd build it given some assumptions. I agree with your parent that it seems like a shardable dataset. To boot, I imagine that you could easily store all cars for a city/region in memory (type, x, y, driver id, status, ....).

Next I'd grid the area (maybe 250m2?) into blocks. When a user does a search, figure out his or her block, and start looking for cars in the current block, expanding outwards. You read-lock the blocks as you examine them. You only write lock 2 blocks as a car moves from one block to another (the blocks themselves would have a list of cars, maybe an array, maybe an rtree, maybe another grid).

It all falls apart when a single server can't handle all the load for a region. But then you could sub-divide the region, connect the servers with a queue (this car is now your responsibility), and let clients (not necessarily devices, but the api servers consuming these data servers) join the data.
Arthur Chu Would Like to Make Lawyers Richer and You Quieter and Poorer
How the banks ignored the lessons of the crash
South Korean national IDs 100% crackable
Yes, but even by trade size, the 15% figure is suspect. Perhaps central bank intervention is done by mega-trade on phone. But even your huge hedge fund is going to be able to execute their B+ trade on an algo.
See also Better Place: http://www.greentechmedia.com/articles/read/Better-Place-Bat...

(Although, arguably, it was also launched too early from a technology perspective.)
You're right but if I'm honest, for me it was because I pissed all my cash on a powerbook instantly and forgot to budget for stuff like food ;-)

I still own that powerbook and it still works and thanks to it I learned to cook so it was a good investment in the long run.
Most of Boston seems doable for car-free too, but I don't know if the public transportation can handle it. It's already taxed at rush hour and other peak times. I can't imagine everybody could get to work on time if everybody had to use it without major skewing of some schedules.

It seems like a strong telecommuting infrastructure and culture should be a part of this.
Tesla delivers Model X electric SUV to take on luxury carmakers
Anti-submarine vessels have to do one thing really well to have any chances; be quiet. Fishing vessels can happily plough the ocean wave pinging to their heart's content. An anti-submarine vessel that did that quickly becomes a target, or if the submarine is feeling generous, something to go around - thanks for telling us where you are.

There's a time and a place for active sonar in finding and killing submarines, but it's not from your anti-submarine ship, all day every day.
I picked some best library choices in this repo https://github.com/pjagielski/modern-clj-web

In short it's component + system + monger + om on the frontend
I worked for 5 years as a software engineer at a forex hedge fund, contributing to the development of their algorithmic trading system. This shift started long before the forex scandal broke. Many different financial markets are becoming increasingly automated, and banks are developing their own trading algorithms in order to keep up.
So, as a Brazilian I've never heard about this company before. Granted, they didn't have any obligation to be well-known here but I'm surprised they even exist and are launching this product. The company was even supposedly founded by some people from my city (Curitiba).

Some more info from local news (in Portuguese):

They believe that being a Brazilian company will help to market the product after the whole Snowden thing, and also promise the phone to have 100% "national technology" inside even though at least one of the two models runs Android with an extra layer of security created by them.

They are part of Ciberbras, although their website returns 404... take this as you will.

There are other sources of news about them in the Brazilian media but they're mostly variations of each other, probably press releases (some dating back to February 2015). Apparently they're targeting government agencies, not standard consumer markets and have got at least once "big" contract to sell these secure phones to police departments.

Sources:

[1] http://info.abril.com.br/noticias/tecnologia-pessoal/2015/02...

[2] https://www.crunchbase.com/organization/ciberbras#/entity
I haven't experienced this so far but after reading about your experience, I just took backup of my evernotes.
It's also totally unenforceable as it violates EU Law and German Law
see also http://www.bombsight.org/
"You seem to believe that he cannot possibly be an expert."

Bringing up writing a compiler in relation to SoC design is, in itself, absurd. It undermines the expert claim to begin with. Waving one's hands at "industry mumbo jumbo" (even ARM reference architectures) and alluding to your own claims of knowledge is...incredibly ignorant. It is so far below what HN aspires to be it boggles.

It is what they said that discounts the mere possibility that they have even a basic layman knowledge of the topic, much less are an expert.

"I am embarrassed for you because you have seemed to be very mean and dismissive."

Did you read what DannyBee was saying at all? In response to empirically proven, well backed statements they disagreed, did the knowing wink and patronizing pat on the back, and pretended to have more knowledge based upon a growing volume of claims (first "write compilers", then "toolchain", then "toolchain bringup", none of which have anything to do with SoC-targeted schedulers). I didn't fire the first shot in being "mean and dismissive", and considering how profoundly ignorant this whole discussion is I was being as kind as possible.

It's actually interesting: You have no idea what my qualifications are, or my interest in this topic. Nor do I expect anyone, which is exactly why I cite actual data and information, not just my wink-wink/trust me/"don't believe those SoC fatcats" knowledge.
I used a lot of Evernote as well, but what killed it for me was how slow the mobile client was.

I didn't "switch" as much as I've started (inspired by Luhmann's Zettelkasten) a personal wiki of sorts in markdown files. I've been using 1Writer for iPad (as a separate app from Editorial and iaWriter, where I usually compose text), which already lists the files in a folder on the left-hand side of the screen.

I also have a script on a Linux server that watches for changes in that folder and auto-commits to a local git repo under increasing "version numbers".
Real-Time Lightning Map
I can't predict the future but Nexus + expendable storage seems very unlikely.
> Asus hardware is vastly superior to Lenovo

Is it? From my understanding, Asus has two product lines: Good hardware… and business hardware. Lenovo (and to a slightly lesser degree Dell) manage to make good business hardware.

And if it doesn't have at least three years on-site service, it doesn't matter (to me) how good the hardware is.

> Also, what lines are you looking at?

Lenovo T/X series and Dell's Latitude 7xxx series.

Particularly the 7440, where Dell insisted it's not a problem if the touchpad firmware reboots every minute (freezing input for a second – supposedly it's now fixed, after a year and a half, but people still report bugs), and when a month later the mainboard suddenly died, I stopped bothering with them. Going by reddit et. al. it seems to be a common occurrence.
Do you think that would still be the case in a society in which they were in charge? I don't.
Apple Music launches in China for equivalent of $1.50 a month