home.social

#yatima — Public Fediverse posts

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

fetched live
  1. Csepp 🌢 @[email protected] ·

    Hmm, looks like the #Yatima language has a new implementation in #Lean instead of Rust.
    github.com/yatima-inc/yatima-l
    It doesn't have the old readme, so I'm not sure if it still has the same goals for the type system. 🤔
    I should look at the sources when it's not exam season. 😓

    #lean #yatima
  2. Csepp 🌢 @[email protected] ·

    Apparently these aren't as well known as I assumed they were, so here is some tech that I think would make a good #web0 . (like #web3 but more actual #decentralization and less bullshit)

    #namedDataNetworking
    named-data.net/

    #Spritely (and #OCAP in general)
    spritelyproject.org/

    #Yggdrasil (could cooperate with NDN)
    yggdrasil-network.github.io/

    #Yatima
    github.com/yatima-inc/yatima

    Invest in these instead of NFTs.

    #yatima #yggdrasil #ocap #spritely #nameddatanetworking #decentralization
  3. Csepp 🌢 @[email protected] ·

    This has been in my tabs for months, was gonna read more before linking it, but whatever, I have other projects, so here it is:

    github.com/yatima-inc/yatima

    cc @syntacticsugarglider have you seen this? it looks like it aligns with your ideals.

    #yatima #typeTheory #programming

    #programming #typetheory #yatima