celestius

I saw the Datafun presentation at Strangeloop some years back, so it’s really cool to see these ideas come to such an impressive fruition. In the meantime, a virtual machine for an RDF based logic language became my own side project/obsession, so this dissertation looks like exactly what I need.

Yeah cat theory jargon always makes me gape. I should revisit some of Spivak’s work directed at teaching cat theory to programmers, if only to know how this thesis does what it does.

I'm curious to hear about corporate culture in less cutthroat economies. Given how much of managerial BS is about making sure your underlings don't get fired, just making it harder to fire people in the first place would do a lot to remove that incentive.

not a good sign. why do they hate it?