#pvs — Public Fediverse posts

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.

https://www.heise.de/news/OpenReception-1-0-Open-Source-Terminverwaltung-fuer-Arztpraxen-ist-fertig-11277708.html

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.

https://www.heise.de/news/OpenReception-1-0-Open-Source-Terminverwaltung-fuer-Arztpraxen-ist-fertig-11277708.html

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.

https://www.heise.de/news/OpenReception-1-0-Open-Source-Terminverwaltung-fuer-Arztpraxen-ist-fertig-11277708.html

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

With Kpop, I quite often post performance videos and stages rather than MVs proper. Most of the time, this choice reflects nothing but my personal preferences and preoccupations, so rarely does the question of whether an MV, a PV, or a stage is "better" arise.

When it comes to Le Sserafim -- Come Over, however, the question does arise, and an answer can be given that is not merely an expression of purely personal preference : the music show stages really are better than the MV.

Judging by the gushing comments on r/kpop, I think many will disagree with my judgement, so I ought to offer some justification. "Come Over" is a fun but repetitive bagatelle considered just as a piece of music. What makes it more than a forgettable trifle is the unusual and distinctive choreography, as I pointed out when I selected a Music Bank stage for #KpopOfTheWeek a fortnight ago: https://c.im/@jemmesedi/114170071321400525

One would have hoped that a good performance video focusing on the choreography and the retro fashions that complement the choreography so well would have been released. Alas, no. What we get instead is a hybrid MV and CF for Android that actually omits some of the most striking dance moves, such as the opening sequence of high kicks. The synchronized swimmers are poor compensation . To make things worse, AI has been employed to incorporate a sequence of two group members' enlarged heads emerging from interior walls in a sequence more appropriate for a horror film.

What a missed opportunity this video was!

https://youtu.be/z_uqieM8VGM?si=O68Pk89J3c9H-WL8

#Kpop #LeSserafim #ComeOver #MVs #PVs #Choreography

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

Как мы добавляли поддержку Apple Silicon в анализатор (arm64)

С выходом PVS-Studio 7.34 стали доступны нативные сборки анализатора для macOS на архитектуре Apple Silicon (ARM). В этой заметке мы хотели бы подробнее рассказать о проделанной работе, а также предложить советы по портированию кроссплатформенных инструментов на новую перспективную архитектуру.

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

#apple_silicon #arm #cmake #pvsstudio #pvs #macos

Die Redaktion der Politischen Vierteljahresschrift/German Political Science Quarterly sucht zum 1.6.25 Verstärkung für die Bereiche

Policy-Analyse
👉 https://www.dvpw.de/informationen/infos/details/news/ausschreibung-pvs-redaktionsmitglied-fuer-den-bereich-policy-analyse

Analyse und Vergleich politischer Systeme, Politische Soziologie und/oder Empirische Sozialforschung und Methodenlehre
👉https://www.dvpw.de/informationen/infos/details/news/ausschreibung-pvs-redaktionsmitglied-fuer-die-bereiche-vergleich-politische-soziologie-und-oder-methoden

Bewerbungen bis 1.4.25 an [email protected]

#PVS #Politikwissenschaft #PoWi #Journal @[email protected]

Readings shared March 12, 2025. https://jaalonso.github.io/vestigium/posts/2025/03/12-readings_shared_03-12-25 #AI #ATP #Constraints #Haskell #ITP #IsabelleHOL #Jape #LeanProver #Logic #LogicProgramming #Mace #MachineLearning #Math #NLP #Otter #PVS #Prolog

Curso "Razonamiento automático (2004-05)". https://jaalonso.github.io/cursos/d-ra-04 #ATP #Otter #Mace #Jape #Logic #ITP #PVS

Readings shared March 11, 2025. https://jaalonso.github.io/vestigium/posts/2025/03/11-readings_shared_03-11-25 #AI #ATP #Emacs #FormalVerification #Haskell #ITP #IsabelleHOL #Jape #LLMs #LeanProver #Logic #LogicProgramming #MAS #Mace #Math #Otter #PVS #Prolog #SMLs #SMT #Scala #Z3

Curso "Razonamiento automático (2003-04)". https://jaalonso.github.io/cursos/d-ra-03/index.html #ATP #Otter #Mace #ITP #Jape #PVS

Lecturas compartidas el 7 de junio de 2024. https://jaalonso.github.io/vestigium/posts/2024/06/08-lecturas_compartidas_el_07-jun-24 #ITP #Lean4 #IsabelleHOL #PVS #Math #ATP #Prover9 #SMT #Z3 #FunctionalProgramming #Haskell #LLMs

See What’s Inside Night Vision, And How To Build Your Own - [Nick Chen] shared some fascinating and useful details about building a AN/PVS-14 monocular night vi... more: https://hackaday.com/2019/04/10/see-whats-inside-night-vision-and-how-to-build-your-own/ #imageintensifier #nightvision #partskit #how-to #pvs-14 #parts #nvg

[Перевод] Порталы: как устроен расчёт видимости в Quake, часть 2

Часть 1 Итак, теперь у нас есть первая приблизительная оценка видимости листьев из порталов, хранящаяся в массиве mightsee каждого портала. Вычислять, что именно видно через последовательность порталов, сложно, поэтому мы вместо этих вычислений используем «консервативную» оценку. Она ни за что не скроет лист, который должен оставаться видимым. «Это просто задача отсечения» Свет внезапно выключается. Вы сидите в огромном конференц-зале. Кто-то включает проектор. На экране сам Майкл Абраш! Похоже, это знаменитый доклад Quake Postmortem с GDC 1997. Он говорит о порталах. Мы берём плоскости отсечения, ограничивающие максимальный объём видимого, и отсекаем их по всё более дальним порталам, пока они не пропадут.

https://habr.com/ru/articles/876558/

#quake #pvs #bsp #майкл_абраш #id_software #оптимизация_графики

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

PVS-Studio в 2023

За окном январь 2024 года, а это значит, пора подвести итоги за 2023 год! В этой статье мы не только рассмотрим всё новое, что появилось за 2023 год, но и освежим память по основным функциональным возможностям статического анализатора PVS-Studio.

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

#pvs #c# #c++ #java #static_analysis #unreal_engine #unity #vs_code #qt_creator #rider

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

Readings shared October 6, 2025. https://jaalonso.github.io/vestigium/posts/2025/10/07-readings_shared_10-06-25 #AI #CoqProver #FunctionalProgramming #Haskell #ITP #LLMs #LeanProver #Math #PVS #RustLang

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 1, 2025. https://jaalonso.github.io/vestigium/posts/2025/10/02-readings_shared_10-01-25 #AI #Autoformalization #CategoryTheory #ITP #LLMs #LeanProver #Math #PVS #Rocq

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

Readings shared July 5, 2025. https://jaalonso.github.io/vestigium/posts/2025/07/06-readings_shared_07-05-25 #AI #CoqProver #FormalMethods #FunctionalProgramming #Haskell #ITP #LeanProver #Math #Maxima #PVS #Rocq

Formal methods at NASA: Past, present, and future. ~ Paul Miner, Natasha Neogi. https://ntrs.nasa.gov/api/citations/20250006044/downloads/NFM_Keynote_STRIVES-psm.pdf #FormalMethods #ITP #PVS

Wenn ihr eh' nen #Proxmox Backup Server am laufen habt, könnt ihr mit dem proxmox-backup-client auch Linux-Kisten sichern, die keine Proxmox-VMs sind: https://pbs.proxmox.com/docs/backup-client.html

Das lese ich irgendwie erstaunlicherweise nie bei den üblichen #Backup-Diskussionen. Viellicht findet's ja jemand nützlich!

#pvs #pbs

#EpikurPVS macht ne Umfrage bei ihren Kund*innen ... Und ich denke so: Endlich Gelegenheit, auszudrücken, was mich an diesem #PVS so hart nervt, dass ich zu Jahresende den teuren Wechsel zu einem Konkurrenzprodukt erwäge!

Aber weit gefehlt: Die Entwickler*innen wollten nur abfragen, welche Ansichten und Funktionsbereiche für mich im Alltag besonders wichtig sind und wie zufrieden ich damit bin.

Also wieder keine Gelegenheit folgende Hitparade der Fails von #Epikur zu nennen:

1. Technischer Support telefonisch nur mit Wartezeiten > 30min zu erreichen - und zwar egal wann im Quartal!
2. Chance auf Reaktion auf Support-Anfragen via E-Mail geht gegen Null.
3. Kein Forum, Issue-Tracker oder sonst irgendeine Kommunikationsplatform, mit der betriebseinschränkende Störungen der Software - z.B. nach einem "Update" - durch Nutzer*innen zügig dokumentiert und ggf. sogar Lösungen miteinander ausgetauscht werden könnten.
4. Selbst die Vertriebs-Hotline hat mittlerweile Wartezeiten von > 30min.
5. Eine offene Beratung zu individuellen Lösungen findet nicht statt. Stattdessen windiges Nudging in vermeintlich alternativlose Neuverträge mit mehrjähriger Bindung und #Pfadabhängigkeiten.
6. War das halbwegs moderne UI in der Vergangenheit im Vergleich mit anderen Anbietern wie #PsyPrax ein echter Pluspunkt, krankt es mittlerweile seit Urzeiten an inakzeptablen Usability-Macken. Das Schließen eines Tabs im Bereich "Patientenakte" z.B. gleicht einem Ziel-Schießen: Es braucht mehrere Klicks bis man endlich den winzigen Punkt Schaltfläche unter dem x gefunden hat, der tatsächlich zum Schließen des Tabs führt.

Klar würde das Ausmaß an Imkompetenz normalerweise von einem Markt geregelt ... aber da die Konversion der Datenbank vom alten zum neuen Anbieter einmalig um die 2000€ kostet, fällt das den Endnutzenden etwas schwerer als ein Wechsel des Handy-Tarifs ...

@grindcrank @aus_der_UBahn wusste doch dass ich das wort schon mal irgendwo las uff https://de.wikipedia.org/wiki/Phantom-Vibrations-Syndrom

#PVS

Readings shared March 14, 2025. https://jaalonso.github.io/vestigium/posts/2025/03/14-readings_shared_03-14-25 #ATP #CompSci #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LLMs #LeanProver #Logic #Mace #MachineLearning #Math #Otter #PVS #TypeTheory

Curso "Razonamiento automático (2005-06)". https://jaalonso.github.io/cursos/d-ra-05 #ATP #Otter #Mace #ITP #PVS

Studying the rare cases of Post Vaccine Syndrome is giving Yale researchers insights on COVID and on vaccines.
#COVID #PVS #Research #Vaccines
https://news.yale.edu/2025/02/19/immune-markers-post-vaccination-syndrome-indicate-future-research-directions

Как обновить библиотеку и утонуть в задаче. Обновление Roslyn и PVS-Studio 7.34

Ежегодно Microsoft выпускает новую версию .NET. Это большое событие, к которому мы выпускаем версию PVS-Studio с поддержкой нововведений. Сегодня речь пойдёт про боль PVS-Studio при обновлении Roslyn — неотъемлемой части .NET.

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

#roslyn #msbuild #net #c# #pvs #pvsstudio

📢 #PVS/#GPSQ Journal invites proposals for a special issue in 2026!

Submit your proposals by 30 April 2025.

👉https://www.dvpw.de/informationen/infos/details/news/call-for-proposals-pvs-gpsq-special-issue-2026

#CfP #PolSci #PoliticalScience #specialissue @[email protected] @politicalscience