skysight-inc/HackerNews huggingface dataset:
I wonder if you have thought about why you only see the subject in black and white? Is this something you do for other subjects as well? If so, getting to the bottom of what leads to this thought pattern would be very valuable to you I think. Then you could come up with strategies to avoid this.
It's been ~a decade since I was knowledgeable in SpaceX software development details, but at least then, they were not the kind of shop that emphasized rigor and formality. Their culture is oriented toward rapid implementation & test, pragmatism, and empiricism. That has its pluses and minuses.

My personal view is that more of the industry, including SpaceX, should be moving toward engineering things to be more correct-by-construction, including formal modeling & verification as you mention.

As one example, I don't hear most aerospace firms talking about SeL4 for their flight computer RTOSes. For another, you might be surprised (frightened?) by how many vehicles implement their flight software as big single address space executables written in C (sometimes C++) despite running on modern superscalar processors with MMUs. Even static analysis in some of these codebases is relatively recent - they are heavily dependent on functional testing for safety.
And what are the numbers ?
Didn’t know that. Thanks for pointing out.
I know what attrs is, thanks. “Everyone should use X library” is always bad advice, and it’s especially bad when there is language native functionality that covers common use cases for the library. Python has a dependency problem, maybe we shouldn’t make it worse with libraries most people don’t need.
Where did he get 10,000 cryptocurrencies number? Coincap lists 2,295 and only 746 has market cap above $0.
Because the capital gains tax is only a portion of the tax applied to capital income.

When you invest in a venture, you pay taxes on the profits. You pay taxes on the dividends it throws off. Whatever accumulated value remains when you sell your share gets hit by capital gains tax.

The "tax on money you made with money you have" is the combination of the profit tax, dividend tax, and capital gains tax.

That's not to say the total taxation of capital income is or isn't unfair (or is or isn't double/triple taxed), but it's misleading to just look at capital gains as an income source in isolation.
Please share a link. And in the future, try to share links or at least names of things you tell people about. If you can't find the link or name, then say so. I think saying only "the thing you want exists" is a little rude.
Cool concept. Looking forward to trying it out.

I've thought about taking voice notes before, though I've imagined that as more of a private hands-free thing. I'm curious what your experience of using it in public or with others around (the walks with friends, but also family or colleagues?) is like?

(I sometimes go on a walk while I talk myself through a problem; I've noticed I almost always stop speaking while someone else is in earshot. I suspect I'd also be inclined to avoid taking voice notes with others around.)
Not mass, size.

You can still have a small but massive flying device and would end up with the same acceleration and jerk because need more thrust to zero the gravity out.

The bigger your thing is the relatively smaller the 9.8 m/s^2 is.
Hardly shorter than just writing the for loop, i.e. the example in python

groupByAge = collections.defaultdict(list)

for person in people:
groupByAge[person["age"]].append(person)
The problem I have with statements like these is they focus on the misses while ignoring hits.

Expert consensus says that washing hands prevents the spread of disease. It's been like that since the 1950s. Has that consensus been wrong?

What about the expert consensus that azithromycin is an effective treatment against (most strains of) streptococcus? Is that consensus wrong?

You are correct, expert consensus will be wrong at times and it will take a fairly large push and evidence to change course. However, for every example of the experts "getting it wrong" there are 100s if not 1000s where you are better off following the consensus. Further, as time goes on, the process of developing consensus improves itself. It looks for faults that lead to bad conclusions and corrects for those faults in future studies.

It is a truth that experts and their consensuses will be wrong. However, if I follow and accept what a strong expert consensus says about something in that field of study 99% or even 99.99% of the time, they will be right. Or said another way, if you make the claim that "This expert consensus is wrong" You'll be right 0.01% of the time and wrong 99.99% of the time. Unless you are an expert in that field of study and you have a bunch of very strong research backing the claim, you've got no footing to really go against the consensus.
Probably the book/system by David Allen. It has a cult-ish following. The google results aren't very vague about it:

https://www.google.com/search?q=getting+things+done

I tried the book. It seems nigh unreadable due to fluff and the author's ego. (I think some reviews say the first edition is better.) However, the system seems good for what it is in principle. (It looks like a well-thought out to-do list system with things like pruning the list not left to chance. It's not a miracle or a silver bullet.) I learned with this:

https://hamberg.no/gtd

and use Mac's OmniFocus for the lists, as such.
To a first approximation, the same way you find a good engineer. Like good engineers, good designers are busy serving existing clients and you are in a Market for Lemons. [1]

Practically speaking, what kind of programmer can you get for $5-10k and an explicit "the downside is higher price" approach to paying market rate?

But the truth is you don't need a good designer. At worst, you just need a good enough designer. Nobody really cares if your marketing material is professional if your product is solves customers problems.

Moreover, if your product is consumer focused, coming across as professional might not matter much. Think skateboard culture. Good luck.

[1]: https://en.wikipedia.org/wiki/The_Market_for_Lemons
Yes, kids learn a lot by observing others. Your 5 year did not talk to a Google device before he saw someone else do it. Kids learn just from watching you, its still teaching and learning. Saying OK Google to electronic devices is not innate in humans.
The thought of a kidnapper inquiring about the child's social security number in the ransom note is pretty good dark humor. But I think the IRS has some restrictions on who you can claim as your dependent.

To claim someone as your dependent child, they must be either:

- Your son, daughter, stepchild, foster child, or a descendant (for example, your grandchild) of any of them; or

- Your brother, sister, half brother, half sister, stepbrother, stepsister, or a descendant (for example, your niece or nephew) of any of them.

To claim someone as your dependent relative, they must be either:

- Your child, stepchild, foster child, or a descendant of any of them (for example, your grandchild). (A legally adopted child is considered your child.)

- Your brother, sister, half brother, half sister, stepbrother, or stepsister.

- Your father, mother, grandparent, or other direct ancestor, but not foster parent.

- Your stepfather or stepmother.

- A son or daughter of your brother or sister.

- A son or daughter of your half brother or half sister.

- A brother or sister of your father or mother.

- Your son-in-law, daughter-in-law, father-in-law, mother-in-law, brother-in-law, or sister-in-law.

[0] https://www.irs.gov/publications/p501#en_US_2020_publink1000...

[1] https://www.irs.gov/publications/p501#en_US_2020_publink1000...
Great, maybe OP shouldn’t post and people shouldn’t upvote outdated blog posts with bad advice
Which part of the report do you see as equating "financial resources" (my words) with "wealthy" (your words)?
Damn it all to hell.

I swore that since Nadella took over the helm that Microsoft was becoming a good force for the industry. There were so many positive moves. Linux, open source, Github improvements. Now I can see that it's all still classic "evil Microsoft" under the hood.

They're taking over our industry with Github/VSCode in the cloud. Microsoft payments injection in Edge taxes web commerce, and with their default browser shenanigans they're generally treating the web as something they own. They're monitoring and recording your Windows files and secrets and uploading them for analysis. Github Co-pilot is training on GPL code and aims to eventually replace us. Xbox has the worst DRM that requires always-online to play games you own. LinkedIn - there's never been much good to say here.
You can get a long, long, long way into Emacs without even a faint understanding of elisp. Lots of people get into Emacs because they want an extremely programmable editor, but most people get into it because they can draft off the programming that other people do.
I'm not saying that the CDC actually did lie in this case. I'm continuing the hypothetical from your previous comment, where you said that the CDC would be convinced by evidence piece #20, but then tell the public that they were convinced by evidence piece #21.
Thank you for reinforcing my point
In United States v. Sullivan, 274 U.S. 259, 264 (1927), the U.S. Supreme Court stated that the taxpayer "could not draw a conjurer's circle around the whole matter by his own declaration that to write any word upon the government blank would bring him into danger of the law."

The IRS says you can declare “miscellaneous other income”.
Ok how about this since we're going to just throw out unproven accusations and anecdotal evidence...

I was born in the rural midwest and lived there for almost 30 years of my life. Not once have I ever heard of anyone receiving the treatment you claim to have received. Not once have I ever seen anyone receiving that treatment. Therefore, I'm inclined to believe your wild accusations that are so far outside the norm are some Jussie Smollett level incarnations unless you have verifiable evidence.

Since I have the experience of multiple years in the midwest and you were just briefly visiting means my anecdotes have more weight. Just like I wouldn't trust a person from London to provide an accurate representation of life in the Congo I also do not trust you to provide and accurate depiction of life in the midwest.

I live in CO now. I heard the N word multiple times coming out of white student's mouths here. So, I'll just go ahead and make an unfair blanket statement and assume the entirety of the western US is racist scum? NO, because I'm more intelligent than that and not a prejudiced bigot that assumes one person or a handful of people represent and entire area of the country.

Take look at your responses. You're the one painting an entire group of people negatively based on one experience and we have online proof of it. That is the definition of bigotry.
I’m assuming it’s referring to the movie by the same name that released in the early 80s about hacking and thwarting an AI that’s trying to start a nuclear war with Russia.
especially with treatments for depression, where the state of the art is essentially "keep trying different drugs until one seems to work", it can be a fine line. the psychiatrist knows much more about the drugs than you do, but that doesn't give them much advantage in actually predicting which, if any, will work for you.

at the end of the day, you go to psychiatrists to access pharmaceutical treatments for mental health issues. if the one you pick doesn't prescribe something that solves your problem, it's rational to either try another one or stop seeing psychiatrists.
Making platforms responsible for their content is ridiculous. Are you also going to make pubs responsible for what people say there?
These are almost certainly global control loops that are orchestrating hundreds or thousands of subordinate control systems that have completely independent dynamics and refresh rates.
Ada 2012 is what I learned, but I probably would have moved on if had learned Ada 95. They've done a fantastic job modernizing it, and the next version looks even better (Ada 2022).

> my opinion today is ada is relatively small, makes very fast code, and supports all the programming paradigms of C++ in a very sane way.

This is why I've been sticking with it. I also get pre/post conditions, a real module system (yes, I know C++20), and bounds checked arrays/strings. Easy built-in multitasking has me using concurrency a lot more often as well.

> companies dropped ada because they couldn't hire. C++ people were more available.

I work professionally in C++, and honestly think you could convert a C++ programmer into an Ada one in about a month or so, due to the conceptual similarities.
I definitely relate with this comment since my psychedelic usage was between the ages of 19 to 23. However, I don't really have any interest in trying them again. My "set" as a 33 year old is significantly more complex than when I was 19 and I'm convinced that my day-to-day worries would cause me to have a terrible trip.

What have you gained by trying them again as an adult?
Lesson here is clear. Steal on Jan 1, use for the year, return Dec 31st, owe no taxes.
> I wonder how much CO2 a regular citizin saves per year by running an adblocker.

Compared to hauling about 1 000 kg around daily for the office commute and compared to sending an airplane into the air one or more times per year, the advertisements aren’t too bad.
> But it definitely means getting things more right than you, most of the time. So trust them, even if as new information develops, the advice will shift

You're advocating giving up all agency and placing 100% trust in a person. There are endless examples in human history as to why this is dangerous. There are very few as to why this is good. "Just trust me" is generally regarded as something said by a person you should not trust, and for good reason.

> How do you draw the line?

You do your best to evaluate the information on your own and find sources you trust. The latter is nearly impossible when an issue becomes political.
There was a proposal in Switzerland (not sure what came off it) that essentially worked like this:

* income from capital is taxed extremely highly at a progressive rate

* the allowance/exempt amount is high enough to cover most investment based retirement plans

* the definition of "income from capital" was left open enough to at least cover most trading and rent-seeking but require explicit narrowing before the law could be passed

The goal was pretty much explicitly to tax income from actual labor less and income from simply already having capital a lot more.
> what are the unifying raw emotions and concerns?

China and climate change?
I still don't get why people buy this crap, it's so obviously useless and potientially harmful.

I once tried putting a plug with cut off cables into a socket, must have been around 5-6yo, it threw me quite some distance backwards and was very uncomfortable but nothing more came of it besides completely killing the urge to try again.
I don't want to see districts banning books frivolously. But I think it's worth keeping things in perspective. Individual school districts do silly things all the time. There are more than ten thousand of them in the country. I sometimes wonder if our liberal outrage over these conservative stunts isn't just giving more fuel to the fire.

Just offer a free digital copy to any student who can supply an ID from that school district. You can get wound up about it: it is your right. But it might be good to stop to ask whether you need to.
Except the real experts in the field don't think much of him. Part of being validated is having the respect of your peers. That's why it's so easy to toss out the opinions of rogue antivax scientists.
Lame... Zuck can pay them $3M a year if they're really "top" engineers. They should defect.

What would be news is giving that kind of bonus RSUs to the rank and file. And oh yes downvote the truth. Can't have Meta's salary ladder getting out there.
Nobody thinks this is a desirable solution. Yet, many (including me) still suggest we talk about it.

The reasoning is backwards. This is not the kind of situation where we have the luxury to paint a future we might like and then design a plan to get there, this is a situation where given a set of strong constraints we need to weigh our options and choose the less terrible one.
Bonuses for line engineers are rarely that high in the Bay Area--one would have to be pretty senior to get that normally. This is a very high number in raw terms.

Also note that not everyone got the high end--180K is the top, not the bottom, and we don't really know what the distribution was.

These RSUs vest over four years, so this is a $45k annual bonus (possibly growing with the stock). At somewhat senior levels, the federal and state taxes will eat perhaps 45%, so it is only ("only"!) about $25k extra each year.
Thing is - we don't really know at this point whether this wilful destruction of the scientific careers of a cohort were avoidable or not. And zero scientific administrators will face zero consequences for this.

Whatever it is, the reverse will actually be trotted out, scientists saved lives and pat themselves on their backs.
Your comment is essentially "me too". That's not interesting.
I think that we limit ourselves when the question is either/or.

Personally I use JetBrains for work and for languages that I'm still learning (Ruby and RoR), vscode for almost anything web because their support for JS is unreal. I use vim for pretty much every config file and quick edits, and will find myself pulling up vim when I need to make some more complicated edits on a file since macros on vim are AWESOME.

And then I use emacs (with EVIL) for beancount files and it works phenomenally for that! I have used it for some Elixir and it just works!

Emacs is really less of an editor and more like a framework/platform/dare I say OS? It allows you to customize and build on top of it like no other software I've come across.

So I'd say, if you are up for exploring check out emacs (I would just start by installing EVIL instead of trying to learn all the "chords" that emacs uses by default) and enjoy the journey!
1. He does mean GW

2. Orsted will average around 60% of nameplate, with wide but predictable variance[1]

3. Nuclear averages 90% of nameplate, with a mix of planned and sudden large outages [op. cit.]

4. Nuclear has higher running costs but longer capital lifetime

5. We need to decarbonize aggressively on multiple timescales: get solar+storage (quickest), wind+storage(reasonably quick), nuclear (s-l-o-w), and advanced geothermal (in development; s-l-o-w then maybe reasonably quick) all deployed.

6. The broad path forward for industrialized societies is solar everywhere, TWh of hour-scale storage, TW of wind, and ~25% of electricity provided by "clean firm": some combination of nuclear, geothermal, H2, and fossil gas with CCS.

7. Electricity consumption will grow faster than the economy in industrialized societies, and as fast as the economy in the currently underserved global south (~3B people). Roughly 10TW today, 20TW in 2040, who knows after that.

[1] https://www.greentechmedia.com/articles/read/hornsea-spawns-...
There is a bimodal distribution

On one end are the $0-$5000 bonuses where you are just supposed to be happy you got anything

On the other end are formalized expectations at much higher amounts and with performance multipliers. The bonuses in the article are on top of that, but is in stock and spread out over 4 years. So their value is 1/4th of whatever is in the headline and that would put them as inline or closer to average.
Oh, like these 12 year olds don't watch King of the Hill where the exact same words are mentioned. e: Do you see the black community in Texas agitating to ban Styron's Confessions of Nat Turner where the title character has an explicit fantasy of raping a white woman?
I often think Marissa Mayer would have been great as COO. Not so much as a CEO or Product Designer.

I remember Yahoo had another candidate that planned to turn Yahoo into a media company. Which even at the time I thought was a much better idea and direction. Instead the broad choose Mayer, and try to compete head on with Google.

In some sense it wasn't just Marissa, it was also the board's fault.
I’m a bit older and concur.

One issue driving it is the abandonment of personal responsibility for any aspect of our lives. Americans have it constantly drilled into them to expect authority figures to take the lead on providing our basic necessities, handling workplace disputes, obtaining medical care, etc., why should we be surprised that they’ve lost the ability to think for themselves?
I suppose I could have worded that more clearly. I wasn't saying they did in real life. I was continuing a hypothetical started in the comment I replied to, and in the hypothetical they obviously did.
Installed. Been need something like this for a while!

Love the initial setup wizard. Great way to teach the user, clarifying what various permissions are for.
Why would people go to Meta right now? Seems like the FB brand is super toxic; you'd have to pay me a metric shitload to work for a company that's being compared to the modern day tobacco industry
King William's College is located in the Isle of Man, not in England.
The point is that they don't have to wait for some state bureaucracy full of dolts to settle a complicated custody dispute in order to figure out who owes what.
Don't want to speak for the original commentor, but I'd guess that the size of the income gap is very large.