English · Italiano
Backend & Tooling Software Developer · Python · Linux · Automation · Open Source
I turn recurring operational problems into reliable tools, explicit workflows and reusable open-source software.
AI is part of my engineering toolkit. I use it to accelerate research, implementation, testing, review and documentation, while keeping human responsibility, technical understanding, verification and evidence at the center of every published contribution.
These projects best represent my current work across backend design, reliable automation, developer tooling and reproducible software workflows.
Featured live demo — Atelier-Kit
Explore the public Atelier-Kit demo directly in your browser.
| Project | Official release | What it does | What it demonstrates |
|---|---|---|---|
| Atelier-Kit | v0.5.1 | Provides a configurable showcase kit with local Studio, Atelier Desktop and separately configured private Hosted Studio authoring, content-driven catalog workflows and deployment tooling | SvelteKit product architecture, explicit Visitor/local/hosted authority boundaries, atomic repository mutations, desktop delivery and downstream Giada UI adoption |
| Smart File Organizer | v0.6.0 | Analyzes files, previews an organization plan and moves them only when explicitly requested | Deterministic file automation, explicit dry-run workflows, explainable decisions, filesystem verification and read-only recovery planning |
| LeLe Manager | v1.11.1 | Collects, searches and reuses textual lessons learned through Markdown, CLI, GUI and API workflows | Local-first data, JSONL persistence, API boundaries, backend design and packaged desktop delivery |
| GiadaWare UI Components | v0.1.0 | Provides reusable Svelte UI primitives for GiadaWare applications through isolated base, visitor and studio entry points | Svelte package architecture, immutable packed artifacts, isolated entry points, SSR/hydration and accessibility contracts |
| GYTE | v1.3.1 | Extracts transcripts, audio and video from YouTube and supports text reflow, translation and local transcription workflows | Manifest-driven CLI design, media extraction pipelines and reproducible operational tooling |
| Ubuntu System Tools | v0.3.0 | Linux utilities for diagnostics, controlled maintenance, offline transcription and kernel warning analysis | Safety-first system tooling, read-only diagnostics, explicit opt-in workflows and reproducible Linux packaging |
More operational projects
| Project | Technical signal |
|---|---|
| GiadaWare AI | Experimental 0.x infrastructure for provider-independent, read-only AI capabilities with typed outputs, deterministic validation boundaries and replaceable backends |
| GYTE AI Learning Pipeline | Restartable content pipelines, deterministic validation, private/public boundaries and explicit external-delivery handoffs |
| LeLe Quizzer | Deterministic quiz generation, CLI UX and knowledge reuse |
Background and GiadaWare
GiadaWare™ is my personal lab for turning recurring friction into notes, tools and public projects.
Earlier professional experience includes PHP and Laravel; my current public work focuses on Python, Linux, automation and open-source engineering. Open to remote roles and opportunities.
Every problem solved once deserves to become knowledge. If that knowledge is reusable, it deserves to become a tool. If that tool is useful to others too, it deserves to become open source.
I contribute upstream by starting from real project problems: reproduce the behavior, bound the change, add tests and carry the patch through the project's review process.
VS Code extension and language tooling for working with BitBake and Yocto Project.
Upstream: yoctoproject/vscode-bitbake · Fork: gcomneno/vscode-bitbake
| What I contributed | What it demonstrates |
|---|---|
| Fixed recipe-local file discovery by bounding recursive scans and adding cancellation, caching and lazy loading | Debugging in an existing codebase, performance, concurrency/cancellation and non-regression testing |
| Simplified the BitBake configuration-selection flow and corrected status-bar updates | Conservative refactoring, characterization tests and coherent UI state management |
Evolved the integration-test workspace toward bitbake-setup and Yocto 6.0 |
Linux/Yocto, reproducible integration environments and test-infrastructure maintenance |
| Updated npm dependencies in a controlled way, reducing vulnerabilities without changing declared ranges | Dependency maintenance, security hygiene and layered validation |
| Extracted reusable cancellable file-search and lifecycle boundaries for Toaster and BitBake document handling | Modular TypeScript refactoring, explicit lifecycle ownership and behavior-preserving characterization tests |
The entries below are upstream pull requests verified as merged; public forks are not used as evidence of accepted contribution.
Yocto Project — vscode-bitbake
- #546 — refactor: extract Devtool commands
- #538 — Fix unbounded recipe-local file discovery
- #543 — Extract reusable cancellable file search utility
- #545 — refactor: extract document lifecycle
- #544 — refactor: extract Toaster lifecycle
- #513 — test: finish integration run on success
- #518 — fix(scanner): prefer non-skipped recipe entries
- #510 — Preserve sane BitBake state for restored scan cache
- #533 — refactor: simplify BitBake config picker flow
- #532 — fix: update status bar after picking config by name
- #535 — test: create integration workspace with bitbake-setup
- #524 — test: fetch split Yocto 6.0 repositories
- #526 — fix: keep parse-on-save scans quiet on config errors
Canonical Craft ecosystem
- craft-parts#1523 — fix(executor): preserve special files during build copy
- craft-parts#1485 — fix(deb): avoid python-apt for installed package checks
- craft-parts#1600 — fix(git): checkout commit before updating submodules
- craft-parts#1598 — feat(organize): support build pseudo-partition source
- craft-parts#1562 — fix(organize): reject sources outside install dir
- craft-parts#1533 — fix(sources): handle streaming request errors
- craft-application#1068 — fix(application): preserve non-success dispatcher return codes
- craft-providers#966 — chore(types): enable explicit re-export checking
- craft-cli#444 — fix(messages): reset terminal style after open_stream
- snapcraft#6216 — fix(init): allow long directory names
- craft-cli#425 — fix(utils): correct humanize_list formatting for two-item lists
- rockcraft#1148 — docs: update LXD/Docker incompatibility handling
Canonical Operator Framework
These repositories use reproducible software experiments to investigate sequence structure, statistical behavior and deterministic computation.
| Area | Project | Technical focus |
|---|---|---|
| Recursive structural algebra | PETRA | Canonical shape-first algebra for prime-exponent tower structures, with immutable recursive forms, structural rewrite operators, a maintained CLI and Resolver shortest-path/distance tooling |
| Sequence analysis | Digit Probe | Randomness, compressibility, autocorrelation, n-grams and Schur-like patterns through a reusable analysis API |
| Modular structure analysis | Midas | Deterministic modular fingerprints, anomaly localization and structural comparison without predictive claims |
| Finite-state stochastic modeling | Lotto Digit Coverage Dynamics | Exact absorbing Markov models, exhaustive kernel verification, historical signal analysis, versioned application contracts and a local reproducible research GUI |
| Sequence recognition | OEIS Probe | Offline OEIS lookup, normalized search and SQLite caching |
More research and experimental projects
| Area | Project | Technical focus |
|---|---|---|
| Deterministic bucketing | Turbo-Bucketizer | High-entropy IPv4 partitioning and deterministic allocation |
| Structural search | Integer Structural Search | Bounded search over integer representations and constraints |
| Linguistic compression | Huffman Compressor | Italian text preprocessing and layered Huffman coding |
| Modular signatures | Prime Tower Clocks | Prime clocks, the Chinese Remainder Theorem and modular signatures |
| Time-series compression | Lasagna v2 | Adaptive segmentation, predictor-based residual coding and controlled lossy/lossless experiments on univariate time series |
| Experimental codec | Crystal Codec GCC v1 | p-adic crystal and prism codec prototype |
I turn study into documented, reproducible paths rather than presenting learning repositories as production experience.
| Area | Repository | Current focus |
|---|---|---|
| Applied sequence analysis | System Log Dynamics | Reproducible Digit-Probe demonstrator over privacy-safe Linux journal normalization, deterministic evidence and temporal comparison |
| Embedded Linux | Yocto/QEMU Mini Lab | Reproducible image builds, custom layers and recipes, BitBake workflows and QEMU boot validation |
| Embedded Linux | Cat Couch Guardian | Educational virtual-first C11 motion-event slice packaged in a Yocto-derived ARM64 image, with systemd autostart and deterministic QEMU evidence |
| Linux isolation | Linux Container Lab | Studied Linux container primitives through executed non-privileged experiments and partial verification; container implementation has not started |
| Distributed systems | Distributed Systems Study | Session 01 is prepared around algorithms, failure models and coordination; active study is not yet marked complete |
| System design | System Design Study | Architecture notes, quizzes and interview-oriented lessons |
| Software development | Kleis Software Development Course | Progressive exercises in C#/.NET, HTML, SQL and PHP, including a verified PDO/MySQL CRUD application with Bootstrap |
| Physics | Physics Study | Original, fact-checked lessons; first lesson: Does Light ACTUALLY Move?, from Io eclipse timing to evidence for the finite speed of light |
Earlier or supporting learning labs
- OOP in C Lab — object layout, manual virtual dispatch, runtime type identity and checked downcasting
- JavaScript Lab — JavaScript and TypeScript middleware pipelines and reusable design patterns, with executable tests
- BoardLab — generic game-engine architecture and reproducible search/AI experiments in early incubation
- Historical Laravel Lab — earlier backend web study and documentation
- 2026-09-18 ·
digit-probe· Docs: record Zenodo DOI for v1.0.0 (#32) - 2026-09-18 ·
digit-probe· Docs: add Zenodo citation metadata (#31) - 2026-09-18 ·
smart-file-organizer· Release: v0.6.0 - 2026-09-18 ·
gyte-ai-learning-pipeline· Docs: add v0.5.0 download and quick start CTA (#53)
More recent meaningful updates
- 2026-09-18 ·
gyte-ai-learning-pipeline· Release: GYTE AI Learning Pipeline v0.5.0 Technical Preview - 2026-09-18 ·
gyte-ai-learning-pipeline· Feature: prepare downloadable technical preview (#52) - 2026-09-18 ·
digit-probe· Release: Digit Probe v1.0.0 - 2026-09-18 ·
smart-file-organizer· Docs: align README with verifiable recovery state (#106) - 2026-09-18 ·
digit-probe· Docs: define consumer-safe analysis contract (#22) (#25) - 2026-09-18 ·
gyte-ai-learning-pipeline· Docs: complete manual social-source triage PoV (#50) - 2026-09-18 ·
gyte-ai-learning-pipeline· Docs: complete Source-to-Skill human/agent PoV (#49) - 2026-09-18 ·
gyte-ai-learning-pipeline· Docs: adopt canonical English localization boundary (#48) - 2026-09-18 ·
gyte-ai-learning-pipeline· Docs: complete manual social-source triage PoV - 2026-09-18 ·
gyte-ai-learning-pipeline· Docs: complete single-source Source-to-Skill PoV - 2026-09-18 ·
gyte-ai-learning-pipeline· Feature: automate approved repository handoff up to PR creation (#47) - 2026-09-18 ·
gyte-ai-learning-pipeline· Docs: mirror localization boundary in Italian README - 2026-09-18 ·
gyte-ai-learning-pipeline· Docs: expose canonical English localization boundary - 2026-09-18 ·
gyte-ai-learning-pipeline· Docs: align documentation with canonical English policy - 2026-09-18 ·
gyte-ai-learning-pipeline· Docs: define canonical language and translation boundary - 2026-09-18 ·
gyte-ai-learning-pipeline· Fix: bind handoff checkout to declared repository - 2026-09-17 ·
petra· Development: research: tighten Phase 6 source register - 2026-09-17 ·
petra· Development: research: tighten Phase 6 validation statuses - 2026-09-17 ·
petra· Development: research: add Phase 6 validation matrix - 2026-09-17 ·
petra· Development: research: add Phase 6 source register - 2026-09-17 ·
petra· Development: research: formalize PETRA structural statistics and Lipschitz observables (#292) - 2026-09-17 ·
petra· Development: research: add structural statistics probe - 2026-09-17 ·
petra· Development: research: formalize PETRA structural statistics - 2026-09-17 ·
petra· Development: research: formalize PETRA automorphisms and symmetry (#290) - 2026-09-17 ·
petra· Development: research: add bounded PETRA automorphism probe - 2026-09-17 ·
petra· Development: research: formalize PETRA rewrite presentations (#288) - 2026-09-17 ·
petra· Development: research: formalize PETRA rewrite presentations - 2026-09-17 ·
petra· Development: research: formalize PETRA congruences and quotients (#286) - 2026-09-17 ·
petra· Development: research: formalize PETRA congruences and quotients - 2026-09-17 ·
petra· Development: research: formalize PETRA grading and edit-graph geometry (#284) - 2026-09-17 ·
petra· Development: research: expose non-unique common-reduct witness - 2026-09-17 ·
petra· Development: research: prove non-unique maximum common reducts - 2026-09-17 ·
petra· Development: research: add bounded PETRA edit-geometry probe - 2026-09-17 ·
petra· Development: research: formalize PETRA grading and edit geometry - 2026-09-17 ·
petra· Development: research: formalize AIP-5 interpretation theory (#282) - 2026-09-17 ·
petra· Development: research: tighten AIP-5 interpretation foundations - 2026-09-17 ·
petra· Development: research: formalize AIP-5 interpretation theory - 2026-09-17 ·
petra· Development: research: formalize and probe AIP-4 minimal algebra (#280) - 2026-09-17 ·
petra· Development: research: align AIP-4 with explicit root axiom - 2026-09-17 ·
petra· Development: research: make root-parent axiom explicit - 2026-09-17 ·
petra· Development: research: add AIP-4 minimal algebra probe - 2026-09-17 ·
petra· Development: research: formalize AIP-4 minimal algebra - 2026-09-17 ·
petra· Development: research: formalize canonical PETRA carrier theory (#278) - 2026-09-17 ·
petra· Development: research: tighten canonical carrier foundations - 2026-09-17 ·
petra· Development: research: formalize canonical PETRA carrier - 2026-09-17 ·
petra· Development: research: formalize abstract carrier foundational answers (#275) - 2026-09-17 ·
petra· Development: research: formalize abstract carrier foundational answers - 2026-09-17 ·
petra· Development: research: analyze Terminal as empty composition (#273) - 2026-09-17 ·
petra· Development: research: probe Terminal as empty composition - 2026-09-17 ·
petra· Development: research: analyze Terminal versus empty composition - 2026-09-17 ·
petra· Development: research: reassess AIP-2 primitive relation ontology (#269) - 2026-09-17 ·
petra· Development: research: reassess AIP-2 primitive relation ontology - 2026-09-17 ·
petra· Development: research: probe AIP-1 Set vs Multiset composition (#267) - 2026-09-17 ·
petra· Docs: record AIP-1 set vs multiset prototype - 2026-09-17 ·
petra· Development: research: add AIP-1 set vs multiset probe - 2026-09-17 ·
petra· Development: research: analyze AIP-1 multiplicity ontology (#265) - 2026-09-17 ·
petra· Development: research: analyze AIP-1 multiplicity ontology - 2026-09-17 ·
petra· Development: research: validate AIP-2 recursive containment (#262) - 2026-09-17 ·
petra· Fix: make AIP-2 wrapper erasure assertion semantic - 2026-09-17 ·
petra· Docs: describe AIP-2 recursive containment prototype - 2026-09-17 ·
petra· Development: research: add AIP-2 recursive containment probe - 2026-09-17 ·
petra· Development: research: add AIP-2 wrapper-erasure probe - 2026-09-17 ·
petra· Development: research: audit AIP-2 relation ontology - 2026-09-17 ·
petra· Development: research: audit AIP-2 level derivability (#258) - 2026-09-17 ·
petra· Development: research: audit AIP-2 level derivability - 2026-09-17 ·
petra· Development: research: prototype AIP-3 order-independent quotient (#255) - 2026-09-17 ·
petra· Development: research: formalize AIP-3 quotient invariance - 2026-09-17 ·
petra· Docs: record AIP-3 order-independent prototype - 2026-09-17 ·
petra· Development: research: add AIP-3 order-independent quotient probe - 2026-09-17 ·
petra· Development: research: analyze AIP-3 order semantics (#253) - 2026-09-17 ·
petra· Development: research: analyze AIP-3 order semantics - 2026-09-17 ·
petra· Development: research: audit PETRA model against abstract paradigm - 2026-09-17 ·
petra· Development: research: define PETRA abstract paradigm (#245) - 2026-09-17 ·
petra· Development: research: define PETRA abstract paradigm - 2026-09-17 ·
petra· Docs: link PETRA research source register - 2026-09-17 ·
petra· Docs: add PETRA research source register - 2026-09-17 ·
petra· Docs: establish PETRA related-work survey (#241) - 2026-09-17 ·
petra· Docs: link maintained related-work survey - 2026-09-17 ·
petra· Docs: establish PETRA related-work survey - 2026-09-17 ·
petra· Docs: align release metadata with PETRA v2.0.0 (#239) - 2026-09-17 ·
petra· Development: STATUS: Phase 10 complete, v2.0.0 shipped, research front updated - 2026-09-17 ·
petra· Development: docs/research: update README with open-problems and new notes - 2026-09-17 ·
petra· Fix: use $'...' so colors render inside heredoc - 2026-09-17 ·
petra· Release: PETRA v2.0.0 — Prime Exponent Tower Recursive Algebra - 2026-09-17 ·
petra· Docs: annotate Zenodo version DOI for v2.0.0 - 2026-09-16 ·
petra· Development: T18/P21 closed: ruff and mypy clean on resolver - 2026-09-16 ·
petra· Development: revert: remove RUF001/RUF002 from root config (belongs to resolver) - 2026-09-16 ·
petra· Development: T18: py.typed for petra, mypy fixes; T17 statement correction - 2026-09-16 ·
petra· Development: resolver: fix remaining ruff errors (SIM108, SIM110, RUF005, RUF059, B905) - 2026-09-16 ·
petra· Development: resolver: ignore RUF001/RUF002 for × separator - 2026-09-16 ·
petra· Development: T17/P20 closed: fix id() cache bug in resolver search - 2026-09-16 ·
petra· Development: T19: fifth data point at 10^8, SumPk2 ~ c/sqrt(log log N) excluded - 2026-09-16 ·
petra· Development: P16/P17/P18 closed: T13 covered by P8, T14 and T15 out of scope - 2026-09-16 ·
petra· Development: P15/T12 closed: sparse sampling out of scope - 2026-09-16 ·
petra· Development: P14/T11 closed: Beatty and non-obvious families out of scope - 2026-09-16 ·
petra· Development: P13/T10 closed: fingerprint catalogue out of scope
Showing the 100 most recent meaningful updates; 1881 older update(s) omitted.
This profile is a moving lab: reliable software, explicit decisions, clear documentation and public iteration.