Latest Interviews

How to Use OCaml's Coercion Operator

camels

This session explores standard OCaml's subtyping and coercion mechanisms, emphasizing how the `:>` operator enables compile-time type checks without runtime overhead or data reallocation. The discussion details value inclusion principles for polymorphic variants, recursive subtyping relations, and the specific constraints imposed by private type abbreviations to enforce invariants. While confirming that list coercions remain free at runtime, the presentation notes upcoming analysis of variant annotations and object types in future sessions.

How To Find A Co-Founder | Startup School

Harj Taggar

The event outlines a comprehensive strategy for startup founders to secure co-founders who can double execution capacity, enhance quality control, and provide essential emotional resilience. It emphasizes selecting partners based on stress tolerance and aligned goals rather than specific technical skills, recommending equal equity splits and a trial period to mitigate the risks of role disputes or work ethic mismatches. By leveraging networks for organic connections and maintaining regular communication, founders can avoid common breakup causes and build a durable team capable of competing with established entities.

How To Convert Customers With Cold Emails | Startup School

Aaron Epstein

This event details a data-driven outreach framework where founders must personally execute high-volume email campaigns using warm introductions or targeted cold strategies to secure B2B customers. The speaker outlines a specific funnel architecture that requires sending dozens of daily messages while applying seven principles of effective copy, such as humanized tone, deep personalization, and clear calls to action, to maximize response rates. By analyzing case studies of both failed and successful campaigns, the presentation emphasizes that manual, founder-led execution is essential for building initial traction before any automation is introduced.

East Meets West: How Asian Storytelling is Influencing a Global Audience | Asia Summit 2023

Curtis Chin, Randall Park, Guneet Monga, John Penotti, Adele Lim

Speakers at this fragmented panel discussion prioritized global market stability and the need for diverse representation, specifically advocating for more directors of color and indigenous storytelling in the film and television industries. Despite the incoherent nature of the source material, the dialogue identified critical production challenges including high costs, financing difficulties, and the necessity for deeper investment in development. The session concluded with a shared intent to foster authentic narratives and build community structures to support emerging creators before they enter the industry.

Enterprise Sales | Startup School

Pete Koomen, Pete Kuhman

Optimizely co-founder Pete Kuhman outlines a rigorous enterprise sales framework for technical founders, emphasizing that selling before product-market fit requires experimentation with targeted prospecting and personalized outreach. The strategy prioritizes deep discovery during initial calls, uses product-specific narratives to demonstrate value during demos, and treats pricing as a signal of problem severity rather than a fixed metric. By actively managing implementation roadmaps to ensure customer adoption and navigating procurement hurdles with internal champions, founders can transform sales skills into a transferable superpower for fundraising and hiring.

Programming with OCaml's Local Mode | OCaml Unboxed

Jane Street Doe Camel

A Jane Street team member demonstrates practical limitations of the OCaml "Locals" region-based memory management system while optimizing the `best_of_prime_widgets` function to avoid heap allocation. To resolve type mismatches where local lists must escape their regions, the implementation employs a custom zero-overhead `global` wrapper type alongside a recursive map function annotated with `exclave` constraints. Although the solution successfully maintains local allocation for list structures while treating elements as global, the speaker identifies these manual workarounds as sharp corners requiring future improvements through mode polymorphism.

The Modi Raj 1: The chaiwallah's son

Modi, Avantika Chalkoti, Jitendra Chauhan, Nilanjan Mukhopadhyay, R. Balashankar, Shankar Singh Vaghela, Yashwant Sinha

This podcast series examines the trajectory of Narendra Modi from his impoverished upbringing in Gujarat and early induction into the Hindu nationalist RSS to his ascent as India's longest-serving Prime Minister. While Modi successfully orchestrated the nation's economic rise to fifth-largest global economy and cultivated a distinct personal brand, his tenure is simultaneously scrutinized for fueling Hindu supremacism and threatening democratic norms through divisive rhetoric. The narrative culminates in an analysis of how Modi's recent electoral defeat, which forced him into coalition governance, challenges his previous "strongman" style and sets the stage for investigating pivotal events like the 2002 Gujarat riots.

Pitfalls with Tail Calls and Locals in OCaml | OCaml Unboxed

Goldfirere

Jane Street researchers developed a "local mode" for their OCaml compiler to optimize memory allocation on the stack, but discovered that standard tail call optimization causes "local value escapes" errors when recursive closures capture variables from a region that ends immediately before the call. To address this, the team introduced a "regional" sub-mode that permits specific values to escape one region boundary, allowing tail-recursive functions to maintain $O(1)$ stack space without explicit `non-tail` annotations, though passing these values through intermediate functions can strip this status and force $O(n)$ allocations. The developers acknowledge that current workarounds like explicit annotations or variable indirection are cumbersome for practical use, prompting a push for better compiler heuristics to automate safe tail calls in future upstream releases.

Japan had no military. But didn’t surrender – Richard Rhodes

Richard Rhodes

By August 1945, a severely depleted Japan faced a convergence of devastating factors including Soviet invasion forces and the deployment of atomic weapons, which collectively shattered its remaining military capacity. While President Truman sought to limit Soviet influence by accelerating the bombings, historical evidence indicates that Stalin's rapid intervention in Manchuria was the decisive variable forcing Japanese surrender rather than the nuclear strikes alone. This multi-front collapse marked a permanent shift in warfare toward the systematic targeting of civilian populations and set the stage for the immediate Soviet prioritization of their own nuclear program under Premier Stalin.

What a GPT-7 Intelligence Explosion Looks Like | Carl Shulman

Carl Shulman

The discussion outlines mitigation strategies for early detection of hostile AI motivations alongside a defined productivity threshold where AI contributions match or exceed human researcher output. It details operational mechanisms such as voting algorithms, cost-effective scaling of smaller models, and self-generated curricula that enable intelligence explosions without relying solely on brute force capability. These approaches combine hard physical constraints with empirical verification to ensure safety while accelerating innovation through distributed compute and structured learning environments.

Sarah Paine – Maritime vs Continental Powers

Sarah Paine

The speaker contrasts Russia's antiquated continental model of territorial conquest with the maritime order's "win-win" system built on commerce and international law, arguing that Vladimir Putin's rejection of integration has squandered Russia's economic potential. By framing the current conflict as a strategic timeout for Russia, the analysis highlights how the Biden administration's multilateral approach has successfully mobilized former neutral nations like Finland and Sweden to enforce an impregnable border. Ultimately, the discourse advocates for preserving the post-WWII legal framework through a collaborative, non-hegemonic system that allows for Russia's eventual reintegration provided it adheres to established rules.

Inferring Locality in OCaml | OCaml Unboxed

The OCaml compiler utilizes an internal allocation discipline that infers local versus global modes for variables and parameters to enable stack-based memory usage and reduce garbage collection overhead. This system prioritizes local inference for arguments while defaulting return values to global to ensure maximum compatibility, with integers serving as a special case that can safely cross mode boundaries under specific annotations. Although this framework enhances performance, current limitations such as standard library functions lacking locality awareness and the need for explicit type signatures to trigger safety checks continue to shape its practical application.

Annotating OCaml Variables and Returns with local_ | OCaml Unboxed

Jane Street is developing an experimental OCaml feature set that enforces strict region constraints through `local` annotations to optimize memory usage and eliminate escaping values. The system introduces the `exclave` keyword to terminate function regions early, enabling specific allocations in the caller's scope while preventing mutable references from capturing local data. Current implementation faces known pitfalls regarding return position rules and compiler error precision, with further refinements planned to address these sharp edges.

B2B Startup Metrics | Startup School

Tom Blomfield

This session guides early-stage founders on establishing a rigorous foundational metrics strategy that prioritizes revenue, burn rate, and Net Dollar Retention over vanity data to ensure financial viability. It details how to define consistent unit economics and gross margins, warning that negative unit economics in the current high-interest environment require immediate product or pricing fixes before any scaling efforts. The presentation concludes by balancing these quantitative requirements with the necessity of direct customer interaction, urging leaders to use data to inform decisions rather than replace human empathy and intuition.

Longevity: can ageing be reversed?

Experts project that treatments to reverse biological age could emerge within five decades, driven by breakthroughs such as epigenetic reprogramming and genetic interventions like those modifying the *DAF2* gene. These scientific advances, supported by studies on dietary restriction and the health benefits of centenarians, are attracting significant capital to develop therapies targeting senescent cells and common drugs like Metformin. The resulting economic imperative aims to reduce the burden of age-related disease while transforming the demographic challenge of an aging population into a trillions-of-dollars opportunity.