Latest Interviews
Showing 1–2 of 2 transcripts.
Clear all filters- Jane Street54 min
Heuristics and Biases
Leveraging the foundational work of Daniel Kahneman and Amos Tversky, this presentation elucidates how human cognition relies on error-prone heuristics and the conflict between fast, intuitive System 1 thinking and slow, analytical System 2 reasoning. The discussion details empirical evidence of systemic biases such as loss aversion, anchoring, and confirmation bias, demonstrating their profound impact on diverse fields ranging from judicial parole decisions to financial market behavior. Rather than attempting to eliminate these innate flaws, the session advocates for strategic mitigation through meta-cognition, Bayesian updating, and the disciplined practice of overriding automatic responses to improve real-world decision-making outcomes.
- Jane Street59 min
Arjun Guha: On Verification for System Configurations Languages
Researchers developed "Rehearsal," a verification tool designed to detect determinism and idempotency violations in Puppet configuration manifests, which are frequent causes of major system outages. The system employs a transformation pipeline that converts complex Puppet syntax into Datalog and a low-level modeling language, leveraging the Z3 SMT solver alongside optimizations like partial order reduction and state pruning to analyze real-world code efficiently. Benchmarks on GitHub-scraped manifests demonstrate that this approach successfully identifies previously unknown non-deterministic bugs and generates fixes, although current limitations exclude shell script execution and specific file permission modeling.