Skip Navigation
Total Denotational Semantics (blog)
  • If was half a joke, but that mathematics might as well have been hieroglyphics.

    Would you class this as computational theory? As a software developer is this field likely to be used in a day to day manner or is it more abstract than that?

  • Confused about multiplying floating-point & integer values
  • I've been hiring programmers recently. A year or two experience wins out over a degree almost any time. I don't know if there are any developers (or even website administrators) at you current job, but if there are I'd see you if you can start by helping them out, maybe helping out when they're on leave or picking up little jobs and then you'll get your foot in the door in no time at all.

    Actually the last dev I hired had no experience at all, I just really liked him, and he's turned out brilliantly.

  • Solar will get too cheap to connect to the power grid.
  • But generally they would be parked, right? At the office, or transport hubs? Maybe that's where the batteries need to be installed. Take the responsibility off private citizens and install it where there's going to be a mass of cars parked.

  • What's a phrase you hear a lot, but disagree with?
  • I'd only ever say it while referring to myself, and when I do it's not of a consolation to myself or maybe as a way to tell the other person to not feel sorry about distracting me and making me forget. Is that the same way you interpret it?

  • Hexcodle #342
  • Woah, what an awesome game. Took a couple of games to get the hang of, but then after going back a few days I got:

    I got Hexcodle #339 in 3! Score: 84%

    🔼🔼✅⏬🔼⏫ 🔽✅✅🔽🔼🔼 ✅✅✅✅✅✅

    https://hexcodle.com

  • What bizarre misconceptions do people have about your field?
  • When I lost my credit card overseas I was issued an emergency replacement by MasterCard and it only had MasterCard branding. I guess sometimes they issue cards (unless they got a bank to print it without their branding).

  • Deleted
    *Permanently Deleted*
  • I'm going to throw this idea into the mix. It's how I'd handle the situation and it's generally worked pretty well for me. Ideally you'd send a message like this when your friend is online and playing but it really doesn't matter when you send it.

    "Hey mate, just noticed you and x and y are online. Mind if I jump in for a bit? Be great to have a game or two"

    Nice and relaxed, no pressure, no coming off as needy. There's the possibility he'll say it's not the right time or they're working on something together - that's fine too, at least you know why. If you join in just play a game or two unless you really feel your gelling with them. Whether you stick around or drop out follow it up with.

    "Good game guys, thanks for letting me drop in."

    The next time they're online it'll be easier for them to include you or you to ask to be in again.

  • Stacks for Simple Static Sites
  • Just last week I decided to try a different tech than I'm used to to run up a site. I did a little research then searched GitHub and found Hugo. I read the Hugo docs, followed their beginners guide and... Didn't get fucking anywhere. Their docs are out of date, the examples are out of date. It looked so promising but my brain works best when referencing examples and when I couldn't even get those to work, well, I don't have time for that these days.

    If anyone knows another static site generator with up to date documentation and an easy to run up example please let me know.

  • Stop being elitist, spread Linux!
  • Auto Hot Key, that's something I haven't heard of in a while. Probably because it's not as essential in a Linux environment when you can more easily accomplish most of what you'd accomplish using AHK in a shell script. What problem are you trying to solve using AHK? Someone might be able to tell you how to solve it.

  • Why would one crave pleasure, food and entertainment when they should be productive and how does one go about stopping it?
  • I got some counselling, then on the anti depressants, they were the first step - let me see why I should do something different, but then I got onto the ADHD meds and they let me focus. It took a while, had to work out what worked for me but once I got it it was the answer I needed. They're not the solution for everyone, but if you haven't tried at least talk to someone about it.

  • Low End Gaming @lemm.ee BangersAndMash @lemmy.world
    Nethack - the ultimate low end system capable game

    Nethack is now 36 years old, still in development, runs on windows, Linux, Apple and a multitude of other systems. You can run it in a console, remotely, if you don't have the ability to install or download to your computer. It's complex, difficult, entertaining and will soak up any free time you have.

    I've played it on and off for a decade now and never made it past half way and have always learnt something new.

    Play in browser: https://alt.org/nethack/hterm/ Telnet: alt.org port 23 SSH: nethack@alt.org Download: https://www.nethack.org/

    Have you got the Amulet of Yendor? Any stupid deaths? Surprising finds?

    2
    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/)BA
    BangersAndMash @lemmy.world
    Posts 1
    Comments 29