←2017-08-15 2017-08-16 2017-08-17→ ↑2017 ↑all
00:01:14 -!- sleffy has joined.
00:04:20 <HackEgo> [wiki] [[TheSingularity]] M https://esolangs.org/w/index.php?diff=52814&oldid=52783 * HereToAnnoy * (+354) added tiny functionality
00:21:46 <tswett> I have a thought that I'm going to monologue out, as I like to do.
00:22:11 <tswett> Is ZFC arithmetically sound?
00:22:33 <tswett> It seems like generally speaking, if ZFC proves some arithmetic statement, we'll then probably accept that statement as true.
00:23:03 <tswett> 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 <tswett> In other words, the statement that ZFC is arithmetically sound.
00:25:15 <tswett> Um, where was I going with this? I think I had a different motivation, actually.
00:26:29 <tswett> Consider some hypothetical mathematician who believes exactly those statements that are provable in ZFC.
00:26:58 <tswett> Let this mathematician be denoted by M.
00:27:14 <tswett> I feel like M's beliefs can't really be consistent, then. And here's why.
00:27:51 <tswett> If ZFC proves an arithmetic statement, then M will believe that the statement must therefore be true.
00:28:09 <tswett> So presumably, M believes that if ZFC proves any arithmetic statement, then that statement is true.
00:28:21 <tswett> But now we've got a problem!
00:28:38 <tswett> Because ZFC does not prove the statement "if ZFC proves an arithmetic statement, then that statement is true".
00:29:11 <tswett> 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 <Jafet> ZFC is hoped, wished, gently implored to not prove itself consistent
01:35:30 -!- Antoxyde has quit (Quit: Leaving).
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 <izabera> ◢ ◣ ◤ ◥ these are wider than a character, what's the closest alternative to fill a triangle?
02:12:28 <\oren\> ◢◣◤◥
02:13:26 <izabera> wait aren't those the ones i used?
02:14:03 <izabera> yes they are
02:14:04 <\oren\> oops. yeah
02:16:31 <\oren\> ⧸⧹
02:16:40 <izabera> 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 <izabera> 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 <moony> \oren\, i agree it is retarded.
02:34:48 <Jafet> ⅯⅯⅩⅦ
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 <izabera> ▟ ██ ▟▙ ▙
02:56:50 <izabera> ▟█ ██ ▟██▙ █▙
02:56:52 <izabera> ▟█▛ ██ ▟████▙ ▜█▙
02:56:54 <izabera> ▟██▄▄▄▄▄▄▄ ▜█▙ ██ ▟█▛ ▟██████▙ ▄▄▄▄▄▄▄██▙
02:56:56 <izabera> ▜██▀▀▀▀▀▀▀ ▜██████▛ ▟█▛ ██ ▜█▙ ▀▀▀▀▀▀▀██▛
02:56:58 <izabera> ▜█▙ ▜████▛ ██ ▟█▛
02:57:00 <izabera> ▜█ ▜██▛ ██ █▛
02:57:02 <izabera> ▜ ▜▛ ██ ▛
02:57:14 <shachaf> take it to #trains
02:59:45 <tswett> `unidecode ▛▙▟▜
02:59:52 <HackEgo> ​[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:01:01 -!- ATMunn has quit (Quit: See ya! o/).
03:02:27 <izabera> 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 <zzo38> 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 <HackEgo> [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).
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 <zzo38> Some useful constants that aren't in math.h would be pi/180, 180/pi, and tau.
08:07:28 <zzo38> (where tau = twice pi, or the period of trigonometric functions)
08:10:17 -!- hppavilion[1] has quit (Ping timeout: 246 seconds).
08:31:00 <rdococ> Concept: An esolang in which programs write Abstract Syntax Trees themselves with a BF-like system of instructions.
08:31:19 <rdococ> (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 <FireFly> 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 <HackEgo> [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 <HackEgo> [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 <boily> `5 w
11:35:41 <HackEgo> 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 <boily> `forget auto
11:35:56 <HackEgo> Forget what?
11:39:07 <HackEgo> [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 <HackEgo> [wiki] [[User:Rdococ]] M https://esolangs.org/w/index.php?diff=52819&oldid=52817 * Rdococ * (+132)
11:40:59 <HackEgo> [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 <HackEgo> [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 <HackEgo> [wiki] [[Mindscrew]] M https://esolangs.org/w/index.php?diff=52822&oldid=52821 * Rdococ * (+29) /* Cat program */
12:05:45 <rdococ> damn lag
12:08:56 <HackEgo> [wiki] [[Mindscrew]] M https://esolangs.org/w/index.php?diff=52823&oldid=52822 * Rdococ * (+29)
12:10:16 <HackEgo> [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 <izabera> FireFly: no that's awful
12:24:09 <FireFly> they render quite well in my font at least
12:29:28 <boily> rdochelloc, izabellora, FirelloFly.
12:29:40 -!- boily has quit (Quit: OAK CHICKEN).
12:29:56 <rdococ> hi boily...oh
12:30:19 -!- augur has joined.
12:30:43 -!- augur has quit (Remote host closed the connection).
12:41:27 <HackEgo> [wiki] [[Mindscrew]] M https://esolangs.org/w/index.php?diff=52825&oldid=52823 * Rdococ * (+24) /* Instructions */
12:43:06 <HackEgo> [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 <izabera> 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 <int-e> izabera: are you coding an AI?
15:20:06 <int-e> or is it merely a terminal clone of https://www.chiark.greenend.org.uk/~sgtatham/puzzles/js/flood.html ?
15:23:10 <int-e> written in bash, I guess... given the video title and your history
15:25:04 <oerjan> `? izabera
15:25:05 <HackEgo> 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 <oerjan> `? sgtm
15:32:25 <HackEgo> Sergeant Mustard
15:32:36 <oerjan> `5 w
15:32:40 <HackEgo> 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 <oerjan> `n
15:32:44 <HackEgo> 2/2:_o)/¯ \ broily//broily is like boily, but more broiling.
15:33:10 <oerjan> `dowg fractal
15:33:18 <HackEgo> 9163:2016-10-05 <int-̈e> 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 <int-̈e> 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 <oerjan> <rdococ> I'm sad that there's no esolang named Footshit yet. <-- i'm not hth thth
15:35:21 <oerjan> wat
15:35:41 <oerjan> (stupid t)
15:35:49 <oerjan> ooh
15:35:52 <int-e> ... maybe not.
15:52:41 <izabera> 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 <HackEgo> [wiki] [[InSpace]] N https://esolangs.org/w/index.php?oldid=52827 * Zayne * (+1149) First edit
17:08:01 <HackEgo> [wiki] [[User:Zayne]] https://esolangs.org/w/index.php?diff=52828&oldid=52372 * Zayne * (+16)
17:08:36 <HackEgo> [wiki] [[InSpace]] https://esolangs.org/w/index.php?diff=52829&oldid=52827 * Zayne * (+42)
17:09:00 -!- ais523 has quit.
17:10:28 <HackEgo> [wiki] [[2014]] https://esolangs.org/w/index.php?diff=52830&oldid=52370 * Zayne * (+9) removing User: from the label for AndoDaan
17:12:55 <HackEgo> [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 <HackEgo> [wiki] [[User talk:Zzo38]] https://esolangs.org/w/index.php?diff=52832&oldid=41022 * Zayne * (+189) /* Thanks :) */ new section
17:25:52 <HackEgo> [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 <HackEgo> [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:05:36 -!- TellsTogo has joined.
18:09:56 -!- moony has joined.
18:12:33 <HackEgo> [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 <int-e> > minBound - length [42] == maxBound
18:56:26 <lambdabot> True
19:02:59 -!- TellsTogo has quit (Ping timeout: 260 seconds).
19:03:29 <HackEgo> [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 <shachaf> `? cats
21:17:34 <HackEgo> Cats are cool, but should be illegal.
21:17:53 <shachaf> Taneb: You invented cats, didn't you?
21:18:22 <moony> i wonder, did taneb invent ME?
21:19:40 <Taneb> shachaf, fun fact, I used to be afraid of cats
21:19:52 <Taneb> moony, nah, but like half of the other Windows versions I did
21:20:21 <shachaf> Taneb: But now you like them.
21:21:44 <Taneb> It certainly could be interpreted that way
21:27:15 <HackEgo> [wiki] [[ಠ ಠ]] M https://esolangs.org/w/index.php?diff=52836&oldid=52592 * Totallyhuman * (-1) ಠ_ಠ
21:28:43 <HackEgo> [wiki] [[Special:Log/newusers]] create * Mr. Xcoder * New user account
21:29:02 -!- jaboja has quit (Ping timeout: 260 seconds).
21:35:17 <HackEgo> [wiki] [[Esolang:Introduce yourself]] M https://esolangs.org/w/index.php?diff=52837&oldid=52835 * Mr. Xcoder * (+272) /* Introductions */
21:37:18 <HackEgo> [wiki] [[ಠ ಠ]] https://esolangs.org/w/index.php?diff=52838&oldid=52836 * MD XF * (+2936) Add the actual lang
21:39:02 <HackEgo> [wiki] [[ಠ ಠ]] M https://esolangs.org/w/index.php?diff=52839&oldid=52838 * Totallyhuman * (+26) ಠ_ಠ
21:39:02 <HackEgo> [wiki] [[User:Mr. Xcoder]] N https://esolangs.org/w/index.php?oldid=52840 * Mr. Xcoder * (+296) added stuff
21:39:28 <HackEgo> [wiki] [[ಠ ಠ]] M https://esolangs.org/w/index.php?diff=52841&oldid=52839 * MD XF * (+1)
21:39:38 <HackEgo> [wiki] [[ಠ ಠ]] M https://esolangs.org/w/index.php?diff=52842&oldid=52841 * MD XF * (-27)
21:40:18 <HackEgo> [wiki] [[ಠ ಠ]] M https://esolangs.org/w/index.php?diff=52843&oldid=52842 * Totallyhuman * (+26) ಠ_ಠ
21:47:29 <HackEgo> [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 <wob_jonas> 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 <boily> `6 w