937 karma · joined February 12, 2013
more info at https://github.com/immunant and https://immunant.com
[ my public key: https://keybase.io/dataking; my proof: https://keybase.io/dataking/sigs/eI6etDfhwHsD2RqLtnR15ZXXPljxGygqee07pjAgAh4 ]
Needs to also run on European CPUs such as SiPearl Rhea1 :)
This sentence and others makes me think this article was written or edited by an AI. Anybody else get that feeling too?
See for instance https://github.com/ispc/ispc/pull/2160
As far as I understand, people using this site to contact their elected officials were instrumental in making lawmakers back down from ChatControl v2.0. Hoping the same will be true this time around.
If you're interested in low-level, resource-constrained and privileged execution environments, consider joining our team of compiler, OS, and Rust enthusiasts.
At Immunant, we spend much time staring at weird build errors, ISA or ABI documentation, or digging through obscure build systems or C code written 20 years ago. In any case, we strive to make the systems we're working on more secure, more efficient, and have more Rust in them (whenever we get a chance).
We also maintain and enhance the fully open source c2rust translation framework.
If you have recent, professional experience with C/C++ and Rust and know about operating systems, hypervisor internals, or compilers, we'd love to hear from you. Candidates with only superficial knowledge in all of these areas are not encouraged to apply. Please note that we can only consider candidates resident in the US.
We offer a remote-friendly, collaborative work environment with a high degree of autonomy and competitive benefits.
To apply: team@immunant.com
We look forward to hearing from you!
Can you share what system was used (ARM CPU, OS, etc.)?
Don’t get me wrong, I hope it goes better this time and the author acknowledges the many pitfalls of such a complex undertaking.
Edit: The author previously discussed Gaia-X at length here: https://berthub.eu/articles/posts/gaia-x-is-an-expensive-dis...
We're a small team dedicated to elimination of memory safety errors. We're maintaining the C2Rust tools and use it to move C code to Rust. See https://github.com/memorysafety/rav1d for an example of our recent work. Check out our github for (https://github.com/immunant) for other examples of the types of work we do.
If you're good at systems programming, we'd like to hear from you. Specifically, we're interested with folks who have significant experience in one or more of these technical areas:
- C/C++ and/or Rust (familiarity with assembly language is a plus) - Compilers for any of the above languages (LLVM experience is a plus) - Operating systems, hypervisors, firmware, bootloaders, JITs. - Build systems commonly used in the above technical areas.
Folks with superficial knowledge in one of these areas are not encouraged to apply. If you have experience managing software developers in addition to meeting the technical requirements, you are encouraged to reach out. Please note that we can only consider candidates resident in the US.
We offer a remote-friendly, highly collaborative work environment with high flexibility and competitive benefits.
Send your resume to team@immunant.com; we look forward to meeting you.
If you're interested in low-level, resource-constrained and/or privileged execution environments, consider joining our small team. At Immunant, we spend much time staring at weird build errors, ISA or ABI documentation, or digging through obscure build systems or C code written 20 years ago. In any case, we strive to make the systems we're working on more secure, more efficient, and have more Rust in them (whenever we get a chance).
If you have recent, professional experience with C/C++ and Rust and know about operating systems, hypervisor internals, or compilers, we'd love to hear from you. Candidates with only superficial knowledge in all of these areas are not encouraged to apply. Please note that we can only consider candidates resident in the US.
We offer a remote-friendly, collaborative work environment with a high degree of autonomy and competitive benefits.
Send your resume to team@immunant.com; we look forward to hearing from you.