Viewing profile — 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, bu…

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…

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 con…

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…

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 o…

> 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 on…

> 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 fa…

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 work…

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 co…

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 …

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…

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 th…

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,…

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 intui…

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 yo…

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…

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.