Uploaded August 2026 | Updated September 2026, 2 weeks ago
This interview was recorded for the GOTO Book Club. #GOTOcon #GOTObookclub
http://gotopia.tech/bookclub
Check out more here:
https://gotopia.tech/articles/452
Jim Ledin - President at Ledin Engineering & Author of “Modern Computer Architecture and Organization” @jledin1
Maciej «MJ» Jedrzejewski - Tech Agnostic Architect & Author of “Master Software Architecture” @learnsoftwarearchitecture
RESOURCES
Jim
linkedin.com/in/jimledin
https://x.com/ledin_eng
github.com/jledin
ledin.com
MJ
github.com/meaboutsoftware
linkedin.com/in/jedrzejewski-maciej
fractionalarchitect.io
Links
youtu.be/wNT2qkusVrA
youtu.be/Pv0cfsastFs
youtu.be/cI9dfQLTXlU
youtu.be/a2DvXnecXVk
DESCRIPTION
Jim Ledin — author of Modern Computer Architecture and Organization, now in its third edition — joins Maciej "MJ" Jedrzejewski to talk through the book's two brand-new chapters on GPUs and large language models, and the specific challenge of writing about hardware that changes faster than a book can ship. Ledin's approach was to focus on durable architectural principles (parallelism, memory bandwidth, tensor processing, and how systems scale from one chip to an entire data center rack) rather than chasing the current state of the art. For the LLM chapter specifically, he chose GPT-2 as the teaching example precisely because it's open-source and small enough to trace by hand — and because, as he explains, the transformer architecture underneath today's frontier models is fundamentally the same structure, just scaled up.
The most concrete takeaway for engineers: the AI buildout's real bottleneck right now isn't compute, it's memory bandwidth — a shift driving high-bandwidth memory production at the expense of consumer RAM, which Ledin illustrates with a blunt data point (a 32GB DDR5 stick that cost $69 a year ago now runs $440). But asked which single chapter would most change how a working developer with no hardware background thinks about their own code, Ledin doesn't point to AI at all — he points to the chapter on pipelining and cache hierarchy, arguing that most of the thousandfold speedup from 1980s PCs to today came from those optimizations, not clock speed, and that writing cache- and pipeline-friendly code is still one of the highest-leverage skills a developer can have.
TIMECODES
00:00 Intro
00:47 The Commodore 64 that started it all
04:36 Two new chapters: GPUs & LLMs
10:00 Why GPUs became AI hardware by accident
13:33 Training vs Inference: Same chip, different job
15:03 Why GPT-2, not GPT-5, is the best teacher
17:37 The data center is the computer now
18:41 The real AI bottleneck nobody's talking about
21:59 The one chapter every developer should read
25:43 Outro
RECOMMENDED BOOKS
Jim Ledin • Modern Computer Architecture and Organization • amzn.to/4wHMhQN
Jim Ledin • Architecting High-Performance Embedded Systems • amzn.to/3UpXl7z
Jim Ledin • Simulation Engineering • amzn.to/4qvylYQ
Maciej «MJ» Jedrzejewski • Master Software Architecture • leanpub.com/master-software-architecture
https://bsky.app/profile/gotocon.com
twitter.com/GOTOcon
linkedin.com/company/goto-
instagram.com/goto_con
facebook.com/GOTOConferences
#ComputerArchitecture #ComputerOrganization #ModernComputerArchitectures #Hardware #HardwareFoundations #GPU #Microchips #AIDatacenters #SoftwareEngineering #TodayInTech #Programming #JimLedin #MaciejJedrzejewski #GOTO #BookClub
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 interview was recorded for the GOTO Book Club. #GOTOcon #GOTObookclub
http://gotopia.tech/bookclub
Check out more here:
https://gotopia.tech/articles/452
Jim Ledin - President at Ledin Engineering & Author of “Modern Computer Architecture and Organization” @jledin1
Maciej «MJ» Jedrzejewski - Tech Agnostic Architect & Author of “Master Software Architecture” @learnsoftwarearchitecture
RESOURCES
Jim
linkedin.com/in/jimledin
https://x.com/ledin_eng
github.com/jledin
ledin.com
MJ
github.com/meaboutsoftware
linkedin.com/in/jedrzejewski-maciej
fractionalarchitect.io
Links
youtu.be/wNT2qkusVrA
youtu.be/Pv0cfsastFs
youtu.be/cI9dfQLTXlU
youtu.be/a2DvXnecXVk
DESCRIPTION
Jim Ledin — author of Modern Computer Architecture and Organization, now in its third edition — joins Maciej "MJ" Jedrzejewski to talk through the book's two brand-new chapters on GPUs and large language models, and the specific challenge of writing about hardware that changes faster than a book can ship. Ledin's approach was to focus on durable architectural principles (parallelism, memory bandwidth, tensor processing, and how systems scale from one chip to an entire data center rack) rather than chasing the current state of the art. For the LLM chapter specifically, he chose GPT-2 as the teaching example precisely because it's open-source and small enough to trace by hand — and because, as he explains, the transformer architecture underneath today's frontier models is fundamentally the same structure, just scaled up.
The most concrete takeaway for engineers: the AI buildout's real bottleneck right now isn't compute, it's memory bandwidth — a shift driving high-bandwidth memory production at the expense of consumer RAM, which Ledin illustrates with a blunt data point (a 32GB DDR5 stick that cost $69 a year ago now runs $440). But asked which single chapter would most change how a working developer with no hardware background thinks about their own code, Ledin doesn't point to AI at all — he points to the chapter on pipelining and cache hierarchy, arguing that most of the thousandfold speedup from 1980s PCs to today came from those optimizations, not clock speed, and that writing cache- and pipeline-friendly code is still one of the highest-leverage skills a developer can have.
TIMECODES
00:00 Intro
00:47 The Commodore 64 that started it all
04:36 Two new chapters: GPUs & LLMs
10:00 Why GPUs became AI hardware by accident
13:33 Training vs Inference: Same chip, different job
15:03 Why GPT-2, not GPT-5, is the best teacher
17:37 The data center is the computer now
18:41 The real AI bottleneck nobody's talking about
21:59 The one chapter every developer should read
25:43 Outro
RECOMMENDED BOOKS
Jim Ledin • Modern Computer Architecture and Organization • amzn.to/4wHMhQN
Jim Ledin • Architecting High-Performance Embedded Systems • amzn.to/3UpXl7z
Jim Ledin • Simulation Engineering • amzn.to/4qvylYQ
Maciej «MJ» Jedrzejewski • Master Software Architecture • leanpub.com/master-software-architecture
https://bsky.app/profile/gotocon.com
twitter.com/GOTOcon
linkedin.com/company/goto-
instagram.com/goto_con
facebook.com/GOTOConferences
#ComputerArchitecture #ComputerOrganization #ModernComputerArchitectures #Hardware #HardwareFoundations #GPU #Microchips #AIDatacenters #SoftwareEngineering #TodayInTech #Programming #JimLedin #MaciejJedrzejewski #GOTO #BookClub
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)
