Javier Campos @javifields@social.cleverlibre.org
- Webs & Soc networks
- https://linktr.ee/javier.campos
(Retired) Professor of Computer Science at the University of Zaragoza, Spain
Joined Jan 2020
On this day, 15 years ago. #ParqueNacionalDeOrdesaYMontePerdido
Convocada plaza de Profesor Ayudante Doctor en el departamento de Sistemas Informáticos y Computación de la Facultad de Informática de la UCM, adscrita a la Facultad de Matemáticas con perfil "Métodos formales".
Javier Campos
boosted
I posted the article to reddit for some attention. Feel free to vote or comment there.
https://www.reddit.com/r/Mastodon/comments/z3dr87/jeffrey_phillips_freeman_eugen_rochko_ceo_of/
Javier Campos
boosted
Saludos al fediverso. Llegamos por aquí por aquello de que nunca se sabe qué va a ser necesario en estos tiempos. Estamos cumpliendo 29 años desde la apertura al público, aunque nos sentimos como recién llegados y dando primeros pasitos. Nos leemos por estas redes.
QOTO.org: an inclusive, STEM-focued instance supporting Academic Freedom
Joining the ESA class of 2022 astronauts is Sara García Alonso, from Spain, as a member of the astronaut reserve. #ESAastro2022
Joining the ESA class of 2022 astronauts is Pablo Álvarez Fernández, from Spain, as a career astronaut. #ESAastro2022
Javier Campos
boosted
I have added an addition section to the end of my article
# Eugen Rochko, CEO of Mastodon, Found to Support Nazi’s Agenda
It is four points listening the consequences of Eugen's decision.
https://jeffreyfreeman.me/eugen-rochko-ceo-of-mastodon-found-to-support-nazis-agenda/
🇳🇱
@freemo@social.cleverlibre.org
Sp I wrote a pretty lengthy blog post entitled: Eugen Rochko, CEO of Mastodon, Found to Support Nazi’s Agenda Sadly I wish it was clickbait. You ...
Javier Campos
boosted
Maths at internet speed. On 16 Nov, Justin Gilmer https://arxiv.org/abs/2211.09055 makes a breakthrough on the #unionClosedSets conjecture, achieving a lower bound of 0.01 instead of the conjectured 0.5. Five days later, three independent groups optimize the argument to \(\frac{3-\sqrt{5}}{2} \approx 0.38\): https://arxiv.org/abs/2211.11504 https://arxiv.org/abs/2211.11689 https://arxiv.org/abs/2211.11731 . (Via Rachel Greenfeld)
Un simulador de incendios forestales ‘made in Zaragoza’, finalista en un concurso de la NASA
@sekito no era fácil terminarlo, llevaba bastantes horas… para los estudiantes (y profesores) de esa Escuela fue especialmente divertido (incluye bromas “locales” y personajes perfectamente conocidos 😁). Disfrútalo!
Javier Campos
boosted
#MULCIA: PhD positions in program verification and separation logic at ETH Zürich. https://bit.ly/3XrIJ4T #PhD #CompSci
Javier Campos
boosted
#MULCIA: Postdoc position in verification and automata learning at MPI-SWS, in association with Cornell and Oxford https://bit.ly/3Oq6TbO #PostDoc #CompSci
Javier Campos
boosted
#MULCIA: PhD position in the area of Theoretical Computer Science at the University of Innsbruck. http://bit.ly/31MadFX #PhD #CompSci
@sekito pues no recuerdo... pero dado lo que podían saber de programación los estudiantes de ing. industrial de la época (que fueron los autores), o en BASIC o en Pascal (que es el que les enseñábamos en la asignatura de Informática)
@fernand0 dándole a “contenido” incluye ambos.
Sit tibi terra levis, Pablo Milanés.
“Para vivir “
https://youtu.be/pa7ilwAcecw
@fernand0 en tusky de android: tres punticos -> compartir -> sólo enlace o contenido
Bueno, siempre es posible compartir incluyendo el contenido /cc @fernand0
https://mastodon.social/@fernand0/109386147113923726
fernand0@mastodon.social - Siempre me ha parecido útil el retuiteo con cita porque permite abrir una nueva conversación sobre un tuit sin interferir en la original. Es cierto que también se usa para señalar y molestar y por eso no está en mastodon, pero lo echo de menos en los toots.
- Webs & Soc networks
- https://linktr.ee/javier.campos
(Retired) Professor of Computer Science at the University of Zaragoza, Spain
Joined Jan 2020
