←2020-05-25 2020-05-26 2020-05-27→ ↑2020 ↑all
00:06:35 <tswett[m]> So I've been trying to figure out how to do math without resorting to any of this nasty "set theory" or "function" stuff. :D
00:07:01 <tswett[m]> Theories? Axioms? Pah!
00:07:17 <tswett[m]> So I've decided to study universal algebra. There seems to be a lot you can do in universal algebra without relying on a foundational theory.
00:11:57 -!- TheLie has quit (Remote host closed the connection).
00:34:45 <esowiki> [[SpaghettiScript]] M https://esolangs.org/w/index.php?diff=72893&oldid=72887 * PythonshellDebugwindow * (+10)
00:38:06 <esowiki> [[Stupid]] M https://esolangs.org/w/index.php?diff=72894&oldid=56850 * PythonshellDebugwindow * (+96) /* Truth-machine */ cat + fix
00:39:53 -!- user24_ has joined.
00:41:47 -!- user24 has quit (Ping timeout: 272 seconds).
00:56:27 -!- sleepnap has quit (Ping timeout: 260 seconds).
01:04:11 -!- LKoen has quit (Quit: Leaving).
01:08:27 -!- sleepnap has joined.
01:17:10 -!- user24_ has quit (Quit: Leaving).
01:40:24 -!- ArthurStrong has quit (Ping timeout: 272 seconds).
02:22:35 <imode> https://www.nicolasloizeau.com/gol-computer
02:23:14 <imode> things like this make me want to revisit the idea of building a target + "compiler suite" for a string rewriting language, much like traditional FPGA tooling.
02:24:07 <imode> though I guess it'd be easier to design something like this because you can build stuff like logic gate layout systems: https://github.com/nicolasloizeau/guigl
02:24:25 <imode> whereas you're limited to 1D with string rewriting.
02:32:01 -!- ArthurStrong has joined.
02:36:29 -!- ArthurStrong has quit (Ping timeout: 258 seconds).
02:37:23 -!- ArthurStrong has joined.
02:49:53 -!- ArthurStrong has quit (Ping timeout: 265 seconds).
02:51:26 -!- ArthurStrong has joined.
03:48:33 -!- ArthurStrong has quit (Ping timeout: 258 seconds).
04:55:52 -!- sleepnap has quit (Ping timeout: 260 seconds).
05:07:52 -!- sleepnap has joined.
05:48:28 -!- sleepnap has quit (Quit: Leaving.).
06:00:58 -!- sleepnap has joined.
06:17:39 <esowiki> [[User:Zzo38/Untitled 4]] https://esolangs.org/w/index.php?diff=72895&oldid=72724 * Zzo38 * (+901)
06:26:37 -!- sleepnap has quit (Ping timeout: 260 seconds).
06:27:21 <esowiki> [[User:Zzo38/Untitled 4]] https://esolangs.org/w/index.php?diff=72896&oldid=72895 * Zzo38 * (+279)
06:41:05 -!- zseri has joined.
07:24:18 -!- imode has quit (Ping timeout: 272 seconds).
07:29:47 -!- b_jonas has quit (Quit: leaving).
07:41:41 -!- rain1 has joined.
07:52:13 -!- Sgeo has quit (Read error: Connection reset by peer).
08:29:14 <esowiki> [[Talk:Thue]] https://esolangs.org/w/index.php?diff=72897&oldid=72863 * Yoel * (+1564) /* Converting to Roman numerals */
08:29:46 -!- LKoen has joined.
08:39:19 <esowiki> [[Talk:Thue]] https://esolangs.org/w/index.php?diff=72898&oldid=72897 * Yoel * (-278) /* Converting to Roman numerals */
09:46:38 -!- zseri has quit (Quit: zseri).
10:45:58 <rain1> hi
10:46:04 <rain1> any cool eso stuff i should be aware of?
10:46:53 -!- Lord_of_Life_ has joined.
10:47:53 <int-e> yes, plenty
10:49:20 -!- Lord_of_Life has quit (Ping timeout: 256 seconds).
10:49:42 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
10:52:29 -!- lambdabot has quit (Quit: brb).
10:55:06 -!- lambdabot has joined.
11:27:48 -!- user24 has joined.
11:54:44 -!- user24 has quit (Remote host closed the connection).
12:07:09 -!- arseniiv has joined.
12:07:54 -!- ArthurStrong has joined.
12:28:44 -!- arseniiv has quit (Ping timeout: 258 seconds).
12:44:22 <esowiki> [[3LEB]] N https://esolangs.org/w/index.php?oldid=72899 * Hanzlu * (+2750) Created page with "3LEB is a language supposed to be somewhat similar to languages such as BASIC. Data is stored in variables or on a stack. Keywords are not English, but of an unknown language...."
12:47:37 <esowiki> [[Bin-8]] M https://esolangs.org/w/index.php?diff=72900&oldid=67489 * PythonshellDebugwindow * (+252) cats + interpretr
12:56:09 -!- ArthurStrong has quit (Quit: leaving).
13:00:22 -!- arseniiv has joined.
13:13:35 -!- kritixilithos has joined.
13:24:06 -!- APic has quit (Ping timeout: 240 seconds).
13:28:21 -!- APic has joined.
13:35:43 <esowiki> [[Fnke]] M https://esolangs.org/w/index.php?diff=72901&oldid=38830 * PythonshellDebugwindow * (+75) /* See also */ cats
13:35:53 <esowiki> [[Fnke]] M https://esolangs.org/w/index.php?diff=72902&oldid=72901 * PythonshellDebugwindow * (+27) /* See also */
13:36:10 -!- APic has quit (Ping timeout: 260 seconds).
13:48:45 -!- APic has joined.
13:51:22 <esowiki> [[User:PythonshellDebugwindow/UnusedLangLetters]] N https://esolangs.org/w/index.php?oldid=72903 * PythonshellDebugwindow * (+287) Created page with " var langs = `<copy the langs to here>`.toUpperCase(); var chars = "ABCDEFGHIJKLMNOPQRSTUVWXYZ"; langs.split("\n").map(s => s[0]).forEach(function(c) { if(chars.includes(..."
13:52:32 <esowiki> [[User:PythonshellDebugwindow/UnusedLangLetters]] M https://esolangs.org/w/index.php?diff=72904&oldid=72903 * PythonshellDebugwindow * (+2)
13:53:05 <esowiki> [[User:PythonshellDebugwindow/UnusedLangLetters]] M https://esolangs.org/w/index.php?diff=72905&oldid=72904 * PythonshellDebugwindow * (+21)
13:58:37 <esowiki> [[J-why]] M https://esolangs.org/w/index.php?diff=72906&oldid=44890 * PythonshellDebugwindow * (+129) cagts
13:59:17 <esowiki> [[SpaghettiScript]] M https://esolangs.org/w/index.php?diff=72907&oldid=72893 * UltimateProGrammer * (-3) Changed set to memory to be easier to implement
14:02:10 <esowiki> [[Chronofuck]] M https://esolangs.org/w/index.php?diff=72908&oldid=55785 * PythonshellDebugwindow * (+11)
14:04:07 <esowiki> [[Wishmaster]] M https://esolangs.org/w/index.php?diff=72909&oldid=58312 * PythonshellDebugwindow * (+117) cats
14:05:19 -!- Mysteryhunter has quit (Quit: Join our new channel in freenode #MysteryNewsTV).
14:07:51 <esowiki> [[SpaghettiScript]] M https://esolangs.org/w/index.php?diff=72910&oldid=72907 * PythonshellDebugwindow * (-60) style
14:08:04 <esowiki> [[SpaghettiScript]] M https://esolangs.org/w/index.php?diff=72911&oldid=72910 * PythonshellDebugwindow * (+23) /* Examples */
14:08:15 -!- tromp_ has joined.
14:10:12 <esowiki> [[Template:Infobox proglang]] M https://esolangs.org/w/index.php?diff=72912&oldid=65165 * PythonshellDebugwindow * (+27)
14:11:17 -!- tromp has quit (Ping timeout: 246 seconds).
14:12:36 <esowiki> [[ArnoldC]] M https://esolangs.org/w/index.php?diff=72913&oldid=52580 * PythonshellDebugwindow * (+22) /* External resources */
14:27:27 -!- tromp_ has quit (Remote host closed the connection).
14:33:14 -!- imode has joined.
14:39:30 -!- adu has joined.
14:45:28 <esowiki> [[Talk:Thue]] https://esolangs.org/w/index.php?diff=72914&oldid=72898 * Yoel * (+107) /* Converting to Roman numerals */
14:45:57 -!- zseri has joined.
15:01:42 <int-e> @devils zoo
15:01:43 <lambdabot> No match for "zoo".
15:03:12 -!- tromp has joined.
15:07:54 <esowiki> [[Thue]] https://esolangs.org/w/index.php?diff=72915&oldid=67029 * Yoel * (+89) /* Sample programs */
15:09:06 <esowiki> [[Talk:Thue]] https://esolangs.org/w/index.php?diff=72916&oldid=72914 * Yoel * (+2) /* Converting to Roman numerals */
15:20:17 <esowiki> [[Surtic]] M https://esolangs.org/w/index.php?diff=72917&oldid=72889 * Digital Hunter * (-32)
15:22:40 <esowiki> [[Surtic]] https://esolangs.org/w/index.php?diff=72918&oldid=72917 * Digital Hunter * (+353) /* Examples */
15:23:36 <esowiki> [[Surtic]] M https://esolangs.org/w/index.php?diff=72919&oldid=72918 * Digital Hunter * (+8) /* Examples */
15:31:04 -!- zseri has quit (Quit: zseri).
15:32:03 -!- kritixilithos has quit (Ping timeout: 240 seconds).
15:41:56 -!- user24 has joined.
15:50:20 -!- sleepnap has joined.
15:56:48 -!- kritixilithos has joined.
16:00:00 <imode> thue hooked up to CGI would be a disasterpiece. I wanna do it.
16:02:12 <Taneb> imode: I encourage this
16:14:54 -!- Cale has quit (Ping timeout: 240 seconds).
16:24:25 <imode> I wonder if that's been done with brainfuck.
16:25:50 <imode> oh yeah. mod_bf.
16:28:25 <esowiki> [[Talk:Thue]] https://esolangs.org/w/index.php?diff=72920&oldid=72916 * Yoel * (-1395) There was a flow in the code provided: wrong result in about 5% cases
16:49:56 -!- Cale has joined.
17:13:18 -!- ProofTechnique has quit (Ping timeout: 265 seconds).
17:22:34 -!- ProofTechnique has joined.
17:45:56 -!- kspalaiologos has joined.
17:59:20 -!- Arcorann_ has quit (Read error: Connection reset by peer).
18:19:58 -!- arseniiv_ has joined.
18:22:59 -!- arseniiv has quit (Ping timeout: 272 seconds).
18:58:36 -!- b_jonas has joined.
19:07:11 -!- kritixilithos has quit (Quit: quit).
19:14:57 -!- andrew_esolang has joined.
19:15:54 <andrew_esolang> new idea: "lying" esolang
19:16:09 <andrew_esolang> all data in a program is "sentient" and can either be entirely truthful or lie about itself
19:17:08 <andrew_esolang> there are "correctors" who will tell the real situation of data to an OP which gives it false situations
19:17:16 <andrew_esolang> however, one can create lying correctors
19:37:43 -!- TheLie has joined.
19:53:41 -!- kspalaiologos has quit (Quit: Leaving).
19:55:34 -!- spruit11 has quit (Quit: Lost terminal).
19:55:56 -!- spruit11 has joined.
19:56:38 <andrew_esolang> hi
20:08:28 <esowiki> [[User:PythonshellDebugwindow/UnusedLangLetters]] M https://esolangs.org/w/index.php?diff=72921&oldid=72905 * PythonshellDebugwindow * (+2004)
20:10:46 <esowiki> [[Category:Brainfuck]] M https://esolangs.org/w/index.php?diff=72922&oldid=8165 * PythonshellDebugwindow * (+0)
20:11:26 <esowiki> [[QO]] M https://esolangs.org/w/index.php?diff=72923&oldid=44891 * PythonshellDebugwindow * (+25) /* See also */ cat
20:16:24 -!- ArthurStrong has joined.
20:16:52 -!- user24 has quit (Remote host closed the connection).
20:21:54 <esowiki> [[I like frog]] https://esolangs.org/w/index.php?diff=72924&oldid=71292 * Apollyon094 * (+22)
20:26:19 -!- tromp has quit (Remote host closed the connection).
20:27:01 -!- ArthurStrong has quit (Quit: leaving).
20:28:02 -!- andrew_esolang has quit (Remote host closed the connection).
20:29:22 -!- ArthurStrong has joined.
20:30:44 -!- rain1 has quit (Quit: leaving).
20:31:00 -!- TheLie has quit (Remote host closed the connection).
20:33:13 -!- TheLie has joined.
20:36:32 -!- sleepnap has quit (Ping timeout: 260 seconds).
20:43:36 -!- tromp has joined.
20:50:59 -!- Sgeo has joined.
20:54:44 <esowiki> [[Talk:I like frog]] https://esolangs.org/w/index.php?diff=72925&oldid=71413 * Apollyon094 * (+877)
20:55:17 <esowiki> [[Talk:I like frog]] https://esolangs.org/w/index.php?diff=72926&oldid=72925 * Apollyon094 * (+23)
20:55:41 <esowiki> [[Talk:I like frog]] https://esolangs.org/w/index.php?diff=72927&oldid=72926 * Apollyon094 * (+5)
20:57:53 <esowiki> [[User talk:Hex96]] https://esolangs.org/w/index.php?diff=72928&oldid=69765 * Apollyon094 * (+244)
21:17:35 <esowiki> [[User:Apollyon094]] https://esolangs.org/w/index.php?diff=72929&oldid=71092 * Apollyon094 * (+501)
21:18:08 <esowiki> [[User:Apollyon094]] https://esolangs.org/w/index.php?diff=72930&oldid=72929 * Apollyon094 * (-12)
21:18:30 <esowiki> [[User:Apollyon094]] https://esolangs.org/w/index.php?diff=72931&oldid=72930 * Apollyon094 * (-3)
21:18:51 <esowiki> [[User:Apollyon094]] https://esolangs.org/w/index.php?diff=72932&oldid=72931 * Apollyon094 * (+1)
21:20:57 -!- adu has quit (Quit: adu).
21:35:25 -!- zseri has joined.
22:32:01 -!- b_jonas has quit (Ping timeout: 264 seconds).
22:33:47 -!- b_jonas has joined.
22:38:00 -!- Bowserinator has quit (Ping timeout: 256 seconds).
22:39:05 -!- Bowserinator has joined.
22:46:58 -!- Lord_of_Life_ has joined.
22:49:21 -!- Lord_of_Life has quit (Ping timeout: 258 seconds).
22:49:48 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
23:07:47 <shachaf> "In homotopy type theory, van Doorn verifies that the smash product is a 1-coherent symmetric monoidal product by first proving the isomorphism A →_∗ (B →_∗ C) ≃ (A ∧ B) →_∗ C and using this to obtain the other results [vD18]."
23:07:52 <shachaf> Taneb: did you do this twh
23:07:56 -!- b_jonas has quit (Ping timeout: 246 seconds).
23:09:55 -!- b_jonas has joined.
23:13:36 -!- TheLie has quit (Remote host closed the connection).
23:36:20 -!- Arcorann_ has joined.
23:36:21 -!- tromp has quit (Remote host closed the connection).
23:44:50 <esowiki> [[SpaghettiScript]] https://esolangs.org/w/index.php?diff=72933&oldid=72911 * UltimateProGrammer * (+1220) Added hello world
23:53:04 -!- arseniiv_ has quit (Ping timeout: 246 seconds).
←2020-05-25 2020-05-26 2020-05-27→ ↑2020 ↑all