skysight-inc/HackerNews huggingface dataset:
Arguing against one's interests should not necessarily be taken at face value. It's a viable persuasion strategy if you are in for a long con.
Managing Code Quality in a Fast-Paced Team
Mastodon is pretty underrated, I tried it a couple years ago and was unimpressed. I just tried it again today after all of the news about facebook and feel very differently.

Now they have a nice web UI (nicer than most IMO, which I didn't think they'd be able to pull off with it being federated) and some really nice desktop clients (I really like madonctl with ansi colors enabled, I just added it to my .fvwmrc.)
I’ve always thought that a way to get this passed would be to tell the public that you’d be effecting whichever the other sides media is. For conservatives that’d be restricting cnn, msnbc, etc and for liberals that’d be Fox News brietbart etc.

People hate the other side more than they love their side I find.
It seems like you're arguing that we are about to slide down a slippery slope of... companies and consumers both doing things they have a right to do?
That's ambitious. My first thought was a stack of $1000 bills an eighth of an inch high :D
I was thinking about treating Google Drive as a dumb storage service and storing AES-256 files on it. It can’t figure out what’s in the files so it can’t delete it nor can Google read the files to serve targeted ads.
On one hand I don't want to look this gift horse too closely in the mouth, because I do support better control over my private data.

On the other hand, the broader responses by the big tech firms seems to be a heavy-handed punishment of run of the mill right wing media. While not illegal it is pretty terrifying to see so much modern day book burning.
What are the rules on whos private data we're allowed to steal and whos we aren't?
You're still on the email list - that doesn't mean your account data is still there, it means the marketing team is probably silo'd and doesn't clean their lists.
No one should be able to access anything in someone’s private cloud without a warrant full stop. The fact they can tag anything is a problem.
Also you can encrypt your stuff on your device before you put it into Google, Dropbox etc cloud. For example with this open source tool, Cryptomator.

https://cryptomator.org
I'd completely misread it and came to a snap judgment. My apologies.
A Short History of Women at Los Alamos National Laboratory
Holy cow, check out that review: don't waste your time trying to teach this to an average undergraduate math major because it "would largely amount to swine facing pearls not meant for them."
Spideroak has gotten pretty lazy when it comes to it's interface etc. A number of people I work with have no switched to Tresorit, which has much more features.

https://tresorit.com
Tools used to exercise political influences are getting more sophisticated and powerful, but the gameplay was always the same. Before it was Radio London, then radio Free Europe, and in countries where it was possible local TVs and radios financed directly or indirectly from US or Russia to promote their views. Now it's social medias. Superpowers were always doing this to others and the only new thing here is that this is the first time it was successfully used against one of them. For the rest of the world, especially developing countries, this is the state of affairs for last 50+ years.
You can also dump it and not miss a beat. Much harder to do with Google. Facebook is thoroughly non-essential.
They have been caught. Or are you referring to something else?
Aerial ropeways: automatic cargo transport for a bargain (2011)
Clinton only won the popular vote by a few million, so I don't think she was able to sway public opinion very much. What might have been 46% is now 48%, at worst. That's hardly mass mind control.
Basically everybody selling middleboxes screwed up, some worse than others but even the workaround in TLS 1.3 could best be understood as a hint that most middleboxes are ineffective garbage.
Cambridge Analytica Tried to Recruit Me
Seems like a suitable alternative: https://www.minds.com

Source code: https://github.com/Minds
Nice! It could be used before feeding a OCR
It would be interesting to augment an image recognition dataset with additional inputs generated by minor transformations under these scripts.
Then I would never sign up to any of these sites. While I’ve been an edge case for a few years, I suspect it will be increasingly normal - especially for customers who are willing to pay.
This is usually the big issue I've seen/experienced: funding $10k isn't as hard as 2-3 people deciding to quit their jobs and take no income for 1-2 years.
> Ada has functions, procedures, and packages. So does PL/SQL.

Lots of languages have those. That doesn't mean one copied the other. Are you serious?
How the internet flips elections and alters our thoughts (2016)
sftp (ssh) works out of the box with the GUI shell (nautilus?) on most GNU/Linux distros. It just looks like a network drive.

webdav is the same but ALL popular OSes support it, I really don't understand why more people don't use that as it doesn't get any simpler. You don't even need a browser.

EDIT: the reply here is dead (?) I don't agree with it (really at all, IMO google drive has one of the worst most confusing UIs ever, that seems to be an intensely objective thing) but some others might and I don't find it offensive:

>I couldn't use webdav without going to find out how to use webdav.

>I can figure out google drive in a minute. So can she. So can her paying customers.
The framing of the situation is kind of twisted imo.

If we talking about politics, it seems entirely reasonable that a politician would want know what their constituents were thinking about, would tell their constituents what the constituents wanted to here and go to Washington and do what they promised. That's democracy - obviously, this democracy isn't in very good shape. But it's hard claim to that having a very fined-grained understanding of a constituency's wants is the thing that is destroying American democracy. I would lie it's more simply "lies and demagoguery". Now, it seems like Trump undoubtedly used data to fine-tune his demagoguery but I think we have to look elsewhere that data-access to explain the problem. Or - the problem with American democracy isn't groups have fragmented to many, many sub-constituencies but that significant portion of these have palpably irrational views (anti-vaxers, pizza-gate, etc).

That's problem for our democratic system. That degredation of education might be to blame. The destruction of the safety net might be to blame. Or the willingness of mainstream media to engage in propagandistic approaches equally as manipulative as the extreme right might be to blame - and that bring the point that complaints about Cambridge Analytica in a broader context seem entirely in this propagandistic stream, shifting the focus of attention and packaging a vague threat rather than giving any coherent analysis.
>> But it's not using me to harvest my friends information

Of course. It already has your friends’ information.
Thanks for the links to interesting articles. Definitely interested in the interior point formalization and proof. As I expected, it's already quite hard even without taking floats into account. (In the conclusion they say "We worked with real variables to concentrate on runtime errors, termination and functionality and left floating points errors for a future work.") Our experience with industrial users using floats is that most are not interested if we don't deal with floats. Otherwise no guarantees can be given for the actual code.

Re learning SPARK, we'll have a brand new learning website during the year for Ada and SPARK, to replace the e-learning website u.adacore.com. This should make it far easier to learn Ada/SPARK, hopefully with online tweakable examples as on https://cloudchecker.r53.adacore.com/

With the SPARK Discovery GPL 2017 edition (from https://www.adacore.com/download), note that you'll get only Alt-Ergo installed by default. You need to follow these other instructions to add CVC4/Z3: http://docs.adacore.com/spark2014-docs/html/ug/en/appendix/a...

If you have any problems, let's discuss on spark2014-discuss@lists.adacore.com, or report it on spark@adacore.com

I'm curious about your Brute-Force Assurance concept, can you say more?
Why should GPL be problem for Ada when it's not for GCC?
For a liked tweet? No, not even in a tense situation. We have to stop excusing government sanctions for something like a liked tweet. It's a dumb equivalence and harms the real point by deflecting.
> Mostly because they're going to have to make a case that "crop insurance" provided by the USDA is somehow an undue "subsidy."

Isn't it? How many billions of totally-not-subsidy are you not subsidizing?
I just submitted one of my favorite articles on the subject: https://news.ycombinator.com/item?id=16668805

Basically, it walks through how something as simple and subtle as search results can sway public opinion. It wouldn't get a pro-Hillary person to vote Trump but can nudge the middle one way or the other.. and with your social info, it's easy to tell who's in the middle.
The only place I remember seeing it is in The Diary of Anne Frank. I'd guess it's on British tv/radio, too.
>I know Google is profiling me and harvesting my data. But it's not using me to harvest my friends information.

But is it not though?

Because it analyzes any emails I send to your gmail account, and any SMS messages I send to your android phone. Google will argue about data vs metadata, but really it's all just data, and it's as much about me as it is you. I don't know if Google pioneered shadow profiling, but they certainly perfected it.

My room mate got a pair of home mini's over my explicit objections. He insisted that they send "bytes per hour tops" back to google when idle, and that I was just paranoid for hating them. I did some network inspection to validate that for myself.

They pretty much ceaselessly probe my network, mostly with multicast traffic, and are uploading something in the area of hundreds of kilobytes per minute when idle. I can't tell what they're uploading because they're using secure connections (presumably with pinned certificates, although I haven't checked), but if I were to baselessly speculate, I would guess they are discovering, logging and reporting the comings and goings of android phones on my network so google can follow people as they move from one home to another, possibly mapping IP's to locations.

Now for sure, I'm a lot further down the tinfoil scale than most people, but I disagree with you. As someone who actively works to avoid google, my friends sure do keep inflicting it on me.
I don't think torrent works behind a NAT? Which is probably worse if you're not in the US/EU.

There's syncthing but then you're using volunteer's bandwidth. TOR+httpd is the same.
Are we still talking about using Google to host content that's against their ToS? Suing them in such circumstances seems unlikely to end well for you.
What social network is not a glorified RSS feed with one or more means of messaging bolted on (including "likes" and "+1s" and "favs" and "retweets" and whatnot)?
Yeah, but Facebook Lite and Messenger are both Facebook's IM app.

Personally, I would use Wire. https://wire.com (https://github.com/wireapp)
Yep, google appears to be on the brink. And yep, consumers have the right to jump ship when google goes too far (in their opinion).

Basically, we should make sure not to be a frog that gets boiled (to throw in another metaphor).
I'm not telling you whether tariffs are good or bad. I'm just telling you what I expect most economists think about it.
I am not pro gun by any stretch of the imagination, but when I heard YouTube was banning firearm related content it made me real uneasy. I didn't have as much of a problem with a crack down on hate speech.

I know a lot of people who I would consider gun enthusiasts that wouldn't hurt anyone unless they weren't given a choice.
Protection of personal data. If you don't use an account anymore, you shouldn't have to be subject to the data leaks the site will suffer in the future.
US Military Scientists Generate Voices Remotely via Laser
Every little stupid app is harvesting your phone whether it is facebook or not. Most people don't care that much about giving permissions and as a developer I have seen millions of people letting apps stealing their most valuable data including text messages, documents, basically anything on their phone. This whole thing blew up because they helped Trump, simple as that, if it wasn't Trump you wouldn't hear about it.
It is pretty good at describing psychology of nearly sociopathic random murderer. It is not really about general psychology of majority of people who don't kill without reason.
>Should I go back to my Synology?

If you've got one lying around, absolutely you should choose to control your own data.
Haha, how about XMPP, using Gajim? Good times!
https://news.ycombinator.com/item?id=16080300
GCC has a runtime library exception, GNAT GPL does not. Programs compiled with GNAT GPL can only be GPL (GNAT GPL is specifically engineered to that end), that is not the case for GCC.
I think is possible to have the verbatim option active all the time, but I don't remember how.
That covers the "required" part of their statement. But they also have the weasel phrase "as permitted", which is far more open ended. In much of the US, for example, the law does not expressly state what steps a provider has to do to "delete" your account. So implicitly, they're permitted to keep what data they like.
Manifest Destiny. Smallpox Blankets. Trail of Tears. Slavery. Going to war to defend slavery. Hiroshima and Nagasaki. Vietnam. Iraq. Iraq again. The prison system. Prohibition. Segregation. War on Drugs.

I'm not even an American.

Trump is embarassing. America has done a lot worse than embarassing.
Some people are confused about what this is.

On this page you see examples of websites you can host yourself. I'll use Mastodon as an example since I've used it. I know about hubzilla slightly but have not used it.

Mastodon is a platform you can run on your own server. That server you're running is called an instance. You can also register on an instance someone else is running.

Think of a single Mastodon instance as a clone of Twitter. One nice thing is: Your server, your rules.

Then, you can also allow your Mastodon instance and its users and their posts to be discoverable by other instances.

I think it's said to be federated because no one entity controls the content that is being shared. the information is passed around from instance to instance by rules that are defined on a per-instance basis.
I have a wholesale business and some of my clients like to make deposits in cash. and im talking about hundreds of thousands every year. I never had a question asked as long as I filed them as they are supposed to - sales, not a gift od whatever.
It's really naive to think that this only became news in 2018.

It's rather obvious that both Facebook and Google are conglomerates that know way more then they should about us.

That has been the case since at least 2012. There's nothing newsworthy about that.
Bbot (bbot.menu) - food and drink delivery system for bars and restaurants.

20% facebook, 20% email, 60% anonymous ordering only (most prefer to not get an account to drink a beer obviously).
And the people who simply accept this have...
That's great until a future court wants to expand this and ignores that part of the case to cite it as precedent.
>which is buggy as hell

Is this really the fault of C++? Ada was appreciated for providing static code analysis out of the box but they found out that coupling C++ with a (modern) static analyzer gave better results.
Almost everyone tech savvy that I know runs an ad blocker and I've installed one for all my family members who aren't. At family holiday gatherings they've even started asking me to "do that thing you do" to clean up their browsers. Regular people are getting very very tired of so many obnoxious ads, and even though they don't think about it much, no one is like "hey, I have WAY to much privacy! I need to give away my data!!"
And your friends agreed to it, same as you. That's the difference.
I get that you’re being fascetious, but there are many Chinese manufacturers who will copy a product for you if you ask nicely (i.e. want a large enough volume to make it worth their time). The other common way this happens is ODMs there simply produce more of an order for a customer and sell it unbranded or under some made-up brand name. This is partially why you see so many products on Amazon with names like WinBuyer, iEnjoyWare, GooBang, Anewish, Globmall, GooDee, APEMAN, etc etc (those are all real examples). Amazon does sometimes step in and eat their lunch with AmazonBasics versions of common products (car top carry bags, camera cases, many home goods, etc). I personally do go for the AmazonBasics brands in these cases, since while they might be from the exact same factories as the GooBuy3000 version, I have higher confidence that I’ll be able to reasonably return it if it’s terrible, and moderate confidence that it’s at least a passable version of whatever it is (e.g. I own an AB umbrella and many batteries, all of which are decent).

Amazon also has their own group of “house” brands that they go through some effort to obscure: https://www.l2inc.com/daily-insights/amazon-has-more-private...
I honestly don't remember the actual message from Mozilla varying much over the past two years when it comes to Vimperator-needed APIs. But then I don't remember anyone doing much to get things figured out on that front, so a lack of progress is hardly surprising to me.
Wut? They only recently released a new UI. But nice job shoe-horning your friend's website into the convo.
Obscene is always problematic, as it’s measured against a “community standard”. What’s ok in San Francisco may not be in Mobile.
> I am trying out k9-mail

K9mail doesn't nest reply threads[1] which is must have feature for me. Otherwise yes k9mail is good.

[1] https://github.com/k9mail/k-9/issues/763
59% use a gmail when they sign up with email. Many of the users on our platform will use their school emails, so this might not be representative of another sites.
I specifically addressed this:

> I'm always skeptical of the claims that things can't be done transparently because it's not open to input yet. Those things are orthogonal.

You don't have to explain anything. You don't have to set up a website (case here already had a website, code was just hidden). I'm not sure where these requirements come from, but it's not true, and I'd argue you do more harm giving the impression of secret development than you do not accepting input at an early stage. We all understand the latter, but many of us are wary of the former when someone says their committed to openness and does the opposite.
Kaspersky
> As such, with Google, I am more than ok them using my data

Woah, that was a very different conclusion than I was expecting. The post builds up to how terribly dependent you are, but concludes with "so I'm very happy".

I see your reasoning and your point, but don't forget what kind of relation this is (where you pay very little to nothing for most services, money-wise...).
I'm surprised they're doing this, because it could open them up to legal liability. If they have the technology to do this, then arguably they have the technology to detect child abuse or other crimes and would be liable for hosting it. If they didn't have this technology, then if they are accused of hosting illegal stuff, they can just shrug and say there's nothing they can do. Or, like you said, remove individual items after a complaint.
But if we agree that Ada reduces one kind of bug compared to, say, C, then we'd also have to come up with a class of bugs which Ada makes easier to write, in order to say that the number of total bugs stay constant while one kind decreases.

I can't come up with such an example.

You're right in that things are rarely black and white, but when it comes specifically to bug prevention, I think Ada is a strict improvement over many alternatives.
This is so cool!!!!
The main difference from my point of view, as a Google and a non-Facebook user, is that Google actually provides useful services. From GMail, to Maps, Drive, etc. Facebook (as I see it at least) provides zero value. It creates toxic echo-chambers and countless studies have proven again and again that it makes people miserable.
Usenet article periodically get promoted to the front page. I wonder what that says about the age demographics of HN, given that Usenet hasn't been significant in maybe 20 years (and even then it was a niche). Is the younger generation here? And if not here, where?
According to Wikipedia, Einstein went to a Roman Catholic school and his parents were "entirely irreligious". But that doesn't rule out some Protestant cultural influence, I suppose.
You say something and then come to an opposite conclusion, what I learn from your story is that it doesn't matter what you are being told but rather whether you got inclination to do something, women and certain races don't have this inclination and it doesn't matter how hard you will push it down their throat. On the other hand you and your stoner friend ended up ok even though you were not pushing yourself to this direction in a younger age.
Maybe understanding what MFN status https://en.m.wikipedia.org/wiki/Most_favoured_nation means would help resolve arguments like this. Of course US is free to set tariffs at a level it sees fit (in accordance with its international agreements) as long as such tariffs apply to all trading partners (who are WTO members).
Loop to evanston is like 20 minutes.

If you live in Lake Forest and commute to Lisle, that is 58 minutes door-to-door.

If you live in Naperville and unwisely choose to drive, it could be on the order of an hour.
Every time that problem occurs, we hire new people. The model basically funds its own growth, so when scaling issues rattle the system, we can hire people with the cashflow that's already there.
Adding a source https://www.independent.co.uk/life-style/gadgets-and-tech/ne...
Years You Have Left to Live, Probably (2015)
They do, eventually, but as many things with Tesla it is sometimes hard to tell what is actually available (as in you can go and buy it) and what is to be available "real soon now" for several years. It is not cheap, either.
I usually frame this as "there isn't any single problem for which excel is the right tool, but for surprising amount of problems it is usable tool"

And I've found out that having excel export of essentially any data in your line of bussines application is indispensable unless you expose some kind of excel-like querying and data manipulation mechanism to users as part of your application.
Talk about jumping frI’m the frying pan to the fire.
I've been using [Syncthing](https://syncthing.net/) as a replacement for Google Drive. It isn't a cloud storage service (it's a FOSS P2P synchronizing solution) but after a few changes of habits, I find it just perfect. I use it to sync many folders between my Android phone, my Android TV and multiple Mac (work and perso). I have folders for Music ($ cd ~/Music;youtube-dl <url>), for Movies (idem, with from phone or laptop to be sent directly to Kodi on my Android TV!), for my passwords (in KeepassXC databases), for my notes and todo files (with todotxt-cli and todo.txt apps on Android), etc.

Except for a few Google Sheets (only for work), I'm now completely Drive free :)

The only services for which I don't have an alternative yet are:

- Search (I'm currently testing Qwant and now using Wikipedia/Widata more and more), but I'd be OK with Google if I only used it for Web searching

- Gmail. I'm not at-ease with ProtonMail (yet) and not at ease with self-hosting

- Contacts and Calendar. I'm considering setting up an OwnCloud instance but haven't yet chosen a trustful hosting company.