skysight-inc/HackerNews huggingface dataset:
They would have to do what any union does - leverage worker power. If the majority of Bandcamp engineers agreed to halt work until x demands are met, it would drive Bandcamp as a service into the ground. Tech workers also hold the keys to everything - they could take the site down, lock up the music, etc.

They maybe can’t prevent it, but they could leverage BC/Epic/whomever into providing some kind of decent severance for those left out in the cold. In theory.
The issue is the "run the turing machine for BB(748) steps" part. We don't know what BB(748) is. If the god of busy beavers came to us and told us that value, then we could (in theory) run the TM that long and just like you say, that would prove whether ZFC is consistent. But in order for us mere mortals to compute BB(748) we would effectively need to figure out if this specific 748-state TM ever halted (along with all the other 748-state TMs).
I've gone back and forth on LVT, but don't currently support it.

The problem is determining what the land is worth. If you use a periodic market-based auction system (the only known way that could possibly yield accurate prices), then you give the government and the wealthy extraordinary power to kick people out of their residences, even ones in which the tenants built the house. Good for the collective perhaps, but terrible for individual autonomy. This could be mitigated by auctioning off longer length (~say 30 year) leases, but you can end up with huge value mismatches after 30 years of change, just like today, and I suspect there would be other unintended consequences. For example, things wouldn't be built to last, they'd be built to generate as much value as possible before the lease is auctioned off again.

And even then, you haven't really determined what the land is worth, since any rational auction participant is considering how much money can be made with the existing improvements on the property.

That being said, I hope they do try it in Detroit, since I have no stake in the city and it seems like it has more to gain than to lose from such an experiment.
Most catchy phrases can’t acutely articulate the meaning behind the message.
People who argue to “defund the police” also mean use the funds meant to be distributed to the police force to other services that serve the same role, in a less harmful manner.
But that messaging doesn’t stick as easily.
Concurrent Failure: Structured Concurrency Manages Failure and Preserves Errors
My guess is that they meant: If you give a lot of people that previously couldn't afford a house more money it will increase the demand and prices. The issue is that there is a shortage of housing which is primarily due to zoning preventing the construction of houses in a lot of areas.
I think the big criticism with The Capitalist Manifesto is that it was essential the guiding philosophy in the late-1990's to early 2010s where the belief was that building a strong trade with China based on capitalist principles would lead to political change there.

It's impossible to say whether or not it is a fallacy of course, but this is a criticism that does need addressing.

The other major criticism is that it doesn't take into account externalities. It was written in the 1950s, before the birth of the modern environmental movement, but non-the-less the effect of unbound lassize-fair capitalism was understood and the book could do more to address this.

For me (as is common in political/economic trade offs) it's enough to say that the book makes some good points that seem more true than false, and there is enough data to show that it does work much of the time.
The current company I'm working for, VC funded startup, does two company wide offsites per year, 5 days (one work week) each. Then another department wide offsite for another 5 days in another quarter, then the final quarter is a team-wide one that is up to each individual team to schedule and intended to last 4-5 days. So that tracks pretty closely.

TBH I feel like it's just a little much, but not much more than a little much. In other words, I think probably two weeks (10 full days) is probably a good minimum because I do see some value in seeing the team once or twice a year in person. So somewhere between 10-20 full days is probably the sweet spot for me.
I'm a terrible judge of character, that's for sure
https://aijac.org.au/wp-content/uploads/2022/03/utkin.jpeg

Is a picture of Dmitry Uktin, who founded Wagner with his Nazi tattoo's.

There was lots of talk about him not being part of Wagner anymore then surprise surprise he dies in the aircraft carrying Yevgeny Prigozhin and other Wagner high ups and is later seen in videos with Yevgeny Prigozhin in Africa this year.
> to enhance security and in particular user convenience

What convenience? Amazon's implementation saves me exactly one thing. "Typing my password" (i.e. pressing my password manager's autofill key combination).

The annoying part is having to enter my OTP over and over and over again, with the non-functional "don't ask again on this browser" box below serving as a little mocking statement to show that they have indeed thought about this use case – they just haven't bothered to actually implement it.
No I doubt CVS is. Their profits have gone up almost every quarter for almost 6 years, unlike Walgreens and Rite-Aid. Plus none of their stores that I’ve been inside has looked dead, and they always have locations in the right places like in downtown areas. You almost wonder what Walgreens and Rite-Aid have been up to all this time.

At the end of the day, if I’m in a major metro area and I’m not near a supermarket, I’m going to CVS.
Same. The best online music service since Napster got screwed and it's never coming back. The writing is on the wall and it's clear that the "enshittification" officially begins.
> if it halts, we have proven by Thm 1 that ZFC is inconsistent. If not, we have similarly proven that ZFC is consistent.

The second part is wrong. We can't physically check that a program runs forever - this requires an infinite amount of time.
much rather: he had to spend significantly more for them to do so...
Another aside: youtube-dl still exists, since yt-dlp was forked from it. youtube-dl isn't that awesome, so you should use yt-dlp. It's similar to OpenOffice.org vs. LibreOffice or XFree86 vs X.org: the old one is still there, but it sucks.
Well with size comes management. Management of money and architecture.

I am also not a particular fan of excessive management structure, but as an architect I have to completely reject your proposition that non-coding roles are toxic or excess. I work with highly brilliant minds, with coding and non coding architects and one thing is very clear: the non coding architects are contribute more value to the end product than the coding principle engineers. And why not: they are a specialization which focus on one part of the engineering while a traditional coder focuses on another part.
LLMs already radically change the attention economy
> We introduce the 4D Gaussian Splatting (4D-GS) to achieve real-time dynamic scene rendering while also enjoying high training and storage efficiency.

This seems to be a rendering efficiency innovation, not particular to scanning.

That means it applies to artificially generated environments, whether photo realistic or stylized, and whether based on a real environment or a completely fictional one.

But of course, any photorealistic, extremely faithful to the smallest detail, rendering of a real place is going to involve a lot of scanning. That is true for any kind of rendering.
I see all the comments about how managers are necessary. Let’s assume we can automate more and more HR tasks, what are managers required for besides that?
no, this is a person who understands what is there. People who imagine something else is there, are disappointed when it's not.

People who try to invent the new new, and don't complete the task, blame unix, when unix just does what unix said it would do. It was the people who made bigger claims but did not deliver who should step up and say "I didn't turn the unix environment into what I thought I did."

but people trying to invent the new new are trying to invent it on unix because unix delivers what it promises. It doesn't deliver what you promise. But have some humility, and accept your failure and don't try to pin it on unix. Go implement on Windows.

Unix does allow you to deliver what you promise, that's why you'll still be complaining about unix 10 years from now, but it's up to you to deliver what you promise.

people who say "footgun" are people who try to shed responsibility; "it wasn't my fault, waaaaaah". I'm not saying we should not make computers easier to program, I'm saying that when we fail to: "it's a poor worker who blames his tools."

Why is it so important to you to blame this on unix, when you could blame it on a mistaken implementation of a library that could be fixed?
yeah, the most useful resource wasn't even the recruiters (which was occasionally helpful, but none of my career roles were gained through LinkedIn Recuiters). Having a way that wasn't twitter to connect and talk with old co-workers and colleague was invaluable.

My last role was gained by reaching out to a colleague I haven't talked to since college and asking about the role I applied to, and he was nice enough to give me a referral (I honestly wasn't expecting a referral. it was easily 5+ years since we last interacted, didn't talk that much in college, and I wasn't the best student to begin with). I doubt he posted his roles on Facebook so I never would have thought to contact him otherwise.
Not "for any program", but "for an arbitrary program".

We can trivially prove that a program that always goes to the next step, without branching, always terminates. With more effort we can prove termination of certain segments with conditional jumps, certain forms of recursion and loops, etc. This is not purely theoretic: e.g. EBPF programs in the Linux kernel are only admitted if the kernel can prove that they terminahe.

What we can't do is to prove it in an arbitrary case, without putting limits on the program's structure.
> The argument relies on 'visually different' being a well-defined, binary distinction.

No it doesn't. Unicode has no problem with including multiple codepoints for characters that are (arguably) not visually distinct, and has already done so, many times over, not least for simplified vs traditional Chinese (but also for e.g. Cyrillic vs Latin). Just... not for Japanese.

> It's almost as though the Japanese standards body itself has been having slightly different opinions about their own writing system over the decades.

Slightly different, sure. Doesn't mean "just write it all in Chinese" is acceptable. I'm not asking for pixel-perfect everything, just for the ability to write the native everyday language of over 100 million people without having to use some half-assed out-of-band font setup that always has some funny edge case where it breaks.
Status driven monkeys fighting over tree position

That’s why we got Facebook over jet packs. That’s what we are. We need to accept it
In a way it begs for the most natural state of the web: client only front ends that sync with other clients. Anyone should be able to modify their front end to view the representation of information in any way they want.
I'm "convinced" that the "defund the police" was planted to discredit the movement to reform the police. Ugh, what shitty messaging.

My understanding is that police reform is impossible because the system is so corrupt there's no way to make it happen. I've seen many accounts of the good cops quitting because they got harassed out.

Perhaps we should instead focus on messaging for "are the police above the law?" and if not what does that look like? And "why should taxpayers pay for police fuck ups?"

I dunno, just tossing stuff out there. But it's clear that policing is broken and needs fixing, and that won't happen until there's enough unity in wanting to see it happen.
I'd like to learn more about this.
That’s also how SpaceX disrupted the launch industry. Rapid iteration of cheap shit lets you learn so much more and improve the system so rapidly that competitors get left in the dust.
The problem in that snippet is that `printf` could have altered the `errno` set by `somecall`, and that's only thanks to it being shared-global-mutable-state. You not realizing that was possible makes for a great example of why shared-mutable-global-state is hard to reason about.
The general rule of unsafe api(usage) is "once you done it, nothing is expected to safe even if it was stated to be".

Error can spread in your program in funny way, which also break the program in funny way (think about stack overflow or double free).

Unless the manual/document explicitly stated what error can it cause, there is no way to know without actually trigger it.
At least in my experience, most of the 'defund the police' people I've talked to wanted the money to instead be given to social services that the police were ill-equipped and ill-trained to perform. If anything, they were the biggest proponents of letting police get back to policing, and wanting to move the 'softer' social services aspect to other organizations better trained to handle those kinds of situations without resorting to their service weapon.

Alas, "Defund the Police" is a much catchier headline than "Redistribute funding to better provide for necessary social services"
No, OP refers to the charging function. I'm calling out the USB stack these are different things.

Maybe this discussion is too nuanced for HN. Best we just tow the line, and agree that phishing and websploits is the biggest problem and other issues are not worth addressing even when we can.
From my understanding that's a core goal of the "defund the police" movement. The police as it exists in this country right now is a state militia. We need more 911 respondents that are not armed to the teeth, to join the corpus of medics and firefighters, replacing the police in 80% of use cases. Noise complaint? Homeless person shooting up? Car accident? Cops are over-equipped and undertrained in most of these cases. They respectively need negotiation, compassion and first-aid, and a logistics/insurance official.

Cops don't necessarily need to be trained in all these things, because cops suck up so much funding to deal with the few cases they might actually be necessary (gang shootout, protest security, armed robbery, etc), and one official can only be reliably trained in so many things. They just need to not be sent for these non-violent cases in favor of specialized unarmed social workers.
Unfortunately, I largely have to agree.

I was really excited about WebAuthN, but even as somebody having read the specification several times and having done a lot of experimentation, it's now more or less a mystery to me when I can add which type of passkey to a given website.

Sometimes I get 1Password jumping in; as of lately, Chrome sometimes realizes that I have a native passkey stored in iCloud(!); until recently, there was also Chrome's local/non-synchronized passkeys on macOS; very often, nothing happens and I realize I'm just on the wrong browser for any of it to work (e.g. Firefox on macOS).

I can't realistically recommend this to non-technical friends and family at this point.
Anecdotally, the Indian people I've worked with have been incredible. One of them (my manager) annoyed me to death and I eventually quit because of him, but I never doubted his work ethic. If anything it was my American coworkers who would frequently take off early, goof off at work, etc.

There was a bit of a communication barrier with some of the Indian colleagues, depending on their skill level, but as a rule they worked hard and were approachable.
Analysis: IMF warning on China puts 'Japanization' risk in spotlight
I've been saying this in relation to all the paving that is done throughout my Eastern-European country with EU money, that is that at some point having that many paved roads around becomes economically unproductive, especially when it comes to communities that are getting older and smaller (in terms of numbers).

I've been answered something on the lines of "but all those paved roads will create economic activity and we will all become richer and we will be able to afford their maintenance going forward", which is reportedly not true anymore (also because of demographics and of the ageing population). It might have been true some decades ago, when the demographics were different and the age pyramid was more "normal", but not anymore.
I don't think the plan is to stop at radiology.
Virtualization can happen in the hardware itself, e.g. SR-IOV.
> I think almost everything you said relies on seeing the old ways through rosy glasses and massively underestimating the daily problems that the multitude (technically, gazillions) of encoding standards and standards on how to encode encoding choices brought to the many people who already worked regularly with computers in the early 90s and before that.

It's not rosy glasses lol, I have to deal with encoding differences every day. I'd like nothing more than to be able to forget about them if there was something like unicode that actually worked. Instead I watch support for the language I'm using degrade day by day because everyone high-fives each other that they've got unicode now so they've solved all the problems (and they have! As long as you're not using Japanese), and then they add insult to injury by trying to tell me it's better.
So then, what is a method to permanently relieve mass human suffering relative to each human, that has practical step-by-step instructions, achievable with modern technology, would be widely believable and easily fundable?
How to burnout a software engineer, in 3 easy steps
Indian authorities 'weaponised' a New York Times report to target the press
A good example on how these disinformation investigations may cause collateral damage.
We need to change our labor standards so I can take a boat to Auckland from SF and still spend two whole weeks in NZ.
If Google wanted people to pay to watch their videos, then they shouldn’t make them available to stream without paying.

I have the right to skip whatever content I don’t want to watch. That’s not piracy and frankly it’s ridiculous to suggest that it is.
This is super interesting though! It would defeat the myth "don't try to lose weight while weight lifting".
None of those are in anyway equivalent (and some are also a real stretch to call false flags) to what OP is implying was allowed to deliberately happen to Israeli civilians.
I don’t think that’s true either; they’ve explicitly stated that their roadmap for 2024 is federation: https://atproto.com/blog/2023-protocol-roadmap
This seems to be their business model.

> In the future, we’ll build and sell services on top of our tools — but the tools themselves will remain free and open-source.

> Our plan is to provide paid services that are better and easier to use than the alternatives by integrating our open-source offerings directly. Our goal is for these services to be as impactful as Ruff itself — but you may choose not to use them. Either way, Ruff will remain free and open-source, just as it is today.

It's there in their announcement post.

https://astral.sh/blog/announcing-astral-the-company-behind-...
I think you'll find a lot of people who say "defund the police" quite literally mean it. Why do you need armed individuals with qualified immunity out there performing wellness checks, guiding traffic, taking statements, and doing investigative work? Why should these roles continue to fall under "the police"? And especially why should they continue to be done by an organization that continues to show just how disastrously poor they are at such things, when at least any other organization would at least start at zero, not negative?

The funds should quite literally be taken from the police and given to other organizations, even newly-created ones, that do not suffer from the baggage and the history of the police.
Well, I mean.. Mastodon? Nearly 2 million monthly active users across some 10,000 servers. https://joinmastodon.org/servers
I've brought this up that 2 days is where I see a benefit with myself and my team. With us 50/50 the weeks where we come in three times everybody is just tired and demoralised.

Anything more than 3 days and we're all essentially spending an extra work day every week just commuting.

Senior management doesn't care. They have strategy objectives and KPIs to hit, and they're not going to hit them if they have to write down their commercial property
> Each cloud service account can only have one passkey for Amazon

Assuming that this error message is correct and isn't just badly worded nonsense -- if the FIDO Alliance had any sense at all this would be barred from the spec and Amazon would have to either support correct behavior or skip getting certified and getting an official stamp of approval. I cannot believe that I'm being told by advocates that attestation for roaming providers won't be a problem when they can't even get websites to allow unlimited keys to be linked to an account.

"Websites wouldn't block an authenticator, they'd just be cutting off users", I am reassured while I watch Amazon sniff browser user agents so that it can block specific browsers from logging in. I'm glad that iOS is zeroing out authentication requests voluntarily, but if that error message is to be believed, that's apparently not good enough. It needs to be part of the spec.
They just specialized into various cloud providers and services instead. Nobody runs major sites on bare metal Unix anymore, and a lot of vendors automated the basic sys admin tasks such that you're using managing their dashboards and configurations instead of the OS itself or some GNU tool.

But there's still plenty of backend, devops, SRE, cloud whatevers, etc. if that's what you want to do. Probably you'll be working for a infra provider rather than a business itself, like the old days, though.
Hilariously, YT has disabled the homepage feed if you have search history disabled. They think this will make people turn search history on… So now I always come to a nice clean homepage before I go looking for through my subscriptions.
I think it's well-understood Jobs as an S-tier salesperson.
That one is actually not very hard. Imagine the world pacman lives in: It's rolled up with a finite width in both of its two dimensions. Pacman can move left-right and up-down but after a finite length he comes back to where he was.

Now imagine you shrink his world along the up-down axis. And you make it smaller and smaller until pacman just barely fits in. Now he can stricty speaking still move "up" and "down" - but it doesn't matter. He is immediately in the same place. The world has become effectively 1 dimensional as the second dimension has been rolled up so far that it doesn't matter anymore as far as the movement of particles (like pacman) within it is concerned.
Thanks William F Schmuckly. Enoch Powell called, and wants his underpants back.
2$ more per gallon in California due to existing regulatory inefficiency. Expect that to go up
Why are we working on automating away professional drivers, chefs and grocery clerks before we are these jobs?

Not trolling...legitimate question. Seems like a lot easier task to me.
You're right, I remembered it like that but it seems that it wasn't banned in the end although their office recommended to take it off tv: https://www.reuters.com/article/uk-poland-teletubbies-idUKL2...
Only 16hrs/frame
LD_PRELOAD won't be needed if the OS were built around containers / jails, instead of the weakly isolated processes and process groups.

The Unix kernel (both Linux, BSD, and Solaris) already had much of what's needed, say, 30 years ago, but nobody saw it as such a burning necessity (likely except Solaris which eventually developed Zones).
>Most of us can’t imagine not flying

Actually, "most of us" have never flown and never will during their lives.