00:00:00 Diagram chasing is a technique used to prove integer lemmas. Taneb invented it. 00:00:08 `? merchantable 00:00:09 Merchantable adj. Capable of being chanted by mermaids. 00:07:17 `? no u 00:07:18 no u? ¯\(°​_o)/¯ 00:14:33 ais523 isn't here. 00:14:35 :< 00:30:19 `? tanebventions 00:30:20 Tanebventions include necessity, Go, submarine jousting, Fueue, the universe, special relativity, metar, sand, dragons, persistence, the BBC, _46bit, progress, sanity, Italian, the grace period, the Oxford comma, ruin, and this sentence. See also tanebventions: maths or tanebventions: foods. He never invents anything involving sex. 00:30:27 `? fueue 00:30:28 fueue? ¯\(°​_o)/¯ 00:32:09 `? special relativity 00:32:10 special relativity? ¯\(°​_o)/¯ 00:51:53 Taneb, you here? I found a paradox in your inventions 01:11:53 `? 6 01:11:54 6? ¯\(°​_o)/¯ 01:12:05 `? d6 01:12:06 d6? ¯\(°​_o)/¯ 01:12:08 `? 20 01:12:09 20? ¯\(°​_o)/¯ 01:12:11 `? d20 01:12:12 d20? ¯\(°​_o)/¯ 01:29:41 -!- Melvar has quit (Ping timeout: 255 seconds). 01:34:30 -!- augur has quit (Remote host closed the connection). 01:35:05 -!- augur has joined. 01:37:01 -!- MDude has joined. 01:37:07 -!- MDead has joined. 01:39:21 -!- augur has quit (Ping timeout: 255 seconds). 01:42:05 -!- MDead has quit (Quit: Going offline, see ya! (www.adiirc.com)). 02:01:51 -!- Storkman has quit (Ping timeout: 240 seconds). 02:13:27 -!- Melvar has joined. 02:14:49 `? p 02:14:49 `? d 02:14:50 P is the complexity class of Problems. They can be solved by reduction to NP. 02:14:50 D is a letter in the alphabet! It's also the name of a programming language. 02:14:51 `? s 02:14:52 Esses are confusing. 02:15:02 `? c 02:15:03 C is the language of��V�>WIד�.��Segmentation fault 02:15:05 `? r 02:15:06 r? ¯\(°​_o)/¯ 02:30:27 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client). 02:32:46 -!- variable has quit (Quit: /dev/null is full). 02:37:34 -!- imode has quit (Ping timeout: 264 seconds). 02:50:45 -!- sleffy has quit (Ping timeout: 264 seconds). 03:17:45 -!- augur has joined. 03:26:36 -!- sleffy has joined. 03:58:28 -!- Storkman has joined. 04:13:45 -!- Sgeo__ has joined. 04:16:14 -!- augur_ has joined. 04:16:33 -!- Sgeo_ has quit (Ping timeout: 265 seconds). 04:18:05 -!- augur has quit (Ping timeout: 256 seconds). 04:22:08 -!- augur_ has quit (Remote host closed the connection). 05:32:45 -!- variable has joined. 05:34:16 -!- variable has quit (Client Quit). 05:36:03 -!- sleffy has quit (Ping timeout: 255 seconds). 05:38:06 -!- xkapastel has quit (Quit: Connection closed for inactivity). 05:39:32 -!- sleffy has joined. 05:43:28 -!- doesthiswork has quit (Quit: Leaving.). 05:53:18 -!- augur has joined. 05:59:17 -!- variable has joined. 06:04:20 -!- variable has quit (Ping timeout: 276 seconds). 06:15:50 -!- variable has joined. 06:21:14 -!- variable has quit (Ping timeout: 276 seconds). 06:45:53 -!- Naergon has quit (Ping timeout: 248 seconds). 06:54:04 -!- imode has joined. 06:54:25 -!- sleffy has quit (Ping timeout: 248 seconds). 07:53:59 -!- AnotherTest has joined. 08:31:07 -!- AnotherTest has quit (Ping timeout: 260 seconds). 08:35:45 -!- imode has quit (Ping timeout: 248 seconds). 08:37:27 -!- brandonson has quit (Ping timeout: 240 seconds). 08:39:18 -!- brandonson has joined. 08:54:33 -!- Naergon has joined. 08:56:34 -!- augur has quit (Remote host closed the connection). 08:57:10 -!- augur has joined. 08:57:12 -!- sprocklem has quit (Ping timeout: 255 seconds). 09:01:02 -!- erkin has joined. 09:02:09 -!- augur has quit (Ping timeout: 255 seconds). 09:19:11 -!- oerjan has joined. 09:19:22 -!- shikhin has quit (Changing host). 09:19:22 -!- shikhin has joined. 09:22:19 -!- erkin has quit (Quit: Ouch! Got SIGIRL, dying...). 09:24:36 shachaf: i don't think i've spent much time trying to avoid ScopedTypeVariables in tricky cases... 09:26:15 -!- erkin has joined. 09:36:46 -!- variable has joined. 09:42:44 -!- variable has quit (Ping timeout: 276 seconds). 09:51:29 moony1339: I tend to be asleep at 1:51AM 10:34:13 -!- oerjan has quit (Quit: Later). 11:13:27 pffft. '"UNIX is simple and coherent..." - Dennis Ritchie, "GNU's Not UNIX" - Richard Stallman' 11:14:05 Gnice 11:14:07 `? J 11:14:08 J? ¯\(°​_o)/¯ 11:14:20 `? algol 11:14:22 ALGOL stands for A Programming Language 11:30:41 -!- ais523_ has joined. 11:30:49 -!- ais523_ has changed nick to ais523. 11:30:53 -!- ais523 has changed nick to ais523_. 11:43:25 -!- SopaXorzTaker has joined. 12:00:49 -!- ais523_ has quit (Quit: quit). 12:07:45 -!- variable has joined. 12:15:31 -!- erkin has quit (Quit: Ouch! Got SIGIRL, dying...). 12:51:41 -!- xkapastel has joined. 12:58:54 -!- LKoen has joined. 13:00:30 -!- doesthiswork has joined. 13:01:06 -!- Melvar has quit (Ping timeout: 255 seconds). 13:01:07 -!- doesthiswork has quit (Client Quit). 13:01:31 -!- Melvar has joined. 13:04:54 -!- doesthiswork has joined. 13:07:18 -!- AnotherTest has joined. 13:44:49 -!- danil has joined. 13:45:28 ^ul (1)(0)~S:S 13:45:28 10 13:45:56 -!- danil has quit (Client Quit). 14:03:49 -!- SopaXorzTaker has quit (Remote host closed the connection). 14:07:28 -!- Sgeo_ has joined. 14:09:37 -!- Sgeo__ has quit (Ping timeout: 248 seconds). 14:21:58 -!- erkin has joined. 14:52:23 -!- danil has joined. 14:56:56 -!- danil has quit (Ping timeout: 268 seconds). 14:57:40 -!- imode has joined. 15:08:41 -!- danil has joined. 15:10:18 ^ul (Hi) (World) ( ) a^~S 15:10:18 ...bad insn! 15:10:36 ^ul (Hi) a^ 15:10:36 ...bad insn! 15:11:36 ^ul (Hi) (a^):~!(~!)s 15:11:36 ...bad insn! 15:12:18 ^ul (^)^ 15:12:19 ...out of stack! 15:12:24 Aha! 15:26:14 what language is that? 15:26:28 greek 15:26:41 imode: underload 15:26:46 ah. 15:26:48 thanks. 15:40:03 -!- SopaXorzTaker has joined. 15:45:54 ^ul (0):!(2)!s 15:45:54 ...bad insn! 15:46:15 ^ul (0):!(2)!S 15:46:15 0 15:50:09 ^ul (89):!(92)*S 15:50:10 8992 15:52:08 ^ul (:)^ 15:52:08 ...out of stack! 15:52:27 ^ul (:)^S 15:52:27 ...out of stack! 15:53:30 ^ul ((Hi)) (:)*^S 15:53:30 ...bad insn! 16:13:39 -!- LKoen has quit (Remote host closed the connection). 16:19:25 -!- LKoen has joined. 16:29:15 -!- danil has quit (Read error: Connection reset by peer). 16:30:44 -!- danil has joined. 16:31:46 I guess fungot doesn't like insinuations 16:31:47 int-e: fnord was the problem? lack of variable renaming? there are arguments for and against are tricky. what makes you think 16:32:43 -!- danil has quit (Client Quit). 16:49:50 -!- LKoen has quit (Remote host closed the connection). 17:00:26 -!- LKoen has joined. 17:10:57 -!- LKoen has quit (Remote host closed the connection). 17:19:35 -!- sleffy has joined. 17:52:09 -!- sprocklem has joined. 17:54:03 -!- SopaXorzTaker has quit (Remote host closed the connection). 18:54:35 -!- Scrooble has joined. 18:55:19 -!- Scrooble has quit (Client Quit). 19:00:20 -!- augur has joined. 19:15:02 -!- Phantom_Hoover has joined. 19:15:02 -!- Phantom_Hoover has quit (Changing host). 19:15:02 -!- Phantom_Hoover has joined. 19:26:54 -!- augur has quit (Remote host closed the connection). 19:28:32 -!- augur has joined. 20:15:21 -!- sleffy has quit (Ping timeout: 255 seconds). 20:41:11 -!- Naergon has quit (Ping timeout: 276 seconds). 20:50:58 -!- augur_ has joined. 20:52:53 -!- augur has quit (Ping timeout: 265 seconds). 20:59:27 -!- LKoen has joined. 21:26:12 -!- augur has joined. 21:29:37 -!- augur_ has quit (Ping timeout: 265 seconds). 21:31:24 -!- augur has quit (Ping timeout: 255 seconds). 21:38:19 -!- moony1339 has changed nick to moony. 21:39:05 -!- augur has joined. 22:03:02 -!- augur has quit (Remote host closed the connection). 22:03:45 -!- augur has joined. 22:03:48 -!- brandonson has quit (Ping timeout: 255 seconds). 22:05:34 -!- brandonson has joined. 22:08:29 -!- augur has quit (Ping timeout: 260 seconds). 22:08:38 oerjan: There was that one case we talked about a few years ago when we were trying to remove as many extensions as possible from the Typeable exploits. 22:21:06 -!- boily has joined. 22:21:09 @metar CYUL 22:21:09 CYUL 242200Z 16007KT 30SM FEW140 BKN170 BKN220 20/04 A3008 RMK AC1AC4CI2 SLP187 DENSITY ALT 600FT 22:21:15 WARM! :D 22:21:33 @metar KOAK 22:21:33 KOAK 242153Z 29013KT 10SM FEW200 17/09 A3001 RMK AO2 SLP163 T01670094 $ 22:22:27 helloochaf. 22:24:49 -!- RealUnix3385 has joined. 22:27:07 -!- oerjan has joined. 22:27:29 bonsœøirjan. 22:28:06 -!- AnotherTest has quit (Ping timeout: 255 seconds). 22:29:05 bood evenily. 22:30:36 shachaf: hm possibly, i've forgotten the details. 22:31:35 `? j 22:31:37 j? ¯\(°​_o)/¯ 22:32:05 `learn J started out as a synonym for I, but then branched out into an array of other uses. 22:32:08 Learned 'j': J started out as a synonym for I, but then branched out into an array of other uses. 22:32:45 maybe the array pun is a bit weak. 22:32:58 still - an actually correct wisdom! 22:33:08 J started out as a synonym for I? 22:33:21 IVST ASK THE ROMANS 22:34:22 -!- RealUnix28200 has joined. 22:35:26 `quote LATINA 22:35:27 No output. 22:35:36 `quote LATIN 22:35:38 351) meanwhile, I've been running a program for over 24 hours (getting close to 48 now) which is calculating digits of pi, in binary so far, it has found four digits I hope it will find the fifth some time this week \ 733) Very much like "cen" is Latin for "horse", "yak" is Latin for "yak". \ 877) GreyKnight: for instance, you can form a poset category from a bunch of tiles oh, that's why some 22:35:45 -!- RealUnix3385 has quit (Ping timeout: 248 seconds). 22:36:01 RealUnix28200: so you're not GNU? (sorry, relevant channel discussion way above) 22:36:20 `grwp LATINA 22:36:22 latin:LATINA EST SVBLIMISSIMA LINGVA MVNDI 22:37:34 . o O ( "cen" is latin for "horse"? ) 22:37:53 oh e left 22:38:03 that was a different RealUnix hth 22:38:05 saved by a bad connection 22:38:33 oh so it was 22:39:10 * oerjan is a bit scatterbrained at the momentcentury 22:39:16 -!- moei has quit (Quit: Leaving...). 22:39:24 oerjan: centaur and other grenanigans... 22:39:31 boily: aha 22:39:40 century of the horse 22:39:53 one hundred percent equine 22:39:54 i think centaur is greek while century is not. 22:40:07 the century of equality 22:41:03 the romans should know about yaks, they pretty much invented clean shaving after all 22:42:13 * oerjan wonders if danil will get up to actual looping in underload soon 22:43:15 he doesn't seem to have grasped that whitespace is a syntax error in ^ul 22:44:07 @tell danil PSST: you shouldn't have spaces in your ^ul command, is the main reason you get those ...bad insn! 22:44:07 Consider it noted. 22:44:27 `5 w 22:44:30 1/2:rdococ//rdococ was thought to be from Budapest, then Mars, but he is actually in Airstrip One. Thanks to boily he is approaching permanent boredom & mapoledom. He is a relative of `words. \ entrymsg//ENTRYMSG for #esoteric is Welcome to the esoteric programming channel! Wiki: \ sbus//SBus is the standard bus in many a Sun SPARC-based system, capable of coping with thirty-two (32) bits in parallel, at rates of around 16.67 t 22:44:32 `n 22:44:33 2/2:o 25 MHz. There is a 96-pin connector, and the cards lay parallel to the motherboard, like toppings on a sandwich. \ mornington crescent//Sorry, you cannot read this wisdom until you've legally played Westminster. \ www//WWW is an abbreviation that takes longer to pronounce properly than what it expands to. 22:44:45 i hope he doesn't interpret that as including the space after ^ul itself. 22:45:01 I wonder who made wisdom/sbus 22:45:04 i,i sbws 22:45:08 `dowg sbus 22:45:08 also did i really make two grammar errors in one line 22:45:10 6917:2016-02-20 ` mv wisdom/sbu wisdom/sbus # plurals are hard 22:45:14 `dowg sbu 22:45:16 6917:2016-02-20 ` mv wisdom/sbu wisdom/sbus # plurals are hard \ 6916:2016-02-20 learn SBus is the standard bus in many a Sun SPARC-based system, capable of coping with thirty-two (32) bits in parallel, at rates of around 16.67 to 25 MHz. There is a 96-pin connector, and the cards lay parallel to the motherboard, like toppings on a sandwich. 22:46:28 oerjan: imo what if `culprits generated a tmp/spout where the first line is the culprits and the rest of the file is the doag 22:47:00 This would be a convenient sort of UI and maybe a justification for preformatting spout 22:48:20 seems a bit unmodular 22:48:37 it wouldn't even really save irc space 22:49:38 and if there were more culprits that fit in a line, you couldn't see them with `n 22:49:42 *than 22:49:54 You would distort all the culprits and then distort all the doags. 22:50:22 but then this would break when combined with the *usual* spout commands 22:50:25 It wouldn't save IRC space but it would save work since you could just `n 22:50:42 I guess you could just write a script that printed the output of culprits followed by the output of doag. 22:50:42 e.g. `1 culprits 22:51:10 `? boily 22:51:11 Sure, but that's true for `1 2 too, and for any program that generates spout directly 22:51:12 ​“Sane Mapoleon” boily is monetizing a brotherhood scheme with the Guardian of Lachine. He is also a NaniDispenser, a Trigotillectomic Groan Man Eating Chicken, a METARologist, seriously lacking in the f-word department, a thwack doctor, a Quintopial antipodist, and a renowned Capitalist who helps keep the world boring. 22:51:18 all the cul doags want such a script 22:51:40 `slwd boily//s/boring/kafkaesque/ 22:51:42 boily//“Sane Mapoleon” boily is monetizing a brotherhood scheme with the Guardian of Lachine. He is also a NaniDispenser, a Trigotillectomic Groan Man Eating Chicken, a METARologist, seriously lacking in the f-word department, a thwack doctor, a Quintopial antipodist, and a renowned Capitalist who helps keep the world kafkaesque. 22:51:53 (working with kafka now.) 22:52:18 boily: i guess it's a new process? 22:55:02 i was about to complain how bad that would be to google, but the top hit is *not* about the author 22:56:13 it's quite enjoyable! 22:56:30 has it metamorphized your programming? 22:56:58 o() and O() are such a terrible choice of names for similar but different things 22:57:21 shachaf: did you know that technically those are supposed to be *greek* letters 22:57:36 did not know tdnh 22:57:40 all around, very good judgement 22:57:49 Greek letters that look similar to Latin letters ought to be illegal. 22:57:56 This includes nu and omega. 22:58:08 shachaf: technically the latins stole from the greeks. 22:58:34 omega? now you're exaggerating. 22:58:41 Right, and now we're the beneficiaries of that theft. 22:59:12 either that or you're confusing with omicron. 22:59:15 Capital omega is fine. 22:59:17 oerjan: eh... not yet. containers though are quite the handful. 23:02:13 shachaf: i recall that greek car plates use *only* letters that look similar to latin letters. 23:02:29 whi...bad insn! 23:02:31 As long as there's no potential for ambiguity it's OK. 23:02:39 how did i press that button 23:03:02 maybe you can tanebvent an esolang that uses this greek/latin ambiguity to good effect hth 23:03:12 * oerjan has tried making a habit of not leaving his clipboard with things containing newlines, but sometimes forgets 23:04:08 `? boron 23:04:10 Boron (B) is the element of boredom. Stars hate boredom, so refuse to make it. 23:05:04 -!- RealUnix28200 has quit. 23:09:38 -!- 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.”). 23:26:04 @metar ENVA 23:26:04 ENVA 242250Z 25012KT 9999 -DZ BKN026 06/02 Q0993 RMK WIND 670FT 25015KT 23:36:46 -!- augur has joined. 23:58:05 [[Special:Log/newusers]] create * King Ethan * New user account