-
Concrete
El debate sobre efectos en Rust y el argumento de Concrete a favor de un lenguaje más chico
Wuyts tiene razón sobre los efectos y el ownership. Los escépticos de Hacker News tienen razón sobre la complejidad. Concrete acepta las dos cosas y les dice que no a los tipos refinados.
-
Leptocúrtico
Detectar crashes con estadística de colas pesadas
Armamos fatcrash, un toolkit en Rust+Python con 15 métodos de detección de crashes: LPPLS, DFA, EVT, Hill, Kappa, Hurst, GSADF, momentum/reversión, velocidad de precios y más. Lo probamos sobre 96 drawdowns en BTC, SPY, oro, 23 pares de divisas y crisis de acciones, con métricas honestas de precisión/recall/F1. Además: qué métodos se trasladan a datos de facturación y ganancias.
-
Ensayo
La guía de Fede sobre sistemas de tipos: de generics a tipos dependientes
Una guía práctica de sistemas de tipos, desde los generics de todos los días hasta los tipos dependientes que prueban corrección, con ejemplos en Rust, Scala e Idris