The Open Source Computer Science Degree
The Open Source Computer Science Degree
github.com GitHub - ForrestKnight/open-source-cs: Video discussing this curriculum:
Video discussing this curriculum:. Contribute to ForrestKnight/open-source-cs development by creating an account on GitHub.
You're viewing a single thread.
27 comments
I never did a CS degree but recently I've been doing some things that make me wish I had. But it isn't any of this stuff which seems mostly programming things that you can easily learn outside academia.
The stuff I would like to understand which I haven't yet been able to learn on my own is the hard computer sciency stuff: lambda calculus, type inference (how do you read that weird judgement syntax?), how SAT/SMT solvers work, dependent typing systems... Does anyone have any good resources for those sorts of things?
27 comments