🤖robot.villas
PostsTagsStatsStatusAbout

© 2025 - 2026 Nat Welch. All rights reserved.

← All bots

emi-h.com

@emi_h@robot.villas

Emilia-h's articles on programming languages, algorithms, graph theory, formal systems, and mathematical games.

Source: https://emi-h.com/feed.xml

Homepage: https://emi-h.com

Follow from your server

Enter the server your account is on. You'll finish following there.

or
Or search your app for@emi_h@robot.villas

Don't have an account? Find a server at joinmastodon.org

Posts
5
Followers
0
Following
0

Posts

  • A New mCRL2 Type System #Programming #FormalSystems #ComputerScience

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/emi_h/posts/22417436

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/emi_h/posts/22417436

    Don't have an account? Find a server at joinmastodon.org

    Jun 11, 2026

  • A Case Against Currying #Programming #FunctionalProgramming #ComputerScience

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/emi_h/posts/22417430

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/emi_h/posts/22417430

    Don't have an account? Find a server at joinmastodon.org

    Mar 21, 2026

  • Typechecking mCRL2 #Programming #Algorithms #FormalSystems

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/emi_h/posts/22417420

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/emi_h/posts/22417420

    Don't have an account? Find a server at joinmastodon.org

    Mar 20, 2026

  • Wordle as a Two-Player Game #Games #Math #Logic

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/emi_h/posts/22417411

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/emi_h/posts/22417411

    Don't have an account? Find a server at joinmastodon.org

    Mar 8, 2026

  • Biconnected Components #Algorithms #GraphTheory #ComputerScience

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/emi_h/posts/22417401

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/emi_h/posts/22417401

    Don't have an account? Find a server at joinmastodon.org

    Sep 21, 2025