Skip to content
View rmems's full-sized avatar

Highlights

  • Pro

Organizations

@Limen-Neural

Block or report rmems

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
.github/profile/README.md

Raul Montoya Cardenas

Early-Career AI Engineer | AI Systems, Model Evaluation & ML Infrastructure

B.S. AI Engineering student, Western Governors University — Expected September 2027

San Marcos, Texas · montoyaraul34@gmail.com

GitHub Projects · Hugging Face · Limen Neural

I build open-source tools for reproducible training experiments, spiking neural networks, and ANN–SNN hybrid research. I focus on modular work that others can inspect, test, and reuse. Ten of my Rust libraries are published on crates.io, and I publish trajectory and evaluation datasets on Hugging Face (60 datasets).

Technical focus: Python, Rust, Julia, CUDA · data provenance and validation · post-training and evaluation · neuromorphic models and interfaces.

Start here

  • Rust libraries on crates.io — 10 published crates (neuromod, nir-rs, axon-encoder, kinetic-signals, silicon-bridge, myelin-accelerator, …): versioned, documented, and tested.
  • **Synthetic Factory / Agoge Forger** — inspect data generators and eligibility checks, run the documented smoke checks, and explore frozen training/evaluation contracts.
  • Spikenaut-SNN — inspect telemetry-driven model artifacts, replay tools, and Q8.8 export contracts, including the documented limits of the experiments.
  • Limen Neural — explore reusable Rust components for signal encoding, neuron dynamics, and neuromorphic graphs; follow each repository's examples and tests.

Selected upstream contributions

Current priorities

  • Reduce technical debt across writ, synthetic-factory, operation-prometheus, and agoge-forger: improve reliability, tests, documentation, and reproducibility while simplifying unnecessary complexity. This work is ongoing.
  • Keep writ collaboration-first: remove redundant enforcement while preserving safeguards for existing work and other contributors' changes.
  • Prepare controlled training/evaluation comparisons with independently eligible data, frozen contracts, and reproducible artifacts. Research outcomes remain unproven.

Flagship research programs

These are three research directions, each spanning several repositories. Component maturity is labeled separately in the component map; research outcomes are not claimed in advance.

Synthetic supervision / training pipeline

Question My work and distinction Evidence to inspect
How can synthetic supervision and real engineering trajectories support reproducible post-training experiments? I develop generation and curation tooling, trajectory extraction, and training/evaluation contracts, separating data production, eligibility, and held-out comparisons through versioned artifacts. Generators, schemas, extracted trajectory examples, validation tools, and evaluation implementations. Controlled comparisons remain planned; no training improvement is claimed.

Planned data flow (separate potential inputs):

Synthetic Factory: synthetic examples ───────────┐
                                                ├─→ Provenance, license, and
Operation Prometheus: real engineering ──────────┘   project-policy eligibility gates
                      trajectories                            │
                                                              ▼
                                                    Agoge Forger
                                                    training / evaluation

Synthetic Factory's generation and validation tools, Operation Prometheus's trajectory collection tools, and Agoge Forger's training/evaluation contracts are implemented in their respective repositories. The converging arrows describe the intended experiment design, not a completed end-to-end integration. Each input must independently pass provenance, license, and project-policy gates before training; hosted frontier-model outputs remain research-only and excluded from model-weight updates.

Deeper: generator lanes and rights · trajectory collection and eligibility · frozen split and evaluation contracts.

Spikenaut / neuromorphic systems

Question My work and distinction Evidence to inspect
Can a small SNN represent machine state over time and support bounded supervisory behavior? I investigate telemetry-to-SNN representations, model/export artifacts, and composition of encoding, neuron, and hardware-interface components. Learned systems propose actions; deterministic software retains safety control. Model artifacts, Q8.8 export contracts, replay tools, and telemetry. This remains experimental: validated supervisory behavior and software–FPGA parity are unproven.

SynapticDistill.jl houses the separate Spikenaut trainer. Limen Neural libraries provide reusable encoding, neuron, graph, and wiring components; silicon-bridge provides checked parameter export. Each integration has a defined scope; these components do not establish a validated deployment chain.

Deeper: research question and system model.

ANN–SNN hybrid / quantization research

Research reference: corinth-canal.

Question My work and distinction Evidence to inspect
How can spiking representations, ANN/MoE routing, and quantization be combined while assessing fidelity and computational tradeoffs? I develop the reference experiment loop, reusable orchestration contracts, checkpoint inspection, and quantization tooling, separating integrated research from reusable component interfaces. Reference implementations, validation runners, manifests, telemetry outputs, and experiment documentation. Implemented tooling does not establish a successful research outcome.

Corinth is the integrated research reference. hybrid-fusion defines backend-independent orchestration contracts; xai-dissect supplies checkpoint manifests for grok-ozempic quantization experiments.

Deeper: architecture · run profiles and artifacts.


Component map

Repositories, responsibilities, and maturity

Published — on crates.io: versioned, documented, tested. Active — maintained with documented functionality, without implying production readiness. Research — exploratory research direction: the code is real and maintained (often Published too), but the research outcomes are unproven and no validated result is claimed. Archived — explicitly retired or superseded artifact.

Program links group research responsibilities. Libraries can also be reused independently; membership does not imply a runtime dependency.

Data, supervision, and evaluation

Repository Responsibility Status Program
synthetic-factory Generate, curate, and validate synthetic data with provenance and eligibility gates Active Synthetic supervision
operation-prometheus Extract and normalize real engineering trajectories Active Synthetic supervision
agoge-forger Post-training, evaluation, checkpoint, and reproducibility tooling Active Synthetic supervision

Neuromorphic models and reusable components

Repository Responsibility Status Program
nir-rs Typed neuromorphic graphs and optional NIR file interchange Published Spikenaut / SNN

Research components

Repository Responsibility Status Program
Spikenaut-SNN Telemetry-driven model artifacts, replay, and export contracts Research Spikenaut / SNN
SynapticDistill.jl Spikenaut sidecar trainer; generic e-prop/OTTT rules remain stubs Research Spikenaut / SNN
neuromod Reusable neuron dynamics and spiking-network primitives Published · Research Spikenaut / SNN
axon-encoder Convert continuous signals into spikes Published · Research Spikenaut / SNN
synaptic-wiring Network topology, connectivity, and temporal delays Published · Research Spikenaut / SNN

Hybrid orchestration and quantization

Repository Responsibility Status Program
xai-dissect Inspect Grok-1 checkpoints and export structural manifests Active Hybrid / quantization

Research components

Repository Responsibility Status Program
corinth-canal Reference telemetry-to-spiking-to-MoE loop and SAAQ validation Research Hybrid / quantization
hybrid-fusion Backend-independent ANN–SNN orchestration contracts Research Hybrid / quantization
grok-ozempic Streaming Grok-1 quantization and fidelity experiments Research Hybrid / quantization

Hardware interfaces and acceleration

Research components

Repository Responsibility Status Program
silicon-bridge Checked Q8.8 parameter export and host UART codecs Published · Research Spikenaut / SNN
myelin-accelerator Reusable Rust/CUDA primitives for SNN, routing, and packed ternary operations Published · Research Hardware acceleration

Explore all repositories and projects: rmems · Limen Neural · GitHub Projects.


From monolith to modular systems

This ecosystem originated in a larger neuromorphic / AI research workspace. As interfaces and research directions matured, I progressively decomposed it into focused, interoperable repositories. Clearer boundaries support independent testing and releases, reuse, replaceable components, and experimentation, while making it easier to return to work after time away and compose larger research systems.


Selected Hugging Face artifacts

Full Hugging Face portfolio

  • Spikenaut-SNN-Telemetry — telemetry for neuromorphic representation and replay experiments.
  • Agentic Coding Trajectories — historical synthetic coding episodes, distinct from Prometheus's real engineering trajectories. Raw, not training-ready, and blocked from model-weight updates under current project policy.

A published dataset or artifact does not establish training readiness or research success. Hosted frontier-model outputs remain research-only; training inputs require independent provenance, license, and project-policy eligibility.


Attribution

Primary author and maintainer: Raul Montoya Cardenas (rmems).

Project-specific AI contributions remain attributed in commits, pull requests, experiment records, and release provenance.

Pinned Loading

  1. synthetic-factory synthetic-factory Public

    synthetic-data research and engineering: generation, deterministic curation, validation, provenance, and release tooling using local and openrouter distill models

    Python 1

  2. corinth-canal corinth-canal Public

    Hybrid MoE/SNN quantization simulator

    Rust

  3. agoge-forger agoge-forger Public

    PyTorch fine-tuning, experimenting with public SWE against engineering trajectories and synthetic datasets

    Python