Pepe Pérez

pperez333.bsky.social

06 October 2026 13:32

Cc: @avelinoquantum.bsky.social, @osciladorarmonico.bsky.social, @cienciabrujula.bsky.social.

José A. Alonso

jalonso.eurosky.social

02 October 2026 11:40

Formalising linear elliptic PDE theory in Lean 4. ~ Alejandro José Soto Franco, Kobe Marshall-Stevens. arxiv.org/abs/2609.325... #LeanProver #ITP #Math

Pepe Pérez

pperez333.bsky.social

02 October 2026 11:38

¿Es realmente mirar lejos mirar al pasado? E.g., que vemos el Sol como era hace 8 min o estrellas como eran hace años. ¿Como funciona eso con la simultaneidad relativista? ¿No sugiere un presente universal que imagino no existe? Por favor @cienciabrujula.bsky.social, @avelinoquantum.bsky.social.

plantararboles.blogspot.com

plantararboles.bsky.social

02 October 2026 11:38

@avelinoquantum.bsky.social Mis 2 webs (sin publicidad) podrían interesarle: plantararboles.blogspot.com (sembrar semillas de árboles autóctonos en zonas deforestadas, baldías, cercanas al lugar de su recolección). Y yofrenoelcambioclimatico.blogspot.com (MENOS es MEJOR). Salud. José Luis.

Pepe Pérez

pperez333.bsky.social

15 July 2026 16:02

Esto me supera. ¿O sea que si te presentas a una plaza y participas en el proceso de selección es 'cooperación necesaria del delito de prevaricación'? Pues va a ser difícil distinguir las contrataciones legales de las no legales...