DevDiscuss

Sometimes, as developers, we can get so wrapped up and absorbed in our work that that it becomes an all-consuming force in our lives. We get into why we shouldn't forget to have outside hobbies and passions, and how they can even help in mitigating things like burnout, imposter syndrome, and can also help with problem solving, as well as soft skills. To talk about how their own myriad of hobbies have made them better developers, we are joined by Milecia McGregor, senior UI engineer at Mediavine, and author of the DEV post, "Why It's Important To Have Hobbies Outside Of Tech," and Kayla Sween, user experience engineer at Dogly, and author of the post, "Powerlifting has made me a better developer."

• DevNews (sponsor)
• CodeNewbie (sponsor)
• DataStax (sponsor)
• Cockroach Labs (DevDiscuss) (sponsor)
• Swimm (DevDiscuss) (sponsor)
• Stellar (sponsor)
• JavaScript
• Mediavine
• Dogly
• Front-end development
• Why It's Important To Have Hobbies Outside Of Tech
• Kung fu
• Ukulele
• Harmonica
• Automobile Repair
• Chevrolet Monte Carlo
• Powerlifting
• Powerlifting has made me a better developer. (Part 1: Interpersonally)
• Powerlifting has made me a better developer. (Part 2: Intrapersonally)
• Olympic weightlifting
• Rock climbing
• React
• Angular
• Saxophone
• Chess
• Xiangqi (Chinese Chess)
• Impostor syndrome
• Soft skills
• Improvisational theatre
• TED
• Magic: The Gathering
• Yu-Gi-Oh! Trading Card Game
• Pokémon Trading Card Game
• Dungeons & Dragons
• Warhammer 40,000
• Skateboarding

Milecia is a senior software engineer and has a master's degree in mechanical and aerospace engineering, with published research in machine learning and robotics. She started Flipped Coding to teach people how to code with real-world projects and she publishes articles covering all aspects of software.

Kayla Sween is a front-end developer who is passionate about UX and inclusive web design. She strives to make the web easier to use for everyone. Kayla also is a competitive powerlifter, proud dog mom, and wife. Job Info: UX Engineer, Dogly

In this episode, we talk about proof engineering with Talia Ringer, researcher and incoming assistant professor at the University of Illinois at Urbana-Champaign.

• DevNews (sponsor)
• CodeNewbie (sponsor)
• DataStax (sponsor)
• Cockroach Labs (DevDiscuss) (sponsor)
• Swimm (DevDiscuss) (sponsor)
• Stellar (sponsor)
• seL4: Formal Verification of an OS Kernel
• Formally Verified Software in the Real World
• The CompCert C Compiler
• Formal Verification of a Realistic Compiler
• Finding and Understanding Bugs in C Compilers
• QED at Large: A Survey of Engineering of Formally Verified Software
• BP: Formal Proofs, the Fine Print and Side Effects
• Proof Repair
• Talia's Ph.D. Thesis Defense: Proof Repair
• PL/FM/SE at Illinois
• Proof Repair and Code Generation
• Galois
• BedRock Systems
• How AWS’s Automated Reasoning Group helps make AWS and other Amazon products more secure
• A Solver-Aided Language for Test Input Generation
• Satnam Singh
• Silver Oak Project
• Proof Repair across Type Equivalences
• Adapting Proof Automation to Adapt Proofs
• Emily First
• RanDair Porter,
• Yuriy Brun
• Removing tokens in gallina.py
• LASER-UMASS / TacTok
• Developing Bug-Free Machine Learning Systems With Formal Mathematics
• Matthew Dwyer
• Refactoring Neural Networks for Verification
• Alex Polozov
• Evaluating Large Language Models Trained on Code

Talia Ringer is an assistant professor with the PL/FM/SE group at Illinois. She likes to build proof engineering technologies to make that world a reality. In so doing, she loves to use the whole toolbox---everything from dependent type theory to program transformations to neural proof synthesis---all in service of real humans.

In this episode, we talk about introducing children and teens to coding with Jon Mattingly, co-founder and CEO of Kodable, and Pete Ingram-Cauchi, CEO of ID Tech.

• DevNews (sponsor)
• CodeNewbie (sponsor)
• DataStax (sponsor)
• Cockroach Labs (DevDiscuss) (sponsor)
• Swimm (DevDiscuss) (sponsor)
• Stellar (sponsor)
• Kodable
• IDTech
• Code.org
• Grace Hopper
• Head First Book Series
• Susan Wojcicki

Abigail (Abby) Phoenix is a longtime conference planner and the Special Projects Manager at Forem, passionate about bringing communities together in thoughtful, meaningful ways.

A self-taught programmer, Jon wrote his first line of code at 6 years old on a computer that didn’t even have a mouse. A member of the Forbes 30 under 30 as well as a Y Combinator alum, Jon holds a degree in marketing and entrepreneurship from the University of Louisville, where he played football.

Pete Ingram-Cauchi is the CEO of iD Tech, a family-founded, Silicon Valley-based education company founded in 1999. iD Tech delivers online and in-person tech experiences for kids and teens, and curriculum spans Coding, Game Design, Digital Video, AI, Machine Learning, YouTube Streaming, and more.

In this episode, we talk about coding in Roblox and Minecraft with Genevieve Johnson, senior instructional designer at Roblox, and Gabriel Simmer, community and partner engineer at CircleCI, who at 16 built NodeMC, a tool that can be used to build dashboards and spin up servers in Minecraft.

• DevNews (sponsor)
• CodeNewbie (sponsor)
• DataStax (sponsor)
• Cockroach Labs (DevDiscuss) (sponsor)
• Swimm (DevDiscuss) (sponsor)
• Stellar (sponsor)
• Drupal
• Python
• Roblox
• Minecraft
• Circle CI
• Warcraft III
• Modding
• Unreal Engine
• Unity
• Torchlight II GUTS
• Game Developers Conference (GDC)
• Lua
• PHP
• Java
• Minecraft Bedrock Edition
• Minecraft Java Edition
• JetBrains
• Minecraft Forge
• SpigotMC
• Blender
• Maya
• Mojang
• NodeMC

Genevieve is currently the Senior Instructional Designer for Roblox, the world's largest user-generated online gaming platform. By creating educational content and advising educators world-wide on how to use Roblox in STEAM based learning programs, more students will be empowered to pursue careers as entrepreneurs, engineers, and designers.

Gabriel Simmer is Community and Partner Engineer at CircleCI. He's a self-taught developer who is developing both software and communities. Minecraft has a special place in his heart as a game that brought him to technology and software development.

In this episode, we talk about Visual Studio Code with, Jonathan Carter, principal program manager at Microsoft, and Cassidy Williams, director of developer experience at Netlify.

• DevNews (sponsor)
• CodeNewbie (sponsor)
• DataStax (sponsor)
• Cockroach Labs (DevDiscuss) (sponsor)
• Swimm (DevDiscuss) (sponsor)
• Stellar (sponsor)
• Visual Studio Code
• TypeScript
• Atom
• C++
• Vim
• Microsoft Visual Studio
• GitHub Codespaces
• ASP.NET
• Active Server Pages
• C# documentation
• Visual InterDev
• .NET
• Firebug
• Monaco
• Gitpod
• CodeSandbox
• CodeTour
• CSS Diner

Jonathan Carter is a project manager at Microsoft, and has had the privilege of working on a bunch of developer tools and services over the last 15 years (e.g. Visual Studio, ASP.NET, browser tools for IE, CodePush). He's passionate about developer productivity and collaboration, and in particular, helping to make it easier to contribute to projects, share ideas amongst your teams, the community, and supporting remote-first cultures.

Cassidy likes making memes, dreams, and software. But actually though, she's a Principal Developer Experience Engineer at Netlify, and makes developer-friendly content across the internet to help people learn and laugh.