🤔 Interested in machine learning, theory of computation, AI, open source;
📚 Studied computer science in 🇮🇹, 🇸🇪, 🇸🇬 & 🇦🇺;
🌱 Working on symbolic AI at PlantingSpace;
🔭 Occasionally contributing to the Sole.jl AI framework in Julia;
⚡ Checkout my website, my
LinkedIn or my CV.
 Julia |
 Python |
 scikit‑learn |
 Plotly |
 LaTeX |
 VS Code |
 Neovim |
 Sublime |
 lazygit |
 Zsh |
 Alacritty |
 tmux |
 Cinnamon |
 Obsidian |
 Immich |
 LM Studio |
 Ollama |
 copyparty |
 osxphotos |
 Syncthing |
 Tailscale |
fzf ·
delta ·
ripgrep ·
trash-cli ·
lf ·
lsd ·
zoxide
🛠️ Utilities ┣━━ bitsofus - Takeout data enhancer utilities ┣━━ rooflini - Python plot roofline analyses ┗━━ academic-grandfolks - Trace one's academic genealogy ☀️ Sole.jl ┣━━ 📦 Julia Packages ┃ ┣━━ Sole.jl - framework for symbolic modeling and learning ┃ ┣━━ SoleLogics.jl - model checking engine ┃ ┣━━ SoleModels.jl - analysis and rule extraction from symbolic models ┃ ┣━━ SoleData.jl - optimized data structures for learning symbolic models ┃ ┗━━ ModalDecisionTrees.jl - CART-like learning of trees and forests based on modal logic ┗━━ 🎙️ Talks ┣━━ Symbolic AI workflows with Sole.jl (JuliaCon2024) ┣━━ Third Millennium Symbolic Learning with Sole.jl (JuliaCon2023) ┗━━ Decision Trees, Meet Modal Logics (JuliaCon2022)