• 1 Post
  • 74 Comments
Joined 3 years ago
cake
Cake day: June 14th, 2023

help-circle
  • addie@feddit.ukto196@lemmy.blahaj.zoneYahoo Answers rule
    link
    fedilink
    English
    arrow-up
    3
    ·
    24 hours ago

    Yes to the days of the year - only sensible way to do it. Added bonus that the first day of each month is always a Monday, which makes it easy to calculate days-of-week in your head. Also, two days holiday at new year every leap year, yeah.

    Metric seconds is a bit trickier. Most units of measurement have ‘time’ in them in some way.

    The SI is obviously that way - length is defined as metres per second of light in vacuum, mass by fixing the Planck constant in kilogram metres squared per second. But Imperial units, besides the fact that they’re usually defined in law in terms of the SI, also have a lot of their derived units include time - mph and psi for instance.

    Unless you’re wanting to redefine basically every unit of measurement in your new system, then you need to stick with the second, which means you’re stuck with ~86400 seconds per day, because that’s how fast the world turns, and there’s no particularly better way to subdivide it.

    Although if your new calendar could also fix the damned mess that is time zones at the same time, I’d be willing to give it a shot.


  • addie@feddit.uktomemes@lemmy.worldML research
    link
    fedilink
    arrow-up
    8
    ·
    4 days ago

    Proving a thing that’s only known empirically is extremely valuable, too. We’ve an enormous amount of evidence that the Riemann hypothesis is correct - we can produce an infinite amount of points on the line, in fact - but proving it is a different matter.


  • Interesting, but misguided, I think.

    If you’ve selected Python as your programming language, then your problem is likely either to do some text processing, a server-side lambda, or to provide a quick user interface. If you’re using it for eg. Numpy, then you’re really using Python to load and format some data before handing it to a dedicated maths library for evaluation.

    If you’ve selected Go as your programming language, then your problem is likely to be either networking related - perhaps to provide a microservice that mediates between network and database - or orchestration of some kind. Kubernetes is the famous one, but a lot of system configuration tools use it to manipulate a variety of other services.

    What these uses have in common is that they’re usually disk- or network- limited and spend most of their time waiting, so it doesn’t matter so much if they’re not super efficient. If you are planning to peg the CPU at 100% for hours on end, you wouldn’t choose them - you’d reach for C / C++ / Rust. Although Swift does remarkably well, too.

    Seeing how quickly you can solve Fannkuch-Redux using Python is a bit like seeing how quickly you can drive nails into a wall using a screwdriver. Interesting in its way, but you’d be better picking up the correct tool in the first place.




  • Oh, that’s obnoxious. I thought it was another ‘button along the bottom’, but it takes up the space that should be ‘right control’? Bastards. Hopefully you can rebind it to something useful, even if the keycap symbol sucks.

    Mind you, I’ve already got caps-lock rebound as ‘control’ and alt-gr rebound as ‘compose’. My laptop has the ‘penguin’ key (it’s a Tuxedo laptop, no Windows key here) used for Sway. (My desktop keyboard is a Model M from before the days of Windows keys, have had to bind ctrl+alt as the ‘Sway Key’.) I’ve already got some ‘useless keys’ that I could rebind to other things - looking at you, print screen - but one you could press with your thumb while chording would always be nice.

    Those ZBooks look like fine laptops. If you installed Arch on them, obviously ;-)




  • Here in the UK, we usually end up with Aldis and Lidls very near to each other. It makes sense, since they occupy the same kind of ‘big warehouse locations in customer shopping estates’, although it would be nice to have them a bit more spread out.

    That does mean you can get the best of both very easily - Lidl for bread and cooked meat, Aldi for smoked mackerel and potato salad - and have two different ‘middle of Lidl’ selections of random goods. Absolute result…



  • addie@feddit.ukto196@lemmy.blahaj.zonerègle
    link
    fedilink
    English
    arrow-up
    3
    ·
    18 days ago

    Strictly, ‘like to eat’ and ‘like eating’ don’t mean the same either. ‘I (personally) like to eat’ and ‘I like eating (in general)’. Maybe you’re a chef and you enjoy watching others eating? Admittedly, that makes more sense when talking about eg. swimming or cycling, when you may enjoy the sport but not doing the activity.

    Nice observations on other ways that English is a mess, though - I’d not appreciated those before. You can make them worse by negating them - all those sentences need ‘do’ support, with different forms of ‘to do’ to agree with the rest of the sentence.


  • Indeed.

    In some ways, this kind of thing is ideal for Rust. It’s at it best when you’ve a good idea of what your data looks like, and you know where it’s coming from and going to, and what you really want is a clean implementation that you know has no mistakes. Reimplementing ‘core code’ that hasn’t changed much in twenty years to get rid of any foolish overflows or use-after-free bugs is perfect for it.

    Using Rust for exploratory coding, or when the requirements keep changing? I think you’ve picked the wrong tool for the job. Invalidate a major assumption and have to rewrite the whole damn thing. And like you say; an important choice for big projects as choosing a tool that a lot of people will be able to use. And Window is very big.

    They’re smoking crack, anyway. A million lines per dev per month? When I’m doing major refactoring, a couple thousand lines per week in the same language, mostly moving existing stuff into a new home, is a substantial change. Three orders of magnitude more with a major language conversion? Get out of here.





  • Menu bar at the top at least makes some sense - it’s easier to mouse to it, since you can’t go too far. Having menus per-window like Linux, or like Windows used to before big ugly ribbons became the thing, is easier to overshoot. (Which is why I always open my menu bars by pressing ‘alt’ with my left thumb, and then using the keyboard shortcuts that are helpfully underlined. Window likes to hide those from you now since they’re ‘ugly’, and also makes you mouse over the pretty icons to get the tooltip that tells you what they are, which is just a PITA. Pretty != usable.)

    Mac OS has had the menu at the top since before it was a multitasking OS. They had them there on the first Mac I ever used, a Mac Classic 2 back in 1991 or so, and it was probably like that before then too. It’s not like they’ve been ‘innovating’ that particular feature and annoying their users.


  • Data centre GPUs tend not to have video outputs, and have power (and active cooling!) requirements in the “several kW” range. You might be able to snag one for work, if you work at a university or at somewhere that does a lot of 3D rendering - I’m thinking someone like Pixar. They are not the most convenient or useful things for a home build.

    When the bubble bursts, they will mostly be used for creating a small mountain of e-waste, since the infrastructure to even switch them on costs more than the value they could ever bring.



  • addie@feddit.uktoSelfhosted@lemmy.worldRaspberry Pi 4B
    link
    fedilink
    English
    arrow-up
    7
    ·
    28 days ago

    Mine was my local Forgejo server, NAS server, DHCP -> DNS server for ad blocking on devices connected to the network, torrent server, syncthing server for mobile phone backup, and Arch Linux proxy, since I’ve a couple of machines that basically pull the same updates as each other.

    I’ve retired it in favour of a mini PC, so it’s back to being a RetroPie server, have loads of old games available in the spare room for when we have a party, amuses children of all ages.

    They’re quite capable machines. If they weren’t so I/O limited, they’d be amazing. They tend to max out at 10 megabyte/second on SD card or over USB / ethernet. If you don’t need a faster disk than that, they’re likely to be ideal in the role.


  • addie@feddit.uktoScience Memes@mander.xyzMakes perfect sense
    link
    fedilink
    English
    arrow-up
    26
    ·
    28 days ago

    Got the most actual quoted lines from the book of any film version, plus you’ve got all of Dicken’s direct-to-reader moralising delivered by Gonzo. And as well as being very faithful to the book, it is a superb film as well.

    Michael Caine excels as Scrooge, too. I wouldn’t say that he was better than Alastair Sim was in his version - that’s a performance that would take some beating - but there’s not much in it.