Clotho: A Racket Library for Parametric Randomness
summary
Clotho is a Racket library that encodes every random choice as parameters inside a byte string seed (first 4 bytes seed an internal PRG, subsequent 4-byte chunks are tunable parameters), exposes those bytes via a current-random-source parameter and get-current-random-source-bytestring, and provides a drop-in random plus wrappers for external libraries. It supports randomness abstraction to cluster multiple choices under one parameter, offers three hash-lane packages, and targets use in xsmith fuzzing; implementation works but the authors report no large-scale results yet.
AI-written summary · about
chapters (7)
- 0:00Intro
- 0:25Parametric Randomness
- 6:02Racket's Built-In Functionality
- 7:45Possible Approaches
- 9:02Implementation
- 12:08External API
- 18:26Conclusion
related talks
38mPurely Random
35mRandom Data Generation With Scalacheck
33mClojure Data Science
25mDemo: A Geometric Approach to Generate Musical Rhythmic Patterns in Haskell
29mProbabilistic Programming: What It Is and How It Works
35mBetter Research Planning Through Simulation
32mEffects as Capabilities
28mRecords with Rank Polymorphism