Tootfinder

Fachliche Einordnung von Optionen zur Neuplanung der #Carolabrücke - Beitrag aus verkehrswissenschaftlicher Sicht zur Unterstützung des lokalen Diskurses
„Von 57.000 Kfz/Tag im Jahr 2003 auf nur noch 31.000 Kfz/Tag im Jahr 2022. Vor dem Hintergrund stagnierender Kfz-Nachfrage ist ein solcher Ausbau weder verkehrlich erforderlich noch wirtschaftlich sinnvoll – weder im Bau noch im l…

Carolabrücke: Jetzt die Weichen für eine zukunftsfähige Mobilität stellen | Sven Lißner
Carolabrücke: Jetzt die Weichen für eine zukunftsfähige Mobilität stellen Nach dem Einsturz der Carolabrücke im vergangenen September schreitet der Rückbau aktuell voran. Gleichzeitig stehen im Bauausschuss und Stadtrat wegweisende Entscheidungen zur künftigen Gestaltung an. Ein Teil des Stadtrats spricht sich für einen Wiederaufbau mit vier Kfz-Spuren aus – trotz deutlich gesunkener Verkehrszahlen: Von 57.000 Kfz/Tag im Jahr 2003 auf nur noch 31.000 Kfz/Tag im Jahr 2022. Vor dem Hin…

Whole-Person Education for AI Engineers
Rubaina Khan, Tammy Mackenzie, Sreyoshi Bhaduri, Animesh Paul, Branislav Radelji\'c, Joshua Owusu Ansah, Beyza Nur Guler, Indrani Bhaduri, Rodney Kimbangu, Nils Ever Murrugarra Llerena, Hayoung Shin, Lilianny Virguez, Rosa Paccotacya Yanque, Thomas Mekha\"el, Allen Munoriyarwa, Leslie Salgado, Debarati Basu, Curwyn Mapaling, Natalie Perez, Yves Gaudet, Paula Larrondo

Whole-Person Education for AI Engineers
This autoethnographic study explores the need for interdisciplinary education spanning both technical and philosophical skills - as such, this study leverages whole-person education as a theoretical approach needed in AI engineering education to address the limitations of current paradigms that prioritize technical expertise over ethical and societal considerations. Drawing on a collaborative autoethnography approach of fourteen diverse stakeholders, the study identifies key motivations driving…

Die ePetition 179398 an den Bundestag aus dem Bereich Bundesverfassungsgerichtsgesetz mit dem Titel
Reform des Bundesverfassungsgerichts
kann bis zum Mittwoch 16. Juli 2025 01:00 UTC mitgezeichnet werden und lautet
Mit der Petition wird eine Reform des Bundesverfassungsgerichts gefordert. Das Bundesverfassungsgericht sollte nicht nur angerufen werden können, sondern sollte auch proaktiv auf Verstöße reagieren können. Als Richter sollten nur Juristen eingesetzt werden, die k…

Automated Synthesis of Formally Verified Multi-Abstraction Function Summaries
Fanpeng Yang, Xu Ma, Shuling Wang, Xiong Xu, Qinxiang Cao, Naijun Zhan, Xiaofeng Li, Bin Gu
https://arxiv.org/abs/2506.09550

Automated Synthesis of Formally Verified Multi-Abstraction Function Summaries
Function summaries, which characterize the behavior of code segments (typically functions) through preconditions and postconditions, are essential for understanding, reusing, and verifying software, particularly in safety-critical domains like aerospace embedded systems. However, these mission-critical legacy code serving as a valuable reused asset often lacks formal specifications. It is challenging to automatically generate function summaries for C programs, due to the existence of complex fe…

Programming as Theory Building: Why Senior Developers Are More Valuable Than Ever
https://cekrem.github.io/posts/programming-as-theory-building-naur/

Die ePetition 179398 an den Bundestag aus dem Bereich Bundesverfassungsgerichtsgesetz mit dem Titel
Reform des Bundesverfassungsgerichts
kann bis zum Mittwoch 16. Juli 2025 01:00 UTC mitgezeichnet werden und lautet
Mit der Petition wird eine Reform des Bundesverfassungsgerichts gefordert. Das Bundesverfassungsgericht sollte nicht nur angerufen werden können, sondern sollte auch proaktiv auf Verstöße reagieren können. Als Richter sollten nur Juristen eingesetzt werden, die k…

Die ePetition 179398 an den Bundestag aus dem Bereich Bundesverfassungsgerichtsgesetz mit dem Titel
Reform des Bundesverfassungsgerichts
kann bis zum Mittwoch 16. Juli 2025 01:00 UTC mitgezeichnet werden und lautet
Mit der Petition wird eine Reform des Bundesverfassungsgerichts gefordert. Das Bundesverfassungsgericht sollte nicht nur angerufen werden können, sondern sollte auch proaktiv auf Verstöße reagieren können. Als Richter sollten nur Juristen eingesetzt werden, die k…

Die ePetition 179398 an den Bundestag aus dem Bereich Bundesverfassungsgerichtsgesetz mit dem Titel
Reform des Bundesverfassungsgerichts
kann bis zum Mittwoch 16. Juli 2025 01:00 UTC mitgezeichnet werden und lautet
Mit der Petition wird eine Reform des Bundesverfassungsgerichts gefordert. Das Bundesverfassungsgericht sollte nicht nur angerufen werden können, sondern sollte auch proaktiv auf Verstöße reagieren können. Als Richter sollten nur Juristen eingesetzt werden, die k…

Die ePetition 181600 an den Bundestag aus dem Bereich Umsatzsteuer mit dem Titel
Einheitliche Besteuerung pflanzlicher und tierischer Milchmischgetränken in der Gastronomie
kann bis zum Dienstag 15. Juli 2025 01:00 UTC mitgezeichnet werden und lautet
Mit der Petition wird gefordert, dass Nr. 35 der Anlage 2 zum Umsatzsteuergesetz so geändert wird, dass bei der Besteuerung von pflanzlichen und tierischen Milchmischgetränken in der Gastronomie eine einheitliche steuerliche Be…

Die ePetition 181600 an den Bundestag aus dem Bereich Umsatzsteuer mit dem Titel
Einheitliche Besteuerung pflanzlicher und tierischer Milchmischgetränken in der Gastronomie
kann bis zum Dienstag 15. Juli 2025 01:00 UTC mitgezeichnet werden und lautet
Mit der Petition wird gefordert, dass Nr. 35 der Anlage 2 zum Umsatzsteuergesetz so geändert wird, dass bei der Besteuerung von pflanzlichen und tierischen Milchmischgetränken in der Gastronomie eine einheitliche steuerliche Be…