Static analysis is an essential component of many modern software development tools. Unfortunately, the ever-increasing complexity of static analyzers makes their coding error-prone. Even analysis tools based on rigorous mathematical techniques, such as abstract interpretation, are not immune to bugs. Ensuring the correctness and reliability of software analyzers is critical if they are to be inserted in production compilers and development environments. While compiler validation has seen notable success, formal validation of static analysis tools remains relatively unexplored. In this paper we present checkification, a simple, automatic method for testing static analyzers. Broadly, it consists in checking, over a suite of benchmarks, that the properties inferred statically are satisfied dynamically. The main advantage of our approach lies in its simplicity, which stems directly from framing it within the Ciao assertion-based validation framework, and its blended static/dynamic assertion checking approach. We demonstrate that in this setting, the analysis can be tested with little effort by combining the following components already present in the framework: 1) the static analyzer, which outputs its results as the original program source with assertions interspersed; 2) the assertion run-time checking mechanism, which instruments a program to ensure that no assertion is violated at run time; 3) the random test case generator, which generates random test cases satisfying the properties present in assertion preconditions; and 4) the unit-test framework, which executes those test cases. We have applied our approach to the CiaoPP static analyzer, resulting in the identification of many bugs with reasonable overhead. Most of these bugs have been either fixed or confirmed, helping us detect a range of errors not only related to analysis soundness but also within other aspects of the framework.

Updated estimates of 2024 ice thickness, the surface elevation losses in the last years and simulations of mass balance and evolution (using the Instructed Glacier Model) for the three largest Pyrenean glaciers strongly suggest that by 2034 the Pyrenees will be ice-free. If extreme summers like 2022 and 2023 recur, this could happen even earlier. We show that by 2030, 94% (from 0.22 to 0.01 km2) of the ice in Monte Perdido, 91% (from 0.22 to 0.05 km2) of the ice in Ossoue and 79% of the ice in Aneto (from 0.34 to 0.06 km2) will have melted under the RCP4.5 scenario; these numbers are 83%, 72% and 57% under a committed ice loss scenario, meaning that only 0.05, 0.12 and 0.12 km2 of ice will remain, respectively. In 2034, most likely they will have completely disappeared under the three considered scenarios (RCP 4.5, ‘committed ice loss’ and extreme 2022 year in a loop). The loss of these glaciers is a harbinger for what will happen in many other mountain regions.

Presentamos avances en la exploración del abrigo rocoso Las Columnas situado en la Depresión Central de Chiapas, México. Un fechamiento obtenido por espectrometría de masas con aceleradores (AMS) muestra indicios de actividades humanas entre el 790 aC y 517 aC, período que corresponde con el desarrollo de sistemas políticos complejos mesoamericanos. Las excavaciones arrojaron también restos de talla, alisadores de piedra, caracoles, semillas y cerámica que indican actividades humanas recurrentes. Una muestra de artefactos líticos se analizó con microscopía para determinar su función. Los resultados preliminares indican que el abrigo Las Columnas fue utilizado para actividades domésticas y el procesamiento de huesos y pieles durante el Preclásico medio.

Since its introduction in Spain in 2004, Aedes albopictus has rapidly spread across the country. Its aggressive biting behaviour causes nuisance, limiting outdoor activities. Also, its role as a vector of several arboviruses implies a major public health risk, with several cases of autochthonous dengue having been reported nationwide over the past few years. Control strategies usually focus on interventions in breeding sites. As such, accurate knowledge of the main larval habitats becomes a major priority in infested areas. A detailed identification of breeding sites of Ae. albopictus was carried out in the outdoors of 60 residential properties during July–August 2022 in El Vedat de Torrent (Valencia, Eastern Spain), an area recently colonised by this species. A total of 1444 real and potential breeding sites were examined. The most abundant potential larval habitat were plant pot plates (6.48 units/house), although a low infestation level was found, both for larvae (2.06% positivity, x̄ = 30.5 larvae/container), and pupae (0.51%, x̄ = 2.5 pupae/container). A total of 7715 larvae and 205 pupae were found in a disused flooded water pool depuration system. Animal drinkers, buckets and irrigation water containers were found to be the most common positive containers. No statistical difference was observed among the different container materials. A general statistical increase of 1 larva per 11.7 ml of water in breeding sites was detected. Breeding sites of other species such as Culex pipiens (n = 2) and Culex modestus (n = 1) were also rarely found in this residential area. To our knowledge, this is the first aedic index study carried out in Europe, and it provides valuable information about the main domestic breeding habitats of Ae. albopictus, which can greatly improve control programmes.

Este ensayo reseña los siguientes documentales:

El viaje de Monalisa. Dir. Nicole Costa. Prod. Gregory Costa y Daniela Camino. Nueva York, 2019, 93 min. https://ondamedia.cl/show/el-viaje-de-monalisa-1626213821621.

Casa Roshell. Dir. Camila José Donoso. Prod. Garbiñe Ortega, Juan Pablo Bastarrachea, Maximiliano Cruz y Sandra Gómez. Chile, 2017, 71 min. https://ondamedia.cl/show/casa-roshell.

Naomi Campbel. Dir. Camila José Donoso y Nicolás Videla. Prod. Catalina Donoso y Rocío Romero. Chile, 2013, 83 minutos. https://www.facebook.com/watch/live/?ref=watch_permalink&v=236699154110418.

En tránsito. Dir. Constanza Gallardo. Prod. Constanza Gallardo y Felipe Garrido González. Chile, 2017, 65 min. https://www.cclm.cl/cineteca-online/en-transito/.

El gran circo pobre de Timoteo. Dir. Lorena Giachino Torréns. Prod. Paola Castillo y Marcela Morilla. Chile, 2013, 76 min. https://vimeo.com/ondemand/timoteo.

Visibles. Dir. Javiera López Godoy. Chile, 2020, 20 minutos. https://www.youtube.com/watch?v=YrUuX3E8xnI&t=413s&ab_channel=Guat.

El diablo es magnífico. Dir. Nicolás Videla. Prod. Sebastián González. Chile, 2016, 80 min. https://ondamedia.cl/show/el-diablo-es-magnifico.

On 4 June 1943, a military coup crushed Argentina's democracy, marking the end of the oligarchic era and ‘planting the seeds’ of Peronism. This case sheds light on how rulers’ mistakes can operate as a key independent variable in producing regime changes. We argue that the former conservative president, Ramón S. Castillo, provoked an otherwise avoidable democratic breakdown. Specifically, Castillo's misguided relationships with regime insiders and outsiders unintentionally eroded political stability and triggered the fall of democracy. Until now, agent-based scholarship has fallen short in tracing incumbents’ mistakes and linking them to regime-change processes. We test the argument by conducting a within-case analysis of Argentina's democratic fall in the early 1940s, scrutinising the president's errors at five critical events. We conclude that critical-event analysis can help disentangle the role of leaders’ mistakes in other episodes of regime change.

This study explores the evolution of individual attitudes toward homosexuality in Chile during the period 1998–2018. Based on microdata from the International Social Survey Programme, it finds evidence of a significant rise in the share of people accepting homosexual relationships, from 5.4 percent to 38.5 percent of the population. Observable individual-level socioeconomic characteristics are responsible for only 3.6 percentage points of this shift. In particular, the increase in educational attainment and generational replacement help to explain this trend and account for an increase of 2.6 percentage points (roughly 45 percent of the initial level of acceptance). Nevertheless, the bulk of this shift is due to structural changes in Chilean society, which may have increased acceptance across all the demographic subgroups considered in the analysis.

Regarding the low number of embryos that reach the blastocyst stage when cultured in vitro, this study aimed to evaluate the effects of quercetin on pre-implantation mouse (Mus musculus) embryos obtained using in vitro fertilization, especially during the passage from morula to blastocyst. Furthermore, we studied whether quercetin also affected the expression of hypoxia-inducible factor 1α (HIF-1α). The culture medium for the embryos was supplemented with quercetin, for long or short periods of time, and then the development potential, total cell number, apoptosis rates and expression of HIF-1α were studied to determine the effect of quercetin. Embryos failed to develop when cultured for long periods of time with quercetin, implying the possible toxic effects of this, alternatively antioxidant, compound. However, a short culture from morula to blastocyst significantly improved the development potential of in vitro produced embryos, increasing the final total cell number and reducing the apoptosis rate, observing similar results to those embryos cultured in low-oxygen concentrations or developed in utero. Furthermore, in embryos treated with quercetin for 2 or 4 h we found an increase in HIF-1α compared with untreated embryos. This work could imply a way to use quercetin in fertility clinics to improve the production of healthy blastocysts and, consequently, increase the success rates in assisted reproduction techniques.