skysight-inc/HackerNews huggingface dataset:
It's not just a cosmetic issue. The people with the six inch cords are leaving them plugged into the laptop all the time as they walk around the building, just like the people with the USB-A ports are leaving their YubiKeys plugged in all the time.

The difference is that if they bump into somebody or something, that dongle is likely to get broken, and it could even damage the USB-C port in the MacBook. That's not going to happen with a Nano plugged directly into a USB-A port.
> It has become unfashionable to talk about censorship and surveillance in many intelligentsia circles in China

Uh... "unfashionable" is one way of putting it, yes. Perhaps the word "dangerous" would fit better. -.-

(You can get disappeared for being too uppity on such topics.)
I just looked at Apple's US site and the base model 13" MBP is $1299 brand new. So the "fantastic deal" $1199 MBP is only $100 less than today's 13" MBP straight from Apple with no discount.
France and the US navy both rely on PWRs. France built a fleet to get the benefits of scale. Nuclear works.
“Brain Drain” as a Function of Modernization, Westernization and Globalization
Differential synchronization does not require a fixed polling interval. You can have real time updates as each party types, in fact the algorithm prefers this setup as it is easier to process a lot of small changes rapidly. Neil goes into further detail in this google talk about why this is the case: https://youtu.be/S2Hp_1jqpY8?t=2815. The trick is sync after someone changes the document while including a short debounce so that you aren't overloading the system with superfluous edits.
Wait, I really have to explain why an incorrect gender-based generalization could be dangerous? How about the conclusions the person I'm responding to arrived at.

It's one thing to describe the experiences of soldiers returning from Vietnam, because that is valuable information. It's another to interpret it and make conclusions when there are 50 other valid explanations.

"People/men like war/aggression/risk" is honestly not a new concept, and it's seems pretty correct on the surface, especially when you cut out the whole part of your comrade slowly dying due to a stray shell. This is the glorification of war that books like Catch-22 and Slaughterhouse Five were written against.

Most incorrect claims are dangerous, and the reasons are not always all enumerable since you often can't see the problem when you think a false thing is true. I.e., if you already think women are hysterical, treating them as hysterical doesn't seem like an issue because, well, they're hysterical.
That's a great point about not leaving the YubiKey plugged into the laptop all the time. But the company actually suggests that people get a Nano and leave it plugged in for convenience. Maybe that isn't the best security advice!

Thanks for the pointer to the USB-C YubiKey Nano - it looks like a fine solution for the dongle problem.
I don't know why it got flagged in the first place, but I flagged it for the suggestion that people who disagree with you are part of a PR campaign, which is an banned argument that is specifically called out in the guidelines.

(I loathe Elon Musk, for whatever that's worth.)
If the author had simply written 'It will then formalize the Two Generals' Problem and f̶o̶r̶m̶a̶l̶l̶y̶ prove the impossibility', would you be fine with their statement?

Note that 'formal' has another common definition in the context of software engineering: https://en.wikipedia.org/wiki/Formal_methods#Taxonomy

I like this definition because it explicitly shows formal is really a continuum—since in the limit, you should go all the way down to ZF, but in practice nobody actually does this. A hard, black-and-white definition for formal is simply less useful.

It seems that your objection can be summarized as: 'formally prove' has only a single meaning in the context of a proof, the mathematical one.

IMHO is uncharitable to the author, since there are other, looser definitions of 'formal' in the context of algorithm analysis and software engineering.
Without an Escape key I'm doomed. The touchbar doesn't cut it.

I tried a 2017 model and could only adapt with the daggy workaround of remapping Caps Lock to Escape. Unfortunately that is therefore in the "wrong" location for muscle memory for every other keyboard I use.

Sadly I have such a strong preference for OSX that it seems I'll be using the limping 2012 Retina MBP on which I'm typing until it dies completely, and then probably switch to a (nonpro) MacBook.
Why you should leave React for Vue, and never use it again
Is this satire? It’s all so silly and over the top it kind of reads like it. Seems to skirt around the $3 million part too, which makes retiring feasible at any age (including 21 if you’re smart).
The New Jersey BBS communities from the early 90s were great. I assume that many of the members are doing well today, considering their interests were well aligned with the economy. I hope all are well.
Kerbal Space Program.

Change game engine mid-beta.

Replace dev team mid-beta.

Keep adding game mechanics post-release.

"Beta" has no meaning. Just release whatever you got whenever you feel like it.
OneNote works pretty well.
CapsLock -> Ctrl

Ctrl -> ESC

Force Quit key combination now has better physical locality.

Profit!
Researchers Study Thousands of Ticks Collected by the People They Bit
Primary source isn't possible as he deleted the tweets.

Here's some Google cache links to the tweets:

1. Claiming he's sus for living in Thailand: https://webcache.googleusercontent.com/search?q=cache:2lG6zB...

2. Straight-up calling him "pedo guy": https://webcache.googleusercontent.com/search?q=cache:Zdx_Qw...

3. And doubling down: https://webcache.googleusercontent.com/search?q=cache:qsVGLi...

Here's a Guardian article about it.
https://www.theguardian.com/technology/2018/jul/15/elon-musk...
Happy to talk some more about this :)

Another self plug (would have put it in first post but the video was just uploaded):

Here's my SciPy 2018 talk on the subject (from last week!!) https://m.youtube.com/watch?v=WUs0u2PJ2UU&index=46&t=0s&list...
Come on, no mention of Global Wars? :)
This should be easy to check: do today’s wealthy people generally owe their fortune to investing their parents’ money?

My understanding is that upper-middle-class fortunes today are attributed more to cultural norms and posh school districts than to trust funds.
I frequently have nice exchanges on HN. This just doesn't happen to be one of them.
No they are not. Unsigned integer overflow is perfectly defined.
> self-meltdown he's had since the rescue

what meltdown?

> Tweeting his prototype as it was being developed, as if it were on the cusp of success, was not helpful... [if children had died] can you imagine the vitriol the chief would face by armchair critics for not waiting, or for not trying out Musk's solution?

If you are in charge of getting someone out alive and they die, you're going to face vitriol. Some of the vitriol would include claims that the wrong method was used in the rescue attempt. This has nothing to do with Elon Musk at all! If he tweets about an exciting new piece of tech he's working on, and someone refers to that tech in an attack against a rescue chief, that can NOT be attributed to Elon.

And like you said, the chief rescuer did make the right call under pressure anyhow.

> Musk, who was accountable to no one, ripping into the rescue chief

Wasn't the rescue chief actually a former Thai provincial governer, unrelated to the rescue effort? The real douchebaggery is that someone unrelated to the effort of saving children will take the opportunity to soapbox against Elon Musk, not unlike how you've done here. No relation to the effort, no real basis for your claims, but takes the opportunity to sling poison. Elon is not wrong or unjust in calling out that sort of bad behaviour.

And the pedo comment. Look, Thailand is a sex tourism country. If you live in Thailand as an expat, people are going to think you're a pedo whether or not you actually are. And this expat already told Elon to stick his sub where it hurts. In my worldview, that makes you fair game to a comeback from Elon. Calling him a pedo is actually a devastating comeback, not "douchebaggery". It's "douchebaggery" to tell someone to "stick their sub where it hurts".
It doesn’t have to be storage backed at every hour if the day. ComEd in Northern Illinois provides me nuclear at 1 cent per kWh from midnight to 5am because demand is so low in the middle of the night. You can overbuild renewables, and ramp battery production to arrive at a cost below nuclear, coal, and natural gas (and even used load shedding and coordinated storage orchestration using electric vehicles).

Maybe I’m just optimistic based on historical cost decline curves, but I’d bet $1000 on my thread thesis (renewables replace all fossil generation by 2030). It’s the economics.
Right after the rescue, he apparently saw a report where the governor said the sub was “not practical” and tweeed about it:

https://twitter.com/elonmusk/status/1016684366083190785

He’s deleted the tweets from
this morning calling a rescuer a “pedo” (pretty easy to Google reports about it). I think we can all agree that libeling people as “pedo” is bad form. But his earlier tweet (posted above) about the “rescue chief” should also be called out. He’s trying to portray a “thanks Elon, keep working on it” message from the lead diver as some kind of proof that his mini-sub was on deck, ready to go, as opposed to being just a prototype. In any engineering effort, it’s not just about what’s being built, but whether it meets the requirements of the situation, including time. If it took a week for Musk’s mini-sub to be validated, that would also be “not practical”.
I use a private github repo. I create issues there and take notes in the wiki, also have a pile of scripts and things in the repo itself.
Yup, you nailed in. I think I can get used to the new keyboard (despite the messed up arrow keys and lack of travel), but the touch bar just kills the purchase for me.

I thought about making a hackintosh laptop, but it doesn't seem like there are super reliable options out there. Guess I'll have to bite the bullet and make my next laptop a Linux one (despite the pain that tweaking the OS or even installing some software can be).
What do you mean by checklists? Like in an airplane pilot's safety checklists?

If yes, then in my current company I've learnt to script the hell out of them (though not too early — only once you see how the typical pattern/path is shaping up). Good automation (a.k.a. scripting) can help a lot to reduce brittleness of deployments.

Or "TODO" checklists? If yes, then personally I use https://github.com/jffrymrtn/temaki, though it has some limitations for me, so I'm trying to build a replacement/ripoff and extend it to my needs.
But to call it a ‘pro-black bias’ slightly misses the mark.
It is better described as a tacit acknowledgement that
modern-day blacks must be seen through the filter of
history—not as autonomous individuals living in the
present, but as dominoes in a chain of causation that
stretches back to the middle passage. Viewed through this
historical filter, blacks cease to be agents, instead
becoming “puppets at the end of a string…dangling there…
waiting to be made whole,”

This paragraph makes clear that many of the points the author makes here are predicated on the notion that racism is over.

Whatever one makes of the rest of his points, My own life experiences have assured me that he is quite wrong. Blacks aren't living under the consequences of past injustice, judged vicariously through the lenses of history. To even make that assertion is to be blind to the point of absurdity.

Then he trots out this ol' chestnut

Can we speak honestly, for instance, about the fact that
blacks make up 14 percent of the population but commit 52
percent of the homicides?

That one made me blink, since there are a lot of other studies that attempt to make sense of this phenomenon, coming up with answers such as income inequality and joblessness, which disproportionately affect blacks.

I actually had to take a step back to consider the website this opinion piece was posted to. I encourage anyone else doubting the veracity of his claims to do the same as part of their conclusion making process.
I use Gmail's new task manager, I find it super helpful to keep my emails and task list together. It's also has a notes function which I haven't used much yet.
I don't have any suggestions, but I am very curious what sorts of job positions would require a K&R policy, just to better understand the requirement. Vague/loose handwavy explanations welcome.

Thinking about it, perhaps it's to do with the location a person is in, and the reputation that location may have.

Shipping comes to mind (the "actually being in location XYZ" part of the transportation process), along with the fact that perhaps some at the destination may want to hinder the receipt of whatever's being shipped

I can't come up with much else right now, although I'm very sure there are many other reasons.
There's multiple issues. The biggest ones that I can recall, off the top of my head:

First off, do notation desugars to closures. But Rust has three different kinds of closures. How does that work?

Furthermore, Rust has imperative control structures. How does all of this interact with each other? Are you now no longer allowed to use those constructs inside of do notation? That feels inconsistent.

I don't know of any languages that have something like do notation but don't have everything boxed. It makes everything easier, but that's not generally acceptable in Rust. For example, we can use async/await with no dynamic allocation. Could we with do notation?

"Open question" doesn't mean "impossible", mind you. But nobody has ever come up with a design. In the meantime, we have users to support...
> Wasn't the rescue chief actually a former Thai provincial governer, unrelated to the rescue effort?

You’re asking if the rescue chief was unrelated to the rescue effort?
>Why not keep the bitrate higher?

Sure, that would be the optimal situation.

However, for a variaty of reasons you sometimes have to deal with overly compressed images. Adding noise on the client during play back disguises compression, making it nicer to the eye at no bandwidth cost.
That sounds pretty awful. Luckily I haven’t personally had any keyboard troubles (I’ve had it since release and travel with it frequently), but if I had I’d probably be a lot less positive about it (:
I struggle with this sometimes as well. I do a "purge" about every 6 months and ditch anything I'm not fully committed to or making progress on and ensure I'm focusing on longer-term goals. It's hard at first, but feels good after you see yourself making better progress on fewer things. That's my 2¢
Needs to be archived.
A great article. It's like Elon has forgotten about all the bugs and edge cases he has seen at his companies. Successful software is based on iterations (eg. Chrome version 67.03396.99).

The safety culture says procedures are "written in blood", which is effectively previous iterations with people's lives. Elon seems too eager to put the Thai lives on the line in version 1.0.
I quite dislike the current async trend, so you do not have to sell me the alternatives. I was just describing the status quo.

I think that a good compromise would be implicitly inferring the 'async-ness' of template functions instantiation (or whatever they are called in your language of choice) based on a magic continuation parameter, which would also go around the separate compilation issue (assuming the language does generic monomorphization).
2300 EUR in 2014 was ~3151 USD, as you say. At today's exchange rate, 3151 USD is approximately 2710 EUR. In January 2017, 3151 USD was approximately 2993 EUR.

Apple will give themselves a cushion to prevent undesirable pricing discrepancies (or the need for frequent price adjustments) if the U.S. dollar strengthens against the euro, so a product that they sell at 3150 USD after taxes in the United States would reasonably be in the ballpark of 2800-2900 EUR in Europe given exchange rates in the last year or two. This is rather close to the parent post's stated price even without adjusting for inflation.
> the time it takes to create, design, or build a new product decreases day by day

This part really struck me. Outside of building websites, it feels like the opposite has happened in the US over the past 30 years or so.
Post-its and a pen.
Look, the dive team wanted the sub. The thai former governer who was sitting in the command centre, who gave a hot take on whether or not Elon's tech would be useful, isn't relevant.
I don't think you'd need to have two versions.

If I have a sync function and I call something async, I should be able to just .wait() it, I think, and get the sync behavior.
So that's why early modems were accoustic couplers!!

I never even questioned it. It was just "wow it's so old it just works that way."
Content of Elon tweets from those links

Link 1

> Never saw this British expat guy who lives in Thailand (sus) at any point when we were in the caves. Only people in sight were the Thai navy/army guys, who were great. Thai navy seals escorted us in — total opposite of wanting us to leave.

Link 2

> Water level was actually very low & still (not flowing) — you could literally have swum to Cave 5 with no gear, which is obv how the kids got in. If not true, then I challenge this dude to show final rescue video. Huge credit to pump & generator team. Unsung heroes here.

> You know what, don’t bother showing the video. We will make one of the mini-sub/pod going all the way to Cave 5 no problemo. Sorry pedo guy, you really did ask for it.

Link 3

> Bet ya a signed dollar it’s true
Assertions, combined with highly granular code coverage (which most [all?] Python coverage libraries can only do at a line level, so this isn't really sufficient), can almost get you to a point where you're confident that all your asserted invariants are true for all inputs.

Statically checking/proving that those invariants will hold, regardless of inputs, is a huge step up in that level of confidence.
So far the pirate scene doesn't seem to be using it at all.

Pirates, quite understandably, don't care about patents or IP. They can be a good indicator of whether there is any other reason to use AV1 over H.265.
dynalist.io is the best I've found and has some programmer features like code snippets.
It's only been stealthy if you put your head in the sand

Thinktanks and intellectuals like Buchanan have always been grifters who get paid to think and justify a certain worldview that rich people want to make reality. Why is one of the foremost assumptions in mainstream economics the fact that the all actors are rational, and what does that imply about those that become wealthy? Why do so many free-market economists want to take as an axiom that every individual is attempting to maximize their own personal gain first? Because people who do think that way have the money to pay people like Buchanan to justify it.

Any regular person who doesn't have a personal army of servants, sycophants, and paid-for intellectuals knows that those axioms taken a priori are bullshit. But to certain mega-rich people who think the only reason they have been so greatly rewarded with wealth is through some form of superiority, it makes perfect sense. The fact is that it's remarkably intoxicating of a thought to think that the reason you've been given so much power and influence is because you deserve it, because as a powerful person you have been awarded the resources (Buchanan's "Gravy Train") to convince other people of that fact as well
You didn't answer the question. It doesn't need to be so dysfunctionally thin and light to travel between work and home sometimes. Nobody is going to suffer from an extra pound of weight.
Thing is, what's the alternative?

We're just lucky the plan they went with actually worked - strap the kids in tightly to a semi-enclosed stretcher with lots of anti-anxiety drugs and a positive pressure facemask. AFAIK rescuing people from a cave underwater who aren't already divers has never been done before at all, and I've heard of a few cases where similar rescues have failed with the deaths of the victims (e.g. someone getting stuck in tidal mud flats where a diver tried using a full face mask to keep them alive until the morning - they panicked, lost the mask, and died). Lots of things like the kids being in worse health than they were, or the combo of drugs and bravery/meditation not being enough could have made that plan fail.

Just keeping those kids alive already killed one diver due to an accident - if the plan had failed even just resupplying them until conditions improved could have easily killed more given the bad conditions.

Also remember that the rescue was willing and able to modify the cave with drilling (and even blasting) to make passages wider and easier to navigate (there's public footage of the rescuers doing this). This is an aspect of cave rescue that can be controversial and isn't often talked about, but I think it's totally justified here, and could have easily reduced the risk of the thing getting stuck (which happens to patients^H^H^H bodies too...).

Unfortunately this was a really bad situation without a guaranteed good outcome.
Nuclear Bomb , Hiroshima Japan
The Best Way to Fight Terrorism (and it doesn’t involve fighting at all)
They had to know how close this looks to “ransom demand” right?
The UN is clearly the better marketer, because it needs to work much harder to justify its ongoing "good" for the world.

I wonder if FIFA has ever been discovered to be running hugely corrupt wings like UN's WIPA which keeps trying to stuff some form of ACTA/SOPA/PIPA down our throats.

I wonder if FIFA has been found to ever profit from the rape and sexual abuse of minors. Minors, who descend from some of the most war-torn and horrific places on Earth.

7 billion annually and look how little they get done each year. Capitalism is much more responsible for Africa's and Asia's escape from poverty than the UN is - and that's a rather low bar.

I laugh at the idea that the UN, and not the charities they force to go through them, is responsible for saving 2 million lives per year. I wonder how many millions they let die each year.

In terms of global politics, FIFA is rather benevolent and yet they foster ongoing positive international relations benefits. The UN is, at best, malevolent, and I am dubious that their positives outweigh their enormous negatives, not to mention their negative externalities.
I turned off ads once Patreon was a thing. Haven’t looked back since.
Considering their comment history, I don't think the person we're responding to is none technical.

But if AlphaGo and Google Duplex have had a ML/AI child and they're being tested on HN I'm pretty excited about it!
For the moment, you can see the progress on empowering the type system in the RFC for generic associated types, which is intended both to be the simplest extension to the type system that allows for some important patterns (e.g. streaming iterators and collection traits) and to be forward-compatible with any additional extensions in the direction of HKT. Importantly, it's also intended to be intuitive for users who have no prior experience with higher-kindedness and usable without (hopefully) requiring anyone to learn anything about type theory. The RFC text can be read at https://github.com/rust-lang/rfcs/blob/master/text/1598-gene... and comments can be left on the tracking issue at https://github.com/rust-lang/rust/issues/44265 .
> Any regular person who doesn't have a personal army of servants, sycophants, and paid-for intellectuals knows that those axioms taken a priori are bullshit.

I dunno...libertarianism seems fairly popular these days - in my opinion this is unfortunate.