Skip Navigation

InitialsDiceBearhttps://github.com/dicebear/dicebearhttps://creativecommons.org/publicdomain/zero/1.0/„Initials” (https://github.com/dicebear/dicebear) by „DiceBear”, licensed under „CC0 1.0” (https://creativecommons.org/publicdomain/zero/1.0/)B
Posts
9
Comments
743
Joined
3 yr. ago

  • Nothing. And that's why people don't write equations like that: You either see

     
        
         4
    6 + ---
         2
    
    
      

    or

     
        
     6 + 4
    -------
       2
    
      

    If you wrote 6 + 4 / 2 in a paper you'd get reviewers complaining that it's ambiguous, if you want it to be on one line write (6+4) / 2 or 6 + (4/2) or 6 + ⁴⁄₂ or even ½(6 + 4) Working mathematicians never came up with PEMDAS, which disambiguates it without parenthesis, US teachers did. Noone else does it that way because it does not, in the slightest, aid readability.

  • Those two things are memorisation tasks. Maths is not about memorisation.

    You are not supposed to remember that the area of a triangle is a * h / 2, you're supposed to understand why it's the case. You're supposed to be able to show that any triangle that can possibly exist is half the area of the rectangle it's stuck in: Start with the trivial case (right-angled triangle), then move on to more complicated cases. If you've understood that once, there is no reason to remember anything because you can derive the formula at a moment's notice.

    All maths can be understood and derived like that. The names of the colours, their ordering, the names of the planets and how they're ordered, they're arbitrary, they have no rhyme or reason, they need to be memorised if you want to recall them. Maths doesn't, instead it dies when you apply memorisation.

    Ein Anfänger (der) Gitarre Hat Elan. There, that's the Guitar strings in German. Why do I know that? Because my music theory knowledge sucks. I can't apply it, music is all vibes to me but I still need a way to match the strings to what the tuner is displaying. You should never learn music theory from me, just as you shouldn't learn maths from a teacher who can't prove a * h / 2, or thinks it's unimportant whether you can prove it.

  • x/0 is the set {+inf,-inf}, fite me IRL.

  • Should be \~ in most shells, certainly bash. Use mkdir and rmdir when messing around to prevent accidents.

  • Learning the actual algebraic laws, instead of an order of operations to mechanically replicate. PEMDAS might get you through a standardised test but does not convey any understanding, it's like knowing that you need to press a button to call the elevator but not understand what elevators are for.

    Though "lazy teachers" might actually be a bit too charitable a take given the literacy rates of US college graduates mastering in English. US maths teachers very well might not understand basic maths themselves, thinking it's all about a set of mechanical operations.

  • Why? Because a bunch of dead Greeks say so!

    The Greeks certainly didn't come up with PEMDAS. US teachers too lazy to teach kids actual maths did. And that's before taking into account that the Greeks didn't come up with Algebra.

  • Your ld.so contains:

    Entry point address: 0x1d780

    EDIT: ...with which I meant, modulo brainfart: My libc.so.6 contains a proper entry address, while other libraries are pointing at 0x0 and coredump when executed. libc.so is a linker script, presumably because GNU compulsively overcomplicates everything.

    ...I guess that's enough for the kernel. It might be a linux-only thing, maybe even unintended and well linux doesn't break userspace.

    Speaking of, I was playing it a bit fast and loose: _start is merely the default symbol name for the entry label, I'm sure nasm and/or ld have ways to set it to something different.

  • You're trying to transmit power via magnetism so distance is an issue.

  • Aluminium is actually a better conductor than copper when you judge it by mass, not volume. I think also by tensile strength.

    In any case there's a reason that large overland wires aren't copper, but steel-cladded aluminium. Copper will always have its applications but so does gold and yet we're not running out of gold to plate connections with.

    In cases like windings requiring more volume is actually an issue, in the case of PCBs... no, despite Apple's insistence, it's actually fine to have a phone that's 0.2mm thicker.

  • For completeness sake there's Low Saxon "Slunt", note the n, meaning "rag" as well as "disorderly, dirty person". If you want to use it call a woman promiscuous have the decency to use the diminutive. Not related to German "Schlund", gullet, that'd be Slunk. I can't find any proper etymology but my guess would be that English lost the "n" at some point.

    Funnier are words like Gröönhöker. That's the same roots as "green" and "hooker" but it's not what you think, it's someone who can hook you up with the green stuff, a greengrocer. Or the perfectly cromulent toponym Quickborn meaning "lively spring".

  • How does executing a program actually work?

    Way too long an answer for a lemmy post

    It has an executable flag, but what actually happens in the OS when it encounters a file with an executable file?

    Depends on OS. Linux will look at the first bytes of the file, either see (ASCII) #! (called a shebang) or ELF magic, then call the appropriate interpreter with the executable as an argument. When executing e.g. python, it's going to call /usr/bin/env with parameters python and the file name because the shebang was #!/usr/bin/env python.

    How does it know to execute “main”?

    Compiled C programs are ELF so it will go through the ELF header, figure out which ld.so to use, then start that so that it will find all the libraries, resolve all dynamic symbols, then do some bookkeeping, and jump to _start. That is, it doesn't: main is a C thing.

    Is it possible to have a library that can be called and also executed like a program?

    Absolutely. ld.so is an example of that.. Actually, wait, I'm not so sure any more, I'm getting things mixed up with libdl.so. In any case ld.so is an executable with a file extension that makes it look like a library.

    EDIT: It does work. My (GNU) libc spits out version info when executed as an executable.

    If you want to start looking at the innards like that I would suggest starting here: Hello world in assembly. Note the absence of a main function, the symbol the kernel actually invokes is _start, the setup necessary to call a C main is done by libc.so. Don't try to understand GNU's libc it's full of hystarical raisins I would suggest musl.

  • Pure SQL, as in relational algebra, is LOGSPACE/PTIME. Datalog is PTIME-complete when the program ("query") is fixed, EXPTIME-hard otherwise.

    It's all quite tractable, but there's definitely turing-complete declerative langugages. Not just pretty much every functional language, but also the likes of prolog.

  • Functional is also declarative because control flow is implicit/unspecified.

    What's actually missing is logic programming, of which the likes of SQL are a subset.

  • Gigaset produces in Germany.

  • It's fine memes are permitted to make jokes and it's more of a paradigm than vibe coding.

    The one paradigm that's actually missing is logic programming, I would've gotten rid of unstructured to include it. The whole paradigm thing really only started with Dijkstra's rant about unstructured gotos (not the ones C has, in C you can't jump to the middle of another function).

  • Not reliably, no. Python is too dynamic to do that kind of thing without solving general program equivalence which is undecidable.

    Use a static language, problem solved.