00:01:50 -!- Bike has joined. 00:01:57 -!- boily has quit (Quit: later.). 00:03:05 -!- Bike has quit (Client Quit). 00:03:17 -!- Nisstyre-laptop has joined. 00:03:29 -!- Bike has joined. 00:08:46 -!- Bike has quit (Quit: leaving). 00:09:27 -!- Bike has joined. 00:10:43 -!- DHeadshot has quit (Read error: Connection reset by peer). 00:10:48 -!- DH____ has joined. 00:19:48 -!- esowiki has joined. 00:19:52 -!- esowiki has joined. 00:19:52 -!- esowiki has joined. 00:20:27 -!- esowiki has joined. 00:20:31 -!- esowiki has joined. 00:20:32 -!- esowiki has joined. 00:21:01 -!- esowiki has joined. 00:21:05 -!- esowiki has joined. 00:21:05 -!- esowiki has joined. 00:21:49 -!- esowiki has joined. 00:21:50 -!- glogbot has joined. 00:21:50 [freenode-info] channel flooding and no channel staff around to help? Please check with freenode support: http://freenode.net/faq.shtml#gettinghelp 00:21:53 -!- esowiki has joined. 00:21:54 -!- esowiki has joined. 00:22:01 -!- comex has joined. 00:24:56 -!- mnoqy has quit (Quit: hello). 00:32:32 -!- DH____ has quit (Read error: Connection reset by peer). 00:32:37 -!- DHeadshot has joined. 00:33:18 if you do that zzo38 I'm totally playing 00:36:29 -!- BillyZane has quit (Ping timeout: 256 seconds). 00:37:00 -!- BillyZane has joined. 00:37:03 Pokemon game for http://en.wikipedia.org/wiki/Z_machine 00:42:43 So. In general. Fuck ... actually, I'm not really annoyed at anything right now 00:43:10 (work-wise) 00:43:36 if it helps i'm annoyed at computers 00:43:41 so imo, in general, fuck 00:44:18 -!- Koen_ has quit (Quit: Koen_). 00:53:23 what 00:59:49 -!- DHeadshot has quit (Read error: Connection reset by peer). 01:01:36 -!- Sgeo has quit (Remote host closed the connection). 01:11:31 -!- TeruFSX has joined. 01:15:38 does anyone really understand how free variables work 01:15:39 i'm not sure i do! 01:15:59 left adjoint to forgetful variables hth 01:17:38 Hope this helps. Helps. 01:18:16 is this a category thing again 01:20:18 actually this is incredibly frustrating 01:20:22 i have no idea how anything is supposed to work 01:21:12 Bike: a free functor is left adjoint to a forgetful functor hth 01:21:33 Bike: (and a cofree functor is right adjoint to a forgetful functor hth) 01:21:37 yes but variables what 01:21:40 y'all fucking suck 01:21:55 fizzie: what if the regexp ends with "hth)" or "hth."? hth 01:22:06 fizzie: "regexp" is now a euphemism for "string" hth 01:26:27 -!- augur has joined. 01:27:15 -!- Sgeo has joined. 01:31:49 What is a program calling itself "Microsoft Windows Operating System" doing in msconfig? 01:32:32 sounds legit. 01:32:33 According to Google it's legit wtf 01:32:45 (p2phost.exe) 01:32:49 Even the filename sounds suspicious 01:32:57 pff 01:33:03 you sure about that legitimacy dude 01:33:04 Ah, yes, that's the peer to peer messaging service in Windows. 01:33:11 Yes, that's actually in Windows. 01:33:17 It's stupid as shit, but it's part of the OS. 01:33:51 Maybe it can be disabled if not used 01:34:46 yeah, I love those really shady sounding services 01:37:41 -!- Sgeo has quit (Ping timeout: 248 seconds). 01:38:37 -!- augur has quit (Remote host closed the connection). 01:41:01 `addquote So. In general. Fuck ... actually, I'm not really annoyed at anything right now 01:41:05 1033) So. In general. Fuck ... actually, I'm not really annoyed at anything right now 01:41:25 Just disable them if you don't use them, even if legitimate; except the ones required for the operating system to function in general. 01:42:06 that's what i do for gnome 01:42:38 kmc: do you know about free variables 01:42:39 like really know 01:43:13 elliott: de bruijn index > number of lambdas hth 01:44:49 i am not a number, i'm a free variable! (the joke is about locally nameless representations of lambda calculus) 01:45:23 conor mcbride already made that joke hth 01:46:24 conor mcbride has already made every joke 01:46:29 what the hell are you talking about elliott! 01:46:55 this paper literally has bound free variables 01:47:53 like... quantification over variables, or... 01:48:22 -!- Nisstyre-laptop has quit (Quit: Leaving). 01:49:25 no as in its constructor for free variables takes a data type which has a constructor for bound variables 01:49:28 and this is actually used 01:49:49 and there's a separate constructor for actually bound variables 01:50:09 i refuse to believe this is a real explanation 01:50:12 -!- Singingboyo has joined. 01:51:04 i'm so pissed 01:51:05 at everything 01:53:14 Perhaps you should take out your rage on important problems. 01:53:16 I recommend @ 01:56:43 in general, fuck 01:57:08 yo kmc 01:57:11 how about you do this for me instead 01:58:43 -!- Nisstyre-laptop has joined. 02:00:38 -!- oklopol has quit (Ping timeout: 256 seconds). 02:01:30 how about no 02:01:34 how about 02:01:34 yes 02:01:39 it can be your new job 02:01:44 you can do it in SF 02:01:48 the donkey died, you're the donkey now elliott 02:14:23 -!- Nisstyre-laptop has quit (Quit: Leaving). 02:18:33 -!- augur has joined. 02:19:19 -!- NihilistDandy has quit (Quit: NihilistDandy). 02:19:28 -!- Bike_ has joined. 02:19:35 -!- augur has quit (Remote host closed the connection). 02:20:05 Another idea of computer game is a cross of Tetris and pinball; the flippers could also move the tetris blocks left/right, and then you can nudge the table to make the ball bounce off of the blocks in certain ways, which are worth different number of points; maybe four lines at once gives you a ball saver 02:21:25 -!- augur has joined. 02:22:05 -!- Bike has quit (Ping timeout: 255 seconds). 02:22:05 -!- augur has quit (Remote host closed the connection). 02:23:20 -!- TeruFSX has quit (Read error: Connection reset by peer). 02:23:32 -!- Bike_ has changed nick to Bike. 02:26:15 -!- augur has joined. 02:43:25 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 02:47:04 -!- carado has quit (Ping timeout: 246 seconds). 02:48:49 -!- Sgeo has joined. 02:49:02 * Sgeo vaguely suspects a hardware problem 02:49:19 suspect it of what? 02:49:42 Is it plausible that one OS might behave worse than another, but both behave badly, in the presence of a hardware problem? 02:49:49 very much so 02:49:53 Causing the massive slowdowns and pain I've been having for a while 02:50:11 On both Windows and Linux. 02:50:25 I've been sort of blaming the Linux issues on using an obsolete distro 02:50:29 But now I'm wondering... 02:50:42 is kubuntu obscure 02:51:00 I'm on 10.10 02:51:01 kubuntu should have the same drivers as regularbuntu 02:52:38 :( http://www.nytimes.com/2013/05/02/business/media/cablevision-picks-up-glenn-becks-internet-channel.html?_r=0 02:52:44 is any particular operation slow? 02:52:50 any errors in dmesg? 02:53:22 [ 509.462816] ecryptfs_read_and_validate_header_region: Error reading header region; rc = [-4] 02:53:29 That's just the last line of dmesg 02:54:40 anything else? disk IO errors? 02:55:03 btw ecryptfs sucks; if you end up re-installing I recommend full-disk encryption with LUKS 02:55:16 which is something the Debian installer can set up automatically, and probably Ubuntu as well 02:56:28 * Bike "dmesg | grep -i error", sees fs has been remounted five times 03:02:28 No problems ATM 03:02:33 They usually get worse later 03:02:37 ok 03:03:08 'top' may also be useful, see if the time is spent on CPU or on IO waiting, and what processes are associated 03:03:18 then you can strace those processes and see what the slow operations are 03:04:55 http://www.youtube.com/watch?v=5sXTrlZeDyg 03:06:45 okay i have diagnosed one facet of my tiredness problem 03:06:47 which is that i am tired 03:06:51 and agitated 03:06:54 uh 03:06:59 i meant to type variable problem 03:07:15 * kmc golf clap 03:07:35 well you've certainly proved that you're tired. 03:08:14 imo, both of you can shut right up. 03:15:45 thank you. 03:15:55 my pleasure 03:17:55 -!- Nisstyre-laptop has joined. 03:29:29 maybe i should get drunk and then try to write this typechecker 03:37:30 Is it supposed to be a drunk typechecker? 03:41:35 it can be any kind of typechecker 03:41:45 -!- Bike_ has joined. 03:41:45 -!- Bike has quit (Quit: leaving). 03:42:05 -!- Bike_ has changed nick to Bike. 03:43:23 Why should you get drunk to write it unless you are writing a drunken typechecker? 03:44:28 this is some good logic 03:49:55 zzo38: well if i am drunk then maybe all this will be less irritating and i will blurt out some working code 03:50:38 So, languages whose static typecheckers pass all input programs are common, and often loved by some for this feature. How about a language where no programs pass the static typechecker? 03:50:45 What would such a type system be like? 03:50:57 The former is often done by having one type 03:51:15 having no types hth 03:51:33 the initial object in the category of type systems????????? 03:52:26 well, you could have the trivial typechecker of "fuck you" 03:52:30 elliott: Well, you can try if you want to 03:52:35 i guess you could also have a type checker that never halts? 03:52:36 kinda shitty 03:52:48 shachaf: Is there a category of type systems?????????????????????/ 03:52:57 is there shachaf 03:53:41 Bike: worse, i could have Bike as my typechecker 03:53:42 Bike, I want an equivalent of "fuck you" expressed in terms of a type theory that goes "fuck you" 03:53:56 what 03:53:59 *effectively goes 03:54:18 Sgeo: so you have a type checker that's a program that ignores its input and writes "fuck you" on the terminal. 03:54:29 aka elliott, maybe. 03:55:08 no static type checker : static type checker passes everything : everything is the same type :: fuck you to everything : static type checker that rejects all programs : ??? 03:56:19 can you do analogy syntax like that? i don't know if i can handle this. 03:57:23 That doesn't even make sense. "no static type checker" is analogous to "fuck you to everything"? 03:58:07 No static type checker is sort of opposite to fuck you to everything 03:58:27 Well, hmm, not quite 03:59:03 What you mean is: "everything passes : static type checker that passes everything : everything is the same type :: no program passes : static type checker that rejects everything : ???" 03:59:07 Probably. 03:59:29 Yes 03:59:42 I guess the obvious would be that everything is a different type. And there's no punning or anything. 04:00:36 Esolang idea, I guess 04:00:52 Do languages where no programs compile but for interesting reasons count as esolangs? 04:01:20 it's better than a brainfuck derivative, anyway. 04:01:41 you should write a compiler that gives detailed explanations of why your program, specifically, won't compile. and have it do that for all programs 04:01:48 also have it say "fuck" a lot and call it elliottson. 04:02:31 Well, it should have a syntax 04:02:58 Obviously. You need something to reject. 04:03:34 zzo38: I don't know. 04:03:39 Bike: There is shachaf, yes. 04:03:50 Cool. 04:04:44 I fell asleep in the afternoon until the evening. :-( 04:04:56 Now it's midnight and I won't sleep. 04:14:45 Does vi or emacs have any extensions to ring the bell when the cursor moves near the end of the line? 04:15:46 you could certainly write that. 04:18:22 Now I am writing the "Aberration Saver" prestige class into the computer. 04:31:34 "(4-3-2). Further applications of programming techniques, introducing the fundamental concepts of data structures and algorithms. Topics include recursion, fundamental data structures (including stacks, queues, linked lists, hash tables, trees, and graphs), and algorithmic analysis. Recommended prerequisite: COSC 1437." 04:31:37 This is a course description. 04:31:49 Guess how many semesters in this is, going by recommended preequisites 04:33:40 Well, I don't know what "COSC 1437" is so I cannot guess very well. 04:33:44 ok, my job is both sweet 04:33:46 and fucking awful 04:40:47 good/bad for you 04:45:37 @ask mnoqy oh i remememembered the amazing discovery 04:45:38 Consider it noted. 04:52:11 I made this list of idea of computer games: http://forums.nesdev.com/viewtopic.php?f=5&t=10081 04:52:37 Lymia: 1? 04:53:58 Bike, Bike Bike Bike 04:54:24 sha chaf 04:54:29 sha, chaf chaf chaf 04:55:18 the wheels on the Bike go round and round hth 05:00:25 Bike, well. 05:00:31 he course is called "Programming Fundamentals III" 05:00:33 The* 05:00:58 yeah, i hada class that sounded about the same, and i think it was just a semester 05:10:31 What bothers me a lot about most web browser programs is that it treats URLs entered in the location bar as absolute (my own treats them as relative). What is your opinion? 05:11:00 Absolute sounds better. 05:11:04 -!- NihilistDandy has joined. 05:11:28 if i'm entering URLs myself something is going wrong anyway 05:12:42 Bike: It is? Are you sure? 05:13:02 -!- NihilistDandy has quit (Client Quit). 05:13:07 I always enter them myself, and I find the relative entry very useful. 05:13:23 yeah, i usually use a search (like wikipedia's), or, you know, hyperlink 05:13:24 s 05:13:58 -!- NihilistDandy has joined. 05:14:06 Well, I *often* enter them myself; I do use search (such as Wikipedia), hyperlink, speeddials, etc too. 05:16:42 -!- mnoqy has joined. 05:16:53 oops mnoqy 05:16:56 sorry 05:16:59 hi 05:17:04 whats the amazing discovery 05:17:14 it turns out to be "not "so amazing"" 05:17:20 Sorry. 05:17:24 oh what is it anyway 05:17:38 It's so unamazing it's embarrassing. 05:17:52 oh..............what is it anyway :> 05:18:48 It's too embarrassing to share. 05:19:38 oh.........................................what is it anyway :» 05:20:06 mnoqy don't do this to me :⋘ 05:20:39 Bike: I'm basically elliott now. Should I go to sleep? 05:20:43 It's 01:20. 05:20:47 God yes. 05:21:12 it's 6:20 05:21:14 Is "God" like "Simon Says"? 05:21:15 6:21 05:21:20 i like how typing search terms into the URL bar was a quintessential "old person bad at computers" thing and then it basically became the only way people use the url bar within the space of a few years 05:21:45 kmc: It's a conspiracy by old people. 05:21:50 Old people are a pretty good basis for how computer interfaces should work, really. 05:21:53 kmc: To me, if I search in the URL bar it is always with a prefix starting with a colon, such as ":w " for Wikipedia. 05:21:54 Computer-assisted dementia 05:22:10 That's why I also whisper conspiratorially into my watch 05:22:17 always. also. same word 05:22:21 Bike: I don't think so. I think it is a good basis for people who don't know how to use a computer should learn or not use it at all. 05:22:35 hey mnoqy 05:22:40 but it's so easy for them 05:22:46 guess how much an advertisement on supermegacomics.com goes for 05:22:50 "i want my computer to do this. well, i guess i'll try doing this thing and then it'll work." 05:23:04 and then it works if they have a modern browser and otherwise you charge them for tech support. 05:23:11 shachaf: how much??? 05:23:21 apparently ~¢6??????????????????????????? 05:23:33 that's not many. 05:23:33 should i bid on advertisings 05:23:45 You should make an ad teling elliott to go the fuck to sleep. 05:23:58 elliott doesn't even read super mega 05:24:00 does elliott read supermegacomics 05:24:00 oh 05:24:11 how could you say that 05:24:11 I should make an ad saying "hi monqy". 05:24:16 should i do that mnoqy 05:24:18 i read super mega before you did 05:24:20 well, you should make an ad for supermegacomics, so that elliott will see it and think "huh, maybe i should check this shit out" 05:24:33 kmc: What I mainly do with the URL entry is to enter relative URLs, such as "/" to access the root page, and to enter searches with prefixes, and sometimes full URLs. Mozilla does it the other (more common) way and I don't like that Firefox has no way to turn that feature off and change it! It is a stupid feature! 05:24:34 that's how elliott talks btw. 05:25:00 Bike: Can you say "hth" a bit more? It would be easier to understand you. hth 05:25:01 zzo do you actually like how any of the programs on your computers work 05:25:12 shachaf: is that like "fuckshitter" 05:25:25 n° 05:25:33 Oh. 05:25:43 n°h 05:25:50 Theatre? 05:25:54 -!- NihilistDandy has quit (Quit: leaving). 05:26:16 That would be nōh or something like that, wouldn't it? 05:26:32 Bike: Well, some are OK, such as TeX (although they added something which results in a bug relating to file number 18, and I don't like that); most of my own programs are also OK (which is why I write them that way), and some others may be OK but many are badly designed. 05:26:57 -!- NihilistDandy has joined. 05:26:58 I don't think I can have a character with ¯ and ° at the same time... 05:27:01 zzo38: Did you report the bug? 05:27:16 °̄ 05:27:22 shachaf: I don't have an account to report the bug, nor am I sure who is responsible. 05:27:27 ā° 05:27:30 OK, back up a second here. 05:27:46 You write your programs in a good way because your programs are OK? 05:27:48 zzo38: An account? Just email it to Knuth. 05:28:04 Writing your own web browser could be a bad idea if there's someone who is targetting you specifically and has access to the browser's code 05:28:26 It isn't Knuth who put that bug in, and neither me nor Knuth has email. 05:28:27 writing your own browser is a bad idea for so many other reasons 05:28:34 Web browsers are tricky to get right, I think. Websites try to do the right thing by knowing the oddities of modern browsers. 05:28:36 zzo38: Knuth replied to my email. 05:28:56 "achievement unlocked" hth 05:29:01 But if your own browser has a security flaw, you can't expect websites to know about it and work to avoid making it exploitable. 05:29:07 Sgeo: Well, I am using Mozilla-based; furthermore, I think all of them (Mozilla, WebKit, etc) are way too complicated. 05:29:52 All browsers have gaping security holes 05:30:12 Insult maternal ancestor here 05:30:18 Jafet: Yes; namely, HTML, HTTP, CSS, JavaScript, Flash, Java, etc. 05:30:26 And I do know about security; I always make sure to secure it whenever security is relevant (sometimes it isn't, and in those cases I usually omit those things in order to improve the performance instead) 05:31:58 Often there are security issues dealing with buffer overflows, out of memory, infinite loops, etc; Internet Quiz Engine doesn't even have any buffers and the programming language it implements has no backward flow control (so there is no infinite loops). 05:37:33 -!- BillyZane has quit (Ping timeout: 245 seconds). 05:49:29 -!- Singingboyo has quit (Read error: Connection reset by peer). 05:49:33 -!- BillyZane has joined. 06:15:38 -!- BillyZane has quit (Ping timeout: 255 seconds). 06:17:44 kmc: hourguing hth 06:26:02 -!- NihilistDandy has quit (Quit: leaving). 06:26:19 -!- NihilistDandy has joined. 06:26:19 -!- NihilistDandy has quit (Client Quit). 06:26:36 -!- NihilistDandy has joined. 06:28:23 -!- BillyZane has joined. 06:29:21 -!- NihilistDandy has quit (Client Quit). 06:29:25 -!- BillyZane has quit (Max SendQ exceeded). 06:29:38 -!- NihilistDandy has joined. 06:34:28 -!- NihilistDandy has quit (Client Quit). 06:34:45 -!- NihilistDandy has joined. 06:34:50 -!- BillyZane has joined. 06:39:28 -!- NihilistDandy has quit (Client Quit). 06:39:48 -!- NihilistDandy has joined. 06:44:19 -!- BillyZane has quit (Ping timeout: 276 seconds). 06:49:07 I will define "key move" in my Pokemon card puzzles to mean all the actions you take before the first thing that is beyond your control which immediately affects you. 06:49:14 Is this reasonable? 06:51:32 do you have a precise definition of "immediately affects you"? 06:51:54 However, the order doesn't matter to distinguish possible key moves if this order does not affect anything relevant. 06:52:47 kmc: No, but I do have an example; activating RATTATA [Lv12]'s power to switch the cards does not affect you until you actually draw that card. 06:56:42 These puzzles do not follow all the aesthetics of chess problems; I do not consider all of them important. Many of these puzzles are "dressed" (except for puzzle.4 which I think isn't; but I didn't make that one) 06:57:42 (Actually, I think puzzle.2 is also not dressed; puzzle.1 is clearly dressed though.) 06:59:45 I want to develop the first ever muckbell 07:05:13 What is muckbell? 07:06:13 -!- sebbu2 has joined. 07:06:50 -!- sebbu2 has quit (Changing host). 07:06:50 -!- sebbu2 has joined. 07:07:21 a muckbell is a slyming rhang 07:07:32 -!- sebbu has quit (Ping timeout: 252 seconds). 07:09:37 kmc: Well, maybe I do have another definition: If playing by mail, they can be written all at once and without receiving a response. 07:09:51 (This isn't really mathematically precise either, though.) 07:10:43 Actually I guess this can be called a "move"; a "key move" would just be the first one. 07:10:55 (As it is in chess.) 07:11:18 fuck yell? 07:16:25 However, in this game, the number of moves might be different from the number of turns. 07:31:54 -!- NihilistDandy has quit (Quit: leaving). 08:03:29 -!- Nisstyre-laptop has quit (Quit: Leaving). 08:08:53 -!- FreeFull has quit (Quit: Cya). 08:08:54 -!- BillyZane has joined. 08:11:08 -!- Bike has quit (Ping timeout: 268 seconds). 08:12:28 -!- conehead has quit (Quit: Computer has gone to sleep.). 08:14:46 -!- zzo38 has quit (Remote host closed the connection). 08:20:30 -!- SingingBoyo has joined. 08:29:01 -!- epicmonkey has joined. 08:32:36 -!- BillyZane has quit (Ping timeout: 256 seconds). 08:36:38 -!- BillyZane has joined. 08:38:03 -!- ais523 has quit. 09:10:35 `awake elliott 09:10:39 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: awake: not found 09:11:19 `sleep 999 09:11:50 No output. 09:12:18 -!- pikhq has joined. 09:12:48 -!- yiyus_ has joined. 09:12:57 -!- mroman has joined. 09:13:10 i'm awake 09:14:20 don't be hth 09:14:38 -!- yiyus has quit (Ping timeout: 256 seconds). 09:21:02 -!- impomatic has quit (*.net *.split). 09:21:02 -!- pikhq_ has quit (*.net *.split). 09:21:03 -!- mroman_ has quit (*.net *.split). 09:27:35 -!- NihilistDandy has joined. 09:51:25 -!- mnoqy has quit (Quit: hello). 10:01:00 -!- Koen_ has joined. 10:02:05 -!- Koen__ has joined. 10:02:05 -!- Koen_ has quit (Read error: Connection reset by peer). 10:40:52 -!- Koen__ has left. 11:59:53 -!- SingingBoyo has quit (Ping timeout: 255 seconds). 12:03:38 -!- nooodl has joined. 12:06:52 -!- Phantom_Hoover has joined. 12:12:02 -!- sebbu2 has changed nick to sebbu. 12:31:13 -!- quintopia has quit (Ping timeout: 246 seconds). 12:38:24 -!- impomatic has quit (Read error: Connection reset by peer). 12:45:31 -!- carado has joined. 13:03:23 -!- sirdancealo2 has quit (Ping timeout: 252 seconds). 13:16:28 -!- sirdancealo2 has joined. 13:19:59 -!- boily has joined. 13:27:10 -!- AnotherTest has joined. 13:27:19 Greetings 13:29:32 salutations. 13:35:39 -!- boily has quit (Quit: Poulet!). 13:38:19 -!- boily has joined. 13:38:53 -!- JesseH has joined. 13:49:20 I started working on an esoteric programming language yesterday. https://github.com/jessehorne/derplang 13:49:36 @ask ThatOtherPerson I was reading some of the emulator code, and I wondered why the dcpu isn't inheriting from device itself? 13:49:36 Consider it noted. 14:03:41 My language is interpreted with an interpreter I wrote in Lua btw. 14:04:40 -!- oerjan has joined. 14:06:20 @tell zzo38 I do mean "all hom-sets are abelian groups" but I also mean the distributive law. <-- i think the distributive law is the same as bilinearity 14:06:20 Consider it noted. 14:07:44 -!- Taneb has joined. 14:07:59 Taneb: hi 14:08:03 Hi 14:08:07 Taneb: hi 14:08:08 tanello 14:08:11 This "hi" is ominous 14:08:20 :( 14:08:50 @tell zzo38 It's called bilinearity because it generalizes from homomorphisms between abelian groups to linear transformations between modules over rings 14:08:50 Consider it noted. 14:08:57 Today, I made a really pointless baseclass 14:09:22 well it might prove useful in the future 14:10:09 Today, I was reading about type algebra again 14:10:30 And I came upon a sudden ponderance: 14:11:09 I will not share it because the answer is "Shut up, Taneb, you don't really understand this" 14:13:15 @tell bike @google "ceasar gets money where he looses hearts" <-- you could try spelling caesar correctly, although it might not help. 14:13:15 Consider it noted. 14:13:52 i also failed to answer a quiz correctly the other day because the asker grossly mispronounced caesarion. 14:14:20 caesarion? caesar's son right? 14:14:46 yes. the quiz asked who his parents were. 14:14:59 Cleopatra's son, supposedly by Gaius Julius Caesar 14:15:17 Taneb: if you don't share the ponderance I will have to call the police 14:15:40 elliott: is there any type that corresponds to something like the golden ratio? 14:15:58 elliott: what if the ponderance _was_ 'I will not share it because the answer is "Shut up, Taneb, you don't really understand this"' ? 14:15:59 elliott needs his daily moment of "shut up you don't know anything" 14:16:00 wasn't there a sigfpe post about that... 14:16:44 hard to google for 14:17:08 i bet oerjan knows. 14:17:25 SO question: moving wordpress from local to local 14:17:26 great 14:18:08 What's a good book about type algebra for noobs btw? 14:18:14 you'd want a type satisfying the polynomial for the golden ratio, right? 14:18:16 (eg. me) 14:18:20 hm, so Maybe φ = (φ, φ) 14:18:28 that's pretty weird. 14:18:35 -!- FreeFull has joined. 14:18:46 * elliott trying to rederive a blog post from scratch in lieu of finding it 14:18:56 I don't know how to go from that to solving it as a type. 14:19:36 If you can think of a type such data T a = N | W a a (T a) corresponds to its one-hole context, that type corresponds to inverse hyperbolic tan 14:19:40 neither do i. 14:19:43 http://chris-taylor.github.io/blog/2013/02/10/the-algebra-of-algebraic-data-types/ 14:19:56 well... if we say that φ is a function a -> b, as seems likely for such a weird type, then we need Maybe (a -> b) = (a -> b, a -> b) 14:20:07 aka b^a + 1 = (b^a)^2 14:20:16 * elliott consults god Wolfram to cover up for his incompetence. 14:20:30 * AnotherTest is can't believe it 14:20:37 - is 14:20:47 well, that wasn't helpful. it just told me b^a + 1 = b^(2a). I'm not /that/ incompetent 14:20:52 but, uh, that means 14:21:04 if Maybe (a -> b) = (a, a) -> b 14:21:08 then a -> b = φ 14:21:16 maybe flipping it works better. 14:21:20 (a, a) -> b = Maybe (a -> b) 14:21:24 how strange. 14:21:45 φ = [φ], I think 14:21:51 So... Fix []? 14:22:14 hm, φ = 1 + φ + φ^2 + φ^3 + ...? 14:22:17 is that true? 14:22:28 it sounds distinctly untrue. 14:22:41 for the obvious reason? 14:22:46 aka φ = 1/(1-φ) 14:22:57 oh, hm, right. 14:23:25 wait, is it actually true? 14:23:28 i've got myself completely confused. 14:23:44 not the same polynomial 14:23:52 er right 14:23:57 φ + 1 = φ² 14:24:04 was my interpretation of [] wrong... it looks like the standard expansion for the free monoid? 14:24:27 elliott: i find it plausible... 14:24:31 No, my arithmetic was off 14:24:37 φ-1 /= 1-φ 14:24:41 well I mean if φ = 1 + φ + n 14:24:45 then n must < 0 14:24:54 and φ^2 + φ^3 + ... does not seem to have any reason to be < 0. 14:25:04 i am sleep deprived but at least that much makes sense to me 14:25:10 φ=-[φ] 14:25:13 Is more true 14:25:29 well you sort of have to eliminate all the divisions and subtractions if you want to work out a type :P 14:25:58 By "more true" I distinctly did not mean "closer to the answer" 14:26:34 Anyway, brb 14:26:40 I have a home to go to 14:26:42 -!- Taneb has quit (Quit: Page closed). 14:27:00 lucky guy 14:27:06 hm... 14:28:11 i don't know much about handling negation or division in types other than the 1/(1-t) kind of trick 14:29:19 wait, there's a relevant trick i'm missing? :P 14:29:40 i just mean 1/(1-t) = 1+t+t^2+... 14:29:46 oh, right 14:30:13 that's not equal to the golden ratio for any convenient t though :( 14:30:19 i think i've also seen someone claim t^n/n represents cyclic lists of length n 14:30:28 hm 14:30:53 oh hm 14:31:06 φ = 1 + 1/φ 14:31:06 so 14:31:23 that gives some sort of clue? sort of? 14:31:34 if there's any nice trick for 1/(1+t)... 14:31:41 i'm so tired. 14:31:57 1/(1+t) = 1-t+t^2-t^3+... 14:32:16 hm 14:32:49 φ = 1 + 1 - (φ-1) + (φ-1)^2 - (φ-1)^3 + ... 14:32:49 ugh guys how is monad pronounced 14:32:57 φ = (φ-1) + (φ-1)^2 - (φ-1)^3 + ... 14:33:01 even worse dilemma: how do i pronounce it in dutch 14:33:08 φ = ((1 + 1/φ)-1) + (φ-1)^2 - (φ-1)^3 + ... 14:33:16 φ = (1/φ) + (φ-1)^2 - (φ-1)^3 + ... 14:33:21 this does not seem to be helping. 14:33:37 nooodl: monachchxt*ARGH MY THROAT* 14:33:40 hth 14:34:05 i know a "monoid" is a "monoïde" so people seem to put some effort into translating technical terms 14:34:29 but there's no obvious non-stupid way to pronounce "monad", which is also used in dutch 14:35:00 dutch is so funny, i listened to the king's inauguration speech the other day 14:35:13 dutch is great 14:35:29 it's all "schchcxhxsh rshcrhxschhrx" 14:35:40 really? didn't know that 14:35:58 only arabic can beat it in sheer throat messing up 14:36:33 oh man that's right, AnotherTest lives about a decibelgium away from me 14:36:33 that's probably just dutch dutch, not Flemish dutch then 14:37:00 `? debibelgium 14:37:01 debibelgium? ¯\(°_o)/¯ 14:37:02 but yeah flemish dutch is less throat-y. it's more like german 14:37:08 `? decibelgium 14:37:10 decibelgium? ¯\(°_o)/¯ 14:37:16 elliott: someone's probably analyzed what expressions can work as types 14:37:58 oerjan: yes. but if I could find things, I could also just dig up the blog post. 14:38:05 so I'm reduced to thought instead. 14:39:07 how horrible 14:39:55 elliott: are you sure it's a sigfpe blog post 14:40:15 no i've realised it wasn't 14:40:20 uh i think it had a black background, haskell code, recent 14:40:26 or at least recentish 14:40:32 the default new wordpress theme thing 14:41:15 site:wordpress.com hth 14:41:37 thank's 14:41:41 aah 14:43:59 -!- conehead has joined. 14:44:06 oerjan: nooodl: http://ctenophoric.wordpress.com/2013/04/21/algebraic-data-part-1-golden-tree/ 14:45:30 ohhh 14:45:59 In many everyday categories (sets, spaces, modules, ...) objects can be both added and multiplied. The arithmetic of such objects is a challenge because there is usually no subtraction. We prove a family of cases of the following principle: if an arithmetic statement about the objects can be proved by pretending that they are complex numbers, then there also exists an honest proof. 14:46:09 i was confused about the [x] = 1 + x + x² + x³ + ... thing at first... but now it makes sense 14:46:27 so there are exponential types. Are there hyper types? 14:47:04 nooodl: list is either empty or one element or two elements or etc. 14:47:08 yeah 14:47:20 AnotherTest: A^^n = A -> A -> ... -> A 14:47:32 -1 = [Bool] OKAY 14:47:51 nooodl: So that would be eg. a function returning a function? 14:48:07 I assign oerjan the task of divining the deep connection between Tree [Bool] and the golden ratio 14:48:24 yeah; n is a natural number here though so it's not really a "hyper type" at all 14:48:27 i thought that was what the blog post did 14:48:31 it's just A^A^A^...^A 14:48:39 oerjan: could you please stop shouting your okays? it disturbs this channel's feng shui. hth. 14:48:51 nooodl: well it doesn't count unless you have types on both sides. 14:49:11 oerjan: well it showed the correspondence. i can't say it says much on _why_ on earth that's the type :P 14:49:14 indeed... i have no idea what A^^B would be though 14:49:20 boily: no, the precise spacing and capitalization is part of the meaning hth 14:49:32 -!- Taneb has joined. 14:49:37 clearly A^^Bool = A -> A, somehow 14:49:41 nooodl: well, you know that A^^Bool is A -> A 14:49:43 or is it A -> A -> A? 14:49:43 haha 14:49:48 no it's A -> A 14:49:48 And I'm back 14:50:00 data Foo = A | B | C; A^^Foo = A -> A -> A 14:50:01 so 14:50:13 A^^Foo = A^Bool -> A 14:50:14 so uh 14:50:16 well that's not helpful 14:50:38 but what about (A -> B) ^^ (C -> D) 14:51:08 well that's (B^A)^^(D^C). 14:51:14 so for fixed D and C we know what the result should look like. 14:51:21 wait what is sqrt(2) as a type 14:51:40 nooodl: figure it out :P 14:52:04 What's so special about sqrt(2) as a type? 14:52:15 Seems like I'm not understanding this 14:52:32 oh right I see 14:52:33 nmv 14:52:35 *nvm 14:52:48 it doesn't exist in any way i can think of but i remember seeing that "negative and fractional types" paper and not understanding it at all 14:53:08 oh so there's negative types? 14:53:59 Also is A^(-1) the inverse type of A? Or what's used for that? 14:54:53 what would the inverse type be anyway 14:54:54 hm 14:55:07 but does that 1+2+3+... = -1/12 equation hold in types? 14:55:17 I guess a type so that A * B = Void 14:55:28 you mean () 14:55:34 oops yeah 14:55:53 ()^(-1) = () at least 14:55:59 and iirc it's kinda like that... here's a thing i don't understand http://www.cs.indiana.edu/~sabry/papers/rational.pdf 14:56:41 i remember edwardk mocking the negative and fractional types paper 14:57:06 is (A -> B)^(-1) = (B -> A) 14:57:19 ...have I started something here 14:57:25 sorry 14:57:42 Taneb: you made me read something about type algebra so thanks 14:57:55 > import Control.Category 14:57:56 > import Prelude hiding ((.),id) 14:57:58 I'm probably annoying elliott etc atm though 14:57:58 :1:1: parse error on input `import' 14:57:59 can't find file: L.hs 14:57:59 what's this for 14:58:03 (sorry lambdabot) 14:58:06 p.sure you can't generalise division to types 14:58:12 the only thing that annoys me is... soap 14:58:16 well, you can have quotients but they're not what you want 14:58:22 Phantom_Hoover: catch up pls 14:58:23 Phantom_Hoover: In many everyday categories (sets, spaces, modules, ...) objects can be both added and multiplied. The arithmetic of such objects is a challenge because there is usually no subtraction. We prove a family of cases of the following principle: if an arithmetic statement about the objects can be proved by pretending that they are complex numbers, then there also exists an honest proof. 14:58:40 cf also http://ctenophoric.wordpress.com/2013/04/21/algebraic-data-part-1-golden-tree/ 14:58:47 Oh Dear 14:58:54 Well I'm pretty sure inverse types can exist 14:58:59 that sounds ok 14:59:22 so a division of two types A / B = A * B^(-1) I guess? 15:00:25 I wonder what they are though 15:00:29 i feel your presentation of A^(-1) insufficiently justified 15:00:40 elliott: I agree really 15:00:52 especially since it must be a function from a type (-1) to A 15:01:03 -1 = [Bool] hth 15:01:29 elliott: well consider it a separate notation? ^ is probably an ill chosen symbol 15:01:56 left adjoint to forgetful variables hth <-- i am hoping this is somehow actually true. 15:02:06 Well f^(-1) != 1/f too 15:02:08 nooodl: (A, [Bool] -> A) = Void 15:02:11 so it gets all weird 15:02:24 it's beautiful :-) 15:02:29 btw: ()?? 15:02:35 yes the joke is its nonsense 15:03:18 Where can I read more about this type algebra (besides on Taneb's link which was pretty basic)? 15:03:51 http://www.cis.upenn.edu/~byorgey/pub/species-pearl.pdf I think 15:04:07 http://chris-taylor.github.io/blog/2013/02/11/the-algebra-of-algebraic-data-types-part-ii/ hth 15:04:34 aah, but that probably does help 15:05:06 well I am reading part 2 15:07:58 To interpret this for types, remember that the derivative operator d/da makes holes in a data structure that contains data of type a. This equation is saying that if a type doesn’t have any data of type a, then its one-hole context is Void, i.e. you can’t create any instances of it. 15:08:12 type algebra is so good 15:08:23 oh so there is a type derivative? cool. 15:08:27 i have the hugest grin on my face 15:08:32 is there a type integral? 15:08:57 "modular type algebra": coming soon? 15:08:58 i don't think there's a sensible definition of type integrals 15:09:07 the whole constant of integration thing sounds messy 15:10:31 A mod B = B ? 15:11:07 so did he work out how to divide types yet 15:11:34 well assuming that this type division is a real thing, you could define rounding down types 15:11:50 then you could define modulo (assuming you also have negative types) 15:12:04 then you could implement RSA with types or something I guess 15:12:11 good type encryption 15:12:37 so someone could not only encrypt a message, but also the type of the message! 15:13:25 serious question: What's the difference between Nil and Nothing? The post seems to use both. 15:13:30 Nil === Nothing though? 15:13:38 or is it something else 15:29:20 -!- MindlessDrone has joined. 15:54:49 -!- oerjan has quit (Quit: Later). 15:57:51 AnotherTest: Nil is a List a 15:57:56 Nothing is a Maybe a 15:58:01 They are different things 15:58:11 -!- zzo38 has joined. 16:20:18 there are quite a few debian forks: https://en.wikipedia.org/wiki/File:DebianFamilyTree1210.svg 16:20:31 -!- Bike has joined. 16:22:00 o_o 16:28:03 Not an insignificant fraction are Ubuntu-derived. 16:28:19 Is there a debian package for making lousy debian forks 16:29:58 It is good that the line for Ubuntu Satanic Edition is RED 16:30:28 How many people use all these friggin' forks? 16:30:45 I'm sure "Leeenux" has a large following. 16:30:49 I've used Damn Vulnerable a couple of times, but there are just so damn many 16:31:08 (Apparently it's a netbook-oriented thing.) 16:31:52 @quote in.the.type.system 16:31:52 dons says: ghc 12.5 can implement the device drivers in the type system! 16:31:59 @quote in.the.type.system 16:32:00 olsner says: < kmc> i think 250 milliolegs is enough to kill an elephant < olsner> kmc: ... to kill an elephant - in the type system! 16:32:16 Hrm, a Google search for "Descent|OS" (with quotes) seems to still be looking for the words "Descent" or "OS", not the combination. 16:32:32 @google +"descent.os" 16:32:33 http://www.descentos.org/ 16:32:33 Title: DescentOS: Simple by Design 16:32:37 Yes, yes. 16:32:50 I was hoping it'd have something to do with Descent-the-game, but it doesn't seem to. 16:34:08 Descent was nausea-inducing, so that's not implausible 16:34:41 Only losers turned on the option that auto-rotates the ship so that "up" stays up. 16:35:02 I think it was the corridors 16:35:36 Can you put a bitmap object thing in a KML file or something? Like, assuming I have a bitmap map of something, and I'd like to plonk it on top of a map (assuming some reasonable projection) so that I can look at it on an Android device and see where I am? 16:36:19 Maybe that's an . 16:36:42 Do it right, use a spheroidal bitmap 16:37:25 I don't know if the bitmap is even a real map, in any sort of scale, instead of just an illustration. 16:40:23 -!- augur has quit (Remote host closed the connection). 16:40:50 -!- Bike_ has joined. 16:40:58 I feel a bizarre need to create a website 16:43:30 Hey, werecatt's at it again 16:43:37 -!- Bike has quit (Ping timeout: 276 seconds). 16:44:07 -!- Bike_ has changed nick to Bike. 16:57:58 I just added an "image overlay" in Google Earth, but now I can't figure out how to edit its size/position. 16:58:44 Oh, it's editable when its "Properties" window is open. 17:09:36 Huh. The exported kmz (and kml) files work when I write the URL to the web-browser Google Maps, but not when I write it to the search field of the Android Google Maps, even though I've used that earlier to look at a kml file in the webs. 17:13:14 Jafet, descentos looked interesting until I saw the reddit link >_> 17:17:57 Why doesn't anything ever work out right? I managed to get the image overlay open in Android Google Earth (by making a dummy page with a link to it, then going there with Chrome and telling it to open it with Earth), but it only shows about one half (left half) of the image. 17:18:23 A feature would like to see in a GameBoy emulator is the feature to interact with the IR port driver on your computer. 17:18:23 zzo38: You have 2 new messages. '/msg lambdabot @messages' to read them. 17:18:27 ?messages 17:18:27 oerjan said 3h 12m 7s ago: I do mean "all hom-sets are abelian groups" but I also mean the distributive law. <-- i think the distributive law is the same as bilinearity 17:18:28 oerjan said 3h 9m 37s ago: It's called bilinearity because it generalizes from homomorphisms between abelian groups to linear transformations between modules over rings 17:20:04 In fact, the leftmost 1333 pixels is what it displays. IDGI. 17:20:10 hi shachaf 17:21:34 "Descent|OS incorporates ease of use with the power that advanced users hunger, with emphasis on functionality and lightness combined with good looks." 17:21:50 i like that people can just say this without admitting that there are tradeoffs between these things 17:22:09 I guess "marketing is bullshit" is not exactly a cutting edge observation 17:22:32 i like how this site does not tell me anything helpful as a linux user 17:22:35 except "it uses MATE" 17:22:35 Well, yes they are tradeoffs. 17:22:51 but it's funny that one-person Linux distro projects have bullshit marketing just like huge corporate products 17:22:52 i had to click on to their reddit to find it's a debianoid 17:22:52 A simple and fast operating system is FreeDOS. 17:23:17 kmc: i think it kind of shows how ingrained this kind of crap is to society 17:23:32 that people think it improves everything they do to imitate it 17:24:02 "Taneb's linux distribution" 17:24:13 You got one? :D 17:24:15 "It's basically debian, but stripped down, and with chromium installed by default" 17:24:16 turns out to be slackware 17:24:17 Bike: You have 1 new message. '/msg lambdabot @messages' to read it. 17:24:17 Oh god now 17:24:19 *no 17:24:31 "Tabuntu" or "Tanebuntu". 17:24:33 thx oerjan. 17:24:43 kmc: have PC manufacturers stolen the whole retina thing yet, you are my update service for this fact 17:24:45 remember, software with the features I want is "pragmatic", software with the features you want is "bloated" 17:24:55 fizzie: Tabuntu sounds like the mutant offspring of two colas 17:24:56 elliott: just the Chromebook Pixel 17:25:04 My distro is exactly ubuntu 10.04, but without the firefox package. 17:25:09 you can run regular Linux on it (or on a Macbook Retina for that matter) 17:25:12 VIVA REVOLUTIOJ 17:25:18 REVOLUTION* 17:25:21 kmc: that has an arm in it right 17:25:29 (a literal human arm to go with the retina) 17:25:38 (humanistic computing) 17:25:39 i expect so 17:25:47 but no it's an x86 chip 17:26:04 core i5 17:26:15 hm that's pretty good 17:26:18 too bad the screen is tiny :/ 17:26:27 but the defs are so high 17:26:30 i don't even know if i want a laptop 17:26:34 i don't even know what i want 17:26:56 all i want is a computer i can use to do the things i like using computers for without getting incredibly frustrated by it all freezing multiple times a day 17:27:07 -!- augur has joined. 17:27:14 and technical knowledge does not really help with this goal afaict 17:27:31 agree/disagree: "simple" and "minimal" are not design goals, they just mean you've done your job evaluating the actual design goals 17:27:48 i'm not sure those words actually mean anything in a design context 17:28:06 elliott: have you considered taking up something easier like gradening or bomb defusal. 17:28:50 reminds me of a monthy python sketch 17:29:04 with the banker wanting to become a lion tamer 17:29:31 Bike: yet they seem to be a huge deal in free software communities 17:29:41 so if they mean nothing then that's... well, not surprising, but kinda funny 17:30:02 Bike: well the problem is i'm kind of deep into this functional programming thing by now! 17:30:06 it's wormed its way into my aesthetics 17:30:23 i;m sorry 17:30:28 my only out appears to be a purer form of mathematics, and (a) I'm not good enough for it, and (b) you still need to use computers a lot 17:30:47 -!- zzo38 has quit (Remote host closed the connection). 17:31:08 anyway I think what I said is not 100% true because there can be varying levels of pushback against new feature requests 17:31:24 kmc: mostly i'm thinking of http://yourkickstartersucks.tumblr.com/tagged/wallet and all the Minimal Wallets in general 17:31:34 there's more than just those two, their tagging just sucks apparently 17:31:37 what I said kind of presupposes a one-way (I think the kids call this "waterfall") methodology where the requirements are set in stone 17:31:45 elliott: know who else was concerned with purity? hitler 17:31:52 hahaha woow 17:32:00 A modern minimalist wallet system that blocks RFID signals yet allows users to express their individuality. 17:32:10 BUT DOES IT CELEBRATE CRAFTSMANSHIP?!?!? 17:32:20 Bike: no i already argued with someone who has unironically compared things similar to what i was arguing about to hitler recently today! 17:32:26 oh oop 17:32:28 s 17:32:31 Bike: I'M SCARRED 17:32:53 tough it up!!! 17:33:17 maybe I should just figure out how to make a lot of money and give up on caring about things and buy a macbook, except every time i have said "i can't care about computers any more" and bought a mac it's turned out that programming on them is a net more hellish experience than dealing with other things 17:33:18 "We're making the world's fist anime time management/tycoon game." 17:33:22 kmc: can I just dictate programs to you 17:33:29 that seems like the easiest solution 17:33:41 here in the Real World you'll get baselessly compared to hitler and there's nothing you can do about it without violating my free speech 17:34:05 yeah ok this is pointless. 17:34:07 kmc: yes. 17:35:31 http://yourkickstartersucks.tumblr.com/post/40901452707 another minimalist wallet 17:36:05 http://yourkickstartersucks.tumblr.com/post/40770610878/ just keep coming 17:36:06 kmc: i will pay you 17:36:17 all i want is a computer i can use to do the things i like using computers for without getting incredibly frustrated by it all freezing multiple times a day 17:36:18 hm 17:36:22 elliott, what OS? 17:36:34 It has been years since I had problems with freezes 17:36:50 it freezes because i use up all my ram and it starts swapping 17:36:52 and the disk is relaly slow 17:37:03 I think I had one kernel panic in the last year, that was a failing swap HDD 17:37:13 elliott: do you even have money 17:37:16 no, that was two years ago 17:37:22 elliott, I suggest getting a LOT of ram then 17:37:39 elliott, 16 GB, haven't had any issues, I do use xfce though, so not very memory hungry 17:37:40 yes i have figured out that ram in the double digits would be best for my continued sanity 17:37:44 Bike: uh a bit 17:37:45 and windows is more IO-bound 17:37:50 so the disk is the slow bit there 17:37:51 Bike: i mean i don't really buy things... 17:37:57 at least for like 10 minutes after boot 17:37:58 you buy kmcs 17:38:08 i don't really buy things i don't love 17:38:10 "Long cat 3D. A game built for the meme community… inspired by teh internetz." 17:38:10 elliott: what do you do that uses up all your ram? fire multiple eclipse instances at the same time? 17:38:14 they don't even have any comment on that one 17:38:43 boily: chromium appears to be the main culprit 17:38:49 ghc also doesn't help 17:38:51 elliott, you might want to go for 32 GB, I actually managed to swap a couple of weeks ago! I had 150 tabs in chromium open and a minecraft instance that used 4GB. Also was compiling a kernel in the background 17:39:03 (cross compiling a kernel) 17:39:13 elliott, unless you do stupid stuff like that, 16 GB is fine :P 17:39:37 -!- Bike_ has joined. 17:39:40 speaking of stupid computer problems 17:40:42 The World’s First Dubstep MMO 17:41:42 “Please give $7500 to Bulk and Skull to cover damages from pies thrown at the wall during the last Power Rangers convention” 17:42:31 -!- Bike has quit (Ping timeout: 264 seconds). 17:42:43 -!- Bike_ has changed nick to Bike. 17:43:39 those are some hella pies 17:46:49 -!- NihilistDandy has quit (Quit: leaving). 17:48:28 "Ever since the 1st smartphone came to the market we all have been waiting for Uppercup™. The first cupholder for the iPhone." 17:49:14 -!- NihilistDandy has joined. 17:53:47 Time Lord Style - A Doctor Who 'Gangnam Style' Parody 17:54:01 -!- augur has quit (Remote host closed the connection). 17:54:22 they raised $345 of a $700 goal, I don't know which of those numbers is sadder 17:55:34 lol 17:57:56 -!- augur has joined. 17:59:57 oh good there's a kickstarter solely for porn now http://offbeatr.com/ (nsfw obviously) 18:02:54 Yep, a friend of mine is working on this. http://offbeatr.com/project/seduction-quest-25942461211 18:03:13 It wasn't funded. 18:03:17 ;__; 18:03:21 JesseH: I don't think I know you. Are you new? 18:03:29 I am new. :-) 18:04:54 I was told by http://esolangs.org/wiki/Esolang:Community_portal that this was the place to go. 18:05:17 -!- mnoqy has joined. 18:06:01 Yeah, this is the place to be 18:06:42 I recently started working on a esoteric programming language, and thought I'de hang out here. :P 18:06:51 elliott: "ram in the double digits" like up to a dozen bytes! 18:07:11 JesseH: cool, what's it like? 18:07:33 -!- nooodl has quit (Ping timeout: 248 seconds). 18:07:43 This is your basic hello world program. 18:07:43 START:ou:hello world:DONE: 18:07:53 The interpreter is written in Lua. 18:08:07 It does some basic things, working on getting it turing complete. ^_^ 18:08:22 Turing completeness is not as important as it may seem 18:08:36 -!- nooodl has joined. 18:08:52 what does it do differently from other languages? 18:08:59 https://github.com/jessehorne/derplang 18:09:11 A script MUST be on one line 18:09:25 I am still working on the unique part. 18:09:32 It handles things differently I can tell you that. 18:09:48 "17: amazingly another prime number" 18:10:01 -!- augur has quit (Remote host closed the connection). 18:10:03 https://github.com/jessehorne/derplang/blob/master/examples/test.derp 18:10:19 watch out python...derplang is coming! 18:10:23 :P 18:11:40 That's a pretty cool esolang 18:11:59 Pretty easy to implement too. 18:12:17 A little bit harder to write... 18:12:18 JesseH: how do you output the string ":DONE:" ? 18:12:35 You can't :P 18:12:46 DONE: means end of code 18:13:16 so does exit(0) in C, but it can still print it:) 18:13:27 This isn't C XD 18:13:52 you can just print it in two parts, right? 18:13:58 I don't use "'s to show the interpreter what is a string and what isnt 18:14:12 actually what you could do is do this 18:14:18 START:ou:DONE :DONE: 18:14:23 That will print DONE 18:14:40 With one added space at the end...it makes a difference. ^_^ 18:15:20 must all programs start witrh START: ? 18:15:24 Yes 18:15:46 can you have more STARTs? 18:15:52 Now, I could take it out, and make it not matter very easily....but why would I do that? 18:16:01 Actually wait 18:16:03 I was wrong 18:16:10 You can do 18:16:13 ou:DONE: 18:16:23 I forgot how I implemented it! Such bad memory 18:16:35 Since yesterday I've rewritten around 10 times :P 18:16:57 It checks the 1st, and last statement 18:17:03 the 1st statement MUST be start 18:17:08 and the last MUST be DONE 18:17:21 If not, it spits a DERP error to you 18:17:38 we wouldnt want that 18:18:03 So yeah, if you wanted to get some input, and print it out 5 times heres what the script would look like 18:18:22 START:ou:What is your name?:ip:x:fo:1:5:ou:x:DONE: 18:18:33 I think...let me run that in my interpreter to check. 18:19:10 Yep that syntax is correct 18:20:32 -!- oerjan has joined. 18:22:18 `addquote Is there a debian package for making lousy debian forks 18:22:22 1034) Is there a debian package for making lousy debian forks 18:23:04 Taneb, thanks btw ^_^ 18:28:36 "Tabuntu" or "Tanebuntu". <-- i think this requires Taneb to be a swahili noun prefix hth 18:29:03 -!- ocojocaru has joined. 18:30:35 remember, software with the features I want is "pragmatic", software with the features you want is "bloated" <-- what about software with the features he/she wants? 18:31:01 depends on whether he/she is kmc or not? 18:31:46 but I guess you were making a joke or something 18:32:07 olsner: clearly kmc is "I" in this case hth 18:32:39 i was just wondering about the full person inflection of this adjective hth 18:32:40 oerjan: bug-ridden 18:32:41 but when I say I I usually mean me 18:33:07 olsner: but i wasn't quoting you 18:33:56 ah, ok, I probably can't help you then 18:34:41 Yeah, software with the features he wants is bug-ridden 18:35:20 (a literal human arm to go with the retina) <-- it suddenly occurs to me that to be literally literal you have to be made of letters 18:37:34 literally made of letters??? 18:38:04 elliott: have you considered taking up something easier like gradening or bomb defusal. <-- plz explain what "gradening" is thx 18:38:38 mnoqy: yep 18:38:47 oerjan: probably a typo for gardening, hth 18:39:08 olsner: i considered that possibility and found it implausibly boring hth 18:39:11 "literal" is literally a literal 18:39:19 It's the process of turning something into a grade 18:41:29 Jafet: only if it's properly quoted. "\"literal\"" is literally a literal. 18:42:29 is literally preceded by its quotation 18:42:41 maybe I should just figure out how to make a lot of money and give up on caring about things and buy a macbook, except every time i have said "i can't care about computers any more" and bought a mac it's turned out that programming on them is a net more hellish experience than dealing with other things 18:43:20 <-- i suspect the computers made for people that don't want to care about computers are eerily unconcerned with making programming easy hth 18:43:40 but then, how do they program software for them in the first place? 18:43:49 by cross-compiling from linux of course 18:45:48 here in the Real World you'll get baselessly compared to hitler and there's nothing you can do about it without violating my free speech <-- i'm sure you can use other methods, although hitler used all of them hth 18:46:44 oerjan is very hambiguital today. 18:47:07 `? hambiguital 18:47:13 hambiguital? ¯\(°_o)/¯ 18:47:34 `? hth 18:47:43 hth here there be hambiguity 18:48:11 DID ANYONE ORDER A BIG HAM? 18:48:26 Yeah, 6 of them 18:48:37 JesseH: btw did you get asked the questions 18:48:47 The questions are important 18:48:52 What questions O.o 18:49:01 Firstly! Do you live in Hexham? 18:49:17 Sounds like a fun place to live 18:49:32 but no 18:49:37 Okay! 18:49:41 How about Finland? 18:49:45 I do not. 18:49:50 Okay! 18:49:53 That is all 18:49:56 Thanks 18:49:58 ^_^ 18:50:11 i am sure there was a third question last time i saw it came up 18:50:12 uhm, what about his/her/its/hir geographical coordinates? 18:50:44 ah yes, for the #esoteric center of mass project 18:51:02 that also requires eir weight hth 18:51:13 How do I get my coords? 18:51:15 (or mass) 18:51:33 JesseH: i'm sure google maps can give them somehow 18:51:40 Oh right 18:51:53 I live in Murica if that matters. 18:52:00 oerjan: it does, but I'm trying to subtly introduce the question for later. 18:52:06 ah. 18:52:24 boily: what's the average so far? 18:52:27 `? the us 18:52:29 The US is the country opposed to the THEM. 18:52:36 O.o 18:52:39 I'm guessing north-east atlantic 18:52:50 More like, Georgia. 18:53:09 Hang on 18:53:15 <_> #esoteric lurkers be creapin 18:53:17 Taneb: haven't compiled all the results yet (not enough datapoints), but my gut guesstimateeling is somewhere in northern atlantic. 18:53:17 Didn't kallisti live in Georgia 18:53:27 JesseH: thanks! and subtly your body weigh? 18:53:32 Taneb, probably no 18:53:35 well someone here was from georgia 18:53:38 boily, 135 18:53:44 No one here is from georgia XD 18:53:49 possibly kallisti 18:54:01 I would be surprised. 18:54:02 JesseH: do you know anyone called Adam Curtis 18:54:04 JesseH: ah, good, someone else that works with good ol' regular orthodox pounds. 18:54:18 JesseH: you _could_ be right since kallisti isn't present 18:54:22 Taneb, sounds familiar O.o 18:54:27 Small world 18:54:44 well, unless he changed nick again without me noting 18:54:51 How about (and now I list all the people I know who live in Georgia): 18:55:00 lol 18:55:01 Edil Ostolaza? 18:55:42 Atlanta is the city where "it's happeneing". 18:55:48 I don't live there either. :c 18:55:55 Hmm 18:56:25 The people I know in Georgia are either in the Savannah area (I think? is that an area?) or Commerce/Athens 18:56:38 The good neighborhoods >_> 18:57:10 `frink 135 pounds -> kg 18:57:11 Don't know anyone in Tbilisi, though 18:57:19 1224699399/20000000 (exactly 61.23496995) 18:57:30 `frink 9 stone -> lb 18:57:41 126 18:57:52 `frink 130 -> kg 18:58:02 ​ Conformance error \ Left side is: 130 (dimensionless) \ Right side is: 1 kg (mass) \ Suggestion: multiply left side by mass \ \ For help, type: units[mass] \ to list known units with these dimensions. 18:58:07 `frink 130 lb -> kg 18:58:16 589670081/10000000 (exactly 58.9670081) 18:58:29 So um 18:58:32 Enough of that 18:58:50 Cool esolang talk goes on here? 18:58:55 Ha 18:58:55 I haven't heard any ;D 18:58:56 Hahaha 18:59:00 Hahahahahahahahaha 18:59:02 Yeah, sometimes 18:59:05 Occasionally 18:59:13 fsvo cool, esolang, talk 18:59:22 Taneb, good idea for a language! 18:59:24 ha 18:59:25 `quote on-topic 18:59:26 haha 18:59:27 417) Non sequitur is my forte On-topic discussion is my piano Bowls of sugary breakfast cereal is my mezzoforte Full fat milk is my pianissimo On which note, I'm hungry \ 844) FireFly: oh, did you see ion's police reindeer? that was ... at least as on-topic as this discussion 18:59:27 hahaha 18:59:49 JesseH, yeah, look at the topic bar 18:59:54 /topic 18:59:57 -!- augur has joined. 19:00:19 for slight on topicness, i've been vaguely wondering if MemFractal is turing complete 19:00:48 I don't see why not. everything today and its toaster is TC. 19:01:15 Strange....my toaster is only toaster complete >_> 19:01:26 My toaster is linear-bounded 19:01:26 *f 19:04:19 boily: i am pretty sure a variant of MemFractal that had a bit more exits/entrances to the program would be TC, but i am not sure if 4 are enough to work with. 19:05:04 my other toaster is a hypercomputer 19:05:46 i only have one toaster and it's half broken and the other half is pretty broken too and it makes bad smells so i don't like it 19:06:50 Don't know anyone in Tbilisi, though <-- * oerjan suddenly gets that. and wonders if there's a tbilisi in georgia, usa. 19:07:20 თბილისი 19:07:28 "Tbilisi" doesn't have a disambiguation page 19:08:01 Hm 19:08:11 -!- ocojocaru has quit. 19:08:46 I assume JesseH has been properly `welcome'd? 19:09:22 ...those are not meant to look like matching quotes 19:09:56 extra welcoming can't hurt, I suppose 19:10:01 `relcome JesseH 19:10:08 ​JesseH: 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.) 19:10:30 `wElCoMe FireFly 19:10:31 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: wElCoMe: not found 19:10:42 `WeLcOmE FireFly 19:10:44 FiReFlY: 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.) 19:12:05 tHaNkS tAnEb 19:13:30 `ls bin 19:13:33 ​! \ ? \ @ \ WELCOME \ addquote \ allquotes \ anonlog \ aseen \ botsnack \ bseen \ calc \ CaT \ define \ delquote \ e \ emmental \ emoclew \ emptylist \ etymology \ forget \ fortune \ frink \ fueue \ gaseen \ gccrun \ google \ h \ ?h \ h! \ hatesgeo \ hello \ ?hh \ hyfinate \ hyphenate.fi \ instalist \ interp \ it \ joustreport \ jo 19:14:07 Hey, I didn't know about `emoclew 19:14:22 `ls bin/[j-z]* 19:14:25 ls: cannot access bin/[j-z]*: No such file or directory 19:14:25 I always read that as -claw 19:15:39 `run ls bin/[j-z]* 19:15:41 bin/joustreport \ bin/jousturl \ bin/js \ bin/json \ bin/karma \ bin/karma- \ bin/karma+ \ bin/learn \ bin/list \ bin/listen \ bin/log \ bin/logurl \ bin/lowercase \ bin/ls \ bin/lua \ bin/luac \ bin/luarocks \ bin/luarocks-admin \ bin/macro \ bin/makelist \ bin/makequine \ bin/maketext \ bin/marco \ bin/mlist \ bin/mov \ bin/No \ bin/nooodl: \ bin 19:15:56 thank god for bin/nooodl: 19:16:05 `nooodl: hi 19:16:07 hi 19:16:18 `nooodl: nooodl 19:16:20 nooodl 19:16:31 seems quite useful 19:16:41 Useful if you're after botcycles 19:16:54 it was exactly that FireFly 19:17:15 `marco 19:17:18 polo 19:17:24 `luarocks 19:17:31 ​ \ LuaRocks 2.0.12, a module deployment system for Lua \ \ NAME \ luarocks - LuaRocks main command-line interface \ \ SYNOPSIS \ luarocks [--from= | --only-from=] [--to=] [VAR=VALUE]... [] \ \ GENERAL OPTIONS \ These apply to all commands, as appropriate: \ \ --server= Fetch rocks/r 19:17:32 `cat bin/marco 19:17:33 ​#!/bin/sh \ echo polo 19:17:44 nice lua 19:18:20 -!- Nisstyre has joined. 19:18:27 `luarocks a 19:18:31 ​ \ Error: Unknown command: a 19:20:55 FireFly, thanks ;D 19:22:16 dal net? 19:22:19 Might try it out 19:22:58 If you're into "the other kind" of esoterica.. 19:23:01 dhalnet 19:23:43 ^_^ 19:24:12 So um, no convos are going on so... 19:24:20 ☺ 19:24:30 Anyone wanna discuss my language, help me decide what to implement next/in the future? 19:25:04 For those who missed... (github.com/jessehorne/derplang) 19:25:19 Fork and or star it pl0x :-) 19:26:01 JesseH: make a wiki article! 19:26:08 I just might! 19:26:26 Some of the design will change though so I'm afraid to go into much detail. 19:27:04 wiki articles are very important. they fend off spam and slightly embetter the SNR. 19:28:07 hi kmc 19:28:18 My sleep is messed up even on this coast. :-( 19:28:28 Taneb, where is this wiki so I can make an article 19:28:41 ...you got here from the community portal on the wiki 19:28:50 Just checking ^_^ 19:28:55 -!- MindlessDrone has quit (Quit: MindlessDrone). 19:30:38 What am I supposed to put here? http://esolangs.org/wiki/User_talk:JesseH 19:30:56 JesseH: nothing 19:31:05 ah okay 19:31:14 My dad's entering a badminton tournament... in Helsinki 19:31:39 Taneb: this may upset the balance of the universe 19:31:40 uh oh 19:31:44 I don't know where to put my article ;_; 19:31:59 http://esolangs.org/wiki/Derplang 19:32:35 oerjan: I'm not allowed to go with him because it's to do with airlines 19:32:35 ahh 19:32:36 okay 19:32:55 um...no 19:32:59 That's "Derplang" 19:33:05 My language is called "derplang" 19:33:08 Taneb: i mean hexhammers and helsinkists meeting in general. 19:33:23 oerjan: luckily, my dad is an Aussie 19:33:44 JesseH: you need to put a {{lowercase}} template on top of the article. 19:33:51 what if helsinki and hexham are the same city but they just don't realize it? 19:34:04 btw, that reminds me that I haven't seen nortti in a while. 19:34:15 olsner: that would change the geography of Europe quite significantly 19:34:28 boily: that is because I'm invisible 19:34:46 Taneb: not necessarily, there may be wormholes or something like that involved 19:34:55 nortti: I'll continue not seeing you, then. 19:35:08 or maybe hexhinki just exists in two places 19:35:08 okay oerjan 19:35:12 boily: nortti: I hope you two can remain friends 19:35:24 europe still has geography? I thought your mines became depleted some decades ago. 19:35:41 boily: they were closed for political reasons in the 80's 19:35:43 Taneb: we can. he's invisible, I do not exist. there are many common points in that. 19:36:45 how can a person talk on irc is they do not exist? 19:37:07 nortti: at least three people on this channel manage it 19:37:11 -!- oerjan has quit (Quit: nortti: Darn you got me). 19:37:19 :D 19:38:50 JesseH: why's it called derplang? 19:38:57 because...derp 19:39:10 pronounced "derpling" 19:39:11 is it derp-lang or der-plang? 19:39:27 derp-lang 19:39:42 Inspired by the derpitines of ancient rome 19:39:49 or whatever 19:41:02 `? boily 19:41:05 boily is Canadian or something. We are not sure about Canada's existence. 19:41:10 what's unique about this derplang of yours? 19:41:10 shachaf: which coast 19:41:16 ah, my status's preserved. 19:41:37 `? nortti 19:41:40 nortti boy. very nortti boy. 19:42:59 oh man, 19:42:59 `? nooodl 19:43:04 nooodl? ¯\(°_o)/¯ 19:43:20 imo shachaf/mnoqy should write this entry 19:44:02 `run echo nooooodl? ¯\(°_o)/¯ > wisdom/nooodl 19:44:09 bash: -c: line 0: syntax error near unexpected token `)' \ bash: -c: line 0: `echo nooooodl? ¯\(°_o)/¯ > wisdom/nooodl' 19:44:12 wooops! 19:44:18 tahnks bash 19:44:18 `run echo 'nooooodl? ¯\(°_o)/¯' > wisdom/nooodl 19:44:22 tahsh 19:44:49 No output. 19:44:49 Will the Contents thingy show up automatically? 19:44:56 `? nooodl 19:44:57 (of the wiki) 19:45:01 nooooodl? ¯\(°_o)/¯ 19:45:14 nice 19:45:31 JesseH: contents is either javascript and or php and or stuff going on in the background, usually. 19:45:40 O.o 19:46:24 (sometimes it tries to invoke some grotesque ritual and reach through your screen from some eldritch portal, but this is easily dispelled by hitting Ctrl-Alt-Del with you hands behind your back.) 19:46:39 (void in Nevada) 19:47:04 Someone needs to create a language, that is used for creating other languages. 19:47:20 english? 19:47:30 > create language called mixANDfix 19:47:33 Not in scope: `create'Not in scope: `language'Not in scope: `called' 19:47:33 Perha... 19:47:36 >> language created 19:47:37 lol 19:48:02 It will make up random syntax and what not. 19:48:06 `? JesseH 19:48:08 JesseH? ¯\(°_o)/¯ 19:48:19 `?`? 19:48:21 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: ?`?: not found 19:48:36 `? `? 19:48:38 See `? for further details. 19:48:46 `? nortti 19:48:47 nortti boy. very nortti boy. 19:48:50 `? for 19:48:50 D: 19:48:53 for? ¯\(°_o)/¯ 19:48:58 `? 19:48:59 ​? ¯\(°_o)/¯ 19:49:00 `? for further details 19:49:11 for further details? ¯\(°_o)/¯ 19:49:12 `? for further details. 19:49:16 for further details.? ¯\(°_o)/¯ 19:49:41 `run echo "who knows" > wisdom/for\ further\ details 19:50:09 No output. 19:50:47 `run echo "See '? for further details for futher details." > wisdom/for\ further\ details. 19:50:50 No output. 19:50:53 `run echo "See `? for further details for futher details." > wisdom/for\ further\ details. 19:51:00 bash: -c: line 0: unexpected EOF while looking for matching ``' \ bash: -c: line 1: syntax error: unexpected end of file 19:51:17 `run echo 'See `? for further details for futher details.' > wisdom/for\ further\ details. 19:51:22 No output. 19:53:49 `run echo 'See `? for further details for futher details.' > wisdom/for\ further\ details\ for\ futher\ details. 19:53:54 No output. 19:54:26 I think I unleashed a Finn onto the channel... 19:54:30 `? for further details 19:54:31 who knows 19:54:35 -!- DHeadshot has joined. 19:54:49 `? for further details for further details 19:54:50 for further details for further details? ¯\(°_o)/¯ 19:54:56 `? for further details for futher details 19:54:58 for further details for futher details? ¯\(°_o)/¯ 19:55:03 dot. 19:55:11 `? for further details for futher details. 19:55:15 See `? for further details for futher details. 19:55:40 `! for further details. 19:55:42 SEE `! FOR FURTHER DETAILS FOR FUTHER DETAILS! 19:56:20 `! FOR FURTHER DETAILS FOR FUTHER DETAILS! 19:56:23 FOR FURTHER DETAILS FOR FUTHER DETAILS!! ¯\(°_O)/¯! 19:56:32 that is some aggressive command. 19:56:41 `! boily 19:56:43 BOILY IS CANADIAN OR SOMETHING! WE ARE NOT SURE ABOUT CANADA'S EXISTENCE! 19:56:44 `which ! 19:56:46 ​/hackenv/bin/! 19:56:54 `cat /hackenv/bin/! 19:56:55 ​#!/bin/sh \ \? "$@" | perl -C7 -pe '$_ = uc' | sed -e s/[.?]/!/g -e 's/!\?$/!/' 19:56:57 it's the shouty `? 19:58:24 `! `! 19:58:26 ​`!! ¯\(°_O)/¯! 19:58:37 Perfect. 19:59:17 now we only need `¿ 19:59:46 nortti: does it substitutes chars with similar looking but 180° rotated unicode glyphs? 19:59:58 yes 20:00:10 ooooh :D 20:00:29 anyone know a perl function for that? 20:01:17 nortti: there is https://en.wikipedia.org/wiki/Transformation_of_text as a starting point. 20:02:15 kmc: east 20:02:21 ok 20:02:31 ...is there really a wikipedia article for that? 20:02:48 yes, of course 20:02:50 tomorrow i will go on the BUUUUUUUUUUS 20:02:52 hth 20:03:03 why not the traaaain? 20:03:39 um 20:03:43 i didn't plan this hth 20:09:22 `run echo 'abcba' | tr 'abc' 'ɐq ɔ' 20:09:25 ​ɐq 20:09:54 `run echo 'abcba' | tr 'abc' 'ɐqɔ' 20:09:56 ​ɐq 20:10:07 it seems I have managed to fuck up my curses yet again 20:10:19 `run echo 'abcba' | tr 'abc' 'def' 20:10:20 defed 20:10:37 `run echo 'abcba' | tr 'abc' '\3000\3001\3002' 20:10:39 ​00 20:11:01 * boily kicks HackEgo in the utf8 bits 20:12:11 `run echo 'abcdefg' | tr 'abcde' 'ɐqɔ' 20:12:13 ​ɐqɔfg 20:12:15 nortti: that curse came out alright though 20:19:24 http://esolangs.org/wiki/Derplang 20:19:29 Tell me what you guys think ;D 20:21:46 -!- oklopol has joined. 20:22:11 -!- Zerker has joined. 20:22:22 JesseH: are numbers and strings automatically coerced to eachother 20:23:00 With co? 20:23:25 Yep 20:23:36 And with the arithmetic? 20:23:44 huh? 20:23:48 Explain your questions ;D 20:23:50 Like, if I said ad:z:x:y but x and y were strings 20:24:02 JesseH: you should add a section on what's unique about your language 20:24:23 Taneb, if they are strings it won't work and will spit a lua error at you probably 20:24:48 Yep that won't work 20:25:25 mnoqy, I will eventually. ^_^ 20:25:42 ok 20:25:43 I am considering taking out the START and DONE things... 20:25:49 JesseH: would you consider an implementation inaccurate if it detected that at compile-time and didn't compile because of ti 20:26:16 I don't understand 20:26:45 JesseH = simpleton 20:28:37 basically if the compiler noticed "hey, this instruction says ad:z:x:y, but x and y aren't both declared as strings!" before even compiling the code 20:30:11 JesseH: it's bad because you haven't categorized it 20:30:13 JesseH: does 'fo' only work with single-argument commands? 20:30:16 mnoqy: How do you talk about rank-n types etc. in Haskell "categorically"? hth 20:30:33 shachaf: nice hth 20:30:53 hth is starting to transcend meaning. its just letters 20:31:10 All three of its letters are just. 20:31:31 > map Just "hth" 20:31:32 shachaf: hm 20:31:34 [Just 'h',Just 't',Just 'h'] 20:31:41 aah 20:32:12 > map Just "hth" ^.. folded._Just 20:32:16 "hth" 20:32:22 nooodl, then that would throw a lua error at you 20:32:26 what are rank-n types? I tried to follow a blog article about them, but I got lost, confused, dazzled, and other similar status effects. 20:32:32 lens is scary... 20:32:54 nooodl, yes for now, its all single argument. Must be a number. Basically it says "execute" the command with one argument x number of times. 20:33:01 nooodl: that's just an alternate way to express catMaybes 20:33:05 boily: they're just types with foralls in the wrong places 20:33:14 AnotherTest, I see a contents thing is that what you mean? 20:33:25 olsner: that I saw, and it gave me a queasy feeling. 20:33:28 Oh wait no I see AnotherTest 20:33:28 > [(1,2),(3,4),(5,6)] ^.. folded._1 20:33:31 [1,3,5] 20:33:41 > let qqq id' = (id' 5, id' "hi") in qqq id 20:33:44 No instance for (GHC.Num.Num [GHC.Types.Char]) 20:33:44 arising from the literal ... 20:33:49 -!- Zerker has quit (Quit: Colloquy for iPad - Timeout (10 minutes)). 20:33:50 "lambdabot sucks" 20:33:58 mnoqy: my bot sucks more. 20:33:59 mnoqy: ??????? that's haskell 20:34:11 So because it was apparently IMPOSSIBLE to categorize the article I have done the IMPOSSIBLE and made it POSSIBLE 20:34:18 rank 2 tyles "impossible" 20:34:22 mnoqy: GHC isn't about to infer a rank-2 type for you. 20:34:29 > let qqq id' = (id' 5, id' "hi"); qqq :: (forall a. a -> a) -> b -> b in qqq id 20:34:32 Couldn't match expected type `b -> b' with actual type `(t0, t1)' 20:34:38 > let qqq id' = (id' 5, id' "hi"); qqq :: (forall a. a -> a) -> (Int, String) in qqq id 20:34:43 (5,"hi") 20:34:48 -!- augur has quit (Remote host closed the connection). 20:35:06 oh dang I am confused on categorizing! 20:35:07 shachaf: well maybe ghc sucks!!! 20:35:32 > map (2 *) [1, 2, 3] 20:35:35 [2,4,6] 20:35:41 so my haskell is really bad 20:35:49 AnotherTest, What do you mean you havent categorized? 20:35:58 I have? 20:36:08 mnoqy: well maybe it's punishment for inventing bell peppers hth 20:36:12 JesseH: it's bad because you haven't categorized it 20:36:24 Now it's categorized 20:36:42 I did it because (10:34:10 PM) AnotherTest: So because it was apparently IMPOSSIBLE to categorize the article I have done the IMPOSSIBLE and made it POSSIBLE 20:37:19 > (0, 1) + (2, 3) 20:37:23 (2,4) 20:37:28 oh so you can add tuples 20:37:49 not in regular people haskell 20:38:25 Oh right 20:38:26 pointwise instances is a "caleskell thing" 20:38:44 nooodl: are you sure there are regular people doing haskell :p? 20:38:51 :i (,) 20:38:57 AnotherTest: great joke????? :☺) 20:39:07 :t (,) 20:39:10 mnoqy: quite serious 20:39:11 a -> b -> (a, b) 20:39:28 AnotherTest: the Haskell is regular, the people doing it are epi-regular. 20:39:30 "haskell people sure are WEIRD and SPECIAL" - ??????do people really think this???????why 20:39:33 -!- augur has joined. 20:40:14 mnoqy: because, suppose I said "hey, what do you think about Haskell?" to a random person I found on the street 20:40:27 They'd probably be like "What? Haskell? That's weird!" 20:40:52 So they surely thing it's very WEIRD and SPECIAL 20:40:57 *think 20:41:06 or they might not care, probably 20:41:37 and what about that makes haskell people weird or special 20:42:13 weird or special is not an objective property 20:42:37 in their opinion, it is is weird because it is not typical 20:42:43 because it is not like thme 20:43:40 -!- AnotherTest has quit (Quit: 2 3 5 7 11 13 ... 521 523). 20:43:48 bye 20:44:14 mnoqye. 20:53:23 -!- sebbu has quit (Ping timeout: 245 seconds). 21:02:15 -!- sebbu has joined. 21:02:46 -!- sebbu has quit (Changing host). 21:02:47 -!- sebbu has joined. 21:12:25 Goodnight, guys 21:12:47 'night Taneb 21:12:51 Tanebnight 21:12:57 night Taneb 21:13:02 -!- Taneb has quit (Quit: Leaving). 21:29:15 -!- augur has quit (Remote host closed the connection). 21:30:28 -!- DHeadshot has quit (Read error: Connection reset by peer). 21:30:29 -!- DH____ has joined. 21:39:52 -!- mnoqy has quit (Quit: hello). 21:40:48 * kmc refreshes his understanding of heap-corruption exploits 21:52:36 -!- comex has changed nick to lycomthrope. 21:53:59 -!- lycomthrope has changed nick to comex. 21:58:01 -!- ais523 has joined. 22:07:12 -!- Zuu_ has joined. 22:18:42 -!- JesseH has changed nick to NotJesseH. 22:19:14 -!- NotJesseH has changed nick to JesseH. 22:19:18 -!- DH____ has quit (Ping timeout: 245 seconds). 22:23:39 -!- DHeadshot has joined. 22:34:03 -!- SingingBoyo has joined. 22:34:36 -!- Frooxius has quit (Read error: Connection reset by peer). 22:34:57 -!- Frooxius has joined. 22:53:28 -!- epicmonkey has quit (Read error: Operation timed out). 23:05:46 -!- SirCmpwn has quit (Ping timeout: 246 seconds). 23:10:46 -!- SirCmpwn has joined. 23:24:36 -!- Zuu_ has left. 23:25:51 http://www.flickr.com/photos/martindavidsson/96160482/ paul graham keeping it classy 23:26:46 -!- augur has joined. 23:26:50 whether the people funding you respect you: important to self-esteem 23:27:23 -!- DHeadshot has quit (Read error: Connection reset by peer). 23:27:28 -!- DH____ has joined. 23:28:01 * Sgeo contemplates an alternate universe where the domain of a .js file is the domain that the file was served from 23:29:26 I think my language is becoming too useful. 23:29:29 >_> 23:33:10 Yep, might just stop development here. It does enough. ^_^ 23:38:34 link? 23:40:15 http://esolangs.org/wiki/Derplang 23:40:43 Actually no, once I get a better conditional statement, and some socket library access, ill say it's "done". 23:40:59 That way I can start working on my other ideas ^_^ 23:43:13 have you implemented this so-callend language 23:43:23 Scroll down look for the github 23:43:45 What would be the point designing a language without implementing? 23:43:47 :P 23:46:41 GitHub is 403'ing when I try to push to it :( 23:46:52 D: 23:47:53 Maybe somebody found another mass assignment bug with their roobee on reuls 23:48:55 I need two domains 23:49:07 Was thinking dropbox and github, but maybe there's another place I can use? 23:49:47 I could use Farmingdale I guess 23:49:48 Sgeo, bitbucket 23:50:07 -!- SingingBoyo has quit (Quit: Leaving). 23:50:11 Sgeo: don't listen to heretics. stay true to github! 23:50:21 Why do you need two domains 23:50:44 publish your code in a distributed proof of work block chain 23:50:49 Want to show my boss that something he said would work won't work. 23:50:53 -!- boily has quit (Quit: FOUDE!). 23:51:08 You know you can map as many domains as you want onto your local server via /etc/hosts 23:51:37 Too lazy to run a local server 23:52:11 I don't think youll die if you don't push for a few minutes 23:52:22 :P 23:55:03 -!- SingingBoyo has joined. 23:58:44 ruby on reals 23:58:54 lol 23:59:08 web framework for FRACTRAN?