home - all - feeds - topics | privacy - crazyfuckingvideos - lemmyshitpost - mop - showerthoughts - onehundredninetysix - nottheonion - pcgaming - whitepeopletwitter - technologie - gnome - aiop - formula1 - news - world - notepadplusplus - amtrak - asklemmy - newcommunities - php - more »
log in or sign up | preferences |
quokk.au site icon
unquietwiki@programming.dev
  • overview
  • comments
  • submitted
  • unquietwiki

    unquietwiki@programming.dev
    joined 3 years ago
    moderator of
    ipv6@lemmy.world
    sorted by: new top controversial old
    -12
    "Bend": an attempt to apply formal proofs to AI-generated code (github.com)
    submitted 1 month ago by unquietwiki@programming.dev to c/programming@programming.dev
    2 comments fedilink
     

    This showed up on TLDR today. Supposed to be able to loop this in with AI-assisted code development to provide guardrails on what the program is actually supposed to do.

    "notwin95" -- A minimal application launcher. in c/linux@programming.dev
    [–] unquietwiki@programming.dev 2 points 1 month ago

    Upvoted because its neat, but the distribution needs work: you have a TAR file in the GZIP, not labeled as a TAR file, so it's hard to tell at first what/how you're supposed to access this.

  • permalink
  • fedilink
  • source
  • 5
    DuckLabs to Join AWS, Projects to Remain Open Source (ducklabs.com)
    submitted 2 months ago by unquietwiki@programming.dev to c/opensource@programming.dev
    1 comment +1 crosspost fedilink
    Rest in peace.... in c/programmer_humor@programming.dev
    [–] unquietwiki@programming.dev 5 points 4 months ago

    I used to do contract work for AVASO; they were using WhatsApp for comms at the time.

  • permalink
  • fedilink
  • source
  • parent
  • context
  • 1
    Enabling IPv6 support for IPv4-only apps on Linux (blog.apnic.net)
    submitted 3 years ago by unquietwiki@programming.dev to c/ipv6@lemmy.world
    comment fedilink
    piefed
    0.5.3
    mlmym
    dotzip.1.9
    quokk.au
    modlog