HN user
ivan@ivmoreau.com
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: hire@ivmoreau.com
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.
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?
"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 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”.
You might want to take a look at Epiphany[1]. It's just Safari (Webkit, actually), but without the need for Apple devices.