home.social

#vera — Public Fediverse posts

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

  1. "Three camps alike in dignity," by me for Negroni Venture Studios. In the last six months, seventeen programming languages designed for AI agents to write rather than humans have appeared independently. They divide into three camps: syntactic, verification, orchestration. I built one of them (Vera), went looking for the others, and found a field. #AI #ProgrammingLanguages #Vera #FormalVerification #LLM negroniventurestudios.com/2026

  2. "Three camps alike in dignity," by me for Negroni Venture Studios. In the last six months, seventeen programming languages designed for AI agents to write rather than humans have appeared independently. They divide into three camps: syntactic, verification, orchestration. I built one of them (Vera), went looking for the others, and found a field. #AI #ProgrammingLanguages #Vera #FormalVerification #LLM negroniventurestudios.com/2026

  3. "Three camps alike in dignity," by me for Negroni Venture Studios. In the last six months, seventeen programming languages designed for AI agents to write rather than humans have appeared independently. They divide into three camps: syntactic, verification, orchestration. I built one of them (Vera), went looking for the others, and found a field. #AI #ProgrammingLanguages #Vera #FormalVerification #LLM negroniventurestudios.com/2026

  4. "Three camps alike in dignity," by me for Negroni Venture Studios. In the last six months, seventeen programming languages designed for AI agents to write rather than humans have appeared independently. They divide into three camps: syntactic, verification, orchestration. I built one of them (Vera), went looking for the others, and found a field. #AI #ProgrammingLanguages #Vera #FormalVerification #LLM negroniventurestudios.com/2026

  5. "Three camps alike in dignity," by me for Negroni Venture Studios. In the last six months, seventeen programming languages designed for AI agents to write rather than humans have appeared independently. They divide into three camps: syntactic, verification, orchestration. I built one of them (Vera), went looking for the others, and found a field. #AI #ProgrammingLanguages #Vera #FormalVerification #LLM negroniventurestudios.com/2026

  6. Wussten Sie das schon?
    Im Aufgabenbrowser des @IQB_media finden Sie auf die Bildungsstandards bezogene, kompetenzorientierte Testaufgaben, Lernaufgaben und Abiturprüfungsaufgaben.
    iqb.hu-berlin.de/de/schule/auf
    #Abitur #FediLZ #VERA #Schule #Grundschule

  7. Wussten Sie das schon?
    Im Aufgabenbrowser des @IQB_media finden Sie auf die Bildungsstandards bezogene, kompetenzorientierte Testaufgaben, Lernaufgaben und Abiturprüfungsaufgaben.
    iqb.hu-berlin.de/de/schule/auf
    #Abitur #FediLZ #VERA #Schule #Grundschule

  8. Wussten Sie das schon?
    Im Aufgabenbrowser des @IQB_media finden Sie auf die Bildungsstandards bezogene, kompetenzorientierte Testaufgaben, Lernaufgaben und Abiturprüfungsaufgaben.
    iqb.hu-berlin.de/de/schule/auf
    #Abitur #FediLZ #VERA #Schule #Grundschule

  9. Wussten Sie das schon?
    Im Aufgabenbrowser des @IQB_media finden Sie auf die Bildungsstandards bezogene, kompetenzorientierte Testaufgaben, Lernaufgaben und Abiturprüfungsaufgaben.
    iqb.hu-berlin.de/de/schule/auf
    #Abitur #FediLZ #VERA #Schule #Grundschule

  10. Wussten Sie das schon?
    Im Aufgabenbrowser des @IQB_media finden Sie auf die Bildungsstandards bezogene, kompetenzorientierte Testaufgaben, Lernaufgaben und Abiturprüfungsaufgaben.
    iqb.hu-berlin.de/de/schule/auf
    #Abitur #FediLZ #VERA #Schule #Grundschule

  11. I took this photo of baby Véra today:

    She’s my everything 💛

    -Allēna

    #beloved #cats #SliceOfLife #Véra
  12. I took this photo of baby Véra today:

    She’s my everything 💛

    -Allēna

    #beloved #cats #SliceOfLife #Véra
  13. Düsseldorf: Esther Kinsky und Julia Fiedorczuk beim Kunstkiosk

    Nach einer sechsmonatigen Winterpause lädt Vera Vorneweg für den 21. Mai zur nächsten Veranstaltung ihrer Lesereihe „Kunstkiosk“ ein.…
    #Duesseldorf #Deutschland #Deutsch #DE #Schlagzeilen #Headlines #Nachrichten #News #Europe #Europa #EU #Düsseldorf #Caffee #Elona #EstherKinsky #Germany #JuliaFiedorczuk #Kunstkiosk #Lesereihe #Nordrhein-Westfalen #Vera #Veranstaltung #Vorneweg #Winterpause
    europesays.com/de/989206/

  14. May I? - Craig Richards, Vera, Bobby. C.A.R (Live), Olita, Patrick Rowe, Gabriel Rai + more @ Gaffe - 03 May feat. Craig Richards, Vera, Bobby. + more

    #SESH #CraigRichards #Vera #Bobby

    sesh.sx/e/1967851

  15. CW: Spoiler: Speculation on ending of Vera

    In the final season of Vera, we are led to believe through the storytelling that Vera is contemplating and ends up choosing the new role of superintendent.

    But the ending shot of her walking on the beach with her new dog makes me ponder instead if she chose to fully retire. After all, we didn't see where she put her box of desk stuff after taking it out of the DCI office. And she had that enigmatic line something like getting out of the way for others to fly.

    Thoughts?

    #Vera

  16. CW: Spoiler: Speculation on ending of Vera

    In the final season of Vera, we are led to believe through the storytelling that Vera is contemplating and ends up choosing the new role of superintendent.

    But the ending shot of her walking on the beach with her new dog makes me ponder instead if she chose to fully retire. After all, we didn't see where she put her box of desk stuff after taking it out of the DCI office. And she had that enigmatic line something like getting out of the way for others to fly.

    Thoughts?

    #Vera

  17. CW: Spoiler: Speculation on ending of Vera

    In the final season of Vera, we are led to believe through the storytelling that Vera is contemplating and ends up choosing the new role of superintendent.

    But the ending shot of her walking on the beach with her new dog makes me ponder instead if she chose to fully retire. After all, we didn't see where she put her box of desk stuff after taking it out of the DCI office. And she had that enigmatic line something like getting out of the way for others to fly.

    Thoughts?

    #Vera

  18. CW: Spoiler: Speculation on ending of Vera

    In the final season of Vera, we are led to believe through the storytelling that Vera is contemplating and ends up choosing the new role of superintendent.

    But the ending shot of her walking on the beach with her new dog makes me ponder instead if she chose to fully retire. After all, we didn't see where she put her box of desk stuff after taking it out of the DCI office. And she had that enigmatic line something like getting out of the way for others to fly.

    Thoughts?

    #Vera

  19. CW: Spoiler: Speculation on ending of Vera

    In the final season of Vera, we are led to believe through the storytelling that Vera is contemplating and ends up choosing the new role of superintendent.

    But the ending shot of her walking on the beach with her new dog makes me ponder instead if she chose to fully retire. After all, we didn't see where she put her box of desk stuff after taking it out of the DCI office. And she had that enigmatic line something like getting out of the way for others to fly.

    Thoughts?

    #Vera

  20. Vera: because who needs human programmers when you can have #machines write #code for machines? 🤖💻 Let's just skip the human-readable part altogether and let #AI enjoy its secret language club. 🕵️‍♂️🔍
    github.com/aallan/vera #Vera #HumanProgramming #SecretLanguage #HackerNews #ngated

  21. Vera: because who needs human programmers when you can have #machines write #code for machines? 🤖💻 Let's just skip the human-readable part altogether and let #AI enjoy its secret language club. 🕵️‍♂️🔍
    github.com/aallan/vera #Vera #HumanProgramming #SecretLanguage #HackerNews #ngated

  22. Vera: because who needs human programmers when you can have #machines write #code for machines? 🤖💻 Let's just skip the human-readable part altogether and let #AI enjoy its secret language club. 🕵️‍♂️🔍
    github.com/aallan/vera #Vera #HumanProgramming #SecretLanguage #HackerNews #ngated

  23. Vera: because who needs human programmers when you can have #machines write #code for machines? 🤖💻 Let's just skip the human-readable part altogether and let #AI enjoy its secret language club. 🕵️‍♂️🔍
    github.com/aallan/vera #Vera #HumanProgramming #SecretLanguage #HackerNews #ngated

  24. Vera: because who needs human programmers when you can have #machines write #code for machines? 🤖💻 Let's just skip the human-readable part altogether and let #AI enjoy its secret language club. 🕵️‍♂️🔍
    github.com/aallan/vera #Vera #HumanProgramming #SecretLanguage #HackerNews #ngated