00:00:03 pikhq_: Yes; but you must know rule about state-based effect causing tokens to cease to exist; in my rules, a new object is simply not created because the old object had no initial state. 00:01:44 -!- oerjan has set topic: /fnord/Friendship Is Magic: The Gathering | elliott sacked as bearer of Element of Loyalty, seeking pegasus replacement | http:\\\/\\\/codu.org\\\/logs\\\/_esoteric\\\/ | Now slightly on-topic | Now failing to construct an esolang in THE. WORST. POSSIBLE. WAY./fnord. 00:01:44 kallisti, update 00:03:34 * You can concede any time except in the middle of an atomic ante effect (I am not sure if the Magic: the Gathering rules mention atomic ante effects). The opponent may optionally continue in order to prove they have overmate. 00:05:05 * Even though cards cannot be bought/sold, each card has a cash value. These values are used to partially determine your score in a tournament. 00:05:09 I've made my page slightly fancier 00:05:14 that phrase has _way_ too many google hits. 00:07:08 ah i thought the google estimate might be off, it gave up at 103 hits 00:07:56 * You can still concede to prevent additional anteing and/or doubling (as in backgammon). 00:08:36 and just before, it estimated more than 3 million. 00:09:08 Everyone look at my site and satisfy my need for acknowledgement! 00:09:13 Page, really 00:09:14 http://www.vandoorn.talktalk.net/esoteric/ 00:09:58 I see nothing other than a heading, a single sentence with a link, and four names of esolangs. You need to add more, isn't it? 00:10:14 -!- zzo38 has quit (Quit: O no, I go for walk now...). 00:10:23 very minimalistic. 00:10:37 Click the headings 00:10:55 Taneb: You should make them look clickable. 00:11:19 I'll work on that after I have slept 00:11:23 It's gotten to tomorrow here 00:11:25 Goodnight 00:11:27 ah for once IE greatly enhances my browsing experience 00:11:43 (by showing everything without clicking.) 00:12:11 http://www.youtube.com/watch?v=rBgMeunuviE <-- behold and be amazed 00:12:58 in fact it seems to have ignored style completely. 00:13:59 -!- Taneb has quit (Quit: goodnight). 00:18:16 "You know those useless snow-covered lands from Ice Age? Not so useless as of Coldsnap — 11 years later!" 00:18:17 o.O 00:20:48 They weren't even that useless in Ice Age. 00:20:59 They've just got much more use after they finished the block. 00:24:59 everyone but me hates coldsnap, though 00:25:04 besides, coldsnap is part of ice age block 00:25:09 and homelands doesn't exist 00:27:37 WTF http://gatherer.wizards.com/Pages/Card/Details.aspx?multiverseid=980 00:29:53 Sgeo: that one was, umm, rather pointless 00:29:57 the mechanic's only been used once every again 00:30:03 -!- pikhq has joined. 00:30:05 and it was in an un-set 00:30:14 -!- pikhq_ has quit (Ping timeout: 248 seconds). 00:30:19 Sounds lengthy 00:44:41 -!- pikhq has quit (Ping timeout: 240 seconds). 00:44:51 -!- pikhq has joined. 00:45:14 With planeswalkers, is it more typical to get their loyalties to 1 + its .. is ultimate the right word, so that it can be used again, or just get it to ultimate and let it die? 00:48:07 ais523: you know about wikipedia customs - would it be a good idea if i simply deleted the code examples from http://en.wikipedia.org/wiki/Look-and-say_sequence ? they seem to be starting to breed lately. 00:49:01 you could transwiki them to Rosetta Code if the licenses match, I guess 00:49:08 argh 00:49:13 no idea what would happen if you simply deleted them 00:49:53 well i just have a vague impression that isn't place for it. 00:50:29 (i also looked in http://en.wikipedia.org/wiki/Wikipedia:WikiProject_Computer_science/Manual_of_style_(computer_science)) 00:50:53 *the place 00:51:33 Just delete it; if it's nobody's pet, then no one will add it back 00:51:36 an alternative would be simply to remove the javascript one that was added today. 00:51:42 ie. "consensus" 00:51:56 well, there was this guy cleaning up the python version before 00:53:29 well there is a point in the manual about not having multiple versions 00:54:51 -!- zzo38 has joined. 00:56:24 actually it seems i'll be doing nothing. 00:56:47 Taneb: You need to make it fully expanded when JavaScript disabled. 00:58:07 -!- Phantom__Hoover has quit (Quit: Leaving). 00:58:18 "You may think that the “lucky charms” (Crystal Rod, Iron Star, Ivory Cup, Throne of Bone, and Wooden Sphere) are bad, but our testing shows that most beginners are drawn to them and only learn over time that they are not as good as they seem (usually because a more advanced player tells them). That is why we keep including them in the basic set." 00:58:24 Why are the lucky charms bad? 01:09:10 If creatures without flying can't attack you (with Form of the Dragon), and Green tends not to have flying... 01:09:23 Is Form of the Dragon better against Green than against other colors? 01:27:40 -!- Vorpal has quit (Ping timeout: 276 seconds). 01:28:40 http://www.familyresearchinst.org/ So, my little sister seems to think that these guys do good science. 01:28:45 Sgeo: quite possibly; Green generally has decent flying defence, but not flying offense 01:28:45 -!- zzo38 has quit (Remote host closed the connection). 01:28:51 as in, reach is quite a common ability in green 01:29:14 I am *so* not coming out until I move. 01:32:03 -!- pikhq_ has joined. 01:32:19 * pikhq_ mutters at Internet 01:32:22 out of the closet? 01:32:59 I'm bi and atheist. So, yes. Twice over. 01:33:23 oh i didn't open the page so i figured i just didn't get what you meant 01:33:52 They think that homosexuality is EVIL. And that they have science to prove it. 01:34:04 The only journal they were published in isn't peer-reviewed. 01:34:25 yeah i gathered that from "the 'right' to practise homosexuality" 01:34:43 Also, their only 'scientist', a doctor of psychology, was removed from the APA for ethics violations. 01:35:29 what if your sisters read #esoteric logs 01:35:39 sister reads, although that was accidentally grammatical 01:35:41 -!- pikhq has quit (Ping timeout: 256 seconds). 01:36:06 i would've never imagined you bi for some reason 01:36:45 Oh? 01:37:03 "Screw you, god!" 01:38:23 hmm, perhaps that is because i've never associated you with anything remotely sexual 01:39:14 (unlike most people here who i keep thinking about sexually) 01:39:24 Ah. Yeah, I don't usually talk about sexual things. 01:39:27 ...right. 01:39:29 yeah 01:39:47 you have taken part in such conversations, but you are then even more academic than usual. 01:40:09 Part of that is the result of a fundamentalist Christian upbringing. 01:40:29 Which ~/media/porn loves contradicting. 01:41:07 :P 01:41:55 -!- pikhq has joined. 01:42:11 well upbringing doesn't always tell you everything, my parents always encouraged me to go my own way and i'm still very careful what i say. 01:42:14 Fuck my Internet with something rusty. 01:42:16 as you've surely noticed 01:42:29 from the color of my penis 01:42:37 :P 01:44:28 -!- augur has joined. 01:44:51 -!- pikhq_ has quit (Ping timeout: 245 seconds). 01:45:46 when i was something like 5 my father once told me he would love me no matter what i chose to do with my life. i asked him what if i became a serial killer. he said he'd still love me. (i added some emotion to make this more accessible to non-finns.) 01:46:01 *once 01:47:21 *-once 01:48:52 pikhq: did you read any of their articles? 01:51:17 -!- Jafet has quit (Quit: Leaving.). 01:51:44 Yes. 01:52:08 It's a couple of crackpots. 01:52:11 can you explain their arguments in layman's terms 01:52:20 and what's their definition of evil 01:52:36 does it assume the christian god 01:52:39 Their definition? Judeo-Christian God says "no". 01:53:38 weren't you a gay-bashing christian when you were your sister's age 01:53:42 They ramble on a bit, but basically say shit like "gayness comes from child sex abuse" and "gay sex is more pleasurable than straight sex, therefore if we accept gayness people will die" 01:53:46 Actually, no. 01:54:26 I was a Christian then, but gaybashing? Hah. 01:56:29 It's a little bit hard to be gaybashing when you know most of the gay people at your school. 01:56:44 well gayness is kind of dangerous, what with us running out of people and all. 01:56:56 everyone needs to procreate while we still can 01:57:42 i mean can you believe the moon is still completely empty 01:58:04 Yeah... Need to get a scientist to lie and say there's oil on the moon. 01:58:19 It'll be liberated this time next year! 01:58:50 :D 01:58:54 \o/ 01:58:55 | 01:58:55 |\ 01:59:28 ^celebrate oil 01:59:28 \o| |o| |o/ \m/ \m/ |o/ \o/ \o| \m/ \m/ \o| |o| |o/ 01:59:29 | | | `\o/´ | | | `\o/´ | | | 01:59:29 >\ /| /< | /´\ |\ /| | >\ /| /< 01:59:29 /´¯|_) /'\ 01:59:29 (_| (_| |_) 02:00:12 Ah, ok 02:00:21 We did a Booster Draft 02:00:33 (Except perhaps not as strict about talking) 02:01:05 pikhq: the problem is obviously no one will believe a single scientist unless he manages to get multiple publications in a peer-reviewed journal. 02:01:40 I think we could get a bunch of astronomers to agree to the claim. 02:01:52 And perhaps an astrophysicist or two. 02:01:57 and perhaps some astrologists 02:02:14 Heck, won't even need to work for *that*. 02:02:25 If it sounds like a neat idea, the astrologists will go with it. :P 02:03:55 the moon is the most fluid planet, of course there's oil there. 02:05:40 i hear there's water there. and not just one molecule, but like hundreds of them. 02:06:46 -!- augur has quit (Remote host closed the connection). 02:11:14 -!- augur has joined. 02:12:27 -!- calamari has quit (Quit: Leaving). 02:14:43 Honestly, I think I really really hate the "collectible" part of CCG 02:14:57 Paying money on a regular basis to be able to play a game 02:15:01 Agreed. It's the weakest feature of Magic. 02:15:10 More money = more versitality. 02:15:13 It's kind of bleh 02:15:43 Particularly the fact that there's a lot of deckspace that most people can't access. 02:15:51 * Sgeo hmms at http://cockatrice.de/ 02:16:40 (which was linked to from reddit) 02:16:45 -!- Jafet has joined. 02:17:18 (I know there are other programs like it, but I forget their name offhand) 02:19:14 -!- augur has quit (Remote host closed the connection). 02:23:04 http://magiccards.info/uqc/en/6.html 02:23:12 That looks hard to deal with 02:50:17 -!- pir^2 has quit (Quit: bye). 03:05:52 -!- dalia has joined. 03:06:06 -!- dalia has left. 03:07:15 -!- aloril has quit (Read error: Operation timed out). 03:24:15 -!- aloril has joined. 03:27:09 -!- FooBarBazQux has joined. 03:32:43 -!- zzo38 has joined. 03:34:23 One of the rules in my new idea of game similar to Magic: the Gathering, is each card is worth a certain number of poker chips, and this value is printed on the card. It has no effect during a duel, but whatever cards you drafted could be traded for poker chips and poker chips for card other people sold to you, and so on. Poker chips earned for winning a duel depends on backgammon doubling, overmate, and so on. 03:36:38 What is your idea of this idea? 03:37:56 zzo38: you should write Mornington Crescent rulesets 03:38:52 ais523: I think I might; I do have a map of the London Underground. So, I will do so after I make a larger copy, and make up some cards. 03:54:28 -!- dalia has joined. 03:56:11 -!- dalia has left. 04:17:59 Ideas for addition optimisation flag for Haskell compiler: -fuse-optimisation-files -fassume-no-error -fcrashable -fauto-strictify -fsafe-core -fall-modules-together -fmemory-threshold -fdisk-threshold -falgebraic -ftry-everything 04:22:14 -funroll-loops -O9999 04:23:48 -fdebug-itself 04:27:25 -!- Jafet has quit (Quit: Leaving.). 04:29:19 why would you want to fuse optimisation files anyhow. 04:35:23 -!- pikhq_ has joined. 04:35:50 -!- pikhq has quit (Ping timeout: 272 seconds). 04:37:35 -!- Jafet has joined. 04:37:35 -!- Jafet has quit (Changing host). 04:37:35 -!- Jafet has joined. 04:49:17 -!- pikhq has joined. 04:50:15 -!- pikhq_ has quit (Ping timeout: 248 seconds). 05:01:00 -!- zzo38 has quit (Remote host closed the connection). 05:09:21 dammit r/physics why have you combined the subreddit links in the sidebar 05:13:06 i _hate_ when things change :( 05:20:12 hm... if i change to visiting r/particlephysics first, that _does_ have four of my other favorites linked in its sidebar 05:20:20 -!- pikhq_ has joined. 05:20:21 -!- pikhq has quit (Ping timeout: 240 seconds). 05:20:24 (what do you _mean_ i could register?) 05:22:35 -!- FooBarBazQux has changed nick to PiRSquared17. 05:27:14 -!- zzo38 has joined. 05:27:59 -!- cheater_ has joined. 05:45:55 -!- azaq23 has quit (Quit: Leaving.). 05:46:35 -!- Jafet1 has joined. 05:47:02 -!- Jafet has quit (Ping timeout: 260 seconds). 05:55:13 -!- oerjan has quit (Quit: Good night). 06:52:54 -!- MoALTz has quit (Ping timeout: 248 seconds). 06:54:00 -!- MoALTz has joined. 06:58:42 -!- Jafet1 has quit (Ping timeout: 256 seconds). 07:01:29 -!- MDude has changed nick to MSleep. 07:05:40 -!- augur has joined. 07:31:36 -!- zzo38 has quit (Remote host closed the connection). 07:42:10 -!- quintopia has joined. 07:53:29 -!- Jafet has joined. 07:54:05 -!- hagb4rd has quit (Ping timeout: 272 seconds). 08:39:54 -!- monqy has quit (Quit: hello). 08:40:08 -!- pikhq has joined. 08:40:17 -!- pikhq_ has quit (Ping timeout: 245 seconds). 09:47:22 -!- nooga has joined. 09:50:42 -!- pikhq has quit (Ping timeout: 245 seconds). 09:50:48 -!- pikhq has joined. 09:53:09 -!- nooga has quit (Ping timeout: 272 seconds). 10:08:00 -!- rodgort has quit (Quit: ERC Version 5.3 (IRC client for Emacs)). 10:15:51 -!- Deewiant has quit (Ping timeout: 255 seconds). 10:21:32 -!- rodgort has joined. 10:36:02 -!- pikhq_ has joined. 10:36:16 -!- pikhq has quit (Ping timeout: 252 seconds). 10:38:05 -!- Phantom_Hoover has joined. 10:38:12 -!- Phantom_Hoover has quit (Changing host). 10:38:12 -!- Phantom_Hoover has joined. 10:40:53 -!- Vorpal has joined. 10:43:13 -!- Deewiant has joined. 10:44:08 darmok 10:45:32 -!- nooga has joined. 10:48:55 -!- Taneb has joined. 10:49:05 HTML really could do with a "yesscript" element 10:50:45 -!- pikhq_ has quit (Ping timeout: 248 seconds). 10:50:51 -!- pikhq has joined. 10:50:51 html is a very failed technology 10:51:05 It's pretty widespread 10:52:16 What, someone uses HTML? How bizarre. I thought everyone was all SMIL or whatever. 10:53:10 Taneb: so is HPV-C 10:54:19 fizzie: i'm just waiting for the whole SPDY/Rust stack to close in on html and do away with it 11:09:29 -!- derdon has joined. 11:10:42 Everybody look at my updated website at http://www.vandoorn.talktalk.net/esoteric/ so I can fulfil my need for appreciation 11:11:17 And so it can be tested for browsers with Javascript disabled 11:23:14 it is amazing 11:25:04 -!- cheater_ has quit (Remote host closed the connection). 11:25:10 -!- cheater has joined. 11:26:56 Yay 11:27:35 Taneb: it is amazing 11:28:16 does your brainfucky thing translate to haskell 11:30:09 Not really, haskell doesn't like lambda-y recursion 11:30:21 But it's close 11:30:32 -!- zzo38 has joined. 11:33:51 that's too bad 11:34:11 i had my hopes up 11:40:12 :t join id 11:40:13 Occurs check: cannot construct the infinite type: m = (->) (m a) 11:40:14 Probable cause: `id' is applied to too few arguments 11:40:14 In the first argument of `join', namely `id' 11:40:18 That's why 11:41:01 -!- rodgort has quit (Remote host closed the connection). 11:42:30 I think pattern matching of numbers in Haskell, instead of Num class should be another one: class IntegerLiteral x where { fromInteger :: Integer -> x; eqInteger :: Integer -> x -> Bool; } And the similar thing for fractional number literal too 11:43:15 Taneb: that's ok, i still wish there were a bf-like high-level language that compiles to low-level languages like haskell (: 11:43:38 zzo38: that was completely out of context and made no sense 11:44:11 cheater: I know, but I have just connected 11:44:48 zzo38: :) 11:45:23 zzo38: btw, have you looked at type promotion? it's a fairly recent type system extension for haskell 11:45:55 Yes I have looked. 11:46:15 -!- pikhq_ has joined. 11:46:18 -!- pikhq has quit (Ping timeout: 255 seconds). 11:46:40 Is there an option that allows me to construct infinite types? 11:47:23 i don't think there is 11:47:35 but you might try asking in #haskell 11:48:46 There are many extensions I wanted but that the Haskell people hate 11:54:45 -!- rodgort has joined. 11:58:23 Apaprently there isn't such an option 11:58:28 -!- MoALTz has quit (Quit: brb). 12:01:02 -!- pikhq_ has quit (Ping timeout: 240 seconds). 12:01:05 -!- pikhq has joined. 12:05:17 Taneb: how did you make it apparent ? 12:07:26 Asked in Haskell 12:08:19 *#haskell 12:08:26 Also searched the flag reference 12:09:41 -!- MoALTz has joined. 12:12:10 ah ok cool 12:14:42 -!- derdon has quit (Remote host closed the connection). 12:55:19 -!- Taneb has quit (Quit: Leaving). 13:30:18 cheater, fuck off. 13:36:43 Phantom_Hoover: no can do sir 13:46:23 -!- pikhq_ has joined. 13:46:31 -!- pikhq has quit (Ping timeout: 248 seconds). 14:03:11 I wish there was a definite order for numeric whois replies on IRC.... 14:18:38 why do you? 14:37:46 -!- Taneb has joined. 14:39:16 Hello 14:39:33 The topic's ///, right? 14:40:52 -!- pikhq has joined. 14:41:10 -!- pikhq_ has quit (Ping timeout: 252 seconds). 14:41:16 -!- itidus20 has joined. 14:44:39 -!- itidus21 has quit (Ping timeout: 248 seconds). 14:52:20 -!- Slereah has quit (Ping timeout: 248 seconds). 14:57:23 -!- sebbu has quit (Read error: Connection reset by peer). 14:57:52 -!- sebbu has joined. 14:57:52 -!- sebbu has quit (Changing host). 14:57:53 -!- sebbu has joined. 14:58:02 yes. 15:00:03 -!- itidus20 has quit (Read error: Connection timed out). 15:00:41 -!- itidus20 has joined. 15:11:08 -!- cheater has quit (Quit: leaving). 15:12:28 -!- augur_ has joined. 15:14:56 -!- Slereah has joined. 15:15:09 -!- augur has quit (Read error: Connection reset by peer). 15:16:15 -!- MSleep has changed nick to MDude. 15:18:37 "Please contact the server administrator, [no address given] and inform them of the time the error occurred, --" 15:18:49 I'll get right on that. 15:19:58 -!- itidus20 has quit (Quit: Leaving). 15:26:09 -!- pikhq_ has joined. 15:26:17 -!- pikhq has quit (Ping timeout: 260 seconds). 15:29:43 -!- cheater has joined. 15:51:02 -!- pikhq_ has quit (Ping timeout: 240 seconds). 15:51:08 -!- pikhq has joined. 16:02:42 -!- sebbu has quit (Read error: Connection reset by peer). 16:05:22 -!- ais523 has left (" fizzie: it makes demons fly out of my window, washing the windows api"). 16:05:41 -!- sebbu has joined. 16:05:42 -!- sebbu has quit (Changing host). 16:05:42 -!- sebbu has joined. 16:20:39 -!- cheater has quit (Ping timeout: 248 seconds). 16:37:48 > "test" 16:37:49 "test" 16:41:46 -!- itidus21 has joined. 17:16:06 -!- pikhq_ has joined. 17:16:13 -!- pikhq has quit (Ping timeout: 252 seconds). 17:17:56 -!- cheater has joined. 17:31:22 -!- MDude has quit (Read error: Connection reset by peer). 17:31:36 -!- MDude has joined. 17:55:04 -!- monqy has joined. 18:01:50 -!- MoALTz_ has joined. 18:04:29 -!- MoALTz has quit (Ping timeout: 252 seconds). 18:11:14 -!- PiRSquared17 has quit (Quit: ...). 18:13:21 God I'm bored 18:13:37 I'm watching /Harry Hill/ 18:13:40 Better that than being a bored God. At least for others. 18:20:37 -!- The_Khameleon has joined. 18:21:36 -!- The_Khameleon has left. 18:26:31 Why did nobody tell me Antiques Roadshow was on!? 18:27:17 Why would you watch such drivel when the Finnish presidential election is on!? 18:27:31 Though it's a really boring one, there's two candidates and an obvious winner. 18:27:34 Can't get it here 18:27:38 (It's the second round.) 18:27:42 I'm in a valley 18:30:04 Wow, I didn't know that channel existed 18:30:20 Is Sauli Niinisto the right election? 18:31:45 The Finnish election is the only thing in English Language Euronews 18:36:15 Yes. 18:36:28 Sauli is a slimy guy. 18:41:06 -!- pikhq has joined. 18:41:20 -!- pikhq_ has quit (Read error: Operation timed out). 18:41:57 And apparently also the only possible winner, too. (530k uncounted votes, 660k lead.) 18:42:31 Unless the other guy cheats 18:42:56 There's one country in Africa where the president got 23000% or something of the votes 18:43:41 that's a lot of votes 18:45:57 In my city, currently Sauli has 66.6% of the votes. Certainly this is a sign. 18:47:08 In my not-city, Guy Opperman got 43.2% of the votes. 18:48:58 Is he the Guy? 18:49:26 Just a wannabe. 18:58:41 -!- Iambdabot has joined. 19:05:56 `welcome Iambdabot 19:06:08 Iambdabot: 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 19:07:36 @ask monqy hi 19:07:37 You can tell yourself! 19:08:25 @ask monqy hi 19:08:25 Consider it noted. 19:08:37 @ask Taneb hi 19:08:38 Consider it noted. 19:08:56 @ask lambdabot please go away 19:08:57 Nice try ;) 19:09:26 ^echo fungot 19:09:26 fungot fungot 19:09:37 ^echo I am Taneb, who is also Ngevd 19:09:37 I am Taneb, who is also Ngevd I am Taneb, who is also Ngevd 19:09:49 ^echo fungot keeps repeating itself. 19:09:49 fungot keeps repeating itself. fungot keeps repeating itself. 19:09:55 fungot 19:09:55 Taneb: for me, was there ever a method written that could be fnord 19:09:58 ^style 19:09:58 Available: agora alice c64 ct darwin discworld europarl ff7 fisher fungot homestuck ic irc* iwcs jargon lovecraft nethack pa qwantz sms speeches ss wp youtube 19:10:12 ^style alice 19:10:12 Selected style: alice (Books by Lewis Carroll) 19:10:23 fungot: does this include his mathematical papers? 19:10:24 Taneb: " no, no!" said the earl. " what, you know. there's glory for you!" 19:10:24 Taneb: You have 1 new message. '/msg Iambdabot @messages' to read them. 19:10:30 @messages 19:10:30 You don't have any new messages. 19:10:39 THAT'S WHAT YOU THINK 19:11:30 lambdabot said 5m ago: I'm not fit to be in #esoteric please kick me 19:11:59 @ask Iambdabot hi 19:12:00 Consider it noted. 19:12:03 Taneb: You have 1 new message. '/msg Iambdabot @messages' to read them. 19:12:27 @messages 19:12:27 You don't have any new messages. 19:12:32 Aaaaaaaaaaah 19:12:39 monqy: You have 0 new messages. '/msg lambdabot @messages' to not read them. 19:12:44 Iambdabot said 0s ago: wait what 19:12:44 Iambdabot: You have 1 new message. '/msg lambdabot @messages' to read it. 19:13:05 Iambdabot: You have 1 new message. '/msg lambdabot @messages' to read them. 19:13:17 > "what is going on?" 19:13:17 O_O 19:13:18 "what is going on?" 19:13:27 @messages 19:13:28 Taneb asked 5m 2s ago: hi 19:13:30 help. 19:13:33 hi 19:13:44 > 19:13:45 not an expression: `' 19:13:50 I reckon it's glogbot who's behind the bot rebellion 19:13:53 > 1 + 1 19:13:59 glogbot is innocent! 19:14:02 > > 19:14:03 : parse error on input `>' 19:14:11 Well, I know it's not Pietbot. 19:14:21 > I blame Jafet 19:14:22 Not in scope: data constructor `I'Not in scope: `blame'Not in scope: data c... 19:14:40 Jafet: i blame u 19:16:51 -!- Pietbot has joined. 19:17:05 Pietbot still doesn't do anything 19:17:24 hi 19:18:11 -!- MSleep has joined. 19:18:31 !c printf("%d\n", 0 || 2); 19:18:36 1 19:18:36 )df iiisso 19:18:36 -!- olsner has joined. 19:18:50 ^char 41 19:19:05 :t chr 19:19:06 Int -> Char 19:19:10 > chr 41 19:19:10 ')' 19:19:17 > chr 32 19:19:18 ' ' 19:19:37 is )df iiisso a pietbot deadfish thing 19:19:44 Yes 19:19:52 Or it will be when it works 19:22:09 -!- MDude has quit (Ping timeout: 255 seconds). 19:23:47 Hmmm, does the C spec define the logical operators to always evaluate to 0 or 1, or is that a property of GCC? 19:24:33 -!- Pietbot has quit (Remote host closed the connection). 19:25:46 -!- Phantom_Hoover has quit (Remote host closed the connection). 19:25:46 -!- Iambdabot has quit (Remote host closed the connection). 19:26:38 ^chr 41 19:26:38 ) 19:26:49 Gregor: which C spec? 19:27:42 Gregor: "Each of the operators yields 1 if the specified relation is true and 0 if it is false." 19:27:52 (C99, but I really do think C90 had that property too.) 19:29:14 "Each of the operators < (less than), > (greater than), <= (less than or equal to), and >= (greater than or equal to) shall yield 1 if the specified relation is true and 0 if it is false." (That one C89 draft that's floating around.) 19:29:14 !! is a very old idiom, I think. 19:29:55 Oh, I didn't bother checking !. But it, too. 19:30:45 "The || operator shall yield 1 if either of its operands compare unequal to 0; otherwise, it yields 0" might've been the more relevant quote. 19:31:12 Ohyeah, should've thought about !!. 19:31:22 I'm so glad this channel is a better ##c than ##c X-D 19:31:25 Heh, so instead of '!!x' you can do 'x || false'? 19:32:05 Well, "false" is only meaningful with the utterly sinful stdbool.h 19:32:12 But x || 0, I suppose. 19:33:00 Or x && 1, obviously. 19:35:25 "Or x ^^ 0 OH WAIT no logical xor." 19:36:49 Logical xor is !=, except that != doesn't have the same properties of C's non-booleans as the other logical operators do, so nya ^^ 19:39:20 ...now only if there was a biconditional. :> 19:39:24 I COULD DO REAL LOGIC PROGRAMMING 19:40:09 Get back to prologin' yer prolog you prolog prolog prologue. 19:40:21 (spoiler: biconditional is == ) 19:41:00 With all the same caveats, naturalismo. 19:41:04 yes 19:41:14 But still. 19:41:15 Get back to prologin' yer prolog you prolog prolog prologue. 19:41:31 * kallisti has actually been learning a little Prolog 19:41:35 haven't written anything though. 19:42:22 I've been too busy writing an obscene Haskell-to-C library for the plugin system of a bot written in C. 19:42:47 just to familiarize myself with such things. 19:43:16 #define lop(v00,v01,v10,v11,a,b) (a?(b?v11:v10):(b?v01:v00)) and then you never need to touch a logical operator any more, since instead of a && b you can just write the more clearer lop(0,0,0,1,a,b). Except it doesn't short-circuit right. 19:43:43 PERFECT 19:43:47 Also put some parens in that macro, man. 19:43:58 what does lop stand for. 19:44:02 Logical op, of course 19:44:04 Yes. 19:44:12 Also "lop your hand off". 19:44:21 is it like... a thing 19:44:24 with a name 19:44:26 elsewhere 19:44:29 in maths 19:44:43 I'm sure that wasn't the first use, but probably not like that. 19:45:14 you could call it THE TRUTH TABLE OPERATOR 19:45:38 What if you want a ternary operation? 19:45:47 Or BiTruFu, for binary truth function. 19:46:00 You just define a lop3. 19:46:08 Or TeTruFu, if you like. 19:47:19 Or a int ntrufu(int arity, ...); with . 19:48:00 The name fits within the 6 significant-for-external-identifiers characters and all. 19:49:27 ntrufu(2,0,0,0,1,a,b) is objectively speaking 5.25 times better than a&&b. 19:49:47 (Yes, I just counted the number of characters. Are you saying that's not objective?) 19:51:46 -!- azaq23 has joined. 19:51:58 -!- azaq23 has quit (Max SendQ exceeded). 19:52:47 -!- e^[i_pi] has joined. 19:53:28 Cunningly, my school has decided to teach us the Statistics 2 module before Statistics 1 19:54:14 how cunning 19:55:30 -!- Taneb has quit (Quit: Bye!). 20:00:02 -!- azaq23 has joined. 20:00:10 -!- azaq23 has quit (Max SendQ exceeded). 20:01:41 -!- azaq23 has joined. 20:25:32 In the local polytechnic the mechanics classes constantly used things we had just supposedly learned in the algebra classes. Which was just fine, except that for some reason the algebra classes were exactly one week late from that schedule. 20:26:22 -!- oerjan has joined. 20:44:00 `log elliott_> 20:44:33 `echo hi 20:44:33 2011-10-14.txt:20:23:13: `quote 20:44:37 hi 20:46:36 `log elliott_> 20:46:58 2011-07-29.txt:23:56:38: hmm 20:47:50 oerjan: Trying to imagine a world with elliott in it again? 20:48:15 AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA 20:48:59 fizzie: Can we have an elliott mode for fungot? 20:49:00 Gregor: the default garbage collector is a refrigerator, thermodynamically speaking. :p 20:49:26 Well that's gotta be verbatim. Too insightful. 20:49:57 ?style 20:49:58 : not an expression: `' 20:50:01 Err 20:50:03 Forgot the prefix >_> 20:50:04 ^style 20:50:04 Available: agora alice c64 ct darwin discworld europarl ff7 fisher fungot homestuck ic irc* iwcs jargon lovecraft nethack pa qwantz sms speeches ss wp youtube 20:50:11 O, yes... I don't know, though... You can still occasionally get proper sentences from random generation too 20:50:33 It still seems out of context though 20:50:47 Well, it wasn't just syntactically correct, it actually makes sense. Of course it's not in context, but taken as an independent statement it's internally sensible. 20:51:09 Gregor: Yes I know, I noticed that too 20:53:50 -!- Taneb has joined. 20:54:28 Logical xor is !=, except that != doesn't have the same properties of C's non-booleans as the other logical operators do, so nya ^^ 20:54:37 wait, what properties does it lack? 20:54:56 I have had a cunning idea 20:54:57 Such as using different nonzero values as boolean I suppose 20:55:33 A dashing esolang 20:55:45 oh hm right it doesn't treat different nonzeros as equivalent 20:58:05 But of course Haskell does have actual boolean type and /= means logical XOR there; I have used it for that purpose, in fact. In C and in BASIC, I have occasionally needed logical XOR (more so than in Haskell), and can use ^ usually in C if I know it is 0 or 1, I can use the ^= operator in C for that purpose. 21:00:12 In the local polytechnic the mechanics classes constantly used things we had just supposedly learned in the algebra classes. Which was just fine, except that for some reason the algebra classes were exactly one week late from that schedule. 21:00:22 someone _clearly_ hadn't read up on murphy's law. 21:01:34 http://www.youtube.com/watch?v=o0Bn4m6dQbI O_O 21:11:41 QBasic has the logical IMP operator, that's pretty rare. 21:12:17 (It has the boolean operators NOT, AND, OR, XOR, EQV and IMP.) 21:12:29 IMP is rare? 21:12:56 As an operator. As far as I know. 21:13:28 fizzie: Heh, interesting. 21:13:55 Also: "If the expressions evaluate to 0 or -1, a Boolean operation returns 0 or -1 as the result. Because Boolean operators do bit-wise calculations, using values other than 0 for false and -1 for true may produce unexpected results." 21:14:34 gregor: Yeah, i *love* that one. Too bad it’s out of sync. 21:14:45 Any programming languages with converse nonimplication? 21:15:15 a fizzie: I know about all the operators QBASIC has; although, they all act bitwise (and I do occasionally mix bitwise with logical) 21:22:43 -!- Taneb has quit (Ping timeout: 240 seconds). 21:24:51 ion: Yeah, the sync issue is annoying :( 21:25:16 the nice thing about using 0 and -1 is that you don't really need to distinguish logical and bitwise operators 21:25:48 oerjan: Yes, and I have used that. Both in BASIC, and in Forth. 21:27:25 -!- cheater has quit (Ping timeout: 252 seconds). 21:38:34 -!- e^[i_pi] has quit (Quit: foo, bar, baz, qux, etc. Lorem ipsum dolor sit amet, ... A rich mummy, usually green or bald. -1). 21:40:56 -!- sebbu has quit (Read error: Connection reset by peer). 21:41:26 -!- sebbu has joined. 21:41:27 -!- sebbu has quit (Changing host). 21:41:27 -!- sebbu has joined. 21:42:23 -!- augur_ has changed nick to augur. 21:54:53 -!- derdon has joined. 21:55:09 Oops, now my computer says [04:45/02:20] for a music file it is playing 21:56:16 -!- sebbu has quit (Read error: Connection reset by peer). 21:56:40 -!- sebbu has joined. 21:56:41 -!- sebbu has quit (Changing host). 21:56:41 -!- sebbu has joined. 21:57:10 http://www.youtube.com/watch?v=o0Bn4m6dQbI O_O <-- wow... I never heard anything like that on accordion before... 21:58:02 also that is my favourite movement from Vivaldi's Summer 22:06:43 night → 22:09:45 -!- sebbu2 has joined. 22:09:45 -!- sebbu2 has quit (Changing host). 22:09:45 -!- sebbu2 has joined. 22:11:07 -!- Vorpal has quit (Ping timeout: 260 seconds). 22:12:23 -!- sebbu has quit (Ping timeout: 240 seconds). 22:14:11 -!- cheater has joined. 22:15:08 I am now writing a Haskell preprocessor; I wrote much of it already. But not yet completely. 22:15:25 -!- sebbu has joined. 22:15:25 -!- sebbu has quit (Changing host). 22:15:25 -!- sebbu has joined. 22:19:13 -!- sebbu2 has quit (Ping timeout: 272 seconds). 22:23:39 So please tell me if you have any ideas/suggestions. 22:26:27 -!- sebbu2 has joined. 22:26:27 -!- sebbu2 has quit (Changing host). 22:26:27 -!- sebbu2 has joined. 22:29:23 -!- sebbu has quit (Ping timeout: 240 seconds). 22:39:19 Currently I have: * 0b110100 for binary integer literals. * 0'x' for ASCII/Unicode number of character literals. * {"..."} for WEB-style chunks. * #I to include file in path. * #J for wildcard includes (not currently working). * #D to define macros. * Various built-in macros. 22:53:13 You should ask that on #haskell. 22:54:57 i think it is rather predictable that #haskell won't like it 22:59:13 if someone hasn't seen it yet http://terrytao.wordpress.com/2012/02/01/every-odd-integer-larger-than-1-is-the-sum-of-at-most-five-primes/ 23:05:21 I think people on #haskell hate a lot of my things 23:07:41 -!- cheater has quit (Read error: Operation timed out). 23:09:10 oerjan: does that suggest 5 dimensional objects? 23:10:15 no i am reading too much into it 23:10:50 itidus21: well the (weak goldbach) conjecture is that 3 is enough, actually 23:11:03 primes that is, dunno about dimensions :) 23:11:45 *are 23:12:42 hmmmmm... its ... i was reading the sentence wrong to begin with.. i think i'll just let it go 23:13:06 i'm not even going to delve into the proof enough to find out whether higher dimensional objects were used, but i doubt it. 23:14:28 itidus21: well half the comments on reddit were about the title being unambiguous, so nothing to worry about :P 23:18:29 -!- cheater has joined. 23:19:44 * kallisti can't wait for -XGeneralizedAlgebraicDataPolyKindInstanceFamilies 23:21:23 s/PolyKind/PolyConstraintKind/ 23:23:22 soon to be incorporated into the -XOneMillionSpecialSubsetsOfDependentTyping extension. 23:23:48 nice rant http://www.reddit.com/r/math/comments/p5x53/every_odd_number_greater_than_1_is_the_sum_of_at/c3n1n14 23:25:05 kallisti: nah, oleg will prove you can actually embed full dependent typing into them 23:25:23 not in a way sane humans can _use_, though 23:28:07 -!- kallisti has quit (Ping timeout: 256 seconds). 23:44:13 How many people hate my Haskell preprocessor, already? 23:45:11 at most 53, on this channel 23:45:38 i don't hate it. i probably wouldn't use it, though. 23:45:54 i don't use haskell do i don't anything your haskell preprocessor 23:46:12 also oklopol no use grammar 23:46:30 *son't 23:46:50 * oerjan swat oklopol -----### 23:46:50 OK, probably you won't use it; but would you use any Haskell preprocessor at all? 23:47:43 hardly. 23:47:49 i only use postprocessors that transform the program after its effects have been processed my brain. 23:48:03 for instance beer and whiskey 23:49:29 I do suppose, I could later on, write a Haskell postprocessor as well, using the compiler plugins feature, maybe 23:49:59 -!- kallisti has joined. 23:50:00 -!- kallisti has quit (Changing host). 23:50:00 -!- kallisti has joined. 23:54:06 -!- kallisti_ has joined. 23:54:17 -!- kallisti_ has quit (Client Quit). 23:54:20 ......god damnit irssi 23:55:19 -!- ColonelJ has joined. 23:56:50 ok I've been trying as hard as possible to make this language less esoteric but no one's buying it yet http://pastebin.com/hD890kVg 23:58:11 it's stack based and factorable like a concatenative language 23:59:11 indentation based like python to save on too many extra chars 23:59:19 sorry, you'll have to direct inquiries of that nature to our sister channel #un-esoteric 23:59:31 not esoteric enough?