Yeah I agree the table is very odd, but the project looks awesome anyway. Some users may care about things using native widgets when it comes to theming and stuff, though I wouldn’t even know what I’d call “native” on Linux. Is GTK native? Qt?

They explain it a bit here: https://mitchellh.com/writing/ghostty-and-useful-zig-patterns

Also, calling out the warning signs, my bar for a native platform experience is that the app feels and acts like a purpose-built native app. I don’t think this bar is unreasonable. For example, I don’t think it’s unreasonable to say that Alacritty is kind of not native because new windows create new processes. Or that Kitty is kind of not native because tabs use a non-native widget. And so on (there are many more examples for each).

So nothing wrong with Kitty on MacOS e.g., but the “feel” is not native. Personally don’t care too much about that, but the author seems to do.

I’ll never get over how cool animated code folding looked when I first saw it. I love my terminal but man that’s sexy. Reminds me of some of the original demos of Dion. I feel there is definitely room to reinvent how we view and edit code.

Absolutely nothing comes close to the thinness and lightness, combined with battery and performance of my M2 Air. And that’s not to mention that Apple’s touchpads are still so far ahead of everyone else that I’d like to laugh about it, but it’s too embarrassing for that. It’s not like I’m not aware of the linux/windows alternatives, it’s that there simply are no alternatives…I’d rather deal with Apple’s shit software instead of everyone else’s subpar hardware, because software is changeable.

Also, since the Asahi team actually knows what they’re doing, it turns out that their linux support on Apple Silicon is often better in a lot of ways than most windows-centric laptops. They take a long time to support certain hardware capabilities, but once they do you can be sure that it works flawlessly. Can’t say the same about any other laptop I owned before (although Framework, System 76 and Tuxedo laptops are probably good in that regard).

Also, while the keyboard on my Dell XPS broke a whopping 5 times in the last few years, the Macbook Air has yet to show any signs of wear. The reason I got a Macbook is because I need to get work done and need a reliable machine for that. And what can I say, my god has it ever been reliable.

May not be the most popular choice, but I absolutely love Sublime Merge. Only issue I have is that it doesn’t support workspaces. But I love how it doesn’t abstract git away. Most actions in the UI are just called like the underlying git command, there are no non-git things like a “sync”. Plus you can always click on the top to see which commands exactly were executed and with what output. And it’s Sublime-typical wicked fast.

It’s an unlimited free trial with the dark mode disabled. License costs $100 and lasts for 3 years of updates.

People keep saying this happened only because vaxry got banned from the FDO, completely forgetting the fact that hyprland has used their own modified fork of wlroots for ages now. They’ve wanted to get away from wlroots even before this whole fiasco, it really just tipped the needle for them to finally pull the trigger.

Mind you also, the ban in no way prevents hyprland from using wlroots still. The only thing the ban did was prevent vaxry from contributing to wlroots upstream, which is damn unfortunate if you ask me.

That clitic broke my brain.

I like Sublime Text and Sublime Merge and use both daily.

according to the Asahi guy, it doesn’t work correctly for ARM: https://social.treehouse.systems/@marcan/111018734178152229

I am utterly oblivious to how neofetch works, but it does seem to need updates to support newer tech.

Seems like this one’s not on Nintendo actually https://twitter.com/MonikaCinnyRoll/status/1783244871119106415

Yeah one of the Asahi guys was also confused about why people still use neofetch: https://social.treehouse.systems/@marcan/111018734178152229

I For Of Can’t The The Wait Fall Bourgeoisie

I believe the main thing people liked about Floorp is tab grouping and vertical tab layout à la Vivaldi, and a more modern and slim design out of the box, while keeping a firefox core instead of being another chromium based browser.

shoutouts to simpleflips

Wow that firefox css is looking real nice. Thanks for sharing.

what about Haribo

Oh I would never use bluetooth on PC, that adds input latency like crazy. I was talking wireless only ever over 2.4Ghz with the 8bitdo adapter. Even there the KK2 had really bad latency while all the others were fine. The KK3 Max actually comes with its own adapter to achieve 1000Hz wirelessly (I got only around 880, but still higher than all the others on stock which are usually stuck on 250 or 500Hz. You can overclock the PS5 to 1000 when wired but I never did).

Also since you mentioned them going for an elite controller style with the KK3 Max, I wouldn’t count on its back pedals. Personally I find they make it impossible to hold the controller. I’ve never liked the back pedals on the Xbox Elite, and I like them even less on the KK3, while I found the one on the 8bitdo ultimate really nice (though I never used them anyway).

As for the branding I have no clue. They did have a US/Target version of the KK2 Pro called the Zen Pro which was the exact same controller, just sold at Target. I think they’re just weird with their naming.

On that note, I’ve also heard there is supposed to be more budget versions of the KK3 Max coming out over the year (I think it was two more), similar to how they had a KK2 and KK2 Pro.

Just want to mention that Guilikit now have the KK3 Max which has some improvements over the KingKong 2. It’s also possible to grab a PS5 controller and connect it to your switch with an 8bitdo wireless adapter.

I have both Guilikits, an 8bitdo ultimate and the ps5 combo here. The 8bitdo ultimate is certainly the safest option of the bunch, but I like the KK3 Max most.

The KingKong Pro 2 has some massive polling rate issues. If you want to use the thing wirelessly on PC, you’re stuck at 60Hz and it’s not even very consistent, which is awful compared to all the others. Not sure how it’s looking on switch since it’s difficult to measure that, but I feel like it’s similarly much slower than other controllers.

The KK3 Max doesn’t have that issue, though I haven’t done any latency testing yet. In terms of Gyro, the KingKong Pro 2 was also pretty bad, no way I could play splatoon with that. I don’t know if that’s improved on the KK3 Max, I haven’t tried gyro yet so I can’t comment on it.

While I’ve had no hardware failures with either of them (I’ve only had the KK3 Max since yesterday), they also don’t exactly give me confidence that they won’t. It’s not that they’re badly built, but in particular the stick caps and should buttons just feel like they might give out fairly early. I will say that I find them by far the most comfortable though, and I love the material they used, it feels really nice, especially compared to the 8bitdo ultimate’s cheap plastic. I also find the back triggers to be much better than the others. On the KK3 Max they have this new digital trigger mode and it’s awful, but the normal analogue trigger feels fantastic. On the KK2 the triggers were pretty nice also.

PS5 controller’s battery life is awful. Also the experience can vary depending on the adapter used, the Mayflash Magic ones I found to be significantly worse than the 8bitdo adapter.

The 8bitdo ultimate is just an allrounder. I don’t like the shape and materials used, as well as the way the back triggers feel. All those points are better on the Guilikit, but then again the 8bitdo certainly is built better and I can say that it has 0 polling rate/latency issues and its gyro works great, which is why I say it’s the safest options.

Also, no matter what 3rd party controller you’ll get, you won’t ever find a replacement for the original Switch Pro’s HD Rumble stuff. In fact, Rumble is always a little awkward on all of these controllers I find.

This Isabelle

just do everything in Isabelle and prove correctness, ezpz no tests required