vimarsana.com

Latest Breaking News On - Why writing correct software is hard part - Page 1 : vimarsana.com

Shtetl-Optimized » Blog Archive » The 8000th Busy Beaver number eludes ZF set theory: new paper by Adam Yedidia and me

I've supervised a lot of great student projects in my nine years at MIT, but my inner nerdy teenager has never been as personally delighted by a project as it is right now.  Today, I'm proud to announce that Adam Yedidia, a PhD student at MIT (but an MEng student when he did most of this work),…

© 2024 Vimarsana

vimarsana © 2020. All Rights Reserved.