←2018-02-02 2018-02-03 2018-02-04→ ↑2018 ↑all
00:30:21 -!- augur has quit (Remote host closed the connection).
00:30:53 -!- augur has joined.
00:35:18 -!- augur has quit (Ping timeout: 240 seconds).
00:58:57 -!- sleffy has quit (Ping timeout: 240 seconds).
01:04:43 -!- moony has joined.
01:11:54 <zzo38> You can tell me if you have other ideas about Free Hero Mesh, that I can then consider, when programming it. (I already have many ideas, including to add many new commands, as well as to remove some existing commands (they are converted into others when converting a .MB file); new commands may include: GetInventory, MaxInventory, PreCreate, PostCreate, Assassinate, InternalMove, etc)
01:14:31 <zzo38> (As well as a MoveSelf command, which exists only because of a bug in the original Hero Mesh, having to do with setting Inertia)
01:34:49 <oerjan> huh, i forgot to log out
01:36:51 -!- contrapumpkin has changed nick to BTC_Boar.
01:37:02 -!- BTC_Boar has changed nick to contrapumpkin.
01:47:03 -!- Phantom_Hoover has quit (Read error: Connection reset by peer).
01:51:36 -!- augur has joined.
01:57:32 <boily> bonsϿirjan.
01:58:54 <oerjan> evenily.
02:04:20 <shachaf> mniip: Do you like _Topology via Logic_?
02:04:54 <mniip> ugh
02:05:00 <mniip> I already have too many things on my reading list
02:05:09 <oerjan> `1 ``` egrep -si 'invent.*taneb' wisdom/*
02:05:10 <HackEgo> 1/1:/hackenv/bin/`: eval: line 5: unexpected EOF while looking for matching ``' \ /hackenv/bin/`: eval: line 6: syntax error: unexpected end of file
02:05:11 <shachaf> but this book is the best
02:05:16 <mniip> this will take years
02:05:20 <shachaf> "It is this, it is this that oppresses my soul, / When I think of my uncle’s last words: / And my heart is like nothing so much as a bowl / Brimming over with quivering curds!
02:05:33 <oerjan> hm something's wrong there.
02:05:42 <oerjan> `1 egrep -si 'invent.*taneb' wisdom/*
02:05:42 <shachaf> "It is this, it is this—" "We have had that before!" The Bellman indignantly said. And the Baker replied "Let me say it once more. It is this, it is this that I dread!"
02:05:44 <HackEgo> 1/7:wisdom/bbc:The BBC is the BreadBox Corporation. Its inventions include, without limitation, Muppets, tiny elfs, villages in Norway, and inventors of all things. Taneb invented it. \ wisdom/ci:The CIs are a secret society led by David Morgan-Mar, bent on conquering the world from Sydney with webcomics and unsolvable puzzles. They invented Taneb.
02:05:46 <shachaf> int-e is the bellman?!
02:05:56 <oerjan> aha.
02:05:58 -!- variable has joined.
02:06:46 <mniip> shachaf, it went like this so far
02:07:14 <mniip> wtf does delta-A mean in elementary energy and why isn't it dA?
02:07:21 <mniip> wtf is an exterior derivative?
02:07:28 <mniip> wtf is differential form calculus?
02:07:31 -!- spiette_ has joined.
02:07:33 <mniip> wtf is a manifold?
02:07:39 <shachaf> hi mniip
02:07:47 <mniip> wtf is a second countable set?
02:07:48 <shachaf> These are things we've talked about in this channel a lot for some reason?
02:07:49 <mniip> er
02:07:51 <mniip> wtf is a second countable space?
02:08:47 <mniip> ?
02:08:58 * oerjan has forgotten that.
02:09:31 <shachaf> What's this elementary energy thing?
02:10:32 <mniip> delta A = F delta r
02:10:42 <mniip> infinitesimal work is force times infinitesimal displacement
02:11:19 <mniip> (so far to me it only made sense as an integral of second kind over a curve)
02:11:35 <shachaf> mniip: _Topology via Logic_ is the book that made some of these topology things intuitive to my CS-twisted mind
02:12:18 <mniip> but then in say EM we have stuff like
02:12:29 <mniip> delta A = 1/8pi E dD
02:13:06 <mniip> is this an integral of second kind over a curve in a hilbert space? I have no idea
02:13:28 <shachaf> Do you have a link with more context? I don't know much physics.
02:13:59 <mniip> afraid not
02:14:45 <shachaf> Do you like Chu spaces?
02:14:58 <shachaf> Wait, maybe int-e is the Baker.
02:15:02 <shachaf> Because he dreads this.
02:17:01 <mniip> huh
02:17:11 <mniip> they don't call it elementary work/energy in english it seems
02:19:20 <mniip> just "small amount of work"
02:22:29 <shachaf> mniip: you should learn all about differential geometry and then teach me twh
02:24:32 -!- augur has quit (Ping timeout: 248 seconds).
02:26:09 <mniip> shachaf, looks like the book is all about non-hausdorff spaces
02:26:14 <shachaf> Yep.
02:26:15 <mniip> while uh
02:26:29 <shachaf> hausdorff spaces are overrated imo
02:26:49 <mniip> manifolds are all hausdorff
02:27:19 <shachaf> It's not as if the book is about spaces that are specifically not Hausdorff. They just aren't the main examples.
02:27:39 <mniip> I'm intersted in the calculus side of topology right now
02:27:48 <mniip> not CS/AT/HoTT
02:27:51 <shachaf> OK.
02:28:04 <mniip> since I came there from, uhh, manifolds
02:28:08 <shachaf> Even so, maybe?
02:28:14 <shachaf> Or maybe not. Whatever.
02:32:47 <mniip> shachaf, http://tcpst.net/v1w2.png the book needs to be updated with a more modern schematic http://i0.kym-cdn.com/photos/images/original/001/329/056/e96.jpg
02:36:03 <shachaf> mniip: did you know differentiation is a functor hth
02:36:18 <mniip> you mean differentiation of functors?
02:36:42 <shachaf> No, the differentiation operation.
02:36:46 <shachaf> What is differentiation of functors?
02:39:10 <mniip> I totally don't know enough about it, but some functors allow taking a derivative
02:39:46 <mniip> that in CCC algebra corresponds to your average differentiation rules
02:40:31 <shachaf> Is this the Goodwillie thing?
02:41:15 <mniip> probably
02:48:50 <shachaf> mniip: do you like Stokes' theorem?
02:49:01 <mniip> which
02:49:14 -!- variable has quit (Quit: /dev/null is full).
02:49:34 <mniip> the rotor one or the general on?
02:49:34 <shachaf> the good one hth
02:50:08 <oerjan> . o O ( e's all stoked about it )
02:50:09 <mniip> I like the rotor one because that I can at least understand and prove formally
02:50:34 <shachaf> Rotor?
02:50:43 <mniip> curl
02:50:50 <shachaf> Oh.
02:50:52 <shachaf> `5 w
02:50:58 <HackEgo> 1/1:nitia//nitia is the inventor of all things. The BBC invented her. \ αλτγρ+γ//αλτγρ+γ is the national dead pastry of Greece. Goes great with a glass of ouzo! \ coppro//coppro prefers his nickname, Pooppy. \ itidus20//itidus20's entry has been censored. \ belgium//The plural form of "Belgium" is "Belgia".
02:51:53 <shachaf> `dowgw coppro
02:51:54 <HackEgo> ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: dowgw: not found
02:51:57 <shachaf> `dowg coppro
02:52:05 <HackEgo> 1927:2013-01-31 <ellioẗt> mv wisdom/a.is523 wisdom/ais523; mv wisdom/c.oppro wisdom/coppro \ 1925:2013-01-31 <oerjän> mv wisdom/coppro wisdom/c.oppro \ 1924:2013-01-31 <oerjän> revert \ 1923:2013-01-31 <coppr̈o> rm wisdom/coppro \ 0:2012-02-16 Initïal import.
02:52:29 <shachaf> Should someone do something about that wisdom entry?
02:53:17 -!- spiette_ has quit (Quit: :qa!).
02:54:12 <shachaf> `le//rn_append dowg//One who uses many dowgs is known as a dowager.
02:54:14 <HackEgo> Learned 'dowg': A dowg is a wise dog. One who uses many dowgs is known as a dowager.
02:57:59 -!- variable has joined.
03:11:49 -!- augur has joined.
03:15:03 -!- 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.”).
03:43:46 -!- boily has quit (Quit: SLAYING CHICKEN).
03:52:07 -!- atslash has joined.
04:16:46 -!- variable has quit (Quit: /dev/null is full).
04:24:15 -!- variable has joined.
04:31:07 -!- atslash has quit (Quit: This computer has gone to sleep).
04:50:54 -!- augur_ has joined.
04:54:38 -!- augur has quit (Ping timeout: 276 seconds).
05:17:34 -!- sleffy has joined.
05:42:57 -!- MDude has quit (Ping timeout: 248 seconds).
06:37:59 -!- doesthiswork has quit (Quit: Leaving.).
07:10:57 -!- sleffy has quit (Ping timeout: 248 seconds).
07:15:34 -!- digin4 has joined.
07:21:58 -!- variable has quit (Quit: /dev/null is full).
07:22:56 -!- digin4 has quit (Quit: Leaving).
07:23:14 -!- variable has joined.
07:23:30 -!- variable has quit (Client Quit).
07:24:08 -!- variable has joined.
07:24:17 -!- variable has quit (Client Quit).
07:25:01 -!- variable has joined.
07:25:03 -!- variable has quit (Client Quit).
07:49:24 -!- augur_ has quit (Remote host closed the connection).
08:06:09 -!- atslash has joined.
09:09:49 -!- AnotherTest has joined.
10:07:15 -!- atslash has quit (Read error: Connection reset by peer).
10:14:09 -!- 7JTADGF0I has joined.
10:14:09 -!- 07EAAWCZT has joined.
10:29:10 <esowiki> [[Tampio]] https://esolangs.org/w/index.php?diff=53947&oldid=53827 * Fergusq * (+281) added hello world example and links
10:49:54 -!- 07EAAWCZT has quit (Quit: This computer has gone to sleep).
10:52:27 -!- 7JTADGF0I has quit (Ping timeout: 240 seconds).
11:42:36 -!- atslash has joined.
12:33:22 -!- Phantom_Hoover has joined.
12:34:53 -!- LKoen has joined.
13:11:01 -!- atslash has quit (Quit: This computer has gone to sleep).
13:12:40 -!- atslash has joined.
13:34:21 -!- MDude has joined.
13:46:19 -!- boily has joined.
14:02:35 -!- jaboja has joined.
14:07:17 -!- atslash has quit (Quit: This computer has gone to sleep).
14:07:57 -!- AnotherTest has quit (Quit: ZNC - http://znc.in).
14:09:16 -!- atslash has joined.
14:10:01 -!- AnotherTest has joined.
15:20:59 <int-e> `` find wisdom -type f | wc -l
15:21:00 <HackEgo> 1559
15:21:03 <int-e> . o O ( not so infinite )
15:48:48 -!- jaboja has quit (Ping timeout: 256 seconds).
15:56:09 -!- Remavas has joined.
16:05:40 -!- doesthiswork has joined.
16:26:43 <boily> infinint-e.
16:30:11 -!- boily has quit (Quit: SPIDER CHICKEN).
16:45:39 -!- PinealGlandOptic has joined.
16:52:41 -!- variable has joined.
17:15:06 -!- xkapastel has joined.
17:19:59 -!- Remavas has quit (Ping timeout: 248 seconds).
17:32:04 -!- ineiros has quit (Read error: Connection reset by peer).
17:36:39 <shachaf> `? ngevd
17:36:40 <HackEgo> ​蔢Ļs+X܊is%_h~s~L=
17:39:38 -!- Phantom__Hoover has joined.
17:43:16 -!- Phantom_Hoover has quit (Ping timeout: 256 seconds).
17:46:25 <int-e> oh it's not random
17:46:41 <int-e> `? atriq
17:46:42 <HackEgo> atriq or two
17:50:55 <shachaf> It seems pretty close to infinite.
17:51:36 <int-e> I see lots of question marks
17:52:42 -!- Phantom__Hoover has quit (Read error: Connection reset by peer).
17:54:27 -!- Remavas has joined.
18:08:13 -!- sleffy has joined.
18:09:26 -!- Melvar` has joined.
18:10:20 -!- idris-bot has quit (Ping timeout: 255 seconds).
18:11:48 -!- Melvar has quit (Ping timeout: 240 seconds).
18:21:41 -!- erkin has joined.
18:22:46 -!- PinealGlandOptic has quit (Quit: leaving).
18:23:58 -!- Melvar` has changed nick to Melvar.
18:24:52 -!- idris-bot has joined.
18:30:15 -!- variable has quit (Quit: Found 1 in /dev/zero).
18:32:19 -!- Remavas has quit (Read error: Connection reset by peer).
18:32:42 -!- Remavas has joined.
18:38:51 -!- zseri has joined.
18:40:31 -!- variable has joined.
18:42:03 -!- boily has joined.
18:43:50 <zseri> hi boily
18:45:07 -!- int-e has left ("ENTANGLED CHICKEN").
18:45:07 -!- int-e has joined.
18:45:44 <int-e> (What if you eat one of two chicken that are in an entangled quantum state?)
18:52:10 <zseri> the other one is eaten too.
18:56:44 <boily> zsellori!
18:56:52 <boily> int-ello!
18:57:01 <boily> I'm not sure you can eat a quantum chicken...
18:58:08 <zseri> give it a try!
19:03:15 <int-e> *clearly* we should ask ##physics.
19:03:44 <int-e> `grwp quantum
19:03:45 <HackEgo> mathematimu:A mathematimu is a quantum of mathematics. If you observe it, its codepoint can change. \ quote:Quotes are just elements of the quantum dilapidated bogosphere. See qdb. \ shor's algorithm:Shor's algorithm allows a quantum computer to factor large integers, such as 21. Taneb thought of it.
19:19:33 -!- erkin has quit (Quit: Ouch! Got SIGABRT, dying...).
19:28:28 * Taneb hello
19:32:40 <int-e> Taneбрый вечер
19:36:12 <boily> O Tanelle, bonum vesper!
19:47:42 -!- wob_jonas has joined.
19:50:32 <wob_jonas> Does anyone by chance have a variant of the Porter2 snowball English stemming program http://snowballstem.org/algorithms/english/stemmer.html that rolls british vs american spellings of "-our" words to the same, eg. "color, colour, neighbor, neighbour, behavior, behaviour, flavor, flavour, honor, honour",
19:51:06 <wob_jonas> but also works correctly on derivatives of those words, so eg. "honorable" and "honourable" would get rolled to the same?
19:51:20 -!- jaboja has joined.
20:01:18 -!- Remavas has quit (Ping timeout: 240 seconds).
20:03:04 -!- Remavas has joined.
20:20:50 <int-e> fungot: are you a duplicate block?
20:20:50 <fungot> int-e: monads come from category theory. even so, why's that needed? see fnord :) 3 3 3
20:21:04 <int-e> fungot: I resent that reference
20:21:05 <fungot> int-e: has a huge memory leak. what more could one want? :) i use the words function and expression interchangeably in the rules
20:21:21 <int-e> fungot: you're forgiven
20:21:21 <fungot> int-e: but there are technicalities." paul graham implements a bastardised form of call/ cc
20:21:26 <int-e> ^style
20:21:26 <fungot> Available: agora alice c64 ct darwin discworld enron europarl ff7 fisher fungot homestuck ic irc* iwcs jargon lovecraft nethack oots pa qwantz sms speeches ss wp youtube
20:22:07 <int-e> I don't recall that corner of the irc style... is it new?
20:22:31 <wob_jonas> fungot: no, it's only haters that spread the info about the memory leak. there was one, but it's been fixed in the release like six years ago.
20:22:32 <fungot> wob_jonas: i don't see why anyone finds dead corpses interesting. i should probably also look at new elemnts of foo in order to evaluate the code read by breval.
20:23:19 <int-e> hmm, is there a link between "breval" and "brexit"
20:26:03 <int-e> maybe: "breval" and "brexit" are just two of the many great functions in the upcoming brC [bɹɪk] language.
20:26:53 <int-e> `? ipa
20:26:55 <HackEgo> The IPA (short for International Phonetic Abjad) is an international standard encoding all non-vowel sounds in all spoken languages, and is used to indicate the pronunciation of words. It is incredibly useful, unless you need to pronounce a word.
20:27:44 <int-e> `"
20:27:44 <HackEgo> 1319) <int-e> @tell boily arguably, PHP started out as esoteric, then it became mainstream, and then it became a programming language \ 116) (in #irp) <Sgeo> Flonk, ask on #esoteric? <Flonk> Sgeo: yeah well its C++, so not that esoteric :P
20:29:47 <boily> `"
20:29:48 <HackEgo> 1109) zzo38 [~zzo38@24-207-49-17.eastlink.ca] has quit [Quit: I need the stats for the small leech, not the big one. So, if you write it on here while I am gone then when I return I will check.] \ 1100) <shachaf> "Well, that was fun" -- Taneb "atriq" Ngevd
20:30:52 <zseri> `"
20:30:53 <HackEgo> 1158) <fungot> kmc: any chance one can have a box full of tnt to throw around \ 347) <Sgeo> I used to be more irritated by alcohol <olsner> Sgeo: you're not supposed to put it in your eyes
20:31:04 <boily> `? zseri
20:31:06 <HackEgo> zseri? ¯\(°​_o)/¯
20:31:16 <zseri> `? boily
20:31:17 <HackEgo> ​“Only sane adverb” 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.
20:31:28 <int-e> `? metasepia
20:31:29 <HackEgo> metasepia knew the weather at your nearest airport, and also something about ducks.
20:31:52 * int-e whistles innocently
20:33:31 <int-e> boily: are you also boring the world, like that Elon guy?
20:34:02 <moony> helloily
20:37:16 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client).
20:43:03 -!- wob_jonas has joined.
21:09:13 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client).
21:13:18 -!- Sgeo_ has quit (Read error: Connection reset by peer).
21:14:34 <boily> int-e: yup, but on a surgical scale. drills to poke hole in your teeth and jaw bone ^^
21:14:37 <boily> mhelloony!
21:16:12 -!- jaboja has quit (Ping timeout: 256 seconds).
21:19:40 -!- boily has quit (Quit: DEAR CHICKEN).
21:38:33 -!- variable has quit (Quit: /dev/null is full).
22:05:57 -!- zseri has quit (Quit: Leaving).
22:53:35 <zzo38> Hello
22:54:32 <zzo38> Today I played another session of GURPS game. (I managed to trick two out of three people into running away by aiming an unready attack at them. They probably did not know that the attack was not ready.)
23:04:36 -!- Soni has joined.
23:04:50 <Soni> what's the shortest running Hello World! program?
23:05:01 <Soni> mine takes 987 tab presses
23:05:16 <Soni> magnet:?xt=urn:btih:2c60f02093287c593206f0fc616a9dd90f231706&dn=Screenshot%20from%202018-02-03%2018-14-43.png
23:05:56 <zzo38> Shortest running program in what programming language?
23:06:07 <Soni> oh sorry uh
23:06:17 <Soni> what's the shortest running brainfuck Hello World! program?
23:06:24 <Soni> .-.
23:06:31 <zzo38> O, OK.
23:09:44 <zzo38> (And what is that magnet: URI for? What is that file?)
23:12:01 -!- sleffy has quit (Ping timeout: 248 seconds).
23:14:00 -!- sleffy has joined.
23:43:24 -!- atslash has quit (Quit: This computer has gone to sleep).
23:44:51 -!- Remavas has quit (Quit: Leaving).
23:55:07 -!- AnotherTest has quit (Ping timeout: 256 seconds).
←2018-02-02 2018-02-03 2018-02-04→ ↑2018 ↑all