←2018-04-13 2018-04-14 2018-04-15→ ↑2018 ↑all
00:00:47 -!- augur has joined.
00:14:07 -!- 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.”).
00:37:07 <shachaf> If f is a partial function : A -> B, defined at some set C ⊆ A, what would you call A and C?
01:16:11 -!- meminemymz has joined.
01:17:06 -!- meminemymz has quit (Remote host closed the connection).
01:34:54 -!- dysfiguredU40Z8E has joined.
01:35:02 -!- sleffy has joined.
01:36:28 -!- dysfiguredU40Z8E has quit (Remote host closed the connection).
01:37:36 -!- stwalkerster49 has joined.
01:39:54 -!- stwalkerster49 has quit (Remote host closed the connection).
01:42:34 -!- blaseqy has joined.
01:43:30 -!- Naergon has joined.
01:43:31 -!- blaseqy has quit (Read error: Connection reset by peer).
01:50:32 -!- imode has joined.
02:01:45 -!- oerjan has joined.
02:07:19 <oerjan> shachaf: extra-channular puns will of course need a reliable reference hth
02:08:36 <shachaf> helloerjan
02:08:52 <shachaf> Let's just leave it as is.
02:08:55 <shachaf> `owrjan
02:08:56 <HackEso> Your omnidryad saddle principal swatty kind "Darth Ook" oerjan the shifty loud hero is a hazy expert in minor compaction. Also a Groadep who minces Roald Dahl. He could never render the word "amortized" so he put it here for connivance. His ark-nemesis is Noah. He twice punned without noticing it.
02:09:14 <shachaf> Are limits idempotent? I.e. is lim_{y -> x} {f(y)} = lim_{y -> x} {lim_{z -> y} {f(z)}}, where the left side is defined?
02:13:08 <alercah> no
02:13:39 <alercah> the left-hand side may be defined without the right-hand side being meaningful because the limit may not exist at surrounding values
02:14:50 <shachaf> Yes, someone gave me a counterexample.
02:17:34 <shachaf> I guess if f only has a limit at one point that's enough of a counterexample.
02:22:34 <alercah> yes
02:36:57 -!- sleffy has quit (Ping timeout: 264 seconds).
02:51:37 -!- bauruinemv has joined.
02:51:48 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 ezagxgn: catern
02:51:48 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 kelksug: augur
02:51:53 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 pralungk: dingbat
02:51:53 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 pumlt: Bowserinator ▄<CTCP>
02:51:58 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 iqovrcqpnc: copumpkin ▄<CTCP>
02:51:58 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 gqrpxeszt: relrod ▄<CTCP>
02:52:03 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 qpdkhn: sprocklem ▄<CTCP>
02:52:03 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 zugfhqvpk: lynn ▄<CTCP>
02:52:08 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 unjpuzbcy: incomprehensibly ▄<CTCP>
02:52:08 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 aovmjmg: incomprehensibly
02:52:13 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 lfqaky: augur ,
02:52:13 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 fjpszxfla: j-bot ▄<CTCP>
02:52:18 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 zzuxgqoqko: grumble ▄<CTCP>
02:52:18 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 ibmgkneme: tromp ▄<CTCP>
02:52:23 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 sofcbzwnm: aloril ▄<CTCP>
02:52:23 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 ggnavwsxwr: sebbu ▄<CTCP>
02:52:28 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 hzmbso: Scrooble ▄<CTCP>
02:52:28 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 pebcizybyq: danieljabailey ▄<CTCP>
02:52:33 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 peywcveeue: aloril ▄<CTCP>
02:52:33 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 srrxvbxau: danieljabailey ▄<CTCP>
02:52:38 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 vxjbqtelh: olsner
02:52:38 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 onnxsffxqt: vertrex ▄<CTCP>
02:52:43 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 eoeskfhl: xa0 ▄<CTCP>
02:52:43 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 uvuqzmcvhz: zzo38 ▄<CTCP>
02:52:48 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 zywaav: lambdabot ▄<CTCP>
02:52:48 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 dmiiydwqu: brandonson
02:52:53 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 ptfnz: mniip ▄<CTCP>
02:52:53 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 tmafpxz: trn
02:52:58 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 ccdaox: olsner ▄<CTCP>
02:52:58 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 miyigkqtd: shachaf
02:53:03 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 ggsgjvdhu: incomprehensibly ▄<CTCP>
02:53:03 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 aslwpe: LeoLambda_ ▄<CTCP>
02:53:08 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 bjmsvhlz: sebbu
02:53:08 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 piuqi: Lymia ▄<CTCP>
02:53:19 <shachaf> `relcome bauruinemv
02:53:20 <HackEso> bauruinemv: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: <http://esolangs.org/>. (For the other kind of esoterica, try #esoteric on EFnet or DALnet.)
02:53:29 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 ifeye: staffehn
02:53:29 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 icgzwg: Lymia ,
02:53:29 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 gqwiegq: Scrooble ▄<CTCP>
02:53:30 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 cnhaxbg: catern ▄<CTCP>
02:53:31 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 ayszp: Bowserinator
02:53:33 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 zrfxo: contrapumpkin
02:53:33 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 ckmncqd: diginet
02:53:34 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 fbhdvcr: sebbu
02:53:34 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 ogzjylai: Elronnd ▄<CTCP>
02:53:37 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 kndltyulf: lynn ▄<CTCP>
02:53:38 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 slmpgrt: xa0 ▄<CTCP>
02:53:39 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 ngfjsie: FreeFull
02:53:52 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 oruchw: uplime ▄<CTCP>
02:53:52 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 ugrxnopcp: Melvar ▄<CTCP>
02:53:52 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 yejqt: aloril ,
02:53:54 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 naquiozpbi: HackEso ▄<CTCP>
02:53:54 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 rtamqugqaw: incomprehensibly
02:53:56 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 sdluymyajf: LeoLambda_
02:53:56 <imode> niiiice.
02:53:58 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 mxwsgahsp: uplime
02:53:59 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 thuxpqx: jix_ ▄<CTCP>
02:54:03 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 cwilwb: impomatic
02:54:03 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 quuieccm: brandonson
02:54:04 <alercah> We need more ops in here.
02:54:08 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 axxnphdmr: sprocklem
02:54:09 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 mkjuxb: augur ,
02:54:14 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 rzqgtdr: Yurume_______
02:54:14 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 aszomf: MDude ,
02:54:23 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 vqyqbgib: olsner ▄<CTCP>
02:54:23 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 uizyaar: Sgeo__ ▄<CTCP>
02:54:24 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 muhtyqdn: oerjan ▄<CTCP>
02:54:25 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 kiatpz: j-bot ▄<CTCP>
02:54:29 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 ohyfmuwwn: imode ▄<CTCP>
02:54:29 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 lhdizjz: incomprehensibly
02:54:34 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 auftzem: lambdabot ▄<CTCP>
02:54:34 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 ihrqy: augur
02:54:39 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 ihipehplcl: lambdabot
02:54:39 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 yvxbjzam: pikhq ▄<CTCP>
02:54:44 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 erdxn: diginet ▄<CTCP>
02:54:44 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 mngvmb: grumble ▄<CTCP>
02:54:49 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 lfqdxc: shikhin ▄<CTCP>
02:54:49 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 cmhvt: mniip ▄<CTCP>
02:54:54 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 dhrcatadeu: shachaf ▄<CTCP>
02:54:54 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 kxdxujpy: pikhq ▄<CTCP>
02:54:59 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 aneqjuzpb: ^v ,
02:54:59 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 iepjt: Bowserinator
02:55:04 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 dlscimj: aloril
02:55:04 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 gyifdvny: sprocklem
02:55:09 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 pwnyfemh: staffehn ▄<CTCP>
02:55:09 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 yjhnndaer: shikhin ▄<CTCP>
02:55:14 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 rkfvwqpe: j-bot ▄<CTCP>
02:55:14 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 sugudtaaro: impomatic
02:55:19 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 ybyjkou: copumpkin
02:55:19 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 wnevwap: Scrooble
02:55:24 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 wcnouc: uplime ▄<CTCP>
02:55:24 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 dhywamds: APic
02:55:29 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 mawcrvdxbx: j-bot
02:55:29 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 kdbuscpxk: imode ▄<CTCP>
02:55:34 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 byftnavue: oerjan ▄<CTCP>
02:55:34 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 qzonlif: oerjan
02:55:39 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 brzgryovpf: APic ▄<CTCP>
02:55:39 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 zalmserhq: contrapumpkin ▄<CTCP>
02:55:39 -!- imyxh has joined.
02:55:44 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 zijesekl: lambdabot ▄<CTCP>
02:55:44 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 rxzwwtpu: j-bot
02:55:48 <imyxh> oh my
02:55:49 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 htqujl: Sgeo__ ▄<CTCP>
02:55:49 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 npzvaub: incomprehensibly ▄<CTCP>
02:55:54 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 pzzydflbnw: uplime
02:55:54 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 zajaca: APic ▄<CTCP>
02:55:59 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 dtewhjuy: olsner
02:55:59 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 ogzxf: puckipedia ▄<CTCP>
02:56:02 -!- violet has joined.
02:56:04 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 fvphv: xa0 ▄<CTCP>
02:56:04 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 qnqcwtfvbx: dingbat ▄<CTCP>
02:56:09 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 nqqtfu: j-bot ,
02:56:09 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 bbpwbhfg: oerjan
02:56:14 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 smlhbfam: danieljabailey ▄<CTCP>
02:56:14 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 fvapn: danieljabailey ▄<CTCP>
02:56:14 -!- violet has left.
02:56:19 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 cxhunikfks: shikhin
02:56:19 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 dpgwaewifc: Elronnd
02:56:24 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 swggpq: imode ▄<CTCP>
02:56:24 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 kczxcgobl: jix_ ▄<CTCP>
02:56:29 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 dkkpogbp: xkapastel ▄<CTCP>
02:56:29 <bauruinemv> L0DE RADIO HOUR IS NOW LIVE!! https://www.youtube.com/watch?v=gz3e0LFXsIw TOPIC: COUNTDOWN TO WORLD WAR 3 CALL 315-505-4666 alulgmbtix: FreeFull
02:56:34 -!- bauruinemv has quit (Quit: bauruinemv).
02:56:41 <imyxh> finally
02:57:36 <MoonyTheDwarf> :V
02:58:08 <shachaf> didn't even acknowledge the relcome
02:58:09 <shachaf> rude
02:58:12 <oerjan> ouch
02:59:19 <imode> okay the guy's actually on the network. his name is l0de. he's cross-channel spamming. and he's advertising his stream.
02:59:26 <MoonyTheDwarf> it suprisingly didn't ping us.
02:59:31 <MoonyTheDwarf> :V
02:59:36 <imode> pinged me.
03:00:44 <oerjan> i got privmsg'es
03:00:57 <oerjan> unfortunately i wasn't looking at the irc window
03:00:59 <xkapastel> there's been a lot of spam on freenode lately jeeze
03:01:03 <xkapastel> is it all the same people?
03:01:20 <xkapastel> looks the same, they always use that stupid coloring
03:01:40 <xkapastel> i guess it could be a script that's been popularized recently
03:07:14 <imode> this is why usenet is still a thing.
03:11:37 -!- imyxh has left.
03:14:32 -!- MoonyTheDwarf has changed nick to Polonium.
03:14:48 -!- Polonium has changed nick to MoonyTheDwarf.
03:16:00 -!- imode has quit (Quit: WeeChat 2.1).
03:17:14 <oerjan> `? `le/rn
03:17:15 <HackEso> le/rn makes creating wisdom entries manually a thing of the past.
03:17:25 <shachaf> that joke is ruined :'(
03:17:26 <oerjan> `le/rn_append le/rn//Usage: `le/[/]rn <key>//<wisdom>
03:17:28 <HackEso> Learned 'le/rn': le/rn makes creating wisdom entries manually a thing of the past. Usage: `le/[/]rn <key>//<wisdom>
03:18:12 <oerjan> itym the joke is a thing of the past hth
03:18:52 <oerjan> `` ls wisdom/*le/*
03:18:53 <HackEso> wisdom/le/arn \ wisdom/le/rn
03:19:10 <oerjan> `? le/arn
03:19:11 <HackEso> lern 2 spel
03:19:20 <shachaf> `dowg le/arn
03:19:21 <oerjan> oky
03:19:21 <HackEso> 6546:2016-01-11 <shachäf> le//rn le/arn//lern 2 spel
03:19:27 <shachaf> `forget le/arn
03:19:29 <HackEso> Forget what?
03:19:45 -!- imode has joined.
03:20:40 -!- sleffy has joined.
03:23:07 <oerjan> `,1 ? welcome.ru
03:23:08 <HackEso> ​/srv/hackeso-code/multibot_cmds/lib/limits: line 5: exec: ,1: not found
03:23:23 <oerjan> hm
03:23:36 <oerjan> `cat bin/,2
03:23:36 <HackEso> nur "$@" |& sport 2
03:23:56 <oerjan> `mkx bin/,1//nur "$@" |& sport
03:23:57 <HackEso> bin/,1
03:24:02 <oerjan> `,1 ? welcome.ru
03:24:04 <HackEso> 1/2:Добро пожаловать в Международный центр по разработке и внедрению языков эзотерического программирования! Для получения дополнительной информации посетите wiki: <http://esolangs.org/>. (Для другого т
03:24:07 <oerjan> `n
03:24:08 <HackEso> 2/2:па эзотеризма попробуйте #esoteric в EFnet или DALnet.)
03:24:36 <oerjan> i don't think having overlong welcomes is a good thing.
03:25:20 <oerjan> and the split utf-8 character isn't exactly helping :/
03:25:52 <oerjan> oh well
03:26:54 <shachaf> oerjan: imo fix the splitting script twh
03:27:02 <oerjan> sounds too complicated
03:27:24 <oerjan> `cat bin/distort
03:27:25 <HackEso> ​#!/usr/bin/env python \ import sys \ N = 350 \ name = sys.argv[1] if len(sys.argv) > 1 else "/dev/stdin" \ with open(name, "r") as f: \ data = ' \\ '.join(f.read().splitlines()) \ s = len(data) \ mw = len(str(2*s/N))-1 \ mw += s > ((N-2)*9-18*mw+1)*((10**mw-1)/9)-mw \ p=0 \ i=1 \ while (p<s): \ lw = N-mw-2-len(`i`) \ print data[p:p+lw] \ i+=1 \ p+=lw
03:27:25 <shachaf> not as complicated as homology hth
03:27:34 <MoonyTheDwarf> replace the splitter with a C program that does a better job. Done.
03:27:47 <oerjan> MoonyTheDwarf: it's already a python program
03:28:00 <oerjan> and it uses math to predict where to split
03:29:34 <oerjan> and HackEso's own cutoffs are more complicated when there's utf-8, i vaguely recall
03:30:38 <oerjan> so the "simple" math wouldn't work.
03:31:00 <MoonyTheDwarf> why not just use a standard per byte splitter, but have the cutoff point rounded down if it's inside a codel? :P
03:31:29 <oerjan> MoonyTheDwarf: the tricky part is that each line contains the number of lines inside it
03:31:36 <oerjan> well one tricky part
03:31:55 <oerjan> so if you round down, you might actually increase the number of lines needed
03:32:05 <oerjan> and have to recalculate everything
03:32:31 <oerjan> especially if the number of lines tips a power of 10
03:32:46 <MoonyTheDwarf> just assume there will be 999 lines or something by default. always reserve that amount of space
03:32:58 <shachaf> `doag bin/distort
03:32:59 <HackEso> 10972:2017-05-29 <oerjän> sled bin/distort//8s,int,str, \ 10971:2017-05-29 <oerjän> revert \ 10970:2017-05-29 <oerjän> sled bin/distort//s,int,str, \ 10969:2017-05-29 <oerjän> sled bin/distort//2s:, math::;8cmw = len(int(2*s/N))-1 \ 10968:2017-05-29 <oerjän> fetch bin/distort https://hackego.esolangs.org/get/bin/distort \ 9929:2016-12-11 <shachäf> sled bin/distort//s\x03330\x03336\x03 \ 8612:2016-06-26 <shachäf> sled bin/distort//s#data = .*#
03:33:23 <shachaf> Did you add that? I think I just did the conservative thing originally.
03:33:39 <oerjan> yes you did
03:34:02 <oerjan> then you asked me to make it perfect :P
03:34:17 <shachaf> and yet it still breaks on utf-8 ndth?
03:35:11 <oerjan> yep. it was way too complicated to handle.
03:35:23 <shachaf> n=now
03:35:29 <oerjan> HackEso uses two different cutoffs, one for characters and one for bytes
03:35:41 <oerjan> iirc
03:36:17 <oerjan> so you may in some cases fit more than 350 bytes if it's utf-8
03:36:17 <shachaf> Another thing you can do is, if there's a newline within a few characters of the ideal cutoff point, cut off at the newline.
03:36:39 <shachaf> Or, in fact, not even within a few characters. Just as long as it doesn't add another chunk.
03:36:43 <oerjan> shachaf: there are no newlines they're all replaced by \ hth
03:36:58 <oerjan> because i didn't want to hide information
03:37:35 <shachaf> But you know where the \s are
03:37:43 <shachaf> You can make them line up with the text.
03:37:58 <oerjan> besides, none of this will change the fact that that welcome.ru is too long to be output by a `welcomeish command
03:38:02 <shachaf> That way when `5 prints 5 quotes in two chunks the quote end will line up with the chunk end (usually).
03:38:13 <shachaf> who cares about welcome
03:38:16 <shachaf> welcome is spam
03:39:22 <shachaf> Also replacing newlines with \ ought to be injective.
03:39:25 * oerjan doesn't want to fix this at least not now.
03:39:47 <shachaf> So you need to escape the string [' ', '\\', ' ']
03:40:10 <oerjan> HackEso already doesn't do that in ordinary output.
03:40:40 <shachaf> I know, but `1 is already better than ``
03:40:45 <shachaf> Might as well make it even better.
03:40:58 <shachaf> I wouldn't mind encoding newlines differently, either.
03:41:48 <shachaf> How many spam-related commands are there?
03:41:57 <shachaf> We pretty much just needd `1 and `n
03:42:05 <shachaf> And maybe distort
03:42:33 <shachaf> All the others can be deleted or implemented in terms of them or something. This naming scheme is absurd.
03:42:38 <esowiki> [[Lost]] https://esolangs.org/w/index.php?diff=54803&oldid=53626 * Ais523 * (+42) see also
03:43:04 <esowiki> [[My Unreliable Past]] https://esolangs.org/w/index.php?diff=54804&oldid=41057 * Ais523 * (+28) see also
03:48:54 <oerjan> shachaf: `2 is nice
03:49:17 <shachaf> `cat bin/2
03:49:17 <HackEso> ​\` "$@" |& sport 2
03:49:44 <oerjan> now to remember to eat...
03:50:06 <shachaf> Wait, did I eat today?
03:50:11 <shachaf> Oh, yes, I did.
04:07:21 -!- augur has quit (Remote host closed the connection).
04:07:53 -!- augur has joined.
04:12:44 -!- augur has quit (Ping timeout: 268 seconds).
04:41:36 <oerjan> `? password
04:41:37 <HackEso> The password of the month is Schizophrenic Lagomorph
04:41:53 <oerjan> `learn The password of the month is way too late to fool anyone.
04:41:55 <HackEso> Relearned 'password': The password of the month is way too late to fool anyone.
04:42:15 <esowiki> [[Bitter]] https://esolangs.org/w/index.php?diff=54805&oldid=54799 * Ais523 * (+702) it's TC
04:46:56 <shachaf> Is the '.' part of the password?
04:54:30 <oerjan> `slwd password//s,.$,,
04:54:31 <HackEso> password//The password of the month is way too late to fool anyone
04:54:35 <oerjan> NOT ANYMORE
04:56:49 <oerjan> <wob_jonas> in English, are there two different verbs of which the present participle form is the same? <-- are you dying to know the answer
05:16:14 -!- imode has quit (Ping timeout: 265 seconds).
05:20:23 <fizzie> By the way, the hackbot internal splitting is UTF-8-aware.
05:20:39 <fizzie> Oh, oerjan mentioned that already.
05:21:18 -!- imode has joined.
05:22:01 <shachaf> fizzie: Maybe you want to fix bin/distort?
05:22:15 <fizzie> Yes, the rule is if the string parses fully as valid UTF-8, it takes the first (now) 460 bytes and re-decodes it as UTF-8 ignoring any invalid bytes (so removing any truncated characters from the end); but if it was already invalid from the get-go, it just takes the first 460 bytes.
05:22:37 <fizzie> Not right now, I have a flight to catch.
05:23:36 <fizzie> https://bitbucket.org/fizzie/hackbot/src/tip/multibot_cmds/PRIVMSG/tr_60.cmd#tr_60.cmd-64 is how it's implemented there.
05:23:46 <fizzie> Except I haven't pushed the new limit I'm using.
05:42:08 <oerjan> `? wisdom.ru
05:42:09 <HackEso> wisdom.ru? ¯\(°​_o)/¯
05:42:13 <oerjan> oops
05:42:18 <oerjan> `? welcome.ru
05:42:19 <HackEso> ​Добро пожаловать в Международный центр по разработке и внедрению языков эзотерического программирования! Для получения дополнительной информации посетите wiki: <http://esolangs.org/>. (Для другого типа эзотеризма попробуйте #esoteric в EFnet или DALnet.)
05:42:30 <oerjan> oh now it worked
05:43:56 <oerjan> oh duh it's just distort that has too low limit now... *sigh*
05:44:35 <oerjan> `` \@ longnickperson \? welcome.ru
05:44:36 <HackEso> longnickperson: Добро пожаловать в Международный центр по разработке и внедрению языков эзотерического программирования! Для получения дополнительной информации посетите wiki: <http://esolangs.org/>. (Для другого типа эзотеризма попробуйте #esoteric в EFnet или DALnet.)
05:51:21 -!- imode has quit (Ping timeout: 264 seconds).
05:55:27 <fizzie> `slwd bin/distort//s/N = 350/N = 460/
05:55:28 <HackEso> Roswbud!
05:55:34 <fizzie> I keep doing that.
05:55:37 <fizzie> `sled bin/distort//s/N = 350/N = 460/
05:55:39 <HackEso> bin/distort//#!/usr/bin/env python \ import sys \ N = 460 \ name = sys.argv[1] if len(sys.argv) > 1 else "/dev/stdin" \ with open(name, "r") as f: \ data = ' \\ '.join(f.read().splitlines()) \ s = len(data) \ mw = len(str(2*s/N))-1 \ mw += s > ((N-2)*9-18*mw+1)*((10**mw-1)/9)-mw \ p=0 \ i=1 \ while (p<s): \ lw = N-mw-2-len(`i`) \ print data[p:p+lw] \ i+=1 \ p+=lw
05:55:49 <fizzie> Doesn't fix the UTF-8 thing, but guess it's better than nothing.
05:57:30 <shachaf> whoa, we gained 110 bytes?!
05:57:31 <shachaf> `5
05:57:33 <HackEso> 1/3:582) <Vorpal> anyway fungot is the only esolang irc bot I know of that doesn't depend on nethack or a similar helper \ 366) <Sgeo> Will anyone be irritated if I tend to disconnect and reconnect a lot? [...] <oerjan> we _almost_ have an established policy that bots will be banned it they do that. which means we might have to administer a turing test to sgeo, and that could get ugly. \ 378) <oklofok> drinks should come in long long pipes that drip liqui
05:57:39 <shachaf> `n
05:57:40 <HackEso> 2/3:d at varying speeds, and you shouldn't just casually taste to them, you should really try to understand what the artist (the canposer?) was trying to convey when making the drink <oklofok> olsner: well you know i'm a genius. anyway i like how food works tho, because it has both the element of composing and choice, it's kind of like an rpg really \ 1153) <Taneb> Last night I had a dream that someone wrote such bad Haskell code he accidentally summoned
05:57:44 <shachaf> `n
05:57:45 <HackEso> 3/3:the Great Old Ones and I had to fix the Haskell code and save the day \ 262) <cpressey> BYE dbc WE'LL BE SURE TO ACCIDENTALLY MENTION YOUR NICK OFTEN
06:01:31 <fizzie> Off we go. ->
06:11:45 -!- fractal has quit (Ping timeout: 264 seconds).
06:32:51 <oerjan> oh i actually did parametrize on N
06:34:57 <oerjan> hm
06:35:28 <oerjan> `` cat share/8ball* | spore
06:35:29 <HackEso> 1/22:It is certain.
06:35:38 <oerjan> hm thought so.
06:36:09 <oerjan> `cat bin/spore
06:36:09 <HackEso> cat "${2:-/dev/stdin}" > /hackenv/tmp/spout; spam "${1-1}"
06:36:35 <oerjan> it's spam that adds the numbers, they're not in the file.
06:38:06 <oerjan> which means it would be harmless to overestimate the number of lines needed...
06:38:45 <shachaf> `5 w
06:38:47 <HackEso> 1/2:modal logic//"modal logic" means "the most common logic" (that is, classical logic). \ `help//`help [<command>] gives HackEgo's default help message, or help for a specific command. Or currently possibly some other wisdom. \  //  is a space, unless you're hackego and don't understand wide characters. \ chaos//chaos? ¯\(° _o)/¯ \ pineapple//Pineapple is a hybrid species descended from a cultivar of spinach and wild ivy, making it a clas
06:38:50 <shachaf> `n
06:38:50 <HackEso> 2/2:s 6 vegetable.
06:39:02 <shachaf> `cwlprits pineapple
06:39:03 <HackEso> shachäf shachäf boil̈y olsnër
06:39:09 <shachaf> `dowg pineapple
06:39:10 <HackEso> 5886:2015-08-04 <shachäf> ` sed -i \'s/ / /\' wisdom/pineapple # thoerjan \ 5885:2015-08-04 <shachäf> ` sed -i \'s/therefore//\' wisdom/pineapple \ 3489:2013-08-27 <boil̈y> learn Pineapple is a hybrid species descended from a cultivar of spinach and wild ivy, therefore making it a class 6 vegetable. \ 3484:2013-08-27 <olsnër> learn Pineapple is a class 6 vegetable.
06:39:32 <shachaf> Hmm, I think the original was best.
06:40:30 <oerjan> i'm sorry but boily is the culinary expert in the channel hth
06:41:41 <oerjan> oh and the overestimate only changes anything if it tips over a power of 10.
06:41:53 <oerjan> which should be fairly rare.
06:43:06 <shachaf> I mean, there are usually 2-3 lines at most.
06:44:09 -!- sleffy has quit (Ping timeout: 256 seconds).
06:44:26 <oerjan> yep
06:45:03 <oerjan> worst case split is if it ends with the last 3 bytes of a 4 byte character
06:45:53 <oerjan> although the logic to check that will be annoying.
06:48:04 <oerjan> anyway ->
06:48:06 -!- oerjan has quit (Quit: Nite).
07:00:00 -!- danil has joined.
07:00:43 <danil> `welcome.ru
07:00:44 <HackEso> ​/srv/hackeso-code/multibot_cmds/lib/limits: line 5: exec: welcome.ru: not found
07:01:00 <danil> `?welcome.ru
07:01:01 <HackEso> ​/srv/hackeso-code/multibot_cmds/lib/limits: line 5: exec: ?welcome.ru: not found
07:01:17 <danil> '? welcome.ru
07:04:13 <danil> ?' welcome.ru
07:04:14 <lambdabot> Maybe you meant: v @ ? .
07:05:00 -!- danil has quit (Quit: Just checking!).
07:06:38 -!- augur has joined.
07:07:33 -!- augur_ has joined.
07:11:11 -!- augur has quit (Ping timeout: 276 seconds).
07:16:38 -!- augur_ has quit (Remote host closed the connection).
07:17:34 -!- augur has joined.
07:19:50 -!- erkin has joined.
07:22:05 -!- SopaXorzTaker has joined.
07:23:31 -!- augur has quit (Ping timeout: 245 seconds).
07:27:39 -!- danil has joined.
07:28:10 <danil> `8ball
07:28:11 <HackEso> My sources say no.
07:28:30 <danil> `8ball any on online
07:28:30 <HackEso> It is certain.
07:28:45 <danil> It is decidedly so
07:38:16 <danil> fungot
07:38:17 <fungot> danil: frustration and stress. :p don't think that sliced bread is that big?'
07:50:51 -!- fractal has joined.
07:52:26 -!- AnotherTest has joined.
07:54:38 -!- erkin has quit (Quit: Ouch! Got SIGIRL, dying...).
08:21:13 -!- variable has joined.
08:22:53 -!- AnotherTest has quit (Ping timeout: 260 seconds).
08:30:57 -!- brandonson has quit (Ping timeout: 264 seconds).
08:32:08 -!- brandonson has joined.
08:57:18 -!- danil has quit (Quit: danil).
08:58:02 -!- danil has joined.
08:58:41 -!- xkapastel has quit (Quit: Connection closed for inactivity).
09:04:09 -!- AnotherTest has joined.
09:20:14 <danil> ^ul (123)^S
09:20:15 <fungot> ...bad insn!
09:20:58 <danil> ^ul (123)^(13)S
09:20:58 <fungot> ...bad insn!
09:23:10 <danil> ^ul :*
09:23:10 <fungot> ...out of stack!
09:23:19 <danil> ^ul (:*)S
09:23:19 <fungot> :*
09:33:26 -!- AnotherTest has quit (Ping timeout: 255 seconds).
09:44:21 -!- danil has quit (Quit: danil).
09:51:29 -!- wob_jonas has joined.
09:54:05 <wob_jonas> oerjan: I checked that. the standard present p-les are die => dying, dye => dyeing. I think the latter is deliberately adjusted because "die" is such a common verb.
09:58:58 -!- danil has joined.
10:15:04 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client).
10:22:13 -!- danil has quit (Quit: danil).
10:23:10 -!- danil has joined.
10:23:17 -!- danil has quit (Client Quit).
10:28:11 -!- danil has joined.
10:30:34 <danil> What is Kiwi IRC?
10:34:00 <esowiki> [[Special:Log/newusers]] create * YamTokWae * New user account
10:38:20 <esowiki> [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=54806&oldid=54778 * YamTokWae * (+218) Introduction of Myself
10:39:55 -!- variable has quit (Quit: /dev/null is full).
10:41:47 <esowiki> [[User:YamTokWae]] N https://esolangs.org/w/index.php?oldid=54807 * YamTokWae * (+38) Created page with "I am '''YamTokWae'''. I live in Japan."
10:51:47 <esowiki> [[User:YamTokWae/Sandbox]] N https://esolangs.org/w/index.php?oldid=54808 * YamTokWae * (+599) Created page with "{{infobox proglang |name=Pxem |paradigms=procedural, imperative |author=[[User:GermanyBoy]] |year=[[:Category:2014|2014]] |typesys=static, strong |memsys=variable-based |dimen..."
10:54:24 -!- danil has quit (Quit: danil).
10:55:40 <esowiki> [[User:YamTokWae/Sandbox]] https://esolangs.org/w/index.php?diff=54809&oldid=54808 * YamTokWae * (-66)
11:08:57 -!- wob_jonas has joined.
11:09:47 <wob_jonas> danil: it's a web-based irc client. the interface runs in a web browser with javascript, but there's a backing server that does the actual connection to the irc server. kiwi irc is at https://kiwiirc.com/ ,
11:10:44 <wob_jonas> danil: and you can use https://kiwiirc.com/client/chat.freenode.net/#esoteric to connect right to this channel
11:13:07 <wob_jonas> danil: another web-based irc client is qwebirc at http://webchat.freenode.net/
11:15:17 <wob_jonas> `? kiwi
11:15:18 <HackEso> kiwi? ¯\(°​_o)/¯
11:18:46 -!- danil has joined.
11:31:12 <esowiki> [[Muddle]] N https://esolangs.org/w/index.php?oldid=54810 * Singingbanana * (+1491) Created page with "{{infobox proglang |name=Muddle |paradigms="Tape-based" |author=[[User:Singingbanana]] |year=[[:Category:2018|2018]] |class=:Category:Unknown computational class|Unknown com..."
11:40:25 -!- idris-bot has joined.
11:52:29 -!- danil has quit (Quit: danil).
11:59:38 -!- danil has joined.
12:07:43 <esowiki> [[Muddle]] https://esolangs.org/w/index.php?diff=54811&oldid=54810 * Singingbanana * (+802)
12:10:01 <esowiki> [[Muddle]] https://esolangs.org/w/index.php?diff=54812&oldid=54811 * Singingbanana * (+59)
12:12:40 -!- danil has quit (Quit: danil).
12:20:36 <esowiki> [[Talk:Language list]] https://esolangs.org/w/index.php?diff=54813&oldid=54796 * Kamish * (+101) /* How to create a page? */
12:22:09 <esowiki> [[User:Kamish]] https://esolangs.org/w/index.php?diff=54814&oldid=54794 * Kamish * (-1092)
12:23:04 <esowiki> [[Language list]] https://esolangs.org/w/index.php?diff=54815&oldid=54783 * Kamish * (-12) /* R */
12:23:22 <esowiki> [[RANDo]] N https://esolangs.org/w/index.php?oldid=54816 * Kamish * (+1086) Created page with "=== RANDo === <gallery> rando.png|Logo </gallery> <hr> === Commands === Consists of '''5''' commands: {| class="wikitable" |- ! Command !! Value |- | r || adds random values t..."
12:27:06 -!- danil has joined.
12:28:02 <esowiki> [[Muddle]] https://esolangs.org/w/index.php?diff=54817&oldid=54812 * Singingbanana * (+25)
12:35:16 -!- danil has quit (Quit: danil).
12:35:47 -!- tromp has quit (Remote host closed the connection).
12:40:56 -!- danil has joined.
12:41:51 -!- tromp has joined.
12:45:05 -!- danil has quit (Ping timeout: 240 seconds).
12:45:41 -!- danil has joined.
12:46:40 -!- danil has quit (Client Quit).
12:47:11 -!- danil has joined.
12:49:39 -!- danil has quit (Client Quit).
13:08:22 -!- SopaXorzTaker has quit (Remote host closed the connection).
13:17:11 -!- SopaXorzTaker has joined.
13:20:06 -!- AnotherTest has joined.
13:24:57 -!- AnotherTest has quit (Ping timeout: 264 seconds).
13:35:04 -!- SopaXorzTaker has quit (Remote host closed the connection).
13:37:33 -!- AnotherTest has joined.
13:41:04 <esowiki> [[Polyglot]] https://esolangs.org/w/index.php?diff=54818&oldid=52538 * ZM * (+2) Status update for the polyglot chain
13:49:33 -!- AnotherTest has quit (Ping timeout: 264 seconds).
13:50:12 -!- SopaXorzTaker has joined.
14:10:07 -!- tromp has quit (Remote host closed the connection).
14:12:09 -!- SopaXorzTaker has quit (Remote host closed the connection).
14:21:10 -!- xkapastel has joined.
14:24:53 -!- 18WAAQLOQ has joined.
14:43:12 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client).
15:22:24 -!- wob_jonas has joined.
15:22:52 <wob_jonas> `grep -ERsi rdinal wisdom
15:22:53 <HackEso> grep: invalid option -- ' ' \ Usage: grep [OPTION]... PATTERN [FILE]... \ Try 'grep --help' for more information.
15:22:58 <wob_jonas> ``` grep -ERsi rdinal wisdom
15:22:59 <HackEso> wisdom/pope:The pope is elected by a committee where every cardinal is invited. Luckily only a set of them show up. \ wisdom/dth:dth is the dth ordinal. dth?
15:24:00 <wob_jonas> ``` allquotes | grep -Esi rdinal
15:24:01 <HackEso> 945) <Bike> i've always wanted to xor swap transfinite ordinals
15:24:59 <wob_jonas> Hmm. None of these warn you that it's important not to confuse cardinal exponentiation with ordinal exponentiation.
15:25:35 <wob_jonas> maybe there's something in there about product measures at least?
15:25:44 <wob_jonas> ``` grep -ERsi measur wisdom
15:25:45 <HackEso> wisdom/nnection:Nnections are measured in millibytes per siemens. \ wisdom/alpha:Alpha is the numeric measurement of opaqueness, a dog with unusually high voice in the Disney-Pixar Up film, and a NATO phonetic alphabet letteral. \ wisdom/indentity function:Indentity function is the function that measures how indented source code is. \ wisdom/mole:Mole is an SI unit for measuring large numbers of burrowing teeth. \ wisdom/haar measure:A Haar measure is what
15:25:52 <wob_jonas> `1 grep -ERsi measur wisdom
15:25:53 <HackEso> 1/2:wisdom/nnection:Nnections are measured in millibytes per siemens. \ wisdom/alpha:Alpha is the numeric measurement of opaqueness, a dog with unusually high voice in the Disney-Pixar Up film, and a NATO phonetic alphabet letteral. \ wisdom/indentity function:Indentity function is the function that measures how indented source code is. \ wisdom/mole:Mole is an SI unit for measuring large numbers of burrowing teeth. \ wisdom/haar measure:A Haar measure is
15:26:18 <wob_jonas> `spam
15:26:19 <HackEso> 2/2:what Dutch people use to find out how long their hair is. \ wisdom/mapole:A mapole is a thwackamacallit built from maple according to Canadian standards. The army version includes a spork, a corkscrew and a moose whistle. A regulatory mapole measures 6’ by 12 kg, ±0.5 inHg.
15:26:54 <wob_jonas> ``` allquotes | grep -i measur | sport
15:26:55 <HackEso> 1/2:600) <twice11> Yeah, statistics with 2 data points is science. Statistics with one data point is crap. <twice11> You measure a third point if you need an error estimate. \ 663) <NihilistDandy> Benchmarks are only a good measure of surprise \ 692) <elliott> aaaaah my scherzo is unmeasurable \ 1177) <int-e> like good old time, with elbow and foot lengths of the king. <Slereah_> man that must have sucked <Slereah_> People would be always like "Hey king
15:27:19 <wob_jonas> `n
15:27:19 <HackEso> 2/2:, can you drop by, I have stuff to measure" <Jafet> That's why they're called rulers, you know
15:28:12 <wob_jonas> that would have especially sucked while the king was still a small child and his body was growing
15:29:54 <wob_jonas> zzo38: by the way, if you don't yet, you should know about Simon Tatham's Portable Puzzle Collection https://www.chiark.greenend.org.uk/~sgtatham/puzzles/
15:56:36 -!- 18WAAQLOQ has quit (Remote host closed the connection).
15:57:25 -!- tromp has joined.
16:03:19 -!- AnotherTest has joined.
16:11:51 <wob_jonas> `? youtube
16:11:52 <HackEso> youtube? ¯\(°​_o)/¯
16:17:49 <wob_jonas> `? facebook
16:17:50 <HackEso> Facebook is Taneb's face collection.
16:17:53 <wob_jonas> `? twitter
16:17:54 <HackEso> Twitter is Taneb's bird collection (presumably).
16:18:51 <wob_jonas> ``` grep -Rsi collection wisdom
16:18:52 <HackEso> wisdom/java:Java is a programming-language shaped collection of misfeatures. \ wisdom/inventory:An inventory is a collection of inventions. \ wisdom/twitter:Twitter is Taneb's bird collection (presumably). \ wisdom/phenomenom:A phenomenom is a name given to a phenomenon. The collection of them is called "phenomenomenclature". \ wisdom/facebook:Facebook is Taneb's face collection.
16:19:02 <wob_jonas> ``` grep -Rsi collection wisdom | sport
16:19:03 <HackEso> 1/1:wisdom/java:Java is a programming-language shaped collection of misfeatures. \ wisdom/inventory:An inventory is a collection of inventions. \ wisdom/twitter:Twitter is Taneb's bird collection (presumably). \ wisdom/phenomenom:A phenomenom is a name given to a phenomenon. The collection of them is called "phenomenomenclature". \ wisdom/facebook:Facebook is Taneb's face collection.
16:19:35 <wob_jonas> `n
16:19:36 <HackEso> 1/1:wisdom/java:Java is a programming-language shaped collection of misfeatures. \ wisdom/inventory:An inventory is a collection of inventions. \ wisdom/twitter:Twitter is Taneb's bird collection (presumably). \ wisdom/phenomenom:A phenomenom is a name given to a phenomenon. The collection of them is called "phenomenomenclature". \ wisdom/facebook:Facebook is Taneb's face collection.
16:20:09 <int-e> `` rm wisdom/{twitter,facebook}
16:20:10 <HackEso> No output.
16:20:54 <wob_jonas> ``` grep -Rlsi "Taneb's" wisdom
16:20:55 <HackEso> wisdom/eyebrow \ wisdom/styrofoam \ wisdom/boxmodel
16:20:58 <wob_jonas> `? eyebrow
16:20:59 <HackEso> Eyebrows are Taneb's most notable feature.
16:21:02 <wob_jonas> `? styrofoam
16:21:03 <HackEso> styrofoam is Taneb's only weakness.
16:21:04 <wob_jonas> `? boxmodel
16:21:05 <HackEso> boxmodel is how we figure out how big Taneb's cage is going to be.
16:38:56 <wob_jonas> ``` grep -Rsi -machine wisdom
16:38:57 <HackEso> grep: invalid max count
16:39:06 <wob_jonas> ``` grep -ERsi -e -machine wisdom
16:39:07 <HackEso> No output.
16:39:29 <wob_jonas> ``` grep -ERsi "[^ ]less" wisdom
16:39:30 <HackEso> wisdom/hfs:You have discovered an eerie cavern. The air above the dark stone floor is alive with vortices of purple light and dark, boiling clouds. Seemingly bottomless pits mark the surface. \ wisdom/nundrum:A nundrum is the categorical dual of a conundrum: a problem whose solution is useless. \ wisdom/pico:pico is the useless twin of nano. \ wisdom/insanity:Unless you are boily, you are just imagining this wisdom entry. \ wisdom/boring:Boring means o
16:57:57 -!- imode has joined.
16:59:09 -!- sleffy has joined.
17:09:58 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client).
17:31:30 -!- impomatic has quit (Ping timeout: 246 seconds).
17:31:32 -!- variable has joined.
17:34:08 -!- AnotherTest has quit (Ping timeout: 260 seconds).
17:36:46 -!- augur has joined.
17:40:57 -!- augur has quit (Ping timeout: 240 seconds).
17:45:25 -!- augur has joined.
17:49:35 -!- augur has quit (Ping timeout: 240 seconds).
17:55:26 -!- tromp has quit (Remote host closed the connection).
17:58:09 -!- augur has joined.
18:01:28 -!- AnotherTest has joined.
18:02:45 -!- augur has quit (Ping timeout: 264 seconds).
18:03:08 -!- augur has joined.
18:07:58 -!- augur has quit (Ping timeout: 260 seconds).
18:10:23 -!- augur has joined.
18:14:38 -!- augur has quit (Read error: Connection reset by peer).
18:21:43 -!- AnotherTest has quit (Ping timeout: 256 seconds).
18:23:20 -!- augur has joined.
18:27:50 -!- augur has quit (Ping timeout: 256 seconds).
18:29:18 -!- augur has joined.
18:31:20 -!- tromp has joined.
18:33:44 -!- augur has quit (Ping timeout: 265 seconds).
18:42:21 -!- imode has quit (Ping timeout: 264 seconds).
18:48:00 -!- tromp has quit (Remote host closed the connection).
18:48:22 -!- tromp has joined.
18:51:58 -!- augur has joined.
18:55:24 -!- augur has quit (Read error: Connection reset by peer).
18:55:39 -!- imode has joined.
19:01:19 -!- wob_jonas has joined.
19:05:59 -!- tromp has quit (Remote host closed the connection).
19:07:28 -!- variable has quit (Quit: /dev/null is full).
19:12:05 -!- variable has joined.
19:30:41 -!- tromp has joined.
20:03:48 -!- hppavilion[1] has joined.
20:09:48 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client).
20:15:27 -!- Naergon has quit (Ping timeout: 240 seconds).
20:27:04 -!- imode has quit (Ping timeout: 268 seconds).
20:34:57 -!- grumblr has joined.
20:35:59 -!- grumble has quit (Quit: there ain't no second chance against the thing with forty eyes).
20:36:50 -!- grumblr has changed nick to grumble.
20:37:17 -!- AnotherTest has joined.
20:37:57 -!- relrod has quit (Quit: .).
20:38:00 -!- hppavilion[1] has quit (Quit: HRII'FHALMA MNAHN'K'YARNAK NGAH NILGH'RI'BTHNKNYTH).
20:39:30 -!- Sgeo_ has joined.
20:41:52 -!- Sgeo__ has quit (Ping timeout: 268 seconds).
20:43:35 -!- erkin has joined.
20:43:48 -!- relrod has joined.
20:43:50 -!- relrod has quit (Changing host).
20:43:50 -!- relrod has joined.
21:19:46 -!- sprocklem has quit (Ping timeout: 245 seconds).
21:22:06 -!- sprocklem has joined.
21:23:23 -!- sleffy has quit (Ping timeout: 265 seconds).
22:04:20 -!- tromp has quit (Remote host closed the connection).
22:32:49 -!- erkin has quit (Quit: Ouch! Got SIGIRL, dying...).
22:47:29 -!- AnotherTest has quit (Ping timeout: 265 seconds).
22:55:50 -!- tromp has joined.
23:00:57 -!- tromp has quit (Ping timeout: 264 seconds).
23:17:04 -!- imode has joined.
23:24:09 -!- sprocklem has quit (Ping timeout: 260 seconds).
23:26:04 -!- sprocklem has joined.
23:50:27 -!- tromp has joined.
23:55:09 -!- tromp has quit (Ping timeout: 265 seconds).
←2018-04-13 2018-04-14 2018-04-15→ ↑2018 ↑all