• 1 Post
  • 37 Comments
Joined 4 months ago
Cake day: May 19th, 2024
  • it_depends_man@lemmy.worldtoProgrammer Humor@lemmy.ml•AI's take on XMLDeutsch
    1·
    3 days ago

    I’m not sure now that I think about it, but I find this more explicit and somehow more free than json. Which can’t be true, since you can just

    {"anything you want":{...}}

    But still, this:

    <my_custom_tag>
<this> 
<that>
<roflmao>
...

    is all valid.

    You can more closely approximate the logical structure of whatever you’re doing without leaving the internal logic of the… syntax?

    <car>
<tyre> air, <valve>closed</valve>  </tyre>
<tyre> air, <valve>closed</valve>  </tyre>
<tyre>      <valve>open</valve>  </tyre>
<tyre> air, <valve>closed</valve>  </tyre>
</car>

    Maybe I just like the idea of a closing tag being very specific about what it is that is being closed (?). I guess I’m really not sure, but it does feel nicer to my brain to have starting and closing tags and distinguishing between what is structure, what is data, what is inside where.

    My peeve with json is that… it doesn’t properly distinguish between strings that happen to be a number and “numbers” resulting in:

    myinput = {"1":"Hello",1:"Hello"}
tempjson = json.dumps(myinput)
output = json.loads(tempjson)
print(output)
>>>{'1': 'Hello'}

    in python.

    I actually don’t like the attributes in xml, I think it would be better if it was mandatory that they were also just more tagged elements inside the others, and that the “validity” of a piece of xml being a certain object would depend entirely on parsing correctly or not.

    I particularly hate the idea of attributes in svg, and even more particularly the way they defined paths.

    https://developer.mozilla.org/en-US/docs/Web/SVG/Tutorial/Paths#curve_commands

    It works, but I consider that truly ugly. And also I don’t understand because it would have been trivial to do something like this:

    <path><element>data</element><element>data</element></path>
  • it_depends_man@lemmy.worldtoProgrammer Humor@lemmy.ml•AI's take on XMLDeutsch
    154·
    4 days ago

    It is very cool, specifically as a human readable mark down / data format.

    The fact that you can make anything a tag and it’s going to be valid and you can nest stuff, is amazing.

    But with a niche use case.

    Clearly the tags waste space if you’re actually saving them all the time.

    Good format to compress though…

  • it_depends_man@lemmy.worldtoLinux@lemmy.ml•One Of The Rust Linux Kernel Maintainers Steps Down - Cites "Nontechnical Nonsense"English
    52·
    14 days ago

    At the cost of sounding naive and stupid

    It may be a naive question, but it’s a very important naive question. Naive doesn’t mean bad.

    The answer is that that is not possible, because the compiler is supposed to translate the very specific language of C into mostly very specific machine instructions. The programmers who wrote the code, did so because they usually expect a very specific behavior. So, that would be broken.

    But also, the “unsafety” is in the behavior of the system and built into the language and the compiler.

    It’s a bit of a flawed comparison, but you can’t build a house on a foundation of wooden poles, because of the advantages that wood offers, and then complain that they are flammable. You can build it in steel, but you have to replace all of the poles. Just the poles on the left side won’t do.

    And you can’t automatically detect the unsafe parts and just patch those either. If we could, we could just fix them directly or we could automatically transpile them. Darpa is trying that at the moment.

  • it_depends_man@lemmy.worldtoGame Development@programming.dev•[Blog] Valve just took away a valuable visibility toolEnglish
    1·
    20 days ago

    I don’t think this is a problem.

    Channels to get visibility exist.

    People can mostly choose what kind of news they want to subscribe to and where. They will seek these things out or they will mute them, respectively.

    If people want to join the community, finding the discord server is not an actual issue in practice. You can very much still put a link into the game or the demo.

    I’m certainly not subscribing to a channel on a 3rd party program to get spammed with marketing every 2 weeks.

  • it_depends_man@lemmy.worldtoFediverse@lemmy.world•How to make the Threadiverse a nice place and effectively make it growEnglish
    4·
    23 days ago

    I think the timing isn’t quite right, because the other social media places aren’t figuratively totally on fire.

    There isn’t “the great social media collapse of 20XX” happening, because of some security issue or servers being super expensive or ads being actually 99% of the content. The forces that be are managing things well enough that things aren’t collapsing right now.

    There is no single actually big celebrity that has picked a fediverse platform as the place to be, follow and discuss news.

    And there is no killer feature that you can only get here.

    The bonfire is stacked nicely, but there is no spark. For now. That could change at any moment, but it could also take a while.

  • it_depends_man@lemmy.worldtoFediverse@lemmy.world•How to make the Threadiverse a nice place and effectively make it growEnglish
    5·
    23 days ago

    I don’t think the timing is quite right.

    I don’t really have anything meaningful to contribute to the feeds and most of the discussions are a bit pointless. They’re not really changing anything. So, in part those other platforms are fueled by outrage culture. Which I know is bad, so not having it is good, but then we also don’t have the growth from it.

    The technology is there and that should help. Apparently people aren’t going to mass migrate from reddit quite yet, even though the push last year probably helped a lot.

    It is a network problem. I think the slow growth will / should happen eventually, because the fediverse is an objectively good place to start a community. It’s just not going to be fast and other platforms adding push factors would help obviously. We’ll see where reddit goes with their paid subs.

    I don’t think the low effort posts are a problem, there is hardly motivation to interact with an empty page and there is slightly more if there are “boring topics”. At least it’s a place.