00:00:21 I love the overuse of the love meme 00:01:36 -!- sebbu has quit (Ping timeout: 256 seconds). 00:03:41 sgeo......no........ 00:04:43 Sgeo_: Don't do it. 00:13:41 I love ellipses 00:14:01 SGEO_. 00:14:14 would you smoke around someone who's trying to quit smoking? 00:14:24 would you say hi to monqy? 00:15:01 -!- Jafet has joined. 00:15:31 Fiora: Are you studying to be a language lawyer? 00:15:39 ummmm I'm just curious really! 00:15:45 there's so much I don't know about C 00:16:21 Did you know: The standard allows argc==0, *argv==NULL? 00:16:40 You must be reading the wrong standard then, shachaf. 00:16:51 Jafet: I was reading C89 and C99. 00:16:59 Which one should I be reading? 00:17:09 c99 is so last millenium 00:17:13 K&R doesn't allow that. 00:17:18 The one that makes your program work. 00:17:19 But who pays attention to K&R? 00:17:33 argc == 0? XD 00:17:46 is argv[0] equal to program name a system convention, or C convention? 00:17:58 i would guess posix, that seems like it'd be out of scope of C 00:18:32 Fiora: Try it out! 00:18:38 You can segfault quite a lot of programs in /usr/bin/ with it. 00:19:03 sa 00:19:04 *XD 00:19:08 I wonder if you can pass envp = 0. 00:20:06 I think the best you can do is *envp = 0 00:21:05 Lots of programs will just use envp[0] as argv[0] on Linux. 00:27:50 -!- sebbu has joined. 00:28:01 Fiora: Exercise: Make up a case where a program not checking for argc==0 can lead to a security vulnerability. 00:28:16 does execve on real systems allow argc=0? 00:28:17 (I couldn't come up with a realistic one. Segfaults are easy but not useful.) 00:28:21 Yep! 00:28:24 At least on Linux. 00:28:34 Hence the segfaults I mentioned earlier. 00:29:10 Even on some suid binaries. 00:29:51 if you set up a signal handler, does it get overwritten when you execve? 00:30:07 I would generally hope so. 00:30:23 Yeah, it would be a little insane if it didn't 00:31:21 it would be so easy 00:32:18 man execve mentions signal handlers (or rather "dispositions", I haven't really used signals) are reset. doesn't mention posixness or nuthin 00:57:49 Macro parameters cannot have line numbers in GNU C so I instead used various things to make it work; this involves redefining macros that are already defined and using mismatched parentheses. (This is for a puzzle game called "Brains&Flags") 00:59:05 zzo38: What's the game? 01:02:37 -!- epicmonkey has quit (Ping timeout: 272 seconds). 01:04:49 Is isn't written enough yet that you can look at it! 01:05:28 But it sort of resembles a cross between Hero Hearts and Magic: the Gathering, although there are also some things like chess and so on. 01:08:02 -!- Phantom_Hoover has quit (Remote host closed the connection). 01:12:12 -!- azaq23 has joined. 01:50:44 -!- TeruFSX2 has joined. 01:52:23 -!- TeruFSX has quit (Ping timeout: 252 seconds). 01:54:28 -!- TeruFSX has joined. 01:58:00 -!- TeruFSX2 has quit (Ping timeout: 276 seconds). 01:59:17 -!- TeruFSX has quit (Ping timeout: 248 seconds). 02:03:39 -!- TeruFSX has joined. 02:05:58 -!- augur has quit (Remote host closed the connection). 02:08:21 -!- TeruFSX has quit (Ping timeout: 248 seconds). 02:09:13 -!- impomatic has quit (Ping timeout: 264 seconds). 02:14:14 -!- TeruFSX has joined. 02:24:59 `echo wett: ahoy 02:25:01 wett: ahoy 02:29:06 -!- SirCmpwn has quit (Quit: ZNC - http://znc.in). 02:34:05 -!- monqy has quit (Quit: hello). 02:35:00 -!- SirCmpwn has joined. 02:36:33 -!- FreeFull has quit (Ping timeout: 240 seconds). 02:38:31 -!- FreeFull has joined. 02:40:11 -!- zzo38 has quit (Remote host closed the connection). 02:41:40 -!- TeruFSX has quit (Ping timeout: 248 seconds). 02:42:25 -!- FreeFull has quit (Read error: Connection reset by peer). 02:43:00 -!- DHeadshot has joined. 02:43:28 -!- FreeFull has joined. 02:44:12 -!- TeruFSX has joined. 02:55:05 -!- FreeFull has quit (Ping timeout: 252 seconds). 02:56:57 -!- FreeFull has joined. 03:00:05 There is a piece of code in Pharo that starts 03:00:06 false ifTrue: 03:01:11 false ifTrue: [self flag: #nominallyUnsent:] "So that this method itself will appear to be sent" 03:02:01 can clojure do that? 03:04:58 Have an actual reason to do (if false ...)? 03:04:59 -!- augur has joined. 03:05:14 I don't really understand the reason. 03:06:03 I think it's so that the IDE thinks that there exists a piece of code that sends nominallyUnsent: 03:06:47 -!- WeThePeople has joined. 03:08:03 -!- FreeFull has quit (Ping timeout: 240 seconds). 03:14:34 -!- Sgeo_ has quit (Read error: Connection reset by peer). 03:14:57 -!- Sgeo has joined. 03:15:05 -!- FreeFull has joined. 03:21:18 -!- oerjan has joined. 03:28:09 -!- FreeFull has quit (Ping timeout: 255 seconds). 03:29:27 * Sgeo wonders if Squeak looks any less horrible these days 03:30:13 ih. Theme still sucks but it's less... horrible, I guess? http://static.squeak.org/screenshots/world_color.png 03:30:40 -!- Bike_ has joined. 03:30:41 -!- FreeFull has joined. 03:30:56 Sgeo: looks like Java 03:32:32 -!- Bike has quit (Disconnected by services). 03:32:34 -!- Bike_ has changed nick to Bike. 03:39:55 Haskell doesn't seem to have a power function that takes a ratio as the index 03:40:16 > 2 ** (1/3) -- what's wrong with this? 03:40:17 1.2599210498948732 03:40:29 the "index"? 03:41:41 shachaf: if a program does something like while (--argc) { ... } 03:41:49 then for argc == 0, the loop will execute many times 03:41:51 what's wrong is FreeFull isn't actually here 03:41:55 kmc: Yes. 03:41:59 This is pretty common. 03:42:12 also it will eventually signed-integer-underflow which is UB 03:43:56 least you can mostly fix it by moving two characters. 03:44:38 UB is sufficient to be bad but not sufficient to be exploitable. 03:45:21 `list 03:45:21 Taneb atriq Ngevd Fiora nortti alot 03:45:44 char *buf[256]; int main(int argc, char *argv[]) { if (argc > 256) abort(); while (--argc) buf[argc] = *(argv++); } 03:46:25 That's a bit too convoluted for my taste. 03:47:02 it doesn't seem that convoluted and could probably be made less convoluted and longer 03:47:27 what do you usually get on x86 GNU/Linux when you read past the end of argv? 03:47:34 you get a NULL pointer and then envp entries, yeah? 03:49:09 -!- FreeFull has quit (Ping timeout: 248 seconds). 03:49:25 Yes. 03:49:33 > minBound `div` (-1) :: Int 03:49:34 *Exception: arithmetic overflow 03:50:53 > minBound `div` 0 :: Int 03:50:54 *Exception: divide by zero 03:50:55 -!- FreeFull has joined. 03:51:08 FreeFull: FOCUS 03:51:20 FreeFull! You have four seconds to explain what the "index" of an exponentiation is! 03:51:30 TOO LATE 03:52:46 i expect it means the exponent, since that is the one where you cannot use a ratio with all the haskell operators 03:52:46 and there are plenty of cases where an attacker partially controls the environment of a setuid binary, aren't there 03:53:22 Sure. 03:59:08 also the long loop itself could be a security vulnerability, a DoS 03:59:21 if a setuid program has higher rlimits than you do, or acquires a privileged lock or something 03:59:42 I suppose. 03:59:55 ooc, what do you find convoluted about my example? 04:01:34 Mostly that I looked at the argument parsing of a bunch of programs and didn't see anything that looked much like that. 04:01:49 But it's probably less convoluted than I thought. 04:02:00 Oh, there are some programs that do malloc() based on argc. 04:02:19 That could be promising, if they then try to copy into a buffer. 04:03:37 For example Dalvik does this. 04:04:05 https://github.com/android/platform_dalvik/blob/master/dalvikvm/Main.cpp#L154 04:07:17 In this case it's probably also not exploitable. 04:10:59 -!- FreeFull has quit (Ping timeout: 246 seconds). 04:11:34 "Java stopped working with 32-bit browsers, and Chrome never became 64-bit. Which is kind of terrible in itself." 04:11:37 What's this about? 04:12:27 How should I know? You pasted it. 04:12:45 Is that person actually being accurate, or delusional? 04:12:55 (About no more Java for 32-bit browsers) 04:13:06 -!- FreeFull has joined. 04:18:07 -!- FreeFull_ has joined. 04:19:03 -!- FreeFull has quit (Ping timeout: 276 seconds). 04:23:07 -!- FreeFull has joined. 04:24:12 -!- FreeFull_ has quit (Ping timeout: 264 seconds). 04:28:31 ah yeah, they do essentially malloc(sizeof(foo) * (argc-1)) 04:28:45 which will be a classic malloc size overflow if argc==0 04:28:54 shachaf: you should write a level based on argc==0 and submit it to IO! 04:29:21 -!- ais523 has quit. 04:30:16 kmc: I'd submit one to your CTF! 04:30:27 Weren't you going to make one? 04:30:55 i was going to do a different thing 04:31:03 Oh, the cryptography thing? 04:32:34 no 04:32:39 the devious code contest 04:32:48 Oh, that too. 04:33:11 Hmm, there's actually a lot of overlap between CTF levels and underhanded code contest submissions. 04:33:51 i was never planning to run a CTF by meself 04:36:13 -!- FreeFull_ has joined. 04:37:45 -!- azaq23 has quit (Quit: Leaving.). 04:38:55 -!- FreeFull has quit (Ping timeout: 276 seconds). 04:44:20 -!- FreeFull_ has quit (Ping timeout: 248 seconds). 04:46:41 -!- FreeFull has joined. 05:08:58 200 000 000 × 0.01% = goatse 05:12:43 -!- TeruFSX has quit (Ping timeout: 276 seconds). 05:14:53 -!- FreeFull has quit (Ping timeout: 252 seconds). 05:17:34 -!- FreeFull has joined. 05:22:37 -!- azaq23 has joined. 05:40:49 -!- FreeFull has quit (Ping timeout: 252 seconds). 05:43:42 -!- FreeFull has joined. 05:50:13 -!- FreeFull has quit. 06:19:14 -!- copumpkin has quit (Ping timeout: 256 seconds). 06:19:45 -!- copumpkin has joined. 06:23:04 -!- ogrom has joined. 06:29:56 -!- DHeadshot has quit (Read error: Connection reset by peer). 06:30:02 -!- DH____ has joined. 06:41:34 -!- Taneb has quit (Quit: Leaving). 06:42:34 -!- epicmonkey has joined. 06:49:17 http://andrew-hoyer.com/experiments/entropy/ 06:53:53 -!- copumpkin has quit (Ping timeout: 252 seconds). 06:54:23 -!- copumpkin has joined. 07:04:21 -!- carado has joined. 07:04:28 that site has so high entropy it doesn't load 07:04:44 it's pretty, in a web 3.0 way, which is more than most esolangs get 07:08:47 -!- carado has quit (Ping timeout: 246 seconds). 07:16:43 Loads just fine for me 07:20:33 -!- WeThePeople has quit (Quit: Leaving). 07:25:52 seems you could easily keep bits using Techniques. 07:31:48 -!- epicmonkey has quit (Ping timeout: 248 seconds). 07:33:28 -!- azaq23 has quit (Quit: Leaving.). 07:34:43 There was a TV program about "glitch art" I happened to glance at a while ago. 07:34:55 It registered quite high on the old pretentiometer. 07:55:22 -!- augur has quit (Read error: Connection reset by peer). 07:55:50 -!- augur has joined. 07:59:56 -!- Bike has quit (Quit: sleep). 08:38:54 -!- epicmonkey has joined. 08:47:00 -!- sebbu has quit (Ping timeout: 248 seconds). 08:50:41 1F46B MAN AND WOMAN HOLDING HANDS 08:50:42 x (restroom - 1F6BB) 09:03:19 -!- carado has joined. 10:08:28 -!- ogrom has quit (Ping timeout: 276 seconds). 10:08:33 -!- oerjan has quit (Quit: leaving). 10:10:50 -!- ogrom has joined. 10:13:10 -!- Phantom_Hoover has joined. 10:15:49 -!- md_5 has changed nick to md_5|away. 10:18:13 -!- ogrom has quit (Ping timeout: 276 seconds). 10:24:28 -!- ogrom has joined. 11:09:56 -!- DH____ has quit (Read error: Connection reset by peer). 11:10:18 -!- DHeadshot has joined. 11:13:41 lol. i saw this spacechem solution for an easy level that took like 100k cycles 11:13:56 and i thought of a better way to do it, plus found a level i could implement it on 11:14:11 the cycle counter changed to say +INF before the first molecule was 1/3 of the way to the output 11:14:13 :O 11:14:28 i'm gonna let it run overnight and see if it keeps an actual count 11:42:28 -!- DHeadshot has quit (Read error: Connection reset by peer). 11:42:38 -!- DHeadshot has joined. 11:43:18 `list 11:43:22 Taneb atriq Ngevd Fiora nortti alot 11:43:40 (from a few hours ago) 12:02:14 -!- DHeadshot has quit (Read error: Connection reset by peer). 12:13:20 I should really go back to sleep 13:07:52 -!- ogrom has quit (Ping timeout: 276 seconds). 13:15:55 -!- boily has joined. 13:34:09 I wish Smalltalk was more like Snit 14:35:07 i wish my stomach was more like full 14:52:02 So Maru is the minimal parts that you need in order to "bootstrap" a VM for a language (what you like) at runtime. 14:52:02 So if you read his "js implementation" it starts by defining some low level semantics (at runtime) - then add a bit on those - then suddenly it starts running "js" so to speak. 14:52:02 So Maru defines the js runtime dynamically when it starts. 14:52:02 This means that the "VM" is purely dynamic and can reconfigure itself during runtime for different languages. 14:58:35 * Sgeo goes to read http://www.dynamic-languages-symposium.org/dls-06/program/media/IanPiumarta_2006_OpenExtensibleDynamicProgrammingSystems_Dls.pdf 14:58:35 -!- augur_ has joined. 15:03:10 -!- Fiora_ has joined. 15:03:32 -!- atehwa_ has joined. 15:06:12 I have no idea what's going on 15:07:10 -!- comex` has joined. 15:07:48 -!- carado has quit (*.net *.split). 15:07:48 -!- augur has quit (*.net *.split). 15:07:48 -!- Fiora has quit (*.net *.split). 15:07:48 -!- atehwa has quit (*.net *.split). 15:07:50 -!- comex has quit (*.net *.split). 15:10:55 -!- carado has joined. 15:11:25 -!- carado has quit (*.net *.split). 15:12:32 -!- carado has joined. 15:27:48 http://yle.fi/uutiset/finnish_silence_can_be_golden_says_american_expert/6454371 15:28:34 finnish snow can be golden too 15:31:08 ebin 15:49:48 -!- Nisstyre has quit (Quit: Leaving). 15:50:55 Lumpio-: ebin? 15:51:07 -!- impomatic has joined. 15:51:07 5/5 15:56:06 -!- ogrom has joined. 16:01:03 Do not eat the yellow snow. 16:01:44 spödre sparderer 16:03:44 "The sauna is also a place where Finns do not normally engage in a lot of conversation --" I don't really know if that has been my experience. Though it does say "normally". 16:14:23 -!- Taneb has joined. 16:14:37 Sgeo: my situation got worse 16:15:03 Hang on 16:15:04 -!- Taneb has quit (Client Quit). 16:16:00 -!- Phantom_Hoover has quit (Ping timeout: 260 seconds). 16:16:29 -!- Taneb has joined. 16:34:15 -!- Phantom_Hoover has joined. 16:34:34 Phantom_Hoover: help 16:34:39 ho3 16:34:42 *how 16:34:50 Rescue my computer 16:34:57 From the clutches of something 16:34:57 what is the matter upon for guidance for which to me you turn 16:35:18 After last night's graphics card kerfuffle, I now cannot seem to launch a GUI 16:35:23 you maybe should ask elliott about that 16:35:39 he is after all closer and can free it with less commuting 16:37:10 what card etc. 16:38:04 Some form of nVidia, turns out not what I thought 16:40:37 Ubuntu 12.04, 304 experimental drivers 16:41:46 i should point out right now that i know nothing about this 16:43:22 Hence why I've also asked in #nvidia 16:46:26 ...and recieved no response so far 16:48:33 Taneb: I've had multiple problems with various bêta nVidia drivers in the past. I don't know how easy it is to downgrade them on ubuntu, but that usually did the trick on my old machine. 16:48:41 bêta 16:48:56 boily: the problem is ridiculous already 16:49:03 Basically, I had a bootleg graphics card 16:49:06 elliott: my French's slipping again :p 16:49:07 Well, I still have it 16:49:22 Taneb: bootleg card? that's possible? 16:49:26 Yeah 16:49:32 I bought it from a dodgy chinese website 16:49:44 It's a few models older than it pretends to be 16:50:23 So I decided to switch to the 310 driver 16:50:35 But that doesn't support what the card actually is 16:50:58 So, after confusing everyone in #ubuntu-steam and #nvidia, I downgraded to 304 16:50:59 Taneb: there's this reply here that says 12.04 doesn't support legacy drivers, if that's relevant: http://askubuntu.com/questions/148688/getting-unity-3d-working-on-legacy-nvidia-card 16:51:09 Huh 16:51:15 It worked before, I'm sure 16:51:17 (reply meaning the second one) 16:51:39 And also I have no idea how to open links from irssi 16:52:31 I use nouveau drivers for my nvidia 16:53:24 in summary, it says the old 173 and 96 branches aren't supported on 12.04, and that you have to build them manually. 16:53:46 Yeah, I'm trying to use the 304 branch 16:54:57 -!- ais523 has joined. 17:01:34 Futuerjan: I saw your edits on the Fueue article 17:01:35 :) 17:08:45 -!- sirdancealot7 has quit (Read error: Connection reset by peer). 17:11:12 -!- Bike has joined. 17:12:37 I'm getting increasingly tempted to upgrade to 12.10 to see what happens 17:13:11 Taneb: I'm using Ubuntu 12.10, I like it 17:13:22 there are some annoying bugs, though 17:13:57 ais523: more annoying than not having a GUI? 17:17:44 Taneb: no 17:17:53 do you not have a GUI on your current OS? 17:19:15 Graphics card issues 17:19:20 I have no idea what's going on 17:26:11 -!- sebbu has joined. 17:28:06 did you try to remove the drivers and reinstall the "stable/supported" ones provided by ubuntu (or a ppa) ? 17:28:34 Multiple times 17:28:37 Gonna try again 17:29:07 -!- epicmonkey has quit (Ping timeout: 248 seconds). 17:30:16 -!- Vorpal has joined. 17:30:35 I would remove the new drivers, purge any remaining files of them, reinstall the kernel and install the drivers provided by ubuntu/ppa 17:35:03 -!- sebbu has quit (Ping timeout: 272 seconds). 17:39:57 -!- FreeFull has joined. 17:45:54 -!- sebbu has joined. 17:52:49 -!- FreeFull_ has joined. 17:55:26 -!- FreeFull has quit (Ping timeout: 256 seconds). 18:00:55 -!- deneb has joined. 18:03:03 -!- Taneb has quit (Quit: leaving). 18:03:06 -!- FreeFull has joined. 18:05:09 -!- FreeFull_ has quit (Ping timeout: 248 seconds). 18:08:33 -!- deneb has left. 18:16:18 maru was mentioned in #squeak 18:25:31 -!- atehwa_ has changed nick to atehwa. 18:41:04 * tswett vi NFU_typed_forcibly.v 18:43:37 -!- epicmonkey has joined. 18:50:51 -!- Deewiant has quit (Read error: Operation timed out). 18:51:09 -!- Deewiant has joined. 19:11:09 -!- FreeFull has quit (Ping timeout: 252 seconds). 19:11:57 -!- Taneb has joined. 19:13:36 Phantom_Hoover, you'll be relieved to know that my computer is working again! 19:13:46 c00kiemon5ter, thanks 19:14:00 well that's a relief 19:36:40 Today, for some reason, me and some friends were talking about how Insane Clown Posse seem to only have one song 19:38:21 Then it turns out we were all thinking of different songs 19:44:27 -!- TeruFSX has joined. 19:48:22 oh you mean the song where they rap some bullshift on a background of nothing of interest 19:49:45 bull<< 19:50:09 fizzie: 'pretentiometer' is a great word, thanks 19:50:14 so my job is to write articles about things called subshifts 19:50:26 guess how many times i've almost written that subshit 19:50:35 *almost left that in as 19:51:21 also a guy who used to work at the uni before me (who has the same name as me) - presumably accidentally - left it as subshit in his phd. 19:51:39 somewhere like page 50 so no one will ever know but anyway 19:51:43 There's more than one oklopol? 19:52:05 no i'm referring to the pseudonym i go by in real life 19:52:25 Oh that one 19:52:33 I think I picked a pretty cool one of those 19:52:44 nathan? 19:52:54 Nathan van Doorn 19:52:57 oh right 19:53:00 I sound like a supervillain 19:53:02 yes that's pretty damn awesome 19:53:12 And it literally means "He gave from the house of Thor" 19:53:29 wanna switch names 19:53:48 my name means some forest shit 19:53:50 What's your name 19:54:26 `list 19:54:28 TUMBLR update 19:54:29 Taneb atriq Ngevd Fiora nortti alot 19:54:36 (No new comic) 19:54:58 Hehe, I'm half the list 19:55:07 ville salo 19:55:09 ville means nothing 19:55:31 http://www.mspaintadventures.com/storyfiles/hs2/05739.gif 19:56:10 That's what I imagine shachaf doing whenever I post Homestuck in another channel 19:56:15 XD 19:56:45 Taneb................................ 19:57:01 Maybe I should get the ~u hoodie. Sometimes I scare myself with how much I can imagine being that character 19:57:29 so i put some lemon in my milk 19:57:34 for no apparent reason 19:57:38 it was horrible 19:57:39 o_O 19:57:44 curdled? 19:57:56 yes 19:58:26 Sgeo: calliope? 19:58:38 Fiora_, the other cherub 19:58:42 (Trying to avoid spoilers) 19:58:48 the other one is scaryyy 19:58:51 and creepy 19:58:56 you don't seem very creepy 19:59:16 I feel like a creep sometimes 19:59:24 I think I have creeped people out in the past 19:59:40 I creep people out all the time 20:00:10 Might be because I'm 6 foot tall and quite quiet on my feet 20:00:37 I don't know, competing with the other cherub sounds a little difficult 20:00:38 -!- dessos has changed nick to who. 20:00:54 -!- who has changed nick to dessos. 20:01:14 Sgeo: yes actually you are such a creep. you are stalking me with homestuck updates. you creep 20:01:34 Little does he know... 20:01:44 -!- ogrom has quit (Quit: Left). 20:05:24 i love updates 20:05:26 they are so easy 20:05:34 (oopse) 20:06:12 Theory: shachaf actually reads Homestuck but he doesn't want anyone to know because he cosplays Nepeta and is embarrassed 20:06:15 shachaf, you should start evoling stuff 20:06:37 i like this theory 20:09:17 I like it too 20:09:25 bike can be meulin 20:09:41 good excuse to learn ASL. 20:10:13 and grow my hair out, i guess 20:10:54 your fluffyhair probably would actually look like that grown out too 20:14:27 :33 < don't be prepawsterous, Taneb. your theory n33ds work 20:16:00 I was thinking the other day about categories 20:16:11 categories: so easy?? 20:16:12 And how they're not much like gory cats 20:16:18 Even though they sound sort of similar 20:18:11 :33 < you sound almeowst purrfect shachaf! his theory is purrfectly fitting. 20:18:29 :33 < you catpun to make a wonderfurl nepeta too 20:18:40 ^rot13 catpuns 20:18:41 pngchaf 20:18:59 hmmmmmmmmmmmmmmmmmmmmmmmm 20:19:10 .... 20:19:35 ^rot13 gifchaf 20:19:36 tvspuns 20:19:58 ^rot13 jpegchaf 20:19:58 wcrtpuns 20:20:56 i love fitting theories 20:20:58 it is so easy 20:22:14 :33 < meowbe you should make it a habit! 20:23:03 imo Fiora_ is a much better candidate for this 20:23:21 Fiora_: You grew an _. You should have it removed before it's too late. 20:23:28 I haven't seen conclusive proof that Fiora_ and shachaf aren't the same person 20:23:29 oh no. 20:23:32 you're right :< 20:23:33 -!- Fiora_ has changed nick to Fiora. 20:23:42 Fiora___________________ 20:23:44 fixedies 20:24:02 `welcome Fiora_ 20:24:04 Fiora_: 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.) 20:24:36 have we ever seen fiora and shachaf in the same roo- oh, we have. 20:25:17 We have? 20:25:27 Taneb: maybe shachaf has DID? 20:27:25 maybe Fiora is the Canadian counterpart to shachaf? 20:27:39 Fiora is Canadian? 20:27:47 Fiora: I thought you were from New Zealand.. 20:27:49 s/.$?/ 20:27:51 Ugh. 20:27:57 ... I'm from southern california... 20:27:59 That should be s/.$// 20:28:03 close enough. 20:28:14 southern canadafornia 20:28:18 southern canadafiora 20:28:29 i was in southern california once 20:28:31 twice 20:28:33 three times?? qed 20:28:45 In fact I was there just a few months ago. 20:28:47 difference 1 between here and canada: it doesn't get cold 20:29:02 @localweather Fiora 20:29:02 Unknown command, try @list 20:29:23 it's 25C right now 20:29:30 It's 10°C here. :-( 20:29:30 (this is a lot warmer than it's been lately, actually, so this is a little unusual) 20:29:33 C++ 20:29:35 now it's 26C 20:29:43 -13°C here. 20:29:52 it's uh 20:29:55 usually it's ~10-15C 20:29:56 Poor boily. 20:30:05 -1 C here apparently 20:30:06 Are you in Finland? 20:30:12 (I googled "weather in hexham") 20:30:38 shachaf: minimum -22 tonight, going to hit around -26 next thursday. 20:30:44 oh, it's actually above freezing here, weird. 20:30:57 http://en.wikipedia.org/wiki/Wikipedia:Lamest_edit_wars#The_weather_in_London 20:31:00 elliott: http://www.thefuckingweather.com/?where=hexham&unit=c 20:32:45 http://en.wikipedia.org/w/index.php?title=Special%3ALog&type=delete&user=&page=The+weather+in+London&year=&month=-1 oh wow, it's beautiful. 20:32:53 Bike: apparently "I CAN'T FIND THAT SHIT" 20:33:01 nor can most mortals 20:33:02 Fiora++ for being American and using °C, by the way. 20:33:05 Bike++ too? 20:33:19 Peer pressure, man. 20:33:24 F is weird 20:33:36 I pretty much always use metric 20:33:37 Usually I'd use Rankine, but the fucking weather doesn't support it. 20:34:00 though it's frustrating sometimes since like 80% of the time it goes like this 20:34:08 K and R are convenient because you don't have to type °?!?! 20:34:13 "fiora how tall are you 156cm *person puts 156cm into wolfram alpha to convert to feet*" 20:34:28 gonna be honest, i have no head for cm. 20:34:41 For me it goes 20:34:43 -!- dessos has left. 20:34:54 I thought Fiora was French 20:35:06 What is going on 20:35:16 "shachaf how tall are you uh i have no idea let me look at my identification card thing????? oh it's in feet" 20:35:17 wow, fiora. where aren't you from? 20:35:21 hexham? 20:35:30 -!- DHeadshot has joined. 20:35:46 Fiora is probably just from Helsinki. 20:35:52 Bike: do you actually use rankine 20:35:56 `? helsinki 20:35:58 helsinki? ¯\(°_o)/¯ 20:36:01 What! 20:36:06 oerjan: Fix this immediately. 20:36:18 elliott: no, i use rømerjan. 20:36:31 `? finland 20:36:32 Finland is a European country. There are two people in Finland, and at least nine of them are in this channel. Corun drives the bus. 20:36:37 why do people think I'm from all these weird places @_@ 20:36:40 `? Helsinki 20:36:40 Helsinki? ¯\(°_o)/¯ 20:36:45 `? Canada 20:36:46 Canada? ¯\(°_o)/¯ 20:36:49 shachaf: @tqbf says "If you’re interesting in ~30 crypto breaking exercises, mail sean@matasano.com and he’ll get you started (he’s more responsive than me)" 20:36:49 beuh... 20:36:53 `? the US 20:36:54 The US is the country opposed to the THEM. 20:37:00 i don't really understand if this is just open to anyone or what 20:37:03 Fiora: It's hard to remember someone's true location when they're from somewhere weird like Kiribati. 20:37:12 @google Kiribati 20:37:12 haha 20:37:13 http://en.wikipedia.org/wiki/Kiribati 20:37:13 Title: Kiribati - Wikipedia, the free encyclopedia 20:37:15 is fiora from kiribati? 20:37:16 What's it like in Kiribati??? 20:37:20 kmc: Did you? 20:37:22 o_O 20:37:24 yeah it sounds nice 20:37:34 kmc: I think it's probably open to anyone. 20:37:42 well, in a few years kiribati's probably gonna sink, so you'd better take advantage of being in kiribati as much as possible 20:37:58 I thought Kiribati was in Finland 20:38:09 ok this isn't funny any more, everyone knows Fiora is really from ullapool 20:38:21 have not emailed yet 20:38:22 Fiora: If you sink I won't be able to attend your funeral because Kiribati is really far away, sorry. 20:38:36 elliott, also because the funeral will be underwater 20:38:50 i just noticed it 20:38:51 Phantom_Hoover: that's kind of a positive in my book 20:38:52 'tis the true highland way 20:38:57 don't YOU want an underwater funeral 20:39:02 «The name Kiribati is the local pronunciation of "Gilberts", derived from the main island chain, the Gilbert Islands, who in turn were named after the British explorer Thomas Gilbert» ok, that's... kind of amazing 20:39:12 aye, 'tis the true highland way 20:39:57 I need to remember a more nowhere island sometime, Kiribati has a few too many people I think. 20:40:06 The problem is they all have ridiculous names. 20:40:14 Palau? 20:40:26 South Georgia? 20:40:33 Canada? 20:40:41 'I went to look for a PHP example but stopped when I found rand() used as a stream cipher in a popular framework.' 20:40:43 the pitcairn islands? 20:40:45 I hear Fiora lives there 20:40:59 henderson island 20:41:04 réunion? 20:41:14 Hmm, what was that barely-existing island I knew the name of once. 20:41:43 Remember how you were going to be from Antarctica? http://en.wikipedia.org/wiki/Bellingshausen_Station 20:42:12 http://en.wikipedia.org/wiki/File:Antarctica,_pollution,_environment,_Russia,_Bellingshausen_4.JPG great scenery imo 20:42:21 Bike: That church is pretty good. 20:42:23 kmc: You should do it and tell me how it goes! 20:42:50 oh, or Mestersvig, for the other side of the world. 20:43:09 agh, what's that city in russia called 20:43:13 yeah maybe i will 20:43:15 the one that's a complete shithole 20:43:24 Vladivostok? 20:43:28 Mirnansk? 20:43:36 Shitholegrad 20:43:38 no 20:43:43 "As of the 2000 census, Point of Rocks had a total population of three" i love these articles. 20:43:43 Moscow? 20:44:24 guys does wikipedia have like a globe 20:44:24 Norilsk! 20:44:25 Kompletskaya Shitholegrad 20:44:27 where you can click countries 20:44:28 That's the one. 20:44:31 oh I guess I'll just go to google maps 20:44:37 and try and zoom in on fuck all 20:44:38 there's wikimapia 20:44:47 http://en.wikipedia.org/wiki/List_of_places_with_fewer_than_ten_residents 20:45:09 Phantom_Hoover: yes, that's the one 20:45:14 hey kiribati is on that list 20:45:24 http://en.wikipedia.org/wiki/Wikipedia:Articles_for_deletion/List_of_places_with_fewer_than_ten_residents 20:45:26 embarras. he he he :D 20:45:27 oh no 20:45:28 it's threatened 20:45:35 no!!! 20:46:06 Phantom_Hoover: I like the idea of a place called "Several of the Line Islands". 20:46:21 man 20:46:23 I live in several of the line islands 20:46:26 that article needs deletion, really 20:46:28 each time i read about norilsk 20:46:34 ais523: I think *you* need deletion. 20:46:35 the happier i am that i'm not from norilsk 20:46:38 elliott: no you don't 20:46:38 -!- KingOfKarlsruhe has joined. 20:47:09 Bike: by the way, you're now on my list of people to track down and drag along with me to Antarctica some day. 20:47:21 who else is on that list 20:47:43 Phantom_Hoover: you, for one. 20:47:48 elliott: cool. did you know for shipping they have to use piers made of ice 20:48:10 Bike will be the expert on antarctica 20:48:54 okay so 20:48:58 i went to wikimapia per Bike 20:49:03 -!- Frooxius_ has joined. 20:49:05 and found a tiny little nowhere that looked like it might be it 20:49:07 zoomed in 20:49:12 thought aw yeah this looks remote maybe it's it 20:49:15 turns out it's hawaii 20:49:18 i am not very good at this 20:50:10 Phantom_Hoover: re norilsk, it could be a lot worse: http://en.wikipedia.org/wiki/File:Military_Vehicle,_Lorino.jpg 20:50:17 (caption: "Transport in Lorino") 20:50:21 elliott: i love hawaii 20:51:03 -!- Frooxius has quit (Ping timeout: 260 seconds). 20:51:29 elliott, easter island¬ 20:51:45 Phantom_Hoover: Easter Island is cool but no it was more remote 20:51:51 it was called like some three letter thing 20:51:52 tristan de cunha 20:52:20 http://en.wikipedia.org/wiki/File:Anadyr_harbour3.jpg hm, looks pretty nice considering where it is 20:52:35 by the way someone should give me lots of money so i can go to all these places 20:52:38 Phantom_Hoover: no like 20:52:38 literally three letters 20:52:55 elliott: You would go to Hawaii? 20:52:56 hmm 20:52:58 aaa? 20:53:00 aab? 20:53:00 Guam? 20:53:01 aac? 20:53:14 guam isn't nowhere, it just has more airplanes than people is all. 20:53:25 shachaf: :( 20:53:30 (But sure.) 20:53:42 I should visit île dorval some time, it's not so far away. 20:53:48 elliott: but that's like america................. 20:53:58 btw were you aware that US territories have the worst flags in the world 20:54:01 The problem with tiny remote islands is that they're tiny and remote so it's hard to find them. 20:54:02 > let as = ['a'..'z'] in liftA3 (,,) as as as & map (toListOf each) 20:54:03 Other than, you know, geographically. 20:54:04 Not in scope: `each' 20:54:09 > replicateM 3 ['a'..'z'] 20:54:10 fuck 20:54:10 ["aaa","aab","aac","aad","aae","aaf","aag","aah","aai","aaj","aak","aal","a... 20:54:12 I just zoomed in on hawaii again 20:54:33 elliott, there was that one the essex crew landed on-- wait that was henderson island 20:54:36 Taneb.. 20:54:40 http://en.wikipedia.org/wiki/File:Flag_of_the_Northern_Mariana_Islands.svg i mean what is this 20:54:43 but come on 20:54:56 shachaf, why be rational when you can be amazing 20:55:05 okay I found kiritimati 20:55:06 Taneb: STOP TRYING TO GET LENS INTO EVERYTHING 20:55:11 Bike: You should use lens! 20:55:11 NEVER 20:55:17 its only significant features are birds and dead people 20:55:26 shachaf: i'm getting mixed messages here 20:55:43 it was like 20:55:45 Bike: The first thing to ask yourself is: "Am I Taneb?" 20:55:46 bap island or something 20:55:55 `? Taneb 20:55:57 Taneb is not elliott, no matter who you ask. He also isn't a rabbi although he has pretended in the past. 20:55:58 (i assume everyone has heard the story of the essex because it is amazing) 20:55:59 shachaf: I'm no philosopher. 20:56:00 The second thing: "Am I Ngevd?" Then "Am I atriq?" and all the rest. 20:56:06 Bike, are you elliott or a Rabbi? 20:56:14 `? elliott 20:56:16 Or both 20:56:18 elliott wrote this learn DB, and wrote or improved many of the other commands in this bot. He probably has done other things? 20:56:24 When I asked how one became elliott he said he hoped he'd never know. 20:56:32 `? Bike 20:56:34 Bike ? ¯\(°_o)/¯ 20:56:40 found savai'i which I was previously unaware of the existence of 20:56:40 `? Fiora 20:56:41 Fiora ? ¯\(°_o)/¯ 20:56:47 ?? 20:56:48 UNACCEPTABLE 20:56:52 So I don't know, since I'm not as smart as elliott, unless I am elliott, in which case I am as smart as elliott but don't know that because I don't know that I am elliott. 20:56:52 what does everyone want with me ;-; 20:56:56 Phantom_Hoover: story of the essex? 20:57:09 elliott, it was this whale boat which was literally in real life sunk by a whale 20:57:10 Fiora: your true location, clearly 20:57:19 Phantom_Hoover: okay that is pretty good 20:57:27 `learn Fiora just wants to be left alone. 20:57:30 I knew that. 20:57:30 and then the crew sailed across the pacific and ate each other 20:57:38 Ok, I was confusing Halifax and Elliott. I mean Essex. 20:58:01 Halifax being the town that blew up. Not a whale ship thing guy. 20:58:07 savai'i looks pretty nice 20:58:13 not the island I was thinking of though 20:58:35 "For the mythical original homeland of the Polynesian peoples (sometimes referred to as Savai'i), see Hawaiki" 20:58:36 elliott: Wait, I missed the beginning of this. 20:58:38 Phantom_Hoover: Is it just me or is it really fucking weird to see water that isn't sort of murky greenbluegrey? 20:58:59 Which island are you looking for? 20:59:00 elliott: Just default to hy-brazil and give up 20:59:09 `? boily 20:59:11 boily may be French or something. We are not sure about the rest. 20:59:13 shachaf: That island. 20:59:22 elliott, it's just you 20:59:24 Hmm, maybe it was a two-letter island? 20:59:35 `learn boily is Canadian or something. We are not sure about Canada's existence. 20:59:39 I knew that. 20:59:48 http://en.wikipedia.org/wiki/List_of_short_place_names 20:59:54 -!- Sgeo_ has joined. 21:00:09 Maybe we should use Wikivoyage to figure out which uninhabited pile of rocks elliott wants to set up on. 21:00:30 Bike: It's habited!!!!!!!!!!! 21:00:32 Wow, that's more "Ã…"s than I've ever seen in my life..... 21:00:52 -!- Sgeo has quit (Ping timeout: 248 seconds). 21:01:17 «The once-nameless river, known as the "shortest river in the world"[4][5][6][7] was listed in the Guinness World Records as the world's shortest river at 440 feet (130 m). » this is stupid. 21:01:21 God dammit, I've forgotten which ocean is which. 21:01:23 Geography is terrible. 21:01:30 You already have Mill Ends, Oregon. You can stop. 21:01:40 -!- boily has quit (Quit: Poulet!). 21:01:43 elliott: the pacific ocean is the good one, hth 21:02:36 elliott, the atlantic is the one you're near 21:02:44 The pacific ocean is half the world and surrounded by fire. The atlantic ocean is less cool than its giant underwater moutain range. The arctic ocean is cold. The indian ocean is full of typhoons and non-eurocentric shipping. 21:02:56 Also the divisions don't make any sense any way so fuck 'em, they're all just fucking water. 21:03:17 Bike: new proposal: 21:03:21 rename all oceans to "the ocean" 21:03:42 i love the ocean 21:03:43 too late, they are already the ocean 21:03:44 Aye. 21:03:46 it is so easy 21:03:59 once in a bookstore i saw a book about the oscillatory modes of the world's ocean 21:04:12 olsner: what's the swedish word for ocean 21:04:26 aha 21:04:29 I think it might have been Yap 21:04:32 "IJ, a double lake in the Netherlands (the digraph IJ is sometimes considered a single letter in Dutch, so this could also be seen as a one-letter name)" 21:04:33 it's 'ocean' 21:04:37 oerjan: what's the norwegian word for ocean 21:04:58 oh that's in the Federated States of Micronesia 21:05:00 maybe not obscure enough 21:05:05 (or 'hav') 21:05:11 elliott: Oh, this is the place with Rai stones? Not nearly obscure enough. 21:05:17 you don't have your own word for it? 21:05:36 oklopol: what's the finnish word for ocean 21:05:42 we have valtameri, which means power sea. 21:05:45 Bike: well, the problem is that there is too much stuff in the world. 21:06:01 Bike: Please help me find a tiny barely-inhabited island with a vaguely memorable name to replace it. 21:06:02 oklopol: That's a good prefix. 21:06:08 Do you prepend it to other things? 21:06:14 not really. 21:06:16 IMO just hole up at Disappointment Island and shoot at passing whalers 21:06:31 mainstream = valtavirta 21:06:35 maybe it's for liquids. 21:07:06 ^rot13 cat 21:07:06 png 21:07:16 good point 21:07:20 "In 2004, charges were laid against seven men living on Pitcairn and six living abroad. After extensive trials the men were convicted, some with multiple counts of sexual attacks of children.[15] On 25 October 2004, six men were convicted, including Steve Christian, the island's mayor at the time.[16][17][18] After the six men lost their final appeal, the British government set up a prison on the island at Bob's Valley.[19][20] The men began serving 21:07:27 I like how they had to build a prison for the purpose. 21:07:43 shachaf: and yet all the cats are gifs? 21:07:59 Bike: "These islands are dry, and not especially conducive to human habitation." 21:08:17 Oh, I guess you meant the singular one. 21:08:30 The one in the subantarctic, yeah. 21:08:37 "easier" 21:08:59 Hmm, Auckland Island looks pretty. 21:09:27 "Inacessible Islands", straightforward naming there 21:10:19 oh, Deception Island is the one I was thinking of. 21:10:36 The deception is that it's in the Antarctic, so you think it'd be cold. It is cold, but also volcanoes will kill you. 21:11:04 http://en.wikipedia.org/wiki/File:Ile_de_la_Deception.svg more importantly, seems like a great place to hide your evil lair. 21:14:50 Bike: They'll rename them once they find a way to access them. 21:15:52 ಠ_ಠ http://www.popsci.com/diy/article/2013-01/rewire-your-file-transfer-routine 21:16:54 Don't most modern ethernet cards do on-the-fly crossover anyway? 21:17:30 yes 21:17:43 i think most cards from the past 8 years or so 21:17:44 Even if the reader’s card doesn’t, why buy a new straight Ethernet cable and then modify it to be crossover? 21:17:51 it might even be required by the GigE spec 21:18:22 "Automatic MDI/MDI-X Configuration is specified as an optional feature in the 1000BASE-T standard" 21:18:26 'When moving terabytes of data from one computer to another, cut out the external drive... by cutting up an Ethernet cable.' 21:18:34 or plugging them into the same switch? 21:19:13 i did use direct GigE with jumbo frames when I had to move 5 TB between servers 21:19:14 I guess this tutorial is for the kind of people who simply move the internet cable between computers 21:19:24 i also configured rsync to use rsh instead of ssh :X 21:21:25 o.O did you need to specify using jumbo frames? 21:21:35 How much overhead would not using jumbo frames have introduced? 21:23:22 i didn't measure it 21:28:38 Bike: did you know there's like a billion countries 21:28:44 well 206 but same thing 21:28:48 Maybe it could be calculated? 21:29:00 depends who you ask elliott 21:29:03 How big would the jumbo frames have been? 21:29:12 How big are regular frames 21:29:13 Sgeo_: the overhead is going to depend on a lot of factors 21:29:16 Oh 21:29:29 elliott: Apparently most of them aren't in Europe either. Who knew 21:29:47 the concern is not so much the number of bytes on the wire as the overhead at OS, driver, and firmware level of having more frames 21:29:48 kmc: I asked Bike 21:30:00 it will depend a lot on the driver 21:30:04 Ah, ok 21:30:14 So the concern is speed, not amount of data? 21:30:21 i don't understand that question 21:30:40 the throughput is higher with jumbo frames because each additional frame takes some time to process at various layers 21:30:48 There's an organization set up for areas that want to become independent countries. Couple American Native tribes in it iirc 21:31:25 it affects higher levels too 21:31:30 -!- Nisstyre has joined. 21:31:37 either IP is going to fragment to fit the MTU, or TCP is going to send smaller packets, which need acking each 21:33:21 huh, i had no idea assyrian nationalism existed 21:34:07 http://en.wikipedia.org/wiki/File:Deception-Tourists.jpg 21:34:10 deception tourists 21:34:43 good photo 21:34:47 Active volcano? 21:34:56 yeah, it's wiped out research stations a few times 21:35:34 That seems like not the place to go into water 21:35:41 There's a trick 21:35:52 That's some pit other than the obvious one, I assume? 21:36:29 what are you talking about 21:36:48 it's just a volcanic bath 21:37:27 "an Inner Mongolian secessionist movement. The party was started in 1997 in Princeton, New Jersey" ouch 21:45:34 Sounds like a lame party 21:58:43 (diff | hist) . . Esolang talk:Community portal‎; 20:56 . . (+518)‎ . . ‎Star651 (Talk | contribs | block)‎ (→‎Maybe esoteric programming is an adult/mature-content subject ... ?: new section) [rollback] 21:58:50 I wonder what this is about. 22:02:40 He thinks the word "fuck" is R-rated 22:02:44 s/he/e/ 22:03:27 This is the same guy who sent PH hatemail for his Tumblr 22:05:00 -!- Snowyowl has joined. 22:06:13 unfortunately he didn't swear whilst doing so 22:07:36 Goodnight, guys 22:07:38 -!- Taneb has quit (Quit: Leaving). 22:08:07 how does he go to bed at 10 22:08:11 it's not natural, i swear 22:10:02 -!- carado has quit (Ping timeout: 246 seconds). 22:10:23 Snowyowl: on a scale of 0 to 15 how snowy are you 22:11:17 5 22:11:44 > 5/15 22:11:45 0.3333333333333333 22:11:51 that's not very snowy............................ 22:12:51 Oh, Star651? 22:12:59 I'm a big fan of Star651. 22:15:25 ... oh, someone asked me a question 22:15:52 3.999999952, but that might be a floating-point error. 22:16:12 -!- derkus has joined. 22:22:21 i love floating point errors 22:22:23 NO SHACHAF NO 22:23:26 they are only an unfortunate consequence of our lack of infinite-memory computers 22:24:40 once I perfect my design for an aleph-null megabyte RAM, such errors will be in the past 22:26:01 you want to represent real numbers with only aleph-null memory? 22:26:23 computable reeeals 22:26:24 yes 22:26:41 aleph-null bits have aleph-one possible states 22:27:06 fair enough 22:28:22 i won't be using it until we have beth-three ecc ram though 22:30:05 wonder what you could do with that 22:30:17 functions of functions of reals? 22:30:18 > (pi :: CReal) == (pi :: CReal) 22:30:19 True 22:30:25 lambdabot: MAGICIAN?? 22:30:54 I plan to use it for my new startup, which will provide a Facebook-like API to real numbers and their dogs. 22:32:02 mind you, this is also assuming infinite clock speed 22:32:30 social networks of real numbers 22:32:32 it's web 4.0 22:32:49 PI: relationship with 'e': "it's complicated" 22:32:49 Unfortunately we can't verify that it's exactly 4.0 yet, but we're working on it. 22:32:50 web 3.999999... 22:33:15 -!- sebbu2 has joined. 22:33:15 -!- sebbu2 has quit (Changing host). 22:33:15 -!- sebbu2 has joined. 22:33:51 220 and 284 are now friends 22:34:22 -!- sebbu has quit (Disconnected by services). 22:34:24 -!- sebbu2 has changed nick to sebbu. 22:37:48 yall are just quiet cause you're still verifying 4.0 == 3.999999... 22:40:12 is this some variant of 0.999999999... = 1? 22:40:19 'cause you know how that turns out on the internet right? 22:41:01 i'm pretty sure we all know basic math, myndzi. 22:41:17 myndzi: NUH UH 0.99999999... = 2 22:41:19 myndzi: somebody drives it off-topic by mentioning an aeroplane on a treadmill 22:42:06 -!- Vorpal has quit (Ping timeout: 276 seconds). 22:42:08 could an airplane on a treadmill going at .999...c through a black hole endorse lens? 22:42:09 Fiora: You missed a dumb complex number joke. :( 22:42:31 lens? 22:42:36 myndzi: Um, you forgot the 7 at the end of 0.99999999...7!!! 22:43:54 elliott: 0.999999...7 + 0.000000...2 = 0.999999..., but 0.999999...7 + 0.000000...3 = 1. QED 22:44:25 But does 0.999...5 round up to 0.999...10 or down to 0.999...0? 22:44:32 fizzie: It's random. 22:44:34 my logic is consistent, although it ears no relation to any actual maths 22:44:39 > 0.99999999999999999999999999999999999999999999999999999999999999999999999999999999999 == 1 22:44:40 True 22:44:49 > 0.99999999999999999999999999999999999999999999999999999999999999999999999999999999999 == (1 :: CReal) 22:44:50 True 22:44:51 well that settles that 22:45:00 haha. 22:45:12 0.9999999999999999999999999999999999999999 === 1 22:45:33 ... what language does lambdabot use again? 22:45:53 typed befunge 22:45:55 > iterate f x 22:45:56 [x,f x,f (f x),f (f (f x)),f (f (f (f x))),f (f (f (f (f x)))),f (f (f (f (... 22:46:09 aka caleskell 22:46:18 I see. 22:46:26 caleskell isn't two-dimensional, sorry 22:46:35 wait no i don't 22:46:39 i love befunge 22:46:42 it is so easy 22:46:44 iterate x^2 22:46:45 no shachaf 22:46:52 Snowyowl: the "> " is important. 22:46:53 elliott: i tried....... 22:46:59 (Lambda cube languages are three-dimensional...?) 22:47:03 didn't see that there 22:47:04 befunge is like monoids 22:47:13 ... shit, you were serious? 22:47:30 (lambdabot uses Haskell) 22:47:31 "no" 22:47:59 (Oh, okay.) 22:48:21 FOUR SIMULTANEOUS TYPE SYSTEMS IN A SINGLE ROTATION OF THE LAMBDA CUBE 22:48:55 iterate reverse "desserts" 22:49:08 > iterate reverse "desserts" 22:49:09 ["desserts","stressed","desserts","stressed","desserts","stressed","dessert... 22:49:35 w00t i am a l33t Haskellx0r 22:49:42 hackskeller 22:49:53 Wonder what befunge is like on the hyperbolic plane 22:49:59 > permutations "desserts" 22:50:00 ["desserts","edsserts","sedserts","esdserts","sdeserts","dseserts","ssedert... 22:51:50 sort "maltos" 22:51:56 >sort "maltos" 22:52:04 you also need the space. 22:52:18 okay I'll go find a real Haskell interpreter and stop flooding the chat 22:52:42 just get ghci 22:54:51 Snowyowl: the space is important too 22:54:56 Jafet, hard to define 22:55:02 Not in scope: `real Haskell' 22:55:05 Snowyowl: (get the Haskell Platform, if you're serious) 22:55:06 Snowyowl: you can private message lambdabot 22:55:15 befunge on penrose tilings 22:55:20 Isn't there "befunge but on R^2" somewhere, I swear I saw it 22:55:33 you just angled control around. seems like that'd be easy to generalize 22:55:43 Bike, how would that work 22:55:55 most ever befungiest funge you befunger funge 22:56:01 to do it properly you'd obviously have to process an uncountable number of instructions 22:56:05 if you only allowed movement in horizontal or vertical directions, it might be interesting 22:56:23 Phantom_Hoover: the only control things are at specified points. it's like bouncing a laser around. 22:56:29 oh 22:56:37 `quote FOUR SIMULTANEOUS TYPE SYSTEMS IN A SINGLE ROTATION OF THE LAMBDA CUBE 22:56:37 befunge: easy? 22:56:38 kinda boring maybe 22:56:39 No output. 22:56:40 man that would be cool though 22:56:48 befunge on Q^2 22:57:01 because fractions that's why 22:57:10 well yeah the practical implementation would be on Q² or whatever you call computables ² but that's "boring" 22:57:28 also probably turing-complete 22:57:43 obviously we need superturing power. 22:57:47 `? qdb 22:57:49 qdb is used like: `quote; `quote regexp; `quote id; `addquote ...; `delquote id; `pastequotes regexp; `pastenquotes [n]; see also qdbformat 22:57:55 anyway what's the blackboard bold for computable reals 22:57:56 befunge on ordinals^2 22:58:18 no, wait: surreals^2, because fuck well-ordering 22:58:31 Bike, we need... SuperTuring! 22:58:33 is ordinals^2 even a sensible anything 22:58:58 http://codu.org/tmp/superturing.ogg 22:59:18 Did you just... have that already, or... 22:59:26 yes 22:59:29 -!- oerjan has joined. 22:59:50 this is a pretty cruddy soundfont 22:59:56 welcoerjan 22:59:59 what is it 23:00:01 `welcoerjan 23:00:02 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: welcoerjan: not found 23:00:02 sadly Sgeo_'s diagonalfish thing is down so his karaoke may be lost to the world 23:00:06 shachaf: "hav" 23:00:11 kmc: it's "addquote" 23:00:13 Wat superturing generated programmatically? 23:00:24 and talk esme baby is lost to history 23:00:26 Was even. 23:00:35 the musical corpus of #esoteric has crumbled 23:00:55 -!- Snowyowl has quit (Quit: Page closed). 23:02:01 interesting 23:02:08 e^pi is transcendental, pi^pi hasn't been proven to be 23:02:22 proving things transcendental is kind of a bitch, isn't it? 23:02:32 i love proving things transcendental 23:02:37 e^pi is transcendental? 23:02:38 the e^pi proof is so elegant though 23:02:46 elliott: o 23:02:49 `addquote FOUR SIMULTANEOUS TYPE SYSTEMS IN A SINGLE ROTATION OF THE LAMBDA CUBE 23:02:53 919) FOUR SIMULTANEOUS TYPE SYSTEMS IN A SINGLE ROTATION OF THE LAMBDA CUBE 23:03:06 e^pi = (e^(i*pi))^(-i) = (-1)^(-i) 23:03:20 oh hm 23:03:21 > [exp pi, pi ** pi] :: [CReal] 23:03:22 since -i is algebraic but not rational, e^pi is transcendental 23:03:23 [23.1406926327792690057290863679485473802661,36.462159607207911770990826022... 23:04:04 right, -i is still not rational 23:04:12 I like the bit about how one of e*pi and e+pi is transcendental, or however it went. 23:04:57 Bike: that works. at least one, probably both, cannot prove either. 23:05:07 is it the euler-mascheroni constant that hasn't even been proven irrational? 23:05:16 Yes. 23:05:37 oerjan: Cannot prove or just haven't proven? 23:05:45 haven't proven 23:05:55 right just checking 23:06:12 euler-maceroni 23:06:38 number γ has not been proved algebraic or transcendental. In fact, it is not even known whether γ is irrational. Continued fraction analysis reveals that if γ is rational, its denominator must be greater than 10^242080.[4] 23:06:42 *The 23:06:42 thats a big number 23:07:14 "The continued fraction has *at least* 470,000 terms" 23:07:31 Phantom_Hoover, I could try to retrieve it and put everything on dropbox 23:07:44 it's a "barely rational" number, if it's rational :P 23:07:51 Sgeo_: do you have talk esme baby 23:07:55 Sgeo_, do it 23:08:00 elliott, no, but I have my karaoke 23:08:03 Somewhere 23:08:05 good enough 23:08:06 Bike: an interesting question whether it could be provable that it is unprovable, though. 23:08:20 what if i need to torture someone discreetly 23:08:30 i am presently at a loss 23:09:04 oerjan: has anything relating to both transcendence and computability been worked on? 23:09:13 Bike: i don't know 23:09:25 "The non-computable numbers are a strict subset of the transcendental numbers" well there's something 23:09:29 not that e+pi is noncomputable 23:09:47 also sort of obvious but whatever 23:10:08 "It is conjectured that all infinite continued fractions with bounded terms that are not eventually periodic are transcendental" oooooh 23:10:53 ugh of course i don't have access to the paper. damn you free market 23:12:00 link? 23:12:31 http://dx.doi.org/10.1007%2FBF02588048 23:13:18 nope 23:13:38 paywalled for me too 23:14:52 Bike: i literally just googled the title 23:14:54 and a pdf is the second result 23:14:57 step up yr game 23:15:19 well maybe i wanted it /legitimately/ you damn piriahahahaha 23:15:45 lol 23:16:07 i'm not sure but were you about to say 'piranha' there 23:17:17 hm so the two papers i have open are this thing on complex fractions, and something about buddhism vs cartesian dualist neuroscience. ...i wonder if buddhist mathematicians ever came up with continued fractions... 23:17:41 Google communism 23:23:29 Phantom_Hoover: he probably meant "pariah" hth 23:23:39 -!- variable has joined. 23:24:08 pirahã, of course. 23:24:40 pirah̃a 23:25:39 pîranha 23:25:41 "499 The Aryabhatiya contains the solution of indeterminate equations using continued fractions" may have been a hindu though 23:26:00 pïränḧä 23:26:09 I like how that ḧ renders in a different font for me. 23:26:25 «The Aryabhatiya begins with an introduction called the "Dasagitika" or "Ten Giti Stanzas." This begins by paying tribute to Brahman, the "Cosmic spirit" in Hinduism.» 23:26:46 http://en.wikipedia.org/wiki/%C4%80ryabha%E1%B9%AD%C4%ABya#Significant_verses amazing 23:28:10 Bike: lol 23:38:54 -!- augur_ has quit (Remote host closed the connection). 23:52:32 @tell Taneb Futuerjan: I saw your edits on the Fueue article <-- HOW CAN YOU DO THAT WITHOUT A GUI? 23:52:32 Consider it noted. 23:53:48 without being zzo38 or something 23:56:08 ok he got that fixed 23:57:34 guess how many times i've almost written that subshit <-- ARE YOU SURE YOU ARE SUBCONSCIOUSLY SATISFIED WITH YOUR CURRENT JOB