rust

Not the keyword you're looking for? See all keywords.

The Rust Effects Debate and Concrete's Case for a Smaller Language The Rust Effects Debate and Concrete’s Case for a Smaller Language
9 min read Keywords:  Programming Languages, Formal Verification, rust, Type Systems, lean

Wuyts is right about effects and ownership. The Hacker News skeptics are right about complexity. Concrete accepts both and says no to refinement types.

Detecting Crashes with Fat-Tail Statistics Detecting Crashes with Fat-Tail Statistics
37 min read Keywords:  fat tails, crash detection, LPPLS, extreme value theory, DFA, Hurst, Taleb, Sornette, Bouchaud, bitcoin, finance, rust, revenue, profit, momentum, volatility targeting

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.

Fede's Guide to Type Systems: From Generics to Dependent Types Fede’s Guide to Type Systems: From Generics to Dependent Types
60 min read Keywords:  programming languages, Type Systems, rust, Functional Programming

A practical guide through the landscape of type systems, from everyday generics to dependent types that prove correctness, with examples in Rust, Scala, and Idris