home.social

#dagstuhl — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #dagstuhl, aggregated by home.social.

  1. On a train to #Dagstuhl, I finally got to read the nice write-up about on-device local-web-to-app tracking: localmess.github.io/assets/bri

    TL;DR summary: You might want to uninstall (or deactivate if pre-loaded) all #Facebook and #Yandex apps from your phone. That kind of behavior is pretty clearly malicious - not even just ethically wrong, but seems actually illegal (at least in the EU, though IANAL).

  2. On a train to #Dagstuhl, I finally got to read the nice write-up about on-device local-web-to-app tracking: localmess.github.io/assets/bri

    TL;DR summary: You might want to uninstall (or deactivate if pre-loaded) all #Facebook and #Yandex apps from your phone. That kind of behavior is pretty clearly malicious - not even just ethically wrong, but seems actually illegal (at least in the EU, though IANAL).

  3. On a train to #Dagstuhl, I finally got to read the nice write-up about on-device local-web-to-app tracking: localmess.github.io/assets/bri

    TL;DR summary: You might want to uninstall (or deactivate if pre-loaded) all #Facebook and #Yandex apps from your phone. That kind of behavior is pretty clearly malicious - not even just ethically wrong, but seems actually illegal (at least in the EU, though IANAL).

  4. On a train to #Dagstuhl, I finally got to read the nice write-up about on-device local-web-to-app tracking: localmess.github.io/assets/bri

    TL;DR summary: You might want to uninstall (or deactivate if pre-loaded) all #Facebook and #Yandex apps from your phone. That kind of behavior is pretty clearly malicious - not even just ethically wrong, but seems actually illegal (at least in the EU, though IANAL).

  5. On a train to #Dagstuhl, I finally got to read the nice write-up about on-device local-web-to-app tracking: localmess.github.io/assets/bri

    TL;DR summary: You might want to uninstall (or deactivate if pre-loaded) all #Facebook and #Yandex apps from your phone. That kind of behavior is pretty clearly malicious - not even just ethically wrong, but seems actually illegal (at least in the EU, though IANAL).

  6. I’ve grumbled about the ludicrous price of conferences a lot recently. To put this in perspective:

    I am off to a Dagstuhl seminar soon. The total cost of attending this three-day event (train to the airport, flight, taxi to the venue in the middle of nowhere, food, accommodation, and attendance) is less than just the registration fee for SOSP last year and EuroLLVM this year. And I expect to get far more out of it than either.

    Last year I taught at a week-long summer school (PLISS). If I had paid the registration fee, the total cost of attending would have been slightly more than the cost of registration for either of the other events.

    But both of those events are bigger! Yes, but does that make them more useful? I don’t have time to talk to most of the attendees and so much of the program is full of talks that could have been prerecorded videos (which I could watch without travelling) that the actual face-to-face time with other people is smaller.

    Computer science really needs to rethink the ‘spend huge amounts of money going to massive conferences’ model. It excludes people who aren’t backed by well-funded institutions. And the value for attendees is quite low (far lower than for a lot of more focused smaller events).

    #SOSP #EuroLLVM #ACM #Dagstuhl

  7. The #dblp computer science bibliography faces a strong demand. But its net budget is shrinking. This is why we humbly ask for your kind support in the form of a donation to Schloss #Dagstuhl LZI.

    If you value our work and want to help ensure the ongoing maintenance, improvement, and future growth of dblp, learn more or donate here:
    dagstuhl.de/en/dblp/donate

    Thank you very much!

  8. Pleased to be at Schloss #Dagstuhl in Wadern, #Germany this week for a #CODATA-sponsored workshop: "The #Provenance Chain: Connecting and Reusing #Data, Models and Experiments".

  9. It turned out that indexing by @dblp requires the editors to bring a #IRRJ paper copy to the #Dagstuhl library in person, signed. Djoerd and Johanne did just that this week!

  10. Ads in generated text: Can we block promotional text in LLM responses with Poopsy Cola? #Dagstuhl

  11. An exciting week lies ahead: Our #Dagstuhl Seminar "Open Scholarly Information Systems: Status Quo, Challenges, Opportunities" starts tomorrow. ~MRA
    dagstuhl.de/25381

  12. Last week, I had the privilege of discussing #privacy washing with an incredible and diverse group at #Dagstuhl. The conversations were eye-opening, and recent news keeps reminding us why this issue matters:

    Ars Technica: Everything you say to your Echo will be sent to Amazon starting March 28
    arstechnica.com/gadgets/2025/0

  13. Look what I just found at #Dagstuhl @savetheAI

    Guess I won’t have coffee then. Gotta keep those shrimp Jesuses coming! #saveTheAI

  14. I am excited to co-organise #Dagstuhl seminar next month on #privacywashing through #PETs and the need for a privacy evaluation framework to prevent #privacywashing.

    The privacy guarantees of #PETs cannot be assessed at the protocol level (e.g., cryptographic protocol). The entire system and implementation needs to be assessed to make any privacy claims.

    dagstuhl.de/en/seminars/semina

  15. #dagstuhl discussions - can LLMs help in leveraging the implicit semantics of programmer driven variable names for program analysis

  16. #dagstuhl discussions - why does more training and layers lead to increased data complexity or non trivial analysis

  17. #dagstuhl discussions on explainability - it is not enough to obtain an explanation (and sometimes they don’t matter to the customer, but only to the ml engineer for debugging and correctness), but also to challenge the nature of the decision. The decision rules are not set in …

  18. #dagstuhl armando solar lezma on counterexample guided inductive synthesis

    bit.ly/412mZA9

  19. hongsoek Yang on differentiable symmetry preserving SAT #dagstuhl

    bit.ly/40Tj1c6

  20. #Dagstuhl idea - generate cryptocurrency DAGE as a viable alternative to DOGE. It’ll hold its value for a full well before deprecating wildly

  21. #Dagstuhl - how to understand semantic loss etc regularisation in terms of desired neural network distribution? Cf our recent paper using information geometry

    bit.ly/3Q0aKOt

  22. #dagstuhl for ice breaker and introductions, we are asking ppl to give details on a failed research project - things have ranged from intractability of constraint query languages to nesy semantics to formal models of loss functions and nesy architectures

  23. #Dagstuhl discussions: What’s the relation between independence constraints in NeSy vs reasoning shortcuts vs data/knowledge divide vs providing more labelled data thereby eliminating all these issues

    dagstuhl.de/en/seminars/semina

  24. #dagstuhl Caterina Urban on hyper safety verification in neural networks

    bit.ly/42CQzh3

  25. Emile van krieken on differentiate logics using probabilistic semantics in nesy #dagstuhl

    bit.ly/3WNe3we

  26. So glad our seminar paper on is finally published and open access 🎉

    Mobility Data Science: Perspectives and Challenges

    doi.org/10.1145/3652158

    Kudos to the leading author team for distilling all the inputs

  27. Let's see if we can come up with an answer to these around at :)