skysight-inc/HackerNews huggingface dataset:
Ask HN: How to Overcome Mental Fatigue?
I find that most days after work, and often before my work day officially ends, I'm mentally drained and unable to do any more meaningful work.

I want to work on personal projects when I get home, but so often am unable to devote the attention I'd like to devote due to having already drained myself that day at work. In the office I reach a point where I know that I'm done for the day and will just sit at my desk not really accomplishing anything for an hour or two.

How do you overcome this?
> Everybody knows that he's within his rights to fire them.

No, I don't know that. This is explicit retaliation for what appears to be organizing around working conditions. That's protected.

https://www.theverge.com/2022/6/17/23172915/elon-musk-spacex...
The first half of your supposition is dead wrong, but the second half is correct. Opaque materials will always transmit less solar energy than transparent materials. The most effective insulated multi-pane windows available for homes today are still less efficient than a wall.
After the population pyramid stabilizes and ratio of workers to non workers goes up again (labor participation rate).

But while the labor participation rate declines, the non workers still have demand for labor/resources. This would push prices up, when compared to times that labor participation rate is higher.
Not if you're a police officer working under the law.

The GP is trying to say that the whole notion of incarceration is barbaric, and that future generations will look back on it just like we look at, say, stokades.
This process is actually already underway, notably with the RustBelt project: https://plv.mpi-sws.org/rustbelt/. It has not yet achieved the kind of tight integration with the source language that stuff like Creusot has, but everyone would like it to move in that direction :)

For the specific case of Vec (and a few other types--e.g. Cell, Mutex, etc.), as I mentioned, a recent paper by xavxav actually proves that the important parts of the unsafe implementation of Vec do actually fulfill the signatures that are used by the CreuSAT proof. This is part of https://people.mpi-sws.org/~dreyer/papers/rusthornbelt/paper..., which I believe won the distinguished paper award at this year's PLDI!
Financial Times is #1 by far. WSJ is a good second option. Perhaps subscribe with a virtual card you can cancel?
You could be using Objective-C with NSBoolean, so you have @YES, @NO, and nil :D
Many countries allow private prosecution of criminal offenses (though this is infrequently used in most of those countries for a number of reasons). If you eliminate public prosecutors/district attorneys, people could privately prosecute pro-se or with the assistance of private counsel.

That's just one example of many biases inherent to the current system, and I wouldn't focus on it too much.
A great sign of this being a classic is that I have heard about this a dozen times before, but this is the first time I actually saw the video. Absolutely great demo, also because it’s so low profile: it’s the type of demo we can all imagine ourselves doing at a meetup, it’s not the kind of super-smooth demo that only a charismatic Steve Jobs-type personality can pull off.

It lets the product do the talking. But that’s also the caveat of this demo: it’s typically very difficult to figure out how to engage your audience in such a way with your product, and Twilio being in the mobile space makes that a lot easier.
>I'm pretty positive we'll see the return of glorious, massive blimps

Na thanks i take the train ;) But for good's i could image that.
Getting Started with Xous and the Precursor
Everything is biased. I quite like The Economist but it's liberal, "markets first", stance is just as much an ideology as anything The Guardian espouses. Its trick is to make itself seem above the fray, offering a god's eye dispassionate opinion. It is clever marketing and presentation.

I rate it for world affairs and it is a good news source. I just think it gets undue levels of praise.
In an indirect way, yes. States have Victims Compensation Funds, which help defray the losses incurred by victims [1]. No, the profits from criminals' indenture do not go directly there, but they do defray the cost of holding prisoners.

[1] https://www.benefits.gov/benefit/4416
Imprisoning people is kidnapping and caging them.
In case anyone else is as confused about time crystals as I was, Physics Girl recently released a video on YouTube that does a decent job of explaining it:
https://www.youtube.com/watch?v=ieDIpgso4no
Most of those are only rated to run on E0 (ethanol-free) gasoline, which is also hard to find outside the airport fence in most places.
On its own, this is not a good argument since there is a benefit to having cheap goods produced by low wage producers.
>I think you could reasonably call yourself a free speech absolutist, because you will never kick someone out of the public square for saying their peace, but you are still be allowed to not invite that person to your house for dinner.

What you describe is just regular ole free speech.
It's pretty cool! As experiments I really love andy.works' work. I appreciate what he's trying to accomplish. And I think he's on to something with the idea. But the execution is always a little off to me.

I just don't find this checkbox all that satisfying. Why? The thing I find satisfying about checkboxes is the same as any switch – the click. On/off. It's snappy. I don't think about it. Click... click... click click!

So this grandiose check animation is taking something inherently snappy and prolonging it to its own defeat. Even the sound effect is like an ethereal chime or something, rather than a snap. The scale is super big for the actual space of the phone. The animation too long. I also don't like the angle of the 3D checkmark itself. It's not really oblique, not really at any sort of satisfying geometric angle? I can live with that though.

Anyway really cool work. Wish it were more satisfying.
So an identifier representing a function? Isn’t that the same for most languages?
The deposit schemes are national and required to cover the branches of their banks in other countries. Pair a big enough bank with a small enough country and you can easily drown the small country.

—-

There’s also a credibility problem. When the US stress tested its banks, the ones that passed did not fail. When the EU did it, some of the passing banks ended up needing saving, and this happened multiple times, sometimes even with the same bank.
If it is a slippery slope, why have sin taxes have been limited to nicotine and alcohol despite existing for literally centuries?

Internalizing externalities is one of the primary functions of government.
I’m incredibly happy I rarely have to smell cigarette smoke.
> producing aircraft with blimp-ish characteristics

Drag nearly directly proportional to the cross section of the craft. Something blimp like would be necessarily slow, to stay efficient.
Beyond the "up or out" mentality, the disgust you got from considering people as replaceable cogs in a machine and how it's done overall, and maybe not applicable to warehouse forces ; I think having some turnover in your organization is a good thing. You don't get the same diversity of idea and experience when people around you have all been there for 15 years than you get when they're coming and going. In my experience people who have been around for a long time tend to drink the coolade much more, and are more complacent with stuff that shouldn't be.
Yes, I'd have an enum with Yes, No and Unset.

Many languages have a typed "no value" value that is composable with other types: Maybe<T>, Option<T>, Nullable<T>.

In other situations I might have an Option<Yes, No>, i.e. when I want a non-null value to indicate that it isn't Yes or No. The reason why I don't want a null, in general, is that it's the billion dollar mistake:

https://hackernoon.com/null-the-billion-dollar-mistake-8t5z3...

But if the user can actually choose "Unset", then that's a choice, too.

"Unset" might, for example, have implications that other null-ish answers don't have in the future.

As for SQL: I might go for a NULL for performance, knowing that if another neither-yes-or-no option with different implications came, I might have to migrate the NULLs.
I will just steal from the paper's author (Sarek) and point you to the first two talks and lecture notes by Randy Bryant at this link: https://fm.csl.sri.com/SSFT22/#splogic.
> Prisoners also cost a ridiculous amount of public funds

That's the point. Imprisoning people should be expensive so that it is used judiciously as a punishment.

Other countries have done very well at ensuring that former prisoners are turned into productive members of society. So the USA can accomplish the same.
> But this is not the only thing you observe.

Yes it is, in this context.

When you take into account more factors, then sure you can get a better prediction. But then it's not the Lindy effect anymore.

I'm talking about the Lindy effect only. Nothing else.

First sentence on the Wikipedia page:

> The Lindy effect (also known as Lindy's Law[1]) is a theorized phenomenon by which the future life expectancy of some non-perishable things, like a technology or an idea, is proportional to their current age.

Proportional.
There are a lot of gray areas around imprisoning people. I (like all other apes and probably most intelligent animals in the world) believe 'eye for an eye' is basically the embodiment of true justice. Everything else is a mix of punishment and practicality. The fact that inmates are forced to work is so low on the level of what their punishment is, that it doesn't even register in my book. I think most inmates actually like having jobs to do. From what you cited, it sounds like if they don't like it, they can just sit in solitary instead. And as far as rehabilitation goes, it seems like an essential ingredient.

It would definitely be nice to give them a decent wage, but I think this is an area where practicality matters as well- prisons cost money and man-hours. I don't know about the economics, but getting rid of for-profit prisons seems like a good idea.
The work is optional. You can choose to be tortured instead.
This kind of dialogue could be had internally. Making it a public matter is just looking for a pink slip. Maybe that's what they wanted. Maybe they're just ignorant. Either way the consequences are predictable, regardless of the company.
Hmm. I had in mind non-fiction, as we were discussing editing. I can't imagine a fiction writer wanting his or her creations to be touched by an editor. But I accept your report that such people exist.
I really like nim and have used it to create dependency free cli tools for colleagues at work to use, and for crawling, data slice/dice reporting uses that would be too slow for Python.

But had to stop using it last year when all the binaries it generated where being detected by CrowdStrike as a Trojan. The binaries would dissapear on execution and I'd be contacted by the security office. I uploaded a program to totalvirus and a few other AV systems also detected it as a trojan. At that point I stopped using it and switched to Go. Has that situation been fixed yet?
This comment isn't directed to you specifically, but the many many others who feel the same.

"What have you got to lose?"

By that I mean, we're in a hot tech market. If it doesn't work out, you can likely find a job elsewhere with ease.

OK, but we're about to hit a recession. I'd venture Amazon is a lot safer than many other tech companies to ride out a recession in - the core business (cloud and retail) is fundamentally sound. The company is only ever not profitable when it chooses not to be because it invests all gains into new R&D and lines of business. When things tighten in the market, Amazon refocuses on core optimizations, and realizes massive profits again. Certainly I can't predict layoffs or no layoffs, but noone can, at any company.
If I understand correctly, ice does supply a critical resource to polar bears - cooling.
Why would some random internet user have better news than literal companies dedicated to it? This sounds more like you’re creating a misinformation bubble rather than objective information.
Ha - I came here to post pretty much the same thing. It always makes me wonder which came first. Did sci-fi/literature-at-large start using crystals this way after we started using them for time purposes, or did humans just always think crystals were cool and somehow supernatural and it just turns out we can use crystals to keep time? Probably the latter, given that humans do love shiny rocks, and they've existed much longer than we have.
They could ban all additives except approved ones...
Not sure I follow. The person you're responding to is saying there should not be a situation in which anybody is working for less than minimum wage. If that premise were granted, low skilled immigrant workers would be making the same minimum wage as everyone else, wouldn't they? So while there may be a larger pool everyone would be competing for jobs in, the wages would still be the same.
for comparison between battery and energy density:

typical lipo as used in a short flight endurance hobby quadcopter (5-7" prop size) is 155Wh/kg

the best lithium ion cylindrical cells are around 255Wh/kg right now. quite a bit more limited in instantaneous amperage draw per cell than high C rate lipo.

hydrogen fuel cell tank+PEM+piping+DC apparatus for large octocopters comes in somewhere around 1500Wh/kg

There's a south korean company that recently hovered a large octocopter with hydrogen power source for 10.5 hours. Same system with lithium ion battery power would be approximately a 1 hour endurance.

note that 1500Wh/kg is considerably less than the energy density of jet-a or diesel or ordinary 87/89 octane petrol, BUT, you have to account for 50% of it being lost to waste heat in an internal combustion engine, and the weight of the engine and drivetrain. or weight of jet turbine+generator vs hydrogen tank + fuel cell PEM apparatus.
Consider how the market for law enforcement might differ if prosecution was contractual rather than salaried.
You should give KDE a try, it's pretty frikkin good. The file manager defaults are a bit weird but it's OK.
Yes, it's possible that it's a mere coincidence.

Yet getting shut off for no reason at all is barely less customer-hostile than getting shut off for failing to respond their "an offer you can't refuse" marketing.

If there are substantial financial consequences, then yes, OP was a fool to rely on Google (or any FAANG) for any business need.

Nevertheless, while Google surely thinks they have it covered in their contracts, these are adhesion contracts that often do not stand up, and beyond that, most states have Fair Dealing laws which may well have been violated.

If allowed to continue this behavior, they will continue and expand it.
here i'll read the article for you

> The ACLU also found that more than 76 percent of incarcerated workers surveyed by the Bureau of Justice Statistics say that “they are required to work or face additional punishments such as solitary confinement, denial of opportunities to reduce their sentence, and loss of family visitation.”
What will future generations do with people who kill other people?
I don't have general advice, but you do have 3 states to represent there; not acted upon by user, yes, and no. That's what enums are.

I think "we'll pass in a pointer to the actual data and if it's unset the pointer won't point to a valid memory location" is a weird pattern that the industry should probably stop doing. So no *bool type here.

Database nulls are maybe reasonable, but mean many things that an explicit enum doesn't. "This column was added after the fact and we didn't want to set a default value", "this column is optional", etc. The more ambiguous the meaning, the more mistakes that can be made.

(I think someone is going to say, "don't write the form to the database until it's valid", but you have to have some way to save work in progress between website visits or "my Internet died", right? If you just dump a JSON blob in local storage, you still have the same representation problem; the field has 3 possible values, and you can't just pretend like it only has two because there is a built-in type that has two possible values.)
Stand Out of Our Light: Freedom and Resistance in the Attention Economy (2018)
is dropping an apple solving a computation about gravity, or does the computation exist as an abstract separate from the physical forces it describes?

The idea that fluid is solving the Navier-Stokes equation seems like an obvious error to me - it cannot solve the equation, it simply acts a fluid, which the equation was designed to approximate.
I remember reading that it's hypothetically possible for Bitcoin to get caught in a trap if the price falls extremely precipitously. The difficulty only gets adjusted after a certain number of blocks, and if the profitability of mining drops fast enough, you could find a situation where it is impractical to mine enough blocks to trigger the difficulty adjustment.

My impression was that this was mostly just a problem in theory, and would not be triggered by the sort of decline in prices we're seeing in recent days. I assume the same is true for Ethereum?
> I can't believe I have to say this, but the hypocrisy comes from the fact that Elon, and many others, believe (or in Elon's case, purports to believe) that private entities should not moderate their own products, and instead guarantee an audience for people[0]. They don't. That's not what censorship is.

This is incoherent. Musk can express that he wants Twitter to moderate according to free speech principles--that's not the same thing as asserting that Twitter has a legal responsibility to moderate according to free speech principles.

Moreover, censorship doesn't require the censor to be the State--a private platform can censor content, and they often do.

Per the ACLU:

> Censorship, the suppression of words, images, or ideas that are "offensive," happens whenever some people succeed in imposing their personal political or moral values on others. Censorship can be carried out by the government as well as private pressure groups.

Per Wikipedia:

> Censorship is the suppression of speech, public communication, or other information. This may be done on the basis that such material is considered objectionable, harmful, sensitive, or "inconvenient".[2][3][4] Censorship can be conducted by governments,[5] private institutions and other controlling bodies.
Only if they're working on the books
This seems to be a wishful article. The signed letter is either "activist employees" (fireable offense), or about "working conditions" (wrongful termination due to retaliation)

"It strikes me as a letter that is mainly about working conditions,’ one lawyer said" (original article)

Vs.

“Elon’s behavior in the public sphere is a frequent source of distraction and embarrassment for us, particularly in recent weeks,” the letter states. “As our CEO and most prominent spokesperson, Elon is seen as the face of SpaceX — every Tweet that Elon sends is a de facto public statement by the company. It is critical to make clear to our teams and to our potential talent pool that his messaging does not reflect our work, our mission, or our values.” [1]

I know exactly what that paragraph sounds like to me..... Whiney SJWs.

[1] https://www.theverge.com/2022/6/16/23170228/spacex-elon-musk...
I was pondering over submitting the app to the Mac App Store (it'll take some work and work = time), perhaps that would alleviate the anonymity concerns
Modern day slavery
Rather than being afraid of interference, the reason that the mrustc author is so careful in their wording is that nobody has ever bothered to define what it means to be a "compatible" implementation of Rust, which is a semantic and legal hurdle that the implementation in the OP will have to clear. In a more concrete sense, mrustc can't currently be a compatible implementation of Rust, because (by dint of lacking a borrow Checker) it accepts more programs than rustc does (arguably it's fine to accept strictly fewer programs than rustc does and still be called a compatible implementation).
well apparently tiktok felt the need to respond today:

https://newsroom.tiktok.com/en-us/delivering-on-our-us-data-...
That's not what freedom of speech is about. You're free to say what you want in any country in the world, once. The first amendment is about protecting you from some of the consequences of that. Not specifically firing, but that's not his issue with Twitter either.
> I hate that people are doing all these weird gymnastics to reconcile being a champion of free speech and firing people that criticize you.

You're just seeing the psychic ripples of all the Elon fanboys and pseudo-libertarian technofascists wrestling with the cognitive dissonance of their savior turning out to be a pretty vanilla corporate capitalist.

After all the chest-thumping and general toxicity I find their discomfort endlessly amusing.
If you imagine every molecule in the crystal can be oriented randomly, then there is a very large number of possible global configurations that are equally likely and we say the crystal is "symmetric" with respect to these outcomes. If the orientations become ordered in some fashion as the article is saying we say the symmetry is broken.
Is "kidnapping and caging" a mass murderer, to use a colorful example, wrong?
Maybe you should treat your employees better then?
The phrase "you can't prove a negative" is really short-hand for "you can't prove a negative existential claim within an effectively infinite scope", ie. I can't prove that Bigfoot doesn't exist anywhere in the universe simply because absence of evidence is not evidence of absence.

But I can easily prove that Bigfoot does not exist within my coffee mug, or that a particular box I have which contains 5 pennies contains no silver dollars, or that the list of suppliers with whom I directly do business does not include "Missouri Correctional Services LLC" (and I think the spirit of GP's suggestion is boycotting companies that directly do business with prison labour, not people who transitively do business with it at a 25 company remove, or something)
I agree generally, but I don't think paying prosecutors is a particularly strong incentive. Prosecutors aren't bonused or compensated based on their conviction rate (as far as I know), and they're generally undercompensated compared to private practice (but not as undercompensated as public defenders).
It's not sustainable for them to offer, say, $30 an hour starting salary for fulfillment centre employees. As it is, they have to subsidize retail with other revenue lines like AWS and advertising.
This. Bret Victor’s Inventing on Principle talk changed my life.

And the funny thing is, he’s not pitching a tool or even his own specific principles; it’s largely a talk about how you can work toward a cause of your own choosing. But Bret’s principle and the tools he built to demonstrate it are so compelling that they’ve lived in my head rent-free for years.
You're going to defend an organization that can't stay solvent when it is paying its workers a whopping 25K per year? Really?

As the article points out, Lubbock, a much smaller city, doesn't seem to have a problem with paying their unionized musicians or staying solvent.
https://github.com/c-blake/cligen can make the CLI integration part pretty frictionless.
These are not "workers" in any common sense, and they are not receiving a "wage" per se. They are slaves, compelled to work under the 13th ammendment, and receive a stipend when they do so. The state could compel them to work even without this money (it's just more efficient to have a somewhat willing slave than one who is fighting you every step of the way).

By contrast, a worker has a choice of who to work for, can negotiate their salary, and can choose not to work.
My Experience with Anxiety, Depression, Therapy and Taking Anti-Depressants