< 1438646429 569814 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :(Actually for the clock hours it is IIII not IV for four o'clock) < 1438646444 648338 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: Got any Romans to back you up on that? < 1438646462 648625 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :No < 1438646473 44648 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Unfortunately I do not have. < 1438646505 20031 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :zzo38: actually the romans used both spellings interchangeably throughout much of their reign < 1438646536 997228 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :(it's XX hour here) < 1438646547 274771 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :For the clock it is IIII though < 1438646566 27128 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :prescriptivist < 1438646598 467414 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :quintopia: my hunch is that it might be 1, _assuming_ there is no simple reason why a TM might always get stuck in a subgraph. < 1438646634 148897 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :whose probabilty doesn't shrink to 0 as symbols and/or states grow. < 1438646690 50171 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :oerjan: i thought 1 as well, because i was thinking that there should be a subgraph in which you COULD get stuck, given a particular encoding, which was universal < 1438646723 794263 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :is there an official answer (or at least 0, 1, or neither) < 1438646729 512087 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :no < 1438646735 799959 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :darn < 1438646754 218171 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :it seems like a difficult question < 1438646764 295198 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i wouldn't expect an answer yet anyway < 1438646896 25642 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :quintopia: actually my hunch is a combination of both. if it's low, it might be _either_ from getting stuck in something small non-TC, or from getting lost in a large graph with no TC sub-component < 1438646935 772329 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :so...you think it's zero? or you think those two things are both unlikely? < 1438646954 95493 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i think that those two things are more than my brain can tackle at this time < 1438646969 579952 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :mine too < 1438646972 438395 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :they depend on graph stuff < 1438647024 697559 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and birthday-paradox things to ensure small subgraphs exist < 1438647050 256258 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm maybe even ramsey numbers. < 1438647079 189971 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :given a pair o' docs, what's the likelihood that they share the same birthday? < 1438647089 287348 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :1/365 < 1438647093 908516 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :what's the likelihood that they share different birthdays? < 1438647108 522855 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :depends how good friends they are < 1438647147 470060 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :pretty good friends < 1438647161 360936 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :then maybe they'll decide to share birthdays < 1438647173 576885 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i would if I were that good of a friend < 1438647188 141014 :tromp!~tromp@ool-18be0b4d.dyn.optonline.net QUIT :Remote host closed the connection < 1438647204 643390 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :actually, i might even swap birthdays with a random stranger just for kicks < 1438647206 98994 :rg_!~rg_@mobile-107-107-61-88.mycingular.net QUIT :Quit: My Mac has gone to sleep. ZZZzzz… < 1438647246 488203 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :if they weren't friends, why would we call them a pair o' docs? < 1438647252 886418 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i guess they could be business partners or something < 1438647257 756852 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :but no, they're good friends < 1438647261 695535 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :they cuddle a lot, too < 1438647308 142731 :rg_!~rg_@mobile-107-107-61-88.mycingular.net JOIN :#esoteric < 1438647403 198237 :rg_!~rg_@mobile-107-107-61-88.mycingular.net QUIT :Client Quit < 1438647671 756434 :hppavilion[1]!423aab85@gateway/web/freenode/ip.66.58.171.133 PRIVMSG #esoteric :Hm < 1438647676 718236 :hppavilion[1]!423aab85@gateway/web/freenode/ip.66.58.171.133 PRIVMSG #esoteric :Uh < 1438647921 259619 :oren!~oren@65.94.102.49 PRIVMSG #esoteric :Ok now I have most of IPA and all the Hebrew letters < 1438648114 126075 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :whoa whoa whoa < 1438648118 780681 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :what do those look like < 1438648139 316229 :Frooxius!~Frooxius@50.141.34.168 QUIT :Ping timeout: 250 seconds < 1438648196 98659 :Frooxius!~Frooxius@50.141.34.180 JOIN :#esoteric < 1438648312 660117 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Wisdom from the neural net: < 1438648315 48201 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :15:18:53: high on a subset of English instance policy? < 1438648334 425689 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Man, I don't understand why subsets of English instance policy haven't been banned. They're a gateway drug. < 1438648356 139863 :Gregor!dlopen@libdl.so PRIVMSG #esoteric :oerjan, tswett: Idling is zen. < 1438648363 970334 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :ACTION nods. < 1438648431 658400 :hppavilion[1]!423aab85@gateway/web/freenode/ip.66.58.171.133 QUIT :Ping timeout: 246 seconds < 1438648666 799436 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Gregor: did you see my point about the logs? i think one more character width for the nickname might be nice < 1438648751 373761 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or whatever it takes to make http://codu.org/logs/log/_esoteric/2015-08-03#085542hooplavilion1 not wrap < 1438648764 571203 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hi Gregor < 1438648769 129664 :Gregor!dlopen@libdl.so PRIVMSG #esoteric :It doesn't wrap for me... < 1438648788 644872 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Gregor: There's a small problem with `revert that could be fixed with a small patch. < 1438648826 255246 :Gregor!dlopen@libdl.so PRIVMSG #esoteric :Gregor: Just give me the patch then ;) < 1438648838 306694 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :shachaf: I think fizzie has it. < 1438648841 97118 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Gregor: just the last > for me, although for the above it wraps before the [0]> < 1438648882 706872 :Gregor!dlopen@libdl.so PRIVMSG #esoteric :Which browser? < 1438648893 489490 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :IE 11 < 1438648920 725728 :Gregor!dlopen@libdl.so PRIVMSG #esoteric :Well there's yer problem < 1438648936 387827 :Gregor!dlopen@libdl.so PRIVMSG #esoteric :How does it look in equally-useful Netscape Navigator 3? < 1438648948 997870 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i have no idea, since i do not have that installed. < 1438648961 860408 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :... < 1438648967 665873 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :is the joke "microsoft products are scow"? < 1438648981 306986 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i could try with Microsoft Edge ith < 1438648987 19934 :Gregor!dlopen@libdl.so PRIVMSG #esoteric :If "scow" is meant to be "shit", then yes? < 1438648987 483749 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(now _that's_ scow) < 1438649003 513890 :Gregor!dlopen@libdl.so PRIVMSG #esoteric :scow (n): a wide-beamed sailing dinghy. < 1438649022 467817 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :that is another meaning of the word < 1438649035 462317 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :for example a garbage scow is a scow in that sense < 1438649093 238102 :Gregor!dlopen@libdl.so PRIVMSG #esoteric :It would be unusual to haul garbage on a dinghy. < 1438649099 8171 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: do you also think Gregor is being uncooperative today tdnh < 1438649116 77809 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :https://en.wikipedia.org/wiki/Garbage_scow < 1438649117 53506 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :boom < 1438649130 520546 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :http://www.trekcc.org/1e/cardimages/errata/Radioactive-Garbage-Scow.jpg < 1438649965 633809 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Gregor: ok after seeing width: 10em in your style sheet i'm now wondering how it ever displays as much as it _does_. clearly i don't understand css... < 1438650098 875356 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :no one understands css hth < 1438650351 301401 :oren!~oren@65.94.102.49 PRIVMSG #esoteric :Now I have all the IPA letters < 1438650397 941237 :oren!~oren@65.94.102.49 PRIVMSG #esoteric :what unicode block should I do next < 1438650411 790868 :oren!~oren@65.94.102.49 PRIVMSG #esoteric :(must be fixed-width) < 1438650803 995844 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :what are your hebrew letters like < 1438650987 515878 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ACTION thinks IE feels zippier now after upgrading to windows 10. also dehibernation seems faster. < 1438651011 296304 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :which is good because yesterday other things seemed slow < 1438651060 674997 :oren!~oren@65.94.102.49 PRIVMSG #esoteric :shachaf: hold on I'll get a screenshot < 1438651205 980277 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1438651453 508252 :oren!~oren@65.94.102.49 PRIVMSG #esoteric :http://www.orenwatson.be/pic.png < 1438651520 439603 :oren!~oren@65.94.102.49 PRIVMSG #esoteric :that took some time because I had to write a program to output arbitrary unicode ranges in utf-8 first < 1438651611 109012 :Aearnus!uid103822@gateway/web/irccloud.com/x-mgnamxzbrakyfunm PRIVMSG #esoteric :oren: oh wow that font < 1438651618 549339 :Aearnus!uid103822@gateway/web/irccloud.com/x-mgnamxzbrakyfunm PRIVMSG #esoteric :Is that what you were working on < 1438651693 964690 :oren!~oren@65.94.102.49 PRIVMSG #esoteric :Yeah < 1438651715 921103 :Froox!~Frooxius@104.254.90.203 JOIN :#esoteric < 1438651783 113403 :oren!~oren@65.94.102.49 PRIVMSG #esoteric :I have ASCII, Latin-1, Latin-A, IPA, Hebrew, Greek, Cyrillic, Box Drawing, some Arrows and Math Symbols, all the Block Elements, and all the Geometric Shapes < 1438651801 23831 :notfowl!fowl@gateway/shell/elitebnc/x-urfvdsnwrhicltkn PRIVMSG #esoteric :oren thats a movie hacker font right thete < 1438651803 197849 :notfowl!fowl@gateway/shell/elitebnc/x-urfvdsnwrhicltkn PRIVMSG #esoteric :There < 1438651808 454750 :oren!~oren@65.94.102.49 PRIVMSG #esoteric :yup < 1438651833 196503 :oren!~oren@65.94.102.49 PRIVMSG #esoteric :I iz teh HAXXXORZ doesn't even look like a joke in this font < 1438651841 685492 :notfowl!fowl@gateway/shell/elitebnc/x-urfvdsnwrhicltkn PRIVMSG #esoteric :`unicode 👳👲 < 1438651842 783587 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :U+1F473 MAN WITH TURBAN \ UTF-8: f0 9f 91 b3 UTF-16BE: d83ddc73 Decimal: 👳 \ 👳 \ Category: So (Symbol, Other) \ Bidi: ON (Other Neutrals) \ \ U+1F472 MAN WITH GUA PI MAO \ UTF-8: f0 9f 91 b2 UTF-16BE: d83ddc72 Decimal: 👲 \ 👲 \ Category: So (Symbol, Other) \ Bidi: ON (Other Neutrals) < 1438651883 347187 :Froox!~Frooxius@104.254.90.203 QUIT :Client Quit < 1438651883 453208 :oren!~oren@65.94.102.49 PRIVMSG #esoteric :ah, the Offensive Japanese Stereotype of Indian and Chinese < 1438651886 203752 :Frooxius!~Frooxius@50.141.34.180 QUIT :Ping timeout: 240 seconds < 1438651889 860767 :oren!~oren@65.94.102.49 PRIVMSG #esoteric :Character < 1438651902 908548 :Frooxius!~Frooxius@104.254.90.203 JOIN :#esoteric < 1438652034 154672 :oren!~oren@65.94.102.49 PRIVMSG #esoteric :I'm getting another screenshot showing more of the coverage < 1438652118 872635 :oren!~oren@65.94.102.49 PRIVMSG #esoteric :http://www.orenwatson.be/latin.png < 1438652142 783495 :oren!~oren@65.94.102.49 PRIVMSG #esoteric :is that enough accents!!!?!?!?!!?!/ < 1438652219 872656 :oren!~oren@65.94.102.49 PRIVMSG #esoteric :or does some crazy european language need Latin-B too < 1438652288 261577 :MDude!~fyrc@pa-67-235-0-195.dhcp.embarqhsd.net NICK :MDream < 1438652528 210789 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Remote host closed the connection < 1438652595 118805 :oren!~oren@65.94.102.49 PRIVMSG #esoteric :http://www.orenwatson.be/greekipacyrnotdone.png < 1438652616 620384 :oren!~oren@65.94.102.49 PRIVMSG #esoteric :the coverage of ipa is basically done, but greek and cyrillic need work < 1438652818 524534 :oren!~oren@65.94.102.49 PRIVMSG #esoteric :but the next on my list is hankaku katakana < 1438652950 92956 :_256Q!~toastyten@unaffiliated/256q/x-9307863 QUIT :Read error: Connection reset by peer < 1438653035 453534 :rg_!~rg_@ool-457c9f2d.dyn.optonline.net JOIN :#esoteric < 1438653730 91786 :tromp!~tromp@ool-18be0b4d.dyn.optonline.net JOIN :#esoteric < 1438653986 88858 :tromp!~tromp@ool-18be0b4d.dyn.optonline.net QUIT :Ping timeout: 244 seconds < 1438654009 325276 :Aearnus!uid103822@gateway/web/irccloud.com/x-mgnamxzbrakyfunm PRIVMSG #esoteric :So, have you guys used m4 before < 1438654056 42882 :oren!~oren@65.94.102.49 PRIVMSG #esoteric :I seem to recall using it for... something... a long time ago < 1438654140 399133 :oren!~oren@65.94.102.49 PRIVMSG #esoteric :ACTION reloads youtube < 1438654146 671745 :oren!~oren@65.94.102.49 PRIVMSG #esoteric :FUUUUUUUUUUUUUUUUUUUUUUUUUUU < 1438654177 464607 :oren!~oren@65.94.102.49 PRIVMSG #esoteric :YOU BLEW IT UP, YOU MANIACS! < 1438654246 884617 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oren: that's going in the wrong direction hth < 1438654259 78781 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :please draw RIGHT-TO-LEFT OVERRIDE next < 1438654289 461513 :Aearnus!uid103822@gateway/web/irccloud.com/x-mgnamxzbrakyfunm PRIVMSG #esoteric :It's fun < 1438654320 293931 :oren!~oren@65.94.102.49 PRIVMSG #esoteric :FUCK, STOP RUINING EVERYTHING WITH TRANSPARENT BULLSHIT < 1438654364 910066 :oren!~oren@65.94.102.49 PRIVMSG #esoteric :I WANT THE INTERNAT BACK THE WAY IT WAS IN 2002 < 1438654805 239524 :oren!~oren@65.94.102.49 PRIVMSG #esoteric :IS IT TOO MUCH TO ASK THAT PEOPLE KEEP THINGS THE WAY THEYARE < 1438654828 332966 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :yEs < 1438654842 291295 :Aearnus!uid103822@gateway/web/irccloud.com/x-mgnamxzbrakyfunm PRIVMSG #esoteric :I like my left aligned, white background courier new damnit! < 1438654962 958851 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*dammit < 1438655148 500034 :oren!~oren@65.94.102.49 PRIVMSG #esoteric :Aearnus: that's the internet from 1994 about avtually < 1438655204 449454 :oren!~oren@65.94.102.49 PRIVMSG #esoteric :2002 had CSS, it just didn't have all these pointless effects that hinder usablity < 1438655210 147808 :Aearnus!uid103822@gateway/web/irccloud.com/x-mgnamxzbrakyfunm PRIVMSG #esoteric :oren: although honestly, with nice spacing and alignment, that courier new website can look perfectly fine < 1438655269 878699 :oren!~oren@65.94.102.49 PRIVMSG #esoteric :One site that has kept its usablity, with no bullshit, all these years is newgrounds.com < 1438655270 90807 :Aearnus!uid103822@gateway/web/irccloud.com/x-mgnamxzbrakyfunm PRIVMSG #esoteric :The only time I've ever used illiterate CSS (as I've taken to calling it) is when I made an icon wobble when you mouse over it on for fun < 1438655298 284292 :Aearnus!uid103822@gateway/web/irccloud.com/x-mgnamxzbrakyfunm PRIVMSG #esoteric :s/on// < 1438655391 598611 :hppavilion[1]!18ed9e02@gateway/web/freenode/ip.24.237.158.2 JOIN :#esoteric < 1438655472 424725 :hppavilion[1]!18ed9e02@gateway/web/freenode/ip.24.237.158.2 PRIVMSG #esoteric :Hellu < 1438655481 918131 :variable!~variable@freebsd/developer/variable QUIT :Ping timeout: 252 seconds < 1438655840 844237 :oren!~oren@65.94.102.49 PRIVMSG #esoteric :anyone on this channel who works for google: tell the youtube team to give me a "switch to the old player" button < 1438656019 241425 :Aearnus!uid103822@gateway/web/irccloud.com/x-mgnamxzbrakyfunm PRIVMSG #esoteric :oren: but that's flash < 1438656023 862600 :Aearnus!uid103822@gateway/web/irccloud.com/x-mgnamxzbrakyfunm PRIVMSG #esoteric :And flash is eww < 1438656131 491098 :oren!~oren@65.94.102.49 PRIVMSG #esoteric :I have html5 disabled. flash is great, it is mature < 1438656157 736815 :oren!~oren@65.94.102.49 PRIVMSG #esoteric :Flash has wroked fine for me since 1998 < 1438656190 272993 :hppavilion[1]!18ed9e02@gateway/web/freenode/ip.24.237.158.2 PRIVMSG #esoteric :YOU MONSTER < 1438656198 196060 :hppavilion[1]!18ed9e02@gateway/web/freenode/ip.24.237.158.2 PRIVMSG #esoteric :HOW DO YOU LIVE WITH YOURSELF, OREN? < 1438656297 809193 :oren!~oren@65.94.102.49 PRIVMSG #esoteric :I remember when it was always called Shockwave Flash < 1438656384 716871 :oren!~oren@65.94.102.49 PRIVMSG #esoteric :.swf files were a mainstay of animation and gaming throughout my adolescence. I won't hear anybody badmouth it! < 1438656410 465316 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I wish this channel had a bit less yelling. < 1438656421 120818 :hppavilion[1]!18ed9e02@gateway/web/freenode/ip.24.237.158.2 PRIVMSG #esoteric :WELL YOUR WISH HAS BEEN GRANTED < 1438656424 631800 :hppavilion[1]!18ed9e02@gateway/web/freenode/ip.24.237.158.2 PRIVMSG #esoteric ::P < 1438656428 447382 :hppavilion[1]!18ed9e02@gateway/web/freenode/ip.24.237.158.2 PRIVMSG #esoteric :I'm done now < 1438656434 454526 :pikhq!~pikhq@2601:646:8700:3d63:eade:27ff:fe08:b48b PRIVMSG #esoteric :WOULD YOU PREFER IT IF I YELL < 1438656458 772079 :oren!~oren@65.94.102.49 PRIVMSG #esoteric :Windows XP! Shockwave Flash! Table Layouts! IFrames! < 1438656510 903909 :nisstyre!~yourstrul@li611-52.members.linode.com JOIN :#esoteric < 1438656538 602042 :oren!~oren@65.94.102.49 PRIVMSG #esoteric :There was nothing wrong with any of those from a USER's point of view. But they must be replaces becuase some shitwizards decided for us. < 1438656561 523176 :nisstyre!~yourstrul@li611-52.members.linode.com QUIT :Changing host < 1438656561 578156 :nisstyre!~yourstrul@oftn/member/Nisstyre JOIN :#esoteric < 1438656597 417531 :pikhq!~pikhq@2601:646:8700:3d63:eade:27ff:fe08:b48b PRIVMSG #esoteric :The main reason that SWF in particular is dying is because it's a pile of insecure crap that Adobe can't be assed to fix. < 1438656683 444611 :pikhq!~pikhq@2601:646:8700:3d63:eade:27ff:fe08:b48b PRIVMSG #esoteric :Table layouts and iframes are just out of vogue. They're still perfectly valid HTML. < 1438656684 654062 :hppavilion[1]!18ed9e02@gateway/web/freenode/ip.24.237.158.2 PRIVMSG #esoteric :XP was OK < 1438656686 885220 :oren!~oren@65.94.102.49 PRIVMSG #esoteric :They could solve it easily by having a user-whitelist of urls that embedded SWFs can come from. < 1438656703 61966 :pikhq!~pikhq@2601:646:8700:3d63:eade:27ff:fe08:b48b PRIVMSG #esoteric :Yes, and Firefox has it. < 1438656715 76255 :pikhq!~pikhq@2601:646:8700:3d63:eade:27ff:fe08:b48b PRIVMSG #esoteric :I whitelist Flash on: Youtube < 1438656738 425352 :hppavilion[1]!18ed9e02@gateway/web/freenode/ip.24.237.158.2 PRIVMSG #esoteric :We have: Muffins < 1438656740 558247 :pikhq!~pikhq@2601:646:8700:3d63:eade:27ff:fe08:b48b PRIVMSG #esoteric :But, yeah, Adobe is basically trying to kill SWF. < 1438656766 204983 :pikhq!~pikhq@2601:646:8700:3d63:eade:27ff:fe08:b48b PRIVMSG #esoteric :Officially it isn't, but they're only begrudgingly doing any sort of improvements on it. < 1438656779 341959 :oren!~oren@65.94.102.49 PRIVMSG #esoteric :I should contribute to an effort to write a open-source swf player < 1438656816 5106 :oren!~oren@65.94.102.49 PRIVMSG #esoteric :assuming there is one < 1438656859 408211 :pikhq!~pikhq@2601:646:8700:3d63:eade:27ff:fe08:b48b PRIVMSG #esoteric :I believe the furthest along one is Shumway, which is a Mozilla project. < 1438656864 762664 :oren!~oren@65.94.102.49 PRIVMSG #esoteric :Cool < 1438656892 193902 :oren!~oren@65.94.102.49 PRIVMSG #esoteric :I'm too busy to actually write code, but do they have a patreon on something? < 1438656895 971964 :pikhq!~pikhq@2601:646:8700:3d63:eade:27ff:fe08:b48b PRIVMSG #esoteric :Shumway's kinda neat in that it's actually implementing SWF on top of HTML5 and Javascript. < 1438656931 968753 :oren!~oren@65.94.102.49 PRIVMSG #esoteric :So long as SWF's I downloaded in 2007 still play < 1438656934 1827 :hppavilion[1]!18ed9e02@gateway/web/freenode/ip.24.237.158.2 PRIVMSG #esoteric :0.o < 1438656936 516575 :hppavilion[1]!18ed9e02@gateway/web/freenode/ip.24.237.158.2 PRIVMSG #esoteric :Kewlzez < 1438656959 543257 :pikhq!~pikhq@2601:646:8700:3d63:eade:27ff:fe08:b48b PRIVMSG #esoteric :The goal is to get it to do just that. Basically passing SWFs to it instead of a plugin. < 1438656968 581556 :oren!~oren@65.94.102.49 PRIVMSG #esoteric :great < 1438656982 121512 :pikhq!~pikhq@2601:646:8700:3d63:eade:27ff:fe08:b48b PRIVMSG #esoteric :(ATM it does that, but it's not at all the default and such) < 1438657315 660027 :rg_!~rg_@ool-457c9f2d.dyn.optonline.net QUIT :Quit: My Mac has gone to sleep. ZZZzzz… < 1438657343 415639 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :the other, better, goal is to kill swfs < 1438658055 4165 :tromp!~tromp@ool-18be0b4d.dyn.optonline.net JOIN :#esoteric < 1438658175 681930 :pikhq!~pikhq@2601:646:8700:3d63:eade:27ff:fe08:b48b PRIVMSG #esoteric :With fire? < 1438658335 106695 :tromp!~tromp@ool-18be0b4d.dyn.optonline.net QUIT :Ping timeout: 260 seconds < 1438658540 562640 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :So Homestuck will keep working? < 1438658596 328307 :oren!~oren@65.94.102.49 PRIVMSG #esoteric :you know what, fuck this. I'm gonna watch my videos through vlc from now on, until youtube's player isn't shit < 1438658817 500254 :oren!~oren@65.94.102.49 PRIVMSG #esoteric :show the fucking progress bar while the video is playing, assholes < 1438659100 544847 :hppavilion[1]!18ed9e02@gateway/web/freenode/ip.24.237.158.2 PRIVMSG #esoteric :I think they do... < 1438659118 263659 :oren!~oren@65.94.102.49 PRIVMSG #esoteric :they don't, you have to keep moving your mouse < 1438659131 141393 :oren!~oren@65.94.102.49 PRIVMSG #esoteric :otherwise it disappears < 1438659161 453025 :oren!~oren@65.94.102.49 PRIVMSG #esoteric :also the progress bar no longer shows the runtime. < 1438659188 582756 :oren!~oren@65.94.102.49 PRIVMSG #esoteric :well in HTML5 anyway < 1438659214 887587 :oren!~oren@65.94.102.49 PRIVMSG #esoteric :luckily I know how to disable that < 1438659282 175021 :oren!~oren@65.94.102.49 PRIVMSG #esoteric :about:config, you turn off webm < 1438659317 511655 :oren!~oren@65.94.102.49 PRIVMSG #esoteric :presto, the better, but still ruined, youtube flah player < 1438659361 668928 :hppavilion[1]_!18ed9e02@gateway/web/freenode/ip.24.237.158.2 JOIN :#esoteric < 1438659477 725824 :hppavilion[1]!18ed9e02@gateway/web/freenode/ip.24.237.158.2 QUIT :Ping timeout: 246 seconds < 1438659671 828021 :Aearnus!uid103822@gateway/web/irccloud.com/x-mgnamxzbrakyfunm PRIVMSG #esoteric :DID SOMEONE SAY TABLE LAYOUTS < 1438659824 32329 :TristanBomb!62b188e1@gateway/web/cgi-irc/kiwiirc.com/ip.98.177.136.225 JOIN :#esoteric < 1438659923 453005 :TristanBomb!62b188e1@gateway/web/cgi-irc/kiwiirc.com/ip.98.177.136.225 QUIT :Client Quit < 1438660278 522149 :hppavilion[1]_!18ed9e02@gateway/web/freenode/ip.24.237.158.2 QUIT :Quit: Page closed < 1438661507 895842 :oren!~oren@65.94.102.49 PRIVMSG #esoteric :Hmm... where can I get a big zipfile full of all the ceritficate authorities' pems < 1438661712 285227 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Including Honest Achmed? < 1438661819 811615 :pikhq!~pikhq@2601:646:8700:3d63:eade:27ff:fe08:b48b PRIVMSG #esoteric :I'd be happy to give you one containing all of them including mine if you give me a minute. < 1438661879 760775 :pikhq!~pikhq@2601:646:8700:3d63:eade:27ff:fe08:b48b PRIVMSG #esoteric :"Honest pikhq's Certificate Authority! Certificates right away, no questions asked or your money back!" < 1438661898 83909 :Frooxius!~Frooxius@104.254.90.203 QUIT :Read error: Connection reset by peer < 1438661962 938999 :Frooxius!~Frooxius@50.141.34.180 JOIN :#esoteric < 1438662028 208058 :Frooxius!~Frooxius@50.141.34.180 QUIT :Client Quit < 1438662044 205529 :Frooxius!~Frooxius@50.141.34.180 JOIN :#esoteric < 1438662058 550132 :oren!~oren@65.94.102.49 PRIVMSG #esoteric :shachaf: sure. See, this program doesn't let me specify not to verify the stupid https. < 1438662075 932807 :tromp!~tromp@ool-18be0b4d.dyn.optonline.net JOIN :#esoteric < 1438662121 216112 :oren!~oren@65.94.102.49 PRIVMSG #esoteric :but it does let me specify one or more pems to use as authorities < 1438662164 459746 :oren!~oren@65.94.102.49 PRIVMSG #esoteric :so if I have all the authorities, then that should let me connect to the damn thing < 1438662238 675578 :oren!~oren@65.94.102.49 PRIVMSG #esoteric :security may allow freedom of speech, but all I want right now is the freedom to NOt be secure < 1438662264 96757 :pikhq!~pikhq@2601:646:8700:3d63:eade:27ff:fe08:b48b PRIVMSG #esoteric :What distro are you on? < 1438662288 109840 :oren!~oren@65.94.102.49 PRIVMSG #esoteric :puppy linux. I am trying to use vlc to watch an internet stream < 1438662299 307205 :pikhq!~pikhq@2601:646:8700:3d63:eade:27ff:fe08:b48b PRIVMSG #esoteric :They typically have trusted roots somewhere in /etc... < 1438662318 962610 :pikhq!~pikhq@2601:646:8700:3d63:eade:27ff:fe08:b48b PRIVMSG #esoteric :Oh, that's made out of Ubuntu these days, isn't it? < 1438662332 757617 :pikhq!~pikhq@2601:646:8700:3d63:eade:27ff:fe08:b48b PRIVMSG #esoteric :/etc/ssl/certs < 1438662357 193491 :oren!~oren@65.94.102.49 PRIVMSG #esoteric :I have an empty folder called /etc/ssl/certs. so now where do I download all the certs!?!?! < 1438662367 961904 :pikhq!~pikhq@2601:646:8700:3d63:eade:27ff:fe08:b48b PRIVMSG #esoteric :For fucks sake, it's empty?!? < 1438662375 282473 :oren!~oren@65.94.102.49 PRIVMSG #esoteric :yeah... lol < 1438662414 877657 :oren!~oren@65.94.102.49 PRIVMSG #esoteric :can I torrent the cets from somewhere maybe < 1438662516 215171 :oren!~oren@65.94.102.49 PRIVMSG #esoteric :ok I found some pem files but I probably need a few hundred since I don't know which one I need < 1438662663 609 :oren!~oren@65.94.102.49 PRIVMSG #esoteric :googled torrent ssl certs .pem files doesn't give me anything. shit. back when I needed .dlls that would have given me everything I needed! < 1438662731 408657 :oren!~oren@65.94.102.49 PRIVMSG #esoteric :ssl certs pem files collection rar did not give me a damn thing < 1438662830 300994 :oren!~oren@65.94.102.49 PRIVMSG #esoteric :Ooh I found a command to download the certificate for any url < 1438662927 850450 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :If that works the way I imagine that works, better not be MITMed when you do it < 1438662940 519223 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :Although first-connect MITM is always a risk anyway < 1438662953 975795 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :Oh, for a different reason < 1438662973 960157 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :(forcing http. But doing what you're doing can get you fake https) < 1438663151 732829 :oren!~oren@65.94.102.49 PRIVMSG #esoteric :fake https, real https, I want my damn videos < 1438663319 106035 :oren!~oren@65.94.102.49 PRIVMSG #esoteric :yeah this works. I first use the command to get the pem for the video link, then trust it directly with the vlc --http-ca < 1438663358 674483 :oren!~oren@65.94.102.49 PRIVMSG #esoteric :If I see the right video, then I haven't been MITMed < 1438663450 85877 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :what if a few pixels are off < 1438663454 986260 :oren!~oren@65.94.102.49 PRIVMSG #esoteric :whatever < 1438663466 994201 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :what if someone has subtly altered your reality < 1438663470 427216 :Hooloovoo42!~Hooloovoo@d1g1t4l.be NICK :Hoolootwo < 1438663477 296818 :Hoolootwo!~Hooloovoo@d1g1t4l.be PRIVMSG #esoteric :it's me < 1438663494 484809 :Hoolootwo!~Hooloovoo@d1g1t4l.be PRIVMSG #esoteric :I am controlling your videos < 1438663567 206589 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :If you want proper security you should agree the codes in person < 1438663632 412896 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Some webpages refuse to display without scripts on (sometimes to try to stop you from copying stuff to the clipboard or saving pictures or whatever), but Stylish can be used to fix this (the "Inspector" command can also be used to help with such thing) < 1438664464 987154 :oren!~oren@65.94.102.49 PRIVMSG #esoteric :ok I found a better mothod < 1438664504 787772 :oren!~oren@65.94.102.49 PRIVMSG #esoteric :you take http://curl.haxx.se/ca/cacert.pem and put it in .local/share/vlc/ssl/certs/ < 1438664637 22508 :oren!~oren@65.94.102.49 PRIVMSG #esoteric :I need to remember where to find this megacert file in case I need it again < 1438664765 157126 :Aearnus!uid103822@gateway/web/irccloud.com/x-mgnamxzbrakyfunm PRIVMSG #esoteric :http://prntscr.com/80lpzg cinnamon is good(tm) < 1438664796 359872 :Hoolootwo!~Hooloovoo@d1g1t4l.be PRIVMSG #esoteric :that looks like a DRM issue < 1438664811 312715 :Hoolootwo!~Hooloovoo@d1g1t4l.be PRIVMSG #esoteric :or maybe a graphics card driver < 1438664947 602151 :Aearnus!uid103822@gateway/web/irccloud.com/x-mgnamxzbrakyfunm PRIVMSG #esoteric :DRM issue < 1438664961 95102 :Aearnus!uid103822@gateway/web/irccloud.com/x-mgnamxzbrakyfunm PRIVMSG #esoteric :i illegally acquired my linux < 1438665106 806208 :Hoolootwo!~Hooloovoo@d1g1t4l.be PRIVMSG #esoteric :Direct Rendering Manager < 1438665155 159900 :Aearnus!uid103822@gateway/web/irccloud.com/x-mgnamxzbrakyfunm PRIVMSG #esoteric :ah lol < 1438665375 401124 :Hoolootwo!~Hooloovoo@d1g1t4l.be PRIVMSG #esoteric :whatever it is, it's not cinnamon's fault unless it's doing something extraordinarily dumb < 1438665466 369970 :Aearnus!uid103822@gateway/web/irccloud.com/x-mgnamxzbrakyfunm PRIVMSG #esoteric :it's probably the vm it's running in for some reason or another < 1438665484 387848 :Hoolootwo!~Hooloovoo@d1g1t4l.be PRIVMSG #esoteric :ah that sounds about right < 1438665709 932677 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :What window managers any of you people who use Linux are using, and is it with a desktop environment too? < 1438665950 138283 :Hoolootwo!~Hooloovoo@d1g1t4l.be PRIVMSG #esoteric :I'm using lightdm with mate < 1438666167 51375 :Aearnus!uid103822@gateway/web/irccloud.com/x-mgnamxzbrakyfunm PRIVMSG #esoteric :zzo38: using xfce but I rather dislike it because gtk2 is meh < 1438666231 296025 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Aearnus: Maybe you should change it? < 1438666247 842921 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :I removed the one that came with my computer and replaced it < 1438666384 542709 :bb010g!uid21050@gateway/web/irccloud.com/x-ledclqxtcckdbhjt QUIT :Quit: Connection closed for inactivity < 1438667205 988539 :Aearnus!uid103822@gateway/web/irccloud.com/x-mgnamxzbrakyfunm PRIVMSG #esoteric :zzo38: well, I installed xfce < 1438667208 113307 :Aearnus!uid103822@gateway/web/irccloud.com/x-mgnamxzbrakyfunm PRIVMSG #esoteric :I used to like it < 1438667216 957549 :Aearnus!uid103822@gateway/web/irccloud.com/x-mgnamxzbrakyfunm PRIVMSG #esoteric :but that was a while ago < 1438667224 73009 :Aearnus!uid103822@gateway/web/irccloud.com/x-mgnamxzbrakyfunm PRIVMSG #esoteric :it's not bad, just not my favorite < 1438667303 282172 :oren!~oren@65.94.102.49 PRIVMSG #esoteric :I now have all the halfwidth katakana < 1438667625 364136 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :You said because of gtk2, what way would you prefer? < 1438667641 312256 :Aearnus!uid103822@gateway/web/irccloud.com/x-mgnamxzbrakyfunm PRIVMSG #esoteric :zzo38: well I'd like gtk3 support but w/e honestly < 1438667657 625341 :Aearnus!uid103822@gateway/web/irccloud.com/x-mgnamxzbrakyfunm PRIVMSG #esoteric :I need a WM that works well on a laptop < 1438667668 169232 :Aearnus!uid103822@gateway/web/irccloud.com/x-mgnamxzbrakyfunm PRIVMSG #esoteric :(maybe even one that works well with a touchscreen) < 1438667678 821127 :Wright_!~Wright@c-98-225-44-92.hsd1.wa.comcast.net QUIT :Remote host closed the connection < 1438667837 994826 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :What is the difference of gtk2 with gtk3? < 1438667866 70784 :Aearnus!uid103822@gateway/web/irccloud.com/x-mgnamxzbrakyfunm PRIVMSG #esoteric :zzo38: gtk2 is just deprecated, that's all < 1438667932 575388 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :I would prefer Athena widgets < 1438668672 809274 :Aearnus!uid103822@gateway/web/irccloud.com/x-mgnamxzbrakyfunm PRIVMSG #esoteric :alright, I'm trying MATE, LXDE, and IceWM < 1438668872 182474 :Aearnus!uid103822@gateway/web/irccloud.com/x-mgnamxzbrakyfunm PRIVMSG #esoteric :iceWM crashed my laptop, promising < 1438668931 478390 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :needs more tiling < 1438668948 296713 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :I am using i3-wm, so that is another thing to try (although I am not using all of the other programs that commonly come with it, just the window manager and a custom status bar) < 1438668961 299439 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :i am using herbstluft < 1438668982 490344 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :What is that? < 1438668990 463631 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :a tiling wm < 1438669018 947585 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :But do you have the other information of it? < 1438669081 798831 :Aearnus!uid103822@gateway/web/irccloud.com/x-mgnamxzbrakyfunm PRIVMSG #esoteric :I'm not a fan of tiling WMs < 1438669089 391895 :Aearnus!uid103822@gateway/web/irccloud.com/x-mgnamxzbrakyfunm PRIVMSG #esoteric :but maybe I should be, on my small screen space < 1438669099 982569 :Aearnus!uid103822@gateway/web/irccloud.com/x-mgnamxzbrakyfunm PRIVMSG #esoteric :are there any that have emacs-esq keybinds? < 1438669257 875196 :Aearnus!uid103822@gateway/web/irccloud.com/x-mgnamxzbrakyfunm PRIVMSG #esoteric :maybe I'll try catwm https://github.com/pyknite/catwm < 1438669264 389205 :Aearnus!uid103822@gateway/web/irccloud.com/x-mgnamxzbrakyfunm PRIVMSG #esoteric :it's pretty much nothing < 1438669466 524756 :Aearnus!uid103822@gateway/web/irccloud.com/x-mgnamxzbrakyfunm PRIVMSG #esoteric :alright, i'll also try pekwm, fluxbox, openbox, i3, and awesome < 1438669508 994255 :J_Phone!~J_WPhone@37-219-110-192.nat.bb.dnainternet.fi JOIN :#esoteric < 1438669520 125327 :J_Phone!~J_WPhone@37-219-110-192.nat.bb.dnainternet.fi QUIT :Client Quit < 1438669562 802894 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :herbstluft can make empty frames. that works a lot better for me than what i3 does < 1438669660 534662 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :i used pek before switching to tiling < 1438669830 470022 :Aearnus!uid103822@gateway/web/irccloud.com/x-mgnamxzbrakyfunm PRIVMSG #esoteric :i guess i'll try herbsluft too < 1438669912 549366 :Aearnus!uid103822@gateway/web/irccloud.com/x-mgnamxzbrakyfunm PRIVMSG #esoteric :ugh, i really don't like icewm < 1438669914 640231 :Aearnus!uid103822@gateway/web/irccloud.com/x-mgnamxzbrakyfunm PRIVMSG #esoteric :that's one down < 1438670174 527596 :Hoolootwo!~Hooloovoo@d1g1t4l.be PRIVMSG #esoteric :I bet you won't like jwm then < 1438670258 193301 :Aearnus!uid103822@gateway/web/irccloud.com/x-mgnamxzbrakyfunm PRIVMSG #esoteric :pekwm is okay, it doesn't use the system menu which is frustrating though < 1438670363 476754 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :I just load programs with the xterm (except for the xterm itself I can push Win+Enter to load it), so no menu is needed < 1438670396 518828 :Aearnus!uid103822@gateway/web/irccloud.com/x-mgnamxzbrakyfunm PRIVMSG #esoteric :that's not a bad idea < 1438670425 898650 :Aearnus!uid103822@gateway/web/irccloud.com/x-mgnamxzbrakyfunm PRIVMSG #esoteric :fluxbox is okay - better than pekwm, but it acts weird with my mouse < 1438670597 321757 :oren!~oren@65.94.102.49 PRIVMSG #esoteric :http://www.orenwatson.be/fontdemo.htm < 1438670680 836044 :Aearnus!uid103822@gateway/web/irccloud.com/x-mgnamxzbrakyfunm PRIVMSG #esoteric :oren: it looks a little blurry on windows < 1438670715 239708 :Aearnus!uid103822@gateway/web/irccloud.com/x-mgnamxzbrakyfunm PRIVMSG #esoteric :http://prntscr.com/80mbc2 like, look at the @ sign < 1438670743 997215 :oren!~oren@65.94.102.49 PRIVMSG #esoteric :Ok wtf. That is some weird shit < 1438670764 215987 :oren!~oren@65.94.102.49 PRIVMSG #esoteric :I'm on linux, it doesn't look like that... < 1438670831 159561 :oren!~oren@65.94.102.49 PRIVMSG #esoteric :I should fuse the page to an image for people who don't have CSS3 fonts turned on < 1438670909 210299 :Aearnus!uid103822@gateway/web/irccloud.com/x-mgnamxzbrakyfunm PRIVMSG #esoteric :i'm really liking openbox < 1438670990 330300 :Aearnus!uid103822@gateway/web/irccloud.com/x-mgnamxzbrakyfunm PRIVMSG #esoteric :i3 freezes on start, promising < 1438671049 911942 :myname!~myname@84.200.43.57 PRIVMSG #esoteric ::D < 1438671274 856590 :Aearnus!uid103822@gateway/web/irccloud.com/x-mgnamxzbrakyfunm PRIVMSG #esoteric :alright, right now, the listing is, from worst to best: icewm, fluxbox, pekwm, i3, openbox, lxde < 1438671576 67216 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :fnird. < 1438671661 120092 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Lol. people doing "self-experiments" and try to live without a smartphone < 1438671662 664367 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :what the hell < 1438671693 998753 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Obviously you can live without a smartphone. That's how we used to live 10 years ago. < 1438671715 13452 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :and only few people died 10 years ago because they had no smartphone < 1438671737 328991 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :I do not have a smartphone < 1438671748 570206 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :You're a good person. < 1438671750 659658 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :mroman: i guess you underestimate that < 1438671757 967041 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :myname: underestimate what? < 1438671781 450970 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :go try it < 1438671792 891126 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :it changes things a lot < 1438671804 907869 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I bought my first smartphone not even a year ago < 1438671858 280801 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :and I usually leave it at home when I leave the house. < 1438671870 321231 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :weirdo :p < 1438671881 122116 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I mean.. Smartphones are cool < 1438671883 814717 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :they have nice features. < 1438671894 362087 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :You can use the internet from the smartphone on your laptop < 1438671897 998386 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :which is mainly why I bought it < 1438671898 107343 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :without it, it'd be bored to hell < 1438671911 742914 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :because in my new flat room there was no internet. < 1438671915 430781 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :I don't like touchscreen either < 1438671926 919560 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :so I bought it with an internet subscription mainly for that purpose :) < 1438671929 257559 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :well, my laptop practically doesn't work without a power plug < 1438671968 326972 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :a Smartphone has two good features < 1438671975 296493 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :reading manga on android is just so comfortable <3 < 1438671978 489233 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Mobile Hot Spot/Tethering and google maps < 1438671991 817024 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :navigation? < 1438671999 781738 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :playing music < 1438672001 230327 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Google maps for navigation, yeah < 1438672005 356739 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :chatting < 1438672014 198255 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I have a stereo for playing music :) < 1438672020 703721 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :and a shitload of CDs < 1438672035 441253 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :won't help you if you're not at home < 1438672047 64833 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :why would I listen to music if I'm not at home? < 1438672059 797124 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Why would you want to do that? :p < 1438672064 771259 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :why wouldn't you? < 1438672070 683195 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :what for? < 1438672086 714747 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :If I'm at work I can listen music on my workplace laptop + headphones < 1438672107 571347 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :If I'm at home I can listen on my stereo < 1438672117 960451 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :the only thing left is "when travelling from home to work" < 1438672127 888017 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :For music I have radio, CD, and computer. If I go to somewhere else, if they have radio then I can listen to the CBC radio. As it turns out I can also get music from my VCR, even when the TV is not turned on < 1438672164 213936 :oren!~oren@65.94.102.49 PRIVMSG #esoteric :http://www.orenwatson.be/fontdemo.png < 1438672174 482690 :oren!~oren@65.94.102.49 PRIVMSG #esoteric :it is supposed to look like that < 1438672179 530755 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :i'd like to hear music or podcasts while riding my bike, for example < 1438672204 369431 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :weirdo < 1438672236 390015 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Also, the CBC radio isn't only music, anyways < 1438672300 22264 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but yeah... smartphones are pretty practical. < 1438672321 500601 :Aearnus!uid103822@gateway/web/irccloud.com/x-mgnamxzbrakyfunm PRIVMSG #esoteric :the two best DE's in my opinion are lxde < xfce < mate < 1438672325 739489 :Aearnus!uid103822@gateway/web/irccloud.com/x-mgnamxzbrakyfunm PRIVMSG #esoteric :this was a waste of tim < 1438672327 878060 :Aearnus!uid103822@gateway/web/irccloud.com/x-mgnamxzbrakyfunm PRIVMSG #esoteric :*time < 1438672336 304708 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I usually take it with when doing parkour < 1438672344 226255 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :mostly so I can call someone if I happen to have an accident :) < 1438672450 790245 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :i'd use a dumbphone for that purpose < 1438672555 263287 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :why? < 1438672561 569291 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :In case it gets stolen? < 1438672641 709665 :oren!~oren@65.94.102.49 PRIVMSG #esoteric :parkour sounds like asking for a broken screen < 1438672671 754007 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :it is cheaper in case it breaks during actions, it is less likely to break, the battery lasts way longer < 1438672712 231759 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :what oren says < 1438672750 802822 :oren!~oren@65.94.102.49 PRIVMSG #esoteric :▁▂▃▄▅▆▇ < 1438672809 838295 :oren!~oren@65.94.102.49 PRIVMSG #esoteric :I should use those characters to make an animation module for ncurses vlc < 1438672881 521658 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :what should it do? < 1438672896 372637 :|f`-`|f!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net QUIT :Ping timeout: 260 seconds < 1438672917 686895 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :i thought of making a ncurses chess using the chess figures in unicode < 1438672920 410620 :oren!~oren@65.94.102.49 PRIVMSG #esoteric :you know, like bars that go up and down to the music < 1438672932 470191 :|f`-`|f!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net JOIN :#esoteric < 1438672938 561406 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :ah < 1438672942 388448 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :yeah < 1438672972 21318 :oren!~oren@65.94.102.49 PRIVMSG #esoteric :I need to improve symbol support in my font < 1438672994 280400 :oren!~oren@65.94.102.49 PRIVMSG #esoteric :I don't have chess only the four suits < 1438673088 399749 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :oren: you keep it in a backpack. < 1438673096 753738 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :i guess you could make nice simulation games with unicode symbols < 1438673107 379191 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :or something like sim city < 1438673112 198765 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :which you just put down somewhere near. < 1438673120 67354 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :It'd be pretty easy to steal. < 1438673154 43024 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :mroman: so, in case of emergency yo crawl over rooftops to your backpack and call an ambulance? < 1438673182 555917 :trn!jhj@trnsz.com QUIT :Ping timeout: 265 seconds < 1438673199 778800 :trn!jhj@trnsz.com JOIN :#esoteric < 1438673603 533655 :Aearnus!uid103822@gateway/web/irccloud.com/x-mgnamxzbrakyfunm PRIVMSG #esoteric :after extensive testing, i've concluded < 1438673606 981694 :Aearnus!uid103822@gateway/web/irccloud.com/x-mgnamxzbrakyfunm PRIVMSG #esoteric :that i want to go back to xfce < 1438674242 347237 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :It'd be pretty much illegal to jump over someone else's rooftop < 1438674262 932867 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :also most practitioners don't do rooftop things btw. < 1438674282 962912 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :also flat rooftops are rare in switzerland for example < 1438674343 804015 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :(Parkour itself is somewhat in a gray area) < 1438674373 634916 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Technically you're only allowed to train on your own or public property. < 1438674383 759667 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :(or on someone else's with his permission) < 1438674421 312390 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :However, you will be frequently shooed away from public property by police or some government employee < 1438674446 70710 :diginet!~diginet@107.170.146.29 QUIT :Ping timeout: 252 seconds < 1438674453 104958 :diginet!~diginet@107.170.146.29 JOIN :#esoteric < 1438674467 551519 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :for insurance reasons < 1438674481 774813 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :if you fall on someones property, the owner is accountable < 1438674490 810994 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :which is the government for public properties < 1438674609 43529 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :and it looks like some US cities have a general ban on doing parkour o_O < 1438674629 153686 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :"Though no injuries have been reported, the city’s attorney is worried that someone will get hurt and the city will get sued." < 1438674640 914330 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :yeah, that's number one reason they don't want you to train on public property. < 1438674908 199653 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :and you obviously destroy public property < 1438674985 591013 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :handrails aren't usually designed to withstand too much horizontal force although thank god most are stable enough but in the long run you destroy them < 1438675199 465829 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: leaving < 1438675231 813515 :oren!~oren@65.94.102.49 PRIVMSG #esoteric :I have reached 1000 glyphs < 1438675822 328777 :x10A94!~x10A94@178.252.73.97 JOIN :#esoteric < 1438676178 435151 :AnotherTest!~turingcom@d51A46C52.access.telenet.be JOIN :#esoteric < 1438676547 608391 :Heyya!c4f871fd@gateway/web/freenode/ip.196.248.113.253 JOIN :#esoteric < 1438676562 266265 :Heyya!c4f871fd@gateway/web/freenode/ip.196.248.113.253 QUIT :Client Quit < 1438677308 597572 :AnotherTest!~turingcom@d51A46C52.access.telenet.be QUIT :*.net *.split < 1438677308 689378 :trn!jhj@trnsz.com QUIT :*.net *.split < 1438677309 213894 :nortti!~juhani@ayu.smar.fi QUIT :*.net *.split < 1438677309 337803 :lleu!~gnomebad@unaffiliated/lleu QUIT :*.net *.split < 1438677309 446786 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net QUIT :*.net *.split < 1438677309 501037 :Jafet!~jafet@unaffiliated/jafet QUIT :*.net *.split < 1438677309 679555 :HackEgo!~HackEgo@162.248.166.242 QUIT :*.net *.split < 1438677309 733960 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi QUIT :*.net *.split < 1438677310 300717 :izabera!~izabera@unaffiliated/izabera QUIT :*.net *.split < 1438677310 459207 :newsham!~chat@udp217044uds.hawaiiantel.net QUIT :*.net *.split < 1438677385 920492 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1438677455 332879 :AnotherTest!~turingcom@d51A46C52.access.telenet.be JOIN :#esoteric < 1438677455 387254 :trn!jhj@trnsz.com JOIN :#esoteric < 1438677455 387322 :nortti!~juhani@ayu.smar.fi JOIN :#esoteric < 1438677455 387341 :lleu!~gnomebad@unaffiliated/lleu JOIN :#esoteric < 1438677455 387358 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net JOIN :#esoteric < 1438677455 387373 :Jafet!~jafet@unaffiliated/jafet JOIN :#esoteric < 1438677455 387388 :HackEgo!~HackEgo@162.248.166.242 JOIN :#esoteric < 1438677455 387404 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi JOIN :#esoteric < 1438677455 387420 :izabera!~izabera@unaffiliated/izabera JOIN :#esoteric < 1438677455 387436 :newsham!~chat@udp217044uds.hawaiiantel.net JOIN :#esoteric < 1438677479 348989 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :hm < 1438677480 213175 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :cool < 1438677487 463729 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :if you travel into a country < 1438677493 41075 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :and step on a landmine < 1438677495 882535 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :you're fucked < 1438677499 224421 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :even if you survive < 1438677508 76584 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :health insurance won't pay :) < 1438677515 825825 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :What if you glue the landmine to your foo < 1438677517 26249 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :t < 1438677529 292722 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :also if you get hurt during an earthquake < 1438677531 602277 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :they won't pay either < 1438677542 129618 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Is this health insurance or travel insurance < 1438677550 394867 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :health insurance < 1438677574 117848 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :they also won't pay if a nuclear plant explodes < 1438677594 291812 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :they don't pay for damage caused by ionizing radiation < 1438677605 822348 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :What about travel insurance < 1438677613 659014 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :what's that? < 1438677625 756617 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Isn't that so you can get your money back if war breaks out in some country < 1438677649 649205 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :like if you book a year in advance, you can insure yourself in case you actually can't go on that vacation for some important reason < 1438677706 71636 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :All travel insurances I've had have had a medical expenses component. < 1438677825 373355 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Hm. < 1438677860 721400 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Yeah I think the obligotary health insurance doesn't pay for stuff that happens in a foreign country < 1438677865 1154 :oren!~oren@65.94.102.49 PRIVMSG #esoteric :don't go to countries with landmines < 1438677867 325361 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :if you have to visit a hospital there you're fucked < 1438677971 703960 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The travel insurance provided by my employer also covers personal travel (and my wife, although only if she's travelling with me), but it's kind of limited to only cover medical/health stuff, not so much cancellation costs or lost luggage or that kind of stuff. < 1438678033 459907 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :ideally you have a better insurance than just the obligatory one < 1438678053 460960 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :if you go missing on a hike and they have to search you you're fucked with the regular one :D < 1438678154 911706 :Aearnus!uid103822@gateway/web/irccloud.com/x-mgnamxzbrakyfunm NICK :Aearnus|IRCCloud < 1438678170 485349 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :hm < 1438678171 622884 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :wait < 1438678217 750700 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I don't know this looks suspicious < 1438678248 688628 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :they list things under complementary insurances that should already be covered by the obligatory one. < 1438678397 905188 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :damn I hate this. < 1438678412 362409 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :This is a legal jungle and information is spread across miles! < 1438678572 336980 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :law is good to fuck people over < 1438678579 541519 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :because it's totally asynchronous information < 1438678580 861211 :AnotherTest!~turingcom@d51A46C52.access.telenet.be QUIT :Read error: Connection reset by peer < 1438678612 985401 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :you can rely on people not knowing everything because they really don't know everything they should. < 1438678840 687553 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Read error: Connection reset by peer < 1438678889 892454 :AnotherTest!~turingcom@d51A46C52.access.telenet.be JOIN :#esoteric < 1438678926 584967 :Froox!~Frooxius@50.141.34.180 JOIN :#esoteric < 1438678962 628476 :Aearnus!~Aearnus@ip98-177-203-231.ph.ph.cox.net JOIN :#esoteric < 1438679087 305789 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1438679088 30333 :tromp!~tromp@ool-18be0b4d.dyn.optonline.net QUIT :Ping timeout: 252 seconds < 1438679103 367033 :Frooxius!~Frooxius@50.141.34.180 QUIT :Ping timeout: 255 seconds < 1438679178 604551 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :https://www.gov.uk/government/collections/anti-social-behaviour-crime-and-police-bill < 1438679182 81515 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :o_O < 1438679261 959954 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :mroman, that seems like it ought to be at least two different acts < 1438679462 123837 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I can't find the actual law text anyway < 1438679477 70169 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :just 70 pages long documents with "impact assessments" "fact sheets" and stuff like that < 1438679490 419642 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :http://www.legislation.gov.uk/ukpga/2014/12/contents/enacted/data.htm < 1438679592 90659 :FireFly!~firefly@oftn/member/FireFly QUIT :Ping timeout: 244 seconds < 1438679681 296119 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :uh. < 1438679686 3896 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :"surrender of property" < 1438679703 35728 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :they can take away your smartphone for 48 hours :D < 1438679893 989608 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :"conduct that has caused, or is likely to cause, harassment, alarm or distress to any person," < 1438679899 44209 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :that's a very broad definition. < 1438679929 17091 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Yes < 1438679951 205417 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :although I wouldn't know how to define it otherwise < 1438680047 59689 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :also "any person"? < 1438680049 63246 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :like < 1438680050 191552 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :even me? < 1438680055 937266 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Taneb is causing me alarm. < 1438680058 519119 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :and distress! < 1438680069 777486 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :He invents weird things. < 1438680078 433754 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :mroman, your accusation distresses and alarms me < 1438680095 517691 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :so < 1438680099 942433 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I said it first! < 1438680143 532823 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Isn't littering against the law anyway? < 1438680153 342680 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I mean most of the stuff is probably already covered by some other law < 1438680166 764745 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :at least here. Littering is illegal. < 1438680194 859018 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :there are legally defined rest periods and things like that < 1438680237 554812 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I am not sure whether littering is illegal here < 1438680255 326998 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Rather than making such a broad law you could just make a few specific laws < 1438680263 188253 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :such as prohibiting littering, prohibit noise after 10pm < 1438680346 533693 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"Anti-social behaviour" is a common sight in the UK per-neighbourhood crime maps https://www.police.uk/ has. < 1438680350 819778 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :if teens go on a vandalism streak that surely is already covered by some "you may not damage an other one's property"-law < 1438680374 782475 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :uh < 1438680378 281562 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :"Find your neighbourhood" < 1438680394 308553 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :"Gosforth and great park" < 1438680403 946682 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :270 crimes this month < 1438680404 786377 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :jesus < 1438680409 903429 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :oh. in may < 1438680414 175555 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :270 crimes in may < 1438680423 247000 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It lags by a few months. < 1438680432 763437 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"Bicycle theft (1): Includes the taking without consent or theft of a pedal cycle" < 1438680454 625186 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :101 were anti-social behaviour < 1438680472 879532 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :22 sex offences < 1438680479 685329 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :mroman, I think I used to live in Gosforth < 1438680481 143047 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :that's a lot of sex offences for a month though < 1438680485 649540 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Taneb: me too < 1438680495 312904 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Like, in 1996 < 1438680497 948179 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"Sex offences", IIRC, include things like domestic violence. < 1438680514 453350 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :mroman, the Gosforth in Newcastle that is < 1438680527 914789 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Taneb: that's the one < 1438680531 358966 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Huh < 1438680543 520853 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I lived there for two weeks :p < 1438680606 578346 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :mroman, you realise that it is dangerously (25 miles) close to Hexham? < 1438680655 363481 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Why is that dangerous? < 1438680691 615600 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Because one day you might go out for a drive and wind up in Hexham < 1438680708 233352 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I don't think I'll ever be back in gosforth < 1438680715 320028 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :It was a two week language stay < 1438680742 72389 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Currently I am in "York City and East" < 1438680755 150191 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Two weeks, and you're already sure you'll never be back? Must be a horrible place. < 1438680786 145570 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :mroman, when I was very small my gran used to push me around Gosforth Park < 1438680818 778488 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :fizzie: I mean I'm pretty certain I'll never leave switzerland ever again. < 1438680822 176282 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :maybe < 1438680824 90728 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but who knows. < 1438680839 412111 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but it's very unlikely that I wind up in Gosforth again < 1438680841 76340 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I won't leave Switzerland for a very long time < 1438680852 893804 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Largely because I am not in Switzerland and have little reason to visit < 1438680867 588373 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I think I've left Switzerland twice already. < 1438680876 436789 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :We have Cities in Switzerland. < 1438680884 916469 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :like any other country :D < 1438680900 153904 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I don't think, eg, the Vatican has cities plural < 1438680907 941740 :AnotherTest!~turingcom@d51A46C52.access.telenet.be QUIT :Read error: Connection reset by peer < 1438680924 391183 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Vatican isn't a real country *blasphemy* < 1438680939 684387 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :and it has a huge crime rate < 1438680979 190350 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :it has the highest crime rate in the world < 1438681015 476128 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :and it's a monarchy < 1438681042 30058 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :http://qz.com/333313/milliions-of-facebook-users-have-no-idea-theyre-using-the-internet/ < 1438681042 647528 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :and the monarch is some guy that speaks to some other imaginative guy < 1438681070 145594 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :*imaginary guy < 1438681231 326107 :AnotherTest!~turingcom@d51A46C52.access.telenet.be JOIN :#esoteric < 1438683870 801947 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Union-Find data structure is really interesting < 1438683883 220427 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :jopp < 1438683885 218157 :vodkode!~vodkode@fl-71-52-126-76.dhcp.embarqhsd.net QUIT :Quit: Leaving < 1438684173 486544 :Aearnus!~Aearnus@ip98-177-203-231.ph.ph.cox.net QUIT :Ping timeout: 265 seconds < 1438684473 302773 :Aearnus!~Aearnus@ip98-177-203-231.ph.ph.cox.net JOIN :#esoteric < 1438684769 364502 :AnotherTest!~turingcom@d51A46C52.access.telenet.be QUIT :Ping timeout: 256 seconds < 1438684836 24777 :AnotherTest!~turingcom@d51A46C52.access.telenet.be JOIN :#esoteric < 1438685103 31248 :AnotherTest!~turingcom@d51A46C52.access.telenet.be QUIT :Ping timeout: 260 seconds < 1438685135 442233 :AnotherTest!~turingcom@d51A46C52.access.telenet.be JOIN :#esoteric < 1438685685 111669 :FireFly!~firefly@firefly.xen.prgmr.com JOIN :#esoteric < 1438686149 994603 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :final int i = Interpreter.builtins.get(s); < 1438686150 541061 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :hu < 1438686156 498108 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :how can this throw nullpointerexception? < 1438686162 614784 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :oh wait < 1438686166 952898 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :auto unboxing? < 1438686171 235561 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :probably < 1438686195 90264 :FireFly!~firefly@firefly.xen.prgmr.com QUIT :Ping timeout: 244 seconds < 1438686422 537692 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :in java, everything can throw a nullpointer exception < 1438686438 892380 :AnotherTest!~turingcom@d51A46C52.access.telenet.be QUIT :Read error: Connection reset by peer < 1438686540 303284 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :yeah no < 1438686561 815186 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :only if you dereference a NullPointer < 1438686592 801837 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :get() usually doesn't throw NullPointerException < 1438686607 832923 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :however, unboxing a NullPointer will < 1438686792 984499 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :is this java? < 1438686802 174317 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :yeah < 1438686820 382607 :AnotherTest!~turingcom@d51A46C52.access.telenet.be JOIN :#esoteric < 1438687975 927689 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1438688234 269243 :Aearnus!~Aearnus@ip98-177-203-231.ph.ph.cox.net QUIT :Quit: ZNC - 1.6.0 - http://znc.in < 1438688609 688690 :FireFly!~firefly@firefly.xen.prgmr.com JOIN :#esoteric < 1438689233 92018 :FireFly!~firefly@firefly.xen.prgmr.com QUIT :Ping timeout: 244 seconds < 1438689408 395473 :AnotherTest!~turingcom@d51A46C52.access.telenet.be QUIT :Ping timeout: 264 seconds < 1438689702 385768 :AnotherTest!~turingcom@d51A46C52.access.telenet.be JOIN :#esoteric < 1438689795 311966 :augur_!~augur@c-73-46-94-9.hsd1.fl.comcast.net QUIT :Ping timeout: 255 seconds < 1438690329 567616 :FireFly!~firefly@firefly.xen.prgmr.com JOIN :#esoteric < 1438690358 630371 :oren!~oren@65.94.102.49 PRIVMSG #esoteric :good morning. < 1438690428 662018 :APic!apic@apic.name PRIVMSG #esoteric :Heya < 1438691355 642102 :Froo!~Frooxius@50.141.34.164 JOIN :#esoteric < 1438691530 595571 :Froox!~Frooxius@50.141.34.180 QUIT :Ping timeout: 240 seconds < 1438692375 117327 :oren!~oren@65.94.102.49 PRIVMSG #esoteric :I'm getting quite adept at copypasting video links into VLC < 1438692440 765954 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 260 seconds < 1438692691 315816 :AnotherTest!~turingcom@d51A46C52.access.telenet.be QUIT :Ping timeout: 256 seconds < 1438692771 92398 :AnotherTest!~turingcom@d51a46c52.access.telenet.be JOIN :#esoteric < 1438693313 892314 :oren!~oren@65.94.102.49 PRIVMSG #esoteric :seems like Latin B is mostly more IPA < 1438693484 22935 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I just got an internal error that's supposed to be really impossible < 1438693696 803724 :augur!~augur@c-73-46-94-9.hsd1.fl.comcast.net JOIN :#esoteric < 1438694726 97555 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :My spellchecker doesn't recognize the word "underdocumented" < 1438694732 676423 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Or spellchecker < 1438694734 454944 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Or doesn't < 1438694775 860512 :GeekDude!~GeekDude@unaffiliated/g33kdude JOIN :#esoteric < 1438695031 986438 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Taneb: it's probably set to some language other than English < 1438695047 539263 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :It seems to recognize every word in this sentence < 1438695083 530684 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :So I suspect it is set to English, just is missing a few words, and counts ' as a wordbreak < 1438695300 457168 :`^_^v!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1438695402 93136 :AnotherTest!~turingcom@d51a46c52.access.telenet.be QUIT :Ping timeout: 244 seconds < 1438695506 648815 :AnotherTest!~turingcom@d51A46C52.access.telenet.be JOIN :#esoteric < 1438695526 705610 :augur!~augur@c-73-46-94-9.hsd1.fl.comcast.net QUIT :Ping timeout: 244 seconds < 1438696631 434924 :nycs!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1438696785 350147 :`^_^v!~nycs@gw.hq.meetup.com QUIT :Ping timeout: 250 seconds < 1438697380 162126 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Wisdom from the neural net: http://en.wikipedia.org/wiki/Monad_crap < 1438698550 689770 :AnotherTest!~turingcom@d51A46C52.access.telenet.be QUIT :Ping timeout: 240 seconds < 1438698661 532132 :AnotherTest!~turingcom@d51A46C52.access.telenet.be JOIN :#esoteric < 1438698740 762515 :Melvar!~melvar@dslb-088-076-096-222.088.076.pools.vodafone-ip.de PRIVMSG #esoteric :( filter [| fst == snd |] [(1,2), (5,7), (42,42), (1000,10000)] < 1438698741 94408 :idris-bot!~idris-bot@dslb-088-076-096-222.088.076.pools.vodafone-ip.de PRIVMSG #esoteric :04[04(044204, 044204)04] : 12List 12(12Integer12, 12Integer12) < 1438698840 328830 :Melvar!~melvar@dslb-088-076-096-222.088.076.pools.vodafone-ip.de PRIVMSG #esoteric :( filter (do !fst == 42) [(1,2), (5,7), (42,42), (1000,10000)] < 1438698840 439589 :idris-bot!~idris-bot@dslb-088-076-096-222.088.076.pools.vodafone-ip.de PRIVMSG #esoteric :Can't disambiguate since no name has a suitable type: < 1438698840 547291 :idris-bot!~idris-bot@dslb-088-076-096-222.088.076.pools.vodafone-ip.de PRIVMSG #esoteric : 09Prelude.List.filter, 09Data.VectType.Vect.filter < 1438698855 207552 :Melvar!~melvar@dslb-088-076-096-222.088.076.pools.vodafone-ip.de PRIVMSG #esoteric :( List.filter (do !fst == 42) [(1,2), (5,7), (42,42), (1000,10000)] < 1438698855 316678 :idris-bot!~idris-bot@dslb-088-076-096-222.088.076.pools.vodafone-ip.de PRIVMSG #esoteric :When checking an application of function 09Prelude.List.filter: < 1438698855 425903 :idris-bot!~idris-bot@dslb-088-076-096-222.088.076.pools.vodafone-ip.de PRIVMSG #esoteric : Can't disambiguate since no name has a suitable type: < 1438698855 480177 :idris-bot!~idris-bot@dslb-088-076-096-222.088.076.pools.vodafone-ip.de PRIVMSG #esoteric : 09Effects.>>=, 09BotPrelude.LiftEq.>>=, 09Prelude.Monad.>>= < 1438699281 422058 :GeekDude!~GeekDude@unaffiliated/g33kdude QUIT :Read error: Connection reset by peer < 1438699305 961299 :nycs!~nycs@gw.hq.meetup.com QUIT :Ping timeout: 252 seconds < 1438699407 181254 :nycs!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1438699491 315570 :AnotherTest!~turingcom@d51A46C52.access.telenet.be QUIT :Ping timeout: 256 seconds < 1438699532 299012 :AnotherTest!~turingcom@d51A46C52.access.telenet.be JOIN :#esoteric < 1438699725 329763 :GeekDude!~GeekDude@unaffiliated/g33kdude JOIN :#esoteric < 1438699827 667355 :MoALTz!~no@78.11.179.104 QUIT :Quit: Leaving < 1438699848 315671 :FreeFull!~freefull@defocus/sausage-lover QUIT :Quit: BBL < 1438699931 722628 :augur_!~augur@c-73-46-94-9.hsd1.fl.comcast.net JOIN :#esoteric < 1438700697 20291 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1438700819 890955 :idris-bot!~idris-bot@dslb-088-076-096-222.088.076.pools.vodafone-ip.de QUIT :Quit: Terminated < 1438700837 938885 :idris-bot!~idris-bot@dslb-088-076-096-222.088.076.pools.vodafone-ip.de JOIN :#esoteric < 1438700855 137584 :Melvar!~melvar@dslb-088-076-096-222.088.076.pools.vodafone-ip.de PRIVMSG #esoteric :( filter (do !fst == 42) [(1,2), (5,7), (42,42), (1000,10000)] < 1438700855 357027 :idris-bot!~idris-bot@dslb-088-076-096-222.088.076.pools.vodafone-ip.de PRIVMSG #esoteric :Can't disambiguate since no name has a suitable type: < 1438700855 465740 :idris-bot!~idris-bot@dslb-088-076-096-222.088.076.pools.vodafone-ip.de PRIVMSG #esoteric : 09Prelude.List.filter, 09Data.VectType.Vect.filter < 1438700862 606475 :Melvar!~melvar@dslb-088-076-096-222.088.076.pools.vodafone-ip.de PRIVMSG #esoteric :( List.filter (do !fst == 42) [(1,2), (5,7), (42,42), (1000,10000)] < 1438700862 865979 :idris-bot!~idris-bot@dslb-088-076-096-222.088.076.pools.vodafone-ip.de PRIVMSG #esoteric :When checking an application of function 09Prelude.List.filter: < 1438700862 920117 :idris-bot!~idris-bot@dslb-088-076-096-222.088.076.pools.vodafone-ip.de PRIVMSG #esoteric : Can't disambiguate since no name has a suitable type: < 1438700862 974410 :idris-bot!~idris-bot@dslb-088-076-096-222.088.076.pools.vodafone-ip.de PRIVMSG #esoteric : 09Effects.>>=, 09BotPrelude.LiftEq.>>=, 09Prelude.Monad.>>= < 1438700866 480498 :Melvar!~melvar@dslb-088-076-096-222.088.076.pools.vodafone-ip.de PRIVMSG #esoteric :… < 1438700895 412301 :Melvar!~melvar@dslb-088-076-096-222.088.076.pools.vodafone-ip.de PRIVMSG #esoteric :( filter (do pure $ !fst == 42) [(1,2), (5,7), (42,42), (1000,10000)] < 1438700895 781693 :idris-bot!~idris-bot@dslb-088-076-096-222.088.076.pools.vodafone-ip.de PRIVMSG #esoteric :04[04(044204, 044204)04] : 12List 12(12Integer12, 12Integer12) < 1438700906 161202 :Melvar!~melvar@dslb-088-076-096-222.088.076.pools.vodafone-ip.de PRIVMSG #esoteric :Fixed. < 1438701092 246001 :MoALTz!~no@78.11.179.104 JOIN :#esoteric < 1438701155 542059 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :i don't get why you are doing do in the first place < 1438701794 803465 :Melvar!~melvar@dslb-088-076-096-222.088.076.pools.vodafone-ip.de PRIVMSG #esoteric :Hmm … < 1438701800 718042 :Melvar!~melvar@dslb-088-076-096-222.088.076.pools.vodafone-ip.de PRIVMSG #esoteric :( filter (pure $ !fst == 42) [(1,2), (5,7), (42,42), (1000,10000)] < 1438701800 924416 :idris-bot!~idris-bot@dslb-088-076-096-222.088.076.pools.vodafone-ip.de PRIVMSG #esoteric :Can't disambiguate since no name has a suitable type: < 1438701800 978779 :idris-bot!~idris-bot@dslb-088-076-096-222.088.076.pools.vodafone-ip.de PRIVMSG #esoteric : 09Effects.>>=, 09BotPrelude.LiftEq.>>=, 09Prelude.Monad.>>= < 1438701819 157734 :Melvar!~melvar@dslb-088-076-096-222.088.076.pools.vodafone-ip.de PRIVMSG #esoteric :myname: I need it to anchor the !. < 1438701839 615243 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :why not (== 42).fst < 1438701847 417585 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :oh, idris < 1438701848 494144 :Melvar!~melvar@dslb-088-076-096-222.088.076.pools.vodafone-ip.de PRIVMSG #esoteric :Because I’m having fun. < 1438701849 347206 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :damnit < 1438701858 369411 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :it just looks too much like haskell < 1438701873 61783 :Melvar!~melvar@dslb-088-076-096-222.088.076.pools.vodafone-ip.de PRIVMSG #esoteric :( filter ((==42) . fst) [(1,2), (5,7), (42,42), (1000,10000)] < 1438701873 472487 :idris-bot!~idris-bot@dslb-088-076-096-222.088.076.pools.vodafone-ip.de PRIVMSG #esoteric :04[04(044204, 044204)04] : 12List 12(12Integer12, 12Integer12) < 1438701885 388759 :Melvar!~melvar@dslb-088-076-096-222.088.076.pools.vodafone-ip.de PRIVMSG #esoteric :Works fine too. < 1438701905 692954 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :but it doesn't use monads < 1438701917 862115 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :that may be a downside, depending on what you like < 1438701926 437426 :Melvar!~melvar@dslb-088-076-096-222.088.076.pools.vodafone-ip.de PRIVMSG #esoteric :myname: So anyway, with bang bindings the “do x” ≡ “x” rule no longer holds. < 1438702032 43747 :Melvar!~melvar@dslb-088-076-096-222.088.076.pools.vodafone-ip.de PRIVMSG #esoteric :A nice example is that “forever (putStrLn !getLine)” is a yes program, and “forever (do putStrLn !getLine)” is a cat program. < 1438702033 467835 :rg_!~rg_@ool-457c9f2d.dyn.optonline.net JOIN :#esoteric < 1438702155 723434 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi QUIT :Quit: ChatZilla 0.9.91-rdmsoft [XULRunner 32.0.3/20140923175406] < 1438702373 415916 :Melvar!~melvar@dslb-088-076-096-222.088.076.pools.vodafone-ip.de PRIVMSG #esoteric :( [| sum / (cast . length) |] [1,4,6] < 1438702373 970172 :idris-bot!~idris-bot@dslb-088-076-096-222.088.076.pools.vodafone-ip.de PRIVMSG #esoteric :043.6666666666666665 : 12Double < 1438702471 862335 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :wat < 1438702477 103082 :Melvar!~melvar@dslb-088-076-096-222.088.076.pools.vodafone-ip.de PRIVMSG #esoteric :myname: I recently added the unwrapped reader monad to my BotPrelude, and am now having fun with ways to abuse it. < 1438702508 346264 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :i don't really know idris :/ < 1438702541 388268 :Melvar!~melvar@dslb-088-076-096-222.088.076.pools.vodafone-ip.de PRIVMSG #esoteric :[| |] are idiom brackets, which do an applicative application (they add pure and (<*>)). < 1438702588 124186 :Melvar!~melvar@dslb-088-076-096-222.088.076.pools.vodafone-ip.de PRIVMSG #esoteric :So “[| sum / (cast . length) |]” desugars to “pure (/) <*> sum <*> (cast . length)”. < 1438703364 92644 :MDream!~fyrc@pa-67-235-0-195.dhcp.embarqhsd.net NICK :MDude < 1438703849 943808 :_256Q!~toastyten@5.80.44.78 JOIN :#esoteric < 1438703849 998197 :_256Q!~toastyten@5.80.44.78 QUIT :Changing host < 1438703849 998265 :_256Q!~toastyten@unaffiliated/256q/x-9307863 JOIN :#esoteric < 1438704073 993725 :lleu!~gnomebad@unaffiliated/lleu QUIT :Read error: Connection reset by peer < 1438704100 400210 :lleu!~gnomebad@88.202.254.4 JOIN :#esoteric < 1438704100 454706 :lleu!~gnomebad@88.202.254.4 QUIT :Changing host < 1438704100 454766 :lleu!~gnomebad@unaffiliated/lleu JOIN :#esoteric < 1438704343 382323 :GeekDude!~GeekDude@unaffiliated/g33kdude QUIT :Remote host closed the connection < 1438704389 602206 :GeekDude!~GeekDude@unaffiliated/g33kdude JOIN :#esoteric < 1438704699 578149 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi JOIN :#esoteric < 1438704965 824709 :Wright!~Wright@c-98-225-44-92.hsd1.wa.comcast.net JOIN :#esoteric < 1438705256 607832 :Froo!~Frooxius@50.141.34.164 QUIT :Ping timeout: 265 seconds < 1438707102 297881 :AnotherTest!~turingcom@d51A46C52.access.telenet.be QUIT :Ping timeout: 255 seconds < 1438707137 527585 :AnotherTest!~turingcom@d51a46c52.access.telenet.be JOIN :#esoteric < 1438707648 418698 :puckipedia!puck@irc.puckipedia.com QUIT :Remote host closed the connection < 1438707970 409998 :puckipedia!puck@irc.puckipedia.com JOIN :#esoteric < 1438708160 798463 :FreeFull!~freefull@defocus/sausage-lover QUIT :Quit: BBL < 1438708701 772900 :augur_!~augur@c-73-46-94-9.hsd1.fl.comcast.net QUIT :Ping timeout: 244 seconds < 1438709167 567752 :AnotherTest!~turingcom@d51a46c52.access.telenet.be QUIT :Read error: Connection reset by peer < 1438709259 780446 :Deedledoo_!~Deedledoo@ipservice-092-208-165-201.092.208.pools.vodafone-ip.de JOIN :#esoteric < 1438709279 928915 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1438709472 621663 :Deedledoo_!~Deedledoo@ipservice-092-208-165-201.092.208.pools.vodafone-ip.de QUIT :Read error: Connection reset by peer < 1438709757 933092 :AnotherTest!~turingcom@d51A46C52.access.telenet.be JOIN :#esoteric < 1438710153 469301 :rg_!~rg_@ool-457c9f2d.dyn.optonline.net QUIT :Quit: My Mac has gone to sleep. ZZZzzz… < 1438710644 18100 :AnotherTest!~turingcom@d51A46C52.access.telenet.be QUIT :Ping timeout: 246 seconds < 1438710679 354742 :AnotherTest!~turingcom@d51a46c52.access.telenet.be JOIN :#esoteric < 1438710795 458214 :GeekDude!~GeekDude@unaffiliated/g33kdude QUIT :Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com) < 1438711788 94704 :atrapado!~atrapado@unaffiliated/atrapado JOIN :#esoteric < 1438712003 408777 :augur!~augur@c-73-46-94-9.hsd1.fl.comcast.net JOIN :#esoteric < 1438712118 69969 :MDude!~fyrc@pa-67-235-0-195.dhcp.embarqhsd.net QUIT :Quit: later chat < 1438712137 326114 :MDude!~fyrc@pa-67-235-0-195.dhcp.embarqhsd.net JOIN :#esoteric < 1438712197 909026 :aloril!~aloril@dsl-tkubrasgw2-54f80e-20.dhcp.inet.fi QUIT :Ping timeout: 252 seconds < 1438712713 762602 :shikhin_!~shikhin@59.177.207.167 JOIN :#esoteric < 1438712718 872350 :shikhin_!~shikhin@59.177.207.167 QUIT :Changing host < 1438712718 926773 :shikhin_!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1438712778 206635 :shikhin_!~shikhin@unaffiliated/shikhin QUIT :Client Quit < 1438713068 585995 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1438714110 782642 :Filystyn!~piotr@031011212161.warszawa.vectranet.pl JOIN :#esoteric < 1438714126 155545 :Filystyn!~piotr@031011212161.warszawa.vectranet.pl PRIVMSG #esoteric :HELO < 1438714131 700730 :Filystyn!~piotr@031011212161.warszawa.vectranet.pl PRIVMSG #esoteric :helo i need help with brainfuk < 1438714134 743562 :Filystyn!~piotr@031011212161.warszawa.vectranet.pl PRIVMSG #esoteric :anyone here ? < 1438714137 138277 :Filystyn!~piotr@031011212161.warszawa.vectranet.pl PRIVMSG #esoteric :im asking! < 1438714142 289823 :Slereah__!~Slereah@APuteaux-653-1-2-27.w86-195.abo.wanadoo.fr PRIVMSG #esoteric :Shoot < 1438714177 939629 :Filystyn!~piotr@031011212161.warszawa.vectranet.pl PRIVMSG #esoteric :brainfuck on this site http://esoteric.sange.fi/brainfuck/impl/interp/i.html?b=&i=123&o= blocks in inf loop when i ,[>,-]<. < 1438714185 518293 :Filystyn!~piotr@031011212161.warszawa.vectranet.pl PRIVMSG #esoteric :wth it happens? < 1438714191 627082 :Filystyn!~piotr@031011212161.warszawa.vectranet.pl PRIVMSG #esoteric :it should not block < 1438714273 130346 :Slereah__!~Slereah@APuteaux-653-1-2-27.w86-195.abo.wanadoo.fr PRIVMSG #esoteric :Why not < 1438714284 726114 :Slereah__!~Slereah@APuteaux-653-1-2-27.w86-195.abo.wanadoo.fr PRIVMSG #esoteric :You always switch to the next cell < 1438714289 97813 :Filystyn!~piotr@031011212161.warszawa.vectranet.pl PRIVMSG #esoteric :yes but < 1438714289 614003 :Slereah__!~Slereah@APuteaux-653-1-2-27.w86-195.abo.wanadoo.fr PRIVMSG #esoteric :Which starts at 0 < 1438714293 325090 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the loop should end if you get ASCII 1 as input < 1438714293 429544 :Filystyn!~piotr@031011212161.warszawa.vectranet.pl PRIVMSG #esoteric :if cell is zero < 1438714294 254942 :Slereah__!~Slereah@APuteaux-653-1-2-27.w86-195.abo.wanadoo.fr PRIVMSG #esoteric :And is then decremented < 1438714295 994510 :Slereah__!~Slereah@APuteaux-653-1-2-27.w86-195.abo.wanadoo.fr PRIVMSG #esoteric :to 255 < 1438714297 2060 :Filystyn!~piotr@031011212161.warszawa.vectranet.pl PRIVMSG #esoteric :it should leave < 1438714298 198034 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :because you do ,- just before the end of the loop < 1438714308 789232 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :probably you haven't been giving any code 1 as input < 1438714308 891867 :Filystyn!~piotr@031011212161.warszawa.vectranet.pl PRIVMSG #esoteric :but i need to < 1438714313 802154 :Slereah__!~Slereah@APuteaux-653-1-2-27.w86-195.abo.wanadoo.fr PRIVMSG #esoteric :How do you type in ASCII 1 < 1438714319 488120 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Slereah__: on most browsers, you can't < 1438714323 297625 :Slereah__!~Slereah@APuteaux-653-1-2-27.w86-195.abo.wanadoo.fr PRIVMSG #esoteric :Exactly < 1438714323 351878 :Filystyn!~piotr@031011212161.warszawa.vectranet.pl PRIVMSG #esoteric :yes there is nan code < 1438714341 109137 :Filystyn!~piotr@031011212161.warszawa.vectranet.pl PRIVMSG #esoteric :stop ok i see you are going to help < 1438714341 572671 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :For the record, the implementation is an EOF == 0 one. < 1438714342 609249 :Filystyn!~piotr@031011212161.warszawa.vectranet.pl PRIVMSG #esoteric :im so happy < 1438714355 463240 :Filystyn!~piotr@031011212161.warszawa.vectranet.pl PRIVMSG #esoteric :ok so basicly it should read < 1438714361 421597 :Filystyn!~piotr@031011212161.warszawa.vectranet.pl PRIVMSG #esoteric :and if no read than - < 1438714370 139243 :Filystyn!~piotr@031011212161.warszawa.vectranet.pl PRIVMSG #esoteric :if i - than zero stays zero ? < 1438714372 689010 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :well, what are you trying to do at a larger level < 1438714376 95410 :Filystyn!~piotr@031011212161.warszawa.vectranet.pl PRIVMSG #esoteric :or it goes up to 255 ? < 1438714393 345621 :Filystyn!~piotr@031011212161.warszawa.vectranet.pl PRIVMSG #esoteric :i want to read chars untill i find char with value 10 < 1438714396 274132 :Filystyn!~piotr@031011212161.warszawa.vectranet.pl PRIVMSG #esoteric :than i stop < 1438714396 328438 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I'm finding it hard to help because you seem to have a mental model of what's going wrong, but I don't know what that model is < 1438714401 79699 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :ah, OK < 1438714416 830334 :notfowl!fowl@gateway/shell/elitebnc/x-urfvdsnwrhicltkn PRIVMSG #esoteric :I look like an engineer < 1438714426 883692 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so you'd want something like ,----------[>,----------] for the read loop < 1438714433 957230 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :to test for 10, you have to subtract 10 then test against 0 < 1438714452 277637 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :what do you want to do after you get your newline? (I'm assuming this is an implementation where newline = 10, it normally is) < 1438714468 51252 :Filystyn!~piotr@031011212161.warszawa.vectranet.pl PRIVMSG #esoteric :basicly go back and read last char i think i see the problem now < 1438714488 129443 :Filystyn!~piotr@031011212161.warszawa.vectranet.pl PRIVMSG #esoteric :so <++++++++ < 1438714490 898381 :Filystyn!~piotr@031011212161.warszawa.vectranet.pl PRIVMSG #esoteric :10x+ < 1438714501 388938 :Filystyn!~piotr@031011212161.warszawa.vectranet.pl PRIVMSG #esoteric :ok i seem to get what i was doing wrong < 1438714599 57660 :Filystyn!~piotr@031011212161.warszawa.vectranet.pl PRIVMSG #esoteric :it worked guys < 1438714621 110581 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yay < 1438714635 338246 :Filystyn!~piotr@031011212161.warszawa.vectranet.pl PRIVMSG #esoteric :i accualy had working code but i thought that if i decrement zero it stays zero so i did not make new line but simply assumed that at end of output it will stop < 1438714642 668228 :Filystyn!~piotr@031011212161.warszawa.vectranet.pl PRIVMSG #esoteric :anyway big thx < 1438714721 852084 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :decrementing zero gives you -1, which on many implementations is equivalent to 255 (implementations which work like that are called "8-bit wrapping") < 1438714744 611939 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but hardly any implementations adjust -1 to 0 < 1438715607 646204 :rg_!~rg_@ool-457c9f2d.dyn.optonline.net JOIN :#esoteric < 1438716374 227723 :rg_!~rg_@ool-457c9f2d.dyn.optonline.net QUIT :Quit: My Mac has gone to sleep. ZZZzzz… < 1438716595 192494 :Melvar!~melvar@dslb-088-076-096-222.088.076.pools.vodafone-ip.de PRIVMSG #esoteric :The usual brainfucks don’t have any runtime errors to speak of, do they? < 1438716615 117144 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Melvar: < off the LHS of the tape is sometimes considered a runtime error < 1438716625 77505 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :although in some implementations, it extends the tape to the left < 1438716630 518266 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :^bf < < 1438716645 884736 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :^bf ,[.,]!test < 1438716645 939100 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :test < 1438716649 910625 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :^bf <,[.,]!test < 1438716649 964876 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :test < 1438716651 982045 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm < 1438716654 730656 :Melvar!~melvar@dslb-088-076-096-222.088.076.pools.vodafone-ip.de PRIVMSG #esoteric :Oh right, there’s ones with non-bidirectionally-infinite tapes. < 1438716668 748916 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :!bf8 < < 1438716670 74016 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :No output. < 1438716684 213070 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :!bf8 <+++++++++++++++++++++++++++++++++. < 1438716685 846891 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :​! < 1438717954 143374 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Why haven't I created that Haskell EDSL for brainfuck yet? < 1438718020 171754 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Maybe it's because I have lots of better things to do. < 1438718923 413975 :MoALTz!~no@78.11.179.104 QUIT :Quit: Leaving < 1438719349 81145 :atrapado!~atrapado@unaffiliated/atrapado QUIT :Ping timeout: 260 seconds < 1438719785 216102 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :hehe. a free software source readme describes what you need to build from source. it says “a reasonable C compiler (gcc, Visual Studio, etc.)” < 1438719802 243113 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :they apparently count Visual Studio as a reasonable C compiler. < 1438719811 285175 :atrapado!~atrapado@unaffiliated/atrapado JOIN :#esoteric < 1438719825 891774 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I'd say “a reasonable C compiler (gcc, etc.) or Visual Studio < 1438719827 420743 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :” < 1438719833 966555 :S1!~S1FeHa@p4FF92102.dip0.t-ipconnect.de JOIN :#esoteric < 1438719925 411167 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 256 seconds < 1438719929 996702 :notfowl!fowl@gateway/shell/elitebnc/x-urfvdsnwrhicltkn PRIVMSG #esoteric :Implying < 1438720033 779772 :Sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1438720334 911040 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Wisdom from the neural net: < 1438720336 453720 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :09:59:42: CYUL 231320Z 07006KT ESCABON SCT069 BKN022 B00/27 M19/M09 Q1000 RMK SC1SC0AC2 SCT038 BKN042 14/04 Q1005 RMK SCT000 M02/M00 Q1096 RMK BIN019 SCT000 03/03 Q1020 RMK R00 NOSIG < 1438720366 454845 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :b_jonas: what do you find unreasonable about VS? < 1438720496 322828 :MDude!~fyrc@pa-67-235-0-195.dhcp.embarqhsd.net PRIVMSG #esoteric :I tried using VS once and got it to go into some weird state where it was automatcially routing stdout to a file for no reason. < 1438720535 213309 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :VS has so much persistent configuration, it makes configuring it very hard < 1438720553 301944 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I prefer the mechanism whereby you use command-line options every time (normally automated via shellscripts or makefiles) < 1438720791 775290 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 244 seconds < 1438720901 384413 :Sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1438721008 101117 :Frooxius!~Frooxius@50.141.35.21 JOIN :#esoteric < 1438722090 401104 :aloril!~aloril@dsl-tkubrasgw2-54f80e-20.dhcp.inet.fi JOIN :#esoteric < 1438722310 883779 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1438722324 191293 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :I would have prefer to write something like "a C compiler (known to work with: GCC, Visual Studio)" < 1438722408 356908 :MDude!~fyrc@pa-67-235-0-195.dhcp.embarqhsd.net PRIVMSG #esoteric :"requires: an unreasonable C compiler (must put empty cartons back in the freezer)" < 1438722465 93389 :quietello!~bcd@209.86.165.83.dynamic.mundo-r.com QUIT :Ping timeout: 244 seconds < 1438722472 389207 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :zzo38: yeah, that may be nicer < 1438723770 523809 :nycs!~nycs@gw.hq.meetup.com QUIT :Ping timeout: 272 seconds < 1438724224 990559 :AnotherTest!~turingcom@d51a46c52.access.telenet.be QUIT :Quit: ZNC - http://znc.in < 1438724230 494447 :S1!~S1FeHa@p4FF92102.dip0.t-ipconnect.de QUIT :Quit: I started a joke, which started the whole world crying... < 1438724384 592846 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1438724650 360166 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 250 seconds < 1438724894 320587 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1438725132 175321 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : damn I hate this. <-- clearly the only insurance worth having is one that insures you against not having the right insurances. < 1438725176 177915 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@tell mroman damn I hate this. <-- clearly the only insurance worth having is one that insures you against not having the right insurances. < 1438725176 232140 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1438725198 462910 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :like in this case, an insurance against swatting due to obnoxious idleness < 1438725333 914437 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Quit: brb < 1438725373 840513 :Melvar!~melvar@dslb-088-076-096-222.088.076.pools.vodafone-ip.de PRIVMSG #esoteric :( [| sum / (cast . length) |] < 1438725374 47771 :idris-bot!~idris-bot@dslb-088-076-096-222.088.076.pools.vodafone-ip.de PRIVMSG #esoteric :\13r => < 1438725374 102058 :idris-bot!~idris-bot@dslb-088-076-096-222.088.076.pools.vodafone-ip.de PRIVMSG #esoteric : 09prim__divFloat (09Prelude.List.List instance of Prelude.Foldable.Foldable, method foldr (\13meth => \13meth => 09prim__addFloat 13meth 13meth) 040.0 13r) < 1438725374 156401 :idris-bot!~idris-bot@dslb-088-076-096-222.088.076.pools.vodafone-ip.de PRIVMSG #esoteric : (09prim__toFloatBigInt (09toIntegerNat (09length 13r))) : 12List 12Double -> 12Double < 1438725401 789070 :Melvar!~melvar@dslb-088-076-096-222.088.076.pools.vodafone-ip.de PRIVMSG #esoteric :( [| sum / (cast . length) |] [1,3,6,8] < 1438725402 241366 :idris-bot!~idris-bot@dslb-088-076-096-222.088.076.pools.vodafone-ip.de PRIVMSG #esoteric :044.5 : 12Double < 1438725459 32163 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :toFloatBigInt. < 1438725474 209800 :Melvar!~melvar@dslb-088-076-096-222.088.076.pools.vodafone-ip.de PRIVMSG #esoteric :Yeah … < 1438725487 219973 :Melvar!~melvar@dslb-088-076-096-222.088.076.pools.vodafone-ip.de PRIVMSG #esoteric :The prims sometimes have ridiculous names. < 1438725525 883859 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Oh, it's like (toFloat)(BigInt). < 1438725529 691688 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: can i buy swatting insurance twhib < 1438725539 24261 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Not (something else)to(FloatBigInt). < 1438725579 413276 :Melvar!~melvar@dslb-088-076-096-222.088.076.pools.vodafone-ip.de PRIVMSG #esoteric :Furthermore, only the float and string conversions are named like that. The ones among integertypes are {sext,zext,trunc}$typeA_$typeB . < 1438725630 636249 :Melvar!~melvar@dslb-088-076-096-222.088.076.pools.vodafone-ip.de PRIVMSG #esoteric :But for float and string you have {to,from}{Float,Str}$othertype . < 1438725703 953596 :Sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1438725746 130105 :Filystyn!~piotr@031011212161.warszawa.vectranet.pl QUIT :Ping timeout: 240 seconds < 1438725749 995668 :Melvar!~melvar@dslb-088-076-096-222.088.076.pools.vodafone-ip.de PRIVMSG #esoteric :This is related to the way they’re automatically generated; on the compiler-internal type there’s an algebraic data type representing these, and some constructors take IntTy or ArithTy arguments, and the float and string conversions are other constructors than the conversions among integers. < 1438725756 118803 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`le/rn twhib/the world holds its breath < 1438725758 730493 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Learned «twhib» < 1438725806 560685 :Melvar!~melvar@dslb-088-076-096-222.088.076.pools.vodafone-ip.de PRIVMSG #esoteric :On the other hand, toIntegerNat is not a prim, and I can’t fathom the thought process that went into its name. < 1438726299 317009 :variable!~variable@freebsd/developer/variable QUIT :Ping timeout: 255 seconds < 1438726424 287433 :boily!~alexandre@96.127.201.149 JOIN :#esoteric < 1438726728 783708 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :boilyh < 1438726760 248231 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: i don't know, i'm not in the insurance business < 1438727057 728546 :x10A94!~x10A94@178.252.73.97 QUIT :Read error: Connection reset by peer < 1438727294 848239 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ICFP contest starts in 2.5 days < 1438727296 972796 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :no < 1438727298 390238 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :a bit more < 1438727302 620735 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :in 2.6 days < 1438727438 273510 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :b_jhellonas! < 1438727455 544942 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :jello < 1438728323 354319 :atrapado!~atrapado@unaffiliated/atrapado QUIT :Ping timeout: 256 seconds < 1438729399 258375 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :`wisdom < 1438729400 855357 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :pineapple/Pineapple is a hybrid species descended from a cultivar of spinach and wild ivy, therefore making it a class 6 vegetable. < 1438729411 136961 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :`? chess < 1438729412 274218 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Chess is a complex boardgame, where players exchange unclear royal steaks until they decide which of them has lost. The game is recorded through the Gringmuth Moving Pineapple Notation. < 1438729430 179964 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :I can't decide which one is my favourite. < 1438729538 521194 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`` sed -i 's/therefore//' wisdom/pineapple < 1438729540 657315 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1438729580 194873 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :shellochaf. < 1438729588 615173 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :I think chess is better, don't you think so? < 1438729699 797481 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :WHEREAS, pineapple is a hybrid species descended from multiple ancestors; WHEREAS, these ancestors include spinach and wild ivy; NOW, THEREFORE, pineapple is declared to be a class 6 vegetable. < 1438729717 970860 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :boily: what do you think about diplomacy twhib < 1438729725 740580 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`? pineapple < 1438729726 667182 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Pineapple is a hybrid species descended from a cultivar of spinach and wild ivy, making it a class 6 vegetable. < 1438729732 838214 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: oopse < 1438729747 818333 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`` sed -i 's/ / /' wisdom/pineapple # thoerjan < 1438729750 598813 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1438729804 345846 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: you were saved from a swat only by my network disconnecting hth < 1438729840 53979 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: A swat for forgetting to remove a space? < 1438729853 896711 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i'm grumpy today hth < 1438729861 529290 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :spot of the tyranny, governor? < 1438730313 831029 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :what kind of diplomacy? and wherefore so much hate for the there therefore? < 1438730349 885755 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :the game < 1438730370 300865 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :and i don't know why oerjan is such a h8r hth < 1438730372 928876 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :never played, definitely in an advantageous position on my gaming checklist. < 1438730383 548066 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :ACTION tries to ungrump oerjan < 1438730385 69125 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :tyrannosaurus oerjan < 1438730397 64085 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :must be windows 10 < 1438730403 365738 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :ACTION applies ancient Chinese techniques on oerjan < 1438730412 94572 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :*gasp*! he has updated? < 1438730436 277547 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i'm playing diplomacy online with some folks < 1438730438 479531 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i'm italy < 1438730444 3456 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :any strategies? < 1438730448 430794 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :eeeeh... < 1438730456 426150 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :gghghghghbhg flblblblblblbl... < 1438730459 376793 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :nope. < 1438730461 991596 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :sorry. < 1438731131 654293 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: betray everyone hth < 1438731285 330540 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :boily: actually, i don't see anything that's significantly more broken, once i got rid of that Edge thing. and it starts up much faster after hibernation. < 1438731331 348448 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh and i had to redownload a touchpad driver < 1438731343 348911 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that was annoying, but it was annoying before anyway < 1438731352 17729 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :spot of the hibernation, governor? < 1438731355 124238 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I never suspend-to-disk. < 1438731360 157756 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :with some luck it will now work properly. < 1438731362 820207 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I have no idea if it works. < 1438731379 541356 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: i do it all the time. also _ordinary_ reboot definitely got a bit slower now. < 1438731403 502215 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(er my 2nd last comment was about the touchpad driver) < 1438731445 909930 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i've had no problems with hibernation itself in a long time. maybe not since my previous laptop. < 1438731452 473086 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You redownload your touchpad driver all the time? < 1438731474 31746 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :no, but it had a tendency of dying on unsuspending < 1438731497 528067 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm i guess that technically was a hibernation problem < 1438731529 103869 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it got less annoying when i found out how to reset it without rebooting. < 1438731600 389157 :Melvar!~melvar@dslb-088-076-096-222.088.076.pools.vodafone-ip.de QUIT :Ping timeout: 264 seconds < 1438731601 905999 :idris-bot!~idris-bot@dslb-088-076-096-222.088.076.pools.vodafone-ip.de QUIT :Ping timeout: 252 seconds < 1438731756 992375 :Melvar!~melvar@dslb-178-006-012-181.178.006.pools.vodafone-ip.de JOIN :#esoteric < 1438732747 536894 :idris-bot!~idris-bot@dslb-178-006-012-181.178.006.pools.vodafone-ip.de JOIN :#esoteric