00:11:11 -!- variable has joined.
00:14:34 -!- trout has quit (Ping timeout: 240 seconds).
00:21:26 -!- oerjan has joined.
00:42:27 -!- trout has joined.
00:46:26 -!- variable has quit (Ping timeout: 260 seconds).
00:46:29 -!- bradcomp has joined.
00:54:40 -!- ep100 has quit (Quit: WeeChat 1.9.1).
00:57:04 -!- Cale has quit (Remote host closed the connection).
00:57:51 -!- Cale has joined.
01:02:48 -!- Cale has quit (Remote host closed the connection).
01:03:46 -!- Cale has joined.
01:15:57 -!- variable has joined.
01:17:03 -!- trout has quit (Ping timeout: 252 seconds).
01:22:32 -!- fullstack11 has joined.
01:23:30 -!- fullstack11 has quit (Remote host closed the connection).
01:30:05 <esowiki> [[Special:Log/delete]] delete * Oerjan * deleted "[[File:787138904.png]]": Author request
01:30:49 <esowiki> [[User talk:Qwertyu63]] https://esolangs.org/w/index.php?diff=57740&oldid=57739 * Oerjan * (+92) /* Unused image */ Done
01:39:13 -!- variable has quit (Quit: Found 1 in /dev/zero).
01:40:23 <esowiki> [[La We]] https://esolangs.org/w/index.php?diff=57741&oldid=57736 * Oerjan * (+1) Undo revision 57736 by [[Special:Contributions/B jonas|B jonas]] ([[User talk:B jonas|talk]]) (Let's not make it look like I use sockpuppets after publicly conceding.)
01:50:16 -!- martinBrown has joined.
01:54:28 -!- martinBrown has quit (Remote host closed the connection).
02:10:53 -!- bradcomp has quit (Ping timeout: 245 seconds).
03:11:20 -!- XorSwap has quit (Quit: the creeping crawling chaos will return.).
03:12:51 -!- bradcomp has joined.
03:33:28 -!- doesthiswork has joined.
04:08:38 -!- S_Gautam has quit (Quit: Connection closed for inactivity).
04:54:56 -!- bradcomp has quit (Ping timeout: 260 seconds).
04:58:24 <zzo38> I made up this: instead :: forall f a. Applicative f => a -> a -> Codensity f a; instead a b = Codensity (\f -> f a *> f b); accepting :: forall f a. Alternative f => (a -> Bool) -> Codensity f a -> f a; accepting f (Codensity m) = m (\a -> a <$ guard (f a)); Can stuff like this be found with other names?
05:00:05 <zzo38> (Also, if you have Alternative f then also Alternative (Codensity f).)
05:02:35 -!- longxia has joined.
05:05:07 -!- jaurax1 has joined.
05:05:53 -!- longxia has quit (Remote host closed the connection).
05:06:00 -!- jaurax1 has quit (Killed (Sigyn (Spam is off topic on freenode.))).
05:24:40 -!- xkapastel has quit (Quit: Connection closed for inactivity).
05:40:03 -!- erkin has quit (Remote host closed the connection).
06:02:18 -!- ddib9 has joined.
06:04:24 -!- ddib9 has quit (Excess Flood).
06:09:47 <esowiki> [[Brainfuck algorithms]] https://esolangs.org/w/index.php?diff=57742&oldid=57326 * FSHelix * (+0) /* x = not x (boolean, logical) */
06:11:03 -!- doesthiswork has quit (Quit: Leaving.).
06:50:04 -!- AnotherTest has joined.
07:34:31 <esowiki> [[Special:Log/newusers]] create * Gabriel * New user account
07:40:24 <esowiki> [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=57743&oldid=57731 * Gabriel * (+398) /* Introductions */
07:53:42 -!- moei has quit (Quit: Leaving...).
08:00:06 -!- oerjan has quit (Quit: Nite).
08:16:30 -!- AnotherTest has quit (Ping timeout: 252 seconds).
08:59:27 -!- AntiComposite25 has joined.
09:00:25 -!- AntiComposite25 has quit (Remote host closed the connection).
09:04:41 -!- nabla_c0d3 has joined.
09:08:04 -!- nabla_c0d3 has quit (Remote host closed the connection).
09:10:35 <esowiki> [[Special:Log/newusers]] create * Dylanbeattie * New user account
09:32:34 -!- moei has joined.
09:40:51 -!- wob_jonas has joined.
09:44:31 <wob_jonas> Everyone in Europe (except for Iceland, Turkey, Belarus, Russia), don't forget, time zone offset change is on the coming weekend.
09:46:33 <wob_jonas> (Uh, and whichever parts of the Caucasus you count as Europe, no change there either.)
09:53:28 -!- izabera has quit (Read error: Connection reset by peer).
09:56:56 -!- izabera has joined.
09:58:00 -!- arseniiv has joined.
09:59:53 -!- mondz has joined.
10:02:26 -!- mondz has quit (Remote host closed the connection).
10:08:25 -!- izabera has quit (Quit: WeeChat 1.9.1).
10:48:00 -!- izabera has joined.
10:50:16 <esowiki> [[Pxem]] https://esolangs.org/w/index.php?diff=57744&oldid=57534 * YamTokWae * (+167)
11:20:11 <esowiki> [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=57745&oldid=57743 * Dylanbeattie * (+260) Introduced myself as per instructions.
11:27:49 <esowiki> [[Rockstar]] N https://esolangs.org/w/index.php?oldid=57746 * Dylanbeattie * (+1204) Created page with "Rockstar is a dynamically typed Turing-complete programming language designed for creating computer programs that are also song lyrics. Rockstar is heavily influenced by the l..."
11:33:23 <esowiki> [[Rockstar]] https://esolangs.org/w/index.php?diff=57747&oldid=57746 * Dylanbeattie * (+3387)
11:34:07 <esowiki> [[Rockstar]] https://esolangs.org/w/index.php?diff=57748&oldid=57747 * Dylanbeattie * (+83) /* 'Hello, World' in Rockstar */
11:34:44 <esowiki> [[Rockstar]] https://esolangs.org/w/index.php?diff=57749&oldid=57748 * Dylanbeattie * (+0) /* Implementations */
11:59:19 -!- ep100 has joined.
12:12:38 -!- AnotherTest has joined.
12:43:04 -!- xkapastel has joined.
13:00:28 -!- doesthiswork has joined.
13:04:27 -!- qolq has joined.
13:04:39 -!- qolq has quit (Remote host closed the connection).
13:05:44 -!- Guest70821 has joined.
13:06:36 -!- Guest70821 has quit (Killed (Unit193 (Spam is not permitted on freenode.))).
13:11:22 -!- bachler20 has joined.
13:12:57 -!- bachler20 has quit (Remote host closed the connection).
13:17:13 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client).
13:19:16 -!- mjanssen_ has joined.
13:22:36 -!- mjanssen_ has quit (Remote host closed the connection).
13:36:20 -!- danieljabailey has quit (Read error: Connection reset by peer).
13:36:49 -!- Aikar16 has joined.
13:40:13 -!- Aikar16 has quit (Remote host closed the connection).
13:42:44 -!- S_Gautam has joined.
13:43:20 -!- sleepnap has joined.
13:50:45 -!- erkin has joined.
14:12:29 -!- glepa14 has joined.
14:12:43 -!- f_tick17 has joined.
14:15:26 -!- f_tick17 has quit (Remote host closed the connection).
14:16:55 -!- glepa14 has quit (Read error: Connection reset by peer).
14:27:01 -!- wob_jonas has joined.
14:27:50 <wob_jonas> Hehe. The python 3.7 changes docs says that a setting "will become the default in Python 4.0."
14:28:24 -!- mnmrl has joined.
14:30:48 -!- mnmrl has left.
14:51:35 <ep100> wob_jonas: hahaha that's hilarious. That reminds me of a (kind of clueless) professor telling us that we can use either of Python version 3 or version 4 for the course
14:51:57 <ep100> It's pretty sad that once you've got tenure you can pretty much speak shit and no one cares
14:52:21 <wob_jonas> well, it's sort of useful info, it basically tells you not to expect that behavior to be default in python 3.8 or 3.9
14:52:47 <wob_jonas> (there's a setting to enable that behavior in 3.7 and onwards)
14:54:46 <ep100> Still (in the case of the professor), getting details like that right is super important for new programmers given how much other complicated stuff they are trying to stick in their brain!
14:55:33 <ep100> Having to doubt/fact-check everything you are taught is a major waste of mental space
14:55:46 <ep100> what esolangs are you working on wob_jonas ?
14:57:23 <wob_jonas> ep100: well, I should eventually implement Consumer Society, write some example programs for it to test the interpreter, and document it. I keep putting it off. I invented the basics of that language over a year ago now.
15:04:08 <HackEso> ysaclist 80: boily shachaf
15:06:21 -!- SopaXorzTaker has joined.
15:06:48 -!- SopaXorzTaker has quit (Remote host closed the connection).
15:14:25 -!- SopaXorzTaker has joined.
15:20:16 -!- Arcarcarc has joined.
15:21:57 -!- Arcarcarc has quit (Remote host closed the connection).
15:28:32 -!- bradcomp has joined.
16:01:41 -!- S_Gautam has quit (Quit: Connection closed for inactivity).
16:06:37 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client).
16:25:45 -!- S_Gautam has joined.
16:25:51 -!- leftyfb25 has joined.
16:30:35 -!- leftyfb25 has quit (Remote host closed the connection).
16:46:13 -!- MasseR20 has joined.
16:47:05 -!- MasseR20 has quit (K-Lined).
17:58:40 -!- erkin has quit (Remote host closed the connection).
18:10:18 -!- Oiet has joined.
18:19:23 -!- Oiet has quit (Ping timeout: 256 seconds).
18:42:36 <esowiki> [[Special:Log/newusers]] create * Randairox * New user account
19:03:11 <esowiki> [[La We]] https://esolangs.org/w/index.php?diff=57750&oldid=57741 * Rdebath * (+767) Trivial Implementation in Ruby for trivial brainfuck substitution.
19:14:50 -!- arseniiv has quit (Ping timeout: 252 seconds).
19:25:35 -!- SopaXorzTaker has quit (Remote host closed the connection).
19:33:06 <esowiki> [[BF-RLE]] https://esolangs.org/w/index.php?diff=57751&oldid=57737 * Rdebath * (+120) Add a link to BFC
19:37:50 -!- ep100 has quit (Quit: WeeChat 1.9.1).
19:42:53 -!- MDude has quit (Ping timeout: 252 seconds).
19:49:30 -!- Phantom_Hoover has joined.
20:32:07 -!- MDude has joined.
20:32:41 <esowiki> [[Rockstar]] M https://esolangs.org/w/index.php?diff=57752&oldid=57749 * Blacksilver * (-5) Fixed links
20:52:25 -!- sleepnap has left.
21:05:38 <esowiki> [[Esolang:Introduce yourself]] M https://esolangs.org/w/index.php?diff=57753&oldid=57745 * Randairox * (+180) /* Introduction */
21:07:53 <esowiki> [[Esolang:Introduce yourself]] M https://esolangs.org/w/index.php?diff=57754&oldid=57753 * Randairox * (+9) /* Introductions */
21:08:33 <esowiki> [[Esolang:Introduce yourself]] M https://esolangs.org/w/index.php?diff=57755&oldid=57754 * Randairox * (+1) /* Introductions */
21:09:35 <esowiki> [[Esolang:Introduce yourself]] M https://esolangs.org/w/index.php?diff=57756&oldid=57755 * Randairox * (+0) /* Introductions */
21:22:22 -!- danoply0 has joined.
21:25:40 -!- danoply0 has quit (Read error: Connection reset by peer).
21:40:53 -!- linduxed0 has joined.
21:44:23 -!- linduxed0 has quit (Remote host closed the connection).
21:46:49 <esowiki> [[\ () /]] N https://esolangs.org/w/index.php?oldid=57757 * Randairox * (+1793) Created page with "{{infobox proglang |name=\_()_/ |paradigms=imperative |author=[[User:Randairox|Randairox]] |year=[[:Category:2018|2018]] |memsys=tape-based |class=:Category:Turing co..."
21:49:03 -!- The_Decryptor11 has joined.
21:49:56 -!- The_Decryptor11 has quit (Remote host closed the connection).
22:05:50 <esowiki> [[\ () /]] https://esolangs.org/w/index.php?diff=57758&oldid=57757 * Randairox * (+300)
22:06:37 -!- AnotherTest has quit (Ping timeout: 250 seconds).
22:09:39 <esowiki> [[\ () /]] https://esolangs.org/w/index.php?diff=57759&oldid=57758 * Randairox * (+7)
22:10:45 -!- Phantom_Hoover has quit (Read error: Connection reset by peer).
22:55:19 -!- pikhq_ has joined.
22:55:39 -!- ineiros_ has joined.
22:55:57 -!- mynery has joined.
22:56:23 -!- izabera1 has joined.
22:56:27 -!- rain2 has joined.
23:00:51 -!- izabera has quit (*.net *.split).
23:00:51 -!- Melvar has quit (*.net *.split).
23:00:51 -!- pikhq has quit (*.net *.split).
23:00:51 -!- ineiros has quit (*.net *.split).
23:00:51 -!- myname has quit (*.net *.split).
23:00:51 -!- rain1 has quit (*.net *.split).
23:08:26 -!- Melvar has joined.
23:11:01 -!- anotheryou_ has joined.
23:11:11 -!- anotheryou_ has quit (Remote host closed the connection).
23:19:38 -!- XorSwap has joined.
23:24:03 -!- seu17 has joined.
23:30:11 -!- seu17 has quit (Ping timeout: 244 seconds).
23:55:07 -!- bradcomp has quit (Ping timeout: 240 seconds).