Synthetic key enzyme enables the conversion of CO2 into formic acid | Hacker News Reader