00:07:42 I scoured the TCP & UDP section to make sure it didn't contain "I'd tell you a UDP joke, but you might not get it." 00:08:04 That joke is incorrect. It implies that TCP guarantees delivery. This is not the case. 00:08:51 That joke is not incorrect. 00:09:16 No? 00:10:01 does TCP guarantee that if the recipient doesn't get a packet, they won't get any subsequent packets either? 00:10:07 Doesn't seem to imply that from the joke? 00:10:22 It says nothing about TCP anyways 00:10:30 ais523: pretty sure, yeah. 00:11:26 What's the nice thing about a UDP joke? If you don't get it, you don't have to hear it again and again until you do. 00:11:37 -!- PinealGlandOptic has quit (Quit: leaving). 00:12:31 ais523: Well, a byte in the TCP stream, not a packet. 00:12:37 shachaf: err, yes 00:16:43 -!- heroux has quit (Ping timeout: 252 seconds). 00:21:12 -!- heroux has joined. 00:32:01 -!- Herbalist has joined. 00:32:03 -!- Herbalist has quit (Changing host). 00:32:03 -!- Herbalist has joined. 00:34:21 -!- variable has changed nick to constant. 00:39:08 -!- Wright has quit (Read error: Connection reset by peer). 00:40:40 -!- bb010g has joined. 00:44:18 -!- YokeOfIdea has quit (Remote host closed the connection). 00:46:39 -!- PinealGlandOptic has joined. 00:47:54 -!- PinealGlandOptic has quit (Client Quit). 00:50:47 FFFFFFFFFFFFFFF 00:51:00 -!- PinealGlandOptic has joined. 00:51:16 -!- PinealGlandOptic has quit (Client Quit). 00:51:51 -!- PinealGlandOptic has joined. 00:52:03 -!- PinealGlandOptic has quit (Client Quit). 00:52:19 -!- PinealGlandOptic has joined. 00:52:44 -!- PinealGlandOptic has quit (Client Quit). 00:56:06 -!- PinealGlandOptic has joined. 00:56:09 -!- Wright has joined. 00:57:47 -!- PinealGlandOptic has quit (Client Quit). 01:01:03 -!- PinealGlandOptic has joined. 01:01:52 -!- evalj has quit (Remote host closed the connection). 01:07:41 -!- PinealGlandOptic has quit (Quit: leaving). 01:08:26 -!- YokeOfIdea has joined. 01:09:30 -!- PinealGlandOptic has joined. 01:10:30 `? willkommen 01:10:34 Willkommen beim internationalen Zentrum für das Design und die Implementierung esoterischer Programmiersprachen! Für weitere Informationen besuchen Sie das Wiki: http://esolangs.org/wiki/Main_Page. (Für andere Arten der Esoterik gibt es #esoteric auf irc.dal.net.) 01:11:03 `` sed -i 's/auf .*/auf EFnet oder DALnet.)/' wisdom/willkommen 01:11:04 No output. 01:11:07 `? willkommen 01:11:08 Willkommen beim internationalen Zentrum für das Design und die Implementierung esoterischer Programmiersprachen! Für weitere Informationen besuchen Sie das Wiki: http://esolangs.org/wiki/Main_Page. (Für andere Arten der Esoterik gibt es #esoteric auf EFnet oder DALnet.) 01:21:54 `ls -l canary 01:21:55 ls: invalid option -- ' ' \ Try `ls --help' for more information. 01:22:01 `` ls -l canary 01:22:04 total 0 \ lrwxrwxrwx 1 5000 0 1 Jun 8 20:21 canary -> . 01:23:08 `` echo test >test; rm canary; mv test canary 01:23:10 rm: cannot remove `canary': Is a directory 01:23:26 wat 01:23:31 `` ls -l canary 01:23:32 total 4 \ lrwxrwxrwx 1 5000 0 1 Jun 8 20:21 canary -> . \ -rw-r--r-- 1 5000 0 5 Jun 9 01:24 test 01:24:19 `` which rm 01:24:22 ​/bin/rm 01:24:55 `` rm canary; echo test >canary 01:24:56 rm: cannot remove `canary': Is a directory \ bash: canary: Is a directory 01:25:00 -!- yorick has quit (Ping timeout: 256 seconds). 01:25:04 htf did this happen 01:25:36 `ls 01:25:37 ​:-( \ 0 \ 113500 \ a.o \ a.out \ bdsmreclist \ bin \ canary \ cat \ :-D \ dc \ dog \ error.log \ etc \ factor \ faith \ fu \ head \ hello \ hello.c \ hours \ ibin \ index.html?dl=1812 \ interps \ le \ lib \ MaFV \ paste \ pref \ prefs \ py.py \ quines \ quotes \ random_elliott \ real \ script.py \ share \ src \ twolines \ Wierd \ wisdom \ wisdom 01:26:05 `` mv canary/test . 01:26:07 No output. 01:26:18 `` ls -lL canary 01:26:18 total 4 \ drwxr-xr-x 2 5000 0 4096 Jun 9 01:27 canary 01:26:48 -!- yorick has joined. 01:26:57 `` ls rmdir canary; echo hm >canary 01:26:58 ls: cannot access rmdir: No such file or directory \ canary: \ canary \ bash: canary: Is a directory 01:27:05 `` rmdir canary; echo hm >canary 01:27:06 rmdir: failed to remove `canary': Directory not empty \ bash: canary: Is a directory 01:27:15 `` ls canary 01:27:15 canary 01:27:22 oh duh 01:27:32 `` rm canary/canary 01:27:34 No output. 01:27:51 `` rmdir canary; echo hm >canary 01:27:52 rmdir: failed to remove `canary': No such file or directory 01:28:02 `` ls canary 01:28:03 canary 01:28:10 `` ls -l canary 01:28:11 ​-rw-r--r-- 1 5000 0 3 Jun 9 01:29 canary 01:28:18 `cat canary 01:28:19 hm 01:28:47 `ls test 01:28:48 test 01:29:24 `` rm canary; mv test canary 01:29:26 No output. 01:29:32 `` ls -l canary 01:29:32 ​-rw-r--r-- 1 5000 0 5 Jun 9 01:31 canary 01:29:37 `` ls test 01:29:38 ls: cannot access test: No such file or directory 01:29:48 `` cat canary 01:29:49 test 01:29:52 -!- Sgeo_ has joined. 01:30:23 oh well 01:31:14 -!- Sgeo has quit (Ping timeout: 256 seconds). 01:33:23 `cat bin/complain 01:33:26 print_args_or_input "$@" >> Complaints; echo Complaint filed. Thank you. 01:34:44 -!- hilquias has joined. 01:37:10 `revert 5484 01:37:17 Done. 01:37:23 `` ls -l canary 01:37:23 total 0 \ lrwxrwxrwx 1 5000 0 1 Jun 9 01:38 canary -> . 01:38:25 oerjan: what are you trying to do? 01:39:11 just testing if there was a loophole in the canary checking 01:39:37 which there didn't seem to be, but first i had to undo the mess y'all created today 01:40:12 it was mostly me 01:40:31 I wanted to make the canary a symlink to itself but it can't be a symlink 01:40:54 did you test making it a symlink to something else? 01:41:57 (otherwise i'm going to call the evidence insufficient) 01:42:06 no, but I'm pretty sure that that was the problem 01:42:16 `revert 01:42:17 rm: cannot remove `/home/hackbot/hackbot.hg/multibot_cmds/env/canary.orig': Is a directory \ Done. 01:42:26 wat 01:42:32 `` ls -l canary 01:42:32 `` ls -l canary 01:42:33 ​-rw-r--r-- 1 5000 0 5 Jun 9 01:43 canary 01:42:33 ​-rw-r--r-- 1 5000 0 5 Jun 9 01:43 canary 01:42:41 `cat canary 01:42:42 test 01:42:59 `` (rm canary; ln -s /bin/wisdom canary; ls -l canary) 01:43:01 lrwxrwxrwx 1 5000 0 11 Jun 9 01:44 canary -> /bin/wisdom 01:43:06 `` ls -l canary 01:43:07 ​-rw-r--r-- 1 5000 0 5 Jun 9 01:44 canary 01:43:11 -!- Wallacoloo has joined. 01:43:13 is that sufficient for you? 01:43:14 OKAY 01:43:16 `revert 5484 01:43:17 rm: cannot remove `/home/hackbot/hackbot.hg/multibot_cmds/env/.hg/store/data/canary.orig': Is a directory \ Done. 01:43:39 `` ls -l canary 01:43:39 total 0 \ lrwxrwxrwx 1 5000 0 1 Jun 9 01:44 canary -> . 01:46:14 could we exploit this to delete the canary <-- oh you had the same idea :P 01:57:49 you know your macros have gone too far when you start needing to use a macro like 01:58:01 #define ap 01:58:12 #define ap(a,b...) a(b) 01:58:16 #define ap2(a,b...) a(b) 01:58:18 #define ap3(a,b...) a(b) 01:58:21 and so on 01:59:09 Are you sure? 01:59:51 Sometimes you would want to define macro in two difference ways to parse include files in many different ways. 02:00:24 oren: that's GNU syntax right? 02:00:28 yeah 02:00:31 and I assume you have to use multiple different macros so that you can nest them? 02:00:39 yes 02:01:14 hmm, can you use macro expansion to produce the line number part of #line directives? 02:01:24 if so, you could probably include the same file multiple times with different line numbers 02:01:41 and then use token pasting and recursive includes to create different macro variants 02:01:49 except that the left half of a #define can't be macro-expanded, meh 02:04:20 I think there's an option to gcc to run the preprocessor twice? 02:05:19 still wouldn't work, I think 02:05:41 if gcc had an option to run the preprocessor repeatedly until it reached a fixed point, on the other hand… 02:06:37 Yeah, that's been demonstrated. 02:06:53 Or if you can allowed to make _CPP("x(%d)",42) to allow it to execute preprocessor again a second time and expand x(42) into its place instead. 02:07:01 Someone actually submitted to IOCCC something that was TC in such an environment IIRC. 02:09:02 Ah yes, http://www.ioccc.org/2001/herrmann1.hint 02:32:38 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 02:35:52 -!- nys has quit (Quit: quit). 02:42:48 -!- tromp has quit (Read error: Connection reset by peer). 02:43:07 -!- tromp has joined. 02:45:27 Are there any esoteric instruction sets out there in which the instruction length is 1-bit? 02:45:41 Wallacoloo: yes 02:46:00 Wallacoloo: there is http://esolangs.org/wiki/TOD (language, not ISA) but there are also 1-bit instruction length arches 02:47:18 That's terrifying! 02:47:52 there's also the various 1L variants 02:48:06 although those are two-dimensional 02:48:25 I'm pretty new here, ais523: what's 1L? 02:48:28 and the turning tarpits 02:48:31 TOD is basiaclly one of those 02:48:35 http://esolangs.org/wiki/1L 02:49:04 Oh, I see. 02:53:51 So the idea that most intrigues me is something like bit-bit-jump, in which the underlying system doesn't really need to implement any logic functions (i.e. no ALU, no counters like a PC), but reduced to a 1-bit instruction length. I've been trying to think of ways to achieve that, but to no avail yet. 02:55:02 hmm, this reminds me of http://esolangs.org/wiki/MiniMAX but that doesn't scale down to one bit 02:59:18 ais523: Similar, although that one requires the interpreter / circuitry to implement an adder (for the relative jumps). 02:59:42 Wallacoloo: yes 02:59:57 the idea behind minimax is that all the operations it needs happen to be single x86 instructions 03:00:01 (if ones that aren't used that much) 03:03:51 -!- Herbalist has quit (Ping timeout: 255 seconds). 03:04:30 -!- bb010g has quit (Remote host closed the connection). 03:04:31 -!- supay has quit (Write error: Broken pipe). 03:04:34 -!- ocharles_ has quit (Write error: Broken pipe). 03:07:53 -!- edwardk has quit (Quit: X_X). 03:37:16 -!- GeekDude has quit (Quit: ZNC - http://znc.in). 03:44:33 -!- Gregor has quit (Ping timeout: 256 seconds). 03:48:08 -!- Gregor has joined. 04:05:40 -!- constant has quit (Remote host closed the connection). 04:07:27 -!- variable has joined. 04:11:07 ais523: jot is 1bit isn't it? 04:11:21 quintopia: oh yes, I hadn't thought of that 04:11:31 although it doesn't really have two commands, so much as one command and an opening paren 04:11:38 (you can figure out where the closing ones are by context) 04:11:48 so it's a tree structure rather than a linear program 04:11:51 Wallacoloo: http://esolangs.org/wiki/Jot 04:12:29 ais523: but an opening parenthesis is an operator. push to stack or w/e. 04:13:02 quintopia: forward-polish is quite hard to express as a stack machine 04:13:07 I guess "jot written backwards" works 04:13:28 hmm...or "jot read backwards"? 04:13:55 In the Dungeons&Dragons game I tend to use both mundane and magical stuff to accomplish something, but this can include powers that are not my own such as hiding a wand I have stolen (I didn't know its function) under a door (which I have previously cast mirror object on to reverse its hinges), so that when they open it the wand will affect them, or deliberately standing in the opponent's slowing field and firing a flaming arrow, in order to trick t 04:14:02 quintopia: I guess that's a different but equivalent langauge 04:14:54 thanks zzo38, now i want to play a round of delver, but i need to go to bed... 04:16:57 -!- password2 has joined. 04:18:38 Usually the mundane though when it seem possible or easily enough, including using mundane utilities on magical stuff (such as writing additional tally marks on a magical device I do not own), or that there are various costs associated with magical powers, such as time (for everything really though), using up slots/power-points (except for mind-blast which uses only time, and anti-magic amulet which must disable everyone's magic including my own, an 04:20:45 Or sometimes I put in my own costs/limitations to make it more interesting. 04:23:34 The magic might also be suppressed, interrupted, altered, or countered, though; those are other thing to consider when dealing with maical stuff...!!! 04:24:11 asi523 / quintopia: Thanks for the link. Regardless, Jot looks interesting, though it's gonna take me some time to figure it out since I'm not familiar with the system being used to describe the language's grammar. 04:33:13 -!- tromp has quit (Remote host closed the connection). 04:40:32 Wallacoloo: there's also https://esolangs.org/wiki/Bitwise_Cyclic_Tag if you're okay with a separate data queue. 04:44:56 `wisdom 04:44:58 output/ 04:45:31 Oh, I get it. 04:45:33 `? output 04:45:34 No output. 04:45:49 quintopia: Interesting! 04:48:38 `wisdom 04:48:39 fact/facts are lies. They are not there. Go away! 04:49:05 -!- Wright has quit (Ping timeout: 250 seconds). 04:57:10 BCT is glorious 04:57:19 actually is BCT turing-complete starting from an empty queue? 04:57:28 it has three commands, though, really 04:57:30 not two 04:59:30 since the action on an empty queue is always to halt immediately... 04:59:51 or hm 05:00:22 yes. 05:00:58 also, neither command can work on an empty queue. 05:13:20 `wisdom 05:13:21 endomorphism/Endomorphisms are just morphisms which compose with themselves. 05:14:00 Is my definition of a factorial of a category correct, or is it all wrong? 05:17:20 ^bool 05:17:20 No. 05:19:17 What are you trying to do, toss a coin? 05:24:06 -!- ais523 has quit (Read error: Connection reset by peer). 05:24:18 -!- ais523 has joined. 05:27:45 zzo38: asking fungot the answer to your question, hth 05:27:45 oerjan: there's a good reason to learn the scheme way 05:33:51 -!- tromp has joined. 05:35:10 oerjan: That isn't a very good way you should try to answer the question properly 05:36:02 zzo38: What is your definition of a factorial of a category? 05:36:20 -!- password2 has quit (Ping timeout: 272 seconds). 05:36:48 zzo38: no i shouldn't, my brain wouldn't be able to. also what shachaf said. 05:37:33 how is ^bool implemented? hardcoded funge? 05:37:54 neither BF nor Underload can even do PRNGs in a one-time-run process because they have no way to seed 05:38:03 ais523: it has to be, neither interpreted language supports it 05:38:16 ^show bool 05:38:16 Another option is that it always says No. 05:38:28 ^show prefixes 05:38:28 (Bot prefixes: fungot ^, HackEgo `, EgoBot !, lambdabot @ or ?, thutubot +, metasepia ~, idris-bot ( , jconn ) , blsqbot !)S 05:38:29 -!- tromp has quit (Ping timeout: 250 seconds). 05:38:37 yep, ^show would have worked if it wasn't hardcoded 05:41:02 I defined as the category of bijective endofunctors of category 05:45:10 -!- gde33 has joined. 05:50:55 zzo38: sounds reasonable for finite sets at least 06:07:31 And then how to do with infinite sets? 06:24:07 -!- scoofy has quit (Ping timeout: 246 seconds). 06:32:10 -!- hilquias has quit (Remote host closed the connection). 06:32:14 -!- bb010g has joined. 06:33:04 ais523: https://github.com/fis/fungot/blob/master/fungot.b98#L202 06:33:05 Deewiant: i was going to mention another idea: provide an environment where all modifiers function has been given a meaning ( at runtime) before it's encountered in program flow, like, well, 44 fixed the properties dialog." 06:37:47 -!- ocharles_ has joined. 06:46:40 -!- variable has quit (Ping timeout: 264 seconds). 06:49:15 Maybe I should just learn VRML 06:51:47 -!- glowcoil has quit (Remote host closed the connection). 06:51:47 -!- mbrcknl has quit (Remote host closed the connection). 06:53:03 -!- a2 has joined. 07:02:10 -!- supay has joined. 07:02:48 -!- edwardk has joined. 07:02:51 -!- glowcoil has joined. 07:06:06 -!- oerjan has quit (Quit: ETc.). 07:08:20 -!- a2 has quit (Quit: WeeChat 1.0.1). 07:08:39 -!- a2 has joined. 07:23:19 -!- tromp has joined. 07:27:28 -!- tromp has quit (Ping timeout: 246 seconds). 07:28:11 -!- mbrcknl has joined. 07:49:55 -!- evalj has joined. 07:53:33 fnord morning everybody 07:55:35 `cat bin/Complaints 07:55:41 cat: bin/Complaints: No such file or directory 07:55:47 `run find ./ | grep Complaints 07:55:50 No output. 07:55:55 `run find ./ | grep compl 07:55:57 ​./bin/complaints \ ./bin/complain \ ./.hg/store/data/complaints.i \ ./.hg/store/data/bin/complaints.i \ ./.hg/store/data/bin/complain.i \ ./.hg/store/data/git-master/contrib/completion \ ./.hg/store/data/git-master/contrib/completion/git-completion.tcsh.i \ ./.hg/store/data/git-master/contrib/completion/git-completion.bash.i \ ./.hg/store/data/g 07:56:08 `cat ./bin/complaints 07:56:09 wc -l Complaints 07:56:13 I thought `complain sent it to /dev/null 07:56:15 maybe not? 07:56:21 `run wc -l Complaints 07:56:22 wc: Complaints: No such file or directory 07:56:27 `complaints 07:56:28 wc: Complaints: No such file or directory 07:56:41 `cat bin/complain 07:56:42 print_args_or_input "$@" >> Complaints; echo Complaint filed. Thank you. 07:56:53 hmm, I wonder how new that is 07:57:24 `ls Complaints 07:57:25 ls: cannot access Complaints: No such file or directory 07:57:44 `run echo Hi >> Complaints 07:57:49 No output. 07:57:52 `cat Complaints 07:57:53 Hi 07:58:03 hu 07:58:08 `complain Bye 07:58:10 Complaint filed. Thank you. 07:58:12 `cat Complaints 07:58:12 Hi \ Bye 07:58:26 `run echo > Complaints 07:58:28 No output. 07:58:29 `cat Complaints 07:58:29 No output. 07:59:31 -!- zadock has joined. 08:03:52 I hope the "legacy tax" passes this weekend. 08:05:37 I like how they say that it's a "family unfriendly"-tax 08:07:03 Because I doubt most families have enough to bequeath for the legacy tax being applied to it. 08:07:22 Since it is only applied for >2. Mio. 08:11:35 except that it is retroactive (?). That's not really a nice thing to do. 08:12:57 mroman: the rich families can hide their money in a foriegn bank, can't they? 08:13:06 Probably 08:13:17 but the new "legacy tax" would actually be less than what most Cantons have 08:13:28 most cantons have around 25% to 30% legacy tax 08:13:40 whereas the new state wide legacy tax would only be 20% 08:13:53 (which is why most Cantons don't really want that because it means they'll loose money) 08:14:01 so rich people generally profit from this. 08:14:15 I think taxing the rich usually doesn't do much good because the rich are so mobile 08:14:44 Well, if you're rich then this new tax shouldn't bother you 08:14:51 because the new tax will be less 08:15:13 I meant in general 08:16:44 The super rich ones are certainly very mobile, yes. 08:20:40 oh wait 08:20:58 most cantons don't have a legacy tax for passing it on to direct children 08:21:56 with the new tax you can pass on 4 Mio. to your children tax-free. 08:22:41 oren: I think the general argument is that since everybody has to pay tax on what he earns peolpe who "earn" money by inherting it should do the same 08:22:48 *people 08:24:07 oren: not only the rich ones. You could hide money as well. 08:24:51 but wealth tax is so low that somebody with just a little money doesn't really have enough incentive to do that. 08:28:20 "95% of all humans are sick" 08:28:26 Well, that doesn't surprise me at all. 08:29:03 -!- Wallacoloo has quit (Quit: Leaving.). 08:29:46 A lot of people already have Myopia/Hyperopia 08:30:04 I'm surprised it isn't 99.314159% 08:30:55 " Myopia prevalence was re- ported to be 50.3 " 08:33:06 also on average one ot ouf 10 has diabetes 08:33:09 *out 08:33:11 *of 08:33:36 although that depends on the country you live in 08:33:45 some apparentely have a prevalence of up to 20%. 08:34:00 fungot: Do you love statistics as much as I do? 08:34:01 mroman_: welcome back riastradh, you have 1 message. riastradh says: i've just started eatting meat again, i managed to read 08:34:58 -!- tromp has joined. 08:35:31 oh. and don't forget caries. 08:37:50 Unfunny fact: People get sicker the older they get. 08:39:33 -!- tromp has quit (Ping timeout: 264 seconds). 08:44:50 Do specific phobias count as a single condition or a condition for each specific phobia? 08:45:51 What kind of specific phobias? 08:47:42 arachnophobia and the like 08:48:04 It's technically a medical condition. 08:49:01 I don't know the answer 08:49:40 But, maybe, there are cases where it is a single condition as well as cases where the condition is separate. I don't really know, though. 08:51:01 There are cases, yes. 08:51:18 For example if it's an underlying personality disorder or a general anxiety disorder 08:51:38 and they count "headache" as a disease as well. 08:51:44 who doesn't have headaches 08:52:17 although I'm not sure if they only count chronic headaches 08:52:24 such as "almost daily" 08:52:51 It's a huge study 08:52:54 http://www.who.int/healthinfo/global_burden_disease/2004_report_update/en/ 08:54:15 infertility is a class 3 disability 08:55:46 iron-deficiency is very common 09:00:30 cataracts are also probably very common 09:02:01 I only have 25/20 vision because of cataracts 09:02:31 or wait what order do the number go in? 09:03:02 53.8 Mio. 09:03:13 is the world-wide prevalence of cataract 09:03:50 the most common listed disability in that list is hearing loss 09:04:03 mostly because old people tend to get hearing loss 09:04:44 compared to 125 Mio. people with alcohol abuse 09:04:56 or >1000 Mio. with iron-deficiency 09:05:46 one of my friends has abnormally sensitive hearing. I wear earbuds and listen to music, and he can listen to it and pick out the lyrics. He can't stand anywhere near a speaker playing music even at normal volume 09:05:53 I made up character page of level20.tex in All The Tropes by now, but isn't very good so far, I think 09:06:05 unsurprisingly diarrhoea is really, really common :) 09:06:09 lol 09:06:23 Well yeah, a lot of people get it from milk 09:06:28 4620 Mio. 09:06:34 Do you know how to make up any Magic: the Puzzling too? 09:07:00 oren: although most people have abnormally insensitive hearing 09:07:12 when I watch TV and somebody else joins they usually double the volume 09:07:31 I blame too loud music in clubs. 09:07:33 If you make up Magic: the Puzzling and make it into a book, I will buy it. If Wizards of the Coast were to make such book I would buy them too. 09:07:34 abnormally sensitive hearing probably counts as a disability 09:07:38 (And I don't go the clubs obviously) 09:07:44 *go to 09:07:53 oren: It is. 09:08:11 my friend can't stand being in front of a club let alone enter it 09:08:16 because it's really distressing and annoying. 09:08:37 You're friend probably couldn't sleep where I do :) 09:08:40 *Your 09:09:10 lots of traffic and an old house with not very sound proof walls and not very sound proof windows 09:09:29 you can sleep with the windows open 09:09:31 that's the good thing 09:09:37 because closing them doesn't do shit to the noise 09:10:15 -!- Patashu has joined. 09:11:09 also there's an outdoor pool very near 09:11:17 WOOOOOO! 09:11:20 SPLOOSH 09:11:21 so you can always hear the kids there 09:11:36 (public outdoor bath. I don't know what you guys call that) 09:11:49 "lido" 09:12:02 in summer you can hear them all day long screaming :) 09:12:09 swimming pool? 09:12:15 outdoor swimming pool 09:12:26 (no roof) 09:13:06 there's also a soccer field nearby 09:13:14 so you can hear the fans screaming when a match is on :) 09:13:35 There are cafe 09:13:37 outdoor swimming pool is within 5min walking distance, soccer field also within 5min walking distance 09:13:53 ice rink within 5min walking distance 09:14:00 shopping centre within 5min walking distance :) 09:14:30 pretty much everything you need is within 5min walking distance 09:14:35 I live in a very loud neighbourhood (lots of clubs) but my house was built with thick walls and double glass windows 09:15:20 I guess it's only loud at night, really. 09:16:41 The loudest thing is, you can always hear some tiny dick moron revving a motorcycle. 09:17:38 also there's a bouldering hall within 5min 09:17:39 they take the dampers off to make it louder 09:17:46 but that one costs 25k a year 09:17:48 I mean wtf 09:17:49 25k 09:17:51 seriously 09:18:12 is it made out of platin? 09:18:41 oren: yeah or guys driving 50km/h in first gear just so the motor is howling 09:33:30 Hm. There's going to be a talk about "Augmented Reflection Technology for Upper Limb Stroke Rehabilitation" at my university 09:42:17 -!- bunbunbot has joined. 09:42:22 ^\blsq 2ro 09:42:23 {1 2} 09:42:28 ^\gulf :2 09:42:28 [1 2] 09:42:39 ^\gulf ,:3R{,p+p 09:42:39 6 09:43:13 ^\gulf ,:6R{,p*p 09:43:14 720 09:43:31 ^\blsq 6ro{?*}r[ 09:43:31 720 09:45:35 -!- bunbunbot has quit (Remote host closed the connection). 09:49:50 neat :) 10:09:30 I hate it when websites like slashdot push my CPU to 100% because of some stupid flash ads 10:10:00 mroman_: use a plugin that disables Flash until you interact with it (typically clicking)? 10:10:10 that feature even comes standard with some browsers nowadays 10:10:22 and doesn't impact your ability to use Flash for its legitimate uses, it's just one more click 10:11:34 The solution is even simpler if you don't believe that flash has legitimate uses 10:12:03 Jafet: I have an entirely separate browser for Flash- and JS-heavy sites 10:12:11 and have Flash not installed and JS disabled by default in my main browser 10:13:36 -!- Phantom_Hoover has joined. 10:23:47 -!- tromp has joined. 10:24:35 Good luck with all the angular.js sites then 10:25:40 -!- boily has joined. 10:28:29 -!- tromp has quit (Ping timeout: 265 seconds). 10:53:18 is there a unix tool to encode files into b64? 10:53:41 mroman_: base64 10:53:51 (is the name of the tool, it's not me correcting you) 10:58:22 What does it mean when quickcheck gives up? 11:17:02 * boily mapoles firefox with great force “AAAAAAAAAAAAAAAAH!” 11:24:39 -!- tromp has joined. 11:28:31 -!- boily has quit (Quit: SYLVESTRE CHICKEN). 11:29:43 -!- tromp has quit (Ping timeout: 272 seconds). 11:40:19 -!- scoofy has joined. 11:49:54 the problem is that desktop apps were poorly programmed so they mess up your computer 11:50:08 nowadays you can still poorly program them but since they are websites now they don't mess up your computer :) 11:56:09 @hoogle Pipe 11:56:10 package Pipe 11:56:10 System.Posix.Files.ByteString PipeBufferLimit :: PathVar 11:56:10 System.Posix.Files PipeBufferLimit :: PathVar 11:56:15 @hoogle Effect 11:56:15 package effect-handlers 11:56:16 package effect-monad 11:56:16 package effective-aspects 11:58:25 @hoogle yield 11:58:27 Control.Concurrent yield :: IO () 11:58:27 GHC.Conc.Sync yield :: IO () 11:58:27 GHC.Conc yield :: IO () 11:58:49 hm. 11:58:59 https://medium.com/@folsen/haskell-in-production-bdellium-1df48de40e19 11:59:11 ^- I guess these Pipes and stuff are proprietary then 12:11:56 -!- Patashu has quit (Ping timeout: 264 seconds). 12:25:35 -!- tromp has joined. 12:29:59 -!- Tritonio has quit (Remote host closed the connection). 12:30:14 -!- Tritonio has joined. 12:30:17 -!- tromp has quit (Ping timeout: 258 seconds). 12:48:05 -!- tromp has joined. 12:56:06 mroman_: Phrases like this are precisely what started to depress me about my employment options in FP: "Bdellium is a small company in the financial services sector providing analytics and reporting tools mainly to the US retirement industry." 13:27:13 -!- zadock has quit (Quit: Leaving). 13:29:25 -!- lemurian has quit (Changing host). 13:29:25 -!- lemurian has joined. 13:34:27 -!- Wright has joined. 13:42:06 -!- `^_^v has joined. 14:06:28 -!- Wright has quit (Ping timeout: 246 seconds). 14:18:39 -!- hjulle has joined. 14:27:26 -!- Welo has joined. 14:35:57 -!- hjulle has quit (Ping timeout: 265 seconds). 15:11:34 -!- ais523 has quit. 15:11:45 -!- variable has joined. 15:14:44 -!- ais523 has joined. 15:16:34 -!- ais523 has quit (Client Quit). 15:22:50 -!- variable has quit (Ping timeout: 265 seconds). 15:29:11 -!- variable has joined. 15:42:00 -!- Welo has quit (Quit: Leaving). 15:42:02 -!- GeekDude has joined. 15:54:34 The other day I had a ridiculous idea that probably has been thought of before 15:54:49 newtype Nat = Nat [Nat] 15:56:17 (where all lists are finite and have finite depth) 15:56:59 Why is that called Nat? 15:57:35 It is isomorphic to the natural numebrs 15:57:49 Or rather, it is a representation of the natural numbers 15:58:18 Isomorphic in that it's an infinite countable set? 15:58:43 You know you can represent the naturals as bitstrings? 15:58:59 I'm using it as sparse bitstrings 15:59:20 I don't see. 15:59:48 9 in binary is 1001 16:00:24 I then encode it as "Move right 0 times, write a 1, move right 2 times, write a 1", or [0,2] 16:00:33 Where the elements of that list are in turn natural numbers 16:02:13 -!- KitB has quit (Quit: No Ping reply in 180 seconds.). 16:03:42 Does that make sense? 16:04:38 -!- KitB has joined. 16:06:58 -!- variable has changed nick to trout. 16:07:16 Roughly. 16:07:46 another Tanebvention 16:07:55 `? tanebventions 16:08:12 Tanebventions include D-modules, Chu spaces, automatic squirrel feeders, the torus, Stephen Wolfram, Go, weetoflakes, persistence, the reals, and this sentence. 16:08:30 `? go 16:08:30 I actually invented this, it doesn't go in the list 16:08:31 Go is a common verbal game programming language invented by the Germanic Taneb tribes in the strategic territories of East Asia. 16:08:41 Taneb: what are you implying 16:08:48 `? torus 16:08:49 torus? ¯\(°​_o)/¯ 16:08:53 `? the torus 16:08:54 the torus? ¯\(°​_o)/¯ 16:08:56 what! 16:08:58 `? toru 16:08:59 toru? ¯\(°​_o)/¯ 16:09:01 !!! 16:09:08 `` ls wisdom/*toru* 16:09:09 ls: cannot access wisdom/the torus: Too many levels of symbolic links \ ls: cannot access wisdom/torus: Too many levels of symbolic links 16:09:21 `? weetoflakes 16:09:22 Weetoflakes are something Taneb invented; they taste sort of purple. 16:09:34 `learn Torus? He hardly knew us! he did inventus though 16:09:37 Learned 'torus?': Torus? He hardly knew us! he did inventus though 16:09:54 `` ls -l wisdom/*torus* 16:09:55 lrwxrwxrwx 1 5000 0 5 Apr 15 07:52 wisdom/the torus -> torus \ lrwxrwxrwx 1 5000 0 9 Jun 7 16:50 wisdom/torus -> the torus \ -rw-r--r-- 1 5000 0 49 Jun 9 16:11 wisdom/torus? 16:09:56 I do not think that was quite what you intended, Phantom_Hoover 16:10:09 oh fuck 16:10:13 `rm wisdom/torus? 16:10:16 No output. 16:10:19 fml 16:10:28 look just get the old entry back 16:10:46 `` ls -la canary 16:10:47 total 8 \ drwxr-xr-x 2 5000 0 4096 Jun 9 01:44 . \ drwxr-xr-x 16 5000 5000 4096 Jun 9 16:11 .. \ lrwxrwxrwx 1 5000 0 1 Jun 9 01:44 canary -> . 16:11:03 `help 16:11:03 Runs arbitrary code in GNU/Linux. Type "`", or "`run " for full shell commands. "`fetch " downloads files. Files saved to $PWD are persistent, and $PWD/bin is in $PATH. $PWD is a mercurial repository, "`revert " can be used to revert to a revision. See http://codu.org/projects/hackbot/fshg/ 16:11:08 `` ls -lad canary 16:11:09 drwxr-xr-x 2 5000 0 4096 Jun 9 01:44 canary 16:11:27 I blame oerjan 16:11:45 `ln -s wisdom/ngevd /dev/urandom 16:11:46 ln: invalid option -- ' ' \ Try `ln --help' for more information. 16:11:49 Taneb: I'd be careful with that, he tends to read the logs ;) 16:11:52 i tried 16:12:02 int-e, I think he is actually to blame 16:12:09 Taneb: I know ;) 16:12:46 -!- atrapado has joined. 16:15:21 Taneb: oh, actually it was ais523. oerjan and agent smith had a fight; the agent won. 16:17:43 :( 16:18:59 what, why is `complaint no longer dispatching with the complains ... uhm ... efficiently? 16:19:10 complaints. 16:21:44 `complaints 16:21:45 1 Complaints 16:22:07 -!- trout has quit (Ping timeout: 252 seconds). 16:22:08 `` true > Complaints 16:22:10 No output. 16:22:11 `complaints 16:22:12 0 Complaints 16:23:38 -!- bb010g has quit (Quit: Connection closed for inactivity). 16:23:55 Of the 17 marks I lost in my computability and complexity exam, I lost 1 for being too damn laconic, 5 for an arithmetic error, and 11 for misreading the question 16:24:17 How many marks are there? 16:28:21 -!- heroux has quit (Ping timeout: 252 seconds). 16:28:41 -!- Elronnd has left. 16:28:50 -!- Elronnd has joined. 16:30:07 100 16:33:31 ひゅゆうぇん 16:37:13 `` ln -s /dev/urandom wisdom/ngevd 16:37:14 ln: failed to create symbolic link `wisdom/ngevd': File exists 16:37:23 `? ngevd 16:37:23 ​HZa=Lh 16:37:31 `rm wisdom/ngevd 16:37:33 No output. 16:37:39 `` ln -s /dev/urandom wisdom/ngevd 16:37:41 No output. 16:37:47 `? ngevd 16:37:47 ​ͨq\+7CEuƮΔ:YA\ǏcDh=^[X `? ngevd 16:37:52 GR]dz`aLʦ9TBL%:2m̐b8W.gD٣>5#t(*_,~끪HkyG]Rn9..Q{[. 16:38:02 Frickin' success. 16:42:10 :O 16:43:10 `ls /proc 16:43:12 1 \ 10 \ 2 \ 281 \ 285 \ 286 \ 287 \ 288 \ 289 \ 290 \ 291 \ 292 \ 3 \ 4 \ 47 \ 49 \ 5 \ 51 \ 6 \ 68 \ 7 \ 76 \ 77 \ 8 \ 9 \ buddyinfo \ bus \ cgroups \ cmdline \ config.gz \ consoles \ cpuinfo \ crypto \ devices \ diskstats \ driver \ execdomains \ exitcode \ filesystems \ fs \ interrupts \ iomem \ ioports \ irq \ kallsyms \ kcore \ kmsg \ kpageco 16:43:25 `ls /proc/self 16:43:25 auxv \ cgroup \ clear_refs \ cmdline \ comm \ coredump_filter \ cpuset \ cwd \ environ \ exe \ fd \ fdinfo \ limits \ maps \ mem \ mountinfo \ mounts \ mountstats \ net \ ns \ oom_adj \ oom_score \ oom_score_adj \ pagemap \ personality \ root \ smaps \ stat \ statm \ status \ task \ wchan 16:43:29 `? torus 16:43:29 torus? ¯\(°​_o)/¯ 16:43:31 :( 16:44:20 `` ln -s /proc/self/cmdline wisdom/reflection 16:44:23 No output. 16:44:25 `? reflection 16:44:26 cat.reflection. 16:44:37 ` cat wisdom/reflection 16:44:37 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: : not found 16:44:43 `` cat wisdom/reflection 16:44:44 cat.wisdom/reflection. 16:47:23 `` read foo < wisdom/reflection; echo "$foo" 16:47:23 bash 16:48:52 The most useful piece of wisdom ever. 16:51:23 -!- scoofy has quit (Ping timeout: 255 seconds). 16:52:42 `? reflection 16:52:42 cat.reflection. 16:53:02 -!- idris-bot has quit (Quit: Terminated). 16:53:06 oh right, you did that already 16:53:24 and now I see what's happening, that's nice 16:53:25 -!- idris-bot has joined. 17:30:32 -!- variable has joined. 17:32:58 -!- zadock has joined. 17:35:28 -!- variable has changed nick to function. 17:49:48 wow 17:49:50 . o O ( ln -s /proc/self/exe wisdom/binary\ reflection ) 17:50:32 I heared rumours that this bad style of interviewing exists where the reporter is asking a long list of fixed clichéed questions from a paper and doesn't ever react to what the interviewed replies, 17:50:38 but I never heared a real example for it. 17:50:46 This interview is exactly that. 17:50:56 Where did they get this woman? 17:51:15 Human Resources? 17:51:25 dunno 17:51:28 Maybe it was a Turing Test. She passed. ;) 17:51:36 -!- nycs has joined. 17:51:37 maybe he looks nice 17:51:41 that's not obvious through radio 17:52:03 long enough legs 17:52:14 it would've been obvious to the people hiring her 17:52:27 exactly 17:52:50 unless she was hired over the phone, does she have a good voice? 17:53:19 and it might even have the advantage that he can sometimes get some people to start giving an interview, but what would that be worth if then they get a useless junk interview? 17:53:50 oh, pratchett had something to say about this interviewing style... http://www.lspace.org/books/apf/words-from-the-master.html, search for "on interviews" 17:54:09 -!- `^_^v has quit (Ping timeout: 272 seconds). 17:54:13 int-e: exactly 17:54:50 like that but longer 18:11:26 -!- Sprocklem has quit (Ping timeout: 258 seconds). 18:13:42 fnord 18:14:29 What interview? 18:17:16 fungot's 18:17:16 olsner: is there documentation about the most depressing site ever. it will let you delete the temporary 18:18:37 Most depressing site ever? 18:19:01 golf.shinh.org 18:19:02 ! 18:19:07 not very active lately 18:19:52 I'm over golf.shinh.org 18:20:03 meaning? 18:20:09 You now hunt deer in the forrest? 18:20:11 waste of time 18:20:31 That's what hobbies are usually for 18:20:32 wasting time 18:20:41 That's what a Job is for 18:21:12 I'm pondering writing a loop finder for combinatory logic. 18:21:23 -!- fractal has quit (Ping timeout: 255 seconds). 18:21:33 I'm working on Gulf :) 18:25:03 -!- Sprocklem has joined. 18:25:07 My uncle hunts deer and birds sometimes. 18:27:56 -!- fractal has joined. 18:57:59 Hunting is becoming very unpopular. 18:58:10 With all the "how could shoot an unarmed animal"-people around 18:58:17 like there are any armed animals around ... 18:59:42 We live in a time where humans have more empathy for animals than for other humans 19:01:22 -!- Phantom_Hoover has quit (Ping timeout: 265 seconds). 19:17:19 -!- GeekDude has quit (Quit: ZNC - http://znc.in). 19:19:25 -!- zadock has quit (Quit: Leaving). 19:27:02 "make your faith for yourself and together. therefore my shrine is keep on exterminating ghosts" how can someone have perfect english pronounciation yet sound so completely stilted 19:30:00 maybe the lyricist should have consulted the singer for grammar lessons 19:38:38 -!- nys has joined. 19:39:06 srsly whoever wrote the libretto for this album must have gotten like, 60% in English class 19:42:16 oren: see current poll question on Irregular Webcomic 19:51:56 -!- Sprocklem has quit (Ping timeout: 272 seconds). 19:55:20 -!- Sprocklem has joined. 20:01:11 hehe, a bug report complains that some random generator functions are "unpredictable" 20:01:30 funny even though it makes sense if you read on 20:05:27 what, does the same seed not produce the same series all the time? 20:06:49 oren: something like that, yet 20:06:58 and the report is also wrong because he hasn't read the docs 20:07:05 but he does write "unpredictable" in a sane context 20:07:15 so the report isn't preposterous, just wrong 20:07:32 he's trying to save rng state and restoring it later, but does it wrong 20:26:13 -!- nycs has quit (Quit: This computer has gone to sleep). 20:26:56 -!- nycs has joined. 20:28:58 -!- Herbalist has joined. 20:51:40 -!- quietello has quit (Ping timeout: 258 seconds). 20:52:53 -!- atrapado has changed nick to atrapa. 20:54:41 -!- atrapa has changed nick to atrapado. 21:00:42 -!- GeekWebChat has joined. 21:00:55 Anyone here try TIS-100 yet? 21:01:30 I did not (yet) what is that? 21:02:11 It's a game where you have to write multithreaded assembly to play 21:02:32 you get up to 12 cores, and each core can only have something around 18 lines of assembly each 21:03:04 OK, what kind of instructions and what kind of winning game and stuff? 21:03:35 you get some input devices to read from, and an output device(s) to write to 21:03:51 they give you instructions on what to do to the input, and the expected outputs 21:04:01 http://www.zachtronics.com/tis-100/ 21:04:25 -!- Patashu has joined. 21:05:44 OK I will look. 21:09:34 -!- nycs has quit (Quit: This computer has gone to sleep). 21:11:18 -!- Tritonio has quit (Ping timeout: 276 seconds). 21:11:51 Anyways, I'm writing an emulator for the TIS-100 21:11:59 in python! 21:18:00 I thought of buying it on Steam, but the 10% discount wore off. 21:22:07 -!- Sprocklem has quit (Ping timeout: 264 seconds). 21:26:19 fnord night everybody 21:36:15 fizzie: haha, that's why I'm writing an emulator 21:37:00 well, than and the fact that writing an emulator is quite satisfying by itself 21:38:39 -!- Patashu has quit (Ping timeout: 246 seconds). 21:38:44 -!- boily has joined. 21:39:00 @metar CYUL 21:39:00 CYUL 092100Z 29010G15KT 15SM -SHRA SCT033 OVC080 20/17 A2958 RMK SC3AC5 SLP017 DENSITY ALT 1000FT 21:39:32 my fungot it's only -SHRA, you unweathered Environnement Canada dweebs. 21:39:32 boily: welcome back acon, you have to 21:39:50 fungot: I have to dry, that's what. my feet are wrinkled. 21:39:50 boily: g'd nite all 21:39:55 fungot: 'night! 21:39:55 boily: but after expanding the aif it would. but those are only superficial changes. 21:41:17 -!- GeekWebChat has quit (Ping timeout: 246 seconds). 21:41:20 helloily 21:42:02 it's thunder here 21:42:03 quinthellopia. 21:42:08 @metar KATL 21:42:08 KATL 092127Z COR 19014KT 4SM TSRA BR FEW008CB BKN020 OVC070 21/19 A2992 RMK AO2 WSHFT 2058 VIS LWR SE-SW FRQ LTGICCG SE-SW & DSNT NE TS SE-SW & DSNT NE MOV SE P0089 $ 21:42:09 i've gotta go get a suit 21:42:24 holy fungot that's one metar if I've ever seen one. 21:42:24 boily: works fine for me. 21:42:36 quintopia: suit? 21:42:45 a black suit 21:42:49 for an upcoming funeral 21:42:56 it is waiting on me at the suit store 21:43:30 oh. 21:43:47 meanwhile all i want to do is watch the one night ultimate werewolf thread because holy fungot is it entertaining 21:43:48 quintopia: guile has pretty complete fnord bindings, and i'm not in school, but i don't use a mouse, and so on get's resolved at command time 21:44:58 if you have a few minutes to see what a skillful con game looks like, read it: http://forums.xkcd.com/viewtopic.php?f=53&t=111990 21:45:17 try to guess who the wolves are 21:46:07 Ō_Ō. 21:46:29 * boily quietly, slowly munches on his pretzels in awe and wonder 21:57:12 australia is ruined forever for me 21:57:45 they are getting geothermal energy from a mesozoic basin 21:57:49 http://en.wikipedia.org/wiki/Eromanga_Basin 21:58:03 @metar KOAK 21:58:03 KOAK 092153Z 30012KT 10SM SCT035 OVC140 20/13 A2989 RMK AO2 SLP120 T02000128 21:58:27 @metar CYYZ 21:58:28 CYYZ 092146Z 01004KT 340V040 15SM VCSH SCT055TCU BKN084 21/15 A2972 RMK TCU4AC2 SLP062 DENSITY ALT 1600FT 22:02:19 -!- function has changed nick to trout. 22:03:51 oren: come to Montréal. it's quite far from Australia. 22:10:56 quintopia: my brains. they hurt. 22:17:55 -!- trout has quit (Quit: 1 found in /dev/zero). 22:21:16 -!- quietello has joined. 22:22:11 `relcome quietello 22:22:12 ​quietello: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on EFnet or DALnet.) 22:23:01 `wisdom 22:23:02 pizza/Pizza is a kind of rhubarb pie made without rhubarb. 22:23:45 `` hg blame wisdom/pizza 22:23:46 1795: Pizza is a kind of rhubarb pie made without rhubarb. 22:23:57 I never realized I could hg blame in HackEgo. 22:24:10 Also apparently I put that wisdom there. 22:24:14 I didn't realize that. 22:24:56 -!- variable has joined. 22:25:05 -!- oerjan has joined. 22:25:09 -!- Phantom_Hoover has joined. 22:35:50 shachaf: I admit having created some wisdom entries. I wonder who's the most prolific author. 22:35:53 (also, shellochaf!) 22:36:10 hellørjan. are you a great wisdomist? 22:36:19 -!- atrapado has quit (Quit: Leaving). 22:36:31 hi boily 22:38:36 boily: a while ago i had the impression i was the only one adding stuff to wisdom and quotes. it's not quite that bad now. 22:39:43 @tell ais523 hmm, I wonder how new that is <-- the repository browser is at http://codu.org/projects/hackbot/fshg/index.cgi/ 22:39:44 Consider it noted. 22:40:55 @tell ais523 also, i am _not_ to blame for that one hth 22:40:55 Consider it noted. 22:41:45 which one are you not to be blamed at for what? 22:41:55 the changes to complaint 22:42:08 *complain 22:42:16 and associated files 22:46:12 I hope the "legacy tax" passes this weekend. <-- huh and norway just abolished _our_ inheritance tax... 22:46:21 last year 22:47:42 -!- variable has changed nick to trout. 22:49:27 `` hg blame -u wisdom/firefly 22:49:28 HackBot: FireFly was a short-running but well-loved sci-fi TV series released in 2003, starring Nathan Fillion and directed and written by Joss Whedon. 22:49:32 oh wait 22:49:34 right. 22:49:40 fancy 22:50:36 You can get the commit message from hg and figure out the IRC user. 22:50:46 imo write a script to summarize it 22:56:51 @tell mroman_ ^- I guess these Pipes and stuff are proprietary then <-- the pipes package isn't proprietary but hoogle still doesn't index all of hackage. iirc ndm is working on a new version that does that and more. 22:56:51 Consider it noted. 22:59:19 in fact i would have thought he'd have had it up and running by now. 23:01:38 `` hg log -r $(hg annotate wisdom/firefly | cut -d: -f1) | sed -rn '/^summary/ s/^summary:\s*//p' 23:01:39 learn FireFly was a short-running but well-loved sci-fi TV series released in 2003, starring Nathan Fillion and directed and written by Joss Whedon. 23:02:00 You probably want hg log, not hg annotate, anyway. 23:02:01 -!- APic\splat has quit (Ping timeout: 244 seconds). 23:02:09 A per-line summary doesn't make sense. 23:02:21 Could be handy to ask for the last commit that changed a given line 23:03:02 `` hg log wisdom/firefly | sed -rn '/^summary/ s/^summary:\s*//p' 23:03:03 revert \ for x in wisdom/*; do rev "$x" > "$x"a; mv "$x"a "$x"; done \ learn FireFly was a short-running but well-loved sci-fi TV series released in 2003, starring Nathan Fillion and directed and written by Joss Whedon. 23:03:07 oops 23:03:20 `? torus 23:03:21 torus? ¯\(°​_o)/¯ 23:03:30 now to find out wtf went wrong 23:04:36 `` ln -l wisdom/*torus* 23:04:36 ln: invalid option -- 'l' \ Try `ln --help' for more information. 23:04:42 `` ls -l wisdom/*torus* 23:04:48 oerjan: i already did hth 23:04:48 lrwxrwxrwx 1 5000 0 5 Apr 15 07:52 wisdom/the torus -> torus \ lrwxrwxrwx 1 5000 0 9 Jun 7 16:50 wisdom/torus -> the torus 23:05:16 `undo 5466 23:05:17 can't find file to patch at input line 4 \ Perhaps you used the wrong -p or --strip option? \ The text leading up to this was: \ -------------------------- \ |diff -r d2fdb9c12e32 -r 673d4139cdaa wisdom/torus \ |--- a/wisdom/torusSun Jun 07 16:47:56 2015 +0000 \ |+++ b/wisdom/torusSun Jun 07 16:50:51 2015 +0000 \ -------------------------- \ File 23:05:33 oh right 23:05:36 `? torus 23:05:36 torus? ¯\(°​_o)/¯ 23:06:17 shachaf: `undo and `revert don't handle links properly, even if hg does :( 23:07:20 `` echo test >wisdom/torus; undo 5462 23:07:21 bash: wisdom/torus: Too many levels of symbolic links \ can't find file to patch at input line 4 \ Perhaps you used the wrong -p or --strip option? \ The text leading up to this was: \ -------------------------- \ |diff -r 1747ab989893 -r bc50e28c60b5 wisdom/torus \ |--- a/wisdom/torusSun Jun 07 16:36:01 2015 +0000 \ |+++ b/wisdom/torusSun Jun 07 23:07:26 eep 23:07:36 `` rm wisdom/torus; echo test >wisdom/torus; undo 5462 23:07:39 patching file wisdom/torus 23:07:42 `? torus 23:07:43 Topologically, a torus is just a torus. Taneb invented them. 23:07:47 `? the torus 23:07:47 Topologically, a torus is just a torus. Taneb invented them. 23:07:52 whee 23:09:25 oh wait why did i do this before i decided whether to revert tswett's changes... 23:16:41 `? reflection 23:16:42 cat.reflection. 23:17:39 `` ls -l wisdom/reflection 23:17:39 lrwxrwxrwx 1 5000 0 18 Jun 9 16:46 wisdom/reflection -> /proc/self/cmdline 23:17:54 is that link likely to break anything? 23:18:09 `` hg blame wisdom/reflection 23:18:10 5501: /proc/self/cmdline 23:18:22 shachaf: it's tswett hth 23:18:36 oerjan: i was wondering whether it would break hg blame 23:18:43 did it? 23:18:49 just, like, trying to answer your question, man 23:18:57 why you gotta be a h8r 23:19:35 well i'm thinking about breaking in a more general sense of "why we stopped making wisdom/ngevd link to /dev/urandom" 23:20:11 `` undo 5500; undo 5499 23:20:13 The next patch, when reversed, would empty out the file wisdom/ngevd, \ which is already empty! Ignore -R? [n] \ Apply anyway? [n] \ Skipping patch. \ 1 out of 1 hunk ignored \ patch: **** File wisdom/ngevd is not a regular file -- can't patch 23:20:23 dammit 23:20:33 `` ls -l wisdom/ngevd 23:20:34 lrwxrwxrwx 1 5000 0 12 Jun 9 16:39 wisdom/ngevd -> /dev/urandom 23:20:42 `` undo 5500 23:20:43 The next patch, when reversed, would empty out the file wisdom/ngevd, \ which is already empty! Ignore -R? [n] \ Apply anyway? [n] \ Skipping patch. \ 1 out of 1 hunk ignored 23:20:53 so annoying 23:20:57 `` ls -l wisdom/ngevd 23:20:57 lrwxrwxrwx 1 5000 0 12 Jun 9 16:39 wisdom/ngevd -> /dev/urandom 23:21:03 `rm wisdom/ngevd 23:21:04 No output. 23:21:10 `undo 5499 23:21:12 patching file wisdom/ngevd 23:21:18 `? ngevd 23:21:19 ​ʂ|kޞe}^ \ @y֋6!h{,iGq20߃n3ks~L \ : VkZb$II!}yd{ 23:21:36 fancy 23:21:40 i heard that one 23:21:43 `cat wisdom/ngevd 23:21:44 ngevd is a fake wisdom entry. `? ngevd is special-cased in bin/?. leave this file alone Phantom_Hoover‼ 23:22:54 -!- Wright has joined. 23:24:14 oh did i actually manage to fuck it up 23:24:29 `` sed -i 's/$/ also tswett‼/' wisdom/ngevd 23:24:33 No output. 23:24:40 Phantom_Hoover: um tswett did the changes this time 23:24:52 bless you tswett 23:24:55 blswett 23:24:55 why not just special case ngevd in cat instead 23:25:54 oren: um the point is that we want it to be possible to run commands over all of wisdom/* without them breaking, cat is just one small bit of it. 23:26:23 but ? uses cat right? 23:26:34 oren: ? already has it special cased. 23:27:45 `which cat 23:27:49 ​/bin/cat 23:28:01 `which ls 23:28:01 ​/hackenv/bin/ls 23:28:13 uhh... well write a device that is like dev urandom but with a byte limit per process? 23:28:14 IT'S NOT UNPRECEDENTED 23:28:17 `which dog 23:28:18 No output. 23:28:49 oren: and you expect us to make that survive in HackEgo's brittle repository _how_? 23:29:35 with, uh, endofunctors? 23:30:02 _weird_ things happen with abnormal files in there... 23:30:11 you don't say... 23:30:39 I'm still not touching some of them. ain't gonna PDF them. let some poor other fool do that instead. 23:31:06 `? template 23:31:07 template? ¯\(°​_o)/¯ 23:31:12 `? macro 23:31:13 macro? ¯\(°​_o)/¯ 23:32:06 `? coffeescript 23:32:07 coffeescript? ¯\(°​_o)/¯ 23:32:10 hg has some trouble with symlinks I think 23:32:14 `? javascript 23:32:14 javascript? ¯\(°​_o)/¯ 23:32:23 Or did, at some point. Maybe they fixed it 23:33:13 FireFly: they don't reliably survive `revert and `undo, at least. 23:33:29 whether that's hg itself is a different matter. 23:34:32 `` grep test wisdom/* 23:34:33 grep: wisdom/canary: Is a directory \ wisdom/deewiant:Deewiant is the world expert on Befunge conformance testing. \ wisdom/disflagrate:disflagrate v.t.perf.: a traditional technique from Poland (earliest attestation c. 1042) used to separate szoups. Nowadays, commercial production is entirely mechanized. \ wisdom/esosc:esosc is esoteric song conte 23:34:48 `` grep fnord wisdom/* 23:34:49 grep: wisdom/canary: Is a directory \ wisdom/fizzie:fizzie is not fnord with a monad but the king of #esoteric, see http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/src/fizziecoin.jpg \ grep: wisdom/le: Is a directory \ grep: wisdom/¯\(°_o): Is a directory \ grep: wisdom/¯\(°​_o): Is a directory \ Binary file wisdom/reflection mat 23:34:57 oerjan: grep -r hth 23:35:20 shachaf: i'm not sure that's safe any longer... 23:35:31 `` grep -r fnord wisdom 23:35:32 wisdom/fizzie:fizzie is not fnord with a monad but the king of #esoteric, see http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/src/fizziecoin.jpg 23:35:51 oh hm 23:35:56 `? #esoteric 23:35:57 `? canary 23:35:58 ​#esoteric is the only channel that exists. monqy is its centroïd. 23:35:58 cat: canary: Is a directory 23:36:24 so many people no longer here 23:36:33 `ls wisdom/canary 23:36:34 canary 23:36:49 `` ls -l wisdom/canary 23:36:50 lrwxrwxrwx 1 5000 0 9 Apr 15 07:51 wisdom/canary -> ../canary 23:37:13 `ls wisdom/canary/canary 23:37:14 canary 23:37:33 ` ls -lR wisdom/canary 23:37:33 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: : not found 23:37:34 i guess grep checks for cycles. still, a bit unnerving. 23:38:07 oerjan: that's why the Wisdom is important. to remember those who were, and those that will come. 23:38:23 `? wisdom 23:38:23 wisdom is always factually accurate, except for this entry, and uh that other one? it started with like, an ø? 23:38:24 boily: oooh 23:38:42 `` ls -lR wisdom/canary 23:38:43 lrwxrwxrwx 1 5000 0 9 Apr 15 07:51 wisdom/canary -> ../canary 23:39:03 `le/rn #esoteric/there is no channel but #esoteric. monqy is the cenroïd of #esoteric. 23:39:07 Learned «#esoteric» 23:39:13 `revert 23:39:21 rm: cannot remove `/home/hackbot/hackbot.hg/multibot_cmds/env/.hg/store/data/canary.orig': Is a directory \ Done. 23:39:22 hmmm 23:39:32 wat 23:39:45 `` ls -l canary 23:39:46 total 0 \ lrwxrwxrwx 1 5000 0 1 Jun 9 01:44 canary -> . 23:39:51 huh 23:39:52 boily: do you have any guesses as to the wolves? i can tell you. 23:40:09 `revert 23:40:10 rm: cannot remove `/home/hackbot/hackbot.hg/multibot_cmds/env/.hg/store/data/canary.orig': Is a directory \ Done. 23:40:22 Done. 23:40:58 `? #esoteric 23:40:59 there is no channel but #esoteric. monqy is the cenroïd of #esoteric. 23:41:05 `revert 23:41:09 rm: cannot remove `/home/hackbot/hackbot.hg/multibot_cmds/env/.hg/store/data/canary.orig': Is a directory \ Done. 23:41:12 `? #esoteric 23:41:13 ​#esoteric is the only channel that exists. monqy is its centroïd. 23:41:19 `le/rn #esoteric/#esoteric is the only channel that exists. monqy is its centroïd. 23:41:19 Learned «#esoteric» 23:41:24 Are there any commands where evry possible letter is a valid opion 23:41:31 *option 23:41:46 What does "option" mean in this case? 23:42:24 like -qwertyuiopsdfghjklzxcvbnm 23:42:47 are there any commands where all of the letters could be used at once 23:43:11 `true -qwertyuiopsdfghjklzxcvbnm 23:43:12 No output. 23:43:20 it even works if you add a 23:43:52 quintopia: vite de même, I think Madge. perhaps Bessie too, but I wouldn't put my hand in a burning fungot about that. Spack's a tanner. 23:43:52 boily: i last saw arcus on oct 06 at fnord pm 23:44:09 quintopia: and according to the 'got, arcus. 23:44:14 (who's arcus?) 23:45:25 fungot: who's arcus? 23:45:26 FireFly: and especially if i need to add a bit of an inconsistency: fnord for open-output-file, two: if-existent if-non-existent. don't know, what you are 23:45:34 hmm this sucks 23:45:48 oren: statistically speaking, there should be some version of `tar' out there that supports the whole shebang. 23:45:59 `` rm canary/canary; echo chirp >canary/canary 23:46:01 No output. 23:46:07 fungot: it's easy. he's a firefly hth 23:46:08 boily: foo markup for tt, mark table rows in recent-changes and edit-history with even/ odd divs so that the ai literally cannot lose, it's different 23:47:02 bash under xfce4-terminal starts messing up when the lines get past 80 characters. Bash under screen under xfce-terminal works fine 23:47:13 fungot: you can style even and odd rows with CSS these days 23:47:13 FireFly: we could book a hotel for all of the srfi process... notably a standard condition system. 23:47:51 `cat canary 23:47:51 cat: canary: Is a directory 23:48:07 `cat canary/canary 23:48:08 chirp 23:48:26 Why is it a directory anyway 23:48:38 FireFly: because people in this channel are insane hth 23:48:52 it's a direcanary. 23:49:07 no I'm not. I'm very sane tyvm. 23:49:28 Are you sure? 23:49:29 it seems like it does something funny to `revert, sometimes. might have to make it a file again. 23:49:47 I wonder how a FIFO would fare 23:50:04 zzo38: positively sanitarily sure. 23:50:29 oh 23:51:13 -!- evalj has quit (Remote host closed the connection). 23:51:24 feefifofum 23:52:28 `ls canary/.. 23:52:29 ​:-( \ 0 \ 113500 \ a.o \ a.out \ bdsmreclist \ bin \ canary \ cat \ Complaints \ :-D \ dc \ dog \ error.log \ etc \ factor \ faith \ fu \ head \ hello \ hello.c \ hours \ ibin \ index.html?dl=1812 \ interps \ le \ lib \ MaFV \ paste \ pref \ prefs \ py.py \ quines \ quotes \ random_elliott \ real \ script.py \ share \ src \ twolines \ Wierd \ wi 23:52:35 Hmm, can one write an n-ary xor in LaTeX, akin to \sum for n-ary summation? 23:53:08 um, I think you use like a big earth sign 23:53:50 @ask ais523 is a big Earth good for n-ary xores? 23:53:50 Consider it noted. 23:54:36 \bigoplus 23:55:18 (according to wikibook) 23:57:30 That works