skysight-inc/HackerNews huggingface dataset:
Wait, what? The problem is that the facts themselves have a left-wing bias. Crime has fallen over decades, and deadly violence has not changed for a decade (http://www.bra.se/bra/brott-och-statistik/mord-och-drap.html). Real humans experience anecdotes, but it's the job of the media to report the facts. A (large) minority prefers the anecdotes but that doesn't invalidate the facts.

That this breeds mistrust is obviously a problem (maybe THE problem of our era) but the solution can't be to have the media report what your "real humans" want to hear, instead of the facts.
The NYTimes doesn't need empowerment, they need sources. And those sources are the ones that need empowerment.
AI Can Predict with 80-90% Accuracy Whether Someone Will Attempt Suicide
but he had never done the paperwork

Sounds like he dropped the ball.
> I couldn't find a good source, but it doesn't seem like that's something a CC merchant would have access to. Do they really get to see that?

The first six digits identify the issuing institution. Here's a free service for looking up a bank based on that information: https://binbase.com
This is the same government that would have no issues to use the same techniques to spy on its own people for its own motives.

Local government is not the same as the NSA. Quit with these fallacies of composition.
>this is a textbook case of someone playing the system, including overstaying on a tourist visa several times

Do you view this type of situation as one where it is appropriate to use restraints?
Would love to see and ARM or MIPS setup get within shouting range of Intel.

I have yet to hear any explanation of the IME that makes sense without the presence user-hostile intent.
Which celebrities' Twitter feeds should the Love Bot 2000 crawl?
50 hours => 10 hours of overtime

Or 15 if you're in one of the lazy European countries, like France.
Janet Yellen Says Fed Is Likely to Raise Interest Rates This Month
It wasn't a rewrite. It was two separate web apps. Type safety categorically prevents classes of bugs that I've seen in real Javascript apps on multiple occasions. Haskell frontend apps that I worked on both before and after the JS app never suffered from that class of bug.
They're trying to become too big to fail, but aren't quite there yet.

Essentially they're undercutting all competitors by artificially keeping fares very low and subsidizing drivers. Subsidies were the primary source of their enormous financial losses in 2016.

Once the competition is completely gone (local cabs, and Lyft in some areas), then they can stop subsidizing themselves and basically hold a monopoly. It's their entire strategy.
> holding up AirBnB

With AirBnB they went one step further: they invested in it. AirBnB is one of YC's biggest winners.
> It almost starts to undermine the case against them when there are all these hit jobs coming out and it starts to seem that the media is biased or relishing their fall.

Think of what this means: The more a business (or anyone) does wrong, then the more news stories there are about them doing wrong ... then more likely it is that the news stories are 'hit jobs'. You can see how that doesn't work.

Everyone subject to criticism by the news media calls it a 'hit job', reporter bias, or something similar. I see nothing in this story that suggests such a thing; this seems like a serious problem and the allegations are seem well-supported.
Values can be nuanced. Yes to free market but guess what, it occasionally needs checks and balances because while it works for a particular company it might bring society as a whole down.
Infrastructure like roads and electricity should not be controlled by a company because it's supposed to benefit everyone.

Let's talk about Uber. Say they survive this situation and thrive as a business, taking over the global cab market. Imagine they also perfect self-driving cars and next month they fire all the drivers.
Suddenly you have a company of ~10,000 people getting all the money from all rides around the world. And most of the money goes to the executives and a few thousand shareholders.

You now have a group of millions of people unable to make a living, and support their families. Apply this to all jobs that require mostly drivers (trucking, busses etc) and we just destroyed ~10 million jobs (including supporting infrastructure) in the US alone.

These people need to make a living - if Uber ends up paying super low tax (compared to what it displaces) we have a huge number of people making no money and a few getting all of it.

Civil unrest follows naturally (in one form or another) and you end up with either
1. Segmented civilization with a few people defending their wealth with hired guns
2. Social reform - guaranteed basic income for a while, but long term?
3. Revolution where the mob takes over and the outcome is anyone's guess - an extreme form of socialism?

It's not just about values, a lot of it is about long-term thinking.

Which of the three outcomes is better may be a question of values - is it better that a few people do super well and everyone else suffers, or most do pretty well?

Without some social stability and wellness companies cannot function - people need money to pay with, and without jobs there's not much money to go around.
Love Bot 2000 is disrupting dating and automating the creation of lifelong connections via the twittersphere. It crawls the tweets of celebrities like Neil Degrasse Tyson, finds people that retweeted their same tweet and are geographically near each other, and then relentlessly tweets intros @ these potential soul mates. This bot instigates love for people, regardless of whether they're searching for it, separated in age by 50 years, or are in committed relationships.

(This is a Twitter bot: https://twitter.com/lovebot_2000)

So this is fun.. who are other celebrities that the L0v3 Bot should crawl the twitter feeds of to find "matches"?
Tell me your ideas as well as ideas for witty intros to tweet at these "matches".

You can also make a PR and contribute!
https://github.com/aberke/love-bot

It would be funny if celebrities actually enjoyed this and "applied" via the form on the website http://l0v3bot.com/
If the law is immoral, wouldn't forcing people to follow something immoral be immoral?
I just checked out what their subscription actually means and I am a little dumbfounded.

- "1 year of Teen Vogue in print and tablet for $5" - nice, that's cheap. But can't I do digital only?

"For delivery to a non-US address, please click here."

- Digital only "All non-US orders" - One year for $9.99

WTF
A vote is not the same thing as a choice.

For example, I can choose to buy steak or ham. But voting on whether the government store provides steak or ham, that isn't the same thing at all.
Sure, but what civilized nation requires someone with a spouse and children who are citizens to get a visa in the first place?

Most, no?

What would stop me from claiming I married someone in a foreign country and bring them back to live with me? Seems like a major loophole without some verification of the marriage.
They will succeed or fail based upon their ability to attract customers and sell a product at a profit. I suspect most customers don't care about any of your bullet points. They care if Uber can get them where they want to go faster and/or cheaper than other options.
I'd like to see them subpoenaed to explain what they were doing. They were deliberately violating the law, and trying to avoid detection just makes things much, much worse.

This has got to be illegal.
Thank you - I didn't realize this was so old. So knowing that - what happened to this idea? I've never heard of it, so I'm assuming it didn't catch on.
The next step is the tech becomes available to everyone; unfortunately that won't happen anytime soon when it's so lucrative to create tools that can only be used large teams and megacorps/multinationals.
That's a good point, that probably would qualify as sexism against Mark.
I think the version in this link may be an old one. In the version on Github (https://github.com/mairin/selinux-coloring-book/blob/4ac589b...), I see at least one typo that's fixed and I believe there are other differences as well.
All credit cards have a BIN number (first 6 digits) that typically are associated with one bank. Checkout this list[1]

[1] https://www.bindb.com/bin-list.html
You want it out, but it's pretty clear other people don't. Why are you able to force your personal views on other?

You are free to choose not to use Uber, others are free to choose for themselves.
The most serious one is that we were submitting jobs (as json) that were missing a few metadata fields. In Python we passed around dictionaries, and even though we had json schema validation in place, this slipped through. In Haskell, we define a record type and the corresponding serializers. It is more code, but what you get is that invalid data cannot exist at runtime: it simply cannot be represented.

Also, a compiler refuses to compile your code if you make a typo in a field name.
> As a man, I have never had a single manager comment on the clothes I've chosen to wear at work...

Happened to me a few times for various attires.

So far, it has an incredibly high correlation with bad management.
> First, though this may be stating the obvious, standards in culture are an important part of language; what is normal in one language is definitely not normal in another. Russian, for example, has words for "this", "that", etc, but you wouldn't commonly use it unless you were being really specific; a few of my Russian colleagues when coaching me in my Russian have reminded me not to be so specific with Russian since it could be perceived as insulting. Whereas in English there is no such judgement for casually using the references.

I haven't heard of this and asked my wife (native Russian) about it, she couldn't understand what it meant either. Can you give examples? Typically we just use "то" and "это" for everything.
I edited my comment to include a sarcasm tag.
Thank you, I'll take a look!
This needs more attention. Particularly now that AMD may actually look into cooperating with the community on this matter somewhat. I wouldn't get my hopes up yet though, as this was a Reddit AMA done during a time when AMD is keen to please the community. This matter must not go away for something to be done about it.
There is no precise recipe, actually. You will find your own way.. For me a turning point was the moment I start interact with a team. Developing things together with others forced my brain to think how to make things clear not only to myself.. also, discussions with coworkers make you open mind to receive critics, to learn new strategies.
Look at agile development process .. A lot of people criticize it, but the merit of it is that people are pushed to talk to each other and to share responsibilities.
I would only consider someone a developer If he/she knows to play within a team.

May the force be with you. ;)
Ads. The print ad rates are set based on the subscription count. They are a big chunk of the revenue for those subscribers.
Laws about accessibility and safety are bad laws?
The cost is artificially low due to loss-backed driver subsidies.
There's a classic paper that answers this well: "Why Functional Programming Matters."

(Not a quick read, but not too huge, and it is a classic that is well worth reading sometime).
I think I understand your point. Trying to compare a persons influence in government, a system designed to encourage citizen participation, to that of a corporation, a system designed to make as much money as possible and answer to share holders, is not great.

"In order to form a more perfect union" VS "the pursuit of shareholder wealth."

Even if the system is not working exactly the way we want - it never will - we are still endowed with the rights to participate. The same cannot be said for corporations.
OP was arguing that because they don't like the law it's immoral to enforce. Whether or not OP likes the law really has nothing to do with whether the law is immoral.
They also record the last 4 digits. I guess they could use some sort of algorithm to determine the probability it is an official, especially if they combine it with other data.
Does this only allow for one viewer per presentation?

I can imagine a lot of use-case scenarios with multiple viewers enabled, if at all possible?

Nice work though, I can see some uses for this already!
Well, if you dig slightly deeper you'll find that I do address the Guardian's publishing habits specifically.
> Uber then served up a fake version of its app that was populated with ghost cars, to evade capture.

> To date, Greyballing has been effective. In Portland that day in late 2014, Mr. England, the enforcement officer, did not catch an Uber, according to local reports.

> To circumvent that tactic, Uber employees went to that city’s local electronics stores to look up device numbers of the cheapest mobile phones on sale, which were often the ones bought by city officials, whose budgets were not sizable.

Holy moley. That is so slimy and sneaky.

Well heck this opens a new startup opportunity -- build a device or service to create phone and accounts to evade Greyball and sell its usage to local law enforcement. The price would be low enough if it is sold or provided per hour for example. They could afford that.
> if people are determined by outside forces, so are judges and prison guards,

false equivalency. people are determined by very different outside forces, and thats precisely why some people aren't deserving of the same levels of "moral judgement".
Probably not -- finding a company willing to hire someone to deploy Sandstorm for them sounds at least as hard as finding a company willing to buy Sandstorm as a product and pay Sandstorm Inc. for support, which is what we had trouble with. I'm sure they exist but enterprise sales are non-trivial. :/

That said, my new employer is a big user of Cap'n Proto, a sub-project of Sandstorm.
I like this. Some call it hustle, others call it evading LE because cashflow is king, and nothing shall stop the flow.

I commend this but also frown at it for being so brazen. If such a tool was used for the opposite reasons (spotting crime and reporting it to police), then perhaps the tool might stand a chance, but showcasing it in full view of LEOs is outright brazen and guaranteed to embarrass.

People are campaigning on Twitter to #DeleteUber[0] but fail to recognize the naive nature of the story. I consider Uber nothing more than an ongoing experiment, and any tool they release to increase their revenue should be both commended and also be treated with suspicion.

[0] https://twitter.com/hashtag/deleteuber
Obstruction of justice comes to mind. There's a concept of "misleading conduct" typically in obstruction laws.

Not sure, though, if it applies to tort type infractions...which is usually where Uber plays, or only in cases where the obstruction is hindering investigation of criminal activity.
The first part of a credit card number is called the BIN, which stands for Bank Identification Number. With that, you can tell which bank issued the card (aka the issuer).
It's an interesting coincidence seeing this paper and talks about data flow, because I'm interested in applying typing to logic programming for a practical system and also came to the conclusion that my type system needs to be aware of data flow.

This is because variables in logic programming are usually individually bidirectional, but may not support all combinations. For instance, consider the logic relation "half(a, b) -> a = b/2 or b = 2a". If you pass in "a,_" it fills in the blank for "b" with the number which "a" is half of. If you pass in "_,b" it fills in the blank for "a" with the number that is half of "b".

So, individually each "argument" to the relation is an input and an output. (What in C# would be called a "ref" arg, as opposed to an "out" arg or undecorated in arg.)

However calling "half( _ , _ )" is not a valid use of this relation, and we would like the type checker to complain if it is used in this way. (What would one expect if both arguments are unset? Should it produce all pairs (n, 2n) in Z? Or perhaps all pairs ((float)0.5 n, (int)n)? An uncountably infinite set of pairs of Reals?)

Clearly just marking individual arguments as "in" or "out" is not enough. The typing has to be more like "if I have this data I can get to that data" and "if I have this other data I can get to something else." I can't figure out a way to represent this in static types, but I believe it could be typed checked with dependent types.

The examples with "select" near the beginning of the paper are not exactly the same thing, but are a similar problem and solution: data flow and the direction of the arrows matters.
We do actually use Mypy! I wrote about my experience with it here:

https://www.reddit.com/r/programming/comments/5x3hdd/channab...
Nice one Nick. Flask is really a beautiful architecture. The primary SELinux author once said, "SELinux doesn't add complexity. It exposes complexity that was already there." MAC policies for general purpose computing environments trended toward unmanageable complexity, but the fit is much more natural in constrained computing environments such as smartphones.
Are they? I hear more about American, British, and Chinese universities and research institutions than Japanese institutions.
On the one hand, I have definitely had this experience - I rewrote a library three times, with large gains in performance, readability, reliability, etc, each time (but mostly on the third time, which was from scratch).

That said, isn't it also fair to say that with a better understanding of the requirements and problem, you may determine that a different language / paradigm is a better choice, in the same way you may decide a different class division is better?
Interesting keyboard, challenging manual :-). Having ARM Cortex-M chips as controllers really opened up the abilities of keyboards.

I've been collecting a list of features that I'd like if I had a completely hackable keyboard (or built one).
This guy has provides of detail and decent footage about what's already been done and the plans for the future:

https://www.youtube.com/watch?v=ilkU_ivYTqQ

It's really quite impressive, the scope of the project and how quickly resources have been mobilized to solve the issue.
I think the better question is: Does the law that Uber is subverting make sense in the first place?
This is a really interesting slidedeck that highlights all the issues that arise when trying to do a truly large-scale Game Editor UI in Javascript.

In the end they've decided to go back to C++ with Qt.
> If I declare myself to be an enemy of a given entity, I fully expect them to use every resource at their disposal to attempt to defeat me

What an absolutely absurd way to characterise the actions of those who enforce law with those who attempt to break it.
What money? They've got a -140% profit margin. Any money is already pre-committed to be paid out to the people using the system.
Sorry, services like Uber have externalities and do not only impact their consumers.

Your only option to avoid this involuntary charge s to flee

Bollocks. People organize for and achieve their political goals by modifying government on a regular basis. Governmental institutions suffer from numerous flaws, but your argument is that government is fundamentally totalitarian which is nonsense.
> If I declare myself to be an enemy of a given entity, I fully expect them to use every resource at their disposal to attempt to defeat me

For dealing with individuals, I don't agree that it's ok to use every resource at their disposal. For example, getting the person fired or slandering them is not acceptable.

But this is dealing with government. Avoiding the law and law enforcement is wrong and often illegal.
> The 'say' you have in government is much smaller than the 'say' you have in using Uber. I can choose not to use Uber any time I please.

True.

I have effectively no choice in ISP, and no choice in power company. At what point do I get to vote on seats on my ISP's board, or my power company's?
Interesting! But don't the CC agreements require them to only use CC numbers for the absolute minimum purposes necessary to process the transaction? (They can't store the numbers themselves except the last four digits IIRC.)

So (based on the site) they could presumably use that number as part of fraud prevention but not to "identify possible narcs" -- I imagine the CC companies will be livid at this usage.
I'm a bit torn by this. On the one hand Uber is a terrible company exploiting people desperate enough to sell themselves in the "gig economy" and breaking all manner of laws in the process.

On the other hand I remember my friends and neighbors being abused by police and our "justice" system on a near daily basis as I grew up so it's hard for me to muster much sympathy when their efforts are thwarted.

To me this looks like two powerful entities engaged in a game of slap-fight that ultimately disregards folks of lesser social and economic means.
Like other drugs many people experiment with in high school, a little won't hurt you but prolonged exposure to Rand can lead to cognitive deficits and antisocial behavior.
Portland trying to prevent Uber from operating there had nothing to do with accessibility or safety.
I think Uber needed such tool because they tried to barge their way in a hostile market. I think people blaming Uber for being unethical should ask question what led them to do such behavior (because of ancient government laws)
I'm not defending Uber but I think if they didn't enter market people would have never know what is it.
> Disjoint union is the coproduct in the category of sets, so we have a good excuse to use the symbol +

This is definitely making fun of somebody
I don't think much development was done on this specific plan but some of the same ideas (minus the btrfs dependency) can be found in OSTree and Flatpak.
The article states the following for RISCV:

>"While this architecture is extremely limited in performance, price"

Can anyone say thy the performance of RISCV is so lacking?
Maybe I'm just blasé about the whole thing. I'm just saying that when you take into account the fact that they were already breaking the law, using this tool to help isn't a big jump. People in this thread are acting shocked, and I don't get it.
How much should you charge for your Software-as-a-Service tool?
Unfortunately they don't... at the bottom of that page it says, "The links to the HealthSavings Administrators and HealthEquity websites take you to sites outside vanguard.com. Vanguard is not responsible for the content of third-party websites."
The Seven Circles of Developer Hell [Infographic]
The governments of the world wish they could be this efficient at leveraging techniques like this on their people.
Was there anything preventing the development of a less hacker-focused UI, save lack of reason to do so?
"But unknown to Mr. England and other authorities, some of the digital cars they saw in the app did not represent actual vehicles. And the Uber drivers they were able to hail also quickly canceled. That was because Uber had tagged Mr. England and his colleagues — essentially Greyballing them as city officials — based on data collected from the app and in other ways. The company then served up a fake version of the app populated with ghost cars, to evade capture."

Holy shit that's actually impressive in how deceitful it is.