Thiago Carvalho @cyrilpedia@social.cleverlibre.org

American Mathematician John Warner Backus was born #OTD in 1924.

He directed the team that invented and implemented FORTRAN, the first widely used high-level programming language, and was the inventor of the Backus–Naur form (BNF), a widely used notation to define formal language syntax. He later did research into the function-level programming paradigm, presenting his findings in his influential 1977 Turing Award lecture "Can Programming Be Liberated from the von Neumann Style?"

#mathematics

"Von Neumann languages do not have useful properties for reasoning about programs. Axiomatic and denotational semantics are precise tools for describing and understanding conventional programs, but they only talk about them and cannot alter their ungainly properties. Unlike von Neumann languages, the language of ordinary algebra is suitable both for stating its laws and for transforming an equation into its solution, all within the "language.""

Can Programming...

~John W. Backus

#mathematics

Holy shit I love this map

FUCKING HELL KEITH.

Keir Starmer praises Margaret Thatcher for bringing ‘meaningful change’ to UK.

https://amp.theguardian.com/politics/2023/dec/02/keir-starmer-praises-margaret-thatcher-for-bringing-meaningful-change-to-uk

Research Technician

Kent State University

See the full job description on jobRxiv: https://jobrxiv.org/job/kent-state-university-27778-research-technician/?feed_id=66825

#ScienceJobs #hiring #research
Kent, Ohio #UnitedStatesUS #ResearchTechnician
https://jobrxiv.org/job/kent-state-university-27778-research-technician/?feed_id=66825

In my latest column for New Scientist, I talk about the emerging field of trust and safety, and why it's crucial to the future of our digital public sphere ... and yet is consistently overlooked or undervalued. You can read the article for free -- you just need to sign up for a free account. https://www.newscientist.com/article/2403999-trust-and-safety-the-most-important-tech-job-youve-never-heard-of/

'Now with the new telomere2telomere long read enabled references I figured it would be fun to try asking a similar question. What’s the utility of long reads?3 I.e. how much more of the genome to long reads let us address.'

https://aseq.substack.com/p/the-utility-of-long-reads?r=f3eze&utm_campaign=post&utm_medium=email

'The number of desaparecidos in Argentina at that stage has been calculated at 1,022. In October, at the Waldorf-Astoria hotel, Kissinger told Guzzetti, "the quicker you succeed the better." The steep and rapid climb into the tens of thousands was incited.'

https://archive.vanityfair.com/article/2004/12/kissinger-declassified

Amanhã, #ccb das 10 às 18h! ✨🎄
Foto do @cyrilpedia 🥰
#ahistoriamaispequenadomundo #liaferreira #adamadopirete #ccbelém

At MASP (São Paulo).

"If this sprawling exhibition of 170 artists is an attempt to correct that, bringing Indigenous production into the canon, then it is certainly ambitious in its geographical spread."

https://www.ft.com/content/ac6f9f47-cc22-4859-85e4-1c192be353bf

"Esta história faz parte de uma lógica que ajudou a alimentar a utilização em massa do carro, com um novo máximo nos Censos de 2021, tendo triplicado em relação a 1991. Isso aconteceu à custa do transporte público e do andar a pé e é a tendência inversa ao que deve acontecer, quando as metas estão hoje viradas para a redução de emissões de gases com efeito de estufa."

https://www.publico.pt/2023/12/01/local/reportagem/portugal-pais-onde-nao-facil-largar-carro-2072167

'Additionally, there are reports that HIV-2 infection can reduce HIV-1-associated pathogenesis in dual-infected patients, and in cell culture. However, the mechanisms underlying these protective effects are not well understood. To decipher these mechanisms, we performed dual infections with HIV-1 and HIV-2 in cell culture.'

https://journals.asm.org/doi/10.1128/jvi.01870-22?url_ver=Z39.88-2003&rfr_id=ori:rid:crossref.org&rfr_dat=cr_pub%20%200pubmed

"In line with the WHO's strategy to stop the spread of this invasive species by enhancing surveillance and control measures in Africa, we incorporated morphological and molecular surveillance of An. stephensi into routine entomological surveillance of malaria vectors in the city of Accra, Ghana. Here, we report on the first detection of An. stephensi in Ghana."

https://www.biorxiv.org/content/10.1101/2023.12.01.569589v1

"There’s just one problem: It’s not clear how effective nudges really are. One recent analysis of a large study of nudging interventions found that, after accounting for the fact that positive results are more likely to get published, the evidence that nudges change the decisions people make in their everyday lives is not particularly strong."

https://www.nytimes.com/2023/11/30/opinion/human-behavior-nudge.html