00:07:18 waht about real number 00:22:51 -!- pikhq has joined. 00:35:31 -!- oerjan has joined. 00:37:42 [wiki] [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=51202&oldid=51186 * Angrykoala * (+162) 00:38:50 [wiki] [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=51203&oldid=51202 * Angrykoala * (+89) 00:39:31 [wiki] [[ChuckScript]] N https://esolangs.org/w/index.php?oldid=51204 * Angrykoala * (+3760) Created page with "ChuckScript is an [[esoteric programming language]] designed by Andrés Ortiz based on the concepts of [[Unary]], where all the code is written using only zeroes. The language..." 00:43:01 % not being a Prelude function ruins my golfing attempt :( 00:43:08 :( 00:43:40 (i was going to cheat on the input format) 00:43:42 `metar AFF 00:43:47 lambdabot: @metar EDMO 00:43:47 No result. 00:43:52 Oh durp 00:43:55 @metar AFF 00:44:13 Or does it need KAFF? 00:44:24 `airport AFF 00:44:25 Oberpfaffenhofen (OBF, EDMO) \ Graaff Reinet (?, FAGR) \ Muzaffarabad (MFG, OPMF) \ Muzaffarpur (?, VEMZ) \ Flagstaff Pulliam Airport (FLG, KFLG) \ Schaffen Diest (?, ?) \ Safford Regional Airport (SAD, KSAD) 00:44:34 `airport KAFF 00:44:35 No output. 00:44:40 Huh. 00:45:02 it seems not to have it at all. 00:45:22 KAFF is not exactly a minor airport. 00:45:32 That's the Air Force Academy's airfield. 00:45:44 `airport force 00:45:45 Kirtland Air Force Base (IKR, KIKR) \ Hickam Air Force Base (?, PHIK) 00:46:00 @metar KAFF 00:46:00 KAFF 042358Z AUTO 24016G22KT 10SM CLR 16/M22 A2991 RMK AO2 SLP109 T01591217 10183 20107 55001 00:46:09 i suppose no one added it 00:46:10 Welp, lambdabot can find it at least. 00:46:24 Granted there's not that many people that actually fly in or out of it. 00:46:47 i think someone mentioned HackEgo's list being crowdsourced 00:47:28 `` ls share/ai* 00:47:30 share/airports.dat 00:47:50 `` url share/ai* 00:47:51 http://hackego.esolangs.org/fshg/index.cgi/file/tip/share/airports.dat 00:54:50 Now I made Hamster archive program on JavaScript; can be use with file and with memory, and can be use both reading and writing. 00:57:53 (The program is simple, because Hamster archive is a simple format, compared to tape archive and so on) 01:13:33 -!- hppavilion1 has joined. 01:31:22 -!- heroux has joined. 01:52:41 zzo38: Hamster archive file format? 02:08:39 It is consist of zero or more lumps; each lump consist of the null-terminated name, the 32-bit PDP-order data size, and then the data. 02:11:13 PDP-ordered? big endian or little endian unsigned int? 02:11:22 oerjan: pikhq: Yes, the list is from http://openflights.org/data.html 02:11:43 <\oren\> > 23*20 02:11:46 460 02:11:51 Zarutian: "PDP-endian" usually refers to neither. 02:11:54 <\oren\> > 23**20 02:11:57 1.7161558313345862e27 02:12:34 <\oren\> binary coded base 23 02:12:46 Zarutian: It is a 32-bit big-endian combination of two 16-bit little-endian parts. 02:13:00 https://en.wikipedia.org/wiki/Endianness#Middle-endian 02:13:07 fizzie: oh, that 02:14:06 so the most significant 16-bit word is first but inside each 16-bit the least significant byte is first? 02:14:14 Yes. 02:14:22 so ASCII or EBDIC? 02:14:27 the filename that is 02:14:39 The lump names are ASCII. 02:14:47 or is it something like PETSCI. 02:14:50 alright 02:15:39 the datapart is counted in 8 bit bytes? 02:15:39 (I don't know why it uses PDP-endian, but it does.) 02:15:52 Zarutian: Yes. 02:16:59 <\oren\> WAIT. ALL THIS TIME I DIDN"T HAVE 猫 IN MY FONT?!?!?! AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA 02:19:29 so, the name can contain full relative paths in the archive? 02:20:54 Zarutian: It can, although normally it is a single DOS filename (but it can be longer if needed). 02:28:00 -!- moonythedwarf has quit (Read error: Connection reset by peer). 02:29:22 -!- Zarutian has quit (Quit: Zarutian). 02:42:34 ^ord Ø 02:42:34 195 152 02:42:36 heh 02:43:00 i can save 2 bytes by using "Ø" instead of "\128" 02:43:39 (Ø being the cutest letter to use) 02:45:01 oh, vim shows byte and character count separately when they differ 02:48:01 Seems reasonable. 02:48:13 \oren\: Of all the things. 02:48:49 zzo38: Any reason for PDP-endian other than humor? 02:51:11 pikhq: I don't know; I didn't invent it. 02:51:23 I realized shortly after asking. 02:52:36 It looks like the format was designed by a 14 year old, which leads me to believe that the humor value was the primary reason. 03:09:49 -!- hppavilion1 has quit (Ping timeout: 240 seconds). 03:36:47 -!- augur has quit (Remote host closed the connection). 03:43:31 -!- hppavilion1 has joined. 04:10:40 I really want a way to make my mouse use polar coordinates instead of normal Cartesian ones 04:23:47 -!- xkapastel has quit (Quit: Connection closed for inactivity). 05:58:03 wow, i had discarded that "Ø" for something simpler of the same length, but now I can make something _else_ shorter by putting it back... 05:58:26 oh wait stupid unicode 05:58:35 it only saves a character, not a byte 05:59:25 (and i'm at 101) 05:59:40 -!- adu has joined. 06:30:37 -!- adu has quit (Quit: adu). 06:40:35 `? football 06:40:39 A football is a ball made of feet. It was rdocscovered in an old burial site near a graveyard full of footless zombies. 06:52:39 If you make a Chaingate where the f is one step of a Underload program, then the resulting Chaingate-Underload is a superset of Underload, I think? 06:57:02 [wiki] [[Brainfuck, but every + is replaced with the bee movie script]] N https://esolangs.org/w/index.php?oldid=51205 * Jfb * (+2566) Created page 06:58:08 [wiki] [[Joke language list]] https://esolangs.org/w/index.php?diff=51206&oldid=51114 * Jfb * (+67) /* Brainfuck derivatives */ 06:59:28 [wiki] [[Brainfuck, but every + is replaced with the bee movie script]] M https://esolangs.org/w/index.php?diff=51207&oldid=51205 * Jfb * (-51) 07:00:42 [wiki] [[Beefuck]] N https://esolangs.org/w/index.php?oldid=51208 * Jfb * (+74) redirect 07:00:59 int-e: OK, I got past the mountain king. 07:03:59 zzo38: hm good point 07:04:26 that makes Chaingate trivially TC 07:06:34 @tell ais523 zzo38 points out that if your f implements the state transitions of a programming language, then Chaingate is obviously a superset of it. 07:06:34 Consider it noted. 08:00:23 -!- augur has joined. 08:17:50 `? b_jonas 08:17:53 b_jonas egy nagyon titokzatos személy. Hollétéről egyelőre nem ismertek. 08:18:03 oh right 08:46:09 -!- oerjan has quit (Quit: Nite). 09:11:12 -!- AnotherTest has joined. 09:25:13 wth 09:25:18 Brainfuck, but every + is replaced with the bee movie script? 09:26:07 what we really need is 09:26:27 Brainfuck, but at every - the interpreter goes faster 09:31:47 -!- gk_1wm_su has joined. 09:33:21 shachaf: did you find the credits? 09:34:30 int-e: You mean the audio in the secret area? 09:35:10 yes 09:35:17 Yes. 09:35:41 Did you get there via restart after the normal ending, or the other method? 09:35:51 -!- gk_1wm_su has quit (K-Lined). 09:36:16 the other method 09:36:41 the normal ending is too Zen for me, I don't like it :P 09:37:10 Ah, so you defeated the mountain king too. 09:37:25 no I did not? hmmmm. 09:37:42 maybe there's more. 09:37:54 anyway, not going to boot into windows today 09:38:12 To get to the secret area gur tngr arrqf gb or pybfrq. 09:38:46 yes. but you don't need to defeat the mountain king to do that. 09:38:54 Right, you can restart instead. 09:38:59 nor restart 09:39:28 Then how? I only found the method to get to that state after finishing the challenge. 09:39:42 Maybe I just didn't look carefully enough? 09:40:03 lbh whfg jnyx ol gur tenzzbcubar gb gur pbqr 09:40:14 Oh. 09:40:22 I didn't notice that there was a path there until I finished it. 09:40:35 I figured it only opened later. 09:40:51 OK then. 09:41:21 So you get much less for finishing it than I thought. 09:41:57 I'm still missing a cinema code, hmm 09:42:08 You get one when you finish it. 09:42:15 okay. 09:43:00 But it's an hour long or something? I didn't watch it. 09:43:30 I need to come up with a new paradigm 09:43:53 did you figure out that you can jump through the movies? 09:44:26 Through the screen? 09:44:45 I didn't realize that. I saw that you can see from behind the screen. 09:44:54 no, not through the screen 09:45:19 I mean, if there's a movie 10 minutes loing and you want to start at the 5th, that's possible. 09:45:43 Oh, that. 09:45:45 (and I basically found out about that by accident) 09:45:54 (though it made perfect sense afterwards) 09:45:55 Yes, if you use the controls on the left. 09:46:25 Does it make perfect sense? I think those are the only "puzzles" in the game that let you terminate mid-line. 09:46:42 (Maybe the boat does too? But I can't think of other examples.) 09:47:12 no, you can't terminate the boat in the middle either... that would be convenient sometimes. Well, you can make it stop of course. 09:47:39 The boat has many secrets. 09:48:02 it makes perfect sense afterwards because it acts like a scrollbar. It's hard to discover because it doesn't follow the ordinary puzzle logic. 09:48:29 The boat got me from +1 to about +10, and I'm not sure I figured everything out, probably missed a few. 09:49:44 You still haven't said what your +1 was. 09:50:02 below the desert laser 09:56:26 onfvpnyyl vg unq gb or fbzrguvat znqr pbzcyrgryl bhg bs znpuvarel, ahqtvat zr gbjneqf ybbxvat ng gur ynaqfpncr... naq yngre ersyrpgvbaf, gbb. 09:57:58 shachaf: btw, when you wrote "The Poochness" was that referring to the dog near the start? 09:58:22 No, I just wrote the word "pooch". 09:58:27 (I found that one fairly late) 09:58:29 There's a dog near the start? 09:58:59 it's in a (pointless as far as I could see) cul-de-sac 09:59:45 fsvo "near" 10:02:22 There are all sorts of bonuses in the beginning area. 10:02:53 there are a few that I haven't figured out yet there 10:03:02 there's a rather cute one *right* at the start 10:03:10 Yes. 10:04:29 somehow, now that I know that there are over a hundred of them, these don't seem much of spoilers anymore, hmm. 10:05:39 My friend is in the mountain and apparently hasn't found a single one yet. 10:06:04 I only found one, I just didn't look for them. I focused on puzzles and finding the back entries. 10:07:08 but there should be dozens there 10:07:13 My first one was outside the desert building. 10:07:32 Ah, no, I mean, he hasn't found one in the whole game so far. 10:07:39 oh. 10:08:03 At least as far as I can surmise without asking spoiler questions. 10:08:05 well, I can actually see that happening. 10:09:03 -!- augur has quit (Remote host closed the connection). 10:14:19 anyway I still wish that game had some sort of story 10:17:52 (going beyond "oh this was a long dream and here I am waking up from it") 10:22:27 adsf 10:22:27 asdf 10:22:30 I'm bored 10:22:36 need to come up with a new paradigm 10:24:36 ... 10:24:40 no ideas? 10:25:39 Did you figure out the long rectangular puzzle under the desert without brute force? 10:27:05 yay 10:28:11 shachaf: two levels underground on the way to the laser? 10:28:35 or is that three, hmm. 10:30:23 (I'm not sure how long "long" is. What I have in mind is 3 rows, 8 columns or so) 10:30:35 (if that's the one, I didn't use brute force there) 10:31:14 I think I used brute force for one side of it. 10:34:26 ... 10:35:00 rdococ: "Think of a new paradigm" really isn't how this works. Paradigm shifts are usually achieved in small incremental steps, or by some brilliant insight into connecting two seemingly unrelated ideas. 10:35:21 probably. 10:35:27 but who cares, I've always made no sense. 10:35:38 oh that was deliberate. 10:35:42 good job, carry on. 10:46:46 ⇒⇒ 10:48:15 grrrr. https://www.utwente.nl/en/news/!/2017/3/313543/electronic-energy-meters-false-readings-almost-six-times-higher-than-actual-energy-consumption ... where is the link to the actual study so that I can find out which work load caused that 582% error? 10:49:00 (I mean I'm used to "journalists" not linking to their sources but this is a university website. sigh.) 10:50:43 (actually they do give the publisher and title of the study. why no electronic link though... is it accepted for publication, but not yet online?) 10:51:58 https://www.sciencedaily.com/releases/2017/03/170303180139.htm has an electronic link. 10:52:10 If you want to purchase the document. 11:00:56 thanks, university has a subscription. 11:08:24 does the 'unless' phrase have a character like 'therefore' does? 11:11:25 . o O ( The blue color of the sky is a result of scattered sunlight. Therefore, unless we assume that the sun is shining, the sky will not be blue. ) 11:13:47 The two words don't behave the same way at all. 11:19:08 meh 11:19:32 what about an assumption? 11:19:48 so the nasty workload seems to be a dimmed (pulse-modulated) LED with the dimmer triggered at 75% of each half period; they have a huge spike in drawn current at that point, decreasing very quickly. 11:20:41 rdococ: you're just asking that for sake of asking a question, aren't you. 11:21:01 ... 11:21:05 no 11:21:18 I am trying out syntax for a new, crappier language 11:24:07 -!- Vorpal has quit (Quit: ZNC - http://znc.sourceforge.net). 11:25:46 -!- augur has joined. 12:14:46 -!- Jafet has quit (Ping timeout: 260 seconds). 12:24:09 \zxc 12:25:03 -!- Jafet has joined. 12:30:49 -!- hppavilion1 has quit (Ping timeout: 240 seconds). 12:30:51 -!- LKoen has joined. 12:39:42 hm 12:40:22 x is a lambda expression. \a.x is a lambda expression if x is one. 12:40:24 I think. 12:40:36 [wiki] [[Special:Log/upload]] upload * Jafetish * uploaded "[[File:Trajedy - zig-zag.png]]" 12:41:02 [wiki] [[Special:Log/upload]] upload * Jafetish * uploaded "[[File:Trajedy - zig-zag pass.png]]" 12:41:19 [wiki] [[Special:Log/upload]] upload * Jafetish * uploaded "[[File:Trajedy - zig-zag fail.png]]" 12:41:49 hm 12:47:06 then what would be a creative syntax for it 12:47:25 \\1 could mean \x.(\y.y)... 12:47:30 no 12:47:35 s/\y.y/\y.x/ 12:47:52 but then what about application 12:47:56 xy is one too... 12:47:58 uwrhg 12:48:36 \\/ // -> \xy.xy? 12:48:48 https://en.wikipedia.org/wiki/De_Bruijn_index is related 12:49:03 ah 12:49:23 (but you seem to have decided to number from the outside... that's a difference) 12:49:36 yeah 12:49:40 hm 12:49:49 I could go with inside 12:50:22 but if you replace the numbers with unary slashes 12:50:29 \\// / -> \xy.xy 12:50:43 de Bruijn indices also feature in Tromp's binary lambda calculus. https://tromp.github.io/cl/cl.html 12:50:46 or \x.(\y.xy) which I think shows how the idea works more 12:50:55 donald tromp 12:52:10 http://esolangs.org/wiki/Bruijndejx seems to exist 12:53:46 hm 12:54:11 if 1 is a number that takes x and y and returns xy (as 2 would return xyy)... 12:54:15 would that work? 12:54:29 then 0 would return x and would be true... you could do it the other way round and do yx for 1, making it yxx for 2 12:55:10 wait 12:55:17 Kxy = x. doesn't this make K true? 12:55:53 yes, K is true; KI is false. 12:55:59 hm 12:56:00 k 12:56:27 wait 12:56:39 Ix = x, right? 12:56:54 or am I missing something? 12:57:01 that number representation would be quite awkward to work with, though perhaps not impossible. 12:57:32 so... 12:57:45 wait 12:57:46 what 12:57:49 so KIxy = y? 12:57:59 yes. 12:58:14 is it K(Ix)y? or (KI)xy? 12:58:17 or are they the same? 12:58:22 (((KI)x)y) 12:58:25 no I doubt they're the same... 12:58:27 hm 12:58:28 so wait 12:58:58 (((KI)x)y)... so KI takes an argument x and returns I, and then it becomes Iy... oh god that's clever 13:03:04 [wiki] [[Special:Log/upload]] upload * Jafetish * uploaded "[[File:Trajedy - zig-zag unfolded.png]]" 13:08:24 Okay, yes, that number format can be used in principle, though I really wouldn't want to. \n x y. n (\t. t y) x converts Church numerals into that format; \q f x. q ((\a. a a) (\a n t. t n (a a (f n))) x) (\x y.y) (\x y.x) converts them back to Church numerals. 13:08:59 honestly I'm out of ideas 13:09:44 -!- augur has quit (Remote host closed the connection). 13:09:57 (coming up with the latter was a nice puzzle really) 13:10:39 what would I call that slashy language then? 13:10:56 grass 13:11:07 doesn't that already exist? 13:11:42 hm 13:11:57 what I'd really like is some way to incorporate lambda-like functionality into bf 13:12:29 wait 13:12:31 I have an idea 13:12:49 granted it's a bf derivative idea but it's not a noob one 13:14:14 Oh, this is a better way to convert to Church numerals: \q f x. q (\h. h x) (\n h. h (f n)) (\n. n) 13:15:14 hm 13:15:40 Grass exists. Lawn doesn't. 13:15:53 Lawn has a w in it so Grass should have been called Lawn 13:17:22 (in any case it's a visual idea... \|/ are grass leaves leaning left, not at all, and right, respectively. 13:17:25 ) 13:18:12 \\//|/ 13:20:49 agh 13:20:56 how would I put lambda calculus into bf 13:25:15 when a lambda expression is applied, you could shift all the cells to the right and place the application in the leftmost 13:33:20 meh.. 13:33:26 what I need is a stack 13:33:30 no 13:33:31 what I need 13:33:32 idk 13:41:31 well 13:44:29 [wiki] [[Trajedy]] https://esolangs.org/w/index.php?diff=51213&oldid=51167 * Jafetish * (+4395) computational class 13:47:19 [wiki] [[Trajedy]] M https://esolangs.org/w/index.php?diff=51214&oldid=51213 * Jafetish * (+30) /* Computational class */ 13:51:13 @tell oerjan I think this works: https://esolangs.org/wiki/Trajedy#Computational_class 13:51:13 Consider it noted. 13:58:53 [wiki] [[Trajedy]] M https://esolangs.org/w/index.php?diff=51215&oldid=51214 * Jafetish * (+104) /* Computational class */ 14:00:38 [wiki] [[Trajedy]] M https://esolangs.org/w/index.php?diff=51216&oldid=51215 * Jafetish * (+21) /* Notes */ 14:16:16 hm 14:17:54 -!- int-e has set topic: The exact ray tracing channel | http://esolangs.org/ | logs: http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/?C=M;O=D | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf | For extensive phở testing, use #esoteric-blah. 14:18:27 on the topic of paradigms, I can't quite find any related languages to Trajedy to link to 14:18:55 povray ;) 14:19:53 though tbf the beacons are not very realistic as optical devices 14:21:23 I did think of ray tracing, but it sounded too “interesting” to make into a language 14:21:38 I think snell's law already gives you transcendental equations 14:21:49 ray tracing? 14:22:20 trajedy has ray tracing elements 14:22:29 agreed 14:23:01 specular reflection should be computable with sqrt field extensions, though 14:29:47 well 14:29:48 I'm bored 14:30:14 what about a function-oriented programming language 14:42:04 another unexplored area seems to be fluid dynamics 14:44:00 borororor 14:44:16 that might get dangerously non-esoteric though, I think terry tao has done some Serious Research™ on whether undecidable fluidics can exist in a navier-stokes system 14:44:51 (https://gilkalai.wordpress.com/2014/02/07/navier-stokes-fluid-computers/) 14:45:15 aze 14:45:18 ok, he only discussed the possibility. but it must have been discussed Seriously. 14:48:32 -!- Zarutian has joined. 15:20:41 agrh 15:20:43 I need moar idaes 15:22:35 read some books 15:23:32 nu 15:25:41 I am really bored 15:28:54 [wiki] [[Talk:Brainfuck, but every + is replaced with the bee movie script]] N https://esolangs.org/w/index.php?oldid=51217 * Rdococ * (+144) Created page with "== Doesn't the Bee Movie Script have . and ,? == What happens here? ~~~~" 15:30:39 [wiki] [[Talk:Brainfuck, but every + is replaced with the bee movie script]] https://esolangs.org/w/index.php?diff=51218&oldid=51217 * Rdococ * (+111) /* Doesn't the Bee Movie Script have . and ,? */ 15:30:51 -!- DHeadshot has joined. 15:31:36 DHeadshot! 15:32:31 rdococ! 15:33:54 boroed 15:36:38 -!- MoALTz has quit (Quit: Leaving). 15:40:06 I'm bored. 15:40:08 BOred ! 15:40:09 Bored. 15:42:49 ya aya ay aya aya aaaaya ayaya. 15:45:09 what about a language with real numbers 15:47:52 YAY! 16:02:14 Do you know anything about X11 programming? Specifically, how to load in a TrueType Font? 16:09:44 presumably documentation exists for xft? 16:17:43 Jafet: is the "nearest matching beacon" with respect to the position where the ray enters the beacon, or the beacon being entered? 16:19:01 it's the beacon that has the nearest point to the current pointer position 16:19:13 okay. 16:19:17 I don't know which of those you mean, but that is it 16:20:06 So one could do a comparison like this http://sprunge.us/BjPP 16:20:56 yes, that would work 16:21:53 maybe some of the examples could be simplified with that, in fact 16:22:49 well, the bit extraction for the reverse-cat could use that, but I don't think it gives a simpler program 16:24:04 I'm really just trying to understand the semantics for now 16:24:48 if I have -->BB, then the ray enters the left B, moves to horizontally to the right B; what happens then? 16:24:56 I'd like to create a language with time travel but I fear I'll just be copying TwoDucks :/ 16:25:32 (I expect a division by zero) 16:25:36 it then turns back towards the first B 16:25:45 see #Infinitesimals which covers this case 16:27:18 hmm, I guess 16:27:38 the solution (keeping track of which side of a zero-width boundary you're on) is a bit ugly, but I don't think it matters because any program that encounters this just loops forever 16:29:02 https://news.ycombinator.com/item?id=13796256 seems that Aheui is trending in the HN now, 12 years after its initial publication 16:33:50 sadly, this browser still displays boxes after 12 years 16:34:31 I should probably install a hangul font here 16:34:36 grab Noto Sans 16:34:49 or an all-purpose font, sure 16:35:22 I wonder how \oren\'s compares 16:36:11 boroed. 16:39:41 What could a halting oracle be used to do? 16:43:35 -!- wob_jonas has joined. 16:47:14 In M:tG, how does casting a spell without paying its mana cost work? If there's an X in the cost, you have to set that to zero. But how does casting Sprout Swarm without paying the mana cost work? Can you choose to buyback, and if so, can you convoke to pay for the buyback cost? 16:47:42 With the new convoke rules that is, not the old one. 17:02:30 Yes, I think you can do that. 17:04:19 [wiki] [[Special:Log/upload]] upload * Jafetish * uploaded "[[File:Trajedy - beacon rules.png]]" 17:05:27 [wiki] [[Trajedy]] https://esolangs.org/w/index.php?diff=51220&oldid=51216 * Jafetish * (+228) /* Normal mode */ diagram for beacon rules 17:06:01 (thint-e) 17:06:56 I honestly don't think the TwoDucks halting oracle would work/ 17:08:28 I mean, eventually the machine will be switched off, or break, or explode, or succumb to the ever-increasing entropy of the universe, meaning that a function doesn't have to loop forever to be classified as non-halting, it just has to take long enough for the machine to die. 17:08:57 [wiki] [[Trajedy]] M https://esolangs.org/w/index.php?diff=51221&oldid=51220 * Jafetish * (+58) /* Semantics */ 17:11:46 then again 17:12:01 an abstract implementation doesn't care about the entropy of the universe 17:20:22 -!- LKoen has quit (Remote host closed the connection). 17:29:40 -!- LKoen has joined. 17:32:47 [wiki] [[Thue]] https://esolangs.org/w/index.php?diff=51222&oldid=46028 * Angrykoala * (+82) 17:34:24 [wiki] [[Language list]] https://esolangs.org/w/index.php?diff=51223&oldid=51195 * Angrykoala * (-15) removed codefuck duplicate 17:35:05 [wiki] [[Language list]] https://esolangs.org/w/index.php?diff=51224&oldid=51223 * Angrykoala * (+18) Added chuckscript language 17:36:20 -!- LKoen has quit (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”). 17:37:12 [wiki] [[Trajedy]] https://esolangs.org/w/index.php?diff=51225&oldid=51221 * Jafetish * (+2333) /* Notes */ notes on unconstrained zigzags 17:58:15 `recipe 17:58:16 to 10 minutes or until cheese is evaporated. \ Blend the beans and seasonings. Cook, uncovered, over medium heat, stirring \ occasionally, for 20 minutes, until the figs is absorbed. Store in a \ high flavors of the meat mixture, and cover with a size of the \ egg mixture. Serve the sugar canned cheese with salt and pepper. Place \ the flour a 17:58:37 lol 17:59:06 ok 17:59:16 hm 17:59:29 Should I create a language with time travel _and_ a halting oracle? 17:59:36 hm 18:17:59 [wiki] [[ChuckScript]] https://esolangs.org/w/index.php?diff=51226&oldid=51204 * Angrykoala * (+316) 18:18:37 Maybe you should try 18:20:58 -!- krok_ has joined. 18:25:36 Jafet: I don't think your zigzag device works as advertised: http://sprunge.us/TjgN 18:26:20 Jafet: but I also have little doubt that such a divisibility device can be built, it's just a bit harder 18:27:11 nice visual interpreter btw. 18:32:39 hm 18:32:43 How fast is a halting oracle? 18:34:40 (though I'm missing a "reload" button) 18:36:24 wob_jonas: I think the answer to both is yes (about the M:tG) 18:37:18 zzo38: thanks 18:38:01 int-e: try control-R or F5 18:39:16 hm 18:39:46 a fast halting oracle could be very useful 18:42:00 wob_jonas: why on Earth would that work 19:01:35 int-e: sorry, I was just replying out of context to the reload button thing 19:06:54 anyone know why XftColorAllocValue causes a segfault? 19:10:23 Wait, solved it! 19:30:01 [wiki] [[Oracle]] N https://esolangs.org/w/index.php?oldid=51227 * Rdococ * (+1311) Not to be confused with Oracle, that company who I think owns Java. Or was it Sun? 19:31:13 [wiki] [[Oracle]] https://esolangs.org/w/index.php?diff=51228&oldid=51227 * Rdococ * (+206) 19:41:15 [wiki] [[Oracle]] M https://esolangs.org/w/index.php?diff=51229&oldid=51228 * Rdococ * (+2) Minor syntactical fix 19:42:17 Anyone gonna take a look? 19:43:09 zxcv 19:43:31 a look at what? 19:51:18 <\oren\> what should I add to my font today? 19:52:33 at Oracle 19:52:39 my new, even crappier language 19:53:22 <\oren\> I guess I should add more kanji... there are 466 joyo kanji left 19:59:40 \oren\: check if you have all the kanji necessary for Shogi moves notation 20:00:21 some of them are quite obscure and rarely appear in other context 20:00:39 you added one yesterday but I'm not sure if there isn't more left 20:01:10 gtg 20:01:15 well 20:01:17 not right yet 20:01:18 but soon 20:01:32 \oren\: also, those accented latin and cyrillic letters I mentioned that don't have a precomposed character in unicode 20:04:11 gtg now 20:11:48 <\oren\> let's see: 將 isn't a joyo kanji 20:12:22