mepper
ONLINE • Systems Architecture & Low-Level Computing

mepper

Principal Software Engineer | Formal Methods & Compiler Semantics

Software engineer specializing in the Linux kernel ecosystem, bare-metal runtime architectures, and applied formal mathematics. Engineering deterministic schedulers, rootless virtualization with subvolume snapshots, and verifiable execution pipelines.

Systems & Runtime Stack
Go Rust C Python Linux Kernel Containers/Namespaces Btrfs Snapshots Compilers Operating Systems
Mathematical Inquiries
Linear Algebra Differential & Integral Calculus Graph Theory Control Theory Spectral Graph Theory
mepper avatar
x86_64
Section 01 // Flagship Projects

System Architectures & Compilers

mkb-grid

v2.0 In Development v1.0 Available

v1.0 (Bash + Docker CLI) Live • v2.0 (Rust CLI + Quickshell) In Development

github.com/arthur-hfq/mkb-grid ↗

A keyboard-driven terminal dashboard designed to orchestrate local container infrastructure, eliminating heavy web UIs and verbose CLI commands. The project is currently transitioning from its original Bash/Docker terminal foundation (v1.0) into a next-generation compiled Rust CLI with a Quickshell Wayland interface (v2.0).

v1.0 Current Release (Available)
Bash + Docker

Implemented in pure Bash managing Docker via terminal. Fast keyboard navigation, instant inspection of active containers, and zero external GUI dependencies.

v2.0 Architecture (In Development)
Rust + Quickshell

Complete rewrite combining a compiled Rust CLI with Quickshell (Wayland layer-shell HUD), sub-millisecond cold starts, Btrfs CoW snapshots, and rootless isolation.

● Terminal Docker Orchestration v1.0 Live

Direct terminal management of running Docker containers, status inspection, and rapid logs access.

● Quickshell Wayland HUD v2.0 In Dev

Fluid Wayland layer-shell overlay with native hardware acceleration powered by compiled Rust.

● Port Collision Arbiter v2.0 In Dev

Detects bind collisions on the fly and automatically routes ephemeral proxies.

● Btrfs Subvolume Snapshots v2.0 In Dev

Sub-millisecond copy-on-write state checkpoints and atomic rollback for local dev databases.

CLI Installation (v1.0 Bash & Docker) v2.0 Rust CLI in active development
curl | bash (v1.0 Stable) 
curl -fsSL https://raw.githubusercontent.com/arthur-hfq/mkb-grid/main/install.sh | bash
mkb-grid :: tui monitor (v1.0 terminal / v2.0 quickshell roadmap)
v1.0: Bash+Docker v2.0: Rust+Quickshell Status: In Dev 
┌── SERVICE TOPOLOGY ───────────────────────────────────────────┬── TELEMETRY ──────────┐
│  ID          NAME          CONTAINER ID    STATUS    PORT     │ CPU     MEM     NET   │
│  [01]        btrfs-pg      c9a81f021e89    RUNNING   :5432    │ 0.8%    88MB    0.4k  │
│  [02]        redis-l1      f82e18b02844    RUNNING   :6379    │ 0.1%    18MB    1.2k  │
│  [03]        auth-svc      38b71940ac11    RUNNING   :8081    │ 1.2%    42MB    3.8k  │
│  [04]        api-core      e19f72b9a041    RUNNING   :8080    │ 2.4%    56MB    12.4k │
│  [05]        proxy-veth    a09281720d22    RUNNING   :443     │ 0.4%    12MB    12.8k │
└───────────────────────────────────────────────────────────────┴───────────────────────┘
 > [SPACE] Inspect Container  [S] Snapshot Volume  [R] Port Arbiter  [Q] Detach

Minerva

Active Spec

Domain-Specific Language, Compiler & Microprocessor Descriptor for Mindustry

Internal Spec (Repo Private)

A domain-specific compilation suite that parses declarative .mnv architectures alongside .toml topological bindings, compiling high-level algorithmic control logic directly into optimized in-game microprocessor assembly and schematic blueprints.

● Dual-File Synthesis

Algorithmic routines in .mnv scoped blocks dynamically resolve peripheral bindings declared inside .toml descriptors.

● AST & Optimizations

Multi-pass optimizing compiler with dead-code elimination, register-allocation heuristics, and constant folding for stackless architectures.

● Target Emission

Emits raw processor bytecode instructions ready for clipboard injection or full serial-packed schematic blueprints with physical link placement.

minerva-cc --target mindustry-v7 --emit mlog,schematic
0 errors, 2 passes 
[PARSE]  Loaded core_reactor.mnv (AST: 14 nodes) + bindings.toml (3 peripheral links)
[PASS 1] Dead-code elimination: -4 instructions pruned from PID cryofluid loop
[PASS 2] Register mapping: mapped 6 variables into @reg0..@reg5 (0 spill words)
[EMIT]   Writing raw bytecode to clipboard (28 instructions)
--------------------------------------------------------------------------------------
read cryo_level liquid-tank1 @cryofluid
sensor heat reactor1 @heat
op mul throttle heat 1.85
control enabled reactor1 (cryo_level > 20)
set @reg0 throttle
print "CRYO FLUX NOMINAL: "
print @reg0
printflush message1
--------------------------------------------------------------------------------------
[BUILD]  Schematic generated: base64:bXNjaAF4nGNgYmBgZm... (1 Microprocessor + 1 Tank + 1 Display)
Section 02 // Mathematical Inquiries

Theoretical Sandbox & Mathematical Inquiries

Interactive computational sandboxes demonstrating research at the intersection of continuous calculus, closed-loop control dynamics, and spectral graph theory applied to high-throughput systems infrastructure.

01 / Differential Calculus dR/dt & ∫ R(t) dt

Differential Stress Injection

Continuous rate dR/dt and shaded cumulative volume ∫ R(t) dt under dynamic traffic load.

Instantaneous Rate 450 req/s
Cumulative Area ∫ 0 reqs
0.80
02 / Dynamic Control Setpoint: 25ms

Adaptive PID Rate Limiter

Derivative on measurement with 1st-order low-pass filter preventing burst oscillation kicks.

Queue Latency 25.0 ms
Ingress Throttle 100%
Kp: 0.55
Ki: 0.08
Kd: 0.22
03 / Graph Theory Kahn's Algorithm

Topology & Deadlock Resolution

Directed Acyclic Graph (DAG) scheduling with cycle detection and anchored perimeter vectors.

Adjacency State: DAG VALIDATED
Boot Sequence: None
Section 03 // Technical Journal

Recent Engineering Dispatches

View all articles →
Fetching canonical registry from blog.json...