skysight-inc/HackerNews huggingface dataset:
> One of the big benefits of clojure being dynamic is that everything is data (e.g. a map, set, vector or list).

What about this can't be done with types? Simple parametric-polymorphism gets you pretty far. Row types allow you to handle "maps as records" in a type-safe way. The rest is just having support for some kind of ad-hoc polymorphism so that you can re-use your functions on that small set of types (type classes, ML-style functors, interfaces, protocols, etc.).
We had that moment years ago with EA Spouse, sadly it didn't really move the needle very much. That's probably because there's other places where people with skillset from gamedev can find a saner environment.
> For others, the inevitable outcome of what sources familiar with the company describe as years of a culture that promoted constant overwork, toxic management, and ~creative stagnation~

Having never worked in the game industry, I have a very naive view of what is the day-to-day of game developers. Being inherently creative work, what would creative stagnation look like in this case?
Looks like a fantastic improvement over the current internet

void website() {
if (userWantsToPay()) {
charge_more();
}
show_obnoxious_ad_that_calls_the_same_website_function();
}
Being allowed to do business in any country is "a big favor".

Guess which "favor" has the biggest impact...
check out https://lobste.rs it is usually just computer science.
You Have 535 Unanswered Prayers in Your Inbox
It's very similar to many of the abuses the Hollywood studio system has done over the decades. Hollywood seems to make it clear that the only working answer to making that somewhat sustainable for the talent, for the creative people, for all the people that aren't overpaid executive sharks and don't want to be entirely chewed up and spit out, is to unionize.
> In a restaurant if they don't get tipped enough the restaurant has to make up the difference / pay them minimum wage (though this rule to differ per state). So not paying still should result in minimum wage.

In principle this is true; in practice it is rarely honored.

> From what I understood in US it's rather arbitrary whom you pay extra and which persons you do not (e.g. even pay extra to get a haircut). Once you travel more you'll notice these rules are rather arbitrary (custom in one country, totally unexpected in another). For restaurants I often don't go back to the same place twice so I don't see the point of randomly paying more. As result I'm trying to stop doing that (it feels impolite, this despite me sometimes being unique in adding giving a tip). Paying by bankcard helps to avoid tipping.

All customs are arbitrary to some extent, but the rule of thumb is that if you're getting a personal service from someone who's not a professional you should tip.
One Order of Operations for Starting a Startup
I was on the phone with my mother and told her about the recent facebook things and she said "I am very careful about what I post on facebook so I don't worry".

Then I told her about what they actually do with the pixel and like buttons and she was flabbergasted. "You mean they can see what I read even if I don't press the like button?"

Not sure I convinced her to delete the account though as all her friends are there.
People are not getting it.

If they are going to get into the business ( acquiring retail space) it will be one that fits into their equation for their last mile problem and be at fire sale prices.

If they choose to purchase retail real estate, it will most likely be a combination of retail/grocery/banking all in one, sort of like a Walmart, but way better experience.

This most likely will be their approach to get baby boomers to shop and to learn how to shop online.

As everyone knows, Amazon loves getting things cheaply and will do so if they can.

> Webvan was an online grocery business that went bankrupt in 2001 after 3 years of operation and was later folded into Amazon.com.

> CNET named Webvan one of the largest dot-com flops in history

> Webvan placed a $1 billion order with engineering company Bechtel Corporation to build its warehouses, and bought a fleet of delivery trucks.

> In 2000, Webvan bought HomeGrocer, a competitor that was also losing money, for $1.2 billion in stock.[11][12] At its peak in 2000, Webvan had $178.5 million in sales but it also had $525.4 million in expenses.

(https://en.wikipedia.org/wiki/Webvan)
I have a feeling this fact won't be making the six o'clock news "for some unknown reason".
No, because you'd have to first take the step of inducing totipotency in the amputated cells?
Sorry but the way this article describes this Kevin Bruner and its' "toxic management" sounds very close to how people describe Steve Jobs: egocentric, abusive and a micro-manager.

What distinguishes a toxic manager from a leader, then?

Edit: a phrase from the article: "This was one of the biggest issues with him as a CEO: he was pretty convinced that his taste was everyone’s taste."
The subscription system sounds like it's one part of this initiative. And if it is indeed the "main thing" then I think we should give Google some credit for being serious with this initiative. A payments system is a boring problem but it is the one most core to news organizations' current existential problems. It's not as sexy as using NLP to categorize news archives perhaps, but it's the most important to news orgs' survival.
Is there some feedback feature or something you use to get a helpful range of stories?

My experience with Google News isn't so much bias or a bubble as uselessness. Source quality, comprehensiveness, and coverage depth seem totally irrelevant, like I'm just getting a feed of every news site a bunch of people clicked on recently. It's the same stuff as Facebook's trending bar, at about the same level of shallow and unfocused.

And occasionally, it seems like a major story is incompatible with my profile, or has a keyword collision with other topics, or something, and so disappears almost completely.

I tried Google News and Google Now with real eagerness, but my experience with both of them was just shockingly low quality.
In some languages, there are also (non/)threadsafe variants of mutable classes. As you say, this approach blows up quickly.

If I saw that, I would ask what 'problem' it's trying to solve. Is mutation actually the goal, or simply the means? In languages which don't support general mutation (I'm writing Clojure right now), I really don't miss it at all.
I don't think you fully understand how this works. Bain doesn't get off the hook here with zero losses. In these bankruptcy situations, equity holds (Bain) usually get their equity stake wiped completely. If they had hundreds of millions/billions of dollars in equity, all of that is now gone. They will recover some of the money from the liquidation of assets however they will immediately use that to pay of their own debts. The debtors however get screwed even further... most if not all of them get absolutely nothing.
Claiming part-time responsibility, I think 2018 is the first year where I just missed it. :P
Actually, the regulation itself already is in force, and has been since the day it was ratified. There's just a moratorium on enforcement in the first two years of this EU directive, so that business (and society) has time to adjust to the new reality.

The distinction may be very subtle, but it's important to know that following the 25th of May, businesses can no longer claim to be "in the process" of implementing it -- they have already had two years to prepare.
23 Things Only 90s Sysadmins Will Remember
Zapier is doing amazing, but it would be a few more years to IPO. They announced 35M in ARR in January. Probably need to get that over 200 to IPO.
Yeah I've been trying to buy a house for a few hundred thousand dollars but all these illegal immigrants keep outbidding me. /s
Read between the lines.

> During breaking news or crisis situations, stemming the tide of misinformation can be challenging. Speculation can outrun facts as legitimate news outlets on the ground are still investigating. At the same time, bad actors are publishing content on forums and social media with the intent to mislead and capture people’s attention as they rush to find trusted information online.

This is just yet another temper tantrum from Silicon Valley liberals who cannot rationalize recent political movements any other way, so they think censorship is the solution. They think that people seeking out content that they agree with is some kind of new problem, as if this never existed within the grocery-checkout-isle tabloids for decades. This is an excuse to elevate content that they agree with and delegitimize sources that are not owned by large media conglomerates, which lean left on the whole.

There is no such thing as fake news, there is only inaccurate news. There are plenty of accurate stories that are not covered by the mainstream media, and there are plenty of fringe outlets that release accurate stories. What Google is saying here is that they see no issues with wholly backing the entrenched media groups as the sole arbiter of what constitutes news and what shouldn't be covered. People don't have the right to seek stories they find interesting; middle America is just too stupid for their own good, I guess.

Even mentioning this will probably make this comment [dead], but Seth Rich was murdered, Julian Assange has commented about connections, his digital footprint leaves a lot of motive for being the DNC leaker, details of the leaks suggest someone locally copied the files, and it's simply discredited as a crazy conspiracy story by the media.

People don't seek out nontraditional outlets because they want to get worse news, and it has nothing to do with clickbait. It has to do with the fact that the biases within traditional media lead to them not cover real and legitimate stories, and before the internet there was nowhere else to get information, so it worked out fine. The internet changed that, but what Google employees are saying here is they'd like to return to the past.
Startup Runs Spiking Neural Network on Arm – EE Times
Once again Futurama predicted the future entirely correctly:

https://www.youtube.com/watch?v=0qBlPa-9v_M
Such rules are routinely violated. Perhaps tips "should" be a reward, but they aren't; they're an essential part of compensation, and you're not striking a blow against the system by denying your server their tip. You're just being a cheapskate.
The number of times I was working on an electronics product and went to Radio Shack to try to find a quick replacement for the resistor or motor I just fried is crazy... and the crazier part is they never once had the part I needed yet I kept coming back because it's the only store I could think of that might have it.

Arduino and Rapsberry Pi should have been their saving grace. Not cheap RC cars.
I think they've failed to express it well and people have jumped on and interpreted the question unhelpfully.

The parent appears to be asking why Zuckerberg should come.

There's a very good chance that legally speaking he's "unknown" to the UK - a private citizens of a foreign country that holds no position that brings him in to UK jurisdiction.

Perhaps they're also calling Facebook's CEO in the UK, the Facebook pertinent to UK law?

It does seem wise to call the person whose likely to actually be in control rather than the person who legally is responsible.
Happy to take suggestions.
As a parent of young kids, I've been in to Toys R Us twice in the past few years. The first time it was really depressing: prime-time hours for retail and the store was practically empty. The second time was last weekend, and it was bustling with people hoping for fire sale prices. Probably the best weekend that store has had in years.
Shipping is less of a concern for a fully reusable system. Instead of shipping a giant rocket for every launch, you ship it once and use it for dozens or hundreds of launches.
Colorized photo of girl at Auschwitz strikes chord on social media
Why would you need a separate ID other than the actual filepath key? (and a metadata version number if you have versioning available)
In Toronto, if a sign says 60 (km/h), the driving instructor will tell you that you're supposed to go at about 65. In Sao Paulo, a 50 sign often means the radar is calibrated to ticket you at 50.1. We can't really make any judgment about being off a few miles unless we know what's the prevailing interpretation of speed signs in Tempe.

Besides, some commenters already pointed out that the google maps of the road in question says that the speed limit is actually 45 northbound (which was the direction the car was going), whereas the 35 number is the speed limit southbound.
> In Python I can get a lot done and really don't miss types at all

No wonder, because Python has types (well … most everything does; but Python isn’t unityped [1]). It’s even relatively strongly typed. It’s just not statically typed (what the video calls “typed”).

That said, I do miss static type checking in Python, and a lot of the tooling and methodology around Python (pylint, TDD…) are a direct consequence of that lack of static checking.

— You seem to be aware of this but the distinction between “has types” and “has static typing” is actually fairly important. APIs in general often take advantage of Python’s extensible type system.

[1] See e.g. https://existentialtype.wordpress.com/2011/03/19/dynamic-lan...
Where did they announce revenue?
Back then, it actually was "dumb" to give a random website so much personal information. Facebook had no reputation. Zuck could have stored passwords in plaintext and hacked email addresses and Paypal accounts. Now, we know that Facebook is a legitimate business, so we know they aren't going to do anything too illegal with our data.
In practice, though, the GPL has mostly just managed to scare companies into using the Apache license for stuff they want to release. GPL violations are typically done by smaller actors without malice: little companies rushing products out the door, or integrators shipping stuff without a clear picture of the software license.

At this point in history I don't think free software has much to fear from a more lenient enforcement of copyleft. The real risk is that copyleft (IMHO a really great tool even absent the "scare companies" analysis) will be forgotten.
I currently work in legal/accounting. We do plenty of work in crunch periods varying between 12 to 15 hours a day, including or excluding weekends.

People lose effectiveness within a week at that volume of work. Consistently. They become forgetful, need things re-explained to them, act irritably, produce work that needs additional levels of revision, etc.

If the work is largely rote, that might be acceptable; perform an extra 10% work to quality control the 50-75% surplus in gross work product. If the work is strategic or synthetic, it is often not.

Over time, however, small performance degradations turn into health complications and morale problems. This is intentional. In high churn industries, individuals who are at the top of the ladder prefer that those they're leveraging lower down perform more work, leave before their positions are threatened, and use the corrosion of their health as a shield against the ambition of entry-level staff.
I strongly recommend reading about the Julia type system, which has had a lot of thought put into it:

https://docs.julialang.org/en/stable/manual/types/

Although it's "untyped" (in the sense of the video), because it's strongly typed, there are plenty of nonbrittle optimizations that are performed by the compiler on account of the type system, and the result is something that's often within 1~1.5x speed of C.

At the same time, I had to write my own numerical system and because of Julia's type system i could immediately plug it into the standard library's matrix algebra and fast fourier transform algorithms and do comparative analyses out of the box. You can even do exotic things -- I was testing some reed-solomon encoding and created a galois field type, and the standard library matrix solve algorithm worked out of the box on my custom type.
Advertising revenue can be completely offset by the government? That seems unlikely given how much these companies make off of advertising. It would be amazing that the Apple and the USG could hide that kind of massive money transfer off their books.
Reminds me of this quote from the tabbacco industry in the early 90s;

“We don't smoke that shit. We just sell it. We reserve the right to smoke for the young, the poor, the black and the stupid."
- R.J. Reynolds executive’s reply when asked why he didn’t smoke
Just because you don't have a Facebook account doesn't mean they don't have data about you. They create a shadow profile for people whose existence they have inferred from other people's accounts.
I hadn't been in a Target in awhile, but popped in an intown location the other day.

Wow.

I was definitely impressed. For a chain that used to be "the other Walmart", the design and general feel of the store was miles different today.

So hats off to Mr. Johnson, and Target for hiring him.

Side note: Having a Starbucks in-store at Targets is brilliant. I imagine the deal works out financially for both parties, and Target gets to affluence-signal "we're the type of store that Starbucks people shop at."
Is that what taking down videos that are conservative or critical of the government is called now?
Defamation/libel is interesting; since only the already wealthy can afford it, more often than not a defamation lawsuit is a sign that someone is trying to suppress true facts.

There have been several high profile cases when politicians sued for libel, won, the facts were established as true, and the politician jailed for perjuring themselves during the trial.

http://news.bbc.co.uk/1/hi/uk/1424501.stm

https://www.theguardian.com/politics/1999/jun/08/uk

http://www.bbc.co.uk/news/uk-scotland-glasgow-west-12059037 (but see http://www.bbc.co.uk/news/uk-scotland-glasgow-west-17909946 )
Ah yes, thanks for correcting me :)
As someone who runs a regional newspaper, I very much doubt that the future of healthy journalism is in the hands of a big company such as Google. We are already thinking hard what to do with the Facebook monopoly, we would be crazy to voluntarily stick our neck into another one.
int* increment(int* i, int step)
{
return i + step;
}

I think your example is flawed. The real problem here is that you're allowed to add an int to an int* with +. int* is not be of type int, and should therefore require some sort of cast to make it possible to add an int to it. Either that, or require a different operator/function to add to a pointer, e.g.:

int* increment(int* i, int step)
{
return prt_add(i, step);
}

Not all type systems are equal, and how the type system interacts with the language is important.
Pretty toxic comment section by HN standards..
How would that work? The developer would have to generate and approve a rendering for every permutation of width, height, and pixel density?

That may have worked back when everyone was using an 800x600 CRT, but it sounds unfeasible today with so many devices and orientations to consider.
Netlify's AWS Lambda functions bring the back end to your front end workflow
I got fed up with Google News a year or so ago, over the echo chamber that the news site has become. It motivated me to create https://statesreport.com, with no ads and no tracking.
http://www.businessinsider.com/zapier-35-million-annualized-...
>The UK Parliament can decide it has jurisdiction over whatever it likes. //

They can but that sounds like it would breach international law (and often be an impotent declaration).
If your _opinion_ conflicts with reality then the resulting comments are likely to be useless noise and get filtered out. And that is probably going to feel unfair to you, but it's actually valuable information.

HN readers find this unremarkable in many types of story. We don't find ourselves wondering if the comment "But five is an even number" for a number theory article might be signal that needs boosting, it's not, whoever wrote that either was joking or wrong, either way it's noise.
Hmm, I expected this to be about Squad, the makers of Kerbal Space Program...
Africa has much less percentage of arable land than Europe or Asia:

https://data.worldbank.org/indicator/AG.LND.ARBL.ZS?type=sha...
Most of the industries that have been that bad have been somewhat curtailed by unionization.

Hollywood is the clearest parallel to the Game Industry, and most of their abuse is stopped by unions, where they exist. The current direct parallel in Hollywood right now seems to be the Special Effects/CGI/computer animation shops which currently have an average lifespan of two years, aren't strongly unionized, and see a similar turnover/crunch as the Games Industry.
Type languages, especially static ones, are very inexpressive in the kinds of logical propositions they can express. You can try type hacking (working an inexpressive into more expressive propositions), but the results are often not usable in real systems.
What if someone hacks the assembly line for Ford?
Ferat – the Return
http://sci-hub.tw/10.1038/nbt.4114
I know about Brew.

Brew's philosophy is "I know you have a powerful multi-user UNIX workstation, with literally decades of best practices about user permissions, installing software etc, but just for lulz we're going to install everything as user-owned, so you dont have to type your password.

Fuck. That.
This is true. I've measured it.

But Youtube's MUA is, IIRC, above Facebook's. That's Google's real social app.
I would like everyone to take a close look at Lt. Dudley in the foreground (first big picture middle of the article).

Can you imagine moving long distances or fighting for your life on uneven terrain with all of that stuff dangling off of you and weighing you down? Also notice that the soldiers behind him have full cargo pockets on their pants.

It's interesting to notice the interplay of how new technology enables the soldier to carry more gadgets and tools, but simultaneously makes the old gadgets lighter.

A typical soldier has more in his first aid pouch (one of those dangling tan things with a zipper) than the platoon medic did in WWII. His rifle is lighter, but it also has an advanced optic and a laser visible through his NVG's. He's carrying a vest with a "bullet proof" plate (very heavy) but under it is a shirt made of light durable technical fabric that wicks moisture away from his skin.

I'm convinced there will never be a day when the infantryman isn't carrying too much weight. There is a limit to how much weight a fit infantryman can carry and still be able to fight and they will always have us carrying stuff up to that limit.
>Zuckerberg is a private is citizen as far as UK is concerned, no?

Assuming the UK law and parliament cared exclusively about Facebook UK LTD, take a look at who runs that. [1] Unsurprisingly the majority of shares and control belong to Facebook, Inc. A company that Zuckerberg is an officer of.

[1] https://beta.companieshouse.gov.uk/company/06331310/persons-...