skysight-inc/HackerNews huggingface dataset:
Johansson rounded the inches, but previous legal definition was in yards. The Mendenhall Order was the US agreeing to define it's units in terms of the metric pegs, instead of the UK's (which were unreliably changing). The US survey of the coast (today the national geodetic survey), defined conversion values for the yard and pound.

1 (survey) yard = 3600⁄3937 meters

Reduces to:

1 (survey) foot = 1200⁄3937 meters

1 (survey) inch = 1/39.37 meters ~
25.4000508 mm

https://en.m.wikipedia.org/wiki/Mendenhall_Order
> TS can't know about your "classes" - they're a runtime thing. Treating them the same as interfaces can make this much nicer.

No–this is a very surprising and unsound choice and not at all what you would expect if you previously saw that TypeScript lifts classes into types.

> This way you can have type safety without losing JS features.

IMHO, you can't get type safety out of an unsound type system. (Which TypeScript is, by choice.) I think surprises like the above drive that point home.
These drug patents are expected to expire in 2020
Is this any better than the cables that come with non-Apple devices? I’m skeptical.
> Assuming that there's even 1% as much atmosphere up there

I think it's way less than .00000000001%

~0%
> a modern language like c# where the types are guaranteed compile + runtime and you can’t any-ignore problem.

Come on, Typescript is more modern than C#. It's just started to being bloated a little bit since there are advanced type operators against structural typings. Or if you have to use a modern example, languages like Scala or Rust are more like it.

Also guaranteed compile + runtime is not what C# is. Probably Haskell is more closer.
Go back to 4chan.
It's pretty simple. You ask all the first people who got sick what they were doing over the past couple weeks. It's the same way they identified that Chipotle had an E Coli problem.
Have you actually tried it? I mean, I build music web apps that run great on Chromium browsers. They use Web Audio API to generate sounds (non sine synths.... Web Audio API allows you to do all kinds of crazy stuff with oscillators and convolvers and such), and they take input from a MIDI keyboard. On a decent computer it sounds great and latency isn't noticeable (to me anyway). I've compared to using various native software synths and don't hear a difference in latency.

Then again, I'm not expecting anyone to use my app to do a performance in Carnegie Hall. I want kids and other mere mortals to be able to have fun while learning and making music.

You don't have to use it, of course, but I'm genuinely curious why you'd want to deny this sort of thing to others.
What exactly did you say that you think I didn't?
2 * 4 = 8 so the last significant digit should be an ‘8’
If I point you to a language like that right now, would there be something else stopping you from using it? Like say, lack of typings? Or 'it's too niche'? Or 'I'm not comfortable with that style'?

Those are the things that keep people going to TypeScript.
I would say Obama divided the country more than Trump. Trumps approval rating among african americans is now over 40%. That's huge. To US citizens, Trump is less divisive in my opinion, but his character definitely sparks the opposite side into creating a new bread of louder and in your face divisive culture (Antifa, etc).

Altough I believe that to be true during the Bush years as the anti-Bush types were very loud and crazy. Now that many more people are online and are able to spread opinion via Twitter/FB/youtube/etc, the divisiveness from activists has gotten louder. Joe Rogan also observes this in how he describes the 2 minute tv news media culture where 10 people are trying to shout over one another to get their point in, and how that is a sign of a dying medium (being replaced by internet, long form discussion, etc). This seems like further proof that the traditional media is more divisive more than ever...it's the last breaths of a dying medium. Don't think that's true? Just watch local tv news in SF Bay Area and compare to a smaller city outside of a major metro (blue) area.
Use nearly 200 mail send per month so don't care much.
Also I think 10k is too much, but they could tweak it to 1000 for better looking number :P
I’ve been using lightning happily since my non-Apple devices were coming with broken micro USB cables. As a consumer I’ve been very happy with this. There’s nothing malicious about it.
Infinite Mile Warranty
Keyword is "considering"
Out of curiousity, what exactly was the difficulty with decoding JSON in Haskell/
I think bribery is probably bad. I am curious though, when I try to put on my super naive hat, how it's very much different than a normal market transaction? Like sure if bribes are part of the transaction then it stops being completely about the quality of widgets delivered, but you do get some additional information, right? Like how skilled the company is at politics or how deep its pockets are? Isn't that valuable info?
My local deli doesn’t bribe anybody

How would you know? Maybe he gives his meat guy generous "tips" to bring him fresher meat than the deli down the street
Why do you need a gametick(setInterval) when all the update happens on key event ?
Apple Releases macOS Catalina 10.15.3
I have a number in Google voice that I ported from a regular old T-Mobile SIM years ago. I haven't seen many that won't send me an SMS message, but when I do, they are usually banks. I don't think it much matters where the phone number originates.
OpenDev: Free Software Needs Free Tools
Please point to the controlling cases here. I haven't been able to find them.

Edit: ah sorry I replied to you downthread.
You can define the charger to include the cable, and I can define the phone to include the cable. Either way it doesn’t provide much insight into the definitions with legal force.
We stayed at the hotel inside the Pyramid over New Years to watch Kansas State take on Navy at the Liberty Bowl (American football). Honestly, it was bizarre. I will admit that the Bass Pro Shops was done nicely and suits the building well. The hotel, however, was just strange. The rooms (well, at least, our room) did not have any exterior windows at all. Instead, it had a balcony that faced...the interior of the Bass Pro Shops. It was surreal to wake up in the morning and walk out there with my coffee and look upon a bunch of people ogling Carhartt pants and fishing rods. The service was good but I can’t say I’d stay there again. We were only there because the Peabody Hotel (a true landmark) was hosting K-State’s team and contingent and sold out.
Boeings International Sales Are All Financed by the Fed
> You get a free charging cable usually when you purchase a new phone

"Free". It's amazing how many consumers see it this way. When everyone has the same charger phone companies can actually start putting it in as an optional paid add-on, which virtually no consumer will take. The hypothetical environment argument is spurious at best.
In Italy high school is usually 5 hours per day. Homework time excluded. 9 to 530 seems way excessive, never heard of it. Not even elementary school was that long.
At compile time? It's very simple–use an interface and provide constructor functions that upcast object instances to the interface. Now, only the interface-defined members i.e. the public members are accessible.

At runtime? You can't, it's JavaScript, everything is public (for now at least).
^] is also the Vim command for chasing a tag (jumping to the location where the identifier under the cursor is defined, perhaps in another file).
Has Airbus also caused Boeing plane crashes using bribes?
YouTube Copyright Strike Took Down Livestream Before It Even Started
Apple has worked on wireless proximity charging where the device merely needs to be within a few feet of the charger. I hear there are serious engineering challenges that make this hard to achieve but I don’t think they will remove the port with the current QI charging experience. Maybe there will be a charging battery you can just throw in the same bag as the phone and the phone will charge.
Backups of all the footage I could find regarding the coronavirus
It can only be more complex, then be simple.

If Typescript never existed, people got used to simple nominal typed languages like Java would never notice there are much more advance type system ahead, and what can it potentially bring us - the lambda cube, the dependent type, the Curry-Howard correspondence.

After everyone have a much better understanding in type and the complexity in Typescript, simpler and more powerful languages would take off.
While reading this, an idea popped up in my head about monetization. Sending a message needs spending a PoW token that can be mined or bought. The price is set by the recipient and can be different for different senders. Zero for friends, a high number for potential spammers. The author, however, has a private key that can produce PoW tokens cheaply, but still in a limited amount to retain trust and prevent diluting everyone's share to nothing. Some companies may want to send spam and will be happy to buy PoW tokens. Users that suddenly start getting spam, raise the bar, as it costs them nothing. Those companies now need more tokens and they come to you. This is inflation. As long as SEC understands what's going on, it shouldn't have problems with this sandbox economics.
Have to do this with Wolfram too. There’s a good mind and a good man behind all the puffery.
The null works with cons. So it's not a proper null. A proper null should throw an exception if you try to do any operation on it.
Most MIDI seems to be done over USB already. MIDI 2.0 is mostly unrelated to the actual connectors and such, it's more about the protocol.
Minneapolis has a school of botanical art,
http://www.minnesotaschoolofbotanicalart.com, here are some nice examples:
http://www.minnesotaschoolofbotanicalart.com/photos/photos-3...
It’s hard to tell if it’s trending/thriving here (my wife’s been taking classes so I hear a lot about it) but at least it doesn’t seem too endangered here.
Nobody should be giving any money to politicians, or their campaigns, for any reason what-so-ever.

I realize it's fundamental to American politics now, but that doesn't make it fundamentally wrong.
Patents are a gigantic scam and the entire system should be scrapped. True free market would allow competition. This is just an artificial monopoly and it's needless and does not help competition.
I think this might be the official US Justice Department link. It's long, but worth reading the whole thing since it is primary source and not some newspaper summary:

https://www.justice.gov/opa/pr/harvard-university-professor-...

"The Department of Justice announced today that the Chair of Harvard University’s Chemistry and Chemical Biology Department and two Chinese nationals have been charged in connection with aiding the People’s Republic of China."

...

"Unbeknownst to Harvard University beginning in 2011, Lieber became a “Strategic Scientist” at Wuhan University of Technology (WUT) in China and was a contractual participant in China’s Thousand Talents Plan from in or about 2012 to 2017. China’s Thousand Talents Plan is one of the most prominent Chinese Talent recruit plans that are designed to attract, recruit, and cultivate high-level scientific talent in furtherance of China’s scientific development, economic prosperity and national security."
Article is paywalled, what was the timeline of the bribes happening? Would it be fair to say:

Airbus runs 'massive' bribery scheme -> Airbus wins more orders -> Boeing feels pressure of losing orders -> Boeing execs pressure engineers to cut corners -> Boeing aircraft develop various major safety issues
Is Qubes OS what you are talking? I heard it can run Windows or Linux like containers on it.
Nobody goes to jail for "lobbying" in the US while it is clearly about the same thing as bribery. Just a legal form of it.
> Another frustrating aspect of human nature is that most people don't know how to be logical. I strive to be logical as a personal goal, but it's often not valued in the work-place, or anywhere.
Keep in mind "logical" is not necessarily the same as "being right", at least not my working definition. Being logical is being able to back up your viewpoint and claims using a clear chain of logic. I define any assumptions I make as givens, and my conclusion can be formed directly from those givens. I don't necessarily write it out in formal logic, but if one questions a specific informally-written step, I can and do formalize/clarify it.

Logic can only get you so far. Your argument can be perfectly chained together logically, but logic says nothing about whether your premises/givens are true this is the difference between sound and valid arguments. This is probably what you meant by being logical is not always being right. Honestly you can be as valid in your arguments as you want, but that doesn’t always make your argument sound, because when your givens turn out to be false your whole chain of logic is moot and your conclusion is not true (as some might think) but instead inconclusive [1]. Just as someone with invalid logical chains and possibly even correct assumptions conclusion would be inconclusive and not false as some may presume (I’m thinking of the fallacy fallacy [2].) Sure it’s important to have a valid argument, but people with unsound valid arguments can make a lot of confusion too and possibly even more so.

> Most don't return the favor. "My guts have proven accurate and I'd rather trust my gut feelings" is a common response. Screw Guts, I want logic, damn humans! Human guts have proven dumb.

Your givens you describe on setting up your logic could also be categorized as a gut feeling as well. As they say it’s turtles all the way down.

Now don’t get me wrong I agree we should be more logical in our arguments. I just think people can take your reasoning too far which is why I added some input.

[1]: https://simple.m.wikipedia.org/wiki/Argument_from_false_prem...

[2]: https://en.m.wikipedia.org/wiki/Argument_from_fallacy
Actually, both have worked for me.

But yeah, wrong answers are more informative.
Google Search Ads Highlighter
Hacklang also has something like type guards called type refinement [0].

I'm still kinda new to the idea of using conditional branches to inform static type checkers but it sounds like it's an idea that has been thought about in some depth [1][2][3] (i.e. doesn't sound like it was jimmy-rigged to match common JS patterns).

I personally love type refinement. Hacklang's type refinement was the first time it clicked that statically typed languages could _actually help_ you write code instead of get in the way.

[0] https://docs.hhvm.com/hack/types/type-refinement

[1] https://sites.cs.ucsb.edu/~benh/research/papers/kashyap13typ...

[2] Type refinements (page 23) https://drops.dagstuhl.de/opus/volltexte/2018/9219/pdf/LIPIc...

[3] Occurrence Typing (section 8.5) http://soft.vub.ac.be/Publications/2019/vub-soft-phd-19-02.p...
The merchants who accepted the fraudulent credit card transactions don't get their money from Visa. So the merchants pay.
iphones will not cause a russian spring of any kind whatsoever. russia is not even directly connected to the internet.
Very cool idea. I do however have some comments:

- The "appstore"-like experience already exists in the ecosystem, in a sense. You have package managers with post-install and configuration scripts (Installing slapd for example yields a perfectly functioning instance within 2 minutes), or maybe Ansible playbooks that run the instance with a simple file configuration and one command.
For package managers, it all depends on the packaging.

- Again the ecosystem somewhat already exists in a way if you consider Docker for example. All the dependencies are neatly packaged, and if you think kubernetes, then you you have helm as the appstore. It even solves the possible problems with ports and schenanigans that the user mentions. (But again, post-install triggers in debconf for ufw on ubuntu for example already do this. It all depends on the packaging.)

But as the author points out, not everyone is keen on hitting the terminal, but that has been a problem (or rather a business opportunity) for long enough that there are solid, uncomplicated and perhaps way more convenient (and eco-friendly) ways to achieve what the author is thinking of accomplishing.

One thing that comes to mind is the amazing Synology products. In fact, they implement the exact vision of the author: Run your software on your NAS, and have a dynamic DNS graciously provided by synology to access it. E-mail server, file sharing, photos app, even photo recognition, and a plethora of other stuff. You can even run VMs or Docker on it ! And all within the synology appstore (with some magic nat traversal I presume because it does not need any port forwarding)

And that is just one example of something I've seen and witnessed to work very well and reliably too.

I guess what I'm saying is, the author's vision is shared amongst a lot of people and there may even be commercial solutions out there that implement it. But I would for sure love to see an open-source attempt. In fact, I think there's already one that I'm just not aware of.
There's something wrong with my code
It's bribery when the benefit accrues to an individual instead of the organization. If a movie studio has a director of product placement, and said director solicits cash payments to determine whether Coke or Pepsi is used in a movie, that's bribery. If the director takes bids for the product placement, that's just business as usual.

It ceases to be a normal market transaction when an individual captures the benefit. If 100% of the payment from PepsiCo goes through the movie studio, the movie studio has captured all the information (esp the pricing information). If some percentage of the price is captured by an individual (ie as a bribe), then the movie studio has lost information.
Japan? [0] Most construction is by-right, and housing is some of the cheapest in a developed nation. There are zones, but only 12 nationwide, and each only specifies a maximum use - this means if a location is zoned for industrial or dense commercial, you can still build apartments there. (Generally. It's not quite that simple, but still fits on a single poster [1] - you can't build stores, restaurants or schools in industrial for example)

0: https://urbankchoze.blogspot.com/2014/04/japanese-zoning.htm...

1: https://1.bp.blogspot.com/-sV5ETXDs_8M/Ux-axBTuF2I/AAAAAAAAA...
Mux is hiring across the board to build Netflix-grade video infrastructure
1 - this is a good point, but I'd like to expand on it - it does not have to be address book.

I have helped thousands of people exchange contact info after meeting in various niche chat rooms first, but you can flip that and have your irl friends meet you in decn-chat dot org click the 808game room, we can meet in there and pm/dm a code word or something and make each other contacts in various ways.

Your point is something to keep in mind though, ultimately I think we also need apps that can display a qr code like a one time pad to give someone contact details or any chat rooms to meetup in, Other methods of exchanging info about contact and chat room / chat app options should be added to whatever is going to be really good.

2 - I really agree with this, I spent some money and time on rocketchat development to give an optional 'open lobby' to anyone who enters, just pick a name and you are in.. then if you want extra abilities you can add an email or verify or whatever.

easy to get in is important indeed.
Sorta an odd take in a thread about telecom companies selling data gathered by the telecom networks that they built.
Mh interesting. I was using that free tier to handle my family email addresses (personal and "group-like" email addresses,eg. Family@blah would direct to the entire family).

What alternatives do I have to send and receive emails using my custom domain? I don't love the idea of paying for gsuite (too many features for what I need). But it's hard to think of email providers that allow me creating aliases / groups for my personal email.

All I really need is a redirect to gmail and a way to send through that domain
i'm glad someone appreciates this.

some people at cat-v.org were interested in this and there happened to be a copy at stanford library where a roommate of mine was working at the time. he borrowed it on my behalf and i used the book scanner at noisebridge in san francisco (constructed from wood and two canon cameras and a python script) to image it, and uploaded it to archive.org.
TypeScript’s goal isn’t to be sound. Its goal is to be a balance between type-safety and effort. Full type safety would require a lot of runtime checks injected into the final JavaScript, which TypeScript intentionally avoids.

JavaScript will never be fully type-safe without fundamental changes, which will probably never happen.
How often do you lose your wallet? If I lose mine, I won’t be stressing about the $200 inside.

But true enough on the unmanned gas stations.
My "turing test" is whether or not you can tell the difference between Stan Getz playing it and a midi device playing it.
No, under US law you are still responsible for bribery committed by your proxy, and have to have a process in place to ensure that all proxies follow anti bribery laws.
Let's say, international trade in low enforcement/low transparency jurisdictions

Then it's an issue of "complying" with the informal regulations or not selling
I use it as an IPSec replacement for a site-to-site tunnel and to provide my phone a VPN connection to my home network.

Wireguard is much easier to set up than either IPSec or OpenVPN, and seems to outperform at least the latter.
Something is wrong with the stack where Dynamodb and Lambda are advertised for autoscaling automatically for your needs.
It sounds a bit like you might be feeling prosecuted because I said something you disagree with. I'm not even sure what part of my comment upset you since none of it is harmful, malicious, or personally targeted.

Emotive language like 'preach' has no place in constructive debate.

I'm not at all upset about your viewpoint, I'm happy to debate it on any level you'd like. Keep your comment as a solid example of what I meant for the other readers.
Except 3 teaspoons to a tablespoon.
How it is all connected weirdly
>Somehow, Boeing, SNC, Halliburton, and many other massive industrials have survived so far

>Somehow

At least in cases of SNC and Halliburton, "somehow" was by doing the illegal thing.
HN posts often seem to get upvotes based on the topic of conversation rather than the quality of the original source.

I favorited because I am interested in discussion of potential issues with the 16”; I didn’t even read the article.
While I think some of the larger industrial cases are clearer, it's perfectly reasonable to wonder about this.

Richard Posner wrote about the difficulties of rigorously studying or even clearly defining corruption in this essay:

https://www.becker-posner-blog.com/2005/08/economics-of-corr...

I've heard some people say the Russian and Chinese cultural contexts make it difficult to talk about corruption in terms of Western ideals. There are social expectations of gift giving and tipping that are offensive to break, but might appear to outsiders like people are paying others for ordinary services. I haven't lived in either country, so I can't say how accurate or apologist that take really is though.
I didn't mean to say that something like this IS the cause, just that it could be. Right now we don't have enough data and facts to confirm or dismiss either.

What rubs me the wrong way are the people instantly dismissing something like this as unlikely, or even impossible ignoring history.
I understand that, which is why I said 'Which TypeScript is [unsound], by choice'.

Disagree that full type safety would require a lot of runtime checks. That's not the experience I've had in ReasonML.