C++ News Section
As per usual for the last few meetups we started the evening with a small roundup of news in the c++ World.
C++ Community
This week, a few highlights on some projects in the C++ community.
If you’re interested in more C++ talks, GlobalCpp is a growing community collaboration that hosts regular online presentations from user groups around the world—worth checking out if you want more content and live sessions.
If you want to keep up with C++ user groups around the world, the Swedish C++ User Group is a great hub that aggregates talks, events, and links from multiple communities.
For C++ news and community discussion in audio form, CppCast is back! Hosted by Jason Turner, it features conversations with C++ developers about current topics and developments. Alongside that, his YouTube series C++ Weekly offers short, focused videos diving into practical C++ tips, tricks, and modern language features.
https://cppcast.com / https://www.youtube.com/channel/UCxHAlbZQNFU2LgEtiqd2Maw
C++ Program Correctness
and its Limitations
David Sankel explores the philosophical and practical challenges of defining software correctness. By examining how we establish truth through authority, texts, and logic, this interactive discussion invites participants to analyze the foundations of code evaluation and the limitations inherent in our current approaches to determining whether a program is truly correct.
From Large Language Models
to Reasoning Language Models
In this year’s Raj Reddy Artificial Intelligence Lecture, Torsten Hoefler, Professor at ETH Zürich, traced the computational and optimization breakthroughs that paved the way for the widespread adoption of AI. He explored the emergence of reasoning models such as OpenAI’s o1 and o3, highlighted innovative techniques like constructive hallucination, and discussed the challenges of meeting escalating computational demands. Torsten concluded his lecture by examining how the Ultra Ethernet initiative has helped shape the future of AI infrastructure.
C++ Online Workshops
If you’re interested in sharpening your C++ skills, these workshops cover practical topics like templates, concurrency, and a variety of other topics.
Having Fun with C++ Coroutines – Michael Hava
Onto the main topic, Michael’s presentation of C++ coroutines. Coroutines have a long history, dating back to the late 1950s. Language-level support has been added in C++20, yet their adoption is comparatively low and there is a perception of them being only necessary for asynchronous programming.
This talk started with the abstract idea of coroutines, presented high-level libraries included in C++26 and went over caveats users need to be aware of when using coroutines.
Afterwards, we did a deep dive into the C++ coroutine framework, implementing a high-level facility that is not already provided by the standard library.
Until Next Time
We look forward to seeing both familiar faces and new ones at our upcoming meetups. New dates will be announced soon on https://cppusergroupvienna.org.
Disclaimers
A big thank you to the TU alumni club for providing us with such a great venue! And hey! Why not join too?