Pragmatic AI Labs Courses

GitHub: From Zero to Pull Request

Master Git and GitHub from setup to pull requests, then automate workflows with AI agents using MCP, GitHub Actions, and CI/CD pipelines in this hands-on, end-to-end guide.

• Coursera
• 4 hours 26 minutes
• Self-Paced
• Paid Course

MySQL From Zero

Master MySQL from zero: install, query Sakila, write JOINs, optimize with indexes, and build a Bash-Python-Rust pipeline ending in a typed sqlx binary with runtime contracts.

• Coursera
• 4 hours
• Self-Paced
• Paid Course

Shipping Rust

Discover how to ship production-grade Rust binaries—from a 6 MB musl Docker image to CI gates, criterion benchmarks, and GitHub Actions matrices across stable, beta, and MSRV targets.

• Coursera
• 4 hours
• Self-Paced
• Paid Course

DuckDB From Zero

Embed DuckDB into Rust applications as a library, query CSV, Parquet, and JSON files, stream Arrow batches into Polars, and ship a portable CLI binary with cargo dist.

• Coursera
• 4 weeks, 1 hour a week
• Self-Paced
• Paid Course

Postgres From Zero

Explore PostgreSQL from basics to production-grade Rust integration—master psql commands, JOINs, transactions, EXPLAIN ANALYZE, and build a typed sqlx client emitting JSON reports using the Pagila dataset.

• Coursera
• 4 weeks, 1 hour a week
• Self-Paced
• Paid Course

Rust DataOps: CI/CD and Containers for Data Pipelines

Master modern DataOps by building automated CI/CD pipelines for Rust data applications using GitHub Actions, Docker, and Makefiles to deliver reliable, containerized data systems.

• Coursera
• 3 weeks, 2 hours a week
• Self-Paced
• Paid Course

Rust for Data Source Monitoring and Automation

Master production-grade monitoring and automation for Rust services using Prometheus, Grafana, ELK stack, and custom CLIs, while leveraging AI tools like Amazon Q Developer and AWS Bedrock.

• Coursera
• 3 weeks, 2 hours a week
• Self-Paced
• Paid Course

Claude From Zero

Master Claude's five working surfaces—chat, Projects, Claude Code, Chrome, and Design—to write, review, and maintain production code with slash commands, sub-agents, and pmat contract gates.

• Coursera
• 2 hours
• Self-Paced
• Paid Course

Design by Provable Contracts

Explore Design by Provable Contracts, climbing a five-rung provability ladder—from lint and types to Lean 4 proofs—applied to softmax, producing machine-checked guarantees for safety-critical numerical kernels.

• Coursera
• 5 weeks, 1 hour a week
• Self-Paced
• Paid Course

HelixDB From Zero

Explore HelixDB, a Rust-native graph and vector engine, mastering HelixQL schema design, graph traversal, vector search, hybrid-RAG patterns, and typed Rust client integration in one unified process.

• Coursera
• 1 hour
• Self-Paced
• Paid Course

IAC from Zero

Explore IAC fundamentals using OpenTofu and Forjar, covering plans, lifecycle, drift detection, policy gates, testing, and state security across ten feature comparisons.

• Coursera
• 5 weeks, 1 hour a week
• Self-Paced
• Paid Course

TUI from Zero

Master building a pure-Rust terminal-UI framework from scratch, covering ANSI sequences, Elm-style architecture, declarative scenes, and snapshot testing, culminating in a live process monitor.

• Coursera
• 5 weeks, 1 hour a week
• Self-Paced
• Paid Course

Valkey From Zero

Master Valkey in Rust — from key-value basics and streams to Lua scripts, pipelining, and production ops like Sentinel failover and cluster sharding.

• Coursera
• 2 hours
• Self-Paced
• Paid Course

Big O notation: Python to Rust

Master algorithmic complexity for Python-to-Rust transitions, analyzing Big O notation, data structures, profiling tools, and performance trade-offs to justify rewrites with quantitative evidence.

• Coursera
• 5 weeks, 1 hour a week
• Self-Paced
• Paid Course

WASM from Zero

Explore WebAssembly from scratch—compile Rust to .wasm, use wasm-bindgen, WASI, and build a real-time browser dashboard with Canvas2D, Elm-style architecture, and component routing.

• Coursera
• 5 weeks, 1 hour a week
• Self-Paced
• Paid Course