nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpq6tneke6u6pvla2drpws3l7f2g2zamwcyrlfgpks0hjqjrz57cgvs0s3kqn I was thinking of using the chips directly for doing interesting maths.
@nprofile1q... Something that's really hot and arguably quite cool is the Lean programming language
1