00:00:02 So yeah. TL;DR: Wanting your SO to fill *some* of your emotional needs is healthier for me than not caring *who* fills them. IANALD, YMMV. 00:00:04 That is all 00:00:07 You may resume 00:00:10 why do journals without websites even exist 00:01:58 -!- Roujo has left ("Off I go..."). 00:02:01 -!- Roujo has joined. 00:02:04 ... 00:02:08 smooth 00:02:11 Nothing happened mmmkay 00:02:29 Uh 00:02:37 As it turns out, I can just /clear my backlog 00:02:38 That's nice 00:04:09 good night everybody, goodbye and happy rosh hashana for everybody whose jewish 00:04:18 -!- Solain has left. 00:04:48 Roujo: thank you for sharing your cautionary tale 00:04:58 * kmc thinks about it more 00:05:04 also what is "LD" in "IANALD" 00:05:20 Love Doctor 00:05:27 haha 00:05:30 ^^ 00:05:32 lethal dose 00:05:35 will smith 00:05:40 im not a doctor when it comes to love 00:05:42 wait no that's WS 00:06:23 I think when you are close enough to someone you develop needs that are specific to them 00:06:33 like, I don't just want a hug, I want a hug /from her/ because we have all this context that makes it more meaningful 00:06:45 this could be true of multiple people in different ways, too 00:07:22 You want a hug /from multiple people/? 00:07:26 :3 00:07:59 they all just kind of encircle him 00:08:09 until he dies of heatstroke 00:08:20 then they rear a new queen in his place 00:10:42 i thought they only did that to wasps. 00:11:17 no, they do it to queens if they stop being reproductively fit and/or anger the proletariat 00:11:24 ouch 00:12:11 the monarchy would be way more entertaining if we did that in the uk imo 00:13:01 sterilize everybody in the UK but the queen, to be more like bees 00:13:12 Phantom_Hoover: but they'd want to do it to charles, not the queen 00:13:34 Bike: then how do you appoint a new queen? 00:14:10 set it up so that a few women randomly become reproductive again when the queens' pheremones stop suppressing them, and then have a cage match to determine which becomes the new queen. 00:19:38 -!- Sgeo has joined. 00:21:32 -!- sebbu has quit (Read error: Connection reset by peer). 00:21:57 -!- sebbu has joined. 00:24:24 Bike, model society 00:24:40 damn straight 00:24:50 smash the state + replace it with better honeycombing 00:27:16 cage match is dangerous 00:27:35 what if they kill or otherwise mutilate each other 00:27:57 i don't think you understand. 00:27:57 -!- augur has joined. 00:28:29 -!- augur has quit (Remote host closed the connection). 00:28:35 -!- augur_ has joined. 00:29:54 -!- SingingBoyo has quit (Ping timeout: 264 seconds). 00:34:16 -!- epicmonkey has joined. 00:38:06 Bike: I'm willing to be enlightened with your explanations and please do feel free to use as much drawings and photos as you want 00:38:36 -!- CADD has quit (Quit: Lost terminal). 00:40:05 this is turning into some niche fetish thing isn't it 00:40:37 -!- madbr has joined. 00:40:38 When a young virgin queen emerges from a queen cell, she will generally seek out virgin queen rivals and attempt to kill them. Virgin queens will quickly find and kill (by stinging) any other emerged virgin queen (or be dispatched themselves), as well as any unemerged queens. Queen cells that are opened on the side indicate that a virgin queen was likely killed by a rival virgin queen. When a colony remains in swarm mode after the prime swarm ... 00:40:44 ... has left, the workers may prevent virgins from fighting and one or several virgins may go with after-swarms. Other virgins may stay behind with the remnant of the hive. As many as 21 virgin queens have been counted in a single large swarm. 00:40:48 etc. 00:41:19 that's not for new queens in the event of a queen dying, o'course 00:41:29 sup 00:41:31 sup 00:41:39 inf 00:42:00 kindof trying to find stuff that goes more in detail on how out of order cpus are made 00:42:08 they are all incredibly vague 00:42:25 isn't that in any modern microarchitecture design textbook 00:43:14 like, for the general stuff they explain it 00:43:19 they're not really vague, just printed in the wrong order 00:43:37 the register rename thing 00:43:37 wow, oerjan. 00:43:38 wow. 00:43:44 and reorder buffer 00:43:48 do you need register renaming for ooe 00:44:01 i had this idea that that was intel being weird as usual 00:44:06 is it a good idea to learn asm by writing C programs, compiling them, then using otool on the binary? 00:44:18 -!- epicmonkey has quit (Ping timeout: 264 seconds). 00:44:28 not the worst idea 00:44:30 best idea? 00:44:38 my friend said he was automating his architecture homework by writing a "C to MIPS translator" 00:44:40 afaik ooe is normally essentially hardware SSA 00:44:40 C compilers will use a different subset of asm than you would probably want to write by hand 00:44:45 that was a good chuckle 00:44:54 especially on x86 00:45:11 oh 00:45:13 like, you have a stream of instructions coming in 00:45:24 you turn that into a stream of microops 00:46:06 you have a ring buffer of microops and assign them consecutively 00:46:07 if you are writing x86 asm by hand you can mostly pretend it's a nice simple RISC-ish architecture... but compilers will exercise a lot of the stranger corners for performance 00:46:24 while the retirement logic retires the other end of the queue 00:46:32 (although there are also a lot of weird instructions that *seem* useful but are actually too slow) 00:46:50 (if compilers don't produce them then chip designers don't optimize them) 00:47:15 compiler outputs only bcd instructions 00:47:35 since you have a ring buffer of microops already you can simply assign results to a parallel ring buffer of result registers 00:47:46 bang, you have register renaming 00:48:33 It might be possible to make an OOE cpu without renaming but I'm not sure it makes any sense 00:49:13 I wonder if the course materials for MIT's 6.823 would be useful 00:49:15 they are online 00:49:35 so at any moment you have a queue of instructions that load values from other location in the queue 00:49:46 and with a flag to say that the result is valid 00:50:17 and then a bunch of execution units 00:50:48 and somehow on each cycle it figures out which instruction to assign to each unit 00:50:56 with low propagation delay 00:51:23 from what I remember it simply assigns in order of availability (?) 00:51:43 so like, if instruction X can use p0, p1, or p5, it has pretty much equal probability of hitting any of them if they're all free. 00:53:07 so it combs through all the non-ready instructions in the queue, checks all of them for having all ready operands, then picks the first 3 ones that are doable? 00:54:48 isn't that a lot of computation to do in essentially very low latency gate networks? 00:55:46 Um, I think I remember reading in one place that in like a recent CPU, the "clock bottleneck" (like, the longest latency between two steps of the pipeline?) came from something like "select the first 4 executable instructions from this queue of 40" 00:56:10 like the dependencies and stuff are already done, it just has to comb through and mux the first 4? 00:56:37 right 00:58:17 I thought they might have had some crazy heuristic for that 00:59:24 I'm not sure 00:59:53 I'm kindof surprised that they don't have worse clock bottlenecks from all the wide renamed register files and reorder buffers and crazy associativity 01:00:20 and the gazillion of ports involved 01:01:54 like, you have, what 01:02:12 4 alus + 2 address calculation units? 01:02:19 each one with two read ports 01:03:04 that can pull values from any of the wide file of renamed instructions (essentially one register for every instruction in the reorder queue?) 01:03:07 ? 01:03:57 That's like 12 read ports and 6 write ports on a 40+ register file 01:19:27 are high end CPUs still made with standard cells or do they optimize certain gates at the physical level for lower delay? 01:20:45 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds). 01:21:09 wish I knew 01:21:26 time to break out your electron microscope 01:21:32 and hydroflouric acid 01:22:20 -!- Phantom_Hoover has joined. 01:22:23 presumably they'd concentrate on the previously mentioned "clock bottlenecks" 01:22:53 -!- Phantom_Hoover has quit (Client Quit). 01:24:41 yeah 01:25:09 it must be so difficult to optimize for speed, area, power/heat, and yield all at once 01:27:44 `slist 9/4 01:27:46 slist 9/4: Taneb atriq Ngevd Fiora nortti Sgeo ThatOtherPerson alot 01:29:29 I'm pretty sure the major secret to Intel's CPU design is "when in doubt throw more money at the problem" 01:30:13 that can produce surprisingly poor results 01:30:40 money mainly gets used to hire people and the people need to know what the hell they're doing 01:30:46 i get it, "poor" results 01:31:57 kmc: See Pentium 4. 01:32:34 funny we had a discussion about go and chess robots earlier and a friend told me the only reason why chess robots were so performant was because so much money had been thrown into it 01:33:04 shachaf: -_- 01:33:17 yeah it's a funny way of talking about things 01:33:25 because "money" is nearly a synonym for "effort" 01:33:35 "why is this thing so good" "because people worked on making it good, DUH" 01:34:25 yeah well I was about to tell him why I thought go computers were so bad compared to chess computers 01:34:35 he said "nah it's just the money" 01:34:40 computers are good at go now, though http://blog.printf.net/articles/2012/02/23/computers-are-very-good-at-the-game-of-go/ 01:34:49 well 01:35:02 they've started being better than me only very recently 01:35:27 likewise the crap about how wanting money is evil... it's how you get the money, and what you use it for, that can be good or evil 01:35:28 and that's stil very very very very very very far from professional players 01:35:45 kmc: how are they at Arimaa? 01:35:46 the stuff about how Real Programmers or Real Artists shouldn't be motivated by money... that's actually incredibly selfish 01:36:20 Sgeo: no idea. don't think enough people care about Arimaa 01:36:35 Blah :( 01:38:34 -!- SingingBoyo has joined. 01:38:37 I guess we just assume that people with money will waste it on bougie lifestyle status symbols rather than meaningful experiences, helping friends/family, or helping strangers 01:38:45 "You can read a commented version of one of its wins against Tromp at GoGameGuru, or you could even play against it yourself on KGS." 01:39:30 I think I'll do the former. I suck badly enough at Go/I'm enough of a Go newbie that I'd have a limited amount of understanding how its moves are tradionally considered bad 01:40:28 gogameguru doesn't seem to be loading 01:42:16 wait, is that our tromp 01:43:09 trompe le monde 01:44:25 hey, for the record, using monte-carlo in a go program was first done 3km away from my home 01:44:37 and the go program in question became the best go program for a while 01:44:41 oerjan: yes 01:44:56 and then all go programs started using monte carlo aaaaaaand we never heard of that go program again since 01:45:32 heh 01:47:30 -!- Bike has quit (Ping timeout: 264 seconds). 01:56:46 -!- Bike has joined. 02:05:33 -!- augur has joined. 02:05:36 -!- Koen_ has quit (Quit: Koen_). 02:06:08 -!- augur_ has quit (Read error: Connection reset by peer). 02:55:48 -!- augur has quit (Ping timeout: 240 seconds). 02:56:53 -!- augur has joined. 03:03:06 -!- augur has quit (Write error: Connection reset by peer). 03:05:05 -!- augur has joined. 03:11:14 -!- augur has quit (Remote host closed the connection). 03:12:32 -!- augur has joined. 03:12:44 Why does OpenSUSE not configure sound card automatically? 03:13:15 Because it's mean and cruel. 03:13:39 contempt 03:16:37 Also need to configure KDE to use the (correctly configured) sound card 03:16:42 * Sgeo bonks head on wall 03:34:07 sajdfasjfd I better not start feeling nostalgia for Freespire 03:38:50 At least Linux XP is discontinued 03:38:52 Evil distro 03:40:53 "Despite frequent calls for a 64-bit edition, the developers have only started considering such possibility in late 2011, arguing that their 32-bit edition works equally well on 64-bit computer systems. " 03:40:57 [about PCLinuxOS] 03:41:02 -!- SingingBoyo has quit (Ping timeout: 240 seconds). 03:46:05 If someone recomments that a newbie try Linux Mint, they may be confused as to which one to download 03:46:12 I have not heard of MATE and Cinnamon before now 03:50:16 Oh hey Amarok's available for Windows 03:50:50 "Amarok: Comes from the KDE Linux desktop. It is a great media manager with many features. It looks nice but beyond looks it is also very smart." 03:50:58 "since it is based on GTK, the installation pack is much larger than necessary (over 90Mb)" 03:51:01 uh.... 03:52:58 GTKDE 03:59:57 `slist 03:59:58 slist: Taneb atriq Ngevd Fiora nortti Sgeo ThatOtherPerson alot 04:11:38 -!- nisstyre has quit (Ping timeout: 264 seconds). 04:27:33 "Spotted car w/ VA license plate NOPSLD." 04:46:40 -!- carado has quit (Ping timeout: 246 seconds). 04:49:53 -!- oerjan has quit (Quit: leaving). 04:52:37 -!- carado has joined. 04:54:14 -!- augur has quit (Ping timeout: 264 seconds). 04:54:22 -!- augur has joined. 05:09:26 -!- augur has quit (Ping timeout: 240 seconds). 05:17:22 -!- augur has joined. 05:17:22 -!- augur has quit (Remote host closed the connection). 05:17:49 -!- augur has joined. 05:18:10 -!- ^v has quit (Quit: Leaving). 05:18:21 -!- ^v has joined. 05:21:11 -!- augur has quit (Read error: Connection reset by peer). 05:22:34 -!- augur has joined. 05:29:44 -!- augur has quit (Read error: Connection reset by peer). 05:31:16 -!- augur has joined. 05:32:49 http://bitslog.wordpress.com/2013/09/03/new-mystery-about-satoshi/ 05:35:00 decimal gray code <-- ?????? 05:36:22 «18-10-1960 is the date the article “Socialism, Inflation, and the Thrifty Householder” from Ludwig von Mises was published» lol 05:37:44 A gray code with decimal digits, presumably? 05:37:57 well, yes, but why would you ever. 05:38:06 on a modern computer, anyway 05:39:19 OH: "To get Firefox working in XMonad I think you need some coalgebras" 05:40:02 kmc: that's xterm, not firefox 05:40:23 (the joke is terminal coalgebras) 05:42:19 groan 05:43:21 kmc: remember how Mu is initial and Nu is terminal? good timez 05:43:53 -!- Bike_ has joined. 05:44:18 -!- Bike has quit (Ping timeout: 264 seconds). 05:45:00 yes 05:45:22 kmc: would you come to an edwardk talk in sf 05:45:40 hmm, come to think of it, would mozilla maybe have a space for it 05:47:09 i don't know 05:47:24 now I want to see a decimal gray code 05:48:51 How does that work? 05:49:34 probably there are lots of them 05:50:15 Oh, Wikipedia has an example/explanation. 05:50:29 http://en.wikipedia.org/wiki/Gray_code#n-ary_Gray_code 05:50:31 -!- Bike_ has changed nick to Bike. 05:51:32 so 0...8, 9, 19, 10, 11, ...etc 05:54:02 i wonder if a boustrephedon would be more convenient. 19, 18, 17, ... 11, 10, 20, 21, 21, ... 05:54:58 -!- `^_^v has quit (Read error: Connection reset by peer). 05:55:24 -!- `^_^v has joined. 05:58:42 -!- HackEgo has quit (Ping timeout: 276 seconds). 05:59:13 -!- HackEgo has joined. 05:59:49 -!- Bike has quit (Read error: Connection reset by peer). 05:59:52 -!- mnoqy has joined. 06:00:12 -!- Bike has joined. 06:12:53 Bike: "-- 20, 21, 21, ..." I guess that's some sort of gray code with extra redundancy thing. 06:17:16 grayer code 06:17:18 a whiter shade of gray 06:23:33 http://www.youtube.com/watch?v=rdIWKytq_q4&feature=youtu.be 06:55:42 -!- ^v has quit (Quit: Leaving). 06:55:53 -!- ^v has joined. 07:01:55 -!- madbr has quit (Quit: Radiateur). 07:20:37 -!- ^v has quit (Quit: Leaving). 07:22:45 -!- carado_ has joined. 07:25:55 -!- carado has quit (Ping timeout: 246 seconds). 07:49:38 -!- Taneb has joined. 07:50:45 Guess who's an idiot 07:52:22 hint: it's me 08:03:48 -!- mnoqy has quit (Quit: hello). 08:26:19 -!- rodgort has quit (Ping timeout: 264 seconds). 08:29:49 -!- rodgort has joined. 09:22:01 seems you've been all kinds of interesting while I was sleeping 09:24:52 are high end CPUs still made with standard cells? <-- I think that was almost answered by the Intel guy's AMA 09:26:05 iirc most of the stuff was done automatically but with their own library of secret sauce, then manual layout for the really important bits 09:49:48 -!- MindlessDrone has joined. 09:50:50 -!- Koen_ has joined. 09:51:36 -!- Koen_ has quit (Read error: Connection reset by peer). 09:51:50 -!- Koen_ has joined. 10:12:11 -!- zt has joined. 10:12:31 -!- yorick has joined. 10:46:51 -!- augur_ has joined. 10:47:01 -!- augur has quit (Read error: Connection reset by peer). 10:47:10 -!- carado_ has quit (Ping timeout: 246 seconds). 10:57:24 -!- nisstyre has joined. 11:02:52 -!- zt has left. 11:04:31 -!- mnoqy has joined. 11:09:34 -!- nisstyre has quit (Remote host closed the connection). 11:10:28 -!- ulalul has joined. 11:15:45 -!- ulalul has changed nick to [ulalul]. 11:30:33 I have blood on my hands 11:30:35 Fuck acne 11:31:14 and no matter what you do about it, there will always remain... 11:31:18 blood IN your hands 11:32:47 :O 11:37:45 -!- Sgeo has quit (Read error: Connection reset by peer). 11:39:07 -!- [ulalul] has quit. 11:58:57 I scrub and I scrub and there's still blood in the hands? 12:10:53 -!- Solain has joined. 12:13:07 -!- boily has joined. 12:13:09 -!- metasepia has joined. 12:16:49 -!- Solain has quit (Quit: Page closed). 12:16:53 good what-is-a-shipping-wall morning! 12:20:22 hi 12:23:17 I Fiora'ed the wisdom. that document is beginning to look not quite too bad :D 12:24:34 what does that mean :D 12:25:39 boily: Does page 2 say "blank page" in light grey in the middle, or is that just my PDF viewer? 12:26:12 mnoqy: http://youtu.be/qLrnkK2YEcE 12:26:16 fizzie: it is your viewer. 12:26:36 Thought so. 12:27:06 -!- Koen_ has quit (Quit: The struct held his beloved integer in his strong, protecting arms, his eyes like sapphire orbs staring into her own. "W-will you... Will you union me?"). 12:27:27 -!- Koen_ has joined. 12:28:38 I feel the typeface used to render Chinese in “ramen” doesn't look right. do any one of you have any suggestion? 12:30:02 the stroke weights are all random. 麺 is abnormally thin, 縫 is too heavy, and 樹 is glitched. 12:58:13 -!- copumpkin has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz…). 13:19:17 aaaaah... the soulagement of having chosen the right font. why must tex fonts be oh so complex... 13:21:48 boily, a shipping wall is a wall displaying ships 13:22:35 Thankhellob. 13:22:46 (that was a thanks, a hello, and a Taneb all-in-one.) 13:23:21 http://www.mspaintadventures.com/?s=6&p=004195 13:24:07 oh, that kind of ship. I gues I just never had seen that much dedication to shipping beforehand. 13:25:05 (well. nanoha and fate notwithstanding.) 13:56:59 -!- conehead has joined. 13:57:24 -!- epicmonkey has joined. 14:00:57 -!- nooodl has joined. 14:07:56 `pastewisdom 14:08:01 http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/wisdom/ 14:19:56 -!- conehead has quit (Quit: Computer has gone to sleep.). 14:25:52 upgrade to a cabal 1.18 system: complete! 14:26:06 ~eval 1 + 2 14:26:07 3 14:26:11 :D 14:31:08 ~eval 1 + pi 14:31:08 4.141592653589793 14:31:20 ~eval e^(pi*i) 14:31:20 Error (1): Not in scope: `e'Not in scope: `i' 14:31:24 Pffff 14:32:11 ~eval exp pi 14:32:12 23.140692632779267 14:32:26 ~eval exp (pi * (0 :+ 1)) 14:32:27 (-1.0) :+ 1.2246467991473532e-16 14:32:46 Roujo: there you are. -1 + random floating point part. 14:32:59 hooray. 14:33:13 That's not what I wanted though =P 14:33:16 Wait 14:33:17 Is it? 14:33:23 ~eval exp 1 14:33:23 2.718281828459045 14:33:27 Huh 14:33:30 So maybe it is 14:33:38 ~eval sqrt(-1) 14:33:38 NaN 14:33:41 Awwww 14:33:46 That's the fun part 14:33:53 -!- Bike_ has joined. 14:34:22 ~eval sqrt(-1) :: Complex 14:34:22 Error (1): Expecting one more argument to `Data.Complex.Complex' 14:34:30 ~eval sqrt(-1) :: Complex Float 14:34:31 (-0.0) :+ 1.0 14:35:14 -!- Bike__ has joined. 14:35:37 -!- Bike has quit (Disconnected by services). 14:35:42 -!- Bike__ has changed nick to Bike. 14:38:46 -!- Bike_ has quit (Ping timeout: 245 seconds). 14:52:30 Hmmm 14:52:51 ~eval exp(pi * (sqrt(-1) :: Complex Float)) 14:52:52 (-1.0) :+ (-8.742278e-8) 14:53:16 ~eval exp $ pi * sqrt -1 :: Complex Float 14:53:17 Error (1): Couldn't match expected type `Data.Complex.Complex GHC.Types.Float' 14:53:17 with actual type `a0 -> a0' 14:53:29 ~eval (exp $ pi * sqrt -1) :: Complex Float 14:53:29 Error (1): Couldn't match expected type `Data.Complex.Complex GHC.Types.Float' 14:53:29 with actual type `a0 -> a0' 14:53:37 bleh. 14:53:37 It's supposed to be -1, really 14:53:41 ~eval exp(pi * (sqrt(-1) :: Complex Float)) + 1 14:53:41 0.0 :+ (-8.742278e-8) 14:53:45 Oh 14:53:49 e-8 14:53:56 So it's just floating dust, really 14:53:58 Cool! 14:54:10 Didn't see that 14:57:23 ~eval exp(pi * (sqrt(-1) :: Complex Double)) + 1 14:57:24 0.0 :+ 1.2246467991473532e-16 14:57:26 (Even closer.) 14:58:44 ~eval exp (pi * (sqrt(-1) :: Complex CReal)) 14:58:45 Error (1): Not in scope: type constructor or class `CReal' 14:58:45 Perhaps you meant `Real' (imported from Prelude) 14:58:49 oh no. 14:58:54 > exp (pi * (sqrt(-1) :: Complex CReal)) 14:58:56 (-1.0) :+ 0.0 14:59:24 ~eval (exp(pi * (sqrt(-1) :: Complex Float)) + 1) - (exp(pi * (sqrt(-1) :: Complex Float)) + 1) 14:59:25 0.0 :+ 0.0 14:59:28 Woooo 14:59:55 Either it collapses the equation to x - x = 0, or the floating point errors are consistent ^^ 15:00:02 how come I don't have Creal. that shouldn't be so. 15:00:17 You shouldn't not have it? 15:00:35 floats are deterministic, eys 15:00:46 Yay 15:01:44 -!- lsiwe has joined. 15:01:51 "If the function takes arguments, declare them; if it takes no arguments, use void." - K&R2 I see code like this too, why is this? Is it explained later in K&R2, or is that all that it's going to say? (Talking about use of void when no args). 15:02:16 ~duck eys 15:02:16 Eys is a village in the municipality of Gulpen-Wittem, Limburg, the Netherlands. 15:02:29 i think "foo ()" just means it's a function without saying anything about the args, or something 15:02:30 ~eval 1 :: CReal 15:02:30 1.0 15:03:24 -!- Nisstyre-laptop has joined. 15:03:39 Something like that, yeah. If you follow that standard, then you can talk about doStuff() without having to specify that it's actually doStuff(Stuff *s1, Stuff *s2) 15:03:57 And without implying that doStuff() takes to arguments 15:04:10 Which is useful when documenting 15:04:13 Roujo: Was that directed towards me? 15:04:16 Yeah 15:04:24 Sorry =P 15:06:05 When I do documentation, I tend to have sentences like "This method relies on the argument's doStuff() method, which it uses to determine so-and-so." 15:07:07 `relcome lsiwe 15:07:10 ​lsiwe: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.) 15:07:11 Now, if doStuff() is actually doStuff(arg1, arg2, arg3, arg4, arg5), I don't want to write that out every time, so I use doStuff(). Someone who doesn't know the function, though, might think this means doStuff() doesn't take any arguments. 15:07:15 Roujo: How come people use it for main(), for example? Just standards? 15:07:33 Using the doStuff(void) when it does not take arguments makes it explicit 15:08:01 I don't know, I always use main with args =P 15:08:10 Even if I don't use them afterwards 15:09:46 Roujo: Ah, I see people do it for non-documentation reasons, as well. 15:10:06 int main(void) { /* … */ } for example 15:10:15 Might be. I mostly do Java anyway, and I don't think doStuff(void) is valid there =P 15:11:32 Roujo: http://in.answers.yahoo.com/question/index?qid=20100425213029AA7n6Bv 15:11:37 Seems to be only useful for documentation. 15:11:47 Nice 15:12:42 -!- jconn has quit (Ping timeout: 264 seconds). 15:13:59 -!- Nisstyre-laptop has quit (Ping timeout: 256 seconds). 15:15:52 I usually compile with gcc flags that make it impossible not to use a function's argument 15:16:38 so if I don't need main's arguments, I use main(void) 15:19:28 -!- AnotherTest has joined. 15:20:28 Hello 15:21:29 Anothello. 15:21:48 -!- Nisstyre-laptop has joined. 15:21:52 Helloily 15:24:29 `quote Nisstyre 15:24:31 No output. 15:34:42 -!- conehead has joined. 15:34:57 -!- Nisstyre-laptop has quit (Ping timeout: 256 seconds). 15:37:13 -!- lsiwe has quit (Ping timeout: 250 seconds). 15:37:46 -!- carado_ has joined. 15:39:28 -!- Nisstyre-laptop has joined. 15:40:26 -!- Nisstyre-laptop has quit (Read error: Connection reset by peer). 15:43:39 Koen_: Nice. What flags make that happen? 15:44:26 Roujo: well my school's correction program usually compiles with -Wall -Wextra -Werror so so do I 15:45:01 Cool, thanks =) 15:45:03 one of the three means "consider warnings as errors", another is "have some extra severe warnings that you usually don't have", and I don't know what is the third but something alkie 15:45:12 alike 15:46:38 ~duck alkie 15:46:38 alkie definition: slang alcoholic. 15:46:56 =P 15:52:20 ~duck consider phlebas 15:52:20 Consider Phlebas, first published in 1987, is a space opera novel by Scottish writer Iain M. Banks. 15:53:28 That's an odd title 15:53:52 -!- Bike has quit (Ping timeout: 264 seconds). 15:58:17 -!- Bike has joined. 15:58:31 -!- conehead has quit (Quit: Computer has gone to sleep.). 16:00:48 Roujo: yeah so -Wall adds A LOT of warnings, included about stuff that is legal but dubious, like "you used = instead of == in a condition, please add parentheses or something to insist on the fact that = is assignment"; -Wextra also adds extra warnings, but I think they're more about stuff where the code isn't logic, like if you're testing if an unsigned value is positive, or discarding the result of an expression that doesn't have any 16:00:48 effects; and finally -Werror turns all warnings into errors so the compilation will fail at the slightest warning 16:01:24 Nice 16:01:28 however gcc's man doesn't clear state whether the warning about unused arguments is caused by -Wall or -Wextra; in fact it seems to imply it's caused by having both flags 16:01:39 so I will test with only one of the two flags now 16:04:01 I think -Wextra implies -Wall... 16:04:38 Roujo: the title is a T. S. Eliot quote (I've never read the book but intend to at some point) 16:04:48 for that matter, I don't think I've ever read the poem it's a quote from in full. 16:05:11 things fall apart? 16:05:55 Bike: I'm... confused 16:06:09 i'm asking what you're talking about since i missed it. 16:06:41 wait, that was yeats 16:06:44 lol oops. 16:06:44 the title of the book Consider Phlebas by Iain M. Banks 16:06:46 -!- sdf9 has joined. 16:07:05 things fall apart is named after a line from a poem that i thought was eliot for some reason. oopsie! 16:07:14 -!- carado_ has quit (Quit: Leaving). 16:08:49 -!- carado has joined. 16:11:09 elliott: the man doesn"t say anything about -Wall to be include by -Wextra 16:12:26 Bike: right I was, I kinda assumed that was what was happening but I was worried that maybe I was the uncultured one so I didn't say anything specific 16:12:45 also I didn't actually know that it wasn't an Eliot quote, I had to google to check 16:12:52 I'm literally an incomplete person without wikipedia 16:13:47 * Fiora too 16:20:11 Koen_: Cool cats compile with -Wall -Wextra -Werror -ansi -pedantic 16:21:02 never heard of them 16:22:02 is that a british school? 16:25:37 Yes. 16:25:45 Cool Cats Polytechnic. 16:26:27 elliott is a student there. 16:34:06 ~duck look to windward 16:34:06 Look to Windward is a science fiction novel by Scottish writer Iain M. Banks, first published in 2000. 16:34:32 (Sorta-sequel, same poem.) 16:35:18 -!- conehead has joined. 16:52:33 -!- sdf93 has joined. 16:52:34 -!- sdf9 has quit (Remote host closed the connection). 16:54:07 elliott: so what can you say about cool cats? 16:59:05 -!- sdf93 has quit (Remote host closed the connection). 16:59:27 -!- sdf9 has joined. 17:01:28 -!- sdf9 has quit (Remote host closed the connection). 17:01:50 -!- sdf9 has joined. 17:03:52 -!- sdf9 has quit (Remote host closed the connection). 17:04:11 -!- sdf9 has joined. 17:06:12 -!- sdf9 has quit (Remote host closed the connection). 17:06:35 -!- sdf9 has joined. 17:08:38 -!- sdf9 has quit (Remote host closed the connection). 17:09:05 -!- sdf9 has joined. 17:10:09 back from a mexican lunch, elliott is related to everything, and who is sdf9? didn't we see a (~menot@...) yesterday? 17:10:26 sdf9 is someone about to get a +b for join/quit spamming 17:10:31 and yes they've used about five nicks or something so far :P 17:11:11 oh. should I expect ion being licked, or are they another person? 17:11:50 they're in, um, indonesia, looks like 17:12:57 So you backtraced him? 17:13:54 the IIITTTSSS strikes again... 17:14:17 (Indonesian Intimate Ion Terrible Tongue Therapy Subliminal Slimy Squad) 17:15:02 sorry, I do not know why it is happening. :p 17:15:30 oh, was the ion-licker indonesian? 17:15:43 sdf9: that's okay, we only do the death penalty here if your connection breaks 10 times 17:15:46 you still have a chance! 17:16:08 oh my gosh :O 17:16:22 elliott: So you're saying that Bike is undead by now? 17:17:39 I'm sure Bike is allergic to canadian brains, right? 17:18:06 * boily winks to Roujo, and whisper “Play along! We need to stay grouped against the hordes!” 17:19:17 Pretty sure e is *wink wink nudge nudge* 17:21:03 -!- douglass has joined. 17:21:42 * boily wields a 150m zombie-proof certified shovel of +3 organic holy aura (locally produced, for greenhouse gas reduction!) 17:27:31 -!- sdf9 has quit (Remote host closed the connection). 17:28:00 -!- sdf9 has joined. 17:28:19 that doesn't bode well for them... 17:28:56 The Clock is Ticking 17:31:40 -!- Phantom_Hoover has joined. 17:34:15 -!- sdf9 has quit (Remote host closed the connection). 17:34:41 -!- sdf9 has joined. 17:35:41 sdf9 is taking the lead over Bike wrt. post-redeundead zombiness. 17:36:41 * Roujo puts on his broadcaster headset. 17:36:56 It's a neck to neck race, boily. Bike will have to work double-time to get back in the lead. 17:38:56 -!- sdf9 has quit (Remote host closed the connection). 17:39:29 -!- sdf9 has joined. 17:39:57 -!- sdf9 has quit (Client Quit). 17:40:19 uh oh! the gap is widening with this surprise move from sdf9! with only a few laps remaining, we can say that Bike has no chance left! back to you, Roujo. 17:41:44 Thank you, boily. I'm on the edge of my seat right now, since there's no telling when the officials will call for a penatly. elliott has an history of... interesting calls in his line of duty, so predicting the outcome is a daunting task. 17:42:33 -!- sdf9 has joined. 17:43:01 -!- sebbu has quit (Read error: Connection reset by peer). 17:43:27 -!- sebbu has joined. 17:43:37 It ain't over 'till it's over! both contestants are showing their work, althought sdf9's technique is really shining now! Bike doesn't admit defeat easily, and who knows? elliott's sudden decisions can still bring a lot of surprises! 17:44:09 but, what is that? an unknown contestant? can you tell us more about sebbu? over to you, Roujo. 17:45:34 Ah, yes, sebbu. 6'7", strong as steel. Tough contestant, although he'll have to show more than that token effort to take the crown. 17:46:26 -!- epicmonkey has quit (Ping timeout: 264 seconds). 17:47:13 incredible! a fourth contender! I wouldn't like to get ahead of myself there, but I think this is the Match of the Century! 17:47:44 Even better than '84's Contest of Champions, boily& 17:47:45 ? 17:50:51 ? 17:50:55 -!- ^v has joined. 17:52:24 '84 was an incredible year, but I'm astonished by sdf9's performance here. but let's first ask ^v, our foreign liaison, how he feels about that race? 17:53:03 <^v> i was not alive in 1984 17:54:00 <^v> and i dont participate in history class 17:54:25 -!- sdf93 has joined. 17:54:26 laconic, but to the point. Roujo, the excitement is palpable here. just imagine the flood of emotions that are washing over those who can be close to the contestants and see them with their own eyes. 17:54:41 Ah, darn shame. Although come to think of it, I wasn't around in '84 either. Oooooh, and he's back! 17:55:12 <^v> you would have to be like 50 c_c 17:55:25 -!- sdf9 has quit (Remote host closed the connection). 17:55:31 I didn't think I could get any closer to the edge of my seat, but it seems the sdf9 decided that the Planck Lenght just wasn't short enough! So much excitement! 17:55:32 but under a different name! wasn't that move ruled unorthodox under last year's International Comittee General Assembly? because if so, that'd be very sad. the elegance... 17:55:46 <^v> 28* 17:56:10 <^v> well then 17:56:16 <^v> my mom was alive in 1984 17:56:31 <^v> boily: who are you and why arent you on topic c_c 17:56:45 It's indeed unorthodox, boily, but very much legal. The worst that could happen is that it's judged unsportsmanly, but the officials seem to be turning a blind eye to such shows of agility and prouesse these days. 17:57:24 <^v> what are you talking about 17:57:56 <^v> none of that made any sense, stop ^%$#ing english D: its bad enough 17:58:24 sdf9's race with Bike to the top of the d/c scoreboard, of course. Such an event, too, very exciting. 17:59:51 -!- ChanServ has set channel mode: +v Roujo. 17:59:53 -!- ChanServ has set channel mode: +v boily. 18:00:06 <^v> uhh 18:00:07 <^v> what 18:00:39 it seems we're having some communication problems with our external correspondant. we'll have to temporarily suspend the feed over to ^v... 18:00:57 <^v> you are raping english 18:01:09 that word is ban here 18:01:17 <^v> oops 18:01:19 <^v> sorry 18:01:36 Ahhh, I can talk better now. Broadcasting to the masses! The race seems to have come to a lull at the moment, with all contestants taking a temporary break. We'll be back after these commercials. 18:02:01 <^v> people who exesively use unnecicary adjectives on EVERYTHING makes me really mad 18:02:08 q: what the fuck is going on 18:02:54 Roujo: si la tendance se maintient, elliott won't be doing nothing soon. do you think he's acting on purpose in order to artificially increase the suspense? 18:03:28 boily: Probably. I don't believe in spontaneous voices, so they must have come from somewhere. 18:03:40 Oh, question from the audience. We go to boily for the answer! 18:05:27 dear kmc, we don't know either. you'll have to wait for the next round! and for your support, you win a Commemorative Great Redisunconnection Race keychain, 2013 Edition! 18:06:48 Very nice prize, valued at 50 BTC and brought to you by the #esoteric bots. Thank you, bots. 18:06:56 Thots. 18:10:07 * ^v parses 18:10:20 * ^v segfualts 18:10:46 I think that typo will cost ^v some points from the judges... What do you think, boily? 18:11:01 -!- Koen_ has quit (Quit: Koen_). 18:11:04 `thanks #esoteric bots 18:11:05 Thanks, #esoteric bots. Thesoteric bots. 18:11:17 wow that's actually good i guess. i expected it to break 18:11:37 is that a... 7... a 6... and what? a three from the third panelist! nooodl, why so harsh a judgment? 18:11:38 <^v> i dont think its a bot 18:11:56 `run echo I beg to differ 18:11:57 I beg to differ 18:12:27 ~echo I concur. HackEgo is a bot. 18:12:28 I concur. HackEgo is a bot. 18:12:41 ^I AM A FUNGOT 18:12:53 Huh 18:12:54 going to have to give a 10 on the "turing test" category here though. (3 + 10)/2 still a nice score 18:13:36 Questionable reasoning, but solid answer. We now go to our resident race analyst, fungot. Fungot? 18:13:36 Roujo: and is one thing which you might want more? and some stuff in my youth. ( under establishment)? i maintain my curiousity. i really enjoyed such powers... now it's nick!userhost-limited to me, and ile not wish thee more 18:13:54 -!- Bike has quit (Ping timeout: 264 seconds). 18:13:58 <^v> what the hell 18:14:00 -!- AnotherTest has quit (Read error: Connection reset by peer). 18:14:01 Wiser words, boily. Wiser. Words. 18:14:18 <^v> these bots 18:14:21 <^v> are getting 18:14:22 Oooh, and Bike's back in the race! Nice timeout there, a little high, could be rounder, but still fantastic. 18:14:22 -!- AnotherTest has joined. 18:14:24 <^v> out of hand 18:15:47 simply in-cre-di-ble, I say. I knew that Bike wouldn't admit such a position. nice move there. I applaud his ingenuity. the execution wasn't perfect, as you kindly remarked, but considering what level of exhaustion he must be in, it is still quite impressive. 18:15:57 -!- Bike has joined. 18:16:07 welcome bike 18:16:15 (it's a pun on welcome back) 18:16:21 elliott: never fear! if someone in a conversation is acting like an idiot but it's not me you can assume it's me. it's one of many services i offer. 18:16:26 welqy 18:17:21 "but it's not obvious who"*, not "it's not me", because it is me 18:18:18 are you drunk. 18:18:58 Roujo: elliott is finally active! what will be his next move? 18:19:06 Now, viewers, please direct any criticism on this race's reporting by using the `complaint command. Our house elves will examine and reply shortly. 18:19:13 i am SCIENCE 18:19:19 Wait, what was `complaints. Feel free to report that as well. 18:19:56 boily: I have no idea, but I can't wait. The competitors have been fiercly arguing about the legality of sbf9's nick change, and I'm hoping the issue will be resolved shortly. 18:21:05 Wait, it's actually sdf9, not sbf9. I smell a penalty. 18:21:53 ah, so many opportunities lost! what are the umpires doing?... wait!... is that?... yes, we got our feed back to ^v! 18:22:17 ^v: do you feel rules should be more strictly enforced? 18:22:55 <^v> no 18:22:56 <^v> please 18:22:57 <^v> go 18:23:05 <^v> stop pinging me or im going to leave 18:23:29 -!- ^v has changed nick to StopPingingMeRou. 18:23:46 -!- StopPingingMeRou has changed nick to StopItBoilyRoujo. 18:24:39 We mean no harm. We live to report, that is all. No pings for you, then. 18:24:42 -!- billion57 has joined. 18:24:49 `complaint Pings seem to be too frequent 18:24:50 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: complaint: not found 18:24:55 `complaints Pings seem to be too frequent 18:24:57 Complaint filed. Thank you. 18:25:58 `run mv bin/complaints bin/complain 18:26:01 `relcome billion57 18:26:01 No output. 18:26:04 ​billion57: 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.) 18:29:15 -!- billion57 has quit (Ping timeout: 250 seconds). 18:30:31 -!- MindlessDrone has quit (Quit: MindlessDrone). 18:33:14 -!- sdf93 has quit (Remote host closed the connection). 18:35:15 -!- sdf93 has joined. 18:36:15 -!- StopItBoilyRoujo has changed nick to dan200. 18:36:19 -!- dan200 has left ("Leaving"). 18:38:14 And another point for sdf93! The count just keeps on couning, doesn't e. 18:40:07 perhaps I should build an out-of-order cpu one day 18:42:08 -!- sdf93 has quit (Remote host closed the connection). 18:42:49 -!- STOP_KICKING_ME has joined. 18:43:14 STOP_KICKING_ME: Nobody's kicking you. You're doing this to yourself. 18:43:37 Think about it. Look inside yourself. You will see: I speak only truth. 18:43:48 * Bike nods sagely 18:49:02 -!- STOP_KICKING_ME has quit (Remote host closed the connection). 18:49:43 -!- IT_IS_NOT_ME_IT_ has joined. 18:50:11 IT_IS_NOT_ME_IT_: Sure it's you. You keep closing the connection. 18:50:15 >STOP_KICKING_ME [~menot@118.99.127.142] has quit IRC: Remote host closed the connection 18:50:16 See? 18:50:25 hey 18:50:27 what 18:50:35 Good People Don't Close Connections Like That Mmmmkay? 18:50:40 kmc: What's what for? 18:50:45 what is going on 18:51:04 `olist (917) 18:51:06 olist (917): shachaf oerjan Sgeo FireFly 18:51:40 kmc: IT_IS_NOT_ME_IT_ keeps d/c'ing, but says we're kicking him. 18:51:53 Nevermind the fact that nobody is op here. 18:52:04 im op here 18:52:08 IT_IS_NOT_ME_IT_: would it help if I kicked you?? 18:52:10 -!- ChanServ has set channel mode: +o elliott. 18:52:11 Well, not right now =P 18:52:12 just say when 18:52:14 Ooooh 18:53:18 I think I may be addicted to petty abuse of power ;_; 18:54:12 elliott: i could've told you that 19:00:50 -!- IT_IS_NOT_ME_IT_ has quit (Remote host closed the connection). 19:06:02 -!- epicmonkey has joined. 19:11:21 -!- everquester has joined. 19:13:31 -!- everquester has quit (Remote host closed the connection). 19:15:32 -!- everquester has joined. 19:21:42 -!- AnotherTest has quit (Ping timeout: 264 seconds). 19:28:22 -!- everquester has quit. 19:29:32 -!- mnoqy has quit (Quit: hello). 19:58:42 abuse of power is good. especially with chocolate milk. 20:00:58 -!- zt has joined. 20:00:59 ^^ 20:03:27 -!- epicmonkey has quit (Ping timeout: 260 seconds). 20:03:44 -!- zt has quit (Client Quit). 20:21:32 fizzie: how's the tvtroping? 20:21:47 (do we have dates associated with `quotes? that one seems very old) 20:24:38 hg blame on the quotes file? 20:27:26 god damn it, I upgraded my graphics drivers and now I can't use valgrind on this program I need to debug :( 20:28:14 olsner: oh. right. 20:30:29 `quote Glurk 20:30:30 687) * Phantom_Hoover moves 0.5 Phantom_Hoover into the Atlantic, and captures fizzie's upper body with 0.5 Phantom_Hoover. Glurk. 20:31:35 elliott, why, exactly, does Gregor not have voice 20:31:53 sore throat? 20:32:52 boily: 20:32:53 $ wc -l tvtropes.txt 20:32:53 61 tvtropes.txt 20:33:21 surely tvtropes is a bit longer than that? 20:33:39 olsner: It's a queue. 20:33:47 (See the referred-to quote.) 20:33:55 `quote tvtropes 20:33:57 234) Phantom_Hoover: I have just one tvtropes page open in elinks, but my tvtropes.txt "queue" has 38 tvtropes.org URLs waiting for processing. 20:34:00 `pastelogs tvtropes\.txt 20:34:47 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.17188 20:35:27 I probably haven't updated that file for a year, though. 20:37:21 kmc: what 20:37:41 isn't software engineering such a wonderful profession 20:38:55 http://www.theguardian.com/world/2013/sep/05/nsa-gchq-encryption-codes-security "SSL is dead" 20:43:45 fizzie: your quotes are included in the PDF! 20:48:51 boily: I'm confused. Wasn't the PDF about wise things? 20:50:17 well, you know, like, feature creep and all that. besides, reformatting quotes is fun! 20:50:21 (no, I am not insane.) 20:50:40 right. 20:51:06 btw, is glumgot a bot? 20:51:38 I think so but I have no idea what it does 20:52:45 I like Philip Glass. one two three four five six ♪ faaaa faaaa faaaa faaa ♪ 20:58:56 -!- oerjan has joined. 20:59:29 * oerjan swats everyone (including ais523 in absentia) for not telling his /// quine had been reddited. 20:59:32 oops 20:59:36 * -----### 21:00:03 boily: Huh, there's surprisingly many of them. 21:01:13 fizzie: I still have to reformat the behemoths of augur and Bike's quotes, but yours was still substantial enough. 21:01:27 -!- carado has quit (Ping timeout: 260 seconds). 21:01:28 oerjan: ais523 has a reddited quine? where? where? 21:01:33 * boily needs his reddit fix! 21:01:39 boily: no _mine_ 21:01:52 still. me want. 21:01:58 http://www.reddit.com/r/programming/comments/1ljhm9/this_is_one_pleasantlooking_and_completely_insane/ 21:04:01 ...i guess not to be hypocritical, i should mention this is currently top of proggit http://www.reddit.com/r/programming/comments/1ls0bc/brainfuck_interpreter_in_brainfuck/ 21:06:07 oerjan: how did you even make that quine help 21:06:51 i modified the coding method from the BCT interpreter 21:06:56 github has bf syntax hiliting. I am scared. 21:07:47 which itself was modified from the slightly more readable loops in the exampes above. 21:08:58 sometimes I feel like the rest of the world is doing more esolang work than #esoteric 21:09:17 hey, we do have a wiki about esolangs. I honestly forgot about it... >_>'... 21:11:31 -!- carado has joined. 21:11:48 boily: >_> 21:16:31 nooodl: ///\\ is a quoting prefix, if you remove that you will find a copy of the surrounding program inside. the rest then makes two copies of that (one inside the other), and modifies the quoting prefix appropriately in each copy. 21:17:49 pretty standard quine on a higher level. 21:20:06 Bike: oh it's because the new graphics driver is using a different malloc 21:20:07 of course 21:20:20 i think we had a discussion here once where i helped someone make a similar quine without the /\ only obfuscation. 21:20:36 kmc: obviously 21:23:12 other things starting with ///, like ///\/\/\ at the end, may be considered tokens/labels. 21:23:40 (that one is the label for where the final output form ends up, btw.) 21:30:45 `quote Fluttershy 21:30:47 803) !rot13 Fluttershy Rainbow Dash Rarity Applejack Twilight Sparkle Pinkie Pie Syhggreful Envaobj Qnfu Enevgl Nccyrwnpx Gjvyvtug Fcnexyr Cvaxvr Cvr oh, they're all named after rot13'd welsh words 21:33:53 oddly, LaTeX hyphenated Nccyr-wnpx. 21:34:38 nooodl: btw that unreadable label choice started from thinking about how to program using /\ only, and noticing that ///// would never show up naturally in a program, then whittling it down by restricting the coding style somewhat. (the BCT interpreter manages with just two slashes, but the quine needed three unless i added cruft that would have made it longer in total anyway.) 21:34:44 and now, with Gregor's quotes up to date, time to go enbooze myself. 21:34:47 -!- boily has quit (Quit: Poulet!). 21:34:49 -!- metasepia has quit (Remote host closed the connection). 21:45:22 nooodl: also btw i used haskell programs to put this mess together :) 21:45:44 i saw! 21:45:56 the /\ only style was a bit much to keep track of with vim :) 21:45:57 i gotta go right now but i'll dissect the whole thing a bit later, maybe 21:47:11 *just vim 21:52:11 -!- nooodl has quit (Ping timeout: 260 seconds). 21:55:26 -!- douglass has quit (Ping timeout: 245 seconds). 21:55:59 > sqrt(-1) :: Complex CReal 21:56:00 0.0 :+ 1.0 21:57:03 > exp (pi * (0 :+ 1)) :: Complex CReal 21:57:04 (-1.0) :+ 0.0 21:57:14 Roujo: ^ 21:57:56 also Bike i guess 21:58:55 oh duh you already did it 21:59:00 * oerjan is so out of date 22:07:20 `? eliot 22:07:22 eliot? ¯\(°_o)/¯ 22:07:22 | 22:07:22 º¯`\o 22:07:44 `ls wisdom/el?iot? 22:07:46 ls: cannot access wisdom/el?iot?: No such file or directory 22:07:49 oops 22:07:54 `ls wisdom/el*iot* 22:07:55 ls: cannot access wisdom/el*iot*: No such file or directory 22:08:03 `run ls wisdom/el*iot* 22:08:05 wisdom/elliot \ wisdom/elliott 22:08:10 `? elliot 22:08:12 No one was ever called Elliot. 22:12:54 gaaaaaaaah and now it segfaults half the time, but never in Valgrind 22:12:56 `? ion 22:12:58 ion? ¯\(°_o)/¯ 22:12:58 | 22:12:58 º¯`\o 22:14:34 -!- aloril has quit (Ping timeout: 246 seconds). 22:18:19 kmc: fix the bug by making the program exec itself under valgrind 22:19:18 good plan 22:19:54 elliott: That's... a terrible idea 22:19:59 And yet so tempting 22:20:14 Oh, oerjan 22:20:18 You missed my reign 22:20:38 -!- Koen_ has joined. 22:21:13 -!- Koen_ has quit (Read error: Connection reset by peer). 22:21:29 -!- Koen_ has joined. 22:24:50 -!- tswett has joined. 22:25:02 Hey, do we know someone named Wei Dai? thx 22:25:18 Wei Dai: not in scope 22:25:41 @tell boily Not sure what you're referring to. 22:25:41 Consider it noted. 22:28:23 -!- aloril has joined. 22:30:50 `which c++filt 22:30:52 ​/usr/bin/c++filt 22:31:00 `echo _ZNK13GrGLInterface5GLPtrIPFviPKjEEcvS4_Ev@plt | c++filt 22:31:01 _ZNK13GrGLInterface5GLPtrIPFviPKjEEcvS4_Ev@plt | c++filt 22:31:06 `run echo _ZNK13GrGLInterface5GLPtrIPFviPKjEEcvS4_Ev@plt | c++filt 22:31:07 GrGLInterface::GLPtr::operator void (*)(int, unsigned int const*)() const@plt 22:31:58 isn't that a wonderful name for a function 22:39:14 very readable 22:39:31 -!- augur_ has quit (Remote host closed the connection). 22:39:58 -!- augur has joined. 22:44:21 -!- augur has quit (Ping timeout: 248 seconds). 22:49:10 status: writing debug helpers in C, injecting them with LD_PRELOAD, and calling them from gdb 22:49:37 jesus 22:49:45 -!- douglass has joined. 22:49:48 "can't you at least write them in Rust" 22:49:51 lool 22:49:58 yes but then I would have two problems 22:53:26 -!- conehead has quit (Quit: Computer has gone to sleep.). 22:54:35 write debug helper in rust, inject them into rustc with ld_preload, call them from... uh... gdrust?? 22:56:13 gnu derust? yeah, sure. 23:04:27 i have a big jar of rust remover at my house 23:04:29 i should bring that in one day 23:05:37 so in ocaml, && and || are lazy 23:05:54 just thrhow rust remover all over the office 23:05:55 but if you define a function as let f = (||);; 23:05:59 THIS IS WHAT I THINK OF YOUR DAMN LANGUAGE 23:06:03 then f is not lazy 23:06:37 Koen_: this doesn't seem surprising? 23:06:47 yeah but why is || lazy ? 23:06:52 it's supposed to be a function 23:06:58 functions in ocaml are not lazy 23:07:05 convenience? 23:07:13 also totally unrelatedly 23:07:24 i just saw "just-in-time" in the context of pedagogy :| 23:07:28 -!- augur has joined. 23:07:46 I just saw just-in-time in the context of compiling befunge programs 23:07:54 what's just-in-time in the context of pedagogy? 23:08:08 "I recommend an alternative, historically inspired ordering of population genetics topics, based on progressively increasing mathematical difficulty. This progression can facilitate just-in-time math instruction." 23:10:42 -!- SingingBoyo has joined. 23:22:36 -!- Bike has quit (Ping timeout: 276 seconds). 23:24:44 -!- Koen_ has quit (Quit: Koen_). 23:27:00 -!- yorick has quit (Remote host closed the connection). 23:32:53 -!- SingingBoyo has quit (Ping timeout: 248 seconds). 23:50:31 -!- Bike has joined.