skysight-inc/HackerNews huggingface dataset:
Thanks but it still didn't explain why it is legal. It just said it was standard procedure. Sure there are laws covering overbooking situation but that doesn't mean the actual idea of overbooking has gone through legal scrutiny.
Is this announcement official? I don't see anything on their website https://devbootcamp.com/. Also, the timing is off -- it seems announcing this at this time is going to put a damper on the entire next semester.
and it is export controlled - Chinese are not allowed to buy it.
> If they want to "learn" about generics perhaps they can read the literature of the past 30yrs and look at how other languages have adopted those learnings: Java, C#, Haskell, OCaml and Coq.

Yeah, I find it strange how languages are trending at a glacially slow pace to having the same features that strongly typed functional programming languages have had for literally decades. It's like we're going to be using actual functional programming languages eventually but the only way it'll happen is to very slowly change what everyone is currently using in small steps.

Static types, immutability, type inference and non-null variables are popular design choices right now but they've been in functional programming languages for nearly 50 years. I'm still waiting for inductive types and pattern matching to turn up in a mainstream language and seeing them talked about like they're new concepts.
Interesting, could you possibly explain how "halt behavior" indicates that ECC is fully functioning? I've just read a lot about ECC being compatible but not tests explicitly showing it works.
But fast as they use the back plane
An adblocker is a good counter-example: it could work with an API that tracked the page changes and stopped e.g. JS or images inserted by the extension from loading. Even when editing the DOM, it has no need to load anything externally. Sounds possible, but I'm not sure how big the overhead of extending the DOM like that would be.

You probably could still create interactions with on-site JS that leak data sometimes, so it wouldn't be perfect, but that's page-specific and a lot more work.
> After going through MBW’s list of 50 artists, The Verge has learned that most of the artists on the list are pseudonyms for real musicians.

Well, duh. What else could it be? Unless Spotify has been secretly investing a lot of money into cutting-edge machine creativity research a la Google's "Magenta" project, then of course these tracks are coming from "real musicians".
I feel that way today. Most of the web pages I used as a teenager are just gone now.

Old myspace pages? Geocities? Old BBS boards?
You might be interested in my side project: https://github.com/lukechampine/ply

It's a small superset of Go that allows you to call map/filter/reduce methods on any slice. It's not true generics (you can't define your own generic functions or types) but it covers the most common use case for me: declarative data processing.
Well these days, with Amazon, that's what the reviews are for. I've passed on lots of purchases because I looked at the reviews and saw too many negative ones, and bought other things after seeing almost all glowing reviews. A bad-quality product can lead to poor reviews, and this can affect sales.

Manufacturers' warranties are only so useful; a lot of companies make you jump through hoops to actually make use of them. If the product isn't that expensive, you'll end up paying so much in shipping that it just isn't worth bothering with when you can go buy a new one. And you always take the chance that they'll simply deny your claim and then your recourse is to sue them (not worth it for anything under a few thousand dollars) and to post bad reviews.
Thanks for giving our heritage back, JSTOR.

While you're feeling generous, can you also give us back Aaron Swartz?
Writing a second reply because it is kind of a different point that my first.

I respect your view. I wasn't talking about you view point.

I was talking about the people who are outraged about this specific change. Engadget is being ignorant (willfully or not) about the impact of this specific change and left out critical details about it to make it sound like Amazon was sending everything you say to third parties.

Editorializing, fine. But leaving out a critical detail like this and putting the word "may" in front of it to cover your ass is just wrong.

The people dislike smart speakers in general (or "Far Field Communication" as Amazon likes to call it) have their own reasons. Many of which I can see eye to eye with.
Java has "had" anonymous functions for ages with anonymous inner classes, they just sucked as an implementation.
In case someone wants to learn more about the work that got him imprisoned but also won him the Nobel Prize, start here: https://en.wikipedia.org/wiki/Charter_08
"passengers can collude..."

aka collective bargaining, which in principle should be encouraged, to counter power imbalances.

https://en.wikipedia.org/wiki/The_Logic_of_Collective_Action
Building Instagram for the Classroom with Texture
Wake up! It's ALL state owned Communism!
spoilers It sounds like you may not have read all the books yet.
If you're interested in the science behind spinning asteroids, check out https://en.wikipedia.org/wiki/Yarkovsky%E2%80%93O%27Keefe%E2...
Ubuntu Foundations Development Summary: July 13, 2017
Show HN: Hacker News Top Stories Cosmic JS Extension
If your cpu is dense enough to gravitationally bend light by any significant amount then you might have other problems.

But we bounce light off of electric fields all the time, so the a flat chip is not really required (even if you made an all-optical chip). As others have said, it's all about heat distribution.
Underdetermination of Scientific Theory
> I know there are workloads when it actually can hurt performance

From what I've seen, performance is only hurt in contrived benchmarks intended to cause slowdowns when HT is in use.
Adding generics isn't even backwards-incompatible. AFAIK Java 1.5 was just fine with Java 1.4 code, and so was C# 2.0. The latter using reified generics (and not cheating with builtins) lead to the duplication of System.Collections but given builtins aside as of Go 1.9 it has under half a dozen non-generic collections (versus 25 types in System.Collections, though some of them didn't even make sense as generics and don't have a System.Collections.Generic version) that's unlikely to be an issue.
Is there a way to help improve the machine learning algos by suggesting or flagging tags? When this first came out, the tagging was very inaccurate. It doesn't look to have improved a whole lot since then.
And don't forget the way Lucas kept upgrading Star Wars years after release. Some things are never done.
I don't get it. What money back? For non satisfactory service? Or for not providing the service you paid for?
Well that is something I hadn't heard of. Now I am curious how hard it would be to get CMake to do this?
fwiw, I learned to compute square roots in school in the 80s (I think it was the estimation method, which I was extremely bad at).

Calculators of any kind were forbidden at school, which sucked, if you had one of those cool Casio watch calculators. Shorts were also forbidden, because suffering is good for you, apparently.

I've never had to do it since, of course. Though I do now wear shorts on occasion.
> In the USA, nearly all airfares are changeable, even those that are sold as "non-changeable".

The vast majority of tickets sold in the USA have restrictions on changes.

> An airline industry that didn't overbook would be one where either everyone pays significantly more for their tickets, or where most tickets become truly non-changeable, as in you have to buy a totally new ticket if you change your travel date or time.

This is a legacy from time long past and it wasn't the best decision back then. If you put a little thought into most airline policies you can come up with something that is both more effective and provides a better customer experience while reducing costs or increasing profits.

There is simply not enough competition in the industry to force change.
There's a striking difference between knowing a different culture/region and commuting everyday to work.
This will go down as a massive failure in governance. The Bitcoin core guys have completely created this situation by taking a hard liner stance based on a non issue. Committing to a 2 megabyte hard fork 2+ years ago would have averted this situation and kept control within the core dev team. Now we see miners taking a stance because SegWit doesn't necessarily benefit them. Further payment channels and other off chain scaling haven't really been tested or materialized, and the SegWit code itself is a series of changes to the fundamentals of Bitcoin without requiring a hard fork. In other words it is overly engineered to avoid having to have real consensus.

Further the almost rabid attacks against a 2mb increase are bordering on complete insanity. No serious software engineer would say that an additional 1 megabyte of traffic every 10 minutes is a problem in any way. Instead we are stuck with a proportional increase in bandwidth and processing to support segwit and a minor increase in block size, which is through some convoluted logic preventing centralization. This whole thing is a power grab, plain and simple.

Now the alternative implementations are racing to complete something the miners will agree with, the sole purpose being to wrest control away from the "Bitcoin core" development group which has made some a complete mess of governance. Anyone who invested in Blockstream has to seriously be scratching their heads and wondering why they are killing the golden goose over some ideological bs instead of making what is really a trivial change. I think at this point they have screamed so loudly for so long that back tracking would reveal them to be hypocritical in the extreme. To couch this whole debate as a rallying cry against centralized interests instead of a corporate power grab is completely absurdist.
Sounds like a case for unions or some other professional association where workers can band together into common insurance pools.
I don't consider it broken so I haven't replaced them, the system is rock solid stable.

Your statement though was interesting, how do you have both ECC memory report errors and 'undetected errors'. At least from a memory perspective, with ECC an 'undetected' error is a multi-bit error that both flips bits and leaves the ECC bits in a legal configuration. That seems like it would be pretty rare.

That said, I've seen motherboards (in our data center) where the memory slots themselves were unreliable (probably bad or weak solder joints on the DIMM sockets or missing terminator resistors). They appeared as a machine with a lot of ECC errors but the same DIMM in another motherboard gave no errors.
The Animation Guild makes the point that their pension plan has outlived all but two Hollywood animation studios.
Mostly the advantage that China has, other than probably a large pool of math educated engineers and abundant data thanks to China's aggressive surveillance, is that things would be unethical or hard to move forwarded under current regulation, would be much easier in China.

Ironically, underlining in this article is that acknowledgement of such often unethical or act in doubt are perhaps essential and critical to AI's future development. To that, China is at a clear advantage than America, and the rest of civilized west world.

A strong economy is also necessary to propel the development, or Russia would also be at a advantage similar to China's, or North Karea's. But only China has the economy incentivization similar to West's.
Silent failures for indexing on primitives?

$foo = 1;
$foo[1]; // no problems

$foo = true;
$foo[0]; // seems good to php

PHP's choose-your-own-error-adventure with all errors on (which is the only good choice) is pretty silly. arrays become somewhat unwieldy because the core libs for arrays are deficient, missing things like a get_default($array, $key, $default).

The array core lib in general is troublesome to understand/intuit different pieces for, probably because mashing hash types and lists together leads to all sorts of ambiguity (like ambiguous json decoding/encoding). Want some subset of an array? Sure, that's the super-intuitive `array_intersect_key($array, array_flip($keys));`

The core array type is really a frustrating experience in PHP, and interop deficiencies with ArrayObject make it unusable as an alternative.
Came here just to confirm this. I got all right but it doesn't seem to be valid test for hiring.
Fun quiz! :)
What I meant was that newly mined gold can cause extremely large flows into the market (much more than all the whales dumping at once), which is what happened ~300 years ago. Gold had large geographic differences in the difficulty of mining it, which Bitcoin solves through adjusting difficulty.
I think somewhere in the PDF they said it's like 70/30
I've personally built all of the things you're talking about, on real products, with lots of traffic, and it just isn't that hard. Annoying, yes, but arguably a core competency of any data team, and something you want to think very carefully about outsourcing. Also, most teams won't have to "scale" many of the things you're talking about...that's a problem that you only have to solve when you're the central point of failure for lots of companies.

As for the n^2 problem, yes, I can see that argument, but in my experience, n is always a small number (i.e. 2-10), and they rarely need to cross-communicate in a fully connected graph. In short, piping everything through an expensive, centralized point-of-failure run by strangers seems like such a risky proposition that I can't imagine many companies would have the integration complexity to justify the risks.

But again, people seem to be finding value in it, so maybe I'm missing something. I was honestly expecting you to tell me something about advanced data warehousing or integrated analytics tools or something like that. If you tell me that integrating with segment automatically starts correlating session data across providers, well...that starts to be compelling.
Our investors consult us about the decision to invest in other companies, sometimes, they introduce to competitors to see if we can triple the outcome if we work together.

Like many said, investors want to make money.
I think the problem everyone has swallowing that ask is that the value of generics is that it's so widely taught, with so many use cases, and so much literature (academic and otherwise) that the suggestion that they need use cases is laughable.

What use cases do they need other than the extremely large body of public knowledge on the matter, and why would one more example change anyone's mind?

To me this represents the epitome of the insular and outwardly hostile attitude that the Go team has toward good ideas elsewhere in the CS world. Would it really make a difference to the team if I or anyone else were to hunt down specific examples and present them with problems solved with generics and stronger type systems?

I doubt it.
Using something like Geocoq [0] to check the proof would be amazing.

[0] http://geocoq.github.io/GeoCoq/
It is worded opposite of what you say:

> You're in the top 3% of engineers! (We should know, we've interviewed thousands.) We can totally help you get a job if you're interested.

It is worded as if scoring well in this is an accurate predictor of engineering skill.
Bad faith.
That has nothing to do with what I'm talking about. In The Expanse, they hollow out and spin up asteroids to use as a space station with centripetal artificial garavity. A typical rubble-pile asteroid would fly apart well before that. Even solid rock couldn't take the forces since they are all tensile.
It is good that they missed it. Google "gobar" and you will see why.
When someone writes a system based on Rust, that claim will be much stronger.
There are monitoring tools to alert on this situation and many like it. I use threatstack but there are several others. I think Cloudwatch can even do it.

If you want to be stupid simple you can use the utility mon. You have that curl a test file from the public URL and alert if you ever get it. Also, in what universe does it take more than five minutes to fix this? "Dude, you're leaking customer info from an S3 bucket", "Shit! Which one?", "customers-bucket", "OK fixed, postmortem scheduled"
I edited a book on Dart a few years ago. It's a shame the language hasn't gotten much traction outside of Google, as I enjoyed learning and using it.
That sounds like a very small number, but that equates to about 126 people per day in the US alone. For some this might have been an inconvenience, but for others might be closer to a catastrophe depending on the reasons for their travel.

http://www.tvlon.com/news/how-many-people-get-involuntarily-...
This is also his second time in the 14th century, and he'll be going around the horn again at least once more. When he got to around the 6th or 7th century, Peter said he was going to do three passes over pre-renaissance philosophy. First he followed philosophy in the arabic-speaking world, following muslim, jewish and christian philosophers who wrote in Arabic (this is Peter Adamson's academic specialty). After following this thread nearly to modern day, he wrapped around and followed Latin and vulgar European philosophy, in which he's now beginning the 14th century. He has said it's then his plan to wrap back around and cover Greek language Byzantine philosophy before finally charging ahead into the Renaissance. Peter also publishes a companion podcast, The History of Philosophy in India (he alternates weeks publishing normal HOPWAG and the India series). He's also expressed interest creating similar companion series for Chinese, African, etc. histories of philosophy.

It says on the box "without any gaps", and that's really what you're getting, as complete and comprehensive a history of philosophy as you're likely to get in the podcast medium. This series lets you see how ideas evolved as philosophers responded to and engaged with each other throughout the centuries. Adamson does a really good job at framing how the various philosophers would have though about, and came up with these ideas in their own time and contexts. He engages each philosopher's ideas in the context where they were created, while still doing a good job relating these ideas back to what modern philosophers might think.
Yup, it's not a test for hiring
After some initial enthusiasm due to its gentle learning curve (actually, the Golang learning curve is nearly non-existent for an experienced programmer), I got sick of Go programming pretty quickly. Writing anything non-trivial will have you fighting against the limitations of the language (e.g., lack of generics which is particularly aggravating when trying to write a library).

I've mostly moved on to Clojure for programming backend services. I still use Go for the occasional small utility program due to its speed and ease of deployment, though.
I'm a heavy business traveler, though not a business commuter per se. In my experience with oversold flights, there are a few people who will eventually cave and take the buyout -- but I want to place sharp emphasis on the word eventually.

The moment an airline attendant announces an oversold situation, that announcement kicks off a frantic battle between dopey consumer game theory calculus on the one hand, and rigid airline offer-escalation procedure on the other. This slow, maddeningly predictable war of attrition often results in delays of 45 minutes or more. Those delays cascade into further delays when the flight misses its departure window.

We have a "not enough dopes" problem. There need to be more people willing to take buyouts, and since that's not happening, we can consider pretty much any alternative solutions that make sense.
Related story...

I once worked on a price comparison plugin and Firefox is very strict about what your plugins are allowed to do. They review each one and have some strict rules: like you can't load and execute Javascript from the web.

Most of our competitors just sent every URL you visited to their server. We wanted to be better than that since that is an obvious privacy issue.

So we made all our plugins (IE, FF, Chrome) download a whitelist (regex array) of shopping domains our search engine supported and it would only make API calls to our server if it matched that list AND you were on a product page.

Had the added benefit of reducing our server load too.

The server still gets a list of every page you visit on eCommerce sites but better than on all sites.
> Truthiness (e.g. 0 == false, '0' == true, 'false' == true, etc.) makes it easier to introduce bugs.

Use === instead; except for cryptography, where you want hash_equals().

> There's a lot of discipline/linting still required in PHP, whereas other languages won't even compile if you do something risky.

And/or just use scalar type declarations: https://3v4l.org/SJKe1
Google has a wiper on one of their car-top sensors. Another trick is to alternately spray wiper fluid and air to clean sensors. We had that on our DARPA Grand Challenge vehicle, and the upcoming Continental LIDAR seems to have a spray nozzle. The SICK LMS is available with a scanner glass with heating elements, so ice can be cleared. All those problems have been solved by good mechanical engineering.
Asking for use cases when the use cases and benefits are already well-known seems pretty disingenuous to me. (Of both you and the blog post.)

... but, hey, just to indulge you, a few off the top of my head:

- Generic containers in libraries (aka not built-in)

- Parametricity to restrict user-supplied implementations of interfaces; not quite as valuable in a language with casts, etc., but still reasonably valuable.

- To give a sound account for the currently-magic built-in types.

That should be enough, frankly, but I'm sure I could come up with more if I were to spend 5 more minutes on it...

Can we stop pretending that they don't know of any compelling use cases now?
Have the changes of the kind you advocate happened anywhere else in the United States? How did they manage to do it?
I've seen a few posts on HN that don't have all of the normal operations one can make on your average post. They are usually for YC startup job posts. So in some aspect, YC is making money by targeting job advertising for their startups directly to the hiring pool they wish to pick from. If they help their startups hire top talent, they are more likely to profit from their investments.

In general though, most of the sites have some kind of semi-hidden posts among the others that are actually advertisements.

There is one currently on the HN front page for "Etleap Is Hiring Data Engineers..." No submitter, no upvote arrow, no comment ability, but it's at #6.
This depends very much on your definition of "right-wing."

My experience is that folks who told me I deserve to have my kids taken away from me for being genderqueer didn't get banned, so YMMV.

But also: throwaway accounts with the word throwaway? No one should feel bad when they're banned. No one should feel bad for banning them. That is the actual social contract of throwaway accounts, and they're tolerated insomuch as people just use userscripts to mute them out most of the time.
On my system if an uncorrectable error were to happen the system goes into a 'machine check' state (a halt). In theory, the BIOS supports 'chip kill' which is that it reboots with a bit set to not use that specific chip in the DIMM. I've never seen that happen on my desktop but in the data center when it happened a system that should have 128GB of memory would reboot and come back with less than the full amount (as expected by the DIMMs plugged in) reported by the BIOS.
Well, it's not the first fork in the world, ethereum's fork was pretty big (ETH vs ETC). As far as I can see, exchanges just treat both sides of the fork as two completely separate currencies (which, in fact, they are).