skysight-inc/HackerNews huggingface dataset:
The Busy Beaver problem sits somewhere on the range from "intellectual curiosity" to "lens that allows us to view the edges of uncomputability". I would guess that the majority of people doing work here are hobbyists (including myself). In fact, when Tibor Rado first introduced BB, he introduced it as the "Busy Beaver Game", so it has had a playful energy since the beginning :)
We really have no option but to hope we can keep finding new antibiotics until we find a final solution using genetic engineering or nano bots.
I've been test driving the new system (ID Austra/Digitales Amt app) for a few months now and for the most part it seems to be a replacement for the old "Handysignatur" system that let you digitally log in and sign PDF documents. This system was and is much better than you needing to manage your own certificates and made the whole thing accessible.

The new app basically just unifies various online forms that were already present, such as changing your address registration. None of this stuff is new and you already needed to sign in with Handysignatur to use these forms online anyway. More importantly, nobody in Austria forces you to use these services, you can file literally all of these on paper. They even have a service to fill out the forms digitally and then print them. The app also doesn't request stuff like location information and doesn't do anything nafarious as far as I can tell. It is also worth noting that ID Austria supports FIDO instead of a phone too.
You’ve made up a guy and are mad about it but go off
Shocking Knight Ransomware Group Claims Cyberattack on BMW Munique Motors
Interestingly, despite the severity of the claims, the website for BMW Munique Motors remains operational and shows no overt signs of an attack
Grymoire is how I learned sed, and is a fantastic quick reference for grep and regex also.
> police reform is impossible because the system is so corrupt there's no way to make it happen

There are examples of successful police reforms [1]. In egregious cases, forces have been entirely disbanded and rebuilt [2].

[1] https://www.nytimes.com/2020/06/05/briefing/george-floyd-buf...

[2] https://www.nbcnewyork.com/news/local/how-defunding-the-poli...
It is costly - you need to host a NVidia GPU cluster close to the clients - for the games Netflix and it's target audience they are aiming at mobile like casual games like Angry Birds or Oxygen and definitely not Starfield or Cyberpunk 2077
I noticed over the past few months they seemed to be heavily promoting their “Stack Overflow for Teams” product.

My guess is that hasn’t gone well.
Well no, because people sell entire houses so you can use that to anchor valuations. LVT is only taxing part of the purchase, much harder to disentangle.
Brought to you by the Gas Station Owners Association of California.
>There is no such thing as a passive security tech. Their whole doctrine is preventive strikes and fast response time. They failed at both. A motorcade driving to the fence and blowing it up is literally what their whole system was designed to handle

they first bombed from drones observation cameras, remote controlled gun turrets and bombed some communication hub. so when everything made boom at same time in control center they simply lost picture and next thing they knew it's mortars falling on them and gates/walls been blown up.

there are also some guesses that some of the explosives could be placed on the fence during the protests in weeks before. de jure nobody supposed to be there. de fact if IDF shoots at legs, after few warnings, it makes appearance on all news publications

>This application of low tech drones has been on display at scale since the beginning of Russian invasion of Ukraine. It was only a matter of time until it was applied by hamas

yeap. this is why merkavas now have "grills" on top. blowing up drones weren't sent over the border there.
Lmao hell yeah dude I fill up in the hood it’s way cheaper than filling up in Palo Alto.
when you read the doc and realized you missed something, don't say "footgun", say "aha! I misunderstood" Then if you want, set about to make things better.

Instead of jumping to "It shouldn't work this way" consider "Hmmm, why does it work this way? Is it possible that Thompson, Kernighan and Ritchie knew more about how to make a coherent straightforward system that would last 50 years in 1970 than I know how to now?"
On Android, you can use Seal[1] to download YT videos locally. It also supports many other sites.

[1] https://github.com/JunkFood02/Seal
Consumers of the truck overwhelmingly buy it because it looks like a truck, not because they actually have any need for a truck. Not entirely sure they care about the price making sense.
We do not live in a post-scarcity world.

Every day people get up, enforce the laws, execute the national defense, bury themselves up to their elbows in humans’ abdomens to heal their broken bodies, and pick your turnips.

The world is not self-executing.

Market mechanisms coordinate that activity by transmitting information through the price signal. In their absence, the material abundance you mistake for post-scarcity would quickly collapse.
> circumstances I can understand generation of fury

The officer sticking to his original, faulty and increasingly untenable hypothesis is frustrating to watch--it's stupidity and stubbornness from a position of power.
That sounds suspiciously like the office location where you‘d see big cargo planes fly overhead once in a while.
I don’t think that’s it. I think it’s easy to take such a machine and make a new one that halts iff ZFC is consistent.

Call the machine that halts iff ZFC is inconsistent A. Now consider the machine which computes the following algorithm:

Run A BB(754) times. If A halts, then run forever, else halt.

If A halts then our machine runs forever, and vice versa. Thus, our machine halts when ZFC is consistent and our machine runs forever when A halts, so ZFC is consistent iff our machine halts.

“Halts” doesn’t seem like a real word after writing that.
It's a kind of depressingly common stage in institutions becoming coeducational: many of them allowed women to take classes for years (townies, daughters of faculty, etc.) but didn't fully integrate them into the academic experience; they generally didn't formally matriculate and were often either granted no degrees or given a "lady's degree" without a graduation ceremony.
> If it runs forever (likely), then you will never be able to say anything about ZFC.

But if you run it for BB(754) many steps, you will know.
> You have a well defined problem: high rates of property crime and drug use

Did we read the same article?

Here I thought TFA said the rates of property crime and drug use aren't exceptionally high, and relative to the distant past, actually quite low. But that against a backdrop of an empty downtown thanks to being all tech workers who are now remote, all you see is the ~normal urban blight, so it stands out in terms of visibility.
They learned it's fine to just keep doing it
I think this is the fix:

https://jakeseliger.com/2023/10/16/how-do-you-say-goodbye/
It comes in when the business is destroyed?

I can pillage my retirement savings any time I want.
Put the original return value in a pointer argument, and return errno (or -errno).
Styling External Links with Attribute Selectors
>The far more banal explanation is that there was no dead-man's-switch monitoring on the border fence. The New York Times reported rumors that the attack started by Hamas knocking out the cell towers that were used by the remote sensors on the border fence to send monitoring data back to operators

not cell towers. they dropped from drones bombs on remote observation systems, remotely controlled gun turrets and some local communication hub. there are videos of those drops
I'd like to see the body modder from Hydrogen Sonata and his "53 is the ideal number of cocks".
The costs involved in getting this to work would be way too expensive.

It's a fascinating trick, but not realistic for any practical use.
His point is if you know the value of BB(748) then you don't have to wait forever, just BB(748) steps, as after that the Turing machine is guaranteed not to halt. The problem with his argument is that we don't know the value of BB(748). Not only that, it is incomputable, which resolves the contradiction.
There are many reports in media that the women manning the surveillance cameras made multiple reports to superior officials notifying of weaknesses in the fence and alerting that the Hamas was up to something.

People at all levels explicitly chose to ignore the warnings and consistently assumed the Hamas isn't a major danger. That mentality came from the top.
The most obvious way it is wrong is that it is archaic. There is simply no reason to ever pass return values in hidden state. Just use return values damnit.
`dup` and `read` returns -1 on error and set the `errno` variable. If they were redesigned, they should just return `-errno` on failure.
NYT report might itself have been a weapon, knowing how the Modi government would react.
> We don't need less funds

We spend more on our police force than each country in the world spends on its military, except for ourselves and china. We need less funds.
Sponsorblock doesn't take away sponsorship money from creators. Sponsors have no way of knowing how many people use sponsorblock. Oh I also pay for premium. So the creators get their cake and I eat ad-free content. Win win
Do note that any function f(n) that is always (or even just eventually always) greater than BB(n), is uncomputable, for very similar reasons.
> There was no judicial oversight in this case.

The important part is the use of protected speech as probable cause to seek the warrant. If officers are shielded from accountability for illegally using protected speech as a basis for probable cause, then the lack of a warrant doesn't help Petersen.

> Novak established "protected speech cannot serve as the basis for probable cause."

It did not establish this; this was long standing case law, as the opinion points out. What it established was that police have qualified immunity from being sued for illegally using protected speech as probable cause if 'judges could “reasonably disagree”' about whether or not the speech is protected. In this case, if the PD can convince a judge that there was any room at all for 'reasonable disagreement' about whether or not a council rule that prohibits "derogatory statements or comments about any individual" is unconstitutional, then the PD will get let off the hook, even if the speech ends up being unambiguously protected. All that is needed is the 'reasonable disagreement' to immunize the officers, even if the conclusion is foregone.
China will not sign a Plaza Accord, there is no chance of Japanization of the PRC.
This is ridiculous. Those that adopted the gun annihilated those that didn't. No one cares about the losers way of life.
> I'm "convinced" that the "defund the police" was planted to discredit the movement to reform the police.

"Reform"? You mean spend billions more on training so they can ignore all the criticisms levied at the institution? By any metric defund" is bad, reform is worse. Unless the goal is to change nothing of course, in which case "reform" is clearly preferable.

God forbid we agree on any kind of concrete, measurable policy goal....
> One surprise was that rye flour fostered a much wider diversity of bacteria than any other type of flour...

That is not so surprising. It is common knowledge that starters love rye, right? Now we have a scientific experiment to back it.
>Axios says that "judicial overhaul" and the resulting turmoil helped weaken Israel's military.

it weakened not army but outside perception of army strength and deterrence as result of this. and this was well known
I want the police to be equipped for the situations they might or will encounter, and that includes surplus military gear sold down to them. What they need is better training, discipline, and accountability and for that we absolutely should not be "defunding" them.
`getenv()` never returns pointers that can be invalidated. If you `putenv()` something, you commit to never freeing it or overwriting it.
Bandcamp is the only music service I purchase music on and do so regularly. It will be sorely missed if it gets modified or mismanaged into oblivion.
OCaml can definitely do it (for example, you get a compiler error if you pass the wrong arguments to a `printf` where the format string specifies, say a number, but you pass in a string).

Rust can very likely do it by leveraging their `build.rs` stuff to parse and validate call sites of the registration and parameters.

Zig can probably do it with their comptime stuff.

In theory, Go could do the same (but that would mean special-casing the `net/http` handler registration in the compiler). At least `go vet` is smart enough to yell at you about wrong format string arguments.
Would you mind sending one?

EDIT: thank you very much!!
Dismantling the police union would do wonders for law enforcement in this country. It’s the only union that needs dismantling and the movement should have used that as their leading catchphrase.
How is it fair for creators to take my premium money AND force me to watch sponsor segments? That's double dipping. YouTube should have a system for marking segments so premium users don't have to watch those segments. Premium users pay with premium money and free users pay by watching YouTube ads + sponsor segments. Fair in my book
On Solaris/Illumos `putenv()` and `getenv()` are lock-less and really fast.

Basically, if you `putenv()`, you commit to never freeing that memory.
I just finished rereading this and it's always framed as the civilization. For the gzilt it would have been the government but it's not necessarily the case for all others that joined.
This is all true, but then if that's your desire then why are you using an iPhone? The only reason this is an issue is because you can't control what random data an iPhone might send out.
How do you make the new machine compute BB(754)? BB is the canonical example of an uncomputable function, precisely because you can decide the halting problem if you can compute it (or any upper bound). Granted, BB may be computed for specific arguments, as OP mentions for 1–4, but the existence of the ZFC-dependent machine is, at least to me, a very good argument that the boundary of what's possible is much lower.
Once you understand George's complaints about rent seeking you begin to see it everywhere. I don't think his proposals are a panacea but they would help with most problems in our society (e.g. housing affordability, income inequality). His theory is accepted by both heterodox and orthodox economists but unfortunately hasn't had enough mainstream political interest to prove its utility.
It should never use locks. Solaris/Illumos' getenv() is lock-less. Every C library should copy that pattern.
Great read! And very informative.
And on the flip side, there have been a number of instances where, in cases where the behavior differs, the Golang documentation describes a function only as it behaves with the Golang-native implementation, rather than the system implementation which ends up being the default - without calling any of this out
No, they are members of the parliament.
If that is legimately the case then you are probably working fore a bad company. I would caution you to confirm that your engineering manager isn't working in the background on a bunch of non engineering tasks that kept the engineers more productive.

IMO, my modus operandi as an engineering manager is to body all the work that I can handle for a team that lets the team stay focused on the engineering work and be more productive.
> Many commercial entities anyway need your actual identity (like banks)

I wish. Digital signatures (Handysignatur) have been available to the masses in Austria for 10+ years, but I have yet to see one of the big banks being able to accept a digitally signed document. It's still the "visit your bank in person" process.
Hi, we made a research prototype to gather human thoughts, opinions, and perhaps emotions about a fully automated AI art gallery.

The computer generated images in a weird way by using random
noise and mixing the prompt embeddings.

It results in a lot of broken or corrupted images but also some unique images.

The page contains some technical details and some opinions about generative AI art.
It depends on the nature of the work but technical work (which -like most people here- is I assume what we're talking about) requires a lot of time investment to truly understand and give meaningful feedback.
I'm sure it's a bit more complicated than that. But hey, let's geek out a bit more on the surveillance/civilian murdering technology!

Edit: just read the Wikipedia article about the plan. It, indeed, is more complicated than that.

https://en.wikipedia.org/wiki/Realignment_plan
We are sort-of scouting the area with a few potential small prospects.. the feedback so far is very positive, but none have committed cash on the table. Hard sales process is expected and at the same unnerving: we're in b2b market and a narrow, highly specialized niche - finding the right clients is tough (and we don't have the cash and/or time for that).
It’s network effects.

Because a buyer’s agent won’t show a house that isn’t listed by another member of the cartel. So if you want most buyers to see your property, you have to use the cartel.

And you don’t get to view a cartel house unless escorted by a buyer’s agent. Also, the seller’s agent will discourage the seller from accepting offers from buyers not represented by the cartel. So if you want to see most properties, and have your bit taken seriously, you again have to use the cartel.
Sure, here's an example:

https://stackoverflow.com/q/11635/265521

It's the top result for "case insensitive string comparison in C++". It has 372 votes and a ton of useful high quality answers. But it was closed 5 years ago for being "opinion based". Presumably because the author made the foolish mistake of asking for the best way to do it, rather than just a way to do it.

I don't see how anyone could defend that.

That's not cherry picked, and actually the situation is worse than it might seem to a casual observer because when you do occasionally manage to reopen a question (quite difficult) it leaves no evidence that it was ever closed.
Yep. But I think it's easy to show that this is circular, since you can't know BB(754) without knowing whether it runs forever.

And you can't prove that it'll run forever without seeing it go past BB(754) and still keep going

BB(754) is X if ZFC is consistent, Y otherwise

Since you can't prove that ZFC is consistent (only disprove), you can't know BB(754), which is the thing we were trying to use to determine whether ZFC is consistent in the first place!

The definition doesn't make it obvious, but this is just the same as plain Gödel incompleteness, we can't get any extra info about ZFC even in principle (unless we happen to see it halt, by chance)
Find one that takes advantage of the speedup. A great many probably wouldn't.
> As the money got bigger we got more grifters / professional manager types. First thing they do is rebrand middle management as “leaders” and the other thing they do is make management non technical.

God I hate this, having to attend all of these "brown bag" meetings where we get talked down to by these grifter types about "devops mentality" or whatever or BS they've latched onto

Who gave these people the right to wave their hands in the air and talk about bullshit all day? Where do these people come from? Is it nepotism or something?

To be frank, I'd rather trade some money to never have to interact with these fuckers ever again. They're literally a disease. Or at least, unionize, but don't demand money, demand that these people shut the fuck up, permanently, or gtfo
When using green threads/fibers/coroutines, an interesting technique to make signal handling safer is to run the signal handler asynchronously on a separate fiber/green thread. That way most of the problems of dealing with signals go away, and there's basically no limitation on what you can do inside the signal handler.

I've successfully used this technique in Polyphony [1], a fiber-based Ruby gem for writing concurrent programs. When a signal occurs, Polyphony creates a special-purpose fiber that runs the signal handling code. The fiber is put at the head of the run queue, and is resumed once the currently executed fiber yields control.

[1] https://github.com/digital-fabric/polyphony
There is a great list of many alternative frontends I found here: https://github.com/mendel5/alternative-front-ends

They work well for internet archiving too, e.g. when Twitter or Reddit are being annoying and showing popups/login redirects/etc. you can replace the URL with an alternative frontend version and archive the content without the cruft.
We don't need to know BB(748), just an upper bound on BB(748).

... which means we can't prove any upper bound on BB(748) within ZFC.
Assessment definitely isn't easy, but some fairly simple solutions exist.

For example, people could self-assess their land's value. To stop people low-balling the assessment, the Government could have an option to purchase the land at some % above the assessed price and then on-sell it. This way all valuations are linked to a market price rather than a bureaucratic process.
There is no reason that `getenv()` should ever lock -- it should always be lock-free. `putenv()`/`setenv()`/`unsetenv()` can lock, of course, since there's no point allowing more than one writer at a time.

Don't believe me? Look at this work of art (the entire file!): https://src.illumos.org/source/xref/illumos-gate/usr/src/lib...
Those redirections happen further in the stack. You are ok reading settings from /etc/resolve.conf, which frequently points to a localhost daemon that redirects your calls to whatever DNS setting you have in your connection.

But parsing /etc/resolve.conf and using it is all that you need in your code.
Regarding orthographic depth, I think you can test your claim by asking people to read aloud some written text (or to write down something that you say). At least in Finnish, I think you will hear the "written standard", that is, the speaker won't translate from the written language to the spoken language as if there was orthographic depth.

(In the other direction, you may have to ask people to "write in the dialect", because it's so common to "clean up" text by removing the colloquial features of speech.)

The alternative, more common explanation is that there are two different registers of the language, one more suitable in writing and one more suitable in talking.
Teach me this!
It's funny, I knew a fairly junior guy 4 years ago there on the east coast and he was portraying an image of being constantly under the gun and overworked.
> Over time, many niches will be created but usually it starts with one big winner taking it all.

Usually, yes. But in this case it appeared to have started with multiple small providers, with multiple non-half-baked services. There doesn't appear to be a moat for anyone in this market.

Unlike streaming video (Netflix, et al) which has a moat (exclusive content), or social media (network effects), or ad industry (eyeballs).

With AI there is no moat that I can think of (quite happy to be provided with potential counter-examples, even if they are only hypothetical).

Let me try a different way to explain it: If you're building an ad network, a social media service, a SaaS dev-product provider, a video streaming service, etc, you will be unable to convince users to switch just by having a better product. The moat will keep them on the worse product (eyeballs, network effect, legacy support, exclusive content respecitively) no matter what you do.

With AI, there is no moat that I can think of - if you were to start an AI product today, what is the AI-specific moat you can use to keep out future competitors? Legislation, maybe?

I'm not sure that iPhones are a good example. It's a product, not a service. By definition there's no moat.