David Spielmann
spdavid.bsky.social
David Spielmann
@spdavid.bsky.social
PhD student in the Programming Group at the University of St. Gallen
making Infrastructure as Code more reliable
https://david-spielmann.ch/
Excited to introduce TerraDS, the first large-scale dataset of Terraform (by @hashicorp.com) configurations written in HCL, sourced exclusively from open-source repositories with permissive licenses to support reproducible research and tool development.
April 26, 2025 at 3:08 PM
Managing secrets such as private keys, API tokens, and database credentials has always been one of the most challenging aspects of security. Despite improvements, secret leakage remains a major cause of breaches, and Infrastructure as Code (IaC) is no exception.
March 7, 2025 at 2:38 PM
Reposted by David Spielmann
Today was the OpenDay at HSG!

Our group focused on increasing awareness for cybersecurity, privacy, and cloud services, and introducing people to programming using robots. It was great!

Ah, I did also embarrass myself in an interview... Thanks @spdavid.bsky.social for the heavy lifting there!
February 22, 2025 at 7:26 PM
Reposted by David Spielmann
New Horizon project! We will work on Infrastructure as Code, contributing to European Digital Sovereignty for a European, green cloud-computing infrastructure.
February 17, 2025 at 10:54 AM