Mastodawn

Eine nette kleine Open-Source-Bibliothek aus unseren Projekten, um trotz funktionaler Fehlerbehandlung (mit Either aus Kotlin-Arrow) klassische Stacktraces zu bekommen: https://blog.spree.de/2026/05/11/failure-kt-a-tiny-stacktrace-library-on-top-of-arrows-either/
(#kotlin , #arrow , #fp )

Failure.kt – A Tiny Stacktrace Library on top of Arrow’s Either

Some time ago, I wrote a detailed blog post on how and why to use Arrow’s Either type to model non-exceptional errors as a part of the domain model in Kotlin. In this post, I would like to present …

Spree-Blog

Torsten Fink Apr 25

Berlin Expert Days Apr 24

🚀 Last call: BED-Con 2026 Call for Papers!

Only 2 days left ⏳
📍 Berlin (FU Berlin)
📅 September 23–24, 2026

We’re looking for talks on:
#SoftwareEngineering #Cloud #DevOps #Data #AI #TechAndSociety

👉 Submit your talk now:
https://sessionize.com/bed-con-2026/

Deadline: April 26, 2026

#BEDCon #CallForPapers #BerlinTech

Torsten Fink Mar 3, 2025

A nice article, starting with harmless maps and flatMaps in Kotlin and ending with functors and monads, hopefully without scaring the reader:

https://blog.akquinet.de/2025/02/28/the-map-and-flatmap-patterns/#writing-our-own-mappable-and-flatmappable-types

#fp #functionalprogramming #kotlin #arrowkt

The “map” and “flatMap” Patterns

We investigate the “map” and “flatMap” methods on different parameterised types (List, Option, Either) and look for what they have in common.

akquinet - Blog

Torsten Fink Feb 7, 2025

Ein IMHO gut recherchierter und spannender Artikel über #SDC, der kommende Standard zur Vernetzung von medizinischen Geräten (#medtech). Wir schauen gerade darauf, wie man die maschinennahe Integration über #SDC mit den anwendernahen Prozessen, die über #FHIR beschrieben sind, sinnvoll vernetzen kann. Wer Interesse hat an einem Austausch, gerne melden. 🙂
https://medizin-und-technik.industrie.de/digitalisierung/warum-es-sinnvoll-ist-medizingeraete-ueber-sdc-zu-vernetzen/

Warum es sinnvoll ist, Medizingeräte über SDC zu vernetzen

Medizingeräte im OP könnten künftig untereinander via SDC-Standard kommunizieren und Messwerte austauschen. Erste Geräte kommen gerade auf den Markt.

medizin&technik - Ingenieurwissen für die Medizintechnik

Torsten Fink Jan 10, 2025

c't Magazin Jan 10, 2025

Auf der #CES 2025 zeigt #Roborock einen Saug- und Wischroboter, der nicht nur den Boden putzt, sondern ihn mit einem ausfahrbaren Arm von Hindernissen befreit. 🦾🧦

Torsten Fink Jan 3, 2025

A tiny experiment on using AI tools for SW development from a colleague of mine:
https://blog.akquinet.de/2024/12/20/exploring-ai-for-developers-first-impressions/
In contrast to the evaluation of my colleague, for me it is a good example why using LLMs is not a good idea for code manipulation. IMHO you need something that guarantees semantic equivalence.

Exploring AI for developers: First impressions

In this article, we want to gather first impressions on the ubiquitous new AI tools that are supposed to render us programmers obsolete. First learnings are: Yes, AI can certainly save you some eff…

akquinet - Blog

Torsten Fink Dec 18, 2024

Unser neuer Podcast mit meinen Kollegen Jana und Andreas über unsere Erfahrungen bei der Einführung der ISO-27001 in unser SW-Entwicklungsbude :-)
https://techatspree.podigee.io/16-iso27001

ISO 27001

Für große Firmen sind die Begriffe QMS und ISMS längst kein Fremdwort mehr (Qualitätsmanagement- und Informationsmanagementsystem). Viele sind bereits zertifiziert und haben angepasste Prozesse und Standards, mit denen sie ihre Arbeit und Daten schützen. Im heutigen Podcast nehmen euch Jana, Qualitätsmanagementbeauftragte, Andreas, unser Informationssicherheitsbeauftragter und Torsten, Geschäftsführer der tech@spree mit auf die Reise, wie man sich überhaupt nach der ISO 27001 zertifizieren lassen kann. Wie viel Vorarbeit benötigt eine Zertifizierung? Wie viel externe Unterstützung braucht man? Und was bedeutet so eine Zertifizierung letztendlich für die alltägliche Arbeit?

Tech Talks at tech@spree provided by akquinet

Torsten Fink Dec 2, 2024

A nicely done and not too long example about using #TLA+ für the validation of certificates: https://blog.akquinet.de/2024/11/26/formal-architecture-verification-in-practice/

Formal architecture verification in practice

When we want to make sure that our code works as expected, we write tests like unit tests or integration tests to verify that. But these tests can only point out certain errors, they cannot guarant…

akquinet - Blog

Torsten Fink Nov 25, 2024

If you want to orchestrate a #FHIR server using #BPMN processes running in @Camunda, then here you can find answers: https://blog.akquinet.de/2024/11/25/camunda-under-fhir/

Integrating FHIR with Camunda 8: A Step-by-Step Guide

The blog post discusses integrating FHIR data sources within Camunda 8 for process automation in the medical domain. It presents two approaches: a custom job handler using HAPI FHIR and a no-code s…

akquinet - Blog

Torsten Fink Nov 15, 2024

A nice overview combined with XML deep dives about #BICEPS, the service model of #SDC, the IEEE 11073 standard for medical devices:
https://blog.akquinet.de/2024/11/11/a-technical-view-on-biceps-as-part-of-iso-ieee-11073-sdc/

A Technical View on BICEPS as Part of ISO/IEEE 11073 SDC

The blog post delves into the IEEE 11073:10207 BICEPS standard for Service-Oriented Device Connectivity (SDC), which is essential for medical device communication. It outlines key components like t…

akquinet - Blog