Uploaded August 2026 | Updated September 2026, 2 weeks ago
This presentation was recorded at GOTO Copenhagen 2025. #GOTOcon #GOTOcph
gotocph.com
Kief Morris - Author of "Infrastructure as Code" & Distinguished Engineer at Thoughtworks @KiefMorris
ORIGINAL TALK TITLE
Application-Driven Infrastructure Deployment: Enabling More Effective Software Delivery
RESOURCES
https://bsky.app/profile/kief.com
twitter.com/kief
github.com/kief
linkedin.com/in/kiefmorris
infrastructure-as-code.com/posts
kief.com
Links
infrastructure-as-code.com/resources
ABSTRACT
Cloud and Infrastructure as Code often doesn't deliver on its original promise to remove barriers to delivering software. We need to move past old-school, bottom-up infrastructure deployment of monolithic environments.
In this talk, Kief explains how inverting control of the infrastructure deployment process can create measurable improvements in the effectiveness of software delivery. [...]
TIMECODES
00:00 Intro
02:03 The promise of cloud & Infrastructure as Code
04:57 Infrastructure disconnect
07:26 Measuring effectiveness
13:18 Infrastructure & software delivery
18:52 Pre-poured infrastructure
21:12 Application- driven infrastructure
29:04 Composable infrastructure
36:04 Challenges
37:33 Outro
Download slides and read the full abstract here:
gotocph.com/2025/sessions/3935
RECOMMENDED BOOKS
Kief Morris • Infrastructure as Code • amzn.to/4e6EBQc
Matthew Skelton & Manuel Pais • Team Topologies • amzn.to/3sVLyLQ
Dave Thomas • simplicity • amzn.to/43FghBJ
Dave Thomas & Andy Hunt • The Pragmatic Programmer • amzn.to/43QuMBj
https://bsky.app/profile/gotocon.com
linkedin.com/company/goto-
instagram.com/goto_con
facebook.com/GOTOConferences
#InfrastructureAsCode #SoftwareArchitecture #Monolith #InfrastructureDeployment #Cloud #CloudNative #SoftwareDelivery #TodayInTech #KiefMorris #GOTO
CHANNEL MEMBERSHIP BONUS
Join this channel to get early access to videos & other perks:
youtube.com/channel/UCs_tLP3AiwYKwdUHpltJPuA/join
Looking for a unique learning experience?
Attend the next GOTO conference near you! Get your ticket at https://gotopia.tech
Sign up for updates and specials at https://gotopia.tech/newsletter
SUBSCRIBE TO OUR CHANNEL - new videos posted almost daily.
youtube.com/user/GotoConferences/?sub_confirmation=1
This presentation was recorded at GOTO Copenhagen 2025. #GOTOcon #GOTOcph
gotocph.com
Kief Morris - Author of "Infrastructure as Code" & Distinguished Engineer at Thoughtworks @KiefMorris
ORIGINAL TALK TITLE
Application-Driven Infrastructure Deployment: Enabling More Effective Software Delivery
RESOURCES
https://bsky.app/profile/kief.com
twitter.com/kief
github.com/kief
linkedin.com/in/kiefmorris
infrastructure-as-code.com/posts
kief.com
Links
infrastructure-as-code.com/resources
ABSTRACT
Cloud and Infrastructure as Code often doesn't deliver on its original promise to remove barriers to delivering software. We need to move past old-school, bottom-up infrastructure deployment of monolithic environments.
In this talk, Kief explains how inverting control of the infrastructure deployment process can create measurable improvements in the effectiveness of software delivery. [...]
TIMECODES
00:00 Intro
02:03 The promise of cloud & Infrastructure as Code
04:57 Infrastructure disconnect
07:26 Measuring effectiveness
13:18 Infrastructure & software delivery
18:52 Pre-poured infrastructure
21:12 Application- driven infrastructure
29:04 Composable infrastructure
36:04 Challenges
37:33 Outro
Download slides and read the full abstract here:
gotocph.com/2025/sessions/3935
RECOMMENDED BOOKS
Kief Morris • Infrastructure as Code • amzn.to/4e6EBQc
Matthew Skelton & Manuel Pais • Team Topologies • amzn.to/3sVLyLQ
Dave Thomas • simplicity • amzn.to/43FghBJ
Dave Thomas & Andy Hunt • The Pragmatic Programmer • amzn.to/43QuMBj
https://bsky.app/profile/gotocon.com
linkedin.com/company/goto-
instagram.com/goto_con
facebook.com/GOTOConferences
#InfrastructureAsCode #SoftwareArchitecture #Monolith #InfrastructureDeployment #Cloud #CloudNative #SoftwareDelivery #TodayInTech #KiefMorris #GOTO
CHANNEL MEMBERSHIP BONUS
Join this channel to get early access to videos & other perks:
youtube.com/channel/UCs_tLP3AiwYKwdUHpltJPuA/join
Looking for a unique learning experience?
Attend the next GOTO conference near you! Get your ticket at https://gotopia.tech
Sign up for updates and specials at https://gotopia.tech/newsletter
SUBSCRIBE TO OUR CHANNEL - new videos posted almost daily.
youtube.com/user/GotoConferences/?sub_confirmation=1

![Sustainable Augmented Development • Kent Beck • YOW! 2025
This presentation was recorded at YOW! Australia 2025. #GOTOcon #YOW
https://yowcon.com
Kent Beck - Software Engineer & Creator of Extreme Programming @KentLBeck
RESOURCES
https://bsky.app/profile/kentbeck.bsky.social
https://www.kentbeck.com
https://github.com/KentBeck
https://twitter.com/KentBeck
https://www.linkedin.com/in/kentbeck
https://tidyfirst.substack.com/about
ABSTRACT
Genies are great at cranking out features. Unfortunately they don’t clean the kitchen as they cook. Progress slows then stops as yesterday’s expedient decision becomes today’s roadblock.
What would it take to get the trajectory in red instead of the one in blue?
• Development in small steps validated by automated tests
• Periodic pauses in feature development to improve structure and thus increase optionality
• Potentially a new approach to augmented coding manipulating the tree structure of the code, not just the tokens
Sound familiar? [...]
TIMECODES
00:00 Intro
06:26 Cello-Story
08:10 Programming in uncertain times
13:03 3X: Explore Expand Extract
27:20 Feature drag
43:52 Junior developer: Profit over time
49:25 Closing thoughts
58:26 Outro
Read the full abstract here:
https://yowcon.com/brisbane-2025/sessions/3896
RECOMMENDED BOOKS
Kent Beck • Tidy First? • https://amzn.to/4gscjjK
Kent Beck & Cynthia Andres • Extreme Programming Explained • https://amzn.to/3sBASDG
Kent Beck • Test Driven Development • https://amzn.to/3U4AXLs
Kent Beck, Fowler, John, William, Don & Gamma • Refactoring • https://amzn.to/3SFBYbN
Kent Beck • Implementation Patterns • https://amzn.to/3sBlCGL
https://bsky.app/profile/gotocon.com
https://www.linkedin.com/company/goto-
https://www.instagram.com/goto_con
https://www.facebook.com/GOTOConferences
#SustainableDevelopment #SoftwareDesign #XP #TDD #JUnit #EmpiricalDesign #ExtremeProgramming #Explore #Expand #Extract #3X #Ergodicity #Coupling #ConstantinesEquation #TodayInTech #Programming #SoftwareEngineering #KentBeck
CHANNEL MEMBERSHIP BONUS
Join this channel to get early access to videos & other perks:
https://www.youtube.com/channel/UCs_tLP3AiwYKwdUHpltJPuA/join
Looking for a unique learning experience?
Attend the next GOTO conference near you! Get your ticket at https://gotopia.tech
Sign up for updates and specials at https://gotopia.tech/newsletter
SUBSCRIBE TO OUR CHANNEL - new videos posted almost daily.
https://www.youtube.com/user/GotoConferences/?sub_confirmation=1 Sustainable Augmented Development • Kent Beck • YOW! 2025](https://i.ytimg.com/vi/sMujMp4h_EY/mqdefault.jpg)


![Best Simple System for Now • Daniel Terhorst-North • GOTO 2025
This presentation was recorded at GOTO Copenhagen 2025. #GOTOcon #GOTOcph
https://gotocph.com
Daniel Terhorst-North - Originator of Behavior Driven Development (BDD) & Principal at Dan North & Associates @daniel-terhorst-north
RESOURCES
https://bsky.app/profile/tastapod.com
https://www.linkedin.com/in/tastapod
https://github.com/tastapod
https://mastodon.social/@tastapod
http://dannorth.net/blog
https://goalwards.co
Links
https://xkcd.com/974
https://adventofcode.com
ABSTRACT
Software teams often face a false choice: move fast and accumulate technical debt, or build the perfect system and miss the deadline. But there may be a third path, the Best Simple System for Now (BSSN).
This session introduces a pragmatic yet principled approach to software design: systems that are as simple as possible but no simpler. You’ll learn how to design code that is robust, change-friendly, and fit for purpose, while avoiding both gold-plating and corner-cutting.
Through practical examples, we explore how to manage complexity, embrace uncertainty, and make sound decisions using concepts like Cost of Delay and RAROC. [...]
TIMECODES
00:00 Intro
03:44 Agenda
05:05 Defining the best simple system for now
26:17 Do not try this at home
34:41 Why no one else is doing this
40:09 And then what?
43:00 Outro
Download slides and read the full abstract here:
https://gotocph.com/2025/sessions/3737
RECOMMENDED BOOKS
Donald G. Reinertsen • The Principles of Product Development Flow • https://amzn.to/3hJ2Ye2
Eliyahu M. Goldratt • Beyond the Goal • https://amzn.to/3wDbAL1
Kent Beck, Fowler, John, William, Don & Gamma • Refactoring • https://amzn.to/3SFBYbN
Kent Beck & Cynthia Andres • Extreme Programming Explained • https://amzn.to/3KeL5P5
Jez Humble & Dave Farley • Continuous Delivery • https://amzn.to/3ocIHwd
Robert B Cialdini • Influence, New and Expanded • https://amzn.to/3tL8GxB
Aino Vonge Corry • Retrospective Antipatterns • https://amzn.to/3naFk84
Subramaniam & Hunt • Practices of an Agile Developer • https://amzn.to/2XjbWor
https://bsky.app/profile/gotocon.com
https://www.linkedin.com/company/goto-
https://www.instagram.com/goto_con
https://www.facebook.com/GOTOConferences
#Programming #SoftwareEngineering #Polyglot #Patterns #AntiPaterns #BuildTheRightProduct #GoodProgrammers #Change #CUPID #VESPA #Team #TechTeam #TodayInTech #DanNorth #DanielTerhorstNorth #GOTO
CHANNEL MEMBERSHIP BONUS
Join this channel to get early access to videos & other perks:
https://www.youtube.com/channel/UCs_tLP3AiwYKwdUHpltJPuA/join
Looking for a unique learning experience?
Attend the next GOTO conference near you! Get your ticket at https://gotopia.tech
Sign up for updates and specials at https://gotopia.tech/newsletter
SUBSCRIBE TO OUR CHANNEL - new videos posted almost daily.
https://www.youtube.com/user/GotoConferences/?sub_confirmation=1 Best Simple System for Now • Daniel Terhorst-North • GOTO 2025](https://i.ytimg.com/vi/u4Cv65F9DcY/mqdefault.jpg)


![The Green Shift: Transitioning .NET Services Across Architectures • Sara Bergman • GOTO 2025
This presentation was recorded at GOTO Copenhagen 2025. #GOTOcon #GOTOcph
https://gotocph.com
Sara Bergman - Co-Author of Building Green Software & Software Engineer at Microsoft @sarabergman1396
RESOURCES
https://bsky.app/profile/saraemilybergman.bsky.social
http://twitter.com/SaraEbergman
https://github.com/SaraEmilyBergman
https://www.linkedin.com/in/sara-bergman1
Links
https://ourworldindata.org/energy
https://ourworldindata.org/electricity-mix
https://blog.cloudflare.com/designing-edge-servers-with-arm-cpus
https://amperecomputing.com/assets/amadeus_case_study_8794122fe5.pdf
https://azure.microsoft.com/en-us/blog/azure-cobalt-100-based-virtual-machines-are-now-generally-available
https://cloud.google.com/blog/products/compute/introducing-googles-new-arm-based-cpu
https://devblogs.microsoft.com/dotnet/performance-improvements-in-net-9
https://devblogs.microsoft.com/dotnet/performance-improvements-in-net-9/#arm64
https://learn.microsoft.com/en-us/dotnet/core/compatibility/sdk/6.0/path-x64-emulated
https://github.com/danielmarbach/beyondsimplebenchmarks
https://blogs.windows.com/windowsdeveloper/2025/04/14/github-actions-now-supports-windows-on-arm-runners-for-all-public-repos
https://github.blog/news-insights/product-news/arm64-on-github-actions-powering-faster-more-efficient-build-systems
ABSTRACT
As the tech industry faces increasing pressure to reduce its environmental footprint, software engineers are well positioned to drive change—not just through efficient code, but by making smarter architectural choices.
This talk is a practical guide for engineers looking to port .NET services across architectures, particularly toward ARM-based platforms, to unlock energy efficiency and performance gains.
We’ll walk through the real-world journey of moving services from traditional x86 and x64 to ARM, highlighting the common roadblocks and how to overcome them.
This session is not just about theory—it’s a how-to for engineers who want to make their services greener without sacrificing quality or velocity. Whether youre working on microservices, APIs, or backend systems, you’ll leave a notion of what to watch out for and a clear understanding of the potential wins—both for your service and the planet. [...]
TIMECODES
00:00 Intro
01:28 What makes software green?
06:00 Energy efficiency
08:09 CPU: RISC vs. CISC
11:36 Why should you change?
13:49 The green wins
17:46 Hardware efficiency
24:49 The migration journey
42:01 Takeaways
42:27 Outro
Download slides and read the full abstract here:
https://gotocph.com/2025/sessions/3745
RECOMMENDED BOOKS
Anne Currie, Sarah Hsu, & Sara Bergman • Building Green Software • https://amzn.to/3IKopW5
Ioannis Kolaxis • 101 Green Software • https://www.kolaxis.dev/book-green-software
Bill Gates • How to Avoid a Climate Disaster • https://amzn.to/4iWtvPI
Mehdi Khosrow-Pour • Green Computing Strategies for Competitive Advantage and Business Sustainability • https://amzn.to/2YXbI7j
Lässig, Kersting & Morik • Computational Sustainability • https://amzn.to/3APBW8r
Zbigniew H. Gontar • Smart Grid Analytics for Sustainability and Urbanization • https://amzn.to/3pkRVsS
Katsoni & Segarra-Oña • Smart Tourism as a Driver for Culture and Sustainability • https://amzn.to/2YXfPQM
Carola Lilienthal • Sustainable Software Architecture • https://amzn.to/3yFXxoS
https://bsky.app/profile/gotocon.com
https://twitter.com/GOTOcon
https://www.linkedin.com/company/goto-
https://www.instagram.com/goto_con
https://www.facebook.com/GOTOConferences
#dotNET #GreenShift #SoftwareArchitecture #x86 #x64 #ARM #Microservices #BuildingGreenSoftware #Sustainability #SustainableSoftware #CarbonEfficiency #GreenSoftwareFoundation #Decarbonization #GreenCloud #GreenComputing #Programming #GreenSoftware #SaraBergman #GOTO
CHANNEL MEMBERSHIP BONUS
Join this channel to get early access to videos & other perks:
https://www.youtube.com/channel/UCs_tLP3AiwYKwdUHpltJPuA/join
Looking for a unique learning experience?
Attend the next GOTO conference near you! Get your ticket at https://gotopia.tech
Sign up for updates and specials at https://gotopia.tech/newsletter
SUBSCRIBE TO OUR CHANNEL - new videos posted almost daily.
https://www.youtube.com/user/GotoConferences/?sub_confirmation=1 The Green Shift: Transitioning .NET Services Across Architectures • Sara Bergman • GOTO 2025](https://i.ytimg.com/vi/vuxdRlVmzSU/mqdefault.jpg)

![Metaprogramming, Synthesis & Verification • Nada Amin • YOW! 2025
This presentation was recorded at YOW! Australia 2025. #GOTOcon #YOW
https://yowcon.com
Nada Amin - Assistant Professor of Computer Science at Harvard SEAS
RESOURCES
https://github.com/namin
https://www.linkedin.com/in/mitnamin
https://cv.namin.org
Links
https://namin.seas.harvard.edu
https://github.com/namin/dafny-sketcher
https://github.com/namin/staged-miniKanren
https://github.com/namin/llm-verified-with-monte-carlo-tree-search
https://github.com/namin/holey
https://github.com/metareflection/dafny-annotator
https://github.com/namin/eurisclo
https://io.livecode.ch/learn/gregr/icfp2017-artifact-auas7pp
ABSTRACT
With live examples Nada will demonstrate:
• Dafny and verification-aware programming, including proof by induction to verify properties of programs (for example, that an optimizer preserves semantics).
• Multi-stage programming, a principled approach to writing programs that write programs, and its incarnation in multi-stage relational programming for faster synthesis of programs with holes—with the theoretical insight that a staged interpreter is a compiler, and a staged relational interpreter for a functional language can turn functions into relations running backwards for synthesis.
• Monte Carlo Tree Search, specifically the VerMCTS variant, and when this exploration-exploitation sweet spot is a good match for synthesis problems.
The ideas will be demonstrated with live examples and open-source artifacts spanning verified programming, relational programming, and LLM-guided synthesis, including Dafny Sketcher, multi-stage miniKanren, VerMCTS, and Holey. [...]
TIMECODES
00:00 Intro
00:14 Verified synthesis
02:04 Neurosymbolic spectrum
03:14 Verification with Dafny
05:25 Demo
17:52 Orchestrating program synthesis
18:55 VerMCTS setup: Verified programming
20:41 PUCT
22:33 Dafny Sketcher
27:06 Holey
29:29 Demo
30:20 Lessons from Holey
31:15 Relational programming
33:22 Demo
35:46 Takeaways
37:27 Outro
Download slides and read the full abstract here:
https://yowcon.com/brisbane-2025/sessions/3919
RECOMMENDED BOOKS
Forsgren, Humble & Kim • Accelerate: The Science of Lean Software and DevOps • https://amzn.to/3tCz1xO
John Arundel & Justin Domingus • Cloud Native DevOps with Kubernetes • https://amzn.to/3hKZvI5
Wynne, Hellesoy & Tooke • The Cucumber Book • https://amzn.to/3tEUINJ
https://bsky.app/profile/gotocon.com
https://twitter.com/GOTOcon
https://www.linkedin.com/company/goto-
https://www.instagram.com/goto_con
https://www.facebook.com/GOTOConferences
#Metaprogramming #Synthesis #Verification #VerMCTS #Dafny #MonteCarloTreeSearch #DafnySketcher #miniKanren #Holey #RelationalProgramming #NadaAmin #YOWcon
CHANNEL MEMBERSHIP BONUS
Join this channel to get early access to videos & other perks:
https://www.youtube.com/channel/UCs_tLP3AiwYKwdUHpltJPuA/join
Looking for a unique learning experience?
Attend the next GOTO conference near you! Get your ticket at https://gotopia.tech
Sign up for updates and specials at https://gotopia.tech/newsletter
SUBSCRIBE TO OUR CHANNEL - new videos posted almost daily.
https://www.youtube.com/user/GotoConferences/?sub_confirmation=1 Metaprogramming, Synthesis & Verification • Nada Amin • YOW! 2025](https://i.ytimg.com/vi/yLDiQBdwlHU/mqdefault.jpg)
