tiflolinux.org - GNU Social
  • Login

Bienvenido

  • Public

    • Public
    • Network
    • Groups
    • Popular
    • People

Notices by theruran 🌐🏴 (theruran@hackers.town), page 3

  1. theruran 🌐🏴 (theruran@hackers.town)'s status on Thursday, 22-Apr-2021 12:42:47 CEST theruran 🌐🏴 theruran 🌐🏴
    • Ekaitz ZΓ‘rraga πŸ‘Ή

    @ekaitz_zarraga more Guix woes? it has a guix.scm tho

    In conversation Thursday, 22-Apr-2021 12:42:47 CEST from hackers.town permalink
  2. theruran 🌐🏴 (theruran@hackers.town)'s status on Thursday, 22-Apr-2021 12:32:04 CEST theruran 🌐🏴 theruran 🌐🏴
    • Ekaitz ZΓ‘rraga πŸ‘Ή

    @ekaitz_zarraga Have you looked thru mescc-tools? It's a lot simpler, though unforgiving, and needs RISC-V support. @Shamar@qoto.org

    In conversation Thursday, 22-Apr-2021 12:32:04 CEST from hackers.town permalink
  3. theruran 🌐🏴 (theruran@hackers.town)'s status on Wednesday, 07-Apr-2021 00:00:43 CEST theruran 🌐🏴 theruran 🌐🏴

    Some researchers at Inria just published a #bootstrappable compiler for #OCaml written in #Guile @scheme

    https://github.com/Ekdohibs/camlboot/

    In conversation Wednesday, 07-Apr-2021 00:00:43 CEST from hackers.town permalink
  • After

User actions

    theruran 🌐🏴

    theruran 🌐🏴

    contents: cautionary cyberpunk aesthetic; boosting signal; not that spicy~PhD candidate in model-based systems engineering #MBSEcurrently in an abusive relationship with my computer. #noBotseriously won't shut up about #Ada / #SPARK and #LISPmaking progress in my own way.don't hate; appreciate.#systemsPraxis: #systemsThinking + #systemDynamics + #systemsEngineering #antifragility #formalMethods #mind and #nature#retroComputing #OSdev #progLangDesign #fediScholar

    Tags
    • (None)
    ActivityPub
    Remote Profile

    Following 0

      Followers 0

        Groups 0

          Statistics

          User ID
          4158
          Member since
          6 Apr 2021
          Notices
          43
          Daily average
          0

          Feeds

          • Atom
          • Help
          • About
          • FAQ
          • TOS
          • Privacy
          • Source
          • Version
          • Contact

          tiflolinux.org - GNU Social is a social network, courtesy of tiflolinux.org. It runs on GNU social, version 2.0.1-beta0, available under the GNU Affero General Public License.

          Creative Commons Attribution 3.0 All tiflolinux.org - GNU Social content and data are available under the Creative Commons Attribution 3.0 license.