Uploaded July 2026 | Updated September 2026, 2 weeks ago
Check out the full version on our YouTube channel now! #GOTOcon #SoftwareEngineering #SonicPi #LiveCodingMusic #CodingMusic #EducatingKids #SonicPiTutorial #SamAaron #SoundOfCode #CodeBasedMusic #SCSynth #SoftwareEngineering #Code #Technology #TeachingKidsToCode #TeachingKidsProgramming #TodayInTech #Programming #ViralProgrammingShorts #Viral #ViralShorts #TodayInTech #GOTO
Sam Aaron - Live Coding Musician & Creator of Sonic Pi @SamAaron
Full version available here:
youtu.be/-L4OoOgQ5Wk
Links
patreon.com/samaaron
sonic-pi.net
RECOMMENDED BOOK
Sam Aaron & Russell Barnes • Code Music with Sonic Pi • amzn.to/4hBRYtC
Hans Gruendel • Making Music with Sonic Pi • amzn.to/3oVxGV7
Hans Gruendel • Learn to Program with Sonic PI • amzn.to/3qCrLEO
Simon Monk • Raspberry Pi Cookbook • amzn.to/43AGPRX
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
Check out the full version on our YouTube channel now! #GOTOcon #SoftwareEngineering #SonicPi #LiveCodingMusic #CodingMusic #EducatingKids #SonicPiTutorial #SamAaron #SoundOfCode #CodeBasedMusic #SCSynth #SoftwareEngineering #Code #Technology #TeachingKidsToCode #TeachingKidsProgramming #TodayInTech #Programming #ViralProgrammingShorts #Viral #ViralShorts #TodayInTech #GOTO
Sam Aaron - Live Coding Musician & Creator of Sonic Pi @SamAaron
Full version available here:
youtu.be/-L4OoOgQ5Wk
Links
patreon.com/samaaron
sonic-pi.net
RECOMMENDED BOOK
Sam Aaron & Russell Barnes • Code Music with Sonic Pi • amzn.to/4hBRYtC
Hans Gruendel • Making Music with Sonic Pi • amzn.to/3oVxGV7
Hans Gruendel • Learn to Program with Sonic PI • amzn.to/3qCrLEO
Simon Monk • Raspberry Pi Cookbook • amzn.to/43AGPRX
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
![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)
