Go Time: Golang, Software Engineering

Analyzing static analysis

Listen Later

Matan Peled from Technion University joins Natalie & Mat to discuss his PhD research on meta programming and static analyzers. How does Go’s measure up? What would Matan’s look like if he built one? All that and more!

Join the discussion

Changelog++ members save 5 minutes on this episode because they made the ads disappear. Join today!

Sponsors:

  • Sourcegraph – Move fast, even in big codebases. Sourcegraph is universal code search for every developer and team. Easily search across all the code that matters to you and your organization: find example code, explore and read code, debug issues, and more. Head to info.sourcegraph.com/changelog and click the button “Try Sourcegraph now” to get started.
  • Square – Develop on the platform that sellers trust. There is a massive opportunity for developers to support Square sellers by building apps for today’s business needs. Learn more at changelog.com/square to dive into the docs, APIs, SDKs and to create your Square Developer account — tell them Changelog sent you.
  • Chronosphere – Chronosphere is the observability platform for cloud-native teams operating at scale. When it comes to observability, teams need a reliable, scalable, and efficient solution so they can know about issues well before their customers do. Teams choose Chronosphere to help them move faster than the competition. Learn more and get a demo at chronosphere.io.
  • Flatfile – Data import is broken. We fixed it. Flatfile’s powerful out-of-the-box solution takes the data import burden off your shoulders, freeing you to solve bigger business problems and build products that people love.

    • Featuring:

    • Matan Peled – GitHub, LinkedIn, X
    • Natalie Pistunovich – GitHub, X
    • Mat Ryer – Website, GitHub, LinkedIn, X

    Show Notes:

    • Static program analysis
    • Rice’s theorem
    • Halting problem
    • What is meta-programming
    • Codex paper (GitHub Copilot)
    • TabNine
    • Taint checking
    • staticcheck.io
    • Points-to analysis
    • what rr does
    • Debugging a flaky Go test with Mozilla rr
    • Reflections on Trusting Trust
    • Book recommendation: Gödel, Escher, Bach
    • Small-Step Live Programming by Example
    • Shout At: Go West conf (CFP)

      • Something missing or broken? PRs welcome!

      ...more
      View all episodesView all episodes
      Download on the App Store
      Go Time: Golang, Software EngineeringBy Changelog Media
      • 4.6
      • 4.6
      • 4.6
      • 4.6
      • 4.6

      4.6

      128 ratings

      More shows like Go Time: Golang, Software Engineering

      View all
      The Changelog: Software Development, Open Source by Changelog Media

      The Changelog: Software Development, Open Source

      289 Listeners

      Accidental Tech Podcast by Marco Arment, Casey Liss, John Siracusa

      Accidental Tech Podcast

      2,139 Listeners

      Syntax - Tasty Web Development Treats by Wes Bos & Scott Tolinski - Full Stack JavaScript Web Developers

      Syntax - Tasty Web Development Treats

      987 Listeners

      Kubernetes Podcast from Google by Abdel Sghiouar, Kaslin Fields

      Kubernetes Podcast from Google

      181 Listeners

      Huberman Lab by Scicomm Media

      Huberman Lab

      29,154 Listeners

      go podcast() by Dominic St-Pierre

      go podcast()

      6 Listeners

      Fallthrough by Fallthrough Media

      Fallthrough

      13 Listeners