home.social

#solveraidedprogramming — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #solveraidedprogramming, aggregated by home.social.

fetched live
  1. Racket (and Rhombus) @[email protected] ·

    17 Days till RacketCon

    Come join us and learn How Cloudflare Uses Racket and Rosette to Verify DNS Changes

    con.racket-lang.org
    #racket #lisp #dsl #solveraidedprogramming #rosette

    #racket #lisp #dsl #solveraidedprogramming #rosette
  2. Racket (and Rhombus) @[email protected] ·

    17 Days till RacketCon

    Come join us and learn How Cloudflare Uses Racket and Rosette to Verify DNS Changes

    con.racket-lang.org
    #racket #lisp #dsl #solveraidedprogramming #rosette

    #racket #lisp #dsl #solveraidedprogramming #rosette