pgeorgi avatar
Active user
1 year ago by invitation from wink
432, averaging 3.46 per story/comment
3, most commonly tagged formalmethods

Developer of coreboot, OpenBIOS and other lowlevel things. Friend of Forth, Ada, Smalltalk and other unusual programming languages.

When not at the computer, likes music (singing, playing the piano, listening) and reading books. Based in Germany.

ways to reach me:,, ActivityPub: