Quali blog CS dovrebbero leggere tutti?

Molti ricercatori e gruppi di ricerca di alto livello nel campo dell'informatica) mantengono blog attivi che ci tengono aggiornati sulle ultime ricerche nei campi di interesse degli autori. Nella maggior parte dei casi, i post sul blog sono più facili da comprendere rispetto ai documenti formali, perché omettono la maggior parte dei dettagli tecnici cruenti e sottolineano l'intuizione (che i documenti generalmente omettono).

Pertanto, sarebbe utile avere un elenco di blog consigliati, nello stesso spirito di altri elenchi di risorse consigliate:

• Quali documenti dovrebbero leggere tutti?
• Quali libri dovrebbero leggere tutti?
• Quali sono i libri TCS recenti le cui bozze sono disponibili online?
• Quali video dovrebbero guardare tutti?
• Quali appunti delle lezioni dovrebbero leggere tutti?

Ovviamente si può seguire l'eccellente Teoria del Computing Blog Aggregator , ma tale elenco è piuttosto travolgente, soprattutto per i principianti.

Si prega di evidenziare perché li consigliamo.

Potrebbe non essere una sorpresa, ma c'è una sostanziale sovrapposizione tra gli utenti esperti di domande e risposte e la blogosfera. Abbiamo anche avuto un blog dedicato per un po ', con alcuni post fantastici ma è caduto in disuso. Tuttavia, ho pensato di elencare alcuni dei blog gestiti dai nostri 38 migliori utenti che hanno avuto nuovi post dal 2012:

• 0xDE di David Eppstein : teoria dei grafi e algoritmi.
• The Geomblog di Suresh Venkatasubramanian : geometria computazionale, algoritmi e discussioni sulla vita accademica.
• Ernie's Pancakes 3D di Jeff Erickson : topologia computazionale e annunci della comunità.
• Il dominio semantico di Neel Krishnaswami : linguaggi di programmazione, logica e linguaggi formali.
• I pensieri quantizzati di Joe Fitzsimons : informazione e calcolo quantistici, fisica teorica e costruzione di comunità.
• Matematica e calcolo di Andrej Bauer : HoTT, logica, teoria delle categorie e filosofia della matematica.
• Vincoli di András Salamon : complessità computazionale attraverso l'obiettivo della soddisfazione dei vincoli.
• Marzio De Biasi ... quasi 42 ... : complessità computazionale evidenziata attraverso completezza NP e enigmi.
• Shtetl-Optimized di Scott Aaronson : complessità computazionale, con particolare attenzione al calcolo quantistico, alla filosofia, all'umorismo e alla costruzione di comunità.
• La camera del dubbio di Lev Reyzin : teoria e pratica dell'apprendimento automatico e vita accademica.
• Noam Nisan's Turing's Invisible Hand : economia computazionale, teoria dei giochi algoritmica e costruzione di comunità.
• Vanity of Vanities di Sariel Har-Peled , tutto è Vanity : geometria computazionale e commento generale sociale e accademico.
• My Brain is Open di Shiva Kintali : complessità computazionale, combinatoria poliedrica, algoritmi e teoria dei grafi.
• Teoria, evoluzione e gruppo di giochi di Artem Kaznatcheev: teoria dei giochi evolutiva e lente algoritmica su evoluzione, apprendimento e filosofia.
• Parco giochi finito di Hsien-Chih Chang : blog bilingue su complessità computazionale, linguaggi formali e matematica concreta.
• Le nanoesplicazioni di Aaron Sterling : informatica distribuita, chemioinformatica e commento sociale generale.
• Complessità computazionale di Lance Fortnow e Bill Gasarch : complessità computazionale e altre cose divertenti in matematica e informatica.
• I pensieri di Emanuele Viola : complessità computazionale e commento generale - sono iniziati nell'estate 2014.

le preferenze del blog tendono ad essere altamente personali in contrasto con altre risorse TCS a volte definitive, ad esempio libri. tuttavia ci sono già due blog TCS straordinari / leader / popolari già citati, vivaci e molto attivi da molti anni, con alcuni background / profili. entrambi i blog hanno indici estesi ad altri importanti blog TCS. entrambi esperti / insegnanti / leader nel TCS con molti articoli pubblicati e molto coinvolti nella promozione del TCS nella comunità più ampia, ad esempio attraverso libri popolari. nota che entrambi hanno anche aderito / contribuito a tcs.se. forse non a caso (e in qualche contrastosu questo sito) non si sottraggono e sono entrambi molto interessati a discutere di problemi chiave o aperti nel campo, ad esempio P =? NP. i commenti sul blog sono aperti e una parte interessante / diversificata dei blog. coprono abitualmente importanti prove sul campo. Lipton è stato coinvolto da vicino nella revisione tra pari cyberspaziale dell'attacco di Deolalikar anni fa.

• RJ Lipton P =? NP blog di Lipton anche scritto da Regan. autore di People, Problems & Proofs e The P = NP question e la lettera perduta di Godel . ( profilo tcs.se ). Lipton è anche un esperto di matematica profonda, ad esempio teoria dei numeri, teoria dei gruppi, ecc. E la lega regolarmente alla TCS.

• complessità computazionale di Fortnow con contributi di Gasarch. autore di Golden Ticket, P, NP e la ricerca dell'impossibile . ( profilo tcs.se ). Fortnow è anche un revisore completo dei "grandi teoremi TCS preferiti dell'ultimo decennio". Gasarch ha effettuato sondaggi utili / completi su P =? NP.

un altro blog ben letto, leader / sorprendente è Aaronsons "Shtetl ottimizzato". Aaronson a volte scrive saggi più lunghi, a volte abbastanza appassionatamente, e talvolta può essere piuttosto supponente e polemico. le sezioni dei commenti sono molto vivaci e talvolta intense. una forte attenzione al calcolo quantistico.

• Shtetl ottimizzato . autore di informatica quantistica da Democrito

Non è più attivo, ma il blog " WebDiarios de Motocicleta " di Mihai Patrascu è uno dei miei preferiti di tutti i tempi. Altamente raccomandato soprattutto a coloro che non conoscono la comunità TCS.

Uno dei miei preferiti di tutti i tempi per post profondi e un'incredibile varietà di contenuti è il vicinato dell'infinito . Si concentra principalmente sulla teoria dei tipi e delle categorie e sulle applicazioni di Haskell, ma le applicazioni sono sempre così creative e le spiegazioni così chiare che mi ritrovo a volerlo leggere nonostante non sia la mia area di competenza.

Consiglio a A CS Professor's Blog di Claire Mathieu. Ha molti post interessanti in ambito accademico e CS. Alcuni articoli con l'etichetta " TCS " hanno descrizioni informali dei risultati tecnici.