Willkommen

Portrait

{:.float-right} Ich bin dankbar, so viele unterschiedliche Rollen zu haben. Öffentlich sichtbar sind vor allem meine beiden beruflichen Laufbahnen als Programmierer und Forscher sowie mein politisches Engagement (Politik). Und vielleicht zuletzt noch meine persönlichen Texte über Philosophie, Wissenschaft, Literatur und Religion.

Die Seite ist komplett zweisprachig (Englisch und Deutsch). Die meisten Seiten wurden einmalig von Argos Translate übersetzt und danach von GPT5.2 verbessert. Wurde die Seite so übersetzt, ist es mit einem Hinweis oben gekennzeichnet.

Neuigkeiten

Hier siehst du, was ich zuletzt auf der Website geändert habe.

14. April 2026

Füge LinkedIn WYSIWYG hinzu. Ein web-basiertes Werkzeug um LinkedIn posts zu formatieren.

Verbessere Hoare Logic Proof Validator. UI ist besser (nicht gut). Z3 nutzung wurde effektiver gemacht. Assignment bug wurde gefixed in dem auf der rechten Seite keine Expression gemacht werden kann.

13. April 2026

Füge XML Weaver hinzu - eine Anwendung um XML Dateien zu bearbeiten, die es nicht erlaubt ungültige Dateien zu erstellen.

7. April 2026

Füge Python Blocks hinzu - eine Anwendung, um die Python-Grundlagen zu lernen. Du kannst ein Python-Programm per Drag & Drop aus Blöcken zusammensetzen und direkt im Browser ausführen.

Restrukturiere Webseite: Anordnung der Elemente ist intuitiver und kompakter.

12. Februar 2026

Füge Parallelismus hinzu - eine Anwendung zum Studium biblischer Parallelismen in hebräischen und griechischen Texten mit Strong-Konkordanz-Integration.

Februar 11th 2026

Füge vibe coding Blog Artikel hinzu.

January 14th 2026

Füge automatischen Hintergrundgenerator hinzu.

8. Januar 2026

Mache die Seite zweisprachig (Englisch und Deutsch). Alle Seiten wurden übersetzt via Argos Translate und danach mit GPT 5.2 verbessert. Die Seite stellt auch fest, ob eine von mir manuell erstellte Übersetzung existiert oder nicht. Wenn du eine automatisch übersetzte Version siehst, erscheint oben auf der Webseite ein Hinweis, dass es automatisch übersetzt wurde.

15. Dezember 2025

Neuer Blog-Artikel: Nichts zu verbergen

Neuer Generator für Buchfaltkunst. Das Original-Repository ist ausgelagert; hier wird es nur synchronisiert.

12. November 2025

Neue Inhalte zur Abstimmung über den Baukredit für den Werkhof sowie eine neutrale Sammelstelle für Informationen zum Thema.

31. Oktober 2025

Neuer Beitrag über einen fehlgeschlagenen Versuch, Gewichte in einem neuronalen Netzwerk zu komprimieren.

9. Oktober 2025

Neue Anmerkung zu PyTorch.

3. Oktober 2025

Neuer Beitrag über die E-ID.

1. Oktober 2025

Update meines Lebenslaufs.

30. September 2025

Hoare Logikprüfer

18. September 2025

Neue Seite: Zonenplanänderung

9. September 2025

Neue Seite: E-ID

Diese News-Sektion wurde der Website hinzugefügt.

8. September 2025

Neue Seite: Finanzen Beringen

22. August 2025

E-ID Infos ergänzt: Politik

Tabelle ergänzt, die aufzeichnet, wie ich abgestimmt habe: Politik

Blog-Artikel über den Unterschied zwischen Gut und Wahrheit hinzugefügt: Gedanken

13. August 2025

Erste Version der Website. Von Risajef.ch.

GitHub