skysight-inc/HackerNews huggingface dataset:
I should also add that while you can do a lot of this subsetting, I wouldn't be surprised if some of these issues were already covered by the time the rest of Rust has been formally modelled and verified enough to be a competitor to Spark.

That is, what RustBelt analyzes right now is a language which has an analogue to Rust's borrow checker, but is much much simpler overall; and they ported Rust's implementation of several types of shared mutable or owned references over to this language to verify them.

There is a lot of Rust outside of these few caveats that hasn't been covered; these are just the things which could be in scope of the RustBelt work that haven't been covered by it.

Here are a few things that there's ongoing work on that you would want to finish before saying you were confident in a using a formally verified language:

1. The memory model. This gives a formal definition of what kinds of aliasing assumptions the compiler is able to make about raw pointers in `unsafe` code. This is being worked on here: https://github.com/nikomatsakis/rust-memory-model
2. The borrow checker. While the RustBelt work shows that a much simpler borrow checker can be sound, Rust's borrow checker has to deal with a much more complicated language, and there are few known soundness bugs in it (discussed elswhere in this thread). You'd want that to be formally modeled and verified.
3. The type system. Rust has a fairly full featured type system, so you want to ensure that's sound
4. The compiler itself. Even once you have sound code in a sound language, you need to make sure that the compiler follows the rules and compiles it correctly.
5. Any libraries or code that you are using which might be using `unsafe`. The RustBelt work so far has done so for a few core primitives, as well as a couple of third-party libraries, but of course you'd want to re-do this work against the full language (or a real-world subset, not LambdaRust that this paper used) and include any other libraries that you might need to use.

So, I'd say that there's a good chance that the RustBelt work could be extended to include one or more of these listed features before all of the rest of the above has been done. It will be a while before you could have a usable, verified subset of Rust, but once you do I think it could be a good alternative to something like SPARK, or development in C following extremely stringent rules and compiling with CompCert.
As an avid developer of SPAs (currently working on one for my own blog frontend) I'd say a lot if this stems from people being convinced SPAs 1) provide a faster development cycle, 2) they believe that they've offloaded all need for optimization on the framework they use and 3) "serious" development teams build SPAs.

Anecdotally I find SPAs, while I'm more comfortable developing them, will take longer to build. You need to pay more attention to the quirks the author mentions and you need to spend more time explicitly optimizing your code. I like this paradigm because if there is inconsistent logic, poor performance, or other issues, it's my fault and I have the opportunity to fix it.

As a counter example to the ones mentioned in the above article, around 2 years ago I build a drum machine webapp entirely in JavaScript/React (https://io808.com). This has ~17 JS library dependencies and ~6000 lines of source code but the gzipped bundle size comes out to ~97 KB.

Just because you're building an SPA doesn't mean you need to spend less time optimizing your code, in fact it likely means the opposite.
What are some of the best resources to use when getting started coding async PHP? Any tutorials?
Tangential question: what is the best practice for handling authentication on a SPA? I have seen JWT being heavily criticized on HN and elsewhere. What is the alternative that still maintains the separation between front- and back-end?
I get the copy/paste behavoir out of power point being pretty annoying (it is).

But what's your problems with bullet points? Powerpoint in bullet mode basically follows Python text editing rules. If you just hit enter, the next line will occur at the same indentation level. The style of the indentation will change if you add enough lines that it starts overflowing out of the assigned area (makes sense). When the cursor is at the start of a line, hitting tab will indent, hitting shift-tab will unindent. When the cursor is anywhere else, tab will act as a tab character.
These third party blocks have been in place since the first Thunderbolt 3 Mac launched. They didn't start blocking anything in particular 'shortly' before they announced this dev kit at all.

These third party devices that Apple blocked were not just enclosures, there were other TB3 devices (e.g. dual display adapters) that Apple to this day have not announced or endorsed a competitor to, and in fact those same companies (e.g. StarTech) then released Mac compatible versions, which suggests Apple were just enforcing a standard that they wanted OEMs to meet before allowing them to work by default.

The blocks have been found to be based on an earlier chipset version, and that devices made using later versions of the TB3 chipset work just fine.

This is what a peripheral manufacturer said (Plugable):

The version of OS X on the new MacBook Pros (late 2016) will not work with existing Thunderbolt 3 docks and adapters that were certified for Windows prior to the release of the MacBook Pro. These existing devices use first generation of TI USB-C chipset (TPS65982) in combination with Intel’s Thunderbolt 3 chipset (Alpine Ridge). Apple requires the 2nd generation TPS65983 chipset for peripherals to be compatible. Certification of solutions across different device types is still in-progress for this 2nd generation chipset. From the Plugable product line, our dual display graphics adapters for DisplayPort and HDMI (TBT3-DP2X and TBT3-HDMI2X) are affected… We’ve also postponed our TBT3-UD1 Docking Station to update to the TPS65983 chipset and re-certify to make this docking station MacBook-compatible. Our Flagship TBT3-UDV dock with Power Delivery/Charging was already planned to use the next generation controller chip from TI, and will be compatible with the 2016 Thunderbolt 3 MacBooks.

This does still fit with your argument?
PHP was originally called Personal Home Page Tools. Perhaps people should consider that before building large and complex systems using it.
The author confuses short term efficiency with true desirability, I think - economically, too, not just in the "extreme efficiency is hell for us as people," sense.

What happens to your super-efficient workforce of people doing exactly one thing over and over when the industry shifts? It's very similar to code, here: highly optimized processes are hard to refactor.

The world is full of not-sufficiently-explored market spaces, hence the ability of small companies to disrupt large ones, and the growing desire to be agile and use MVPs even at large companies. Specializing to extremes is the opposite, and it will get you eaten in many, many businesses.
Is that an American robot in Japan?

http://www.rethinkrobotics.com/sawyer/
Experienced admin assistants can be found part time, too. A good gig from 1000 to 1400 is great for people with kids in school, but hard to find. Offer a decent rate and you can get a really good person who values that schedule.

That might be enough hours to make a big difference in a small office/studio.
> By far the biggest danger to Venice is the absence of those hoards of tourists.

No. The danger is any point away from the equilibrium - too few/no tourists and there's no income, but too many tourists and the tourists won't spread the word for other potential travelers anymore when they e.g. cannot go to any popular place or getting ripped off hundreds of dollars for pizza.
This is a very common trope, but it fails to address what might be the cause, rather than the mere correlation, of age-driven conservatism: imminent mortality. If you're 50 years in to an 80 year lifespan, it's more difficult to imagine starting over, with reduced vigor, to revamp your thinking and lifestyle. If there is essentially no increased risk of next-year mortality with age, and if we all have the stamina and energy of 20-year-olds, then there truly are no old dogs.

Also, I'd really like to hear this "tendency of society to become very conservative" fleshed out. I think you meant "as average age goes up," but I'm not sure why "society" gets brought into it. Aren't we pointing to a tendency of individuals to become more conservative as they age?
Complete nonsense.

The vast majority of people in the US with decent health insurance are not "exceptional overachiever[s]." Heck, I know more than a dozen people who literally sit around and watch TV 16 hours a day and have decent health insurance, including my own father who hasn't been employed in almost 40 years. To do that you just (usually) gotta be married.
Negligible senescence after 60 (or 40) years is not actually youth. It's past reproduction age for most people.
The code for xnu_override (the library the author wrote to patch functions in the kernel) is wrong for a number of serious reasons.

It assumes (with no verification) that the first twelve bytes of any kernel function you could want to patch are all one basic block and do not contain a jump target or a relative branch. These reasons ARE why live patching is hard and why proper support for it is basically required in original code (making sure each func starts with a basic block at least twelve bytes long). Without that, it's quite a dangerous game to play in kernel space.

Furthermore, it assumes RAX is safe to clobber. This may not be so. Compilers are generally free to ignore standard ABI when calling provably-static provably-leaf functions. Who said RAX doesn't have a useful value on entry to patched function?

Additionally, it edits cr0 and cr3 with interrupts enabled, allowing it to be preempted during this action. If said preemption happens, another edit to those registers could happen in between. Scary, since what's being done is a non-atomic read-modify-write on CPU control registers.

Strongly advise anyone from running this on any system.
A new type of solar cell is coming to market
You see, the problem is most of those who complain are the old time Mac users. Old as in when Apple was dying, and we were still buying Apple, until Steve Jobs came back and until Apple made iPod and later iPhone.

Most of these MBP users are what I call new users, they are new to the Apple ecosystem. Mainly pulled in by the iPhone hollow effect. That is why Mac as a segment is still doing so well, there are lot of new users coming in, especially from China.

The sales data doesn't tell how angry some of these old Apple users are. If it wasn't a friend of someone within the Apple executive circle told them how they were planning to leave the Mac ecosystem because the current Mac Pro didn't work, they will never have known they had a problem.

It took 2 years for Apple to release a new product after they knew its has problem. Once Steve Jobs knew how many people hated the Apple Mouse, they had news and Interview saying they knew people didn't like it, and they are working on it.

The new Apple now, it is coming up to 5 years and Mac Pro hasn't seen a update.
Please reach us at hn@ycombinator.com for issues like this.
> When you already have a solid background in PHP, it will be much easier for you just to dig in some libraries and tools for your use-case, instead of learning a new language and a new ecosystem.

The main challenge when going async isn’t learning new syntax. It’s dealing with non-linear flow control and with different abstractions.

So, I remain unconvinced that picking PHP’s comparatively obscure async ecosystem is a good longterm strategy.
The moment I used Bitcoin Cash myself, I was completely stunned why people keep supporting it.

To give something to back me up, just look at the charts of BCH and it's main competitors: Litecoin and Dogecoin.

total # transactions: https://bitinfocharts.com/comparison/transactions-bch-ltc-do...

-> Litecoin does more than 2x the traffic of Bitcoin Cash and Dogecoin. Remark that Dogecoin sometimes handles more traffic than Bitcoin Cash.

Transaction fee: https://bitinfocharts.com/comparison/transactionfees-bch-ltc...

-> Dogecoin clear winner, Bitcoin Cash about the same as Litecoin (but remark that Litecoin handles double the amount of transactions)

So to be honest, I think Bitcoin Cash is just trying to ride the "Bitcoin" name, because for applicability, it doesn't seem to have any advantage over its direct competitors.
When I first read the Maxwell thing it was explained as a demon. There was no doubt in my mind that daemon was just another spelling and pronunciation (day-mon) of that when I came across it later.
This is incorrect. There are many tech companies in Sweden that haven't signed a collective agreement. However, "to obtain a work permit you must [...] have been offered terms of employment that are on par with those set by Swedish collective agreements or which are customary within the occupation or industry" [0]

[0]: https://www.migrationsverket.se/English/Private-individuals/...
Great quote. English does give back a little as well as take. My current favourites are le blue jean (denim is derived from De Nimes!) and le bifteck (beef[steak] is derived from la boeuf.)
It doesn't make sense to worry about what happens if humanity become immortal and nothing else changes. Technology is going to change everything about the world, and immortality may be the least of it.

There's every reason to think humanity will develop super intelligent life, or augment itself into super intelligent life, within 100 years.

Which means that there will never be billions of ape-like humans living to be hundreds or thousands of years old. When super intelligent life emerges, it will probably be immortal, but none of the concerns we have about immortal humans will apply.

There's only one part of our future we can be sure of, and that's giving birth to Superhumanity. It almost doesn't matter what we do before this, and we will have no control over what happens afterwards.
By the way, this is a project funded by the European Union. It got 2 Million EUR by the European Research Council (https://cordis.europa.eu/project/rcn/200802_en.html). It is only one of the many projects which give back a lot to the open source community. Thank you, EU!
This may be a better thing than you might assume.

Study history and you find regulations tend to be repealed as soon as their cause is forgotten. US fiscal policy for example was far more rational when people who remembered the great depression where still in control. I expect air quality standards to start to slip in about 20 years etc etc in an endless cycle.
You keep changing the terms of the debate.

Why are the standards suddenly "the existence of an absolute moral law"? You can't demonstrate that there is an "absolute moral law" against murder.

What does an absolute moral law have to do with how well the law is publicized? Note that my awareness of a law is not related to its morality.

And finally, you take the whole point -- that being whipped is an extreme punishment -- and you shove it into this form "to some extent or another." The debate is not about whether we ought to punish chewing gum but about the severity of whipping.
Disagree. Professional athletes cannot be made by practice alone. The natural gift, coordination, balance, athletic ability, competitive drive, and other inborn traits are what matters most. There are professional athletes who didn't even seriously play their pro sport until high school, and uncounted thousands of kids who were pushed into something in preschool and never earned a dime from it.
Do you run your own mail server? I'm not opposed to the idea of trying it, but it seems like it would require a lot of work, and the potential for losing critical emails would be higher. It definitely sounds fun though.
Not everything has to be somebody else’s fault.
> Compare how well do people in Spain live, and compare it to how people who went abroad to South America live.

The fate of South America is not due to the failures of the local population... more "thanks" to decades of racist and/or anti-"communist" US foreign policy.
Apparently, every opportunity that women are given to delay pregnancy and childbirth is taken. Education advances, health advances, birth control, and wealth have each caused a delay and decrease in reproduction. It's a bit of a cliche fear that is popular because of its simplicity, not its correctness, IMO.
Is anything ever?

Why is there such a strong tendency towards treating things as a this-is-it(-this-time-for-real) thing? This only confuses people and muddles up expectations.
Similarly, I'd argue against using a tool designed for scripting Java applets in browsers for anything large and complex as well.
/s
Make your own make, with Cargo and Rust
Esoteric programming language :)
That's not a great argument the earth used to be ball of magma with no solid surface why should it be a problem if we return to that?
Experiences building a fully remote product team
I was 9 in 1996, and I remember reading this article over and over again for years, and making attempts to build a forcefield of my own.
The Economist for arguably the last good journalism

Esquire for entertainment and fashion

GQ for fashion
FYI, this block was found back at the launch of the first Thunderbolt 3 Macs to be because Apple (for whatever reason) didn't wish to support the older Thunderbolt 3 chipset, according to peripheral manufacturer, Plugable:

The version of OS X on the new MacBook Pros (late 2016) will not work with existing Thunderbolt 3 docks and adapters that were certified for Windows prior to the release of the MacBook Pro. These existing devices use first generation of TI USB-C chipset (TPS65982) in combination with Intel’s Thunderbolt 3 chipset (Alpine Ridge). Apple requires the 2nd generation TPS65983 chipset for peripherals to be compatible. Certification of solutions across different device types is still in-progress for this 2nd generation chipset. From the Plugable product line, our dual display graphics adapters for DisplayPort and HDMI (TBT3-DP2X and TBT3-HDMI2X) are affected… We’ve also postponed our TBT3-UD1 Docking Station to update to the TPS65983 chipset and re-certify to make this docking station MacBook-compatible. Our Flagship TBT3-UDV dock with Power Delivery/Charging was already planned to use the next generation controller chip from TI, and will be compatible with the 2016 Thunderbolt 3 MacBooks.

I still don't think we exactly know why, but the allegations that they're doing it for profit or for some attempt to control the ecosystem don't seem to hold up, especially since most of these peripheral manufacturers since updated their devices with the new chipset to work with macOS just fine.
Does every meeting needs notes?
I watched this last night. Pretty well done. Another worth watching is Tetris - From Russia with Love that aired on BBC a few years ago and is on youtube: https://youtu.be/NhwNTo_Yr3k
I was laid off about 4 years ago. My boss Skyped me (really!) and said there was no easy way to put it but they were moving the business in a different direction and I, along with my team, were being laid off. I laughed at him, said ok, and hung up. Then I stomped around angrily for half an hour. Then I hopped on LinkedIn and started applying for every open position that looked appealing. In 12 days I was made an offer and started the following week.
Unfortunately, it's because highly skilled people are "boring" (definitely don't mean it as an offense) and don't elicit sympathy. They usually do well for themselves so people don't feel sorry enough to help them

It's kind of a paradox
> I think Clippy might be due for a comeback.

I suspect so. Just a few days ago I found an ASCII version of that troll in a frigging code editor (http://kakoune.org/img/screenshots/screenshot-i3.gif)
What does the phrase "running like cream cheese" mean? It sounds slow, but from context here it sounds...fast? Efficient?
This concept isn't applicable just to science. It's applicable to policy, politics, social opinion, etc. Young blood and new ideas are a constant threat to the status quo.
just use [hack](https://hhvm.com/).

hack has language-level support for async tasks[^1]. and is 99% compatible with PHP.

On the other hand, I would love to see PHP8 bring language-level support for async tasks.

[^1]: https://docs.hhvm.com/hack/async/introduction
Secretaries were harassing people?
I think amazon can come up with a way to make the job less stressful and all that, but I think the articles point that amazon comes in and replaces jobs that were unionized basically misses the point. Over the past 20 years
tons of factories shut down because they realized they could get the same thing built someplace else for far cheaper — in many cases unions had helped the people get paid more and more for the same-ish work for years. So the delta between what the factory in Mexico or China would cost could be massive. So in the case of amazon they are not a factory and they can’t really be moved, but they can decide to contract out their fulfillment to another company who is willing to do it and reset the game by bringing in a new workforce that gets paid less again. So it would seem like the smart thing to do would be to keep the pressure on amazon and target specific things they don’t like, but getting unionized and then demanding way more pay and easier conditions will basically drive amazon to contracting out the fulfillment centers to somebody else and you are back to where you started..
"Negligible senescence" means that you don't get appreciable deterioration with age. You're 240, but you feel 29.

EDIT: Ah. They explain that later in the article. That's an unfortunate use of the term, given its history of use in the field.
In a video chat between Andrew Ng and Hinton (part of Deeplearning.ai course), Hintom himself confirms this.
There's nothing to reimplement. Browsers navigate based on URLs, so if the URL for a page in an SPA isn't enough to load the full state on a fresh pageview, then it won't work.

So it's absolutely about proper engineering to make sure pages have working direct URLs rather than just relying on other navigation while the app is already open.
Literally none of these are true except for #4. It’s remarkable to have this many incorrect assertions stated so confidently in a single post.

As for #4, I view it like a checking account. You need to have a bit of money set aside in liquid form in case you want to buy something.
Your two blank line budget for tests
They are doing good stuff in Germany, no doubt, but that all seems a bit comparing apples and oranges.

If you look at the total SA grid it's over 1500MW being stabilized by the Tesla 100MW battery today. That seems to be roughly equivalent to what next-kraftewerke is doing... since they aren't adding any capacity or even instaneous offset. They are adding dynamic control to existing hydro in 15min increments and 30MW seems like a big deal in their press releases.

Adding 50k houses with 5kW systems is 250MW of new production and ~700MWh of fast (<<1sec) storage is an entirely different thing since it's faster than the peaker plants can come on and prevents a brown/blackout. Why all the negativity?
You popularized it on this page, where no one else mentioned it.
This sounds very plausible to me. As well as PHP, I've written a bunch of Java and threaded Java. I treat the latter two as different languages: yes you can use the same parser for both, but adding threads to the semantics also removes a lot of the mental models and assumptions we could previously make.
There's certainly a libertarian argument that pollution is the exact type of externality government should be solving given its tragedy of the commons in a way most things are not, as well as framing under core defense. I also imagine many would trade in the many other distortions for a simpler carbon tax scheme than things like funding Solyndra's which go bust.