00:03:47 -!- edwardk has quit (Quit: Computer has gone to sleep.). 00:12:10 hap-pi approximation day 00:31:52 -!- nooodl_ has quit (Ping timeout: 240 seconds). 00:33:54 -!- Phantom_Hoover has quit (Remote host closed the connection). 01:17:49 -!- drdanmaku has joined. 01:31:49 -!- edwardk has joined. 01:36:44 -!- edwardk has quit (Quit: Computer has gone to sleep.). 01:52:47 -!- shikhout has joined. 01:55:42 -!- shikhin has quit (Ping timeout: 245 seconds). 02:25:53 -!- edwardk has joined. 02:27:17 -!- edwardk has quit (Client Quit). 02:27:48 -!- oerjan has quit (Quit: Gnite). 02:30:46 -!- mshock has quit (Ping timeout: 250 seconds). 02:35:42 -!- amenghra has joined. 02:36:46 hi, i just finished writing an esolang. I'm wondering if anyone thinks it's crazy (i.e. good) or lame (i.e. i wasted my time). http://quaxio.com/ajsone/ 02:37:27 this looks way too sensible 02:38:10 :( 02:39:06 http://en.wikipedia.org/wiki/Category:XML-based_programming_languages 02:39:40 not sure those are all turing complete 02:40:09 oh, here's the one i was thinking of http://www.o-xml.org/spec/langspec.html 02:40:54 as you can see, you managed to make something about as good as this thing which somebody made seriously, and to explain it in just a page 02:41:33 http://en.wikipedia.org/wiki/POSXML 02:41:50 that one looks similar to my idea. Except json gives me less freedom than xml. 02:41:56 «» mein gott. 02:42:10 lol, I can't believe anyone would think that's a good idea! 02:42:18 anyway i remember adding homoiconicity as long as you're jsoning 02:42:35 recommend, not remember 02:42:46 though really isn't all knowledge just rememberance of past lives, eh?? 02:44:49 thanks for pointing out homoiconicity, http://en.wikipedia.org/wiki/Homoiconicity is a great read :) 02:55:16 -!- Sorella has quit (Quit: It is tiem!). 03:09:39 -!- mshock has joined. 03:17:06 -!- fowl has quit (Quit: goodbye, cruel server). 03:21:54 -!- amenghra has quit (Remote host closed the connection). 03:44:58 -!- MDude has changed nick to MDream. 03:50:45 -!- Lorenzo64 has joined. 04:33:37 -!- fowl has joined. 04:34:47 -!- mshock has quit (Ping timeout: 264 seconds). 04:35:00 -!- mshock has joined. 05:04:35 -!- mshock has quit (Read error: Connection reset by peer). 05:20:37 -!- shikhout has quit (Ping timeout: 245 seconds). 05:31:20 -!- MindlessDrone has joined. 06:01:01 -!- MoALTz_ has quit (Read error: Connection reset by peer). 06:01:46 -!- MoALTz_ has joined. 06:02:54 -!- MoALTz_ has quit (Read error: Connection reset by peer). 06:04:20 -!- MoALTz_ has joined. 06:17:30 -!- MoALTz_ has quit (Read error: Connection reset by peer). 06:18:59 -!- MoALTz has joined. 06:20:29 -!- MoALTz has quit (Remote host closed the connection). 06:28:08 -!- ^v has changed nick to ^8. 07:52:16 -!- AnotherTest has joined. 08:01:03 -!- brrr has quit (Quit: Cya!). 08:01:30 -!- drdanmaku has quit (Quit: Connection closed for inactivity). 08:06:42 -!- Tritonio has joined. 08:18:52 -!- AnotherTest has quit (Ping timeout: 240 seconds). 08:24:15 -!- Patashu has joined. 08:34:08 -!- Patashu has quit (Disconnected by services). 08:34:08 -!- Patashu_ has joined. 08:38:45 -!- AnotherTest has joined. 08:57:06 My house has been connected to the internet :) 08:57:50 Hooraneb 08:58:03 -!- MDream has quit (Ping timeout: 250 seconds). 09:00:30 great! 09:21:34 -!- MDream has joined. 09:37:23 IoH, the Internet of Houses; I hear it's a hot topic these days. 09:41:36 Is it bad that I get a real kick out of when I show someone a program I wrote and they reply "wtf is wrong with you"? 09:43:51 sounds normal to me 09:44:13 Then again I'm here on #esoteric, and so are you. 09:44:26 https://gist.github.com/Taneb/92c2273815931be07d97 09:47:22 okay, playing with Church encodings on the level of gmp's C interface has not occurred to me before :P 09:47:32 err 09:47:35 Gödel 09:47:40 * int-e is still half asleep 09:49:56 Taneb: I get that kick too, much more satisfying than someone saying it's good code (which, of course, no-one ever says anyway) 09:50:07 (at least the encoding is based on a sane pairing function, not on prime powers) 09:51:42 int-e, I'd only use prime powers if I wanted a multiset 09:51:50 Rather than a bintree 09:51:59 internet of houses? is that like geocities? 09:52:01 Taneb: you could use mpz_bin_ui though 09:52:48 int-e: it's not just the sane pairing function that matters, but also that you encode a sane expression tree instead of some flat parenthisized list 09:52:49 might be nice to rewrite that thing in like haskell (or any language that has actual bignum support) so that it's possible to read it 09:53:10 olsner, it's actually a translation from Haskell 09:54:06 olsner: even libgmp++ helps 09:54:16 int-e, instead of computing the triangle numbers manually? That's a thought 09:54:48 -!- lifthrasiir has quit (*.net *.split). 09:54:49 -!- barrucadu has quit (*.net *.split). 09:55:04 -!- barrucadu has joined. 10:03:16 -!- edwardk has joined. 10:11:22 -!- nooodl_ has joined. 10:12:07 -!- nooodl_ has changed nick to nooodl. 10:14:46 -!- vifino has joined. 10:20:53 @unlambda `` ``````s``s`ksk``skk``s``s`ksk`s``s`ksk``s``s`ksk``skk.3.5 ri 10:20:53 3333333333333333333333333333333333333333335 10:27:51 -!- lifthrasiir has joined. 10:31:10 Taneb: how's the category business 10:32:23 -!- boily has joined. 10:40:25 Taneb: it's funny how \n f. n (\x. f (z f x)) = S B (S B), where B = \x y z. x (y z). 10:41:43 can't stop laugghing 10:44:33 > iterate (\n -> n*(n+1)) 2 !! 2 10:44:35 42 10:47:16 Taneb: sorry, the 'z' in there is supposed to be an 'n'. 11:06:39 -!- MDream has changed nick to MDude. 11:12:00 -!- boily has quit (Quit: BLUNT CHICKEN). 11:28:03 -!- nooodl has quit (Ping timeout: 255 seconds). 11:43:47 -!- Phantom_Hoover has joined. 11:46:43 -!- oerjan has joined. 11:48:03 -!- mhi^ has joined. 11:54:18 `olist (958) not that it will help any 11:55:24 helps me 12:00:46 didn't help me, but I don't mind that 12:01:44 -!- Sgeo has quit (Read error: Connection reset by peer). 12:17:46 -!- yorick has joined. 12:18:04 -!- Tritonio has quit (Ping timeout: 240 seconds). 12:20:34 -!- Tritonio has joined. 12:23:34 -!- Tritonio has quit (Remote host closed the connection). 12:23:43 -!- Tritonio1 has joined. 12:40:50 -!- shikhin has joined. 12:43:58 -!- Patashu_ has quit (Quit: Soundcloud (Famitracker Chiptunes): http://www.soundcloud.com/patashu MSN: Patashu@hotmail.com , AIM: Patashu0 , YIM: patashu2 , Skype: patashu0 .). 13:14:15 -!- Lorenzo64 has quit (Ping timeout: 255 seconds). 13:36:40 -!- vifino has quit (Quit: Ze Cat now leaves...). 13:42:33 -!- Tritonio1 has quit (Ping timeout: 256 seconds). 13:44:18 -!- Tritonio has joined. 13:56:23 -!- shikhin has quit (Ping timeout: 264 seconds). 14:03:18 -!- shikhin has joined. 14:11:33 -!- sebbu2 has joined. 14:12:11 -!- sebbu2 has quit (Changing host). 14:12:11 -!- sebbu2 has joined. 14:14:51 -!- sebbu has quit (Ping timeout: 256 seconds). 14:23:04 -!- drdanmaku has joined. 14:33:31 -!- sebbu2 has changed nick to sebbu. 14:56:29 -!- ^8 has changed nick to ^v. 15:13:12 -!- Sorella has joined. 15:17:21 -!- amenghra has joined. 15:19:21 -!- amenghra has quit (Remote host closed the connection). 15:29:10 -!- zzo38 has joined. 15:32:29 -!- Tritonio has quit (Ping timeout: 256 seconds). 15:54:43 -!- oerjan has quit (Quit: leaving). 16:05:19 -!- AnotherTest has quit (Ping timeout: 250 seconds). 16:05:28 -!- `^_^v has joined. 16:08:45 -!- nycs has quit (Ping timeout: 256 seconds). 16:12:36 -!- mshock has joined. 16:36:37 -!- amenghra has joined. 16:38:24 -!- mhi^ has quit (Quit: Lost terminal). 16:41:25 -!- amenghra has quit (Remote host closed the connection). 16:41:48 -!- vifino has joined. 16:42:38 -!- amenghra has joined. 16:49:25 Could you help to improve the tetx of my Dungeons&Dragons recording story? 17:14:41 -!- MoALTz has joined. 17:19:16 -!- shikhin has quit (Quit: Lost terminal). 17:23:32 Someone recently thought that the templating language where loops involve SQL SELECT queries was just a dream. Well, it isn't; it is real. 17:24:23 -!- Phantom_Hoover has quit (Quit: Leaving). 17:32:14 -!- Phantom_Hoover has joined. 17:43:27 -!- edwardk has quit (Quit: Computer has gone to sleep.). 17:50:55 zzo38: what? 17:51:24 b_jonas: Yes it is true. 17:53:23 what recording story? 17:54:05 -!- AnotherTest has joined. 17:54:19 b_jonas: This one http://zzo38computer.org/dnd/recording/level20.tex 17:56:16 Do you know this one? 17:56:19 -!- amenghra has quit (Remote host closed the connection). 17:59:11 -!- MoALTz_ has joined. 18:00:26 no 18:01:45 -!- MoALTz has quit (Ping timeout: 240 seconds). 18:02:06 Now hopefully you do! 18:02:11 Do you play any Dungeons&Dragons game? 18:02:22 no 18:04:14 -!- not^v has joined. 18:06:49 -!- not^v has quit (Client Quit). 18:09:32 Do you know anything about TeX? Do you know something about writing the story? 18:10:45 -!- ^v has quit (Quit: Leaving). 18:11:05 -!- ^v has joined. 18:14:26 I know a little about TeX. not much. 18:14:39 enough to know why it's great as an esolang 18:15:45 This file is printed using TeX, too, you can see how it works if you look, perhaps. 18:18:44 Do you like this story though? 18:20:15 Is there any idea when the server will be up again? 18:21:39 Someone has once written a BASIC interpreter in TeX. 18:23:03 -!- mshock has quit (Ping timeout: 240 seconds). 18:23:43 -!- mshock has joined. 18:26:26 I have also written a program in TeX for chess, and another program which can calculate when is Easter. 18:27:01 -!- nooodl has joined. 18:27:09 I had to have LaTeX add two numbers together once... 18:28:15 douglass_: There is the \advance command to add a number in TeX. 18:29:28 Do you know that? 18:29:36 " so tacuit is correct" <- i would say tacebat 18:34:39 it did eventually work; I don't recall which command I used. I just remember it being a pain in the ass to add one register to another as opposed to adding a fixed number to a single register. 18:41:34 It isn't; using \advance you can easily add one register to another. 18:44:25 zzo38: sure, but it may get worse if you insist on using the crazy abstractions in LaTeX 18:44:47 -!- tromp_ has joined. 18:45:44 b_jonas: Ah, OK, although I just use Plain TeX and don't need to worry about abstractions 18:46:14 sure 18:46:30 it's just that douglass_ mentioned LaTeX specifically 18:47:23 -!- tromp has quit (Ping timeout: 264 seconds). 18:47:29 -!- shikhin has joined. 18:47:31 Unless \advance is redefined you can probably still use it on normal \count registers at least 18:59:31 -!- `^_^v has quit (Ping timeout: 250 seconds). 18:59:32 -!- nycs has joined. 19:03:50 -!- MindlessDrone has quit (Quit: MindlessDrone). 19:11:26 -!- not^v has joined. 19:11:51 -!- not^v has changed nick to ^4. 19:19:58 -!- Bicyclidine has joined. 19:21:02 -!- amenghra has joined. 19:22:11 -!- Zuu has changed nick to ZuuBoard. 19:28:53 -!- amenghra has quit (Remote host closed the connection). 19:30:23 -!- amenghra has joined. 19:32:32 hmm 19:32:42 i wonder if golly has any decent reversible CAs built in 19:34:27 -!- mshock has quit (Ping timeout: 256 seconds). 19:34:53 -!- ^4 has quit (Quit: http://i.imgur.com/Akc6r.gif). 19:40:33 -!- TieSoul has quit (Read error: Connection reset by peer). 19:40:56 -!- TieSoul has joined. 19:40:58 -!- vifino has quit (Quit: Ze Cat now leaves...). 19:41:52 -!- shikhin has quit (Ping timeout: 245 seconds). 19:44:49 -!- TieSoul has quit (Remote host closed the connection). 19:48:38 -!- amenghra has quit (Remote host closed the connection). 19:50:18 -!- amenghra has joined. 19:51:28 Do regular expressions define all haltable NFAs? 19:54:26 “haltable”? 19:54:49 I mean ones that are not guaranteed to not halt. 19:55:39 Don’t NFAs always halt? 19:56:13 i think so. i mean, finite. 19:56:37 no, right, you could have a loop, it's just that you could determine that beforehand. 19:56:59 I think it can be possible to make an infinite loop that never want any input, or you can get an error (which doesn't count as halting), or have infinite input, etc 19:57:39 You can only have a non-consuming loop if you use ε-NFAs …? 19:57:58 Melvar: Yes 19:58:32 The NFAs in this book allow one line to have a lambda on it to not consume input. 19:59:44 Then I guess that book has a definition of NFA that I don’t know, so I don’t think I can help. 20:00:31 It also describes DFA, which means that are no lambdas and furthermore that each possible input symbol has a unique successor state to each state. 20:02:57 The lambda is the same as the epsilon. 20:03:18 I think you can do the normal NFA-to-DFA conversion even if there are epsilon transitions, basically merging all states reachable via epsilon transitions 20:03:42 Yes this book describe exactly how you do that, in fact. 20:03:45 Indeed. Any ε-NFA is convertible into an NFA is convertible into a DFA. 20:03:50 which means they are regexps 20:07:06 -!- ZuuBoard has changed nick to Zuu. 20:08:20 -!- amenghra has quit (Remote host closed the connection). 20:10:46 -!- amenghra has joined. 20:17:07 -!- amenghra has quit (Remote host closed the connection). 20:39:25 -!- not^v has joined. 20:41:26 -!- not^v has changed nick to ^4. 20:43:43 -!- amenghra has joined. 21:13:31 -!- amenghra has quit (Remote host closed the connection). 21:15:01 -!- mshock has joined. 21:25:02 -!- AnotherTest has quit (Quit: ZNC - http://znc.in). 21:43:01 -!- Zuu has changed nick to ZuuHattery. 21:48:55 -!- Phantom_Hoover has quit (Quit: Leaving). 21:56:22 -!- ^4 has quit (Ping timeout: 240 seconds). 21:56:29 -!- not^v has joined. 22:06:24 -!- nooodl has quit (Ping timeout: 250 seconds). 22:07:21 -!- oerjan has joined. 22:08:11 -!- Phantom_Hoover has joined. 22:12:47 `olist (958) 22:12:55 oerjan: ☝ 22:12:59 who else is on olist 22:13:48 FireFly Sgeo boily 22:14:07 shachaf: fizzie already did that 22:14:23 well, i guess he didn't list the names 22:14:43 -!- amenghra has joined. 22:15:39 Oh. 22:17:46 Is there any idea when the server will be up again? <-- possibly when Gregor stops being idle for > 8 days. of course no one has any idea when that happens. 22:19:21 -!- amenghra has quit (Ping timeout: 256 seconds). 22:24:30 -!- ZuuHattery has changed nick to ZuuPancake. 22:32:28 -!- Sgeo has joined. 23:02:23 -!- not^v has quit (Ping timeout: 264 seconds). 23:25:31 -!- yorick has quit (Remote host closed the connection). 23:31:20 @check \x -> fromRational (toRational x) == (x :: Double) 23:31:22 +++ OK, passed 100 tests. 23:42:44 -!- mshock has quit (Ping timeout: 260 seconds). 23:45:00 > toRational (1/0::Double) 23:45:03 can't find file: L.hs 23:45:05 > toRational (1/0::Double) 23:45:06 1797693134862315907729305190789024733617976978942306572734300811577326758055... 23:45:14 > fromRational (toRational (1/0::Double)) 23:45:15 Infinity 23:45:20 cute. nice. great 23:45:51 so... infinity starts with 1? 23:45:59 hell yeah it does 23:46:26 benford's law, man, it's just statistics 23:48:31 > 2^1024 -- hth 23:48:33 1797693134862315907729305190789024733617976978942306572734300811577326758055... 23:49:16 > from Rational (toRational (2^1024)::Double) 23:49:17 Not in scope: data constructor ‘Rational’ 23:49:21 > fromRational (toRational (2^1024)::Double) 23:49:23 Couldn't match type ‘GHC.Real.Ratio GHC.Integer.Type.Integer’ 23:49:23 with ‘GHC.Types.Double’ 23:49:23 Expected type: GHC.Types.Double 23:49:23 Actual type: GHC.Real.RationalCouldn't match type ‘GHC.Types.Double’ 23:49:23 with ‘GHC.Real.Ratio GHC.Integer.Type.Integer’ 23:49:36 bah! 23:49:52 hint: the result of toRational isn't a Double hth 23:50:15 > fromRational (toRational ((2^1024)::Double)) 23:50:17 Infinity 23:50:18 oerjan: I need to fix that script, right? 23:50:22 fucking. operators 23:50:43 well, anyway i'm glad no programming language has figured out how to have numbers that aren't somehow mildly annoying yet. 23:50:50 elliott: put it's working perfectly hth 23:51:06 Bicyclidine: scheme's numeric tower is okay? probably? 23:51:39 well i mean, most of them are okay, since we use numbers all the time 23:51:49 but then you look at the spec and it spends half the text on denoting floats 23:51:53 woo yeaaaaaah baby 23:52:09 i think the kernel guy complained about scheme's tower specifically but he complained about everything 23:57:29 -!- brrr has joined.