skysight-inc/HackerNews huggingface dataset:
I left because the UFCW wasn’t representing me. People think that unions are simply fair by default but some are really an Animal Farm where all animals are equal, just some are more equal than others.
I found the result itself disappointing as well. It's way too big and flashy for such a simple and common interaction.

The checkbox shouldn't be any bigger than the "boring" version, and any animation simple and last no more than 0.2 seconds. I really don't like the sound effect used here. If your UI elements are going to make noise when interacted with, I prefer something far more brief and tactile.
There should probably be a citation here. Even if it's true, I don't know how this is relevant--I was bullied by a lot of people when we were children, but I don't imagine that they are still bullies today because people often mature in adolescence and early adulthood.
Seven ineffective coding habits of many programmers
Google recommends avoiding first person: https://developers.google.com/style/person
I want sharks with frikin' laser beams on their heads!! Is that too much to ask?
Why are subway stations so much more expensive? Because of the size, right? The Boring stations seem to be much smaller.
Ah, I knew I forgot something!

Thanks, I licensed it under the MIT license now:)
>I created a news shortening algorithm and am not sure how to utilize it

I'd use it to shorten the news
> It's not "is the program used by that many people" it's "does the company or individual have that many users".

I'm not sure where you're getting this from. The bill doesn't actually define "monthly active", so you should construe it as liberally as possible when wargaming possible ways it might be used in practice.

> That's also why the company needs a market cap of more than 550 billion.

Check the conjunction between (II)(aa) and (II)(bb). It's 'or'. If you have 1B global MAU (again, Linux), the $550B threshold is irrelevant.
Sure. Speculation certainly will continue and real money will continue to change hands.

But are we at least done pretending that crypto currency (at least, as it exists now) will ever have any practical purpose beyond being a fungible entity upon which gamblers speculate?
Link? No.

I'm personally in tight with a whole bunch of (ex-)Kickstarter people from rank and file to leadership.

Glad to be friends with people but happy they're not my coworkers.
Have you tried importing the System.Interactive.Async package? [0] It's sometimes referred to as "Ix" (Interactive Extensions) to relate it to its older brother System.Reactive (ReactiveX or Rx). It adds a ton of LINQ-style extensions that make flowing between async and sync code easier. Despite the "System" name you always have to install it from NuGet and it's not just available out of the box, but it lights up so many LINQ extensions when installed and paired with a `using System.Linq.Async;`.

Though I also think IAsyncEnumerable is even better when paired with Rx, too, as some things are easier to express as Observable "in the middle" as an AsyncEnumerable->Observable->AsyncEnumerable "sandwich". (You can sort of think of it as an pullable Event Source being spread into a push-based message bus/pipeline and then being collected back into a pullable Result feed.)

[0] https://www.nuget.org/packages/System.Interactive.Async/
The camera fogging up disables autopilot and prevents it from working so it's not quite as trivial as it seems. It's not normal for it to fog up, none of the other cameras do.
Data shows that people in unionized workplaces generally get higher pay than non-union.

Perhaps it might be different in tech, where software engineers are usually already very well paid. Hard to say.
Firing people for speaking out against the boss’s childish public behavior.
What message does that send? Don’t speak out about things you disagree with?

This is not the company we want taking us to Mars.
My sense is that in addition to a fair number of people having experienced a failed or at least disappointing kickstarter, it was probably something of a fad for a lot of people.
Note for laypeople like me the glossary accompanying the article is really super.
Sadly 40% of US adults already have an incurable STD so this isn’t really good advice.
But then there are things like GPT-3 , which means stashing everything in a rigid schema isn't as hard-core of a requirement as it used to be.

OTOH, facilitating:

1. access to the raw data
2. access to the metadata
3. access to the source code of whatever software was used / created to run the experiment
4. making sure everything is computer readable (i.e. not a 256x128 graph as a PNG embedded in a bloody PDF)

should be a requirement for any scientific publication worth its salt.
So can CreuSAT be used as a backend for Creusot?

A “self-hosted” SAT-solver, in the sense that it can prove its own correctness, that would certainly give you a speaking slot at some conference. But also a philosophical dilemma I guess. :)
Sue Big Pharma.
> Android for example has clearly a bunch of bugs where some stupid slow animations cannot be tured off. Yes even with turning off animations in accessibility and via the developper options.

I recently found out about Android's animation disable feature and holy hell it made my phone feel so much more snappy and responsive to input. But as you mentioned there are too many bugs - one of the more annoying ones is that loading wheels (which I would prefer to keep because you have to wait anyway) are not animated. I'm tempted to use it anyway. Hopefully in the future Android will add some sort of categorization/prioritization for animations so things can be tweaked more.

I may be in the minority here but I am kind of annoyed with how "juicing" the interface/experience seems to be kind of bleeding over into general applications from the game development scene. It does make sense for games and some apps but in general I don't need animations and tweens attached to every button on my phone.
I can't play any instruments (except a tiny bit of piano-by-ear), but I think bassists are extremely under-appreciated. A great drum-and-bassline can make a terrible song amazing, and a crappy bass rhythm can ruin an otherwise delightful one. And yet there's a reputation of bassists not doing much, which is totally unfair and inaccurate. Imagine RHCP without Flea, or Queen without Deacon... or hell, even in more "easy listening" genres, imagine any Charlie Puth song without bass. I shudder to think of how any of that would sound.
Maybe I am picky, but I also spent $100K on this car. Frankly I think if you spend that much you should expect better quality.
"has no way of knowing how much RAM the target machine will have"

That's why I phrased it in terms of a bound based on some characteristic of the problem.

But I was just asking for information. I know it's a well-known problem. To be honest the fact that we're even seriously discussing this as something that may be doable is a huge step forward. AIUI, previous state of the art on real languages would have this as hopelessly pie-in-the-sky.

I think in many cases memory bound is uninteresting; one could examine a vector implementation and be satisfied that it won't explode unnecessarily. After all, we do exactly that on non-proved implementations without too much fear all the time. SAT just came to mind as a problem where that could be an interesting thing to be able to prove.
It's always astonishing to me that this world is still so unexplored that we can discover an entire population of polar bears in 2022. They're literally one of the biggest animals, how did we miss them?
It wouldn't be safe to assume that I'd have been authorized for an elective surgery, so fair point.

I also never suggested that it should be free.

> American end of life care can cost hundreds of thousands of dollars for a year or two of extra life and American insurance companies will pay it without blinking.

This hasn't been my experience. Before my dad died from glioblastoma last year, his insurance refused to pay anything for his treatment. They refused to pay for anything, fighting us every step of the way. A single chemo pill cost over $2200, and he needed 60 of them, and they wouldn't cover any portion of them. And that was just one of many the things they wouldn't pay for. They wouldn't even cover anti-nausea medication. I did, and it cost less than $30. They wouldn't even cover hospice care.

My dad paid premiums to that same insurance company for 20 years, and was healthy the entire time. No major health issues, non-smoker, non-drinker, no heart problems, no accidents. He learned about his rapidly growing tumor on his own. He decided, mostly out of curiosity about the technology, to pay for a full body MRI (at his own expense of course) and found it. He spent his life savings trying to fight the cancer and the insurance company, just so he could have enough time to say goodbye to people. He died within 8 months of discovering the tumor.

The money he paid that insurance company over a 20 year period would have covered all of the costs had he put the money into a savings account, even if he made zero interest and accounting for inflation.

I know that there will be those who say "but what about Medicare/Medicaid?" - he didn't qualify for either of them.

The only outside help he might have had was from an organization that houses people near cancer facilities, but they pulled their support the moment the pandemic was declared, shutting down all their housing facilities. The irony there, as well, is that that particular organization, even in non-pandemic times, required 6 months lead time before they could place an individual. He'd have been dead before they were able to place them. I paid for an AirBnB instead, which cost me close to $5k for the duration of his treatment, which he paid for out of pocket.

My dad's story isn't uncommon either. Why would insurance companies have any incentive to step up when they know that if they just wait things out, they'll be able to keep their money?

The American health care system is utterly broken, perhaps even criminally corrupt.
Investors, presumably, would slowly and strategically sell off assets in their portfolio to minimize their losses.

I had a front row seat to this in 2010, during my stint as a creditor's rights attorney.

It was this odd tango of homeowners who would strategically default, and creditors dragging their feet throughout the foreclosure process.

It was implied that as long as the property was sufficiently maintained, the creditors would waive the deficiency judgement when they decided to foreclose. They would try to limit the number of foreclosures in a neighborhood or zip code to prevent saturating a given areas market.

Kind of a brilliant win win. No cost living for up to 3 years for being a good caretaker. That's the only bright side to it. It was savage and emotionally taxing, I'm glad to be a debt now.
... I mean, what did you think the Spanish Inquisition was up to? Being particularly careless with matches?

For instance, see https://en.wikipedia.org/wiki/Auto-da-fé

(This wasn't unique to Spain, but Spain was certainly an epicenter, due to a large Jewish population forcibly converted during and after the Reconquista)
This is observably what Musk seems to think free speech means when _he_ has the floor, but nobody else.

- Publicly attacking a man as a pedophile because he dismissed his submarine as an unworkable solution during the Thai cave rescue efforts.

- Cutting off analysts during a Tesla call, calling them boring and then soliciting fluff questions from the Internet.

Musk, like most free speech absolutists, is a hack. It's an argument used to allow _them_ to say words without repercussions.
And it hasn’t evolved with cloud/sandboxing/magic-paths/whatever. Like today on the Mac I used the popup directory path to try to navigate to the parent directory (since it showed it to me, and it was selectable) and it couldn’t; it just threw me to my home folder as if that was my request. I can only assume it was some weird cloud thing but when path navigation itself is a question mark we have problems.
Such deals are for sovereign states
Well theyre a public benefit corporation so it shouldn't be big right? Profit is supposed to be a nice side effect of what they're doing, not their main goal. If they were raking in the dough I would be asking how much they really cared about helping people.
What follows is loose speculation, but I do not think the equilibrium price of a single bitcoin after a crash is any more likely to be $100 than $1. This is due to the anatomy of a bubble.

A belief in the long term value of cryptocurrency is very tightly correlated with ones current cryptocurrency position. The demand curve, then, for cryptocurrency, is extremely steep, and the "buy pressure" for cryptocurrency will not increase tremendously with falling prices, since the people who would generally be willing to buy at these reduced prices, have just lost their life savings.

Likewise, even the poeple who think that crypto is valuable long term know that you can't pay your taxes in it. If people don't believe that it's worth anything, then it isn't. They all know that the price falling could indicate that right this second is the most your cryptocurrency will ever be worth. The more the price drops, the more likely this is to be the case, and the more likely I am to sell. If the sell pressure is greater than the buy presssure at some price, then it is very likely to be the case at every lower price, resulting in catastrophic collapse.

This inversion event is more likely the longer the asset has remained in bubble status, since the optimism proportion of the inflated asset is strictly increasing with price.
You seem to think that the behavior of the CEO is the primary reason for me selling my car, and it's not.
> not willing to improve or make the bar of performance set by the industry isn't good for anyone involved

You're complaining about the establishment, in black-and-white, of such a bar. A bar that will be enforceable via the contract terms.

We don't know the terms, so we don't know whether the bar will be lower or higher than the unwritten one that management decides through opaque processes / on a whim.
> No but if I am paying him $300/hr and what he is doing is not related to fixing the toilet and is in fact causing me more problems or distracting the electrician who is also costing me $300/hr. Getting rid of him is not petty tyranny.

Perhaps this isn't a good analogy, but if you yelling insults at the the neighbors makes it harder for him to fix the toilet, and he asks you to stop, would you still fire him for it?

Because you could argue, although with difficulty, that Musk tweeting stupid things makes it more difficult for SpaceX employees to do their work.

In practice, I've found it generally easier and wiser to leave a company with a stupid boss rather than ask the stupid boss to change, but I see why someone could try the latter.
Advertising something as a remedy for a condition could land you in hot water. Not my problem either way, but these are just facts.
I can see where you’re coming from but I don’t believe something like Vale will - in practice, not in theory - actually do that. You would need a general purpose AI to pull that off, otherwise domain-specific, bespoke, one-off tools (eg to transform an API into a documentation template, to make skeleton release notes out of git/GitHub/Jira/whatever records, etc) combined with a two-hour crash course on effective writing are probably the way to go.

But obviously enough people disagree that this is a thing.. although that could be said for quite a number of “technical progress” milestones we currently celebrate.
This study scared me away from trying Probiotics:

Probiotics linked to brain fog, severe abdominal bloating

https://www.healio.com/news/gastroenterology/20180808/probio...

“What we now know is that probiotic bacteria have the unique capacity to break down sugar and produce D-lactic acid,” he said in the press release. “So, if you inadvertently colonize your small bowel with probiotic bacteria, then you have set the stage for potentially developing lactic acidosis and brain fogginess.”
>>but it is not ok that a company can pay employees low because the government will pick up the other half>>

I don't think this is a situation that applies to the idea of self-regulation. In this case, a distortion of the market is first created by the government subsidy. So the natural behavior of a business would be to leverage it. Just as the natural behavior of the IRS is to go after things like your company's paying for your cell phone and calling it taxable income.

I would suggest that the idea of self-regulation is best applied where there are no market distortions from the government that have already warped the context.
Gross. This is such a vulgar take on game feel
The President is the least interesting aspect of the American administration, and doesn't change much, if anything, to how the US treats its client states
Seems like there is a wide gap between a single company organizing a union for their employers and a monopoly on the labor supply. I would be more convinced by your point if this wasn't one of the first tech unions (according to headline).
Apache NetBeans 14 Released
I really wish YouTube titles had more context. Copy-paste (with emoji removed because I won't stand for that kind of levity):

Seven Ineffective Coding Habits of Many Programmers by Kevlin Henney

9,032 views - Dec 22, 2016

Channel: DevTernity Conference (8.28K subscribers)

Registration to DevTernity is running:

https://devternity.com

Habits help you manage the complexity of code. You apply existing skill and knowledge automatically to the detail while focusing on the bigger picture. But because you acquire habits largely by imitation, and rarely question them, how do you know your habits are effective? Many of the habits that programmers have for naming, formatting, commenting and unit testing do not stand up as rational and practical on closer inspection. This talk examines seven coding habits that are not as effective as programmers believe, and suggests alternatives.
Then every non bancrupt company would be exploiting the staff. The definition is no good.
A post about writing means that I need to plug a couple talks by Larry McEnerney. [1,2]

The tool described in this blog post is all about text-based rules: what the _text_ ought to look like. To improve your own writing (a) learn who your readers are, (b) know what they value, and (c) write so that as readers, they find your work valuable to them.

[1] https://youtu.be/vtIzMaLkCaM
[2] https://youtu.be/aFwVf5a3pZM
It's not, and the entire reason why markets exist is because two people can walk away from a trade better-off than they were before.

It's exploitation if Amazon is tricking workers into working for less than their time is worth, or if Amazon is breaking labor laws.

"Voluntary" means that out of the incredible number of open job postings these days, workers picked Amazon's. Acting like the alternative to Amazon is homelessness and hunger is hilariously wrong.
What’s your app? Don’t be coy…
> Corporations bargain collectively by default;

Only with unskilled labor.

My profession is skilled and the skillset is in demand and hard to find. I bargain for myself, thanks.

I have repeatedly and at length discussed on HN about my 3 separate union membership experiences and how I will never again repeat them.
My gas stove will spark futilely about once per second, indefinitely, while filling the room with gas. It’s brilliant.
The point is that there’s no fundamental difference between “you are free to say what you want, but you might get fired from SpaceX” and “you are free to say what you want, but you might get banned from Twitter”. But people — including Elon! — act as if the former is normal and rational, while the latter is some sort of affront to a free society.
As US Road Deaths Rise, France Is Safer Than Ever
Good for them! It'd be nice to see a software engineering guild emerge in the coming years. Think about the benefits we could accrue; I for one would strongly prefer a real pension to a 401K.
Rock is cheap. The shape is irrelevant. For grid scale, total capacity is what makes it grid scale. No amount of parameter tuning can change the fact that stored energy is at best mass * g * height. Adding more huge mineshafts is irrelevant. You can always add more units, it doesn’t make it more efficient.

Sounds like an Elon Musk solution. Make it bigger, taller, make more of it, and somehow it’ll bend basic physics facts to become the ground breaking disruptor technology of the next century.
CEO who surrenders themselves with yes-men is bad at his job.
Going back to Marx at the latest, it's long been understood that wage-laborers _as a class_ are revolutionary, in the sense that they have collectively enough power to overturn the existing world order, let alone an individual capitalist enterprise.

As a class. Individually they're absolutely powerless and class solidarity is very difficult to achieve, perhaps impossible. There's a reason labor movements tend to involve elements that physically coerce other members of the class (i.e., 'scabs') from crossing picket lines. Capitalists don't need very many specific members of the proletariat, they just need enough. Musk can fire his critics at will for a very long time without any real threat to his business unless his employees and any potential employees were to coalesce and oppose him en masse.

I doubt that they will do this. If I were in Musk's position I'd fire these people and I'd fire similar critics at twitter. Capitalist led enterprises are essentially monarchical. I don't like this but it is reality and it's best if everyone understands it. I prefer mask off to the alternative.
No, rather long term and large scale peer reviewed studies would have to show that lead in gasoline does not cause harm in humans.

Real world is not black and white and we definitely should ban clearly poisonous or otherwise harmful (e.g. hormone mimicking) chemicals from food products and children’s utilities.

Point is if we keep going like this we might not ever arrive in a situation where everyday life is mostly free from dangerous compounds
I'm not sure what's up with these people who go around commenting asking people to "define X" or "define Y" or "cite Z", but IMO it seems they generally have nothing interesting to say and aren't worth responding to. Just my 2c.
I'm not the person you asked, but in my case it's mostly a "if it's not broke, don't fix it" situation. I don't need neovim since vim is just fine for me. There are a few neovim-only plugins I wouldn't mind trying out sometime, but I don't need them, and I use very few plugins so they probably wouldn't make the cut for me anyway. And there aren't any neovim-only features I care about (besides mild interest in a few plugins).

That's what most of my personal "resistance" is about. The rest is due to fact that I'm still a little bitter from some bad interactions with some early neovim developers and fans.
In theory, if politics starts making SpaceX ineffective, the free market will provide an opening for a competitor with a more effective culture to eat their lunch.
The journalist did their job by offering these statements with all the qualifiers that you used to make your comparison.

Journalists have to work with the information they get; they can’t force two employers to give them perfectly comparable figures. Their job is to accurately report the info they do get.
Every mainstream desktop has thumbnails in the file picker. People who want this aren't the odd ones, those who dismiss it are.

> I don't really have anything against channers.

I seriously doubt that, since you're the one who brought them up in an absurd attempt to deflect a common sense criticism of an obvious shortcoming.