Skip to content

Top New Best Ask Show Jobs

fastneutron

455 karmaJoined May 10, 2020152 submissions

Principal R&D engineer - Deeptech, nuclear energy, scientific computing, quantum technologies, artificial intelligence.

fastneutron235 -at- gmail -dot- com

fastneutron | Better HN

Recent submissions

1

Athena: A Programming Language for Proof Engineering and Natural Deduction (opens in new tab)

(athena-lang.org)

2fastneutron1y ago0