@arXiv_csPL_bot@mastoxiv.page2025-09-12 07:57:29
Dependent-Type-Preserving Memory Allocation
Paulette Koronkevich, William J. Bowman
https://arxiv.org/abs/2509.09059 https://arxiv.org/pdf/2509.09059
@arXiv_csPL_bot@mastoxiv.page2025-09-12 07:57:29
@dawid@social.craftknight.com2025-09-13 20:34:53
@… Hope that you'll find Poland interesting 😁 Sometimes people can be a bit harsh or rough at first, but in the end they're not that bad - just something to get used to in postcommunist countries.
@mk_rexx@metalhead.club2025-11-12 06:30:55
pain pain go away come again another day
@heiseonline@social.heise.de2025-11-10 17:04:00
"Anno 117" im Test: Rom für Zuckerbäcker
Produktionsketten sind wichtig, aber auch nicht alles: Mit "Anno 117" bedient die Serie alte Stärken und punktet vor allem mit einer wunderschönen Antike.
https://www.…
@detondev@social.linux.pizza2025-11-12 20:56:16
🐓🥚🐣✨️
@arXiv_csPL_bot@mastoxiv.page2025-09-12 07:56:59
Towards Verified Compilation of Floating-point Optimization in Scientific Computing Programs
Mohit Tekriwal, John Sarracino
https://arxiv.org/abs/2509.09019 https://
@dawid@social.craftknight.com2025-09-13 20:34:15
@… I didn't believe it at first when a French/Polish guy in Greece told us during our first year of traveling that people treat you differently once they know you're just passing through. But it's really true.
For example, when I park my red van and stay a few days working in some random village, people sometimes act strangely arou…
For example, when I park my red van and stay a few days working in some random village, people sometimes act strangely arou…
@ruario@vivaldi.net2025-09-13 11:30:53
For the sake of completion I suppose I should explain what that 'desktop registration' setting does and why this could be useful for employees like @… or myself but perhaps less so for the general Vivaldi user base. 'Registering an install with the desktop environment' means adding entries to the application menus, allowing you to pin to the dock or ta…
@stb@chaos.social2025-10-12 07:56:09
@lilmikesf@c.im2025-11-13 07:31:39
#SouthernCalifornia residents stunned to hear a #BayArea tech company had acquired their local municipal owned #airport from city without any advance knowledge.
A press release was first indicator that the
@randombaywatch@mastodon.social2025-11-11 22:32:06
Minor Zombie Uprising
Baywatch Nights 2x18 - Symbol of Death
#RandomBaywatch #lvdlpx #Baywatch
@netzschleuder@social.skewed.de2025-10-12 07:00:12
bitcoin: Bitcoin transactions (2009-2013)
A network of Bitcoin transactions spanning January 2009 to April 2013. Nodes are public-key "addresses" at some time within the given period, and each edge is marked with the time (at a resolution of seconds) of the transaction.
This network has 6336770 nodes and 16057711 edges.
Tags: Economic, Cryptocurrency, Unweighted, Timestamps
@arXiv_csPL_bot@mastoxiv.page2025-09-12 07:36:39
[2025-09-12 Fri (UTC), 2 new articles found for cs.PL Programming Languages]
toXiv_bot_toot
@dawid@social.craftknight.com2025-09-13 09:43:26
@… Mieliśmy - tylko odpadają w czasie jazdy ;) Teraz nasza znajoma zbiera nasze magnesy na lodówkę - nie pytaj :P
@vosje62@mastodon.nl2025-11-12 16:49:02
/2
And so it begins .... 😇
@Sustainable2050@mastodon.energy2025-10-11 15:22:39
Good afternoon!
@azonenberg@ioc.exchange2025-10-11 17:19:17
Checking on the Ceres FPGA board sims for @… that I had running while I was away. We're looking at a PCIe differential pair layer transition plus AC coupling capacitor.
With no cutout (green trace) response is awful: -3 dB insertion loss at 9.1 GHz, and -10 dB return loss at only 2.8 GHz.
Adding the cutout in the gerbers (blue trace) ma…
@Kabarett@mastodon.social2025-10-13 18:25:15
Hape Kerkeling erhielt Jacob-Grimm-Preis
Bei der Verleihung des Hauptpreises des Kulturpreises Deutsche Sprache wurde Kerkeling als "einer der vielseitigsten Sprachkünstler im deutschsprachigen Raum" gelobt - Für sein Engagement für Demokratie und gegen Rechtsextremismus wurde er mit dem Eugen-Bolz-Preis 2025 ausgezeichnet.
@cyrevolt@mastodon.social2025-09-11 21:27:36
IT WORKS! ZOMG IT WORKS!!!!
🥳
Turns out, I have to use `internal/runtime/atomic` instead of sync/atomic`` for the `atomic.Bool`.
Then this here will _not_ happen lol:
https://gist.github.com/orangecms/7f985ef19398544114599430b79868f7#file-lol-…
@weddingweiser@berlin.social2025-11-12 06:30:12
Volkspark Rehberge: Was hinter dem Wasser auf dem Tanzring steckt https://weddingweiser.de/volkspark-rehberge-was-hinter-dem-wasser-auf-dem-tanzring-steckt/
@joe@toot.works2025-09-12 15:51:06
I got two new shirts in the mail, yesterday.
@alm10965@mastodon.social2025-11-11 08:32:03
Generalprobe zur Anfahrt und Lokalisierung im Gebäude zur Untersuchung morgen
@arXiv_csPL_bot@mastoxiv.page2025-09-12 11:26:34
Replaced article(s) found for cs.PL. https://arxiv.org/list/cs.PL/new
[1/1]:
- Exploring the Theory and Practice of Concurrency in the Entity-Component-System Pattern
Patrick Redmond, Jonathan Castello, Jos\'e Manuel Calder\'on Trilla, Lindsey Kuper
@dawid@social.craftknight.com2025-09-13 09:31:06
@… Bawię się w "zbierz je wszystkie" 😁
@midtsveen@social.linux.pizza2025-10-11 15:12:50
Three people have changed the way I see the world in ways I can never undo: Karl Marx, Friedrich Nietzsche, and Rudolf Rocker.
Each of them, through their own political and philosophical struggles, stripped away the false comforts I once clung to. They exposed the machinery of power, the illusions of morality, and the myths of authority, leaving me face to face with the bare truth of how the world works.
Coming to that realization, one that cannot be undone, life appears more viv…
@UP8@mastodon.social2025-09-11 01:43:48
A view of the crowd after the Ithaca 5 and 10 in front of Ithaca High School... more photos that Kilian Weinberger, myself and maybe some others took here: #photo
@dawid@social.craftknight.com2025-09-13 09:09:33
@… Oj jest inaczej :)
@bart@toot.re2025-09-12 14:55:44
Don't think 'left'
Don't think 'right'
Think!
@netzschleuder@social.skewed.de2025-10-12 15:00:06
word_assoc: Edinburgh word associations
A network of word associations showing the count of such associations as collected from subjects, from the Edinburgh Associative Thesaurus (EAT). Each node represents a word, and a directed edge (i, j) denotes that word i was used as a stimulus to which word j was given as a response. Multiple edges are allowed.
This network has 23132 nodes and 312342 edges.
Tags: Informational, Language, Unweighted, Multigraph
@blakes7bot@mas.torpidity.net2025-11-11 07:02:02
#Blakes7 Series D, Episode 08 - Games
AVON: Who does?
SLAVE: I fear I am unable to identify them Master. I regret this failure most bitterly.
AVON: Orac?
https://blake.torpidity.net/m/408/117…
@dawid@social.craftknight.com2025-09-13 08:40:16
@… Grill ze znajomymi jednego dnia, drugiego urodzinki w rodzinie - zdecydowanie przyjemne plany :)
@megapenguinx@social.linux.pizza2025-10-07 07:16:42
I have a date for Halloween but first I need to take a train 4 hours away to actually get there
@skington@glasgow.social2025-11-11 23:49:32
If a bug falls in a forest but nobody is around to hear, did it ever happen?
@dawid@social.craftknight.com2025-09-13 08:30:48
W końcu się przełamałem i zaczęliśmy obklejać sobie szybę z tyłu flagami.
Była to świadoma decyzja, aby przestać bawić się w bycie incognito, a dać jasny sygnał, że się podróżuje, jeździ z miejsca na miejsce i nie jest się podejrzanym busem na osiedlu, który tu zaczyna się zadomawiać.
Sami w to nie wierzyliśmy i musieliśmy przekonać na własnej skórze. Podejście zmienia się o 180 stopni jak ktoś dowiaduje się, że jest się "podróżnikiem".
Zobaczymy, czy to nam pomoż…
@cyrevolt@mastodon.social2025-09-13 16:49:56
Here is my writeup on the adventure I faced with Go's use of syscalls recently:
https://gist.github.com/orangecms/7f985ef19398544114599430b79868f7
@weddingweiser@berlin.social2025-10-13 08:29:11
Seit 30 Jahren liegen wieder Schienen auf dem Mittelstreifen der Osloer Straße
@arXiv_csGT_bot@mastoxiv.page2025-10-13 12:45:21
Replaced article(s) found for cs.GT. https://arxiv.org/list/cs.GT/new
[1/1]:
- Finite-memory Strategies for Almost-sure Energy-MeanPayoff Objectives in MDPs
Mohan Dantam, Richard Mayr
@dawid@social.craftknight.com2025-09-13 07:06:53
@… Masz może nową i działającą i instrukcje na której się opierałaś? Z chęcią bym sobie kilka rzeczy jeszcze ograł, ale znowu wracać do N po steamdecku...
@dawid@social.craftknight.com2025-09-13 06:56:42
@… https://www.passwordstore.org - with"otp" extension
@randombaywatch@mastodon.social2025-09-07 10:32:00
The date wasn't going well
#DavidHasselhoff #LindaHoffman
Season 7 Episode 4 "Windswept"
#RandomBaywatch
@lilmikesf@c.im2025-09-10 23:42:51
After Indictment by #GreeneCounty #GrandJury., East Tennessee man Jesse Wilhoit, 36, set to be tried for gruesome #machete murders of parents
The state plans to seek life without the possibility of parole in an upcoming …
@arXiv_csPL_bot@mastoxiv.page2025-09-11 11:22:11
Replaced article(s) found for cs.PL. https://arxiv.org/list/cs.PL/new
[1/1]:
- Hiord#: An Approach to the Specification and Verification of Higher-Order (C)LP Programs
Marco Ciccal\`e, Daniel Jurjo-Rivas, Jose F. Morales, Pedro L\'opez-Garc\'ia, Manuel V. Hermenegildo
@weddingweiser@berlin.social2025-10-13 05:30:01
Kiez-Momente: Herbstsonne im Wedding https://weddingweiser.de/kiez-momente-herbstsonne-im-wedding/
@arXiv_csPL_bot@mastoxiv.page2025-09-11 10:25:28
Crosslisted article(s) found for cs.PL. https://arxiv.org/list/cs.PL/new
[1/1]:
- Securing Cryptographic Software via Typed Assembly Language (Extended Version)
Shixin Song, Tingzhen Dong, Kosi Nwabueze, Julian Zanders, Andres Erbsen, Adam Chlipala, Mengjia Yan
@arXiv_csPL_bot@mastoxiv.page2025-09-11 07:49:33
XML Prompting as Grammar-Constrained Interaction: Fixed-Point Semantics, Convergence Guarantees, and Human-AI Protocols
Faruk Alpay, Taylan Alpay
https://arxiv.org/abs/2509.08182
@weddingweiser@berlin.social2025-10-12 13:27:42
Kapernaumkirche an der Seestraße Ecke Antwerpener Straße
@arXiv_csGT_bot@mastoxiv.page2025-10-13 11:04:14
Crosslisted article(s) found for cs.GT. https://arxiv.org/list/cs.GT/new
[1/1]:
- GRPO-GCC: Enhancing Cooperation in Spatial Public Goods Games via Group Relative Policy Optimizat...
Zhaoqilin Yang, Chanchan Li, Tianqi Liu, Hongxin Zhao, Youliang Tian
@arXiv_csPL_bot@mastoxiv.page2025-09-11 07:35:43
[2025-09-11 Thu (UTC), 1 new article found for cs.PL Programming Languages]
toXiv_bot_toot
@weddingweiser@berlin.social2025-10-12 05:30:02
Industrie, Dampf und Fortschritt im Wedding https://weddingweiser.de/industrie-dampf-und-fortschritt-im-wedding/
@cyrevolt@mastodon.social2025-09-11 16:05:49
Took me a good while now to find a way to
- configure a Linux kernel
- find a suitable QEMU command
- build a corresponding initramfs
for 32-bit Arm Linux supporting Arm v7.
It is such an utter mess lol
Addendum:
In the end, I went with the RPi2 target.
My defconfig and notes are here:
https…
@weddingweiser@berlin.social2025-09-12 11:32:03
Acker, Feld, Garten. Oder Reiseziele in Skandinavien. Oder Städte in Belgien. Oder Ostsee- und Nordseeinseln. Oder Wissenschaftler. Oder frühere Kolonien. Nach all diesen Dingen sind Straßen im Wedding benannt. Auf unserem Blog haben wir alle Namen erklärt:
https://weddingweiser.de/strassennamen…
@arXiv_csGT_bot@mastoxiv.page2025-10-13 08:54:50
Approximately Bisubmodular Regret Minimization in Billboard and Social Media Advertising
Dildar Ali, Suman Benerjee, Yamuna Prasad
https://arxiv.org/abs/2510.09084 https://
@weddingweiser@berlin.social2025-09-12 11:31:26
Über die kleine Fußgänger- und Fahrradbrücke über die Panke auf Höhe Wilhelm-Kuhr-Straße und Gottschalkstraße
#meinwedding #berlinwedding #wedding65
@arXiv_csPL_bot@mastoxiv.page2025-09-10 12:04:12
Replaced article(s) found for cs.PL. https://arxiv.org/list/cs.PL/new
[1/1]:
- Software Model Checking via Summary-Guided Search (Extended Version)
Ruijie Fang, Zachary Kincaid, Thomas Reps
@weddingweiser@berlin.social2025-09-12 07:36:43
Der Wedding ist bunt - der Himmel über dem Wedding auch
@arXiv_csGT_bot@mastoxiv.page2025-10-13 08:46:10
Measuring the Hidden Cost of Data Valuation through Collective Disclosure
Patrick Mesana, Gilles Caporossi, Sebastien Gambs
https://arxiv.org/abs/2510.08869 https://
@arXiv_csPL_bot@mastoxiv.page2025-09-10 10:53:03
Crosslisted article(s) found for cs.PL. https://arxiv.org/list/cs.PL/new
[1/1]:
- What Were You Thinking? An LLM-Driven Large-Scale Study of Refactoring Motivations in Open-Source...
Mikel Robredo, Matteo Esposito, Fabio Palomba, Rafael Pe\~naloza, Valentina Lenarduzzi
@weddingweiser@berlin.social2025-09-12 05:30:03
Oktoberfest im Monella https://weddingweiser.de/oktoberfest-im-monella/
@arXiv_csPL_bot@mastoxiv.page2025-09-10 08:32:11
What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version)
Yichen Xu, Oliver Bra\v{c}evac, Cao Nguyen Pham, Martin Odersky
https://arxiv.org/abs/2509.07609
@weddingweiser@berlin.social2025-09-13 05:30:02
Müllfest auf dem Leo https://weddingweiser.de/muellfest-auf-dem-leo/
@arXiv_csGT_bot@mastoxiv.page2025-10-13 08:04:20
Robust autobidding for noisy conversion prediction models
Andrey Pudovikov, Alexandra Khirianova, Ekaterina Solodneva, Gleb Molodtsov, Aleksandr Katrutsa, Yuriy Dorn, Egor Samosvat
https://arxiv.org/abs/2510.08788
@arXiv_csPL_bot@mastoxiv.page2025-09-10 08:14:51
Fast and Extensible Hybrid Embeddings with Micros
Sean Bocirnea, William J. Bowman
https://arxiv.org/abs/2509.07551 https://arxiv.org/pdf/2509.07551…
@weddingweiser@berlin.social2025-09-12 15:39:21
Ringbahn am Bahnhof Wedding
@arXiv_csPL_bot@mastoxiv.page2025-09-10 07:50:21
veScale: Consistent and Efficient Tensor Programming with Eager-Mode SPMD
Youjie Li, Cheng Wan, Zhiqi Lin, Hongyu Zhu, Jiacheng Yang, Ziang Song, Xinyi Di, Jiawei Wu, Huiyao Shu, Wenlei Bao, Yanghua Peng, Haibin Lin, Li-Wen Chang
https://arxiv.org/abs/2509.07003
@arXiv_csPL_bot@mastoxiv.page2025-09-10 07:39:11
[2025-09-10 Wed (UTC), 3 new articles found for cs.PL Programming Languages]
toXiv_bot_toot
@weddingweiser@berlin.social2025-09-13 12:52:26
Besichtigung der Genossenschaftsbauten am Nordufer der 1892 zum Tag des offenen Denkmals
#meinwedding #berlinwedding #wedding65
@arXiv_csGT_bot@mastoxiv.page2025-10-13 07:42:40
Unending Sequential Auctions
Amir Ban
https://arxiv.org/abs/2510.08742 https://arxiv.org/pdf/2510.08742
@weddingweiser@berlin.social2025-08-13 16:40:33
In der Nacht zum 13. August wurde mir dem Bau der Mauer begonnen. Der Wedding (und Gesundbrunnen) befanden sich somit direkt an der Grenze. Teilweise Niemandsland. Mehrere Artikel auf dem Blog schildern einige Geschichten, Geschichten die bis heute nachwirken.
@weddingweiser@berlin.social2025-08-13 08:19:47
Zum Jahrestag des Mauerbaus
https://weddingweiser.de/wie-die-mauer-bis-heute-trennt/
@arXiv_csGT_bot@mastoxiv.page2025-10-13 07:35:10
[2025-10-13 Mon (UTC), 4 new articles found for cs.GT Computer Science and Game Theory]
toXiv_bot_toot
@weddingweiser@berlin.social2025-08-13 08:06:04
Guten Morgen Wedding! Stralsunder Straße im Brunnenviertel
@weddingweiser@berlin.social2025-08-13 16:41:57
Wer es am Leo schafft, schafft es überall. Oder so. Frische selbstgemachte Limo am Leopoldplatz. Möglicherweise ist er ja noch da.
@arXiv_csGT_bot@mastoxiv.page2025-08-13 12:16:19
Replaced article(s) found for cs.GT. https://arxiv.org/list/cs.GT/new
[1/1]:
- Simultaneous Go via quantum collapse
Yasha Savelyev
https://ar…
@arXiv_csPL_bot@mastoxiv.page2025-09-09 09:29:42
Mechanized Metatheory of Forward Reasoning for End-to-End Linearizability Proofs
Zachary Kent, Ugur Y. Yavuz, Siddhartha Jayanti, Stephanie Balzer, Guy Blelloch
https://arxiv.org/abs/2509.06872
@arXiv_csPL_bot@mastoxiv.page2025-09-09 09:04:32
MIO: Multiverse Debugging in the Face of Input/Output -- Extended Version with Additional Appendices
Tom Lauwaerts, Maarten Steevens, Christophe Scholliers
https://arxiv.org/abs/2509.06845
@arXiv_csPL_bot@mastoxiv.page2025-09-09 08:42:52
Dato: A Task-Based Programming Model for Dataflow Accelerators
Shihan Fang, Hongzheng Chen, Niansong Zhang, Jiajie Li, Han Meng, Adrian Liu, Zhiru Zhang
https://arxiv.org/abs/2509.06794
@arXiv_csPL_bot@mastoxiv.page2025-09-09 08:16:02
Termination Analysis of Linear-Constraint Programs
Amir M. Ben-Amram, Samir Genaim, Jo\"el Ouaknine, James Worrell
https://arxiv.org/abs/2509.06752 https://
@arXiv_csPL_bot@mastoxiv.page2025-09-09 08:06:51
Pacing Types: Safe Monitoring of Asynchronous Streams
Florian Kohn, Arthur Correnson, Jan Baumeister, Bernd Finkbeiner
https://arxiv.org/abs/2509.06724 https://
@arXiv_csPL_bot@mastoxiv.page2025-09-09 08:03:22
Fixed Parameter Tractable Linearizability Monitoring for Stack, Queue and Anagram Agnostic Data Types
Lee Zheng Han, Umang Mathur
https://arxiv.org/abs/2509.05586 https://
@arXiv_csPL_bot@mastoxiv.page2025-09-09 07:38:21
Comparing Methods for the Cross-Level Verification of SystemC Peripherals with Symbolic Execution
Karl Aaron Rudkowski, Sallar Ahmadi-Pour, Rolf Drechsler
https://arxiv.org/abs/2509.05504
@arXiv_csPL_bot@mastoxiv.page2025-09-09 07:38:02
[2025-09-09 Tue (UTC), 7 new articles found for cs.PL Programming Languages]
toXiv_bot_toot
@arXiv_csPL_bot@mastoxiv.page2025-09-09 14:50:29
Replaced article(s) found for cs.PL. https://arxiv.org/list/cs.PL/new
[1/1]:
- Decision Procedure for A Theory of String Sequences
Denghang Hu, Taolue Chen, Philipp R\"ummer, Fu Song, Zhilin Wu
@arXiv_csPL_bot@mastoxiv.page2025-09-09 12:38:00
Crosslisted article(s) found for cs.PL. https://arxiv.org/list/cs.PL/new
[1/1]:
- The compact double category $\mathbf{Int}(\mathbf{Poly}_*)$ models control flow and data transfor...
Grigory Kondyrev, David I. Spivak
@weddingweiser@berlin.social2025-09-08 14:21:22
Die runde Ecke von der Müllerstraße
@arXiv_csPL_bot@mastoxiv.page2025-09-08 11:30:26
Replaced article(s) found for cs.PL. https://arxiv.org/list/cs.PL/new
[1/1]:
- Special Delivery: Programming with Mailbox Types (Extended Version)
Simon Fowler, Duncan Paul Attard, Danielle Marshall, Simon J. Gay, Phil Trinder
@weddingweiser@berlin.social2025-11-11 13:00:16
Am herbstlichen Plötzensee
@arXiv_csPL_bot@mastoxiv.page2025-09-08 10:22:07
Crosslisted article(s) found for cs.PL. https://arxiv.org/list/cs.PL/new
[1/1]:
- Forall-Exists Relational Verification by Filtering to Forall-Forall
Ramana Nagasamudram, Anindya Banerjee, David A. Naumann
@weddingweiser@berlin.social2025-11-11 06:30:14
Blockkonzept am Bahnhof Wedding beschlossen https://weddingweiser.de/blockkonzept-am-bahnhof-wedding-beschlossen/
@arXiv_csPL_bot@mastoxiv.page2025-09-08 09:00:50
Non-Termination Proving: 100 Million LoC and Beyond
Julien Vanegue, Jules Villard, Peter O'Hearn, Azalea Raad
https://arxiv.org/abs/2509.05293 https://…
@arXiv_csPL_bot@mastoxiv.page2025-09-08 08:44:30
AI-Assisted Modeling: DSL-Driven AI Interactions
Steven Smyth, Daniel Busch, Moez Ben Haj Hmida, Edward A. Lee, Bernhard Steffen
https://arxiv.org/abs/2509.05160 https://…
@weddingweiser@berlin.social2025-10-11 09:44:35
Möwensee im Volkspark Rehberge
@arXiv_csPL_bot@mastoxiv.page2025-09-08 08:09:00
A Large-Scale Study of Floating-Point Usage in Statically Typed Languages
Andrea Gilot, Tobias Wrigstad, Eva Darulova
https://arxiv.org/abs/2509.04936 https://
@weddingweiser@berlin.social2025-10-11 05:30:02
3 gute und 3 schlechte Seiten am Soldiner Kiez https://weddingweiser.de/3-gute-und-3-schlechte-seiten-am-soldiner-kiez/
@arXiv_csPL_bot@mastoxiv.page2025-09-08 07:39:50
[2025-09-08 Mon (UTC), 3 new articles found for cs.PL Programming Languages]
toXiv_bot_toot
@weddingweiser@berlin.social2025-09-11 05:11:05
Farben neu sehen: „Colorb(l)ind“ im Wedding https://weddingweiser.de/farben-neu-sehen-colorblind-im-wedding/
@weddingweiser@berlin.social2025-09-11 17:44:49
Regnerisch im Wedding
U-Bahnhof Rehberge
@weddingweiser@berlin.social2025-09-11 12:00:26
Der Wedding kann auch ganz romantisch sein
Hof vor der Bibliothek am Luisenbad
@weddingweiser@berlin.social2025-09-11 08:46:13
Morgensonne im Volkspark Rehberge
@weddingweiser@berlin.social2025-09-11 08:44:25
Der Brunnen auf dem Nettelbeckplatz
Skulptur "Tanz auf dem Vulkan "
