Moonchild's recent activity

  1. Comment on Fortnightly Programming Q&A Thread in ~comp

    Moonchild
    Link Parent
    What do you want to learn about?

    What do you want to learn about?

    3 votes
  2. Comment on Fully reversed source code for Grand Theft Auto III and Grand Theft Auto: Vice City in ~games

    Moonchild
    Link Parent
    I would be highly surprised if that were the case. I don't expect any specific nomenclature of the gpl applies. That said, I expect that rockstar uses the same license for all the data associated...

    if the Rockstar license is written similarly to the GPL

    I would be highly surprised if that were the case. I don't expect any specific nomenclature of the gpl applies.

    That said, I expect that rockstar uses the same license for all the data associated with the game (except perhaps music they licensed from third parties); the pertinent question, then, is not if the config files are necessary to build the software, but if they represent a sufficiently creative act to be copyrightable. Which seems unlikely, but in such cases it's nevertheless perhaps better to be safe than sorry.

    1 vote
  3. Comment on [Python] Buffer overflow in PyCArg_repr in ~comp

    Moonchild
    Link Parent
    It is, and gcc will even warn about it with -Wformat-overflow.

    Isn’t this something that can be easily linted?

    It is, and gcc will even warn about it with -Wformat-overflow.

    1 vote
  4. Comment on Fortnightly Programming Q&A Thread in ~comp

    Moonchild
    Link Parent
    Nim is reference-counted, which will work if your microcontroller is big enough for dynamic allocation. Beyond that—again, I don't know very much nim, but I expect that it allows you to pass...

    can compile any language to C but if it has garbage collection it probably won't be a good idea on microcontrollers, even if it's small

    Nim is reference-counted, which will work if your microcontroller is big enough for dynamic allocation.

    Beyond that—again, I don't know very much nim, but I expect that it allows you to pass around fixed-size buffers, same as you would in c.

    Someone even implemented borrow checking!

    I'm not a fan :P

    "Famously esoteric, complex, and inconsistent" this sounds like the exact opposite of what I want :p

    Fair enough


    I do recommend giving ats a look, though; despite the complexity, it really just amounts to a layer of static analysis and typechecking atop c.

    3 votes
  5. Comment on Fortnightly Programming Q&A Thread in ~comp

    Moonchild
    (edited )
    Link Parent
    To me, a large part of what's meaningful about c is its ubiquity. There are compilers for it everywhere. Toolchains for other natively compiled languages depend on the c toolchain and runtime, so...

    To me, a large part of what's meaningful about c is its ubiquity. There are compilers for it everywhere.

    Toolchains for other natively compiled languages depend on the c toolchain and runtime, so you never really end up in a situation where someone has a toolchain for another language but not for c. (Notable recent exceptions include zig and go—but zig still comes with a c runtime even though it runs without one.)

    If you don't need that ubiquity, then sticking with c-like languages for low-level programming is a pointless exercise in masochism. Zig is an incremental improvement; an improvement, granted, but it eliminates no problems, only alleviates them.

    If I had to pick another (existent) language to be used in places where c is used, it would be one of:

    • nim. I'm admittedly least familiar with this one, but it seems to have a very sane design

    • common lisp. It doesn't go ‘small’ (so, no microcontrollers), but it does go ‘low’ (e.g.); so depends on use case here

    • ats. Can effectively be used wherever c can, as it compiles to c. (Nim does too, but far less transparently.) Linear+refinement&dependent types, for all that fp goodness. Famously esoteric, complex, and inconsistent

    4 votes
  6. Comment on What did Ada Lovelace's program actually do? in ~comp

    Moonchild
    Link Parent
    I don't think that's quite the right interpretation. Djikstra's point is not that that thought is a primitive, axiomatic sort of activity which it is possible for a machine to engage in. It's that...

    Likewise, with understanding. Can my ML model understand what it's saying? Yes. Does it? Well, if it quacks like a duck...

    If you need an argument from me, ask yourself what standards you apply to other humans. And then convince yourself that the same standard would (not) apply to a machine.

    I don't think that's quite the right interpretation.

    Djikstra's point is not that that thought is a primitive, axiomatic sort of activity which it is possible for a machine to engage in. It's that thought is a messy concept, and that our conception of it is inherently bound up in the issues of our own humanity. Can a machine think? It's a purely semantic question. It depends on what we interpret the word ‘think’ to mean, and differing interpretations are congruently valid (in differing contexts).

    2 votes
  7. Comment on Popular open-source library SDL moving development to GitHub despite 'calamitous design choices' in git in ~tech

    Moonchild
    (edited )
    Link Parent
    The original post goes into more detail. They're moving to github as much for social/network-effects as for the managed infrastructure .

    The original post goes into more detail.

    They're moving to github as much for social/network-effects as for the managed infrastructure .

    4 votes
  8. Comment on What did Ada Lovelace's program actually do? in ~comp

    Moonchild
    Link
    I think Edsger Dijkstra's take is perhaps the more interesting, and certainly the more illuminating:

    The other famous note is Note G. Lovelace begins Note G by arguing that, despite its impressive powers, the Analytical Machine cannot really be said to “think.”

    I think Edsger Dijkstra's take is perhaps the more interesting, and certainly the more illuminating:

    The question of whether a computer can think is no more interesting than the question of whether a submarine can swim.

    8 votes
  9. Comment on Python has accepted the proposal for a new pattern-matching structure, will be added in version 3.10 in ~comp

    Moonchild
    (edited )
    Link Parent
    I don't find that alarming or unintuitive at all. It's the way pattern matching is generally implemented. EDIT- I misread the initial comment. That is indeed concerning.

    I don't find that alarming or unintuitive at all.

    It's the way pattern matching is generally implemented.


    EDIT- I misread the initial comment. That is indeed concerning.

    6 votes
  10. Comment on Need a laptop for school, budget $2000, details inside in ~tech

    Moonchild
    Link Parent
    You can also run linux in a vm.

    I wrote the comment you responded to under the impression that if I bought the M1 Air, I'd be conceding Linux entirely

    You can also run linux in a vm.

    1 vote
  11. Comment on Writing Club Organizational Thread in ~creative

    Moonchild
    Link Parent
    OP said I agree with your other comments.

    I don't like the themes thing. Theme should be free. Always. Otherwise you'll reduce participation.

    OP said

    Submissions do not need to follow the theme


    I agree with your other comments.

    3 votes
  12. Comment on How TCMalloc can improve memory fragmentation in multi-threaded applications in ~comp

    Moonchild
    Link
    Any (recent) discussion of allocators, particularly concurrent allocators, seems remiss without a mention of mimalloc. In particular, mimalloc is able to improve the cache coherency of running...

    Any (recent) discussion of allocators, particularly concurrent allocators, seems remiss without a mention of mimalloc.

    In particular, mimalloc is able to improve the cache coherency of running programs—which is likely to matter more than overall fragmentation in practice—while still providing excellent fragmentation characteristics. It also significantly improves the performance of free(), and is able to quickly release objects allocated on other threads, obviating the need for a ‘shared’ allocator (as distinct from thread-local caches).

    1 vote
  13. Comment on A Writing Club in ~creative

    Moonchild
    Link Parent
    I don't think anyone intended latex to be the only option. Postscript and dvi are meant for printing. PDF is meant to guarantee consistent layout while still providing vector graphics.

    I don't think anyone intended latex to be the only option.

    PDFs are meant for printing

    Postscript and dvi are meant for printing. PDF is meant to guarantee consistent layout while still providing vector graphics.

    2 votes
  14. Comment on A Writing Club in ~creative

  15. Comment on Pentagon, stumped by extremism in ranks, orders stand-down in next sixty days in ~news

    Moonchild
    (edited )
    Link Parent
    I don't think this is the right attitude to take. It is wrong to have a surveillance regime, and it is wrong for people to suffer consequences based on the results of a surveillance regime. Those...

    We have a massive surveillance regime in place that we are told is to keep us safe. How about you use it to keep us safe by finding the white nationalists and other extremists in the military and remove them?

    I don't think this is the right attitude to take.

    It is wrong to have a surveillance regime, and it is wrong for people to suffer consequences based on the results of a surveillance regime. Those two are separate and independent. It's not a matter of ‘since we already surveil people to this degree, we might as well use the information we've gleaned’.

    And, visiting an extremist site is not an indication that somebody is an extremist.

    (That being said, reading employees' email and chat logs is perfectly acceptable and should be expected; and they should be held accountable for anything untoward written therein.)

    9 votes
  16. Comment on Let's talk about computer algebra systems in ~comp

    Moonchild
    Link Parent
    I believe that axiom and maxima both implement the risch algorithm.

    I believe that axiom and maxima both implement the risch algorithm.

    2 votes
  17. Comment on A Writing Club in ~creative

    Moonchild
    Link Parent
    I agree with the sibling. I think that we should start without formal rules, and only have a guideline that people should prioritize giving feedback to works that haven't received any yet. If it's...

    I agree with the sibling.

    I think that we should start without formal rules, and only have a guideline that people should prioritize giving feedback to works that haven't received any yet. If it's a problem in practice then we can start looking into a more rigid structure.

    3 votes
  18. Comment on A Writing Club in ~creative

    Moonchild
    (edited )
    Link Parent
    I also like latex, but I think some people may object to pdfs on the grounds that they can't easily be re-flowed and don't render well on mobile devices. That said, pandoc can convert latex to...

    I also like latex, but I think some people may object to pdfs on the grounds that they can't easily be re-flowed and don't render well on mobile devices.

    That said, pandoc can convert latex to html, which may be an option (though it may mangle some more precise bits of layout).

    I would also like to avoid google docs, for privacy reasons.

    2 votes
  19. Comment on Comfort food Nintendo YouTubers? in ~games

  20. Comment on Why I still Lisp (and you should too!) in ~comp

    Moonchild
    Link Parent
    Out of curiosity, why not?

    I never reach for Lisp when I actually want to program something

    Out of curiosity, why not?

    5 votes