Skip Navigation

InitialsDiceBearhttps://github.com/dicebear/dicebearhttps://creativecommons.org/publicdomain/zero/1.0/„Initials” (https://github.com/dicebear/dicebear) by „DiceBear”, licensed under „CC0 1.0” (https://creativecommons.org/publicdomain/zero/1.0/)C
Posts
1
Comments
113
Joined
3 yr. ago

  • The output would be a string containing the proof, which a deterministic, non-LLM proof-checker could decide whether it’s correct or not.

    This part seems like an optimistic statement. Do we have LLMs outputting proofs in a consistently correct format that prof checkers can accept?

  • No. Very pleased to have all my bits.

  • Aaaaaaaaaaaaaaaaaaa No!!!!! My data! Please stop doing that!

  • unless they force people to stop and wait to get their money

    Do you really feel like inconveniencing us is unlikely?

    A few years ago before I moved away, PNC bank had a few branches with new ATMs that made me tap through ads for loans and special checking accounts.

  • My family calls them charging doots

    Edit: or also sometimes “wall-to-usb adapters”

  • Plex was great in 2001 2004 when I had videos on my Macintosh and I wanted to play them using the PS2 PS3 hooked up to the television.

    20 years is a long time for a rug pull. I think they just found themselves more excited about money after a while.

  • Opposite: I (US-ian) was visiting friends in Germany and they took me on a bike ride in the woods.

    “Look!!” (Bike sudden halt, stop and point into a tree with full arm) “a squirrel!”

  • I’ve been really liking Wheel of Time. I thought the books were really great world building but desperately needed some editing, and the TV provided some good editing. Sue me.

  • Speaking here as an art noob who generally knows nothing of what the pieces are supposed to mean or what their societal context was when they were made and what forces they were pushing against etc:

    When my arty partner drags me into art museums with huge abstract modern art pieces with just big splotches of heavily textured color (I’m thinking in particular of one giant piece filling a wall with jagged black heaps of paint) they do in fact make me feel feelings.

    In my case, as in OP’s case, they were really bad feelings. I would prefer not to feel really bad and I don’t like that art. But I certainly couldn’t call it ineffective fart-huffing!

  • I mean, everybody in Canberra is from someplace else anyway so I wouldn’t expect any local special spelling for common words. Maybe I just got in with a pocket of queries weirdos 🤷

  • In Canberra I worked with a few people who confused me with their talk of draws.

  • In Australia they just straight-up spell it that way

  • Say it however you want that works for your relationship.

    What I meant to be saying there was — if nobody tells him his review comments aren’t helpful anymore, then he probably won’t know.

    I’m speaking from the perspective of somebody who spends like 1/2 their time or more doing code reviews, if I’m wasting people's time I would want to know it

  • You need to tell him that. Seriously. Pick some especially bad example to point at, and come to him with, "Hey Bob, I used to get real value from your review comments. I could tell you were thinking about what to say and it helped me to produce better code. Now it seems I am mostly seeing LLM-generated junk like this one that doesn't help anybody. This isn't an improvement, can you go back to the more helpful way you used to do things?"

  • Most of my division has switched to macs over the past few years. I've always been a mac guy but having my IT department offer the switch a few years ago was a surprise, and seeing my coworkers actually choose it has been kind of a shock.

  • Cut off for sharing, or cut off for running illegal/unsafe/unlicensed wiring and plumbing connections?

  • I pulled in late and tired to a random motel 6 in Illinois. Went in to the office with my wife and three small children, talked to the attendant through thick bulletproof glass to get a room. Attendant was very weirdly hesitant.

    Went to the room, found the floor was linoleum tiles that were all peeling up at the edges, doors, doorframes, beds all in bad condition, some seriously weird and disturbing smell we didn’t recognize.

    Came back down to the office and asked for our money back, which is the single solitary time I’ve ever done that at a hotel. The attendant seemed relieved and was very happy to return the money.

    Our kids were really little but they’ve always remembered that and they call it the “nope-tel”

  • One of the things that absolutely sucks donkey balls about being a new parent is that half your friends just totally ghost you and done want to deal with the complications of your kids, which it sounds like your friend is dealing with.

    Definitely hanging out in a coffee shop with a bored toddler is not a recipe for a good time, which I guess your friend has not discovered hard enough yet. The other person suggesting hanging out at a park instead is on to something. Or just anywhere else where the kid has something to do besides sit down and shut up, which generally they won’t.