Why, a hexvex of course!

  • 7 Posts
  • 381 Comments
Joined 3 years ago
cake
Cake day: June 10th, 2023

help-circle

  • Notepad++ is, at its heart, a text editor.

    It’s lightweight, can run portably, and has some oddly specific but useful features such as dual window linked scrolling, syntax highlighting, and even allows regex for search/replace which is neat.

    You can use it for coding (I use it for short python scripts), but that isn’t it’s main use.

    VScode is, primarily, an IDE - not really something you use as a plain text editor.












  • HexesofVexes@lemmy.worldtoScience Memes@mander.xyzStupid sexy raft
    link
    fedilink
    English
    arrow-up
    19
    arrow-down
    3
    ·
    edit-2
    2 months ago

    So, hear me out here, there is a huge reproduction crisis out there. In theory, you could try to replicate this study without the researcher being an asshole and see if it still works out and this would be a valuable line of research that could technically get funded.

    I’m going to need a decent ship, some volunteers, and a 101 day supply of daiquiris.

    Edit: (For clarity - this is scientific reproduction, not human reproduction)







  • Ehh…

    So, it’s more a case that the system cannot prove it’s own consistency (a system cannot prove it won’t lead to a contradiction). So the proof is valid within the system, but the validity of the system is what was considered suspect (i.e. we cannot prove it won’t produce a contradiction from that system alone).

    These days we use relative consistency proofs - that is we assume system A is consistent and model system B in it thus giving “If A is consistent, then so too must B”.

    As much as I hate to admit it, classical set theory has been fairly robust - though intuitionistic logic makes better philosophical sense. Fortunately both are equiconsistent (each can be used to imply the consistency of the other).