Explore >> Select a destination
|
You are here 
|
julesh.com | ||
| | | | |
bartoszmilewski.com
|
|
| | | | | This is part 13 of Categories for Programmers. Previously: Limits and Colimits. See the Table of Contents. Monoids are an important concept in both category theory and in programming. Categories correspond to strongly typed languages, monoids to untyped languages. That's because in a monoid you can compose any two arrows, just as in an untyped... | |
| | | | |
www.jeremykun.com
|
|
| | | | | For those who aren't regular readers: as a followup to this post, there are four posts detailing the basic four methods of proof, with intentions to detail some more advanced proof techniques in the future. You can find them on this blog's primers page. Do you really want to get better at mathematics? Remember when you first learned how to program? I do. I spent two years experimenting with Java programs on my own in high school. | |
| | | | |
ncatlab.org
|
|
| | | | | ||
| | | | |
windowsontheory.org
|
|
| | | The theoretical computer science community and science at large suffered a great tragedy today. Luca Trevisan has been one of my intellectual and personal heroes since I joined the field. His work on pseudorandomness, complexity, cryptography and algorithms has been a strong influence on my work. Whenever I wanted to understand a new topic, often... | ||
