ISC Class 11 Computer Science Syllabus 2024-25: Download the ISC Class 11 Computer Science Syllabus for the academic session 2024-25 here. Check out the complete syllabus to know the list of topics ...

I originally created this as a short to-do list of study topics for becoming a software engineer, but it grew to the large list you see today. After going through this study plan, I got hired as a ...

The discussion on Tom’s recent post about ETCS, and the subsequent followup blog post of Francois, have convinced me that it’s time to write a new introductory blog post about type theory. So if ...

Over the last few years, I’ve been very slowly working up a short expository paper — requiring no knowledge of categories — on set theory done categorically. It’s now progressed to the stage where I’d ...