Es ist doch wirklich nicht zu glauben!!

Da ist uns doch beim Check unseres Geschäftskontos aufgefallen, dass die #EpikurPVS GmbH pünktlich zum Einzugstermin Ende Januar den vollen Rechnungsbetrag abgebucht hat!

Die versprochene "Verrechnung" der Gutschrift der fälschlich berechneten 213€ hat also nicht stattgefunden.

Und - Surprise! - seitdem (1 Monat) auch keine separate Gutschrift von der Epikur GmbH auf unserem Geschäftskonto.

Ich seh ja nur 2 mögliche Erklärung für diesen erneuten "Fehler“:

• gravierende Inkompetenz
• kriminelle Energie

Ich kann nicht entscheiden, was es tatsächlich ist, aber beides sind extrem gute Gründe, nie, nie, niemals Kunde*in bei diesem #PVS-Anbieter zu werden! Auch nicht, wenn es der bisher einzige Anbieter mit Linux-Client ist. https://gts.lob-online.de/@manuelstein/statuses/01KF1EGSZB3QX5TPM2DHKFY2HZ

Post by Dipl.Psych. Manuel Stein, @[email protected]

Wow, #EpikurPVS, Ihr schafft es doch wirklich bis zum Schluss, mich in meiner Wechselentscheidung zu bestärken! Für die, die meine Erfahrungen mit Epikur hie…

gts.lob-online.de
How many runways can you see for Provideniya Bay airport in Chukotka area (Russian Federation) ? : The answer is on https://www.bigorre.org/aero/meteo/uhmd/en #provideniyabayairport #airport #chukotka #russianfederation #uhmd #pvs #aviation #avgeek vl
Provideniya Bay airport in Chukotka (Russian Federation) information UHMD PVS

General weather, closest aviation weather, Maps, hotels and aeronautical information for Provideniya Bay airport in Chukotka (Russian Federation)

Bigorre.org

Prof. Dr. Marc #Debus von der #UniMannheim wurde zum #Chefredakteur der Politischen Vierteljahresschrift/German Political Science Quarterly (#PVS), der führenden politikwissenschaftlichen Fachzeitschrift im deutschsprachigen Raum ernannt. 🏆

Die Zeitschrift erscheint seit 1960 und inzwischen teils englischsprachig, was zur internationalen Sichtbarkeit und Zitierfähigkeit der Autor*innen beiträgt.🧑‍🎓

Wir gratulieren herzlich zur Ernennung! 👏

👉Zur Pressemitteilung geht es hier: https://www.uni-mannheim.de/newsroom/presse/pressemitteilungen/2026/januar/marc-debus-zum-chefredakteur-ernannt/

📸 Elisa Berdica

#Visualisierung der #PVS-Befragung von 2024, die das Zi heute veröffentlicht hat, die die potenzielle Bereitschaft der befragten ÄrztInnen/ PsychotherapeutInnen zeigt, ihr jeweiliges Praxisverwaltungssystem zu wechseln. Ausgewertet wurden die Ergebnisse zu 30 PVS. https://www.zi.de/das-zi/medien/grafik-des-monats/detailansicht/april-2025
April 2025

Zum Teil hohe Unzufriedenheit in Arzt- und Psychotherapiepraxen mit Service und Kosten von Praxisverwaltungssystemen // Mitunter ausgeprägte Bereitschaft, Praxisverwaltungssysteme zu wechseln // „Markttransparenz durch Zi-Umfrage führt oftmals zu Produktverbesserungen“

Taint-анализ в C и C++ анализаторе PVS-Studio

Ваш код принимает данные извне? Поздравляем, вы вступили на минное поле! Любой непроверенный ввод от пользователя может привести к уязвимости, и найти все "растяжки" вручную в большом проекте почти невозможно. Но есть "сапёр" — статический анализатор. Инструмент нашего "сапёра" — taint-анализ (aka анализ помеченных данных). Он позволяет обнаружить "грязные" данные, дошедшие до опасных мест без проверки. Сегодня мы расскажем о том, как он работает.

https://habr.com/ru/companies/pvs-studio/articles/960448/

#taint_analysis #taint #static_analysis #pvsstudio #pvs #c++ #dataflow #dataflow_analysis #security #software_security

Taint-анализ в C и C++ анализаторе PVS-Studio

Ваш код принимает данные извне? Поздравляем, вы вступили на минное поле! Любой непроверенный ввод от пользователя может привести к уязвимости, и найти все "растяжки" вручную в большом проекте почти...

Хабр
Readings shared October 13, 2025

The readings shared in Bluesky on 13 October 2025 are: PVS formalization of proofs of the infinitude of primes. ~ Bruno Berto de Oliveira Ribeiro. #ITP #PVS #Math Certified decision procedures for wi

Vestigium
PVS formalization of proofs of the infinitude of primes. ~ Bruno Berto de Oliveira Ribeiro. https://bdm.unb.br/bitstream/10483/41607/1/2025_BrunoBertoDeOliveiraRibeiro_tcc.pdf #ITP #PVS #Math
Readings shared October 6, 2025

The readings shared in Bluesky on 6 October 2025 are: An introduction to formal real analysis (Lecture 8: Advanced limit theorems and induction). ~ Alex Kontorovich. #ITP #LeanProver #Math Formal ver

Vestigium
Waitfree linearization of an arbitrary data object. ~ Wim Hendrik Hesselink. https://dl.acm.org/doi/pdf/10.1145/3697332#page=135 #ITP #PVS
Readings shared October 01, 2025

The readings shared in Bluesky on 01 October 2025 are: A PVS library on the infinitude of primes. ~ Bruno Berto de Oliveira Ribeiro, Mariano M. Moscato, Thaynara Arielly de Lima, Mauricio Ayala-Rincó

Vestigium