home.social

#rego — Public Fediverse posts

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

  1. Prolog nezmizel. Jeho hlavní myšlenku dnes potkáváme v nástrojích, které se Prologu na první pohled nepodobají: v CodeQL pro analýzu kódu, v Rego pro policy-as-code, v Z3 pro práci s omezeními a v Leanu pro formální důkazy. Každý řeší jiný problém, ale všechny připomínají totéž: někdy je lepší popsat vztahy, pravidla, omezení nebo tvrzení než vrstvit další if.

    https://zdrojak.cz/clanky/prolog-nezmizel-jen-dnes-zije-v-jinych-nastrojich/
  2. 🌍 ZARZĄDZANIE POLITYKAMI Z OPA I REGO 🌍

    Ruslan Korniichuk, specjalista z doświadczeniem w firmach z listy , opowie o zarządzaniu politykami z Open Policy Agent (OPA) i językiem . Przykłady z , i !☁️

    Zapisy --> jesien.org/2024/zapisy/

  3. Eventful day starting at 5 AM traveling from Stockholm 🇸🇪 to Utrecht 🇳🇱 to talk #authorization and #OPA at #VodafoneZiggo before heading to Haarlem and an amazing dinner with @parcifal and his wife. Tomorrow I’ll be presenting on #Regal, my #Rego linter, at the local OPA Amsterdam meetup. Good times!

  4. Eventful day starting at 5 AM traveling from Stockholm 🇸🇪 to Utrecht 🇳🇱 to talk #authorization and #OPA at #VodafoneZiggo before heading to Haarlem and an amazing dinner with @parcifal and his wife. Tomorrow I’ll be presenting on #Regal, my #Rego linter, at the local OPA Amsterdam meetup. Good times!

  5. Eventful day starting at 5 AM traveling from Stockholm 🇸🇪 to Utrecht 🇳🇱 to talk and at before heading to Haarlem and an amazing dinner with @parcifal and his wife. Tomorrow I’ll be presenting on , my linter, at the local OPA Amsterdam meetup. Good times!

  6. Eventful day starting at 5 AM traveling from Stockholm 🇸🇪 to Utrecht 🇳🇱 to talk #authorization and #OPA at #VodafoneZiggo before heading to Haarlem and an amazing dinner with @parcifal and his wife. Tomorrow I’ll be presenting on #Regal, my #Rego linter, at the local OPA Amsterdam meetup. Good times!

  7. Toying around with #ClojureCLR support for #Jarl this weekend, as another platform for #OPA and #Rego evaluation is a very interesting prospect. Quite impressed by the project, but the developer experience could certainly improved on. That I don't have a lot of experience with #dotnet doesn't help 😅 Still, I'm not giving up, and I hope to have at least a basic version published before the end of the year.

    I'd be curious to know of any other projects using the CLR port of Clojure!

    #clojure

  8. Toying around with #ClojureCLR support for #Jarl this weekend, as another platform for #OPA and #Rego evaluation is a very interesting prospect. Quite impressed by the project, but the developer experience could certainly improved on. That I don't have a lot of experience with #dotnet doesn't help 😅 Still, I'm not giving up, and I hope to have at least a basic version published before the end of the year.

    I'd be curious to know of any other projects using the CLR port of Clojure!

    #clojure

  9. Toying around with support for this weekend, as another platform for and evaluation is a very interesting prospect. Quite impressed by the project, but the developer experience could certainly improved on. That I don't have a lot of experience with doesn't help 😅 Still, I'm not giving up, and I hope to have at least a basic version published before the end of the year.

    I'd be curious to know of any other projects using the CLR port of Clojure!

  10. Toying around with #ClojureCLR support for #Jarl this weekend, as another platform for #OPA and #Rego evaluation is a very interesting prospect. Quite impressed by the project, but the developer experience could certainly improved on. That I don't have a lot of experience with #dotnet doesn't help 😅 Still, I'm not giving up, and I hope to have at least a basic version published before the end of the year.

    I'd be curious to know of any other projects using the CLR port of Clojure!

    #clojure