A querida WMF e sua inflada equipe técnica que não se comunica o suficiente e a cada alteração cria 20 bugs novos e 10 regressões de antigos que deve ter esquecido de testar o template novo do blog direito.

Eu já estou para dia desses dar uma de attention whore pelo IRC em alguns, se não me voluntariava pra fazer isso nesse. Em 28/08/2014 13:24, "Everton Zanella Alvarenga" everton.alvarenga@okfn.org escreveu:

Esse professor do Recife é arretado!

Não sei o o que ocorreu com a versão em português sobre ele no blog da Wikimedia http://blog.wikimedia.org/2013/03/26/ruy-de-queiroz-profile/.

---------- Mensagem encaminhada ---------- De: Ruy de Queiroz ruy@cin.ufpe.br Data: 28 de agosto de 2014 13:20 Assunto: Contribuições de alunos do CIn-UFPE à Wikipédia (em português), 2014.1 Para: staff staff@cin.ufpe.br, posgrad posgrad@cin.ufpe.br, grad-l < grad-l@cin.ufpe.br>, clylton.galamba@gmail.com, Paulo Gileno Cysneiros < pgcysneiros@gmail.com>, Selim Neto sneto@etiweb.com.br, demo < demo@ibdi.org.br>, Gustavo Ferreira Santos gustavosantos@uol.com.br, Ivanildo Figueiredo ivanildo@tabelionatofigueiredo.com.br, Maria Amália Arruda Camara arrudacamara@gmail.com, Marcelo José Vieira de Melo Vieira de Melo mvieira1a2m@gmail.com, Jaziel Filho < jaziel_filho@yahoo.com>, LiAnna Davis ldavis@wikimedia.org, Everton Zanella Alvarenga everton.alvarenga@okfn.org, Alexandre Freire Pimentel alexandrefreirepimentel@gmail.com, José Carlos Cavalcanti < cavalcanti.jc@gmail.com>, patricia.peck@pppadvogados.com.br, rodrigopadula@wikimedia.org

Seguem os verbetes da Wikipédia para os quais contribuíram os alunos do CIn-UFPE em 2014.1:

*Traduções:*

*Lógica* https://pt.wikipedia.org/wiki/L%C3%B3gica_matem%C3%A1tica Teoria de modelos finitos https://pt.wikipedia.org/wiki/Teoria_de_modelos_finitos Teorema de Hilbert-Burch http://pt.wikipedia.org/wiki/Teorema_de_Hilbert-Burch Emparelhamento de Langford http://pt.wikipedia.org/wiki/Emparelhamento_de_Langford Teorema de Paris-Harrington http://pt.wikipedia.org/wiki/Teorema_de_Paris-Harrington Lógica de descrição https://pt.wikipedia.org/wiki/Lógica_de_descrição Teorema Extensão de Szpilrajn https://pt.wikipedia.org/wiki/Teorema_Extensão_de_Szpilrajn Aritmética de segunda ordem https://pt.wikipedia.org/wiki/Aritmética_de_segunda_ordem Metalógica http://pt.wikipedia.org/wiki/Metalógica Quantificação de unicidade https://pt.wikipedia.org/wiki/Quantificação_de_unicidade Lógica Vetorial https://pt.wikipedia.org/wiki/Lógica_Vetorial Questionamento Socrático https://pt.wikipedia.org/wiki/Questionamento_Socrático Paradoxo de Berry https://pt.wikipedia.org/wiki/Paradoxo_de_Berry Paradoxo Predestinação https://pt.wikipedia.org/wiki/Paradoxo_Predestinação Lógica algébrica abstrata https://pt.wikipedia.org/wiki/Lógica_algébrica_abstrata Lógica de relevância https://pt.wikipedia.org/wiki/Lógica_de_Relevância Método dedutivo https://pt.wikipedia.org/wiki/Racioc%C3%ADnio_dedutivo Teorema de Löwenheim–Skolem https://pt.wikipedia.org/wiki/Teorema_de_Löwenheim–Skolem Referência circular https://pt.wikipedia.org/wiki/Referência_circular Esquema T https://pt.wikipedia.org/wiki/Esquema_T Lei do terceiro excluído https://pt.wikipedia.org/w/index.php?title=Lei_do_terceiro_exclu%C3%ADdo Negação por falha https://pt.wikipedia.org/wiki/Negação_por_falha Paradoxo de bootstrap http://pt.wikipedia.org/wiki/Paradoxo_de_bootstrap

*Teoria da Computação* Linguagem sensível ao contexto https://pt.wikipedia.org/wiki/Linguagem_sens%C3%ADvel_ao_contexto Gramática de afixos estendida https://pt.wikipedia.org/wiki/Gramática_de_afixos_estendida Fecho transitivo http://pt.wikipedia.org/wiki/Fecho_transitivo Hierarquia polinomial https://pt.wikipedia.org/wiki/Hierarquia_polinomial RP (complexidade computacional) https://pt.wikipedia.org/wiki/RP_(complexidade_computacional) Autômato Finito Determinístico Acíclico https://pt.wikipedia.org/wiki/Autômato_Finito_Determin%C3%ADstico_Ac%C3%ADclico Autômato finito determinístico de dois sentidos https://pt.wikipedia.org/wiki/Autômato_finito_determin%C3%ADstico_de_dois_sentidos Máquina de Ponteiros https://pt.wikipedia.org/wiki/Máquina_de_Ponteiros Método de fatoração de Fermat https://pt.wikipedia.org/wiki/Método_de_fatoração_de_Fermat Hierarquia de Grzegorczyk https://pt.wikipedia.org/wiki/Hierarquia_de_Grzegorczyk Hierarquia exponencial https://pt.wikipedia.org/wiki/Hierarquia_exponencial Elementar https://pt.wikipedia.org/wiki/Elementar Coloração harmônica https://pt.wikipedia.org/wiki/Coloração_harmônica Problema da divisão de conjuntos https://pt.wikipedia.org/wiki/Problema_da_divisão_de_conjuntos Apx completude https://pt.wikipedia.org/wiki/Apx_completude Sistema de prova interativa http://pt.wikipedia.org/wiki/Sistema_de_prova_interativa Grafos sem triangulos https://pt.wikipedia.org/wiki/Grafos_sem_triangulos Grafo k-aresta-conexo https://pt.wikipedia.org/wiki/Grafo_k-aresta-conexo Grafo k-vertice-conexo https://pt.wikipedia.org/wiki/Grafo_k-vertice-conexo Problema das 3 Partições https://pt.wikipedia.org/wiki/Problema_das_3_Partições Clique https://pt.wikipedia.org/wiki/Clique Partição de Grafos https://pt.wikipedia.org/wiki/Partição_de_Grafos Gramática de análise sintática de expressão https://pt.wikipedia.org/wiki/Gramática_de_análise_sintática_de_expressão Provas verificáveis probabilisticamente https://pt.wikipedia.org/wiki/Provas_verificáveis_probabilisticamente Certificado(Complexidade) https://pt.wikipedia.org/wiki/Certificado(Complexidade) Problema do caminho mais longo https://pt.wikipedia.org/wiki/Problema_do_caminho_mais_longo

*Criptografia* SHA-2 https://pt.wikipedia.org/wiki/SHA-2 Função esponja https://pt.wikipedia.org/wiki/Função_esponja Criptografia Baseada na Identidade https://pt.wikipedia.org/wiki/Criptografia_Baseada_na_Identidade

*Inéditos:*

*Internet, Empreendedorismo e o Vale do Silício* Clayton M. Christensen https://pt.wikipedia.org/wiki/Clayton_M._Christensen BrainPort https://pt.wikipedia.org/wiki/BrainPort The Startup Kids https://pt.wikipedia.org/wiki/The_Startup_Kids Ipredia OS http://pt.wikipedia.org/wiki/Ipredia_OS Uber (empresa) https://pt.wikipedia.org/wiki/Uber_(empresa) Cyclades https://pt.wikipedia.org/wiki/Cyclades Fred wilson https://pt.wikipedia.org/wiki/Fred_wilson Eugene Goostman https://pt.wikipedia.org/wiki/Eugene_Goostman Radix.com Distrito de inovação http://pt.wikipedia.org/wiki/Distrito_de_inova%C3%A7%C3%A3o Vale do Silício Chinês http://pt.wikipedia.org/wiki/Vale_do_Sil%C3%ADcio_Chin%C3%AAs Mark Weiser https://pt.wikipedia.org/wiki/Mark_Weiser

*Tecnologia e Convivência* Cidadania digital https://pt.wikipedia.org/wiki/Cidadania_digital Tim Wu https://pt.wikipedia.org/wiki/Tim_Wu Lei de Aaron https://pt.wikipedia.org/wiki/Lei_de_Aaron Natália Viana http://pt.wikipedia.org/wiki/Nat%C3%A1lia_Viana Ponte (site de jornalismo) http://pt.wikipedia.org/wiki/Site_Ponte Demand Progress https://pt.wikipedia.org/wiki/Demand_Progress Conteúdo para download https://pt.wikipedia.org/wiki/Conte%C3%BAdo_para_download Pague-quanto-quiser https://pt.wikipedia.org/wiki/Pague-quanto-quiser Cadeia de custódia https://pt.wikipedia.org/wiki/Cadeia_de_cust%C3%B3dia Droit d'auteur https://pt.wikipedia.org/wiki/Droit_d%27auteur Truenorth http://pt.wikipedia.org/wiki/Truenorth Computer Fraud and Abuse Act https://pt.wikipedia.org/wiki/Computer_Fraud_and_Abuse_Act Cibersoldado https://pt.wikipedia.org/wiki/Cibersoldado Direito ao esquecimento https://pt.wikipedia.org/wiki/Right_to_be_forgotten

-- Everton Zanella Alvarenga (also Tom) Open Knowledge Brasil - Rede pelo Conhecimento Livre http://br.okfn.org

---

WikimediaBR-l mailing list WikimediaBR-l@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/wikimediabr-l