(Tangents people should look up: speedrunning, Quest For Tetris)
-
Show this thread
-
Tiffany Bard [Game2Learn lab] is teaching people how to code with a game called BOTS.
#strangeloop1 reply 1 retweet 0 likesShow this thread -
Programs are essentially designed problems where the problem precedes the solution. (Quest. For. Tetris.)
#strangeloop1 reply 0 retweets 3 likesShow this thread -
(I can feel my mind trying to think too many thoughts at once. Spinning between programming games, multiple examples, ideas, experiments I want to run, articles to write, things to build)
1 reply 0 retweets 3 likesShow this thread -
A mention of the "Separating Programming Sheep from Goats", the article that some people Just Couldn't Learn to Program, and how it was retracted for being nonsense. (I think people generally misinterpret it a bit, but it still has problems.)
#strangeloop1 reply 0 retweets 2 likesShow this thread -
Most of our mental models of programs are incomplete. Some ways we communicate our mental models to computers are with types and tests.
#strangeloop1 reply 2 retweets 1 likeShow this thread -
@chrisamaphone just mentioned Emina Torlak! She did some really crazy cool work with Kodkod and Rosette. Kodkod is the reason Alloy solver runs so fast!#strangeloop1 reply 0 retweets 2 likesShow this thread -
Solver-aided tools are interesting, but they don't seem to scale. The more you try to get the computer to directly run your mental model, the more it just becomes complicated code.
1 reply 0 retweets 0 likesShow this thread -
Competitive artifacts give us cognitive abilities as long as we are using it, but not without it. Complementary artifacts make you better in general, even without the artifact.
#strangeloop1 reply 0 retweets 0 likesShow this thread -
Takeaways: systems that augment our cognition are way more effective than systems that try to replace us, but the research is sparse.
2 replies 1 retweet 6 likesShow this thread
I have enjoyed your live tweeting of this talk and I'm looking forward to the video. Thank you :).
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.