00:01:14 -!- sleffy has joined. 00:04:20 [wiki] [[TheSingularity]] M https://esolangs.org/w/index.php?diff=52814&oldid=52783 * HereToAnnoy * (+354) added tiny functionality 00:21:46 I have a thought that I'm going to monologue out, as I like to do. 00:22:11 Is ZFC arithmetically sound? 00:22:33 It seems like generally speaking, if ZFC proves some arithmetic statement, we'll then probably accept that statement as true. 00:23:03 So it seems like we also ought to accept the statement "if ZFC proves an arithmetic statement, then that statement is true". 00:23:24 In other words, the statement that ZFC is arithmetically sound. 00:25:15 Um, where was I going with this? I think I had a different motivation, actually. 00:26:29 Consider some hypothetical mathematician who believes exactly those statements that are provable in ZFC. 00:26:58 Let this mathematician be denoted by M. 00:27:14 I feel like M's beliefs can't really be consistent, then. And here's why. 00:27:51 If ZFC proves an arithmetic statement, then M will believe that the statement must therefore be true. 00:28:09 So presumably, M believes that if ZFC proves any arithmetic statement, then that statement is true. 00:28:21 But now we've got a problem! 00:28:38 Because ZFC does not prove the statement "if ZFC proves an arithmetic statement, then that statement is true". 00:29:11 Because that statement implies that ZFC is consistent, and ZFC does not prove itself consistent. 00:30:52 -!- sleffy has quit (Ping timeout: 276 seconds). 00:43:34 -!- hppavilion[1] has quit (Ping timeout: 255 seconds). 01:24:45 -!- doesthiswork has joined. 01:30:57 ZFC is hoped, wished, gently implored to not prove itself consistent 01:35:30 -!- Antoxyde has quit (Quit: Leaving). 02:05:50 <\oren\> https://twitter.com/BentleysQuest/status/896879322522202112 02:05:55 <\oren\> can we come across political lines and agree this is retarded? 02:06:48 <\oren\> "My father and uncle were pilots in WW11" "Sorry, I don't have Roman numerals on my keyboard." 02:10:44 ◢ ◣ ◤ ◥ these are wider than a character, what's the closest alternative to fill a triangle? 02:12:28 <\oren\> ◢◣◤◥ 02:13:26 wait aren't those the ones i used? 02:14:03 yes they are 02:14:04 <\oren\> oops. yeah 02:16:31 <\oren\> ⧸⧹ 02:16:40 i want ╱ and ╲ but with one of the halves filled 02:17:22 <\oren\> izabera: yeah my font has those but they arent standard 02:17:29 <\oren\>  02:19:16 i suppose i'll have to settle for ▛ ▙ ▟ ▜ 02:29:24 -!- hppavilion[1] has joined. 02:32:22 -!- relrod has joined. 02:32:25 -!- relrod has quit (Changing host). 02:32:25 -!- relrod has joined. 02:33:47 \oren\, i agree it is retarded. 02:34:48 ⅯⅯⅩⅦ 02:48:40 -!- relrod has quit (Quit: .). 02:49:16 -!- relrod has joined. 02:49:17 -!- relrod has quit (Changing host). 02:49:17 -!- relrod has joined. 02:56:49 ▟ ██ ▟▙ ▙ 02:56:50 ▟█ ██ ▟██▙ █▙ 02:56:52 ▟█▛ ██ ▟████▙ ▜█▙ 02:56:54 ▟██▄▄▄▄▄▄▄ ▜█▙ ██ ▟█▛ ▟██████▙ ▄▄▄▄▄▄▄██▙ 02:56:56 ▜██▀▀▀▀▀▀▀ ▜██████▛ ▟█▛ ██ ▜█▙ ▀▀▀▀▀▀▀██▛ 02:56:58 ▜█▙ ▜████▛ ██ ▟█▛ 02:57:00 ▜█ ▜██▛ ██ █▛ 02:57:02 ▜ ▜▛ ██ ▛ 02:57:14 take it to #trains 02:59:45 `unidecode ▛▙▟▜ 02:59:52 ​[U+259B QUADRANT UPPER LEFT AND UPPER RIGHT AND LOWER LEFT] [U+2599 QUADRANT UPPER LEFT AND LOWER LEFT AND LOWER RIGHT] [U+259F QUADRANT UPPER RIGHT AND LOWER LEFT AND LOWER RIGHT] [U+259C QUADRANT UPPER LEFT AND UPPER RIGHT AND LOWER RIGHT] 03:00:38 Faskinating. 03:01:01 -!- ATMunn has quit (Quit: See ya! o/). 03:02:27 who wants to write a command line ddr? 03:12:25 -!- [io] has joined. 03:13:02 -!- iovoid has changed nick to Guest49762. 03:13:02 -!- Guest49762 has quit (Killed (moon.freenode.net (Nickname regained by services))). 03:13:02 -!- [io] has changed nick to iovoid. 03:23:32 -!- MrBismuth has quit (Quit: https://www.youtube.com/watch?v=xIIqYqtR1lY -- Suicide is Painless - Johnny Mandel). 03:36:16 -!- hppavilion[0] has joined. 03:38:41 -!- hppavilion[1] has quit (Ping timeout: 246 seconds). 03:39:50 -!- hppavilion[1] has joined. 03:41:32 -!- hppavilion[0] has quit (Ping timeout: 260 seconds). 03:45:41 -!- hppavilion[1] has quit (Ping timeout: 246 seconds). 03:46:11 -!- tswett has quit (Quit: Leaving). 04:01:51 -!- GibVent has changed nick to GeekDude. 04:24:08 -!- moony has quit (Read error: Connection reset by peer). 04:24:34 -!- moony has joined. 04:27:54 -!- sleffy has joined. 04:44:22 -!- sleffy has quit (Ping timeout: 276 seconds). 04:45:12 -!- sleffy has joined. 05:03:04 -!- jaboja has quit (Remote host closed the connection). 05:10:00 -!- doesthiswork has quit (Quit: Leaving.). 05:10:31 -!- doesthiswork has joined. 05:11:50 izabera: You can use them, if you use a character set that is including them. 05:40:25 -!- hppavilion[1] has joined. 05:50:58 -!- Sgeo has quit (Ping timeout: 240 seconds). 05:58:31 -!- Sgeo has joined. 06:01:29 -!- sleffy has quit (Ping timeout: 246 seconds). 06:01:44 [wiki] [[MIX (Knuth)]] https://esolangs.org/w/index.php?diff=52815&oldid=52727 * Zzo38 * (+304) MIX256 06:03:35 -!- hppavilion[1] has quit (Ping timeout: 246 seconds). 06:33:26 -!- erkin has joined. 06:37:27 -!- moony has quit (Ping timeout: 240 seconds). 06:39:44 -!- MrBusiness has joined. 07:01:08 -!- FreeFull has quit. 07:22:02 -!- shikhin has changed nick to notshikhin. 07:22:29 -!- notshikhin has changed nick to shikhin. 07:34:24 -!- hppavilion[1] has joined. 07:45:48 -!- erkin has quit (Quit: Ouch! Got SIGABRT, dying...). 07:47:16 -!- erkin has joined. 07:52:26 -!- doesthiswork has quit (Quit: Leaving.). 08:01:37 -!- augur has quit (Remote host closed the connection). 08:06:44 -!- hppavilion[0] has joined. 08:07:04 Some useful constants that aren't in math.h would be pi/180, 180/pi, and tau. 08:07:28 (where tau = twice pi, or the period of trigonometric functions) 08:10:17 -!- hppavilion[1] has quit (Ping timeout: 246 seconds). 08:31:00 Concept: An esolang in which programs write Abstract Syntax Trees themselves with a BF-like system of instructions. 08:31:19 (BF-like optional.) 08:37:17 -!- hppavilion[0] has quit (Ping timeout: 260 seconds). 08:51:17 -!- augur has joined. 09:02:39 -!- erkin has quit (Quit: Ouch! Got SIGABRT, dying...). 09:03:02 -!- erkin has joined. 09:13:49 -!- Antoxyde has joined. 09:28:37 -!- augur has quit (Remote host closed the connection). 09:37:33 -!- AnotherTest has joined. 09:38:20 -!- erkin has quit (Quit: Ouch! Got SIGABRT, dying...). 09:42:15 -!- AnotherTest has quit (Ping timeout: 255 seconds). 09:48:53 -!- erkin has joined. 09:58:49 -!- imode has quit (Ping timeout: 246 seconds). 10:36:17 -!- Sgeo has quit (Ping timeout: 260 seconds). 10:40:03 izabera: surely a command line DDR clone would just use 🢀 🢃 🢁 🢂 🢄 🢅 🢆 🢇 ? 10:55:47 -!- AnotherTest has joined. 10:56:34 -!- Sgeo has joined. 11:28:55 [wiki] [[Mindscrew]] https://esolangs.org/w/index.php?diff=52816&oldid=52812 * Rdococ * (-3104) Completely overhauled the language to something that actually makes sense for once (O_O) 11:30:45 [wiki] [[User:Rdococ]] https://esolangs.org/w/index.php?diff=52817&oldid=52809 * Rdococ * (+12) /* Esolangs of mine that I consider decent, or are yet unevaluated */ 11:31:54 -!- Mayoi has joined. 11:33:04 -!- erkin has quit (Read error: Connection reset by peer). 11:34:56 -!- boily has joined. 11:35:32 `5 w 11:35:41 1/1:e-module//E-modules are modules over a web ring. Uaneb invented them. \ auto//Auto is the German word for car. \ cdop//CDOP is OCPD, except with the letters in the *proper* order. \ hash 2346ad27d7568ba9896f1b7da6b5991251debdf2//hash 2346ad27d7568ba9896f1b7da6b5991251debdf2 \ hand//A hand in the bush is better than a stoned bird. 11:35:54 `forget auto 11:35:56 Forget what? 11:39:07 [wiki] [[Mindscrew]] https://esolangs.org/w/index.php?diff=52818&oldid=52816 * Rdococ * (+367) Actual TC proof for once, if an incredibly obvious one. 11:40:23 [wiki] [[User:Rdococ]] M https://esolangs.org/w/index.php?diff=52819&oldid=52817 * Rdococ * (+132) 11:40:59 [wiki] [[User:Rdococ]] M https://esolangs.org/w/index.php?diff=52820&oldid=52819 * Rdococ * (+47) /* Esolangs of mine that I consider decent, or are yet unevaluated */ 11:42:51 [wiki] [[Mindscrew]] M https://esolangs.org/w/index.php?diff=52821&oldid=52818 * Rdococ * (+31) /* Computational Class */ Minor terminology cha--er, modification. 12:05:25 [wiki] [[Mindscrew]] M https://esolangs.org/w/index.php?diff=52822&oldid=52821 * Rdococ * (+29) /* Cat program */ 12:05:45 damn lag 12:08:56 [wiki] [[Mindscrew]] M https://esolangs.org/w/index.php?diff=52823&oldid=52822 * Rdococ * (+29) 12:10:16 [wiki] [[User:Rdococ]] M https://esolangs.org/w/index.php?diff=52824&oldid=52820 * Rdococ * (-174) 12:21:28 -!- AnotherTest has quit (Ping timeout: 240 seconds). 12:23:35 FireFly: no that's awful 12:24:09 they render quite well in my font at least 12:29:28 rdochelloc, izabellora, FirelloFly. 12:29:40 -!- boily has quit (Quit: OAK CHICKEN). 12:29:56 hi boily...oh 12:30:19 -!- augur has joined. 12:30:43 -!- augur has quit (Remote host closed the connection). 12:41:27 [wiki] [[Mindscrew]] M https://esolangs.org/w/index.php?diff=52825&oldid=52823 * Rdococ * (+24) /* Instructions */ 12:43:06 [wiki] [[Mindscrew]] M https://esolangs.org/w/index.php?diff=52826&oldid=52825 * Rdococ * (+14) /* Examples */ 13:15:43 -!- sftp has quit (Max SendQ exceeded). 13:16:11 -!- sftp has joined. 13:26:30 -!- Mayoi has changed nick to erkin. 13:37:43 -!- jaboja has joined. 13:44:02 -!- doesthiswork has joined. 13:52:19 -!- atehwa has quit (Ping timeout: 276 seconds). 13:52:58 -!- atehwa has joined. 14:20:00 -!- oerjan has joined. 14:51:09 -!- ATMunn has joined. 14:52:59 after only 15352 attempts i managed to record a win https://asciinema.org/a/GPYfU9Rn9vu1TJVQKdHDm5azP 15:02:44 -!- doesthiswork has quit (Quit: Leaving.). 15:06:43 -!- `^_^v has joined. 15:07:36 -!- jaboja has quit (Ping timeout: 255 seconds). 15:16:09 izabera: are you coding an AI? 15:20:06 or is it merely a terminal clone of https://www.chiark.greenend.org.uk/~sgtatham/puzzles/js/flood.html ? 15:23:10 written in bash, I guess... given the video title and your history 15:25:04 `? izabera 15:25:05 izabera is a bradyherpetologist. She is probably implemented in bash. 15:31:38 -!- sftp has quit (Max SendQ exceeded). 15:32:02 -!- sftp has joined. 15:32:24 `? sgtm 15:32:25 Sergeant Mustard 15:32:36 `5 w 15:32:40 1/2:betty crocker//Betty Crocker is a notorious gambler. \ fractal//There used to be an entry for "fractal", but it burst into a thousand pieces (whose dimension was approximately sqrt(3)) which subsequently got lost in a Mandelbrot-shaped singularity. \ coonspirator//A coonspirator is caterpillar silk wrapped in collaborators. \ fnord//? ¯\(°​ 15:32:44 `n 15:32:44 2/2:_o)/¯ \ broily//broily is like boily, but more broiling. 15:33:10 `dowg fractal 15:33:18 9163:2016-10-05 le/rn fractal/There used to be an entry for "fractal", but it burst into a thousand pieces (whose dimension was approximately sqrt(3)) which subsequently got lost in a Mandelbrot-shaped singularity. \ 9162:2016-10-05 le/rn fractal/There used to be an entry for "fractal", but it burst into a thousand pieces (whose 15:33:50 -!- erkin has quit (Quit: Ouch! Got SIGABRT, dying...). 15:35:17 I'm sad that there's no esolang named Footshit yet. <-- i'm not hth thth 15:35:21 wat 15:35:41 (stupid t) 15:35:43 @google hth thth 15:35:45 https://www.facebook.com/thth.hth 15:35:49 ooh 15:35:52 ... maybe not. 15:52:41 how can ai be involved in that? 15:53:43 -!- jaboja has joined. 16:02:52 -!- ais523 has joined. 16:22:58 -!- ais523 has quit (Remote host closed the connection). 16:24:08 -!- ais523 has joined. 16:29:30 -!- jaboja has quit (Ping timeout: 255 seconds). 17:07:43 [wiki] [[InSpace]] N https://esolangs.org/w/index.php?oldid=52827 * Zayne * (+1149) First edit 17:08:01 [wiki] [[User:Zayne]] https://esolangs.org/w/index.php?diff=52828&oldid=52372 * Zayne * (+16) 17:08:36 [wiki] [[InSpace]] https://esolangs.org/w/index.php?diff=52829&oldid=52827 * Zayne * (+42) 17:09:00 -!- ais523 has quit. 17:10:28 [wiki] [[2014]] https://esolangs.org/w/index.php?diff=52830&oldid=52370 * Zayne * (+9) removing User: from the label for AndoDaan 17:12:55 [wiki] [[2014]] https://esolangs.org/w/index.php?diff=52831&oldid=52830 * Zayne * (+810) Implemented 17:16:10 -!- erkin has joined. 17:21:39 -!- FreeFull has joined. 17:25:15 [wiki] [[User talk:Zzo38]] https://esolangs.org/w/index.php?diff=52832&oldid=41022 * Zayne * (+189) /* Thanks :) */ new section 17:25:52 [wiki] [[User talk:Zayne]] N https://esolangs.org/w/index.php?oldid=52833 * Zayne * (+134) Created page with "Because nobody made a topic I decided to make this page --~~~~" 17:31:25 [wiki] [[2014]] https://esolangs.org/w/index.php?diff=52834&oldid=52831 * Oerjan * (-9) Undo revision 52830 by [[Special:Contributions/Zayne|Zayne]] ([[User talk:Zayne|talk]]) (We have a policy against this) 17:31:52 -!- oerjan has quit (Quit: Later). 17:55:08 <\oren\> one day they'll have enough public CCTV systems to have some sort of google earth live in some places 17:58:23 -!- zseri has joined. 18:00:02 <\oren\> https://askubuntu.com/questions/938606/dwarf-fortress-starting-during-apt-get-upgrade 18:05:36 -!- TellsTogo has joined. 18:09:56 -!- moony has joined. 18:12:33 [wiki] [[Special:Log/newusers]] create * StellatedHexahedron * New user account 18:15:19 -!- Phantom_Hoover has joined. 18:21:34 -!- TellsTogo has quit (Ping timeout: 260 seconds). 18:23:28 -!- TellsTogo has joined. 18:56:24 > minBound - length [42] == maxBound 18:56:26 True 19:02:59 -!- TellsTogo has quit (Ping timeout: 260 seconds). 19:03:29 [wiki] [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=52835&oldid=52775 * StellatedHexahedron * (+350) /* Introductions */ 19:07:36 -!- MDude has quit (Remote host closed the connection). 19:08:31 -!- AnotherTest has joined. 19:24:51 -!- trn has quit (Remote host closed the connection). 19:32:31 -!- erkin has quit (Quit: Ouch! Got SIGABRT, dying...). 19:45:03 -!- trn has joined. 19:46:54 -!- imode has joined. 19:54:42 -!- augur has joined. 21:12:17 -!- jaboja has joined. 21:17:33 `? cats 21:17:34 Cats are cool, but should be illegal. 21:17:53 Taneb: You invented cats, didn't you? 21:18:22 i wonder, did taneb invent ME? 21:19:40 shachaf, fun fact, I used to be afraid of cats 21:19:52 moony, nah, but like half of the other Windows versions I did 21:20:21 Taneb: But now you like them. 21:21:44 It certainly could be interpreted that way 21:27:15 [wiki] [[ಠ ಠ]] M https://esolangs.org/w/index.php?diff=52836&oldid=52592 * Totallyhuman * (-1) ಠ_ಠ 21:28:43 [wiki] [[Special:Log/newusers]] create * Mr. Xcoder * New user account 21:29:02 -!- jaboja has quit (Ping timeout: 260 seconds). 21:35:17 [wiki] [[Esolang:Introduce yourself]] M https://esolangs.org/w/index.php?diff=52837&oldid=52835 * Mr. Xcoder * (+272) /* Introductions */ 21:37:18 [wiki] [[ಠ ಠ]] https://esolangs.org/w/index.php?diff=52838&oldid=52836 * MD XF * (+2936) Add the actual lang 21:39:02 [wiki] [[ಠ ಠ]] M https://esolangs.org/w/index.php?diff=52839&oldid=52838 * Totallyhuman * (+26) ಠ_ಠ 21:39:02 [wiki] [[User:Mr. Xcoder]] N https://esolangs.org/w/index.php?oldid=52840 * Mr. Xcoder * (+296) added stuff 21:39:28 [wiki] [[ಠ ಠ]] M https://esolangs.org/w/index.php?diff=52841&oldid=52839 * MD XF * (+1) 21:39:38 [wiki] [[ಠ ಠ]] M https://esolangs.org/w/index.php?diff=52842&oldid=52841 * MD XF * (-27) 21:40:18 [wiki] [[ಠ ಠ]] M https://esolangs.org/w/index.php?diff=52843&oldid=52842 * Totallyhuman * (+26) ಠ_ಠ 21:47:29 [wiki] [[ಠ ಠ]] https://esolangs.org/w/index.php?diff=52844&oldid=52843 * MD XF * (+11) /* Conditional Statements */ 21:53:54 -!- zseri has quit (Ping timeout: 260 seconds). 21:54:56 -!- jaboja has joined. 22:50:33 -!- Lucen has joined. 22:52:22 -!- Lucen has quit. 22:55:39 -!- augur has quit (Remote host closed the connection). 22:56:14 -!- augur has joined. 23:00:58 -!- augur has quit (Ping timeout: 264 seconds). 23:03:34 -!- wob_jonas has joined. 23:04:29 -!- Mr2001 has quit (Ping timeout: 260 seconds). 23:04:59 -!- `^_^v has quit (Quit: This computer has gone to sleep). 23:14:06 Could you point me to a program to encode an image to a jpeg but keep some blocks from an old jpeg unchanged losslessly? I'd like this for editing parts of a jpeg image while most of the area is untouched 23:18:11 -!- imode has quit (Ping timeout: 246 seconds). 23:20:38 -!- AnotherTest has quit (Ping timeout: 246 seconds). 23:28:09 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client). 23:29:11 -!- wob_jonas has joined. 23:39:49 -!- augur has joined. 23:40:12 -!- Sgeo has quit (Read error: Connection reset by peer). 23:40:37 -!- Sgeo has joined. 23:43:56 -!- boily has joined. 23:53:54 `6 w 23:53:55 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: 6: not found 23:53:59 meh. 23:54:01 `5 w 23:54:06 1/2:typoglycerine//Typoglycerine is an explosive that scrambles the letters inside a word. \ örjan//Örjan is the diæresed twin. He will punctuate your vöẅëls, and maybe a few other unsuspecting letters. \ the universe//The universe was invented by Taneb as an opposing force to oerjan. Escardó proved that it was indiscreet. \ mips//MIPS Is P 23:54:07 `n 23:54:08 2/2:rohibited in Singapore. \ imho//IMHO means "In My Holy Omniscience". 23:57:01 -!- oerjan has joined.