My intern has finally understood recursion. Now he's learning about higher-order functions. His verdict? Easy, compared to recursion.
Indeed. Did you ever look at F*, by the way? Effect system allows tracking which functions are pure.
-
-
there's some fascinating diversity in micro architectures and ISAs in the stuff that's rarely publicly documented.
-
I just wonder how many of those end up being exploitable...
End of conversation
New conversation -
-
-
and fixing other people's shitty functional simulator and/or hardware bugs :-)
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
no, have never got there. I'm stuck writing assembly using intrinsics and letting C/llvm do register alloc & ins sched
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.