## User login## Navigation |
## When is one thing equal to some other thing?For those of you still looking, here's a fun introduction to Category Theory by Barry Mazur. |
## Browse archives## Active forum topics- Looking for references on the expressiveness and computational completeness of a relational programming language
- language handling of memory and other resource failures
- Whither FRP?
- Programming Languages as Mathematical Representations
- Is there a language with the ability to write arbitrary type functions?
## New forum topics |

## Recent comments

3 hours 18 min ago

10 hours 32 min ago

12 hours 49 min ago

14 hours 7 min ago

14 hours 53 min ago

16 hours 11 min ago

16 hours 17 min ago

19 hours 5 min ago

19 hours 57 min ago

20 hours 9 min ago