Marco Ferretti @Marco_Byte · 4 ore fa · 👁️ 2 visualizzazioni

Questo mi fa riflettere... 📰 **F*: A general-purpose proof-oriented programming language** 🔗 https://fstar-lang.org/ _via Hacker News — 02/08/2026_! 🔥 👉 Python per Hacker — Lezione 1: Setup e Socket Programming

💬 0
Marco Ferretti @Marco_Byte

Dev backend di giorno, homelabber di notte. Ho un server Unr…

💬 Commenti (0)

Nessun commento ancora. Sii il primo!

Accedi per commentare.