Gormo

46 ms·

781.
by Gormo 2y ago
What you're seeing might be a smudge on your glasses. Legally, there is no such difference.
782.
by Gormo 2y ago
> Funnily enough Valve tried to make Steam OS happen before Proton was a thing, for some reason they just expected games developers to port their games to Linux on their own dime. Proton is just a fork of Wine. Wine had already been aro
783.
by Gormo 2y ago
SteamOS is a Linux distro that originally came out in 2013. Proton is a custom version of Wine that came out later -- Proton has some added features for integration with Steam, but Wine has been around and has been working well for Windows
784.
by Gormo 2y ago
Wasn't SteamOS around long before the Steam Deck? I remember Valve releasing their custom Linux distro back when they were promoting the "Steam Machine" concept.
785.
by Gormo 2y ago
What do you mean? People in the US routinely use "quarter after" and "quarter to" when telling time.
786.
by Gormo 2y ago
But 15 minutes is a quarter of an hour regardless of whether you are using an analog or a digital clock to read the time.
787.
by Gormo 2y ago
The amendment process is slow and complex by design. It's not just a one-off supermajority, but rather a supermajority in both houses of Congress (or a special amending convention) followed by a supermajority of states each individual
788.
by Gormo 2y ago
Looks like heavily pixellated 24-bit art to me.
789.
by Gormo 2y ago
It's a great way to link to the source of a verbatim quote, though. It goes straight to the relevant context, and breaks only if the source of the quote itself is somehow changed, making the new inconsistency clear.
790.
by Gormo 2y ago
But that's the point of having constitutional limitations on political power and how it is exercised. Unfortunately, it's all to common to hear arguments that the exercise of political power should have no limitations so long as i
791.
by Gormo 2y ago
Congress being unwilling to draft legislation does not transfer the job of drafting legistion to appointed officials in the executive branch. Congress is the government for this purpose, and if you want the government to do something, the
792.
by Gormo 2y ago
Bitmap fonts can be scaled by integer factors without losing any crispness, and most high-DPI displays in common use today would look just fine with a 2x or 3x font upscale.
793.
by Gormo 2y ago
These settings worked, thanks! After testing Ghostty out for a while, though, I've realized that input lag is higher than xfce4-terminal, font rendering is blurrier with equivalent settings, the UI is still less consistent with my desk
794.
by Gormo 2y ago
> 160x200 video is a mistake however. Sounds like a perfect target for a port of the Sierra AGI interpreter!
795.
by Gormo 2y ago
Thanks, that worked. Apparently, the reload-config hotkey doesn't always work for certain changes. In this case, setting `gtk-titlebar = false` disabled the header bar -- only issue now is that there is no menu bar at all!
796.
by Gormo 2y ago
What doesn't make sense about it?
797.
by Gormo 2y ago
I'm using Linux with Xfce, but it seems to be locked into a Gnome-like look and feel, with header bars and CSDs that can't be disabled in favor of standard title bars and menus, so it's actually very inconsistent with the res
798.
by Gormo 2y ago
Looks interesting. I'm playing around with it on Linux (with Xfce), but can't figure out how to get rid of the CSD header bar / hamburger menu and use a normal menu bar instead. I see Mac screenshots with a normal Mac-style
799.
by Gormo 2y ago
> Are we once again at a point where it's time to start over? Ask Sisyphus. In the meantime, while everything else keeps going through newer iterations of XKCD 927 ( https://xkcd.com/927/ ), IRC keeps chugging al
800.
by Gormo 2y ago
No legislation is desired because legislation implemented for this kind of purpose inevitably ends up co-opted by the very interests it's targeted against, who rely on it to create barriers to entry for competitors and roadblocks for
801.
by Gormo 2y ago
Why would a business purchase a digital signage display that forced them to show someone else's ads?
802.
by Gormo 2y ago
TVs intended for digital signage usually contain modular computers meant to be controlled by the user.
803.
by Gormo 2y ago
> ...to stream from which content providers? For me, Netflix, Paramount Plus, and Disney+, along with Youtube. > They still have your viewing history So? That goes without saying. But the TV vendor doesn't get to spy on my date
804.
by Gormo 2y ago
So you're saying that Sceptre is the way to go?
805.
by Gormo 2y ago
Nope. They don't know any specific facts. The training data produces a probability matrix that reflects what words are likely to be found in relation other words, allowing it to generate novel combinations of words that are coherent
806.
by Gormo 2y ago
> Correct. The basic concept of truth in logic relies on an objective reality, an expression a priori holds truth even in the absence or indistinct of such a reality. But the truthfulness or correctness of a posteriori statements can dep
807.
by Gormo 2y ago
I don't think that definition works: it's attempting to categorize statements according to criteria completely external to them rather than according to any inherent property of the statement. A better definition is that a halluci
808.
by Gormo 2y ago
> Calling everything an AI does a hallucination isn't incorrect, but it reduces the term to meaninglessness. I don't think it does. In this case, "hallucination" refers to claims generated entirely within a closed sy
809.
by Gormo 2y ago
> They couldn’t give less of a crap if something is valuable to the world "The world" is an abstraction: concretely, every bit of value that is generated within that abstraction accrues to someone in particular -- investors i
810.
by Gormo 2y ago
Sure, using RAG is great, but it limits the LLM to functioning as a natural-language search engine. That's a pretty useful thing in its own right, and will revolutionize a lot of activities, but it still falls far short of the expecta

More ›