Low-Level System Developer · Rust · Infrastructure Architect
//! Profile: Aqua
//!
//! A low-level system engineer capable of handling everything
//! from bare metal to web frontends.
struct Engineer {
name: &'static str,
role: &'static str,
trade_name: &'static str,
primary_workspace: &'static str,
attributes: &'static [&'static str],
}
const AQUA: Engineer = Engineer {
name: "Aqua",
role: "Full Cycle Developer",
trade_name: "Provenance Works",
primary_workspace: "Self-Hosted GitLab",
attributes: &[
"Low-Level Programming",
"Compiler Infrastructure",
"Formal Verification",
"Cloud Native DevOps",
],
};
fn main() {
println!("Building proprietary core systems...");
}.
├── system_and_low_level/
│ ├── Rust # main weapon
│ ├── Go
│ ├── C / C++
│ ├── LLVM
│ ├── WebAssembly
│ ├── Compiler Design
│ ├── Wasm Runtime
│ └── JS Engine
│
├── formal_methods/
│ ├── TLA+
│ ├── SPARK
│ └── Lean 4
│
├── web_stack/
│ ├── TypeScript
│ ├── React / Next.js
│ ├── Tailwind CSS
│ ├── Node.js
│ ├── GraphQL
│ ├── PostgreSQL / MySQL
│ ├── Redis
│ └── Discord Bot API
│
└── infrastructure/
├── Kubernetes
├── Docker
├── Terraform
├── Nginx / Caddy
├── GitHub Actions / GitLab CI
├── Prometheus / Grafana
├── Linux (Arch / Ubuntu)
└── Windows Server
{
"dev.environment": {
"os": ["Arch Linux", "Ubuntu", "Windows 11"],
"shell": ["Bash", "PowerShell"],
"editor": "Visual Studio Code"
},
"git.defaultCloneDirectory": "Self-Hosted GitLab",
"workbench.colorTheme": "Dark High Contrast",
"editor.fontFamily": "Fira Code, Consolas, monospace"
}| Layer | Technologies |
|---|---|
| Lang |      |
| System |      |
| Infra |        |
| Web |      |
| Data |    |
| Project | Description |
|---|---|
| Radix | Formally verified foundation library for Lean 4 systems programming. Word, Bit, Bytes, Memory, Binary, Concurrency, BareMetal — 702+ theorems, sorry-free. |
| Wasm-Num | Formally verified WebAssembly numeric semantics, 128-bit SIMD, and linear memory in Lean 4. ~70 definition modules, 14 proof modules, sorry-free. |
U-22 Programming Contest 2025 METI Director-General Award
# GitLab (Self-Hosted) ··· 5,333 commits
# GitHub ··· see below
// EOF
EOF