< 1450137835 929843 :jaboja!~jaboja@erx43.neoplus.adsl.tpnet.pl QUIT :Ping timeout: 240 seconds < 1450138568 858530 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1450138693 36895 :jaboja!~jaboja@erx43.neoplus.adsl.tpnet.pl JOIN :#esoteric < 1450139450 51842 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Remote host closed the connection < 1450139558 916148 :adu!~ajr@50.153.184.228 JOIN :#esoteric < 1450140893 48680 :hppavilion1!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :hadu < 1450141348 453359 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1450141968 854126 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07MATL14]]4 10 02http://esolangs.org/w/index.php?diff=45878&oldid=45875 5* 03Luis Mendo 5* (+3) 10/* Compiler */ < 1450141972 206918 :hppavilion1!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :adu: ARE SURREAL NUMBERS A GAME TO YOU!? < 1450142051 491554 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Remote host closed the connection < 1450142123 307913 :hppavilion1!~Devourero@58-0-174-206.gci.net NICK :hppavilion[1] < 1450142179 396048 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :ACTION smashes his fist on the game board, sending pieces flying. < 1450142182 132449 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Uh, where was I. < 1450142202 326711 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :I've been thinking about a topological version control system. < 1450142264 991161 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :In a version control system such as git, you keep track of a bunch of revisions, all of which are states that your source tree can be in. < 1450142289 661598 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: But yours has revisions in locations? < 1450142302 690449 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :You don't keep track of *how* things changed from one revision to the next; you just store a state, and then the following state, and call it good. < 1450142338 969742 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :With my version control system, you can't just specify a starting state and an ending state; you also have to specify a topological path between them. < 1450142396 83383 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :A point in the path could be a completely specified source tree, or it could be a *partially* specified source tree. < 1450142452 498781 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :So, perhaps "ACD" and "ACE" are possible source trees. "AC(unspecified)" is, obviously, not completely specified. < 1450142490 941016 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Let's just write that as "AC*" for convenience. < 1450142531 829911 :APic!apic@apic.name PRIVMSG #esoteric :Darn < 1450142540 807755 :APic!apic@apic.name PRIVMSG #esoteric :I have a Déjà-Vu < 1450142549 872049 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :"AC?" or "AC." is more correct < 1450142551 635292 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :The rule for the topology is the following. A set is open whenever, for every partially specified source-tree it contains, it also contains all "more completely specified" versions of it. < 1450142556 831432 :APic!apic@apic.name PRIVMSG #esoteric :ACTION finished Munching, then i seriously need to go to Bed < 1450142573 626046 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :lifthrasiir: but "AC" and "ACEFSDALKJ" are valid fillings of it. < 1450142576 206119 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :(hmm, was a bit sleepy and had a bad joke, sorry) < 1450142596 214616 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :No problem. < 1450142714 285469 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :tswett: that quite sounds like Mercurial. < 1450142745 936670 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Now, a "path", in practice, is going to be a sequence of states, where two consecutive states differ by one of them being a more specified version of the other. < 1450142751 385113 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1450142775 65888 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :lifthrasiir: it does? I've used Mercurial, and I don't remember it having anything like partially specified states. < 1450142802 741586 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :ah, that would be a difference (and actually I don't yet get the idea of partially specified tree) < 1450142826 275687 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Let's forget trees; let's say that this version control system only deals with single strings. < 1450142878 916967 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :"ACD" and "ACE" are valid strings. "AC*" isn't a valid string; it's a "partially specifed state", referring to any of various strings. < 1450142879 255903 :^v!~^v@c-68-41-215-101.hsd1.mi.comcast.net JOIN :#esoteric < 1450142915 341773 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :tswett: still "AC" *is* a valid string, right? < 1450142950 500137 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Yeah. < 1450142981 617408 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Now, the fun part? < 1450142985 952384 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :We have individual points or states. < 1450143012 335826 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :We also have paths, which are composed of atomic changes that can be made. These are like edges in a graph. < 1450143017 125369 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :And we can take that further! < 1450143094 962903 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :There are also things corresponding to faces, or 2-cells, and then there are also 3-cells, and... < 1450143102 517066 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Well, let me summarize. < 1450143120 349954 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :A "0-cell" is just a state. AC* or BCE or whatever. < 1450143134 79287 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :A "1-cell", or path, explains "how to get from one state to another". < 1450143150 141469 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Then there are also "2-cells", which explain "how to get from one path to another". < 1450143173 458439 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :You might imagine that, for some reason, a single revision has two different histories behind it. < 1450143237 995000 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :There's an initial revision, and a final revision, and two distinct ways of getting from the initial revision to the final revision. < 1450143328 403158 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :You might want to have some sort of explanation of how the two histories are equivalent. < 1450143449 321310 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Now, I've gotta go to bed, so I can't explain further. < 1450143451 368573 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Night, everyone. < 1450143524 445498 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1450143720 635810 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 256 seconds < 1450145162 902227 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Remote host closed the connection < 1450145646 306402 :gde33|2!kvirc@546A0B75.cm-12-3a.dynamic.ziggo.nl JOIN :#esoteric < 1450145786 191756 :gde33!kvirc@546A0B75.cm-12-3a.dynamic.ziggo.nl QUIT :Ping timeout: 276 seconds < 1450146875 346857 :mihow!~mihow@50-206-98-70-static.hfc.comcastbusiness.net QUIT :Quit: mihow < 1450147090 864294 :andrew_!~andrew@61.141.94.190 JOIN :#esoteric < 1450147768 872608 :adu!~ajr@50.153.184.228 QUIT :Read error: Connection reset by peer < 1450147780 398401 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :adnuuuuuuuuuuuuuuuuu < 1450148405 178667 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: ooh (list), our hero returns just in time to save the day and be obliterated for it < 1450148698 447204 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 272 seconds < 1450148800 889974 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1450149052 848087 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Ping timeout: 250 seconds < 1450150062 107553 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : HTF do you spell that word!? <-- exorcise hth < 1450150253 700273 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : And see what happened <-- obviously dwarfs developed mecha in the 1500s, then conquered the other races hth < 1450150871 715967 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :It's like exercise but the second e is an o < 1450152347 994000 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1450154018 730462 :mauris!~mauris@unaffiliated/nooodl QUIT :Quit: Leaving < 1450154253 992544 :TellsTogo!3ecd5fba@gateway/web/freenode/ip.62.205.95.186 JOIN :#esoteric < 1450154642 917420 :MDude!~fyrc@c-73-187-225-46.hsd1.pa.comcast.net QUIT :Ping timeout: 250 seconds < 1450155519 494639 :jaboja64!~jaboja@erv140.neoplus.adsl.tpnet.pl JOIN :#esoteric < 1450155735 17644 :jaboja!~jaboja@erx43.neoplus.adsl.tpnet.pl QUIT :Ping timeout: 250 seconds < 1450155986 358248 :jaboja64!~jaboja@erv140.neoplus.adsl.tpnet.pl QUIT :Ping timeout: 240 seconds