|
You are here |
openlogicproject.org | ||
| | | | |
maryjob.com
|
|
| | | | | https://docs.google.com/presentation/d/13I2iABHqayIkRIY1h5Dadc9lsLfKVv9IApm0zSYDT7g/edit?usp=sharing | |
| | | | |
www.logicmatters.net
|
|
| | | | | The headline news: there is now an inexpensive (but quite acceptably produced) paperback of Introducing Category Theory. Amazon-only to minimize cost, ISBN 978-1916906396: US $14.99, UK £10.99, DE ?14.82, IT ?14.40, etc. I'm very sure this could be improved in all kinds of ways. As I say at the end of the Preface, the current [...] | |
| | | | |
vimcasts.org
|
|
| | | | | ||
| | | | |
renato.athaydes.com
|
|
| | | [AI summary] The blog post discusses running WebAssembly (WASM) on the JVM using the asmble compiler and Gradle plugin, highlighting its potential and challenges compared to traditional methods like Emscripten. | ||