10 Tags

#Auditing  #fearless_simd  #LLMs  #musl  #optimization  #Rust  #Security  #SIMD  #standard library  #Unsafe Rust  

#Auditing

The unreasonable effectiveness of LLMs for auditing Rust code -

#fearless_simd

Implementing FMA and finding bugs in C and Rust standard libraries -

#LLMs

The unreasonable effectiveness of LLMs for auditing Rust code -

#musl

Implementing FMA and finding bugs in C and Rust standard libraries -

#optimization

Improving std::simd::swizzle_dyn -

#Rust

Implementing FMA and finding bugs in C and Rust standard libraries -

Improving std::simd::swizzle_dyn -

The unreasonable effectiveness of LLMs for auditing Rust code -

Safe SIMD in Rust, even on the inside -

My old articles are on Medium -

#Security

The unreasonable effectiveness of LLMs for auditing Rust code -

#SIMD

Implementing FMA and finding bugs in C and Rust standard libraries -

Improving std::simd::swizzle_dyn -

Safe SIMD in Rust, even on the inside -

My old articles are on Medium -

#standard library

Implementing FMA and finding bugs in C and Rust standard libraries -

Improving std::simd::swizzle_dyn -

#Unsafe Rust

Safe SIMD in Rust, even on the inside -

My old articles are on Medium -