i_don_t_know

Recent Submissions

1. 1. ▲ Archimedes – A Python toolkit for hardware engineering (pinetreelabs.github.io) 126 points · 1 month ago · 15 comments
2. 2. ▲ Why higher-order logic is a good formalisation for hardware (cl.cam.ac.uk) 1 point · 1 month ago · 1 comment
3. 3. ▲ Algorithms for Optimization (second edition preview) [pdf] (algorithmsbook.com) 3 points · 4 months ago · 1 comment
4. 4. ▲ The Quanta Podcast (quantamagazine.org) 1 point · 7 months ago · 0 comments
5. 5. ▲ Algorithms for Validation (algorithmsbook.com) 3 points · 7 months ago · 1 comment