gfaster

8 ms·

1.
by gfaster 1mo ago
I think that's partly why they do it? If you care about that, you should pay?
2.
by gfaster 4mo ago
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 ques
3.
by gfaster 5mo ago
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
4.
by gfaster 8mo ago
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 fro
5.
by gfaster 8mo ago
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 th
6.
by gfaster 8mo ago
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 describe
7.
by gfaster 9mo ago
> 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 comp
8.
by gfaster 9mo ago
> 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
9.
by gfaster 9mo ago
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~
10.
by gfaster 9mo ago
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.
11.
by gfaster 10mo ago
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
12.
by gfaster 10mo ago
As another comment pointed out, GP founded Handmade Network: https://handmade.network/m/abnercoimbre
13.
by gfaster 10mo ago
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://ali
14.
by gfaster 10mo ago
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...
15.
by gfaster 10mo ago
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 disregar
16.
by gfaster 10mo ago
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
17.
by gfaster 1y ago
Unless I'm misunderstanding, that's effectively implementing Future for the struct
18.
by gfaster 1y ago
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,
19.
by gfaster 1y ago
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
20.
by gfaster 1y ago
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 f
21.
by gfaster 3y ago
Debian has apparmor-profiles but it’s too immature to enforce by default.
22.
by gfaster 3y ago
You can experience that today by visiting 4chan.
23.
by gfaster 3y ago
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.
24.
by gfaster 4y ago
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.
25.
by gfaster 4y ago
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.
26.
Debian Jr. Project(debian.org)
6 points by gfaster 4y ago|0 comments
27.
by gfaster 4y ago
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...
28.
by gfaster 4y ago
Well, Canonical did put ads in apt[1] [1]: https://askubuntu.com/q/1434512
29.
by gfaster 4y ago
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 vid
30.
by gfaster 4y ago
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 ea

More ›