00:00:44 [wiki] [[Talk:Incident]] https://esolangs.org/w/index.php?diff=50358&oldid=50356 * Oerjan * (+753) Expand a little 00:01:18 -!- oerjan has joined. 00:03:30 -!- DHeadshot has joined. 00:16:44 -!- DHeadshot has quit (Ping timeout: 250 seconds). 00:59:00 -!- moonheart08 has joined. 01:04:57 -!- Sprocklem has quit (Ping timeout: 240 seconds). 01:05:11 -!- moony has joined. 01:07:59 -!- moonheart08 has quit (Ping timeout: 265 seconds). 01:09:58 -!- boily has joined. 01:10:02 `wisdom 01:10:04 ​örjan//Örjan is the diæresed twin. He will punctuate your vöẅëls, and maybe a few other unsuspecting letters. 01:10:18 höily. 01:11:22 @tell \oren\ öẅë looks off; the diæreses are at different heights 01:11:22 Consider it noted. 01:12:08 hellœ̈rjan. 01:17:03 are there precomposed characters that go four-deep? e.g. “é” is “e´”, “ề” is “e^`”. 01:18:10 boily: I'm annoyed there are precomposed characters at all. 01:18:39 hppavellon[1]. précomposition is good for you. 01:19:05 boily: There should be 0 precomposed characters. There should be more morphological characters. 01:19:16 Like, there shouldn't be 4 blocks of arrows 01:19:30 There should just be 1 (or maybe 2) blocks that provide resources to construct arbitrary arrows 01:20:10 (Any combination of the 8 major-enough-to-mention directions, any stem, any head (which is two half-heads, which is what harpoons have)) 01:20:26 At least, that's for the basic ones. Less simple ones can have dedicated characters. 01:22:44 precompose everything. 01:22:46 You can make up a font with METAFONT that works that way if you want it to do that way, I think. 01:23:12 I want my northwest double-stroke double harpoon [barb [l], barb [r]], southwest double-stroke double-head [[barb, barb], [curve, null]], and northeast single-stroke white head 01:23:16 Dammit! 01:23:28 *+"*+" 01:25:15 <\oren\> what's the point of nuget 01:25:32 \oren\: nuget the terrible food-or-something? 01:25:33 he\\oren\. what's a nuget? is it made of chicken? 01:25:44 boily: No, that's a nüget 01:26:10 <\oren\> nuget the package manger 01:26:13 (UK: nügaet or nügæt) 01:26:17 * pikhq finally beat Pokémon Moon. 01:26:39 pikhelloq. isn't it unreleased yet? 01:26:55 \oren\: there is such a package manager??? 01:27:04 <\oren\> yes 01:27:07 hppavilion[1]: see, you benefit from precomposition! 01:27:17 It just came out in Europe, and has been out in the US since last Friday. 01:27:18 <\oren\> but it is vastly inferior to existing one 01:27:39 ah, it's for .net. 01:27:42 (by "just" I obviously mean "if you go to a midnight release or download it on the eShop) 01:27:44 <\oren\> also pokemon moon is vastly inferior to pokemon silver 01:27:52 \oren\: Orly? 01:28:25 <\oren\> less content, smaller world, crappier pokemon 01:28:29 boily: Yes, I haven't fixed my keyboard yet 01:28:37 Erm, have you played Moon? 01:28:41 <\oren\> yes 01:28:43 * boily precomposes hppavilion[1]. 01:28:53 AAAAAAAAAGLHHF 01:28:58 boily: Wait, with whom? 01:29:35 * hppavilion[1] . o O ( Hmm, If this is category theory... ) 01:30:01 * pikhq wishes the apricorn balls in gen 7 were renewable resources... 01:31:12 -!- FreeFull has quit (Quit: off for the night). 01:31:43 <\oren\> they whould make one where you can visit johto, kanto, hoenn and 01:32:08 <\oren\> that would finally be better than pokemon silver 01:32:34 helloily! 01:32:38 quinthellopia! 01:32:59 what have i missed? 01:33:08 you were disappeared! 01:33:22 by whom? 01:33:32 when will they reinstate me? 01:33:55 * boily is being asked whome questions too much tonight 01:34:00 s/me\b/m/ 01:34:12 you are, you reappeared. 01:34:17 oh 01:34:33 . o O ( package mangler ) 01:34:34 i havent had a craft beer in weeks 01:34:45 anyone play MUDs? 01:34:47 oerjan: l9rena bobbit? 01:34:49 quintopia, I haven't had an any beer in years 01:35:11 mhelloony. I tried. I think zzo38 still does? 01:35:12 Taneb: i think you invented teetotaling 01:35:21 \oren\: So, Pokemon Switch then. :) 01:35:29 itym teetotanebing hth. 01:35:33 quintopia, I drink the occassional gin and tonic 01:35:42 fine 01:35:44 I just... don't really like beer 01:35:55 Nobody does. 01:35:56 not as good as beer but...acceptable 01:35:57 Tanelle. there's a new gin from Rimouski with algæ. very good! 01:36:00 Though I do wish we'd revisit Kalos, and get that setting feeling a little less... empty. 01:36:02 We all just pretend. 01:36:30 hppavilion[1]: conspiracy failed 01:36:45 How does one drag out the vowel 'æ' 01:36:49 quintopia: wat 01:36:56 Like, if I'm calling for my encyclopædia 01:36:58 hppavilion[1]: aeeeeeee 01:37:17 quintopia: I would think aaaaæeeee (where the ones before and the ones after are ideally equal) 01:37:23 oerjan: lorena bobbit was a package mangler 01:37:24 hppavilion[1]: /e/. 01:38:03 encyclopææææææææædia is the simplest, but it looks weird. "encyclopaeaeaeaeaeaeaeaeaedia" is just... bizarre 01:38:20 So yeah, I think "encyclopaaaaæeeeedia" is the best-looking 01:40:45 a good quebecois beer would really hit the spot this holiday season 01:40:50 quintopia: not that kind of package hth. . o O ( i guess she disproved the penismightier theory. ) 01:42:51 How does one drag out the vowel 'æ' <-- easily hth 01:43:13 oerjan: penis mightier? 01:43:17 -!- zzo38 has quit (Ping timeout: 240 seconds). 01:43:26 Oh, wait, that was actually the joke... 01:45:26 * oerjan wonders how many hppavilion[1]s you need to create a black hole. not too many, he figures. 01:46:28 also i thought you meant the ipa /æ/. 01:47:21 `? quote format 01:47:23 quote format? ¯\(°​_o)/¯ 01:47:25 `? quotefmt 01:47:26 quotefmt? ¯\(°​_o)/¯ 01:47:40 sheesh use `wisdom 01:47:42 `grwp format 01:47:44 ism:Isms are philosophies, religions or ideologies that have branched off from older ones, such as Leninism or Buddhism. Etymologically "ism" is a backformation from portmanteaus on "schism". \ morphism:A morphism is just a natural transformation between two diagrams of 1. \ natural transformation:A natural transformation is a transformation of som 01:47:48 `wisdom format 01:47:50 quoteformat//quoteformat is: message; * nick action; two spaces between messages; all elisions marked with [...] other than irrelevant intervening messages; for messages separated by elision, one space on each side, not two. 01:47:54 Ah. 01:48:04 `? oerjanformat 01:48:05 oerjanformat? ¯\(°​_o)/¯ 01:48:09 hm 01:48:18 no decision about two spaces after a . 01:48:18 quintopia: no worries. 01:48:49 of course that one is duplicated under several names. just not the one you remember. 01:49:14 traditional oerjanformat definitely has two spaces. 01:49:34 And modern oerjanformat? 01:49:47 -!- Sprocklem has joined. 01:49:53 is a bit more inconsistent. 01:50:04 but tends to be two when i remember. 01:50:30 do you remember amortized? 01:50:39 constantly 01:51:28 memento amorti 01:51:36 `? oerjan 01:51:37 Your esteemoologist wise potatolwrd oerjan is a lazy expert in suture complication. Also a Glaswegian who passionfruitly dislikes Roald Dahl. Lately when he tries to remember a word, "amortized" pops up. His arch-nemesis is Betty Crocker. He sometimes puns without noticing it. 01:51:55 Theorem: The military power of a nation is directly proportional to the number of sides of its headquarters 01:52:15 So a country based at the Hexagon is twice as powerful as one based at the Triangle 01:52:26 `` sed -i 'sppotapmemenp' wisdom/oerjan 01:52:28 ​/bin/sed: -e expression #1, char 12: unknown option to `s' 01:52:34 argh. 01:52:39 `` sed -i 'sp\potapmemenp' wisdom/oerjan 01:52:42 hppavilion[1]: The obvious question about a circle. 01:52:43 wisdom/oerjan//Your esteemoologist wise mementolwrd oerjan is a lazy expert in suture complication. Also a Glaswegian who passionfruitly dislikes Roald Dahl. Lately when he tries to remember a word, "amortized" pops up. His arch-nemesis is Betty Crocker. He sometimes puns without noticing it. 01:53:02 fizzie: BOW DOWN BEFORE YOUR OVERLORDS 01:53:46 hellochaf. what decides the oerjan colouring? 01:54:02 Not sure. 01:54:12 Maybe it should be random. 01:55:10 dun dun dun ♪ 02:00:14 Recursive acronyms are boring if they don't also have exponential growth 02:02:26 the derivative of a recursive acronym growth should plot Beethoven's Fifth, immo. 02:05:01 wat 02:08:23 -!- zzo38 has joined. 02:08:58 boily: oooh... 02:09:05 apparently those new quantum-proof public key systems shouldn't feel too safe... https://arxiv.org/abs/1611.06999 02:10:28 boily: that's dun dun dun dun not dun dun dun hth 02:12:05 also one of the reddit posters linked this http://imgur.com/ajOD0MM 02:12:40 (there aren't many comments yet, alas. i guess aaronson will say something if he can get out of post-election depression) 02:13:46 * boily dun dun dun duns ♪ 02:15:19 * quintopia words all the words 02:15:49 -!- boily has quit (Quit: HABITUAL CHICKEN). 02:15:53 gang 02:16:13 he gang away 02:16:16 i was trying to come up with a good portgnight 02:16:24 and couldnt decide 02:16:36 o well 02:24:50 -!- hppavilion[1] has quit (Ping timeout: 265 seconds). 02:25:59 -!- computing has joined. 02:28:57 -!- moony has quit (Ping timeout: 240 seconds). 02:30:44 TL11 in GURPS is "Age of Exotic Matter". What do you think is Age of Exotic Matter? 02:38:24 -!- computing has quit (Ping timeout: 268 seconds). 03:02:52 -!- Frooxius has joined. 03:03:54 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 03:05:36 -!- Froox has quit (Ping timeout: 260 seconds). 03:09:49 -!- Froox has joined. 03:13:12 -!- Frooxius has quit (Ping timeout: 258 seconds). 03:16:56 -!- Froo has joined. 03:20:06 -!- Froox has quit (Ping timeout: 258 seconds). 03:21:18 -!- espes has quit (Ping timeout: 245 seconds). 03:22:00 -!- espes has joined. 03:22:15 -!- zzo38 has quit (Ping timeout: 256 seconds). 03:23:58 -!- Froox has joined. 03:27:04 -!- Froo has quit (Ping timeout: 244 seconds). 03:31:17 -!- Frooxius has joined. 03:34:00 -!- shikhin has changed nick to driyoyleujiy. 03:34:08 -!- Froox has quit (Ping timeout: 260 seconds). 03:34:11 -!- driyoyleujiy has changed nick to shikhin. 03:38:23 -!- zzo38 has joined. 03:38:24 -!- Froox has joined. 03:38:52 Froox: boo! 03:41:01 -!- Frooxius has quit (Ping timeout: 244 seconds). 03:45:11 -!- Frooxius has joined. 03:47:44 -!- Froox has quit (Ping timeout: 244 seconds). 03:47:53 -!- ChanServ has set channel mode: +o oerjan. 03:49:56 -!- oerjan has set channel mode: +b *!~Frooxius@194.108.5.201$#fix_your_connection. 03:50:04 -!- oerjan has set channel mode: -o oerjan. 03:51:41 `5 w 03:51:46 1/1:1//The 1 is just for disambiguation. \ costume//Costumes are used for cosplay. Taneb sometimes invents them. \ braid theory//Braid theory is the extremely twisted theory of braids. \ croissont supplier//See misspellings of croissant \ nø//nø means 'Char', apparently. Maybe like when you burn a lot? 03:51:56 `dowt 1 03:51:59 5223:2015-01-02 learn 1 is just for disambiguation. \ 5224:2015-01-02 learn The 1 is just for disambiguation. 03:52:08 `doat bin/1 03:52:10 8311:2016-06-03 mkx bin/1//\\` "$@" | sport \ 8570:2016-06-22 sled bin/1//s#\\|#|\\&# \ 8574:2016-06-22 sled bin/1//s#|#|\\&# \ 8575:2016-06-22 mkx bin/1//\\` "$@" |& sport 03:52:19 oerjan: i don't follow tdnh 03:52:31 Oh, I bet it's about the pavilion. 03:52:45 MAYBE 03:52:53 Oh, no. 03:53:09 Apparently it's about Diablo 1, which I never played. 03:53:34 `? 1 03:53:35 The 1 is just for disambiguation. 03:53:37 er 03:53:39 `? 2 03:53:40 2? ¯\(°​_o)/¯ 03:54:57 -!- Frooxius has quit (Ping timeout: 240 seconds). 04:17:58 -!- hppavilion[1] has joined. 04:51:30 -!- PinealGlandOptic has quit (Quit: leaving). 05:01:01 -!- augur_ has joined. 05:03:10 -!- augur has quit (Ping timeout: 244 seconds). 05:22:30 https://github.com/kw-udon/constexpr-8cc 05:29:46 `? abbreviation 05:29:49 abbreviation? ¯\(°​_o)/¯ 05:32:46 `learn The abbreviation fad began in Boston in the summer of 1838 and spread to New York and New Orleans in 1839. 05:32:50 Learned 'abbreviation': The abbreviation fad began in Boston in the summer of 1838 and spread to New York and New Orleans in 1839. 05:32:58 (from http://www.straightdope.com/columns/read/503/what-does-ok-stand-for) 05:59:04 -!- hppavilion[1] has quit (Ping timeout: 250 seconds). 06:06:04 -!- adu has joined. 06:16:39 -!- hppavilion[1] has joined. 06:52:05 -!- AnotherTest has joined. 06:52:13 -!- oerjan has quit (Quit: Nite). 06:58:49 -!- AnotherTest has quit (Ping timeout: 260 seconds). 07:02:46 -!- gniourf has quit (Ping timeout: 250 seconds). 07:11:53 -!- adu has quit (Quit: adu). 07:16:09 -!- gniourf has joined. 08:05:19 -!- MoALTz has joined. 08:13:57 halp 08:14:18 https://arin.ga/dI5rXj/raw i fucked up something and now this is the output of 99bottles.b 08:14:28 what can be the cause? 08:16:00 izalove: You must sacrifice 2 he-goats and 1 ram to satan. Pray for mercy. 08:16:11 done 08:16:13 now what 08:24:53 yay fixed 08:26:09 satan loves to help 09:06:00 -!- fractal has quit (Remote host closed the connection). 09:18:56 -!- fractal has joined. 09:22:55 -!- hppavilion[1] has quit (Ping timeout: 265 seconds). 09:50:48 -!- AnotherTest has joined. 10:43:46 https://github.com/LeartS/loleuler 11:00:18 -!- LeartS has joined. 11:00:28 `welcome LeartS 11:00:29 LeartS: 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.) 11:36:20 -!- boily has joined. 11:36:26 `wisdom 11:36:28 topology//Topology is another name for topos theory. 11:43:03 -!- LKoen has joined. 11:47:33 -!- Phantom_Hoover has joined. 12:27:31 -!- boily has quit (Quit: TODAY CHICKEN). 12:34:28 -!- ski has quit (Ping timeout: 260 seconds). 13:21:48 -!- LKoen has quit (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”). 14:16:31 -!- int-e has changed nick to int-e_. 14:16:57 -!- int-e has joined. 14:18:19 -!- int-e_ has quit (Quit: leaving). 14:48:34 -!- computing has joined. 14:50:49 Heh, it's been a while since GG made me literally laugh out loud. 15:00:21 -!- AnotherTest has quit (Ping timeout: 248 seconds). 15:03:13 -!- moony has joined. 15:06:13 -!- computing has quit (Ping timeout: 248 seconds). 15:20:34 -!- LeartS has left ("WeeChat 1.4"). 15:20:52 [wiki] [[Special:Log/newusers]] create * 414owen * New user account 15:22:41 -!- Sprocklem has quit (Ping timeout: 258 seconds). 15:30:58 -!- Bowserinator has changed nick to Botcom. 15:31:06 -!- Botcom has changed nick to Bowserinator. 15:34:29 -!- Akaibu has quit (Ping timeout: 260 seconds). 15:35:57 -!- Akaibu has joined. 15:40:34 -!- MoALTz_ has joined. 15:43:33 -!- MoALTz has quit (Ping timeout: 248 seconds). 16:05:54 [wiki] [[Esolang:Introduce yourself]] M https://esolangs.org/w/index.php?diff=50359&oldid=50327 * 414owen * (+304) 16:06:06 [wiki] [[Befunge]] https://esolangs.org/w/index.php?diff=50360&oldid=49655 * 414owen * (+41) Grouped programs by befunge-compatability. This is because it took me ages to figure out that some weren't going to ever be compatible for my befunge-93 interpreter, as they used 98-specific instructions. I also removed the 'wipe-stack' program. 16:09:00 [wiki] [[Befunge]] https://esolangs.org/w/index.php?diff=50361&oldid=50360 * 414owen * (-4) Removed misleading wiki-link 16:10:51 -!- moony has quit (Ping timeout: 265 seconds). 16:52:04 [wiki] [[Language list]] https://esolangs.org/w/index.php?diff=50362&oldid=50349 * Slnetaiga * (+10) Added DBR 16:52:46 -!- Sprocklem has joined. 16:56:20 <\oren\> Apparently search-and-replace within an entire codebase can cause fail 16:56:31 <\oren\> I guess I have to do this more manually 16:58:49 [wiki] [[Special:Log/upload]] upload * Slnetaiga * uploaded "[[File:HelloWorld example for DBR.png]]" 17:00:16 [wiki] [[DBR]] N https://esolangs.org/w/index.php?oldid=50364 * Slnetaiga * (+943) Created page with "'''DBR(Drawing BRainfuck)''', it's brainfuck like language, where instead of text files are the images and text commands instead of colored pixels. == Commands colors == {| c..." 17:01:39 [wiki] [[DBR]] https://esolangs.org/w/index.php?diff=50365&oldid=50364 * Slnetaiga * (+16) 17:01:54 [wiki] [[User:Slnetaiga]] https://esolangs.org/w/index.php?diff=50366&oldid=50291 * Slnetaiga * (+10) 17:06:03 <\oren\> https://www.youtube.com/watch?v=wfxDIyYU9nM 17:06:49 I am sure it can cause it to fail. What were you trying to do anyways? 17:07:50 <\oren\> I was trying to replace "Hue" with "Colour" 17:08:27 -!- AnotherTest has joined. 17:13:53 The word is also short enough that there is another possible problem 17:14:23 Also, what program was that anyways? 17:22:55 -!- Sprocklem has quit (Ping timeout: 252 seconds). 17:28:01 -!- moonheart08 has joined. 17:32:06 -!- oerjan has joined. 17:35:38 -!- Sprocklem has joined. 17:46:48 -!- moonheart08 has quit (Ping timeout: 244 seconds). 17:47:40 -!- moonheart08 has joined. 18:07:59 -!- hppavilion[1] has joined. 18:24:32 -!- Sprocklem has quit (Ping timeout: 260 seconds). 18:25:57 @metar pamr 18:25:57 PAMR 231753Z 00000KT 10SM CLR M11/M14 A2950 RMK AO2 SLP992 I6/// T11061139 11078 21117 18:32:41 -!- Sprocklem has joined. 18:35:35 -!- LKoen has joined. 18:38:24 Cale: What do you think of the GεF notation? 18:38:44 I think it's brilliant, but some people apparently don't like it. 18:39:38 I like it 18:42:46 Exercise: Suppose F is left adjoint to G. Find a natural transformation FFGGFGFGG -> GGFGFFGGF 18:49:28 isn't that just about swapping adjacent FG -> GF until you get there 18:50:12 That's one way to look at it -- it's perhaps easier to look at it as eliminating FG's and introducing GF's 18:50:27 (because that's what ε and η do) 18:50:32 shachaf: G ε F like Hilbert? 18:50:44 hppavilion[1]: Like natural transformations 18:51:09 oh right, it's even easier 18:51:42 http://cale.hn.org/share/adjunction-nat-trans.png 18:51:47 (spoiler) 18:52:20 Oh 18:52:32 It's really obnoxious to write that map down if you don't have the notation shachaf was referring to 18:52:57 i,i what, string diagrams? 18:52:59 Though I suppose you could always use explicit horizontal composition with the identity map 18:53:55 String diagrams just make it really topologically obvious what moves you ought to perform 18:54:11 -!- oerjan has quit (Quit: Later). 18:54:48 Cale: Oh, are we getting into Deontic logic? :P 18:56:43 -!- otherbot has joined. 19:00:10 hppavilion[1]: actually there is some sort of connection to certain modal logics 19:01:25 Dammit 19:01:30 Is the number of ordinals an ordinal? 19:01:37 (Wait, are the ordinals a superset of the cardinals? I forget) 19:01:56 There are set-many ordinals 19:02:39 Ordinals are often a superset of the cardinals -- it depends on how you set things up, it's possible to define them separately. 19:02:51 Well, "superset" -- they're not a set 19:02:57 -!- moonheart08 has quit (Ping timeout: 240 seconds). 19:02:58 Superclass :) 19:03:03 Cale: set-many? 19:03:05 Ah xD 19:03:27 Cale: Wait, superclass as in the superer class or superclass as in bigger than a class? xD 19:03:38 (Also, what exactly is the rule for class vs. set?) 19:04:19 -!- FreeFull has joined. 19:04:59 Well, the basic approach is that classes are just predicates on sets 19:05:10 i.e. properties that sets may or may not satisfy 19:05:23 There isn't a set of all ordinals, nor a set of all sets 19:05:55 -!- Sprocklem has quit (Quit: [). 19:06:00 But there is a property one can specify of sets which determines whether one is an ordinal, and similarly there is a predicate which is constantly true :) 19:06:12 -!- LKoen has quit (Remote host closed the connection). 19:08:03 -!- Sprocklem has joined. 19:08:09 Oh, sorry, just realised I said that backwards, there aren't set-many ordinals -- i.e. there are "too many" to fit in a set 19:09:37 Superclass in this case as in the property of being a cardinal implies the property of being an ordinal 19:11:04 -!- hppavilion[0] has joined. 19:20:44 -!- TieSoul has joined. 19:25:13 -!- LKoen has joined. 19:27:01 -!- Sprocklem has quit (Ping timeout: 248 seconds). 19:27:52 -!- hppavilion[0] has quit (Quit: PH'NGLUI MGLW'NAFH CTHULHU R'LYEH WGAH'NAGL FHTAGN). 19:28:28 -!- LKoen has quit (Client Quit). 19:32:53 -!- hppavilion[1] has quit (Ping timeout: 265 seconds). 19:40:49 -!- DHeadshot has joined. 20:17:56 -!- DHeadshot has quit (Ping timeout: 260 seconds). 20:43:57 [wiki] [[Special:Log/newusers]] create * BradleySadowsky * New user account 20:45:25 -!- DHeadshot has joined. 20:46:05 -!- Sprocklem has joined. 20:59:34 -!- PinealGlandOptic has joined. 21:16:28 -!- MDude has quit (Remote host closed the connection). 21:19:52 [wiki] [[Talk:Aperture]] N https://esolangs.org/w/index.php?oldid=50367 * TuxCrafting * (+99) Created page with "wat ~~~~" 21:22:17 -!- xocket has joined. 21:24:44 -!- wob_jonas has joined. 21:29:13 -!- Phantom_Hoover has quit (Ping timeout: 245 seconds). 21:32:17 -!- xocket has quit (Disconnected by services). 21:32:18 -!- xock_stream has joined. 21:32:31 -!- Sprocklem has quit (Ping timeout: 256 seconds). 21:36:49 argh! these websites are so horrible. they have a ton of specific css and javascript stuff in it to stop the browser from working normally. 21:37:56 and they're so complicated I can't just override them with a few clicks 21:43:45 -!- wanderman has joined. 21:44:00 -!- AnotherTest has quit (Quit: ZNC - http://znc.in). 21:46:18 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client). 21:53:14 [wiki] [[Special:Log/newusers]] create * Ferrosurgeon * New user account 22:05:02 -!- wanderman has quit (Quit: Leaving). 22:14:39 -!- wob_jonas has joined. 22:19:28 -!- Sprocklem has joined. 22:19:52 -!- hppavilion[1] has joined. 22:19:58 -!- hppavilion[0] has joined. 22:21:26 -!- Phantom_Hoover has joined. 22:23:37 -!- Sprocklem has quit (Ping timeout: 240 seconds). 22:32:30 -!- xocket has joined. 22:33:49 Where can I hire a proverbial angry mob with *nerf* torches and pitchforks (ones that won't actually burn or pierce anything)? This author uses a scalar product that is conjugate-linear in the right hand side argument instead of in the left hand side argument, in a context where it totally doesn't matter. 22:34:29 -!- xock_stream has quit (Ping timeout: 260 seconds). 22:35:09 I mean, that's worse than putting the dereferencing star before the space in a variable declaration. 22:39:05 I write the dereferencing star without a space in a variable declaration 22:41:23 that's less bad than writing a space after it. 22:44:11 Yes I think so, that is why I write it like that 22:47:51 I usually write a space between the specifier and the declarator in the declaration or parameter, as well as write spaces on both sides of arithmetic/comparison/bitwise/logic/assignment binary operators, 22:50:22 and write a space after all commas and semicolons, write a space around both sides of braces that start or end blocks (but not braces that are for initializer lists), write a space around the outside of the parenthisized control part of if/while/do/switch/for statements, and a space after the return keyword, etc; 22:51:13 but in some cramped situation when it is important to present some long formula with repeated structure in shorter space, I omit almost any of these spaces when that doesn't cause ambiguity. 22:52:43 (There are more situations where I write spaces, it'd be long to list everything.) 22:53:47 -!- boily has joined. 22:53:53 `wisdom 22:53:54 future//We know nothing about the future. 22:54:05 `? past 22:54:06 past? ¯\(°​_o)/¯ 22:54:11 `? present 22:54:11 `? present 22:54:12 present? ¯\(°​_o)/¯ 22:54:13 present? ¯\(°​_o)/¯ 22:54:19 wellob_jonas. 22:54:22 `? christmas 22:54:23 christmas? ¯\(°​_o)/¯ 22:54:25 hi, boily 22:54:38 `? mob 22:54:39 mob? ¯\(°​_o)/¯ 22:58:11 `? holidays 22:58:13 holidays? ¯\(°​_o)/¯ 22:58:15 `? fungot 22:58:16 fungot is our beloved channel mascot and voice of reason. 22:58:31 fizzie: fizziello. could you please remascot the chännel? 23:02:34 `5 w 23:02:38 `spam 23:02:41 2/0: 23:02:42 1/1:calzone//A calzone is a part of California. They include norcal and socal. \ quit///quit \ hax0r//hax0r (see ¯\(°​_o)/¯) \ hambiguitous//We're not sure what hambiguitous means, but it's definitely not hth. \ megalun//megalun is a chain of a million SCSI devices. FreeFull weighs 482 of them. 23:02:47 `spam 23:02:48 2/1: 23:03:23 Right. 23:04:07 5/7 perfect. 23:04:50 `5 w 23:04:55 1/2:userweps//boily has the mapole, oerjan has the swatter \ wumpus//Wumpus the Hunted is an early 70s action game in which the Wumpus is trapped in a dodecahedral labyrinth where it's chased by bats. It has to avoid traps and evade magical arrows that are guided by a nefarious AI. \ amortized//An amortized word is a word that oerja 23:05:03 `spam 23:05:04 2/2:n can never remember. \ john//John is not Hziulquoigmnzhah of Cykranosh, the dread spawn of Cxaxukluth, according to http://smbc-comics.com/index.php?id=4072 \ curry's paradox//If this sentence is true, then Taneb invented Curry's paradox. 23:05:25 `? tanebventions: math 23:05:27 Mathematical tanebventions include D-modules, Chu spaces, the torus, Stephen Wolfram, Klein bottles, string diagrams, the reals, Lambek's lemma, pointless topology, the long line, locales, and histograms. 23:05:28 bhelloily 23:05:35 quinthellopia. 23:05:41 -!- hppavilion[0] has quit (Ping timeout: 248 seconds). 23:05:41 -!- hppavilion[1] has quit (Ping timeout: 248 seconds). 23:05:43 boily: CAN DO 23:05:48 fizzie: OKAY 23:06:05 `slwd tanebventions: math//s#the long#Curry's paradox, &# 23:06:08 tanebventions: math//Mathematical tanebventions include D-modules, Chu spaces, the torus, Stephen Wolfram, Klein bottles, string diagrams, the reals, Lambek's lemma, pointless topology, Curry's paradox, the long line, locales, and histograms. 23:06:13 -!- fungot has joined. 23:06:13 boily: day off today \o/ 23:07:13 quintopia: woot! 23:07:25 fungot: o hai! 23:07:26 boily: its just a simulation, yet you can't break out of my apartment... bbl... 23:07:49 fungot: uhm... pretty sure I'm in *my* apartment, and that I'm quite real and tangible. 23:07:49 boily: i have no clue 23:07:55 fungot: yes yo do. I exist. 23:07:56 boily: checking the source code, what it actually means " state of the family fnord and used to signify a slightly different work 23:08:06 fungot: my family doesn't fnord. 23:08:06 boily: would anyone know where i can read 23:08:11 boily: its not yours and its not real 23:08:20 * boily pokes himself to make sure he exists 23:08:42 the poke was successfully simulated 23:09:49 `? oerjan 23:09:55 Your esteemoologist wise mementolwrd oerjan is a lazy expert in suture complication. Also a Glaswegian who passionfruitly dislikes Roald Dahl. Lately when he tries to remember a word, "amortized" pops up. His arch-nemesis is Betty Crocker. He sometimes puns without noticing it. 23:10:22 * boily doesn't feel any existential dread at all. whatsoever. none. everything's fine. 23:15:36 let it out let it out! 23:16:44 https://plus.google.com/+MikeStay/posts/Vgz4kMFiyCU 23:18:26 -!- Zarutian has joined. 23:21:29 Do you like lapsang souchong? 23:31:19 some of them. they tend to be too smoky for my tastes. 23:31:48 I like smoky stuff, but not in excess. 23:33:03 -!- xock_stream has joined. 23:33:03 -!- xocket has quit (Disconnected by services). 23:39:22 -!- oerjan has joined. 23:41:39 helloily. what about universal dread? 23:45:50 -!- augur_ has quit (Quit: Leaving...). 23:47:58 I can dread the universe only if it's a simulation hth 23:50:41 so you don't know whether you dread the universe or not? 23:54:14 `? past 23:54:15 past? ¯\(°​_o)/¯ 23:56:42 -!- augur has joined. 23:57:01 -!- nitrix has quit (Read error: Connection reset by peer). 23:57:44 -!- DHeadshot has quit (Ping timeout: 260 seconds). 23:58:18 `le/rn past/Past is not the present but lies beyond it in the direction of ago. 23:58:21 Learned 'past': Past is not the present but lies beyond it in the direction of ago. 23:58:32 fff 23:58:41 * oerjan swats Zarutian -----### 23:59:10 oh well, my idea wasn't any good.