-
Concrete
The Rust Effects Debate and Concrete’s Case for a Smaller Language
Wuyts is right about effects and ownership. The Hacker News skeptics are right about complexity. Concrete accepts both and says no to refinement types.
-
Leptokurtic
Detecting Crashes with Fat-Tail Statistics
We built fatcrash, a Rust+Python toolkit with 15 crash detection methods: LPPLS, DFA, EVT, Hill, Kappa, Hurst, GSADF, momentum/reversal, price velocity, and more. Tested on 96 drawdowns across BTC, SPY, Gold, 23 forex pairs, and equity crises with honest precision/recall/F1 metrics. Plus: which methods transfer to revenue and profit data.
-
Essay
Fede’s Guide to Type Systems: From Generics to Dependent Types
A practical guide to type systems, from everyday generics to dependent types that prove correctness, with examples in Rust, Scala, and Idris