dasnacl @dasnacl@types.pl

Website: https://dasnacl.de

Secure Compilation wannabe

Joined Oct 2022

19 Following 14 Followers

treppenverstand @treppenverstand@types.pl

Woke Leftist Trash @agentultra@types.pl

evets @evets@types.pl

Edwin Brady @edwinb@types.pl

Rob Dickerson @robd@types.pl

William J. Bowman @wilbowma@types.pl

System F @systemf@types.pl