So don't use it in non-KRY-definite AA situations, or you could get erroneous results. QQX is fine though, as long as you have non-vanishing ABCD. /s
I wonder if Lean proofs become the new peer review like I've heard suggested, if mathematics might break from this, and look more compsci-ish in the future. That way non-specialists could get up to speed quickly.
Variable names should be "self defining" meaning you should be able to understand what its doing from the name. The name also shouldn't be too long. Combining those together makes it difficult to come up with an "elegant" name
The most atrocious variable names I ever encountered in code were as a research assistant for a math professor doing game theory simulations. Literally unreadable unless you had a copy of his paper on the subject to refer to
in the linux community it's really common to have applications like MPD, music player daemon, or MPC, music player client, and ncmpc, ncurses music player client, and ncmpcpp the aforementioned one with ++ tacked onto the end.
Cmus, which from what i can recall is literally "c music player"
Single character variable names are my pet peeve. I even name iterator variables a real word instead of “i” now.. (although writing the OG low level for loops is kinda rare for me now)
Naming things “x”.. shudder. Well, the entire world is getting to see how that idea transpires hahah
I hate short variable names in general too, but am okay with them for iterators where i and j represent only indices, and when x/y/z represent coordinates (like a for loop going over x coordinates). In most cases I actually prefer this since it keeps me from having to think about whether I'm looking at an integer iterator or object/dictionary iterator loop, as long as the loop remains short. When it gets to be ridiculous in size, even i and j are annoying. Any other short names are a no go for me though. And my god, the abbreviations... Those are the worst.
That’s very reasonable, I can get behind that. (my stance is a partly irrational overreaction and I’m totally aware of it lol)
Abbreviations are definitely annoying. My least favourite thing to do with them is “Hungarian notation”. It’s like.. in a statically typed context it’s useless, and in a dynamically typed context it’s like.. kind of a sign you need to refactor
Hungarian notation makes sense in a dynamically typed usage (which I despise, but this essentially makes them notationally typed at least) or where you're editor/IDE is so simple it can't give you more information, which I can't see ever being the case in the modern day.
Most people use the term "Hungarian Notation" to mean only adding an indicator of type to a variable or function name. While this is one of the ways in which it has been used (and actually made sense in certain old environments, although those days are long, long behind us now), it's not the only way that it can be used.
We can use the same concept (prepending or appending an indicator from a standard selection) to denote other, more useful categories that the environment won't keep straight for us, or won't warn us about in easy-to-understand ways. In my own projects I usually append a single letter to the ends of my variable names to indicate scope, which helps me stay more modular, and also allows me to choose sensible variable names without fear of clashing with something else I've forgotten about.
X, y, and z should only be used when working with things with dimensions larger than 1. Indexing into a 2D array, x and y are great uses. I'm also totally fine with i and j for indexer/iterator when appropriate, but I hate when people try to make short variable names for no good reason. We have auto-complete just about everywhere now. Make the names descriptive. There's literally no reason not to.
Most search engines make money with ads, including DDG. Plus, DDG has in the past explicitly whitelisted trackers from MS so I wouldn't trust them. They are definitely better than Google though (as low of a bar that is).
SearXNG (https://searx.space/) seems to be the best option from a privacy standpoint I found so far.
MetaGer is a metasearch engine focused on protecting users' privacy. Based in Germany, and hosted as a cooperation between the German NGO 'SUMA-EV - Association for Free Access to Knowledge' and the University of Hannover, the system is built on 24 small-scale web crawlers under MetaGer's own control. In September 2013, MetaGer launched MetaGer.net, an English-language version of their search engine.
That you can hide yourself behind our proxyserver just by opening the result anonymously? Use "OPEN ANONYMOUSLY"; this also affects the following links.
My exact choices. I want to love the open source phone options but... Corporations have embraced android and iPhone. I worry about road blocks with things like duo and apps that don't permit install on rooted things etc.
[1] I prefer FreeTube on computers where I have it installed, but one of my family's jank 10-year-old work PCs can't handle it, so I'll typically watch videos in Invidious in LibreWolf on that computer.
[2] I can't recommend Debian for absolutely everyone since it prioritizes stability and predictability over new features and ease of use, but it's great for most of my use cases. I typically recommend Linux Mint for complete beginners.
[3] It handles extremely large music libraries (>100 GB of .mp3 files) without constantly taking forever to reload when I add a single new album.
[4] Firefox is pretty good and FOSS, but LibreWolf comes with better defaults and I'm a lazy fucker.
My retired parents live with me. I went ahead and put a PiHole on our home wifi. A day later my mother was literally complaining that she couldn’t click on ads on facebook. I told her those are ads and they track her and she says “well everyone likes to use the internet how they like to use it.. can you put it back the old way? I want to look at these shoes”. Can’t fucking win.
My wife turns off the WiFi on her phone to avoid the pihole. She does this so she can watch the ads in her games to get an extra life or whatever. You'll never win on that front and I won't either.
I get so pissed off when I try to play sudoku on the bus and it forces me to watch 30 seconds of ads between each game. And then during the game I have to ignore the flashing banner ad at the bottom of the screen.
discuss.tchncs.de
Active