Andreas Roehler
Freier Autor at Selbständig
Berlin, Germany
Summary
👤
Senior🎓
Top SchoolAndreas Roehler is a Berlin-based freelance author and software tinkerer with 16 years of experience probing subtle, widespread software oddities he likens to Heisenbugs. He writes and maintains practical developer tooling—most notably operator-mode for Emacs—which reflects his focus on small ergonomics wins that cut keystrokes and improve everyday workflows. Trained as a Hochschulingenieurökonom in Merseburg, he brings a pragmatic, systems-minded approach to problems that sit at the intersection of programming conventions and human-readable mathematics. His work blends careful observation with hands-on open-source experimentation, revealing usability issues many engineers accept as inevitable.
16 years of coding experience
Hochschulingenieurökonom, Betriebswirtschaft, 2, Hochschulingenieurökonom, Betriebswirtschaft, 2 at TH Merseburg
Stackoverflow
4,814reputation
248kreached
350answers
2questions
elisp
top-5%
emacs
top-1%
Github Skills (197)
agda10
servant10
dependent-types10
delimiter10
proof-general10
melpa10
emacs-lsp10
emacs-lisp10
coq10
idris10
emacs10
elisp10
type-theory10
reasoning10
logic10
Programming languages (15)
Github contributions (5)
andreas-roehler/thingatpt-utils-core
Nov 2016 - Jan 2023
Contributions:244 commits, 242 pushes, 1 branch in 6 years 3 months
andreas-roehler/sofp-solutions
Nov 2023 - Dec 2024
Solutions for exercises in the book "Science of functional programming"
Contributions:146 pushes in 1 year
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.