skysight-inc/HackerNews huggingface dataset:
Actually, I've thought of something that will be an even better example. You mentioned "reduce" here

https://news.ycombinator.com/item?id=11910858

Could you link to its implementation?
The Google AMP CDN is provided as a "convenience" to publishers, but publishers can ask Google to link instead to their own CDN. I think because the project is early, right now this can only be done via a manual request to Google. But it's going to be required downstream for publishers to synchronize their visitor data appropriately, recognize subscribers, and serve ads.

(disclosure: my company, Parse.ly, is an analytics launch partner for AMP.)
How do people using Flow handle this problem?
Constants are external inputs to a specification. All you know about them is what you assert in the assumptions. When you use the proof system, the assumptions are your axioms and if you don't have any, then it's really polymorphic. If you use the model checker, you'll need to supply the checker with a concrete -- and finite[1] -- set for all constants.

[1]: The one supplied with TLA+, called TLC, is powerful enough to model-check an expressive language like TLA+, but it's algorithm is rather primitive; it's an "old-school" explicit state model-checker. A more modern, state-of-the-art model checker is under research: http://forsyte.at/research/apalache/. BTW, modern model checkers are amazing. Some can even check infinite models.
If you're in an environment where rolling up one's sleeves and taking on the grunt work leads so quickly to negative reinforcement loops, in the way you describe... then that's a sure sign that you've found yourself in the wrong environment.

In healthy environments (and yes, they do exists) good deeds are actually rewarded, not punished.
"Where the rotor holds the seals in a normal Wankel, the housing does that job in the X1 engine."

I'm not sure how that will affect durability though.
You're right, it wasn't obvious. I had hit submit too early, I had meant to ask how long the contracts typically last for and if maybe it was better for a company to just use shorter contracts. Are they required to be permanent for the most part? Sorry for getting way OT here.
Well, I'm pretty clearly not making a case for anything other than my own opinion about the language used. Since I have no emotional attachment to this at all, I'm merely pointing out my initial interpretation, based on the language used, is that this is probably a witch hunt.
That divide is fabricated by political strategists (see "wedge issues"). When you talk to people about topics where the parties haven't staked out a position yet most people are willing to compromise or simply don't care.
How we are using Docker Swarm and AWS to autoscale our container platform
I doubt that typings will be shipped with most popular repos. I actually think, this is a dream that will never happen.

What I think TS team did and I'm so happy about it is that they made the easiest possible way for us TS devs to contribute to the definition files in a distributed way.
Former IBM Engineer Charged with Stealing Source Code and Selling It to China
RabbitMQ as a message broker for Rails and Node.js
HTML version now has a TOC as well!
> but the article says the 40 pound engine makes 6.5 horsepower.

So? Every production car engine today weighs more than 40 pounds and makes more than 6.5 horsepower. That doesn't obviate the need to lighter engines, even if they are less powerful.

> Also, one costs $50 and the other probably $50,000.

Doubtful (and where are you getting $50k from?). You can see most of what goes into the engine in the video. Their advances seem to be mostly process and shape changes, not due to some space age material. It may cost $1000 in its current incarnation, but that's what you get when you manually machine all the parts instead of have them mass produced.
I have a coworker & friend who baits me into conversations like these. One time at lunch I realized near the end that I had monopolized most of the conversation. I'm the class introvert who by nature doesn't say much but rambles given the right topic. So I started to apologize and he replied: "Jonathan, that's why I asked you the question."

Not all people are looking for their own words echoed back to them. Like the OP who suggested this advice in the beginning, some people are really interested in seeing things from different viewpoints.
Strange in a the sense that the rational choice would be to promote your best asset while they are in the company. There are tough times in all companies but, in some, the best assets decide to leave when there are tough times because this is the last nail in the coffin of a toxic work environment.
Why would a relaxed load/store be slower? They'll usually just compile down to a mov or whatever the equivalent is?
That's what Moller, the flying car guy, did. His "Rotapower" engine[1] is an overdriven Wankel. Lots of power, but a short life, which is why the engine never went into production.

(The Freedom Motors site looks convincing, until you compare it with their site from 11 years ago. That's Moller - Real Soon Now forever. Over 40 years of Real Soon Now on the flying car.)

[1] http://freedom-motors.com/
[2] https://web.archive.org/web/20050411075152/http://www.freedo...
Years? How long a password would you need to make GPU cracking take years?
For all I know, the GCD function buried in that gobbledygook could actually be calculating the LCM, and the proof could be of that.
If all you're worried about is keeping the low-level noise out of your logs and discouraging waste of resources on brute-force attacks (which won't work because of course password auth is disabled), I think it's sufficient to use the built-in iptables rate-limit feature on SYN packets.

UFW has a feature that will implement this with a limit of 6 SYN packets in 30 seconds from individual IPs.

ufw limit ssh/tcp

This may not be ideal for some services like http without persistent connections, and if fail2ban provides extra exploit protection it could be worthwhile.
Way too much, definitely
The need for speed also leads to urban pedestrians having to see and avoid vehicles that are optimized for Atlanta-sized interchanges. And the trendiest "green" cars are the worst: the Tesla Model S P85D weighs about 5,000 lbs and accelerates from 0 to 60 mph in 3.2 seconds in "Insane Mode".

Really hoping something like the Toyota i-ROAD takes off: https://www.youtube.com/watch?v=lgygLfbzLqM
Some nice visuals to explain the concept
http://www.npr.org/sections/thetwo-way/2016/06/15/481934630/...
Is it though? The memcpy implementations I remember reading about do all sorts of exotic things depending on the size, which processor, etc.

As you mention, sometimes it's still slower and depends on microcode. A dedicated memcpy instruction shouldn't have that issue right?
I see your point. Learning how to reason effectively in higher and higher levels of abstraction can be daunting; however, it can pay off very well. Ask a mathematician about the set of interesting problems that can be visualized and they will tell you it has measure zero.
Enjoy it while it lasts! As soon as they find someone new and better, you're fired!
AFAIK, the main requirement for AAA games is to ship something in time (Christmas doesn't wait) that runs fast enough. And the thing to ship is the game, not libraries that will help making the next game easier.

It may have changed a bit now that hardware speed doesn't increase that much anymore, but historically, that even applied to game series. Even if you knew there would be a sequel, that sequel would target vastly improved hardware, which means new graphics effects, higher-resolution textures, etc.

That is not an environment that leads to high-quality code. The ability to update a game over the Internet hasn't improved that situation, to state it mildly.
I agree, this seems very much like a culture problem that wants a culture fix, not a technical one.
> is to dismantle them

And then what?

Because a new institution is going to sprout up in its place. Maybe some aspects (e.g., medical billing) will be improved. But there will still be a new institution and it will still have lots of bugs, some new and some old.

Your suggestion is like noticing that a few modules of an XX MLOC code base suck and then deciding to rewrite the entire code base.

You might decrease the code base. But probably not by an order of magnitude.

You might fix some bugs. But you'll sure as hell introduce new ones, too.

You're definitely going to end up spending a shitload of money.

And eventually, assuming your software is actually used by real people, your beautiful new code base will become a cluster fuck for the same reason the old one did.

In most cases, the wise move is to actually identify the problems and solve those, leaving in place the solid components that actually work well.

Just like the XX MLOC codebase, institutions aren't the problem; rather, they are the inevitability. You won't get rid of them by throwing away the ones we have now, and in most cases you're better off fixing bugs than starting anew.
Karen the Supertrader's Winning Strategy Relied on Fraud, SEC Alleges
Don't just change SSH key requirements, also change SSH port.

Port 22 is possibly the most heavily scanned port around.
Unfortunately, that adds another pocket to be paid, thus making slim margined goods unaccessible at traditional brick and mortar.
What are you looking for in particular?

If you're looking to gain functional familiarity / put in practice reps with classical classification & regression algorithms, I think that running through the online tutorials for scikit-learn is the best bet.

If you're looking for the theory behind the above, I think the book by Peter Flach is the best intro; "Elements of Statistical Learning" is the classic tome, but much more mathematically motivated.

If you're looking for more specialized subjects, each has its own resources. Bayesian modeling? Gelman's BDA3 and Cam David Pilson's github book. Gaussian processes? Rasmussen. Etc., etc. for neural networks, reinforcement learning, etc.

As a random recommendation: David Mumford's "Information theory" is eclectic and fun, but disconnected from the mainstream.
I'll quote my own:

Reduce(Op(_, _), x, seq) ==
LET RECURSIVE Helper(_, _)
Helper(i, y) ==
IF i > Len(seq) THEN y
ELSE Helper(i + 1, Op(y, seq[i]))
IN Helper(1, x)

A couple of things. First, the need for the helper is just a limitation of the language that doesn't allow recursive operators to take operators as arguments. Second, I used indexing, but you can use the Head and Tail operators. It's just that I use this often, and I care about the model-checking performance. Finally, Reduce is an operator not a function (it is not a function in the theory). Hence, its domain (for all arguments that aren't operators) is "all sets" something that would be illegal as a "proper" function (Russel's paradox). Operators, like functions, can be higher order, but they're not "first-class", i.e., they can't be considered "data". Functions require a proper domain (a set).
This sounded so promising until the OCaml part. The problem is, the masses don't program in OCaml. They program in C# or Java, or C++. So this is really lock-free programming for OCaml, which is a lot less relevant.
In "American Amnesia" (1) Jacob S. Hacker and Paul Pierson argue that post WWII, the mixed economy of private business / free markets doing what it does best, in conjunction with the government investing in education, science, technology, and infrastructure (which all benefit private sector), while providing a safety net, resulted in prosperity.

The trend since Reagan / Thatcher years (neoliberalism) and anti-government free market fundamentalism threatens this constructive partnership where private sector and government were both rivals and partners.

On the one side you have "starving the beast" (think Grover Norquist, Tax Pledge), defunding critical programs to the point of dysfunction. Does it surprise anyone that the IRS is underfunded by Congress to pursue tax evaders, as Congressman are lobbied to keep loopholes open?

Another calamity is NASA's Earth Sciences, the part that studies Earth itself (climate change, etc).

On the other side of the isle, the dems have failed to make government /efficient/ and a visible positive force in the daily lives of average people.

(1) https://www.amazon.com/American-Amnesia-Government-America-P...
GraphHopper is an extremely impressive development - and it's open source (APL2.0): https://github.com/graphhopper/graphhopper

What I still dream of is support for public transport/timetable routing (GTFS). That would be great.
More details:

http://www.sec.gov/news/pressrelease/2016-98.html

http://sjoptions.com/karen-supertrader-lost-money/

https://futures.io/options-futures/39621-sec-complaint-again...

http://www.elitetrader.com/et/index.php?threads/karen-the-su...
> UAV

There are a lot of customers there these days.
Funny how Netflix HR polices never extend to the boardroom or the C-suite.
Additionally truck could take an high res photo + location of those teenagers and mail it to concerned authorities with in seconds. I think this will lead to less investigative work and hence less law enforcement employment.
When drones go pro
I ordered mine in November, when are they actually planning on shipping?
I'm not sure why the iPhone backups on your system didn't get backed up. The device backups stored in ~/Library/Application Support/MobileSync/Backup/ is not in the exclusions file that I see.

P.S.: The latest app binary files may not get updated/synced on the Mac post iOS 9/iTunes upgrade.
Honest question, why does nftables get so little love vs iptables?
> I'll quote my own: ...

Thanks

> Operators, like functions, can be higher order, but they're not "first-class", i.e., they can't be considered "data".

Do you mean you can't pass an operator to a function (or make it the argument of a computation)?

EDIT: Or more generally, what are the consequences of it not being "first-class", i.e., not being considered "data"?
I get it. Taiga is great for you. Use it. Any other project management software that is paid - sucks. I get it too. Amen.
Wait, Vertica forbids publishing benchmarks? What exactly are they going to do?
Ask HN: Best way for a self-taught programmer to have code reviewed?
I've been self teaching for about eight months now and can hack together working projects, but I'm sure my code is an absolute mess. Does anyone know of good resources (free or paid) for a more experienced developer to give feedback on one's code?
wow this is phenomenal
The ODROID-C2 is a neat device, but not at all comparable with an A1100. The A1100 has 8 A57 cores, while the ODROID only has 4 A53s. Mainline kernel support for the A1100 (and HuskyBoard, etc) has been relatively solid for a while now, while the C-2's SoC only made it into 4.6, and we're seeing the beginnings of a device tree in 4.7.

edit: Some A1100s only have 4 cores. They're still 4 beefier cores than the S905.
I don't see a system where some people don't work as doable.

Let's say we institute a UBI and 50% of jobs are eliminated through automation. Everyone has a basic standard of living, but those who still have jobs (who designs the robot?) have a much better standard of living (they would have to or why work?). Now you have a huge amount of income inequality and 50% of the population can't do a dam thing about their situation because there are no jobs.

The only way to fix that is to redistribute so much wealth that the incentive to work is basically eliminated. I think that's been tried before and it failed horribly.
Not sure why this is being downvoted; it's pretty much the straightforward truth of what happened. The US had Local Loop Unbundling for copper phone circuits from 1996 to 2005. In 2005 under Kevin Martin, who was a political appointee under G.W. Bush and widely understood to be a friend to the ILECs, the FCC stopped defending the policy and basically gutted it through rulemaking. They could have done then what the FCC is doing now, and either threatened or actually moved forward with reclassification, but decided not to for what were pretty clearly political reasons.

These issues are, very obviously, political; anyone claiming otherwise is either being deceitful or deeply in denial.
First time might be a fluke, second time might be a fluke, third time... The theory might be right.

Basic science.

Remember, this was imagined by some dude 100 years ago. That's nucking futs.
Keep Calm and Love JavaScript Unit Tests – Part 2: Asynchronism
Tell me, how would you prefer victims to speak?
It has always been 10pt.

A month ago: https://web.archive.org/web/20160515220137/https://news.ycom...

A year ago: https://web.archive.org/web/20150615000910/https://news.ycom...
As others have suggested, you might benefit from a professional's advice.

Besides that, maybe this is a burnout? If so, there have been several threads on how to tackle it on Ask HN. Maybe some of them can help. If it is burnout, one of the best ways to tackle it is to take a hobby in a field completely unrelated to tech. It should be something in which you can see tangible results/finished item in a few hours of work. That can help you calm your nerves, give you the euphoria of having a completed project on hand and serve as a good diversion in general. Breaking the constant worry about the current career and focusing on something completely unrelated might also yield a breakthrough insight on what you actually want from your current career, which you can translate to actionables.
Why don't people report/blog about these things immediately? It's hard to tell what can be true or what is just piling on someone who their ingroup decided to hate.

> They included first-person accounts of Jake deliberately intimidating and shaming people, not taking no for an answer, undressing and sexually touching a person who was sleeping, and having sex in front of a group with a person who had repeatedly said no.

So...we're supposed to believe that this guy decided to have sex in front of a group of people with a person who repeatedly said no and gave no consent, and the group just sits there and watches it, and then blogs about it months/years later? What kind of people are these that just stand around and watch an obvious rape go on? Are they accomplices? Liars? People suffering from bystander effect?
I'm definitely not a good person to explain or comment on this, but in a nutshell:

Black hole collisions were expected to be a fairly common occurrence, but we had no way of knowing for certain how frequent they are when only one had been detected. Now that another one has been detected a fairly short time afterwards, it supports the prediction that we should observe several of them every year.

If black hole collisions were very rare events, it would be harder to use them as a natural laboratory. It's much easier to demonstrate that some small deviation from theory is real when you have multiple observations of it.

Therefore, this second observation in a short time confirms that gravitational waves are likely to be a useful tool to explore fundamental physical principles.
https://blog.codinghorror.com/web-discussions-flat-by-design...
We already produce enough food and housing for everyone, we just don't let the people who don't have jobs to use the surplus.
Worth bearing in mind that most of those "neutral" economists also said it would be a great idea for the UK to join the Euro.
No just default build.
>he signal persisted in the LIGO frequency band for approximately 1 s, increasing in frequency and amplitude over about 55 cycles from 35 to 450 Hz

Would love to hear an audio facsimile of what this might "sound" like.
How to Hire the Right People in Silicon Valley
> Why do both drivers have this warning?

Because the LCD is an eDP (embedded DisplayPort) LCD, both Adafruit and Abusemark boards are only breakout boards to turn the FPC connection into a mini/DisplayPort port.

> What would make it not work with an HDMI adapter

Unlike a normal desktop monitor, which has a PCB inside with a chip that accepts a variety of inputs and drives the display in its native format (LVDS or eDP) [1], these adapters lack that. They rely on the controller inside the LP097QX1 LCD itself, which only speaks eDP because it's designed to be used in tablets which output eDP.

You cannot drive the LCD at any resolution other than 2048x1536@60Hz. The LCD doesn't support any other resolution or refresh rates.

> and is there any way to somehow use this with an HDMI output?

No.

[1] http://www.tarduino.cc/2014/10/dell-ultrasharp-24-ultra-hd-m...
Simp: Emulator for many historical CPUs
The end target is to measure gravitational waves of Big Bang and learn about the origin of universe.

PS: Watch this brilliant video [1] if you want to know what gravitational waves are.

[1] https://www.youtube.com/watch?v=4GbWfNHtHRg
It's easy to get Chromium on any platform. It's harder to say that for Java, or native apps that the author may or may not know how to build and support across OSes.
Cool idea.
You can post it online and surely you can get tons of criticism ;)
The article linked from that page is more useful to the physics-challenged such as myself: http://link.aps.org/doi/10.1103/Physics.9.68
Cool, thanks for the github repo. I think the key here is to get developer's imagination going and walk them through where scaphold fits into that :)
“I am quitting Twitter for a while”
You're right.

We sold SoundBridges at my old job in the mid 2000s - I'm pretty sure Netflix was still postage only at that time
FTA:

>RTDS has already created one commercial product, a form of rape

Whoa whoa whoa. Phrasing.
There also FreeOTP Authenticator from Red Hat for both Android and iOS.

It's of course open source.
I'd argue the up front cost is much less than $50. However, using the numbers as provided, the break-even is still less than a single week.

In the breakfast example, you can buy a single McD meal or buy a dozen eggs with a container of quick oats - both are ~$6. The latter is much better for liquidity.

Not to mention, the eggs and oats is easy to cook, requires little 'ingredients and tools', is healthier, and will last multiple days (helping w/ liquidity).
Show HN: [video] Varrando – video platform for the futurist publisher
I wonder how loud it is compared to traditional engines
RAW shooting, a harsher Gatekeeper, and more obscure macOS and iOS 10 changes
Thanks for the reply - I was trying to avoid sounding insulting. There are ethical dilemmas with my job so it would be a little rich to go there.
Regarding good data, bad source (adding to Godwin's law), Nazi medical experiments and the more recent use of their data. https://en.m.wikipedia.org/wiki/Nazi_human_experimentation
There's currently not a non-Google AMP cache, but anyone can build one. All the tools currently exist and are licensed to allow it under Apache 2.0 https://github.com/ampproject/amphtml

https://www.ampproject.org/docs/support/faqs.html#how-do-acc...

"Google has stated that it will provide a cache that can be used by anyone at no cost, and all AMPs will be cached by Google’s cache. Other companies may build their own cache as well."

I suggest reading through more of the information Google provides.
The Forest for the Trees
Do they keep costs down because they are using conflict minerals?
http://enoughproject.org/special-topics/progress-and-challen...