Notes on A Taste of Rewrite Systems: https://t.co/eUmMeNdF54 Basically, if you apply rewrite rules then the system terminates if something decreases every time you apply a rule
The game is to predict in which corner it will end – for every different sized floor it would end in one of the three opposite corners from where it started.
Since I was small I would play a little game on tiled floors to pass the time. You shoot an imaginary laser beam from the bottom-left tile that bounces around the floor until it reaches a corner. There it dies. https://t.co/wxZmiZ407o
Please get in touch if you're aware of any work on a (fiat-backed and donations-based) blockchain approach to universal basic income, or similar projects. Likewise if you're interested in getting involved/contributing to a project in this vein. #blockchain#ubi
Today I am excited to release pytorch-block-sparse: a *drop-in* replacement of @PyTorch Linear with GPU-efficient sparsity:
75% sparsity➡️4x less memory + 2x the speed!
Code & tutorials to use to train your own sparse models: https://t.co/HMO11zWAjk
@simondlr I liked the distinction between the (slightly) indifferent Sentient Intelligence (SI) and very useful Rational Intelligences (RIs) in Pandora's Star by Hamilton
@_rockt Nice! Reminds me that I used to play roguelikes like adom and later toyed with the idea of evolving a game world where agents 'learn' on their own. But creating a rich enough world is difficult - also automatically identifying when a world is interesting without waiting forever
i dropped everything else and spent the day with these 7000+ tracks. it felt like meeting an alien trying to decipher music. or listening to an overplayed time traveling 72rpm. or some half-remembered songs from a dream. i feel immensely grateful and inspired. what a treat.
@anishathalye Really cool! - I've thought about giving up on TikZ and installing something like inventor/autocad a few times before, so it is nice to see someone else with similar frustrations pulling this off
AI Dungeon 2 is done! 🐲
This has been the product of hundreds of hours, but it's been completely worth it. AI Dungeon 2 is a first of it's kind completely AI generated text adventure that allows you to enter any action you can imagine.
Play it here: https://t.co/Fr8w82g1sG
Now in its second year, Microsoft is proud to sponsor #DLIndaba2018, held September 9-14 at Stellenbosch University in South Africa. It is a world-class machine learning conference that aims to strengthen African machine learning: https://t.co/YAYyjWUc23
Paper on "neurosymbolic" program synthesis for lifelong learning, authored with @RandomlyWalking and students, accepted at #NIPS2018! Moral: functional idioms and type-directed synthesis can facilitate transfer across learning tasks. Preliminary version at https://t.co/LvPoRb8oKn