GNU social JP
  • FAQ
  • Login
GNU social JPは日本のGNU socialサーバーです。
Usage/ToS/admin/test/Pleroma FE
  • Public

    • Public
    • Network
    • Groups
    • Featured
    • Popular
    • People

Notices by Leandro (leostera@mas.to)

  1. Embed this notice
    Leandro (leostera@mas.to)'s status on Saturday, 27-May-2023 23:51:17 JST Leandro Leandro
    in reply to
    • Alecu Ștefan-Iulian :verified:

    @alecui have you seen this? https://releases.llvm.org/8.0.0/docs/tutorial/OCamlLangImpl1.html

    In conversation Saturday, 27-May-2023 23:51:17 JST from mas.to permalink

    Attachments

    1. Domain not in remote thumbnail source whitelist: releases.llvm.org
      1. Kaleidoscope: Tutorial Introduction and the Lexer — LLVM 8 documentation
  2. Embed this notice
    Leandro (leostera@mas.to)'s status on Saturday, 27-May-2023 23:51:15 JST Leandro Leandro
    in reply to
    • Alecu Ștefan-Iulian :verified:

    @alecui i'm out of my depth when it comes to microcontrollers, but I've seen folks use Rust for this, and I'd expect that to use LLVM under the hood.

    And then your project will be a mix of regular OCaml and then systems OCaml

    ref: https://twitter.com/LambdaFairy/status/1634510754257985536

    In conversation Saturday, 27-May-2023 23:51:15 JST from mas.to permalink

    Attachments


User actions

    Leandro

    Leandro

    latinx immigrant 🇦🇷🇸🇪🏳️🌈🖖🏼 he/they • building https://warp.build • ex @spotify @klarna @walnutinc


I toot about:


🚀#buildinpublic #startups


💾 #devtools #buildsystems #compilers (#rust #ocaml #erlang #elixir #rescript #javascript )


tho you'll also find 🫶🏼 #personal stuff, 🧭 #digitalnomad, 📸 #photography, and 🎼 #music here too.

    Tags
    • (None)

    Following 0

      Followers 0

        Groups 0

          Statistics

          User ID
          117947
          Member since
          10 May 2023
          Notices
          2
          Daily average
          0

          Feeds

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

          GNU social JP is a social network, courtesy of GNU social JP管理人. It runs on GNU social, version 2.0.2-dev, available under the GNU Affero General Public License.

          Creative Commons Attribution 3.0 All GNU social JP content and data are available under the Creative Commons Attribution 3.0 license.