dataking

https://github.com/memorysafety/rav1d got funded and developed. it is unfortunately a bit slower (typically by a single-digit percentage) than dav1d.

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.

no paywall: https://archive.is/Wro1e

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?

An individual contributor. Someone who delivers technical work without managing people. It is an alternative to being promoted into a management role.

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

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?

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

Because standing out gets attention?

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.

Archive link: https://archive.is/0Bl3Z

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

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!

Indeed. We had experimental support for preserving (some) constants but it fell by the wayside. We're bringing it back in the coming months.

https://www.memorysafety.org/initiative/ this page mentions TLS and DNS which goes some way towards your suggestion.

They indeed used c2rust for the initial transpile according to https://trifectatech.org/blog/translating-bzip2-with-c2rust/

Thanks! Is this the same hardware used here http://paste.debian.net/1374884?

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

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

It is a portmanteau of SWE and freelancer. Upwork is a marketplace for the latter.

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.

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

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.

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.

Highly recommend Alex Gaynor's intro to memory unsafety https://alexgaynor.net/2019/aug/12/introduction-to-memory-un...

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.

says Gary Marcus, a cognitive scientist who sold an AI startup to Uber in 2016

for context, Marcus has a quite bearish view on AI and lots of others, most prominently Yann LeCun, disagree with Marcus.

I agree with both of these takes but want to add that the tool might not have been tested on all the languages spoken outside of the US. Can't be too careful with kids in the target audience.

https://archive.is/Z0EOB

the MS ecosystem makes making all documents cloud documents and sharable and collaborative within your enterprise a total snap.

Same for Google Sheets, they're fairly interoperable with the MS formats too.

The only that I think is given that will expand its global market share is China.

That doesn't make sense given that all the other big blocks are cooperating across borders while China is subject to stiff export controls in an area with real technological chokepoints.