00:00:08 Man, I miss Fentimans 00:00:20 Actually, I think I miss liquid in general 00:00:23 Maybe I'm just thirsty 00:00:47 so they don't have fentimans in york, i take. 00:01:00 only in hexham and montreal 00:01:03 I don't know about that 00:01:09 Just I'm on a student budget now 00:01:16 oh dear 00:06:21 ^ change polarity, switch < with > and - with + <-- i think it would be a bit more interesting if it also swapped [ and ]. 00:07:09 because that, unlike the others, might mess things up badly. 00:11:08 eek indian ocean monster cyclone 00:13:56 oerjan: doesn't it automatically make the program malformed unless it contains no loops? 00:14:08 -!- Bike has joined. 00:14:13 I guess you could use the implied loop-balancing rules from FukYorBrane 00:14:25 well i assume it would be somewhat lenient 00:14:33 mismatched brackets cause monster cyclones? shit 00:14:41 lexande: scary stuff 00:14:56 forgive us, we didn't know 00:15:38 ^bf ((])S:^):^IT'S THE END OF THE WORLD AS YOU KNOW IT 00:15:38 Mismatched []. 00:15:41 oops 00:15:46 ^ul ((])S:^):^IT'S THE END OF THE WORLD AS YOU KNOW IT 00:15:46 ]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] ...too much output! 00:17:58 well, i have never known the future 00:18:32 -!- Sgeo has joined. 00:19:47 Hmm, that underload interp is non-compliant 00:20:22 they all are. 00:21:19 since there's absolutely no point in a compliant one. 00:22:23 you cannot quote the one thing that actually _needs_ to be handled with quoting. 00:23:30 :P 00:28:45 i recall ais523 said the quoting was just leftovers from overload or something. 00:28:52 yes, it was 00:29:04 in Underload you used square brackets for pointers and pointer targets 00:29:07 err, in Overload 00:29:34 ais523, how is Underlambda going 00:30:09 Taneb: I'm busy 00:30:14 Right 00:30:22 How is your thingy going about the circuits and whatnot 00:31:35 decently 00:31:41 :) 00:31:42 although I've got to do a bunch of category theory again tonight :( 00:31:46 :( 00:31:49 category theory makes me angry 00:32:08 Today I was formally introduced to functions 00:32:50 ais523: Why? 00:32:56 Goodnight 00:32:59 -!- Taneb has quit (Quit: Leaving). 00:33:51 i hope the functions were polite. 00:34:27 oerjan: somewhere between 1/3 and 1/5 were, I imagine 00:34:49 RIGHT 00:35:45 -!- ais523 has quit. 00:36:11 did i make ais523 angry :'( 00:36:23 categorically so 00:39:23 https://twitter.com/neilfws/status/388462601916542976/photo/1/large something went very wrong here 00:41:10 -!- augur has joined. 00:43:47 are you talking about the formatting 00:44:37 it does seem like some columns are mushed together 00:46:37 also what is an arath. 00:46:44 and should we be afraid of it. 00:52:35 kmc: 00:52:54 "In the case of purchasing, a player makes a request for purchasing an item at a given price, and will pay that price to the order with the lowest listed price. In other words, you will buy the item at your price and not the seller's price if yours is higher than his sell price" 00:52:58 That's about EVE Online 00:53:05 How does that compare/contrast to how it works irl? 00:53:28 -!- shikhin__ has joined. 00:53:46 it seems opposite 00:54:21 I think trades usually happen at the price already on the book, not at the price of the order which is taking liquidity (and so will never reach the order book) 00:54:38 because I mean if you're paying attention you would just ask for the lower price anyway 00:55:06 but you might not be fast enough, plus there are all these weird order types to consider (hidden, floating, etc) 00:55:09 so I dunno 00:56:26 -!- shikhin_ has quit (Ping timeout: 245 seconds). 01:04:48 -!- ^v has changed nick to plehnu. 01:05:12 -!- plehnu has changed nick to ^v. 01:09:19 Hmm, I wonder why EVE does it the way it does, then. More onus on.. the second person to be smart? 01:10:02 Sgeo: like, the stock market? 01:10:38 I don't know how markets work :( 01:11:22 nobody really does 01:15:47 ....WIndows Defender decided that an SQLite3 journal file used by my IRC client was malware 01:15:48 wat 01:16:05 maybe it has some malware in 01:16:16 -!- ^v has quit (Disconnected by services). 01:16:23 X5O!P%@AP[4\PZX54(P^)7CC)7}$EICAR-STANDARD-ANTIVIRUS-TEST-FILE!$H+H* 01:16:48 -!- ^v has joined. 01:18:37 -!- ^v has changed nick to Fackau. 01:18:40 -!- Fackau has changed nick to Fackaufrenhjtr. 01:27:32 -!- Fackaufrenhjtr has changed nick to ^b. 01:27:33 -!- ^b has changed nick to ^v. 01:32:33 -!- ^v has quit (Quit: Leaving). 01:33:57 -!- Sprocklem has quit (Ping timeout: 248 seconds). 01:37:08 kmc: i'm happy to report that my browser did _not_ suddenly decide today's logs were a virus. 01:37:18 good 01:37:23 I think it has to appear at the start of a file 01:37:28 I'll be sure to send it exactly at midnight next time. 01:44:28 > logBase 1.025 2 01:44:29 28.071034525938728 01:45:20 ? 01:46:47 someone claimed the 2.5% yearly inflation means doubling in 28 years 01:46:54 *that 01:59:55 -!- shikhin__ has quit (Ping timeout: 248 seconds). 02:01:18 -!- augur has quit (Remote host closed the connection). 02:08:04 -!- Sprocklem has joined. 02:24:51 -!- augur has joined. 02:44:16 -!- Bike has quit (*.net *.split). 02:44:16 -!- sebbu has quit (*.net *.split). 02:44:16 -!- AwfulProgrammer has quit (*.net *.split). 02:44:17 -!- olsner has quit (*.net *.split). 02:44:33 -!- Bike has joined. 02:44:43 -!- olsner has joined. 02:44:48 -!- AwfulProgrammer has joined. 02:45:28 -!- sebbu has joined. 02:47:13 o.O there's a person who doesn't like the lens library 02:47:29 wat: 02:47:30 <= Netsplit between *.net and *.split. Users quit: Bike, sebbu, AwfulProgrammer, olsner 02:47:43 Yo 02:49:27 => Netsplit between *.net and *.split ended. Users joined: Bike, olsner, AwfulProgrammer, sebbu 02:49:39 _after_ Bike said Yo 02:50:13 I am eternal. 03:00:00 -!- yorick has quit (Remote host closed the connection). 03:03:26 -!- AwfulProgrammer has quit (Changing host). 03:03:26 -!- AwfulProgrammer has joined. 03:21:19 So, I went into a channel which would be the most relevant channel for a language, and asked why the language exists 03:21:22 "Not sure" 03:22:29 me neither 03:25:31 http://mccaine.org/2013/10/09/dwarf-fortress-a-marxist-analysis/ 03:34:22 -!- olsner has quit (*.net *.split). 03:34:23 -!- FreeFull has quit (*.net *.split). 03:34:38 -!- FreeFull has joined. 03:34:49 -!- olsner has joined. 03:35:00 -!- FreeFull has quit (Changing host). 03:35:01 -!- FreeFull has joined. 03:39:02 And... no one here bothered to fall for it --- I was referring to the "racket/gui" language in Racket, which is just Racket + (require racket/gui) 03:42:10 ... 03:42:12 how tremendously exciting. 03:42:42 i see elliott agrees, and on perfect time too. 03:43:18 am i trolled 03:44:49 i am eagerly waiting about sgeo telling us how he willfully splits infinitives to rile up other channels. 03:45:04 *waiting for 03:48:38 *to pathetically rile 03:49:23 not bad 03:49:47 darn i actually missed that one 03:50:29 i knew i'd get bad karma from this. 03:56:46 -!- asie has joined. 03:57:01 -!- Tefaj has quit (Quit: Quit). 03:57:39 -!- Jafet has joined. 03:58:23 -!- Jafet has quit (Changing host). 03:58:23 -!- Jafet has joined. 04:05:46 -!- asie has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz...). 04:37:10 yo, infographic http://xkcd.com/1276/ 04:38:31 that's cool 04:40:24 I didn't thing Voyager's shadow would be so big. 04:48:59 "(permadeath)"? 04:49:26 planet of the roguelikes 04:53:21 Sgeo: those wacky names are references to http://xkcd.com/1253/ 04:56:24 Blogodrome 04:56:45 goldenpalace.com, that's classy 04:58:54 http://i.somethingawful.com/u/livestock/2009/11/11_17_dogs.jpg related 05:00:29 Bike: OKAY 05:06:29 joke ruined by incorrect choice of image compression format 05:06:43 LARGE, FLIGHTLESS DOG 05:06:55 hm somehow I missed #1253 05:07:12 kmc has this rare condition that makes him unable to read jpg compressed text. 05:10:28 -!- glogbackup has joined. 05:16:37 * oerjan now learned about goldenpalace.com. and that they _would_ be likely to try to get a planet named after them. 05:16:58 yes indeedy. 05:17:37 wow a naked woman holding some playing cards wants to give me €300 05:17:41 this is the best day ever!! 05:19:39 lucky 05:24:55 http://www.scp-wiki.net/scp-1539 06:09:12 -!- nisstyre has joined. 06:17:07 "We regret to inform you that we do not allow residents from New York to play on our system" 06:23:04 -!- FreeFull has quit. 06:34:40 -!- Sprocklem has quit (Ping timeout: 264 seconds). 07:07:49 -!- Taneb has joined. 07:21:09 -!- ais523_ has joined. 07:31:25 ais523_: while i'm checking out r/friends, the fact that 2^31-1 is prime is used implicitly by my Unlambda in Intercal. 07:31:43 haha 07:31:59 iirc 07:35:03 -!- mnoqy has joined. 08:07:54 -!- ski has quit (Read error: Operation timed out). 08:37:51 -!- Phantom_Hoover has joined. 08:43:43 -!- impomatic has quit (Quit: impomatic). 08:45:51 -!- ais523_ has quit (Quit: Page closed). 09:07:19 `slist 09:07:24 slist: Taneb atriq Ngevd Fiora nortti Sgeo ThatOtherPerson alot 09:16:55 -!- nisstyre has quit (Quit: Leaving). 09:34:22 -!- Taneb has quit (Quit: Leaving). 09:37:47 -!- oerjan has quit (Quit: leaving). 09:54:57 -!- Phantom_Hoover has quit (Ping timeout: 272 seconds). 10:06:30 -!- Phantom_Hoover has joined. 10:09:28 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 10:09:33 -!- Phantom__Hoover has joined. 10:22:53 -!- Taneb has joined. 10:23:37 Good things to hear in a lecture: "Forget everything I just said" 10:25:18 yes 10:26:02 This is a fun lecture 10:32:09 -!- Phantom___Hoover has joined. 10:32:12 Taneb, what lecture 10:32:32 Core algebra 10:32:51 He's trying to remember set theory 10:33:09 -!- Phantom__Hoover has quit (Ping timeout: 248 seconds). 10:33:19 ("He" being the lecturer) 10:33:32 is this algebra as in abstract or algebra as in boring 10:33:46 The former 10:35:48 It's going over stuff we've already done, but /practical/ 10:36:08 so, boring 10:36:16 Yeah 10:36:22 not abstract 10:36:35 It is abstract too 10:36:49 Set theory and what have you 10:37:16 Just basic abstract, done boringly 10:38:17 groups? 10:38:29 Not yet 10:38:36 Just sets 10:38:48 Endless bloody sets 10:40:10 odd thing to call algebra 10:40:32 Next week we move to functions 10:41:14 i guess this is an introductory course? nobody's supposed to know math 10:41:34 Oh look he's proving intersection is associative using a venn diagram 10:41:47 mnoqy, nobody's supposed to know maths past a-level 10:42:07 and a-level is pointlessly modular, too, so they can't even assume you learnt a given thing at a-level 10:42:23 sounds great 10:43:27 How do you know this PH you are practically foreign 10:44:20 because i'm sitting around with people who all did different things at a-level and have had to re-learn them for the benefit of those who didn't 10:48:31 -!- Taneb has quit (Ping timeout: 245 seconds). 11:27:37 -!- Taneb has joined. 11:28:00 Phantom___Hoover: :/ 11:33:25 -!- Sgeo has quit (Read error: Connection reset by peer). 11:50:58 -!- yorick has joined. 11:52:58 -!- Taneb has quit (Quit: Page closed). 12:32:53 -!- MindlessDrone has joined. 12:49:15 -!- boily has joined. 12:49:23 -!- metasepia has joined. 12:52:36 -!- boily has quit (Client Quit). 12:52:49 -!- boily has joined. 13:25:51 -!- Taneb has joined. 13:37:28 -!- Taneb has quit (Ping timeout: 240 seconds). 13:42:16 -!- Taneb has joined. 13:42:30 How do I prove that in radians sin x ~= x when x =~= 0? 13:44:35 when x → 0, d(sin(x))/dx ~= 1. 13:44:51 boily, no 13:44:58 Not like that 13:45:25 I can't? 13:45:53 @tell oerjan but it's expensive! and I don't think there are that many phở joints in hexham. 13:45:53 Consider it noted. 13:46:18 What's that glyph after the ph 13:46:49 just a moment... ♪ 13:48:15 U+1EDF LATIN SMALL LETTER O WITH HORN AND HOOK ABOVE 13:48:28 :O 13:48:35 :ở 13:48:51 No, I can't remember any phở joints in Hexham 13:48:54 Still missing the reverse of `unicode, I see. 13:48:57 Maybe one's opened, though 13:50:45 the more diacritics stacked on vowels, the tastier the szoup. 13:53:27 `unidecode phở 13:53:29 [LATIN SMALL LETTER P] [LATIN SMALL LETTER H] [LATIN SMALL LETTER O WITH HORN AND HOOK ABOVE] 13:53:34 There we: go. 13:54:00 (With any luck, someone had already added that in. Oh well, it's good to be redundant.) 13:54:45 `run unicode SNOWMAN | xargs unidecode 13:54:48 [SNOWMAN] 13:55:23 A snowman went through a pipe there, but no-one saw it. 13:55:54 I never understood what xargs is for. 13:56:05 `unidecode ⎀⇱⇞⌦⇲⇟ 13:56:07 [INSERTION SYMBOL] [NORTH WEST ARROW TO CORNER] [UPWARDS ARROW WITH DOUBLE STROKE] [ERASE TO THE RIGHT] [SOUTH EAST ARROW TO CORNER] [DOWNWARDS ARROW WITH DOUBLE STROKE] 13:56:13 -!- Koen_ has joined. 13:56:21 It's for piping snowmans. 13:56:34 `learn xargs is for piping snowmen. 13:56:39 I knew that. 13:56:44 `pastewisdom 13:56:45 http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/wisdom/ 13:57:22 boily: xargs is awesome in combination with find or ls 13:57:36 myname: ah? care to explain why? 13:58:02 i can give an example 13:58:08 `run unidecode ☯ # now with code points 13:58:10 [U+262F YIN YANG] 13:58:25 people somewhere else really needed to know which paths are longer than 255 chars, because windows is stupid 13:58:31 how would you do that? 14:00:23 find -type d | grep -E '.{256,}' 14:00:46 boily: I don't think "paths" involves only directories. 14:01:03 -!- Uguubee111116 has joined. 14:01:35 tricky :D okay, a bit modified: you want to know how long each path is 14:02:00 okay, you don't need it for that, either 14:02:49 fizzie: find -type b -o -type c -o -type d -o -type p -o -type f -o -type l -o -type s -o -type D, then :p 14:03:10 Arguably many uses of "find | xargs" should be "find -exec" instead, it's just that the -exec syntax is kinda crummy. 14:03:24 I've gotten to the habit of "find -print0 | xargs -0" instead. 14:04:31 -!- Uguubee111116 has quit (Client Quit). 14:04:50 -!- Uguubee111116 has joined. 14:04:56 btw, what is a door? 14:05:09 It's a Solaris IPC thing. 14:07:04 You can have a server behind a door, and then have clients call it and pass things through it; and the door can be visible in the file system. Kind of something between (non-abstract-namespace) Unix domain sockets and a RPC mechanism. 14:07:46 sounds pretty useful. there must be some reason it hasn't gained more visibility. 14:08:23 I guess it's also a swinging or sliding barrier that will close the entrance to a room or building or vehicle? 14:09:08 that kind of door is there for physics teachers to try to quantum tunnel through. 14:09:42 I think it just didn't have enough benefits over "traditional" mechanisms to accomplish the same thing to quantum tunnel outside Solaris. 14:10:10 but then, we're stuck with horrendous abominations like d-bus and suchlike. 14:10:29 You can pass file descriptors through a door, but you can do that over Unix domain sockets too. And there's a library written around it, but you can write libraries around anything. 14:11:27 `unidecode ☺ 14:11:29 [U+263A WHITE SMILING FACE] 14:11:44 That doesn't look very white in this terminal. 14:12:15 them pixels drawing the face are somewhat white in this terminal, I guess... (what colourscheme do I use again?) 14:12:23 Oh would you look at that, I need to catch a 14:12:25 `unicode BUS 14:12:27 Traceback (most recent call last): \ File "/hackenv/bin/unicode", line 5, in \ print u"".join(map(unicodedata.lookup, sys.argv[1:])).encode("utf-8") \ KeyError: "undefined character name 'BUS'" 14:12:41 (That thing is so useless. That's U+1F68C.) 14:13:57 🚌 14:14:13 hmm... urxvt/weechat seem to have some trouble with chars outside the BMP... 14:17:07 -!- sebbu has quit (Quit: reboot). 14:24:19 My urxvt/irssi setup, too. 14:24:38 -!- conehead has joined. 14:24:56 Also I got some surrogates out when I tried to paste one to Unidecode, which is the silliest. 14:25:53 (Did Java's Modified-UTF-8 use UTF-8-encoded surrogates? 14:29:55 (Guess it did.) 14:32:01 -!- augur has quit (Remote host closed the connection). 14:53:42 -!- oerjan has joined. 15:10:21 -!- nooodl has joined. 15:11:43 -!- sebbu has joined. 15:12:16 -!- sebbu has quit (Changing host). 15:12:16 -!- sebbu has joined. 15:12:35 -!- carado has joined. 15:12:56 -!- augur has joined. 15:14:13 `unicode POULET 15:14:16 Traceback (most recent call last): \ File "/hackenv/bin/unicode", line 5, in \ print u"".join(map(unicodedata.lookup, sys.argv[1:])).encode("utf-8") \ KeyError: "undefined character name 'POULET'" 15:15:24 How do I prove that in radians sin x ~= x when x =~= 0? <-- i recall from some discussion that it's quite tricky to do from the intuitive geometric definitions without being circular. 15:15:51 @messages-loud 15:15:51 boily said 1h 29m 57s ago: but it's expensive! and I don't think there are that many phở joints in hexham. 15:17:02 -!- nooodl has quit (Ping timeout: 240 seconds). 15:17:50 Taneb: of course from the power series definition of sin x it's "trivial". 15:21:06 wtf did this get a commit http://codu.org/projects/hackbot/fshg/index.cgi/rev/7003033326b8 15:22:02 oh wait i see, it was with `run probably, so some of the >'s got shell interpreted 15:22:16 `ls 15:22:18 + \ +[+ \ bdsmreclist \ bi \ bin \ bin` \ canary \ cat \ complaints \ dog \ etc \ factor \ file \ ibin \ index.html \ interps \ lib \ mind \ paste \ pref \ prefs \ quines \ quotes \ share \ src \ wisdom \ wisdom.pdf 15:22:31 `run rm + +[+ 15:22:34 wtf +[+ 15:22:35 No output. 15:22:49 myname: see my previous link 15:23:19 `ls 15:23:21 bdsmreclist \ bi \ bin \ bin` \ canary \ cat \ complaints \ dog \ etc \ factor \ file \ ibin \ index.html \ interps \ lib \ mind \ paste \ pref \ prefs \ quines \ quotes \ share \ src \ wisdom \ wisdom.pdf 15:24:32 `run echo -e "#!/usr/bin/env python\n# -*- encoding: utf-8 -*-\nimport sys\nimport unicodedata\ntry:\n print u''.join(map(unicodedata.lookup, sys.argv[1:])).encode('utf-8')\nexcept KeyError:\n print u'Úńḱńóẃń ćh́áŕáćt́éŕ.'" >bin/unicode 15:24:35 No output. 15:24:42 `unicode LATIN SMALL LETTER A 15:24:44 a 15:24:44 oerjan, :( 15:24:50 `unicode ZZZZZZZZ 15:24:51 Traceback (most recent call last): \ File "/hackenv/bin/unicode", line 8, in \ print u'Úńḱńóẃń ćh́áŕáćt́éŕ.' \ UnicodeEncodeError: 'ascii' codec can't encode characters in position 0-6: ordinal not in range(128) 15:24:55 boily: um what did you change 15:25:01 aaaaaaurgh! 15:25:21 oerjan: tried to add a try/except for `unicode not to choke on a KeyError. 15:25:22 lol 15:25:30 ic 15:25:36 `run echo -e "#!/usr/bin/env python\n# -*- encoding: utf-8 -*-\nimport sys\nimport unicodedata\ntry:\n print u''.join(map(unicodedata.lookup, sys.argv[1:])).encode('utf-8')\nexcept KeyError:\n print u'Unknown character.'" >bin/unicode 15:25:39 No output. 15:26:30 `unicode MAKE MY DAY, PUNK. 15:26:32 Unknown character. 15:26:43 Taneb: iirc you essentially have to go through a proof that the circumference of a circle is 2pi*r 15:28:00 or something like that. different ways of saying essentially the same limit thing. 15:28:25 :( 15:30:48 -!- shikhin_ has joined. 15:31:18 sin'(x) = cos(x) is of course one of those. 15:31:24 -!- shikhin_ has changed nick to shikhin. 15:31:54 (which allows you to get yours with l'hôpital's rule.) 15:32:00 oerjan, which was the proof I was trying to understand 15:32:13 (that is, that sin'(x)=cos(x)) 15:32:20 heh 15:33:14 or to be precise, you need to carefully define the length of a circle arc somehow. 15:33:52 like how archimedes did it, when he proved c = 2pi*r. 15:34:28 although in modern treatments, the length of a smooth curve is defined using derivatives. 15:34:39 i think if you do that, you get a non-circular proof. 15:35:03 How do I prove that in radians sin x ~= x when x =~= 0? 15:35:24 oerjan has presumably told you this already but the maclaurin series is the quickest way 15:35:50 Phantom___Hoover: i did, but i also guessed he's asking for a deeper issue. 15:36:06 Phantom___Hoover: well, that's circular for Taneb's question unless you say that sin is defined to be the limit of this power series 15:36:40 (as opposed to being defined to be some nonsense with circles) 15:37:24 this is all true, but actually proving that d/dx(sin x) = cos x is not something i've ever seen, at least 15:37:32 I think mostly I'm falling asleep 15:38:00 Phantom___Hoover, it's pretty easy using that lim_(x->0) (sin x) = x 15:38:15 And the limits definition of differentials 15:38:21 isn't that exactly the thing you were meant to prove 15:38:46 No, that was the thing I asked about 15:38:47 Phantom___Hoover: this is the x and y of the xy problem in question. 15:39:03 Modern trigonometry avoids circular reasoning. 15:39:11 which are equivalent to each other. 15:39:16 I wasn't actually meant to do anything 15:39:24 Put the milk in the fridge maybe 15:39:27 Guess I failed at that 15:40:39 * oerjan checks he didn't forget to unpack his own groceries 15:41:17 I'll do that now 15:41:18 Taneb: anyway it's good to ask such questions, it's what i vaguely recall doing when i started univ. 15:41:25 -!- lmt has joined. 15:41:32 ok which one of you assholes posted this http://www.reddit.com/r/Minecraft/comments/1o7ktk/what_happened_to_real_redstone/ 15:42:40 lmt: i don't recall that nick here. 15:43:04 oerjan: does it mean I can spam^H^H^H^Hkindly welcome lmt? 15:43:13 `pastlog who are you, the NSA 15:43:45 No output. 15:43:49 boily: i meant the author of the reddit post. please stand by for answer to your question. 15:43:53 `pastlog Taneb: i mean if the point is just to intuitively convince yourself, imagining the circle is probably sufficient 15:44:04 2013-03-19.txt:21:52:54: which is a hallmark of a good esolang 15:44:13 lmt, the comments on this thread are physically hurting me 15:44:13 i never trust HackEgo's No outputs on first - right. 15:44:17 boily: nope, not new. 15:44:21 Phantom___Hoover: good 15:44:26 feel the pain 15:44:47 since it's just saying that near the x axis, the circle is practically vertical 15:45:10 * oerjan almost forgot to swat Jafet -----### 15:45:48 I just can't appreciate the kind of vast, redstone-powered computers that folks build in Minecraft. While it clearly takes dedication and talent to design them, it's kind of like looking at someone's model railroad or stamp collection. It's impressive, but not something that really 'impacts' you beyond saying, "Wow, this guy has a ton of time on his hands". 15:45:49 oerjan: oh well. maybe next time! (and hopefully it won't be an overly attached misguided young teenaged colombian girl...) 15:46:17 what 15:46:25 boily: what we need to ask, are those spanish people all the same girl 15:47:11 lmt: what is the point of minecraft _other_ than doing such things. 15:47:39 building stuff 15:47:48 that looks good on renders 15:48:50 `learn lmt is insufficiently mad for this channel. 15:48:55 I knew that. 15:49:49 i can kind of sympathise to an extent though, MC circuitry was far more interesting when it was all about crazy physics exploits 15:50:05 i'm the only one mad enough for this channel, actually 15:50:16 ah... the good old times where I exploited grass growth for my mad contraptions... 15:50:20 Phantom___Hoover: yeah, redstone isn't really a particularly good esolang 15:50:52 the most esoteric part of minecraft is getting upside-down stairs to align with each other 15:51:39 the block update detector becoming an actual block was the dumbest thing ever 15:52:47 huh? it did? 15:53:38 oh, it was tentatively announced but not actually released 15:54:25 i miss boatvators though 15:54:27 and boosters 15:55:15 on the other hand have you seen the guy creating spawners in vanilla survival 15:55:46 minecraft is not quite dead yet 15:56:48 Dwarf Fortress is where it's at 15:57:08 i was under the impression that minecraft has been completely usurped by its own modding community 15:57:12 Taneb, ON THAT TOPIC 15:57:16 Phantom___Hoover: here's the video http://www.youtube.com/watch?v=9iaU1TvIQqM 15:57:21 Phantom___Hoover, GO ON 15:57:28 Phantom___Hoover: the most insane thing i've ever seen 15:57:30 Taneb, MAKE FORT 15:57:38 VANILLA OR ANTHRACITE 15:57:41 pure vanilla survival 15:59:03 if you have anthracite, use that 15:59:22 i have gone back to my opinion that mineral distribution is still complete shit 15:59:33 yes it is 15:59:51 on the other hand if you make it more realistic it will just be boring as hell 16:00:07 Anthracite it is 16:00:07 boatvators are dead??? NOOOOOOOOOOOOOOOOOOOOOOOOO! 16:00:49 every embark would just have at most one mineral 16:01:15 lmt, anthracite is my mod, it adds high-yield coal ore to some stone layers and adds iron ore to others 16:01:23 oh 16:01:33 makes it actually possible to start a steel industry on most sites 16:01:38 lame 16:01:53 eh 16:01:53 if you want to start a steel industry pick a proper embark 16:02:06 please 16:02:30 even with dfhack's prospect-on-embark-screen thing i wasn't able to find a site with coal, flux and ore 16:03:03 well keep looking! 16:03:10 `unidecode 🚌 16:03:10 prospect-on-embark underreports flux 16:03:13 [U+D83D DUNNO] [U+DE8C DUNNO] 16:03:20 flux was not the issue 16:03:22 and who needs coal 16:03:29 when the embark screen says flux i believe it 16:04:01 i have never used coal ever 16:04:08 anyway this argument is not going to be anything but worthless and acrimonious, let's stop 16:04:10 You need coal or charcoal to make steel 16:04:11 there's lava on every map 16:04:14 and trees 16:04:17 on every map 16:04:20 i'll play how i want to, you play how you want to 16:04:33 Choosing a site now 16:06:02 Taneb, btw dfhack is now essentially "the dwarf fortress unofficial patch project"; i highly recommend it even if you never actually use any of its tools 16:06:17 it even fixes the temperature system! 16:06:44 it even fixes the cursor jumping to the middle of the screen when you switch modes! 16:07:14 sadly it doesn't fix the need to have four different cursor modes 16:08:09 btw i'm serious about never using coal - i dont' think i've ever even seen any 16:08:15 yes 16:08:23 this is why mineral distribution is shit 16:08:44 yeah but that doesn't actually prevent you from having steel 16:09:10 ten layers of sedimentary stone which may contain useful ores, then a hundred layers of worthless metamorphic and igneous intrusive 16:09:55 lmt, i do know this, my perspective is just slightly skewed on account of just having spent a while playing on a glacier 16:10:30 that's how geology works, yes 16:10:43 sigh 16:10:52 df is not, and has never been, about realism 16:10:59 ways real life does not work: 16:11:33 you can't fit an unlimited number of people into a given space because they're lying down 16:11:59 you can't feed a couple hundred people off two underground farm plots 16:12:35 people don't eat, sleep and drink once every month or two 16:13:03 You can't attach an archimedan screw to a watermill and make a perpetual motion machine 16:13:16 you can't fit a few hundred boulders into the same space taken up by a chair 16:13:37 Pressure sometimes causes liquids to end up higher than when they started in real life 16:15:12 -!- lmt has quit (Ping timeout: 252 seconds). 16:15:27 Phantom___Hoover, embark on a small island y/n 16:15:46 n, you'll get no contact from non-dwarven civs 16:15:57 i had the same problem on the glacier, it's just boring in the long run 16:16:37 i think you might not even encounter megabeasts 16:16:44 No, you encounter megabeasts 16:16:59 One of my previous fortresses got wiped by a fire demon on a small island 16:17:48 Embark with no reported flux y/n 16:18:02 mmmm 16:19:21 n, getting flux is really hard 16:22:33