00:08:56 -!- FreeFull has quit.
00:46:16 -!- LKoen has joined.
00:55:28 -!- heroux has quit (Ping timeout: 265 seconds).
01:06:39 -!- LKoen has quit (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”).
01:17:42 <HackEso> 1/2:monads//Monads are just free monad monad monad algebras. \ tanebvention//Tanebventions include necessity, Go, submarine jousting, Fueue, the universe, metar, sand, dragons, persistence, the BBC, _46bit, progress, sanity, the hug, Italian, the grace period, the limerick, ruin, and this sentence. See also tanebventions: maths or tanebventions: foods. He never invents anything involving sex. \ lie group//Lie groups are groups that try b
01:17:45 <HackEso> 2/2:eing too smooth for their own good. \ gamemanj//gamemanj is also the mad scientist I. N. Here. He will overthink everything, except whether overthinking is wrong. \ vanila//In a cruel twist of fate, vanila has come to #esoteric in search of wisdom.
01:36:37 -!- Lord_of_Life has quit (Ping timeout: 240 seconds).
01:45:19 -!- Lord_of_Life has joined.
01:51:57 -!- hppavilion[1] has quit (Ping timeout: 240 seconds).
02:35:48 -!- oerjan has joined.
02:46:31 -!- heroux has joined.
02:50:29 -!- imode has joined.
03:11:41 <shachaf> int-e: So I fixed my thing to do what I think is correct FirstUIP.
03:11:52 <shachaf> It still takes much longer when doing clause learning.
03:13:04 <shachaf> On the same instance, MiniSat says it deleted only <25% of its conflict literals (I think?), so I'm not sure deletion is the big missing thing here.
03:13:33 <shachaf> But also it's not learning as many clauses as I am so maybe it's something along those lines.
03:13:48 <esowiki> [[Burn]] https://esolangs.org/w/index.php?diff=67650&oldid=67636 * Oerjan * (-53) Undo revision 67636 by [[Special:Contributions/Hex96|Hex96]] ([[User talk:Hex96|talk]]) (Wild speculation doesn't belong in the official information sections.)
03:16:19 <oerjan> apparently there weren't any sections, blame my brain
03:17:55 <shachaf> There were no sections, so you're issuing a retraction?
03:17:57 <oerjan> what is it with people making up theories without first understanding what's already known?
03:18:07 * oerjan swats shachaf -----###
03:34:26 <shachaf> int-e: Oh, hmm, I'm learning duplicate clauses, that's not good.
03:34:31 <shachaf> Probably everything I said is nonsense.
04:08:06 -!- Frater_EST has joined.
04:10:03 -!- Frater_EST has left.
04:23:29 -!- orvira has joined.
04:24:11 <kingoffrance> i dunno, same reason noone pays much attention to atlas holding the earth up. what if he has to scratch his nose? kablooie
04:25:24 -!- pp has joined.
04:25:42 -!- pp has left.
04:27:35 -!- xkapastel has quit (Quit: Connection closed for inactivity).
04:37:53 -!- orvira has quit (Quit: Igloo IRC: https://iglooirc.com).
04:44:25 <oerjan> kingoffrance: i'm pretty sure in ancient greek mythology atlas held the _heavens_ up.
04:52:01 -!- elliemae has joined.
05:04:24 <elliemae> Would anyone here mind looking over my javagony code and see about obtimising?
05:50:23 -!- imode has quit (Ping timeout: 268 seconds).
05:56:00 * kingoffrance plays offspring "you gotta keep em separated" in hopes of convincing atlas
06:10:56 -!- sleepnap has quit (Ping timeout: 240 seconds).
06:24:40 -!- sleepnap has joined.
06:53:15 -!- hppavilion[1] has joined.
07:14:04 -!- hppavilion[1] has quit (Remote host closed the connection).
07:14:30 -!- hppavilion[1] has joined.
08:34:40 -!- diginet has quit (*.net *.split).
08:34:40 -!- catern has quit (*.net *.split).
08:34:40 -!- aji has quit (*.net *.split).
08:34:40 -!- fizzie has quit (*.net *.split).
08:38:16 -!- diginet has joined.
08:38:16 -!- catern has joined.
08:38:16 -!- aji has joined.
08:38:16 -!- fizzie has joined.
08:38:22 -!- catern has quit (Max SendQ exceeded).
08:57:25 -!- catern has joined.
09:04:08 -!- b_jonas has quit (Quit: Lost terminal).
09:05:57 <esowiki> [[Talk:Burn]] https://esolangs.org/w/index.php?diff=67651&oldid=67640 * Dart * (+363)
09:13:20 <esowiki> [[Talk:Burn]] M https://esolangs.org/w/index.php?diff=67652&oldid=67651 * Dart * (+40) I also moved a section if that's okay
09:24:30 -!- cpressey has joined.
09:28:36 -!- hppavilion[1] has quit (Ping timeout: 240 seconds).
09:44:16 -!- arseniiv has joined.
09:54:48 -!- diginet has quit (*.net *.split).
09:54:48 -!- aji has quit (*.net *.split).
09:54:48 -!- fizzie has quit (*.net *.split).
09:54:49 -!- int-e has quit (*.net *.split).
09:54:49 -!- Bowserinator has quit (*.net *.split).
09:54:50 -!- olsner has quit (*.net *.split).
09:54:50 -!- sftp has quit (*.net *.split).
09:54:50 -!- kingoffrance has quit (*.net *.split).
09:54:50 -!- Sgeo has quit (*.net *.split).
09:54:51 -!- iovoid has quit (*.net *.split).
09:54:51 -!- APic has quit (*.net *.split).
09:54:52 -!- joast has quit (*.net *.split).
09:54:53 -!- erdic has quit (*.net *.split).
09:54:53 -!- kmc has quit (*.net *.split).
09:54:53 -!- LBPHacker has quit (*.net *.split).
09:54:54 -!- haavard has quit (*.net *.split).
09:54:54 -!- MDude has quit (*.net *.split).
09:54:54 -!- Melvar has quit (*.net *.split).
09:54:54 -!- nchambers has quit (*.net *.split).
09:54:55 -!- stux|away has quit (*.net *.split).
09:54:55 -!- sprocklem has quit (*.net *.split).
09:54:55 -!- gitlogger has quit (*.net *.split).
09:54:55 -!- hakatashi has quit (*.net *.split).
09:54:55 -!- subleq has quit (*.net *.split).
09:54:56 -!- dnm has quit (*.net *.split).
09:55:02 -!- cpressey has quit (*.net *.split).
09:55:02 -!- catern has quit (*.net *.split).
09:55:02 -!- sleepnap has quit (*.net *.split).
09:55:02 -!- heroux has quit (*.net *.split).
09:55:02 -!- moony has quit (*.net *.split).
09:55:03 -!- vertrex- has quit (*.net *.split).
09:55:04 -!- jix has quit (*.net *.split).
09:55:04 -!- GeekDude has quit (*.net *.split).
09:55:04 -!- lifthrasiir_ has quit (*.net *.split).
09:55:04 -!- shinh has quit (*.net *.split).
09:55:04 -!- relrod has quit (*.net *.split).
09:55:04 -!- lambdabot has quit (*.net *.split).
09:55:05 -!- ornxka has quit (*.net *.split).
09:55:05 -!- myname has quit (*.net *.split).
09:55:05 -!- quintopia has quit (*.net *.split).
09:55:05 -!- shachaf has quit (*.net *.split).
09:55:05 -!- djhoulihan has quit (*.net *.split).
09:55:05 -!- shig has quit (*.net *.split).
09:55:06 -!- iczero has quit (*.net *.split).
09:55:06 -!- tromp has quit (*.net *.split).
09:55:06 -!- Soni has quit (*.net *.split).
09:55:06 -!- dingwat has quit (*.net *.split).
09:55:07 -!- mniip has quit (*.net *.split).
09:55:07 -!- ddmm_ has quit (*.net *.split).
09:55:09 -!- imode-ruby has quit (*.net *.split).
09:55:09 -!- rodgort has quit (*.net *.split).
09:55:09 -!- clog has quit (*.net *.split).
09:55:10 -!- dog_star has quit (*.net *.split).
09:55:10 -!- myndzi has quit (*.net *.split).
09:55:11 -!- Lord_of_Life has quit (*.net *.split).
09:55:12 -!- Hooloovo0 has quit (*.net *.split).
09:55:12 -!- sebbu has quit (*.net *.split).
09:55:13 -!- aloril has quit (*.net *.split).
09:55:13 -!- Lykaina has quit (*.net *.split).
09:55:13 -!- laerling has quit (*.net *.split).
09:55:14 -!- j-bot has quit (*.net *.split).
09:55:15 -!- FireFly has quit (*.net *.split).
09:55:15 -!- BWBellairs has quit (*.net *.split).
09:55:16 -!- tswett[m] has quit (*.net *.split).
09:55:17 -!- Deewiant has quit (*.net *.split).
09:55:17 -!- glowcoil has quit (*.net *.split).
09:55:17 -!- mich181189 has quit (*.net *.split).
09:55:19 -!- arseniiv has quit (*.net *.split).
09:55:19 -!- oerjan has quit (*.net *.split).
09:55:19 -!- Vorpal has quit (*.net *.split).
09:55:19 -!- Cale has quit (*.net *.split).
09:55:19 -!- divergence has quit (*.net *.split).
09:55:20 -!- ProofTechnique has quit (*.net *.split).
09:55:20 -!- Taneb has quit (*.net *.split).
09:55:21 -!- wmww has quit (*.net *.split).
09:55:21 -!- shikhin has quit (*.net *.split).
09:55:21 -!- grumble has quit (*.net *.split).
09:55:22 -!- ^[ has quit (*.net *.split).
09:55:22 -!- j4cbo has quit (*.net *.split).
09:55:22 -!- howlands has quit (*.net *.split).
09:55:22 -!- sparr has quit (*.net *.split).
09:55:23 -!- interruptinuse has quit (*.net *.split).
09:56:34 -!- arseniiv has joined.
09:56:34 -!- cpressey has joined.
09:56:34 -!- catern has joined.
09:56:34 -!- sleepnap has joined.
09:56:34 -!- heroux has joined.
09:56:34 -!- oerjan has joined.
09:56:34 -!- Lord_of_Life has joined.
09:56:34 -!- iczero has joined.
09:56:34 -!- moony has joined.
09:56:34 -!- tromp has joined.
09:56:34 -!- Hooloovo0 has joined.
09:56:34 -!- Vorpal has joined.
09:56:34 -!- Cale has joined.
09:56:34 -!- vertrex- has joined.
09:56:34 -!- Soni has joined.
09:56:34 -!- divergence has joined.
09:56:34 -!- dingwat has joined.
09:56:34 -!- ProofTechnique has joined.
09:56:34 -!- Taneb has joined.
09:56:34 -!- mniip has joined.
09:56:34 -!- wmww has joined.
09:56:34 -!- tswett[m] has joined.
09:56:34 -!- ddmm_ has joined.
09:56:34 -!- sebbu has joined.
09:56:34 -!- imode-ruby has joined.
09:56:34 -!- jix has joined.
09:56:34 -!- GeekDude has joined.
09:56:34 -!- lifthrasiir_ has joined.
09:56:34 -!- shikhin has joined.
09:56:34 -!- shinh has joined.
09:56:34 -!- aloril has joined.
09:56:34 -!- relrod has joined.
09:56:34 -!- Lykaina has joined.
09:56:34 -!- lambdabot has joined.
09:56:34 -!- laerling has joined.
09:56:34 -!- rodgort has joined.
09:56:34 -!- grumble has joined.
09:56:34 -!- clog has joined.
09:56:34 -!- ^[ has joined.
09:56:34 -!- j4cbo has joined.
09:56:34 -!- dog_star has joined.
09:56:34 -!- djhoulihan has joined.
09:56:34 -!- Deewiant has joined.
09:56:34 -!- ornxka has joined.
09:56:34 -!- j-bot has joined.
09:56:34 -!- myname has joined.
09:56:34 -!- myndzi has joined.
09:56:34 -!- quintopia has joined.
09:56:34 -!- shachaf has joined.
09:56:34 -!- interruptinuse has joined.
09:56:34 -!- shig has joined.
09:56:34 -!- howlands has joined.
09:56:34 -!- FireFly has joined.
09:56:34 -!- BWBellairs has joined.
09:56:34 -!- glowcoil has joined.
09:56:34 -!- mich181189 has joined.
09:56:34 -!- sparr has joined.
09:59:50 -!- iovoid has joined.
09:59:50 -!- APic has joined.
09:59:50 -!- joast has joined.
09:59:50 -!- erdic has joined.
09:59:50 -!- kmc has joined.
09:59:50 -!- LBPHacker has joined.
10:00:22 -!- iovoid has quit (*.net *.split).
10:00:22 -!- APic has quit (*.net *.split).
10:00:23 -!- joast has quit (*.net *.split).
10:00:23 -!- erdic has quit (*.net *.split).
10:00:24 -!- kmc has quit (*.net *.split).
10:00:24 -!- LBPHacker has quit (*.net *.split).
10:00:26 -!- cpressey has quit (*.net *.split).
10:00:26 -!- catern has quit (*.net *.split).
10:00:26 -!- sleepnap has quit (*.net *.split).
10:00:26 -!- heroux has quit (*.net *.split).
10:00:26 -!- moony has quit (*.net *.split).
10:00:27 -!- vertrex- has quit (*.net *.split).
10:00:27 -!- jix has quit (*.net *.split).
10:00:27 -!- GeekDude has quit (*.net *.split).
10:00:28 -!- lifthrasiir_ has quit (*.net *.split).
10:00:28 -!- shinh has quit (*.net *.split).
10:00:28 -!- relrod has quit (*.net *.split).
10:00:28 -!- lambdabot has quit (*.net *.split).
10:00:28 -!- ornxka has quit (*.net *.split).
10:00:28 -!- myname has quit (*.net *.split).
10:00:28 -!- quintopia has quit (*.net *.split).
10:00:29 -!- shachaf has quit (*.net *.split).
10:00:29 -!- djhoulihan has quit (*.net *.split).
10:00:29 -!- shig has quit (*.net *.split).
10:00:30 -!- iczero has quit (*.net *.split).
10:00:30 -!- tromp has quit (*.net *.split).
10:00:30 -!- Soni has quit (*.net *.split).
10:00:30 -!- dingwat has quit (*.net *.split).
10:00:30 -!- mniip has quit (*.net *.split).
10:00:30 -!- ddmm_ has quit (*.net *.split).
10:00:32 -!- imode-ruby has quit (*.net *.split).
10:00:33 -!- rodgort has quit (*.net *.split).
10:00:33 -!- clog has quit (*.net *.split).
10:00:33 -!- dog_star has quit (*.net *.split).
10:00:34 -!- myndzi has quit (*.net *.split).
10:00:35 -!- Lord_of_Life has quit (*.net *.split).
10:00:35 -!- Hooloovo0 has quit (*.net *.split).
10:00:36 -!- sebbu has quit (*.net *.split).
10:00:37 -!- aloril has quit (*.net *.split).
10:00:37 -!- Lykaina has quit (*.net *.split).
10:00:37 -!- laerling has quit (*.net *.split).
10:00:38 -!- j-bot has quit (*.net *.split).
10:00:39 -!- FireFly has quit (*.net *.split).
10:00:39 -!- BWBellairs has quit (*.net *.split).
10:00:40 -!- tswett[m] has quit (*.net *.split).
10:00:41 -!- Deewiant has quit (*.net *.split).
10:00:41 -!- glowcoil has quit (*.net *.split).
10:00:41 -!- mich181189 has quit (*.net *.split).
10:00:42 -!- arseniiv has quit (*.net *.split).
10:00:43 -!- oerjan has quit (*.net *.split).
10:00:43 -!- Vorpal has quit (*.net *.split).
10:00:43 -!- Cale has quit (*.net *.split).
10:00:43 -!- divergence has quit (*.net *.split).
10:00:43 -!- ProofTechnique has quit (*.net *.split).
10:00:43 -!- Taneb has quit (*.net *.split).
10:00:45 -!- wmww has quit (*.net *.split).
10:00:45 -!- shikhin has quit (*.net *.split).
10:00:45 -!- grumble has quit (*.net *.split).
10:00:46 -!- ^[ has quit (*.net *.split).
10:00:46 -!- j4cbo has quit (*.net *.split).
10:00:46 -!- howlands has quit (*.net *.split).
10:00:46 -!- sparr has quit (*.net *.split).
10:00:47 -!- interruptinuse has quit (*.net *.split).
10:01:53 -!- LBPHacker has joined.
10:01:53 -!- kmc has joined.
10:01:53 -!- erdic has joined.
10:01:53 -!- joast has joined.
10:01:53 -!- APic has joined.
10:01:53 -!- iovoid has joined.
10:01:53 -!- arseniiv has joined.
10:01:53 -!- cpressey has joined.
10:01:53 -!- catern has joined.
10:01:53 -!- sleepnap has joined.
10:01:53 -!- heroux has joined.
10:01:53 -!- oerjan has joined.
10:01:53 -!- Lord_of_Life has joined.
10:01:53 -!- iczero has joined.
10:01:53 -!- moony has joined.
10:01:53 -!- tromp has joined.
10:01:53 -!- Hooloovo0 has joined.
10:01:53 -!- Vorpal has joined.
10:01:53 -!- Cale has joined.
10:01:53 -!- vertrex- has joined.
10:01:53 -!- Soni has joined.
10:01:53 -!- divergence has joined.
10:01:53 -!- dingwat has joined.
10:01:53 -!- ProofTechnique has joined.
10:01:53 -!- Taneb has joined.
10:01:53 -!- mniip has joined.
10:01:53 -!- wmww has joined.
10:01:53 -!- tswett[m] has joined.
10:01:53 -!- ddmm_ has joined.
10:01:53 -!- sebbu has joined.
10:01:53 -!- imode-ruby has joined.
10:01:53 -!- jix has joined.
10:01:53 -!- GeekDude has joined.
10:01:53 -!- lifthrasiir_ has joined.
10:01:53 -!- shikhin has joined.
10:01:53 -!- shinh has joined.
10:01:53 -!- aloril has joined.
10:01:53 -!- relrod has joined.
10:01:53 -!- Lykaina has joined.
10:01:53 -!- lambdabot has joined.
10:01:53 -!- laerling has joined.
10:01:53 -!- rodgort has joined.
10:01:53 -!- grumble has joined.
10:01:53 -!- clog has joined.
10:01:53 -!- ^[ has joined.
10:01:53 -!- j4cbo has joined.
10:01:53 -!- dog_star has joined.
10:01:53 -!- djhoulihan has joined.
10:01:53 -!- Deewiant has joined.
10:01:53 -!- ornxka has joined.
10:01:53 -!- j-bot has joined.
10:01:53 -!- myname has joined.
10:01:53 -!- myndzi has joined.
10:01:53 -!- quintopia has joined.
10:01:53 -!- shachaf has joined.
10:01:53 -!- interruptinuse has joined.
10:01:53 -!- shig has joined.
10:01:53 -!- howlands has joined.
10:01:53 -!- FireFly has joined.
10:01:53 -!- BWBellairs has joined.
10:01:53 -!- sparr has joined.
10:01:53 -!- mich181189 has joined.
10:01:53 -!- glowcoil has joined.
10:02:08 -!- Bowserinator has joined.
10:02:08 -!- olsner has joined.
10:02:08 -!- sftp has joined.
10:02:08 -!- kingoffrance has joined.
10:02:08 -!- Sgeo has joined.
10:03:51 -!- diginet has joined.
10:03:51 -!- aji has joined.
10:03:51 -!- fizzie has joined.
10:03:59 -!- int-e has joined.
10:04:24 -!- haavard has joined.
10:04:24 -!- MDude has joined.
10:04:24 -!- Melvar has joined.
10:04:24 -!- nchambers has joined.
10:04:24 -!- stux|away has joined.
10:04:24 -!- sprocklem has joined.
10:04:24 -!- gitlogger has joined.
10:04:24 -!- hakatashi has joined.
10:04:24 -!- subleq has joined.
10:04:24 -!- dnm has joined.
10:05:31 -!- nchambers has quit (Max SendQ exceeded).
10:05:42 -!- nchamber- has joined.
10:08:49 -!- Frater_EST has joined.
10:09:00 -!- Frater_EST has left.
10:10:25 -!- wib_jonas has joined.
10:55:11 -!- tromp has quit (Remote host closed the connection).
11:06:32 -!- tromp has joined.
11:15:16 -!- oerjan has quit (Quit: Nite).
11:36:56 <esowiki> [[Code is eso]] https://esolangs.org/w/index.php?diff=67653&oldid=67626 * DmilkaSTD * (+397)
11:49:12 -!- ais523 has joined.
12:10:09 <esowiki> [[Code is eso]] https://esolangs.org/w/index.php?diff=67654&oldid=67653 * DmilkaSTD * (+9)
12:10:15 <esowiki> [[User:Hex96]] https://esolangs.org/w/index.php?diff=67655&oldid=67649 * A * (+209) Shouldn't it be harder?
12:11:57 <esowiki> [[User:Hex96]] https://esolangs.org/w/index.php?diff=67656&oldid=67655 * A * (+149)
12:12:19 -!- nico_nico has joined.
12:14:04 <esowiki> [[User:Hex96]] https://esolangs.org/w/index.php?diff=67657&oldid=67656 * A * (+85) Add a link to this challenge
12:25:25 <esowiki> [[User:Hex96]] https://esolangs.org/w/index.php?diff=67658&oldid=67657 * A * (+52)
12:34:49 <esowiki> [[User:Hex96]] M https://esolangs.org/w/index.php?diff=67659&oldid=67658 * A * (+490)
12:35:10 <esowiki> [[User:Hex96]] M https://esolangs.org/w/index.php?diff=67660&oldid=67659 * A * (+149) /* Python, 185 bytes */
12:36:24 <esowiki> [[User:Hex96]] M https://esolangs.org/w/index.php?diff=67661&oldid=67660 * A * (-15) /* Python, 185 bytes */
12:57:30 -!- ais523 has quit (Remote host closed the connection).
12:58:22 -!- nico_nico has quit (Quit: WeeChat 2.6).
12:58:42 -!- ais523 has joined.
13:03:11 <ais523> `` cd /tmp; printf "#if u'\\0'-1<0\n#
13:03:13 <HackEso> /hackenv/bin/`: eval: line 5: unexpected EOF while looking for matching `"' \ /hackenv/bin/`: eval: line 6: syntax error: unexpected end of file
13:04:37 <ais523> `` cd /tmp; printf "#include <assert.h>\n#if u'\\0'-1<0\n#error assertion failure\n#endif\nint main(void)\n{\nassert(u'\\0'-1<0);\n}" > t.c; gcc -std=c11 -pedantic t.c; ./a.out;
13:04:39 <HackEso> t.c:2:5: warning: null character(s) preserved in literal \ #if u' '-1<0 \ ^ \ t.c: In function ‘main’: \ t.c:7:8: warning: null character(s) preserved in literal \ assert(u' '-1<0); \ ^
13:04:58 <ais523> `` cd /tmp; printf "#include <assert.h>\n#if u'\\\\0'-1<0\n#error assertion failure\n#endif\nint main(void)\n{\nassert(u'\\\\0'-1<0);\n}" > t.c; gcc -std=c11 -pedantic t.c; ./a.out;
13:07:04 <wib_jonas> yeah, I should make a proper wrapper for testing C snippets
13:08:57 <shachaf> Is there a thing like `! c that supports #include?
13:10:54 <wib_jonas> shachaf: no, that's the wrapper that I should write
13:11:18 <wib_jonas> except for the part where Eelis says that geordi will never support compiling C, only C++
13:12:18 <wib_jonas> I'll have to review the tokenizer rules of C and C++ for that though, to figure out when exactly an apostrophe is part of a numeric literal versus when it's a separator for a character literal
13:18:40 <ais523> wib_jonas: more readable: https://tio.run/##VYy7CgIxEEX7@YqBLXa3iGxqV3/DxmaYJOtATCQPEcRfNwa0sbkcOIfLamNubZDAvhqLK@VsU9ldjjCIwzqelxEValxxgcGmFBN@E4kBHYmvyXYRjDgACQWvJGG6RzEzPAF/8fR3NO/h1dqbnactN3Ui7/vaR0nUlMrFHFjrTjdrKBThDw
13:19:20 <ais523> (this example comes from a defect report against C11, the committee decided it was intended behaviour, but it looks really weird)
13:19:22 <wib_jonas> ais523: ok, but it's not specifically this C program that I care about
13:43:17 <fizzie> `cc #include <assert.h> \n #if u'\0' - 1 < 0 \n #error assertion failure \n #endif \n int main(void) { assert(u'\0' - 1 < 0); }
13:43:43 <fizzie> There's already that one, if you just want gcc -std=c11 with a hard newline support, no automatic nothing.
13:44:20 <wib_jonas> that does look useful, though I may still try to make a custom version
13:44:39 <fizzie> Granted, it's a bit problematic if there's a \n inside a string literal. But you can always work around that, e.g. by making it \x0a or \012 instead.
13:45:02 <fizzie> (I did like ##c's candide, which had a lot of DWIM.)
13:47:23 -!- Lord_of_Life_ has joined.
13:49:17 -!- Lord_of_Life has quit (Ping timeout: 265 seconds).
13:50:13 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
13:56:51 <myname> idea: compiler from a defined tikz-subset to funciton
13:59:40 <wib_jonas> hmm, C++ tokenization is nasty. maybe ais was right about recognizing only the backslash-space
14:01:53 <esowiki> [[Code is eso]] https://esolangs.org/w/index.php?diff=67662&oldid=67654 * DmilkaSTD * (+334)
14:03:30 <wib_jonas> I don't think I could implement C++ tokenization correctly. it looks too complicated.
14:05:21 <esowiki> [[Esomachine]] https://esolangs.org/w/index.php?diff=67663&oldid=67611 * DmilkaSTD * (+24)
14:06:02 <esowiki> [[User:DmilkaSTD]] N https://esolangs.org/w/index.php?oldid=67664 * DmilkaSTD * (+43) Created page with "My esolangs: [[Esomachine]] [[Code is eso]]"
14:06:13 <fizzie> The "add main wrapper but only if it doesn't exist" and "add default include files if no #include directives" features are convenient. candide also did the "add main wrapper around top-level code while still allowing function definitions", but that's more complicated.
14:06:26 <esowiki> [[User:DmilkaSTD]] https://esolangs.org/w/index.php?diff=67665&oldid=67664 * DmilkaSTD * (+8)
14:09:02 -!- sprocklem has quit (Ping timeout: 276 seconds).
14:12:46 -!- kritixilithos has joined.
14:16:22 -!- ais523 has quit (Read error: Connection reset by peer).
14:16:41 -!- kspalaiologos has joined.
14:17:39 -!- ais523 has joined.
14:17:52 -!- ais523 has quit (Client Quit).
14:21:14 <esowiki> [[User:DmilkaSTD]] https://esolangs.org/w/index.php?diff=67666&oldid=67665 * DmilkaSTD * (+107)
14:21:50 <esowiki> [[Code is eso]] https://esolangs.org/w/index.php?diff=67667&oldid=67662 * DmilkaSTD * (+41)
14:22:50 <esowiki> [[Esomachine]] https://esolangs.org/w/index.php?diff=67668&oldid=67663 * DmilkaSTD * (-24)
14:27:19 <esowiki> [[Code is eso]] https://esolangs.org/w/index.php?diff=67669&oldid=67667 * DmilkaSTD * (+38)
14:29:59 <esowiki> [[User:DmilkaSTD]] https://esolangs.org/w/index.php?diff=67670&oldid=67666 * DmilkaSTD * (+56)
14:39:29 <esowiki> [[Esomachine]] https://esolangs.org/w/index.php?diff=67671&oldid=67668 * DmilkaSTD * (+62)
14:40:33 <esowiki> [[Esomachine]] https://esolangs.org/w/index.php?diff=67672&oldid=67671 * DmilkaSTD * (-2)
15:23:09 -!- Sgeo_ has joined.
15:23:39 -!- xkapastel has joined.
15:25:59 -!- sprocklem has joined.
15:26:23 -!- Sgeo has quit (Ping timeout: 250 seconds).
15:29:58 <esowiki> [[Talk:Burn]] https://esolangs.org/w/index.php?diff=67673&oldid=67652 * Hex96 * (+91) /* I think I got the main parts down */
16:09:31 -!- imode has joined.
16:22:59 -!- sprocklem has quit (Ping timeout: 265 seconds).
16:45:13 -!- MDude has quit (Read error: No route to host).
16:46:00 -!- cpressey has quit (Quit: A la prochaine.).
17:03:29 <esowiki> [[H]] M https://esolangs.org/w/index.php?diff=67674&oldid=67461 * Dart * (+114)
17:20:03 -!- wib_jonas has quit (Remote host closed the connection).
17:36:03 -!- sprocklem has joined.
17:48:57 -!- imode has quit (Ping timeout: 250 seconds).
17:56:26 -!- FreeFull has joined.
17:56:52 -!- ArthurStrong has joined.
17:59:18 -!- sprocklem has quit (Ping timeout: 252 seconds).
18:14:48 -!- LKoen has joined.
18:18:38 <esowiki> [[Talk:Burn]] https://esolangs.org/w/index.php?diff=67675&oldid=67673 * Dart * (+1241) /* Random Observations and Guesses */
18:20:28 <esowiki> [[Talk:Burn]] https://esolangs.org/w/index.php?diff=67676&oldid=67675 * Hex96 * (+2)
18:22:00 <esowiki> [[Talk:Burn]] https://esolangs.org/w/index.php?diff=67677&oldid=67676 * Hex96 * (-4) /* Attempted programs */
18:22:32 <esowiki> [[Talk:Burn]] https://esolangs.org/w/index.php?diff=67678&oldid=67677 * Hex96 * (+11)
18:22:34 <esowiki> [[Talk:Burn]] M https://esolangs.org/w/index.php?diff=67679&oldid=67678 * Dart * (+0)
18:22:55 <esowiki> [[Talk:Burn]] https://esolangs.org/w/index.php?diff=67680&oldid=67679 * Hex96 * (-96) /* Attempted programs */
18:27:59 <esowiki> [[User:Hex96]] https://esolangs.org/w/index.php?diff=67681&oldid=67661 * Hex96 * (+30) /* Python, 175 bytes */
18:29:19 <esowiki> [[User:Hex96]] https://esolangs.org/w/index.php?diff=67682&oldid=67681 * Hex96 * (+36)
18:36:05 -!- LKoen has quit (Remote host closed the connection).
18:37:49 -!- LKoen has joined.
18:39:15 -!- arseniiv has quit (Ping timeout: 252 seconds).
18:41:24 -!- LKoen has quit (Remote host closed the connection).
18:44:43 -!- LKoen has joined.
18:45:45 -!- b_jonas has joined.
18:47:22 <esowiki> [[Tttt]] N https://esolangs.org/w/index.php?oldid=67683 * Hex96 * (+737) Created page with "==Intro== ===what is Tttt?== Tttt is a programming language that is so simple that it has 7 characters: 1.) a 2.) b 3.) c All the way to g. ===the data=== The data is kind of..."
18:47:40 <esowiki> [[Tttt]] https://esolangs.org/w/index.php?diff=67684&oldid=67683 * Hex96 * (-1) /* =what is Tttt? */
18:48:30 <esowiki> [[Talk:Tttt]] N https://esolangs.org/w/index.php?oldid=67685 * Hex96 * (+26) Created page with "Ttttt will bee coded soon."
18:49:03 <int-e> fungot: Do you bee code or do you bee funge?
18:49:03 <fungot> int-e: who needs fictive horror stories when we have medicine... http://216.239.59.104/ search?q=cache:ifrvmgi6qmkj:www.cfwf.ca/ farmj/ fnord)
18:49:16 <esowiki> [[Tttt]] https://esolangs.org/w/index.php?diff=67686&oldid=67684 * Hex96 * (+2)
18:50:23 <esowiki> [[User:Hex96]] https://esolangs.org/w/index.php?diff=67687&oldid=67682 * Hex96 * (+9)
18:50:34 <int-e> fungot: That's a deeply unsettling observation.
18:50:34 <fungot> int-e: ( define tolerance 0.000000001) 4
18:54:36 <b_jonas> fizzie: I just checked, if I use the web edit interface on a file in /hackenv/tmp , then when I fetch, it mangles the non-ascii characters in the sense of reencoding it to iso-8859-1 to utf-8, which makes the file longer on each save
18:54:47 <b_jonas> fizzie: this isn't urgent, but could you please fix that?
18:59:50 <HackEso> [U+1D4F MODIFIER LETTER SMALL K]
19:03:59 <b_jonas> int-e: yes, that means it's primarily for IPA-like pronunciation systems, where you suffix random superscripts to a letter to modify it
19:04:36 <b_jonas> or put crazy accents above or below it, including accents that aren't userd for anything but those pronunciation systems
19:04:45 <int-e> So I see. It came up on ##math :-/
19:04:58 <int-e> (used as an exponent)
19:05:19 <int-e> And of course it's rendered as a box here :)
19:17:24 -!- elliemae has quit (Quit: Leaving).
19:21:26 <esowiki> [[Talk:Tttt]] https://esolangs.org/w/index.php?diff=67688&oldid=67685 * Hex96 * (+555)
19:21:48 <esowiki> [[Talk:Tttt]] https://esolangs.org/w/index.php?diff=67689&oldid=67688 * Hex96 * (+0)
19:22:56 <esowiki> [[Talk:Tttt]] https://esolangs.org/w/index.php?diff=67690&oldid=67689 * Hex96 * (+46)
19:24:10 -!- kritixilithos has quit (Quit: quit).
19:25:01 <esowiki> [[Talk:Tttt]] https://esolangs.org/w/index.php?diff=67691&oldid=67690 * Hex96 * (+78)
19:25:15 <esowiki> [[Talk:Tttt]] https://esolangs.org/w/index.php?diff=67692&oldid=67691 * Hex96 * (-1)
19:35:10 <esowiki> [[Joke language list]] https://esolangs.org/w/index.php?diff=67693&oldid=67585 * Hex96 * (+59) /* General languages */
19:36:05 <esowiki> [[User:Hex96]] https://esolangs.org/w/index.php?diff=67694&oldid=67687 * Int-e * (+323) nitfuck brainpicking
19:41:29 -!- MDude has joined.
19:49:24 <esowiki> [[Tttt]] https://esolangs.org/w/index.php?diff=67695&oldid=67686 * Hex96 * (+309)
19:49:57 <esowiki> [[Tttt]] https://esolangs.org/w/index.php?diff=67696&oldid=67695 * Hex96 * (+0) /* Hello, World! */
19:50:19 <esowiki> [[Tttt]] https://esolangs.org/w/index.php?diff=67697&oldid=67696 * Hex96 * (+31) /* Hello, World! */
20:01:59 <esowiki> [[A?!]] https://esolangs.org/w/index.php?diff=67698&oldid=66699 * Dart * (+1330)
20:05:27 <b_jonas> `fetch /hackenv/bin/whatis https://hack.esolangs.org/get/bin/whatis
20:05:28 <HackEso> 2019-12-05 20:05:28 URL:https://hack.esolangs.org/get/bin/whatis [1160/1160] -> "/hackenv/bin/whatis" [1]
20:05:40 <HackEso> WELCOME(1hackeso) - welcome new user to irc channel, if they can't read lowercase letters \ WeLcOmE(1hackeso) - WeLcOmE NeW UsEr tO IrC ChAnNeL \ Welcome(1hackeso) - no description \ wElCoMe(1hackeso) - wElCoMe nEw uSeR To iRc cHaNnEl \ welcome(1hackeso) - welcome new user to irc channel
20:05:44 <HackEso> sed(1) - stream editor for filtering and transforming text \ sed(1p) - stream editor \ sed(1hackeso) - no description
20:05:49 <HackEso> sed(1hackeso) - no description
20:05:52 <HackEso> sed(1) - stream editor for filtering and transforming text
20:05:55 <HackEso> printf(1) - format and print data \ printf(1p) - write formatted output \ printf(3) - formatted output conversion \ printf(3p) - print formatted output \ printf(3glibc) - Formatted Output Functions
20:06:05 <HackEso> printf(1) - format and print data \ printf(3) - formatted output conversion
20:06:10 <HackEso> printf(1p) - write formatted output \ printf(3p) - print formatted output
20:06:12 <HackEso> printf(1) - format and print data
20:06:15 <HackEso> printf(1p) - write formatted output
20:06:26 <HackEso> welcome(1hackeso) - welcome new user to irc channel
20:06:54 <esowiki> [[A?!]] https://esolangs.org/w/index.php?diff=67699&oldid=67698 * Dart * (+59)
20:06:54 <HackEso> PRIVMSG: nothing appropriate.
20:07:01 <b_jonas> whatis now takes a suffix or number category plus suffix in parenthesis after a word, in which case the lookup is restricted to that suffix or category plus suffix, and the search is case sensitive
20:07:16 <b_jonas> int-e: the next step is that I'll make an addwhatis command to add whatis entries
20:07:28 <b_jonas> because we're missing some and don't have a convenient way to add them or edit them
20:07:41 <b_jonas> in particular, we need an entry for whatis(1hackeso)
20:07:54 <HackEso> ?(1hackeso) - print wisdom by name \ ?(8lambdabot) - compose tree of lambdabot commands
20:07:58 <HackEso> ?(1hackeso) - print wisdom by name
20:09:38 <b_jonas> it will also need a switch to remove a whatis entry
20:10:52 <HackEso> WELCOME(1hackeso) - welcome new user to irc channel, if they can't read lowercase letters \ WeLcOmE(1hackeso) - WeLcOmE NeW UsEr tO IrC ChAnNeL \ Welcome(1hackeso) - no description \ wElCoMe(1hackeso) - wElCoMe nEw uSeR To iRc cHaNnEl \ welcome(1hackeso) - welcome new user to irc channel
20:10:56 <HackEso> welcome(1hackeso) - welcome new user to irc channel
20:27:13 <b_jonas> what should be the option letter to delete entries rather than add?
20:28:51 <b_jonas> or should that be an entirely separate executable?
20:31:53 <b_jonas> oh, I could just make it delete a whatis if you only give the name and category with no (space hyphen space body) after
21:01:28 <b_jonas> `fetch /hackenv/bin/addwhatis https://hack.esolangs.org/get/bin/addwhatis
21:01:29 <HackEso> 2019-12-05 21:01:29 URL:https://hack.esolangs.org/get/bin/addwhatis [1814/1814] -> "/hackenv/bin/addwhatis" [1]
21:01:34 <HackEso> whatis(1) - display one-line manual page descriptions
21:02:07 <b_jonas> `addwhatis whatis(1hackeso) - display one-line manual page descriptions
21:02:09 <HackEso> addwhatis? Permission denied
21:02:23 <b_jonas> ``` chmod -c a+x /hackenv/bin/addwhatis
21:02:25 <HackEso> mode of '/hackenv/bin/addwhatis' changed from 0644 (rw-r--r--) to 0755 (rwxr-xr-x)
21:02:29 <b_jonas> `addwhatis whatis(1hackeso) - display one-line manual page descriptions
21:02:31 <HackEso> addwhatis: added 'whatis(1hackeso)'
21:02:35 <HackEso> whatis(1) - display one-line manual page descriptions \ whatis(1hackeso) - display one-line manual page descriptions
21:02:41 <HackEso> whatis(1hackeso) - display one-line manual page descriptions
21:03:13 <b_jonas> `addwhatis addwhatis(1hackeso) - modify the database of one-line manual page descriptions
21:03:16 <HackEso> addwhatis: added 'addwhatis(1hackeso)'
21:03:22 <HackEso> @(1hackeso) - no description \ @(8lambdabot) - compose tree of lambdabot commands
21:03:59 <b_jonas> `addwhatis @(1hackeso) - run a command but address an irc user with the output
21:04:03 <HackEso> addwhatis: replaced '@(1hackeso)'
21:04:13 <HackEso> @wib_jonas? No such file or directory
21:04:16 <HackEso> wib_jonas: @(1hackeso) - run a command but address an irc user with the output \ @(8lambdabot) - compose tree of lambdabot commands
21:05:58 <HackEso> Welcome To The International Hub For Esoteric Programming Language Design And Deployment! For More Information, Check Out Our Wiki: <Https://Esolangs.Org/>. (For The Other Kind Of Esoterica, Try #Esoteric On EFnet Or DALnet.)
21:06:04 <HackEso> WELCOME(1hackeso) - welcome new user to irc channel, if they can't read lowercase letters \ WeLcOmE(1hackeso) - WeLcOmE NeW UsEr tO IrC ChAnNeL \ Welcome(1hackeso) - no description \ wElCoMe(1hackeso) - wElCoMe nEw uSeR To iRc cHaNnEl \ welcome(1hackeso) - welcome new user to irc channel
21:06:22 <b_jonas> `addwhatis Welcome(1hackeso) - Welcome New User To Irc Channel
21:06:24 <HackEso> addwhatis: replaced 'Welcome(1hackeso)'
21:06:34 <fungot> Taneb atriq Ngevd Fiora nortti Sgeo ThatOtherPerson alot
21:06:55 <fungot> ^<lang> <code>; ^def <command> <lang> <code>; ^show [command]; lang=bf/ul, code=text/str:N; ^str 0-9 get/set/add [text]; ^style [style]; ^bool
21:06:57 -!- ArthurStrong has quit (Quit: leaving).
21:06:59 <fungot> echo reverb rev rot13 rev2 fib wc ul cho choo pow2 source help hw srmlebac uenlsbcmra scramble unscramble asc ord prefixes tmp test celebrate wiki chr ha rainbow rainbow2 welcome me tell eval elikoski list ping def a thanks tmp2 8ball rreree rerere botsnack bf quine fdip
21:11:08 <b_jonas> TODO: add non-builtin fungot commands to whatis
21:11:08 <fungot> b_jonas: i rather think ruby succeeds at those and is quite incoherent. with a hard drive a lot. that's why there are so many...?
21:47:31 <HackEso> Ruby is a programming language from Japan, that eventually decided to support non-ascii characters.
21:47:52 <b_jonas> Should that mention that ruby is quite incoherent?
21:51:17 <esowiki> [[Intcode]] N https://esolangs.org/w/index.php?oldid=67700 * JonoCode9374 * (+3065) Created page with "'''Intcode''' is an esoteric programming language created purely to annoy programmers competing in the [https://adventofcode.com/ Advent of Code 2019]. It was featured on days..."
21:52:20 <esowiki> [[Intcode]] https://esolangs.org/w/index.php?diff=67701&oldid=67700 * JonoCode9374 * (-2)
22:46:03 <b_jonas> `addwhatis asmbf(1hackeso) - no description
22:46:10 <HackEso> addwhatis: added 'asmbf(1hackeso)'
22:46:12 <b_jonas> `addwhatis asmbfx(1hackeso) - no description
22:46:15 <HackEso> addwhatis: added 'asmbfx(1hackeso)'
22:46:20 <esowiki> [[Special:Log/newusers]] create * Technical Limitations * New user account
22:46:21 <b_jonas> `addwhatis bfasm(1hackeso) - no description
22:46:23 <HackEso> addwhatis: added 'bfasm(1hackeso)'
22:46:50 <b_jonas> `addwhatis bfi(1hackeso) - no description
22:46:52 <HackEso> addwhatis: added 'bfi(1hackeso)'
23:05:51 <esowiki> [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=67702&oldid=67620 * Technical Limitations * (+247)
23:06:38 <esowiki> [[LISP]] M https://esolangs.org/w/index.php?diff=67703&oldid=67589 * Technical Limitations * (+2) Changed redirect target from [[Lisp]] to [[Lisp2d]]
23:19:05 <esowiki> [[Aargh]] N https://esolangs.org/w/index.php?oldid=67704 * Technical Limitations * (+19) Redirected page to [[Argh!]]
23:29:39 -!- tromp has quit (Ping timeout: 252 seconds).
23:30:24 -!- elliemae has joined.
23:36:32 <fizzie> b_jonas: That's probably fixable, I'm guessing it's just a wrong content-type thing somewhere. I did also look at whether it could be made properly binary-safe, and that seemed harder. Unless I define some sort of encoding for what gets presented in the form form.
23:38:30 <b_jonas> fizzie: for more binary safe, you could an option between utf-8 and iso-8859-1 encoding
23:38:52 <b_jonas> I'm not sure if it would be entirely binary safe, a browser will likely still mangle some things
23:39:52 <b_jonas> in any case, we no longer need to `edit /share/whatis because I added a command for that
23:40:16 <b_jonas> but that's an easy case, because whatises are supposed to be all short lines
23:40:28 <b_jonas> `addwhatis wisdom(5hackeso) - no description
23:40:31 <HackEso> addwhatis: added 'wisdom(5hackeso)'
23:40:33 <b_jonas> `addwhatis tmflry(5hackeso) - no description
23:40:35 <HackEso> addwhatis: added 'tmflry(5hackeso)'
23:40:37 <b_jonas> `addwhatis quotes(5hackeso) - no description
23:40:39 <HackEso> addwhatis: added 'quotes(5hackeso)'
23:40:40 <b_jonas> `addwhatis whatis(5hackeso) - no description
23:40:42 <HackEso> addwhatis: added 'whatis(5hackeso)'
23:43:12 <HackEso> c(1egobot) - no description
23:43:16 <HackEso> brachylog: nothing appropriate.
23:44:32 <b_jonas> `addwhatis brachylog(1egobot) - Brachylog, a Prolog-like golf language
23:44:34 <HackEso> addwhatis: added 'brachylog(1egobot)'
23:46:48 <HackEso> cc(1hackeso) - no description
23:47:27 <b_jonas> that is a rather ugly name, shadowing another standard utility
23:48:51 <b_jonas> `addwhatis t(1hackeso) - run a command with the working directory set to /hackenv
23:48:53 <HackEso> addwhatis: added 't(1hackeso)'
23:56:30 -!- sprocklem has joined.
23:56:41 -!- FreeFull has quit.