00:00:00 <HackEso> Diagram chasing is a technique used to prove integer lemmas. Taneb invented it.
00:00:09 <HackEso> Merchantable adj. Capable of being chanted by mermaids.
00:30:20 <HackEso> 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:32:10 <HackEso> special relativity? ¯\(°_o)/¯
00:51:53 <moony1339> Taneb, you here? I found a paradox in your inventions
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:50 <HackEso> P is the complexity class of Problems. They can be solved by reduction to NP.
02:14:50 <HackEso> D is a letter in the alphabet! It's also the name of a programming language.
02:15:03 <HackEso> C is the language of��V�>WIד�.��Segmentation fault
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 <oerjan> 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 <Taneb> moony1339: I tend to be asleep at 1:51AM
10:34:13 -!- oerjan has quit (Quit: Later).
11:13:27 <int-e> pffft. '"UNIX is simple and coherent..." - Dennis Ritchie, "GNU's Not UNIX" - Richard Stallman'
11:14:22 <HackEso> 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: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 <danil> ^ul (Hi) (World) ( ) a^~S
15:11:36 <danil> ^ul (Hi) (a^):~!(~!)s
15:26:14 <imode> what language is that?
15:40:03 -!- SopaXorzTaker has joined.
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 <int-e> I guess fungot doesn't like insinuations
16:31:47 <fungot> 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 <shachaf> 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 <lambdabot> CYUL 242200Z 16007KT 30SM FEW140 BKN170 BKN220 20/04 A3008 RMK AC1AC4CI2 SLP187 DENSITY ALT 600FT
22:21:33 <lambdabot> KOAK 242153Z 29013KT 10SM FEW200 17/09 A3001 RMK AO2 SLP163 T01670094 $
22:24:49 -!- RealUnix3385 has joined.
22:27:07 -!- oerjan has joined.
22:28:06 -!- AnotherTest has quit (Ping timeout: 255 seconds).
22:30:36 <oerjan> shachaf: hm possibly, i've forgotten the details.
22:32:05 <oerjan> `learn J started out as a synonym for I, but then branched out into an array of other uses.
22:32:08 <HackEso> Learned 'j': J started out as a synonym for I, but then branched out into an array of other uses.
22:32:45 <oerjan> maybe the array pun is a bit weak.
22:32:58 <oerjan> still - an actually correct wisdom!
22:33:08 <shachaf> J started out as a synonym for I?
22:34:22 -!- RealUnix28200 has joined.
22:35:38 <HackEso> 351) <ais523_> meanwhile, I've been running a program for over 24 hours (getting close to 48 now) which is calculating digits of pi, in binary <ais523_> so far, it has found four digits <ais523_> I hope it will find the fifth some time this week \ 733) <Gregor> Very much like "cen" is Latin for "horse", "yak" is Latin for "yak". \ 877) <coppro> GreyKnight: for instance, you can form a poset category from a bunch of tiles <GreyKnight> oh, that's why some
22:35:45 -!- RealUnix3385 has quit (Ping timeout: 248 seconds).
22:36:01 <oerjan> RealUnix28200: so you're not GNU? (sorry, relevant channel discussion way above)
22:36:22 <HackEso> latin:LATINA EST SVBLIMISSIMA LINGVA MVNDI
22:37:34 <oerjan> . o O ( "cen" is latin for "horse"? )
22:38:03 <shachaf> that was a different RealUnix hth
22:38:05 <oerjan> saved by a bad connection
22:39:10 * oerjan is a bit scatterbrained at the <s>moment</s>century
22:39:16 -!- moei has quit (Quit: Leaving...).
22:39:24 <boily> oerjan: centaur and other grenanigans...
22:39:53 <shachaf> one hundred percent equine
22:39:54 <oerjan> i think centaur is greek while century is not.
22:40:07 <oerjan> the century of equality
22:41:03 <oerjan> 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 <oerjan> he doesn't seem to have grasped that whitespace is a syntax error in ^ul
22:44:07 <oerjan> @tell danil PSST: you shouldn't have spaces in your ^ul command, is the main reason you get those ...bad insn!
22:44:30 <HackEso> 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: <http://esolangs.org/> \ 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:33 <HackEso> 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 <oerjan> i hope he doesn't interpret that as including the space after ^ul itself.
22:45:01 <shachaf> I wonder who made wisdom/sbus
22:45:08 <oerjan> also did i really make two grammar errors in one line
22:45:10 <HackEso> 6917:2016-02-20 <fizzïe> ` mv wisdom/sbu wisdom/sbus # plurals are hard
22:45:16 <HackEso> 6917:2016-02-20 <fizzïe> ` mv wisdom/sbu wisdom/sbus # plurals are hard \ 6916:2016-02-20 <fizzïe> 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 <shachaf> 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 <shachaf> This would be a convenient sort of UI and maybe a justification for preformatting spout
22:48:37 <oerjan> it wouldn't even really save irc space
22:49:38 <oerjan> and if there were more culprits that fit in a line, you couldn't see them with `n
22:49:54 <shachaf> You would distort all the culprits and then distort all the doags.
22:50:22 <oerjan> but then this would break when combined with the *usual* spout commands
22:50:25 <shachaf> It wouldn't save IRC space but it would save work since you could just `n
22:50:42 <shachaf> I guess you could just write a script that printed the output of culprits followed by the output of doag.
22:51:11 <shachaf> Sure, but that's true for `1 2 too, and for any program that generates spout directly
22:51:12 <HackEso> “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 <oerjan> all the cul doags want such a script
22:51:40 <boily> `slwd boily//s/boring/kafkaesque/
22:51:42 <HackEso> 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 <boily> (working with kafka now.)
22:52:18 <oerjan> boily: i guess it's a new process?
22:55:02 <oerjan> i was about to complain how bad that would be to google, but the top hit is *not* about the author
22:56:13 <boily> it's quite enjoyable!
22:56:30 <oerjan> has it metamorphized your programming?
22:56:58 <shachaf> o() and O() are such a terrible choice of names for similar but different things
22:57:21 <oerjan> shachaf: did you know that technically those are supposed to be *greek* letters
22:57:40 <oerjan> all around, very good judgement
22:57:49 <shachaf> Greek letters that look similar to Latin letters ought to be illegal.
22:57:56 <shachaf> This includes nu and omega.
22:58:08 <oerjan> shachaf: technically the latins stole from the greeks.
22:58:34 <oerjan> omega? now you're exaggerating.
22:58:41 <shachaf> Right, and now we're the beneficiaries of that theft.
22:59:12 <oerjan> either that or you're confusing with omicron.
22:59:17 <boily> oerjan: eh... not yet. containers though are quite the handful.
23:02:13 <oerjan> shachaf: i recall that greek car plates use *only* letters that look similar to latin letters.
23:02:31 <shachaf> As long as there's no potential for ambiguity it's OK.
23:02:39 <oerjan> how did i press that button
23:03:02 <shachaf> 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:10 <HackEso> 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 <lambdabot> ENVA 242250Z 25012KT 9999 -DZ BKN026 06/02 Q0993 RMK WIND 670FT 25015KT
23:36:46 -!- augur has joined.
23:58:05 <esowiki> [[Special:Log/newusers]] create * King Ethan * New user account