ivmoreau

Such a shame that it only works on iOS 26. I was willing to buy it. Is there any technical reason not to target older devices?

I totally recommend Termius as a more mature alternative tho. It may not be as interesting as using Ghostty, but works on an older OS.

I used “torvalds” as a quick test. Quite funny that his domain is inferred as “Web development”.

> Maybe I'm in the minority but I consider religious text books, prayer tracking/reading apps as the low-effort ones - doesn't matter which religion it is. These will eventually show up in the "store" in countless versions.

I get what you are trying to say, but so far, there are actual real high-effort apps. Sefaria is my greatest example of that, since it tries not to be just a book reading app, but to visually show a graph of how text is related between translations, midrash and more commentary. But yeah, most are surely low-effort, I can't disagree on that.

In this context is referring as Cyberpunk the role playing game, rather than just the genre. Cyberpunk 2077 has a setting based on the role playing board game (that’s where some characters come from, like Silverhand), and that setting is the original IP.

  Location: Puebla, México.
  Remote: Yes.
  Willing to relocate: No, but if your company happen to have an office in CDMX, I may be able to travel back and forth occasionally.
  Technologies:
    - Haskell [Advanced], Rust [Advanced]. Love Haskell.
    - Ocaml [Basic], Clojure [Basic], Scala [Basic], Erlang [Basic]. Functional programing and that stuff.
    - Git, Neovim, Unix [Linux, macOS], Nix [very basic, still learning].
    - Github, Gitlab.
    - Agda, Lean. But I'm also learning Coq. Not an expert, but I try to do my proofs.
    - C (but not C++), Python, Flutter.
    - I also know Java, but I'm not proud of that. I wrote a parser combinator a while ago just for fun (but with Java verbosity it's a mess).
  Résumé/CV: https://cv.ivmoreau.com/
  Email: [email protected]

Hi! I'm a Software Engineer/Computer Scientist higly interested in Functional Programming, especially with Haskell. But I can also work with Rust.

I can learn new things pretty quickly and usually without any help, just making my way through the documentation. And I also love problem-solving, so I really try to get things working every time. But I'm also always working to improve my skills to become better in what I do.

While I would really like to work with compilers, types and a lot of formal stuff, I'm always open to other areas of development (i.e. Haskell's servant or distributed-process).

I'm currently a Computer Science undergraduate student at Benemérita Universidad Autónoma de Puebla. I'm finishing my bachelors in Summer 2023 (I managed to reduce by one year my degree, while having a good GPA [95.7/100]). But I also have a lot of free time, so this shouldn't be much of an issue. I promise to be careful.

I would love to be in your team building exciting things! So get in contact with me if you are interested or want to talk more about it.

Thank you so much for your time, and I hope you are having a good day!

Dependent Haskell. Maybe one day.

But also a better package system than the current state of Hackage. Otherwise, Haskell is perfect.

>but it is not stable enough That's the problem. Is still, after all this years, unstable.

Of course you can do dynamic linking without the way that I previously described, but that library will be highly tight to a specific version of the compiler. I think that the biggest problem is dealing with product types for that matter.

> Too bad rust doesn't really do dynamic linking.

As far as I remember, you can actually do dynamic linking. But it has its caveats.

Maybe using two different crates, lib-internal and lib-external, where lib-internal compiles to an dylib/so that exposes a C-abi compatible interface. Lib-external it’s just a idiomatic Rust wrapper to that api. It’s a little bit wonky, but I’m pretty sure that it can work.