Skip to content

Instantly share code, notes, and snippets.

View ferraridavide's full-sized avatar
🚀

Davide Ferrari ferraridavide

🚀
View GitHub Profile
@ferraridavide
ferraridavide / extract-from-ecr.sh
Created May 5, 2026 13:53
Extract fs from ECR
#!/usr/bin/env bash
set -euo pipefail
if [[ $# -ne 1 ]]; then
echo "Usage: $0 <image>"
echo "Example: $0 806377085208.dkr.ecr.eu-central-1.amazonaws.com/my-repo:latest"
exit 1
fi
IMAGE="$1"
@ferraridavide
ferraridavide / extract.py
Created February 24, 2026 10:21
Parse chat export from GitHub Copilot
import json
from typing import Dict, Any, List, Optional
def get_invocation_message(item: Dict[str, Any]) -> Optional[str]:
"""Safely extracts invocation message whether it's a string or dict."""
invocation_msg_data = item.get("invocationMessage")
if not invocation_msg_data:
return None
if isinstance(invocation_msg_data, str):
return invocation_msg_data
@ferraridavide
ferraridavide / relax_ferretti
Created October 23, 2021 12:16
Relazioni algebra per RelaX - Basi di dati
group: Relazioni Basi di dati
description: Relazioni Basi di dati UNIPV 2021
dipart = {
NUM_DIPART, NOME_DIPART, CITTA
10, 'DIREZIONE', 'ROMA'
11, 'PIANIFICAZIONE', 'ROMA'
15, 'SICUREZZA', 'FIRENZE'
20, 'RICERCHE', 'FIRENZE'