futtetennista
Re:Shaking Buildings in the World’s Largest Earthquake Simulator
on Tuesday March 21, 2017 @01:41PM (#13924435)
This is just awesome! Does anybody know if other countries are using similar techniques? I'm thinking about Italy or Turkey for example, which had been repeatedly hit by earthquakes in recent years.
Re:An Introduction to the Lambda Calculus (2015)
on Monday December 26, 2016 @01:03PM (#13259109)
Very cool idea! Is it open source or are you thinking about it?
Re:A Short Introduction to the Lambda Calculus (2004) [pdf]
on Wednesday December 07, 2016 @02:16PM (#13125295)
Another (old) gem that I feel like suggesting to anyone interested in this topic is 'Introduction to Functional Programming' by Philip Wadler and Richard Bird, which is also available online for free:
https://usi-pl.github.io/lc/sp-2015/doc/Bird_Wadler.%20Intro...