• 2 Posts
  • 91 Comments
Joined 2 years ago
cake
Cake day: July 22nd, 2023

help-circle








  • It still can panic/abort and deadlock/wait infinitely long on most fp languages because that’s typically implied. And there isn’t actually a way around that because computation almost always can fail or block indefinitely - and if you have a total language you can implement waits for billions of years, which for all practical purposes is “infinitely” long on human time scales.







  • wischi@programming.devtoScience Memes@mander.xyzholee shiet
    link
    fedilink
    English
    arrow-up
    1
    ·
    edit-2
    4 months ago

    Aerosols aren’t gases in the classial sense and reflect sunlight. This works especially well high up in the atmosphere.

    https://science.nasa.gov/science-research/earth-science/climate-science/aerosols-small-particles-with-big-climate-effects/

    There are studies that collect data around volcano eruptions and coal power plants getting online and offline. Long story short: Climate is complicated; I’m not a climate scientist and not to be trusted; it would work great at cooling the planet; we definitely shouldn’t do it (yet?) because it masks the temperature problem and could lead to us not reducing CO2 because we “wouldn’t have to”, but it could be a tool if we might be on the edge of a catastrophic runaway effect that causes too much water to evaporate into the atmosphere.

    Update: Btw, you are right about dark particles low in the atmosphere, those typically warm the planet. It’s mainly sulfur dioxide aerosols byproduct that cool the planet (also mentioned in the NASA article)





  • I didn’t say they have no knowledge, quite the opposite. Here a quote from the comment you answered:

    LLMs are extremely knowledgeable (as in they “know” a lot) but are completely dumb.

    There is a subtle difference between intelligent and knowledgeable. LLM know a lot in that sense that they can remember a lot of things, but they are dumb in that sense that they are completely unable to draw conclusions and put that knowledge into action in any other means besides spitting out again what they once learned.

    That’s why LLMs can tell you a lot about about all different kinds of game theory about tic tac toe but can’t draw/win that game consistently.

    So knowing a lot and still being dumb is not a contradiction.