00:00:30 -!- Frooxius|TabletP has quit (Read error: Connection reset by peer). 00:00:58 -!- Frooxius|TabletP has joined. 00:13:54 -!- Patashu has quit (Disconnected by services). 00:13:55 -!- PatashuXantheres has joined. 00:18:46 -!- PatashuXantheres has quit (Ping timeout: 265 seconds). 00:27:26 -!- nortti_ has quit (Quit: AndroIRC - Android IRC Client ( http://www.androirc.com )). 00:27:29 -!- elliott has quit (Quit: Leaving). 00:28:56 -!- Patashu has joined. 00:32:28 -!- Patashu has quit (Disconnected by services). 00:32:28 -!- PatashuXantheres has joined. 00:39:03 -!- PatashuXantheres has quit (Ping timeout: 245 seconds). 00:43:24 -!- Patashu has joined. 00:53:46 -!- aloril has joined. 00:57:15 -!- Patashu has quit (Disconnected by services). 00:57:16 -!- PatashuXantheres has joined. 01:12:13 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 01:25:28 -!- DH____ has quit (Read error: Connection reset by peer). 01:25:33 -!- DHeadshot has joined. 01:37:22 -!- PatashuXantheres has changed nick to Patashu. 01:48:24 -!- sebbu2 has joined. 01:48:25 -!- sebbu2 has quit (Changing host). 01:48:25 -!- sebbu2 has joined. 01:51:22 -!- sebbu has quit (Ping timeout: 256 seconds). 02:25:56 -!- DHeadshot has quit (Read error: Connection reset by peer). 02:29:17 I've got a great idea 02:29:26 I should write a language where type conversions are not idempotent 02:52:08 ++ 03:09:31 -!- oerjan has quit (Quit: leaving). 03:09:59 time for space elevator to move into second place. sorry slowpoke. 03:10:09 !bfjoust space_elevator http://sprunge.us/WEWc 03:10:18 ​Score for quintopia_space_elevator: 50.8 03:11:10 well 03:11:22 it's second place on the new scoring system at least 03:11:36 -!- MDude has changed nick to MSleep. 03:22:17 -!- sebbu2 has changed nick to sebbu. 03:25:38 -!- Sgeo_ has quit (Read error: Connection reset by peer). 03:26:24 -!- Sgeo_ has joined. 03:27:07 -!- azaq23 has quit (Read error: Operation timed out). 03:40:18 !bfjoust moves_olsner_to_the_bottom [>[-]+] 03:40:21 ​Score for quintopia_moves_olsner_to_the_bottom: 8.1 03:41:52 and that is the problem with the current scoring system 03:42:13 the stupidest program beats all of olsner's, but they remain relatively high-ranking 03:42:52 (no offense olsner :P) 03:44:40 -!- azaq23 has joined. 03:47:37 !bfjoust 3pac >+>->+>->+>->+>(-)*6<(+)*6<(-)*6<(+)*6<(-)*15<(+)*15<(-)*20<(+)*40>(-)*20>(+)*15>(-)*15>>>>>(>[((-)*3([+{(+)*35[-][+]}[-]])%6(+)*2>)*3((+)*3([-{(-)*40[+][-]}[+]])%6(+)*2>)*18](+)*2)*21 03:47:40 ​Score for quintopia_3pac: 51.3 04:02:40 !bfjoust space_elevator http://sprunge.us/bKSD 04:02:43 ​Score for quintopia_space_elevator: 49.0 04:02:44 -!- kwertii has joined. 04:02:59 !bfjoust space_elevator http://sprunge.us/WEWc 04:03:02 ​Score for quintopia_space_elevator: 51.1 04:09:43 !bfjoust space_elevator http://sprunge.us/DNTi 04:09:46 ​Score for quintopia_space_elevator: 51.3 04:15:24 -!- asiekierka has joined. 04:20:55 !bfjoust space_elevator http://sprunge.us/LcSj 04:20:58 ​Score for quintopia_space_elevator: 52.0 04:30:05 !bfjoust space_elevator http://sprunge.us/VbOQ 04:30:08 ​Score for quintopia_space_elevator: 54.6 04:47:27 -!- Frooxius|TabletP has quit (Ping timeout: 252 seconds). 04:48:22 -!- Frooxius|TabletP has joined. 04:58:07 interesting 04:58:17 high score for a simple looking program 04:58:32 !bfjoust space_elevator http://sprunge.us/AMJF 04:58:35 ​Score for quintopia_space_elevator: 55.5 04:59:10 myndzi: by the new scoring system, this new version of space_elevator has top score. waiting for gregor to return to install it. 05:04:14 oh, there's a new scoring system 05:04:19 also i was talking about 3pac, didn't click any links 05:04:53 amusingly slowrush is still chillin' at halfway 05:04:53 :) 05:05:11 what is this new system? 05:05:47 \o/ \m/ 05:05:48 | 05:05:48 /´\ 05:05:54 \o/ \m/ \m/ 05:05:55 | `\o/´ 05:05:55 >\ | 05:05:55 /´\ 05:05:55 (_| |_) 05:06:16 \o\ /o/ /m\ 05:06:17 | | 05:06:17 /| /< 05:09:28 -!- azaq23 has quit (Quit: Leaving.). 05:09:44 -!- Frooxius|TabletP has quit (Ping timeout: 265 seconds). 05:09:51 -!- Frooxius|TabletP has joined. 05:21:02 -!- Slereah_ has quit (Read error: No route to host). 05:21:44 -!- Slereah has joined. 05:41:29 > text "\o/" 05:41:30 | 05:41:30 |\ 05:41:31 : 05:41:31 lexical error in string/character literal at chara... 05:41:36 > text "\\o/" 05:41:37 | 05:41:37 /< 05:41:37 \o/ 05:41:38 ¦ 05:41:38 ´¸¨ 05:42:38 -!- Patashu has quit (Ping timeout: 240 seconds). 05:44:44 -!- Patashu has joined. 06:36:50 -!- kwertii has quit (Quit: kwertii). 06:49:52 -!- Patashu has quit (Disconnected by services). 06:49:53 -!- PatashuXantheres has joined. 07:24:50 -!- nooga has joined. 07:53:13 -!- copumpkin has quit (Ping timeout: 245 seconds). 07:53:45 -!- copumpkin has joined. 07:53:45 -!- copumpkin has quit (Changing host). 07:53:45 -!- copumpkin has joined. 08:29:21 -!- DHeadshot has joined. 08:39:04 -!- kwertii has joined. 08:39:15 -!- kwertii has quit (Client Quit). 09:36:34 -!- Vorpal has joined. 09:37:28 -!- PatashuXantheres has changed nick to Patashu. 09:53:07 -!- ais523 has joined. 10:17:55 -!- Phantom_Hoover has joined. 10:19:12 When applying for a job in Germany, use one of these fonts in your CV. http://2.bp.blogspot.com/_OS0MkeqUXug/S5FWyNniaXI/AAAAAAAAAfQ/fySzP2mYrjU/s400/Gothic_types_Third_Reich.jpg 10:37:51 http://designtaxi.com/news/352757/Apple-s-Clothing-Line-From-The-80s/ 10:38:33 what? :D 10:48:58 !bfjoust 3pac >+>->+>->+>->+>(-)*6<(+)*6<(-)*6<(+)*6<(-)*15<(+)*15<(-)*20<(+)*40>(-)*20>(+)*15>(-)*15>>>>>(>[((-)*3([+{(+)*35[-][+]}[-]])%6(+)*2>)*2((+)*3([-{(-)*40[+][-]}[+]])%6(+)*2>)*18](+)*2)*21 10:49:06 ​Score for quintopia_3pac: 51.7 10:57:44 someone linked me to this, and it's actually pretty hilarious: http://www.reddit.com/r/gaming/comments/uxpil/ive_been_playing_the_same_game_of_civilization_ii/ 10:57:45 ais523: You have 3 new messages. '/msg lambdabot @messages' to read them. 10:57:50 @messages 10:57:50 elliott said 21h 41m 32s ago: Haha, all your programs drop like 10 places. 10:57:51 elliott said 21h 41m 13s ago: Oh wait, it's not places, it's points. 10:57:51 elliott said 21h 41m 9s ago: Score. 11:09:56 -!- david_werecat has joined. 11:13:39 -!- sebbu2 has joined. 11:13:45 -!- sebbu2 has quit (Changing host). 11:13:46 -!- sebbu2 has joined. 11:15:13 -!- sebbu has quit (Ping timeout: 256 seconds). 11:24:10 -!- sebbu2 has changed nick to sebbu. 11:28:38 -!- david_werecat has quit (Ping timeout: 240 seconds). 11:47:45 !bfjoust space_elevator http://sprunge.us/QLDh 11:47:50 ​Score for quintopia_space_elevator: 56.5 11:49:07 -!- MoALTz has joined. 11:53:56 ais523: that's pretty awesome 12:00:35 -!- pikhq has quit (Ping timeout: 244 seconds). 12:00:42 -!- pikhq has joined. 12:10:12 -!- ais523 has quit. 13:20:51 -!- elliott has joined. 13:21:59 http://qdb.us/21554 13:27:46 -!- david_werecat has joined. 13:55:25 -!- copumpkin has quit (Quit: Computer has gone to sleep.). 14:14:44 -!- copumpkin has joined. 14:15:56 .youtube eh 14:16:11 .drink.coke yum 14:17:02 is there a list of net gtlds? 14:17:55 http://facebook.google.youtube/ 14:18:35 nortti: http://newgtlds.icann.org/en/program-status/application-results/strings-1200utc-13jun12-en if you mean the new ones. 14:18:39 http://www.iana.org/domains/root/db and filter out the ones that say "country-code", if you mean the old ones. 14:19:02 It's a longish list. 14:19:57 -!- MSleep has changed nick to MDude. 14:19:58 Quite a few ".cloud"s. 14:20:23 .americanfamily ... 14:20:25 Hey, City of Helsinki has applied for .helsinki. 14:20:30 That's funny. 14:21:34 I guess they got tired of having to share "helsinki.fi" with Helsinki University, who had gotten it before they could. (They only have "hel.fi" for their own.) 14:21:38 http://fi.helsinki/ 14:21:44 hell.fi 14:23:07 Our university should hurry up and get the .aalto. 14:24:04 .you 14:24:35 Two applicants for that, I see. 14:24:41 fizzie: so are most of those likely to be accepted or are there limits or some kind of stringent requirement or sth 14:25:40 There are requirements, but they sounded to me mostly financial, making sure the applicant is not going to go immediately out of business and so on. 14:27:18 There's a public comment period and whatnot for complaints, though. 14:29:13 The eglibility section says just "established corporations, organizations, or institutions in good standing". And there's some financial escrow stuff. And things like "no convicted criminals" rules. 14:30:17 "Has been involved in a pattern of adverse, final decisions indicating that the applicant or individual named in the application was engaged in cybersquatting as defined in the Uniform Domain Name Dispute Resolution Policy (UDRP), the [blah blah blah] or [bleh bleh bleh]." 14:30:27 But I'd think most of them pass these kinds of things. 14:37:58 -!- MoALTz has quit (Quit: Leaving). 15:03:16 http://pics.kuvaton.com/kuvei/tiesitko_etta.jpg 15:27:00 Sounds like sensible advice. 15:30:02 -!- Taneb has joined. 15:33:19 !bfjoust space_elevator http://sprunge.us/VVjb 15:33:22 ​Score for quintopia_space_elevator: 53.7 15:33:24 Hello! 15:33:27 that bug has been annoying me for ages 15:33:40 Yeah, the "Hello!" bug is indeed quite annoying. 15:33:52 i delete it, and then i change somethign else, and i have to download the buggy version again 15:34:00 now it is fixed and uploaded and shan't return again! 15:34:08 http://www.networkworld.com/community/blog/snopescom-debunks-old-c-interview-hoax 15:34:11 ....hoax 15:34:23 I always thought that "interview" was a joke 15:34:26 although... 15:34:27 People actually believe it? 15:34:36 it's strange that the score went down 15:34:39 oh good for a minute there i thought sgeo believed the interview was real 15:34:42 something else is changed in there 15:35:00 oh 15:35:03 whoops :P 15:36:43 !bfjoust space_elevator 15:36:44 ​Use: !bfjoust . Scoreboard, programs, and a description of score calculation are at http://codu.org/eso/bfjoust/ 15:36:47 !bfjoust space_elevator http://sprunge.us/edUD 15:36:50 ​Score for quintopia_space_elevator: 56.2 15:43:13 That's getting very close to first. 15:54:53 spelevator 16:03:55 david_werecat: it is first. 16:04:10 (you just don't know it yet) 16:05:05 quintopia: have you tried using death_to_defence's clear loop 16:06:51 elliott: i am beating all of the defence programs already. why should i? 16:07:24 to defeat future defence programs? 16:07:29 was just wondering 16:07:50 i started writing a similar program to death_to_defence once 16:07:57 slightly more complicated 16:08:17 it was several MB long before i quit and allowed it to vanish when my computer rebooted 16:08:20 (i never saved) 16:08:36 rip 16:10:25 i admit the idea of a timer clear followed by a different kind of clear is nigh-unlockable. i expect to see such clears wipe out defense programs entirely in the future 16:10:41 quintopia: didn't you see ais523 found a counter? 16:10:53 the shudderlock you mean 16:11:52 idk 16:13:42 yeah it looks neat. it also looks imminently defeatable by the right kind of clear 16:14:02 pretty much every strategy is defeatable by another strategy 16:14:11 (do you mean "eminently"?) 16:14:19 no 16:14:32 ok 16:14:48 i mean that i suspect that we'll so have clears that there is just no way to compactly lock 16:14:55 s/so/soon/ 16:16:35 -!- sebbu2 has joined. 16:16:35 -!- sebbu2 has quit (Changing host). 16:16:35 -!- sebbu2 has joined. 16:18:30 quintopia: ah 16:19:08 -!- sebbu has quit (Ping timeout: 240 seconds). 16:22:54 https://twitter.com/StephenAtHome/status/209852174669320195 16:24:54 -!- Taneb has quit (Quit: TO THE POST OOOOFFFFIIIIICCCE!!!!). 16:30:33 -!- nortti has quit (Quit: Found terminal). 16:31:08 -!- oonbotti has quit (Remote host closed the connection). 16:31:52 https://s3.amazonaws.com/f.cl.ly/items/3j2l3u43110U2G0P1F2K/monolith.jpg 16:32:44 -!- djerro has joined. 16:33:38 `welcome djerro 16:33:41 djerro: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.) 16:34:16 -!- quintopia has set topic: forking | http://codu.org/logs/_esoteric/ | This is what the bfjoust hill will look like under the new scoring system: http://sprunge.us/FQgC. 16:34:30 -!- djerro has quit (Client Quit). 16:41:06 -!- nortti has joined. 16:45:16 -!- Patashu has quit (Ping timeout: 244 seconds). 16:46:00 -!- oonbotti has joined. 16:51:58 -!- Taneb has joined. 16:52:13 Hello! 16:52:40 hi 16:53:02 I've been thinking about Free monads and Cofree comonads 16:53:31 hi 16:55:34 Maybe is Free Proxy; Identity is Cofree Proxy 17:00:16 Free Maybe is odd 17:00:50 It's almost (,) Peano 17:01:16 I wouldn't think of it as Proxy 17:01:36 it's just Const () or something like that 17:01:52 copumpkin: Proxy === Const () 17:01:57 I know 17:02:08 but the name Proxy has additional connotations which are irrelevant here 17:02:27 that's why I said "I wouldn't think of it as" 17:02:28 Taneb: Free Maybe *is* (,) Nat, isn't it? 17:02:30 rather than "you are wrong" 17:02:48 copumpkin: Fair enough. 17:04:26 it's not quite (,) Nat considering codata 17:04:44 or even (,) CoNat 17:05:01 since with Free Maybe you need to go all the way to the bottom to hit that a 17:05:02 oh, right 17:05:28 but if it's data, then they should be equivalent 17:05:47 (different computationally though) 17:06:10 computationally howso 17:06:28 even if it's data, you still need to traverse the "nat" all the way to the bottom to project out the a 17:06:36 whereas with a pair it's constant time 17:06:40 right 17:07:10 the reason I comment on it is that I've been dealing with a very similar situation a lot when trying to encode skew-binary in agda 17:07:18 with an eye on complexity (proofs) 17:17:04 Free Maybe is different because it could have a Nothing at some point 17:17:17 Free Identity is (,) Nat 17:17:51 no it's not 17:17:56 fix (Pure . Identity) 17:18:16 how do you represent (fix Succ, 42) 17:18:58 ??? 17:19:26 fix (Pure . Identity) 17:19:45 ? 17:20:46 uh 17:20:48 s/Pure/Free/ 17:21:25 Well, okay 17:21:48 it's Either BloodyRidiculousInfinityStupidThing (Nat, a) 17:29:18 good point 17:29:30 so it's not anything particularly interesting 17:30:08 :/ 17:31:47 Taneb: no, Nat has infty :) 17:31:50 assuming you mean Conat 17:32:01 Is Conat finite only? 17:32:13 conat is data Conat = Z | S Conat 17:32:17 data Nat = Z | S !Nat 17:32:31 Conat Ellioll 17:32:36 Not the other way round? 17:32:40 brb 17:32:53 Taneb: no 17:32:55 data vs. codata 17:33:01 codata is potentially infinite 17:33:02 I will name my child conat. 17:33:03 data isn't 17:33:04 more or less 17:33:12 ion: watch monqy play crawl thx 17:33:21 What server? 17:33:24 ion: he's doing all the branches on the orb run 17:33:26 telnet light.bitprayer.com 17:33:27 Back 17:33:27 it's crawl light 17:33:54 ion: (he just did orb run tomb:3 using mephitic cloud as a replacement for pnoise) 17:34:03 I began playing Thief. Also, posted http://appdb.winehq.org/objectManager.php?sClass=version&iId=26146 17:34:03 -!- MoALTz has joined. 17:34:13 now it's orb run lair! 17:34:50 elliott, wait, is that distinction particularly obvious in Haskell? 17:35:04 ion: (he did all branchless runes first and is now entering the branches for the first times; he's got the vaults and tomb runes so far) 17:35:10 *time 17:35:13 I also tried Dungeons of Dredmor. Its perspective is just as annoying as i thought it would be when looking at screenshots. And IT NEEDS AUTOEXPLORE. 17:35:15 erm, with zot:3 in the middle of that 17:35:19 (light's equivalent of zot:5) 17:35:23 elliott: ok 17:35:54 ion: oh yeah, he also hasn't found a source of conservation all game 17:36:41 ion: oh also also he ha sno heal wounds 17:36:46 i think he might be out of healing (curing) too 17:36:46 nice 17:36:47 *has no 17:36:54 all his potions got shattered more or less 17:36:58 apart from useless ones 17:37:04 Of course. 17:38:31 The Random Number God in action. 17:38:58 what a great bug/something 17:39:52 -!- sebbu has joined. 17:42:44 -!- sebbu2 has quit (Ping timeout: 244 seconds). 17:42:45 ion: #CrawlLight for "running commentary" 17:43:48 I’m on too many channels already. :-( 17:44:21 ion: You'll miss me announcing all the pan lord names! 17:44:31 ion: how many channel are you on? 17:44:32 -!- Phantom__Hoover has joined. 17:46:39 Wow, 58 already. (But many of them are related to smallish projects and have next to no traffic, and some i don’t really follow regularly.) 17:46:47 -!- Phantom_Hoover has quit (Ping timeout: 256 seconds). 17:46:58 You should swap one of them for #CrawlLight! 17:47:01 Doctor approved. 17:47:11 I’ll join temporarily. :-P 17:51:46 -!- david_werecat has quit (Quit: Page closed). 18:31:21 -!- Taneb has quit (Remote host closed the connection). 18:39:59 -!- Taneb has joined. 18:40:27 Hello 18:41:18 hi 18:42:01 -!- mtve has quit (Quit: Terminated with extreme prejudice - dircproxy 1.0.5). 18:46:17 -!- DHeadshot has quit (Ping timeout: 256 seconds). 18:50:21 -!- oerjan has joined. 18:50:46 quintopia: hey why you remove my diff :( 18:51:01 -!- TodPunk has quit (Read error: Connection reset by peer). 18:51:14 -!- TodPunk has joined. 18:52:15 -!- DHeadshot has joined. 18:53:13 oerjan: it got updated 18:53:24 ok 18:56:00 -!- Vorpal has quit (Ping timeout: 246 seconds). 18:57:35 i find it slightly disturbing that attack1 is there and not in report.txt 18:57:48 (that was the case with the previous diff too) 19:22:35 -!- oerjan has set topic: forking | http://codu.org/logs/_esoteric/ | This is what the bfjoust hill will look like under the new scoring system: http://sprunge.us/FQgC | Older example diff at http://pastebin.com/RhjNMDnE. 19:23:21 i made that kludging around in vim, so i cannot be bothered to regenerate it 19:27:59 elliott, wait, is that distinction particularly obvious in Haskell? 19:28:24 haskell tends to default to codata more than other languages 19:28:37 because of laziness 19:29:06 and ! strictness annotation can then make it data instead 19:30:56 -!- asiekierka has quit (Remote host closed the connection). 19:31:26 e.g. haskell's infinite lists are a prime example of codata 19:32:41 Phantom__Hoover: ^ 19:33:05 hellop 19:33:24 If I had any say in Haskell, and to be honest I'm glad I don't 19:33:37 oerjan, yeah, that's what I was meaning. 19:33:43 I'd scrap lists, and use streams and sequences 19:33:52 Whether infinite or finite 19:33:54 It's obvious in e.g. Coq and Agda because they don't allow unrestricted recursion. 19:36:33 Taneb: how is a stream different from a list? 19:36:41 Must be infinite 19:36:54 By stream I generally mean infinite stream 19:37:12 and sequences? 19:37:18 Data.Sequence 19:37:59 that would make lazy finite lists impossible 19:38:20 Hence why I'm glad I have no real power in the Haskell community 19:38:29 yay! 19:41:16 Mild annoyance about Data.Sequence: 19:41:26 Seq isn't an instance of Applicative and Alternative 19:41:36 Despite being an instance of both Monad and MonadPlus 19:44:37 sounds like it should be fixed 20:06:26 oerjan: so a +25 in the diff means that the place number has increased, i.e. that it's gone down by 25 steps? 20:07:27 yes 20:10:11 looks like my worst program did best in terms of going down the least 20:11:29 -!- Zuu has joined. 20:16:19 -!- Zuu has left. 20:30:19 -!- olsner has changed nick to olsneron. 20:30:45 -!- olsneron has changed nick to olsner. 20:31:24 more like olsenron !!!! 20:32:21 shachaf: what, you want me to change back? 20:39:24 -!- sebbu2 has joined. 20:39:25 -!- sebbu2 has quit (Changing host). 20:39:25 -!- sebbu2 has joined. 20:42:08 -!- sebbu has quit (Ping timeout: 240 seconds). 20:43:16 -!- Taneb has quit (Quit: Leaving). 20:55:45 -!- george97 has joined. 20:55:53 -!- george97 has quit (Client Quit). 21:04:55 -!- pikhq has quit (Read error: Operation timed out). 21:06:04 -!- pikhq has joined. 21:22:08 -!- Deewiant has quit (Ping timeout: 245 seconds). 21:23:18 -!- ais523 has joined. 21:37:42 oerjan: because the hill (both mine and the egobot one) have changed since you made it. i changed the link in the topic, so it didnt make sense to leave the diff. 21:37:49 ais523: hi 21:38:43 hi quintopia 21:40:16 you should make that rusher that figures out what offsets to use on the fly :P 21:40:40 also why does shudderlock succeed in locking dtd? 21:42:00 -!- oerjan has quit (Quit: Lost terminal). 21:51:30 quintopia: because dtd changes strategy, and the lock loop chosen locks both the original strategy and the strategy it changes to, given some constant tweaking 21:51:33 -!- nooga has quit (Ping timeout: 252 seconds). 21:51:42 (it doesn't require a huge amount of constant tweaking, there's a lot of values that work) 21:59:31 -!- DHeadshot has quit (Ping timeout: 244 seconds). 22:01:48 -!- DHeadshot has joined. 22:03:44 O.o reddit blocked phys.org and the Atlantic. 22:07:49 -!- copumpkin has quit (Quit: Computer has gone to sleep.). 22:10:22 -!- DHeadshot has quit (Ping timeout: 244 seconds). 22:11:04 Phantom__Hoover: Huh. Why? 22:11:10 (OK, the Atlantic is probably no real loss, at least.) 22:12:10 The admins are being kind of cagey about it but reading between the lines they've been mass-spamming and manipulating voting. 22:13:17 Link? 22:13:46 http://www.reddit.com/r/TheoryOfReddit/comments/v03qc/physorg_is_not_allowed_on_reddit_this_domain_has/ 22:14:03 violentacrez is spearheading it so of course bitterness and accusations of fascism abound. 22:14:34 I think I'll skip, if violentacrez is involved. Also since I remember /r/TheoryOfReddit being insufferable. 22:15:46 ais523: would a clear that changes strategy several times, trying several different cycle lengths, be possible to represent as compactly as dtd? 22:15:50 OK, I lied. But after seeing "Drinking the Citizens United Kool-Aid again? DOMAINS ARE NOT PEOPLE. THEY CANNOT BE "RESPONSIBLE" FOR ANYTHING." I don't think this thread can get any better, so I'm now closing the tab. 22:16:12 Has he bitched about /r/jailbait yet? 22:16:23 i think it can 22:16:41 and i think such a strategy would not be (permanently) lockable 22:16:50 Phantom__Hoover: Doesn't every action he has done since it was shut down constitute that? 22:16:53 quintopia: you can do it with a regular timer clear, but you get a combinatorial explosion with a flexible timer clear like dtd 22:17:04 such strategies beat shudderlock, but lose to anticipation 22:17:05 (Actually I haven't heard anything about him since then, so maybe he sulked off or something.) 22:17:31 ais523: how does anticipation do it? 22:17:32 you might be able to combine them in a way that beats both shudderlock and anticipation, I guess, but then you'd be able to write a program that was a mix of shudderlock and anticipation that beat them again, probably 22:17:46 (and doesnt anticipation suffer from combinatorial explosion?) 22:17:57 "What special search terms do I need to look up information on writing external BBS software packages?" 22:18:01 quintopia: it relies on the opponent using the same clear loop on every second cell (most programs do that, in fact most use the same loop on every cell but some alternate polarity) 22:18:02 what a ridiculous SO question 22:18:07 and no, anticipation is linear, not exponential 22:18:11 it's just got a huge constant factor 22:18:17 ah 22:18:36 so anticipation can figure out any cycle length? 22:18:48 or mixthereof? 22:19:45 -!- DHeadshot has joined. 22:20:15 ais523: You should wake monqy up. 22:20:34 quintopia: yes, but it needs a different case for each cycle length 22:20:52 you can defeat it easily by changing between three or more different clear loops, or two in an XXYYXXYY pattern rather than alternating 22:21:01 but most programs don't do that, that's the only reason it works 22:21:56 ais523: a different case for each cycle length being "it took 128 cycles, it took 130 cycles, it took 132 cycles, etc."? 22:22:07 yes 22:22:15 and each needs an entire full-tape clear in it 22:22:29 yeah i can see how that would get big fast :P 22:22:31 which is a simple algorithm, but which can't be expressed succinctly 22:22:37 ais523: Thanks. 22:22:47 elliott: I don't see how I can if you can't 22:22:57 unless he's someone I know in RL but don't know he's monqy 22:23:21 really, I'd prefer BF Joust if it just had a "full-tape clear" command 22:23:27 ais523: he lives here iirc. yo wouldnt know him. 22:23:55 i could probably wake him up in a couple hours given his address 22:23:58 ais523: Well, you live in the US, right? 22:24:09 quintopia: Wait, you're in California? 22:24:21 elliott: oh, I thought quintopia was implying that monqy lived in #esoteric 22:24:43 i prefer NES and SNES was thinking of cakeprophet/kallisti 22:24:49 and no, I live within walking distance of Hexham, if you allow the walk to take several weeks 22:24:50 what 22:24:58 keyboard fail 22:25:22 yeah, NES and SNES are better than California 22:25:30 that originally started with "never mind, i..." 22:25:35 :D 22:25:36 but i hit the up arrow somehow 22:25:41 ais523: walk to hexham! 22:25:46 you + me + taneb can have an #esoteric meetup 22:25:54 elliott: not right now, I'm busy on Thursday and busy on Friday 22:26:04 you guys should all walk to georgia. 22:26:27 how about the other way around 22:26:30 georgia sounds awful 22:26:36 juust wait for an ice age, and you could walk here over the land bridge in a few years 22:27:35 I couldn't survive an apocalypse. I don't even have any bitcoins. 22:27:45 Well, I think I have like... 22:27:50 i do, but they arent liquid 22:27:56 Probably enough for 10 pounds or something by now. 22:28:03 And then 1 penny in a few months. 22:28:04 because the blockchain is HUEG 22:28:05 -!- copumpkin has joined. 22:35:28 -!- oonbotti has quit (Quit: oonbotti). 22:44:43 -!- augur has changed nick to MortalKombat. 22:44:49 -!- MortalKombat has changed nick to augur. 22:46:42 hi monqy 22:51:02 -!- cheesey has joined. 22:51:16 Evening 22:52:48 `welcome cheesey 22:52:51 cheesey: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.) 22:56:26 Cheers :) came here from the wiki actually, might lurk and attempt to contribute for a bit if nobody minds. 22:56:42 Though I haven't done much with building programming languages in a few years, I'd like to get back into it 22:57:49 :) 23:00:28 -!- oonbotti has joined. 23:06:23 -!- nortti_ has joined. 23:09:59 -!- oonbotti has quit (Quit: foobar). 23:22:42 -!- ais523 has quit. 23:25:27 -!- olsner has quit (Ping timeout: 265 seconds). 23:27:15 > 6.6*8 23:27:15 52.8 23:31:55 Phantom__Hoover: Wake monqy up, god dammit. 23:32:27 monqy: wake up 23:32:31 how 23:32:34 hmm 23:32:37 Phantom__Hoover: Fly to California. 23:32:40 The rest is up to you. 23:32:40 if i brickbrain him but miss 23:32:44 elliott: I'm already *in* California! 23:34:03 -!- olsner has joined. 23:34:17 shachaf: Then the rest is up to you. 23:34:21 Phantom__Hoover: Yes, that should work. 23:34:34 elliott: where does monqy live ! 23:34:48 monqy: I'M GOING TO DO A LABRYINTH IF YOU DON'T WAKE UP 23:34:53 shachaf: America! 23:35:06 elliott: is the answer:: lompoc, california 23:36:32 what's lompoc 23:38:18 http://i.crackedcdn.com/phpimages/photoshop/7/7/2/133772_v1.jpg 23:38:24 -!- sebbu has joined. 23:38:24 -!- sebbu has quit (Changing host). 23:38:24 -!- sebbu has joined. 23:40:58 -!- Patashu has joined. 23:41:18 -!- sebbu2 has quit (Ping timeout: 244 seconds). 23:44:12 -!- Deewiant has joined. 23:53:32 -!- david_werecat has joined.