commit d7ff8b0d09d15c4e4126f31cfaff9cebb8858a6f Author: crazychaoz Date: Sun Nov 9 16:24:01 2025 +0100 first commit diff --git a/public_html/index.html b/public_html/index.html new file mode 100644 index 0000000..9348054 --- /dev/null +++ b/public_html/index.html @@ -0,0 +1,759 @@ + + + + + + + kempinger.at + + + + +
+ +
+ +
+
+
+ +

Stefan Kempinger

+

Personal R&D Laboratory

+ Scroll down to explore + ↓ + +
+
+ +
+
+

Publications & Communications

+
+
+
+

📚 Peer-Reviewed Research

+
+

AVBTestKeyInTheWild: Bypassing Android Verified Boot Using + A Firmware Supply Chain Vulnerability on Locked Devices

+

EWSN 2025

+ View Paper (coming soon)→ +
+
+
+
+
+ +
+

Active Projects

+
+
+
Active
+

tflite-rs

+

TensorFlow Lite Rust bindings for machine learning inference. Forked and actively maintained for + improved Rust ecosystem integration.

+ View on GitHub → +
+ +
+
Published
+

Arti-Facts

+

Rust-based command-line tool and web server for secure, private file sharing over Tor onion + services. Features modern HTML interface and instant ZIP downloads.

+ View on GitHub → +
+ +
+
Published
+

AutoSharingStateData

+

Rust library for automatic state data sharing between application components. Simplifies state + management in distributed systems.

+ View on GitHub → +
+ +
+
Published
+

Minimal Android UWB App

+

Minimal working implementation of UltraWideBand (UWB) technology for Android. Demonstrates basic + UWB localization capabilities with 17 stars.

+ View on GitHub + → +
+ +
+
Published
+

gradle-dot-nix

+

Nix flake that generates full Maven repositories for Gradle apps from verification metadata. + Enables reproducible builds in the Nix ecosystem.

+ View on GitHub → +
+
+
Published
+

Coco/R TypeScript Port

+

TypeScript port of the Coco/R compiler generator. Enables parser generation for + TypeScript/JavaScript projects with modern tooling.

+ View on GitHub → +
+
+
+ +
+
+

Lab Notes & Observations

+
+
+

Ongoing research observations, hypothesis testing, and experimental findings from daily + laboratory work.

+
+
+ +
+
+
+ +
+
+

Laboratory Equipment

+
+
+
🖥️
+

Primary Research Station

+

Thinkpad P14s G5

+ Read about how and why → +
+ +
+
💻
+

OS Setup

+

NixOS (server), Arch Linux (laptop)

+ Read about my OS journey → +
+ +
+
📝
+

IDE of Choice

+

Zed ❤️

+ Read my full thoughts → +
+ +
+
☕
+

Essential Laboratory Equipment

+

High-precision coffee brewing apparatus - critical for maintaining research productivity

+ + De'Longhi Magnifica S +
+ +
+
+ +
+ +
+
+

Collaboration Opportunities

+

Available for research collaboration, consultation, and emergency debugging sessions.

+
+ + 📧 Email + + + 🐙 GitHub + + + 💼 LinkedIn + + +
+
+
+
+ + + + + + + diff --git a/public_html/page/hardware.html b/public_html/page/hardware.html new file mode 100644 index 0000000..8cada83 --- /dev/null +++ b/public_html/page/hardware.html @@ -0,0 +1,85 @@ + + + + + + + Primary Research Station - kempinger.at + + + + + +
+ ← Back to Laboratory +
+

Primary Research Station

+ +
+ Under Construction +

Hardware page is under construction.

+

Because, obviously, hardware is never finished.

+
+ +
+
+ + + \ No newline at end of file diff --git a/public_html/page/ide.html b/public_html/page/ide.html new file mode 100644 index 0000000..ca88a2b --- /dev/null +++ b/public_html/page/ide.html @@ -0,0 +1,145 @@ + + + + + + + IDE of Choice - kempinger.at + + + + + +
+ ← Back to Laboratory +
+

IDE of Choice

+

+ After years of hopping between IDEs, I've finally settled into VSCode—and honestly, it feels like coming + home.

+ I started out with Eclipse back in school, writing Java and wondering if programming would ever feel + smooth. Then came IntelliJ, and suddenly, everything clicked: smart code completion, refactoring, + version control, even writing my master thesis in LaTeX—all in one place. JetBrains' lineup was + impressive, but switching between IntelliJ for Java, PyCharm for Python, WebStorm for web, RustRover for + Rust, CLion for C, and DataGrip for databases got exhausting.

+ I always wanted an IDE that felt as flexible as Emacs, but with modern features and polish. IntelliJ + came close, but the constant context switching wore me down. I tried NetBeans (too clunky), BlueJ (fun, + but just for learning), and Atom (great as a text editor, but not a full IDE).

+ Now, in 2025, VSCode has become my daily driver. It's come a long way since I last used it. With Rust + and Python as my main languages, I realized RustRover and VSCode both rely on Cargo and rust-analyzer—so + why not use the lighter, more customizable option? The extension ecosystem is massive, and with LLM + integration, VSCode actually outpaces IntelliJ in AI-assisted coding.

+ I still feel a bit wary of VSCode's corporate vibe, but with the right extensions and tweaks, it (kind of) feels + like my own tool. It's fast, flexible, and supports everything I need without forcing me to switch apps + for every language. For a Gen Z developer who grew up on Eclipse and dreamed of something better, VSCode + finally delivers the all-in-one experience I always wanted. +

+ Update: + Just a bit after posting this, I tried out Zed. + VSCode, but fast, responive, not corpo and written in Rust. + Not everything is supported as of now (October '25), such as the entirety ofmy Latex workflow, but a lot of relevant things already work, so i made the switch. + +

+ +
+
+ + + \ No newline at end of file diff --git a/public_html/page/os.html b/public_html/page/os.html new file mode 100644 index 0000000..a62efe8 --- /dev/null +++ b/public_html/page/os.html @@ -0,0 +1,96 @@ + + + + + + + Primary Research Station - kempinger.at + + + + + +
+ ← Back to Laboratory +
+

OS Setup

+

+ My journey with operating systems started in the glow of a CRT monitor, running Windows XP on a chunky + desktop that took up half my childhood desk. Back then, the OS was just a background character—something + you tolerated so you could play games or tinker with Paint.

+ As hardware evolved, so did my setup: Windows 7, then 10, each on increasingly sleeker desktops + and eventually my first laptop. Windows was familiar, reliable, and—at least for a while—felt like the + only real option. But as I got deeper into programming, I started to feel the limits. I wanted more + control, more transparency, and less bloat.

+ High school was my first real foray into Linux. I fumbled my way through Ubuntu installs, breaking + things, fixing them, and learning more in the process than any textbook could teach. The world of + distros opened up: I tried Kubuntu, Mint, Fedora, and then the pentesting distro Backbox for a year. + Each one taught me something new about how computers work under the hood.

+ For a few years, Pop!_OS became my daily driver. It was Ubuntu-based, but with a polish and hardware + support that just worked—especially on my 13" HP Laptop screen. I loved the COSMIC desktop environment + for its workflow and usable design, and especially for its auto-tiling feature, which I still haven't + found as polished anywhere else—it's unmatched for my mouse-driven workflow. But eventually, the itch + for something even more customizable led + me to Arch Linux. I only switched to Arch this year: bleeding edge, rolling release, and a wiki that’s + both a lifeline and a rite of passage. I now run Arch (btw), still with COSMIC as my DE, but with every + package and config under my control.

+ Now, this very webserver is running NixOS as an experiment. NixOS is a whole new paradigm: the OS, its + configuration, and the data are all strictly separated. I define my system in a single config file, and + can reproduce it anywhere, anytime. It’s made me rethink how I manage not just my servers, but my + personal machines too. Keeping the OS, its config, and my data separate means I can upgrade, migrate, or + even break things without fear—everything is reproducible, and nothing is lost.

+ Looking back, every step—from Windows on a CRT to declarative NixOS—has taught me something about + control, flexibility, and the value of understanding what’s happening beneath the surface. The journey + isn’t over, but for now, I’m happy to be running a system that’s truly my own. +

+
+
+ + + \ No newline at end of file diff --git a/public_html/robots.txt b/public_html/robots.txt new file mode 100644 index 0000000..3176ff2 --- /dev/null +++ b/public_html/robots.txt @@ -0,0 +1,74 @@ +# Allow major search engines +User-agent: Googlebot +Allow: / + +User-agent: Bingbot +Allow: / + +User-agent: Slurp +Allow: / + +User-agent: DuckDuckBot +Allow: / + +User-agent: Baiduspider +Allow: / + +User-agent: YandexBot +Allow: / + +# Block AI crawlers and scrapers +User-agent: GPTBot +Disallow: / + +User-agent: Google-Extended +Disallow: / + +User-agent: CCBot +Disallow: / + +User-agent: anthropic-ai +Disallow: / + +User-agent: Claude-Web +Disallow: / + +User-agent: ChatGPT-User +Disallow: / + +User-agent: OpenAI-SearchBot +Disallow: / + +User-agent: PerplexityBot +Disallow: / + +User-agent: YouBot +Disallow: / + +User-agent: Meta-ExternalAgent +Disallow: / + +User-agent: FacebookBot +Disallow: / + +User-agent: Applebot-Extended +Disallow: / + +User-agent: Bytespider +Disallow: / + +User-agent: ImagesiftBot +Disallow: / + +User-agent: Omgilibot +Disallow: / + +User-agent: Diffbot +Disallow: / + +User-agent: VelenPublicWebCrawler +Disallow: / + +# Default rule for unknown bots +User-agent: * +Disallow: /