English · Italiano
Backend & Systems Software Engineer · 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.12.0 | 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 |
| GiadaWare AI | v0.0.1 | Experimental 0.x infrastructure for provider-independent, read-only AI capabilities with typed outputs and replaceable backends | Provider-independent AI infrastructure, typed outputs, deterministic validation boundaries and replaceable backends |
| GYTE AI Learning Pipeline | v0.5.0 | Restartable content pipelines for acquiring, validating and handing off learning material across private and public boundaries | Deterministic validation, restartable workflows, explicit privacy boundaries and controlled external delivery |
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 |
| Deterministic bucketing | Turbo-Bucketizer | High-entropy IPv4 partitioning and deterministic allocation |
| Structural search | Integer Structural Search | Bounded search over integer representations and constraints |
| Time-series compression | Lasagna v2 | Adaptive segmentation, predictor-based residual coding and controlled lossy/lossless experiments on univariate time series |
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 |
| 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 |
| Software development | OOP in C Lab | Object layout, manual virtual dispatch, runtime type identity and checked downcasting |
| Software development | JavaScript Lab | JavaScript and TypeScript middleware pipelines and reusable design patterns, with executable tests |
| Software development | Laravel PostgreSQL Docker Baseline | Reusable Laravel 13 + PHP 8.3 + PostgreSQL 17 Docker Compose baseline with explicit local runtime boundaries, PostgreSQL healthcheck and executable health-contract test |
| Backend architecture | GiadaWare Operations Execution Engine Lab | Clean-room Laravel/PostgreSQL execution-engine laboratory covering explicit workflow state transitions, immutable procedure versions, atomic append-only audit, concurrency control, persistent idempotency, evidence/review flows and deterministic scheduling |
| Game-engine architecture | BoardLab | Generic game-engine architecture and reproducible search/AI experiments in early incubation |
- 2026-10-02 ·
laravel-postgres-docker-baseline· Fix: allow tracked unit tests - 2026-10-02 ·
laravel-postgres-docker-baseline· Fix: preserve empty unit test directory - 2026-10-02 ·
laravel-postgres-docker-baseline· Docs: document repository license - 2026-10-02 ·
laravel-postgres-docker-baseline· Docs: add MIT license
More recent meaningful updates
- 2026-10-02 ·
laravel-postgres-docker-baseline· Development: Initial Laravel PostgreSQL Docker baseline - 2026-09-29 ·
vscode-bitbake· Development: server: stop SPDX parsing after read errors - 2026-09-29 ·
vscode-bitbake· Development: scanner: keep quiet path discovery in background - 2026-09-29 ·
vscode-bitbake· Development: server: deduplicate RST definition normalization - 2026-09-29 ·
lele-manager· Docs: add Zenodo citation metadata (#263) - 2026-09-28 ·
lele-manager· Release: LeLe Manager v1.12.0 - 2026-09-28 ·
lele-manager· Fix: make native release builds deterministic - 2026-09-28 ·
lele-manager· Feature: add bounded ask-this-vault workflow (#260) - 2026-09-28 ·
lele-manager· Feature: add evidence-backed factual verification (#259) - 2026-09-28 ·
vscode-bitbake· Feature: add BitBake classes to recipes explorer - 2026-09-25 ·
vscode-bitbake· Development: driver: log VS Code remote context - 2026-09-25 ·
vscode-bitbake· Development: server: migrate to web-tree-sitter 0.26 - 2026-09-25 ·
vscode-bitbake· Development: server: restore web-tree-sitter compatible range - 2026-09-25 ·
vscode-bitbake· Fix: select Yocto tags for docs - 2026-09-24 ·
petra· Development: research: close Phase 6 external mathematical validation (#312) - 2026-09-24 ·
petra· Development: research: validate exact PETRA leaf-edit metric formula (#310) - 2026-09-24 ·
petra· Development: research: refute rooted lower-neighbour set reconstruction (#308) - 2026-09-24 ·
petra· Development: research: validate global PETRA edit-graph automorphism questions (#306) - 2026-09-24 ·
petra· Development: research: audit PETRA witnessed edits against residual-system axioms (#304) - 2026-09-24 ·
petra· Development: research: compare PETRA state-dependent edit residuals with residual theory (#302) - 2026-09-24 ·
petra· Development: research: validate PETRA witnessed paths against free categories, groupoids, and traces (#300) - 2026-09-24 ·
petra· Development: research: validate PETRA initial algebra and quotient semantics (#298) - 2026-09-24 ·
petra· Development: research: validate PETRA leaf-edit metric against 1-degree tree edit distance (#296) - 2026-09-24 ·
petra· Development: research: begin Phase 6 external mathematical validation (#294) - 2026-09-23 ·
lele-manager· Feature: add assistant-ready context export (#258) - 2026-09-23 ·
cat-couch-guardian· Docs: finalize Italian M0.7 verified maturity - 2026-09-23 ·
cat-couch-guardian· Docs: finalize M0.7 verified maturity - 2026-09-23 ·
cat-couch-guardian· Docs: align Italian exercises with M0.7 contract - 2026-09-23 ·
cat-couch-guardian· Docs: align exercises with implemented M0.7 contract - 2026-09-23 ·
cat-couch-guardian· Docs: explain Italian M0.7 state machine architecture - 2026-09-23 ·
cat-couch-guardian· Docs: explain M0.7 state machine architecture - 2026-09-23 ·
cat-couch-guardian· Docs: document Italian M0.7 cooldown contract - 2026-09-23 ·
cat-couch-guardian· Docs: document M0.7 cooldown contract - 2026-09-23 ·
cat-couch-guardian· Feature: demonstrate deterministic cooldown decisions - 2026-09-23 ·
cat-couch-guardian· Feature: emit deterministic event timestamps - 2026-09-23 ·
cat-couch-guardian· Feature: make simulated event time explicit - 2026-09-23 ·
cat-couch-guardian· Feature: implement deterministic cooldown policy - 2026-09-23 ·
cat-couch-guardian· Feature: add explicit cooldown state - 2026-09-23 ·
cat-couch-guardian· Feature: expose suppression evidence boundary - 2026-09-23 ·
cat-couch-guardian· Feature: add deterministic event timestamp - 2026-09-23 ·
cat-couch-guardian· Feature: define cooldown suppression evidence - 2026-09-23 ·
cat-couch-guardian· Docs: add Italian engineering exercises - 2026-09-23 ·
cat-couch-guardian· Docs: add Italian architecture guide - 2026-09-23 ·
cat-couch-guardian· Docs: add Italian learning path - 2026-09-23 ·
cat-couch-guardian· Docs: add Italian README - 2026-09-23 ·
cat-couch-guardian· Docs: add Italian documentation policy - 2026-09-23 ·
cat-couch-guardian· Docs: define bilingual documentation policy - 2026-09-23 ·
cat-couch-guardian· Docs: add bilingual language selectors - 2026-09-23 ·
cat-couch-guardian· Docs: make README a learning entry point - 2026-09-23 ·
cat-couch-guardian· Docs: add junior engineering exercises - 2026-09-23 ·
cat-couch-guardian· Docs: explain architecture for learners - 2026-09-23 ·
cat-couch-guardian· Docs: add junior learning path - 2026-09-23 ·
kleis-corso-sviluppo-software· Docs: formalize final exam simulation (#14) - 2026-09-19 ·
lotto-digit-coverage-dynamics· Docs: add Zenodo DOI metadata - 2026-09-19 ·
cat-couch-guardian· Docs: update M0.6 packaging and provenance - 2026-09-19 ·
lotto-digit-coverage-dynamics· Release: v1.2.0 — Reproducible archive tooling and semantic read queries - 2026-09-19 ·
cat-couch-guardian· Feature: add simulated deterrent request boundary - 2026-09-19 ·
lotto-digit-coverage-dynamics· Docs: prepare v1.2.0 publication metadata - 2026-09-19 ·
lotto-digit-coverage-dynamics· Feature: integrate semantic read queries into db ask - 2026-09-19 ·
lele-manager· Feature: add task-focused Context Packs (#257) - 2026-09-19 ·
lele-manager· Docs: define canonical product language contract (#256) - 2026-09-19 ·
giadaware-ai· Release: GiadaWare AI v0.0.1 - 2026-09-19 ·
lele-manager· Feature: add semantic Lesson Learned extraction (#255) - 2026-09-19 ·
giadaware-ai· Feature: support Ollama thinking control - 2026-09-19 ·
giadaware-ai· Docs: record GPT-6 Astra runtime verification - 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) - 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· Feature: automate approved repository handoff up to PR creation (#47) - 2026-09-18 ·
giadaware-ai· Docs: add repository agent governance - 2026-09-17 ·
petra· Development: research: formalize PETRA structural statistics and Lipschitz observables (#292) - 2026-09-17 ·
petra· Development: research: formalize PETRA automorphisms and symmetry (#290) - 2026-09-17 ·
petra· Development: research: formalize PETRA rewrite presentations (#288) - 2026-09-17 ·
petra· Development: research: formalize PETRA congruences and quotients (#286) - 2026-09-17 ·
petra· Development: research: formalize PETRA grading and edit-graph geometry (#284) - 2026-09-17 ·
petra· Development: research: formalize AIP-5 interpretation theory (#282) - 2026-09-17 ·
petra· Development: research: formalize and probe AIP-4 minimal algebra (#280) - 2026-09-17 ·
petra· Development: research: formalize canonical PETRA carrier theory (#278) - 2026-09-17 ·
petra· Development: research: formalize abstract carrier foundational answers (#275) - 2026-09-17 ·
petra· Development: research: analyze Terminal as empty composition (#273) - 2026-09-17 ·
petra· Development: research: reassess AIP-2 primitive relation ontology (#269) - 2026-09-17 ·
petra· Development: research: probe AIP-1 Set vs Multiset composition (#267) - 2026-09-17 ·
petra· Development: research: analyze AIP-1 multiplicity ontology (#265) - 2026-09-17 ·
petra· Development: research: validate AIP-2 recursive containment (#262) - 2026-09-17 ·
petra· Development: research: audit AIP-2 level derivability (#258) - 2026-09-17 ·
petra· Development: research: prototype AIP-3 order-independent quotient (#255) - 2026-09-17 ·
petra· Development: research: analyze AIP-3 order semantics (#253)
Showing the 100 most recent meaningful updates; 1707 older update(s) omitted.
This profile is a moving lab: reliable software, explicit decisions, clear documentation and public iteration.