gfaster

I think that's partly why they do it? If you care about that, you should pay?

Whenever something like this comes up, I always think back to the excellent paper, "The Structure and Legal Interpretation of Computer Programs." I don't have a specific answer, but I like to review this paper whenever a question like this is posed.

https://papers.ssrn.com/sol3/papers.cfm?abstract_id=4445484

While there is overlap between vtuber communities and HN, the culture is quite different. When one does come up, it is eternally September on HN. In vtuber communities/culture, the persona of the vtuber is treated as entirely separate from the person behind it, even in cases where it's exceedingly obvious (e.g. someone leaves an agency to work independently).

At the very least, it is rude to disseminate, draw attention to, or even speculate aloud about the identity of the person behind the avatar. Typically it's considered harassment/doxxing (I believe this is because vtubing culture is largely derived from Japanese idol culture, which appears to be structured around dealing with stalkers). That is to say, "upholding the kayfabe" is a bare-minimum of respect.

I could see why people on the Asahi team considered HN to be a host of harassment, considering even a cursory search of HN turns up comments "compiling evidence" about Asahi Lina's identity (including one still-up comment that straight-up links to Kiwi Farms, which is almost certainly done for purpose of harassment). I'm not sure if Hacker News ought to be moderating comments that deconstructs pseudonyms where clear effort has been made to separate it from the person behind them, but I also empathize with not wanting to be linked to accordingly.

Investment is generally considered profit-seeking behavior (i.e. not rent-seeking). Building an apartment and renting it out is clearly profit-seeking behavior, but if you were continuing to rent it out doing the bare minimum to keep it from falling over 40 years later, that would be pretty clearly rent-seeking.

From this, we can conclude that there must be some point after an investment is made where continuing to benefit from it transitions to rent-seeking behavior.

I am well aware of what the phrase means, and I re-read the Wikipedia article to be sure. Maybe you read the use of the word in a different way than I did, but I helpfully included my precise interpretation of it in my comment to clarify the meaning.

> the term "rent seeking" has literally no place in a discussion about landlords

Having "literally no place" is certainly a strong choice of words, particularity as it was introduced in this thread as being a inaccurate label to apply to landlords.

Personally, I first learned about the term applying it to Feudalism, in which the (land)lords' only contribution was their ownership of the land. That example alone seems to pretty handily disprove your claim of "literally no place", in fact it's specifically cited in the Wikipedia article as the Georgist interpretation of economic rent.

gp used "rent seeking" correctly.

The concept of "landlords do nothing while collecting passive income, therefore not creating any value but instead are just exploiting that they own the land" would be correctly described as "rent-seeking behavior".

> that is asinine and unscientific

Well, yes. I did say something to that effect. Blaming BSODs on invasive anti-cheat out of principle is a political position, not a scientific one.

> During the same time period when people were complaining about BSODs, I didn't experience one. I was running the same build of the game as them and playing on the same difficulty and sometimes recording it via OBS (just like they were). What I didn't have was a AM5 motherboard, I have and older AM4 motherboard which doesn't have these problems.

I understand what you're saying here, but anyone who does a substantial amount of systems programming could tell you that hardware-dependent behavior is evidence for a hardware problem, but does not necessarily rule out a software bug that only manifests on certain hardware. For example, newer hardware could expose a data race because one path is much faster. Alternatively, a subroutine implemented with new instructions could be incorrect.

Regardless, I don't doubt that this issue with Helldivers 2 was caused by (or at least surfaced by) certain hardware, but that does not change that given such an issue, I would presume the culprit is kernel anticheat until presented strong evidence to the contrary.

> So I am extremely sceptical of any claims of BSODs because of a game.

Generally speaking, I am too. That is unless there is kernel-level anticheat. In that case I believe it's fair to disregard all other epistemological processes and blame BSODs on the game out of principle

Dropping back here to say that I have been playing around with Monado + OpenComposite + WlxOverlay and while it's been plenty janky, it has actually usable performance when it works.

Thanks for the information~

The splash page on that website seems to be primarily AI-generated images. It looks cheap to say the least - such an obvious corner cut it's hard to have confidence in the product.

That it is Undefined Behavior for a loop with a non-constant conditional and that doesn't cause side effects in its body to not terminate.

For example, you can use this make the compiler "prove" the Collatz Conjecture:

https://gcc.godbolt.org/#g:!((g:!((g:!((h:codeEditor,i:(file...

As another comment pointed out, GP founded Handmade Network: https://handmade.network/m/abnercoimbre

Oh wow nice catch - I was not at all familiar with the limitations. I would've hoped for a warning there, but I suppose it is a research project.

I was able to get it working with unrolling and narrower integers:

https://alive2.llvm.org/ce/#z:OYLghAFBqd5QCxAYwPYBMCmBRdBLAF...

In C, I'm pretty confident the loop is defined by the standard to terminate.

Also I did take the excuse to plug it (the optimized llvm ir) into Alive:

https://alive2.llvm.org/ce/#g:!((g:!((g:!((h:codeEditor,i:(f...

That seems super far fetched given that 37%[1] of the world's population does not have internet access. You could reasonably restrict further to populations that speak languages that are even passably represented in LLMs.

Even disregarding that, if you're making <3000 euros a year, I really don't think you'd be willing or able to spend that much money to let your computer gaslight you.

[1]: https://ourworldindata.org/internet

Ironically, I'm considering installing Bazzite alongside NixOS because it's proven to be nearly impossible to run SteamVR properly with how Steam is packaged

Unless I'm misunderstanding, that's effectively implementing Future for the struct

From my perspective, not having to deal with strings is one of the big benefits, but I believe the main argument is actually that it trivializes alpha equivalence.

As for renaming, if you're going to be looking at every binding anyway, changing most of them is no big deal (unless of course that entails doing many deep copies)

I used De Bruijn indices when attempting to prove correctness of a toy language of mine. It's an elegant solution, but I found them exceedingly difficult to reason about both intuitively and in proofs. That being said, I've yet to find a better system (that isn't just augmenting De Bruijn indices) for implementing any sort of lambda calculus.

Lean is more complex to develop in than most programming languages since it relies heavily on interactive programming, i.e. the context pane. The "easy way" is with a plugin.

If you're interested in learning more about Lean for writing proofs, I would recommend The Mechanics of Proof [0]. It strips out a lot of the convenience tactics in Mathlib to focus on the more primitive mechanisms Mathlib builds on.

[0]: https://hrmacbeth.github.io/math2001/index.html

Debian has apparmor-profiles but it’s too immature to enforce by default.

You can experience that today by visiting 4chan.

On linux, I'd want it to be dictated by my DE or WM. I have Super+shift+q set to close windows on my machine, so I wouldn't be crazy about software adding its own keybind to do the same.

In an update on the article, it reveals that it relies on an algorithm that breaks down with larger N for an unknown reason.

It seems like we're safe for now.

On a couple of your points:

- fractional scaling is a known sore spot, but it seems like it's getting better fast. Wayland finally has fractional scaling and the upcoming release of KDE is coming with proper fractional scaling support.

- The laptop sleep setting is some that can be (sometimes) fixed by changing a bios setting (called something along the lines of 'Sleep State'). It's part of a Microsoft + Intel initiative to make PCs "more like smartphones," with all the extra "user friendliness" you would expect from that.

The international standard is actually life + 50 years, but US and EU along with South Korea, Japan, and many others are at life + 70.

see: https://en.wikipedia.org/wiki/List_of_countries%27_copyright...

Well, Canonical did put ads in apt[1]

[1]: https://askubuntu.com/q/1434512

I absolutely understand that argument, but this seems like one of the few cases where this tremendous consolidation provides a net public benefit. Despite its flaws, YouTube is still an excellent platform and resource, and it seems that video streaming is still impossible to do well without Google-level resources.

I honestly think there isn't a good solution here. If Google didn't prop up YouTube, we would lose the utility of free* video streaming and hosting. Other than Google, it seems like the only organizations in the world with the resources to maintain YouTube would be far worse (i.e. governments).

This isn't to say Google shouldn't be broken up, but YouTube's existence is perhaps the best argument against it.

Related anecdote, my (small) school had acquired a /16 way back and so today, every single device on the network gets its own public ipv4. It was an absolute mess for security (imagine a small army of first year CS majors setting up each a Raspberry Pi) but it was kinda fun being able to experiment with servers without having to worry about NAT.

Sorry for late reply, but I meant the former. I find it plausible that even with robust public transit, the idle miles driven by rideshare do not incur any net benefit.