Definite clause grammars and symbolic differentiation (bitsandtheorems.com)
62 points by Knaapje 5 days ago | 9 comments
9162 points by Knaapje 5 days ago | 9 comments
91125 points by birdculture 5 days ago | 6 comments
92158 points by ustad 5 days ago | 187 comments
9393 points by Tomte 2 days ago | 37 comments
94277 points by yoyoyo1122 2 days ago | 140 comments
95132 points by hland 2 days ago | 63 comments
96344 points by ksec 5 days ago | 100 comments
97481 points by rossant 3 days ago | 178 comments
9811 points by fragmede 19 hours ago | 1 comment
99730 points by noddybear 3 days ago | 207 comments
10021 points by userbinator 5 days ago | 0 comments
10177 points by lifeisstillgood 7 days ago | 81 comments
10213 points by gsky 4 days ago | 2 comments
10323 points by mooreds 15 hours ago | 1 comment
10461 points by SirLJ 4 days ago | 76 comments
105179 points by Kerrick 5 days ago | 81 comments
10671 points by signa11 2 days ago | 46 comments
10713 points by m463 4 hours ago | 3 comments
10874 points by klelatti 3 days ago | 11 comments
10944 points by wcynthia 2 days ago | 39 comments
11019 points by PaulHoule 5 days ago | 1 comment
111192 points by MrBuddyCasino 5 days ago | 116 comments
11212 points by crescit_eundo 2 days ago | 0 comments
11338 points by Caiero 5 days ago | 2 comments
114267 points by gmays 7 days ago | 121 comments
11573 points by wglb 5 days ago | 31 comments
116185 points by learningcircuit 3 days ago | 30 comments
117313 points by volemo 5 days ago | 89 comments
118612 points by nomilk a day ago | 380 comments
11990 points by KnuthIsGod 9 hours ago | 79 comments
120