skysight-inc/HackerNews huggingface dataset:
When you look at who's polluting and who's emissions are on an upward trajectory, there's one obvious country that's actively working against the environment. China's emissions aren't slowing down. Coal is incredibly cheap when there's no carbon tax or emission standards. Comparing the US[1] and China[2], the US has:

- Decreasing per capita emissions in the US starting in 1973 (-27%)

- A decrease in the countries emission starting in 2007 (-13%)

Meanwhile for the same period China has had

- a 7x increase per capita since 1973 (+532%)

- 48% increase for its global emissions since 2007

So it is possible to drastically reduce our carbon footprint thanks to innovation and smarter power generation.

[1] https://ourworldindata.org/co2/country/united-states

[2] https://ourworldindata.org/co2/country/china
This year was the last year I owed CA taxes. You still owe them on shares that vest that you earned when you were in CA. Looking forward to not filing taxes with them next year.
Unless he was born on February 29th (good luck getting that drink at a bar), reading after only hitting two birthdays is the stuff of legend.

That said, having been told so by a genius, I feel like I'm now unshackled, ready to pursue a life of mathematics as a non-genius.
I remember when Bush Jr's big campaign promise was "no nation building".

And then we got ultra nation building.

Maybe he should have listened to himself?
Tesla cars don’t have LiDAR right? That’s why they are so susceptible to this problem. Visual sensors only.
Facebook and Google funding Apricot – a 12K km sub cable across South-East-Asia
A couple others that may bite:

1. Rotation not supported.

2. Debug source (leaflet-src.is) reports stale number: “1.6.0” for 1.7.1
For years I have rejected _all_ contract and permanent jobs from CA for two reasons:

1. I don't enjoy filing state income tax(I'm a Texan) at all.
2. I have to get 13% higher pay comparing to what I earn in TX which CA-recruiters did not like it much at times. The 13% is to cover CA's state income tax.
So if I'm understanding you:

I am planning on taking my Governor's cheekily endorsed thumbs up to get a 3rd shot. I'm going to get JJ because it's not the same RNA spike target.

That's probably better than a 3rd RNA shot (no reformulated)?
This is similar in vein to GDPR (hear me out) - not in content of course but in the general thought process (ideology?) of those behind it.

California is free to make up whatever nonsense California wants to make up. It doesn't mean that anyone needs to recognize it or be bound by it if they're in California. Just as the GDPR doesn't actually have any authority over US companies that don't operate within the EU, if I'm not a resident of California, California can say whatever it wants about my tax status but that's just not how it works in reality. No other state recognizes FTB's jurisdiction over former-Californian-now-State-X-residents. If you don't live in California when your shares vest, California can claim it has a right to some tax revenue, but it doesn't.

To my knowledge this hasn't been adjudicated to any court outside of California so whether or not it's legal in a broader sense remains to be seen. It's certainly possible, but until there's case law to support California taxing former residents on income earned/vested after California residency ended, it's fanciful.
House Democrats Restrict Trump’s Planned Withdrawal from Afghanistan (2020)
It's not the elderly that have been imposing isolation, they have all been sent to long term care homes to die.

Our leaders however are not letting this crisis go to waste.
> the sensible choice to lose peacefully, as opposed to risking their lives for a lost cause.

I wonder how long they cashed their checks, knowing full well they were going to surrender immediately as soon as the US was going to pull out. Or better, despite not ever having the intention of fighting (or even agreeing with the Taliban), claiming persecution to hustle a western visa/passport when they would inevitably lose.
>What's the source for some of those claims?

Googling it, it seems like the claim that he taught himself to read when he was "a little over two" (ie not literally 24 months) has been repeated among multiple reputable news sources (New York Time, SMH, The Age).
No comment on the IQ.

>Calculus at seven I can believe, but teaching himself reading at 2 sounds like something that goes against what we know about biological and social development of the child.

It doesn't seem too far-fetched, to be honest. Back when my wife worked in child-care, she knew this one kid who was speaking in multi-word sentences at 9 months old. Most kids don't reach this milestone until they're 2 1/2. Kids can and do surprise you.
Actually it obtained a plasma with a duration of 100 seconds back in 2018.

https://www.ipp.mpg.de/4550215/11_18
The Microsoft-Nokia didn't want to maintain the old OSs so went with a licensed clone of Series 30, and then post-Microsoft went with KaiOS (though newer ones seem to be back on the Series 30 clone, which is frankly a better experience than KaiOS was). Like, I was never a big fan of Series 30 or 40 but they had an awful lot of iterative improvement over the years and they just pissed that all away.
The good news is there are more independent thoughts these days. 70 years ago it was hard having independent thoughts when it was three channels on TV and two newspapers and everyone listened to the same couple of popular artists. Back then, if you were too independent you would get beat up after class or worse.
So Electron is the problem. It gets worse if you have lots of tabs open in Chrome + running other electron apps as well. A visible and obvious improvement when compared with a native app.

Also, Electron apps do not scale and it wastes CPU time, eats RAM up and fills up HDD space. On laptops, it drains the battery faster.

A quadruple negative to the user.
"Actually you don't need US's level of spending if you are not "actively" into wars like ones in the middle east."

That's your believe but sorry, I don't want to take this claim on the face value. Maybe you're right, maybe not, I believe that's a complicated issue for sure...

One could claim you would need to spend much more were you not involved in these conflicts... each war has it's own reason and own goals and the decision to enter a war is weighted in geopolitically economically etc..and then the elected president makes this decision. Now, what I do have an evidence for, is that politically, the votes are probably split since there is pretty much status quo on that for many years and many administrations...
Overall for GoAWK I get an 18% speed increase on my micro-benchmarks between Go 1.16 and 1.17 (see https://github.com/benhoyt/goawk/commit/1f314f421273b3dc164f...) and I measured an 8% speed increase on my "slightly more real-world" benchmarks (these ones: https://github.com/benhoyt/goawk/blob/master/benchmark_awks....).
Could it be our hunter-gatherer instinct pulling our legs? Give a toddler a chocolate, and they'll just eat it. Give them a plate with the equivalent in M&Ms and they will enjoy picking them one by one. Hunter-gatherers that got bored fast probably weren't as successful as their obsessive peers.

This reminds me how primates and monkeys seem to enjoy meticulously cleaning other's fur looking for fleas.
If they did request documentation, that would have been fine with me in any case. I had it, and it's reasonable for them to request it. They do have a legitimate interest in preventing and prosecuting tax fraud.
oh lol. I attempted to submit this myself and HN redirects to the pre-existing post without a notification. My mistake.
How is Taiwan doing?

Edit: Looks like they had a huge spike in May but are now around 7-day avg of 20 cases. With 7 day average of deaths around 2-3. Vax rate 1st - 40% 2nd 2.9%

Looks pretty good.

Sweden has a rolling 7 of 500 ~ 700. Rolling seven of deaths 0. Vax rate 1st 69.5% 2nd 59.2%

Interesting because they never locked down.
> …we need more programmers to learn C and build systems in it.

I agree with the first, but not the second. C is a valuable language to know, but for security’s sake we need fewer complex programs in it, not more.
Dunno about that. Establishment, such as it is in the form of various talking heads, appears to be somewhat angry. I am not sure it is all a show.
I thought it was an interesting question followed by an interesting take. There was a bit of ego salve in the conclusion but it seemed plausible.
How much do you think Greg is worth? Several thousand is a lot but if the author has debt then maybe not
What this crazy blog post ignores is that if you move away you lose all the benefits of living in California.

Sure, you want to move and do so (or don’t want to but have to for some reason). You’re fine.

This whole post is about wanting to get the benefits of being in california (9 months a year wtf) but not pay for it.

And in the end, california taxes overall…are pretty average.
Oops, yes, sorry for the mixup! I hate it when people do that to me and apparently I'm just as bad!
Yes, being a frequent aerocommuter in an income tax state like CA is of limited use, when it comes to avoiding taxes. To me, this is a feature, not a bug. I don't want people causing massive pollution by flying back and forth to the office each week to avoid taxes. It's definitely not something that we should encourage.
And the metal in space doesn't help us with our current technology. Obviously.

"We can't have a metal shortage because there's lots of metal in space" is not the most coherent argument I've heard today...
Agreed. Events like this should remind us to not be so arrogant.
It was hardly cheap. The logistic train necessary to sustain troops in a landlocked country without secure transportation routes was horribly expensive. In some cases it cost $100 to deliver a gallon of fuel to an outpost after accounting for all the transportation and security costs. Tactical aircraft are wearing our from overuse and we can't afford replacements. Meanwhile the military-industrial complex wants to have those 10k personnel preparing for a future conflict with China.
Who says they are heading toward democracy at all? Do you stop at fascism along the way? Afghanistan was essentially our state. It was beginning to prosper and experience the rights and freedoms already established by our presence--why do "they" need to create a government if we already have one that works and that their people seemed to like?

We should open up to voluntarily annexing states like Afghanistan and Puerto Rico instead of continuing to drool over some fuedal age government philosophy. Invite people in. The current system of fight-and-flight is looking a bit dated.
The second one should be sorted by name to show that there are actually multiple spotify processes. (There's another one near the bottom of the list.)
Founder of Stencil here, I'll be around to answer questions.

This project started after I started playing with RC plane and was looking for ways to overlay telemetry data on my video. I realized that there's actually a similar use case but for images instead and pivoted to this idea.

Took around 7 months to build while working full-time. My expectation was around 3 months but as any software project, deadline is just a suggestion. Having a toddler in a pandemic does not help expedite the process :D

Overall I had really fun building this.

For those curious, this is the stack.

Backend - Elixir with LiveView
Frontend - Rescript with RescriptReact
Deployment - Kubernetes deployed to managed DO kubernetes cluster
Especially true given water vapor is a more potent ghg increasing with each upward temperature tick, in a way that's not linearly reversible from linear co2 reduction.

Probably the only way that could potentially fix things is direct temperature manipulation schemes. There's a lot of them that have been proposed.

Worth noting that the major economies in Asia aren't doing much of anything tangible for co2 reduction. The EU has basically the world's smallest petroleum industry so it's no sacrifice for them to push climate change measures. The US will effectively be transferring huge amounts of its economic wealth to other petroleum countries who don't care. Ugly all around.

Point is entrepreneurs should focus on direct temperature manipulation at this point if we really want to solve the problem.
Extempore is impressive for sure. They wrote a custom scheme interpreter and a REPL for VSCode. More info here: https://extemporelang.github.io/docs/overview/quickstart/
Last I checked, IE11 is the last official holdout (with bugfixes and support) and it has less than 5% marketshare. That gives ES6 somewhere close to 95% marketshare for users that aren't running 3-6 year old insecure and outdated browsers.
Taliban is/was pretty ardently anti-opium even when they were running the show and could make infinite cash off its taxation or production.

https://en.m.wikipedia.org/wiki/Opium_production_in_Afghanis...

> The opium trade spiked in 2006 after the Taliban lost control of local warlords

https://www.washingtonpost.com/graphics/2019/investigations/...

> Ironically, the only power that has demonstrated an ability to cripple the Afghan drug industry is the Taliban.

> In July 2000, when the Taliban controlled most of the country, its reclusive one-eyed leader, Mullah Mohammad Omar, declared that opium was un-Islamic and imposed a ban on growing poppies.

> Much to the surprise of the rest of the world, the ban worked. Afraid to cross the Taliban, Afghan farmers immediately ceased planting poppies. The United Nations estimated that poppy cultivation plunged by 90 percent from 2000 to 2001.
Most of that page deals with ISOs and NSOs, which are very different from the case you described. The section "E. Restricted Stock" is itself about Restricted Stock Awards (RSAs) NOT Restricted Stock Units (RSUs), the latter of which is what I imagine most non-executives reading this are getting. In case of RSAs you actually "own" the stock during the vesting period (including having voting rights), so it makes some sense to be taxed on it for that period.

See https://carta.com/blog/breaking-down-rsas-and-rsus/.
I don’t think you’ll see this happen in the US any time soon, literally because of a Bible verse; Revelation 13:16-17 (King James Version):

16 And he causeth all, both small and great, rich and poor, free and bond, to receive a mark in their right hand, or in their foreheads:

17 And that no man might buy or sell, save he that had the mark, or the name of the beast, or the number of his name.

It’s not talked about a lot here, but this verse is the go-to for many flavors of Christian politics in the context of federal law and national identity.
> Who are Afghanistan's neighbors with coastal access? China, Iran, and Pakistan.

Adding to your point, it's a long way across China, and the border with Afghanistan is far away from populations and ports. I don't think it's great for trade, even though trade with China is certainly important.
Bezos’ Blue Origin takes NASA to court over lunar lander contract to SpaceX
The West is an itinerant war machine. We define who we are, prove our ethics via an Other we best. The only solution is Copernican.
First, the ACA passed in March 2010, so not really 2 years on health care. The tweaks folded into reconciliation were not a major distraction.

Second, if by super-majority you mean filibuster-proof, then in reality this was nowhere near 2 years.

Al Franken (the 60th vote) was not seated until the court challenges finished on June 30th.

Ted Kennedy died August 25. So that is about 8 weeks of super-majority.

Paul Kirk was seated on Sept 24, and Scott Brown took over on February 5th. So a little over 4 more months.

That is a total of about 6 calendar months of filibuster proof majority.

A glance at the legislative calendar shows a total of a little over 110 total Senate legislative days, out of a total of about 350 legislative days in 2009/2010.

So in reality, Obama had a filibuster proof majority for about 1/3 of his first 2 years.
Funny thing perhaps he actually shouldn't have been hired, because I interacted with this person there a few times and he was exceptionally low IQ.
We're talking packaging the loans into a bundle, so it'd need to be faster than usual depreciation across the market, for some unforseen (aka not priced-in) reason. Otherwise it'd average out.
Looks like the penalty is 100k. pretty much pointless.
I bet the managers who are running IPv4-only places know what's coming, they just hope to get lucky and see it delayed long enough that they get another job someone else is holding the bag.
> Peano arithmetic remains consistent.

This isn't quite the conclusion here. Peano arithmetic's consistency cannot be proven within its own limits, so it remains a hope/intuitive belief, but not a fact. Closest we've gotten, to my knowledge, is that there have been consistency proofs within other axiomatic systems:
https://en.wikipedia.org/wiki/Gentzen%27s_consistency_proof
Oh, let me close up one little hole in my comment, before anyone points it out. :) This may require rather more mathematical knowledge I'm afraid.

Above I said the only reasonable way to weaken Peano arithmetic was to weaken induction. But that's not quite true. There's another way: Not changing any of the axioms, but weakening the underlying logic.

See, there's a school of mathematics known as "constructivism", and they object to the usual laws of logic, saying that they're too strong; they use a weaker logic. It ought to be called "constructive logic", but for historical reasons (that are really not worth getting into) it's called "intuitionistic logic" instead.

And this might seem to be a better approach, because weakening the laws of logic is something that can be done without regard for the setting; it doesn't matter here whether you're talking about just whole numbers, or mathematics as a whole. (Well, almost. Actually, from ZFC and intuitionistic logic, you can effectively get back classical logic. But there are pretty good ideas about how to modify ZFC to avoid that.)

The problem is, doing this doesn't help. Because it's known that if you can prove a contradiction from the Peano axioms using classical logic, you can also do so using intuitionistic logic. So even if you went constructive, you'd still be stuck with all the same problems.
You're right about the parallel. If you never again step foot in California, and have no assets in California, then perhaps there's no way for California to enforce their claim.

But, even if no other state would enforce California's claim, couldn't the FTB get a court judgement against you in California? And then enforce by nabbing you next time you pass through SFO, or by seizing any property you might have?
I have had the same thought. Why not do away with chroma subsampling and just compress the chroma planes more heavily than the luma plane? Does heavy compression perform worse than just throwing away 3/4 of the data?
He's an academic in economics with interests in the role of institutions and culture in how we economies develop and function (or don't function). How else shall he do his job? I would suggest you should save your disdain for economists who never leave their office.
Eh, China is the new red scare. It is actually twice that since they still have communist in their official name. I jest, but only a little.

I agree with you. It is not a straightforward and foregone conclusion. Taliban has clearly shown that it can play a very long game. That said, so can Chinese.

US can barely handle one news cycle lately.
> I wasn’t able to really grasp FP (beyond using things like map() in Python) until I took a compilers course which used OCaml,

Which compilers course is it?
Rust is very expressive, but it also makes some tasks that are relatively simple in other languages much harder (anything involving tree structures, for instance), and some of what it gives you expressive control over is stuff you usually don't need to think about at all in other languages.

Rust can do some things Go simply isn't suited for right now; for instance, there is no way we're getting kernel Go in the foreseeable future. You couldn't reasonably build a browser, or browser components, in Go.

Both languages have their place. There is a lot of overlap, and the original comment about how one might prefer Rust if what they miss most in Go is generics makes sense. But the idea that the only thing you'd gain by choosing Go over Rust is easier development on big teams is just false. One language is GC'd, the other is borrow-checked. GC makes a lot of things faster to build. This debate ended in the mid-1990s.
With so many unfilled positions - in restaurants, retail, construction, etc. - is yet another government program really the answer? There's plenty of opportunity in the free market to be had. This reads like an ode to a more romantic time, as misguided as even that might be.
Then I apologize for responding to the language that you wrote and not other language you could have used.
We were literally a couple hundred votes from Gore 20 years ago. How different our world would have been today with a climate focused presidency two decades ago. 9/11 would have probably came and went without fanfare like most terrorist attacks, much less spurred invasion of two countries.
I've seen too much to underestimate the MIC, as Afghanistan's hard fall could easily become "the taliban can't run a nation, we must war", as endless wars resume.
> I'm not interested in intervening with infantry and all the necessary materiel unless it's to defend ourselves from grave danger. Especially avoid stupid the boondoggle of "nation-building". Not everyone wants democracy right now. It may come later.

This short sightedness might cost more in lives globally and money loss from trade and resources being restricted.
Kinda funny because my Apple IIc has a built-in switch just for Dvorak!
It annoys me that there is such staunch criticism of Americans for wanting this. Universally Democrats opposed these wars for most of the past 20 years, but now they're getting upset that we're leaving?

300k Afghan Defense force members wouldn't have up and walked away if they actually cared about the Taliban taking over. It's almost as if they wanted this. Afghanistan mind you, is also a third world country which indentured slavery universally recognized. You can watch videos even of people who are basically so in debted to their landlords, that they sell organs to help pay off the debt.

Any American at least decrying this event should be ashamed of themselves. Not only were we there too long, we shouldn't have been there in the first place. But now is the time to virtue signal how the US didn't do something perfectly...again. What did they want the US to do? Stay and save everybody while simultaneously leaving? We can only do so much. Not to mention, had we never been there, the society would've been the exact same as when we left it.

The other ironic thing is people criticizing the US for allowing the Taliban to impose harsh restrictions on women. That isn't the US's fault, that is radical Islam. But not a single person in the US is going to mention this because it's only okay to criticize Christianity in the US. Seeing as critics of Islam are somehow equated to bigotry when there are very much justifiable reason to criticize the theology like any other religion.
Virta Health also has clinical research showing success in putting type 2 diabetes into remission with nutritional ketosis.

https://www.virtahealth.com/research
Every complicated problem has a simple solution that is wrong. It is just to say, your metaphora might be beautify and simple but in your comment there is nothing to add about how valid is it.
Why is California taxes so high anyways? I feel they add up with the federal taxes to as high as in Canada, except that you don't get almost free education, subsidized child care, free health care, free meds, and year long parental leave.