miri

Rust interpreter that runs in the browser!

rust-in-peace — agentic security review for Rust: autonomous find/triage/patch for unsafe/FFI memory bugs, panic-DoS, and deserialization-trust flaws (Miri / sanitizer / panic / hang detectors). A Rust-security fork of anthropics/defending-code-reference-harness.

Miri: GPU-first programming language

Tools for end-to-end reduction of JWST exoplanet observations

A CPU cache-line hash table with zero-cost eviction. 64-byte buckets, LFU+LRU hybrid, 16-shard concurrency, per-entry TTL. 6.5-12x faster than moka on 4-thread workloads.

Data products, reduction pipelines, and analysis tools developed for the ultra-deep MIRI/LRS spectrum of the distant galaxy, JADES-GS-z14-0.

A pattern analysis report investigating how the “paperclip maximizer” AGI narrative distracts from real-time deployment of human-controlled surveillance systems. Includes documentation, funding trails, suppression tactics, and policy implications.

Damn Vulnerable Rust Application labs and Docker workflows

Rust price-time-priority matching engine. Multi-tenant lock-free MPSC gateway → single-writer matcher, byte-exact WAL replay + snapshot recovery, 0 allocs on the hot path (machine-verified). Miri-validated in CI.

Visual Studio Code extension for Miri: GPU-first programming language

miri-lang.org — website, docs and live GPU demos for Miri: GPU-first programming language

Code to estimate JWST imaging filter magnitudes on the basis of external colour and magnitude information.

I am creating repository for the code that i develop to use jwst simulated psf for smoothing the cubes and line files from MIRI instead of using Gaussian kernel

code to test TA algorithms and procedures for the JWST instruments

MIRI - UPC. AMMM assignment. 2022-2023 1st semester

Temperate sub-Neptune atmosphere audit combining public JWST NIRISS, NIRSpec and MIRI spectra to test disputed molecular features, inter-instrument offsets and the evidence limits around K2-18 b's atmospheric interpretation.

Rust debugging & performance lab: 8 seeded defects fixed and verified with Miri, Valgrind, ASan, TSan; fibonacci ~249,000× faster, dedup ~214×. Course assignment.

A Rust internals gym: tasks whose answers are computed by an instrument, not asserted by an author

CPDS Labs for Parallelism and Distributed Systems - MIRI 2022-2023 1st Semester

Safety analysis of the RustNethuns's socket model with the Miri interpreter