Passa al contenuto principale

2024-09-14

CrowdStrike ex-dipendenti: 'Il controllo qualità non faceva parte del nostro processo'

  • Ex dipendenti di CrowdStrike hanno affermato che dare priorità alla velocità rispetto alla qualità ha portato a un guasto del software che ha interrotto i servizi aerei e bancari, colpendo 8,5 milioni di computer e costando 5,4 miliardi di dollari.
  • Le lamentele riguardanti scadenze affrettate e carichi di lavoro eccessivi sono state apparentemente ignorate per oltre un anno, causando un aumento degli errori di codifica e una formazione insufficiente.
  • Il incidente ha causato una perdita di 60 milioni di dollari in affari previsti e una significativa diminuzione del valore di mercato azionario di CrowdStrike, spingendo il CEO George Kurtz a promettere misure preventive future.

Reazioni

  • Ex dipendenti di CrowdStrike affermano che l'enfasi dell'azienda sulla velocità rispetto alla sicurezza nello sviluppo ha portato a una grave interruzione globale e ad altri problemi.
  • Affermano che il controllo di qualità non è stato prioritizzato, riflettendo una tendenza più ampia dell'industria tecnologica a valorizzare il rapido rilascio del codice rispetto ai test approfonditi.
  • Anche se alcuni difendono CrowdStrike, suggerendo che le critiche possano essere di parte, i recenti fallimenti significativi dell'azienda danno credibilità a queste accuse.

OpenAI minaccia di revocare l'accesso a o1 per aver chiesto del suo processo di pensiero

Reazioni

  • OpenAI sta considerando di revocare l'accesso agli utenti che chiedono informazioni sulla sua catena di pensiero, suscitando preoccupazioni riguardo alla trasparenza e alla competitività.
  • Le speculazioni suggeriscono che OpenAI potrebbe proteggere tecniche proprietarie o evitare problemi di relazioni pubbliche, mentre altri credono che sia per impedire ai concorrenti di replicare la loro tecnologia.
  • Questa situazione sottolinea la tensione continua tra la sicurezza dell'IA, la trasparenza e gli interessi commerciali.

Mio NAS ZFS da 71 TiB dopo 10 anni e zero guasti ai dischi

  • Un NAS ZFS da 4U e 71 TiB, costruito con ventiquattro dischi da 4 TB, ha funzionato per oltre 10 anni senza alcun guasto ai dischi, attribuito allo spegnimento del server quando non in uso.
  • Il NAS ha subito sostituzioni della scheda madre e dell'alimentatore ma rimane affidabile, gestendo oltre un petabyte di dati senza errori di checksum durante le verifiche regolari.
  • Le migliorie alla rete, passando da schede gigabit a quattro porte a Infiniband e successivamente a schede Ethernet da 10 Gbit, hanno migliorato le prestazioni, mentre uno script personalizzato per il controllo delle ventole mantiene il sistema silenzioso.

Reazioni

  • Un utente ha condiviso la sua esperienza di gestione di un NAS ZFS da 71 TiB per 10 anni senza alcun guasto ai dischi, suscitando discussioni sull'affidabilità dei dischi e sulle strategie di archiviazione.
  • Si sono sollevate preoccupazioni riguardo al rischio di guasti simultanei dei dischi a causa di un'usura simile e all'importanza di diversificare gli acquisti dei dischi per evitare problemi legati ai lotti.
  • Durante la conversazione si è parlato anche dei vantaggi dell'utilizzo di grandi ventole a basso numero di giri per il raffreddamento dei NAS, al fine di ridurre il rumore e il consumo energetico, con alcuni utenti che hanno condiviso le loro esperienze positive con specifiche configurazioni di ventole.

Incontra.hn – Incontra la comunità di Hacker News nella tua città

  • È stata lanciata una nuova piattaforma, https://meet.hn, per aiutare gli utenti a trovare e connettersi con hacker nella loro città aggiungendo la loro posizione e i loro interessi a una mappa.
  • Il creatore mira a promuovere connessioni comunitarie all'interno della comunità di Hacker News (HN), in particolare nelle città con un forte focus industriale, come Tolosa.
  • Il progetto è open source e si integra con altri strumenti HN, incoraggiando gli utenti a condividere feedback e contribuire al suo sviluppo.

Reazioni

  • È stata lanciata una nuova piattaforma, meet.hn, per aiutare gli utenti di Hacker News (HN) a connettersi tra loro nelle loro città aggiungendo la loro posizione e i loro interessi a una mappa.
  • Gli utenti possono aggiungersi alla mappa compilando un modulo con il loro nome utente, città e paese, quindi incollando il testo generato nella loro descrizione HN.
  • La piattaforma ha ricevuto un notevole interesse e feedback, inclusi richieste per funzionalità aggiuntive come il supporto per Mastodon, la gestione dei diacritici e una migliore disambiguazione dei nomi delle città.

Lisp implementato in macro di Rust

  • lisp-in-rs-macros è un interprete Lisp scritto interamente nelle macro dichiarative di Rust, permettendo al codice Lisp di essere valutato al momento della compilazione.
  • Il macro lisp! espande il codice Lisp in una rappresentazione stringa del suo valore calcolato, mostrando le capacità dei macro di Rust in meno di 250 righe di codice.
  • Le caratteristiche principali includono il supporto per le forme Lisp di base come DEFINE, QUOTE, LAMBDA e PROGN, ma manca la ricorsione esplicita, che può essere aggirata utilizzando le funzioni lambda per l'auto-applicazione.

Reazioni

  • È stata creata un'implementazione di Lisp utilizzando le macro di Rust, suscitando un notevole interesse e discussione nella comunità tecnologica.
  • Questo progetto evidenzia la flessibilità e la potenza del sistema di macro di Rust, nonostante alcune limitazioni come la gestione dei simboli con trattini.
  • Il discorso tocca anche la Decima Regola di Greenspun, che suggerisce ironicamente che qualsiasi programma sufficientemente complesso finirà per implementare metà di Common Lisp, riflettendo sulla natura della complessità della programmazione.

Gradi di inganno: come le università americane sono diventate fabbriche di debito

  • Il sistema dei prestiti studenteschi negli Stati Uniti ha creato una bolla di debito di 1,7 trilioni di dollari, con prestiti che non possono essere estinti in caso di bancarotta, portando a gravi conseguenze finanziarie per i mutuatari.
  • Le incentivazioni disallineate e la cattura regolatoria permettono alle università di aumentare le tasse senza migliorare la qualità dell'istruzione, con il risultato di alti tassi di sottooccupazione e bassi tassi di laurea.
  • Le soluzioni proposte includono rendere i prestiti estinguibili in caso di fallimento, legare i prestiti al valore del titolo di studio e rendere le istituzioni responsabili, ma queste sono difficili da attuare a causa di potenti interessi consolidati.

Reazioni

  • Le università americane sono criticate per aver contribuito al debito studentesco attraverso l'esternalizzazione delle carriere, la pressione per il conseguimento dei titoli di studio e gli standard lassisti di finanziamento pubblico.
  • Il crescente costo delle tasse universitarie e i prestiti garantiti dal governo, che eliminano il rischio per i prestatori, aggravano il problema del debito, soprattutto per gli studenti con scarsa alfabetizzazione finanziaria.
  • Le soluzioni proposte includono rendere i prestiti studenteschi estinguibili in caso di bancarotta e riformare il finanziamento dell'istruzione superiore.

Janet Jackson aveva il potere di mandare in crash i computer portatili (2022)

  • Il processore AArch64, noto anche come arm64, è al centro di una serie dettagliata di Raymond Chen, con la parte 16 che discute l'esecuzione condizionale.
  • Il controllo condizionale consente l'esecuzione di determinate istruzioni basate su condizioni specifiche, migliorando l'efficienza e le prestazioni nell'architettura arm64.
  • Questa serie è significativa per coloro che sono interessati alla programmazione a basso livello e alla comprensione delle complessità delle architetture dei processori moderni.

Reazioni

  • Le canzoni di Janet Jackson potrebbero mandare in crash specifici hard disk di laptop a causa di frequenze risonanti, evidenziando un fenomeno tecnologico insolito.
  • Utenti hanno condiviso aneddoti su esperienze personali con malfunzionamenti tecnologici, inclusi l'effetto Pauli e l'"Effetto Dimostrazione".
  • Il dibattito ha anche toccato le forze esterne che influenzano l'hardware, come i laptop sulle unità HVAC, e ha fatto riferimento al crollo del ponte di Tacoma Narrows per illustrare i problemi di risonanza.

Risultati OpenAI o1 su ARC-AGI-Pub

  • OpenAI ha introdotto i nuovi modelli o1-preview e o1-mini, che mostrano promettenti capacità di ragionamento a catena (CoT), riducendo gli errori nei compiti con passaggi intermedi.
  • Questi modelli superano GPT-4o nella classifica ARC Prize, ma impiegano più tempo rispetto a Claude 3.5 Sonnet, evidenziando un compromesso tra accuratezza e tempo di calcolo.
  • Il nuovo algoritmo di apprendimento per rinforzo di OpenAI e i CoT sintetici migliorano l'addestramento, ma l'efficienza nel calcolo rimane una sfida, indicando la necessità di nuove idee per avanzare nell'AGI.

Reazioni

  • Il modello o1 di OpenAI dimostra prestazioni migliorate sul benchmark ARC-AGI, risolvendo compiti con cui i modelli precedenti avevano difficoltà, ma rimane più lento rispetto al Claude 3.5 Sonnet di Anthropic.
  • Le discussioni evidenziano l'importanza del feedback umano, i limiti degli attuali benchmark dell'IA e il potenziale dei modelli multimodali nel far progredire l'IA.
  • Esiste un dibattito sul fatto che il benchmark ARC-AGI sia un test significativo per l'AGI, con opinioni divergenti sul suo impatto nella comprensione dell'intelligenza generale.

Il dato sull'invecchiamento estremo umano è marcio dall'interno verso l'esterno

  • Saul Justin Newman, un ricercatore associato presso l'UCL, ha ricevuto un Premio Ig Nobel per aver smascherato affermazioni sull'invecchiamento umano estremo, evidenziando inesattezze nelle età riportate oltre i 105 anni.
  • Le ricerche di Newman evidenziano che le regioni conosciute come Zone Blu, rinomate per l'alta longevità, spesso presentano dati discutibili a causa di una scarsa tenuta dei registri e delle frodi pensionistiche.
  • Propone di coinvolgere i fisici per creare metodi più affidabili per misurare l'età, poiché i dati attuali sono spesso viziati da errori e imprecisioni.

Reazioni

  • Le discussioni sull'invecchiamento estremo umano rivelano difetti nei dati, con gli utenti che condividono aneddoti personali e sottolineano stili di vita attivi e l'evitare i vizi come fattori chiave.
  • Il dibattito include l'impatto delle condizioni di vita, come i piani più alti negli edifici che promuovono l'attività fisica, e il ruolo della genetica e dei fattori ambientali nell'invecchiamento.
  • Lo scetticismo sull'accuratezza dei registri dell'età in alcune regioni evidenzia la complessità della verifica delle affermazioni di età estrema e la natura sfaccettata della longevità.

Intel consolida un accordo da 3,5 miliardi di dollari per produrre chip per il settore militare

Reazioni

  • Intel ha ottenuto un accordo da 3,5 miliardi di dollari per produrre chip per l'esercito, segnando il suo ritorno nel settore della difesa dopo l'uscita nel 1997.
  • Questa mossa riflette il cambiamento strategico di Intel per diversificare le fonti di entrate in mezzo alle pressioni competitive di aziende come TSMC e Samsung.
  • Il accordo è in linea con l'iniziativa del governo degli Stati Uniti per la produzione domestica di semiconduttori al fine di garantire una catena di approvvigionamento sicura.

Terence Tao su O1

Reazioni

  • Il modello O1 ha mostrato significativi miglioramenti di velocità nel codice Rust ottimizzato per progetti di similarità vettoriale, superando GPT-4o e Claude3.5 in alcuni compiti.
  • Gli utenti hanno segnalato che O1 aiuta a concettualizzare nuove misure di dipendenza statistica e fornisce implementazioni rapide dell'informazione mutua normalizzata, anche se potrebbe richiedere qualche debug iniziale.
  • Il dibattito mette in evidenza l'utilità in evoluzione dei Modelli di Linguaggio di Grandi Dimensioni (LLM) nella programmazione e nella ricerca, sottolineando l'importanza di una sollecitazione efficace e il potenziale degli LLM di assistere nei compiti di risoluzione di problemi complessi.

Void cattura oltre un milione di box Android TV

  • Esperti di Doctor Web hanno identificato un'infezione da malware, Android.Vo1d, che colpisce quasi 1,3 milioni di TV box Android in 197 paesi.
  • Il malware installa software di terze parti e modifica i file di sistema per garantire l'avvio automatico, prendendo di mira le versioni obsolete di Android con vulnerabilità non corrette.
  • Dr.Web antivirus può rilevare e curare tutte le varianti conosciute di Android.Vo1d, offrendo una soluzione per gli utenti colpiti.

Reazioni

  • Più di un milione di box TV Android sono stati compromessi, evidenziando le vulnerabilità nei dispositivi che eseguono versioni obsolete di Android.
  • Il problema deriva dal fatto che i produttori non forniscono aggiornamenti, portando a vulnerabilità di sicurezza non risolte e obsolescenza forzata.
  • Questa situazione sottolinea il problema più ampio dei dispositivi bloccati e la necessità di firmware open-source o sistemi operativi alternativi per garantire supporto e sicurezza a lungo termine.

Scrivere un sistema operativo in Rust

  • Il ciclo di articoli "Writing an OS in Rust" offre tutorial passo-passo per costruire un sistema operativo utilizzando il linguaggio di programmazione Rust, ospitati su os.phil-opp.com.
  • Il codice sorgente di ciascun tutorial è organizzato in rami git separati, e gli utenti possono utilizzare git worktree per eseguire il checkout di rami specifici, come "post-10" per l'Allocazione Heap.
  • Il progetto copre vari argomenti, tra cui la creazione di un binario Rust autonomo, lo sviluppo del kernel, la modalità testo VGA, i test, gli interrupt, la gestione della memoria e il multitasking.

Reazioni

  • Il post discute lo sviluppo di sistemi operativi (OS) utilizzando il linguaggio di programmazione Rust, evidenziando un tutorial di Phil Opp che ha ispirato molti sviluppatori.
  • Vengono menzionati diversi progetti e risorse OS, tra cui Tock-OS, Oxid-OS, Hubris e Redox, con un focus sui sistemi operativi in tempo reale (RTOS) e framework come Embassy e RTIC.
  • Il feedback della comunità sottolinea il valore del tutorial di Phil Opp e l'impatto più ampio di Rust nello sviluppo di sistemi operativi, in particolare per quanto riguarda la sicurezza della memoria e la gestione delle risorse.

La Leggenda della Spada Sacra: Un'Esperienza Immersiva per il Potenziamento della Concentrazione

  • Ricercatori hanno sviluppato un sistema VR chiamato "La Leggenda della Spada Sacra" per migliorare la concentrazione attraverso un'esperienza immersiva che coinvolge l'estrazione di una spada sacra.
  • Il sistema fornisce un feedback multimodale, che include sensi visivi, uditivi e aptici, per aiutare gli utenti a migliorare la loro capacità di controllare consapevolmente la concentrazione.
  • Questo approccio innovativo è descritto in un articolo presentato su arXiv nella categoria Interazione Uomo-Computer, evidenziando il suo potenziale impatto sulle tecniche di miglioramento della concentrazione.

Reazioni

  • Una nuova esperienza immersiva chiamata "La Leggenda della Spada Sacra" mira a migliorare la concentrazione, traendo ispirazione dalla leggenda arturiana in cui è la dignità di Artù, e non la forza, a permettergli di estrarre la spada dalla roccia.
  • Il dibattito mette in evidenza varie tecniche per migliorare la concentrazione, tra cui le pratiche di meditazione dello Patanjala Ashtanga Yoga e la tecnica del "Quiet Eye" utilizzata nello sport.
  • Si attende con impazienza uno studio che misuri l'efficacia di questa esperienza sulla concentrazione, sebbene siano necessari ulteriori finanziamenti per procedere.

USA prende di mira la scappatoia commerciale utilizzata dai gruppi di e-commerce Temu e Shein

Reazioni

  • Gli Stati Uniti stanno affrontando una scappatoia commerciale sfruttata dalle aziende di ecommerce Temu e Shein, che complica il blocco di prodotti difettosi e droghe illegali come il fentanyl.
  • Le autorità sostengono che l'elevato volume di pacchi rende difficile intercettare queste spedizioni, sebbene alcuni credano che la maggior parte del fentanyl entri negli Stati Uniti attraverso il Messico, non la Cina.
  • Il dibattito sottolinea le complessità della chiusura delle scappatoie commerciali senza conseguenze indesiderate, che influenzano il commercio internazionale, il contrabbando di droga e le economie locali.