00:05:18 Koen_: the former. the latter is automatic. 00:06:01 FreeFull: lambdas are sort of quoting for this purpose. 00:16:40 -!- augur has joined. 00:21:40 -!- carado has quit (Ping timeout: 245 seconds). 00:21:54 oerjan: Yeah but you can use partial application to avoid lambdas 00:22:57 need parentheses though 00:24:46 although either jot or iota manages to have just one function and left to right application give all of ski. 00:26:23 hm wait no. 00:27:45 > map id [1,2,3] 00:27:46 [1,2,3] 00:27:49 No parentheses thre 00:27:52 there* 00:28:08 jot is close except it's reverse application. 00:30:13 there's probably some set of combinators that would allow it though. 00:31:55 (also not just one function _and_ no parentheses, that was definitely a brain fart.) 00:32:38 -!- augur has quit (Read error: Connection reset by peer). 00:32:50 -!- augur has joined. 01:13:08 did you see this yet http://www.bbc.co.uk/news/science-environment-24232896 01:13:32 * oerjan is a bit lagged on his reddit catchup. 01:16:01 (it's about the first carbon nanotube computer.) 01:16:21 it's a little bit strapped for memory. 01:19:51 -!- azaq23 has joined. 01:23:32 -!- nooodl_ has joined. 01:25:33 I tried to embed ATLAST into a program but it doesn't seems to work; I get the error "This application has requested the Runtime to terminate it in an unusual way. Please contact the application's support team for more information." 01:25:38 -!- nooodl_ has quit (Client Quit). 01:27:03 Do you know what this message is? 01:27:13 -!- nooodl has quit (Ping timeout: 245 seconds). 01:27:59 zzo38: it needs to be deinitialized properly? 01:28:11 -!- ^v has joined. 01:31:28 quintopia: I see no documentation about deinitialization. 01:36:07 i see no documentation 01:36:24 The example doesn't include any deinitialization. 01:36:49 i dont know wha ATLAST is 01:37:08 -!- kmc has set topic: Ultra Pattern Recognition: Sliced Pineapple: Small Umbrella Version:: | PDF still available during construction work: https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf | http://codu.org/logs/_esoteric/ | the boily at the end of all things. 01:37:11 It is a Forth-like system for embedding into another program. 01:39:04 kmc: why this colonialism? 01:39:35 which 01:39:46 of the topic 01:40:29 Slaves to Armok: God of Blood: Chapter II: Dwarf fortress 01:41:46 why the double ending 01:42:03 -!- CADD has joined. 01:42:16 I am trying to make a programming language for text adventure games that compiles into Frolg assembly language (including support for embedding arbitrary assembly language codes, even macros), and with some other optimizations too, which other Z-machine compilers lack. I try to think of what it should be done with! Things I try don't work for some reasons. 01:43:17 Any ideas? 01:45:58 "named after a deity in dragslay, himself named for a variable named "arm_ok" that counted the number of limbs the player still had attached" 01:47:21 i assume the deity was good at decrementing that 01:49:04 Decrementing? Won't it possibly be better to keep track of which ones using a bit field (unless you have a bunch of all same limbs without sides and stuff like that, I suppose)? 01:50:33 http://www.reddit.com/r/IAmA/comments/1nbna6/oh_hai_mark_greg_sestero_mark_from_the_room_here/ 01:51:58 armok, bit twiddling your arms 01:52:33 -!- conehead has joined. 02:01:12 limbs ^= 0xFFFFFFFFFFFFFFFF; 02:02:09 kmc: i think that is a trick hindu gods like to use on themselves. 02:11:05 zzo38: Write the compiler for the language in haskell? 02:11:15 limbs >>= 6; 02:11:25 FreeFull: what? 02:11:38 oh *reads further up* 02:11:40 kmc: playing with GMP? 02:11:45 nope 02:11:51 maybe I ought to 02:11:52 hmm 02:12:02 what are these limbs of which you speak then? 02:14:28 we could tell you, but it cost you an arm and a leg. 02:14:33 *+would 02:19:01 oh I get it "*colon*ialism" 02:25:20 that costs aleg? that's alot 02:26:39 kmc: i suggest daily brain stretching 02:27:17 FreeFull: That was in fact one of my ideas; actually, making a Haskell EDSL. However even then there are a few problems (which perhaps can be worked around, though): one is the slowness of a Haskell compiler/program, another is the syntax (although it can be worked around by creating a preprocessor), one is the inconvenience of declaring unique keys (the only way I know is Typeable, and having to declare a type and instance for each one can be inco 02:28:20 zzo38: Rather than making it an EDSL, you can make it a full-fledged language 02:30:58 FreeFull: Sure, but then I would need to implement nearly everything, and it could be done just as well in C too; I was going to embed ATLAST but not only does it not work but also seems a bit too klugy. 02:31:31 zzo38: Haskell has very good parser combinators and such though 02:31:48 -!- azaq23 has quit (Ping timeout: 256 seconds). 02:31:57 I was also going to try to make it based on LYSP (a Lisp implementation), although that isn't designed to embed and it is difficult to work with a Lisp system. 02:32:17 -!- shikhin_ has quit (Read error: No route to host). 02:32:54 Also Haskell has nice LLVM bindings 02:33:18 FreeFull: O, I know those things. Still, basing it on such programmable systems can provide macro capabilities more easily, too. 02:33:49 -!- Koen_ has quit (Read error: Connection reset by peer). 02:34:05 FreeFull: I have seen those (although have never used them), but it isn't relevant here; I am not trying to compile into LLVM. I am compiling into Frolg assembly language, which in turn compiles into Z-machine code. 02:34:07 -!- Koen_ has joined. 02:34:42 -!- azaq23 has joined. 02:37:45 -!- shikhin has joined. 02:37:49 Oh, right, not native code 02:42:29 the native codes are REST-less 02:47:34 Has anyone else done text-adventure systems with Haskell? (whether it is native code or not) 02:50:16 someone has 02:50:22 @package ZMachine 02:50:23 http://hackage.haskell.org/package/ZMachine 02:52:23 That is an interpreter; not a compiler though. 02:53:02 (It also may be defective; most Z-machine interpreters are.) 02:54:03 ah. well, just take the dual, as they say. 02:55:04 For one thing that won't work here; I was looking to see if anyone had text-adventure authoring systems in Haskell (whether EDSL or not, native or not), so that I may learn how it is done. 03:01:15 -!- Koen_ has quit (Quit: Koen_). 03:15:01 See http://ifwiki.org/index.php/Z-machine_Hacks for some mention of some of the kind of optimizations and tricks which could be performed. 03:29:13 -!- ssue__ has quit (Ping timeout: 245 seconds). 03:34:29 -!- shikhin has quit (Read error: Connection reset by peer). 03:35:34 -!- shikhin has joined. 03:43:23 -!- shikhin has quit (Ping timeout: 248 seconds). 03:53:13 -!- oerjan has quit (Quit: leaving). 04:26:13 -!- mnoqy has quit (Quit: hello). 04:44:24 -!- ^v has quit (Quit: Leaving). 04:44:50 -!- clog has quit (Remote host closed the connection). 04:50:33 -!- conehead has quit (Ping timeout: 245 seconds). 04:51:49 -!- shachaf has joined. 04:52:03 oerjan: I think fungot was just trying to figure out whether a semigroup was a monoid. 04:52:03 shachaf: who's viktor yushchenko? right?). compare the ambition with what guile is today. 04:52:11 hichaf. 04:52:16 Hike 04:53:15 Semigroups aren't very strong 04:53:43 oerjan: ("finally found the one") 05:28:17 -!- ssue___ has joined. 05:28:27 A game that I liked when I was younger (but wouldn't bother with now, it's just a version of breakout) apparently is by a company that is focused on "games for Christians" 05:28:27 http://tcrf.net/Blast_Thru 05:28:38 And was originally called Bibleball 05:28:39 * Sgeo blinks 05:28:56 I made a Christian pinball game once. 05:29:23 And I still can't find a list of powerups 05:29:45 bibleballs 05:31:50 v. painful condition 05:32:06 I won a game of Pokemon Card while I had only two cards remaining in my draw pile and opponent has zero (I also picked up my last side card on the same turn). 05:33:28 Hay! Why is his name written entirely hiragana on one screen, but on this screen it is partially in kanakana and partially in hiragana? 05:33:51 Whose name? 05:33:58 zzo38: Christian pinball game? 05:34:01 TOBICHAN 05:34:44 Sgeo: Yes I made one once in Visual Pinball, although it is an old version and only works in Windows (the game itself is open-source although Visual Pinball itself is MAME license) 05:34:57 In what way was it Christian? 05:35:24 Mainly the labels on everything. 05:35:58 Both the labels and some of the rules were suggested by a catechism teacher, and then I implemented it and put in a few other things to improve it. 05:38:02 The ball saver is labeled "Forgiveness", the outlanes are labeled "Sacrifice", the bumpers are labeled "Bible", "Mass", "Prayer", "Eucharist", and "Pennance", the extra ball light is labeled "Resurrection", the drop target banks are labeled "Advent", "Christmas", "Lent", and "Easter", and there are rollover targets in the form of the sign of the cross. 05:43:05 There is a mode display to tell you how many times each bumper and sign of cross has to be hit to advance. Once it is done, the next drop target bank is available; the drop targets won't drop unless the bank is the active mode. Once all banks are dropped, you get an extra ball. 05:44:09 I made it because someone else made a pagan pinball game; therefore I should make the Christian pinball game too. 05:44:33 And then someone else suggested, if we have pagan and Christian, then perhaps there should also be the Zen pinball game, and that one would be flipperless. 05:50:57 -!- asie has joined. 06:00:17 -!- asie has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz...). 06:13:01 Someone once used the lack of Christ's second coming as an argument for the existence of other sapient life in the other solar systems. 06:16:20 -!- impomatic has joined. 06:18:30 -!- asie has joined. 06:19:51 Bruno? 06:20:17 I don't know. 06:21:13 -!- Taneb has joined. 06:33:09 I have read about catechism of Catholic church in a few different books. They say that atheism is a mortal sin, but then mortal sin is defined. There are a few variations in how it is presented, but using the three points in Wikipedia, atheism fails the second condition therefore it isn't a mortal sin, and that is contradictory! 06:34:14 "It must be committed with full knowledge, both of the sin and of the gravity of the offense (no one is considered ignorant of the principles of the moral law, which are inborn as part of human knowledge, but these principles can be misunderstood in a particular context)" 06:34:18 That one? 06:34:31 zzo38: yes, organized religion is almost always inconsistent 06:34:38 Yes, that one. 06:35:00 i don't think atheism fails that, assuming you mean the looked-at-religion-and-said-nah kind of atheism 06:35:11 (Although I am not sure that the parenthetical comment there is correct, but I will consider it irrelevant for now) 06:35:56 Bike: It does; another part of the Catholic catechism says you cannot believe unless you really do believe; being forced to believe if you don't actually believe it is worthless. 06:36:30 I mean most atheists are pretty aware that if Catholics or whoever are right and the atheist is wrong, the atheist is goin to hell. 06:37:17 zzo38: makes life extra hard for inquisitors 06:40:53 Bike: Not necessarily, and anyways that doesn't make it right. (Furthermore, if you throw dice, it comes up even, and you have to say if it is even or odd, but they say they will cut your arm off if you say it is even, that doesn't make it odd.) 06:41:16 i have absolutely no idea what you are saying and it rules 06:42:41 There is also Pascal's wager (which is that believing in God is a good bet) and the atheist's wager (the reverse); my opinion is that both are invalid. (Also, these wagers won't make you believe or not, but that isn't relevant to their validity.) 06:44:04 -!- Sgeo_ has joined. 06:46:48 -!- Sgeo__ has joined. 06:47:00 -!- Sgeo has quit (Ping timeout: 260 seconds). 06:47:44 However, I am not atheist; I am panendeist (and these beliefs have nothing to do with the wagers). However, I do not believe atheism to be a sin. I am also ignostic, so that doesn't make atheism necessarily wrong either; it is OK to be atheist if you want to, but please consider it correctly. 06:48:11 what if considering it correctly is a sin 06:49:32 -!- azaq23 has quit (Quit: Leaving.). 06:49:34 Well, I don't think so. Whether you believe in God or not, you should think of it for yourself. 06:49:49 -!- Sgeo_ has quit (Ping timeout: 260 seconds). 06:49:49 (Either way is OK, as far as I am concerned.) 06:53:05 -!- mnoqy has joined. 06:53:15 The Catholic church also calls agnosticism a mortal sin. That certainly does not meet the second condition, though. 06:54:39 In some cases it might not even meet the third condition. 07:07:50 -!- asie has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz...). 07:37:48 -!- Bike has quit (Ping timeout: 256 seconds). 07:38:40 Did you make a poll in here in case you are atheist, panendeist, or whatever? 07:39:01 See how common it is in esoteric programming. 07:39:09 can i be a pandatheist 07:39:13 i believe in pandas 07:40:02 also hugs 07:40:03 I do not think that counts??? 07:40:53 zzo38: Did you read _The Little Prince_? 07:42:15 No, I haven't heard of it 07:42:36 Really? It's one of the most famous books. 07:43:09 I didn't know that. 07:43:35 Well, one of the best-selling, at least. 07:44:09 https://en.wikipedia.org/wiki/List_of_best-selling_books says so. 07:44:17 OK 07:46:18 shachaf, zzo38, have either of you read House of Leaves? 07:46:29 I have not. 07:46:48 I have n't. 07:47:27 i believe in a thing called love 07:47:41 It is good 07:47:50 A very interesting read 07:48:26 They're called leaves because they leave the trees in the fall. Which is why it's called fall. 07:50:19 But can you build a house out of them? 08:00:40 -!- asie has joined. 08:13:56 -!- Phantom_Hoover has joined. 08:16:54 -!- epicmonkey has joined. 08:39:29 Anyone know a good algorithm for deciding the minimum nodes to remove from a graph such that it does not contain a certain graph as a subgraph? 08:40:08 Possibly specialized to a connected region of a grid 08:49:55 I don't know any such algorithm. What are you using this for? I would be interested to know such algorithm too. 08:51:12 zzo38, I am using it for a battleships AI 09:18:04 -!- carado has joined. 09:20:49 Not much science fiction on that list of books. 09:22:19 -!- shikhin has joined. 09:26:59 -!- AwfulProgrammer has quit (Ping timeout: 260 seconds). 09:30:50 zzo38, what would that algorithm even be called 09:31:11 I don't know that either. 09:32:35 I thought of a way of doing it, but it relies on the subgraph isomorphism problem 09:33:12 -!- epicmonkey has quit (Ping timeout: 256 seconds). 09:40:51 I bet that algorithm is at the very least NP-complete, if not outside of NP 09:46:13 -!- Phantom_Hoover has quit (Ping timeout: 248 seconds). 09:48:51 fungot is outside of NP. 09:48:51 Jafet: don't think this can be extremely helpful in debugging complex macros, but i think that extremes in this area 09:52:55 -!- zzo38 has quit (Remote host closed the connection). 09:54:17 -!- nooodl has joined. 10:25:06 -!- asie has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz...). 10:38:22 -!- epicmonkey has joined. 10:49:22 fungot: *You* are the extreme here. 10:49:22 fizzie: huh? fnord?) it works just fine on freedos, though. exceptions don't have to 10:54:05 -!- asie has joined. 10:56:46 -!- chairman has joined. 10:56:59 -!- impomatic has quit (Quit: impomatic). 10:59:37 -!- Taneb has quit (Quit: Leaving). 11:04:12 -!- mnoqy has quit (Quit: hello). 11:13:25 -!- MindlessDrone has joined. 11:13:59 -!- asie has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz...). 11:15:59 -!- asie has joined. 11:16:11 -!- asie has quit (Remote host closed the connection). 11:24:02 -!- AwfulProgrammer has joined. 11:24:55 -!- asie has joined. 11:27:33 -!- Ghoul__ has quit (Ping timeout: 248 seconds). 11:28:28 -!- AwfulProgrammer has quit (Ping timeout: 245 seconds). 11:32:24 -!- chairman has left. 11:33:23 -!- mnoqy has joined. 11:44:43 -!- asie has quit (Ping timeout: 260 seconds). 11:54:53 -!- impomatic has joined. 11:56:34 -!- clog has joined. 11:59:44 -!- asie has joined. 12:28:42 -!- asie has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz...). 12:43:30 -!- shikhin_ has joined. 12:44:40 -!- mnoqy has quit (Quit: hello). 12:45:37 -!- shikhin has quit (Read error: Operation timed out). 12:48:20 -!- MindlessDrone has quit (Quit: MindlessDrone). 12:48:56 -!- asie has joined. 12:53:55 -!- asie has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz...). 13:04:33 -!- ais523 has joined. 13:13:51 -!- shikhin_ has changed nick to shikhin. 13:14:56 -!- asie has joined. 13:26:26 -!- AwfulProgrammer has joined. 13:27:04 -!- Ghoul__ has joined. 13:27:05 `welcome AwfulProgrammer 13:27:11 AwfulProgrammer: 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.) 13:27:16 `welcome Ghoul__ 13:27:18 Ghoul__: 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.) 13:37:37 -!- mnoqy has joined. 13:38:06 -!- sebbu2 has changed nick to sebbu. 13:46:15 -!- yorick has joined. 13:55:13 -!- wuhg1 has joined. 13:56:10 -!- mnoqy has quit (Quit: hello). 13:58:53 -!- mnoqy has joined. 14:04:59 -!- epicmonkey has quit (Remote host closed the connection). 14:05:51 -!- wuhg1 has quit (Ping timeout: 245 seconds). 14:05:55 -!- epicmonkey has joined. 14:26:37 -!- Phantom_Hoover has joined. 14:57:20 -!- asie has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz...). 14:59:39 fizzie: I got the reverse DLL imports working on Windows 15:00:05 it's less flexible than in Linux; the difference is that on Windows, if you're importing a symbol, you need to know which executable or library you're importing it from 15:00:16 whereas on Linux, you just have dependencies and imported symbols and there doesn't need to be a correlation 15:01:11 but the technique I used is simpler than either yours or the one recommended by Microsoft: I just create an import library directly from each set of object files (which doesn't require their dependencies to be in place), followed by creating libraries/executables from the object files, linking against the import ibraries 15:01:16 *libraries 15:29:39 -!- mnoqy has quit (Quit: hello). 15:38:22 -!- asie has joined. 15:41:41 "checking how to print strings... printf" 15:41:52 now I'm scared as to why configure even thought of checking that 15:41:58 and what result it expected to find 15:42:12 I guess it might be shell printf rather than C printf, that'd be a little snaer 15:42:14 *saner 15:42:22 -!- Taneb has joined. 15:42:53 "checking how to print strings... print -r" says Google, so that sounds likely. 15:46:52 I'm compiling SDL2 from source 15:47:07 because it's not packaged yet 15:49:38 I dropped my glasses this afternoon and they bent and actually fit better now 15:52:12 Also, I'm tempted to start a "Taneb's crazy maths facts" blog 15:52:18 Need a short name for it 15:53:47 Phantom Hoover's crazy maths facts 15:54:33 Nah 15:54:54 I... I think I've just registered mathsfacts.tumblr.com 15:55:24 Taneb: because all the porn names were taken? 15:55:47 Yeah 15:56:29 Taneb, what does it MEAN 15:56:56 WHO KNOWS 15:57:45 i knew a guy who does a maths facts blo 15:57:46 g 15:57:54 perhaps you could crib some facts off him 15:58:05 Phantom_Hoover, I've got the first three or so sorted 15:59:20 what are they 15:59:37 Spoilers 15:59:42 Wait for me to upload them 15:59:44 One by one 16:00:02 -!- zzo38 has joined. 16:01:34 `? tanebventions 16:01:36 Tanebventions include D-modules, automatic squirrel feeders, the torus, and Go. 16:01:56 I am quite prolific, it seems 16:02:11 I'm going to be talking about the torus in maybe the fourth or fifth post 16:02:23 what made you think of inventing an automatic squirrel feeder? 16:02:39 so the first three are D-modules, Go and automatic squirrel feeder math? 16:02:40 hmm… at my secondary school, there used to be a squirrel that lived inside the ceiling of the Library 16:02:52 oh what the fuck, chrome removed the 'previously closed tabs' button? 16:03:00 and sunbathed under the fluorescent light-bulbs from time to time 16:03:10 all so i could have a google search bar on the new tab page 16:03:24 you know, to go with the one that doubles for an address bar 16:03:26 the person in charge of the building used to catch it with traps baited with Bounty bars and release it in the nearby forest 16:03:31 but it tended to find its way back 16:04:07 (I live quite close to the edge of Birmingham, and the school I went to was even closer; you could find fields with cows in within a minute's walk from it) 16:04:27 wasn't there a time when google weren't pissing away all their goodwill trying to build a social media empire 16:05:45 yes 16:06:24 Taneb, STILL NO FACTS 16:06:36 Phantom_Hoover, I'M MAKING CUTE LITTLE GRAPHICS 16:06:46 GRAPHICS < FACTS 16:06:54 GRAPHICS + FACTS > FACTS 16:07:04 GRAPHICS > 0 16:07:09 THUS FAR THERE IS NEITHER 16:07:19 WAIT 16:07:24 BE PATIENT MY CHILD 16:17:20 I'm older than you you idiot 16:24:11 -!- asie has quit (Quit: Textual IRC Client: www.textualapp.com). 16:31:51 -!- asie has joined. 16:34:52 -!- yorick has quit (Remote host closed the connection). 16:46:46 Phantom_Hoover: previously closed tabs are in the menu now 16:46:54 I just use Ctrl+Shift+T 16:49:51 -!- Koen_ has joined. 16:50:01 -!- epicmonkey has quit (Ping timeout: 245 seconds). 16:56:13 elliott, what if i don't want the last one i closed... 17:11:30 -!- nooodl_ has joined. 17:14:30 -!- asie has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz...). 17:14:48 -!- conehead has joined. 17:14:50 -!- Bike_ has joined. 17:14:52 I think would be better address bar, that URLs entered are treated as relative by default; other commands entered there (such as search) start with a colon (no separate search bar is needed), and starting with :/ can abbreviate for file:/// 17:15:03 -!- nooodl has quit (Ping timeout: 256 seconds). 17:15:51 zzo38: normally if I want to open an HTML file on my own filesystem, I give it as an argument to the web browser 17:15:57 (And on Windows you can use a single letter and : to automatically expand to a file: URL, since no URI schemes have just one letter, I think; even if it is, using a letter and :\ can unambiguate it) 17:16:01 rather than entering it in the address bar 17:16:10 unless I'm using it often enough that it's worth bookmarking 17:16:12 ais523: Yes, but maybe it is already open 17:16:18 -!- Bike_ has changed nick to Bike. 17:16:27 actually, my homepage on Epiphany is /tmp/t.html 17:16:41 which is the name I use for temporary HTML files that I've just generated from some other source 17:17:03 (I use too many different browsers, probably) 17:17:26 I use about:blank as the homepage 17:35:58 -!- asie has joined. 17:37:29 About the embeding programming language, well although ATLAST doesn't work I know that Pico-C works since I have used it before, so I can use that 17:37:31 -!- MindlessDrone has joined. 17:47:27 /huge/ advantage for darcs over git: "darcs recor" is accepted, "git commi" isn't 17:49:47 We don't like git commies around here 17:50:08 I'm on the IWC forum for the first time inaaaaages 17:51:42 inaaaaages isn't here Taneb 17:56:20 Oh sorry, wrong channel 18:07:53 this train has a sign which says "PLEASE BECOME FAMILIAR WITH THESE SIGNS" 18:08:24 INTIMATELY FAMILIAR 18:08:30 carnally 18:09:40 kmc: there's something similar on the trains in the UK 18:10:02 i want to put stickers of cthulhu symbols and such on it 18:10:46 How can you understand to become familiar with the sign that says "PLEASE BECOME FAMILIAR WITH THESE SIGNS" if you don't know how to read English signs? 18:11:11 zzo38: you could ask someone to translate 18:11:22 I think all the signage on Caltrain is in English only 18:11:25 maybe some Spanish 18:11:40 VTA (Silicon Valley) light rail and buses have English, Spanish, and Vietnamese 18:12:04 oh, another git gripe: the command for staging a new file is the same command for staging changes to an existing file 18:12:18 you can generalize that to "every command does four unrelated things" 18:12:22 meaning that you can't use a tab-complete that only completes the names of new files 18:12:33 ah I hadn't thought of that drawback 18:27:09 TANEB i want some MATHS FACTS 18:28:03 SEVEN PLUS TWELVE IS NINETEEN 18:28:15 FORTY IS THE ONLY NUMBER WITH ITS LETTERS IN ALPHABETICAL ORDER 18:28:33 FOUR IS THE ONLY NUMBER WHOSE NUMBER OF LETTERS IS ITSELF 18:29:08 A SQUARE NUMBER PLUS TWICE ITS SQUARE ROOT PLUS ONE IS THE NEXT SQUARE NUMBER 18:29:50 How is that for you, Phantom_Hoover 18:30:27 well the last is fun, the rest are shit 18:30:32 My nephew came up with a Korg Monotron patch that sounds like a fart and found it immensely hilarious. 18:31:59 that's fantastic 18:33:08 Phantom_Hoover, you didn't ask for /fun/ ones 18:34:00 They keep playing DEFENDER which turns out to be to *my* advantage. (I can also take advantage of opponent's resistance sometimes in similar way) 18:34:52 huh http://www.wps.com/J/codes/ claims that x^y for exponentiation comes from x↑y, ASCII 1963's ↑ having been replaced with ^ 18:35:00 -!- ais523 has quit (Ping timeout: 252 seconds). 18:35:29 -!- zzo38 has quit (Remote host closed the connection). 18:38:26 -!- Koen_ has quit (Read error: Connection reset by peer). 18:38:46 -!- Koen_ has joined. 18:41:04 git add --update, the guy which is now gone 18:42:19 Also, sounds like he needs a .gitignore 18:43:44 -!- shikhin_ has joined. 18:46:48 -!- asie has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz...). 18:46:54 -!- shikhin has quit (Ping timeout: 264 seconds). 18:50:40 -!- ais523 has joined. 18:54:15 -!- shikhin_ has changed nick to shikhin. 18:56:52 Hmm, I'm not happy with the voice I'm using for Lady Bracknell 18:57:46 hm? 18:58:37 reynir, I'm trying to do a one-man radio adaptation of The Importance Of Being Earnest 18:59:58 Lady Bracknell is a very... thingy character 19:00:02 Dameish 19:00:43 interesting project 19:02:18 for actual radio 19:03:31 Phantom_Hoover, scarily yes 19:04:28 -!- asie has joined. 19:11:33 -!- Taneb has quit (Quit: Leaving). 19:13:32 -!- clog has quit (Remote host closed the connection). 19:13:55 -!- azaq23 has joined. 19:16:51 My gf's professor is claiming that interpreters read line-by-line, while compilers read all at once 19:17:19 that's a common place to draw a distinction 19:17:47 another one is whether they actually execute the code directly or turn it into some other representation 19:17:52 there's no single definition 19:18:57 almost every "interpreter" does some sort of preprocessing though 19:19:13 producing bytecode or at least a parsed syntax tree 19:19:34 though also, a lot of things that might be considered simple file format parsers can also be seen as interpreters, and maybe more of those are line-by-line? 19:19:50 it's really hard (and pointless) to draw a sharp line between interpreters and compilers 19:20:14 such is classes. 19:20:22 one definition is to say that a compiler should halt even given a program which doesn't halt 19:21:48 super compilers don't always, I think 19:22:07 And if there's no such thing as a program that doesn't halt in the language? 19:22:19 then you go back to "really hard (and pointless)"? 19:24:49 Sgeo__: AFAIK Pascal is specially designed so that the compiler only has to do one pass 19:24:56 C too 19:25:42 I still really want stageless Haskell, where you have something like (Typeable a) => Q Exp -> IO (Maybe a) available to compile Template Haskell ASTs at runtime 19:25:42 do any modern compilers actually do that 19:25:58 Q? 19:26:03 it's the Template Haskell monad. 19:26:53 catchy name 19:28:07 Bike: I don't think so, C compilers are mad about optimising as much as is possible 19:28:13 I think it's named after the Star Trek character 19:28:25 does TCC do more than one pass? and is it considered "modern" 19:28:26 -_- 19:28:34 and most importantly, when will someone write a Haskell compiler named THC 19:28:48 a good idea 19:29:02 I fear you are begging the question with your definition of "modern" (itt I go out of my way to use the phrase "begging the question" 'correctly', thus impeding linguistic progress) 19:29:40 oh i just meant like, not written for a PDP 19:35:11 -!- nisstyre has quit (Quit: Leaving). 19:46:32 -!- mnoqy has joined. 19:50:41 Um 19:50:52 Has lambdabot gone insane, or is oerjan looking at my ? operator again 19:51:14 lambdabot: are you insane 19:52:04 "oerjan said 10m 22d 23h 20m 48s ago: You realize ? must have the property a ? (a+k) = a+(k+1) for all natural numbers k? (also you have to decide whether it should work left or right associatively," 19:52:09 10m 22d ago? 19:52:20 months, days 19:52:35 Oh, I was thinking minutes 19:52:42 Why is lambdabot just delivering this to me now? 19:53:19 maybe he sent it to sgeo__ and not sgeo, and you haven't been sgeo__ for a while 19:53:27 thank god we don't just use memoserv, huh 19:54:50 -!- oerjan has joined. 20:02:01 -!- asie has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz...). 20:02:02 -!- carado has quit (Ping timeout: 264 seconds). 20:02:43 -!- nisstyre has joined. 20:17:52 -!- MindlessDrone has quit (Quit: MindlessDrone). 20:26:42 -!- clog has joined. 20:34:30 -!- CADD has quit (Quit: leaving). 20:39:12 -!- epicmonkey has joined. 20:45:32 there's a co�p down the road from my new flat <-- mine too! 20:46:12 it's even newer than the flat 20:47:55 technically, down the pedestrian walkway across the railway crossing bridge. 20:48:53 * oerjan has had a membership card for many years. 20:49:47 also it's obviously not the same coop as in britain, although they did try to unite with the other nordic ones for a while, but i think they gave up on that. 20:52:00 https://en.wikipedia.org/wiki/Coop_Norden 20:53:04 There are all kind of coops. There's one in Switzerland and one in Italy too. 20:53:57 the norwegian one didn't used to be called coop until that nordic merger, but it didn't return the old name afterwards. 20:55:04 hm wait that's chronologically incorrect, they renamed 2 years before the merger. 20:55:21 Perhaps Phantom_Hoover was talking about, say, a chicken coop instead. 20:55:48 i don't think so, he wouldn't have called that socialist. or would he? 20:56:06 Oh, I didn't see that part. 20:56:21 -!- conehead has quit (Ping timeout: 252 seconds). 20:56:38 chickens are instinctive marxists 20:57:11 i don't think a pecking order is a classless society, Phantom_Hoover 20:58:20 Also, you can use ctrl-shift-T repeatedly to get tabs farther back. 20:58:30 Then you can just re-close the ones you didn't want to re-open. 20:59:01 I knew that. 21:04:44 -!- epicmonkey has quit (Ping timeout: 256 seconds). 21:11:45 also, Phantom_Hoover and atehwa need to fix their encoding 21:12:44 -!- nooodl_ has changed nick to nooodl. 21:12:54 `? nooodl 21:12:57 noooodl is the correct spelling 21:13:33 hœrjan 21:13:49 nooodl: why aren't you using extra o's instead of _'s 21:14:18 noooodl is reserved for my ipad! 21:14:25 ic. 21:14:40 There’s still plenty of space for more os. 21:14:40 just like ais523_ is reserved for wired connections, nowadays 21:14:57 What about nodl? 21:15:01 ndl 21:15:38 ndl is my three letter acronym thing i use in arcadey games and stuff 21:15:59 now that i think about it "ooo" would be a good one too 21:16:01 oh well at least you have a system. 21:16:22 my nick eventually condenses down to just the 5, under more and more character pressure 21:16:34 is that like http://responsiveurl.co.uk/responsive/dont/forget/url/ 21:17:53 i'm sometimes ^ on another irc server 21:18:36 is that the nooodliest character? 21:18:49 i would think ~ if not ~ 21:18:50 ~ is pretty noodley 21:18:59 ~ is noodlier :o 21:19:13 𝀈 21:19:25 ≈ 21:19:29 But what is the noodliest? 21:19:42 ∾ 21:19:54 ᔓ 21:19:57 ion: what was yours? 21:19:59 first one I mean 21:20:12 was it 'STEAMING BOWL' (U+1F35C) (also, eww) 21:20:20 kmc: U+1D008 21:20:49 http://en.wikipedia.org/wiki/Biangbiang_noodles#Unicode 21:20:51 `ord 𝀈 21:20:52 118792 21:21:00 麪 21:21:39 `file bin/ord 21:21:41 bin/ord: Bourne-Again shell script text executable 21:21:53 `cat bin/ord 21:21:55 ​#!/bin/bash \ echo "$@" | perl -C7 -pe 'chomp; $_ = join(" ", map { ord } split //, $_);' 21:22:23 also are you all excited for the newly released Unicode 6.3.0 http://www.unicode.org/versions/Unicode6.3.0/ 21:22:30 i know about this because I follow Unicode Consortium on twitter 21:22:51 there are five new characters: ARABIC LETTER MARK, LEFT-TO-RIGHT ISOLATE, RIGHT-TO-LEFT ISOLATE, FIRST STRONG ISOLATE, POP DIRECTIONAL ISOLATE 21:22:59 Does it add BLACK FROWNING FACE? 21:23:03 no :( 21:23:13 the main thing is they changed the bidi algorithm 21:23:34 they also added standardized variation sequences for all 1,002 CJK compatibility ideographs 21:23:38 whatever the hell that means 21:27:16 does POP DIRECTIONAL ISOLATE mean the algorithm is actually stack-based now 21:27:43 they already had POP DIRECTIONAL FORMATTING 21:27:52 hm 21:27:52 "terminates the effects of the last explicit code (either embedding or override) and restores the bidirectional state to what it was before that code was encountered" 21:28:06 "the maximum explicit depth is level 61" 21:28:18 so, any esolang based on the Unicode bidi algorithm? 21:28:38 61 is a lot of levels just to put letters in order 21:29:32 I wonder what ARABIC LETTER MARK is for and what happens if i put it by something that is not an ARABIC LETTER 21:30:24 kmc: you will be arrested by the U+1F89D UNICODE POLICE 21:30:42 kmc: then that symbol becomes absorbed into the Umma forever. 21:30:44 :D 21:31:35 sorry, *Ummah 21:31:57 at least it's better thank khadafy 21:31:59 I wonder if there has been any serious attempt to provide a simpler alternative to Unicode, from people who actually understand why Unicode is so complex 21:32:01 *than 21:33:02 there's probably no need because a) keeping the Universal Character Set would make sense in any case, and b) the other stuff (bidi, normalization, East Asian Width) gets "simplified" already by people just not bothering to implement it correctly 21:33:29 how about https://github.com/aheui/aheui.github.io/blob/master/_posts/2006-10-27-specification.en.markdown 21:34:28 awesome 21:34:51 both interpreter links are 404 tho :( 21:34:53 oerjan: I think fungot was just trying to figure out whether a semigroup was a monoid. <-- i do not remember what you refer to. 21:34:54 oerjan: wrote a perl-oneliner ( in the plt matcher? :p. 21:35:16 oerjan: That's why I clarified a couple of lines down. 21:35:37 shachaf: i _still_ don't remember. 21:35:47 kmc: go write one 21:36:11 eh 21:37:12 shachaf: now i checked, and i think you have confused me with olsner 21:37:12 btw I only know of one programming language which specifies a Unicode normalization form for identifiers etc. 21:37:26 since hangul characters have those separate parts, I think the language should use a different part of each letter depending on which direction the instruction pointer is traveling 21:37:41 23:23:17: apparently fungot "finally found the one", so I'm happy for 'em either way 21:37:41 shachaf: but i remember a submarine!! everybody out of the stated sample, a woodchuck would chuck no amount of money. if you 21:37:48 23:24:01: itt fungot admits to using cliches 21:37:48 shachaf: if you can 21:37:57 in other languages you can probably make distinct variables named "coöp" and "coöp" which could be fun 21:38:18 kmc: can't rust do that? 21:38:29 yeah Rust is the one language I am thinking of 21:38:29 shachaf: I don't remember the context for that 21:38:43 > let coöp = 1; coöp = 2 in coöp + coöp 21:38:44 :1:18: lexical error at character '\776' 21:38:46 lambdabot: h8r 21:38:46 shachaf: i don't think i was responding to the line you quoted. 21:38:48 source is normalized to NFKC 21:38:53 oerjan: OKAY 21:39:07 I haven't checked that rustc implements this rule properly 21:39:27 * kmc -> afk 21:40:13 kmc: is there a difference between rust the language and rust the thing rustc implements 21:51:13 They're called leaves because they leave the trees in the fall. Which is why it's called fall. <-- i don't seem to find confirmation of the first part. 21:51:34 kmc: Python identifiers are also normalized, as it's based on UAX #31 identifiers: http://www.python.org/dev/peps/pep-3131/ 21:52:48 Fall vs autumn 21:52:48 Go 21:52:52 oerjan: http://vidasegunda.blogspot.com/2008/10/my-favorite-season.html 21:54:14 shachaf: good, good. linguistics as referenced on wiktionary does not seem to agree, though. 21:55:46 imo linguistics as referenced on common decency doesn't agree with two spaces after a period 21:55:48 btw en:fall/autumn = no:høst = en:harvest (v imper.) 21:56:19 is = transitive? 21:56:25 no. 21:56:40 * impomatic is searching for the Simtel archive. There must be a mirror still online... 21:57:11 en:autumn = pl:jesień = en:autumn 21:57:13 Today you learned 21:57:20 it is, alas, my solemn fate to challenge the hangups of those who insist on one space after periods. 21:58:09 Clearly periods should have four spaces after them 21:58:17 And shouldn't be called periods 21:58:27 spaces should have four periods after them 21:58:53 ....yes 21:58:59 also no:vår means both en:spring and en:our but that's probably more of an accident. 21:59:03 Well, ....obey ....your ....own ....rules! 21:59:19 -!- ^v has joined. 21:59:46 the last two seasons are obvious cognates. 22:00:01 I wonder what the etymology of sv:skörd (= en:harvest) is, if the scandinavian languages don't agree 22:00:31 disagree on the word to use, I mean 22:01:29 Oh, from 'skära' (cut). That makes sense, I suppose. 22:02:39 Harvest originally comes from keirō, “to cut off” according to wiktionary 22:03:15 hmm, so harvest and skörd are cognates then? 22:03:29 Not necessarily 22:03:36 FreeFull: um that's not how you read that etymology. 22:03:44 Isn't keiro a cognate? 22:03:58 It's getting sort of early-autumny here -> https://dl.dropboxusercontent.com/u/113389132/Misc/20130929-au.jpg <- that's taken today. 22:04:17 It seems to come from PG *harbistaz (meaning autumn/fall) 22:04:22 it's a cognate, but harvest no more comes from it than humans descend from modern monkeys. 22:05:38 So that makes harvest cognate with höst (and høst) 22:05:40 what if i do descend from modern monkeys 22:05:44 oerjan: Oh, I missed the middle of it 22:05:55 Harvest comes from kerp/skerp apparently 22:06:13 *kerp/*skerp I mean 22:07:45 while skörd would be from (s)ker- which is close but not exactly the same. maybe they're related even further back. 22:07:55 *+* 22:08:56 shachaf: if you say so. 22:09:09 It all gets fuzzier the further back you go in time 22:09:21 What if shachaf descends from modern monqis? 22:09:39 Who knows what what those ancient people spoke sounded like 22:09:40 mnoqy: is shachaf your son 22:09:57 um 22:10:36 mnoqy is not a modern monkey 22:10:40 or any other kind of monkey 22:10:43 why would you even say that 22:11:14 shachaf: ask FireFly 22:11:17 shachaf: What kind of monkey did you descend from? Spider monkey? 22:12:06 a monkey was bitten by a radioactive/genetically engineered/nanobot infested spider 22:12:52 a monqi once bit my sister 22:12:53 it now leaps from internet forum to internet forum using its powerful sticky web 22:13:04 oerjan: Actually, it was the other way around 22:13:08 The monkey bit the spider 22:13:20 shocking 22:13:56 mnoqy: you shouldn't stand for this 22:14:15 -!- nisstyre has quit (Ping timeout: 256 seconds). 22:14:50 shachaf: i'm sorry, the monkey and mnoqy theories are entirely separate. linguists have been unable to determine with certainty which word applies, though 22:15:06 `? monkey 22:15:08 monkey? ¯\(°_o)/¯ 22:15:11 `? monqy 22:15:13 The friendship monqy is an ancient Chinese mystery; ask itidus21 for details. 22:15:15 `? mnoqy 22:15:17 mnoqy used to be monqy before the earthquake. 22:15:59 `? monqi 22:16:01 monqi? ¯\(°_o)/¯ 22:16:17 Clearly I didn't intend mnoqy to be dragged into this 22:23:13 `? FireFly 22:23:15 FireFly was a short-running but well-loved sci-fi TV series released in 2003, starring Nathan Fillion and directed and written by Joss Whedon. 22:24:16 `quote porn 22:24:21 26) pikhq: A lunar nation is totally pointless. ehird: consider low-gravity porn fungebob: OK. Now I'm convinced. \ 49) Porn. There, see? \ 92) I am an inherently pornographic being. \ 111) reading playboy for the articles actually seems plausible nowadays after all, 22:25:02 `quote taken.*porn 22:25:04 881) That's the problem with Tumblr All the porn titles are taken by non-porn people 22:25:04 i don't get 49 or 92 22:25:34 you expect porn to make sense? 22:25:52 good point 22:26:26 quotes don't have to make sense to be in `quote 22:26:40 but there has to be some justification 22:27:08 `addquote I... I think I've just registered mathsfacts.tumblr.com Taneb: because all the porn names were taken? Yeah 22:27:12 1110) I... I think I've just registered mathsfacts.tumblr.com Taneb: because all the porn names were taken? Yeah 22:27:21 oerjan: good quote addition :) 22:28:38 just needed to check for the context first. 22:29:09 `quote tumblr 22:29:09 -!- nisstyre has joined. 22:29:10 881) That's the problem with Tumblr All the porn titles are taken by non-porn people \ 1045) would not be surprised to find out this tumblr is guerilla marketing by wolfram co to sell mathematica to stoners \ 1110) I... I think I've just registered mathsfacts.tumblr.com Taneb: because all the porn names were 22:29:44 the porn quotes outnumber the tumblr quotes by quite a margin. 22:30:16 yes 22:30:26 mathsfacts.tumblr.com is empty 22:30:41 15:59:42: Wait for me to upload them 22:30:41 15:59:44: One by one 22:31:01 oh, wait, that quote is recent 22:31:04 in fact you just added it 22:31:08 just now 22:31:11 DUH 22:31:31 FUN FACT: that quote is quite recent 22:32:41 fun fact 0 = 1 22:34:02 fun fact 0 = -144 22:34:12 fun fact shachaf = ion 22:34:29 | fact n = n * fact (n - 1) 22:35:03 fun fact Z̢̨̺̟̝͙͍̤̦͖͍̤̮̳̗̭̣̣͋̉ͭ̑͑̃͋ͧͨͥͦͣ̾̇̓ͧ̔̈́̚Á̸̔ͤ͊̉ͭ͒ͪ̚҉̶̵͎͎͓̻͎͕͍̫̪͈ͅL͌̔̾̌ͬ͏̶̻̲̰̺͎͍̯͈̺͙͚̣̻̫̥͔Ǵ̛̅̃̾̈́ͮ̎̅҉̡͕̺̫̟̗́Ő̧̝̟̩͉͙̼̮͉̝̣͈̳͚̅͑̑̓͗̚̚͜͞ͅ 22:35:16 that fact wasn't very fun ion :( 22:35:19 wat 22:35:32 -!- Taneb has joined. 22:35:33 `ord _̣̣_͍̫̪͈_̫̥͔_̟̗_ 22:35:34 95 803 803 95 845 811 810 840 95 811 805 852 95 799 791 95 22:35:46 :) 22:35:50 mathsfacts.tumblr.com is empty 22:36:14 shachaf, oerjan, that's because maths makes no sense 22:36:21 also we need the reverse command of `unicode 22:36:30 Taneb: if i wanted sense i would have gone to mathssense.tumblr.com 22:36:34 Taneb: i went to mathsfacts.tumblr.com 22:36:37 Fair enough 22:36:38 Taneb: i demand maths facts 22:36:43 Taneb: have you given up blogging about it 22:36:49 oerjan, I have yet to begin 22:37:06 Taneb: https://en.wikipedia.org/wiki/Khinchin%27s_constant is a p. good maths fact imo 22:37:07 I probably shouldn't have told anyone until I had one published 22:37:22 I think I prefer it this way 22:37:29 Taneb: TOO LATE 22:37:29 fun fact: most natural numbers have the digit 7. 22:37:33 how's the BF derivative tumblr getting along? 22:37:45 ion: and a large proportion start with 1 22:38:07 (whereas only one starts with 0) 22:38:33 I see what you did there. 22:39:18 I'd prefer to say what we write as "0" should be written "". 22:39:33 exactly _how_ large a proportion is tricky to define, though, i think. 22:39:59 oerjan, I think it's roughly 10% of them? 22:40:06 Taneb: it's more than 10% 22:40:13 -!- augur has quit (Remote host closed the connection). 22:40:32 Taneb: fraction which starts with 1 of {1, ..., n} does not converge. 22:40:34 Is it? Wow, that's a lot of numbers 22:40:35 although yeah, the exact amount depends heavily on what definitions you use 22:40:38 because it doesn't converge 22:40:59 I've seen figures as high as like 40% 22:41:29 I reiterate my statement: Wow, that's a lot of numbers 22:42:04 fun fact: the sum of all positive n^(−2) is π²/6 22:42:08 whenever n=999999999... it is close to 10%, but when n=199999... it will be close to 55% 22:42:08 there are a lot of numbers in general 22:42:21 i think those are the extremes 22:42:41 or wait 22:42:48 hmm, now I'm remembering what happened when the article on 0.999.... was featured on Wikipedia 22:42:50 ion, what's that in tau 22:42:58 not 10%, 11.1111...% 22:43:00 there was a flame war about whether it's equal to 1 or not all day on the Talk page 22:43:05 Taneb: tau squared over 24 22:43:05 and the other needs adjustment too 22:43:11 Right 22:44:39 converting between tau and pi is pretty easy, really 22:45:54 ais523: i expect that flame war did not end up with any useful citations for the "not equal" POV 22:45:57 Yeah, I'm just too tired right now 22:46:11 oerjan: I didn't read it 22:46:16 just got amused by its existence 22:46:41 ais523: failing at _both_ math and wikipedia policies, simultaneously? 22:46:48 *at understanding 22:46:58 ? 22:47:25 the people posting in that thread 22:47:54 there was a flame war about whether it's equal to 1 or not all day on the Talk page 22:48:00 how are there even arguments about that 22:48:25 Phantom_Hoover: I don't think it's productive to ask "how is it even possible that some people misunderstand X on the Internet", for any X 22:48:44 after seeing "how do u write uploader comments" in a YouTube comment, pretty much anything is possible 22:48:52 no but on wikipedia 22:49:26 Phantom_Hoover: which is just as publicly accessible as YouTube? 22:50:04 well surely wp's perspective is 'every academic agrees with this unless they're being a smartarse' 22:50:37 Phantom_Hoover: actually a common row on Wikipedia is "should you place more attention on the scientific/academic point of view because it's scientific/academic" 22:51:45 I wasn't involved in that, but several people cited issues related to that as the reason for leaving the site 22:52:29 I'm older than you you idiot <-- the years you've been insulting everyone don't count 22:52:45 so i assume you're about 11 or 12. 22:53:16 well not counting the years you weren't dumb you're like 7 22:53:54 that's pretty close, my dad estimates 8 22:54:19 Phantom_Hoover: why do you insult everyone 22:54:20 Phantom_Hoover, I thought you were a few months younger? 22:54:24 it's mostly just an unpleasant thing to do 22:54:25 (disclaimer: may not have measured the exact same thing) 22:54:31 Like it goes me --> you --> elliott 22:55:32 it might 22:55:35 (it does) 22:55:54 But you're weird (scottish) and went to uni too early 22:56:06 we're just more intellectually developed like that 22:56:09 Taneb: am i weird 22:56:34 shachaf, you're Finnish American which I assume is perfectly normal 22:56:43 the scots get an intellectual advantage by not bothering with things like politeness, maybe? 22:57:11 hey, I don't like seeing regulars insult each other 22:57:13 should i stop now, or ten minutes ago. 22:57:15 if you're enjoying the flame war, go on 22:57:20 but only if both of you are enjoying it 22:57:36 it mostly just seems like pointless posturing, though 23:04:37 FORTY IS THE ONLY NUMBER WITH ITS LETTERS IN ALPHABETICAL ORDER <-- COOL 23:04:53 (also what does it say about me that i checked this in my head) 23:04:55 That of course only applies in the english language 23:05:43 hey, I don't like seeing regulars insult each other 23:05:48 how does it work in Norwegian? 23:05:51 i'm not insulting anyone with any malice! 23:05:54 oerjan: that's not a maths fact :'( 23:06:40 Phantom_Hoover: I suspect a lot of people have stopped caring about your intent a long time ago. 23:07:11 ais523: 1 = en/ei/ett is the only example i can find, although curiously all genders work :) 23:07:38 Phantom_Hoover: that's why I asked you/oerjan to drop the subject, rather than treating you like you were actually being malicious 23:07:41 Oddly, in English "One" is in reverse alphabetical order 23:07:56 (also that's the only number which is gendered in norwegian, except combinations including it) 23:08:14 oerjan: I think the Hebrew for "four" is also the only number that's its own number of letters long. 23:08:18 One Thousand is the first number with an 'a' in it if you don't count the "and"s 23:08:19 coïncidence? 23:08:30 coin-cidence 23:08:39 yeah, good diaeresis 23:08:57 oh norwegian has several for that 2 = to, 3 = tre, 4 = fire 23:09:00 Taneb: one half? 23:09:12 oerjan: it should continue the pattern indefinitely >:( 23:09:22 -!- Phantom_Hoover has quit (Quit: Leaving). 23:09:33 ais523, first natural number, then 23:09:41 Counting from "zero" 23:09:50 Which I believe is the only number with a z in it 23:10:41 ais523: SORRY 23:10:46 What about twenty-zero and thirty-zero and so on? 23:10:53 zerteen? 23:11:09 `numberwang 0 23:11:11 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: numberwang: not found 23:11:14 !numberwang 0 23:11:21 "twenty-zero" sounds like a zzoism to me 23:11:25 I like "zerteen" 23:11:34 (well, I like zzoisms in general, but I wouldn't normally actually /use/ them) 23:11:47 The Zzo is Silent 23:11:52 -!- augur has joined. 23:12:15 ais523: zzoist 23:12:33 zzo38 uses them better than I do 23:13:08 -!- azaq23 has quit (Ping timeout: 240 seconds). 23:14:35 `run quote zzo38 | shuf 23:14:38 859) Yes I am native English speaker, but it is Canadian English, not British English. \ 824) The reason it isn't more popular is because I wrote it today. \ 1077) If you want to ask me if I believe in determinism then you have to be more specific. I haven't checked if I conduct electricity significantly better than 23:23:35 hmmm, does someone know of some article that could help me choose which type of self-balancing search tree is the best-suited for a task? 23:25:47 There is actually a maths fact now! 23:26:30 that's almost not a fact :'( 23:26:49 it's more like a definition of ... imo 23:27:52 It's a fact 23:28:02 Otherwise it wouldn't be on mathsfacts.tumblr.com 23:28:10 quid pro quo 23:28:45 Also do you know how hard it was to get that photo of the rice? 23:29:34 -!- augur has quit (Remote host closed the connection). 23:30:49 14 hard? 23:31:05 imo don't cry over spilled rice 23:31:17 -1/12 hard? 23:31:33 Taneb: rice more goes with the 1 + 2 + 4 + ... + 2^64 story, me thinks 23:32:00 oerjan, I didn't have any beans 23:32:13 But that was the allusion I was making 23:32:14 OKAY 23:32:42 also, 1 + 2 + 4 + ... = -1, obviously. 23:32:51 ==oerjan 23:33:02 shachaf, I had to pour the rice onto the table, take the picture, then pour the rice back into the jar! 23:33:12 At half 1 in the morning! 23:33:19 Wait 23:33:21 I've drifted 23:33:22 https://en.wikipedia.org/wiki/P-adic_number 23:33:26 At half 12 in the morning! 23:33:33 6 in the morning? 23:33:41 Precisely! 23:48:06 -!- nooodl_ has joined. 23:49:44 -!- augur has joined. 23:50:51 -!- nooodl has quit (Ping timeout: 245 seconds). 23:57:15 Goodnight 23:57:45 night 23:57:48 -!- Taneb has quit (Quit: Leaving).