Hackerspace News

News

Code&Craft – progetto approvato dalla Regione Umbria

🇮🇹 · HackLab Terni · admin

Abbiamo partecipato al bando “Orizzonti di parità” per la realizzazione di progetti e iniziative finalizzate alla promozione delle pari opportunità e al contrasto delle discriminazioni e della violenza determinate dall’identità di genere e dall’orientamento sessuale con il progetto “Code&Craft – l’intreccio tra arti tessili e tecnologia per il superamento degli stereotipi di genere e il contrasto alle discriminazioni”. La Regione Umbria ci ha riconosciuto un contributo di 3402 euro per la realizzazione del progetto. Il progetto “Code&Craft” si inserisce in perfetta adesione con le finalità generali del bando, agendo sia sulla promozione della cultura delle pari opportunità sia sulla prevenzione sociale del fenomeno discriminatorio. Infatti, da una parte si agisce sulla promozione della cultura del rispetto e dell’inclusione, in quanto il progetto risponde alla necessità di superare pregiudizi e stereotipi attraverso una metodologia basata sull’incontro tra mondi apparentemente opposti. Fondendo l’informatica (storicamente e culturalmente associata al genere maschile) e la man

Progetti

Matematica vs Bug: DeepMind ha messo il protocollo Signal sotto la lente (e ha vinto l’AI)

🇮🇹 · /root · Lamberto Tedaldi

E se vi dicessi che il codice che protegge i vostri messaggi privati non è solo ‘testato’, ma è stato dimostrato matematicamente per essere corretto? Sì, avete letto bene. Non parlo di quel test pigro che facciamo noi prima di pushare su GitHub sperando che non esploda tutto in produzione. Parlo di verifica formale, il gold standard della sicurezza, roba che di solito richiede team di accademici chiusi in una stanza per anni a scrivere teoremi infiniti. Ma Google DeepMind ha deciso di scombinare le carte con AlphaProof Code. Il succo della storia è questo: hanno usato un framework di agenti AI (basati su Gemini) per analizzare il protocollo crittografico di Signal. E non si sono fermati alla teoria o al design, che è dove di solito si fermano tutti i paper accademici che leggiamo. Sono andati a scavare nel codice compilato, quello che gira davvero sui vostri smartphone, per provare che le proprietà di sicurezza siano rispettate pezzetto per pezzetto. Il processo è una figata tecnica che farebbe piangere di gioia un ingegnere del software: gli agenti AI hanno tradotto gli obiet

webnewsArtificial IntelligencecybersecurityDeepMindsignal

La tua smart home è una bomba a orologeria (e non è un complimento)

🇮🇹 · /root · Lamberto Tedaldi

Avete mai provato quella sensazione di impotenza che si prova quando, nel bel mezzo di una cena importante, il termometro digitale della carne decide che, poiché il server dell’azienda è andato offline, la bistecca è ufficialmente un mistero scientifico? Sembra una gag, ma è la realtà quotidiana di chi ha trasformato la propria casa in un ecosistema di gadget ‘intelligenti’. Il problema non è la tecnologia in sé, ma un modello di business che sta trasformando gli oggetti che possediamo in semplici terminali di un servizio che non controlliamo mai davvero. Compriamo un prodotto, ma in realtà stiamo prendendo in affitto il diritto di usarlo, finché qualcuno decide di spegnere un interruttore in un data center dall’altra parte del mondo. Il vero dramma non è solo la privacy, che è un tema caldissimo, ma l’obsolescenza programmata tramite software. Immaginate un termostato che funziona perfettamente dal punto di vista hardware, ma che diventa un pezzo di plastica inutile perché l’app non si connette più ai server centrali. È il paradosso della domotica moderna: abbiamo creato case

webnewsautomazioneDomoticaInternetOfThingsprivacy

Crypto-Trump: Quando il pump diventa un dump (e la politica torna a bussare)

🇮🇹 · /root · Lamberto Tedaldi

Il mercato crypto ha questo brutto vizio: promette la luna e ti lascia a contare i centesimi in una stazione della metropolitana dismessa. Se pensavate che il mondo delle memecoin fosse già abbastanza caotico, preparate il caffè perché la situazione si sta facendo degna di una stagione di «Succession» scritta da un algoritmo impazzito. Le cosiddette «Trump Coins» hanno ufficialmente toccato i minimi storici. Sì, avete letto bene. Quel sogno di decentralizzazione e hype politico si sta trasformando in un reality show di puro crash finanziario. Ma non è solo una questione di grafici che precipitano verso l’abisso: c’è una forza esterna che sta rendendo la situazione decisamente meno divertente per chi scommetteva sul casinò della famiglia Trump. Elizabeth Warren, la senatrice nota per la sua missione di ‘smantellare’ l’impero crypto, ha deciso di alzare la posta. La sua ‘anti-crypto army’ non sta solo osservando i grafici: sta puntando direttamente al cuore dell’impero crypto della famiglia Trump. L’obiettivo? Una regolamentazione che non lasci scampo. Certo, restiamo con i pie

webnewscryptomarket crashpoliticsRegulation