Finalmente un AI coding assistant open source che non ti costringe a vendere un rene per usare modelli decenti. Ecco cosa ci piace (e cosa no) di OpenCode.
Scopri di più OpenCode: Il Copilot Open Source che ti fa risparmiare 50€ al mese
Tag: open source
Trivy Hacked: Quando anche gli strumenti di sicurezza fanno cilecca
Ecco perché anche i tool che dovrebbero proteggerci possono diventare un problema. E cosa possiamo fare noi smanettoni per non finire nei casini.
Scopri di più Trivy Hacked: Quando anche gli strumenti di sicurezza fanno cilecca
VMware vs. Cloud Providers: La Guerra dei Partner è Tornata!
Dopo la cancellazione del programma partner, i fornitori di cloud hanno chiesto all’UE di intervenire. Ecco perché questa storia ci riguarda da vicino.
Scopri di più VMware vs. Cloud Providers: La Guerra dei Partner è Tornata!
Astral si unisce a OpenAI: Python in overdrive o vendor lock-in travestito?
Astral, la crew dietro Ruff e uv, viene inghiottita da OpenAI. Ma è una rivoluzione per Python o un altro caso di ‘open-core’? Scopriamo cosa cambia per noi smanettoni.
Scopri di più Astral si unisce a OpenAI: Python in overdrive o vendor lock-in travestito?
Nightingale: il karaoke open-source che finalmente ti fa cantare come un dio (o almeno provarci)
Un’app che trasforma qualsiasi canzone in karaoke, con transcrizione delle parole e punteggio in tempo reale. Perfetta per le serate tra nerd e smanettoni!
Scopri di più Nightingale: il karaoke open-source che finalmente ti fa cantare come un dio (o almeno provarci)
Python 3.15: Il JIT è tornato in pista (e stavolta non è un placebo)
Dopo anni di altalene, il Just-In-Time Compiler di Python finalmente funziona come dovrebbe. Scopriamo perché questa novità è una manna dal cielo per gli smanettoni.
Scopri di più Python 3.15: Il JIT è tornato in pista (e stavolta non è un placebo)
Slug Algorithm: 10 anni di rendering rivoluzionario (e qualche perplessità)
Dopo un decennio, l’algoritmo Slug per il rendering di font su GPU continua a far parlare di sé. Ma cosa significa davvero per noi maker e sviluppatori?
Scopri di più Slug Algorithm: 10 anni di rendering rivoluzionario (e qualche perplessità)
Leanstral: Il tuo nuovo compagno di prove formali (e non solo)
Finalmente un tool open-source per smanettare con Lean 4 senza impazzire. Scopriamo insieme cos’è Leanstral e perché potrebbe diventare il tuo nuovo migliore amico per le prove formali.
Scopri di più Leanstral: Il tuo nuovo compagno di prove formali (e non solo)
Llama 3.1 8B: L’AI Che Si Può Far Girare in Soffitta Senza Far Saltare la Luce
Meta ha rilasciato Llama 3.1 8B, un modello leggero ma potente che finalmente permette di fare AI locale senza dover ipotecare la casa. Scopriamo perché questa è una svolta per noi smanettoni.
Scopri di più Llama 3.1 8B: L’AI Che Si Può Far Girare in Soffitta Senza Far Saltare la Luce
GitHub Hackato con il Trucco dei Caratteri Invisibili: Chi ha detto che i Bug non si Nascondono Bene?
Scopri come gli hacker stanno usando caratteri Unicode invisibili per attaccare i repository e cosa significa per noi smanettoni.
Scopri di più GitHub Hackato con il Trucco dei Caratteri Invisibili: Chi ha detto che i Bug non si Nascondono Bene?