00:11:51 -!- tromp has quit (Remote host closed the connection).
00:17:38 -!- tromp has joined.
00:20:32 -!- sleffy has joined.
00:31:49 -!- tromp has quit (Remote host closed the connection).
00:32:22 <shachaf> sleffy: Sometime we should talk about derivatives and linear types.
00:32:55 <sleffy> I heard type derivatives give you generalized ADT zippers
00:33:18 <shachaf> do you understand tangent bundles twh
00:33:34 <HackEgo> twh would help, but is an hth derivative. hth. twh. hand.
00:33:57 <sleffy> I need to learn more category theory but I haven't really gotten past the basics
00:39:03 -!- erkin has quit (Quit: Leaving).
00:39:18 <HackEgo> [wiki] [[User:Zzo38/Programming languages with unusual features]] https://esolangs.org/w/index.php?diff=52043&oldid=52017 * Zzo38 * (+0)
00:39:40 <shachaf> I don't think it's category theory.
00:41:21 -!- Remavas-Hex has quit (Ping timeout: 268 seconds).
00:43:59 <sleffy> shachaf, I see "bundle", I think fiber bundle
00:44:09 <sleffy> I think fiber bundle, I think topology/category theory
00:44:54 <sleffy> Well, I don't know topology either lol
00:46:29 <HackEgo> Topology is another name for topos theory.
00:47:06 <HackEgo> 6131:2015-10-25 <tsweẗt> learn Topology is another name for topos theory. \ 6130:2015-10-25 <tsweẗt> learn Topology is the study of toposes.
00:47:20 <HackEgo> 1/1:taiwan//Taiwan is a country of which the United Nations denies the existence, just like Macedonia is. \ no//No means hi. \ morphology//Morphology is the theory that you can never have enough phở. boily invented it. \ herbalist//An herbalist is a list of herbas. \ supermarionation//Supermarionation is another name for the mushroom kingdom.
00:57:31 -!- sleffy has quit (Ping timeout: 245 seconds).
00:59:05 -!- tromp has joined.
01:15:06 -!- hppavilion[1] has quit (Ping timeout: 255 seconds).
01:16:08 -!- sleffy has joined.
01:32:10 -!- tromp has quit (Remote host closed the connection).
01:37:32 -!- tromp has joined.
01:38:23 -!- sleffy has quit (Ping timeout: 255 seconds).
01:47:18 -!- Phantom_Hoover has quit (Read error: Connection reset by peer).
02:22:33 -!- jaboja has quit (Remote host closed the connection).
03:06:51 -!- oerjan has joined.
03:45:17 -!- hppavilion[1] has joined.
04:00:16 -!- Zarutian has quit (Quit: Zarutian).
04:34:00 -!- hppavilion[1] has quit (Ping timeout: 255 seconds).
04:39:34 -!- tromp has quit (Remote host closed the connection).
05:01:08 -!- Destructible has joined.
05:10:01 -!- doesthiswork has quit (Quit: Leaving.).
05:11:05 -!- Sgeo has joined.
05:12:06 -!- Sgeo__ has quit (Ping timeout: 245 seconds).
05:32:30 -!- doesthiswork has joined.
05:41:50 <zzo38> I don't know how "normal" will be consider my idea in MMIX programming to store a VM memory at the beginning of the text segment instead of in the data segment (although I think you almost certainly would not do that if you were compiling from C instead of writing in assembly language)
05:44:32 <zzo38> Nevertheless, because the text segment has address 0, and is still read/write, although normally it is used to store the program rather than data (VM memory will be considered data to this program, rather than native instructions), the fact that its address is zero seems very convenient to me.
05:51:26 -!- hppavilion[1] has joined.
05:52:26 -!- augur has quit (Remote host closed the connection).
05:56:29 -!- Destructible has quit (Ping timeout: 260 seconds).
06:06:09 -!- augur has joined.
06:07:21 -!- tromp has joined.
06:11:57 -!- tromp has quit (Ping timeout: 240 seconds).
06:53:23 -!- hppavilion[1] has quit (Ping timeout: 260 seconds).
07:05:26 <HackEgo> [wiki] [[Woefully]] https://esolangs.org/w/index.php?diff=52044&oldid=52041 * Oerjan * (-58) Clean up a bit
07:16:27 -!- hppavilion[1] has joined.
07:40:39 -!- IronY has changed nick to Ir0nY.
07:41:03 -!- Ir0nY has changed nick to IronY.
07:42:44 -!- IronY has changed nick to Ir0nY.
07:44:31 -!- Ir0nY has changed nick to IronY.
07:48:11 -!- IronY has changed nick to Ir0nY.
07:52:33 -!- Ir0nY has changed nick to IronY.
07:53:09 -!- IronY has changed nick to Ir0nY.
07:54:54 -!- Ir0nY has changed nick to NotIronY.
07:55:48 -!- NotIronY has changed nick to IronY.
07:56:50 -!- hppavilion[1] has quit (Ping timeout: 260 seconds).
07:58:56 -!- IronY has changed nick to NotIronY.
07:59:43 -!- doesthiswork has quit (Quit: Leaving.).
08:03:41 -!- nullcone has quit (Quit: Connection closed for inactivity).
08:04:04 -!- NotIronY has changed nick to IronY.
08:04:12 <IronY> Sorry about the spam, all done testing
08:06:24 <myname> i'd love an example program for woefully
08:28:55 -!- augur has quit (Remote host closed the connection).
08:30:57 -!- augur has joined.
08:35:34 -!- augur has quit (Ping timeout: 260 seconds).
08:41:23 -!- tromp has joined.
08:45:26 -!- tromp has quit (Ping timeout: 240 seconds).
08:58:07 -!- augur has joined.
09:10:20 -!- hppavilion[1] has joined.
09:13:30 <\oren\> http://www.bakuretsu.me/
09:17:50 <HackEgo> [U+30E9 KATAKANA LETTER RA] [U+30E9 KATAKANA LETTER RA] [U+30E9 KATAKANA LETTER RA]
09:20:06 <int-e> well they looked identical in my font
09:20:25 <int-e> but I wasn't sure whether that was due to the font
09:21:06 <int-e> yes, shocking indeed
09:21:16 <int-e> lambdabot finally builds out of the box with ghc.... 8.0.2.
09:21:32 <int-e> (since 3 days now)
09:22:24 <HackEgo> [U+32F6 CIRCLED KATAKANA RA]
09:22:34 <int-e> (that one is a box)
09:23:05 <HackEgo> [U+3089 HIRAGANA LETTER RA]
09:23:39 <int-e> (I swear the extra "r" was an accident)
09:25:24 <int-e> [CJK UNIFIED IDEOGRAPH-529B] <-- I love these descriptive names
09:26:00 <\oren\> え？まじ力とカタカナのカは俺のフォントで同じ？！
09:26:39 <\oren\> that's a problem I'll need to solve!
09:27:26 <HackEgo> U+0042 LATIN CAPITAL LETTER B \ UTF-8: 42 UTF-16BE: 0042 Decimal: B \ B (b) \ Lowercase: U+0062 \ Category: Lu (Letter, Uppercase) \ Bidi: L (Left-to-Right) \ \ U+004F LATIN CAPITAL LETTER O \ UTF-8: 4f UTF-16BE: 004f Decimal: O \ O (o) \ Lowercase: U+006F \ Category: Lu (Letter, Uppercase) \ Bidi: L (Left-to-Right) \ \ U+0058 LATIN C
09:27:39 <HackEgo> U+0042 LATIN CAPITAL LETTER B \ UTF-8: 42 UTF-16BE: 0042 Decimal: B \ B (b) \ Lowercase: U+0062 \ Category: Lu (Letter, Uppercase) \ Bidi: L (Left-to-Right) \ \ U+004F LATIN CAPITAL LETTER O \ UTF-8: 4f UTF-16BE: 004f Decimal: O \ O (o) \ Lowercase: U+006F \ Category: Lu (Letter, Uppercase) \ Bidi: L (Left-to-Right) \ \ U+0058 LATIN C
09:28:10 <HackEgo> U+0041 LATIN CAPITAL LETTER A \ UTF-8: 41 UTF-16BE: 0041 Decimal: A \ A (a) \ Lowercase: U+0061 \ Category: Lu (Letter, Uppercase) \ Bidi: L (Left-to-Right) \ \ U+0042 LATIN CAPITAL LETTER B \ UTF-8: 42 UTF-16BE: 0042 Decimal: B \ B (b) \ Lowercase: U+0062 \ Category: Lu (Letter, Uppercase) \ Bidi: L (Left-to-Right) \ \ U+0043 LATIN C
09:28:17 <\oren\> int-e: yeah, they could at least have included the meaning
09:28:30 <oerjan> i guess they don't have any named *BOX*
09:28:51 <int-e> `unicode CIRCLED KATAKANA RA
09:29:32 <HackEgo> U+005B LEFT SQUARE BRACKET \ UTF-8: 5b UTF-16BE: 005b Decimal: [ \ [ \ Category: Ps (Punctuation, Open) \ Bidi: ON (Other Neutrals) \ Character is mirrored \ \ U+005D RIGHT SQUARE BRACKET \ UTF-8: 5d UTF-16BE: 005d Decimal: ] \ ] \ Category: Pe (Punctuation, Close) \ Bidi: ON (Other Neutrals) \ Character is mirrored \ \ U+033B COMBINI
09:30:21 <HackEgo> U+039B GREEK CAPITAL LETTER LAMDA \ UTF-8: ce 9b UTF-16BE: 039b Decimal: Λ \ Λ (λ) \ Lowercase: U+03BB \ Category: Lu (Letter, Uppercase) \ Bidi: L (Left-to-Right) \ \ U+03BB GREEK SMALL LETTER LAMDA \ UTF-8: ce bb UTF-16BE: 03bb Decimal: λ \ λ (Λ) \ Uppercase: U+039B \ Category: Ll (Letter, Lowercase) \ Bidi: L (Left-to-Right) \
09:31:02 <\oren\> it's a ridiculous error but somehow they made the error anyway
09:31:22 <oerjan> \oren\: it's actually spelled without B in modern greek.
09:31:37 <oerjan> that's the official reason, i believe.
09:32:54 <\oren\> gah, but then why not name other characters as tranliterations of their native names
09:34:45 <HackEgo> [U+043B CYRILLIC SMALL LETTER EL]
09:34:52 <\oren\> how do you say "o with slash" in danish
09:35:17 <HackEgo> [U+00D8 LATIN CAPITAL LETTER O WITH STROKE]
09:35:32 <\oren\> see? not a transliteration here
09:36:17 <oerjan> \oren\: well, the cyrillic letter i just gave was
09:36:50 <HackEgo> [U+044B CYRILLIC SMALL LETTER YERU]
09:37:01 <oerjan> ok, that is an _obsolete_ name.
09:37:21 <oerjan> it may be from a different language.
09:38:04 <int-e> unicode royalty: ⛁⛃🂭🂽🃍🃝🂮🂾🃎🃞♕♛♔♚👸🤴
09:40:54 <int-e> shachaf: yeah I stumbled upon that one, too.
09:42:15 <shachaf> my face when i have to fast for a long time before being permitted to proceed with my coronation: 🤔
09:45:43 <int-e> I shouldn't have done this... now I need to reload the log (and then change the encoding... again) for every thing shachaf says.
09:54:45 <shachaf> Why do you need to change the encoding?
09:55:42 <int-e> because Firefox is stupid and assigns a iso8859-1 character set to http://tunes.org/~nef/logs/esoteric/17.06.04
09:56:13 <oerjan> just be glad it doesn't insist on saving it as a file hth
09:56:21 <int-e> and does that every single time you reload.
09:56:34 <int-e> oerjan: true that was awful.
09:58:24 -!- Phantom_Hoover has joined.
10:08:25 <int-e> Wow I really shouldn't read news... "ringless voice mail"... what an atrocity. So angry now.
10:19:22 <int-e> https://www.nytimes.com/2017/06/03/business/phone-ringless-voicemail-fcc-telemarketer.html is the link
10:21:31 <int-e> just appalled by the brazen attitude that allows those people to say that since the phone didn't ring it wasn't a call, and that receiving such voice mail doesn't inconvenience anybody.
10:25:32 <int-e> audacity, audacity, audacity. (had trouble remembering this word)
10:29:50 -!- hppavilion[1] has quit (Ping timeout: 255 seconds).
10:31:04 <Taneb> int-e, it comes from the Latin "audax" meaning "daring" or "audacious"
10:33:37 <int-e> Taneb: I know what it means; I wanted to call those telemarketers audacious, but couldn't remember the word... it took me a while to home in on "brazen", and then I did a synonym search.
10:35:04 <Taneb> int-e, I mean to say, I remember it by its etymoligy
10:35:40 <int-e> Ah, okay. I'm not sure that this is transferrable in my case.
10:37:08 <HackEgo> Itymology is the science of understanding the true meaning of a statement.
10:56:10 -!- augur has quit (Remote host closed the connection).
11:00:54 -!- oerjan has quit (Quit: Later).
11:15:38 <HackEgo> [wiki] [[Special:Log/newusers]] create * Olegispe * New user account
11:18:30 -!- augur has joined.
11:23:18 -!- augur has quit (Ping timeout: 268 seconds).
11:23:50 <HackEgo> [wiki] [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=52045&oldid=52024 * Olegispe * (+171) /* Introductions */
11:34:56 -!- S1 has joined.
11:41:34 -!- lukeoftheaura has joined.
11:41:51 <lukeoftheaura> does an esolang exist that has data stored as hex values in the file?
11:43:14 <lukeoftheaura> like, representing the number 64 as a character with the hex value 0x40 as opposed to the characters "64"?
11:45:17 <HackEgo> [wiki] [[Abc]] N https://esolangs.org/w/index.php?oldid=52046 * Olegispe * (+1168) /* Abc */
11:55:12 <HackEgo> [wiki] [[Special:Log/newusers]] create * Lukeoftheaura * New user account
11:56:17 -!- Remavas has joined.
11:56:17 -!- Remavas has quit (Changing host).
11:56:17 -!- Remavas has joined.
11:59:13 <HackEgo> [wiki] [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=52047&oldid=52045 * Lukeoftheaura * (+232)
12:00:04 <HackEgo> [wiki] [[User:Lukeoftheaura]] N https://esolangs.org/w/index.php?oldid=52048 * Lukeoftheaura * (+71) Created page with "Just another guy who wants to make an esolang but has no ideas for one."
12:00:58 -!- jaboja has joined.
12:42:54 -!- tromp has joined.
12:47:37 -!- tromp has quit (Ping timeout: 258 seconds).
12:56:24 -!- augur has joined.
13:00:34 -!- augur has quit (Ping timeout: 240 seconds).
13:07:40 -!- Remavas has quit (Disconnected by services).
13:09:57 -!- augur has joined.
13:14:47 -!- augur has quit (Ping timeout: 260 seconds).
13:36:54 -!- sdhand has quit (Excess Flood).
13:37:04 -!- sdhand has joined.
13:37:28 -!- sdhand has changed nick to Guest9526.
13:40:14 -!- augur has joined.
13:46:34 -!- augur has quit (Ping timeout: 240 seconds).
13:49:45 -!- doesthiswork has joined.
13:50:18 -!- Guest9526 has quit (Changing host).
13:50:18 -!- Guest9526 has joined.
13:50:18 -!- Guest9526 has changed nick to sdhand.
14:04:03 -!- nullcone has joined.
14:13:19 -!- lukeoftheaura has quit (Quit: Leaving).
14:13:49 <HackEgo> [wiki] [[EWagon]] https://esolangs.org/w/index.php?diff=52049&oldid=52039 * Timtomtoaster * (-3) /* Truth-machine */
14:14:10 <HackEgo> [wiki] [[EWagon]] https://esolangs.org/w/index.php?diff=52050&oldid=52049 * Timtomtoaster * (-2) /* Hello world */
14:15:17 -!- tromp has joined.
14:16:26 <HackEgo> [wiki] [[EWagon]] https://esolangs.org/w/index.php?diff=52051&oldid=52050 * Timtomtoaster * (-6) /* Cat (string input) */
14:16:50 <HackEgo> [wiki] [[EWagon]] https://esolangs.org/w/index.php?diff=52052&oldid=52051 * Timtomtoaster * (+2) /* Evil plans (again, both versions) */
14:19:21 <HackEgo> [wiki] [[EWagon]] https://esolangs.org/w/index.php?diff=52053&oldid=52052 * Timtomtoaster * (+0) /* Using the interpreter (both versions) */
14:49:14 <HackEgo> [wiki] [[Abc]] https://esolangs.org/w/index.php?diff=52054&oldid=52046 * Olegispe * (+1053) /* Abc */
14:50:49 <HackEgo> [wiki] [[Abc]] https://esolangs.org/w/index.php?diff=52055&oldid=52054 * Olegispe * (+1) /* Other */
15:03:57 -!- doesthiswork has quit (Quit: Leaving.).
15:07:25 <HackEgo> [wiki] [[Abc]] M https://esolangs.org/w/index.php?diff=52056&oldid=52055 * Olegispe * (+19) /* Other */
15:08:50 <HackEgo> [wiki] [[Abc]] M https://esolangs.org/w/index.php?diff=52057&oldid=52056 * Olegispe * (-2) /* Other */
15:09:33 <HackEgo> [wiki] [[Abc]] M https://esolangs.org/w/index.php?diff=52058&oldid=52057 * Olegispe * (+10) /* Methods */
15:45:02 <HackEgo> [wiki] [[Talk:Woefully]] N https://esolangs.org/w/index.php?oldid=52059 * Enoua5 * (+258) Created page with "Can you give some clarification on what the language does when the IP comes to the end/beginning of a line, as well as stating whether the program starts in text or decimal I/..."
15:45:12 -!- sdhand has quit (Excess Flood).
15:45:21 -!- sdhand has joined.
15:45:44 -!- sdhand has changed nick to Guest18788.
15:50:28 <Taneb> `quote experimenting
15:50:29 <HackEgo> 432) <Taneb> Well, I'm now experimenting with clients <fizzie> It doesn't sound like good PR to say that out loud.
15:52:43 -!- Guest18788 has quit (Changing host).
15:52:43 -!- Guest18788 has joined.
15:52:43 -!- Guest18788 has changed nick to sdhand.
15:53:16 <HackEgo> [wiki] [[Micro]] N https://esolangs.org/w/index.php?oldid=52060 * Raddish0 * (+2844) Created page with "types: * string (basically an array that is treated differently on the iostream) * number (arbitrary precision - depends on the implementation) * array (list of numbers) * blo..."
15:57:26 -!- augur has joined.
16:02:01 -!- augur has quit (Ping timeout: 255 seconds).
16:05:03 -!- sdhand has quit (Excess Flood).
16:05:12 -!- sdhand has joined.
16:05:36 -!- sdhand has changed nick to Guest86862.
16:09:09 -!- electrolex has joined.
16:25:49 -!- pikhq has quit (Ping timeout: 240 seconds).
16:31:05 <HackEgo> [wiki] [[Special:Log/newusers]] create * Anodium * New user account
16:31:13 -!- pikhq has joined.
16:43:56 -!- oerjan has joined.
16:46:48 <oerjan> hm 3 new wiki accounts, news must be spreading
17:00:09 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds).
17:05:40 -!- tromp has quit (Remote host closed the connection).
17:05:52 -!- Phantom_Hoover has joined.
17:09:17 <HackEgo> [wiki] [[Micro]] https://esolangs.org/w/index.php?diff=52061&oldid=52060 * Oerjan * (+635) Wikify some
17:09:39 -!- tromp has joined.
17:20:08 -!- tromp has quit (Remote host closed the connection).
17:42:00 -!- tromp has joined.
17:54:49 -!- JX7P has left ("Leaving").
18:01:26 -!- Guest86862 has quit (Changing host).
18:01:26 -!- Guest86862 has joined.
18:01:26 -!- Guest86862 has changed nick to sdhand.
18:47:21 -!- ski has joined.
19:04:26 -!- S1 has quit (Quit: Leaving).
19:16:57 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds).
19:17:29 <HackEgo> [wiki] [[Special:Log/newusers]] create * Mmphosis * New user account
19:23:22 <HackEgo> [wiki] [[User talk:CatIsFluffy]] https://esolangs.org/w/index.php?diff=52062&oldid=51839 * CatIsFluffy * (+119)
19:24:16 <HackEgo> [wiki] [[Brain-Flak]] https://esolangs.org/w/index.php?diff=52063&oldid=50954 * CatIsFluffy * (-6) Shorter sum program
19:24:54 <HackEgo> [wiki] [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=52064&oldid=52047 * Mmphosis * (+120) /* Introductions */
19:27:33 <HackEgo> [wiki] [[User:Mmphosis]] N https://esolangs.org/w/index.php?oldid=52065 * Mmphosis * (+54) Created page with "HQ9+ Interpreter in C https://github.com/mmphosis/hq9"
19:30:33 <HackEgo> [wiki] [[Talk:Abc]] N https://esolangs.org/w/index.php?oldid=52066 * Mmphosis * (+177) /* ABC (programming language) */ new section
19:34:19 <HackEgo> [wiki] [[HQ9+]] https://esolangs.org/w/index.php?diff=52067&oldid=46738 * Mmphosis * (+21) /* External resources */
19:35:36 -!- tromp has quit (Remote host closed the connection).
19:36:30 -!- tromp has joined.
19:47:55 -!- tromp has quit (Remote host closed the connection).
20:12:01 -!- Remavas has joined.
20:21:21 -!- tromp has joined.
20:29:13 -!- DHeadshot has joined.
20:31:43 -!- tromp has quit (Remote host closed the connection).
20:57:30 -!- oerjan has quit (Quit: Nite).
20:59:45 -!- Phantom_Hoover has joined.
21:10:52 -!- hppavilion[1] has joined.
21:27:27 -!- augur has joined.
21:31:23 <zzo38> Now I made the program implementing 2 dimensional slew rate.
21:32:19 -!- tromp has joined.
21:36:49 -!- tromp has quit (Ping timeout: 255 seconds).
21:38:12 -!- tromp has joined.
21:41:01 -!- pelegreno_____ has joined.
21:44:55 -!- atriq has joined.
21:45:05 -!- nchamber- has joined.
21:46:06 -!- pelegreno____ has quit (*.net *.split).
21:46:07 -!- ASM17Pic has quit (*.net *.split).
21:46:07 -!- Taneb has quit (*.net *.split).
21:46:07 -!- j-bot has quit (*.net *.split).
21:46:07 -!- martyrboy has quit (*.net *.split).
21:46:07 -!- nchambers has quit (*.net *.split).
21:46:07 -!- zgrepc has quit (*.net *.split).
21:46:07 -!- ocharles has quit (*.net *.split).
21:46:12 -!- nchamber- has changed nick to nchambers.
21:46:17 -!- atriq has changed nick to Taneb.
21:47:26 -!- ASM17Pic has joined.
21:47:26 -!- j-bot has joined.
21:47:26 -!- martyrboy has joined.
21:47:26 -!- zgrepc has joined.
21:47:26 -!- ocharles has joined.
21:47:42 -!- ASM17Pic has quit (Max SendQ exceeded).
21:56:13 -!- tromp has quit (Remote host closed the connection).
22:00:51 -!- sleffy has joined.
22:06:48 -!- electrolex has quit (Quit: Leaving).
22:41:22 -!- electrolex has joined.
22:50:18 -!- hppavilion[1] has quit (Ping timeout: 240 seconds).
22:56:52 -!- tromp has joined.
23:01:27 -!- tromp has quit (Ping timeout: 255 seconds).
23:39:03 -!- jaboja has quit (Ping timeout: 260 seconds).
23:40:14 -!- Remavas has changed nick to RemavasZsZsZsZsZ.
23:45:48 -!- sleffy has quit (Ping timeout: 240 seconds).
23:51:36 -!- jaboja has joined.