![](https://programming.dev/pictrs/image/8564c4f4-21ff-43ab-996b-13d1a897d922.png)
![](https://programming.dev/pictrs/image/170721ad-9010-470f-a4a4-ead95f51f13b.png)
Hom functors exist for locally small categories, which is just to say that the hom classes are sets. The distinction can be ignored often because local smallness is a trivial consequence of how the category is defined, but it’s not generally true
Hom functors exist for locally small categories, which is just to say that the hom classes are sets. The distinction can be ignored often because local smallness is a trivial consequence of how the category is defined, but it’s not generally true
Before I blocked the instance I had nothing but miserable interactions with Hexbear users, and it had nothing to do with political opinions.
I fail to see any reason to prefer Void over Arch. Few people really care about using systemd or glibc.
I don’t see the duality
Is the duality statement meant to be true in a technical sense?
Haven’t heard of 0x10c since 2012. Shame it was canceled, I love Elite and would love more games in its niche
This maze is extremely easy
What platforms would you like your app to run on? Then, which UI framework supporting those platforms would you like to use? Then, look at the framework’s documentation to find a sample starter project that you can run as an app, and modify it from there
All cloud providers will support budget notifications. That doesn’t do much good when you shoot past the budget in a short timespan. I set a Google cloud budget of $20/month and enabled a Tensorboard instance, which had no observable indication that it cost anything except the base cost of the VM, and got notified that I was $280 over budget the next day. Apparently there was an upfront $300/month/user fee for Tensorboard. (Several months later they changed the pricing model to $10 GiB/month with no user fee.)
If you have a lot of semantic breakpoints (like the end of a concept) that don’t line up with syntactic breakpoints (like the end of a method or expression body) your code probably needs to be refactored. If you don’t, then automatic code formatting is probably all you need.
I understand… In a programming environment 99.999% of tabs aren’t after any other text.
Err, why would there ever be something besides a tab before a tab? Are we doing ASCII art?
C# tells you the call site/method name and line number right at the top. It’s only really annoying when you have aggregate exceptions, which sometimes occur because someone async’d wrong
100 gang (but not for python, just let black defaults do its thing)
Seeing un-blacked python code is like finding out someone doesn’t wash their hands. Literally what the fuck
Yeah but survival is the worst part about minecraft.
bullet_idx
Yes, with Iosevka font