#pvs — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #pvs, aggregated by home.social.
-
Alipay+ targets Latin America growth with PVS partnership
By Parth Prabhudesai Today Alipay Argentina Cross Border Payments Alipay+ has expanded its cross-border mobile payment services in…
#Conflict #Conflicts #War #Alipay #Argentina #crossborderpayments #Europe #financialinstitutions #financialnews #fintech #Fintechnews #Latinamerica #PayTech #PVS #Singapore
https://www.europesays.com/3020701/ -
Einigermaßen begeistert zu lesen, dass kompetente Menschen ein Offenes #TerminVerwaltungsSystem für Praxen mit öffentlicher Förderung gebaut haben.
Ich bin skeptisch, wie sehr sich die #PVS-Anbieter darum bemühen werden, #OpenReception in ihre proprietären Produkte einzubinden. Zumal einige ihre eigenen kostenpflichtigen Konkurrenz-Produkte bei den Kund*innen platziert haben. Und es wäre neu, dass Nachfrage diesen Markt regelt.
Aber falls OpenReception sich dennoch durchsetzen sollte:
Ein quelloffenes PVS darf auch gern öffentlich gefördert werden! Danke 🙏 https://mastodon.social/@openreception/116509739227251399 -
Einigermaßen begeistert zu lesen, dass kompetente Menschen ein Offenes #TerminVerwaltungsSystem für Praxen mit öffentlicher Förderung gebaut haben.
Ich bin skeptisch, wie sehr sich die #PVS-Anbieter darum bemühen werden, #OpenReception in ihre proprietären Produkte einzubinden. Zumal einige ihre eigenen kostenpflichtigen Konkurrenz-Produkte bei den Kund*innen platziert haben. Und es wäre neu, dass Nachfrage diesen Markt regelt.
Aber falls OpenReception sich dennoch durchsetzen sollte:
Ein quelloffenes PVS darf auch gern öffentlich gefördert werden! Danke 🙏 https://mastodon.social/@openreception/116509739227251399 -
Einigermaßen begeistert zu lesen, dass kompetente Menschen ein Offenes #TerminVerwaltungsSystem für Praxen mit öffentlicher Förderung gebaut haben.
Ich bin skeptisch, wie sehr sich die #PVS-Anbieter darum bemühen werden, #OpenReception in ihre proprietären Produkte einzubinden. Zumal einige ihre eigenen kostenpflichtigen Konkurrenz-Produkte bei den Kund*innen platziert haben. Und es wäre neu, dass Nachfrage diesen Markt regelt.
Aber falls OpenReception sich dennoch durchsetzen sollte:
Ein quelloffenes PVS darf auch gern öffentlich gefördert werden! Danke 🙏 https://mastodon.social/@openreception/116509739227251399 -
https://www.europesays.com/cz/47026/ Praha loni investovala do obnovy vodohospodářské infrastruktury téměř 3,9 miliardy korun #infrestruktura #Prague #Praha #PVS #vodohospodářské
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
Ваш код принимает данные извне? Поздравляем, вы вступили на минное поле! Любой непроверенный ввод от пользователя может привести к уязвимости, и найти все "растяжки" вручную в большом проекте почти невозможно. Но есть "сапёр" — статический анализатор. Инструмент нашего "сапёра" — 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
Ваш код принимает данные извне? Поздравляем, вы вступили на минное поле! Любой непроверенный ввод от пользователя может привести к уязвимости, и найти все "растяжки" вручную в большом проекте почти невозможно. Но есть "сапёр" — статический анализатор. Инструмент нашего "сапёра" — 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
Ваш код принимает данные извне? Поздравляем, вы вступили на минное поле! Любой непроверенный ввод от пользователя может привести к уязвимости, и найти все "растяжки" вручную в большом проекте почти невозможно. Но есть "сапёр" — статический анализатор. Инструмент нашего "сапёра" — 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
-
Readings shared October 13, 2025. https://jaalonso.github.io/vestigium/posts/2025/10/14-readings_shared_10-13-25 #Agda #CoqProver #Erlang #FunctionalProgramming #Haskell #ITP #LeanProver #Math #OCaml #PVS #Programming #Python #Rocq
-
Readings shared October 13, 2025. https://jaalonso.github.io/vestigium/posts/2025/10/14-readings_shared_10-13-25 #Agda #CoqProver #Erlang #FunctionalProgramming #Haskell #ITP #LeanProver #Math #OCaml #PVS #Programming #Python #Rocq
-
Readings shared October 13, 2025. https://jaalonso.github.io/vestigium/posts/2025/10/14-readings_shared_10-13-25 #Agda #CoqProver #Erlang #FunctionalProgramming #Haskell #ITP #LeanProver #Math #OCaml #PVS #Programming #Python #Rocq
-
Readings shared October 13, 2025. https://jaalonso.github.io/vestigium/posts/2025/10/14-readings_shared_10-13-25 #Agda #CoqProver #Erlang #FunctionalProgramming #Haskell #ITP #LeanProver #Math #OCaml #PVS #Programming #Python #Rocq
-
Readings shared October 13, 2025. https://jaalonso.github.io/vestigium/posts/2025/10/14-readings_shared_10-13-25 #Agda #CoqProver #Erlang #FunctionalProgramming #Haskell #ITP #LeanProver #Math #OCaml #PVS #Programming #Python #Rocq
-
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
-
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
-
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
-
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
-
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
-
Waitfree linearization of an arbitrary data object. ~ Wim Hendrik Hesselink. https://dl.acm.org/doi/pdf/10.1145/3697332#page=135 #ITP #PVS
-
Waitfree linearization of an arbitrary data object. ~ Wim Hendrik Hesselink. https://dl.acm.org/doi/pdf/10.1145/3697332#page=135 #ITP #PVS
-
Waitfree linearization of an arbitrary data object. ~ Wim Hendrik Hesselink. https://dl.acm.org/doi/pdf/10.1145/3697332#page=135 #ITP #PVS
-
Waitfree linearization of an arbitrary data object. ~ Wim Hendrik Hesselink. https://dl.acm.org/doi/pdf/10.1145/3697332#page=135 #ITP #PVS
-
Waitfree linearization of an arbitrary data object. ~ Wim Hendrik Hesselink. https://dl.acm.org/doi/pdf/10.1145/3697332#page=135 #ITP #PVS
-
A PVS library on the infinitude of primes. ~ Bruno Berto de Oliveira Ribeiro, Mariano M. Moscato, Thaynara Arielly de Lima, Mauricio Ayala-Rincón. https://mayalarincon.github.io/InfinitudePrimes_Extended.pdf #ITP #PVS #Math
-
A PVS library on the infinitude of primes. ~ Bruno Berto de Oliveira Ribeiro, Mariano M. Moscato, Thaynara Arielly de Lima, Mauricio Ayala-Rincón. https://mayalarincon.github.io/InfinitudePrimes_Extended.pdf #ITP #PVS #Math
-
A PVS library on the infinitude of primes. ~ Bruno Berto de Oliveira Ribeiro, Mariano M. Moscato, Thaynara Arielly de Lima, Mauricio Ayala-Rincón. https://mayalarincon.github.io/InfinitudePrimes_Extended.pdf #ITP #PVS #Math
-
A PVS library on the infinitude of primes. ~ Bruno Berto de Oliveira Ribeiro, Mariano M. Moscato, Thaynara Arielly de Lima, Mauricio Ayala-Rincón. https://mayalarincon.github.io/InfinitudePrimes_Extended.pdf #ITP #PVS #Math
-
A PVS library on the infinitude of primes. ~ Bruno Berto de Oliveira Ribeiro, Mariano M. Moscato, Thaynara Arielly de Lima, Mauricio Ayala-Rincón. https://mayalarincon.github.io/InfinitudePrimes_Extended.pdf #ITP #PVS #Math