Diez proyectos propios, ordenados por lo que demuestran: primero el runtime validado contra un oráculo externo, después la seguridad del puesto de trabajo, después la metodología de medición. Seis se ejecutan hoy tal cual; acheron sigue bloqueado a propósito y red-team-adventures vive como demo pública. Ninguno se apoya en dependencias que hagan el trabajo difícil por mí.
Runtime de inferencia para Qwen3-30B-A3B0+}-<F] =0 [*D[E>}A</ BA=< ]01+*-[=]-<FB
Runtime local escrito en C puro con una regla por encima de todas: correctness first. Tokenizer BPE propio, formato de tensores QXF1, forward pass de 48 capas con quantización y routing MoE. Cada bloque numérico se compara contra un oráculo externo de llama.cpp con goldens fijados, y lo que no está probado se documenta como no probado. Cualquiera escribe tests que confirman lo que su propio código ya hace; contrastar contra una implementación de referencia ajena es la única forma de descubrir que llevas equivocándote de manera consistente.
oráculo llama.cpptokenizer BPE propioformato QXF148 capasMoE routingtiempos de sonda, no de rendimiento
qx-mini-c · simulación visual · datos ilustrativos, no benchmark
$ cc -O2 -std=c11 -o qx qx.c -lm
$ ./qx --model qwen3-30b-a3b.qxf1 --bench
[qxf1] header ok tensors=579 quant=q8_0
[bpe ] vocab=151936 merges ok
[moe ] experts=128 top_k=8
layer 00 .... 0.198s moe hit 8/128
layer 01 .... 0.203s moe hit 8/128
layer 02 .... 0.201s moe hit 8/128
...
layer 47 .... 0.199s moe hit 8/128
total 48 capas 9.62s
parity vs llama.cpp max |dz| = 3.1e-4
PASS numerical parity within tolerancesuper-nandoRepositorio privadoPython · Rust · C · Tauri
Un EDR de escritorio, escrito entero por élC? 0?{ +# {01{#1!C={, F-]/A^F \D!DAC _=A é]
Detección y respuesta en el puesto de trabajo, la categoría de CrowdStrike o SentinelOne, hecha para Windows y sin conexión en tiempo de ejecución. Núcleo async en Python que vigila procesos, calcula SHA-256, pasa reglas YARA y un motor de reglas propio; interfaz en Tauri con React; puente ETW en Rust y driver en C para visibilidad de kernel; instalador NSIS por usuario. Tres reglas que no se rompen nunca: no toca la red (alerta o suspende, jamás corta la conexión), no registra líneas de comando porque pueden llevar contraseñas, y el IPC vive sólo en 127.0.0.1 con token y validación de origen. La cuarentena cifra en AES-256-GCM con la clave en el Credential Manager de Windows y las actualizaciones van firmadas con Ed25519.
EDR user-modeYARA + SHA-256puente ETW en Rustcuarentena AES-256-GCMupdates firmados Ed25519límites documentados
acheronRepositorio privadoPython · Rust · fail-closed
Un banco de medición que se niega a publicar un número que no puede demostrar/* #?1#D _> <[]{_[ó_ D]^ 1/ >^B>A * D#_0}[[/ ]< Aú=>1# ?_< 0- ^F=}\ {ABB}DAC<
Capa de medición de rendimiento para runtimes de LLM con una premisa por encima del resto: no se publica un número que no esté probado. Recolectores en Python y contrato tipado en Rust (edition 2024, unsafe_code forbid, clippy en deny en todo el workspace). Un recolector puede devolver PARTIAL o UNAVAILABLE, pero nunca puede sustituir una medición que falta por una estimación. Cada artefacto JSON se verifica contra su digest antes de deserializarse, igual que las rutas y los digest de la evidencia bruta, y el modelo objetivo queda fijado por sus bytes locales, no por el nombre del fichero. El sistema es fail-closed: mientras falte evidencia o autorización humana explícita, la campaña de medición no arranca. Hoy sigue en ese estado, esperando esa autorización, que es exactamente lo que se diseñó que hiciera.
fail-closeddigest verificadoestimaciones prohibidasRust edition 2024unsafe_code forbidtodavía sin campaña
red-team-adventuresRepositorio privadoTypeScript · plataforma
Enseñar seguridad ofensiva jugando]{^FñD+ -_/+?{]E[ 1FC!F^/F {/+#AB*
Plataforma gamificada de aprendizaje que cubre Python, C/C++, ciberseguridad, Rust e IA. Repositorio privado, con demo pública en vivo. De aquí sale, por cierto, la idea del texto que se descifra al abrir esta página: la técnica que acabas de ver viene de una plataforma suya, no de un adorno de plantilla.
TypeScriptPython · C/C++ · Rustseguridad ofensivademo pública
Memoria duradera local para un agente ajeno\=B}*[! /\#{_\/] +{^A* [1=\ [? A<B*10 D=\^C
Proveedor de memoria local-first para Hermes Agent: plano de datos en Rust que guarda instantáneas completas de cada turno en SQLite con FTS5, y un plugin fino en Python que se engancha al ciclo de vida público de proveedores de memoria. SQLite es la fuente canónica; JSONL y Markdown son proyecciones reconstruibles. Instalador transaccional que no toca el checkout del agente, redacción de secretos antes de indexar y recuerdo tratado siempre como dato histórico no confiable, nunca como instrucción.
SQLite WAL + FTS5instalador transaccionalfail-closed en recall5 releases
Hockey arcade 3v3 a 120 Hz fijos\-_]]! /!#!+> 0E^ ] #+* A# 0#-/_
Arcade de hockey estilo NHL 94/98 con audio 100 % procedural. No hay un solo archivo de sonido: todo se sintetiza en Web Audio en tiempo real. La IA de los seis jugadores corre sobre una máquina de estados finita. Cero dependencias externas: se abre en el navegador y corre.
120 Hz fijoWeb Audio proceduralFSM de IAsin assetssin depslicencia MIT
RPG de captura estilo Game Boy}>B <_ <F1[11* =B^+*= }CFD =C[
Tres mapas, seis criaturas con línea evolutiva, combate por turnos y partidas guardadas en localStorage. Los sprites y la música son originales: nada viene de un pack de assets, todo se dibuja y se sintetiza en código. Se abre en el navegador y se juega.
sprites originalesmúsica procedural3 mapas6 criaturasse juega en el navegador
