skysight-inc/HackerNews huggingface dataset:
If they want to work, let them. When they deliver something significant, give them a few extra days off. IMO, nothing is more destructive to a development organization than being rigid about hours worked. In my 20s, I would work 60-80 hrs per weeks for months at a time. When I delivered, I would blow off whole days at the golf course, playing early rudimentary video games (it was the 80s), sometimes for 3-4 weeks. Drove my boss crazy. But his boss understood and kept folks off my case. When I moved into mgmt, I maintained the philosophy. It’s what the developer delivers, not the hours they work or when.
I gotta agree with someone named outworlder above -- you probably should look into `neofetch` as its output might please you.
I don’t think guillotining execs would fly in America so no, we’re stuck with suing.
That could be relevant if the study tested every one of the programs shown on the benchmarks game website on some particular day. In other words if the set of programs tested by the study was identical to the set of programs shown on the benchmarks game website.

Does the paper claim that?
That sounds extremely slow but presumably now that they've built one the cost to build 100 or 1000 would be achievable if someone (or some government) had the interest.

I would think they would need a version that doesn't need the ship nearby to scale - but would still guess this is something that will be accomplished on the order of 30 years from now.
If you just want to read comments, libreddit & teddit are fantastic. Libreddit has some onion instances too.
I just wish kind had a similar addon ecosystem as minikube. I'm sure if it gets popular enough then it will spawn stuff like that too though. The one thing that keeps me using minikube is the ease of spinning up an ingress, internal registry, etc. that usually just works.
This is true. “For cause” is “employee fucked up real bad [theft, harassment, etc]”, but many people think it means the plain English reading of “was individually underperforming” which would be a performance-related termination but not a “for cause” termination.

IMO, it’s dumb HR/Legal lingo.
When did we abandon personal responsibility?
Lucid recalls all of its 2022 Air EVs
I think it also requires a M1 processor.
Treat kids like they're irresponsible and they'll never become responsible. Adulting takes practice. You have to let them fuck up and do unhealthy things if they are to learn not to do those things. Delaying it until the stakes are high is counterproductive.

I'm not saying let your kid shoot up heroin but I'd much rather deal with social media usage problems in a 14yo than a 17yo
> It does seem easy to scapegoat companies for these issues though

When the addictive factor is deliberately manufactured into a product (AKA engagement), the company absolutely bears some (IMO, a large amount of) responsibility.
Bitwarden (and probably others) store the TOTP secrets and are persistent. This isn't a recommendation per se, I'm not sure how I feel about it being stored in the cloud, but it is a bit friendlier.
Couldn't the same argument be used for cigarettes? "We shouldn't regulate tobacco companies influence on kids because it's a parent's responsibility to prevent that sort of harmful thing"?

I agree that this bill is silly, but "parents are responsible for preventing all harm to children" doesn't seem like a universally applicable argument.
The improvements outside the processor matter more for a typical user. DDR5, PCIe5, USB4, Bluetooth 5.2, WiFi 6E, etc. These recent version bumps make everything feel faster, but the CPU gains are indeed coming much slower and at vastly higher cost. Die shrinks will likely reach their physical limit this decade for traditional silicon.
This is the most dystopian thing I've ever read.

But probably the best way to defeat the existential threat of gray goo.
Why not give people both the freedom and personal responsibility instead of making assigning parental duties to the government like China has recently?
If the Programming is a deadlined job, things might get difficult.

On the other hand, if there is no specific deadline for a specific piece of coding, it's best to walk away from that task and leave it for a while. That 'while' might be as little as a few minutes or as much as several weeks or months.

Generally, during that period, your mind is still working on the task in the background and sometimes almost 'out of the blue' the solution will present itself.

In any case the time spent away from the problem will wipe the slate clean enough so that you come back to the problem without the previous mindset and/or ideas that were your mental block. By starting afresh on the problem, you begin to look at it from another angle.
Yes, “CPU” and “chip” are mutually orthogonal notions. CPU is an artifact of digital computing.
I can't believe folks still want to manage bespoke distributed computing clouds with chef/ansible/shell scripts, homegrown monitoring, deployment, etc. IMHO you know kubernetes is long term good when everyone has complaints of some sort about it but no one can think of a better replacement.
The level of a language depends on what idiomatic code looks like. Idiomatic C is lower level than idiomatic C++ which is lower level than idiomatic Rust. Just because you can write things at a lower level doesn't mean that people do so, or even are allowed to do so. Most places where you write C++ you aren't allowed to write it like C, and similarly most places where you write Rust doesn't allow you to write large unsafe blocks.
Pattern matching is arguably one higher level feature/capability.
I used to work “doing layoffs” and I don’t think I ever saw stack ranking as the layoff strategy.

Most often I saw “divisions” or “capabilities” cut, either entirely or to skeleton crews that kept the lights on.

Next was just randomly applied. And frankly managers with 30 or more reports were frequently layoff targets as they are expensive and don’t add a ton of obvious value to the bottom line (unless they had a sales function).
It's interesting when people advocate both "free range children" and "helicopter parenting" at the same time.
That's good to hear. Off-street areas do have their own cost as well which doesn't sound included in that, but there are other ways to optimize those which can depend to some extent on the designer feature set.

Gah, it's so tempting to share my notes, because you'd appreciate a lot of the ideas in there. It's probably a bad idea though, because part of the motivation to actually develop it would be to share those ideas and the vision some day. :)
> Wouldn't that be pretty useless?

Not at all. It is way more useful than learning CT. LC is the foundation used in almost all of computer science. You need to understand it to read any advanced Type Theory papers for example and you can directly use it as a starting point when designing a functional programming language.

> “the simply typed lambda-calculus is modeled by any cartesian closed category (CCC)

That is correct. You can model pretty much anything in Category Theory. The same way you can model pretty much anything in Type Theory or Set Theory. However IMHO it takes a lot more structure to build up to CCC than it does to simply use LC. The paper you are referencing is great. However the author might as well have used LC to achieve the same goal.
> early age

Given that the human brain is still forming into your 20's, the harm can happen at any age. And given how much social media pressures impact teenagers, it doesn't even require that early of an age.
Next interview... "Says here you spent time in federal prison?" "Yeah, at my last job, I broke the law and directed others to do so, too."
What is the software used to diagram the circuts? It reminds me of a class I took in college.
But also make sure you pay your taxes. ;)
While the article doesn't mention whether he's selling his shares as a part of the exit from the board, wouldn't this be just the best time to sell his shares without significantly underming other investors? Charitably, when you are the largest individual shareholder you're kind of stuck, and this is a great time to extricate himself from risking the stock tanking everytime he needs liquidity as leverage for something else.

Not to diminish the other shenanigans afoot in this whole transition, but Dorsey leaving the board seems like the least suspicious of everything else flying around. Having founders around at this late stage is also disruptive to any new regime. It's like a royal family whose existence acts as a percieved limit on the absolute sovereignty of a government, since if there's a slim chance to appeal to them, people will act like they can at critical moments. Twitter is a thing, it's not a person or a community, and his exit hopefully will let people look at the business more objectively.
My favorite is gacha games of any flavor. Please keep that crap out of the hands of children.
Yeah, except that kids are communicating with each other through those mechanisms, and increasingly seem to be required to for schoolwork.

So you have the companies providing the communication mechanisms intentionally manipulating the communication to encourage specific behaviour.

A very simple “you cannot reorder or promote content for people less than X” rule would do a lot to reduce the problem for kids. Once you’re an adult you can be just as free to get addicted to Facebook as you are beer.

Before then Social media companies should be subject to similar rules that we have for alcohol. SM at least have the advantage that they can just completely remove the intentionally addictive reordering algorithms, whereas alcohol companies can’t make a meaningfully similar simulacrum when then extract the alcohol.
TOTP isn't inherently tied to phones.
The correct solution is to require a verified 18+ person to sign up for an online account and be responsible for whoever they let use it.
Why not give children locked down phones instead of always opting for regulation instead? The first option is much faster and immediately effective.
As a foreigner I find this subject very complex since the right to bear arms in on the US constitution.

To change or "rewrite" the constitution trying to deal with this subject could dissolve the US.

Banning guns altogether (rather improbable) will only leave law abiding citizens at the mercy of criminals.

More protection in schools could be a starting point to address these awful events.

I'm still in favor of law abiding citizens having a way to defend themselves. My Dad and Mom were almost killed by a burglar with an illegal gun while they were at home!. A burglar got inside my house while my pregnant wife and me were sleeping. If she were to go to the bathroom or anything else, I couldn't possibly imagine what would happen.

For context, it's practically impossible to buy a gun in my country. I wouldn't recommend anyone to vote for laws restricting any law abiding citizen to defend themselves and their loved ones.
Do you accept that, contrary to your belief, the author meant “TypeScript is apparently far more energy-hungry” than Rust, Go, C++ ?
I FOUND IT! YAHOO! https://www.nayuki.io/

Absolutely give this blog a read if you haven't already. Definitely worth your time!
Just wanted to add emphasis on Aegis. I've been using Aegis for Google, GitLab, PSN, domain management. No issues.

And it has zero permissions needed (aside from camera which is granted on a need basis for scanning qr codes). And also works fine without ever having a Internet connection.
That's very interesting.

I posted the above because I'm researching what's happening to me along with what a long covid specialist told me. I don't know if I have the mitochondrial issue yet, but my doctor said I was at risk for Dysautonomia that could progress to POTS if I didn't a, do diaphragmatic breathing exercises, b, avoid weight training, c, do small amounts of cardio. He described anaerobic exercises causing dysautonomia due to the mitochondrial issues I later found the above.

And reading what you wrote, I had a very strong reaction to
Levofloxacin I was taking for an asymptomatic infection. For 12 hours I had fever, joint pain, nausea, anxiety, headache, chills fever, and it went away, til I took another dose (for the last time ever).

My covid experience reposted:

Two months ago I caught it, had two weeks of being reasonably sick, the last 10 days being a mean dry cough.
Then the shortness of breath began, and the night sweats with the inability to sleep. Also a lot of very deep seated anxiety/ fight or flight feelings.

The doctor said Dysautonomia was a very high risk and to avoid any real exercise, especially weight training. I started to feel better and caught a cold which brought back the cough.

I don't know what this all means, but it seems likely that: covid affected the nervous system, that it may have caused neurological damage, that it caused long term inflammation...and finally, I'm sorry, but three vaccine shots doesn't prevent this (surely didn't for me).

I've learned a lot these past months, and I'm meeting people regularly with dysautonomia symptoms after covid (dizziness, racing heart, shortness of breath). Some of them thought it was the vaccine. Nope, this can start months after infection.
Not looking forward to Github making it mandatory. I don't want something I can lose to control my access. The insidious part is, as it becomes normalized, more employers will think that they can force their workers to participate in broken security theater with their own private property rather than a proper solution with corporate assets.
If you approach every program with that attitude you will never have an RPC subsystem where nanoseconds matter. You will be trapped in a self-fulfilling process where nanoseconds don't matter because the system is slow.
Yeah, think cheap and distributed. Like Tsutomu Shimomura's quiet Xterminal connected to a noisy box in another room.

The alternative gamer-mentality of tightly coupled cpu, gpu, and storage with huge IO is quite costly.
> Doesn’t have to be default, but should be configurable. It’s harder and harder to participate in society without major social media tools so don’t just tell me to stop using these platforms.
I don't think my comment helped. You had already made what I think is the main point, that a _common_ linguistic ancestor (rather than direct ancestry) is plausible between the Hun and the Navajo.

But the parent comment author (which I am not) didn't say there was direct ancestry either, just that they were related. I mean we're all related to a greater or lesser extent anyway, so what difference does a direct or back migration make? I think to me, what would be most interesting is that the proposed linguistic connection wasn't from a back-migration, because then we'd have more of a linear narrative. Oversimplifying, it would be: Africans became central Asians, who became Eastern Asians, who became Americans. And I kind of feel that's how everybody else wants it to be too, a neat little linear story. Which is what I assumed you read into the parent comment, that the Navajo and Hun share a narratively pleasing close connection. So I just wanted to point out that the Navajo and Hun could be related from a non-linear perspective, and for the parent comment to still be relevant. But I think you were already ahead of me anyway!

BTW, it does seem like the parent comment is implying that the Na-Dene migration occurred as a result of the collapse of the Xiongnu, which is obviously misleading, because the 2 events are something like 12,000 years apart.
Operations at the Edge
What is the alternative to suing? US Corporations have demonstrated significant skill in destroying every regulatory agency, and paying off or bribing every legislator. That any laws get passed at all - that could hurt corporations - is stunning.
nice, thanks for the heads up. would deal with that if necessary, still like the name
They won’t hurt
I recall a few years ago many accusations of racism against folks on the right for the phrase "demography is destiny".

Now that the destiny part has happened, it seems that it is acceptable for the left to cheer that they have accomplished their destiny through demographic reconstruction.
I doubt that. Monetization is a goal of most of these platforms, which makes the JS and privacy-hostile stuff absolutely intentional and implemented with malice aforethought. There's no reason to require client-side computing for the vast majority of sites, and the remainder are relatively niche webapps. Media-viewing sites aren't niche, and have good UX reasons, but I'd bet the vast majority of use is outside of the web interface anyways (ie. on mobile).
Why would they have taken out a loan to buy their options? If the options are vested you can just sell them and pocket the difference between your strike price and the buy offer. If the options weren't vested you can't buy them anyway and you would still have the same strike price when they did vest.
I always considered Motorola to be more of the Apple of the midwest tbh
Show HN: Pydle – Wordle in the Terminal
This sounds quite a lot like "Papers Please" and the follow-on which I don't remember the name of (sci-fi version of "Papers, Please").

The premise sounds pretty cool. I'd be more interested in coding the monster than killing it, tbh.
I could be incorrect, but I think I remember reading something about pest-resistant crops and how they are often implemented incorrectly when I was in university taking ecology classes.

Basically, if you take crop like corn as an example. Say our example corn has been genetically modified to resist various pests. However, you cannot just go and plant an entire field of said corn and expect it to be pest-resistant forever.

What farmers are supposed to do is plant non-pest-resistant corn crops for every n number of GMO corn corps in the same field. So, any given row of corn would have something like a non-pest-resistant corn plant after every 4 GMO corn plants.

This causes the said modified corn to retain its pest resistance for longer amounts of time, and the non-pest-resistant crops serve as honeypots for the pests. (You know path of least resistance and all).

However, doing this technically hurts the yields of a farmer's crops and more yield = more profit, thus many farmers forgo this practice. Even if done correctly, I still do not think it works forever, but it does slow down the microevolution of said pests -- at least hypothetically.

Not sure if that is correct, but I would love to know either way.
I wanted one because of the cool cow boxes
That's not much of a risk, if you haven't ground-tested the engine. Nuclear fuel is barely radioactive before fission. It's the waste products of fission that you have to watch out for.
There is something new. You used to be at least able to hit someone's page, and see a few recent posts. You also could open posts in a new tab. Those actions are no longer possible - it goes straight to a login page when you hit someone's URL.
It also lets the people being let go save face.
Sure, but this still requires a certain level of "awareness" for this technology.

It's sort of the same problem PGP suffered from. It's technically great, but cumbersome for non-technical people to use (particularly in a safe way), so people will avoid it.

2FA needs to be simple and easy to achieve mass adoption.

Making people install special apps for just one service, or find out one day they're permanently locked out of their facebook account (or far worse) is simply going to hurt adoption.

If your grandmother can't make it work on her own, then it's not good enough. I'm not advocating SMS is the best option for 2FA, I'm just pointing out the alternatives are currently not up to snuff.
Motorcycle racers use "tear aways" on their helmet visors. Thin plastic sheets that they can tear off and throw away when the visor gets too dirty.

(Not sure I'd want to deploy a system that intentionally litters single use plastics onto pristine planets though. We're already the species who spent way too long tossing old-fashioned non-biodegradable styrofoam cheeseburger containers out of 1967 Cadillac Eldorado Convertibles with whale-skin hubcaps getting 1mpg doing 110mph down the freeway...)
Local-first software is my favorite article.

I studied CRDT for six months, read many CRDT papers and created my own local fist app.
I heard they had 900 employees. It's just a checkout page that plugs into your payment processor. I don't get why they need so many people. Most complicated thing they are probably doing is tokenizing the credit card themselves so the card info is portable across merchants with different processor.
I'll start with a confession. Based on below, I'm #3, all the way, and I think #2 is the absolute worst. I see it from an accounting point of view: you've got a liability on the books the moment the benefit is promised and it's in everyone's best interest to have it realized on a steady schedule.

1. Individual allocations with strict "rollover" policies.

2. Unlimited, but reasonable, timeoff policies.

3. Individual allocations with 0% carry-over: if you would lose it, it's forced upon you. Please don't make us drag it out.

So that said, I don't see how you have a prayer in the world of avoiding "drag it out" unless you have a management culture thats firmly based in what dougmwne suggests: lead by example and you won't have to fight the extremes (which are unlikely to give anyway) for the sake of the core quite so much.

It's also more compatible with highly-geographical laws around unused vacation payouts. If you think your organization is winning, by minimizing these kind of benefits... I think you're definitely losing and it's putting your most dedicated talent at long-term risk for short term gain.
This is true. Midgley died after becoming entangled in a mechanical contraption he invented to improve his mobility after contacting Polio.
This seems like a huge opportunity to gather up a bunch of natives that are familiar with navigating the land, professional archeologists, a camera crew, and just let the story unfold itself.

Why isn't the entertainment industry more interested in creating exploratory content like this?
Have you tried CoQ-10?
Pretty much!

I pretty much assume everything I read online is a lie unless proven otherwise.
Unfortunately development has been paused for over two years now. But yes, outside of Arpia + some other total conversions for older EVs, this is really the only thing out there that directly scratches the EV itch.

The closest contenders IMO are StarSector, the X series, Free Space 2 with extensive modding. Then many games that are similar to those 3.

I have still yet to find a space game holistically more enjoyable than EVN though.
But then we go on to legalize Marijuana in California.
Which ones? You can only buy guns in the state which you are a resident. You'd have to find a co-conspirator who is a resident of that state and who is willing to commit a felony to get you a gun. Or you'd have to live in one state and decide to drive to another state and murder people.

The Buffalo shooter bought his rifle legally in New York. Same goes for the most recent shooter in Texas. The San Bernardino shooters bought their firearms legally in California, then modified magazines to accept more than 10 rounds. The Orlando night club shooter bought his guns legally. He even had a valid security guard license.

The only example I know of is Gilroy Garlic Festival shooter. He lived in Nevada and bought a WASR-10 (an AK variant) there, then drove to California to massacre people. While the WASR-10 is illegal in California, very similar rifles are legal in the state. Had he lived in California, he could have purchased a Palmetto State Armory GF3 (or any other CA-legal AK clone), then removed the grip fin and modified the magazine to accept 30 rounds.
I’m pretty happy with kind on a mac.