» Tag
rust
15 postsKani: A Model Checker for Rust Verification
Kani compiles Rust's MIR into CBMC's engine to prove unsafe-code soundness, functional correctness and panic-freedom, running thousands of harnesses in production CI for the Rust standard library.
rustformal-verificationmodel-checkingsoftware-engineeringPon: A Rust-Built JIT/AoT Compiler for Python 3.14
Pon is a Rust-based JIT/AoT compiler that skips the CPython interpreter and bytecode entirely, compiling Python 3.14 straight to native code via Cranelift.
pythonrustcompilersjitCargo'da Symlink Açığı: CVE-2026-5223 Duyuruldu
Cargo, üçüncü taraf registry'lerden gelen tarball'lardaki symlink'leri hatalı işliyordu. Rust 1.96.0 ile düzeltilen orta seviye açığın detayları.
rustcargosecuritycveRings rebuilds distributed system correctness with algebraic structures
Rings unifies cryptography, CRDT-based storage and Chord topology under group, ring and module algebra, aiming for a provably correct distributed system.
distributed-systemscryptographycrdtrustChorus: A Fast Single-Writer WAL Built on Google Cloud Storage
Chorus is a single-writer WAL built directly on Google Cloud Storage, delivering regional durability at single-zone latency without Kafka or etcd.
distributed-systemsgoogle-cloudwrite-ahead-logrustKars: A Kubernetes-Native Zero-Trust Runtime for AI Agents
Kars runs each AI agent in an isolated Kubernetes sandbox, routing every external call through a Rust-based zero-trust broker with no agent-held credentials.
kubernetesai-agentssecurityrustProtobuf-py: Protocol Buffers for Python, No Compromises
Protobuf-py is a from-scratch Python Protocol Buffers library that covers the full spec and matches Google's C-based upb engine with a Rust accelerator.
protobufpythonrustgrpcPi Agent Rust: A High-Performance AI Coding Agent CLI in Rust
pi_agent_rust is a Rust rewrite of Mario Zechner's Pi Agent, offering a single binary, instant startup, and hardened extension security for terminal AI coding.
rustai-agentscli-toolsdeveloper-toolsFrankenMarkdown: A Zero-Dependency Rust Markdown Engine
FrankenMarkdown v0.3.0 is a zero-dependency Rust engine rendering Markdown into byte-identical HTML and PDF, running natively and via WASM in the browser.
rustmarkdownwasmpdfRTS: A Rust-Based TypeScript-to-Native Compiler and Runtime
RTS compiles TypeScript directly to native code via Cranelift, skipping V8 entirely. With JIT/AOT modes, a custom Rust standard library and its own HTML/CSS engine, it targets true native performance.
typescriptrustcompilerscranelift