Translating All C to Rust (TRACTOR) 2 years ago
From the original post > It’s not enough to rely on bug-finding tools
From the Miri github: > Miri is an Undefined Behavior detection tool for Rust.
HN user
mrweiden
2 karma
Posts0
Comments3
No posts found.
Ref to prior art: https://en.wikipedia.org/wiki/Meta_(academic_company)
One anecdote that I heard from the team developing it: turned out that researchers more readily sourced material from their social networks, notably twitter at the time. Meta's search functionality didn't receive enough traffic and eventually was shut down.
Perhaps LLMs will make the search capability more compelling. I guess we'll see.
Ask HN: Who is hiring? (April 2022) 4 years ago
Cruise - Machine Learning Infrastructure Org | REMOTE Eligible
Work at the intersection of infra, product, and ML!
* Senior Full-stack software engineer - https://www.getcruise.com/careers/jobs/3301825 * Staff Full-stack software engineer - https://www.getcruise.com/careers/jobs/3323402
For more roles, check out https://www.getcruise.com/careers