HNHacker News
TopNewBestAskShowJobs

dataking

937 karma · joined February 12, 2013

leading a team building c2rust and migrating code to Rust.

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 ]

submissionscomments
dataking··on "I'm on a war footing": Terry Tao and the crisis in math
Carnival Barkers
dataking··on Tesla Roadster
Rocket-inspired design hints at desire to merge Tesla and SpaceX?
dataking··on ASML says it sold 'absolutely nothing' in Europe in 2026
Not really, they know their customers and the roadmaps. Nobody puts in a surprise order.
dataking··on Growing proof that autonomous cars save lives
Was surprised that article mentions Waymo, Rivian, Zoox, but not Tesla.
dataking··on Statichost.eu – European static site hosting
> Not just servers in Europe. A European company, European infrastructure, and European values

Needs to also run on European CPUs such as SiPearl Rhea1 :)

dataking··on Formalizing Fermat's Last Theorem
> the most obvious being an ever-increasing population

https://en.wikipedia.org/wiki/Thomas_Robert_Malthus

dataking··on Dav2d
https://github.com/memorysafety/rav1d got funded and developed. it is unfortunately a bit slower (typically by a single-digit percentage) than dav1d.
dataking··on Dav2d
for dav1d there is https://github.com/memorysafety/rav1d although it reuses the dav1d assembly and performance is typically slower by a single-digit percentage.
dataking··on Eka’s robotic claw feels like we're approaching a ChatGPT moment
no paywall: https://archive.is/Wro1e
dataking··on Our eighth generation TPUs: two chips for the agentic era
Vera Rubin will have Groq chips focused on fast inference so it points toward a trend. Also, with energy needs so high, why not reach for every feasible optimization?
dataking··on Why are executives enamored with AI, but ICs aren't?
An individual contributor. Someone who delivers technical work without managing people. It is an alternative to being promoted into a management role.
dataking··on US orders diplomats to fight data sovereignty initiatives
> In 1997, ASML began studying a shift to using extreme ultraviolet and in 1999 joined a consortium, including Intel and two other U.S. chipmakers, in order to exploit fundamental research conducted by the US Department of Energy. Because the Cooperative Research and Development Agreement (CRADA) it operates under is funded by the US government, licensing must be approved by Congress.

Source: https://en.wikipedia.org/wiki/ASML_Holding

dataking··on The Jolla Phone Proved We've Been Using Smartphones Wrong All Along
> This isn’t tin foil hat paranoia. This is just honest engineering.

This sentence and others makes me think this article was written or edited by an AI. Anybody else get that feeling too?

dataking··on AVX-512: First Impressions on Performance and Programmability
Yes, it works with AMD CPUs as well as various ARM ones, e.g. Apple silicon.

See for instance https://github.com/ispc/ispc/pull/2160

dataking··on Nvidia Kicks Off the Next Generation of AI with Rubin
Because standing out gets attention?
dataking··on New EU Chat Control proposal moves forward
https://fightchatcontrol.eu/

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.

dataking··on Just how resilient are large language models?
Archive link: https://archive.is/0Bl3Z
dataking··on Amazon has mostly sat out the AI talent war
My understanding is that they fell behind on offering the latest gen Nvidia hardware (Blackwell/Blackwell Ultra) due to their focus on internally developed ASICs (Trainium/Inferentia gen 2).
dataking··on Ask HN: Who is hiring? (August 2025)
Immunant | Systems Programmer | REMOTE (US only) | Full-time | $120k - $150k + retirement benefits

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!

dataking··on Introducing tmux-rs
Indeed. We had experimental support for preserving (some) constants but it fell by the wayside. We're bringing it back in the coming months.
dataking··on Bzip2 crate switches from C to 100% Rust
https://www.memorysafety.org/initiative/ this page mentions TLS and DNS which goes some way towards your suggestion.
dataking··on Bzip2 crate switches from C to 100% Rust
They indeed used c2rust for the initial transpile according to https://trifectatech.org/blog/translating-bzip2-with-c2rust/
dataking··on Improving performance of original dav1d video decoder
Thanks! Is this the same hardware used here http://paste.debian.net/1374884?

Can you share what system was used (ARM CPU, OS, etc.)?

dataking··on But how to get to that European cloud?
I didn’t see any mention of EU’s last attempt to build a sovereign cloud: Gaia-X. I think that didn’t really go anywhere due to disagreements over technical direction. Much like Quaero.

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

dataking··on SWE-Lancer: a benchmark of freelance software engineering tasks from Upwork
It is a portmanteau of SWE and freelancer. Upwork is a marketplace for the latter.
dataking··on Eliminating Memory Safety Vulnerabilities at the Source
well put! making sure that the new, memory safe code interoperates with the old code and is equally well supported by tooling takes an incredible amount of work.
dataking··on AlphaProteo generates novel proteins for biology and health research
Interested observer here, not an expert: My understanding is that they are using another model called FermiNet for chemistry research https://deepmind.google/discover/blog/ferminet-quantum-physi...
dataking··on Ask HN: Who is hiring? (September 2024)
Immunant | Software Engineer | REMOTE | Full-time | https://www.immunant.com

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.

dataking··on Ask HN: Who is hiring? (July 2024)
Immunant | Software Engineer | REMOTE (US only) | Full-time | $110k - $150k + retirement benefits

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.

dataking··on More Memory Safety for Let's Encrypt: Deploying ntpd-rs
Highly recommend Alex Gaynor's intro to memory unsafety https://alexgaynor.net/2019/aug/12/introduction-to-memory-un...
Page 1 of 6Next →