Lieber Till,
ich schreibe dir in meiner Rolle als technischer Mitgründer von Divizend (https://divizend.com), einem Münchner FinTech, das sich bislang auf das Thema der Rückerstattung ausländischer Quellensteuer spezialisiert hat. Wir haben bereits etwa 20000 Privatkunden sowie viele Steuerberater, Vermögensverwalter und Großbanken als Kunden, bis hin zur Deutschen Börse, Euroclear, BNY und Interactive Brokers. Ich selbst habe von 2017 bis 2023 an der TU München und KTH Stockholm Informatik studiert.
Derzeit erforsche ich, wie wir die Architektur von Software grundsätzlich verbessern können, mit einem Fokus auf Interoperabilität, informationeller Selbstbestimmung und Datensouveränität, zu Beginn insbesondere aus der Perspektive von Software, mit der Dinge aus der realen Welt verwaltet und koordiniert werden. Meine Forschungsfrage ist im Kern “Wie können wir die Strukturen, durch die Menschen ihr Leben koordinieren, explizit, verständlich, interoperabel und veränderbar machen, ohne dass sich alle auf eine einzige universelle Darstellung der Wirklichkeit einigen müssen?“. Siehe auch meine persönliche Research-Map unter https://research.nalenz.org/.
Nun sehe ich den Erfolg dieses Projekts eng daran geknüpft, Exzellenz in drei Bereichen zusammenzubringen: Datenhaltung, Verarbeitungslogik und Benutzeroberfläche.
Die erste Schlüsseltechnologie, die ich dabei in Richtung Datenhaltung sehe, sind Wissensgraphen. Hier sind wir seit einigen Monaten mit Dr. Tobias Käfer vom KIT und seiner Forschungsgruppe in Kontakt und haben bereits gemeinsam eine Projektskizze mit dem Titel “Formulare, die sich selbst ausfüllen: Verlässliche agentische Finanzberatung über persönliche Wissensgraphen” bei KMU-innovativ eingereicht (siehe Anhang). Zudem arbeiten wir mit Tentris (https://tentris.io/) zusammen, einem Startup aus Bielefeld, das aus der Forschung rund um Prof. Dr. Axel-Cyrille Ngonga Ngomo von der Uni Paderborn hervorgegangen ist und die derzeit schnellste am Markt verfügbare RDF-Graphdatenbank entwickelt.
Hinsichtlich der Verarbeitungslogik sehe ich algebraische Spezifikationen (im Sinne von DOL, CASL usw.) als absolute Schlüsseltechnologie, deshalb schreibe ich dir. Wenn wir es hinbekämen, die deterministischen Vorschriften und die Interaktionen mit der realen Welt (algebraische Effekte) aus Buchhaltung, Steuergesetzen, ERP und sonstiger Bürokratie von der eigentlichen Implementierung zu entkoppeln und ausgehend davon die Idee von Ontohub (https://ontohub.org/) wiederzubeleben, kombiniert mit der Idee von Wikifunctions (https://www.wikifunctions.org/), könnte das die Grundlage für die radikale Demokratisierung des Zugangs zu allem von institutionellen Leistungen bis hin zu selbstorganisierten Verwaltungsstrukturen und jeglicher wirtschaftlicher Tätigkeit sein, insbesondere Selbstständigkeit und Unternehmertum. Ich habe auf deinem GitHub unter https://github.com/tillmo/erpnext-client schon gesehen, dass dir diese bürokratischen Themen definitiv nicht fremd sind. Selbst bin ich noch totaler Anfänger in diesem Bereich; erst vor einigen Monaten habe ich Hets und CASL entdeckt, in den letzten Wochen Projekte wie Hydra (https://github.com/categoricalData/hydra), die Arbeit von Joseph Goguen, John Backus, Paul-Blain Levy und Conal Elliott, und bringe mir derzeit autodidaktisch Kategorientheorie und Lean bei.
Deshalb würde mich sehr interessieren, wie du den heutigen Stand von Hets, DOL und Ontohub einschätzt: Was hat sich bewährt, woran ist es gescheitert und was würdest du mit dem Wissen von heute anders angehen? Am liebsten würde ich das in einem kurzen Videocall von etwa 30 Minuten mit dir besprechen, gern zu einem Termin deiner Wahl. Darüber hinaus fände ich es spannend auszuloten, ob sich daraus eine Zusammenarbeit ergeben könnte, etwa über Abschlussarbeiten, ein gemeinsames Forschungsprojekt oder einen Förderantrag. Divizend könnte dabei reale Anwendungsfälle aus Steuer und Finanzen sowie die Praxisperspektive unserer Kunden einbringen.
Beste Grüße
Julian
Algebraic Specification for Taxation and Bureaucracy: A Conversation About Hets, DOL, and Ontohub?
Dear Till,
I’m writing to you in my capacity as technical co-founder of Divizend (https://divizend.com), a Munich-based FinTech company that has so far specialized in reclaiming foreign withholding taxes. We already serve around 20,000 individual customers, as well as numerous tax advisors, asset managers, and major financial institutions, including Deutsche Börse, Euroclear, BNY, and Interactive Brokers. I myself studied computer science at the Technical University of Munich and KTH Stockholm from 2017 to 2023.
I’m currently researching how we can fundamentally improve software architecture, with a focus on interoperability, informational self-determination, and data sovereignty, initially particularly from the perspective of software used to manage and coordinate things in the real world. At its core, my research question is: “How can we make the structures through which people coordinate their lives explicit, understandable, interoperable, and modifiable, without requiring everyone to agree on a single universal representation of reality?” You can also find my personal research map at https://research.nalenz.org/.
I see the success of this endeavor as closely tied to bringing together excellence in three areas: data storage, processing logic, and user interfaces.
The first key technology I see on the data storage side is knowledge graphs. For several months now, we have been in contact with Dr. Tobias Käfer at KIT and his research group, and we have already jointly submitted a project proposal entitled “Forms That Fill Themselves Out: Reliable Agentic Financial Advice Through Personal Knowledge Graphs” to the KMU-innovativ funding program (see attachment). We are also collaborating with Tentris (https://tentris.io/), a startup from Bielefeld that emerged from research around Prof. Dr. Axel-Cyrille Ngonga Ngomo at Paderborn University and is developing what is currently the fastest commercially available RDF graph database.
When it comes to processing logic, I see algebraic specifications (in the sense of DOL, CASL, etc.) as an absolutely essential technology, which is why I’m reaching out to you. If we could decouple the deterministic rules and interactions with the real world (algebraic effects) involved in accounting, tax law, ERP, and other bureaucratic processes from their actual implementations, and use that as a starting point to revive the idea behind Ontohub (https://ontohub.org/), combined with the concept of Wikifunctions (https://www.wikifunctions.org/), this could lay the foundation for radically democratizing access to everything from institutional services to self-organized administrative structures and all forms of economic activity, particularly self-employment and entrepreneurship.
I already noticed your repository at https://github.com/tillmo/erpnext-client, so these bureaucratic topics are clearly not unfamiliar territory for you. I myself am still very much a beginner in this field. I only discovered Hets and CASL a few months ago, and in recent weeks I’ve come across projects such as Hydra (https://github.com/categoricalData/hydra), as well as the work of Joseph Goguen, John Backus, Paul-Blain Levy, and Conal Elliott. I’m also currently teaching myself category theory and Lean.
I would therefore be very interested in hearing your assessment of the current state of Hets, DOL, and Ontohub: What has worked well, where have these approaches fallen short, and what would you do differently with the benefit of hindsight?
Ideally, I’d love to discuss this with you in a short video call of around 30 minutes, at a time that suits you. Beyond that, I’d also be excited to explore whether there might be opportunities for collaboration, for example through student theses, a joint research project, or a funding proposal. Divizend could contribute real-world use cases from taxation and finance, along with practical insights from our customers.
Best regards,
Julian