skysight-inc/HackerNews huggingface dataset:
I'm not sure how this comment will go down (hence throwaway). But as a man I'm now a little envious of Leap. I've never suffered the sexual harassment or gender based discrimination but I have suffered the bullying, and witnessed it against others, and I've been punished and had my reputation/career badly damaged by those I tried to stand up to. I would love a positive place where people can be open about what they're experiencing like this without fear of retaliation.
I'll take progress that actually, literally happened over armchair declarations of what people should be doing, thanks.
So, Navier-Stokes assumes infinite divisibility in the fluid it models, right? Which we know is not the case: atoms exist. It seems obvious to me that Navier-Stokes can't be a perfectly accurate description of reality, so it should come as no surprise if they turn out to blow up or otherwise behave non-physically. Am I missing something? Why isn't it assumed that they're just a very nice approximation, like Newton's laws pre-relativity? Actually the whole thing reminds me of the ultraviolet catastrophe that preceded quantum physics.
But gambling is a real-world use case. There is plenty of real-world illegal activities that benefit from bitcoin, and they can all deal just fine with high transaction fees, delays, volatility, etc.
I don't get how using lyft/uber as your only form of transportation can be at all cheaper.

Let me run some basic math. Uber wants $11.50 to take me home right now. Lyft wants $13.40

$11.50 * 2 = $23/day

23 * 5 = $115/week

$115 * 52 weeks = $5980/year (I am ignoring vacation weeks for now.)

My yearly cost for car ownership are roughly as follows. (Assuming only work and back.)

Insurance(1): $886/year

Fuel(2): $292.50

Maintenance(3): $1000

Car purchase price(4): $1000

Total yearly cost: $3178

(1) I only run Liablilty + uninsured/underinsured but I run cheap cars

(2) 2340 miles/year (Work is just under 4.5 miles.) Figure 20 mpg (I get better but have not calculated it in a while.) Figuring fuel prices at $2.50 although the last year has been much closer to $2 and less at times

(3) This is way more than I would put into a car yearly if I only drove it to work and back but I do many of my own repairs so I am boosting it a bit for those unwilling to do so. Also including stuff like taxes and tags here

(4)I buy cheap cars off craigslist, run them into the ground and replace them. My normal cost is $500-600 but by the time you add a new set of tires ($250-300 installed) and fix whatever random issues the car came with $1000 is closer to actual purchase price.
1. The Bitcoin algorithm gave early Bitcoin miners much more of the supply for measurably less work/capital costs. Satoshi designed the supply to go almost entirely to early adopters. Just as easy the algorithm could have been designed to match work input with reward output, but instead all later users must work harder to earn less.

5. Ban exchanges, make sales/purchase illegal like how localbitcoin dealers being arrested for money transmission violations.
If you want an automatic REST API, but on top of PostgreSQL and Haskell (you don't have to touch Haskell, but benefit from its type safety and performance), check out PostgREST:

https://github.com/begriffs/postgrest

If you need GraphQL and standard PostgREST endpoints (as well as a few other tools like Openresty), this starter kit is really nice and fires right up with docker-compose:

https://github.com/subzerocloud/subzero-starter-kit
This is the problem that I've run into trying to use formal methods.

I love them, I can express some things very concisely and even clearly. But there's no direct connection to the code and so keeping things synchronized (like keeping comments synchronized with code) is nigh impossible.

We need the details of these higher level models encoded in the language in a way that forces us to keep them synced. Type driven development seems like one possible route for this, and another is integrating the proof languages as is done with tools like Spark (for Ada).

This will reduce the speed of development, in some ways, but hopefully the improvement in reliability and the greater ability to communicate purpose of code along with the code will also improve maintainability and offset the initial lost time.

And by keeping it optional (or parts of it optional) you can choose (has to be a concious choice) to take on the technical debt of not including the proofs or details in your code (like people who choose to leave out various testing methodologies today).
Yeah, I didn't mean to imply I was rich. Just that I was able to work for code without needing to worry about money, or what that code has to do for cash, for the time being. I think having nothing to do all day is the ultimate wealth - the richness of leisure.

Wish I had known this years ago and just focused on building my own shit rather than making the already rich slightly richer
Contraceptive app under fire for causing unwanted pregnancies
In Perl 6, we can do much the same without all of the boilerplate.

class a {};
multi sub infix:<==> (a $a, $b) {
True
}
if a == 1 && a == 2 && a == 3 {
say "true!"
}

If you wanted to make an actual iterator out of `a`, you could do:

multi sub infix:<==> (a $a, $b) {
++(state $) == $b
}

In that case, `a` would equal 1, 2, and 3 in that order. 5 is right out.
The Ultimate Guide to JavaScript Frameworks
China is always “working on” whatever the US is.

Well, by definition, since half the components probably originate there.
Words' meanings aren't absolute, they're relative to context. I bet we could find a dozen examples of that in your comment alone if we looked.

In this case the context is the question. Q: are all who identify as women welcome to join? A: yes, we want to be inclusive of all who identify as women. It's clear what "inclusive" means there, the same way it's clear that "join" doesn't mean sticking things together with carpenter's glue.

It does take a little work to remember that the same word can have two different scopes in the same discussion. Similarly, one might not use the same variable name to mean two different things in the same function. Nevertheless the meaning was reasonably clear and certainly plausible.

The problem is that when a word carries an emotional charge and the topic carries an emotional charge, outer-cortex nuances get flooded by deeper defensive reactions. This happens to all of us. It's one reason why discussions like this need moderation and the moderators need a lot of practice—and a lot of support—in order not to get flooded themselves. I'm dangling by the same thread much of the time, so I have empathy for it, but it's not ok for commenters to let themselves become disrespectful.
There are lots of cities where you can choose to live in particular places to minimize car usage. You don't need to redesign whole cities (and thats the ask to add fast efficient public transit) to support that.

You can do localized changes such as tax incentives/penalties, subsidize parking less, zoning law changes that make it easier to mix businesses and residential etc.

That plus smart investment in public transit and a mix of ride sharing are all part of the mix to decrease car usage.
Thank you. I'll try again :)
One could get Coke in Leningrad. Along with other stuff smuggled from Finland.
1) Bitcoin becomes too expensive to mine or even sustain due to energy prices

2) Bitcoin's blockchain grows to petabytes or exabytes in size thus becoming horrendously slow to both replicate or even host

3) Bitcoin is surpassed by a better technology, such as Cardano or IOTA. This won't kill it but it will stunt/cap its growth indefinitely.

4) Bitcoin fails to integrate into the legacy world fully by remaining pseudonymous, reluctant or refusing to comply with AML/KYC regulations everywhere in the world, developed or not. It then maxes out in growth. Again, not a failure case, as whatever value was there will probably still remain, but it will be dwindled down significantly.

I'm sure there's more but I can't think of all of them...
Twirp: A new RPC framework for Go
My friend's theory was that once the derivatives contracts come in and the big boys start playing, they would drive the price down with them to the point where they were comfortable and then do a buyin, after all the other ones have exited.
Artificial intelligence bot beats humans at reading in a first for machines
I tried installing it on Windows 10 yesterday,the buttons on the ad to setup a new account with one of their partners were unresponsive, including the Skip button. I eventually figured out how to setup an existing account without hitting that window but after I added the account, it wouldnt pull in any mail. I went with Claws Mail.
supersonic, let alone hypersonic, aviation was such a pipe dream for civilian aviation. Not saying it can’t be done

One word: Concorde.
You could buy GM stock for months after they announced it was going bankrupt (making the stock = 0). As I recall, it was selling for more than 0.50 cents. If something really terrible did happen to a crypto-currency (and I don't know and I can't predict) there would be a lot of people that would still want them because they used to be worth so much. It is human nature.

That is just an observation about human nature. I have no idea what will happen with the price of anything.
I expect this to be a controversial comment. I might just be overreacting.

If you identify as a woman and are interested in joining Leap,
please sign up for our beta here.

I'm a trans woman who works in tech. I think it's dangerous to open a
community for women to people who "identify as women". For one thing, there
are plenty of women who do not "identify as women". For instance, older women
may not really know what "identifying" is all about and just think "well, I'm
a woman, what's to identify with?". There are also younger women who reject
the idea that gender is an identity that you can choose at will.

Obviously the invitation is meant to show that trans women are welcome.
That's... moving, but I think it will only cause trouble. First you create a
place especially for women, which is needed because like the announcement
says, many women don't feel welcome, comfortable or even safe in online
discussions that tend to escalate to shouting matches, typically among men
(since it's the women leaving). Then you invite in to the community people who
have been socialised as men, have grown up as men, have spent most of their
professional lives as men and who have often contributed to exactly the kind
of working environment that makes womens' lives difficult as tech workers.
That's defeating the whole point of a "community where the core culture [will
be] set by women".

I'm not trying to say that trans women are not women (I mean, duh; I'm one. Of
both). But it should be kept in mind that most of us carry a great deal of
baggage from the time we lived as men. Baggage that's very hard to get rid of
and that many of us are not even aware of. In light of this, I think this
big-hearted invitation to everyone who identifies as a woman, should be
revised to something more cautious. I'd think, if someone "identifies as a
woman" and works in technology, they'd respond to an invitation to just
"women" anyway.

To be perfectly clear, I'm totally not joining and I invite any other trans
women who read this to think very carefully before doing so. Just think of all
the times you had a civilised and polite debate with other trans women about
trans stuff, or about anything.
I really wanted to comment suggesting something like this, although I don't know how to do it in any language...

Everyone suggested methods of changing the value of 'a', but what if the == operator is changed to something that returns true for these comparisons?
He was a keyboardist, though. His post-1970 live output is filled with him playing organ, often to set the harmonic context and direction for the rest of the band, as he was doing full-band improvisation at that point.
This helped kill my hopes of having a real career at the company and helped me make my peace with just leaving the company shortly thereafter.

Merely curious, was the working relationship between the two of you already strained/tense? Said another way, were you already planning to depart from the company before the senior programmer asked you out?
I didn't mean to imply that you could. But the simplicity that consistent distributed transactions can deliver in principle can easily get drowned out by accidential complexity created by a specific implementation.

For instance, you have to get all participants in a distributed transaction to support the same standard protocol without too much bridging, wrapping, special interface description languages, tons of configuration metadata, etc. You have to agree on a small stable set of features that everyone implements in a robust way.

But the major corporate sponsors of the competing approaches originating in the 1990s and early 2000s got disrupted before any one of them could gain enough traction to bludgeon everyone else into compliance.

My point was merely that almost no one in the 1990s doubted the necessity of consistent transactions. Eventual consistency and all the rest only became popular with NoSQL and the general desire to imitate internet giants that didn't even exist in the 1990s.
Spectre, Meltdown and the Mill CPU
Some of us have both! It'd be nice if it were as simple a tradeoff as that.
For what it's worth, Wirecutter recommends Clue (https://thewirecutter.com/reviews/best-free-menstrual-tracki...), which has iOS (https://itunes.apple.com/us/app/id657189652) and Play Store (https://play.google.com/store/apps/details?id=com.clue.andro...) versions.
I guess flame throwers are somehow cooler than installing bullet proof glass :)
Wealth <> currency
That seems unlikely, considering that you see similar issues in high-status work, such as business executives or politicians.
So your argument is that men and women are exactly identical on all tasks for genetic purposes? Or are you arguing that such just happens to be the case as it pertains to programming?

From my observation, women are frequently proclaimed to be superior to men in numerous ways. My entire life I've heard that women mature faster than men. Women are proclaimed to be more nurturing. Women have higher 'emotional intelligence.' You'll see it almost universally proclaimed that if women ran the world, conflicts (eg war) would be far less common, this is a constant refrain in the US across all media.

There are very well understood differences between men and women when it comes to things like vision, physical strength, hand-eye coordination, spatial awareness, physical aggression, and so on. We also have many different health risks due to our genetic differences. All of these things add up to women universally living longer from one culture to the next, and women commiting drastically fewer acts of violence (and thus making up a far smaller percentage of the prison population).

If any of that is actually true, why can't men be superior at various tasks due to genetic differences? Why not programming? What I'm asking is: what's the scientific argument to say that men are not superior at programming, how can that be proven either direction? Just saying such is the case (either direction), is not enough.
BlackBerry focuses on automotive cybersecurity
Somewhat controversially, I wonder if that existential horror was really so bad. I can think of worse ways to spend 48 minutes that contemplating the reality of your mortality, the fact that you could very well be dead at any moment with no warning whatsoever. It makes you re-evaluate your priorities, maybe makes you stop putting off the life changes you were thinking about that seemed like they could wait until next year.

These 48 minutes may well have changed a whole bunch of people's lives for the better, in the long term.
The value of Bitcoin is to provide people with the ability to send quick transactions across the world that are difficult to censor.

What other ways do people have of sending censorship resistant transactions?
I agree and it also seems like the truth is probably the opposite of what people are likely to take away.

Loosely, when you train a neural net repetitively in one way it adapts in order to be better at solving that specific case. While there may be some variation in initial conditions it seems likely that a lot of the variance is a result of the training itself.
It's also trivial in C# to overload the == operator. The following works in C# Interactive (the Visual Studio REPL).

class A {
public static bool operator ==(A a, int b) => true;
public static bool operator !=(A a, int b) => false;
}
var a = new A();
if (a == 1 && a == 2 && a == 3) Console.WriteLine("This works");
AFAICT, with current blockchain technology, in order to process PayPal level volumes, every single participant in the network would need to process PayPay level volumes... 1,000 transactions per second is not a problem for a single payments company; it seems like a giant problem for each of the 100,000 nodes on the network also to process 1,000 transactions per second.

Certainly I am missing something obvious?
Fine but I am logged in, if it were an option I could fix it once and carry on.
NYC Mesh.

https://nycmesh.net/
If a bad actor wants to rob you, they can break into your house. But my door still has a lock on it.
I think that expectation says more about you than the video game.
I use a 13" MBA as a development machine and find the screen good for the work I do. (Admittedly not anything too graphically intensive.)

I do find the 1440x900 a useful improvement over 1280x800, in that the 1440px width allows for 2 side-by-side 80 column text views (assuming 8px character cells and giving some room for controls, etc.)
By default, find separates by newline; this is human-friendly, but breaks if an attacker/script/... puts a newline in the filename.

The UNIX filesystem, qua filesystem, doesn't have a character set, just NUL-terminated strings. On the plus side, it's simple to handle, and means that retrofitting UTF-8 or another encoding is pretty easy. On the downside, two bytestrings that Unicode-canonicalize to the same value may name different files, which is surprising for humans.

It's notable that many of early UNIX' competitors were much more full-fledged systems, featuring full-fledged record-oriented files and typed data instead of UNIX' bytestrings-everywhere approach.
> questionable whether fees can actually support the ecosystem

right now every block pays 12.5 coins, which even with current low prices is around $145K.

The average transactions per block looks like around 1,800 (https://blockchain.info/charts/n-transactions-per-block) which puts mining revenue per transaction at around $80, on top of which miners also get the transaction fee.

With no more mining where is the other $80 going to come from?

More to the point, who in their right mind would ever use a transaction processing system that charges $80+ per transaction?

What happens when you have a fixed currency stock and every transaction requires paying some of it to the transaction processors? Seems pretty unsustainable to me.
That laptop certainly looks revolutionary. But while we're on the subject of Sony ultra-portables: I am a little sad that there's been no update to the Sony VAIO P-Series of laptops which are literally pocket sized.

I had one, and aside from the screen refresh it was so crazy how absurdly portable it was.

https://en.wikipedia.org/wiki/Sony_Vaio_P_series
I don't know, I think it's just how you are... Some people swear, other's don't. And I think it easier to be cynical/sarcastic than to criticize in a positive way.
This is especially true, if you are

a) limited in time, because you do research in your free time.

b) getting negative, or even worse, no or ignorant feedback by the other party.

c) getting tired, because you preach the same stuff over and over again.

I think is really hard to do responsible disclosure and maintain a calm attitude during the whole process. There is this awesome talk about responsible disclosure by David Kriesel who found bugs in Xerox's compression algorithms:

https://media.ccc.de/v/froscon2015-1524-lies_damned_lies_and...
Use "%zu" to print a value of type size_t.

A couple of ugly corner cases:

const char str[] = "abcd\0efgh";
printf("length = %zu, size = %zu, value = \"%s\"\n",
strlen(str), sizeof str, str);

output:

length = 4, size = 10, value = "abcd"

And:

const char str[4] = "abcd";
printf("length = %zu, size = %zu, value = \"%s\"\n",
strlen(str), sizeof str, str);

This has undefined behavior. (Which is a good reason to let the compiler figure out how big the array has to be. Computers are better at counting things than you are. Let them.)
So you're using your own time to repair these cars to keep the cost down, which is totally fine, but I think it's unfair to not count some of that time as a "cost" of owning the car in your model. Also, do you not have to pay for parking anywhere? What about time spent finding parking (again, may not be an issue, but it certainly would be time-consuming and expensive where I live and work).
Yes, except, personal computers didn't have negative side effects like raising funds illegally outside of investor production regulations (icos) or facilitating dark web trade.
What city do you live in? Do you pay for parking?
That is a fairly normal and commonly solved problem all over the United States. Lots and lots of people who can't afford to own cars deal with this and worst as a matter of course.

Making life easier for people who choose to not own cars, has positive impact for those who can't own cars (and not to even begin on reducing the negative externalities).

For the record, I own a car but also frequently hauled a baby stroller and a diaper bag to the metro train (though only for one kid). The secret was to have a stroller that was geared for walking not the SUV sized strollers so popular with the SUV set.
can you read HTML emails with Mutt? with pictures?
So, it's definitely the case that the FAA preempts state laws banning required arbitration.

However, Amex is not about whether a class action arbitration waiver is enforceable in the face of a state law holding them unconscionable.

Instead, Amex is about whether a class action arbitration waiver is enforceable in the face of it just being "too expensive" to arbitrate individually. There was no state law at issue. Just a straight policy argument.

The answer to that is quite clearly "yes, it's enforceable".
But the opinion goes to great pains to say such waivers are a matter of contract law, which is very traditionally the role of the states. Hence my assumption is that if a state did say that, as a matter of contract law, class action arbitration bans are against public policy, it would be a matter of preemption, and i can't see why the state would lose on the law (though they may lose anyway given the current court makeup)