Ramanujan Prize winner Neena Gupta who solved Zariski problem

2021-12-20

Ask HN: What are some good blogs/sites about formal/computer languages?

2021-12-19

Fun With 3 Colors: The Vectrex 3-D Imager

2021-12-19

Fixing Computer Space (2015)

2021-12-19

Ask HN: Why so many people comment with 'I wish it was open-source'

2021-12-19

CNApy – An integrated environment for metabolic network analysis

2021-12-19

Improving the accuracy of minimal impact Python profiling

2021-12-19

Engineer get the job done, a lamp and power line story

2021-12-19

Show HN: I made a polling app based on Quadratic Voting

2021-12-19

Ask HN: What do I need to think about before going to work for a startup?

2021-12-19