vampirebat

3 ms·

1. 1.▲
   by vampirebat 12y ago

   Every monadic expression needs to be "run", and it turns out that with a different run function that exact code could be made to execute in parallel. In practice, though, you would probably use an explicit parallel combinator.
2. 2.▲
   by vampirebat 12y ago

   This is a talk given at this year's OEIS conference. Part 2 is here: http://vimeo.com/109142264 The paper in the talk is available here: http://bulkmail.unt.edu/bulkdocs/1413399522_ConwayJohnH_2013
3. 3.▲
   John H. Conway – Is the Collatz conjecture unprovable?(vimeo.com)

   2 points by vampirebat 12y ago|1 comments
4. 4.▲
   by vampirebat 12y ago

   From the abstract: Abstract: As a math-loving teen-ager, I got swept up into an intense and almost indescribably intoxicating binge of mathematical exploration, all of which was centered on the discovery (or invention?) of integer sequences
5. 5.▲
   Douglas Hofstadter-Intertwined Patterns of Integers&Patterns OfThought Processes(vimeo.com)

   2 points by vampirebat 12y ago|1 comments
6. 6.▲
   by vampirebat 12y ago

   This is exactly what the Error / Either monad does.
7. 7.▲
   by vampirebat 12y ago

   And you have to be able to compose gates. Not to detract from a very cool demonstration, but it appears that all of the energy comes from the "inputs" which have to overcome all of the frictional forces in the system. With semicon
8. 8.▲
   by vampirebat 13y ago

   Another implementation (scroll down instead of to the right): http://www.scalesolarsystem.66ghz.com/