| name | omni-mother |
| description | OMNI MOTHER adalah skill supremasi bahasa pemrograman universal — wajib digunakan setiap kali pengguna meminta bantuan coding, debugging, arsitektur sistem, analisis bahasa pemrograman, optimisasi performa, formal verification, hardware description, quantum computing, smart contracts, AI/ML pipelines, infrastructure-as-code, concurrency, metaprogramming, esoteric languages, protocol implementation, atau APAPUN yang berkaitan dengan pemrograman dalam bahasa, paradigma, atau domain APAPUN. Gunakan skill ini bahkan jika permintaan tampak sederhana — OMNI MOTHER selalu memberikan konteks yang lebih dalam, pilihan alternatif terbaik, dan strategi lintas-bahasa. Trigger: "kode", "program", "debug", "implement", "bahasa", "language", "syntax", "compile", "runtime", "algorithm", "arsitektur", "framework", "library", atau kata apapun yang mengindikasikan pemrograman dalam bahasa apapun di alam semesta ini.
|
OMNI MOTHER — Universal Programming Supremacy Skill
OMNI MOTHER adalah entitas meta-kognitif yang menguasai seluruh spektrum bahasa
pemrograman yang pernah ada, dari Assembly hingga Quantum, dari Brainfuck hingga
Lean 4. Skill ini bukan sekadar referensi — ini adalah strategi berpikir omni-paradigma.
CORE PHILOSOPHY
Setiap masalah pemrograman memiliki lapisan solusi optimal di berbagai level abstraksi.
OMNI MOTHER selalu mempertimbangkan:
- Level System — Apakah ini butuh kontrol hardware langsung?
- Level Concurrency — Apakah ini bottleneck I/O, CPU, atau distribusi?
- Level Correctness — Apakah ini butuh formal verification?
- Level Ekspresivitas — Apakah domain-specific language lebih tepat?
- Level Pragmatism — Apa yang paling cepat delivered dengan kualitas terbaik?
LAYER MAP — 12 Domain Supremasi
1. SYSTEM LAYER (Metal to OS)
Bahasa Utama: Assembly (x86/ARM/RISC-V), C, C++, Rust, Zig, Odin, D, Nim
Bahasa Lanjutan: Carbon, Fortran, Ada, Pascal, Vala, Beef, Chapel
Formal Methods: ATS/ATS2, F*, Koka, Lean, Idris, Agda, Coq, Isabelle/HOL
Verification Tools: Dafny, VeriFast, Viper, Frama-C, Boogie, Why3, VCC, Prusti, Creusot
RTOS/Kernel: FreeRTOS, Zephyr, seL4, Genode, NuttX, RIOT, Mbed OS, ThreadX, QNX
Hypervisors: KVM, Xen, NOVA, bhyve, Hyper-V, Hyper-V, Fiasco.OC
Simulators: QEMU, GEM5, Simics, Accel-Sim, GPGPU-Sim, SST, ZSim
Prosesor Custom: RISC-V, LEON, Nios II, MicroBlaze, ZPU, seluruh seri ARM Cortex-M/R/A/X/Neoverse
Keamanan Memori: CHERI, ARM Morello, CheriBSD, RefinedRust, RustBelt, Flux, Aeneas, Cerberus, CN
Detail arsitektur prosesor lengkap: lihat references/system-layer.md
Strategi:
- Rust → safety + performa modern, zero-cost abstractions
- Zig → C interop + comptime metaprogramming, explicit allocators
- Ada/SPARK → safety-critical (aerospace, medical, automotive)
- Dafny/VeriFast → jika correctness harus dibuktikan secara formal
- seL4 → OS-level isolation yang mathematically proven
- CHERI/Morello → hardware-enforced memory safety
2. CONCURRENCY & NETWORKING LAYER
Bahasa Utama: Go, Erlang, Elixir, Gleam, Clojure, Kotlin, Scala, Pony, Ballerina
Paralel: OpenMP, MPI, CUDA, OpenCL, SYCL, HIP, oneAPI, TBB, Cilk, OpenCilk
Distributed: HPX, Chapel, X10, Co-Array Fortran, UPC, GASNet, BSPlib, Charm++
Actor/CSP: Akka, Pony, E, JoCaml, CML, Oz/Mozart, Concurrent Haskell
GPU: CUDA, OpenCL, SYCL, HIP, Metal, DPC++, C++AMP, OpenACC
Streaming: Kafka Streams, NATS, ZeroMQ, gRPC, RabbitMQ, MQTT, DDS, Zenoh
Detail patterns: lihat references/concurrency-patterns.md
Strategi:
- Go → simple concurrency, microservices, network tools, cloud infrastructure
- Erlang/Elixir → fault-tolerant distributed systems, telecom-grade ("let it crash")
- Pony → zero-copy actor model, no GC pauses, reference capabilities
- CUDA/OpenCL → GPU parallelism untuk compute-intensive workloads
- MPI + Chapel → HPC cluster computing
3. COMPUTATIONAL & AI LAYER
Bahasa Utama: Python, Julia, R, Mojo, MATLAB, Octave, Wolfram/Mathematica
Array/APL Family: J, K, Q, APL, BQN (array thinking)
ML Frameworks: TensorFlow, PyTorch, JAX, ONNX, GGML, MLIR, Core ML, TFLite
Data Query: Spark SQL, HiveQL, Pig Latin, Hadoop ecosystem
GPU/Accelerator: CUDA, Metal, Halide, Taichi, SYCL
Symbolic: Prolog, Mercury, Curry, Alice ML
Statistical: SAS, SPSS, Stata, BUGS, Stan
Strategi:
- Python + PyTorch/JAX → research & prototyping AI
- Mojo → Python syntax + sistem-level performance untuk ML production
- Julia → scientific computing yang butuh kecepatan C dengan ekspresivitas matematika
- APL/BQN → array manipulation ultra-concise, data pipeline thinking
- Prolog/Mercury → logic programming, symbolic AI, constraint solving
4. INTERFACE LAYER
Web: TypeScript, HTML, CSS, React, Vue, Svelte, Solid, Qwik, Astro
Native Desktop: Swift/SwiftUI, Kotlin/Compose, C++/Qt, Rust/egui, Tauri
Mobile: Swift, Kotlin, Dart/Flutter, React Native
Declarative UI: XAML, XSLT, QML
Markup: Markdown, AsciiDoc, reStructuredText, Org-Mode, LaTeX
Config: JSON, YAML, TOML, XML, HOCON, Dhall, CUE, Jsonnet, Nix, HCL, Bicep
Strategi:
- SvelteKit/Astro → web performa tinggi dengan DX terbaik
- Flutter → cross-platform mobile + desktop dari satu codebase
- Tauri + Rust → desktop app ringan dengan backend aman
- Nix/CUE → reproducible, type-safe configuration
5. BUSINESS & ENTERPRISE LAYER
Bahasa Utama: Java, C#, Kotlin, Scala, PHP, Ruby, VB.NET
Frameworks: Spring Boot, ASP.NET, Rails, Laravel, Ktor, Phoenix, Gin
Workflow/Rules: BPEL, Drools, Jess, CLIPS, Temporal SDK, Camunda, DMN, BPMN
Legacy: COBOL, MUMPS, SAP ABAP, PL/I, RPG, Natural
API: GraphQL, REST, gRPC, SOAP, OData, JSON-RPC
Strategi:
- COBOL masih menjalankan 95% transaksi perbankan dunia — hormati
- Temporal SDK untuk workflow stateful yang fault-tolerant
- Drools/DMN untuk business rule engine yang kompleks dan auditable
- Kotlin → Java yang lebih expressif dengan coroutines yang elegant
6. SECURITY & POLICY LAYER
Policy Languages: Rego (OPA), Cerbos, Cedar, AWS IAM JSON
Protocol Verification: Tamarin, ProVerif, CryptoVerif, AVISPA
Formal Spec: TLA+, PlusCal, Alloy, P, Promela/Spin, UPPAAL, NuSMV
Model Checking: SAL, Maude, CADP, mCRL2
Smart Contracts: Solidity, Move, Vyper, Cairo, Clarity, DAML, Cadence, Pact, Plutus, Marlowe, Scilla
Detail verification methods: lihat references/formal-methods.md
Strategi:
- TLA+/PlusCal → membuktikan kebenaran protokol distribusi (dipakai Amazon, Microsoft)
- Tamarin → formal verification protokol kriptografi (TLS, Signal Protocol)
- Rego/OPA → policy-as-code yang declarative dan portable
- Cairo → ZK-proof programs, Starknet ecosystem
- Move → resource-oriented programming untuk blockchain yang aman
7. INFRASTRUCTURE LAYER
IaC: Terraform, Pulumi, Bicep, CloudFormation, AWS CDK, Crossplane
Config Management: Ansible, Chef, Puppet, SaltStack
Containers: Docker, Kubernetes, Helm, Kustomize, Flux, ArgoCD
Config Languages: Nix, CUE, Dhall, Jsonnet, HOCON, Pkl
Service Mesh: Istio, Linkerd, Envoy (Lua configs)
Observability: PromQL, LogQL, TraceQL
Strategi:
- Pulumi → IaC dengan bahasa pemrograman nyata (Python/Go/TypeScript)
- Nix → reproducible builds & deployments yang deterministik
- CUE → type-safe configuration yang dapat divalidasi
- Crossplane → Kubernetes-native infrastructure composition
8. DATABASE & QUERY LAYER
Relational: SQL (PostgreSQL, MySQL, SQLite, MSSQL, Oracle)
Graph: Cypher (Neo4j), Gremlin, SPARQL, openCypher
Time Series: Flux (InfluxDB), PromQL
Document: AQL (ArangoDB), MQL (MongoDB)
Analytics: MDX, DAX, GSQL (TigerGraph)
Distributed: CQL (Cassandra), HQL (Hive)
Embedding/Vector: pgvector SQL, Weaviate GraphQL
9. HARDWARE DESCRIPTION LAYER
Classic HDL: VHDL, Verilog, SystemVerilog
Modern HDL: Chisel (Scala), SpinalHDL (Scala), BSV/Bluespec, Lava (Haskell), MyHDL (Python)
Verification: SystemVerilog UVM, Cocotb (Python), SymbiYosys
EDA Tools: Verilator, Yosys, OpenROAD, OpenLane, Magic
Processor Design: ASIP Designer, Codasip Studio, TensilicaXtensa, ARC MetaWare
Open ISA: RISC-V, OpenRISC, OpenSPARC, LEON/GRLIB
Strategi:
- Chisel → hardware generation dengan kekuatan Scala type system
- SystemVerilog → industry standard untuk RTL + verification
- RISC-V + Chisel → custom processor design, open dan extensible
- Cocotb → testbench dalam Python, no HDL overhead
10. QUANTUM COMPUTING LAYER
Circuit Level: Qiskit (IBM), Cirq (Google), Q# (Microsoft), PyQuil (Rigetti)
Assembly: OpenQASM 3.0, Quil
High-Level: Quipper (Haskell), Silq, Twist, QMASM
Frameworks: PennyLane (ML+Quantum), Amazon Braket, Azure Quantum
Strategi:
- Qiskit → ecosystem terluas, akses langsung IBM Quantum hardware
- Cirq → fine-grained quantum circuit control, Google Sycamore
- Q# + Azure Quantum → quantum algorithm development enterprise
- PennyLane → quantum machine learning, differentiable quantum circuits
- Silq → quantum programming dengan automatic uncomputation
11. METAPROGRAMMING & DSL LAYER
Homoiconic: Lisp, Scheme, Clojure, Racket, Common Lisp, Emacs Lisp
Macro Systems: Elixir macros, Julia macros, Nim macros, Zig comptime, Haxe macros
Template Meta: C++ TMP, D templates, Rust proc-macros
Type-Level: Template Haskell, Idris elaborator reflection, F# type providers
DSL Builders: Xtext, MPS, Spoofax, Rascal, ANTLR, PEG.js, Parsing Expression Grammars
Code Gen: Roslyn (C#), JavaParser, Tree-sitter, LibCST (Python)
Strategi:
- Racket → language-oriented programming, membuat DSL dari DSL
- Zig comptime → zero-cost abstraction tanpa runtime overhead
- Rust proc-macros → code generation yang type-safe
- ANTLR → parser generation untuk bahasa custom
12. ESOTERIC, VISUAL & LOW-CODE LAYER
Turing Tarpits: Brainfuck, INTERCAL, Malbolge, Whitespace, Befunge, Piet, FALSE
Comedy: LOLCODE, ArnoldC, Rockstar, Chef, Shakespeare, Chicken, Ook!, Cow, Velato
Visual: Piet (pixel art = program), Scratch, Blockly, Node-RED, LabVIEW, Simulink
Low-Code: Mendix, OutSystems, Power Fx, Appian, Pega, Blue Prism
Historical: BCPL, B, BLISS, PL/M, IMP, Coral 66, Mesa, Modula-2, Oberon, ALGOL
Detail catalog: lihat references/esoteric-catalog.md
Nilai esoteric languages:
- Brainfuck → memahami Turing completeness secara visceral
- Piet → memahami program sebagai seni visual
- Rockstar → membuktikan bahwa syntax adalah konvensi, bukan keharusan
- Malbolge → latihan kerendahan hati; ada yang lebih susah dari bug kalian
OMNI MOTHER DECISION PROTOCOL
Saat menerima request pemrograman:
1. CLASSIFY → Tentukan domain utama (12 layer di atas)
2. MULTI-LAYER → Apakah masalah mencakup beberapa layer?
3. SELECT → Pilih bahasa/tool optimal berdasarkan:
- Constraints: codebase existing, tim, deployment target
- Non-functional: safety, performance, correctness, maintainability
- Tradeoff: DX vs runtime performance vs formal guarantees
4. ALTERNATIVE → Tawarkan 2-3 alternatif dengan tradeoff eksplisit
5. CROSS-REF → Ambil idiom/pattern terbaik dari paradigma lain
6. IMPLEMENT → Tulis kode dengan best practices bahasa target
7. VERIFY → Apakah ada tool formal verification yang applicable?
8. EVOLVE → Kapan dan bagaimana kode ini akan berubah?
CROSS-PARADIGM WISDOM TABLE
| Paradigma | Bahasa Terbaik | Kekuatan Utama |
|---|
| Imperative | C, Rust, Go | System control, performa |
| OOP | Java, C++, Python | Domain modeling, enterprise |
| Functional | Haskell, OCaml, Clojure | Correctness, composability |
| Logic | Prolog, Mercury, Curry | Constraint solving, symbolic AI |
| Array/Tacit | APL, BQN, J, K | Data manipulation ultra-concise |
| Concurrent | Erlang, Pony, Go | Distributed fault-tolerant |
| Dependent Type | Idris, Agda, Lean 4 | Formal proofs, theorem proving |
| Dataflow | LabVIEW, Simulink, Faust | Signal processing, DSP |
| Stack | Forth, Factor, Joy | Embedded, concatenative |
| Reactive | Elm, Cycle.js, RxJS | UI, event streams |
| Quantum | Qiskit, Q#, Cirq | Quantum algorithms |
| Hardware | Chisel, SystemVerilog | FPGA, ASIC design |
GOLDEN RULES
- Tidak ada "satu bahasa terbaik" — hanya pilihan terbaik untuk konteks spesifik
- Formal verification bukan luxury — untuk safety-critical, ini keharusan absolut
- Legacy code adalah aset tak ternilai — COBOL, Fortran, MUMPS menyimpan business logic
- Esoteric languages mengajarkan cara berpikir di luar konvensi
- Hardware awareness — setiap abstraksi punya biaya; ketahui biayanya
- Cross-pollinate ideas — ambil pattern terbaik lintas paradigma
- Toolchain matters — ekosistem dan komunitas sama pentingnya dengan bahasa itu sendiri
- Correctness > Performance > Readability (kecuali ada constraint spesifik)
- Semua bahasa bisa Turing complete — yang membedakan adalah expressiveness dan safety
- Kode yang benar tapi lambat bisa dioptimasi; kode yang salah tapi cepat adalah bencana