🎯
Focusing
Backend developer, computer science student. Interested in theoretical cs, algorithms, formal languages, compiler design, logic, automated reasoning, e.t.c.
-
Max-Planck Institute for Informatics
- Saarbrücken, Germany
-
04:34
(UTC +01:00) - https://zerobone.net
- https://orcid.org/0000-0002-4178-9429
- zerobonezb
Andrii Lomakin
andrii0lomakin
Creator of OrientDB storage engine and YouTrackDB (fork of OrientDB) project.
JetBrains Czech Republic
Anthony Widjaja Lin
anthonywlin
Professor at University of Kaiserslautern. Does formal verification, automated theorem proving, and programming languages.
University of Kaiserslautern Germany
Fabian von der Warth
fabianvdW
PHD (mathematics) student at RPTU Kaiserslautern - Landau
Author of FabChess - a chess engine written in Rust.
Tichu enthusiast.
Kaiserslautern
Jon Gjengset
jonhoo
Rust educational streamer. At @helsing-ai. Previously at AWS. A fan of making things secure, fast, scalable, and well-documented.
@helsing-ai Oslo, Norway
Mindaugas Rasiukevicius
rmind
Consulting or freelance only.
Nox Technologies Ltd London (UK) / Vilnius (Lithuania)
Joel Yliluoma
bisqwit
The Bisqwit. Free software author. YouTuber. Founder of #TASVideos. ROM hacker. Coach drⅳer. Teacher of #IsraeliFolkDance. Speaker of Hebraic Roots apologetics.
Finland