Blogs / Personal blogs

Eduardo Ochs

angg.twu.net

Welcome! I'm a mathematician, logician, categorist and type-theorist who used to do computer programming and Free Software activism in his spare time... I have a Free Software project that I consider extremely important, and I have decided that I have to spend a few years outside of the academic world working on day…

Popular posts

2

Total points

253

HN comments

106

Rank

#10,455 personal

Visit angg.twu.net → On Hacker News Aug 2022 – May 2024

Software Engineering 2Tools & Productivity 1Programming Languages 1