Carl M. Kadie – Medium

Carl M. Kadie
in
Towards Data Science

A Whimsical Journey Through Wait Times

From Microwave Countdowns to Never-Ending Call Holds, with Python

16 min readMay 15, 2024

--

1

A Whimsical Journey Through Wait Times

--

1

Carl M. Kadie
in
Towards Data Science

Nine Rules for Accessing Cloud Files from Your Rust Code

Practical Lessons from Upgrading Bed-Reader, a Bioinformatics Library

21 min readFeb 7, 2024

--

Nine Rules for Accessing Cloud Files from Your Rust Code

--

Carl M. Kadie
in
Towards Data Science

Nine Rules for SIMD Acceleration of your Rust Code (Part 2)

General Lessons from Boosting Data Ingestion in the range-set-blaze Crate by 7x

9 min readDec 15, 2023

--

Nine Rules for SIMD Acceleration of your Rust Code (Part 2)

--

Carl M. Kadie
in
Towards Data Science

Benchmarking Rust Compiler Settings with Criterion

Controlling Criterion with Scripts and Environment Variables

6 min readDec 15, 2023

--

Benchmarking Rust Compiler Settings with Criterion

--

Carl M. Kadie
in
Towards Data Science

Nine Rules for SIMD Acceleration of Your Rust Code (Part 1)

General Lessons from Boosting Data Ingestion in the range-set-blaze Crate by 7x

17 min readDec 12, 2023

--

2

Nine Rules for SIMD Acceleration of Your Rust Code (Part 1)

--

2

Carl M. Kadie
in
Towards Data Science

Nine Rules to Formally Validate Rust Algorithms with Dafny (Part 2)

Lessons from Verifying the range-set-blaze Crate

14 min readOct 21, 2023

--

Nine Rules to Formally Validate Rust Algorithms with Dafny (Part 2)

--

Carl M. Kadie
in
Towards Data Science

Nine Rules to Formally Validate Rust Algorithms with Dafny (Part 1)

Lessons from Verifying the range-set-blaze Crate

14 min readOct 4, 2023

--

Crab looking at the Pythagorean theorem on a chalkboard.

--

Carl M. Kadie
in
Towards Data Science

Nine Rules for Running Rust on the Web and on Embedded

Practical Lessons from Porting range-set-blaze to no_std and WASM

17 min readJul 5, 2023

--

3

Nine Rules for Running Rust on the Web and on Embedded

--

3

Carl M. Kadie

Check AI-Generated Code Perfectly and Automatically

My Experience Applying Kani’s Formal Verification to ChatGPT-Suggested Rust Code

11 min readJun 9, 2023

--

1

Check AI-Generated Code Perfectly and Automatically

--

1

Carl M. Kadie
in
Towards Data Science

Nine Rules for Creating Fast, Safe, and Compatible Data Structures in Rust (Part 2)

Lessons from RangeSetBlaze

14 min readApr 12, 2023

--

Nine Rules for Creating Fast, Safe, and Compatible Data Structures in Rust (Part 2)

--

Carl M. Kadie

Carl M. Kadie

Ph.D. in CS and Machine Learning. Retired Microsoft & Microsoft Research. Volunteer, open-source projects related to ML, Genomics, Rust, and Python.

Following

Help
Status
About
Careers
Press
Blog
Privacy
Terms
Text to speech
Teams