Perl 6 - the future is here, just unevenly distributed

IRC log for #isabelle, 2015-12-25

| Channels | #isabelle index | Today | | Search | Google Search | Plain-Text | summary

All times shown according to UTC.

Time Nick Message
15:01 IsM joined #isabelle
15:07 IsM In the house, for what it's worth, which is to compare my IRC client's buffer to the web, http://portableapps.com/apps/internet/pchat_portable
15:08 IsM Even #javascript didn't have much traffic. I wanted to make sure I could get sound notifications for PChat, which was the 2nd client I tried. The first didn't work for sound.
15:09 IsM A message on the IRC Isabelle channel is not as rare as a Big Foot sighting, but infrequent nonetheless.
15:11 IsM Mathematics with Isabelle, not divergent with traditional math in many ways. What one knows, another doesn't. No talk. What the other knows, the one doesn't. No talk.
15:12 IsM Shoes. That's what we end up with in common. There's nothing to talk about there. Staring at one's shoes does not require requests for help.
20:40 lispy joined #isabelle
23:06 Holistic joined #isabelle

| Channels | #isabelle index | Today | | Search | Google Search | Plain-Text | summary