התחל במצב לא מקוון עם האפליקציה Player FM !
פודקאסטים ששווה להאזין
בחסות


1 Battle Camp: Final 5 Episodes with Dana Moon + Interview with the Winner! 1:03:29
Analyzing static analysis
Manage episode 326897331 series 3341962
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!
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!
347 פרקים
Manage episode 326897331 series 3341962
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!
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!
347 פרקים
כל הפרקים
×
1 Crawl, walk & run your way to usable CLIs in Go 57:47

1 Russ Cox on passing the torch 1:09:27

1 "Founder Mode" at work when you're not a founder 56:20

1 How I lost my (old) job to AI 1:18:24

1 Aha moments reading Go's source: Part 2 48:24

1 Aha moments reading Go's source: Part 1 46:36

1 How Mat writes HTTP services in Go 1:11:07

1 Dependencies are dangerous 1:03:37

1 Gophers Say! GopherCon EU Berlin 2024 41:00

1 Is Go evolving in the wrong direction? 1:13:49

1 How things get done on the Go Team 1:03:12

1 Your ultimate guide to mastering Go 1:02:53

1 What if Google lays off the Go team? 1:12:46

1 What's new in Go's cryptography libraries: Part 3 1:07:59

1 Local cert management for mere mortals 47:46

1 Questions from a new Go developer 1:09:45

1 Jumping into an existing codebase 1:27:19

1 How long until I lose my job to AI? 1:16:18

1 Creating art & visualizations with Go 58:44

1 Foundations of Go performance 1:00:06

1 Gophers Say! GopherCon EU Athens 2024 28:47

1 What's new in Go's cryptography libraries: Part 2 1:11:38

1 Event-driven systems & architecture 1:05:24

1 What's new in Go's cryptography libraries: Part 1 58:31

1 The se7en deadly sins of Go 1:15:20

1 Experiences from GopherCon 2023 1:16:34





1 A deep dive into Go's stack 1:12:51

1 Building world-class developer experiences 1:20:20

1 So do we like Generics or not? 1:28:21




1 K8s vs serverless for distributed systems 47:22




1 The files & folders of Go projects 1:04:17


1 HallwayConf! A new style of conference 1:15:21



1 Domain-driven design with Go 1:11:54

1 The biggest job interview of GPT-4's life 1:07:15

1 Cross-platform graphical user interfaces 1:08:39


1 The bits of Go we avoid (and why) 1:00:24

1 This will blow your docs off 1:14:59






1 How Go helped save HealthCare.gov ♻️ 59:27

1 A special New Year's fireside chat 58:43




1 How Pinterest delivers software at scale 54:25




1 Spooky stories to scare devs 👻 1:00:03




1 Functional programming with generics? 53:38

1 Engineering interview tips & tricks 1:01:27






1 The pain of dependency management 44:43

1 Gophers Say! GopherCon EU Edition 40:33







1 Observability in the wild: strategies that work 58:18


1 The myth of incremental progress 1:12:13



1 What to do when projects get big and messy 1:05:39




1 Go code organization best practices 1:00:46

1 Answering questions for the Go-curious 1:01:15

1 How can we prevent legacy from creeping in? 1:17:18

1 Making the command line glamorous 1:30:04

















1 Eventually consistent (managing data at scale) 1:06:41


1 Discussing Go's annual developer survey 1:13:12





1 Go on hardware: TinyGo in the wild 1:09:31

1 The little known team that keeps Go going 1:05:44


1 Building actually maintainable software 1:11:53

1 To build, or to buy, that is the question 1:08:49

1 Don't forget about memory management 58:58


1 Data streaming and Benthos 1:04:10


1 How to make mistakes in Go 1:03:01

1 Do devs need a product manager? 1:11:43


1 Fuzzing in the standard library 1:01:01






1 Building for Ethereum in Go 1:03:36

1 Are frameworks getting an Encore? 1:06:15


1 What makes wonderful workshops? 1:07:16



1 Go in other spoken languages 1:12:04

1 What to expect when you’re NOT expecting 52:06

1 The engineer who changed the game 34:32


1 The secret life of gophers 1:04:07

1 When distributed systems Go wrong 1:09:31

1 What would you remove from Go? 1:12:00

1 How Go helped save HealthCare.gov 1:07:58



1 Introducing your team to Go 1:07:26


1 There's a lot to learn about teaching Go 1:16:18

1 The one with Brad Fitzpatrick 1:06:45


1 The ultimate guide to crafting your GopherCon proposal 1:24:10

1 Trials and tribulations of testing in Go 1:12:41

1 Releasing with (and without) GoReleaser 1:04:15



1 Talkin' 'bout code generation 1:30:58


1 Indecent (language) Proposals: Part 2 1:14:28

1 The art of reading the docs 1:15:50

1 Indecent (language) Proposals: Part 1 1:03:20



1 CUE: Configuration superpowers for everyone 1:00:16





1 Building desktop apps with Go + web tech 56:57


1 All about that infra(structure) 1:06:14






1 Go in production at Pace.dev 1:17:09



1 Reflection and meta programming 1:02:30

1 The trouble with databases 1:05:25


1 Challenges of distributed messaging systems 1:18:55




1 The monolith vs microservices debate 1:09:25

1 Organizing for the community 1:15:00






1 On the verge of new AI possibilities 59:16



1 Telemetry and the art of measuring what matters 1:10:16



1 Cloudy with a chance of Kelsey Hightower 1:05:30






1 Concurrency, parallelism, and async design 54:35


1 Compilers and interpreters 1:09:41

1 Code editors and language servers 1:01:33


1 Building search tools in Go 1:01:58




1 Creating the Go programming language 1:06:19

1 Hiring and nurturing junior developers 1:14:31




1 The infrastructure effect: COBOL and Go 27:14

1 The importance of representation 1:00:34


1 If you've never been to GopherCon... 1:04:25

1 Go is eating the world of software 54:39







1 Go modules and the Athens project 1:16:52


1 Hardware hacking with TinyGo and Gopherbot 1:26:12

1 It's time to talk about testing 1:22:07






ברוכים הבאים אל Player FM!
Player FM סורק את האינטרנט עבור פודקאסטים באיכות גבוהה בשבילכם כדי שתהנו מהם כרגע. זה יישום הפודקאסט הטוב ביותר והוא עובד על אנדרואיד, iPhone ואינטרנט. הירשמו לסנכרון מנויים במכשירים שונים.