Carl M. KadieinTowards Data ScienceNine Rust Cargo.toml Wats and Wat NotsMaster Cargo.toml formatting rules and avoid frustrationJul 242Jul 242
Carl M. KadieinTowards Data ScienceA Whimsical Journey Through Wait TimesFrom Microwave Countdowns to Never-Ending Call Holds, with PythonMay 151May 151
Carl M. KadieinTowards Data ScienceNine Rules for Accessing Cloud Files from Your Rust CodePractical Lessons from Upgrading Bed-Reader, a Bioinformatics LibraryFeb 7Feb 7
Carl M. KadieinTowards Data ScienceNine Rules for SIMD Acceleration of your Rust Code (Part 2)General Lessons from Boosting Data Ingestion in the range-set-blaze Crate by 7xDec 15, 20231Dec 15, 20231
Carl M. KadieinTowards Data ScienceBenchmarking Rust Compiler Settings with CriterionControlling Criterion with Scripts and Environment VariablesDec 15, 2023Dec 15, 2023
Carl M. KadieinTowards Data ScienceNine Rules for SIMD Acceleration of Your Rust Code (Part 1)General Lessons from Boosting Data Ingestion in the range-set-blaze Crate by 7xDec 12, 20232Dec 12, 20232
Carl M. KadieinTowards Data ScienceNine Rules to Formally Validate Rust Algorithms with Dafny (Part 2)Lessons from Verifying the range-set-blaze CrateOct 21, 2023Oct 21, 2023
Carl M. KadieinTowards Data ScienceNine Rules to Formally Validate Rust Algorithms with Dafny (Part 1)Lessons from Verifying the range-set-blaze CrateOct 4, 2023Oct 4, 2023
Carl M. KadieinTowards Data ScienceNine Rules for Running Rust on the Web and on EmbeddedPractical Lessons from Porting range-set-blaze to no_std and WASMJul 5, 20233Jul 5, 20233
Carl M. KadieCheck AI-Generated Code Perfectly and AutomaticallyMy Experience Applying Kani’s Formal Verification to ChatGPT-Suggested Rust CodeJun 9, 20231Jun 9, 20231