00:06:35 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 Theories? Axioms? Pah! 00:07:17 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 [[SpaghettiScript]] M https://esolangs.org/w/index.php?diff=72893&oldid=72887 * PythonshellDebugwindow * (+10) 00:38:06 [[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 https://www.nicolasloizeau.com/gol-computer 02:23:14 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 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 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 [[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 [[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 [[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 [[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 hi 10:46:04 any cool eso stuff i should be aware of? 10:46:53 -!- Lord_of_Life_ has joined. 10:47:53 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 [[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 [[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 [[Fnke]] M https://esolangs.org/w/index.php?diff=72901&oldid=38830 * PythonshellDebugwindow * (+75) /* See also */ cats 13:35:53 [[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 [[User:PythonshellDebugwindow/UnusedLangLetters]] N https://esolangs.org/w/index.php?oldid=72903 * PythonshellDebugwindow * (+287) Created page with " var langs = ``.toUpperCase(); var chars = "ABCDEFGHIJKLMNOPQRSTUVWXYZ"; langs.split("\n").map(s => s[0]).forEach(function(c) { if(chars.includes(..." 13:52:32 [[User:PythonshellDebugwindow/UnusedLangLetters]] M https://esolangs.org/w/index.php?diff=72904&oldid=72903 * PythonshellDebugwindow * (+2) 13:53:05 [[User:PythonshellDebugwindow/UnusedLangLetters]] M https://esolangs.org/w/index.php?diff=72905&oldid=72904 * PythonshellDebugwindow * (+21) 13:58:37 [[J-why]] M https://esolangs.org/w/index.php?diff=72906&oldid=44890 * PythonshellDebugwindow * (+129) cagts 13:59:17 [[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 [[Chronofuck]] M https://esolangs.org/w/index.php?diff=72908&oldid=55785 * PythonshellDebugwindow * (+11) 14:04:07 [[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 [[SpaghettiScript]] M https://esolangs.org/w/index.php?diff=72910&oldid=72907 * PythonshellDebugwindow * (-60) style 14:08:04 [[SpaghettiScript]] M https://esolangs.org/w/index.php?diff=72911&oldid=72910 * PythonshellDebugwindow * (+23) /* Examples */ 14:08:15 -!- tromp_ has joined. 14:10:12 [[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 [[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 [[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 @devils zoo 15:01:43 No match for "zoo". 15:03:12 -!- tromp has joined. 15:07:54 [[Thue]] https://esolangs.org/w/index.php?diff=72915&oldid=67029 * Yoel * (+89) /* Sample programs */ 15:09:06 [[Talk:Thue]] https://esolangs.org/w/index.php?diff=72916&oldid=72914 * Yoel * (+2) /* Converting to Roman numerals */ 15:20:17 [[Surtic]] M https://esolangs.org/w/index.php?diff=72917&oldid=72889 * Digital Hunter * (-32) 15:22:40 [[Surtic]] https://esolangs.org/w/index.php?diff=72918&oldid=72917 * Digital Hunter * (+353) /* Examples */ 15:23:36 [[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 thue hooked up to CGI would be a disasterpiece. I wanna do it. 16:02:12 imode: I encourage this 16:14:54 -!- Cale has quit (Ping timeout: 240 seconds). 16:24:25 I wonder if that's been done with brainfuck. 16:25:50 oh yeah. mod_bf. 16:28:25 [[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 new idea: "lying" esolang 19:16:09 all data in a program is "sentient" and can either be entirely truthful or lie about itself 19:17:08 there are "correctors" who will tell the real situation of data to an OP which gives it false situations 19:17:16 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 hi 20:08:28 [[User:PythonshellDebugwindow/UnusedLangLetters]] M https://esolangs.org/w/index.php?diff=72921&oldid=72905 * PythonshellDebugwindow * (+2004) 20:10:46 [[Category:Brainfuck]] M https://esolangs.org/w/index.php?diff=72922&oldid=8165 * PythonshellDebugwindow * (+0) 20:11:26 [[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 [[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 [[Talk:I like frog]] https://esolangs.org/w/index.php?diff=72925&oldid=71413 * Apollyon094 * (+877) 20:55:17 [[Talk:I like frog]] https://esolangs.org/w/index.php?diff=72926&oldid=72925 * Apollyon094 * (+23) 20:55:41 [[Talk:I like frog]] https://esolangs.org/w/index.php?diff=72927&oldid=72926 * Apollyon094 * (+5) 20:57:53 [[User talk:Hex96]] https://esolangs.org/w/index.php?diff=72928&oldid=69765 * Apollyon094 * (+244) 21:17:35 [[User:Apollyon094]] https://esolangs.org/w/index.php?diff=72929&oldid=71092 * Apollyon094 * (+501) 21:18:08 [[User:Apollyon094]] https://esolangs.org/w/index.php?diff=72930&oldid=72929 * Apollyon094 * (-12) 21:18:30 [[User:Apollyon094]] https://esolangs.org/w/index.php?diff=72931&oldid=72930 * Apollyon094 * (-3) 21:18:51 [[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 "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 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 [[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).