Skip to content
View Solarys431's full-sized avatar
3 followers · 3 following

Achievements

Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: Pull Shark

Achievements

Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: Pull Shark

Block or report Solarys431

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Solarys431/README.md

Daniele Cappello, poietic architect, AI solutions. From broadcast to generative AI: broadcast, finance, compliance, research

I spent twenty years in live broadcast, including fourteen years leading a 30-person technical team across the control rooms of Sky Sport 24 and Sky TG24. Since 2023, I have applied the same discipline in real-time operations, reliability and accountability to building end-to-end AI systems.

Public evidence

Elsewhere

Hugging Face · DAEDALUS · Museum

Leggi in italiano

Pinned Loading

  1. vortex-site vortex-site Public

    VORTEX: four modular applications for television production and real-time communication.

    HTML

  2. vortex-communication-os vortex-communication-os Public

    VORTEX Meet: multilingual meeting prototype with translated captions and AI summaries.

    HTML

  3. geometry-sets-the-budget geometry-sets-the-budget Public

    Measurement harness and raw data: a cheap robust statistic, sigma_med*sqrt(d), predicts the tolerance boundary of additive interventions in language models. Kappa stays in [0.2, 1.2] across 11 chec…

    Python

  4. solarys-conformita-sito solarys-conformita-sito Public

    Functional prototype for local AI document pre-audits. Checks 104 compliance requirements for professional firms and SMEs, links findings to source evidence, and keeps files on-device.

    HTML

  5. agrawal-r5 agrawal-r5 Public

    Lean 4 formalization of the golden moment and certified structural constraints for Agrawal's conjecture at r = 5.

    Lean

  6. unico-lean-proofs unico-lean-proofs Public

    Machine-verified Lean 4 proofs from the UNICO/NOUS autonomous certification pipeline, including the geometric formalization of Morley's trisector theorem (Wiedijk #84)

    Lean