Claudio Contardo
@claud10contardo.bsky.social
Cruzado, frustrated footballer, football coach, wannabe computer scientist, atheist
ORCID: https://orcid.org/0000-0001-7595-3904
ORCID: https://orcid.org/0000-0001-7595-3904
Love the workaround for the >= 🤣
October 13, 2025 at 10:24 AM
Love the workaround for the >= 🤣
Lucky you. Every time I do the same my back reminds me I am no longer in my 20s 🤣
September 19, 2025 at 12:46 PM
Lucky you. Every time I do the same my back reminds me I am no longer in my 20s 🤣
Après deux mois la situation demeure identique @villedemontreal.montreal.ca. Combien ça peut coûter de remplacer un but? Je suis certain que les bénéfices dépassent largement les coûts associés à ce remplacement
September 3, 2025 at 8:50 PM
Après deux mois la situation demeure identique @villedemontreal.montreal.ca. Combien ça peut coûter de remplacer un but? Je suis certain que les bénéfices dépassent largement les coûts associés à ce remplacement
Does the solver use rational arithmetic all along, or does it find a solution using FPA and then the exact solution (and certificate) in a post processing step?
September 3, 2025 at 8:24 PM
Does the solver use rational arithmetic all along, or does it find a solution using FPA and then the exact solution (and certificate) in a post processing step?
This may be an actual correlation 👀
August 10, 2025 at 2:34 PM
This may be an actual correlation 👀
Collar de melones
June 2, 2025 at 2:21 AM
Collar de melones
technically that's what he did 😁
May 22, 2025 at 1:58 PM
technically that's what he did 😁