00:19:18 Have some advice! 00:19:26 If you are running to give someone a hug 00:19:36 And they look like they are preparing to rugby tackle you 00:19:41 Abort hug immediately. 00:20:22 -!- tromp has joined. 00:20:33 Seriously, my jaw still hurts 00:21:50 get huggier friends 00:26:17 -!- ^v has quit (Read error: Connection reset by peer). 00:26:46 -!- ^v has joined. 00:27:06 fizzie: esolangs.org is down 00:27:14 -!- nucular has quit (Quit: Excess Food). 01:02:40 I should register theenemysgate.ca and point it to an IP address that doesn't have a server 01:05:54 -!- david_werecat has joined. 01:09:12 Opinion based question: it is a good idea to change your online name? If one were to do this, what would they need to do and what would be the implications of this? 01:11:06 david_werecat, youll need new profile pictures too. just get them from your most handsome facebook friend 01:12:19 That would work if I had facebook. 01:12:56 Bascially, I'm thinking of changing my many online accounts from david_werecat to Cyskus. 01:13:27 It feels less 'transparent'. 01:13:31 did you check the inernet nickname registry to make sure cyskus isnt taken 01:14:03 Currenly it does not exist anywhere that Google can find. 01:14:04 i've changed names a billion times, mon 01:14:27 there is a form you should fill out and submit to ICANN 01:14:58 david_werecat: you know this channel is publicly logged and indexed by google, right? :P 01:15:29 Ah... thwarted again! 01:16:13 Still, letting everyone know how to find your new account is another reason I'm here. 01:16:51 Carrying information forward between iterations is the most difficult part. 01:18:05 Bike, so those metal things i find when i google you arent you, they're some previous bike? 01:18:23 yes, i'm actually made of organic compounds 01:36:52 -!- Eritzap has quit (Quit: Page closed). 01:47:16 -!- conehead has quit (Quit: Computer has gone to sleep). 01:50:07 -!- david_werecat has left ("Leaving"). 02:06:36 -!- Frooxius has quit (Quit: *bubbles away*). 02:07:39 -!- speckle has joined. 02:11:30 -!- speckle has left ("Konversation terminated!"). 02:18:27 -!- Frooxius has joined. 02:34:17 -!- Phantom_Hoover has quit (Ping timeout: 252 seconds). 02:38:49 -!- Frooxius has quit (Ping timeout: 245 seconds). 03:29:30 -!- ^v has quit (Read error: Connection reset by peer). 03:30:08 -!- ^v has joined. 03:52:28 -!- zzo38 has joined. 04:11:35 -!- Sprocklem has joined. 04:16:54 -!- FreeFull_ has joined. 04:18:18 -!- FreeFull has quit (Ping timeout: 240 seconds). 04:25:54 -!- polytone has changed nick to monotone. 04:34:00 -!- tertu has joined. 04:44:42 -!- ^v has quit (Read error: Connection reset by peer). 04:45:09 -!- ^v has joined. 04:50:10 -!- augur has quit (Quit: Leaving...). 05:03:43 -!- edwardk has joined. 05:19:27 -!- shikhin has joined. 05:19:27 -!- shikhin has quit (Changing host). 05:19:27 -!- shikhin has joined. 05:20:56 I got my GF addicted to Suzumiya Haruhi 05:21:23 -!- drdanmaku has quit (Quit: Connection closed for inactivity). 05:23:24 -!- tertu has quit (Ping timeout: 245 seconds). 05:25:56 -!- shikhin has quit (Quit: leaving). 05:26:12 -!- shikhin has joined. 05:26:12 -!- shikhin has quit (Changing host). 05:26:12 -!- shikhin has joined. 05:26:16 -!- augur has joined. 05:29:27 -!- shikhin has quit (Client Quit). 05:29:42 -!- shikhin has joined. 05:29:42 -!- shikhin has quit (Changing host). 05:29:42 -!- shikhin has joined. 05:35:03 -!- shikhin has quit (Quit: leaving). 05:47:15 -!- password2 has joined. 05:50:14 -!- shikhin has joined. 05:52:28 -!- tromp has quit (Remote host closed the connection). 05:54:08 Once I used Huffman for abnormal purpose; I wanted to encode a bit string in alphabetics so I made up a Huffman tree for twenty-six equally probability data. 05:57:48 What is it called to do such things as this? 05:58:46 "Huffman for abnormal purpose" 06:02:42 -!- nooodl has quit (Quit: Ik ga weg). 06:14:36 -!- ^v has quit (Quit: http://i.imgur.com/DrFFzea.png). 07:00:15 http://www.lessmilk.com/games/12/ 07:01:44 -!- oerjan has joined. 07:14:27 @dice d1.2 07:14:28 unexpected '.': expecting digit, operator or end of input 07:15:56 clearly it should use poisson distribution to approximate @dice 1000d1.001 07:17:02 @dice d1+2+3+4+5+6 07:17:03 oerjan: 1 + 2 + 3 + 4 + 5 + 6 => 21 07:17:28 @dice d1*2*3*4*5 07:17:28 oerjan: 1 * 2 * 3 * 4 * 5 => 120 07:17:41 d1*2*3*4*5 07:17:41 oerjan: 1 * 2 * 3 * 4 * 5 => 120 07:18:01 so we have a calculator with a d prefix 07:18:40 d1+hi 07:18:52 (d1+2)*3 07:18:53 oerjan: (1 + 2) * 3 => 9 07:19:09 d(1+2)*3 07:19:45 2d1^3 07:19:50 alas 07:20:10 @dice 3(3d1) 07:20:10 unexpected '(': expecting digit, operator or end of input 07:22:27 oerjan: that's a p. misleading calculator when your calculation doesn't happen to start with a 1 07:22:28 elliott: Not any more, apparently. 07:22:59 `addquote Have some advice! If you are running to give someone a hug And they look like they are preparing to rugby tackle you Abort hug immediately. Seriously, my jaw still hurts 07:23:00 1192) Have some advice! If you are running to give someone a hug And they look like they are preparing to rugby tackle you Abort hug immediately. Seriously, my jaw still hurts 07:23:05 shachaf: OKAY 07:23:34 what does it mean when my scalp itches a ot 07:23:49 shachaf: i guess technically it has a d1 infix, to be placed after any number inside 07:24:36 -!- Sorella has quit (Quit: It is tiem!). 07:24:43 20 d1 07:24:43 shachaf: 20 07:24:50 20 + 4 d1 07:24:51 shachaf: 20 + 4 => 24 07:25:11 shachaf: either you need a better dandruff shampoo, or you're allergic to something (i've experienced both) 07:25:37 in spring, in seattle, i think it was the trees. 07:25:37 what happens when you're allergic to dandruff shampoo 07:25:46 whoa you were in seattle 07:25:51 shachaf: too horrible to contemplate 07:25:57 shachaf: 1996 07:26:25 i was alive in 1996 so ha 07:26:47 i was at canada in 1995 hth 07:27:10 (and australia in 1988) 07:27:24 imo is that even a year 07:27:34 that exhausts the times i've been outside europe, i think. 07:29:12 actually i'm pretty sure i'm "allergic" to the strongest dandruff shampoo, which i use once a week. 07:29:28 the rest of the week i use head & shoulders 07:29:52 also, my scalps itches when i think about this 07:29:55 *-s 07:31:00 why can't they make sound isolation that isolates against humans speaking loudly 07:31:03 zzo38: why don't you use arithmetic coding for that? I mean, huffman to 26 letters would be very wasteful unless your input has lots of symbols, because you have to encode very common symbols with a single letter. 07:31:51 also, carpenting and loud bass music 07:32:21 basically, why is sound isolation imperfect. 07:32:52 oerjan: http://www.xkcd.com/666/ ? 07:33:51 oerjan: It will be okay after we remove your ears and replace them with something that has a firmware upload function hth 07:34:02 fizzie: ooh 07:34:27 fizzie: like http://www.xkcd.com/644/ ? 07:39:36 @ask coppro I should register theenemysgate.ca and point it to an IP address that doesn't have a server <-- what about a server that responds to pings, but _nothing_ else twh 07:39:37 Consider it noted. 07:39:45 All a dream of http://www.xtcian.com/CalvinHobbesNailTable%28bl%29.jpg 07:41:10 A server that communicates by the length of time it waits before closing incoming connections 07:47:41 -!- conehead has joined. 07:48:16 http://www.lessmilk.com/games/12/ <-- AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA 07:48:23 -!- mhi^ has joined. 07:52:00 29 07:53:19 darn i had 28 when i gave up 07:53:50 games that give me nausea: -1 08:00:49 That reminds me of that one #drugz game. 08:00:56 I forget what its name was. 08:01:39 Tetripz, yes. 08:02:00 (See Google image search for a good overview.) 08:11:17 -!- Melvar` has joined. 08:14:02 -!- Melvar has quit (Ping timeout: 255 seconds). 08:46:31 -!- oklopol has left ("Leaving"). 08:47:31 -!- shikhin has quit (Ping timeout: 276 seconds). 08:48:46 -!- shikhin has joined. 08:56:20 -!- MindlessDrone has joined. 08:57:40 That is pretty #drugz. 09:05:38 -!- Phantom_Hoover has joined. 09:13:02 -!- FreeFull_ has changed nick to FreeFull. 09:57:07 -!- password2 has quit (Ping timeout: 250 seconds). 10:37:14 why do i die whenever i collect the dot after it rotated a little? Oo 10:43:54 white on light grey, seriously?! 10:48:54 myname: i don't recall that happening. 10:49:23 I keep getting killed when it rotates a whole lot instead of a little bit. 10:49:29 After 40, and esp. after 45. 10:49:32 myname: possibly you get confused about which keys turn which way? 10:49:53 oerjan: no, i move in circles a bit to make sure 10:50:19 * oerjan doesn't feel like trying that game again 10:50:35 I've tried it twice now, and gotten 41 and 46. 10:50:54 Also, I liked the "white on bright yellow" even less than "white on light gray". 10:52:44 * oerjan plays some 2048 just to be anti-hipster (and also because he hasn't managed to win it yet ihrc) 10:53:03 oerjan: how many dimensions? 10:53:22 ordinary 4*4 2d 10:53:32 lame 10:53:37 the 3d i tried was too easy 10:54:33 you may try 4d or 5d :p 10:55:43 oerjan: You should play flappy 2048 10:56:44 i've tried 10:56:47 FreeFull, I played too much of that 10:57:08 too hard for me 10:57:14 High score 37 10:58:30 I had 43 10:58:36 err 10:58:51 wrong game, sorry, I should read more context 10:59:57 Taneb: There are at least two different flappy2048s. 11:00:19 http://flappy2048.com/ this one 11:00:28 Right, there's also http://hczhcz.github.io/Flappy-2048/ 11:00:47 I got that as first hit the other day, and flappy2048.com as the second. 11:00:53 Today it seems the other way around. 11:03:15 i do think both are crap 11:03:17 ok i can confirm they're both awful hth 11:03:38 My printer keeps getting paper jams. :/ 11:05:01 clearly you should convert to virtual printing hth 11:05:30 just invent paperless printers 11:06:34 london has only had mayors since 2000? 11:12:56 ah. not to be confused with the Lord Mayor of London. 11:15:33 -!- Slereah has joined. 11:15:53 -!- mhi^ has quit (Quit: Lost terminal). 11:16:35 "A female Lord Mayor or an unmarried male Lord Mayor may appoint a female consort, usually a fellow member of the corporation, to the role of Lady Mayoress." 11:16:43 -!- Phantom__Hoover has joined. 11:16:58 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds). 11:17:08 If I print using the manual feeder, it doesn't jam, but it writes "x0Y" on the top-left corner, and scales the actual printout to occur in the bottom-right two-thirds of the page. 11:17:40 fancy 11:18:10 This calls for a four-pass printing process 11:18:19 -!- FreeFull has quit (Ping timeout: 276 seconds). 11:18:20 -!- Slereah_ has quit (Ping timeout: 252 seconds). 11:18:40 the thou shall not pass process 11:19:29 -!- FreeFull has joined. 11:19:37 hm *you 11:26:44 Gamut the Grey, protector of the halftones, wielder of the flame of Linotype 11:26:46 Should've printed all this stuff at work, instead of trying to do it here at home. 11:27:07 -!- mhi^ has joined. 11:29:32 -!- conehead has quit (Quit: Computer has gone to sleep). 11:38:17 -!- oerjan has quit (Quit: leaving). 11:38:37 does the crazy snake game start doing arbitrary affine transformations at some point (including reflections?) 11:58:08 -!- quintflam has joined. 11:58:36 what up 12:00:25 -!- quintflam has quit (Client Quit). 12:05:23 `? up 12:05:23 up? ¯\(°​_o)/¯ 12:05:58 Is fungot up 12:05:58 Jafet: i think it would be nice, if scheme is then forth is that you can keep that nic for now if you meet someone who's smarter than you look 12:06:26 crazy snake game? 12:08:41 -!- nooodl has joined. 12:20:16 b_jonas: http://www.lessmilk.com/games/12/ 12:36:53 -!- nucular has joined. 12:36:53 -!- nucular has quit (Changing host). 12:36:53 -!- nucular has joined. 13:14:29 -!- boily has joined. 13:24:20 -!- tromp has joined. 13:29:10 -!- Patashu_ has quit (Ping timeout: 240 seconds). 13:42:21 -!- tertu has joined. 14:20:21 according to past topics, we have >100% bots, and we increasingly speak in French. fungot, parles-tu français? 14:20:21 boily: you want to bind it locally and then return :) here's my attempt at aesthetics 14:20:45 fungot: local language binding... and EDSL, then? 14:20:45 boily: fnord/ 2008/ 02/ fnord/ fnord 14:21:03 fungot: ah. the monadic fnord composition. 14:21:03 boily: so... i suck at them somewhere in arithmetica! loophole! 14:21:48 fungot: you suck fungots between numbers? isn't that a bit... morally wrong? 14:21:48 boily: off the top of the stack 14:22:00 fungot: blertch! that's gross! 14:23:38 -!- Frooxius has joined. 14:25:08 -!- tromp has quit (Remote host closed the connection). 14:41:37 -!- ^v has joined. 14:43:17 -!- shikhin_ has joined. 14:45:58 -!- shikhin has quit (Ping timeout: 240 seconds). 14:49:46 -!- shikhin_ has changed nick to shikhin. 15:09:21 -!- nortti has changed nick to driyoyleujiy. 15:09:28 -!- driyoyleujiy has changed nick to nortti. 15:09:57 -!- shikhin has changed nick to shikhout. 15:26:03 -!- shikhout has changed nick to shikhin. 15:51:02 -!- atehwa has quit (Remote host closed the connection). 16:01:48 -!- boily has quit (Quit: BRUNCHICKEN). 16:10:39 -!- Languager_ has joined. 16:11:10 -!- Sorella has joined. 16:43:24 `coins 16:43:26 nandecoin brograinscoin avercoin wikillcoin gildcoin nuouslykelxxvhis=thacoin sothropofedenentertastomialcoin ]coin divilcoin beckocoin ntcycoin autocoin orkcoin restcoin gigationcoin hargdcoin spaldcoin finingthis=thacoin cation2coin kollocoin 16:52:09 -!- Slereah_ has joined. 16:53:10 nuouslykexxvhwhat? 16:53:43 so-thropo-fedenen-tertas-tomial-coin 16:54:13 nice ones 16:54:38 -!- Slereah has quit (Ping timeout: 240 seconds). 16:57:34 it's thacoin 16:57:57 ]coin is my favourit 16:57:59 e 17:03:42 -!- Phantom__Hoover has quit (Ping timeout: 258 seconds). 17:11:20 -!- shikhin has quit (Remote host closed the connection). 17:11:23 -!- oerjan has joined. 17:43:52 -!- drdanmaku has joined. 17:51:35 -!- ^v has quit (Ping timeout: 252 seconds). 18:10:10 cation2coin, eh? 18:20:39 `coins 18:20:41 ​glassenborcoin fernandballycoin councoin misccoin ortlcoin binalcoin vaggonataeterberinglebrahildmenstricoin twofifcoin gotcoin calcoin majorgh!coin 0x2000coin tinycoin alpinkeymakicoin sendecoin pavlcoin nooncoin heliumcoin cescoin splcoin 18:21:04 ah, that's easy to remember! vaggonataeterberinglebrahildmenstricoin 18:21:33 especially in yellow 18:21:35 wat 18:21:47 that is really easy to read 18:21:51 Heliumcoin is very stable 18:22:02 because nobody interacts with it? 18:22:03 boredcoin 18:22:09 strategic heliumcoin reserve 18:22:39 when i was a small child people seemed to be very impressed that I could spell "antidisestablishmentarianism" and knew what it means 18:23:08 it's not even close to the longest English word, though 18:23:35 if we're going to have just one command with excessive colors i prefer `relcome to `coins hth 18:23:42 kmc: What's the longest? 18:23:59 why is it relcome, anyway? 18:24:17 copumpkin: *r*ainbow w*elcome* 18:24:24 aha 18:24:48 also, *was, it was deleted 18:25:32 FreeFull: it's _stable_ but it keeps seeping out of your wallet 18:25:49 the longest word is methionyl[etc]isoleucine, obviously 18:26:01 oerjan: You need to store it in a gas canister 18:26:11 FreeFull: even those seep helium 18:26:22 there's no known storage method that doesn't 18:26:57 True 18:27:01 It's better than hydrogen though 18:27:52 i wonder what's the longest English word that isn't built from smaller forms that would be known to the average speaker 18:28:20 kmc: i think that's still methionyl[etc]isoleucine 18:28:27 maybe that doesn't count 18:29:05 * kmc comes up with a way to encode arbitrary binary data as syntactically valid sequences of word-parts 18:30:24 well methionine isn't really known to the average speaker :V 18:31:26 Bike: was my point. 18:32:09 kind of funny that it begins literally every polypeptide, but hey 18:37:40 -!- ais523 has joined. 18:55:03 -!- MindlessDrone has quit (Quit: MindlessDrone). 19:05:41 -!- callforjudgement has joined. 19:08:46 -!- yorick has joined. 19:10:13 -!- ais523 has quit (Ping timeout: 276 seconds). 19:10:30 -!- callforjudgement has changed nick to ais523. 19:13:58 -!- callforjudgement has joined. 19:15:48 -!- scarf has joined. 19:15:54 -!- callforjudgement has quit (Read error: Connection reset by peer). 19:16:10 -!- ais523 has quit (Disconnected by services). 19:16:13 -!- scarf has changed nick to ais523. 19:21:59 -!- ^v has joined. 19:25:12 -!- callforjudgement has joined. 19:25:13 -!- ais523 has quit. 19:26:30 -!- callforjudgement has quit (Read error: Connection reset by peer). 19:26:40 -!- callforjudgement has joined. 19:28:08 -!- callforjudgement has quit (Read error: Connection reset by peer). 19:28:16 -!- scarf has joined. 19:29:07 -!- scarf has changed nick to ais523. 19:31:00 -!- ais523 has quit (Read error: Connection reset by peer). 19:31:08 -!- ais523 has joined. 19:46:14 -!- AnotherTest has joined. 19:57:19 -!- BlueProtoman has joined. 19:57:22 Where does the input to a counter machine go, and how do we know if said counter machine accepts or rejects the input? 19:57:34 -!- nucular has quit (Quit: Excess Food). 19:57:55 BlueProtoman: in the counters 19:58:26 oerjan: Ah, so if I were to reserve a counter for the input, I could Godel-encode a string and it'd be like a Turing machine? 19:59:31 yep, that's the idea 19:59:52 Would I need another counter to go with it? 20:00:01 Or can I just use the one Godel-encoded one? 20:00:13 (Assume the Lambek instruction set; inc, dec, jz, and halt) 20:01:14 BlueProtoman: you need 2 counters for tc-ness 20:01:22 -!- MoALTz has quit (Quit: brb). 20:01:44 although you need to encode the string extra for that to work 20:02:26 basically, first you encode your string as one counter value, then you encode all your starting counter values as 2 20:02:28 oerjan: So the first goes to the Godel-encoded input, the second goes to what? The current state? 20:02:42 no the state is separate 20:03:03 although, look at fractran 20:03:12 -!- ter2 has joined. 20:03:12 -!- tertu has quit (Disconnected by services). 20:03:27 Why would I start off all the counters but one (which goes to input) with 2? 20:03:42 the second may start as 0, it is only there as intermediate storage. 20:04:01 "Why"? 20:04:21 Oh, OK. I always thought that the states were maintained only with the counters--counter machines have their own FSMs like Turing machines or PDAs do? 20:04:34 -!- not^v has joined. 20:04:44 yes, in general. 20:05:13 -!- ^v has quit (Read error: Connection reset by peer). 20:05:56 although you _can_ encode the state too, that's how you program in fractran. 20:06:31 So then let's say I want to simulate a 2-counter machine with a 2-stack PDA (or vice versa). Does this mean I first have to push the input to one of the stacks (and equivalently, Godel-encode the input in one of the counters) before I can do anything? 20:06:32 but then you still have the fractran state of where you are in the list of fractions. and then you can encode all that as 2 counters. 20:07:08 Because I'm assuming classic counter machines don't have a notion of an input tape like a Turing machine or even a PDA does, does it? 20:07:10 well PDA's generally have input as well, don't they. 20:07:22 -!- edwardk has quit (Quit: Computer has gone to sleep.). 20:07:43 you can add an input command of course. but you don't need it for TC-ness once you have encoded the starting input as a counter. 20:08:40 OK. So that first counter == whatever input the stack machine gets. Push to stack si == increase counter ci by the next prime number to the power of its Godel mapping? 20:11:49 you can implement a 2 stack pda quite naturally with 3 counters, then simulate those with 2 counters using Gödel tricks, e.g. 2^a3^b5^c. 20:12:21 Yeah, that I get--one stack goes to the input, the others just correspond to uni-symbol stacks. 20:14:59 this does remind me of the work i did on 3-cell brainfuck. i found out how to load input into the cell but not how to print the output properly afterwards. 20:17:25 -!- MoALTz has joined. 20:17:26 3-cell brainfuck is almost like 2-counter machine, but slightly more cramped so you cannot do a full fsa directly. 20:18:34 haskell question: does anybody know how to make more than one expression for the same branch in a case? 20:18:44 (every time you end a loop a cell must be 0, so you have only 2 cells you can preserve throughout) 20:18:47 what would that mean myname 20:19:10 case somechar of <'x' or 'y'> -> ... 20:19:20 that's not expression, that's pattern. 20:19:39 and you cannot. well maybe with the newest extensions. 20:19:41 okay, a pattern then 20:19:47 :( 20:20:19 in that case you can use e.g. a guard 20:20:28 yeah it's too bad 20:20:37 Rust allows that, but its patterns are worse in other ways 20:21:14 it's a faq, pretty sure i saw it on SO the other day. 20:21:54 oerjan: do you know of a proof that 2-cell brainfuck is not Turing complete? 20:22:09 hm i had an evil idea. 20:22:11 x | x .&. (ord 'x' .|. ord 'y') < 2 -> 20:22:37 Jafet: woah 20:22:45 cannot express how ugly that is 20:22:52 it's also not correct in general, is it? 20:22:57 int-e: hm my memory is vague but i think maybe you can enumerate all the possibilities for what a program can do then. 20:23:26 It's correct in admiral 20:23:39 wasat 20:23:58 hm what if you combine pattern guards with lambdacase? 20:24:14 no, not pattern guards 20:24:29 the other thing 20:24:46 That is too bad that you cannot make such a pattern; it should make such an extension, I think it would be a good idea. You can already make a case block with multiple choices to the same branch in C and in BASIC. 20:25:06 > (\case 'x' -> Just 'x'; 'y' -> Just 'y'; _ -> Nothing -> Just x -> x) 'x' 20:25:07 :1:3: parse error on input ‘case’ 20:25:21 -!- JZTech101 has left ("Now What?"). 20:26:35 ityn ((\case 'x' -> True; 'y' -> True; _ -> False) -> True) 20:26:40 oerjan: Actually, intuitively I'd expect that it is TC, because 2 counter machines run into the same limitation: they loop (or terminate quickly) until one of the counters reaches 0, then they can branch off. 20:26:44 *itym 20:26:56 Rust hasn't got pattern guards :/ 20:27:03 except they call the regular guards "pattern guards" which is mega confusing 20:27:33 @quote x.->.x 20:27:34 dark says: for example: "head (filter (\x -> x > 5) [1..])" in a strict language, you can't easily play with infinite lists In a strict language, you would write that as "6" :) 20:27:37 int-e: but they have full fsa branching ability 20:27:45 oerjan: but with BF the transitions that you get are limited, so it's not straight-forward. obviously you know that. 20:27:54 -!- Languager_ has quit (Quit: Leaving). 20:27:59 int-e: i _believe_ 2-cell bf is not tc. 20:28:00 rust still got a good mixture of functional and imperative programming imo 20:28:28 myname: i think that ((\case 'x' -> True; 'y' -> True; _ -> False) -> True) technically works >:) 20:28:32 oerjan: ok. 20:28:43 @quote \\x.->.case 20:28:43 benmachine says: let (\x -> case x of (\x -> x -> x) -> x -> x) = 0 in x / best view pattern evar 20:28:46 requires LambdaCase and ViewPatterns 20:28:47 myname: Haskell has a better mix, in a sense 20:28:53 but Rust has an unusual set of design constraints 20:29:02 huh? 20:29:10 oerjan: eww! 20:29:14 huh what 20:29:24 but yes, that looks correct 20:29:32 what do you mean with unusual set of design constraints 20:30:15 it doesn't have garbage collection or other things that require a heavyweight runtime 20:30:22 (it will eventually have optional garbage collection) 20:30:47 i do find that pretty interesting 20:30:56 you get the choice between a runtime with green threads and libuv, or basically no runtime just making system calls the way a C program would 20:31:04 i take a look at rust for quite some time 20:31:26 and in the latter case you can even compile without libc and write an EFI binary, a kernel, a Linux kernel module, a microcontroller program, etc. 20:31:51 oh. x == \x -> x -> x 20:32:41 i just wish for rust to become stable 20:32:53 ehe 20:32:57 I know there are things for "bare metal" programming in Haskell as well but it's a big pain 20:33:15 rust is the antithesis of stability, ask any engineer 20:33:27 hm i think the parentheses are redundant in that pattern 20:33:29 whereas Rust is a modern language that's basically compatible with the traditional C world of native compiling and linking 20:33:32 myname: you will get your wish this year, is the plan 20:33:50 kmc: great to hear 20:33:56 i so want to do stuff with it 20:34:06 and also, you could make a quasiquote wrapping that up 20:34:13 @run (\case x -> x) 1 20:34:14 :1:3: parse error on input ‘case’ 20:34:35 now only documentation needs to get better *g* 20:34:36 int-e: i don't think the extension is enabled? 20:34:36 i work on a 100,000 line Rust project and it is a pretty big pain keeping up with the language, yeah 20:34:38 @run let id -> x = 0 in x 20:34:39 :1:8: parse error on input ‘->’ 20:34:46 it's not too early to learn the core concepts, though 20:34:52 those aren't gonna change much 20:34:54 oerjan: this is quicker than checking the source :) 20:35:16 kmc: indeed, it just is disappointing :D 20:35:50 oerjan: I'm a bit surprised that nobody has requested those extensions to be enabled in \-bot yet. 20:37:57 shocking 20:41:00 so this works: let (\(\x -> x -> x) -> x -> \x -> x -> x) = 0 in x 20:42:27 -!- Patashu has joined. 20:43:01 So, on simulating a 2-stack PDA with a 4-counter machine; one counter goes to the input, two go to stacks, and one is unused. Handling the inc and dec instructions is easy. What about the jump-if-zero instruction? 20:44:44 normally you have to go through some intermediate encoding 20:44:50 you might want to look at http://esolangs.org/wiki/Fractran 20:45:01 it should give you some ideas about compiling things to counter machines 20:45:53 -!- AnotherTest has quit (Ping timeout: 264 seconds). 20:46:27 -!- Patashu_ has joined. 20:46:27 -!- Patashu has quit (Disconnected by services). 20:52:58 -!- mhi^ has quit (Quit: Lost terminal). 20:58:02 -!- fungot has quit (Ping timeout: 252 seconds). 21:02:50 BlueProtoman: Ah, I was ignoring input (assuming it goes to a stack) when I said that 3 counters work easily. 21:11:41 The heck? 21:11:51 Just downloaded a tutorial-game for something 21:12:07 And in the comments.... "Contributors: Julio Monteiro, Sgeo, TheMonkeyDidIt, Deadron" 21:12:13 I don't... remember contributing to it 21:12:16 Sgeo: What game? 21:12:21 Two Steps BYOND 21:12:36 int-e: So what would that imply? 21:12:55 Sgeo: Link? 21:13:04 http://www.byond.com/developer/deadron/stepbyond 21:13:13 It currently isn't compiling :( 21:13:28 and then you get transformations that increase runtime double exponential 21:13:53 b_jonas: Me? 21:15:08 finally Sgeo discovers his **** clone 21:19:41 fuck clone? 21:20:53 that is only one of the many wonderful possibilities of having a clone 21:22:53 -!- Patashu_ has quit (Ping timeout: 252 seconds). 21:27:33 -!- callforjudgement has joined. 21:27:44 -!- ais523 has quit (Disconnected by services). 21:27:45 -!- callforjudgement has changed nick to ais523. 21:30:08 glogbackup: yeah. but double exponential might be an exaggeration. I don't follow how efficient counter machines are these days, maybe they're single exponential 21:31:50 the keys are like right next to each other. 21:33:16 -!- ais523 has quit. 21:36:22 -!- conehead has joined. 21:49:31 -!- password2 has joined. 21:53:34 -!- oerjan has quit (Quit: Nite). 22:05:21 -!- Phantom__Hoover has joined. 22:31:42 -!- boily has joined. 22:35:37 -!- nooodl_ has joined. 22:38:42 -!- nooodl has quit (Ping timeout: 265 seconds). 22:39:15 yaaaaawn 22:39:44 I did that thing where I go to sleep before I need to go to sleep and then wake up two hours later really groggy 22:39:45 * boily lightly prods Taneb awake with his mapole 22:40:53 -!- Eritzap has joined. 22:41:13 https://www.youtube.com/watch?v=DZUQM0ib2CI 22:44:11 fowl: AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA 22:44:54 SHE TOOK IT ALLLLLLLLLLL AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA 22:48:05 -!- Eritzap has quit (Quit: Page closed). 22:54:51 ?wa 700 + 132 + 942 + 732 22:54:57 No match for "700". 22:54:57 No match for "+". 22:54:57 No match for "132". 22:54:57 No match for "+". 22:54:57 No match for "942". 22:54:59 No match for "+". 22:55:03 No match for "732". 22:55:10 oh 22:55:14 i forgot how to match 22:55:15 math* 22:58:58 -!- nooodl has joined. 22:59:19 -!- yorick has quit (Remote host closed the connection). 23:02:23 -!- nooodl_ has quit (Ping timeout: 265 seconds). 23:05:32 -!- edwardk has joined. 23:09:15 ?wa? 23:09:16 Maybe you meant: wn what faq ? 23:09:28 ?what 23:09:28 @where , return element associated with key 23:09:34 ?what what 23:09:34 I know nothing about what. 23:10:46 -!- password2 has quit (Ping timeout: 240 seconds). 23:13:20 @? wa 23:13:20 wa 23:14:50 `? wa 23:14:50 wa? ¯\(°​_o)/¯ 23:17:28 i think its another channel that uses ?wa 23:17:35 for wolfram alpha 23:24:28 int-e: does lambdie have the same features across all channels? 23:31:37 just make your client able to /calc 23:33:27 -!- witschge has joined. 23:35:01 myname: too logical. 23:35:22 okay 23:35:45 i cant justify writing a plugin for something i can just jump into a terminal and do (or google) 23:37:28 whaddya need a plugin for, just do some alias to /exec whatever dc 23:40:03 -!- witschge has left. 23:47:52 -!- nooodl has quit (Quit: Ik ga weg).