< 1459728183 0 :tromp!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Ping timeout: 276 seconds < 1459728466 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Taneb: I may have asked this before, but what strategies are used when generating brainfuck code? < 1459728522 0 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :hppavilion[1], you need to keep in mind your data structure is a tape, and the only loop you have is a fairly simple while loop < 1459728533 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Taneb: OK. < 1459728552 0 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :Design your data structure carefully and don't be afraid to change it if it isn't working < 1459728603 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Taneb: For a compiled-to-brainfuck language, would data markup be useful? < 1459728620 0 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :I don't know, that's not something I have any experience with < 1459728620 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Basically, a way to tell it to set certain cells to values before initialization? < 1459728627 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Taneb: Fair enough < 1459728826 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :what about a looped tape? < 1459728843 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: Been there, done that < 1459728847 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: You use a deque < 1459728850 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :> and < are roll < 1459728851 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Not in scope: ‘are’ < 1459728851 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Perhaps you meant one of these: < 1459728851 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : ‘arr’ (imported from Control.Arrow), < 1459728858 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :' pushes a new 0 < 1459728875 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: Seems like it would trivially reduce to BF, but it's actually very different < 1459728878 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :so you can add and remove stuff in tapes? < 1459728884 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: Yes? < 1459728893 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :I mean increment or decrement the value < 1459728898 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: Yes < 1459728903 0 :lleu!~gnomebad@unaffiliated/lleu QUIT :Read error: Connection reset by peer < 1459728910 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: + pops a value and pushes its successor, - does the same with predecessor < 1459728914 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :[ and ] are the same < 1459728914 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :what if the program was looped? < 1459728914 0 :j-bot!~j-bot@li1285-84.members.linode.com PRIVMSG #esoteric :hppavilion[1]: and ] are the same < 1459728938 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :, and . are the same (usually, though you may want to make them different) < 1459728939 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :like what we were discussing about a prolog processor < 1459728948 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: Looped program? Like Fueue? < 1459729015 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: Or like this language I made which's name has slipped my mind? < 1459729103 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :prolog processor? < 1459729110 0 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :speaking of fueue, where's mroman now? < 1459729113 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: Yeah, prolog processor. < 1459729118 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :boily: Good question < 1459729128 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: You're the one who brought it up < 1459729161 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: Do you want to design a FORTH-like language? < 1459729259 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :hmm < 1459729272 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: Called FITH < 1459729274 0 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :@ask mroman hello? hello? hello? < 1459729274 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1459729313 0 :atrapado!~atrapado@unaffiliated/atrapado QUIT :Quit: Leaving < 1459729318 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :there's one called FIFTH < 1459729324 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :it's esoteric < 1459729421 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: FITH would not be. Well, not completely. < 1459729447 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: It'd be eso- by virtue of being a FORTH, and would have optional esoteric features, but it would also be quite straightforward < 1459729467 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :In theory, it'd be suitable for a wide range of applications, from hobbyist OS dev to systems programming to space flight < 1459729473 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :k < 1459729489 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :interesting < 1459729499 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :so it'd be stack based < 1459729524 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I recently came across a language called 8th, which is apparently a commercial FORTH with big ambitions < 1459729530 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's unclear whether anyone actually uses it < 1459729563 0 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 240 seconds < 1459729648 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :and it would do stuff like maths and input < 1459729672 0 :Sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1459729676 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: is it trying to add some safeguards to detect stuff early (possibly at compile time), like unpaired push/pop on the main stack or wrong types? < 1459729692 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :b_jonas: I don't know the details < 1459729710 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :nothing in the tutorial looked different from actual Forth except that it appeared to have a type system, and I suspect one that isn't checked at any point < 1459729715 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :hmm, that reminds me, < 1459729715 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you just have to write the types correctly < 1459729735 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I should add that language that tries to pretend it's forth-like to the esowiki because it probably counts as an esolang < 1459729744 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I'll add a todo-entry < 1459729792 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07User:B jonas14]]4 10 02https://esolangs.org/w/index.php?diff=46743&oldid=46727 5* 03B jonas 5* (+143) 10 < 1459729939 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :hmmm < 1459729946 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :2d stack? < 1459729983 0 :p34k!~p34k@nat-wh-wz4-12.rz.uni-karlsruhe.de QUIT : < 1459730050 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :hmm < 1459730113 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :add 2 mult 3 2 < 1459730182 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: 2D stack? How does that work? < 1459730219 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :not infinity 1d stacks < 1459730227 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :diagonals? < 1459730233 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :you could have horizontal stack < 1459730236 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: But a 2D stack. Explain? < 1459730237 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :or vertical stack < 1459730248 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Oh, I think I see < 1459730249 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :hmm < 1459730257 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :You can pop from multiple places < 1459730270 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: But how do you tell it where to pop from? < 1459730277 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: Also, the analogy breaks down a bit in 2D < 1459730286 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: Because it matters what direction the stack grows in < 1459730286 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :but then you could change a stack's direction and make it a snake < 1459730293 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :hmm < 1459730302 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: I'd prefer to just use a good old deque < 1459730307 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :true < 1459730316 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :what about a branching stack? < 1459730330 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :`google spaghetti stack < 1459730338 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :add (mult 3 2) (div 2 3) would branch into two branches < 1459730342 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :mult branch and div branch < 1459730347 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :@google spaghetti stack < 1459730348 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :https://en.wikipedia.org/wiki/Parent_pointer_tree < 1459730356 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :but it sounds less esoteric and more useful < 1459730360 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: That's not how FORTH works < 1459730368 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :ik < 1459730371 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: This is meant to be useful while preserving roots in esotericness < 1459730373 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Failed to connect to socket 2. \ \ Looking up 127.0.0.1:3128 \ Making HTTP connection to 127.0.0.1:3128 \ Sending HTTP request. \ HTTP request sent; waiting for response. \ Alert!: Unexpected network read error; connection aborted. \ Can't Access `http://google.com/search?q=%73%70%61%67%68%65%74%74%69%20%73%74%61%63%6b' \ Alert!: Unable to access < 1459730378 0 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :Are there any Magic: the Gathering cards which create new state-based actions? < 1459730382 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: FORTH would be 2 3 +, not + 2 3 < 1459730400 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :And FORTH is better because of that < 1459730419 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Because you can do things other than arithmetic, which still works in prefix, but is much more confusing < 1459730440 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: So the instructions I'm already thinking of are: < 1459730442 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :pls give me an example < 1459730457 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: $ or DROP makes sense in postfix, but not as much in prefix < 1459730464 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :drop? < 1459730472 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: POP a value and throw it away < 1459730484 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :example pls < 1459730498 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: 2 3 4 $ + is equal to 2 3 + < 1459730525 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Because the 4 gets DROPed < 1459730529 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :oh < 1459730536 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :It seems useless, but it doesn't have to be a scalar like 4 < 1459730549 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :It could be an expression with side-effects < 1459730556 0 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :int-e: int-ello. I seem to have begun binging QC. welp. < 1459730557 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :oh, okay < 1459730560 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :interesting < 1459730563 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :2 3 "press any key to continue" . , $ + < 1459730574 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :That will add 2 and 3, but not until you approve of it < 1459730582 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :wow < 1459730583 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :cool < 1459730585 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :that's < 1459730586 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :wow < 1459730594 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: Want me to make a full list of instructions? < 1459730596 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :never thought of it that way < 1459730600 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: Just the basic ones < 1459730609 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :so it drops ,? < 1459730612 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :what's , do? < 1459730613 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: Yes < 1459730616 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: , is GETCH < 1459730620 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :GETCH? < 1459730635 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: , gets a single character of input (a single keypress) and PUSHes its ord() onto the stack < 1459730652 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: So , $ is a GETCH that doesn't change the stack < 1459730666 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :cool < 1459730668 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :sounds good < 1459730680 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: But $ only drops one value; if it's an instruction that creates two new values (e.g. , ,), you need two $s < 1459730683 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :so . pops and outputs the string? < 1459730695 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :that was pushed before it < 1459730715 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :so is FORTH all like this, or does it have other things? < 1459730739 0 :XorSwap!~XorSwap@wnpgmb016qw-ds01-214-177.dynamic.mtsallstream.net JOIN :#esoteric < 1459730849 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: Yes, pretty much all stacks < 1459730849 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :hmm by the looks of it, it's all in that stack based no--hey, what about brainstack? stack based brainfuck! < 1459730858 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: That's been done. < 1459730861 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: Repeatedly. < 1459730862 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :wow < 1459730864 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :yeah < 1459730866 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: Please do not make a new one. < 1459730867 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :didn't sound so good < 1459730884 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :I have not made a single bf derivative in my time here < 1459730898 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :mine are not that esoteric < 1459730921 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :my brainfuck interpreter uses a stack < 1459730927 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :wow, really? < 1459730934 0 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :\oren\: eh? < 1459730943 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :what other paradigms are there? < 1459730953 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :http://www.orenwatson.be/bfim.htm < 1459731112 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :hmm < 1459731113 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :so < 1459731118 0 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :holy syntax highlighting batman! those are some saturated colours! < 1459731125 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :a stack based language which is a more esoteric version of forth < 1459731136 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :yeah, ow my eyes < 1459731143 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :infact, rip them < 1459731144 0 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :also, you use tabs. tabs are evil. four spaces! < 1459731151 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :tabs! < 1459731154 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :tabs! < 1459731166 0 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :SPACES! < 1459731174 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :tabs are sometimes 4 spaces, sometimes 8! < 1459731178 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :boily: Tabs are configurable-width < 1459731184 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :I prefer 4. 8 looks like someone stretched it into spaghetti < 1459731195 0 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :four. spaces. 0x20. four of 'em. < 1459731198 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :and 2 looks like msl aaaaaaaaaaaaaah < 1459731208 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric : < 1459731211 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :boily: You can tell it how wide you want your tabs to be in spaces. So tabs allow better personal preferences < 1459731232 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :I will use tabs from now on to annoy boily < 1459731238 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :yay ! < 1459731244 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :just kidding < 1459731257 0 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :and then you're going to tell me that braces go alone on their own lines. < 1459731259 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :I'm not that evil < 1459731262 0 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :HERETICS Y'ALL! < 1459731272 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :braces don't need to exist < 1459731277 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :lua doesn't have them < 1459731283 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :and they're filthy < 1459731285 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :dirty < 1459731287 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :unholy < 1459731413 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Of course, I don't really care whether tabs or spaces are used; just do whatever your dev environment spits out when you hit newline < 1459731495 0 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :When I push newline it results in newline! < 1459731505 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :really? wow < 1459731517 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :he means < 1459731517 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric : this < 1459731524 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :ais523: How would one typecheck an imperative stack-based language? Row polymorphism doesn't seem like it would help unless the language is functional. < 1459731540 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :functional FORTH? < 1459731549 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: That will be a feature, but not the core of the langauge < 1459731572 0 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :(However, I generally use two spaces for indent, and put the brace on the same line as if/function/while/whatever.) < 1459731592 0 :tromp!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1459731598 0 :tromp!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Remote host closed the connection < 1459731615 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :boily: I will accept your "four spaces" theology if you're willing to use ​as your space < 1459731615 0 :tromp!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1459731629 0 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :hppavilion[1]: you seem to have accidentaly a word. < 1459731634 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :boily: I did not < 1459731637 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :boily: `unidecode < 1459731693 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :`unidecode use ​as < 1459731701 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​[U+0075 LATIN SMALL LETTER U] [U+0073 LATIN SMALL LETTER S] [U+0065 LATIN SMALL LETTER E] [U+0020 SPACE] [U+200B ZERO WIDTH SPACE] [U+0061 LATIN SMALL LETTER A] [U+0073 LATIN SMALL LETTER S] < 1459731706 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :hppavilion[1]: declarative FORTH < 1459731718 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: That's kind of pointless < 1459731734 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :it is? < 1459731745 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: FORTH is good because it's fast and works well with the low-level system, which does /not/ go well declarative languages < 1459731754 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :declarative prologassembly? < 1459731771 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: Granted, if you can make a schema for a low-level language that works well on bare metal, I will concede < 1459731800 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :basically, the prolog processor would take data, then apply all the substitution rules in a loop < 1459731814 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: It has to work well on arbitrary, typical processors < 1459731821 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :oh < 1459731822 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: Like an intel < 1459731833 0 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :I think Forth is probably good for including in ROM BIOS (some old computers include BASIC), and can also be used as the built-in programming environment of a system that doesn't otherwise have one it can work good too < 1459731842 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :you mean a language, not the processor we were gonna design < 1459731854 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: Yes < 1459731862 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: We can still design a processor. < 1459731887 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :hmm < 1459731904 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :declarative languages still have some form of order to them, just not top to bottom < 1459731907 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: But if you can find a way to (abstractly) make a declarative language that works well on bare metal, I will concede and help you design implement the rest of it < 1459731910 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :e.g. church numerals < 1459731911 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: Correct < 1459731926 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :hmm < 1459731929 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: Church encoding is best to avoid in actual computing < 1459731951 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: Practically speaking, using church encoding is horribly inefficient. It's much better to just let the language access the actual computer. < 1459731953 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :hppavilion[1]: church numerals would be really slow, wouldn't support fractions < 1459731962 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: Church encoding can support fractions < 1459731970 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :it can, but it'd still be slow < 1459732041 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :hmm < 1459732043 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :(λxyz.zxy)(λsx.s(s(x)))(λsx.s(s(s(x)))) < 1459732046 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :well, < 1459732053 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: Look into x86 to start < 1459732073 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :every instruction is bound to have a side effect when it's machine code < 1459732090 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :I has x64 < 1459732096 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: https://en.wikipedia.org/wiki/X86#Basic_properties_of_the_architecture < 1459732103 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :but I will look < 1459732106 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: x64 is still x86 < 1459732113 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: I think. It's confusing < 1459732126 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :x64 is the 64-bit variant of x86, which is 32-bit (originally 16-bit) < 1459732132 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :I think < 1459732205 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :k < 1459732211 0 :tromp!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Remote host closed the connection < 1459732242 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :CISC < 1459732289 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: You are correct that at ASM levels, all instructions tend to have side effects. This is why you should start with a robust framework for allowing side effects in your BMDL (bare-metal declarative language. Feel free to rename it now) < 1459732318 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :I would recommend naming it after a bird of prey for now, or a mythical creature < 1459732318 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :k < 1459732323 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :Pheonix < 1459732328 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :You can always rename it later < 1459732332 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :both bird and mythical < 1459732337 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: I was seeing if you would choose that xD < 1459732341 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :and melts metal < 1459732347 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: Oooh, that's good < 1459732351 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :I didn't think of that < 1459732355 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :xd < 1459732376 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :hmm < 1459732396 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: So what kind of language do you want this to be? Most declarative languages are functional, logical, or functional-logic (which is the one I know the least about, despite being literally just functional+logic) < 1459732403 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :But you can also base it off other systems < 1459732416 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :hmm < 1459732436 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Read error: Connection reset by peer < 1459732462 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :well, stringal? < 1459732464 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: You might want to choose to do something marginally declarative to start, like using FSMs for CF < 1459732476 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: Like Thue? < 1459732479 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :yeah < 1459732480 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :thue < 1459732486 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :hmm < 1459732489 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: That's going to be a MASSIVE pain to pull off, as most low-level architectures don't do strings very well < 1459732501 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :well, apply that string substitution idea < 1459732507 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :to memory < 1459732517 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: Consider that a string will almost always change length when substituted < 1459732525 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: That'll be pretty inefficient < 1459732531 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :true < 1459732533 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :hmm < 1459732597 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :so it has to be easily convertible into machine code, and yet a non-imperative flow < 1459732620 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: I would just choose Logic or Functional. Functional is better understood by most people (including me), so I'd stick with that. < 1459732665 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :which one would be easier to pull off in a low level language? < 1459732685 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: Probably functional, TBH < 1459732728 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :"functional programming uses functions while logic programming uses predicates. A predicate is not a function; it does not have a return value. Depending on the value of it's arguments it may be true or false; if some values are undefined it will try to find the values that would make the predicate true." < 1459732734 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :that makes sense < 1459732740 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :I guess functional is the way to go then < 1459732752 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: Yep < 1459732940 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: I seem to have forgotten, what are we trying to do? xD < 1459732954 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: We're making a bare-metal declarative language, aren't we < 1459733000 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :yes < 1459733037 0 :idris-bot!~idris-bot@dslb-178-006-010-224.178.006.pools.vodafone-ip.de QUIT :Ping timeout: 248 seconds < 1459733055 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :all of the memory in a Pheonix program would be local to their "functions" < 1459733059 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :nah < 1459733065 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: That probably won't work well. < 1459733074 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :or < 1459733077 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: So we want this to be the kind of thing you might write an OS with? < 1459733080 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :all memory is cleared when you enter a goto? < 1459733094 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: Functional languages generally don't /have/ gotos < 1459733097 0 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :For any graph does there exist a topology in which it is planar? < 1459733108 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: They have call/cc sometimes, but that's as close as it gets < 1459733127 0 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :hppavilion[1], counterpoint: http://hackage.haskell.org/package/GotoT-transformers-1.0.0.1/docs/Control-Monad-Trans-Goto.html < 1459733129 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :hppavilion[1]: but they have functions which don't fit a low level language, so goto is the closest we'll get < 1459733141 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: OK < 1459733151 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: Do we want the language to directly manipulate memory? < 1459733171 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: Like, with support for MOV and such? < 1459733174 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: e.g. should it be like a declarative ASM, or more like a declarative C? < 1459733212 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :ASM definitely < 1459733214 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :hmm < 1459733243 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: OK < 1459733245 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :should we define "declarative" as a different kind of control flow, or as no side effects? < 1459733248 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: That means no type system < 1459733253 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :fine by me < 1459733255 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: Functional is no side effects < 1459733267 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: Declarative is control flow, usually < 1459733270 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :that's bound to be impossible if we want to keep it low level < 1459733276 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: "Declarative" is really just "not imperative" < 1459733282 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :we could do declarative with side effects < 1459733284 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: Well, Haskell has "no side effects" < 1459733289 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: In a way < 1459733292 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :haskell is functional < 1459733300 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: Yes. < 1459733326 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: It's not "No side effects" so much as "side effects are done in a way that makes it fit certain properties" < 1459733356 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :okay < 1459733358 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :so < 1459733383 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :basically, Pheonix would be an ASM-like language with a declarative control flow. < 1459733396 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :instead of going top to bottom with gotos and a loop < 1459733469 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :hmm < 1459733515 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :the way I see it, functional is just no memory < 1459733529 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: Perhaps it should have FSM-like nodes? < 1459733535 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :perhaps < 1459733545 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :And nodes can do one of two things < 1459733549 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :(1) Activate other nodes < 1459733552 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :what would a node look like? one line? or like a subroutine but different < 1459733568 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :(2) Return to their caller < 1459733575 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :k < 1459733584 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Along with various functionalized ASM instructions < 1459733605 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :they'd be able to return values to their caller, right? < 1459733645 0 :Frooxius!~Frooxius@194.108.5.201 QUIT :Read error: Connection reset by peer < 1459733683 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: Of course. < 1459733688 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :right < 1459733701 0 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :hppavilion[1]: Zucchini. < 1459733707 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: But they'd only be able to return 64-bit integers < 1459733716 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :boily: No, that's more neural network than FSA < 1459733720 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :so f(g(3, h())) would activate node f, which would activate g, which would activate h, which would return... < 1459733722 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :boily: Node activation is more like calling < 1459733726 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :boily: I misspoke < 1459733732 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :like my example? < 1459733740 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :but of course it would be ASMized < 1459733771 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :nodes would have access to some operations, like addition < 1459733819 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: Yep < 1459733820 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :hmm < 1459733832 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: Yes, but they are limited to side effect-reduced instructions < 1459733839 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :and they wouldn't have as much side effects < 1459733849 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: So things like MOV are handled by the compiler, rather than by the programmer < 1459733862 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :even though it's an ASM like language < 1459733877 0 :jaboja!~jaboja@vps.jaboja.pl JOIN :#esoteric < 1459733880 0 :tromp!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1459733886 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :it hardly sounds like assembly :/ < 1459733913 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :also, i/o is important < 1459733983 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: Yes, I/O would be handled by special nodes I think < 1459734037 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :so this is like little ASM programs that activate other little program nodes or return to their caller < 1459734051 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :wait, can a node activate other nodes and return at the same time? < 1459734063 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :or return after activating other nodes < 1459734077 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: (a) It is like that (b) It can't activate other nodes while returning < 1459734086 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: But it can activate then return < 1459734093 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: "Activate" was poor word choice on my part < 1459734097 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :It's more like calling < 1459734099 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :yes < 1459734100 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :calling < 1459734104 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :that's how I imagined it < 1459734106 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: Let's translate http://wiki.osdev.org/Bare_bones into a mockup in this language < 1459734148 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :what about output? < 1459734152 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: Do you know of any online collaborative compilers? < 1459734166 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :output is usually where most functional languages can't avoid side effects < 1459734169 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: You call a special node with desired output < 1459734181 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: Input is where the issues lie; output is just fine < 1459734209 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :I guess the only "memory" this would have is which node is activated < 1459734213 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :running* < 1459734230 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: So to print "A", you'd do something like `out(65)' with < 1459734236 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :s/ with// < 1459734245 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: Correct < 1459734253 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :one issue is that if you need to use input for more than one thing - like 3 + (x - (5 + 2x)) < 1459734269 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: Everything memorial is dealt with by the compiler < 1459734272 0 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :
ACTION is singing mrs. robinson ♪
< 1459734288 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: That's a good observation < 1459734290 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :but how would you tell the compiler that we need a previous input? < 1459734311 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: I would have something like a "one-shot input function" < 1459734317 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :one-shot? < 1459734326 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: It gets input the first time it's called, and on all subsequent calls it returns that value < 1459734350 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :uh < 1459734352 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :maybe < 1459734358 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :but then how do you get another input? < 1459734365 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :would you be able to call things with values? < 1459734378 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :e.g. pass arguments like f(3, g(2)) < 1459734414 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: http://collabedit.com/7k7sj < 1459734415 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :hmm < 1459734459 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :that editor is terrible, I can't even chat properly < 1459734473 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :just remembered titanpad < 1459734487 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: Ooh, linky? < 1459734502 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :titanpad.com < 1459734518 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :no sign up, instantly start typing < 1459734522 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: Should I create the doc or you? < 1459734534 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :https://titanpad.com/VGxMnOzLl4 < 1459734542 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :https://titanpad.com/fHMbT3YH5G < 1459734548 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :ah, let's use yours < 1459734768 0 :Frooxius!~Frooxius@194.108.5.201 JOIN :#esoteric < 1459734774 0 :Frooxius!~Frooxius@194.108.5.201 QUIT :Remote host closed the connection < 1459735096 0 :Sgeo!~Sgeo@ool-18e43ef5.dyn.optonline.net JOIN :#esoteric < 1459735628 0 :Frooxius!~Frooxius@194.108.5.201 JOIN :#esoteric < 1459735706 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :connection keeps cutting off < 1459735709 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :to titanpad < 1459735731 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: Ah < 1459735739 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: I'll make a custom doceditor later < 1459736377 0 :XorSwap!~XorSwap@wnpgmb016qw-ds01-214-177.dynamic.mtsallstream.net QUIT :Quit: Leaving < 1459737057 0 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :The documentation of new version of SmileBASIC does not mention any QR codes, but it does seem it may be possible to store a program on a tape. < 1459737100 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net QUIT :Ping timeout: 252 seconds < 1459737173 0 :boily!~alexandre@96.127.201.149 QUIT :Quit: MERCHANDISE CHICKEN < 1459737277 0 :iconmaster!~iconmaste@csh-nat-49-2.csh.rit.edu QUIT :Ping timeout: 268 seconds < 1459737340 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net JOIN :#esoteric < 1459737506 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :rdococ: I'm back < 1459737532 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :hi < 1459737538 0 :bb010g!uid21050@gateway/web/irccloud.com/x-bsmkslnrcvqgioqj QUIT :Quit: Connection closed for inactivity < 1459737769 0 :tromp!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Remote host closed the connection < 1459737855 0 :rdococ!~rdococ@unaffiliated/octagonfly QUIT :Read error: Connection reset by peer < 1459738458 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :https://www.youtube.com/watch?v=s0mXCnzisV4 < 1459738549 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :\oren\: ...huh? < 1459738617 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :shāyú! < 1459738645 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :Hm... < 1459738682 0 :Reece`!~nothing@host-92-13-205-245.as43234.net QUIT :Quit: Leaving < 1459738748 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :\oren\: I'm designing an IL/Processor and trying to figure out what I'm missing... < 1459739260 0 :tromp!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1459739344 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net QUIT :Ping timeout: 252 seconds < 1459739509 0 :me2!~me@38.70.70.115.static.exetel.com.au QUIT :Read error: Connection reset by peer < 1459739581 0 :me2!~me@38.70.70.115.static.exetel.com.au JOIN :#esoteric < 1459739620 0 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :What do you have so far? < 1459739860 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net JOIN :#esoteric < 1459740368 0 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :What do you have so far? < 1459740526 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :Hm... < 1459740530 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :zzo38: Me? < 1459740574 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :I kind of want to adapt the processor into a full emulated computer... < 1459740576 0 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :Yes < 1459740689 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :zzo38: For the processor, I have registers, a memory model, and a collection of instructions < 1459740706 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :Register manipulation < 1459740711 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :Arithmetic < 1459740712 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :Logic < 1459740721 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :Left shift < 1459740729 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :JMP/JZ/JNZ < 1459740738 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :CJMP < 1459740747 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :Relations < 1459740752 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :And load-store < 1459740789 0 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :Does it use any special registers? < 1459740851 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :zzo38: Special registers as in things like an accumulator? < 1459740869 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :If so, yes. ACC, IMP, EXP < 1459740883 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :And in processor mode, CDE and ARG < 1459740886 0 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :What do those registers do? < 1459740896 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hi zzo38 < 1459740898 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :zzo38: ACC is where all arithmetic operations are done < 1459740904 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Do you like the Mill CPU? < 1459740908 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :IMP and EXP are for loads and stores respectively < 1459740932 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :And CDE and ARG are for syscalls or whatever. For messing with BIOS or something. < 1459740959 0 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :I don't know what is Mill CPU? < 1459740997 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :I'm considering writing a custom BIOS for it, too < 1459741020 0 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :I found some information of Mill CPU on Wikipedia < 1459741209 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: You can find some more information at millcomputing.com < 1459741235 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: It's a CPU architecture with all sorts of exciting features. You should watch the talks on the website, if you do video. < 1459741303 0 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :I like some of the ideas < 1459741859 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :`u8tbl 0x0363 0x036f < 1459741876 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: Which ideas? < 1459741879 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​ͣͤͥͦͧͨͩͪͫͬͭͮͯ < 1459741972 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :`` u8tbl 0x0363 0x036f | sed s/../ &/g < 1459741975 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :sed: -e expression #1, char 5: unterminated `s' command \ /hackenv/bin/`: line 4: /g: No such file or directory < 1459741983 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :`` u8tbl 0x0363 0x036f | sed 's/../ &/g' < 1459741985 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​ ͣͤ ͥͦ ͧͨ ͩͪ ͫͬ ͭͮͯ < 1459741992 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :`` u8tbl 0x0363 0x036f | sed 's/./ &/g' < 1459741995 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​ ͣ ͤ ͥ ͦ ͧ ͨ ͩ ͪ ͫ ͬ ͭ ͮ ͯ < 1459742171 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :`u8tbl 0x10900 0x10915 < 1459742172 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​𐤀𐤁𐤂𐤃𐤄𐤅𐤆𐤇𐤈𐤉𐤊𐤋𐤌𐤍𐤎𐤏 \ 𐤐𐤑𐤒𐤓𐤔𐤕 < 1459742179 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :rrgh < 1459742243 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :why won't my phoenician show up < 1459742269 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :`` u8tbl 0x10900 0x10915 < 1459742270 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​𐤀𐤁𐤂𐤃𐤄𐤅𐤆𐤇𐤈𐤉𐤊𐤋𐤌𐤍𐤎𐤏 \ 𐤐𐤑𐤒𐤓𐤔𐤕 < 1459742325 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :`` u8tbl 0x1d434 0x1d467 < 1459742327 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​𝐴𝐵𝐶𝐷𝐸𝐹𝐺𝐻𝐼𝐽𝐾𝐿 \ 𝑀𝑁𝑂𝑃𝑄𝑅𝑆𝑇𝑈𝑉𝑊𝑋𝑌𝑍𝑎𝑏 \ 𝑐𝑑𝑒𝑓𝑔𝑕𝑖𝑗𝑘𝑙𝑚𝑛𝑜𝑝𝑞𝑟 \ 𝑠𝑡𝑢𝑣𝑤𝑥𝑦𝑧 < 1459742338 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :italic does fine < 1459742346 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :huh, my client can render all of those apart from the lowercase h < 1459742361 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :what a weird omission < 1459742370 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :the h is a noncharacter < 1459742412 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :it is filled by the ℎ in letterlike symbols < 1459742564 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :`u8tbl 0x2d00 0x2d25 < 1459742568 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​ⴀⴁⴂⴃⴄⴅⴆⴇⴈⴉⴊⴋⴌⴍⴎⴏ \ ⴐⴑⴒⴓⴔⴕⴖⴗⴘⴙⴚⴛⴜⴝⴞⴟ \ ⴠⴡⴢⴣⴤⴥ < 1459742641 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :`u8tbl 0x10c7 0x10c7 < 1459742643 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​Ⴧ < 1459742716 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :`u8tbl 0x10cd 0x10cd < 1459742718 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​Ⴭ < 1459742768 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :`u8tbl 0x10fa 0x10ff < 1459742769 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​ჺ჻ჼჽჾჿ < 1459742875 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :`u8tbl 0x2d27 < 1459742876 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/hackenv/bin/u8tbl: line 1: 293 Segmentation fault u8tbl.exe $@ < 1459742881 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :`u8tbl 0x2d27 0x2d27 < 1459742882 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​ⴧ < 1459742915 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :`u8tbl 0x2d2d 0x2d2d < 1459742916 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​ⴭ < 1459742961 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :`u8tbl 0x0528 0x052f < 1459742962 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​ԨԩԪԫԬԭԮԯ < 1459742999 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :\oren\: ooh, segfault. < 1459743005 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :\oren\: Don't be a dick to computers < 1459743028 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :`u8tbl 0x26e8 0x26eb < 1459743030 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​⛨⛩⛪⛫ < 1459743139 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :`u8tbl 0x37f 0x37f < 1459743140 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​Ϳ < 1459743154 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :rrgh glitched < 1459743173 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :ok so some characters need fixing... < 1459743294 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :Hm... < 1459743298 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :How should my processor work? < 1459743314 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :It has the necessary instructions already < 1459743824 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :oh I see why phoenician doesnt work! < 1459743839 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :it's rtl! < 1459743925 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :\oren\: Fail! < 1459743933 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric ::) < 1459744040 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :and irssi desn't know that it exists < 1459744096 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :whatever, i added 𐤀𐤁𐤂𐤃𐤄𐤅𐤆𐤇𐤈𐤉𐤊𐤋𐤌𐤍𐤎𐤏𐤐𐤑𐤒𐤓𐤔𐤕 to the font demo anyway < 1459744133 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :`unidecode 𐤀𐤁𐤂𐤃 < 1459744134 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​[U+10900 PHOENICIAN LETTER ALF] [U+10901 PHOENICIAN LETTER BET] [U+10902 PHOENICIAN LETTER GAML] [U+10903 PHOENICIAN LETTER DELT] < 1459744195 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :`botsnack < 1459744200 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​>:-D < 1459744223 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :Hackygo knows phoenician < 1459744447 0 :Hurqalya!~Hurqalya@179.52.35.182 JOIN :#esoteric < 1459744482 0 :Hurqalya!~Hurqalya@179.52.35.182 PART #esoteric : < 1459744487 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :(hit him (between (get-attr him eyes))) < 1459744504 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :(assert (not (has-attr me self-esteem))) < 1459744563 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :(with (both (* 1000 lie) good-disguise) (hit him (between (get-attr him eyes)))) < 1459744574 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :s/both/all < 1459744581 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :s/all/all\// < 1459745331 0 :Hurqalya!~Hurqalya@179.52.35.182 JOIN :#esoteric < 1459745832 0 :bb010g!uid21050@gateway/web/irccloud.com/x-pvihffaxtpsvhtod JOIN :#esoteric < 1459746196 0 :tromp!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Remote host closed the connection < 1459746412 0 :Hurqalya!~Hurqalya@179.52.35.182 QUIT :Ping timeout: 260 seconds < 1459746431 0 :Hurqalya!~Hurqalya@179.52.35.182 JOIN :#esoteric < 1459746585 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :YES! MY HEX GENERATOR WORKS! < 1459746914 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :(Not to be confused with a hex editor) < 1459747295 0 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1459747306 0 :Hurqalya!~Hurqalya@179.52.35.182 QUIT :Remote host closed the connection < 1459747324 0 :Hurqalya!~Hurqalya@179.52.35.182 JOIN :#esoteric < 1459747729 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :YES! < 1459747731 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :IT WORKS! < 1459747734 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :THE PROCESSOR WORKS! < 1459747744 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :
ACTION dances
< 1459747815 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :I THINK! < 1459747826 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :Memory is saved in a .mem file < 1459747830 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :As bytes < 1459747866 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :In the process, I invented a simple program that allows me to generate memory files with a simple hex-based syntax < 1459747995 0 :jaboja!~jaboja@vps.jaboja.pl QUIT :Ping timeout: 246 seconds < 1459748006 0 :Hurqalya!~Hurqalya@179.52.35.182 PART #esoteric : < 1459748769 0 :jaboja!~jaboja@eju133.neoplus.adsl.tpnet.pl JOIN :#esoteric < 1459748831 0 :Kaynato!~Aedile@cpe-173-88-230-28.neo.res.rr.com QUIT :Ping timeout: 244 seconds < 1459748987 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :
ACTION rings the esobell
< 1459749063 0 :zgrep!sid43445@gateway/web/irccloud.com/x-oevbiojbkxyvopgg PRIVMSG #esoteric :The esobell shakes a bit, then sends out three notes of silence. < 1459750155 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :zgrep: I have my processor working < 1459750167 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :I've only implemented MOV, SWP, and NOP so far, but it's getting there < 1459750191 0 :zgrep!sid43445@gateway/web/irccloud.com/x-oevbiojbkxyvopgg PRIVMSG #esoteric :But those instructions are far too normal. :P < 1459750199 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :zgrep: I'm not at the eso part yet < 1459750206 0 :zgrep!sid43445@gateway/web/irccloud.com/x-oevbiojbkxyvopgg PRIVMSG #esoteric :They're already too normal. :P < 1459750213 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :zgrep: Also, this is more a target platform than an esolang < 1459750225 0 :zgrep!sid43445@gateway/web/irccloud.com/x-oevbiojbkxyvopgg PRIVMSG #esoteric :People don't want to be able to *use* things, not really. :P < 1459750232 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :zgrep: I'm planning to write an esos for it < 1459750631 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :zgrep: One of my goals is to make a low-level functional language that compiles to it, thus allowing me to make the OS partially in something like Haskell < 1459750967 0 :lambda-11235!~lambda-11@47.208.113.50 QUIT :Quit: Bye < 1459751059 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net QUIT :Ping timeout: 252 seconds < 1459751615 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net JOIN :#esoteric < 1459752807 0 :tromp!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1459753075 0 :tromp!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Ping timeout: 248 seconds < 1459753113 0 :jaboja!~jaboja@eju133.neoplus.adsl.tpnet.pl QUIT :Ping timeout: 240 seconds < 1459754138 0 :jaboja!~jaboja@vps.jaboja.pl JOIN :#esoteric < 1459756497 0 :tromp!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1459756736 0 :tromp!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Ping timeout: 244 seconds < 1459757005 0 :jaboja!~jaboja@vps.jaboja.pl QUIT :Ping timeout: 248 seconds < 1459759013 0 :deltab!~deltab@cpc1-smal2-0-0-cust155.19-1.cable.virginm.net QUIT :Ping timeout: 250 seconds < 1459759033 0 :heroux!sandroco@gateway/shell/insomnia247/x-oxlzmecvkauseanp QUIT :Ping timeout: 268 seconds < 1459759108 0 :heroux!sandroco@gateway/shell/insomnia247/x-vtwlxapvwkmvzljh JOIN :#esoteric < 1459759120 0 :deltab!~deltab@cpc1-smal2-0-0-cust155.19-1.cable.virginm.net JOIN :#esoteric < 1459759169 0 :me2!~me@38.70.70.115.static.exetel.com.au QUIT :Ping timeout: 250 seconds < 1459759169 0 :pdxleif!~pdxleif@ec2-54-68-166-10.us-west-2.compute.amazonaws.com QUIT :Ping timeout: 250 seconds < 1459759299 0 :fractal!~fractal@unaffiliated/scounder QUIT :Ping timeout: 250 seconds < 1459759487 0 :me2!~me@38.70.70.115.static.exetel.com.au JOIN :#esoteric < 1459759529 0 :pdxleif!~pdxleif@ec2-54-68-166-10.us-west-2.compute.amazonaws.com JOIN :#esoteric < 1459760126 0 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :An alternative XML representation for RDF could be made up in order to make it easier to use with XSLT, since the standard RDF/XML isn't suitable for this purpose. < 1459760636 0 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :(There otherwise probably isn't much point in using XML) < 1459760694 0 :jaboja!~jaboja@vps.jaboja.pl JOIN :#esoteric < 1459760718 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1459760992 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Ping timeout: 252 seconds < 1459761916 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net QUIT :Ping timeout: 252 seconds < 1459762288 0 :fractal!~fractal@unaffiliated/scounder JOIN :#esoteric < 1459762807 0 :mychal!~dyske@adsl-dyn-26.95-102-33.t-com.sk JOIN :#esoteric < 1459763054 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1459763124 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :still no glogbot :( < 1459763332 0 :AnotherTest!~turingcom@2a02:1811:d22:cc00:101f:cc64:e91a:a76c JOIN :#esoteric < 1459763344 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :clog is there though < 1459763365 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(good *yawn* morning) < 1459763383 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :yes, but it's so much less readable to my eyes < 1459763480 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :you can postprocess the logs hth < 1459763496 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i think postprocessing is just called processing < 1459763508 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i am, in vim < 1459763537 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :whoa whoa whoa < 1459763545 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :does glog stand for gregor log < 1459763560 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric ::%s/\(.\{85\}\) /\1^M / < 1459763572 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :just do that enough times, and i get wrapping < 1459763586 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: quite possible < 1459763623 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :*i do < 1459763732 0 :J_Arcane!~chatzilla@37-219-217-180.nat.bb.dnainternet.fi QUIT :Ping timeout: 268 seconds < 1459764539 0 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :You can use the "fmt" program to implement word wrapping < 1459764645 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :this is in windows. < 1459764926 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :also, i don't see fmt supporting my need to have the continuation lines be indented more < 1459764949 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(otherwise it's even more unreadable than unformatted) < 1459765566 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`le/rn spaghetti stack/A spaghetti stack is the most edible data structure. < 1459765606 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Learned «spaghetti stack» < 1459765639 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :A spaghetti stack is what a Haskell programmer would call a linked list, right? < 1459765647 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i dunno < 1459765700 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :seems so. < 1459765740 0 :AnotherTest!~turingcom@2a02:1811:d22:cc00:101f:cc64:e91a:a76c QUIT :Ping timeout: 246 seconds < 1459765975 0 :Elronnd!elronnd@znc.dank.ninja QUIT :Quit: Let's jump! < 1459766048 0 :Elronnd!elronnd@znc.dank.ninja JOIN :#esoteric < 1459766474 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@tell rdococ It's spelled "Phoenix" hth < 1459766474 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1459766604 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : For any graph does there exist a topology in which it is planar? <-- wat. "planar" means in the plane, no other topology allowed hth < 1459766666 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@tell Taneb Not every graph can be embedded in the plane. Every (finite) graph can be embedded in R^3. < 1459766666 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1459767026 0 :jaboja!~jaboja@vps.jaboja.pl QUIT :Remote host closed the connection < 1459767840 0 :mychal!~dyske@adsl-dyn-26.95-102-33.t-com.sk QUIT :Quit: Leaving < 1459767957 0 :hipsterslapfight!sid16984@gateway/web/irccloud.com/x-iliztjtpkgqlpezb JOIN :#esoteric < 1459769069 0 :boily!~alexandre@96.127.201.149 JOIN :#esoteric < 1459769108 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hobbily < 1459769254 0 :jaboja!~jaboja@vps.jaboja.pl JOIN :#esoteric < 1459769429 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: oooh, does it still work when the graph has the same cardinality as R? (assuming the axiom of choice... I suppose it does but it's a bit tricky to argue about it. < 1459769432 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :) < 1459769440 0 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :bon matørjan. < 1459769508 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :int-e: hm i vaguely think i saw a trick where you use two planes and straight lines between them < 1459769529 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :and with a bit of care the lines never cross outside the planes < 1459769547 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(one plane for edges and one for nodes, i guess) < 1459769569 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :might not even need AoC < 1459769571 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oh, I realize I was hoping to use straight lines for the edges < 1459769679 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hm you just need a line for the nodes, maybe. < 1459769740 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :then an edge from not x to node y consists of a line from (0,0,x) to (x,y,0) and a line from (x,y,0) to (0,0,y). or something like that. < 1459769744 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :*node < 1459769753 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :*line segment < 1459770071 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :int-e: oh. don't about a single straight line per edge. < 1459770080 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :*don't know < 1459770205 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :https://en.wikipedia.org/wiki/Graph_embedding#Embeddings_of_graphs_into_higher-dimensional_spaces has a method. < 1459770209 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :ah, you can just put the nodes on the curve (x,x^2,x^3). < 1459770227 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :int-e: ooh < 1459770378 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :damn what is this kind of matrix called again... [1,x,x^2;1,y,y^2;1,z,z^2] < 1459770428 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :rings a bell. < 1459770446 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :https://en.wikipedia.org/wiki/Vandermonde_matrix < 1459770462 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(found it via polynomial interpolation) < 1459770500 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :anyway, the 4-D case shows that no 4 distinct points of (x,x^2,x^3) lie in a plane... this generalizes to arbitrary dimensions. < 1459770591 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :that doesn't quite imply no intersections. < 1459770596 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(hmm, there's some projective geometry element in there. nice.) < 1459770629 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :or wait, does it < 1459770653 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :bah of course it does. < 1459770735 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :in projective coordinates, (x^3,x^2,x,1), (y^3,y^2,y,1), (z^3,z^2,z,1), (t^3,t^2,t,1) lie in the same plane if they are linearly dependent... but the determinant is (x-y)(x-z)(x-t)(y-z)(y-t)(z-t), which is only 0 if two of the points are the same. < 1459770749 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(modulo sign of the determinant... I didn't check that) < 1459770781 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :mhm < 1459770800 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I just had the stupidest idea for an M:tG card ever. < 1459770817 0 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :I have written some program dealing with farbfeld and one thing is that the command "ff-gradient 100 100 r FF0000 DDDDDD 0000FF | ff-paeth e | ff-bright a 1 | ffpng > /var/www/img_19/example1.png" results in this picture: http://zzo38computer.org/img_19/example1.png < 1459770823 0 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :b_jonas: What idea is it? < 1459771001 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :It's a split card. Slough | G | Sorcery | You may put a Swamp from your hand onto the battlefield tapped. || Slough | G | Sorcery | Tap target Snake. It doesn't untap during its controller's next untap step. < 1459771127 0 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :I would think that each half should have a different name? < 1459771142 0 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :(Although a similar effect could also be made as a modal spell) < 1459771263 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :zzo38: yes, that's part of why it's stupid. Runed Halo needs you to be able to name half of a split card. < 1459771413 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I guess a modal spell could work. So that would be. Slough | G | Sorcery | Choose one. / - You may put a Swamp from your hand onto the battlefield tapped. / - Tap target Snake. It doesn't untap during its controller's next untap step. < 1459771585 0 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :Runed Halo would still work though even if both half have the same name; it give you protection from both (although your card does not target, damage, or become attached to players; also it seem to me that half of split card are supposed to have two different names anyways) < 1459771602 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :zzo38: how does Conjurer's Ban work? < 1459771667 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :zzo38: or Pithing Needle ... although an activated ability would hardly fit on half of a split card < 1459771744 0 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :While on the stack it only has one name; in all other zones the split card has two names, is I think how it is working. < 1459771904 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Hmm, actually, looking at existing split cards, I think you could fit a sorcery ability and an activated channel or forecast or cycling ability on a split card. Channel would be a bad match for other reasons, but forecast or cycling could go into a fuse bar. < 1459771934 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Although that would require a two line high fuse bar. < 1459771936 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Hmm. < 1459771955 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Well, forecast would. Cycle would fit in one line. < 1459771964 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :s/Cycle/cycling < 1459771976 0 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :(So if it is a permanent card (although no existing split cards are), then regardless of which half is cast, it is both while in play.) < 1459772006 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Um, permanent cards don't get to be split cards, they get to be primal clay instead, which is even more confusing. < 1459772056 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Just like split cards and morph cards and flip cards and double-sided cards, primal clay cards have their *copiable* characteristics changing. < 1459772081 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :And it's not just one very old card (Primal Clay), they printed another one recently < 1459772114 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Molten Sentry < 1459772118 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ok, not very recent < 1459772124 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :in Ravnica < 1459772165 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Oh, and they reprinted the actual Primal Clay in M13 < 1459772187 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Making it a split card or flip card would have been less confusing. < 1459772225 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :No wait, Primal Clay has three modes. Then you're screwed anyway, it can't be represented as a split or flip card. < 1459772460 0 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :Primal Clay function in battlefield < 1459772780 0 :boily!~alexandre@96.127.201.149 QUIT :Quit: SERIF CHICKEN < 1459773351 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :zzo38: yep. < 1459773360 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :zzo38: and split cards on the stack. < 1459773429 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :but they basically do the same thing: multiple sets of characteristics, one of which is active in that zone. < 1459773457 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :flip and transform and morph also do that, only those change within that battlefield without becoming a new object (but possibly gaining a new timestamp) < 1459773980 0 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :@messages-load < 1459773980 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :oerjan said 2h 1m 54s ago: Not every graph can be embedded in the plane. Every (finite) graph can be embedded in R^3. < 1459774000 0 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :oerjan, yeah, I think I was asking the wrong question < 1459774002 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :Taneb: see discussion above < 1459774067 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :Taneb: i can think of one alternative interpretation, although that one's also pretty trivial (make tubes) < 1459774082 0 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :I think that was what I meant < 1459774189 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :you can put some graphs on the torus that aren't planar, was that what you were thinking of? < 1459774208 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :but if you just glue more tubes on, you can embed any graph. < 1459774424 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :eek is xkcd having one of those big explorable ones again < 1459774643 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :am i suppose to watch the plants grow, or what. < 1459774646 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :*+d < 1459774743 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :
ACTION finally reads oerjan's link on graph embedding and learns about the "moment curve" name.
< 1459774994 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :oh. i'd somehow missed that it listed the same thing you did. < 1459774995 0 :lleu!~gnomebad@unaffiliated/lleu JOIN :#esoteric < 1459775153 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(the answer to the plant question is apparently yes.) < 1459775228 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1459775347 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :oh something faster growing < 1459775349 0 :fizzie!?@? PRIVMSG #esoteric :On my phone there was just a tree (or something; forgot already) repeatedly flipping (horizontally); on this workstation there's nothing. < 1459775354 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oerjan: is taht still the april fools one? < 1459775372 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :b_jonas: i have no idea. but there are plants growing. < 1459775385 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :up to three trees now, one pretty large < 1459775417 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i never saw anything other than excuses for being broken < 1459775422 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :for april fools < 1459775444 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :fizzie: it starts very slowly. also you should add more lights. < 1459775462 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :
ACTION went to explainxkcd, although that's about all it said.
< 1459775484 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Ping timeout: 246 seconds < 1459775507 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(and they never mentioned anything about april fool) < 1459775529 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :you can also adjust direction and color. < 1459775571 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i don't see any flipping btw, just general waving in the wind < 1459775580 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(and sudden spurts of growth) < 1459775628 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :sometimes _really_ sudden. the entire trunks seem to happen instantly < 1459775794 0 :Reece`!~nothing@host-92-13-205-245.as43234.net JOIN :#esoteric < 1459776156 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :wait what, it seems to have reset while i was browsing elsewhere. < 1459776171 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :
ACTION closes
< 1459777444 0 :fizzie!?@? PRIVMSG #esoteric :oerjan: By "nothing", I mean the top navigation bar is immediately adjacent to the bottom navigation bar. < 1459777543 0 :fizzie!?@? PRIVMSG #esoteric :The flipping seems to have been a "loading" screen that got stuck; on my phone it now shows up briefly, before showing what I think is what you're talking about. (At least there's a bit of ground and a lamp.) < 1459777552 0 :fizzie!?@? PRIVMSG #esoteric :(On the desktop there's still nothing.) < 1459777579 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ic < 1459777630 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :getting the readers to watch grass grow certainly seems like an april fools joke. < 1459777656 0 :fizzie!?@? PRIVMSG #esoteric :Better than watching paint dry. < 1459777659 0 :Sgeo!~Sgeo@ool-18e43ef5.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1459777660 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :especially when it's buggy. < 1459777727 0 :zgrep!sid43445@gateway/web/irccloud.com/x-oevbiojbkxyvopgg PRIVMSG #esoteric :fizzie: Depends on the paint. < 1459778042 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1459778100 0 :AnotherTest!~turingcom@94-224-66-163.access.telenet.be JOIN :#esoteric < 1459778903 0 :J_Arcane!~chatzilla@37-219-217-180.nat.bb.dnainternet.fi JOIN :#esoteric < 1459779796 0 :I!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1459779819 0 :I!?@? NICK :Guest81305 < 1459779974 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no QUIT :Quit: Later < 1459779995 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :hmm, my garden is growing aninmals. a man, a turtle, a doe? < 1459780004 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :int-e: yep < 1459780012 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Remote host closed the connection < 1459781741 0 :lleu!~gnomebad@unaffiliated/lleu QUIT :Quit: That's what she said < 1459781833 0 :p34k!~p34k@nat-wh-wz4-12.rz.uni-karlsruhe.de JOIN :#esoteric < 1459781957 0 :rdococ!~rdococ@unaffiliated/octagonfly JOIN :#esoteric < 1459782159 0 :AnotherTest!~turingcom@94-224-66-163.access.telenet.be QUIT :Ping timeout: 276 seconds < 1459782177 0 :AnotherTest!~turingcom@2a02:1811:d22:cc00:101f:cc64:e91a:a76c JOIN :#esoteric < 1459782729 0 :lambda-11235!~lambda-11@47-208-113-50.erkacmtk03.res.dyn.suddenlink.net JOIN :#esoteric < 1459783073 0 :spiette!~spiette@x-132-204-251-254.xtpr.umontreal.ca JOIN :#esoteric < 1459783267 0 :jaboja!~jaboja@vps.jaboja.pl QUIT :Ping timeout: 260 seconds < 1459783305 0 :Kaynato!~Aedile@casewireless03.CWRU.Edu JOIN :#esoteric < 1459783654 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1459783920 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Ping timeout: 250 seconds < 1459784338 0 :Phantom_Hoover!89cde985@gateway/web/freenode/ip.137.205.233.133 JOIN :#esoteric < 1459784875 0 :lleu!~gnomebad@unaffiliated/lleu JOIN :#esoteric < 1459787023 0 :Kaynato!~Aedile@casewireless03.CWRU.Edu QUIT :Ping timeout: 244 seconds < 1459787485 0 :Phantom_Hoover!89cde985@gateway/web/freenode/ip.137.205.233.133 QUIT :Quit: Page closed < 1459787816 0 :Kaynato!~Aedile@casewireless02.CWRU.Edu JOIN :#esoteric < 1459788537 0 :lynn!uid154965@gateway/web/irccloud.com/x-lhujwqkbyrjybxgu PRIVMSG #esoteric :`? continuous chess < 1459788565 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :continuous chess? ¯\(°​_o)/¯ < 1459788580 0 :lynn!uid154965@gateway/web/irccloud.com/x-lhujwqkbyrjybxgu PRIVMSG #esoteric :Where are the rules for that? It was so good < 1459788862 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :esochess < 1459788914 0 :lynn!uid154965@gateway/web/irccloud.com/x-lhujwqkbyrjybxgu PRIVMSG #esoteric :`? chess < 1459788921 0 :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. < 1459789010 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :??? < 1459790098 0 :Kaynato!~Aedile@casewireless02.CWRU.Edu QUIT :Ping timeout: 252 seconds < 1459790185 0 :earendel!~earendel@unaffiliated/earendel JOIN :#esoteric < 1459790460 0 :gniourf!~gniourf@pdm-l03.insa-lyon.fr QUIT :Quit: Leaving < 1459790814 0 :Kaynato!~Aedile@casewireless03.CWRU.Edu JOIN :#esoteric < 1459791050 0 :XorSwap!~XorSwap@wpa-6-315.cc.umanitoba.ca JOIN :#esoteric < 1459791902 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :It's a good wisdom, a nice mix of facts and fiction. < 1459791923 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`wisdom < 1459791944 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :agdq/AGDQ is Awesome Games Done Quick, an annual video games speedrunning event for charity ever winter, see http://gamesdonequick.com and https://gamesdonequick.com/tracker/events/ < 1459791951 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`wisdom < 1459791954 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :catamorphism/A catamorphism is when you recurse too greedily and too deep. < 1459791969 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :http://codu.org/logs/_esoteric/2013-08-27.txt has some more information about chess < 1459794322 0 :XorSwap!~XorSwap@wpa-6-315.cc.umanitoba.ca QUIT :Ping timeout: 252 seconds < 1459794497 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1459794715 0 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1459794773 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Ping timeout: 244 seconds < 1459794850 0 :Kaynato!~Aedile@casewireless03.CWRU.Edu QUIT :Ping timeout: 252 seconds < 1459795089 0 :hppavilion[1]!~DevourerO@74-114-87-86.dynamic.asdk12.org JOIN :#esoteric < 1459795181 0 :hppavilion[1]!~DevourerO@74-114-87-86.dynamic.asdk12.org PRIVMSG #esoteric :rdococ: Hi < 1459795221 0 :XorSwap!XorSwap@wpa-6-315.cc.umanitoba.ca JOIN :#esoteric < 1459795298 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :hppavilion[1]: hi < 1459795310 0 :hppavilion[1]!~DevourerO@74-114-87-86.dynamic.asdk12.org PRIVMSG #esoteric :rdococ: I've been implementing Gryphon < 1459795321 0 :hppavilion[1]!~DevourerO@74-114-87-86.dynamic.asdk12.org PRIVMSG #esoteric :rdococ: You load os.mem and it starts executing from location 0xF0000 < 1459795354 0 :hppavilion[1]!~DevourerO@74-114-87-86.dynamic.asdk12.org PRIVMSG #esoteric :(os.mem is a binary file holding the bytes of non-volatile memory for Gryphon) < 1459795361 0 :hppavilion[1]!~DevourerO@74-114-87-86.dynamic.asdk12.org PRIVMSG #esoteric :(You write the OS at 0xF0000 to make things work) < 1459795391 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :ok < 1459795416 0 :hppavilion[1]!~DevourerO@74-114-87-86.dynamic.asdk12.org PRIVMSG #esoteric :rdococ: There's no assembly yet though < 1459795425 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :hmm < 1459795432 0 :hppavilion[1]!~DevourerO@74-114-87-86.dynamic.asdk12.org PRIVMSG #esoteric :rdococ: And no memory protection, though that might be a thing the OS does (I'm not sure how that works) < 1459795442 0 :hppavilion[1]!~DevourerO@74-114-87-86.dynamic.asdk12.org PRIVMSG #esoteric :So you can write self-modifying code if you're feeling diabolical < 1459795480 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :good idea < 1459795484 0 :XorSwap!XorSwap@wpa-6-315.cc.umanitoba.ca QUIT :Ping timeout: 244 seconds < 1459795497 0 :hppavilion[1]!~DevourerO@74-114-87-86.dynamic.asdk12.org PRIVMSG #esoteric :rdococ: No, that's a bad idea. A bad, bad idea < 1459795513 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :an esoteric idea? < 1459795516 0 :hppavilion[1]!~DevourerO@74-114-87-86.dynamic.asdk12.org PRIVMSG #esoteric :rdococ: I'm still trying to figure out how IO is accomplished. I can't take advantage of anything the host OS has, so I'm thinking pixel drawing < 1459795526 0 :hppavilion[1]!~DevourerO@74-114-87-86.dynamic.asdk12.org PRIVMSG #esoteric :rdococ: No, it's been done before, and it's objectively evil < 1459795543 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :objectively? < 1459795552 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :how is self modifying code objectively evil? < 1459795635 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :
ACTION is confuse
< 1459795651 0 :hppavilion[1]!~DevourerO@74-114-87-86.dynamic.asdk12.org PRIVMSG #esoteric :rdococ: Because you can't read it before compiling without deep thought < 1459795688 0 :hppavilion[1]!~DevourerO@74-114-87-86.dynamic.asdk12.org PRIVMSG #esoteric :rdococ: If the code changes at runtime, then (A) You can't be sure if what you're reading is everything and (B) Compilation becomes a LOT more difficult, because things might change that you weren't expecting < 1459795701 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :true < 1459795863 0 :Kaynato!~Aedile@casewireless03.CWRU.Edu JOIN :#esoteric < 1459796580 0 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :Self-modifying code is OK, although it depend on the instruction set and programming language in use; in some cases it is bad or impossible. However in many cases it can probably be avoided (especially should be if the program is stored in ROM) < 1459796630 0 :Kaynato!~Aedile@casewireless03.CWRU.Edu QUIT :Ping timeout: 244 seconds < 1459797090 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :zzo38: or when the cpu is modern enough that modifying instructions will cause lots of cache and instruction decoding penalties, and/or require a jump or even special insn cache flush instructions to make sure the cpu notices, or when the computer is multi-tasked so the same mapped executable is ran by multiple processes or threads running concurrently. < 1459797154 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :The 6502 required self-modifying code, but at that time you didn't have reasons to avoid it. Now we do have very good reasons to avoid self-modifying code, but luckily the x86 doesn't require you to use it. < 1459797160 0 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :In the first case, I consider that to be a bad design. In the last case, the executable should have a flag somewhere to indicate if it needs to be mapped separately or not. < 1459797198 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :zzo38: they do have a flag. they tell that the executable section is mapped read-only. < 1459797259 0 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :OK, so, normally it should map read-only and shareable, then. < 1459797325 0 :hppavilion[1]!~DevourerO@74-114-87-86.dynamic.asdk12.org QUIT :Ping timeout: 252 seconds < 1459797520 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :zzo38: there's probably a shareable flag too, not only access control flags < 1459797541 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :that's how mmap works, I don't know how ELF works with executables and dynamic libraries < 1459798301 0 :Kaynato!~Aedile@casewireless03.CWRU.Edu JOIN :#esoteric < 1459799314 0 :hppavilion[1]!~DevourerO@74-114-87-86.dynamic.asdk12.org JOIN :#esoteric < 1459800402 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1459800632 0 :Kaynato!~Aedile@casewireless03.CWRU.Edu QUIT :Ping timeout: 244 seconds < 1459801038 0 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :Currently the wide banks of UTCE are all Japanese, although possibly one or two wide banks could be allocated for astrology if there is room. < 1459801421 0 :Kaynato!~Aedile@casewireless03.CWRU.Edu JOIN :#esoteric < 1459801465 0 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :(Maybe you have a better idea though) < 1459801540 0 :Caesura!~Aedile@casewireless03.CWRU.Edu JOIN :#esoteric < 1459801747 0 :Kaynato!~Aedile@casewireless03.CWRU.Edu QUIT :Ping timeout: 252 seconds < 1459801786 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1459801828 0 :lambda-11235!~lambda-11@47-208-113-50.erkacmtk03.res.dyn.suddenlink.net QUIT :Quit: Bye < 1459802024 0 :impomatic!~impomatic@179.236.200.146.dyn.plus.net JOIN :#esoteric < 1459802038 0 :impomatic!~impomatic@179.236.200.146.dyn.plus.net PRIVMSG #esoteric :Hi :-) < 1459802064 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Ping timeout: 268 seconds < 1459802105 0 :zzo38!~zzo38@24-207-50-123.eastlink.ca QUIT :Remote host closed the connection < 1459802751 0 :atrapado!~atrapado@unaffiliated/atrapado JOIN :#esoteric < 1459802961 0 :hppavilion[1]!~DevourerO@74-114-87-86.dynamic.asdk12.org PRIVMSG #esoteric :impomatic: Hi! < 1459802967 0 :hppavilion[1]!~DevourerO@74-114-87-86.dynamic.asdk12.org PRIVMSG #esoteric :rdococ: Here's a project I started a while ago < 1459802978 0 :hppavilion[1]!~DevourerO@74-114-87-86.dynamic.asdk12.org PRIVMSG #esoteric :
ACTION waits for rdococ to confirm that they are present
< 1459803264 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1459803369 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`? agdq < 1459803383 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :AGDQ is Awesome Games Done Quick, an annual video games speedrunning event for charity ever winter, see http://gamesdonequick.com and https://gamesdonequick.com/tracker/events/ < 1459803406 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`` sed -i 's/ever/every/' wisdom/agdq < 1459803425 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1459803688 0 :Lord_of_Life!Elite12246@gateway/shell/elitebnc/x-zyizzosvxfscgxzw QUIT :Excess Flood < 1459803821 0 :Lord_of_Life!Elite12246@gateway/shell/elitebnc/x-izhtzeiallpumwmc JOIN :#esoteric < 1459803823 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :the moderators at the yafgc forum aren't the most prompt at deleting spam. although they do get to it eventually. < 1459804057 0 :Caesura!~Aedile@casewireless03.CWRU.Edu QUIT :Ping timeout: 252 seconds < 1459804239 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :hppavilion[1] < 1459804243 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :I am not present. I am rdococ. < 1459804392 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :hppavilion[1] < 1459804750 0 :hppavilion[1]!~DevourerO@74-114-87-86.dynamic.asdk12.org QUIT :Ping timeout: 252 seconds < 1459804753 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :... < 1459804775 0 :hppavilion[1]!~DevourerO@74-114-87-86.dynamic.asdk12.org JOIN :#esoteric < 1459804881 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :hppavilion[1] < 1459804884 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :I am rdococ, not present < 1459804950 0 :hppavilion[1]!~DevourerO@74-114-87-86.dynamic.asdk12.org PRIVMSG #esoteric :rdococ: I saw < 1459804995 0 :hppavilion[1]!~DevourerO@74-114-87-86.dynamic.asdk12.org PRIVMSG #esoteric :rdococ: I'm making a language called Archae, which is an anti-tarpit with no documentation. < 1459805011 0 :hppavilion[1]!~DevourerO@74-114-87-86.dynamic.asdk12.org PRIVMSG #esoteric :rdococ: You can access it only via the internet, and the goal is to figure out how it works < 1459805035 0 :hppavilion[1]!~DevourerO@74-114-87-86.dynamic.asdk12.org PRIVMSG #esoteric :rdococ: Would you like to help me design it < 1459805036 0 :hppavilion[1]!~DevourerO@74-114-87-86.dynamic.asdk12.org PRIVMSG #esoteric :? < 1459805117 0 :hppavilion[1]!~DevourerO@74-114-87-86.dynamic.asdk12.org PRIVMSG #esoteric :(Are there dual combinators? Like k = λxy.x, so ʞ = ʞx.xy < 1459805128 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :hmm < 1459805136 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :an anti-tarpet? < 1459805138 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :tarpit* < 1459805171 0 :hppavilion[1]!~DevourerO@74-114-87-86.dynamic.asdk12.org PRIVMSG #esoteric :rdococ: http://esolangs.org/wiki/Uniquode < 1459805178 0 :hppavilion[1]!~DevourerO@74-114-87-86.dynamic.asdk12.org PRIVMSG #esoteric :rdococ: That's an example of an anti-tarpit < 1459805213 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :hnn < 1459805242 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :how about duel combinators < 1459805254 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :core war for lambda calculus < 1459805255 0 :hppavilion[1]!~DevourerO@74-114-87-86.dynamic.asdk12.org PRIVMSG #esoteric :(It doesn't make much sense for k, as where does the y come from for ʞ, but for s it makes a bit more sense- ~Sxz(yz) = xyz) < 1459805260 0 :hppavilion[1]!~DevourerO@74-114-87-86.dynamic.asdk12.org PRIVMSG #esoteric :shachaf: Oooh, sounds fun < 1459805275 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :combinatoral logic? < 1459805365 0 :hppavilion[1]!~DevourerO@74-114-87-86.dynamic.asdk12.org PRIVMSG #esoteric :rdococ: You mean Combinatory logic? < 1459805377 0 :hppavilion[1]!~DevourerO@74-114-87-86.dynamic.asdk12.org PRIVMSG #esoteric :rdococ: You do get PMs, don't you? < 1459805432 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :yes < 1459805435 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :I see your PM < 1459805438 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :but it doesn't make a sound < 1459805440 0 :hppavilion[1]!~DevourerO@74-114-87-86.dynamic.asdk12.org PRIVMSG #esoteric :rdococ: OK, because you didn't respond < 1459805443 0 :hppavilion[1]!~DevourerO@74-114-87-86.dynamic.asdk12.org PRIVMSG #esoteric :Oh < 1459805443 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :unless it mentions my name < 1459805459 0 :hppavilion[1]!~DevourerO@74-114-87-86.dynamic.asdk12.org PRIVMSG #esoteric :rdococ: So answer? Do you want to help design Archae? < 1459805485 0 :hppavilion[1]!~DevourerO@74-114-87-86.dynamic.asdk12.org PRIVMSG #esoteric :rdococ: We can design it on a normal temp channel so that it will alert you < 1459805554 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :maybe < 1459805559 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :nah, just use my name < 1459805669 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :hmm < 1459805672 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :so an anti-tarpit < 1459805697 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :so should it be easy to code or hard to code? < 1459805733 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :it should overwhelm you with possibilities so it's impossible to know where to begin < 1459805758 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :okay < 1459805767 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :so take Lua, make a billion massive libraries, done < 1459805776 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :or virtually any other language < 1459805787 0 :hppavilion[1]!~DevourerO@74-114-87-86.dynamic.asdk12.org PRIVMSG #esoteric :rdococ: No, it's like Uniquode < 1459805799 0 :hppavilion[1]!~DevourerO@74-114-87-86.dynamic.asdk12.org PRIVMSG #esoteric :rdococ: It's a character-by-character thing < 1459805805 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :hm < 1459805806 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :okay < 1459805812 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :so how many characters can we use? < 1459805849 0 :hppavilion[1]!~DevourerO@74-114-87-86.dynamic.asdk12.org PRIVMSG #esoteric :rdococ: Any unicode character is up for grabs, though we should avoid CJK < 1459805856 0 :hppavilion[1]!~DevourerO@74-114-87-86.dynamic.asdk12.org PRIVMSG #esoteric :rdococ: Basically, the Unicode that is relevant to English speakers < 1459805876 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :... < 1459805877 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :idk < 1459805880 0 :hppavilion[1]!~DevourerO@74-114-87-86.dynamic.asdk12.org PRIVMSG #esoteric :rdococ: Most english speakers can't tell the difference between CJK characters at a glance, so we won't be using much of those < 1459805912 0 :hppavilion[1]!~DevourerO@74-114-87-86.dynamic.asdk12.org PRIVMSG #esoteric :rdococ: We'll just do it a block at a time < 1459805933 0 :hppavilion[1]!~DevourerO@74-114-87-86.dynamic.asdk12.org PRIVMSG #esoteric :rdococ: I think we should use a temp channel so that it won't be spoiled for anyone else on this channel < 1459805944 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :k < 1459805946 0 :hppavilion[1]!~DevourerO@74-114-87-86.dynamic.asdk12.org PRIVMSG #esoteric :rdococ: /join ##zodiac < 1459805953 0 :hppavilion[1]!~DevourerO@74-114-87-86.dynamic.asdk12.org PRIVMSG #esoteric :(That's a channel I own but rarely use) < 1459806016 0 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :How do you handle the feeling of hopelessness when the easiest bit of a module you have an exam for in 11 days seems so hard < 1459806035 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Taneb: is it a d-module? < 1459806038 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :by saying your dog ate it < 1459806051 0 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :I'm afraid it's a linear optimization and game theory module < 1459806081 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :differential operators are linear < 1459806086 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :so it's basically the same thing < 1459806096 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :well, usually linear < 1459806133 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :what's a "d-module"? < 1459806140 0 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :`? d-module < 1459806153 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :D-modules are just modules over the ring of differential operators. Taneb invented them. < 1459806176 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Taneb: what sort of things are linear optimization and game theory about < 1459806190 0 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :Game theory, and also linear optimization < 1459806217 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i don't know much about those topics < 1459806220 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :what parts are hard < 1459806287 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :linear optimization isn't hard, it's very simplex < 1459806388 0 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :Unfortunately, the bit I'm struggling with is the background of what non-linear optimization looks like < 1459806395 0 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :With lagrangian mutlipliers and what have you < 1459806760 0 :Caesura!~Aedile@cpe-173-88-230-28.neo.res.rr.com JOIN :#esoteric < 1459806903 0 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1459807819 0 :hppavilion[1]!~DevourerO@74-114-87-86.dynamic.asdk12.org QUIT :Ping timeout: 252 seconds < 1459807865 0 :hppavilion[1]!~DevourerO@74-114-87-86.dynamic.asdk12.org JOIN :#esoteric < 1459808053 0 :shikhin!?@? NICK :korv < 1459808066 0 :korv!?@? NICK :shikhin < 1459808149 0 :hppavilion[1]!~DevourerO@74-114-87-86.dynamic.asdk12.org QUIT :Ping timeout: 252 seconds < 1459808158 0 :iconmaster!~iconmaste@129.21.121.194 JOIN :#esoteric < 1459808484 0 :idris-bot!~idris-bot@dslb-178-006-010-224.178.006.pools.vodafone-ip.de JOIN :#esoteric < 1459808984 0 :J_Arcane_!~chatzilla@37-219-217-180.nat.bb.dnainternet.fi JOIN :#esoteric < 1459809062 0 :J_Arcane!~chatzilla@37-219-217-180.nat.bb.dnainternet.fi QUIT :Ping timeout: 244 seconds < 1459809069 0 :J_Arcane_!?@? NICK :J_Arcane < 1459809400 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I just LOVE helpful error messages. "libdvdread: Can't open /dev/dvd for reading" ... well, turns out it was trying /dev/rdvd ... thanks! < 1459809481 0 :AnotherTest!~turingcom@2a02:1811:d22:cc00:101f:cc64:e91a:a76c QUIT :Quit: ZNC - http://znc.in < 1459809672 0 :Guest81305!~nycs@gw.hq.meetup.com QUIT :Quit: This computer has gone to sleep < 1459809765 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :what < 1459809769 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :how did it get them mixed up < 1459810434 0 :boily!~alexandre@96.127.201.149 JOIN :#esoteric < 1459810975 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no QUIT :Quit: Nite < 1459811037 0 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1459811145 0 :atrapado!~atrapado@unaffiliated/atrapado QUIT :Quit: Leaving < 1459811419 0 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :`wisdom < 1459811432 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :mips/MIPS Is Popular in Schools. < 1459811477 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`wisdom < 1459811481 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :category-helpdesk/category-helpdesk is a helpdesk with identity and composition. This channel isn't it. < 1459811497 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`` culprits wisdom/category-helpdesk < 1459811507 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :int-e ais523 oerjan elliott Bike FreeFull boily < 1459811522 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :pm functionality isn't working? < 1459811845 0 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :I created that one? < 1459811851 0 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :rdochelloc. pm? < 1459811857 0 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :hellochef. < 1459811894 0 :Sgeo!~Sgeo@ool-18e43ef5.dyn.optonline.net JOIN :#esoteric < 1459812740 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :rdhelloc < 1459813225 0 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :rdhelloc it'll be from now, it is. < 1459813395 0 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :fungot: have you ever porthelloed someone? < 1459813396 0 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :boily: mr president, commissioner, i would like to refer to mrs wallis' point regarding quite a lot of european industries happy. i regard this as being a provisional situation and a step backwards in terms of social security systems or, properly speaking, pension schemes. i share the honourable members are perfectly aware, that will continue to be strong with the weak and weak with the strong, which enables us to achieve a bet < 1459813558 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net JOIN :#esoteric < 1459813579 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :Here's something I started thinking of that's probably been done before < 1459813583 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1459813588 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :Hedwig's Little Theory of Reduction Machines < 1459813605 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :Reduction is the process of turning something into something simpler < 1459813648 0 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :Hedwig? < 1459813652 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :An automaton is said to be more complex than another automaton under a system if evaluating the the former produces the latter, but reducing the latter never produces the former < 1459813657 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :boily: Hedwig Notta. < 1459813665 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :boily: It's the alias I'm sticking with < 1459813742 0 :spiette!~spiette@x-132-204-251-254.xtpr.umontreal.ca QUIT :Quit: :qa! < 1459813743 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :Reduction Machines is just a fancy way of saying "this generalization of cellular automata I'm making up" < 1459813747 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :boily: Does this sound like something you've heard of? < 1459813781 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :The generalization defines things like static neighborhoods vs. static-individualized neighborhoods vs. dynamic neighborhoods < 1459813786 0 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :vaguely like lambda calculus' eta reduction, but otherwise nope. my mind's a 0x20. < 1459813798 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :boily: That does sound right < 1459813849 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :A reduction machine is cellular if its neighborhood is static or static-individualized. Dynamic-neighborhood automata cannot be cellular. < 1459813866 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Ping timeout: 276 seconds < 1459813960 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :(A machine has a static neighborhood if all of its states have the same neighborhood that remains constant at all points in time, a static-individualized neighborhood if the states have different neighborhoods, but they all remain constant, and a dynamic neighborhood if part of a reduction step involves changing the neighborhood of the current cell) < 1459814000 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :So Conway's Game of Life where each individual cell is a node on a graph and that node can connect to other nodes if certain conditions arise has a dynamic neighborhood < 1459814050 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :boily: It's probably related to eta reduction by virtue of being Turing-complete. Also, it was originally inspired by a functional programming language I was designing, so... < 1459814122 0 :p34k!~p34k@nat-wh-wz4-12.rz.uni-karlsruhe.de QUIT :