home.social

#reversible — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #reversible, aggregated by home.social.

  1. #Reversible #Computing uses logically invertible operations to ensure no information is lost.

    This allows systems to theoretically bypass the Landauer limit, enabling near-zero power consumption and heat dissipation by recycling computational energy.

    knowledgezone.co.in/posts/Reve

  2. The deadlines to submit to #Reversible Computation (RC 2026) were slightly extended! We have an acceptable number of submissions already, but I'm sure the authors will enjoy the extra time, and hope that a couple more submissions will trickle in! Remember that we accept various formats, including short communications or work-in-progress!

    ☎4📃 => reversible-computation.github. <=

  3. #ITByte: #Reversible #Computing is a computational paradigm where every step of the process is reversible, meaning that the computation can run backward to retrieve the initial state.

    This approach is unconventional compared to traditional computing, but it holds significant promise for energy efficiency and other unique applications.

    knowledgezone.co.in/posts/Reve

  4. #Introduction I've been around the Fediverse for a few years, but at some point I ended up abandoning this account 🙈

    So... let’s try again.

    I teach computer science at VRAIN-UPV (Universitat Politècnica de València, Spain). My research interests include things like explainable and symbolic #AI, #probabilistic #logic programming/term rewriting, #causality, #concurrency, #programming languages, #reversible computing, program #verification, and #debugging.

    Outside of work, I'm into #photography and I'm a big #sci-fi fan (books, movies, and TV shows). I also enjoy traveling, cooking, and getting outside for a walk or a run.

    Languages: Spanish (native), Catalan, English, and some Italian.

  5. #Introduction I've been around the Fediverse for a few years, but at some point I ended up abandoning this account 🙈

    So... let’s try again.

    I teach computer science at VRAIN-UPV (Universitat Politècnica de València, Spain). My research interests include things like explainable and symbolic #AI, #probabilistic #logic programming/term rewriting, #causality, #concurrency, #programming languages, #reversible computing, program #verification, and #debugging.

    Outside of work, I'm into #photography and I'm a big #sci-fi fan (books, movies, and TV shows). I also enjoy traveling, cooking, and getting outside for a walk or a run.

    Languages: Spanish (native), Catalan, English, and some Italian.

  6. #Introduction I've been around the Fediverse for a few years, but at some point I ended up abandoning this account 🙈

    So... let’s try again.

    I teach computer science at VRAIN-UPV (Universitat Politècnica de València, Spain). My research interests include things like explainable and symbolic #AI, #probabilistic #logic programming/term rewriting, #causality, #concurrency, #programming languages, #reversible computing, program #verification, and #debugging.

    Outside of work, I'm into #photography and I'm a big #sci-fi fan (books, movies, and TV shows). I also enjoy traveling, cooking, and getting outside for a walk or a run.

    Languages: Spanish (native), Catalan, English, and some Italian.

  7. #Introduction I've been around the Fediverse for a few years, but at some point I ended up abandoning this account 🙈

    So... let’s try again.

    I teach computer science at VRAIN-UPV (Universitat Politècnica de València, Spain). My research interests include things like explainable and symbolic #AI, #probabilistic #logic programming/term rewriting, #causality, #concurrency, #programming languages, #reversible computing, program #verification, and #debugging.

    Outside of work, I'm into #photography and I'm a big #sci-fi fan (books, movies, and TV shows). I also enjoy traveling, cooking, and getting outside for a walk or a run.

    Languages: Spanish (native), Catalan, English, and some Italian.

  8. #Introduction I've been around the Fediverse for a few years, but at some point I ended up abandoning this account 🙈

    So... let’s try again.

    I teach computer science at VRAIN-UPV (Universitat Politècnica de València, Spain). My research interests include things like explainable and symbolic #AI, #probabilistic #logic programming/term rewriting, #causality, #concurrency, #programming languages, #reversible computing, program #verification, and #debugging.

    Outside of work, I'm into #photography and I'm a big #sci-fi fan (books, movies, and TV shows). I also enjoy traveling, cooking, and getting outside for a walk or a run.

    Languages: Spanish (native), Catalan, English, and some Italian.

  9. The call for paper #cfp for Reversible Computation 2026 is now out, at reversible-computation.github. . The conference will take place in Torino, Italy, and welcome researchers from a variety of fields interested in #reversible #computation. This conference has a tradition of discussing "everything reversible", from hardware implementation to quantum computation, from information theory to formal methods. Luca Roversi & I feel honored that so many colleagues accepted to join our program committee, and look forward to receiving your submission!
    The conference will also feature invited talks by Hannah Earley (ha.nnah.io/) and Prakash Panangaden (cs.mcgill.ca/~prakash/), to which we very much look forward to!

  10. 🎥 Avez-vous pris le temps de regarder le #CourtMétrage de la réalisatrice clastroise #LaraOdemard ?

    Très soutenu dans le cadre du #NikonFilmFestival, « #Réversible » a encore besoin de votes pour se hisser en tête du classement :
    le-crestois.fr/index.php/journ
    (Voter nécessite de s'inscrire sur le site du festival, avec une adresse de messagerie électronique valide)

    #Compétition #Nikon #Film #Festival #Handicap #Espoir #Drôme #PiégrosLaClastre #Saoû #Soyans #Grâne #Crest #FougueProduction #Saillans

  11. 🎥 Avez-vous pris le temps de regarder le #CourtMétrage de la réalisatrice clastroise #LaraOdemard ?

    Très soutenu dans le cadre du #NikonFilmFestival, « #Réversible » a encore besoin de votes pour se hisser en tête du classement :
    le-crestois.fr/index.php/journ
    (Voter nécessite de s'inscrire sur le site du festival, avec une adresse de messagerie électronique valide)

    #Compétition #Nikon #Film #Festival #Handicap #Espoir #Drôme #PiégrosLaClastre #Saoû #Soyans #Grâne #Crest #FougueProduction #Saillans

  12. #ITByte: #Reversible #Computing is a computational paradigm where every step of the process is reversible, meaning that the computation can run backward to retrieve the initial state.

    This approach is unconventional compared to traditional computing, but it holds significant promise for energy efficiency and other unique applications.

    knowledgezone.co.in/posts/Reve

  13. The #CFP for #Reversible #Computation 2025 is out at reversible-computation-2025.gi 😀

    ⌚ Abstract submission: February 7th, 2025
    🇩🇰 Location: Odense, Denmark
    🔑 Keywords: Anything reversible, really (from hardware to synthesis, from information theory to circuit design)

  14. Un très beau pattern de sashiko (broderie géométrique) pour ce sac azuma réversible 😳 (Le sac azuma une des formes traditionnelles japonaises de sac en tissu, à nouer, elle explique sa forme et son usage en début de vidéo).

    Le point a l'air complexe mais elle explique comment le tracer et obtenir un résultat brodé régulier. Fascinant et beau, également très apaisant à regarder ♥

    youtube.com/watch?v=-TewZH0Ea_

    #broderie #sashiko #fil #géométrique #vidéo #tutorial #sac #réversible #japon #japonais

  15. Parents should understand that hormone #blockers are #reversible and provide an important opportunity for the child to explore their gender identity with greater clarity and reduced dysphoria. The use of hormone blockers is generally considered #safe and has been shown to have #positive #mentalhealth #outcomes for #transgender and #genderdiverse #youth.

    (8/20) #Transgender

  16. Thrilled to read that both my submissions to #Reversible Computation 2023 (#RC 2023) and to the special issue of RC 2022 have been accepted (with revisions needed in the second case). Pre-prints and tool available from github.com/CinRC !

  17. I am very happy to report that my project "#Concurrency In #Reversible Computations" will be funded by the #NSF. More info at github.com/CinRC, a PhD and post-doctoral ad will follow.

  18. The call for paper for Reversible Computation 2023 is out! Cf. reversible-computation-2023.gi for a chance to visit Giessen (Germany) in July 🙃 #RC #reversible #computation #cfp

  19. Hello World!

    I'm a Prof. of #ComputerScience at VRAIN/UPV (València, Spain), mainly working on (explainable, symbolic) artificial #intelligence #AI #XAI, (#probabilistic) #logic #programming, term #rewriting, #causality, #concurrency, programming #languages, #reversible computing, program #verification, and #debugging. 


    I plan to use this account mostly for scientific matters, but not only. I'm also quite interested in #photography, #sciencefiction, #travel, #movies, #series, etc, etc.

  20. Some experiments with #reversible knit/purl patterns. It’s interesting how much the one on the upper right dissolves into static; the design becomes very hard to see. #knitting #texture

  21. Hello World!

    I'm a Prof. of #ComputerScience at VRAIN/UPV (València, Spain), mainly working on (explainable, symbolic) artificial #intelligence #AI #XAI, (#probabilistic) #logic #programming, term #rewriting, #causality, #concurrency, programming #languages, #reversible computing, program #verification, and #debugging. 


    I plan to use this account mostly for scientific matters, but not only. I'm also quite interested in #photography, #sciencefiction, #traveling, #movies, #series, etc, etc.