skysight-inc/HackerNews huggingface dataset:
> If you want a property to uphold, formulate it as a type. The compiler verifies.

Consider two issues with this:

1. How do you verify that the property to uphold is indeed the same as formulated by the type? This is easier for simple types, but can get complicated real fast once you start getting into higher kinded types. Ideally you want the 'formulation' of the 'property to uphold' to be specified in the domain of the problem itself.

2. The compiler can only verify what it builds - but we don't build and deploy large systems all at once. We just build and deploy one subsystem - i.e. a single program at a time - into an already running system. So what about verification for coupling between different programs? (The Internet is dynamically typed).

To solve #2, we might need some kind of run time negotiation and verification (and once you have that, perhaps it can that be used within each 'program' as well?).
> Do you do this for other formats, like RTF?

No, but I do it for formats like HTML, CSS, JSON. My editor can assist me, but I don't need it. To a lesser degree, the same is true of Java, though I do admit to leaning much more heavily on my IDE for that.

> What is this obsession with hand-coding complicated formats :)

Well, part of it is that they're not all that complicated unless you're doing something fancy. Another part is almost certainly our (we as in developers) pride in being able to use nothing but vi installed on a decade-old operating system to get things done.
Chat Bots for Good; IBM and Girls Who Code Help Girls Start Their Hero Journey
Indeed, lately I have seen more slow AMPs (the acronym already contains the word "page" btw) than fast ones. Multiple issues, including the one the grandparent is pointing out, make AMP look and feel like a step back.
AI – Sam Altman
Calm down mate:) author done great job analysing dangerous cases. Prepare for the worst, that it never happen.
Why is it a "black box"? Is it because Google doesn't break down the number or elaborate on the details of each contract?

Also, an increase in share price (Yandex) doesn't necessarily correlate to a change in actual usage.
The best part of the joke is that we are standardizing at `/s`.
In a way that buying essentials and handing them out does not?
Certainly, some companies don't want to host their own tile server. But I'm not sure there's $164 million of profit in it.
> "Don't ever let me disable 2FA" setting.

I like this idea. I'd only want to use this though if my Google 2FA backup codes are backed up via Authy or a similar app.

I don't trust codes I've printed out and have always lost.
+1 (but for other apps, like some google baked-in stuff)
You can try reaching out to Caroline of Little Package: https://www.little-package.com/about-little-package

She used to make awesome cycling caps, did the PCT, and is now traveling around America in a Vanagon.
Abnormal for you maybe. But you aren't always paying attention, that's not your job. Maybe it's someone going for a walk, maybe it's a neighbors friend. You just don't know.
I love articles like these.

That said, I think they miss a core point: there is very little precedent of functional democracies, which have been functional democracies for more than a few decades, turning into autocracies [0]. In the grand scheme of things decent democracies are a pretty new idea and we simply lack the data.

The author's list of awful fuel-exporting countries has a nice exception in it: Norway. Apart from a WWII hiccup, Norway was pretty much a functional democracy for a long time when they started exporting oil in the sixties. And they did not turn into an autocracy, even though Norway's government does not need its people to stay financed.

I feel like this single case undermines the author's entire argument. I'm willing to buy that an autocracy turning to universal basic income won't make it any less autocratic. But a functioning democracy (for a sufficiently great value of "functioning") has no incentive to turn into an autocracy merely because its median citizen increasingly depends on the government. That needs a much stronger argument and I haven't read it in the article.

[0] Some people might point to Turkey, Hungary and the US right now, but a) those stories haven't played out yet and b) none of those countries fit the author's bill.
Sadly, I have the feeling that the idea of more humane prisons is widely unpopular.
I can't help but have a bit of schadenfreude here. Part of what happened was that Google used to send a fair amount of organic traffic to smaller sites. And many of those smaller sites had Adsense ads.

Google's changes in search shifted much of the traffic that went to smaller sites to larger, more established sites. Ones where the cost per impression/click are higher for Google.

So, part of it is self inflicted. They did, of course, get benefits out of that in the form of less low quality sites in their ad inventory. But some babies went out with that bathwater.
Mental Health Day
It's probably worth noting that Zelle was mostly a rebranding of an existing service: clearXchange. Or, rather, a branding, as prior to the Zelle name, no one advertised the underlying clearXchange network.

I strongly agree with your general point. Just like any extremely large business, there's small sects pushing forward in various ways, while the vast majority toils away on SSDD stuff.
These are the exact problems we're banging our heads against.

The worst part is that it's not something that can be solved with an external dependency on some new startup - that would just add another layer we'd have to go through in the error cases, which would be numerous.

God, I wish I could share some of the files we've received. I cannot conceive what sort of monster would write a data exporter that would produce these unreadable things.
It replaces all the other financial safety nets, but not all social services, such as universal health care.

The savings involved in dismantling the corpulent bureaucracy currently managing and adjudicating benefits will actually go a significant way towards paying for UBI.

IMHO, ideally, UBI would be sacrosanct, and could not be legally garnished to service any debt. This would prevent if from being used as collateral, and ensure that it would remain available to support the individual - people would not be able to ever get themselves into such debt that they became a burden on society, since they could never borrow against it.

Moreover, it may be better method for managing inflation than our current setup of anointed central banks making themselves money out of thin air: Instead of passing out money to the banks, in order to generate velocity, deliver it to the citizens in the form of a deposit into some form of money market account, thereby immediately putting it into circulation in the economy.
So what are you going to do to someone walking through a neighborhood? Call the cops because someone is walking through a definitely public place?

If you witness an assault, yea go ahead.
Is there any reason you can’t watch for control-alt and assume that delete will be pressed soon and react to that?
This is only partially related to the article but I still feel it is relevant and I'd like to know if anyone has data to support either side on this. Summed up, it explains that asocial violence or antisocial aggression in general are directly correlated with warmer climates.

http://www.bbc.com/news/science-environment-23538771
Mintty – Cygwin Terminal emulator
Japan's Biggest Utility Uses Blockchain to Fight Climate Change
...Which, in the US, are fragmented, varyingly difficult to access, varyingly generous, and nowhere nearly universal.

In other words, a 'universal basic shelter' program would look very different.
> 80 hours a week

So, you were either in the USA or East Asia, wern't you? I guess you were not in Europe.
Salesforce takes another shot at IoT
I'm almost ok in a web browser, at least there is a reasonable way of being 80% sure it's safe, but the webview version is my pet peeve... not even a power user could be able to tell...
#Vanlife, the Bohemian Social-Media Movement
https://www.newyorker.com/magazine/2017/04/24/vanlife-the-bo...

Previous HN discussion on the article: https://news.ycombinator.com/item?id=14138438
Employability and Promotability
> Maybe I'm still getting over that break up.

You almost certainly are. Fifteen years is a long time, longer than my parents were married. You didn't have a break-up; you went through a divorce. A year sounds like the minimum amount of time it would take a person to deal with it. I wish you the best.
A problem, but not the core of it all. People have been compromising, and adjusting positions based on expert opinion, for quite awhile. I just wanted to raise the issue about the livelihood of the lower economic class.
That's it. My pet peeve issue with Excel/CSV is USA zip codes. Excel will happily eat leading zeros. There is a specific number format to correct that. If you export that file to CSV with the format set the CSV file will have 5 digits. If you reopen that CSV file in Excel it gobbles up the zeros all over again.

As someone mentioned elsewhere this is an issue with long numbers. Excel converts them to scientific notation. Reformat and export, all good. Reopen said file, back to scientific notation.

Really anything that relies on an escape character (') or a specific format gets lost on export to CSV. It exports correctly but there is simply no way to document these formats in a CSV file and have it be compatible with anything but Excel.
At my current job, we used to advertise that we wanted someone with deep knowledge of Python, who had written their own Python metaclasses. How many of you know off the top of your head exactly what a metaclass is and why you would want to write one? While we did have one hand-rolled metaclass in our own codebase, it was just there, written long ago, worked fine, and didn't need any modification. None of us actually working at the job have to think about metaclasses on our day-to-day tasks.

By putting that very specific bit of Python arcana in our job ad, we were just scaring away lots of potential candidates who could have done the job just fine. They stopped mentioning metaclasses in the ad and we've gotten some really good new hires since who are very competent, and best of all, are very nice people.
removing support library, layouts...please.
My father-in-law has been a restaurant owner for his whole career. He has told me that it's quite common to have dished on the menu that are simply a loss (he is in a very price-sensitive market). They're countered by other dishes that have substantial profitability. In short, I agree with most of what you wrote, but each dish doesn't have to have the same profit margin on its own.
> In fact, I am hard pressed to think of a profession that offers more personal freedom.

As a translator in Eastern Europe, I feel like I have a lot more freedom than the software devs here. I can work as little as 2-3 hours a day and pay all my expenses and save for the future. The job is remote by its very nature, so it doesn’t matter whether I am in my own country, or I am traveling in Patagonia or Madagascar. I am able to dictate deadlines to my clients, I don’t have to work to their schedule. For example, If a job will only take me half an hour to do, I can tell the client that I can return it in one week, and in the meantime I can travel or whatever.

I do some coding as a hobby and occasionally visit the programming language etc. meetups in my hometown. The software devs there make around the same amount of money I do each month, but they complain of the 9 to 5 routine, office politics, and how unhealthy it is to spend all day sitting in front of a computer.
> I don't think you can compare software to other disciplines like medical, air transportation or architecture.

Why not? After all, the safety of a pacemaker is largely because of the software it runs. In many cases, medical safety and software safety are nearly the same. And throughout our world, this is true in many industries. Driving. Banking. Our software today is our safety for nearly everything. It will only continue to grow this way.
Are you certain that most college lecturers do just fine? I have heard multiple complaints from students at California public colleges about lecturers who could barely speak English.
Perhaps that it just isn't broken down into basic buckets like "Adsense" vs "Doubleclick" vs "All Other".
Madefire and Magic Leap Are Creating AR Comics
>app cut fairly high

Same as Google's, so it seems standard.

>non-negotiable at 30%

Reduces for certain types of apps, given specific conditions, but yes for 99.99% it's non-negotiable. Still, it's their platform.

>arbitrary at best

I'd wager most rejections follow very clear rules. There are some head scratchers, but those aren't the norm, so "at best" is wrong.

>Who'd you think the EU would investigate for monopolistic practices?

Gotta have a monopoly in order to be investigated for it.
Changing the desktop background alone isn't enough. You will inevitably get into a situation where fullscreen windows are occluding it. To avoid any ambiguity, set the color scheme to high contrast and then set all the windows title bars to red, and tint the task bar red. On QA, I tint everything purple, and on DR I tint everything green, or yellow.
The language choice I imagine was driven by their choice of Arduino.

Arduino got where they are in part by having a rather nice IDE for a microcontroller, a nice simplified version of C++ (the Arduino language, which I assume can be used here) that eliminates a lot of the complexity and made it very simple to get started, and a nice easy pattern to upload / compile / test.

Personally, I'm not aware of a better choice out there in the microcontroller world. And it looks like the setup makes it easy (2 lines of code) to turn on / off LEDs or buzzers.

What's nice about using Arduino as well, is that the ecosystem of Arduino is very large. So it's not that much of a step up from here to other hardware projects. It's also not a huge leap from Arduino C to the many other C and C-like languages out there as well.
I know this is an example, but I would also say please do not store things that you dont know yet.

Eg, if there is a form with optional values, do not store them in a sparse row, instead consider using Entity Value Attribute to store each value as a row (even though its kind of blegh in general, you wont ever store nulls for things you just dont know "yet".)
How to Overcome the Biggest Obstacles as an In-House SEO
There might be some sense in that - pool together resources to rent or lease a large area to camp in, with centralized things like hot showers or kitchens with refridgerators, and maybe wifi, but otherwise mostly just spread-out campgrounds where people can go and not be bothered, but not so cut off as to be worried about breaking a leg and getting eaten by a coyote.
When is it Charlie Sheen's turn?
If the data they want is a recording of your next client meeting, installing an app (possibly one that exploits a not-yet well-known bug, say a root exploit that only works from an app) might be one way to do it.

Remember [1]? Imagine an exploit not targeting safari, but somehow vulnerable via an app, a la [2].

[1] https://citizenlab.ca/2016/08/million-dollar-dissident-iphon...

[2] http://iphone.appleinsider.com/articles/16/08/29/apple-brief...
Shouldn't this type of password be stored in the devices keychain, which can be unlocked with the device's auth mechanism, and provides authentication services without exposing the itunes password to app developers? That is, authenticate user on device -> verify recipient of auth info -> send auth message.

I must be missing something since no-one seems to be suggesting this.
More companies announce support for ONNX AI format
Right. These people are getting hammered. We have to find a way to let them be productive at something that isn't simple enough to be done by machines or laborers in developing countries. College is not feasible for them, but neither is neutered education.
More to the point, considering Trump is just a mouthpiece or easily led to a conclusion based on data given to him by the the Industrial Military Machine,will be making a decision on Iran's nuclear program soon, is this piece designed to shape opinions before the official announcement? So many ramifications, which path do you follow?
We have exportability as a first class citizen, so you can push out to google maps, tableau, esri, carto, etc. Data viz is not our core competency or something we intend to do very much of.
There is research to prove that mouthwash helps also. But certainly brushing and flossing are the fundamentals. Tongue scraping is not. My partner works in this domain.
You seem like the perfect person to ask: what is a format that is close to the (apparent)simplicity of CSV, but is actually consistent?
I tried family sharing with my wife, and it resulted in her being unable to purchase any apps, even though she was set up as an adult user.

We ended up turning it off because sharing apps wasn't worth the "Hey, can you buy this app for me?" coordination.

And then there was all manner of nonsense after we turned it off, too.

I assume there are other weird bugs in family sharing.
I read somewhere that the best time to learn something is right when you wake up. I tested that theory when I was picking up ObjC a few years ago and it seems right (perhaps a placebo).
That time I had to update the users table so users belonging to 'department A' should now belong to 'department B'. I wrote that really simple update sentence and even diligently tested it on one of the pre-production servers. Then I copied & pasted it into the production console just to notice that I hadn't copied the WHERE clause of the sentence and now all of the users belonged to the same department.

The fix was not painful, just restore de user table from last night's backup. but I felt a little ashamed when i had to explain the database administrator what has happened.

From that day, I keep autocommit always off.
What is "the prison"? A state run organization? In that case why would some bureaucrat care if his budget goes up, he's a union member most likely thus his pay is more related to time employed than the budget being fiscally sound. Now consider this is a private prison, why would they ever not release someone? Releasing someone lowers their costs and may provide a reward, on the other hand they have to continue to pay for a prisoners upkeep and have no chance at a reward if they vote for him to stay.

This is all moot because it isn't prisons that decide who gets to go free but a parole board. That's part of a judicial process typically unaffiliated from the prison itself.
No need to wet the brush - the toothpaste works better without it.
API.ai is now DialogFlow
A commune of solitude if you will.
Technology is double-edged sword
> Flipping through the circular loop of cable TV channels predates scrolling

And looping through radio channels was popular as well

There were just not enough channels back then

The addiction mechanism is known, it's the way it is exploited that is new

You didn't bring your TV on the way to work or at school, when driving, on holiday or waiting for your baby's birth.

> In addition, they share same emphasis on advertisements as a funding stream,

Radio used the same funding stream and still does

Newspapers and magazine do that as well

None of them tried to trick you into checking again and again, other than putting a pair of boobs on the cover

Having said that: that's why advertising on TV has been regulated many times to protect kids

We're not doing the same for social networks

Either we force social networks to act good, or we block kids from using them
My main gripe with Mapbox and perhaps it's something that's been fixed recently? Is that you could never force place names to English whe available. So if you're making a map of Tourist map of thailand then the default for all places will obviously be in Thai, if you want to use the English translations which is in the underlying OSM data you can't. But you can if you roll your own...
> Like they don't care about community. Like they don't care about the law. Making loud noises. Dressing strange but flashy.

That pretty much just describes teenagers.
Be reminded that the 13th amendment didn't completely end slavery; it permitted it "as a punishment for crime whereof the party shall have been duly convicted," and that more black men are restrained by the "criminal justice" system today in the US than were enslaved prior in 1850.
That, or logged your gps location to a Web service? Maybe along with wlan ssids and Mac addresses?
Everyone is paying more to acquire users these days. I haven't read the book that coins them as 'attention merchants,' but it seems like an accurate description, and their product is getting to be scarce and expensive.

I've got things to do, and when I waste time I'd like it to be wasted in a way that relaxes or recharges me or the people I care about.

Not that there isn't such a thing as good advertising, but the trick seems to be targeting. If you can't target people who actually want what you're offering to them, it's a waste of everyone's time and people will start tuning you out. Worse, you really have to hit them when they want what you're selling.

Like, when I go to Digikey and see an ad for some company's 48V/166F supercapacitor bank, or a new line of 16-bit ADC chips? Yeah, that sort of thing is a reasonable bet. When I go to a news story and see an ad for a VR headset? Not...quite.
> but I feel that you undervalue literature and history

Fair enough. I said folks don't "need" history and lit, but I probably should have said that they don't want them or care about them as they are currently taught.

As I mentioned, I think the history should be primarily local, and primarily focused on learning how to think and learn about history rather than just memorizing a bunch of facts.

I think literature should be salient to the audience rather than the (relatively) high-brow art that is the current canon. That would mean that "poetry" would probably look at more contemporary music lyrics (e.g., rap, country, rock, etc.). "Drama" would look at whatever TV series are popular rather than Shakespeare. This is the kind of stuff that people who are usually not interested in education would be very much engaged with.

Even something as off the wall as Judge Judy could be used to teach some basic law/civics.

> There must be better ways to teach algebra and higher math, science, history, literature, etc. But to say they are useless is bonkers to me.

They are useless as currently taught because most of the learners and their communities completely do not care about them -- the content is completely disconnected from many learners' day-to-day existence. Not only that, but for many learners who do show some interest in these topics, they will likely be ostracized.

As such, teaching these subjects better within the current paradigm (i.e., oriented towards college prep) is a bridge to nowhere.

None of these subjects will be highly engaged with by a learner until that learner's peers think that these subjects are important. At that point, learning can and will happen. Sadly, most people are not in a proper/efficient education setting at that point.

Feel free to follow up -- this topic needs to be discussed more by intelligent people. Your reply brought up several great points.