L’indice di ricerca è stato riscritto usando strutture dati ottimizzate per hardware moderno.
È stata sostituita la B-tree con una skip list a blocchi deterministica per migliorare l’intersezione delle liste di documenti.
Le letture dirette (O_DIRECT) e blocchi di dimensione 128 KB massimizzano le prestazioni delle SSD NVMe.
+3 more insights
Molti utenti hanno criticato GPT-5 definendolo poco intelligente e noioso.
Altman ha riconosciuto errori nel lancio, ma ha sottolineato il rapido aumento del traffico API e degli utenti di ChatGPT.
Il CEO di OpenAI ha paragonato l’eccitazione per l’IA a una bolla simile a quella di Internet.
+2 more insights
Nim è un linguaggio di programmazione versatile progettato per gestire attività da script di automazione a sistemi operativi e motori di gioco.
Offre una sintassi elegante e semplice, combinando punti di forza di Ada, Python e C.
Supporta gestione manuale della memoria, garbage collection predefinita e inline-assembly per operazioni a basso livello.
+4 more insights
L'update KB5063878 di Windows 11 24H2 causa malfunzionamenti dei dischi durante scritture intensive.
SSD NVMe e HDD possono scomparire dal sistema rendendo inaccessibili SMART e dati.
Il problema si manifesta dopo circa 50 GB di scritture continue o oltre il 60% di utilizzo del controller.
+5 more insights
Il chip ARM deriva dallo sviluppo sui BBC Micro.
Il BBC Micro montava un processore MOS 6502 e un linguaggio BASIC avanzato.
La serie Master adottava il processore CMOS 65C12 offrendo prestazioni superiori.
+3 more insights
Cloudflare ha iniziato a bloccare siti di streaming pirata nel Regno Unito restituendo Error 451 per motivi legali.
L’azione si basa su ingiunzioni dinamiche emesse dal High Court per conto di major cinematografiche, anche se i documenti originali non menzionano Cloudflare.
Le stime indicano che potrebbero essere oltre 1.000, forse 2.000, i domini oggetto di blocco, con marchi pirata come 123movie, fmovies e Putlocker molto diffusi.
+4 more insights
Gli utenti spesso ignorano articoli con immagini generate da AI per risparmiare tempo ed evitare contenuti non autentici.
L’AI generativa sfrutta il lavoro degli artisti senza consenso, danneggiandone reputazione e sostentamento.
Si propone di aggiungere un flag “immagini AI” agli articoli, che funzioni come voto negativo automatico.
+1 more insights
In TypeScript le espressioni logiche hanno tipo boolean con solo i valori true e false.
In Lean le proposizioni (ad esempio 2 + 2 = 4) hanno tipo Prop e non si riducono a boolean.
Per stabilire la verità di una proposizione in Lean occorre fornire una prova, cioè un valore del tipo della proposizione.
+5 more insights
La Nuvistor è una valvola miniaturizzata in metallo e ceramica introdotta da RCA nel 1959.
Offre elevata efficienza, basso rumore e bassa potenza di riscaldamento per amplificatori VHF/UHF.
È stata impiegata in tuner televisivi, microfoni di studio, registratori e apparecchiature FM di alta qualità.
+4 more insights
LL3M utilizza un team di modelli linguistici per generare codice Python che crea e modifica asset 3D in Blender.
Il flusso di lavoro prevede tre fasi: creazione iniziale, raffinamento automatico e perfezionamento interattivo guidato dall’utente.
Il sistema supporta la generazione iterativa di forme dettagliate, stilizzazioni coerenti e modifiche ai materiali in modo interattivo.
+2 more insights