Feel like you want to sneer about something but you don’t quite have a snappy post in you? Go forth and be mid!

Any awful.systems sub may be subsneered in this subthread, techtakes or no.

If your sneer seems higher quality than you thought, feel free to cut’n’paste it into its own post, there’s no quota here and the bar really isn’t that high

The post Xitter web has spawned soo many “esoteric” right wing freaks, but there’s no appropriate sneer-space for them. I’m talking redscare-ish, reality challenged “culture critics” who write about everything but understand nothing. I’m talking about reply-guys who make the same 6 tweets about the same 3 subjects. They’re inescapable at this point, yet I don’t see them mocked (as much as they should be)
Like, there was one dude a while back who insisted that women couldn’t be surgeons because they didn’t believe in the moon or in stars? I think each and every one of these guys is uniquely fucked up and if I can’t escape them, I would love to sneer at them.

    • swlabr@awful.systems
      link
      fedilink
      English
      arrow-up
      0
      ·
      2 years ago

      A friend that wants you to have an aggressive brain tumour to make an AI look good is no friend at all

      • froztbyte@awful.systems
        link
        fedilink
        English
        arrow-up
        0
        ·
        2 years ago

        There are far too many people in this world who learned both wrong things from the “Pray tell, Mr Babbage” anecdote

    • froztbyte@awful.systems
      link
      fedilink
      English
      arrow-up
      0
      ·
      2 years ago

      “Oh, some patient data. Let me quickly casually scan this into the sv datacorp. What’s that…privacy concerns? Naaaaah I changed the filename”

    • Jayjader@jlai.lu
      link
      fedilink
      English
      arrow-up
      0
      ·
      2 years ago

      “But look how convincing [it] sounds!”

      … how did we get to the point where the ai bros are un-ironically telling us, as a selling point, that their shiny toy literally gives false yet convincing-sounding medical diagnoses ?!?!?!

      If I were working on Claude and wanted to hype it up, I would not talk about this experiment online or in public. If I were working on Claude and wanted to be responsible towards “the public”, I would use this example as a cautionary warning, not to further hype up the tool.

      This feels like the slight period at the beginning of the NFT craze when I wasn’t yet comfortable dismissing out of hand anyone excited about them, because surely there was a least some useful application that wasn’t for scamming people, and surely this many people couldn’t all be so deluded about the same idea.

    • ebu@awful.systems
      link
      fedilink
      English
      arrow-up
      0
      ·
      2 years ago

      my pet conspiracy theory is that the two streamers had installed cheats at one point in the past and compromised their systems that way. but i have no evidence to base that on, just seems more plausible to me than “a hacker discovered an RCE in EAC/Apex and used it during a tournament to install game cheats on two people and [appear to] do nothing else”

  • David Gerard@awful.systemsOPM
    link
    fedilink
    English
    arrow-up
    0
    ·
    2 years ago

    just realised that Musk’s angry face in the Don Lemon interview is the same face as an angry Skibidi Toilet

  • titotal@awful.systems
    link
    fedilink
    English
    arrow-up
    0
    ·
    2 years ago

    Apparently there’s a new coding AI that is supposedly pretty good. Zvi does the writeup, and logically extrapolates what will happen for future versions, which will obviously self improve and… solve cold fusion?

    James: You can just ‘feel’ the future. Imagine once this starts being applied to advanced research. If we get a GPT5 or GPT6 with a 130-150 IQ equivalent, combined with an agent. You’re literally going to ask it to ‘solve cold fusion’ and walk away for 6 months.

    Um. I. Uh. I do not think you have thought about the implications of ‘solve cold fusion’ being a thing that one can do at a computer terminal?

    Yep. The recursive self improving AI will solve cold fucking fusion from a computer terminal.

    • Sailor Sega Saturn@awful.systems
      link
      fedilink
      English
      arrow-up
      0
      ·
      2 years ago

      Who needs things like “experiments” and “data”? Surely a chatbot superintelligence can extrapolate all of physics from two frames of a video of an apple falling.

    • jonhendry@awful.systems
      link
      fedilink
      English
      arrow-up
      0
      ·
      2 years ago

      Where are they going to find 500 people in India who are good at solving cold fusion and will do it for pennies.

    • froztbyte@awful.systems
      link
      fedilink
      English
      arrow-up
      0
      ·
      2 years ago

      James: You can just ‘feel’ the future. Imagine once this starts being applied to advanced research. If we get a GPT5 or GPT6 with a 130-150 IQ equivalent, combined with an agent.

      … fucking hell that’s a few layers of quackery and far-AI promise nuttery all at once

      I’m not going to substantively touch on most of those, because by and large I think everyone here gets it

      but 'feel' the future… it’s so … “just vibes, man”. petition to crowdfund these poor dipshits some buttplug.io-compatible sex toys or something, give them something else to feel besides vibes

    • Steve@awful.systems
      link
      fedilink
      English
      arrow-up
      0
      ·
      2 years ago

      he could have just admitted he couldn’t get the ai to draw a dick. Instead, a future without dicks is his idea of a surprising future

      • Soyweiser@awful.systems
        link
        fedilink
        English
        arrow-up
        0
        ·
        2 years ago

        Those image generators are surprisingly bad at drawing nether regions, it turns into real horror shows quickly. A thing the ‘it is so over for real women’ incel weirdos don’t seem to talk about. (I checked it a while back no idea if it has improved since, but the conclusion was that sex workers can breathe easily (apart from them being fucked by mastercard/visa being run by cryptoprudes, governments going after them, and the general economic downturn driving the demand for sex work down but that is a different issue)).

    • froztbyte@awful.systems
      link
      fedilink
      English
      arrow-up
      0
      ·
      2 years ago

      I know it’s stupid to try really think about this because the idiot was only trying for engagement farming, but what the fuck did they think that image was portraying (that supported their batshit commentary)?? That we’re all gonna become the blue dude from Watchmen, but in copyright-friendly conditions?!

  • Sailor Sega Saturn@awful.systems
    link
    fedilink
    English
    arrow-up
    0
    ·
    2 years ago

    Someone on discord linked me to this AI generated horror-show of a “childrens” video: https://www.youtube.com/watch?v=nywBUSaHFgY (I hesitate to give them any more views, Internet Archive says youtube vids take a few days to process though)

    Which appears to be a channel of entirely AI generated video paired to children’s songs. And it is gosh darn creepy and gross and exploitive and unhealthy.

    I hope youtube cracks down on shit like this.

  • hrrrngh@awful.systems
    link
    fedilink
    English
    arrow-up
    0
    ·
    2 years ago

    Yesterday before bed I saw some galaxy-brained takes on PKM (personal knowledge management software) from a 7-day old account, and curiosity took over me. I was not disappointed. (sadly they deleted their account after I woke up: /u/Few-Elephant-2600 if you’re bored and have moderator API access)

    Link

    Since GPUs continuously generate large amounts of waste heat during AI training, could electric/GPU stoves utilize this unused thermal energy resource through on-demand tickets as distributed networks instead of citizens using a wasteful private electric stove? What are the scientific challenges?

    Honey can you preheat the porn generator?

    Maybe you could pair it with this accursed AI of Things Smart Oven. Fun quotes:

    “Users aren’t aware of any of the oven’s learning processes,”

    Ovens that learn from one another

    Finally, I can experience Windows progress bars when baking potatoes:

    The predictive model updates the remaining baking time every 30 seconds

    • Deborah@hachyderm.io
      link
      fedilink
      arrow-up
      0
      ·
      2 years ago

      Bosch noooooooo.

      People Stop Buying $4000 Appliances Whose Features Can Be Bricked From Corporate Challenge has ended due to lack of contestants. People Stop Buying Appliances Where It Can Set Something On Fire If It Mixes Your Data With Someone At A Different Altitude Challenge has begun.

      • swlabr@awful.systems
        link
        fedilink
        English
        arrow-up
        0
        ·
        2 years ago

        Years ago a friend of mine asked me if I was interested in IoT/smart devices and I said I didn’t want to be locked out of my house if the wifi was out. His reaction indicated to me that he lost some amount of respect for me, and in turn I lost respect for him.

        Since then I’ve only really seen IoT stuff in the homes of tech people, everyone else just DGAF. I think AI is following that same trajectory.

        PS Years later pretty much the same exchange happened with brain simulated “immortality”, with the same mutual loss of respect.

        PPS I currently have some smart lights installed. Once the initial novelty of having a bunch of RGB lights wore off, I pretty much just use them as normal bulbs, except with their brightness turned all the way down.

        PPPS I also have some google speakers. None of them are in use.

    • froztbyte@awful.systems
      link
      fedilink
      English
      arrow-up
      0
      ·
      2 years ago

      Since GPUs continuously generate large amounts of waste heat during AI training, could electric/GPU stoves utilize this unused thermal energy resource

      I’m actually aware of businesses that already do exactly this, usefully

      through on-demand tickets as distributed networks

      “tickets” is this Ethereum bullshit?

      instead of citizens using a wasteful private electric stove?

      • Citizens Don’t Need To Cook
      • Not a citizen? Get fucked scrub.

      (this leaves me feeling incredibly ??????)

      What are the scientific challenges?

      this seems like JAQing behaviour?

      [ed: once again wearing my Lemmy Ate My Formatting shirt]

      • Steve@awful.systems
        link
        fedilink
        English
        arrow-up
        0
        ·
        2 years ago

        instead of citizens using a wasteful private electric stove?

        I’m 99% sure this person eats only gig-work delivered food

      • gerikson@awful.systems
        link
        fedilink
        English
        arrow-up
        0
        ·
        2 years ago

        This is true, with the important distinction that presumably the next generation of GPUs will produce more calculation per unit of input energy, as opposed to proof-of-work crypto mining, where the coin generation is constant in time, by design.

    • Soyweiser@awful.systems
      link
      fedilink
      English
      arrow-up
      0
      ·
      2 years ago

      Didn’t some soviet towns run central heating off power plant waste heat? “Where do you live? OpenAiVille, we get free^M cheaper central heating, but the noise of the severfans running every day and night is deafening.”

      • skillissuer@discuss.tchncs.de
        link
        fedilink
        English
        arrow-up
        0
        ·
        edit-2
        2 years ago

        combined heat and power isn’t a technology unique to eastern block countries, but surely centralized city planning makes it easier to pump waste heat into municipal heating grid (or out to some chemical works or such). tbh it didn’t even occur to me that there are serious cities (population 100k+) that don’t have city-owned heating grid, even 50k towns and smaller can have their own CHP plants (tiny one, fits in shipping container or two)

        and it’s not just some towns no no no. it was implemented everywhere where it was practical. near big cities - these need both power and heat, so okayish coal is shipped to them by rail, burned there and provides both heat and energy. beijing for example runs on 10 or so large CHP plants iirc. near lignite mines - lignite is burned there (does not make sense to ship it anywhere else, too shitty) and nearby town has free heat. where there’s neither, either coal was shipped to be burned in heating plants, centralized or individual, or gas was delivered by pipelines also for heating, and energy was delivered from larger centralized facilities. if there’s fuckton of energy somehow, like in russian far east with their abundant hydropower, or nothing else is practical, in some places heating was electric

        NYC has steam pipelines running around the city, doesn’t that use CHP plants?

    • skillissuer@discuss.tchncs.de
      link
      fedilink
      English
      arrow-up
      0
      ·
      edit-2
      2 years ago

      i think that there’s *at least one supercomputing centre in germany that uses waste heat for heating buildings and not only their own

    • Steve@awful.systems
      link
      fedilink
      English
      arrow-up
      0
      ·
      2 years ago

      at what point is “large amounts of heat” output considered the part that’s the waste?

      Do they know that brake discs get hot because they’re stopping a car from colliding with a wall?

      • V0ldek@awful.systems
        link
        fedilink
        English
        arrow-up
        0
        ·
        2 years ago

        But for electronics basically all heat is excess. Brakes are literally supposed to turn kinetic energy into heat. A GPU is supposed to solve linear equations quickly. The generated heat is because we don’t know how to not generate it. If I could power my oven with all the energy waste while playing Crysis I totally would.

        Plus, heat of the brakes is also technically waste. Case in point, Formula 1 cars have specially designed systems whose purpose is converting energy dissipated during braking back into battery charge to power the hybrid engine.

        • Steve@awful.systems
          link
          fedilink
          English
          arrow-up
          0
          ·
          2 years ago

          My point was more about how you decide that the heat is the undesirable outcome compared to whatever the fuck the thing is meant to be doing. Brakes have a very clear purpose at the expense of the heat. GPUs being used as graphics processing units when you’re playing crysis have a very clear purpose to heat output ratio. Ya see wot I mean?

          • V0ldek@awful.systems
            link
            fedilink
            English
            arrow-up
            0
            ·
            2 years ago

            Yup, now I get the sneer, sorry for not catching on earlier.

            To respond in this vein then: at least real art pieces I could burn for fuel…

  • David Gerard@awful.systemsOPM
    link
    fedilink
    English
    arrow-up
    0
    ·
    2 years ago

    many victim impact statements about the FTX cryptocurrency exchange and its founder Sam Bankman-Fried are harrowing.

    some are not quite so harrowing

    • self@awful.systems
      link
      fedilink
      English
      arrow-up
      0
      ·
      2 years ago

      new might be a good global default for everything local to our instance, given the traffic patterns of our threads. unfortunately it might take some doing to make that the default just for local stuff, without making things janky for folks reading federated content

      amazingly, lemmy doesn’t even seem to persist the last sort you’ve selected correctly. which is like easy 10 lines of code to do even in React with Typescript

      • Architeuthis@awful.systems
        link
        fedilink
        English
        arrow-up
        0
        ·
        2 years ago

        given the traffic patterns of our threads

        Highlighting the new posts since the last time you visited a thread would be amazing if possible.

      • gerikson@awful.systems
        link
        fedilink
        English
        arrow-up
        0
        ·
        2 years ago

        Re: Lemmy, some dude (ofc) is trying to start a new “decentralized” Wikipedia, and he touts as a merit that he created Lemmy:

        I have worked on Lemmy for the past four years, bringing it from a prototype to a fully functional Reddit alternative.

        Some would say this is damning with faint praise, others would see it as a warning.

        (https://ibis.wiki/article/Announcing_Ibis,[email protected])

        • blakestacey@awful.systems
          link
          fedilink
          English
          arrow-up
          0
          ·
          2 years ago

          These are only a few examples, journalist Helen Buyniski has collected much more information about the the rot in Wikipedia.

          (quickly web-searches for that name)

          Oh, she writes for Russia Today.

          Authors and public figures in fields as diverse as Complementary and Alternative Medicine and progressive politics (including Deepak Chopra, Rupert Sheldrake, Gary Null, John Pilger, and George Galloway) have complained of persistent negative coverage on Wikipedia despite the site’s vaunted neutrality and the promise that “Biographies of Living Persons” are held to the highest standard.

          (snerk) Oh, no, Deepak Chopra and Rupert Sheldrake are upset. I can feel the quantum disruption in the morphogenetic field.

          • Charlie Stross@wandering.shop
            link
            fedilink
            arrow-up
            0
            ·
            2 years ago

            @blakestacey Oh dear, George Galloway complaining about negative coverage, how sad, much hardship. (Galloway is an utter shit.) John Pilger had credibility for a critique of US/western foreign policy, but the rest of the listed folks are just cranks.

          • David Gerard@awful.systemsOPM
            link
            fedilink
            English
            arrow-up
            0
            ·
            2 years ago

            now, you may have heard unfortunate rumours that the lemmy devs are a pair of tankies

            this is of course shitlib lies spread by revisionists,

          • froztbyte@awful.systems
            link
            fedilink
            English
            arrow-up
            0
            ·
            2 years ago

            I can’t wait to see what happens as these people slowly learn the consensus problem in this domain

      • earthquake@lemm.ee
        link
        fedilink
        English
        arrow-up
        0
        ·
        2 years ago

        I’ve been kind of following development of Sublinks, which hopes to reach parity with Lemmy with more typical web tech so development can go faster/with more contributors, and also so they can pivot to better moderation tools. Maybe it works out, maybe we learn to love the jank.

        • self@awful.systems
          link
          fedilink
          English
          arrow-up
          0
          ·
          2 years ago

          I’ve been following it too, and hoping it yields a fork with better development priorities (and, frankly, developers) than lemmy, though I’m not at all looking forward to dealing with deploying Java and Go to production

  • Mii@awful.systems
    link
    fedilink
    English
    arrow-up
    0
    ·
    edit-2
    2 years ago

    Just when I thought that Bitcoin could not possibly become any more stupid, I saw this on Reddit.

    https://www.msn.com/en-us/money/markets/the-bitcoin-halving-really-is-different-this-time/ar-BB1kb6o5

    The halving will occur at block height 840,000 (a count of how many blocks have been hashed to the blockchain), and already people are predicting that will be the most valuable block to be mined to date. This is related to the point above: Ordinals works by assigning serial numbers to individual satoshis (or sats, the smallest denomination of BTC), which turns a fungible asset like bitcoin into something with provenance, identity and scarcity.

    Tristan, the founder of Ordiscan.com, which tracks Ordinals projects, predicts that collectors of these “rare sats” could value the data in block 840,000 at $50 million dollars. Under the “Rodarmor Rarity” system, which assigns value to Bitcoin protocol events like difficulty adjustments and halvings, the first satoshi in the block alone could be worth upwards of $1 million, he wrote in a blog post.

    They’re turning Bitcoins satoshis into NFTs. And if you thought spending money on links to monkey jpegs was stupid, how about buying a random-ass hash?

    • skillissuer@discuss.tchncs.de
      link
      fedilink
      English
      arrow-up
      0
      ·
      2 years ago

      i wasn’t really a sneerclubber before, but i did hang out in r/buttcoin. i remember that this was briefly an alleged thing among cryptobros few months ago, with side effect of making seleccion of bitcoin maxis very angry, and somehow making tx even slower and more expensive

  • gerikson@awful.systems
    link
    fedilink
    English
    arrow-up
    0
    ·
    2 years ago

    Vernor Vinge, patron saint of the singularity and noted winner of a couple of libertarian fiction awards, has passed. HN wanted a black bar[1] but were denied. They compensated by posting a lot of bad takes.

    Submission: https://news.ycombinator.com/item?id=39775304

    'jart (aka Justine) has this to say about the impending Singularity (feat. Trump and Twitter!):

    https://news.ycombinator.com/item?id=39777929

    This hackernews wishes he has been frozen, to be thawed in the future (for some reason, no-one expects the future to be Idiocracy):

    https://news.ycombinator.com/item?id=39776217


    [1] when a notable person in CS dies there’s sometimes a black bar under the HN header

    • self@awful.systems
      link
      fedilink
      English
      arrow-up
      0
      ·
      2 years ago

      fucking christ. it takes a lot to fuck up my day, but a quick scroll through that thread seeing how quick these vultures (including one notable person who’s the reason why I’m ashamed to talk about my lambda calculus projects) are trying to capitalize on Vernor’s legacy is absolutely doing it

      HN wanted a black bar[1] but were denied.

      why in the fuck? is the famous sci-fi author with a heavy CS background not notable enough for the standards of the site whose creator is a much less notable self-help author whose CS background is failing to make a working Lisp 3 times and writing programming textbooks nobody reads?

      • gerikson@awful.systems
        link
        fedilink
        English
        arrow-up
        0
        ·
        2 years ago

        What made me mad was them referring to the Deep* books as “hard SF”. Arguable A Deepness… could be as it’s set in the Slow Zone so FTL travel is impossible, but A Fire… is classic space opera.

        • self@awful.systems
          link
          fedilink
          English
          arrow-up
          0
          ·
          2 years ago

          right? it’s a weird combination of these folks never engaging with the work they pretend to celebrate and trying to pretend that their AI fantasy will turn real life into a space opera. it’s fucking awful

        • self@awful.systems
          link
          fedilink
          English
          arrow-up
          0
          ·
          2 years ago

          sure! there was a little bit about it in the first stubsack and I posted a bit more about it in this thread on masto (with some links to papers I’ve been reading too, if you’d like to dig into the details on anything)

          overall what I’m working on is a hardware implementation of a Krivine machine, which uses Tromp’s prefix code bitstream representation of binary lambda calculus as its machine language and his monadic IO model to establish a runtime environment. it isn’t likely to be a very efficient machine by anyone’s standard, but I really like working with BLC as a pure (and powerful) form of computational math, and there’s something pleasant about the way it reduces down to a HDL representation (via the Amaranth HDL in this case). there’s a few subprojects I’ve been working on as part of this:

          • the basic HDL implementation targeting open source FPGA synthesis and simulation
          • a hardware closure allocator and garbage collector
          • an assembler to convert lambda calculus expressions into their binary form (which starts to resemble ML with a bunch of high level capabilities, with very little code either in the assembler or in ROM on the device — that’s one part of what makes the work interesting)
          • a lazy version (Krivine machines are call-by-name, which is almost there, and the missing pieces needed for lazy evaluation look a lot like a processor cache but with more structure)
          • I have the intuition that the complete Krivine machine will be fairly light on FPGA resources, so I’d like to see how many I can synthesize onto one core with parallelism primitives, FIFOs, and routing included
          • lambda calculus machines can do arithmetic and high-level logic without an ALU, which is neat but extremely inefficient. I have some basic plans sketched up for an arithmetic unit that’d allow for a much more cycle and memory efficient representation of integers and strings, and a way to derive closures from them

          I’ve been working on some of this on paper as a sleep aid for a while, but I’m finally starting on what’s feeling like a solid HDL implementation. let me know if you want more details on any of it! some of the more far off stuff is really just a mental sketch, but writing it out will at least help me figure out what ideas still make sense when they’re explained to someone else

          • sinedpick@awful.systems
            link
            fedilink
            English
            arrow-up
            0
            ·
            edit-2
            2 years ago

            I have a scattered interest in lambda calculus too so I’d love to follow this project. Tromp’s BLC definitely hits a sweet spot of complexity/size when it comes to describing computation in a way that’s deeply satisfying.

            Have you looked into interaction nets/other optimal beta-reduction schemes (there’s a project out there called HVM)? Probably way too high level for now though. I am fascinated by the possibility of these algorithms making church-representations more asymptotically efficient (or even balanced ternary)

            • self@awful.systems
              link
              fedilink
              English
              arrow-up
              0
              ·
              2 years ago

              I have a scattered interest in lambda calculus too so I’d love to follow this project. Tromp’s BLC definitely hits a sweet spot of complexity/size when it comes to describing computation in a way that’s deeply satisfying.

              exactly! it’s such a cool way to write a program, and it’s so much more satisfying than writing assembly for a von Neumann (or any load/store) machine. have you checked out LambdaLisp? it’s one of my inspirations for this project — it’s amazing that you can build a working Lisp interpreter out of BLC, and understanding how that was done taught me so much about Lisp’s relationship with lambda calculus.

              I plan to release my HDL as a collaborative project once I’ve got enough done to share out. currently I’ve got the HDL finished for the combinational circuit that makes bitstream BLC processing efficient with word-oriented memory hardware, and I’m doing debugging on the buffer that grabs words from memory and offsets them if they represent a term that isn’t word-aligned (which is a pretty simple circuit so I’m surprised I’ve managed to implement so many bugs). there’s quite a bit left to go! IO is still a sticking point — I know how I want to do it, but I can’t quite imagine how memory and runtime state will look after the machine reads or writes a bit.

              Have you looked into interaction nets/other optimal beta-reduction schemes (there’s a project out there called HVM)?

              that seems awesome! I really like that it can do auto-parallelization, and I want to check out how it optimizes lambda terms. for now my machine model is a pretty straightforward Krivine machine with some inspiration taken from the Next 700 Krivine Machines paper, which seems likely to yield a machine that can be implemented as circuitry. that paper decomposes Krivine-like machine models down into combinators, which can be seen as opcodes, microinstructions, or (in my case) operations that that need to be performed on memory during a particular machine state.

              once I’ve got the basic machine defined, I’d like to come back to something like HVM as a higher performance lambda calculus machine and see what can be adopted. one of their memory invariants in particular (the guarantee that each closure is only used once) maps really well to my mental model of what I imagine a hardware parallel lambda calculus machine would be like

              • sinedpick@awful.systems
                link
                fedilink
                English
                arrow-up
                0
                ·
                2 years ago

                I found LambdaLisp from your mastodon post and was immediately intrigued. I’m going to try and run it to get a better understanding of how the IO system works, and maybe even cook up my own BLC interpreter to run it! The hardware stuff is definitely out of my depth, but this may be a great chance to learn.

                • self@awful.systems
                  link
                  fedilink
                  English
                  arrow-up
                  0
                  ·
                  2 years ago

                  that’s a great idea! the only BLC VMs I know of are written in a very obscure style (Tromp’s especially — his first interpreter was an entry into the International Obfuscated C Code Contest and he only posted the (relatively) unobfuscated one later) and I think there’s plenty of room for something written to be more comprehensible. I’m also not aware of any VM that implements call-cc from Krivine’s original paper, which has interesting applications. and of course, all the Krivine machines I know are relatively slow and very memory-inefficient — but there’s low hanging fruit here that can make things better.

                  one thing I might take on is implementing a visual krivine machine — something with a GUI that shows its current state and a graph of all the closures in memory. that would be a big boon for my current work, and I might see if I could graft something like that onto the simulation testbench for my HDL implementation.

          • self@awful.systems
            link
            fedilink
            English
            arrow-up
            0
            ·
            edit-2
            2 years ago

            for anyone who’s fucking lost reading the above (I can’t blame ya), lambda calculus is the mathematical basis behind functional programming. this is a fun introduction. the only things you can do in lambda calculus are define functions, name variables, and apply functions to other functions or variables (which substitutes the variables for whatever they’re being applied to and eliminates the function). that’s all you need to represent every possible computer program, which is amazing

            a Krivine machine is a machine for doing what the alligators in that intro are doing, automatically — that is, reducing down lambda functions until they can’t be reduced anymore and produce a final value. that process is computation, so a Krivine machine is a (rather strange) computer

    • bitofhope@awful.systems
      link
      fedilink
      English
      arrow-up
      0
      ·
      2 years ago

      Ah damn, Justine has my respect for a bunch of cool and interesting stuff but this is just embarrassing, unless I’m missing some extremely dry satire.

    • Soyweiser@awful.systems
      link
      fedilink
      English
      arrow-up
      0
      ·
      2 years ago

      The replies to somebody aggressively (and downvoted) pointing out some of the flaws in Jarts post are bad. Damn.

      an LLM cannot be used to create a better LLM

      By that logic most humans are also not intelligent.

      No you dweeb, they are talking about model collapse, that thing what happens to this 90’s tech.

      Oh, it doesn’t work? That’s because IT’S NOT INTELLIGENT.

      Ok, let’s run this test of “real intelligence” on you. We eagerly await to see your model. Should be a piece of cake.

      This is both a weird adhom and a god is hiding in the gaps style argument. (While I have some sympathy for this Peter Watts style argument it is incredibly weak (their post history (8) is more of this very weak stuff)).

  • saucerwizard@awful.systems
    link
    fedilink
    English
    arrow-up
    0
    ·
    2 years ago

    Back during the last Sneerclub blowout I found my reddit account getting psychoanalyzed by twitter rationalists. They were very upset about the Rod Dreher thing.

    for some reason this is still hilarious

      • saucerwizard@awful.systems
        link
        fedilink
        English
        arrow-up
        0
        ·
        2 years ago

        It you search sneerclub on twitter you might find it. Apparently the Dreher thing indicates psychopathy (how they play the ‘bullied nerd’ trope again and again is fascinating to me).

          • saucerwizard@awful.systems
            link
            fedilink
            English
            arrow-up
            0
            ·
            2 years ago

            Tweeting about penises every few days. More seriously: his mental health is way not good and he’s going full woo.

            • David Gerard@awful.systemsOPM
              link
              fedilink
              English
              arrow-up
              0
              ·
              2 years ago

              amazed when it turned out rod dreher’s wingnut welfare was ONE single patron funding him for years

              so i’m not surprised he’s completely fucked now

              • saucerwizard@awful.systems
                link
                fedilink
                English
                arrow-up
                0
                ·
                2 years ago

                My favorite part was the ex-boyfriend revelations. Also the one picture of twinkRod - he looks like a Lost Boys extra i swear to god.

                • gerikson@awful.systems
                  link
                  fedilink
                  English
                  arrow-up
                  0
                  ·
                  2 years ago

                  OK thanks all for the updates. I was aware of most of them. It’s been quiet around him in the venues I frequent. I’d like to think it’s because most people recognize he’s not well and it’s punching down to make fun of him.

  • swlabr@awful.systems
    link
    fedilink
    English
    arrow-up
    0
    ·
    edit-2
    2 years ago

    CW: Palestine-Israel.

    Something I’ve observed is various members of the rats being zionist/pro-israel/anti-palestine. This doesn’t really surprise me, but that’s not what I’m commenting on.

    One topic that occasionally gets discussed is Israel’s use of “AI” in warfare. I’m only going to link one source and I’m not going into it too deeply.

    So what I’m wondering is: this seems to pattern match to one of the great AI doom narratives, ie. of AGI* being given control of military assets; where is the rationalist outrage? I searched Lesswrong for mentions of Israel and the IDF but turned up empty handed.

    To be clear: this is a request for submissions. I am not rhetorically sneering at what I am perceiving as a hypocritical lack of outrage, to do so would require proof. That being said it’s probably clear from this comment that my mind is constructing that narrative.

    *of course I am not saying that whatever the IDF is saying is AI is AGI, as AGI is not real.

    • skillissuer@discuss.tchncs.de
      link
      fedilink
      English
      arrow-up
      0
      ·
      2 years ago

      the old thing was use of ai in iron dome, because generally mistaking a civilian target for a rocket is pretty hard given differences in size and speed, and autonomous air defense is a thing that already exists for decades. the ai part comes from predicting if a given rocket will fall on populated area, and pointing radar-guided interceptors to those that do

      the new thing, well nobody can tell you that you’re doing things wrong if nobody knows for sure what are you doing. to even tell whether it’s working or not you’d need to sit in heads of israeli military planners and know what are their exact objectives and acceptable collateral damage

      people at palantir are probably making very detailed notes

      • swlabr@awful.systems
        link
        fedilink
        English
        arrow-up
        0
        ·
        2 years ago

        the new thing, well nobody can tell you that you’re doing things wrong if nobody knows for sure what are you doing. to even tell whether it’s working or not you’d need to sit in heads of israeli military planners and know what are their exact objectives and acceptable collateral damage

        Yeah, and I don’t think they are ever going to be explicit about how their “AI” works.

  • swlabr@awful.systems
    link
    fedilink
    English
    arrow-up
    0
    ·
    2 years ago

    I’ve started noticing what might be described as “filler art” being done by AI. For example, while a local restaurant was being constructed, it had boards up to obscure the goings on with AI art on it- easily distinguished by bad hands, disturbing looking noodles, and amorphous blobs resembling, uh, more morphous blobs. I didn’t take any photos because I didn’t want to ruin the sanctity of my phone.

    Once they finally opened I tried their food and it sucked.

    • Mii@awful.systems
      link
      fedilink
      English
      arrow-up
      0
      ·
      2 years ago

      Once they finally opened I tried their food and it sucked.

      So it was at least accurate advertising on their part.

    • skillissuer@discuss.tchncs.de
      link
      fedilink
      English
      arrow-up
      0
      ·
      2 years ago

      this kind of filler art, ai spam, ai porn, ai seo optimized drivel, ai generated fakes, ai propaganda, ai jpegs that are generated cheaply enough that human artists can’t get by on these rates, all of these are things that people don’t want to make on moral, legal or some other grounds. just like with all of other automation (well there’s no physical risk in making pictures). there will be more of it