< 1431820808 919876 :orin!~root@nrba3-2.onlink.net PRIVMSG #esoteric :boggs is an unfortunate name to have < 1431820893 822081 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@tell int-e [...] This can be proved by considering the type Vanish a = Gone which has a law-abiding monad instance, but is useless. [...] <-- it's not too hard to show that if some (m t) has at least two values then return must be injective, so the Identity monad embeds. < 1431820893 823119 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Consider it noted. < 1431820913 57382 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :boily: http://www.the-whiteboard.com/cast/ < 1431821840 270269 :ZombieAlive!~N3cr0naV@unaffiliated/zombiealive JOIN :#esoteric < 1431822578 734866 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : So "It is deified to be equal in the spec" <-- sounds like a good starting point for a religion there < 1431822782 589454 :boily!~alexandre@modemcable184.4-177-173.mc.videotron.ca PRIVMSG #esoteric :are there any standards for religions? ISO? RFC? < 1431822826 282138 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :there's probably one in the mahabharata somewhere < 1431822833 723246 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :I don't think there's an ANSI standard religion. < 1431822868 129030 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :You could probably consider the Anglican Church the BS standard religion though. < 1431822904 849389 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i suppose an ANSI standard religion would be unconstitutional < 1431822976 844589 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :in other news, only 2 years until norway separates church and state hth < 1431823090 294247 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :ANSI is not associated with the US government. < 1431823107 324423 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :aha < 1431823227 499780 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :I don't expect ANSI requires a standard religion < 1431823245 487142 :notfowl!Elite14005@gateway/shell/elitebnc/x-qtifcxlzuxfsvscq JOIN :#esoteric < 1431823304 736786 :orin!~root@nrba3-2.onlink.net PRIVMSG #esoteric :I suppose the Catechism is sort of the spec for Catholicism < 1431823324 401121 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :Also, apparently "In God We Trust" is "ceremonial deism" which is somehow "constitutional", so. < 1431823333 725258 :notfowl!Elite14005@gateway/shell/elitebnc/x-qtifcxlzuxfsvscq NICK :fowl < 1431823358 500739 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the fowlarization keeps reversing < 1431823380 977427 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wait < 1431823385 267276 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*fowlarity < 1431823385 649723 :boily!~alexandre@modemcable184.4-177-173.mc.videotron.ca PRIVMSG #esoteric :what? < 1431823389 490989 :boily!~alexandre@modemcable184.4-177-173.mc.videotron.ca PRIVMSG #esoteric :ah. < 1431823393 197497 :hypotrochoid!~phi@fractal.pw QUIT :Quit: leaving < 1431823481 396561 :orin!~root@nrba3-2.onlink.net PRIVMSG #esoteric :It's kind of convenient that the Catholic church keeps a public document of what precisely they believe. < 1431823562 163592 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Yes, it does help, so that people can understand it. < 1431823621 958453 :PinealGlandOptic!~PinealGla@82.144.205.57 JOIN :#esoteric < 1431823778 814627 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :orin: Not fond of folks like the Quakers then? < 1431824145 33918 :orin!~root@nrba3-2.onlink.net PRIVMSG #esoteric :I wouldn't say that. But I generally like people to properly define what they think < 1431824180 464037 :orin!~root@nrba3-2.onlink.net PRIVMSG #esoteric :I can't stand it when people like politicians talk out both sides their mouth < 1431824210 715984 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Microscript14]]4 10 02http://esolangs.org/w/index.php?diff=42952&oldid=42948 5* 0372.74.32.143 5* (+283) 10 < 1431824290 470239 :orin!~root@nrba3-2.onlink.net PRIVMSG #esoteric :So I definitely like that the Catholics have a very firm definition of their ideology < 1431824324 985064 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :Least the Quakers are likely to very clearly tell you what they believe. < 1431824346 291991 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :("honesty about beliefs" is, like, their only bit of hard and fast dogma) < 1431824389 504163 :orin!~root@nrba3-2.onlink.net PRIVMSG #esoteric :Oh. Cool. < 1431824433 226432 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :The main problem is, they don't really, y'know, believe in firmly defined fixed ideology. :) < 1431824453 548390 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :(not a Quaker, just found their whole thing a bit interesting) < 1431824626 869042 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :They don't need to as long as it is specified that they don't need to, as far as I am concerned. Nevertheless ideas should be made available so that you can figure out what you do believe or if you don't agree or whatever. < 1431824673 865691 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :Sure. Stuff like the Church of Scientology is just sickening. < 1431824796 47086 :orin!~root@nrba3-2.onlink.net PRIVMSG #esoteric :Well, I think they have more than one problem < 1431824817 485335 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :Sure. < 1431824830 988687 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Read error: Connection reset by peer < 1431825544 524491 :Sgeo_!~Sgeo@ool-44c2a85f.dyn.optonline.net PRIVMSG #esoteric :zzo38, do you know stuff about MIDI file format? < 1431825557 548858 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Sgeo_: I know a few stuff < 1431825576 732801 :Sgeo_!~Sgeo@ool-44c2a85f.dyn.optonline.net PRIVMSG #esoteric :Do you happen to know if there is any obvious sequence of bytes that would likely appear at the end of any MIDI? < 1431825612 876939 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :I don't think so? < 1431825620 372155 :Sgeo_!~Sgeo@ool-44c2a85f.dyn.optonline.net PRIVMSG #esoteric :Ok, thank you < 1431825652 334928 :Sgeo_!~Sgeo@ool-44c2a85f.dyn.optonline.net PRIVMSG #esoteric :I have a ".rsc" file which contains a bunch of files including MIDI files. I'm not sure how the .rsc file format works, but the files it contains seem to be in there plain. < 1431825807 434372 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :You can figure out the size by the heading < 1431825876 824131 :orin!~root@nrba3-2.onlink.net PRIVMSG #esoteric :?MThd < 1431825876 825115 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Unknown command, try @list < 1431825889 833747 :orin!~root@nrba3-2.onlink.net PRIVMSG #esoteric :MThd occurs at teh start of a midi < 1431825899 850123 :orin!~root@nrba3-2.onlink.net PRIVMSG #esoteric :http://www.ccarh.org/courses/253/handout/smf/ < 1431825901 33474 :Sgeo_!~Sgeo@ool-44c2a85f.dyn.optonline.net PRIVMSG #esoteric :zzo38, as in the MIDI file itself contains its own size? < 1431825958 971334 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Yes. < 1431825996 917762 :Sgeo_!~Sgeo@ool-44c2a85f.dyn.optonline.net PRIVMSG #esoteric :ty < 1431826000 420203 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :You can look up number of tracks in the MThd block and then each track tell you the total data size. < 1431826055 966343 :Sgeo_!~Sgeo@ool-44c2a85f.dyn.optonline.net PRIVMSG #esoteric :Is only one track weird or normal < 1431826073 982175 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :I think it is normal to have only one track < 1431826087 577227 :orin!~root@nrba3-2.onlink.net PRIVMSG #esoteric :probly normal < 1431826098 781488 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Even with only one track you can have up to sixteen channels < 1431826260 723486 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Although the track also ends with FF 2F 00 but it isn't guaranteed to not occur elsewhere in the file, due to running status < 1431826435 962760 :Sgeo_!~Sgeo@ool-44c2a85f.dyn.optonline.net PRIVMSG #esoteric :Looks like I did things correctly :) < 1431826447 305315 :Sgeo_!~Sgeo@ool-44c2a85f.dyn.optonline.net PRIVMSG #esoteric :If the ending was corrupt, would I notice at any point before the end? < 1431826554 46632 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :If you find the event FF 2F 00 before the end (but only if it is in a place where an event belongs) then I would suppose it is wrong < 1431826588 524525 :Sgeo_!~Sgeo@ool-44c2a85f.dyn.optonline.net PRIVMSG #esoteric :I copy/pasted from a hex editor based on my understanding of the length, and just looked at what I copy pasted and it did end with FF 2F 00 < 1431826610 777261 :Sgeo_!~Sgeo@ool-44c2a85f.dyn.optonline.net PRIVMSG #esoteric :I wonder if an extractor that only extracted midis would be useful or useless < 1431826643 314372 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Well, I have written one for the DOS game Hocus Pocus, so probably it might be useful to some people < 1431826749 568362 :Sgeo_!~Sgeo@ool-44c2a85f.dyn.optonline.net PRIVMSG #esoteric :Someone has written a more thorough extractor, but as far as I know it's not open source and it's only available from shady sites < 1431827265 145460 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :midevil extractor < 1431827393 509031 :trout!~variable@freebsd/developer/variable QUIT :Ping timeout: 276 seconds < 1431828135 850421 :ZombieAlive!~N3cr0naV@unaffiliated/zombiealive QUIT :Remote host closed the connection < 1431828335 690869 :ZombieAlive!~N3cr0naV@unaffiliated/zombiealive JOIN :#esoteric < 1431828864 655539 :boily!~alexandre@modemcable184.4-177-173.mc.videotron.ca QUIT :Quit: UNSOUND CHICKEN < 1431829697 696090 :paul2520!~paul2520@unaffiliated/paul2520 QUIT :Quit: WeeChat 1.0 < 1431830532 736723 :PinealGlandOptic!~PinealGla@82.144.205.57 QUIT :Ping timeout: 255 seconds < 1431831021 216681 :paul2520!~paul@unaffiliated/paul2520 JOIN :#esoteric < 1431832405 643199 :mitchs_!~canissimi@unaffiliated/canissimia JOIN :#esoteric < 1431832508 132259 :orin!~root@nrba3-2.onlink.net QUIT :Ping timeout: 246 seconds < 1431832594 185494 :mitchs!~canissimi@unaffiliated/canissimia QUIT :Ping timeout: 272 seconds < 1431832633 475361 :mitchs!~canissimi@unaffiliated/canissimia JOIN :#esoteric < 1431832728 613107 :mitchs_!~canissimi@unaffiliated/canissimia QUIT :Ping timeout: 264 seconds < 1431832957 322202 :root!~root@nrba3-2.onlink.net JOIN :#esoteric < 1431832979 24930 :root!~root@nrba3-2.onlink.net NICK :Guest99219 < 1431833009 792076 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :is that you or[ei]n < 1431833022 167525 :Guest99219!~root@nrba3-2.onlink.net NICK :or[ei]n < 1431833026 29874 :or[ei]n!~root@nrba3-2.onlink.net PRIVMSG #esoteric :yes < 1431833037 834396 :or[ei]n!~root@nrba3-2.onlink.net PRIVMSG #esoteric :stupid puppy linux < 1431833074 895064 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :irssi --nick hth < 1431833087 226689 :or[ei]n!~root@nrba3-2.onlink.net PRIVMSG #esoteric :th < 1431833102 674154 :Patashu!Verdonna_@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 256 seconds < 1431833181 943262 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1431833301 862830 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or[ei]n: or possibly you can /set nick and then /save < 1431833314 970862 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :at least i see my nick in .irssi/config < 1431833476 302097 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1431833526 277374 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or[ei]n: apparently you can also set the environment variable $IRCNICK < 1431833543 732802 :variable!~variable@freebsd/developer/variable PRIVMSG #esoteric :oerjan: seems likely < 1431833590 468094 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :presumably only if you don't change /set nick < 1431833962 732565 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :I use macro in my configuration file to set nicknames; in my opinion that is better way. < 1431834128 989865 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 240 seconds < 1431834508 630001 :Sgeo_!~Sgeo@ool-44c2a85f.dyn.optonline.net PRIVMSG #esoteric :http://codu.org/webmidi/gen/17879560417051/17879560417051.ogg < 1431834521 366895 :Sgeo_!~Sgeo@ool-44c2a85f.dyn.optonline.net PRIVMSG #esoteric :Is this a song from some well-known game? < 1431834534 620629 :Sgeo_!~Sgeo@ool-44c2a85f.dyn.optonline.net PRIVMSG #esoteric :I know a not-so-well-known game used it, wondering if it took it from somewhere < 1431835913 127807 :hilquias!~user@unaffiliated/hilquias JOIN :#esoteric < 1431836286 116626 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :How can I add a feature of auto-accompaniment into AmigaMML? < 1431837276 249381 :solid_whiskey!~teakey@23.27.206.118 JOIN :#esoteric < 1431838029 172998 :GeekDude!~GeekDude@unaffiliated/g33kdude QUIT :Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com) < 1431839434 7409 :hilquias!~user@unaffiliated/hilquias QUIT :Ping timeout: 272 seconds < 1431839996 834776 :hilquias!~user@unaffiliated/hilquias JOIN :#esoteric < 1431840104 110630 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1431840411 950769 :Sgeo_!~Sgeo@ool-44c2a85f.dyn.optonline.net PRIVMSG #esoteric :ARe devices on a wifi network allowed to... just claim a hostname? < 1431840427 25608 :Sgeo_!~Sgeo@ool-44c2a85f.dyn.optonline.net PRIVMSG #esoteric :Trying to understand how http://find.synology.com works < 1431840759 76024 :solid_whiskey!~teakey@23.27.206.118 QUIT :Ping timeout: 265 seconds < 1431840883 255649 :or[ei]n!~root@nrba3-2.onlink.net PRIVMSG #esoteric :maybe it uses 192.168.n.m? there are only 65536 possiblities < 1431841226 370471 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It connects to diskstation.local:5000 < 1431841244 650988 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :https://en.wikipedia.org/wiki/.local hth < 1431841394 867610 :Sgeo_!~Sgeo@ool-44c2a85f.dyn.optonline.net PRIVMSG #esoteric :FOr some reason I saw diskstation not diskstation.local < 1431841524 275966 :Sgeo_!~Sgeo@ool-44c2a85f.dyn.optonline.net PRIVMSG #esoteric :Also that link says Windows doesn't have mDNS support < 1431841672 269858 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :My router will resolve hostnames on the local network. < 1431841731 716298 :Sgeo_!~Sgeo@ool-44c2a85f.dyn.optonline.net PRIVMSG #esoteric :WHat if two things try to use the same hostname? < 1431841748 156207 :Sgeo_!~Sgeo@ool-44c2a85f.dyn.optonline.net PRIVMSG #esoteric :E.g. if I have that DSM thing both as physical hardware and in a VM < 1431841760 32740 :Sgeo_!~Sgeo@ool-44c2a85f.dyn.optonline.net PRIVMSG #esoteric :And they both say they're diskstation < 1431841767 843326 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I don't know. < 1431842266 594457 :lmt!18554f25@gateway/web/cgi-irc/kiwiirc.com/ip.24.85.79.37 JOIN :#esoteric < 1431842278 64705 :lmt!18554f25@gateway/web/cgi-irc/kiwiirc.com/ip.24.85.79.37 PART :#esoteric < 1431842287 962649 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well that was quick < 1431842368 348518 :ZombieAlive!~N3cr0naV@unaffiliated/zombiealive QUIT :Remote host closed the connection < 1431842963 569394 :password2!~password@197.77.15.59 JOIN :#esoteric < 1431843195 42558 :variable!~variable@freebsd/developer/variable QUIT :Ping timeout: 265 seconds < 1431844588 694550 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :The domain name should resolve by administration; it shouldn't be allowed to just claim a hostname; print the MAC address on the device if you need to know how to refer to it < 1431844638 562016 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :.mac.local.hth < 1431844639 376935 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :But I suppose both wired and wireless network routers if they have DNS server can use the MAC address to make up the domain name if such function is enabled < 1431845397 310609 :hilquias!~user@unaffiliated/hilquias QUIT :Remote host closed the connection < 1431846242 502529 :AnotherTest!~turingcom@d51a45e8c.access.telenet.be JOIN :#esoteric < 1431846318 598952 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :What is the proper way to keyscale a filter envelope? < 1431846326 844736 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :s/keyscale/antikeyscale/ < 1431846832 163675 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Good morning < 1431848352 929614 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :morn morn < 1431848979 792179 :bb010g!uid21050@gateway/web/irccloud.com/x-cbcoyeforveecsln QUIT :Quit: Connection closed for inactivity < 1431850094 930260 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric : ARe devices on a wifi network allowed to... just claim a hostname? <--- that is a common setup of home routers yes < 1431850123 469680 :Sgeo_!~Sgeo@ool-44c2a85f.dyn.optonline.net PRIVMSG #esoteric :Ah < 1431850149 849458 :Tritonio!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c JOIN :#esoteric < 1431851666 214871 :scoofy!~scoofy@catv-89-135-80-2.catv.broadband.hu QUIT :Ping timeout: 256 seconds < 1431852070 737827 :Sgeo_!~Sgeo@ool-44c2a85f.dyn.optonline.net QUIT :Quit: Leaving < 1431852071 957606 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1431852091 196644 :Sgeo!~Sgeo@ool-44c2a85f.dyn.optonline.net JOIN :#esoteric < 1431852102 495540 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Remote host closed the connection < 1431852140 307615 :Sgeo!~Sgeo@ool-44c2a85f.dyn.optonline.net QUIT :Client Quit < 1431852162 195056 :Sgeo!~Sgeo@ool-44c2a85f.dyn.optonline.net JOIN :#esoteric < 1431852237 249996 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1431852790 265181 :password2!~password@197.77.15.59 QUIT :Ping timeout: 245 seconds < 1431852925 811956 :zadock!~zadock@cthulhu.tuiasi.ro JOIN :#esoteric < 1431853987 158725 :zadock!~zadock@cthulhu.tuiasi.ro QUIT :Quit: Leaving < 1431854348 483759 :scoofy!~scoofy@catv-89-135-64-110.catv.broadband.hu JOIN :#esoteric < 1431856784 419729 :scoofy!~scoofy@catv-89-135-64-110.catv.broadband.hu QUIT :Ping timeout: 240 seconds < 1431856896 858167 :scoofy!~scoofy@catv-89-135-64-110.catv.broadband.hu JOIN :#esoteric < 1431857190 276911 :AnotherTest!~turingcom@d51a45e8c.access.telenet.be QUIT :Ping timeout: 245 seconds < 1431858799 416072 :password2_!~password@197.77.15.59 JOIN :#esoteric < 1431859943 80964 :Weloxux!~hato@546A4E77.cm-12-3b.dynamic.ziggo.nl JOIN :#esoteric < 1431860355 634484 :Herbalist!~oz@185.82.32.10 JOIN :#esoteric < 1431860355 673494 :Herbalist!~oz@185.82.32.10 QUIT :Changing host < 1431860355 673568 :Herbalist!~oz@unaffiliated/herbalist JOIN :#esoteric < 1431860675 351312 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: while we're splitting hairs, "it's not too hard to show that if some (m t) has at least two values then return must be injective, so the Identity monad embeds" <-- true, but those (observably, hmm) distinct values are a feature that lives outside the monad signature. Which was the point, pretty much. < 1431861164 398253 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :oerjan, happy Norwegian Constitution Day apparently < 1431861166 823791 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :> let f True = return () :: State () () in ((return False >>= f) `seq` (), (f False) `seq` ()) < 1431861168 455400 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : ((),*Exception: :3:5-37: Non-exhaustive patterns in function f < 1431861299 310552 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Taneb: thx although my sleeping cycle is precisely the wrong way around for it < 1431861318 741546 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :oerjan, your sleep schedule is unconstitutional hth < 1431861325 838955 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :quite possibly < 1431861351 137193 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :wait, your constitution (I mean the legal one) regulates sleep schedules? < 1431861399 347904 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Though I guess it does cover human rights and therefore sleep deprivation as a form of torture... < 1431861414 376521 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :...but I don't think that's applicable to oerjan's case. < 1431861440 827593 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: perhaps not, although "making people get up in the morning (before they get welfare support)" is kind of a political cliché here < 1431861462 221481 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :ah, interesting. < 1431861464 236573 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Lack of sleep is known to be bad for the constitution < 1431861473 215079 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(obviously they completely failed with me) < 1431861655 158449 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Jafet: it's not lack of sleep on average, just strange synchronization < 1431862155 659950 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@poll-result best-spoken-language < 1431862155 697413 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Poll results for best-spoken-language (Open): magyar=3, Polish=484, Welsh=1, Georgian=3, Manx=1, norwegian=8 < 1431862191 688996 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@poll-remove best-spoken-language < 1431862191 810506 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :poll "best-spoken-language" removed. < 1431863276 32818 :MoALTz_!~no@user-109-243-23-13.play-internet.pl JOIN :#esoteric < 1431863290 69319 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 245 seconds < 1431863471 862701 :MoALTz!~no@78.11.179.104 QUIT :Ping timeout: 264 seconds < 1431863519 638488 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :The Cayley-Hamilton theorem seems very odd to me < 1431863642 22016 :MoALTz!~no@78.11.179.104 JOIN :#esoteric < 1431863759 815024 :MoALTz_!~no@user-109-243-23-13.play-internet.pl QUIT :Ping timeout: 264 seconds < 1431863967 556696 :idris-bot!~ircslave@dslb-092-072-136-176.092.072.pools.vodafone-ip.de QUIT :Read error: Connection reset by peer < 1431863967 677295 :Melvar!~melvar@dslb-092-072-136-176.092.072.pools.vodafone-ip.de QUIT :Read error: Connection reset by peer < 1431863972 107824 :scoofy_!~scoofy@catv-89-135-80-2.catv.broadband.hu JOIN :#esoteric < 1431863972 227175 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :it's cool < 1431864010 674765 :scoofy!~scoofy@catv-89-135-64-110.catv.broadband.hu QUIT :Ping timeout: 272 seconds < 1431864022 102439 :Melvar!~melvar@dslb-092-072-136-176.092.072.pools.vodafone-ip.de JOIN :#esoteric < 1431864136 766697 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(And I like the stupid one-line "proof", that says that since p_A(x) = det(A - x I), we have p_A(A) = det(A - A I) = det(0) = 0.) < 1431864179 854918 :Herbalist!~oz@unaffiliated/herbalist QUIT :Quit: WeeChat 1.1.1 < 1431864239 202300 :Herbalist!~oz@185.82.32.10 JOIN :#esoteric < 1431864239 388076 :Herbalist!~oz@185.82.32.10 QUIT :Changing host < 1431864239 391129 :Herbalist!~oz@unaffiliated/herbalist JOIN :#esoteric < 1431864431 998865 :idris-bot!~ircslave@dslb-092-072-136-176.092.072.pools.vodafone-ip.de JOIN :#esoteric < 1431865662 362583 :Weloxux!~hato@546A4E77.cm-12-3b.dynamic.ziggo.nl QUIT :Quit: Leaving < 1431865690 483140 :Weloxux!~hato@546A4E77.cm-12-3b.dynamic.ziggo.nl JOIN :#esoteric < 1431865695 194156 :idris-bot!~ircslave@dslb-092-072-136-176.092.072.pools.vodafone-ip.de QUIT :Quit: Terminated < 1431865709 324370 :idris-bot!~ircslave@dslb-092-072-136-176.092.072.pools.vodafone-ip.de JOIN :#esoteric < 1431865912 423443 :boily!~alexandre@modemcable184.4-177-173.mc.videotron.ca JOIN :#esoteric < 1431866033 19946 :idris-bot!~ircslave@dslb-092-072-136-176.092.072.pools.vodafone-ip.de QUIT :Quit: Terminated < 1431866047 63795 :idris-bot!~ircslave@dslb-092-072-136-176.092.072.pools.vodafone-ip.de JOIN :#esoteric < 1431866197 448680 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 276 seconds < 1431866224 600783 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Zzimilarly < 1431866861 827296 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :fungot, do you like potatos? < 1431866861 950036 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :b_jonas: the alphabet and simplified spelling spelling and pictures books and burglars authors' club < 1431867305 972560 :boily!~alexandre@modemcable184.4-177-173.mc.videotron.ca PRIVMSG #esoteric :b_jhellonas. I think the 'got prefers alphabet soup hth < 1431867687 578748 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :possible < 1431868024 247422 :boily!~alexandre@modemcable184.4-177-173.mc.videotron.ca PRIVMSG #esoteric :. o O ( does the Hungarian version of alphabet soup have ő and ű? ) < 1431868171 378797 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :boily: no, at least not the ones I've seen < 1431868209 822935 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I don't think there's a separate Hungarian version produced even < 1431868264 836308 :boily!~alexandre@modemcable184.4-177-173.mc.videotron.ca PRIVMSG #esoteric :so much for i18ned alphabet soup :/ < 1431868285 255267 :GeekDude!~GeekDude@unaffiliated/g33kdude JOIN :#esoteric < 1431868355 987158 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :boily: there's the question of whether there's a kanji alphabet soup < 1431868444 506511 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :it would probably need sprues to hold the pasta for disconnected kanji together < 1431868516 627054 :Weloxux!~hato@546A4E77.cm-12-3b.dynamic.ziggo.nl QUIT :Remote host closed the connection < 1431868597 801025 :or[ei]n!~root@nrba3-2.onlink.net PRIVMSG #esoteric :or it could just use the cursive versions of the kanji < 1431868635 312006 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oh my… that nick < 1431868647 136356 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :hmm < 1431868703 913578 :boily!~alexandre@modemcable184.4-177-173.mc.videotron.ca PRIVMSG #esoteric :hellor[ei]n. < 1431868709 287461 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric ::D < 1431868711 828459 :boily!~alexandre@modemcable184.4-177-173.mc.videotron.ca PRIVMSG #esoteric :a variation on http://en.wikipedia.org/wiki/Edomoji ? < 1431868714 732930 :boily!~alexandre@modemcable184.4-177-173.mc.videotron.ca PRIVMSG #esoteric :Tanelle! < 1431868720 870148 :Weloxux!~hato@546A4E77.cm-12-3b.dynamic.ziggo.nl JOIN :#esoteric < 1431868731 660184 :boily!~alexandre@modemcable184.4-177-173.mc.videotron.ca PRIVMSG #esoteric :`relcome Weloxux < 1431868732 785079 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​13Weloxux: 04Welcome 07to 08the 09international 02hub 06for 13esoteric 04programming 07language 08design 09and 02deployment! 06For 13more 04information, 07check 08out 09our 02wiki: 06. 13(For 04the 07other 08kind 09of 02esoterica, 06try 13#esoteric 04on 07irc.dal.net.) < 1431868751 99108 :or[ei]n!~root@nrba3-2.onlink.net PRIVMSG #esoteric :most people's would just be for example Sgeo_* but Taneb would be \(Ta\)\?n\(eb\|vd\) < 1431868757 536946 :boily!~alexandre@modemcable184.4-177-173.mc.videotron.ca PRIVMSG #esoteric :meanwhile, what the fungot is kakuji... < 1431868758 744820 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :boily: 107. to this time it has been said: " one minute." and if we turn from this glorious spectacle to the private chamber of the fnord discussions by which we are led particularly to impress the lesson already alluded to on your attention. of the advantages of knowledge between those who hate all order. england has no peculiar reason to dread the introduction of personal reflections of any kind was referred to at that day. b < 1431868777 135542 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :or[ei]n, that doesn't cover atriq or Ngevd < 1431868806 141061 :or[ei]n!~root@nrba3-2.onlink.net PRIVMSG #esoteric :good point < 1431868811 248963 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Mine'd be (Taneb|atriq|N(ge)?vd) if I got the formatting right < 1431868827 907484 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Not sure it can be simplified past that without false positives < 1431868840 92642 :or[ei]n!~root@nrba3-2.onlink.net PRIVMSG #esoteric :Yeah in eregexes < 1431868891 629134 :or[ei]n!~root@nrba3-2.onlink.net PRIVMSG #esoteric :At some point I should switch my ed mod to use eregexes. bregexes can be hard to read < 1431868916 977224 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :couldn't they just recognize you from your irc username (as opposed to nick)? Istr that's "Taneb" even when you're nvd or whatever other nick < 1431868933 789433 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :b_jonas, yeah < 1431868942 83194 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I really ought to make my realname my actual real name < 1431869005 354826 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Hmm, has this changed it? < 1431869011 836948 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :No... < 1431869051 178663 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Anyway, my real name is Nathan van Doorn, if anyone asks < 1431869072 419929 :or[ei]n!~root@nrba3-2.onlink.net PRIVMSG #esoteric :My real name is Oren Isaac Watson < 1431869079 380048 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :or[ei]n: you could use a regex modifier like gnu sed does, only drawback is that the modifier letter shan't collide with a command, because just like sed, ed allows regex match in an address < 1431869099 822273 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :what's your real name when nobody is asking? < 1431869153 393285 :or[ei]n!~root@nrba3-2.onlink.net PRIVMSG #esoteric :Orin I. Zack Watson < 1431869172 233815 :or[ei]n!~root@nrba3-2.onlink.net PRIVMSG #esoteric :lol not really. < 1431869183 826198 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :doesn't it have an "e" somewhere? < 1431869211 536556 :or[ei]n!~root@nrba3-2.onlink.net PRIVMSG #esoteric :But when I was in primary school I often got confused as to how to spell it < 1431869252 774279 :or[ei]n!~root@nrba3-2.onlink.net PRIVMSG #esoteric :Izak is much more correct phonetically than Isaac < 1431869355 910902 :or[ei]n!~root@nrba3-2.onlink.net PRIVMSG #esoteric :It didn't help that up until grade 2 I wrote my Z and S identicaly < 1431869421 22271 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :or[ei]n: I cross all my lower case z because otherwise I'd write them too similarly < 1431869484 259510 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :not exactly the same, but it still helps < 1431869500 527047 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :the bad part is that I write lots of other letters so ugly even I can't distinguish them < 1431869583 910148 :or[ei]n!~root@nrba3-2.onlink.net PRIVMSG #esoteric :I have very terrible printing, but very nice cursive < 1431869595 960087 :Weloxux!~hato@546A4E77.cm-12-3b.dynamic.ziggo.nl QUIT :Remote host closed the connection < 1431869614 14279 :or[ei]n!~root@nrba3-2.onlink.net PRIVMSG #esoteric :the main problem is r versus v and u < 1431869642 636381 :or[ei]n!~root@nrba3-2.onlink.net PRIVMSG #esoteric :when i print, they STILL look the same unless I pay a lot of attention < 1431869715 836614 :or[ei]n!~root@nrba3-2.onlink.net PRIVMSG #esoteric :I wish i was allowed to use kanji as variables in equations < 1431869745 453087 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :or[ei]n: yeah. in my handwriting, "r" and "v" are the same too. ("u" is different.) also, "f" and "b" are often too similar. and I write "c" and "w" and "p" too close to the next letter, AND "c" too similar to "e", which makes "cl", "d", "el" sometimes look the same < 1431869804 39241 :or[ei]n!~root@nrba3-2.onlink.net PRIVMSG #esoteric :Your printing is probably not as angular as mine < 1431869805 246798 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I don't even know a good way to write "v" different from "r" (and other letters, including "b") unless I write it very wide. I should figure out some solution for that and learn it. as well as learn to write "c" properly. < 1431869874 411667 :or[ei]n!~root@nrba3-2.onlink.net PRIVMSG #esoteric :yeah, what I do is sub in a cursive r < 1431869907 397060 :boily!~alexandre@modemcable184.4-177-173.mc.videotron.ca PRIVMSG #esoteric :http://en.wikipedia.org/wiki/Italic_script helps. vertical downstokes, diagonal upstokes. < 1431869907 398122 :or[ei]n!~root@nrba3-2.onlink.net PRIVMSG #esoteric :which looks weird but at least is distinguishable in equations < 1431869912 716330 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :or[ei]n: yes, but that's the problem. a cursive "r" looks like a cursive "v" to me, and somewhat similar to a cursive "b", because they both end in a raised shallow smile. < 1431869976 157788 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I can make "v" and "b" and "f" different because of their ascenders and descenders if I take care, but that doesn't help for "r" versus "v" < 1431870063 69593 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I never really had a problem with "u" versus "v", or with "o" versus "a", unlike some people < 1431870110 201584 :or[ei]n!~root@nrba3-2.onlink.net PRIVMSG #esoteric :yeah... basically what I'm saying is, I write v and u both like v appears in most fonts. < 1431870172 328261 :or[ei]n!~root@nrba3-2.onlink.net PRIVMSG #esoteric :(and r, often) < 1431870231 619947 :or[ei]n!~root@nrba3-2.onlink.net PRIVMSG #esoteric :s looks like a flipped z < 1431870254 293778 :or[ei]n!~root@nrba3-2.onlink.net PRIVMSG #esoteric :so yeah, mostly angular and scary < 1431870293 316410 :or[ei]n!~root@nrba3-2.onlink.net PRIVMSG #esoteric :l looks like a line when I don't care, like a long z when I try to distinguish it < 1431870534 448499 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Wow, I feel really good about my handwriting now < 1431870570 206660 :or[ei]n!~root@nrba3-2.onlink.net PRIVMSG #esoteric :you people with good coordination... you probably can touch type too < 1431870626 620961 :or[ei]n!~root@nrba3-2.onlink.net PRIVMSG #esoteric :I can wirte beatiful cursive but only at like, 20 words a minute < 1431870724 763167 :or[ei]n!~root@nrba3-2.onlink.net PRIVMSG #esoteric :off topic, I am so happy to be back on a latop with a nub mouse < 1431870907 259688 :boily!~alexandre@modemcable184.4-177-173.mc.videotron.ca QUIT :Quit: AVUNCULAR CHICKEN < 1431870929 462411 :or[ei]n!~root@nrba3-2.onlink.net PRIVMSG #esoteric :"Of or pertaining to uncles" < 1431871222 367906 :Weloxux!~hato@546A4E77.cm-12-3b.dynamic.ziggo.nl JOIN :#esoteric < 1431871359 460359 :Weloxux!~hato@546A4E77.cm-12-3b.dynamic.ziggo.nl QUIT :Client Quit < 1431871423 299127 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 276 seconds < 1431871429 166041 :sebbu!~sebbu@ADijon-152-1-15-233.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1431871429 167061 :sebbu!~sebbu@ADijon-152-1-15-233.w83-194.abo.wanadoo.fr QUIT :Changing host < 1431871429 167098 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1431871847 30790 :solid_whiskey!~teakey@114.111.166.41 JOIN :#esoteric < 1431872072 696071 :hilquias!~user@unaffiliated/hilquias JOIN :#esoteric < 1431872541 526779 :GeekDude!~GeekDude@unaffiliated/g33kdude QUIT :Ping timeout: 256 seconds < 1431872675 936003 :solid_whiskey!~teakey@114.111.166.41 QUIT :Ping timeout: 258 seconds < 1431873480 215552 :solid_whiskey!~teakey@114.111.166.41 JOIN :#esoteric < 1431873503 68998 :solid_whiskey!~teakey@114.111.166.41 QUIT :Max SendQ exceeded < 1431873639 757589 :or[ei]n!~root@nrba3-2.onlink.net QUIT :Ping timeout: 245 seconds < 1431873751 173336 :or[ei]n!~root@nrba3-2.onlink.net JOIN :#esoteric < 1431874365 887318 :solid_whiskey!~teakey@23.27.206.118 JOIN :#esoteric < 1431876178 425808 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1431876854 193159 :AnotherTest!~turingcom@d51a45e8c.access.telenet.be JOIN :#esoteric < 1431877156 178917 :AnotherTest!~turingcom@d51a45e8c.access.telenet.be QUIT :Ping timeout: 276 seconds < 1431877894 744733 :solid_whiskey!~teakey@23.27.206.118 QUIT :Remote host closed the connection < 1431878956 708918 :solid_whiskey!~teakey@23.27.206.118 JOIN :#esoteric < 1431879048 476499 :hilquias`!~user@186.212.229.159 JOIN :#esoteric < 1431879171 519214 :hilquias!~user@unaffiliated/hilquias QUIT :Ping timeout: 256 seconds < 1431879262 761375 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :ACTION hmm < 1431879278 834321 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :It's quarter past 5 in the evening, I should get dressed and have breakfast < 1431879315 555673 :or[ei]n!~root@nrba3-2.onlink.net PRIVMSG #esoteric :Probably a good idea < 1431879367 537990 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :past... oh, you're using British timezone, +01:00 < 1431879492 735468 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I am in Britain < 1431879499 331948 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :York, to be precise < 1431879529 357366 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :yes < 1431879539 421794 :or[ei]n!~root@nrba3-2.onlink.net PRIVMSG #esoteric :Do you march up the hill and then down again? < 1431879607 802193 :password2_!~password@197.77.15.59 QUIT :Ping timeout: 240 seconds < 1431879662 449446 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :or[ei]n, there are very few hills here < 1431879667 429738 :or[ei]n!~root@nrba3-2.onlink.net PRIVMSG #esoteric :aww < 1431879677 924476 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :However, last year I routinely walked up and down one of them < 1431879710 701195 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :That being Siward's Howe < 1431879726 529963 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :are they green < 1431879742 588760 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :shachaf, in places < 1431879746 797418 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Not particularly, though < 1431879755 993911 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :The one Clifford's Tower sits atop is < 1431879793 444923 :bb010g!uid21050@gateway/web/irccloud.com/x-lfbyiaescwsbmbik JOIN :#esoteric < 1431879971 46169 :or[ei]n!~root@nrba3-2.onlink.net PRIVMSG #esoteric :I wonder who originally decided that \ was the escape character < 1431880166 671015 :or[ei]n!~root@nrba3-2.onlink.net PRIVMSG #esoteric :If it was the same person who decided to use / to delimit regexes, I want to slap that person < 1431880589 657946 :solid_whiskey!~teakey@23.27.206.118 QUIT :Ping timeout: 245 seconds < 1431881001 198603 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :I don't know but some program also they can use different escapes/delimiters too < 1431881296 331271 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :of course. sed and ed (for both matching and replacment), ex (for substitution), bash (for history expansion substitution), perl (for matching and substitution) can all use different delimiters < 1431881303 208234 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :different escape is rarer < 1431881316 965848 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric : If it was the same person who decided to use / to delimit regexes, I want to slap that person <-- depending on context and program other values may be allowed < 1431881319 668478 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :like for s in sed < 1431881325 869627 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I think the slash syntax probably originates from ed < 1431881333 395011 :boily!~alexandre@modemcable184.4-177-173.mc.videotron.ca JOIN :#esoteric < 1431881347 56750 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :s#a#b# works too, in fact any one character following the s will be used for delimiter < 1431881352 768470 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I don't quite know where backslash for escapes comes from, maybe from the original shell < 1431881393 365445 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :sed has basically taken most of that syntax from ed < 1431881414 128853 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Right < 1431881481 160696 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :is there an ex syntax for searching with any delimiter though, not just a slash or question mark? < 1431881584 871221 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Hm no idea < 1431882002 578291 :password2_!~password@197.77.15.59 JOIN :#esoteric < 1431882673 837491 :hilquias`!~user@186.212.229.159 QUIT :Remote host closed the connection < 1431882678 292883 :Froo!~Frooxius@199-241-202-205.PUBLIC.monkeybrains.net JOIN :#esoteric < 1431882744 197032 :KnightArm0!~irc@200.109.209.88 JOIN :#esoteric < 1431882791 292196 :Frooxius!~Frooxius@199-241-202-205.PUBLIC.monkeybrains.net JOIN :#esoteric < 1431882864 804297 :Froox!~Frooxius@199-241-202-205.PUBLIC.monkeybrains.net QUIT :Ping timeout: 252 seconds < 1431882902 534185 :Froox!~Frooxius@199-241-202-205.PUBLIC.monkeybrains.net JOIN :#esoteric < 1431882978 178757 :AnotherTest!~turingcom@d51A45E8C.access.telenet.be JOIN :#esoteric < 1431882980 891714 :Froo!~Frooxius@199-241-202-205.PUBLIC.monkeybrains.net QUIT :Ping timeout: 272 seconds < 1431883081 256704 :Frooxius!~Frooxius@199-241-202-205.PUBLIC.monkeybrains.net QUIT :Ping timeout: 256 seconds < 1431883570 334146 :Decim!~hhs@c-66-235-53-2.sea.wa.customer.broadstripe.net JOIN :#esoteric < 1431884329 615041 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :I have x=atan(z)/(0.5*TAU)+0.5; sam[i]=y=x*sam[i]+(1.0-x)*y; What is a way to adjust this kind of filter parameter for a change in sample rate? I have a parameter "scale" which is the reciprocal of the sample rate although it is not in Hz and is rather 1.0 for the base amount (whatever the base amount happens to be). < 1431884742 797640 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :is this supposed to cause a phase shift, for some kind of stereo effect? < 1431884794 425940 :or[ei]n!~root@nrba3-2.onlink.net PRIVMSG #esoteric :the atan part would be a soft-limit < 1431884820 848250 :or[ei]n!~root@nrba3-2.onlink.net PRIVMSG #esoteric :so that high amplitudes aren't clipped too badly < 1431884872 318632 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :hmm, not quite, because there's some feedback through the y variable. meh. < 1431884923 627378 :or[ei]n!~root@nrba3-2.onlink.net PRIVMSG #esoteric :hmmm < 1431884941 675257 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(I'm commenting on my own comment, not yours, oren) < 1431884947 471187 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :It seems a kind of lowpass filter to me. I wanted to at least approximate the change in cutoff from a change in sample rate so with a higher sample rate it is at least partially affected. < 1431884967 180292 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i prefer that you use the nick "orin" because "oren" is already taken hth < 1431884990 997712 :KnightArm0!~irc@200.109.209.88 QUIT :Remote host closed the connection < 1431885017 818939 :or[ei]n!~root@nrba3-2.onlink.net NICK :ORin < 1431885080 208669 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :so orin is not oren, even though oren sometimes used the nick orin? I'm confused. < 1431885121 847810 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :NS INFO shows two different accounts < 1431885122 441272 :ORin!~root@nrba3-2.onlink.net PRIVMSG #esoteric :As far as I know I'm the only or[ie]n who has ever been on this channel < 1431885174 74058 :ORin!~root@nrba3-2.onlink.net PRIVMSG #esoteric :(i'm the oren who wrote scrip7 ith) < 1431885213 201995 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :ORin: so is any of the accounts that nickserv knows about (it has both oren and orin) yours? < 1431885215 785645 :ORin!~root@nrba3-2.onlink.net PRIVMSG #esoteric :also people keep referring to accounts but I have no clue < 1431885242 975085 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(I think that's a no) < 1431885247 849919 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :int-e: my father's name is oren hth < 1431885275 792981 :ORin!~root@nrba3-2.onlink.net PRIVMSG #esoteric :I just do irssi --nick oren -c irc.freenode.net < 1431885291 140011 :ORin!~root@nrba3-2.onlink.net PRIVMSG #esoteric :or orin depending on the phase of the moon < 1431885321 419380 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Why it depend on the phase of the moon? < 1431885323 742819 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :. o O ( orientation ) < 1431885329 405048 :ORin!~root@nrba3-2.onlink.net PRIVMSG #esoteric :Before, my username on the computer was oren so I didn't need to --nick < 1431885374 98314 :ORin!~root@nrba3-2.onlink.net PRIVMSG #esoteric :zzo38: it doesn't actually, it's random < 1431885399 145650 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :/set nick orin ... /save ... edit .irssi/config to your heart's delight? < 1431885436 119062 :ORin!~root@nrba3-2.onlink.net QUIT :Quit: testing < 1431885503 723371 :Herbalist!~oz@unaffiliated/herbalist QUIT :Quit: WeeChat 1.1.1 < 1431885510 112344 :ORin!~root@nrba3-2.onlink.net JOIN :#esoteric < 1431885519 75646 :ORin!~root@nrba3-2.onlink.net PRIVMSG #esoteric :that works < 1431885558 807759 :Melvar!~melvar@dslb-092-072-136-176.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :Btw today my interpolation grew showing of non-strings. < 1431885559 50864 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(there's also /save layout ... oh and I believe all this is actually documented somewhere) < 1431885588 655993 :ORin!~root@nrba3-2.onlink.net PRIVMSG #esoteric :Melvar: um. What? < 1431885617 79273 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :ah wait, it's /layout save. hah. < 1431885619 166772 :Melvar!~melvar@dslb-092-072-136-176.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :( let x = 2 in let y : Integer = x * x in interpolate "${x} squared is ${y}" < 1431885619 460488 :idris-bot!~ircslave@dslb-092-072-136-176.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :04"2 squared is 4" : 12String < 1431885625 268926 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(I haven't used that in a while) < 1431885652 627326 :Melvar!~melvar@dslb-092-072-136-176.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :( \x : Integer => let y = x * x in interpolate "${x} squared is ${y}" < 1431885652 764445 :idris-bot!~ircslave@dslb-092-072-136-176.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :\13x => 09prim__concat (09prim__toStrBigInt 13x) (09prim__concat 04" squared is " (09prim__concat (09prim__toStrBigInt (09prim__mulBigInt 13x 13x)) 04"")) : 12Integer -> 12String < 1431885668 482617 :ORin!~root@nrba3-2.onlink.net PRIVMSG #esoteric :i'm no stickler for grammer, but at a fundamental level that sentence was < 1431885722 243002 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :ACTION winces < 1431885734 860889 :Melvar!~melvar@dslb-092-072-136-176.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :? < 1431885740 404371 :ORin!~root@nrba3-2.onlink.net PRIVMSG #esoteric :ungrammatical < 1431885777 240661 :Melvar!~melvar@dslb-092-072-136-176.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :Well, I guess I missed a comma. < 1431885792 770692 :ORin!~root@nrba3-2.onlink.net PRIVMSG #esoteric :Where?E?EE??e? < 1431885803 551090 :Melvar!~melvar@dslb-092-072-136-176.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :After “Btw”. < 1431885846 872293 :ORin!~root@nrba3-2.onlink.net PRIVMSG #esoteric :uh, no i mean what does "my interpolation grew showing" mean how do i even parse that < 1431885863 509546 :Melvar!~melvar@dslb-092-072-136-176.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :“showing” used as a noun. < 1431885867 742240 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :ORin: nothing. it's (my interpolation) grew (showing of non-strings) < 1431885897 220203 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :ACTION doesn't particularly like "grew" there, but it appears to be grammatically correct. < 1431885932 280191 :ORin!~root@nrba3-2.onlink.net PRIVMSG #esoteric :Oh. so he added support for showing non-strings to an implementation of string interpolation < 1431885935 216102 :ORin!~root@nrba3-2.onlink.net PRIVMSG #esoteric :got it < 1431885936 462415 :Melvar!~melvar@dslb-092-072-136-176.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :Well, to be quite correct it’s that *my implementation* of interpolation grew it. < 1431885990 184939 :ORin!~root@nrba3-2.onlink.net PRIVMSG #esoteric :Before I suppose you had to convert things to strigs before interpolationg them? < 1431886000 10455 :Melvar!~melvar@dslb-092-072-136-176.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :Yes. < 1431886050 264241 :ORin!~root@nrba3-2.onlink.net PRIVMSG #esoteric :I always thought perl's string interpolation was too far < 1431886101 617715 :Melvar!~melvar@dslb-092-072-136-176.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :And it still only works with variable names because supporting even very simple expressions turns out to be rather nontrivial. < 1431886113 119003 :ORin!~root@nrba3-2.onlink.net PRIVMSG #esoteric :there is no good reason to allow arbitrary code inside a string, and it screws up the vast majority of syntax highlighters < 1431886119 32613 :Melvar!~melvar@dslb-092-072-136-176.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :Oh, and “showing” was also meaning < 1431886121 148906 :Melvar!~melvar@dslb-092-072-136-176.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :( :t show < 1431886121 201519 :idris-bot!~ircslave@dslb-092-072-136-176.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :09Prelude.show : 12Show 13a => 13a -> 12String < 1431886128 154768 :ORin!~root@nrba3-2.onlink.net PRIVMSG #esoteric :Ah < 1431886163 56101 :Melvar!~melvar@dslb-092-072-136-176.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :ORin: The fun of this one is that this is a library rather than implemented inside the compiler. < 1431886207 370544 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :In some programming languages (such as Forth) the only way to properly do syntax highlighting is to execute it (although you can sandbox it if necessary). < 1431886223 425933 :ORin!~root@nrba3-2.onlink.net PRIVMSG #esoteric :So when it gets to "${x}" it has to somehow search the environment for a variable called x? < 1431886238 793670 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :zzo38: yes, perl is one of those languages too. < 1431886246 832052 :Melvar!~melvar@dslb-092-072-136-176.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :ORin: Yes, which it does via reflection. < 1431886257 819255 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ORin: what? no < 1431886269 759712 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :interpolation in strings has nothing to do with being hard to highlight < 1431886283 101261 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ruby is a case in point, it has string interpolation, but it's relatively easy to parse < 1431886291 946463 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :just imagine the interpolation as if the string literal is broken there < 1431886305 422672 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :I know that a Forth syntax highlighter that works by executing the code does exist; I don't know if there is such thing of Perl. < 1431886320 29795 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :so when I write "foo#{bar}qux" it's really similar to ("foo" + String(bar) + "qux") < 1431886320 69490 :ORin!~root@nrba3-2.onlink.net PRIVMSG #esoteric :Only perl can parse Perl < 1431886331 934914 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :in ruby, you have to parse the bar part like a normal expression that can contain any code < 1431886334 941774 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :even double quotes < 1431886337 674418 :ZombieAlive!~N3cr0naV@unaffiliated/zombiealive JOIN :#esoteric < 1431886340 848962 :Melvar!~melvar@dslb-092-072-136-176.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :The reflection is compile-time-only though. < 1431886342 578069 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :(this differs from perl, which finds the closing double quote first) < 1431886348 935738 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :there's no reflection < 1431886356 191779 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :it works the same as menti9oning variables in ordinary code < 1431886359 785902 :Melvar!~melvar@dslb-092-072-136-176.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :b_jonas: I’m talking about mine. < 1431886386 200067 :Melvar!~melvar@dslb-092-072-136-176.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :Sorry, I forgot to press enter first and then failed to consider context when I did remember. < 1431886399 100754 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :(ruby's interpolation syntax makes more sense by the way, but it's too late to change perl now) < 1431886405 623626 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Melvar: I see < 1431886454 59434 :Melvar!~melvar@dslb-092-072-136-176.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :( \bar : String => interpolate "foo${bar}qux" < 1431886454 180736 :idris-bot!~ircslave@dslb-092-072-136-176.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :\13bar => 09prim__concat 04"foo" (09prim__concat 13bar 04"qux") : 12String -> 12String < 1431886561 172038 :Melvar!~melvar@dslb-092-072-136-176.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :If it didn’t reduce it as far, that would be exactly “\bar => "foo" ++ bar ++ "qux"” < 1431886575 171836 :Melvar!~melvar@dslb-092-072-136-176.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :( \bar : Integer => interpolate "foo${bar}qux" < 1431886575 359335 :idris-bot!~ircslave@dslb-092-072-136-176.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :\13bar => 09prim__concat 04"foo" (09prim__concat (09prim__toStrBigInt 13bar) 04"qux") : 12Integer -> 12String < 1431886589 771567 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Melvar: is this some crazy template haskell thing? < 1431886624 598477 :ORin!~root@nrba3-2.onlink.net PRIVMSG #esoteric :it's some crazy compile-time idris thing < 1431886628 782563 :Melvar!~melvar@dslb-092-072-136-176.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :b_jonas: It’s not completely unlike it, but not all that like it either. < 1431886719 828515 :password2_!~password@197.77.15.59 QUIT :Remote host closed the connection < 1431886761 852636 :Melvar!~melvar@dslb-092-072-136-176.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :Basically, I don’t get to output an parser-level AST thing, I have to fill in a fully-specified term of the core language using hooks into the elaborator. < 1431886822 39824 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :hooks in the ... what? < 1431886867 579086 :Melvar!~melvar@dslb-092-072-136-176.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :The elaborator is the thing that fills in all the intermediate types and implicit arguments and generally turns Idris into TT. < 1431886923 888709 :Melvar!~melvar@dslb-092-072-136-176.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :( `("foo" ++ "bar") < 1431886923 996202 :idris-bot!~ircslave@dslb-092-072-136-176.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :04App (04App (04P 04Ref < 1431886924 48878 :idris-bot!~ircslave@dslb-092-072-136-176.092.072.pools.vodafone-ip.de PRIVMSG #esoteric : (04NS (04UN 04"++") 04[04"Strings"04, 04"Prelude"04]) < 1431886924 49995 :idris-bot!~ircslave@dslb-092-072-136-176.092.072.pools.vodafone-ip.de PRIVMSG #esoteric : (04Bind (04UN 04"__pi_arg") (04Pi (04TConst 04StrType) (04TType (04UVar 04-1))) (04Bind (04UN 04"__pi_arg1") (04Pi (04TConst 04StrType) (04TType (04UVar 04-1))) (04TConst 04StrType)))) < 1431886924 50048 :idris-bot!~ircslave@dslb-092-072-136-176.092.072.pools.vodafone-ip.de PRIVMSG #esoteric : (04TConst (04Str 04"foo"))) < 1431886924 50083 :idris-bot!~ircslave@dslb-092-072-136-176.092.072.pools.vodafone-ip.de PRIVMSG #esoteric : (04TConst (04Str 04"bar")) : 12TT < 1431886927 500660 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :a combination of desugarer + typechecker? < 1431886947 222708 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(+inference) < 1431886953 691047 :Melvar!~melvar@dslb-092-072-136-176.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :Well, there’s another typechecker underneath that’s simple for reliability. < 1431886987 431778 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oh, it's a theorem prover. right. < 1431887025 957063 :Melvar!~melvar@dslb-092-072-136-176.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :The idea is that the elaborator answers the actual typechecker’s call to “please elaborate” on the rather threadbare thing the user input. < 1431887054 395046 :Melvar!~melvar@dslb-092-072-136-176.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :When I say < 1431887072 882087 :Melvar!~melvar@dslb-092-072-136-176.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :( show "foo" < 1431887072 934679 :idris-bot!~ircslave@dslb-092-072-136-176.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :04"\"foo\"" : 12String < 1431887091 474094 :Melvar!~melvar@dslb-092-072-136-176.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :There’s a whole two arguments to show I haven’t given. < 1431887097 287428 :Decim!~hhs@c-66-235-53-2.sea.wa.customer.broadstripe.net QUIT :Remote host closed the connection < 1431887134 607781 :Melvar!~melvar@dslb-092-072-136-176.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :The first one can be found by unification using the argument I did gave, then the second has to be found through instance search using the first one. < 1431887200 561228 :Melvar!~melvar@dslb-092-072-136-176.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :Also I never said that I wanted the show from Prelude (though in this case of course there isn’t another in scope so resolving that is relatively easy). < 1431887270 100143 :Melvar!~melvar@dslb-092-072-136-176.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :( `("foo" ++ "bar") < 1431887270 137276 :idris-bot!~ircslave@dslb-092-072-136-176.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :04App (04App (04P 04Ref < 1431887270 175189 :idris-bot!~ircslave@dslb-092-072-136-176.092.072.pools.vodafone-ip.de PRIVMSG #esoteric : (04NS (04UN 04"++") 04[04"Strings"04, 04"Prelude"04]) < 1431887270 176258 :idris-bot!~ircslave@dslb-092-072-136-176.092.072.pools.vodafone-ip.de PRIVMSG #esoteric : (04Bind (04UN 04"__pi_arg") (04Pi (04TConst 04StrType) (04TType (04UVar 04-1))) (04Bind (04UN 04"__pi_arg1") (04Pi (04TConst 04StrType) (04TType (04UVar 04-1))) (04TConst 04StrType)))) < 1431887270 176311 :idris-bot!~ircslave@dslb-092-072-136-176.092.072.pools.vodafone-ip.de PRIVMSG #esoteric : (04TConst (04Str 04"foo"))) < 1431887270 176346 :idris-bot!~ircslave@dslb-092-072-136-176.092.072.pools.vodafone-ip.de PRIVMSG #esoteric : (04TConst (04Str 04"bar")) : 12TT < 1431887306 684354 :Melvar!~melvar@dslb-092-072-136-176.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :↑ And this thing is the core-language representation of that little term. < 1431887381 848553 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :meh how overloaded is (++) there? < 1431887394 972993 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :( show show < 1431887394 974838 :idris-bot!~ircslave@dslb-092-072-136-176.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :Can't resolve type class 12Show a < 1431887402 713165 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :( show (++) < 1431887402 714185 :idris-bot!~ircslave@dslb-092-072-136-176.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :When elaborating an application of function 09Prelude.show: < 1431887402 772362 :idris-bot!~ircslave@dslb-092-072-136-176.092.072.pools.vodafone-ip.de PRIVMSG #esoteric : Can't disambiguate name: 09Data.HVect.++, 09Prelude.List.++, 09Prelude.Strings.++, 09Data.VectType.Vect.++ < 1431887409 313582 :Melvar!~melvar@dslb-092-072-136-176.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :( :t (++) < 1431887409 314526 :idris-bot!~ircslave@dslb-092-072-136-176.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :09Data.HVect.(++) : 12HVect 13ts -> 12HVect 13us -> 12HVect (13ts 09++ 13us) < 1431887409 449187 :idris-bot!~ircslave@dslb-092-072-136-176.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :09Prelude.List.(++) : 12List 13a -> 12List 13a -> 12List 13a < 1431887409 450159 :idris-bot!~ircslave@dslb-092-072-136-176.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :09Prelude.Strings.(++) : 12String -> 12String -> 12String < 1431887409 450260 :idris-bot!~ircslave@dslb-092-072-136-176.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :09Data.VectType.Vect.(++) : 12Vect 13m 13a -> 12Vect 13n 13a -> 12Vect (13m 09+ 13n) 13a < 1431887444 599765 :Melvar!~melvar@dslb-092-072-136-176.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :The biggest part there, the third line, is just the type of Strings.(++). < 1431887484 823192 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :yeah, I'm trying to parse that. < 1431887564 632986 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :which means I have to remember how -> is expressed as a dependent product. < 1431887578 696836 :Melvar!~melvar@dslb-092-072-136-176.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :It may help if I phrase it as “(__pi_arg : String : Type (-1)) -> (__pi_arg1 : String : Type (-1)) -> String” < 1431887618 805120 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oh, (TType (UVar -1)) is the box? < 1431887622 726346 :Melvar!~melvar@dslb-092-072-136-176.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :Which isn’t actually valid syntax with the extra explicit types of types. < 1431887628 654945 :Melvar!~melvar@dslb-092-072-136-176.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :Box? < 1431887635 157071 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :\square < 1431887645 714073 :Melvar!~melvar@dslb-092-072-136-176.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :(TType _) is the representation of Type, the type of types. < 1431887655 946293 :Melvar!~melvar@dslb-092-072-136-176.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :( `(Type) < 1431887656 35183 :idris-bot!~ircslave@dslb-092-072-136-176.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :04TType (04UVar 0420) : 12TT < 1431887678 856753 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I guess I'm wondering whether -1 has a particular meaning there. < 1431887685 470968 :Melvar!~melvar@dslb-092-072-136-176.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :Which contains an id for a universe level so that you don’t get cyclic universe constraints. < 1431887758 743478 :Melvar!~melvar@dslb-092-072-136-176.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :I’m not sure if the id (-1) is special, but it probably is. < 1431887803 167284 :Melvar!~melvar@dslb-092-072-136-176.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :It might be the level that primitive types are resolved to or something. < 1431887847 756686 :Weloxux!~hato@546A4E77.cm-12-3b.dynamic.ziggo.nl JOIN :#esoteric < 1431887861 329299 :Melvar!~melvar@dslb-092-072-136-176.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :So anyway, < 1431887864 334705 :Melvar!~melvar@dslb-092-072-136-176.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :( :doc Elab < 1431887864 454734 :idris-bot!~ircslave@dslb-092-072-136-176.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :Data type 12Elab : 12Type -> 12Type < 1431887864 455844 :idris-bot!~ircslave@dslb-092-072-136-176.092.072.pools.vodafone-ip.de PRIVMSG #esoteric : A reflected elaboration script. < 1431887864 455884 :idris-bot!~ircslave@dslb-092-072-136-176.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :Constructors: < 1431887864 455905 :idris-bot!~ircslave@dslb-092-072-136-176.092.072.pools.vodafone-ip.de PRIVMSG #esoteric : 04prim__PureElab : 13a -> 12Elab 13a < 1431887864 455921 :idris-bot!~ircslave@dslb-092-072-136-176.092.072.pools.vodafone-ip.de PRIVMSG #esoteric : 04prim__BindElab : 12Elab 13a -> (13a -> 12Elab 13b) -> 12Elab 13b14↵… < 1431887865 962175 :Weloxux!~hato@546A4E77.cm-12-3b.dynamic.ziggo.nl QUIT :Remote host closed the connection < 1431887890 927974 :Weloxux!~hato@546A4E77.cm-12-3b.dynamic.ziggo.nl JOIN :#esoteric < 1431887916 404685 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :( :t "abc" < 1431887916 457002 :idris-bot!~ircslave@dslb-092-072-136-176.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :04"abc" : 12String < 1431887930 494956 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :( :t interpolate < 1431887930 495981 :idris-bot!~ircslave@dslb-092-072-136-176.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :09Melvar.Interpolate.interpolate : 12String -> {tacimp x : 12String} -> 12String < 1431887972 41907 :Melvar!~melvar@dslb-092-072-136-176.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :Elab is the monad of elaboration scripts, and that tacimp in the source actually points at such an elaboration script to fill in the value of x. < 1431887978 474074 :Melvar!~melvar@dslb-092-072-136-176.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :( :t elabInterpolate < 1431887978 541836 :idris-bot!~ircslave@dslb-092-072-136-176.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :09Melvar.Interpolate.elabInterpolate : 12String -> 12Elab 12() < 1431888100 438667 :evalj!~jeval@5403C31A.catv.pool.telekom.hu JOIN :#esoteric < 1431889125 646962 :Melvar!~melvar@dslb-092-072-136-176.092.072.pools.vodafone-ip.de QUIT :Quit: rebooting < 1431889129 668938 :idris-bot!~ircslave@dslb-092-072-136-176.092.072.pools.vodafone-ip.de QUIT :Quit: Terminated < 1431889426 706347 :Melvar!~melvar@dslb-092-072-136-176.092.072.pools.vodafone-ip.de JOIN :#esoteric < 1431890035 309199 :variable!~variable@freebsd/developer/variable NICK :trout < 1431890051 56991 :AnotherTest!~turingcom@d51A45E8C.access.telenet.be QUIT :Ping timeout: 256 seconds < 1431890199 698415 :idris-bot!~ircslave@dslb-092-072-136-176.092.072.pools.vodafone-ip.de JOIN :#esoteric < 1431891053 68723 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Befunge14]]4 M10 02http://esolangs.org/w/index.php?diff=42953&oldid=42810 5* 03Madflame991 5* (-1) 10Updated a broken link < 1431891195 611690 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Aaaah I am foiled once more by takeaways stopping delivery at 8:30 < 1431891221 563233 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric ::( < 1431891227 684490 :hilquias!~user@unaffiliated/hilquias JOIN :#esoteric < 1431891240 49588 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :fiendish < 1431891301 207828 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :also apparently it's called take-away in the uk < 1431891397 349089 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :What is it called in other places < 1431891436 48886 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :https://en.wikipedia.org/wiki/Takeaway hth < 1431891450 877898 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Whaaaaat < 1431891627 930735 :trout!~variable@freebsd/developer/variable QUIT :Ping timeout: 244 seconds < 1431891640 492310 :boily!~alexandre@modemcable184.4-177-173.mc.videotron.ca QUIT :Quit: SUNNY CHICKEN < 1431892019 494693 :ORin!~root@nrba3-2.onlink.net PRIVMSG #esoteric :It is called carry out < 1431892041 357513 :ORin!~root@nrba3-2.onlink.net PRIVMSG #esoteric :as in "Eat in, or carry out"? < 1431892074 957258 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I can't tell whether you're asking a question or trying to quote a question. < 1431892078 427411 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"China produces about 57 billion pairs of single-use chopsticks yearly" < 1431892084 966804 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :that's a lot of chopsticks < 1431892129 323363 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :yeah, it's 114 billion chopsticks per year < 1431892160 186192 :ORin!~root@nrba3-2.onlink.net PRIVMSG #esoteric :Luckily wood is a renewable resource < 1431892195 459970 :ORin!~root@nrba3-2.onlink.net PRIVMSG #esoteric :Not as renewable as stone though < 1431892207 986142 :PinealGlandOptic!~PinealGla@82.144.205.57 JOIN :#esoteric < 1431892272 677903 :TodPunk!Tod@50-198-177-186-static.hfc.comcastbusiness.net QUIT :Ping timeout: 246 seconds < 1431893491 844909 :Weloxux!~hato@546A4E77.cm-12-3b.dynamic.ziggo.nl QUIT :Remote host closed the connection < 1431893503 39601 :mihow!~mihow@ppp-2-84-86-112.home.otenet.gr JOIN :#esoteric < 1431893995 231346 :TodPunk!Tod@50-198-177-186-static.hfc.comcastbusiness.net JOIN :#esoteric < 1431894874 417044 :Froox!~Frooxius@199-241-202-205.PUBLIC.monkeybrains.net QUIT :Quit: *bubbles away* < 1431895051 583026 :mihow!~mihow@ppp-2-84-86-112.home.otenet.gr QUIT :Quit: mihow < 1431895219 114946 :evalj!~jeval@5403C31A.catv.pool.telekom.hu QUIT :Remote host closed the connection < 1431896264 25709 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1431896442 355278 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :okay, so the bogus hpa RSA key is an md5 collision, beautiful. < 1431896497 192914 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1431896510 852619 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :or not? mm. < 1431897105 413972 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :You know what I like? Fully general examples. < 1431897133 264007 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :For example, one example of the idea of a group is the idea of a permutation group. < 1431897160 79548 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :But this example is fully general, because every group can be seen as a permutation group. < 1431897399 860318 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1431897864 133528 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 245 seconds < 1431898142 801876 :PinealGlandOptic!~PinealGla@82.144.205.57 QUIT :Ping timeout: 256 seconds < 1431898436 859826 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :hmm, oh well, I don't know why, but the bad and the good keys differ in a single block of 32 bytes length, not obviously aligned in any way. < 1431898474 933874 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Some program such as SoX and ImageMagick and so on can operate on sounds, pictures, videos, etc but they are really different number of dimensions and different number of channels (such as 3 dimensions for an animated picture), and still there is resolution parameter (such as DPI for pictures and sample rate for audio). Some operators can also be generalized to different number of dimensions/channels. < 1431898680 597748 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :For operators that work only one dimension you can specify which dimension to act on if there is more than one. Simple echo effects can be generalized more than one dimension since the delay for echo can be a vector of multiple dimensions; noise can also be any number of dimension, and also gradients, etc. Therefore such program can be made to operate such thing < 1431898758 43042 :^v!~^v@c-68-36-225-16.hsd1.mi.comcast.net JOIN :#esoteric < 1431899304 728553 :j-bot!~j-bot@li339-21.members.linode.com JOIN :#esoteric < 1431900215 690967 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Oh well, https://news.ycombinator.com/item?id=9561179 seems to be the most reasonable take on it so far. I still wonder whether there was any malicious intent behind the bogus subkey. < 1431900536 780854 :AnotherTest!~turingcom@d51A45E8C.access.telenet.be JOIN :#esoteric < 1431900767 809970 :AnotherTest!~turingcom@d51A45E8C.access.telenet.be QUIT :Remote host closed the connection < 1431900790 801528 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : Wow, I feel really good about my handwriting now <-- word :P < 1431901380 103637 :Tritonio!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c QUIT :Remote host closed the connection < 1431902443 205705 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Regarding takeaway: < 1431902458 87904 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Where I live, the ubiquitous question asked at fast food places is "for here or to go?" < 1431902466 776535 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :The responses are, of course, "for here" and "to go". < 1431902517 464976 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :in norway there's actually a tax difference < 1431902520 484221 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :But the food itself would be referred to as "carryout", if you have to make the distinction. < 1431902546 142872 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: which one has less taxes? take away food? < 1431902546 920481 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :due to some ancient political shuffling < 1431902554 391104 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: yes < 1431902599 661973 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :I feel like there's a difference between "carryout" and "to go", but I can't quite put my finger on it. < 1431902612 944153 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :there's a general vat exemption for food, which doesn't apply to restaurants, and they wisely decided that if you take the food away from the restaurant you get _half_ the exemption. < 1431902615 117113 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Lucky guess, I can't say that either really makes more sense than the other. < 1431902657 41411 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :that's lawmakers for you... < 1431902668 525098 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :...always finding new complicat... err I mean compromises. < 1431902672 102728 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :If I called a restaurant where people normally order, wait fifteen minutes, and eat there, but I wanted to take the foot out instead, I'd tell them, "I'd like to place a carryout order." < 1431902720 568144 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :I'd then probably refer to the food as "carryout". < 1431902729 679153 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :hmmm, foot. < 1431902766 986011 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :If it were a fast food restaurant, I'd just say "to go" when ordering (and I certainly wouldn't order ahead), and then I'd just refer to the food as "fast food" instead of "carryout". < 1431902801 751986 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Or "food to go", I guess. < 1431902837 375839 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :"We got some food to go at McDonald's." "We got some carryout at Some Casual Restaurant." < 1431903021 965302 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: i may be slightly confused, the exemption was half the vat, and possibly carryout got all of it. < 1431903235 834518 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*take-away, let's not absorb new terminology nilly-willy here < 1431903308 281402 :boily!~alexandre@modemcable184.4-177-173.mc.videotron.ca JOIN :#esoteric < 1431903447 806861 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :apparently they've shaved some off the exemption, now it's 15% vat for food compared to 25% in general. < 1431903996 676308 :ORin!~root@nrba3-2.onlink.net QUIT :Ping timeout: 244 seconds < 1431904415 139919 :ZombieAlive!~N3cr0naV@unaffiliated/zombiealive QUIT :Ping timeout: 258 seconds < 1431904419 781598 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :shellochaf < 1431904477 205793 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hi < 1431904567 526097 :boily!~alexandre@modemcable184.4-177-173.mc.videotron.ca PRIVMSG #esoteric :chellopumpkin. shellochaf. < 1431904584 765818 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :bohelloily < 1431904855 550402 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ACTION learns that the US doesn't generally have VAT < 1431904885 726229 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :yep < 1431904933 157082 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :coppro: Were you responding to something I said before or just saying hi? < 1431904943 419112 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :If I was going to say something before I've forgotten what it is. < 1431904945 854970 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Also I meant copumpkin. < 1431904965 941941 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :just saying hi! < 1431905025 290877 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :I was agreeing with oerjan < 1431905450 252970 :ORin!~root@nrba3-2.onlink.net JOIN :#esoteric < 1431905594 808147 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :OpenMPT can load the old 15-samples MODs, but cannot save them. AmigaMML now has the capability to save such files if you tell it to do so. It is the only one or are there others (not counting Ultimate SoundTracker)? < 1431905663 600678 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07User:Esowiki201529A/芝麻油14]]4 N10 02http://esolangs.org/w/index.php?oldid=42954 5* 03Esowiki201529A 5* (+205) 10Created page with "香油,又称芝麻油、麻油,是从芝麻中提炼出来的,因具有特别香味,故称为香油。 按榨取方法一般分为机榨香油和小磨香油,小磨..." < 1431905889 412849 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :It looks like OpenMPT loads "FLT8"s too but not "EXO8"s; I read somewhere they have the same format but it doesn't seem to do that in OpenMPT at least. < 1431905991 873595 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Special:Log/delete14]]4 delete10 02 5* 03Oerjan 5* 10deleted "[[02User:Esowiki201529A/芝麻油10]]": This is a wiki, not a clipboard < 1431906233 495360 :boily!~alexandre@modemcable184.4-177-173.mc.videotron.ca PRIVMSG #esoteric :I wonder what kind of spam it was of. < 1431906308 118157 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :sesame oil, not spam hth < 1431906326 693061 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and it was pretty short, so most is in that edit description. < 1431906354 660827 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it was just ... wtf is e putting it on our wiki < 1431906783 672181 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : But this example is fully general, because every group can be seen as a permutation group. <-- boolean algebra of sets... < 1431906815 560219 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :oerjan: yeah, when someone says "VAT", I think "that European tax thing". < 1431906820 15776 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or distributive lattice of sets, almost the same < 1431906902 497687 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :tswett: according to wikipedia there are a _few_ other places than the US that don't have it, but it's by no means just "european". although the french apparently did it first. < 1431906949 645325 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :so it's really approaching another imperial / metric split at this point.