Category Archives: Global Financial System

Dr. Christian Kreiß: Die Jahrhundertrezession – Wie geht es weiter?

Am 21. September 2020 um 19:30 findet im Hollsaal ab des Zeughaus Augsburg (Zeugplatz 4, 86150 Augsburg) ein Vortrag mit Dr. Christian Kreiß statt.

HINWEIS:
Voranmeldung erforderlich: AUSGEBUCHT
Thema:
Die Jahrhundertrezession – Wie geht es weiter?
Zusammenfassung:
Im Frühjahr 2020 gab es den weltweit größten Wirtschaftseinbruch der Neuzeit. Gleichzeitig sind die Schulden wegen massiver kreditfinanzierter staatlicher Konjunkturmaßnahmen auf einen neuen Rekordstand gestiegen. Abwürgen der Ökonomie durch staatliche Zwangs-Lockdowns und gleichzeitige massive Schuldenaufnahme führen ökonomisch in eine Sackgasse, in gravierende Schuldenprobleme mit chaotischem Wirtschaftsabsturz oder Inflation. So kann es nicht weitergehen. Was kommt nun? Wie können wir damit umgehen? Was sind die Hintergründe dieser Entwicklung?
Referent:
Prof. Dr. Christian Kreiß, Jahrgang 1962, studierte Volkswirtschaftslehre und promovierte in München über die Große Depression 1929 bis 1932. Nach neun Jahren Berufstätigkeit als Bankier in verschiedenen Geschäftsbanken, davon sieben Jahre als Investment Banker, unterrichtet er seit 2002 als Professor an der Hochschule Aalen Finanzierung und Wirtschaftspolitik. 2004 und 2006 hielt er an der University of Maine, USA, Master of Business Administration (MBA)- Vorlesungen über Investment Banking.
Autor von mehreren Büchern: unter anderem Profitwahn (2013), Geplanter Verschleiß (2014), Gekaufte Forschung (2015), Werbekritik (2016). Zahlreiche Veröffentlichungen. Ca. 30 bis 40 öffentliche Vorträge pro Jahr. Etwa 15 Fernseh- sowie zahlreiche Rundfunkinterviews. Drei Einladungen in den Deutschen Bundestag als Experte zu geplantem Verschleiß und Wissenschaftsethik. Homepage https://menschengerechtewirtschaft.de
Veranstalter:
  • Aktionskreis für Frieden, Freiheit und Menschengerechte Wirtschaft, E-Mail Frieden.Freiheit.Menschenger.Wirtschaft(at)protonmail.com
  • Forum Fließendes Geld – Lokale Agenda 21 der Stadt Augsburg
Voranmeldung:
Aufgrund der Corona-Vorschriften sind die Plätze im Vortragsraum begrenzt. Eine Voranmeldung per E-Mail ist unter der Adresse: Anmeldung.Vortrag.Christian.Kreiss(at)protonmail.com möglich. Wegen der Corona-Auflagen für die Veranstaltung muss eine Anwesenheitsliste mit Kontaktdaten aller Teilnehmer/innen geführt werden, vergleichbar wie bei einem Restaurantbesuch. Diese Daten werden nach 2 Wochen vernichtet.

(Self)Hosting of Mercurial Repositories

The Mercurial community has relied a bit too long on Bitbucket (by Atlassian) to provide “free” hosting for it. The ultimate purpose of such big corporations is to maximize profits and return of investments, while the needs of customers are of little concern, and marketing fills this semantic gap. Who did not know this triviality in advance, and merely ignored it on the spot when creating repositories on Bitbucket?

So the discontinuation of Mercurial by Bitbucket will happen in two stages, on 01-Feb-2020 and 01-Jun-2020. Independently of such market-driven policies, Mercurial developers are quite alive and active to develop alternatives. In the past few months, two emerging projects for (self)hosting of Mercurial repositories have gained some attention:

  1. Sourcehut as a newcomer for Git and Mercurial hosting
  2. Heptapod as a version of Gitlab for Mercurial (eventually both for Git and Mercurial). See also the blog for ongoing activity.

Development of these projects is very active, but they are not yet ready for production use.

In contrast, Phabricator is a pretty stable and scalable hosting platform right now; it supports Git, Mercurial, Subversion. In fact, Phabricator is a sophisticated platform for software project management, and repository hosting is only a secondary function of it. See also the related post on Isabelle/Phabrictor tooling, with Isabelle development as a notable example.

Update 21-Mar-2020: link to Heptapod blog.

Gnucash DATEV Export (CSV)

Gnucash ist ein alt-ehrwürdiges Open-Source Produkt zur Verwaltung von Konten, mit reichhaltigen Möglichkeiten zur Erstellung von “Reports”. Dazu verwendet man in erster Linie den Scheme-Dialekt “Guile”.

Hier das Ergebnis einer Programmierübung in Gnucash / Guile, zum Export von Konten im aktuellen CSV Format der DATEV. Das README enthält eine Reihe nützlicher Referenzen auf Beschreibungen des Formats und frühere Implementierungen.

Achtung: Dies ist im Moment nur für einfache Buchführung zu gebrauchen. Das Gegenkonto (die “Kontra-Rolle”) ist hier stets 1486 nach dem deutschen Standardkontenrahmen 04 (SKR04).

Bitcoin, das Zahlungsmittel der Zukunft? Was ist dran am Bitcoin-Hype?

Die Internationale Kelleruni Herrenbach veranstaltet im April eine öffentliche Vorlesung über Bitcoin und Blockchain.

Thema:
Bitcoin, das Zahlungsmittel der Zukunft? Was ist dran am Bitcoin-Hype?
Referenten:
Dr. Makarius Wenzel
Autor Christoph Ulrich Mayer
Zeit:
Freitag, 13. April 2018 um 19:30
Ort:
Lebensraum Schwabencenter (“Wohnzimmer”)

Das “Wohnzimmer” im Schwabencenter ist ein umgenutztes Ladenlokal innerhalb des regulären Einkaufszentrums. Nach der Vorlesung gibt es noch etwas zu Essen.

Peter Biet von der Kelleruni schreibt hierzu:

Ich selber bin auf diese Vorlesung sehr gespannt, denn ich lese davon ständig in der Zeitung. Ich höre von vielen gerade jungen Menschen, die relativ große Summen in Bitcoins investieren und damit dann auch tatsächlich “richtig Kohle” machen. Ich höre von der Möglichkeit, Geldflüsse unabhängig von Banken zu inszenieren, aber auch von Schwarzgeldern, die da gewaschen werden. Ich höre außerdem von den riesigen Rechnerleistungen, die benötigt werden, um Bitcoins zu schürfen. Und vor allem weiß ich Eines: Ich verstehe das Ganze überhaupt nicht. Finde, obwohl ich versucht habe, mich zu informieren einfach keinen Zugang zu der Sache.
Vielleicht geht es manchen von euch ja genau so. Jedenfalls bin ich des Öfteren gebeten worden, dass wir uns mal dieses so aktuellen Themas annehmen sollten. Und so freue ich mich sehr und bin gewiss, dass Makarius und Christoph da etwas Licht in mein/unser Wissensdunkel bringen werden.

Hier das Material von Makarius.

Grant Olney Passmore on Formal Verification of Financial Algorithms

On 25-Aug-2016, Grant Olney Passmore from Aesthetic Integration gave an invited talk at the ITP 2016 conference in Nancy, France. Here is the official announcement from the program:

Title: Formal Verification of Financial Algorithms, Progress and Prospects

Abstract:
Many deep issues plaguing today’s financial markets are symptoms of a fundamental problem: The complexity of algorithms underlying modern finance has significantly outpaced the power of traditional tools used to design and regulate them. At Aesthetic Integration, we’ve pioneered the use of formal verification for analysing the safety and fairness of financial algorithms. With a focus on financial infrastructure (e.g., the matching logics of exchanges and dark pools), we’ll describe the landscape, and illustrate our Imandra formal verification system on a number of real-world examples. We’ll sketch many open problems and future directions along the way.

The session chair introduced the speaker as a colleague from the prover community who managed to get his private life covered by the NY Times.

Passmore then started his presentation with a promotional video, which is intended for people from the Financial Industry – without a background in formal logic or software verification. He pointed out that this is his first talk about the subject before an audience with expertise in theorem proving, and promised that many odd terms and buzzwords from the world of Finance would become clear later.

From his many slides, Passmore could fit only a small portion into the 60min time slot. A key point was the following Stack of Financial Algorithms (from top to bottom):

  • Collateral Trading
  • Inventory Management
  • Algo Containers
  • Trading Algorithms
  • Smart Order Routers
  • Venues

So far, Aesthetic Integration has mainly worked at the bottom: “Venues” are virtual places where trading happens, e.g. a “dark pool” as in the UBS Future of Finance Challenge (see also the white paper).

Passmore invited the prover community to participate in formal treatment of the whole stack given above. For example, full formalization of Financial Mathematics in Isabelle/HOL could support the slot “Trading Algorithms”.

He also presented the present flagship tool environment: Imandra. Here is a quotation from the official website:

What is Imandra?

AI’s Imandra is breakthrough artificial intelligence technology for ensuring financial algorithms are designed and implemented safely and fairly.

Powered by major recent advances in formal verification, Imandra:

  • Verifies correctness and stability of system designs for regulatory compliance
  • Uncovers nontrivial bugs
  • Tests – creates high-coverage test-suites
  • Saves – radically reduces associated costs

The system was demonstrated in two versions: one running on the local machine, and one running on a server (i.e. “in the cloud”). The interaction model is still mainly command-line based, but Aesthetics Integration is interested to improve on that.