00:04:45 zzo38's brain is the best one 00:05:16 (there should be an esolang called zzo38's brain) 00:16:05 -!- sirdancealot7 has quit (Ping timeout: 246 seconds). 00:26:38 Oh, Phantom_Hoover: I recommend deciding nowish if you're going to check update tonight or tomorrow 00:26:45 From what I've heard, it's really long 00:27:51 it's half one and i have a nine o'clock lecture tomorrow 00:27:53 guess 00:28:19 there is a cellular automaton called Brian's Brain 00:28:50 it has lots of spaceships 00:29:02 I guess Brian is a scifi fan 00:30:29 -!- sirdancealot7 has joined. 00:33:53 Maybe olsner is a pokémon who evolves into oerjan. 00:34:01 Is that how it works? 00:34:37 I don't think I'm a pokemon 00:34:37 kmc, it's kind of boring though 00:34:41 oerjan might be 00:34:45 it has lots of spaceships the same way seeds does 00:34:51 if evolution is true why are there still olsners 00:34:56 @ask oerjan Are you a pokemon? 00:34:56 Consider it noted. 00:35:30 most patterns explode, and most of the things that don't explode are spaceships 00:36:26 Phantom_Hoover: is that a theorem? 00:36:38 yes 00:36:43 Phantom_Hoover's theorem 00:36:48 -!- AnnApolis has joined. 00:36:52 i also have a theorem about tea 00:36:55 your theorem sucks 00:37:03 hello folks 00:37:35 despite the fact i do CS i don't know anyone who knows haskell so i'm hoping you guys can help me out: 00:38:03 if i write a song called "my love has side-effects" and release it under the name "mona d. and the funk-tors", that totally works, right? 00:38:43 "ooh, babe, my love has side-effects/if you want something purely functional i'll go with no regrets" etc 00:39:27 hi 00:40:50 @quote 007 00:40:50 lambdabot says: sorry, this is the bird book: http://www.amazon.com/Introduction-Functional-Programming-2nd-Bird/dp/0134843460/sr=8-6/qid=1159309594/ref=pd_bbs_6/104-1423720-3100708?ie= 00:40:51 UTF8&s=books http://tinyurl.com/root7 00:41:02 @quote monochrom 007 00:41:02 monochrom says: 007 titles for haskellers. fromForeignPtr withCString. You Only lift Twice. Bottoms Are Forever. The Monad with the Pure Function. For Your Types Only. A view to A seq. Licence 00:41:02 to killThread. iterate Never Dies. unsafePerformIO Is Not Enough. 00:41:30 your theorem sucks 00:41:37 no, my tea theorem is perfect 00:41:56 your other one 00:41:57 Its proof seems pretty strained. 00:42:12 pfft, proofs are boring 00:42:21 it involves a lot of syntactic sugar? 00:50:05 I have question of Curry-Howard, is, loops which might or might not halt? 00:50:41 huhwhat? 00:50:48 halting has nothing to do with curry-howard 00:51:26 I know loops are normally not allowed to make the proof but I don't know if in some cases there is no other choice? 00:51:46 example 00:52:18 Are you asking for an example? I don't know, which is why I asked. 00:53:56 I wonder if there is anything related to Curry-Howard which involves the halting problem somehow? 00:54:06 not that I know of 00:54:17 Curry-Howard is just an equivalence 00:55:07 Yes I know of that 01:06:15 -!- Nisstyre-laptop has quit (Read error: Connection reset by peer). 01:10:03 halting does map to a property of logics through curry-howard though 01:10:23 dunno what the formal statement of that is though 01:10:26 What kind of property? 01:13:59 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 01:15:29 * kmc nominates AnnApolis for Employee of the Month 01:37:50 monqy, UPDATE 01:38:01 -!- kmc has set topic: A button to touch, a dial to turn, a key to hold | http://phantom-hoover.tumblr.com/ | http://codu.org/logs/_esoteric/. 01:40:31 -!- monqy has quit (Quit: Lost terminal). 01:40:50 -!- monqy has joined. 01:44:41 -!- AnnApolis has left. 01:56:46 -!- Nisstyre-laptop has joined. 02:18:22 -!- Arc_Koen has quit (Ping timeout: 246 seconds). 02:23:38 -!- drc has joined. 02:31:57 -!- drc has quit (Quit: Leaving). 02:33:39 -!- augur has quit (Remote host closed the connection). 02:36:43 -!- hagb4rd|afk has joined. 02:41:49 I am not sure which is more disturbing 02:42:13 What Damara's saying, or that Google Translate can accurately translate the vulgarity 02:48:39 I was on #haskell channel I was asking why guards cannot be used in a do-notation, such as do { y@(PartPin z _) | z == x <- p; [y]; } do you think guards should be allowed? 02:49:10 What would it mean? 02:49:18 the ones looking terrbible on mondays must have had an awesome weekend 02:49:19 "fail" if the guard condition is false? 02:49:24 -!- hagb4rd|afk has changed nick to hagb4rd. 02:49:29 shachaf: Yes. 02:50:00 good morning esofriends 02:50:00 hagb4rd: You have 3 new messages. '/msg lambdabot @messages' to read them. 02:50:01 zzo38: There's already the function "guard". 02:50:07 kool 02:51:06 I know there is already the function "guard" for MonadPlus (although it should be for Alternative), but it would still seem to me that it should be allowed guard on a pattern in a do-notation like you can fail with other not matching patterns the same way. 02:53:24 zzo38: It should be for MonadZero, or the applicative equivalent. 02:53:57 `log pastie 02:54:04 Well, whatever it should be for, doesn't matter here. 02:54:27 2009-05-23.txt:00:06:16: pikhq: Slereah_: A step-by-step demonstration that the anti-kludge Plain English is basically a rearrangement of a small subset of C: http://pastie.org/486940.txt?key=y7p297kilxy4kj0kelcig 02:55:13 `log .*hagb4rd.*pastie.* 02:55:37 2012-10-22.txt:02:55:13: `log .*hagb4rd.*pastie.* 02:55:44 meh 02:56:13 `log .*hagb4rd.geometry.*pastie.* 02:56:29 2012-10-22.txt:02:56:13: `log .*hagb4rd.geometry.*pastie.* 02:58:02 You should change it to omit display of lines starting with ` unless you explicitlyr request it 02:58:35 Also should allow to specify date/time range 03:04:15 God, Plain English. 03:04:53 Sgeo: have you read Damara's translated text yet? 03:05:16 Through Google Translate, yes 03:05:22 Is there a better translation? 03:05:50 not that I'm aware 03:05:53 Damara's text? 03:05:55 I'm sure someone will post one on the forums soon 03:05:58 pikhq: homestuck 03:06:03 Ah. 03:06:07 I need to read that sometime. 03:06:09 pikhq: recent updated included a character speaking in Japanese 03:06:24 I didn't know Google could translate such vulgarity correctly 03:06:33 (mostly, anyway) 03:06:37 I could try my hand at it without context, though. :P 03:06:50 http://www.mspaintadventures.com/scraps2/damaramegido.html 03:06:56 Spoilers 03:07:05 Sgeo: duh 03:11:29 pikhq: enjoying yourself yet? 03:17:36 coppro, you're aware you can reach Aranea's booth as Damara? 03:18:52 Sgeo: No. Bug? 03:19:03 coppro, nope. Deliberate. 03:19:13 Easter egg ish 03:19:15 oh of course 03:19:21 * coppro loads up game again 03:19:48 I knew I missed something earlier 03:20:20 Also, Karkat has a room, I missed that earlier 03:20:28 -!- augur has joined. 03:20:36 Once I'm done with late game Damara, I'll go check it out as I actually forgot her name 03:20:41 Meenah 03:21:56 haha 03:28:21 Oh, you should absolutely visit Karkat's room as Damara 03:29:17 heh 03:29:21 amusing 03:29:31 (going through the conversation with the booth now) 03:32:21 Oh crud there's even more I didn't do 03:32:47 Supposed to talk to Karkat as Dave and Rose apparently 03:32:50 This is too much 03:33:35 *laugh* where did you say have you found this dialogue? (damara->menah) 03:34:06 hagb4ard: homestuck 03:34:18 the google jap translation works even better than for example english-german 03:34:18 Sgeo: I like his description of cronus 03:34:28 wow 03:35:18 really nice.. i should learn japanese and reduce 03:36:10 my output here to this dirty oxford by using the translater 03:36:15 *noted 03:36:24 hagb4rd: that's the first foreign language to appear in any quantity 03:36:32 *any noticeable quantity 03:36:40 quantity? 03:36:47 not quaality? 03:36:58 yes, quantity 03:37:01 it's in english 03:37:06 http://mspaintadventures.com/ 03:37:35 okay. thanks so far.. need to read through this first *g 03:37:44 The Japanese text in question was made through Google Translate 03:37:52 however 03:38:14 spare my illusions o dear sgeo 03:42:01 -!- Nisstyre-laptop has quit (Ping timeout: 246 seconds). 03:43:15 -!- TeruFSX has joined. 03:44:41 -!- Nisstyre has quit (Ping timeout: 272 seconds). 03:51:23 Do you like feat/spell I make on Dungeons&Dragons game? 03:59:32 -!- Nisstyre has joined. 04:06:06 -!- Nisstyre-laptop has joined. 04:10:58 With the IO monad, you assemble an action that will later get executed. With Lisp macros, you assemble code that will later get executed. 04:11:09 Just a thought 04:11:38 OK, but I don't know a lot about Lisp macros, but I think they are different. 04:11:41 Also, there's a thing called expansion-passing style 04:11:45 what if you wrote lisp code *TO ASSEMBLE THE IO MONAD* dude 04:12:02 like, multiple levels of assembly 04:12:08 so close to the metal man 04:12:40 That reminds me. Someone should make an esolang where the only way to .. do things is to monkeypatch 04:13:00 Write them on list of ideas 04:15:40 * Sgeo gives up trying to log in 04:18:18 Exception-passing style 04:19:38 Gagnam-passing style 04:20:04 *Gangnam-passing styl 04:20:05 e 04:20:49 Sgeo++ 04:21:05 :D 04:23:43 http://opalang.org/gangnam.style.html 04:25:25 I hope that catches on. 04:26:26 Sgeo: doesn't that apply to any language whose memory is its own code 04:27:07 coppro, hmm. Guess I wasn't thinking of it in those terms 04:27:26 e.g. Malbolge 04:27:47 -!- Frooxius has quit (Ping timeout: 256 seconds). 05:22:22 -!- Vorpal has quit (Ping timeout: 265 seconds). 05:32:35 I should get around to writing blog posts 05:33:02 ...why do I have 103 pageviews when I only actually posted one thing and it was nonsense? 05:34:01 what blog is this? 05:34:04 can I be view 104 05:34:10 http://sgeoster.blogspot.com/ 05:34:29 * coppro reblogs 05:34:30 or whatever 05:55:26 -!- hagb4rd has changed nick to hagb4rd|afk. 06:02:35 Sgeo: how many are search engine crawlers? 06:02:50 No idea 06:08:33 -!- zzo38 has quit (Quit: !!!). 06:41:32 -!- ais523 has quit. 06:42:39 -!- sirdancealot7 has quit (Ping timeout: 256 seconds). 07:15:47 I found myself googling something and vaguely agreeing with a post I saw, then saw it was by someone I'm not especially fond of 07:15:56 Although maybe I'm a bit too angry at the person 07:17:49 I should stop hating people I perceive as incompetant. 07:18:22 I bet it was elliott. 07:18:44 I don't perceive elliott as incompetant. 07:19:00 And I think I'm spelling that word wrong. I think the last vowel is either a or e but not sure which. 07:19:08 incompetant at spelling 07:19:36 Yas. 07:19:44 @ask elliott hi alliott 07:19:45 Consider it noted. 07:20:03 shechef 07:20:30 @esk Sgeo hi Sgao 07:20:30 Consider it noted. 07:20:52 @tall shachaf hi shechef 07:20:53 Consider it noted. 07:21:34 @clear-masseges 07:21:35 Messages cleared. 07:21:46 @claer-message? 07:21:46 Unknown command, try @list 07:21:47 @claer-messages? 07:21:47 Unknown command, try @list 07:21:50 @claer-messages 07:21:50 Messages cleared. 07:22:00 monqy: remember when you said hi 07:22:07 no 07:22:10 @XXssages? 07:22:10 Sorry, no messages today. 07:22:17 all your friends are doing it monqy 07:22:23 like elliott 07:22:40 come on say hi once for old times sake :'( 07:22:57 my quit message is "hello" is that good enough 07:23:02 no 07:23:05 it has to be: 07:23:08 hi 07:23:18 and not a quit message but a privmsg message 07:23:48 A public privmsg message. 07:24:05 public static privmsg message(hi monqy); 07:25:11 -!- Nisstyre-laptop has quit (Ping timeout: 260 seconds). 07:26:34 -!- epicmonkey has quit (Remote host closed the connection). 08:04:07 -!- ion has changed nick to ION. 08:05:00 HION 08:05:06 FEELING LOUD TODAY? 08:07:40 -!- glogbackup has quit (Ping timeout: 265 seconds). 08:29:26 -!- epicmonkey has joined. 08:52:15 HI 08:52:18 IT’S CAPS LOCK DAY. 08:52:21 OH NO 08:52:36 -!- shachaf has changed nick to SHACHAF. 08:53:05 ION: PLEASE TO ADD WIKIPEDIA ENTRY FOR "CAPS_LOCK_DAY" 08:54:31 HTTP://EN.WIKIPEDIA.ORG/wiki/Caps_Lock_day 08:54:42 WHOOPS 08:54:51 HTTP://EN.WIKIPEDIA.ORG/wiki/Caps_lock_day 08:55:03 ION: PLEASE MAKE AN UPPERCASE ONE thanks 08:56:33 NO U 08:56:59 OH U 08:57:50 HTTP://EN.WIKIPEDIA.ORG/wiki/Special:Search/CAPS_LOCK_DAY goes to the same place and has a bit more lock of caps. 08:58:26 fizzie: I KNOW, THAT'S HOW I FOUND Caps_lock_day 08:58:54 {-# GHC IS ALREADY CAPSLOCKDAY-COMPLIANT #-} 09:00:18 -!- Crystal has joined. 09:00:18 -!- Crystal has quit (Client Quit). 09:00:56 Some flags have not been recognized: -XOVERLOADEDSTRINGS 09:01:15 {-# RULES ION #-} 09:10:19 -!- SHACHAF has changed nick to shachaf. 09:34:22 -!- sirdancealot7 has joined. 10:11:35 -!- barts has joined. 10:14:35 -!- barts_ has quit (Ping timeout: 255 seconds). 10:18:09 -!- glogbackup has quit (Ping timeout: 252 seconds). 10:38:35 -!- MoALTz has joined. 10:42:24 -!- Azzy has joined. 10:43:35 -!- Azzy has left. 10:50:22 -!- glogbackup has joined. 10:53:54 -!- oklopol has quit (Read error: Connection timed out). 10:54:19 -!- oklopol has joined. 10:55:32 -!- monqy has quit (Quit: hello). 11:06:40 Incidentally, a funny story: Netflix landed in Finland last week, and already got caught getting their Finnish subtitles from "DivX Finland", a fansubbing kind of site, due to not remembering to remove their at-the-start-of-the-subtitles ad. 11:07:52 They're "investigating" how that happened to happen. 11:13:43 -!- ais523 has joined. 11:15:19 -!- TodPunk has quit (Read error: Connection reset by peer). 11:15:28 -!- TodPunk has joined. 11:26:10 -!- Phantom_Hoover has joined. 11:38:06 -!- ais523 has quit (Ping timeout: 244 seconds). 11:51:16 -!- carado has joined. 11:51:51 -!- ais523 has joined. 11:57:47 -!- Frooxius has joined. 12:06:05 Due to not remembering to remove the annoyingly conspicuous self-plug from fansub groups 12:07:39 I learned the (aptly named) ASS format to edit out some of those 12:13:33 I've only ever edited SRT files, which don't really have that much to learn. 12:18:45 Though I did have to perl -pe 's/^(\d+)(\s*)$/($1-432).$2/e;' or something a file from which I removed the first 432 subtitles. 12:24:08 -!- Arc_Koen has joined. 12:24:59 helllo 12:28:00 -!- boily has joined. 12:38:52 -!- Jafet has quit (Quit: Leaving.). 12:38:55 -!- carado has quit (Ping timeout: 246 seconds). 12:44:43 Hell, lo. 12:47:13 holy hi. 12:54:51 -!- ais523_ has joined. 12:56:49 -!- sirdancealot7 has quit (Read error: Operation timed out). 13:14:20 -!- elliott has joined. 13:23:10 -!- MoALTz has quit (Read error: Connection reset by peer). 13:23:48 -!- MoALTz has joined. 13:25:35 -!- copumpkin has quit (Quit: Computer has gone to sleep.). 13:37:43 -!- ais523 has quit (Ping timeout: 246 seconds). 13:40:42 That `cast` statement corresponds to the IO constructor from our IO newtype: 13:40:42 IO :: (State# RealWorld -> (# State# RealWorld, a #)) -> IO a 13:40:42 This constructor hides the underlying stateful representation behind the opaque IO newtype. 13:40:46 kill 13:40:50 kill this blog post :'( 13:46:13 -!- copumpkin has joined. 13:48:49 -!- Phantom_Hoover has quit (Ping timeout: 244 seconds). 13:50:51 -!- pumpkin has joined. 13:51:11 -!- copumpkin has quit (Disconnected by services). 13:51:12 -!- pumpkin has changed nick to copumpkin. 14:05:21 -!- Phantom_Hoover has joined. 14:10:12 -!- Phantom__Hoover has joined. 14:13:44 -!- Phantom_Hoover has quit (Ping timeout: 260 seconds). 14:39:11 -!- Phantom__Hoover has quit (Read error: Connection reset by peer). 14:39:30 -!- Phantom__Hoover has joined. 14:59:06 -!- FreeFull has joined. 14:59:31 -!- sirdancealot has joined. 15:00:05 `welcome sirdancealot 15:00:17 sirdancealot: 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.) 15:00:32 ohai 15:01:00 hi 15:01:22 note: the underscored version of me, when it's not due to connection problems, is typically either bored or busy 15:01:47 and can change between the two suddenly 15:05:10 very schroedinger nick 15:05:30 whereas ais523 is a little less under tension 15:05:53 hi 15:07:06 elliott: gah, this channel has conditioned me to the stage where, especially from you, I can only interpret "hi" as a threat 15:07:14 made worse because I don't even know what it's threatening 15:07:20 and yet I don't mean it like that when I use it myself 15:07:26 unless it's a non sequitur, in which case I do 15:07:30 hi 15:16:55 -!- atriq has joined. 15:21:08 -!- augur has quit (Remote host closed the connection). 15:21:34 -!- augur has joined. 15:24:12 -!- augur_ has joined. 15:25:05 -!- AnotherTest has joined. 15:25:17 Hello 15:25:25 AnotherTest: hi 15:25:33 -!- atriq has quit (Ping timeout: 255 seconds). 15:25:34 -!- augur has quit (Ping timeout: 240 seconds). 15:25:52 I saw the social network yesterday 15:26:01 it was OK. Not amazing though 15:26:12 i agree 15:26:16 it has some good moments though 15:26:24 yeah 15:27:12 I found that the "technical descriptions" were actually OK, unlike in many other movies 15:27:47 Some things were exaggerated of course 15:28:27 well the dialogue / voiceover in the early scene where he's scraping the various dorm websites is mostly lifted directly from zuckerberg's livejournal 15:28:51 -!- augur_ has quit (Ping timeout: 276 seconds). 15:30:50 i generally don't care when fiction gets irrelevant details of technology wrong 15:31:21 neal stephenson named the OS in Cryptonomicon "finux" instead of "linux" to avoid beardos bombarding him with annoying complaints 15:31:47 Well, sometimes it's just hilarious 15:31:56 it's different if people are using computers to do fundamentally impossible things, like rotate the objects in surveilance footage from a single camera 15:32:23 and sometimes makes it impossible to take a movie serious 15:32:49 http://www.avclub.com/articles/hackers-may-have-been-of-its-time-but-it-was-also,72249/ 15:33:36 aw my browser crashed 15:33:37 nvm 15:33:40 fixed that 15:35:30 kmc: Can you believe their was an article in a Belgium newspaper about some kid that claimed to "own" the internet? 15:35:48 And the newspaper claims to be of quality 15:36:06 AnotherTest: someone claiming to own the internet can be newsworthy even if you don't believe them 15:36:14 depending on how high-profile a claim it is 15:36:33 put it this way: Al Gore didn't even claim to invent the internet, and yet /that/ made the news 15:37:20 Phantom__Hoover: are you planning to add more to your tumblr, than just bitching about a BF derivative? 15:37:39 ais523_: His name had to remain anonymous, nor did the journalist even know who he was 15:37:55 and wasn't that atriq's Tumblr? 15:38:04 acting as if he was Phantom__Hoover 15:38:13 AnotherTest: atriq's tumblr has phantom-hoover in the URL? 15:38:21 I hadn't actually considered that possibility 15:38:23 Um, something like that I think 15:39:58 does Ihybrid actually have any flow control at all? 15:41:27 i never got to that part of cryptonomicon, it was so boring 15:42:03 barts: is that a non sequitur, or am I just missing how it's relevant? 15:45:19 elliott: idea! create a projectspace page that redlinks to deleted spam pages with interesting titles 15:45:28 then leave the links there if/when the languages are created 15:46:07 ais523_: i was replying to the last thing said about cryptonomicon. 15:46:18 ais523_: enjoy 15:46:18 ah, OK 15:46:20 how long ago was that? 15:46:22 ais523_: (doing that) 15:46:26 half a screen 15:46:33 oh right 15:46:58 I'm tired 15:47:08 if I'm being incoherent or incorrect, ignore me 15:47:33 huh, zzo38 has a BF derivative? 15:47:39 http://esolangs.org/wiki/Cufrab 15:49:23 Koen has several new ones 15:50:19 BF derivs? or languages? 15:50:23 BF derivs mostly suck 15:50:38 Cufrab is what you get if you zzo38ise BF, which is pretty much expected 15:50:54 the former 15:50:56 (zzo38 derivs don't /exactly/ suck, but they take things in a direction nobody else envisaged or wanted, typically) 15:51:02 hmm 15:51:09 ais523_: does it use pokemon cards as code 15:51:38 no 15:51:44 that /is/ the sort of thing he would do 15:51:48 but he didn't in that language 15:52:06 surprising 15:52:16 (note: he'd only use cards from the Pokémon Trading Card Game for the Game Boy, not the printed cards) 15:52:17 -!- augur has joined. 15:53:22 -!- Vorpal has joined. 15:55:23 http://esolangs.org/w/index.php?title=Special%3ASearch&profile=default&search=pokemon&fulltext=Search 16:04:14 barts: I sincerely apologize for any bf derivative I might have accidentally spawned 16:08:54 -!- DerFuehrer has joined. 16:08:54 -!- DerFuehrer has left. 16:34:52 -!- barts has quit (Read error: Operation timed out). 16:36:20 -!- TodPunk has quit (Quit: This is me, signing off. Probably rebooting or something.). 16:40:45 -!- Frooxius has quit (Quit: ChatZilla 0.9.89-rdmsoft [XULRunner 1.9.0.17/2009122204]). 16:41:02 -!- Frooxius has joined. 16:45:14 -!- carado has joined. 16:48:28 -!- ais523_ has quit (Quit: Page closed). 16:52:37 -!- barts has joined. 16:55:23 Arc_Koen: i forgive you. 16:55:34 thank you! 16:55:40 that makes me feel so much better 16:58:37 don't thank me, thank moloch 17:00:09 -!- AnotherTest has quit (Quit: Leaving.). 17:00:16 -!- AnotherTest has joined. 17:14:52 -!- barts has quit (Ping timeout: 245 seconds). 17:19:15 -!- carado has quit (Remote host closed the connection). 17:19:36 -!- TodPunk has joined. 17:24:26 -!- carado has joined. 17:26:29 -!- barts has joined. 17:30:32 -!- zzo38 has joined. 17:32:23 -!- barts has quit (Ping timeout: 268 seconds). 17:33:02 -!- barts has joined. 17:37:17 -!- augur has quit (Remote host closed the connection). 17:43:25 does anyone understands this? http://esolangs.org/wiki/Lo%27reran 17:44:18 I'm tempted to mark it as a stub :( 17:44:44 -!- augur has joined. 17:45:49 Despite having only 14 players, my team is still the best winner at 45 wins out of 51 games. 17:45:56 All the other teams have 16 players. 17:47:34 Arc_Koen: nice useless spec 17:47:35 Perhaps due to, we have a lot of more energy 17:53:06 Arc_Koen: do that, we need to mark more articles as a stub 17:54:18 Yes, I think some articles have not enough description. 17:57:44 -!- Cryovat has quit (Ping timeout: 260 seconds). 17:58:26 -!- kmc has quit (Ping timeout: 252 seconds). 18:00:44 -!- AnotherTest has quit (Quit: Leaving.). 18:00:58 -!- AnotherTest has joined. 18:02:03 I am trying to make FamicomHDL, which is a set of Haskell functions for making a DotFami mapper codes. But maybe the binary format should be changed too, although it seem OK for now. 18:02:34 And then all the iNES mappers should be written in FamicomHDL/DotFami format too. 18:02:55 -!- atriq has joined. 18:05:32 * Sgeo undergoes Reddit deprivation 18:05:33 Sgeo: You have 1 new message. '/msg lambdabot @messages' to read it. 18:05:43 @massegas 18:05:43 Unknown command, try @list 18:05:50 @massagas 18:05:50 shachaf asked 10h 45m 20s ago: hi Sgao 18:05:58 atriq, did you see updoot? 18:06:04 Yes, I did 18:07:00 -!- AnotherTest1 has joined. 18:08:21 -!- AnotherTest has quit (Ping timeout: 256 seconds). 18:10:43 -!- epicmonkey has quit (Ping timeout: 246 seconds). 18:13:08 -!- AnotherTest1 has quit (Ping timeout: 248 seconds). 18:22:31 -!- sivoais has quit (Ping timeout: 256 seconds). 18:29:30 does inception become better or worse the second time you see it? 18:29:38 I dunno 18:29:42 I've only seen it one 18:29:43 time 18:31:25 olsner: what do you mean "worse"? it's not bad! 18:31:49 though I seem to recall it was better the first time 18:31:53 the screen felt larger 18:32:05 worse than not bad is either bad or (less not) bad 18:32:37 fsvo of 'not', 'bad' and 'worse' 18:32:46 oh 18:33:12 in french saying "A is worse than B" implies that B was bad already 18:33:31 French is a silly language, then 18:33:36 Or at least different to English 18:33:41 Which is kind of a given 18:39:17 -!- sivoais has joined. 18:40:23 well, "A is worse than B" means "A is more bad than B" 18:41:17 (note that in french, we do have a words for "worse", "worst", "best", "better", but almost all other adjectives do not have comparative versions and use "more" and "most") 18:41:40 how can "A is more xxx than B" be logically correct if B is not xxx? 18:41:55 quite easily 18:42:01 > -9 > -1838 18:42:03 True 18:42:16 uh 18:42:23 > -9 18:42:24 -9 18:42:37 -9 is more big than -1838 even though -1838 isn't very big at all 18:42:49 are you saying "nothing" is more big than -9 ?? 18:43:20 Hmm 18:43:21 No 18:43:24 0 > -9 18:43:26 i think you will find 18:43:28 but, see, "-1838 isn't very big" 18:43:37 you didn't say "-1838 isn't big" 18:43:48 > -1 / 0 18:43:50 -Infinity 18:43:59 > -9 > (-1 / 0) 18:44:00 > -1 / -0 18:44:00 True 18:44:01 Precedence parsing error 18:44:01 cannot mix `GHC.Real./' [infixl 7] and prefix... 18:44:17 > (-1) / 0 18:44:18 -Infinity 18:44:24 > (-1) / (-0) 18:44:25 Infinity 18:44:37 > (-0) = 0 18:44:38 : parse error on input `=' 18:44:54 what, haskell doesn't have an equal operator? 18:44:58 > (-0) == 0 18:45:00 True 18:45:10 Yes it does; it's the same as in e.g. C 18:45:14 :P 18:45:18 thanks 18:45:28 Haskell has an everything statement 18:45:33 *operator 18:45:39 > (-1) / (-0) == (-1) / 0 18:45:40 False 18:45:49 WELL THAT'S NOT OK BY ME 18:46:31 that means (-0) is not completely equal to 0 18:46:46 Haskell is the only language I can think of where (+=) does roughly what you expect but it's a normal operator in a pretty new library 18:46:51 well either that or /'s arguments are evaluated after / 18:46:54 That isn't installed by default 18:47:17 Arc_Koen, that's a symptom of the standard Double type 18:47:46 It's an IEEE standard 18:59:10 atriq: what's (+=)'s type? 18:59:48 (MonadState a m, Num b) => SimpleSetting a b -> b -> m () 18:59:50 -!- atriq has quit (Quit: Leaving). 19:00:10 -!- Phantom__Hoover has quit (Ping timeout: 260 seconds). 19:00:45 -!- carado has quit (Ping timeout: 260 seconds). 19:05:34 &win 51 19:05:39 Snarg. 19:05:44 &fail 51 19:06:10