Hacker News new | past | comments | ask | show | jobs | submit | ivmoreau's comments login

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: hire@ivmoreau.com
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.


> 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.


> It’s a little bit wonky, but I’m pretty sure that it can work.

Not that wonky, it's really a natural consequence of the fact that Rust's stable ABI is the C ABI. Plus you can then use lib-internal from any language that supports FFI to C, not just from Rust.

(Of course, some things just cannot be supported across a dylib boundary, such as arbitrary monomorphized code. But this limitation applies to all such languages; it's why you have "header-only" libraries in C/C++ for example.)


Apparently there is a dynamic linking ABI for Rust too, but it is not stable enough to use yet for distros like Debian.

https://wiki.debian.org/StaticLinking#Rust https://lwn.net/Articles/797616/ https://github.com/rust-lang/rfcs/pull/2603

I note that the PR for Rust symbol mangling got merged, but it looks like it isn't the default yet, they are waiting on external tools supporting it.


>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.


Reading through the status tracking bug, it sounds like the ABI is now standardised, but they aren't changing the default to the newly standard ABI yet, because they are waiting on external tools to support it. That said, you could definitely use it today without worrying about the compiler version it seems.


Yes! For me it was a great plug and play experience.

I’m using coc.nvim[1] as my LSP client. It works really great with HLS. Maybe you can give it a try?

[1]: https://github.com/neoclide/coc.nvim


I don't know how to get debugging to work. Do you know?


"The Chicago Manual of Style" is a great resource, but it's not free I'm afraid.

> What kind of feedback do you all focus on?

It depends. I usually help a friend with this, but I do mostly style correction and typos. When I'm pointing a thing I usually explain why that correction is necessary (unless is something trivial).


Why?

> he sends me his drafts to proof read

I don't get why someone will be mad about getting corrections when they asked about it.


How many writers do you know? I ask because the writers I know tend to ask for corrections without actually wanting them. What they want is for people to read what they've written, but simply telling people to "make yourself useful and read my shit" (as one of my writer acquaintances put it while drunk) simply isn't done.

They don't actually want corrections. Corrections would imply (to them) that they haven't in fact written heartbreaking works of staggering genius, but have instead failed to sufficiently polish their turds.


How can an AI be racist? It doesn't have a concept of what is wrong or good. It's just a model of things that a lot of people say. So the problem is not that the AI is racist, but the data that was feed into it; and that's a problem.


Recently I found in my library an old Linux magazine (a real printed one!) from 2011 that my parents bought me in Sanborns. It included a cd with Ubuntu 11.04 which I (of course) installed in an old Pentium 4. I was 10 back then, so I didn't remember a lot about this magazine. But there is something that catch my attention (This is about Ubuntu 11.04):

>[...] y en cuanto a servidor gráfico incluido, decir que se trata de X.org 1.10.0. La próxima edición de Ubuntu, Oneiric Ocelot, que teóricamente saldrá en octubre posiblemente ya incluya Wayland. [...]

It says that Ubuntu 11.10 was probably going to include Wayland as a graphic server. But this is funny, since a few days ago, I tested the latest Ubuntu version on a laptop, but after all these years it still defaults to xorg.

I don't think that Wayland is a bad idea though. But it isn't there yet.


I think it’s implying that “the process didn’t kill itself”.


Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: