2024-06-11 - libera.chat:#esolangs

00:10:38 -!- SGautam has quit (Quit: Connection closed for inactivity).

00:10:52 -!- Lord_of_Life_ has joined.

00:11:47 -!- Lord_of_Life has quit (Ping timeout: 268 seconds).

00:12:14 -!- Lord_of_Life_ has changed nick to Lord_of_Life.

00:13:34 <esolangs> [[User:Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff]] N https://esolangs.org/w/index.php?oldid=129954 * Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff * (+42) Created page with "My esolangs: [[Beefydie]] [[]]"

00:13:44 <esolangs> [[User:Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff]] https://esolangs.org/w/index.php?diff=129955&oldid=129954 * Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff * (+1)

00:13:51 <esolangs> [[User:Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff]] https://esolangs.org/w/index.php?diff=129956&oldid=129955 * Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff * (+1)

00:16:09 <esolangs> [[Pyqon]] N https://esolangs.org/w/index.php?oldid=129957 * Brain Boy 53 * (+996) Created page with "''Pyqon'' is an esoteric subset of the programing language Python. It is inspired by [[JSFuck]]. In it, the only allowed characters are: 0jr+vpct1(t\=]s)y}{ha"l[e:nwilf and tab and newline and space. ==Programs== ===Cat=== eval(str(type((1,1)))[1+1+1+1+1+1+1+1+1+1]+

00:16:35 <esolangs> [[Pyqon]] M https://esolangs.org/w/index.php?diff=129958&oldid=129957 * Brain Boy 53 * (+0)

00:17:25 <esolangs> [[Language list]] M https://esolangs.org/w/index.php?diff=129959&oldid=129926 * Brain Boy 53 * (+12)

00:19:14 <esolangs> [[ULEX]] M https://esolangs.org/w/index.php?diff=129960&oldid=129923 * ULEX-dev * (+0) /* Etimology */

00:22:33 <esolangs> [[Talk:Public Domain Mickey Reaction]] M https://esolangs.org/w/index.php?diff=129961&oldid=127808 * Brain Boy 53 * (+140)

00:27:44 -!- Melvar has quit (Quit: WeeChat 4.2.2).

00:40:36 <esolangs> [[User:ULEX-dev]] M https://esolangs.org/w/index.php?diff=129962&oldid=129857 * ULEX-dev * (-21)

00:54:11 <esolangs> [[]] https://esolangs.org/w/index.php?diff=129963&oldid=129953 * Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff * (-4878)

01:07:07 -!- Melvar has joined.

01:14:19 <esolangs> [[]] https://esolangs.org/w/index.php?diff=129964&oldid=129963 * Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff * (+4709)

01:16:04 <esolangs> [[]] https://esolangs.org/w/index.php?diff=129965&oldid=129964 * Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff * (+110)

01:16:39 <esolangs> [[User:Tommyaweosme/BRING BACK THE OLD SANDBOX]] https://esolangs.org/w/index.php?diff=129966&oldid=129946 * Tommyaweosme * (+761) ESOLANG WAVE-ADD 2

01:17:39 -!- Sgeo has quit (Ping timeout: 252 seconds).

01:21:10 -!- Melvar has quit (Quit: WeeChat 4.2.2).

01:22:51 -!- Melvar has joined.

01:43:07 <esolangs> [[User:Tommyaweosme/BRING BACK THE OLD SANDBOX]] https://esolangs.org/w/index.php?diff=129967&oldid=129966 * Tommyaweosme * (+254) ADDED BRAINFUCK. (this is the first time ive ever had fun with vanilla brainfuck btw)

01:43:45 <esolangs> [[User:EvyLah]] https://esolangs.org/w/index.php?diff=129968&oldid=129915 * EvyLah * (+87)

01:48:01 <esolangs> [[ULEX]] M https://esolangs.org/w/index.php?diff=129969&oldid=129960 * ULEX-dev * (+756)

02:12:14 <esolangs> [[ULEX]] M https://esolangs.org/w/index.php?diff=129970&oldid=129969 * ULEX-dev * (+202) /* Language overview */

02:15:02 -!- Sgeo has joined.

02:23:48 -!- Soni has quit (Quit: http://quassel-irc.org - Chat comfortably. Anywhere.).

02:24:23 -!- SoniEx2 has joined.

02:26:36 <esolangs> [[ULEX]] https://esolangs.org/w/index.php?diff=129971&oldid=129970 * ULEX-dev * (+36) /* Language overview */

02:26:44 <esolangs> [[ULEX]] https://esolangs.org/w/index.php?diff=129972&oldid=129971 * ULEX-dev * (-16) /* Conventions */

02:27:34 <esolangs> [[ULEX]] M https://esolangs.org/w/index.php?diff=129973&oldid=129972 * ULEX-dev * (+32) /* Language overview */

02:28:34 -!- SoniEx2 has changed nick to Soni.

02:30:39 <esolangs> [[ULEX]] M https://esolangs.org/w/index.php?diff=129974&oldid=129973 * ULEX-dev * (+38)

02:32:01 <esolangs> [[ULEX]] M https://esolangs.org/w/index.php?diff=129975&oldid=129974 * ULEX-dev * (-9)

02:44:47 <esolangs> [[ULEX]] M https://esolangs.org/w/index.php?diff=129976&oldid=129975 * ULEX-dev * (+10)

03:15:59 <esolangs> [[ULEX]] M https://esolangs.org/w/index.php?diff=129977&oldid=129976 * ULEX-dev * (+321)

03:19:37 <esolangs> [[ULEX]] M https://esolangs.org/w/index.php?diff=129978&oldid=129977 * ULEX-dev * (+117) /* Etymology */

03:24:12 <esolangs> [[ULEX]] M https://esolangs.org/w/index.php?diff=129979&oldid=129978 * ULEX-dev * (+138) /* Etymology */

03:31:31 <esolangs> [[ULEX]] M https://esolangs.org/w/index.php?diff=129980&oldid=129979 * ULEX-dev * (+0)

03:33:10 <esolangs> [[ULEX]] M https://esolangs.org/w/index.php?diff=129981&oldid=129980 * ULEX-dev * (+0) /* Language overview */

03:35:32 <esolangs> [[ULEX]] M https://esolangs.org/w/index.php?diff=129982&oldid=129981 * ULEX-dev * (+119) /* Etymology */

03:40:45 <esolangs> [[ULEX]] M https://esolangs.org/w/index.php?diff=129983&oldid=129982 * ULEX-dev * (-71) /* Etymology */

03:41:23 -!- fowl has quit (Read error: Connection reset by peer).

03:41:31 -!- fowl5 has joined.

03:53:27 <esolangs> [[ULEX]] M https://esolangs.org/w/index.php?diff=129984&oldid=129983 * ULEX-dev * (-13) /* Specifications */

03:55:45 <esolangs> [[ULEX]] M https://esolangs.org/w/index.php?diff=129985&oldid=129984 * ULEX-dev * (+1)

04:54:47 -!- tromp has joined.

05:04:07 <esolangs> [[User:Flandre-chan/Sandbox]] https://esolangs.org/w/index.php?diff=129986&oldid=129876 * Flandre-chan * (-13) show the "User:" prefix on links to userpages

05:08:37 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).

05:30:05 -!- tromp has joined.

05:39:42 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).

05:45:45 -!- tromp has joined.

05:58:34 -!- Sgeo has quit (Read error: Connection reset by peer).

06:17:25 -!- Koen has joined.

06:33:33 <esolangs> [[Flop]] https://esolangs.org/w/index.php?diff=129987&oldid=66243 * BestCoder * (+1198) Removed redirect to [[Brainflop]]

06:37:54 <esolangs> [[Flop]] https://esolangs.org/w/index.php?diff=129988&oldid=129987 * BestCoder * (+6)

06:41:08 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).

07:19:21 -!- tromp has joined.

07:26:24 <esolangs> [[User:FreakCdev]] https://esolangs.org/w/index.php?diff=129989&oldid=80479 * FreakCdev * (-135)

07:34:56 -!- dnm has quit (*.net *.split).

07:35:10 -!- dnm has joined.

07:41:31 -!- xaos has joined.

08:08:13 <esolangs> [[User:Tommyaweosme/BRING BACK THE OLD SANDBOX]] https://esolangs.org/w/index.php?diff=129990&oldid=129967 * MihaiEso * (+67) Added Batch!!

08:23:21 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).

08:28:13 -!- chiselfuse has quit (Remote host closed the connection).

08:28:32 -!- chiselfuse has joined.

09:36:27 -!- tromp has joined.

10:01:56 -!- Koen has quit (Ping timeout: 256 seconds).

10:04:04 -!- __monty__ has joined.

10:09:06 -!- Koen has joined.

10:24:19 <esolangs> [[User:Tommyaweosme/BRING BACK THE OLD SANDBOX]] https://esolangs.org/w/index.php?diff=129991&oldid=129990 * PkmnQ * (+314) never visited the sandbox that much but I'll still add a few languages

11:02:32 -!- amby has joined.

11:25:25 <esolangs> [[Language list]] https://esolangs.org/w/index.php?diff=129992&oldid=129959 * Unicodes * (+10) /* Z */

11:36:25 <esolangs> [[Talk:Pyqon]] N https://esolangs.org/w/index.php?oldid=129993 * None1 * (+211) Created page with "Another esolang, PyFuck (at github), a subset of Python allows only 8 characters and is Turing complete. The 8 characters are: exc0'%() -~~~~"

11:36:31 -!- Koen has quit (Ping timeout: 256 seconds).

11:36:49 <esolangs> [[Talk:Pyqon]] https://esolangs.org/w/index.php?diff=129994&oldid=129993 * None1 * (+1)

12:19:02 -!- xaos has quit (Quit: leaving).

12:19:38 -!- Koen has joined.

12:24:07 -!- Koen has quit (Ping timeout: 256 seconds).

12:25:59 <esolangs> [[NEWS]] N https://esolangs.org/w/index.php?oldid=129995 * Brain Boy 53 * (+606) Created page with "''News'' is an esoteric programing language meant to look like a news cast. ==Creating a program== ===Start=== You start of a NEWS program by typing the name of the news company followed by a period and two newlines, then the words "Desk Anchor: " (That space at the en

12:28:40 <esolangs> [[Language list]] M https://esolangs.org/w/index.php?diff=129996&oldid=129992 * Brain Boy 53 * (+11)

12:30:55 <esolangs> [[NEWS]] M https://esolangs.org/w/index.php?diff=129997&oldid=129995 * Brain Boy 53 * (+137)

12:38:34 -!- amby has quit (Ping timeout: 268 seconds).

12:41:47 <esolangs> [[Soh supplementary private use area-b u+10fffe]] M https://esolangs.org/w/index.php?diff=129998&oldid=123895 * Brain Boy 53 * (+814)

12:42:17 <esolangs> [[Soh supplementary private use area-b u+10fffe]] M https://esolangs.org/w/index.php?diff=129999&oldid=129998 * Brain Boy 53 * (+14)

12:47:48 -!- Koen has joined.

12:51:59 <esolangs> [[!]] M https://esolangs.org/w/index.php?diff=130000&oldid=89612 * Brain Boy 53 * (+63)

12:56:37 <esolangs> [[User:Tommyaweosme/BRING BACK THE OLD SANDBOX]] https://esolangs.org/w/index.php?diff=130001&oldid=129991 * Tommyaweosme * (+69) ADDED MINECODE

13:40:07 -!- Koen_ has joined.

13:40:39 -!- Koen has quit (Read error: Connection reset by peer).

13:42:54 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).

13:44:25 -!- tromp has joined.

13:46:40 -!- amby has joined.

13:52:14 -!- amby has quit (Read error: Connection reset by peer).

13:52:27 -!- amby has joined.

14:01:41 -!- amby has quit (Ping timeout: 240 seconds).

14:12:12 -!- cpressey has joined.

14:13:55 <esolangs> [[FlipFlop]] https://esolangs.org/w/index.php?diff=130002&oldid=129733 * Ractangle * (+15) /* Example(s) */

14:14:02 <esolangs> [[FlipFlop]] https://esolangs.org/w/index.php?diff=130003&oldid=130002 * Ractangle * (+1) /* Example(s) */

14:20:12 -!- fowl5 has changed nick to fowl.

14:38:32 -!- Sgeo has joined.

14:43:26 -!- amby has joined.

14:57:27 -!- APic has quit (Ping timeout: 260 seconds).

15:12:36 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).

15:13:49 -!- tromp has joined.

15:23:48 -!- amby has quit (Remote host closed the connection).

15:24:00 -!- amby has joined.

15:24:07 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).

15:26:05 -!- tromp has joined.

15:50:32 <cpressey> I CAN HAZ PRESBURGER? [ARITHMETIC]

16:07:57 -!- Koen_ has quit (Ping timeout: 255 seconds).

16:25:05 -!- Koen has joined.

16:35:22 -!- cpressey has quit (Ping timeout: 268 seconds).

16:39:03 -!- amby has quit (Remote host closed the connection).

16:39:20 -!- amby has joined.

16:49:49 <esolangs> [[NEWS]] M https://esolangs.org/w/index.php?diff=130004&oldid=129997 * Brain Boy 53 * (+895)

16:52:37 -!- cpressey has joined.

16:55:32 <cpressey> Circa 2010, Edward Nelson produced a proof that Primitive Recursive Arithmetic is inconsistent. The proof was shown to be flawed. It raises an interesting question though, which is, how can one be expected to believe any proof that PRA is inconsistent.

16:56:34 <cpressey> Reverse Mathematics folks believe that vast amounts of conventional mathematics can be expressed in PRA. So, your proof would have to be more... unconventional... than most mathematics.

16:57:48 <cpressey> Even then, PRA is usually regarded as a subset of something richer, like ZFC, isn't it? How does your proof avoid being supported by that subset?

17:04:54 -!- APic has joined.

17:08:18 <esolangs> [[ShortO]] https://esolangs.org/w/index.php?diff=130005&oldid=110755 * MasterWoodie * (-49)

17:08:59 <esolangs> [[Standard Chess]] https://esolangs.org/w/index.php?diff=130006&oldid=110756 * MasterWoodie * (-49)

17:09:36 <esolangs> [[Brainfuck algorithms]] https://esolangs.org/w/index.php?diff=130007&oldid=128840 * Tommyaweosme * (+333) /* Input a decimal number */ added my algorithms

17:10:13 -!- lisbeths has joined.

17:33:41 -!- cpressey has quit (Ping timeout: 240 seconds).

17:37:31 -!- amby has quit (Ping timeout: 255 seconds).

17:40:23 -!- amby has joined.

18:06:26 -!- Koen has quit (Ping timeout: 256 seconds).

18:17:18 <esolangs> [[ULEX]] M https://esolangs.org/w/index.php?diff=130008&oldid=129985 * ULEX-dev * (+1148) links and equivalence table

18:44:07 <esolangs> [[NEWS]] https://esolangs.org/w/index.php?diff=130009&oldid=130004 * MihaiEso * (-21) Fixed.

19:22:02 -!- cpressey has joined.

19:24:17 <esolangs> [[User talk:None1]] https://esolangs.org/w/index.php?diff=130010&oldid=128811 * MihaiEso * (+200) /* Creating a category */ new section

19:24:31 <esolangs> [[User talk:None1]] https://esolangs.org/w/index.php?diff=130011&oldid=130010 * MihaiEso * (+1) /* Creating a category */ Fixed syntax.

20:07:22 -!- Koen has joined.

20:10:29 <esolangs> [[Super Ratt Bros]] N https://esolangs.org/w/index.php?oldid=130012 * XxXaXxX * (+176) Made the page

20:11:17 <esolangs> [[Super Ratt Bros]] M https://esolangs.org/w/index.php?diff=130013&oldid=130012 * XxXaXxX * (+23) Added Ratt+

20:11:57 <esolangs> [[User:XxXaXxX]] M https://esolangs.org/w/index.php?diff=130014&oldid=129880 * XxXaXxX * (+30) Fixed something

20:12:18 <esolangs> [[User:XxXaXxX]] M https://esolangs.org/w/index.php?diff=130015&oldid=130014 * XxXaXxX * (-30) Fixed something

20:19:39 -!- lisbeths has quit (Quit: Connection closed for inactivity).

20:28:07 <esolangs> [[User:Tommyaweosme/BRING BACK THE OLD SANDBOX]] https://esolangs.org/w/index.php?diff=130016&oldid=130001 * Tommyaweosme * (+517)

20:28:12 <esolangs> [[CLFCE]] https://esolangs.org/w/index.php?diff=130017&oldid=128704 * Ractangle * (+31)

20:28:37 <esolangs> [[CLFCE]] https://esolangs.org/w/index.php?diff=130018&oldid=130017 * Ractangle * (-1)

20:29:17 <esolangs> [[User:Tommyaweosme/BRING BACK THE OLD SANDBOX]] https://esolangs.org/w/index.php?diff=130019&oldid=130016 * Tommyaweosme * (+1) /* CHEF */

20:35:26 <esolangs> [[Special:Log/upload]] upload * Tommyaweosme * uploaded "[[File:Lines are cool bring back the old sandbox.png]]"

20:36:00 <esolangs> [[User:Tommyaweosme/BRING BACK THE OLD SANDBOX]] https://esolangs.org/w/index.php?diff=130021&oldid=130019 * Tommyaweosme * (+190)

20:36:32 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).

20:37:47 -!- chiselfuse has quit (Remote host closed the connection).

20:38:25 -!- chiselfuse has joined.

20:40:48 -!- tromp has joined.

20:41:43 <esolangs> [[User:Tommyaweosme/BRING BACK THE OLD SANDBOX]] https://esolangs.org/w/index.php?diff=130022&oldid=130021 * Tommyaweosme * (+421)

20:44:30 -!- chiselfuse has quit (Remote host closed the connection).

20:44:47 -!- chiselfuse has joined.

20:52:05 -!- amby has quit (Ping timeout: 240 seconds).

21:00:06 -!- cpressey has quit (Quit: WeeChat 4.3.0).

21:27:17 -!- Koen has quit (Read error: Connection reset by peer).

21:30:16 <esolangs> [[ULEX]] M https://esolangs.org/w/index.php?diff=130023&oldid=130008 * ULEX-dev * (+1037)

21:46:18 -!- amby has joined.

21:54:27 <esolangs> [[ULEX]] M https://esolangs.org/w/index.php?diff=130024&oldid=130023 * ULEX-dev * (+686) /* Reductions */

21:56:14 <esolangs> [[ULEX]] M https://esolangs.org/w/index.php?diff=130025&oldid=130024 * ULEX-dev * (-11) /* Execution */

22:02:55 <esolangs> [[ULEX]] M https://esolangs.org/w/index.php?diff=130026&oldid=130025 * ULEX-dev * (+6) /* Specifications */

22:03:48 <esolangs> [[!@$%^&*()+]] M https://esolangs.org/w/index.php?diff=130027&oldid=109171 * Brain Boy 53 * (+53)

22:03:48 <esolangs> [[ULEX]] M https://esolangs.org/w/index.php?diff=130028&oldid=130026 * ULEX-dev * (-6) /* Specifications */

22:04:10 <esolangs> [[Brainfuck constants]] https://esolangs.org/w/index.php?diff=130029&oldid=128285 * Tommyaweosme * (+49)

22:04:58 <esolangs> [[ULEX]] M https://esolangs.org/w/index.php?diff=130030&oldid=130028 * ULEX-dev * (-208) /* Specifications */

22:13:19 -!- __monty__ has quit (Quit: leaving).

22:14:33 <esolangs> [[Brainfuck constants]] M https://esolangs.org/w/index.php?diff=130031&oldid=130029 * Tommyaweosme * (-1) /* Over 255 */

22:26:13 <esolangs> [[ULEX]] M https://esolangs.org/w/index.php?diff=130032&oldid=130030 * ULEX-dev * (+5) /* Execution */

22:32:16 <esolangs> [[ULEX]] M https://esolangs.org/w/index.php?diff=130033&oldid=130032 * ULEX-dev * (+299) /* Reductions */

22:32:37 <esolangs> [[ULEX]] M https://esolangs.org/w/index.php?diff=130034&oldid=130033 * ULEX-dev * (+6) /* Specifications */

22:42:42 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).

23:14:37 <esolangs> [[Pointerfuck]] M https://esolangs.org/w/index.php?diff=130035&oldid=129529 * Kaveh Yousefi * (+1) Rectified an instance of cacography in the Common Lisp implementation's comment.

23:15:23 <esolangs> [[ULEX]] M https://esolangs.org/w/index.php?diff=130036&oldid=130034 * ULEX-dev * (+0) /* Specifications */

23:18:17 <esolangs> [[ULEX]] M https://esolangs.org/w/index.php?diff=130037&oldid=130036 * ULEX-dev * (+10) /* Reductions */

23:23:14 <esolangs> [[User talk:None1]] https://esolangs.org/w/index.php?diff=130038&oldid=130011 * None1 * (+92) /* Creating a category */

23:28:13 <esolangs> [[User:None1]] https://esolangs.org/w/index.php?diff=130039&oldid=129896 * None1 * (+48)

23:31:53 <esolangs> [[Esolang:Sandbox]] https://esolangs.org/w/index.php?diff=130040&oldid=129942 * Tommyaweosme * (+6056)

23:51:47 <esolangs> [[User:Tommyaweosme/BRING BACK THE OLD SANDBOX/NEW MISSION]] N https://esolangs.org/w/index.php?oldid=130041 * Tommyaweosme * (+96) Created page with "SET THE SANDBOX PAGE TO 69784 AND KEEP IT THAT WAY UNTIL THEY CHANGE IT BACK TO THE OLD SANDBOX."

23:52:27 <esolangs> [[Esolang:Sandbox]] https://esolangs.org/w/index.php?diff=130042&oldid=130040 * Tommyaweosme * (-10178) Replaced content with "69784 "

23:53:04 <esolangs> [[User:Tommyaweosme/BRING BACK THE OLD SANDBOX]] https://esolangs.org/w/index.php?diff=130043&oldid=130022 * Tommyaweosme * (+74)

23:58:32 <esolangs> [[Bbtos]] N https://esolangs.org/w/index.php?oldid=130044 * Tommyaweosme * (+261) Created page with "{{wrongtitle|title=BRING BACK THE OLD SANDBOX}} BRING BACK THE OLD SANDBOX is an esolang developed by [[User:Tommyaweosme]] == Commands == R prints "BRING BACK THE OLD SANDBOX" Any other character else does nothing == Quine == BRING BACK THE OLD SANDBOX"

23:59:35 <esolangs> [[Language list]] https://esolangs.org/w/index.php?diff=130045&oldid=129996 * Tommyaweosme * (+125)