Latest Interviews

Unfolding the Mystery of Curved-Crease Sculpture with Origami Theorists from MIT

Martin Demaine, Eric Demaine

MIT researchers Eric and Martin Demaine collaborate as origami theorists to synthesize mathematical geometry with physical sculpture, operating on the principle that fun fuels superior artistic execution. Their bidirectional workflow transforms unsolved mathematical problems into interactive artworks like the "Solve Me" sculpture, which embeds hidden research challenges within complex, visually deceptive paper designs. By creating these impossible geometries, the duo simultaneously generates new mathematical puzzles and drives future research trajectories at the frontier of known solutions.

Heuristics and Biases

Sandor Lehoczky

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.

Arjun Guha: On Verification for System Configurations Languages

Arjun Guha

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.

How to Build an Exchange

Claudio, Ron, Pete

A US equities matching engine utilizes a deterministic, single-instance architecture to process three million messages per second while ensuring fair, latency-critical order execution across thousands of symbols. The system employs C++ and OCaml on a dedicated machine to replace complex distributed consensus with high-speed, single-threaded logic, allowing state machines to recover from failures within 30 to 60 seconds via message log replay. This design guarantees regulatory reproducibility and financial reliability by eliminating consensus overhead, enabling clients to achieve precise atomicity and global risk enforcement through simplified, high-throughput message sequencing.

Effective ML 2011 Harvard CS51 Part 2

Jane Street's engineering philosophy prioritizes explicit error handling, strict boilerplate avoidance, and managed complexity to ensure robust high-frequency trading systems. By leveraging OCaml's predictable performance and enforcing rigorous code review protocols alongside small, autonomous teams, the firm balances mathematical precision with human oversight in a hybrid trading model. This approach treats software development as a discipline of clarity and maintainability, where static typing and disciplined mutation control enable reliable operation in volatile markets.