Latest Interviews
Showing 1–2 of 2 transcripts.
Clear all filters- Jane Street47 min
Unboxed Types for OCaml
The presentation "Making a Camel Less Like Lisp and More Like C++" addresses OCaml's performance limitations by introducing explicit "layout kinds" that allow the compiler to statically determine memory representations for unboxed types like 64-bit integers and records. This system distinguishes between tagged pointers managed by the garbage collector and raw bit representations passed directly in registers, enabling efficient libraries to remain opaque while avoiding the overhead of standard boxing. By replacing fragile dynamic heuristics with explicit type annotations, the proposal facilitates predictable high-performance computing without sacrificing the language's safety guarantees or requiring complex template expansion.
- Milken Institute1h 0m
Cybersecurity: The Internet of Threats
Edward Lucas, Nadav Zafrir, Paul Gillan, Sinisa Patkovic, Dan, John Derrick, Stephen
Experts including Nadav Zafrir, Sinisa Patkovic, and Paul Gillan argue that the internet's foundational trust-based architecture is incompatible with modern critical infrastructure, creating a widening gap between attacker innovation and defensive readiness. The panel identifies systemic barriers such as organizational cost concerns, regulatory gaps, and the human "literacy gap" that impede effective security-by-design while highlighting the critical threat of insider collusion and state-sponsored cyber warfare. Despite these vulnerabilities, the speakers propose a paradigm shift toward proactive "learning competitions" where defenders emulate offensive tactics, alongside increased investment in layered security architectures and managed services to mitigate inevitable breaches.