Episode links:

• https://www.linkedin.com/in/alexanderskulikov/
• https://www.coursera.org/specializations/data-structures-algorithms https://cogniterra.org/course/697/promo
• https://compeau.cbd.cmu.edu/online-education-projects/programming-for-lovers/
• https://lean-lang.org/ https://www.manim.community/

Our previous episodes can be found here: https://jb.gg/rsrch-pdcst

Find out more about JetBrains Research here: https://jb.gg/rsrch

Chapters:

00:00 – Introduction and STACS Conference

02:00 – AI in Theoretical Computer Science

04:30 – Bachelor Program and Evolving Curriculums

08:30 – Boolean Circuit Synthesis Competitions

12:00 – The "Game of Life" and Modern AI Iterations

16:45 – LLMs Winning IMO Medals 22:00 – Formal Verification and the Lean Language

25:30 – The Chess Analogy: AI Replacing Mathematicians

33:00 – AI Coding Agents and Don Knuth's $2.56 Check

38:30 – Distributed Algorithms and Complexity Theory

41:00 – Large-Scale Online Education and Adding JavaScript

48:45 – The Importance of Algorithmic Thinking

56:00 – Real-World Application: The Google Maps Polygon Problem

1:01:30 – Bioinformatics, SPAdes, and Fundamental vs. Applied Research

1:10:00 – Sabbatical Dreams: P vs. NP and Linear Time Limits

1:18:00 – Creating Mathematical Animations with Python

1:21:30 – AI Interpolation vs. Extrapolation and Joke Generation

1:25:00 – "Birds vs. Frogs": Research Styles in the AI Era

1:30:15 – Surprises, Rapid Changes, and the Future of AI

1:33:30 – Advice for New PhD Students: Follow Your Passion

1:36:30 – Outro and Final Thoughts

Our first episode can be found here

Episode links:

• SWE-rebench: https://swe-rebench.com/
• ConTree: https://contree.dev/
• Ibragim: https://x.com/ibragim_bad

Also mentioned:

• https://huggingface.co/datasets/nebius/SWE-bench-extra
• https://scale.com/leaderboard/swe_bench_pro_public
• https://swe-bench-live.github.io/

Find out more about JetBrains Research: https://lp.jetbrains.com/research/software-engineering/

Chapters:

00:00:00 Teaser & Introduction

00:02:41 Ibrahim's Non-Traditional Background: From Dentistry to Tech

00:10:45 The "School 42" Bootcamp Experience

00:13:00 Getting into Machine Learning & Kaggle

00:17:20 The First Internship & Learning from a Great Mentor

00:20:10 Contrasting the Worlds of Medicine and Tech

00:26:56 What Are Coding Agents?

00:33:40 Explaining SWE-bench: How Coding Tasks Are Evaluated

00:37:15 RLVR (Reinforcement Learning with Verifiable Rewards)

00:43:10 The Creation of SWE-Rebench

00:50:00 The Main Challenges with Task Quality and Scale

00:55:00 What's New in SWE-Rebench V2 (and Kotlin support)

00:58:42 Will AI Change Code Review?

01:02:00 contree.dev: A New Checkpointing & Forking Tool for Agents

01:09:35 The Open-Source Community's Reaction to SWE-Rebench

01:15:20 SWE-Bench Pro vs. SWE-Rebench

01:18:20 Why Nebius Invests in Open-Source Research

01:21:00 Predictions for the Future of AI and Programming

01:26:00 Final Advice for Career Switchers

Episode links

OpenCV: https://opencv.org/

FitWise AI: https://www.thefitwise.com/

Anna Kogan: linkedin: / anna-kogan-44b24673