00:05:03 @ask int-e could you please be there at the moment? 00:05:03 Consider it noted. 00:15:36 helloily 00:16:44 I managed to shave 30 bytes off the Purple Hello, World! 00:17:24 `? metar 00:17:41 metar? ¯\(°​_o)/¯ 00:17:49 `? oerjan 00:17:50 `? @metar 00:17:50 Your famous mysterious evil overlord oerjan is a lazy expert in future computation. Also an antediluvian Norwegian who hates Roald Dahl. He can never remember the word "amortized" so he put it here for convenience. His arch-nemesis is Betty Crocker. 00:17:51 ​@metar? ¯\(°​_o)/¯ 00:18:22 `learn metar is a service that allows nerds to talk about the weather. 00:18:23 you can never remember the word amortized? really? 00:18:27 Learned 'metar': metar is a service that allows nerds to talk about the weather. 00:18:31 Hates Roald Dahl?! 00:18:35 quintopia: almost never 00:18:44 haavard: that's a rumor spread by shachaf hth 00:18:58 I can't believe you hate Roald Dahl. 00:19:08 mostly after he went around doing s/dal/dahl/ on half the stuff in haavard 00:19:09 er 00:19:15 *HackEgo 00:19:16 oerjan: but it pretty much means exactly what you would think it would mean based on its roots in a given context... 00:19:39 Rijndahl 00:20:15 quintopia: i'm really not sure what the roots are. a(b) + mort- ? so, from death? makes no sense to me. 00:20:44 a(d) + mort: to death, until death, until the end 00:21:05 QUINTHELLOPIA! may the Shavings be Prosperous! 00:21:08 quintopia: anyway, the problem isn't remembering what it means, but the word itself hth 00:22:36 oerjan: anytime you find yourself wondering "what's that word that means averaging the number of steps over the program's entire run over this list, until the list is dead..." you'll just think "I'll just put together the latin roots for "to death" and use that. and you'll be right. 00:22:54 ...i butchered the quotes there 00:23:05 boily: what dost thou? 00:23:29 <\oren\> I just got Battalion wars II. I'm marveling at their idiotic attempt to make the "Solar Empire" look like China when it's clearly Japan. 00:25:14 <\oren\> they have characters named "Lei-Qo" and "A-Qira" which are obviously the common Japanese names "Reiko" and "Akira" disguised with hyphens and Q's. A Q in chinese pinyin is pronounced kinda like "ch" you idiots. 00:25:45 quintopia: it shouldn't be a(d), when the d is lost that duplicates the following consonant 00:26:01 now to actually look it up 00:26:21 oerjan: then you could read it as a + mort: "by death"...e.g. by the time it dies 00:26:28 darn i'm wrong, it got garble by going via french 00:26:32 *garbled 00:27:01 quintopia: trying to identify an unknown pen I have: https://www.reddit.com/r/fountainpens/comments/40dzp3/help_identifying_an_unknown_pen/ 00:27:48 (also, listening to Japanese math-prog-space-rock with birds on album covers.) 00:27:58 oerjan: etymologically the CS meaning derives from the financial meaning: "to extinguish a debt", referring to the "time debt" an expensive op accrues 00:28:17 I must know about this band 00:29:39 \oren\: no real asians were harmed during the production of this game hth 00:30:19 https://www.youtube.com/watch?v=Tci6tGwZ8n4 00:30:59 i have to click a link? can't you just name the band? 00:31:18 "About Tess" is the band. that link points to their second album. 00:32:02 found it on spotify 00:32:11 that is some guitaring 00:37:17 [wiki] [[Kai]] https://esolangs.org/w/index.php?diff=46141&oldid=46138 * Oerjan * (+71) bold, Wayback 00:37:46 okay, i was getting worried about your description, but the rhythms just got complicated enough to qualify as mathcore 00:38:04 hello 00:38:10 vanhelloa. 00:38:19 hows it going 00:38:34 my ears are rhythmed. 00:38:50 i will too 00:39:08 I tried listening to Oneohtrix Point Never but it sucked 00:51:25 -!- copumpkin has joined. 01:00:54 -!- XorSwap has joined. 01:03:05 Hm... 01:03:06 Perhaps 01:03:10 A stack-based language 01:03:17 Where the stack is made of categories 01:03:26 Does that make any sense in the slightest? 01:03:36 Both computationally and logically? 01:05:55 -!- vanila has left ("Leaving"). 01:06:31 I didn't think esolangs had to make sense 01:07:34 haavard: They have to be logical within the realm of reality 01:07:55 hppavellon[1]. you lack vision hth 01:08:09 haavard: You can't have a serious esolang (yes, I just used that phrase) that has the h instruction, which takes a program and tells whether it will halt 01:08:26 boily: I use the word "logical" broadly 01:08:34 As well as "reality" 01:08:41 And "withing" 01:08:44 And "have" 01:10:33 ah, fsvo! 01:14:49 So my idea for The Ultimate Language 01:15:21 Instead of just one language, a massive barrage of DSLs and well-developed single-paradigm languages that you glue together, as opposed to a bajillion features in one language 01:15:34 bash 01:15:54 izabera: Sure. bash. 01:23:03 -!- copumpkin has quit (Excess Flood). 01:24:31 -!- copumpkin has joined. 01:28:29 Yes you can put many program together by use of shell scripts, I design programs to work in that way so that it can be use in that way (whether script or interactively) 01:29:37 -!- copumpkin has quit (Max SendQ exceeded). 01:30:34 -!- copumpkin has joined. 01:32:34 o/ 01:51:44 -!- boily has quit (Quit: INTERFERING CHICKEN). 01:52:26 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 01:55:27 -!- hppavilion[1] has quit (Ping timeout: 265 seconds). 02:03:04 -!- hppavilion[1] has joined. 02:03:34 So is the concept of a category theory-based programming language at all rational? 02:11:54 If I want to actually implement Set Language, or a derivative thereof, for my earlier-mentioned language conglomerate 02:11:58 How should I go about it? 02:15:52 -!- XorSwap has quit (Quit: Leaving). 02:17:55 bc is turing complete, right? 02:18:33 yes 02:19:57 ...how? 02:20:48 if + while 02:22:01 it has those? 02:22:02 TIL 02:22:14 it also has a man page 02:23:56 *mumble* *mumble* needs unbounded memory *mumble* 02:24:26 it's a fixed precision calculator 02:24:41 Think I figured it out 02:25:28 oerjan: I think we've settled on "it's Turing-Complete if it would be if it had unbounded memory" as a slangy definition 02:26:02 -!- copumpkin has quit (Ping timeout: 272 seconds). 02:26:26 hppavilion[1]: heresy! also bc may have unbounded integers, so it should be fine. 02:29:48 -!- izabera has changed nick to pragma-sucks. 02:29:56 -!- pragma-sucks has changed nick to izabera. 02:30:41 so you're more of an idealist? 02:33:28 -!- copumpkin has joined. 02:33:44 oerjan: No, I'm going by slang 02:33:49 The language we use in the programmer hood 02:33:57 You know, where GOTO lives 02:34:58 Ugh 02:35:23 * Elronnd points and curses at at the GOTO 02:35:24 I'm implementing Set Language and am stuck at testing if a set is a member of another set 02:35:33 Well, not in general 02:35:52 Testing if a set represents e.g. a natural 02:36:01 * oerjan considers hppavilion[1] harmful 02:37:09 Unarmed programmers regularly get shot and killed by cops here in da programming hood 02:37:12 does Set Language have infinite sets? if so it's probably undecidable. 02:37:17 * hppavilion[1] is not racist 02:37:30 oerjan: It does, but a finite number of them 02:37:33 AFAICT 02:37:40 So I can just special-case them 02:37:44 "am not racist" <-- self-refuting statement 02:37:45 Which is pretty much the only option 02:37:49 er, verb phrase 02:38:06 oerjan: No, it's only self-refuting if postfixed with "but, " 02:38:11 s/, // 02:38:48 hppavilion[1]: i'm pretty sure your usage is a simple grammatical inversion hth 02:39:06 oerjan: Huh? 02:39:16 * hppavilion[1] is not linguist 02:39:19 hppavilion[1]: you just said the part after the but first hth 02:39:38 also i may not even have used the right word 02:39:50 oerjan: No, it's "I'm not racist, but..." that triggers the alarms 02:40:03 "..., but I'm not racist" is OK 02:40:09 LIFE SKILLZ 02:41:23 -!- copumpkin has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz…). 02:41:45 -!- Sprocklem has joined. 02:41:55 istr that zermelo-fraenkel minus infinite sets is equivalent to peano arithmetic or thereabouts 02:42:08 i'm not racist but https://www.youtube.com/watch?v=vrmgwK5oPFM 02:42:16 can't find a version without hardsubs 02:42:21 i.e. you can simulate finite sets with peano arithmetic 02:42:48 * hereditarily finite 02:44:28 `` sed -i 's/hates/mildly dislikes/' wisdom/oerjan 02:44:35 No output. 02:45:26 -!- heroux has quit (Ping timeout: 276 seconds). 02:46:13 `` rgrep -l dal wisdom 02:46:14 wisdom/monoidal category \ wisdom/welcome.eo \ wisdom/indexed monad \ wisdom/siberia \ wisdom/welcome.fi \ wisdom/selamlar \ wisdom/wercome \ wisdom/m–rdalsjökull \ wisdom/ 02:46:41 `? m–rdalsjökull 02:46:43 M–rdalsjökull is a draconic volcano harbouring the secret KATL base. 02:47:30 -!- heroux has joined. 02:54:12 `? oerjan 02:54:13 Your famous mysterious evil overlord oerjan is a lazy expert in future computation. Also an antediluvian Norwegian who mildly dislikes Roald Dahl. He can never remember the word "amortized" so he put it here for convenience. His arch-nemesis is Betty Crocker. 02:54:20 `? Elronnd 02:54:24 Elronnd ... 02:54:37 what should I define myself as 02:54:57 `learn Elronnd desperately wants this entry to say something. 02:55:01 Learned 'elronnd': Elronnd desperately wants this entry to say something. 02:55:07 hth 02:55:26 my entry already said something 02:55:33 it said "..." 02:55:49 yes, and that was due to an act of despair hth 02:56:08 that abbreviation is overused, hth 02:56:11 `culprits oerjan 02:56:16 shachaf shachaf oerjan izabera oerjan Roujo oerjan Roujo oerjan Roujo Roujo Roujo Roujo Roujo 02:56:17 oops 02:56:23 `culprits wisdom/oerjan 02:56:27 shachaf shachaf oerjan shachaf oerjan shachaf oerjan elliott Bike FreeFull shachaf shachaf ais523 ais523 elliott FreeFull oerjan FreeFull oerjan FreeFull shachaf shachaf shachaf nitia 02:56:30 `? HackEgo 02:56:32 HackEgo, also known as HackBot, is a bot that runs arbitrary commands on Unix. See `help for info on using it. You should totally try to hax0r it! Make sure you imagine it's running as root with no sandboxing. 02:56:41 nitia again 02:56:45 `help 02:56:45 Runs arbitrary code in GNU/Linux. Type "`", or "`run " for full shell commands. "`fetch " downloads files. Files saved to $PWD are persistent, and $PWD/bin is in $PATH. $PWD is a mercurial repository, "`revert " can be used to revert to a revision. See http://codu.org/projects/hackbot/fshg/ 02:58:57 `ls bin 02:59:00 ​` \ `` \ ^.^ \ ̊ \ ! \ ? \ ¿ \ ' \ @ \ * \ ؟ \ \ \ \ 1492 \ 2014 \ 2015 \ 2016 \ 2017 \ 8ball \ 8-ball \ aaaaaaaaa \ addquote \ allquotes \ analogy \ anonlog \ arienvenido \ as86 \ aseen \ asm \ autowelcome \ benvenuto \ bf \ bienvenido \ bienvenue \ blessyou \ botsnack \ bseen \ buttsnack \ calc \ cAt \ CaT \ catcat \ cats \ cc \ cde 02:59:19 `url bin 02:59:20 http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/bin 02:59:58 `^.^ 03:00:12 `run ^.^ 03:00:26 `2017 03:00:30 Elronnd: it's probably stuck somehow 03:00:36 No output. 03:00:42 `cat bin/^.^ 03:00:45 Oh, ore not 03:00:46 No output. 03:00:46 *or 03:00:47 ​#!/bin/sh \ cat $@ 03:00:47 No output. 03:01:13 Elronnd: no i mean the command, they're run in parallel 03:01:27 `echo 'echo "=(/\_/\)="' > bin/^.^ 03:01:29 ​'echo "=(/\_/\)="' > bin/^.^ 03:01:40 ^.^ might time out without an argument, because it tries to read from stdin 03:01:58 `^.^ 03:02:22 Here's an idea for a cool λ-calcular construction that mayormaynot already exist 03:02:27 that echo didn't actually change any file 03:02:29 No output. 03:02:30 A construction of both numbers and lists 03:02:44 Where returns the nth element of the list 03:04:09 you could define a number to do that, of course 03:04:30 almost no matter how lists are represented 03:05:10 and it would even be somewhat useable, i think. especially if you have infinite length lists 03:06:49 My Esolangs Google+ community doubled in size today :) 03:07:02 let (m+n) l = m(n(tails l)) in ((!!3)+(!!4))[1..] 03:07:08 oops 03:07:12 > let (m+n) l = m(n(tails l)) in ((!!3)+(!!4))[1..] 03:07:14 8 03:07:41 > let (m+n) l = m(n(tails l)) in ((!!3)+(!!4))[0..] 03:07:43 7 03:08:01 so you can define addition 03:08:47 `blessyou 03:08:52 Bless you, barked. Blarked. 03:09:07 ah one of those 03:09:16 oerjan: One of whats? 03:09:22 like `thanks 03:09:24 `thanks 03:09:27 Ah 03:09:28 Thanks, gto. Tho. 03:09:51 probably based on it 03:10:15 -!- MDude has changed nick to MDream. 03:10:32 -!- atehwa has quit (Ping timeout: 256 seconds). 03:12:13 -!- atehwa has joined. 03:15:12 -!- hppavilion[1] has quit (Ping timeout: 265 seconds). 03:27:05 <\oren\> `thanks 03:27:10 Thanks, olnet. Tholnet. 03:27:18 -!- heroux has quit (Ping timeout: 250 seconds). 03:29:41 -!- heroux has joined. 03:33:11 -!- atehwa has quit (Ping timeout: 264 seconds). 03:40:23 -!- atehwa has joined. 03:54:39 sam starfall gets the upper hand. or leg. 03:58:27 -!- heroux has quit (Ping timeout: 260 seconds). 03:59:07 -!- heroux has joined. 04:00:14 -!- augur has quit (Ping timeout: 250 seconds). 04:00:19 -!- atehwa has quit (Ping timeout: 260 seconds). 04:03:05 -!- hppavilion[1] has joined. 04:04:38 -!- Guest87873 has joined. 04:06:50 quiz question: how is sam starfall like the fsm 04:07:31 wait, riddle was the word i couldn't remember 04:08:39 *riddle question 04:14:22 oerjan: what's a quiz riddle twh 04:14:54 itycgty 04:15:52 help, this oerjacronym is inscrutable 04:16:00 "i think you can guess, thank you"? 04:16:03 but that would be thx 04:16:10 and anyway oerjan would say hth anyway 04:16:37 a bit off at the end 04:16:59 i figured 04:17:13 is there an oerjanologist in the channel 04:20:02 I'm asking my mental model of oerjan, but it's just saying "MWAHAHAHAHA". 04:20:46 Apparently it's too good. 04:21:03 "that yourself" hth 04:21:14 oh 04:23:30 -!- atehwa has joined. 04:30:43 -!- andrew has joined. 04:36:56 <\oren\> Yay I got to 40 again 04:41:21 oerjan: the real quiz is "who is sam starfall" 04:42:02 <\oren\> how's that a quiz? 04:42:12 everyone knows that, quintopia 04:42:56 <\oren\> I got to it from project rho atomic rockets 04:45:24 -!- TodPunk has quit (Quit: This is me, signing off. Probably rebooting or something.). 04:45:45 <\oren\> 欲武段沿泉洗派混済減測源準潔潮激灰災熟燃 04:45:45 <\oren\> 版率班現留略異疑痛盛盟看丑丞乃乎乘云亘亙些 04:45:54 <\oren\> 41 kanji added 04:50:32 I should really restart adding ideographs 04:51:15 I spent the last 2 weeks to tinker about combining marks, GPOS and compiler rewriting 04:51:19 that's enough for me 04:54:45 -!- TodPunk has joined. 04:56:37 -!- jaboja has joined. 05:00:16 -!- dcentral has joined. 05:00:33 -!- dcentral has quit (Client Quit). 05:07:34 <\oren\> `unidecode ⿕ 05:07:42 ​[U+2FD5 KANGXI RADICAL FLUTE] 05:07:48 <\oren\> Ah. 05:22:00 -!- atehwa has quit (Ping timeout: 256 seconds). 05:29:39 -!- atehwa has joined. 05:32:41 -!- mauris has quit (Ping timeout: 255 seconds). 05:33:57 \oren\: a separate character for radicals 05:36:22 ah one of my guesses for the girl genius princess was right 05:38:20 maybe they'll end up married after all 05:39:48 white hair - could her mother be one of the geisterdamen... 05:40:08 -!- jaboja has quit (Ping timeout: 246 seconds). 05:47:26 -!- hppavilion[1] has quit (Ping timeout: 276 seconds). 05:52:24 * oerjan is worried that he still cannot spot the weasel anywhere 06:10:03 -!- Alcest has quit (Ping timeout: 260 seconds). 06:24:44 -!- hppavilion[1] has joined. 06:27:04 are you any good at graph theory oerjan 06:27:39 <\oren\> WTF WTF WTF 06:27:57 <\oren\> berenstein bears. berenstein bears 06:28:02 ... 06:28:25 <\oren\> E. I. now it's A I berenstain bears 06:29:07 <\oren\> I don't get it. it was always berenstein not berenstain 06:30:46 -!- Sprocklem has quit (Ping timeout: 240 seconds). 06:31:35 ... 06:32:32 `quote beren 06:32:35 No output. 06:32:57 `` grep -i beren wisdom/* 06:33:06 grep: wisdom/le: Is a directory \ grep: wisdom/¯\(°_o): Is a directory \ grep: wisdom/¯\(°​_o): Is a directory \ Binary file wisdom/reflection matches 06:33:30 `` grep -i beren wisdom/* 2>/dev/null 06:33:35 Binary file wisdom/reflection matches 06:34:21 `? reflections 06:34:22 cat.reflection. 06:34:24 `? reflection 06:34:25 cat.reflection. 06:34:33 helloerjan 06:34:42 `` hexdump -C wisdom/reflection 06:34:43 00000000 68 65 78 64 75 6d 70 00 2d 43 00 77 69 73 64 6f |hexdump.-C.wisdo| \ 00000010 6d 2f 72 65 66 6c 65 63 74 69 6f 6e 00 |m/reflection.| \ 0000001d 06:34:48 Nasty 06:35:06 oh 06:35:09 I'm stupid 06:35:13 `` ls -l wisdom/reflection 06:35:14 lrwxrwxrwx 1 5000 0 18 Dec 9 04:13 wisdom/reflection -> /proc/self/cmdline 06:35:18 oh. 06:35:19 hth 06:35:20 evil 06:35:36 <\oren\> that is scary as all hell. 06:35:36 shaving -> 06:36:10 `culprits wisdom/reflection 06:36:17 int-e ais523 tswett 06:36:27 `` hg log wisdom/reflection | grep summary: 06:36:32 summary: ` ln -s /proc/self/cmdline wisdom/reflection 06:37:17 so i guess that will match anything you grep it for :D 06:37:47 It's the same way that "ps aux | grep foo" will always match foo. 06:37:53 In fact it's the same mechanism. 06:38:54 `` grep -v grep -i beren wisdom/* 2>/dev/null 06:38:56 wisdom/`:` is the prefix to greatness. \ wisdom/`?:`? ¯\(°​_o)/¯ \ wisdom/==:Did you know you can define == recursively!? \ wisdom/ :The final frontier. \ wisdom/_̰̆̓_̦̻̖͍̟̖̅ͭͭͬ͡_͉̭ͧ͒̐_̯͙̬̬̦̯͂͋͒ͧ͋̋_̴̝̔̉̅ͨ͞:_̰̆̓_̦̻̖͍̟̖́̅ͭͭͬ͡_͉̭ͧ͒̐_̯͙̬̬̦̯͂͋͒ͧ͋̈̋_̴̝̔̉̅ͨ͞ _̰̆̓_́̅ 06:39:44 oh right 06:40:12 `` grep -i beren wisdom/* 2>/dev/null | grep -v grep 06:40:16 Binary file wisdom/reflection matches 06:40:18 <\oren\> I swear to god I'll go find my old berenstein bears books 06:41:56 `` grep -i beren wisdom/* 2>/dev/null | grep -v reflection 06:42:01 No output. 06:42:47 `unidecode ` 06:42:48 ​[U+0060 GRAVE ACCENT] 07:02:06 \oren\: Ah, I see you've discovered the Mandella Effect 07:02:42 -!- hppavilion[1] has set topic: This part of the topic was the first added in 2016 | The international hub for magic gathering and deployment. | Effi's finest fluffy waffles | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/?C=M;O=D | https://esolangs.org/ | This part of the topic was the second added in 2016 | This part of the topic was the. 07:02:53 Dammit. 07:04:57 *IDEA* A language that can be used both for code golphing AND for actual, production use. Like, you could have golphy code in it (@[-,*) as well as rational, humany code 07:05:08 forth 07:05:10 perl 07:05:11 APL 07:05:19 <\oren\> Interestingly I don't remember Mandela dying in prison. But I do remember George W Bush being ridiculed for saying that Mandela was dead, when he wasn't. 07:05:38 also it's golfing 07:05:45 izabera: HERESY 07:05:51 wtf is golph 07:05:54 I think APL is a good answer because production code in APL is golfed anyway. 07:06:04 izabera: I made the decision to call it "golphing" in the presence of anyone 07:06:11 BUT ONLY when referring to code golph 07:06:20 See how long it is before I see other people using it 07:06:21 i must have missed that 07:06:31 izabera: I just made the decision. 07:06:41 Before sending the first message where I said "golphing" 07:07:03 then i surely missed it 07:07:10 izabera: I didn't say it though. 07:11:06 -!- mroman has joined. 07:11:20 fnord 07:11:36 Hi mroman 07:11:46 mroman: \oren\ just discovered the Mandella Effect 07:12:10 which is? 07:13:11 mroman: Some people remember Nelson Mandella dying in prison when he didn't 07:13:32 mroman: They claim this is proof that we keep swapping between a number of parallel dimensions over time 07:13:48 mroman: 4-dimensional complex manifolds and whatnot 07:14:05 mroman: Also, Berenstain Bears. Not Berenstein Bears. 07:18:08 Are there any useful constructions of numbers using only matrices? 07:19:37 Of what numbers? 07:19:42 -!- oerjan has set topic: This part of the topic was the first added in 2016 | The international hub for magic gathering and deployment. | Effi's finest fluffy waffles | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/?C=M;O=D | https://esolangs.org/ | This part of the topic was the second added in 2016 | This part of the topic was too. 07:20:18 zzo38: Any of the major sets 07:23:46 You can represent complex numbers as a matrix of real numbers 07:24:02 quaternions too 07:24:22 or wait 07:25:04 yes you can, although you might need to do it on top of the complex rep 07:25:44 -!- atslash has quit (Quit: This computer has gone to sleep). 07:26:50 -!- lolcat has quit (Ping timeout: 260 seconds). 07:27:14 -!- hppavilion[1] has quit (Ping timeout: 256 seconds). 07:27:16 hm what about rationals 07:29:22 oerjan: Don't you need at least a field for a matrix to make much sense? 07:29:27 Maybe not. 07:29:50 no, you need a commutative ring 07:30:00 well that's for determinants 07:30:16 Sounds plausible. 07:30:20 You can represent dual numbers with a matrix, of course. 07:30:21 plain ring gives a matrix ring 07:31:20 gah this connection is shit 07:33:11 you can always use {{x,0},{0,x}} 07:34:23 {{x,0},{0,x}} * {{y,0},{0,y}} is neatly {{xy,0},{0,xy}} 07:38:41 well yes, that's the diagonal embedding, it only requires a ring 07:46:56 hm nope you cannot represent rationals as matrices of integers, because doubling a matrix must multiply the determinant by 2^n 07:47:07 which makes the result non-invertible. 07:49:42 @tell int-e your server seems down. 07:49:43 Consider it noted. 07:54:45 -!- Guest87873 has quit (Ping timeout: 245 seconds). 07:57:20 -!- augur has joined. 08:07:13 -!- andrew has quit (Remote host closed the connection). 08:08:23 -!- jaboja has joined. 08:10:55 http://codepad.org/kKyzrf9k 08:11:24 it's missing conditional operators for now 08:18:05 the question is: Would one really need at least two threads to write programs? 08:18:14 (programs that do suffiecently useful things) 08:20:15 -!- lolcat has joined. 08:20:39 http://codepad.org/yPQlKGGM <- (with some conditionals) 08:26:45 It looks like OK to me, but I do not know the answer of your question, but I would expect so 08:33:26 although I think you can implement state machines using one thread only 08:34:06 maybe 08:42:52 -!- andrew has joined. 08:43:59 [wiki] [[☃]] N https://esolangs.org/w/index.php?oldid=46142 * Mroman * (+1939) + multi-threaded 2D language 08:44:28 [wiki] [[☃]] https://esolangs.org/w/index.php?diff=46143&oldid=46142 * Mroman * (+6) /* Instructions */ 08:47:55 -!- Welo has joined. 08:49:27 I'd strongly suspect you can translate brainfuck programs to it somehow 08:49:33 brainfuck programs with finite tape 08:50:07 the tape is just a sequence of s 08:53:47 [wiki] [[Talk:☃]] N https://esolangs.org/w/index.php?oldid=46144 * Mroman * (+241) Created page with "== Ideas for translating brainfuck to ☃ ==
             >s       v  s (ptr) >s         v        >s           v      >s             v      ^ ^ ^ ^        v     -n-n-n-n..."
08:54:12  http://esolangs.org/wiki/Talk:%E2%98%83
08:56:52  the problem is that you'd always have to go back there so to select the instruction to execute you probably need to have an instruction pointer as well of some sort
08:57:06  and emulate a stack for brainfuck's []
09:19:06 -!- Welo has quit (Quit: Leaving).
09:20:15  i'd say snowmn is tc with multiple threads, each representing one bf cell
09:30:24 -!- oerjan has quit (Quit: leaving).
09:48:39  welp. I have finished my brainfuck. and I have no idea if it works properly, because Racket's support for single-byte I/O is terribly broken.
09:50:37 -!- vifino has quit (Quit: Who turned this off?! D:<).
09:57:06 -!- ros3 has joined.
10:02:17 -!- lolcat has quit (Ping timeout: 246 seconds).
10:02:18 -!- aloril has quit (Ping timeout: 265 seconds).
10:04:20  https://github.com/jarcane/heresy/blob/master/examples/brainfuck.hsy
10:05:12 -!- aloril has joined.
10:07:45 -!- andrew has quit (Read error: Connection reset by peer).
10:16:07 -!- zadock has joined.
10:21:59 -!- vifino has joined.
10:24:02 -!- FreeFull has quit (Ping timeout: 256 seconds).
10:24:44 -!- FreeFull has joined.
10:25:13 -!- andrew has joined.
10:36:10 -!- lleu has joined.
10:36:10 -!- lleu has quit (Changing host).
10:36:10 -!- lleu has joined.
10:41:29 -!- zadock has quit (Ping timeout: 246 seconds).
10:48:03  myname: how so?
10:50:58  good point, i totally missed loops that change the position of the cell pointer
10:53:44 -!- ros3 has quit (Ping timeout: 246 seconds).
10:54:22 -!- hjulle has joined.
11:19:52  [wiki] [[Control Flow]]  https://esolangs.org/w/index.php?diff=46145&oldid=45771 * Mroman * (+210) /* Coroutines */
11:20:21  [wiki] [[Control Flow]]  https://esolangs.org/w/index.php?diff=46146&oldid=46145 * Mroman * (-1) /* Coroutines */
11:23:32 -!- J_Arcane has quit (Ping timeout: 250 seconds).
11:25:12  [wiki] [[Control Flow]]  https://esolangs.org/w/index.php?diff=46147&oldid=46146 * Mroman * (+640) + error handling
11:32:47 -!- Welo has joined.
11:52:15  hm
11:52:18 -!- MDream has changed nick to MDude.
11:52:47  would it make sense to re-use the heat of waste water?
11:52:51  like when you shower
11:53:09  you heat up lots of water, then it goes down the pipse to the sewage system as warm water
11:53:32  seems very wasteful because you only need the water to be warm for when it hits your skin
11:55:05 -!- boily has joined.
11:55:58  seems like it's already done in some parts of the world
12:02:42  `wisdom
12:02:56  glogbot/glogbot is a snitch, don't trust it.
12:06:54  `? b_jonas
12:06:55  b_jonas? ¯\(°​_o)/¯
12:07:02  *gasp8
12:07:06  s/8/*/
12:09:02 -!- J_Arcane has joined.
12:09:10  After an embarrassing fix, brainfuck.hsy runs the cat program ,[.[-],] successfully. Hello World still eludes me. https://github.com/jarcane/heresy/blob/master/examples/brainfuck.hsy
12:11:06 -!- jaboja has quit (Ping timeout: 240 seconds).
12:13:48 -!- jaboja has joined.
12:19:13 -!- boily has quit (Quit: DIPHTONG CHICKEN).
12:21:47  I *think* there may still be an issue with output though, because something as simple as +++++++++++++++++++++++++++++++++. doesn't even produce an output.
12:25:06  https://archive.org/details/AllAboutPolymorphics
12:56:55  shocking, people missed me...
12:59:08  I think the problem is in my main program loop. I'm just not sure how. https://twitter.com/J_Arcane/status/686528424731619328
13:06:45 -!- tromp has quit (Read error: Connection reset by peer).
13:09:43  fun. https://panel.cloudatcost.com is down.
13:09:50  oh noes
13:11:30 -!- Welo has quit (Quit: Leaving).
13:24:10 -!- J_Arcane has quit (Remote host closed the connection).
13:41:15  does anyone know of an algorithm whose existence is proven, but whose correctness is undecideable?
13:41:38  I know such a thing exists and I might decide to publish a paper about it eventually
13:43:54  does it have to do something useful?
13:44:24  No.
13:44:47  it just needs to be an algorithm
13:47:18  take an undecidable problem, flip a coin, sum how many times the coin is head times the problem is true
13:47:49  what problem does that solve?
13:48:06  counting how many times the coin is head times the problem is true
13:48:30  that doesn't work
13:48:43  the algorithm can't compute the undecideable problem
13:49:28  it doesn't have to find an answer to that
13:50:49  yes it does
13:51:12  otherwise it doesn't know what number to multiply by
13:52:07 -!- MoALTz_ has joined.
13:52:19  Question about M:tG OGW. Is the reason why the colorless mana symbol is a four-spiked star the same hedrons that also give the shape of the Zendikar block expansion symbols? Should I expect seeing five-pointed mana symbols in the future for abilities that add one mana of any color of my choice to my mana pool?
13:52:42  haha
13:53:04 -!- mauris has joined.
13:53:50  The first question is serious.
13:53:56  The second, not so.
13:54:41 -!- MoALTz has quit (Ping timeout: 246 seconds).
14:10:49  Question about M:tG. Why does Wizards hate blue?
14:11:36  haavard: they don't. 
14:14:14  They actually like blue, but in a tricky non-obvious way, the way blue prefers.
14:14:15  ^^
14:14:54 -!- andrew has quit (Remote host closed the connection).
14:15:25  Think about it: wizards has been barely printing cards with protection for a while, and now they also decided they'll stop printing cards with landwalk, fear, and intimidate. That means blue will have the only sources of unblockable creatures, while still having the most efficient flying creatures. 
14:16:48  And yet the only viable blue decks in modern are Twin and Infect
14:17:10  I'm just sad my blue modern decks aren't overpowered
14:18:25  see, there's your problem
14:19:31  haavard: isn't that because other people have access to blue as well?
14:23:00  No, it's because other people have access to things like Arcbound Ravager and Collected Company
14:24:11  haavard: aren't the artifact decks with Arcbound Ravager partly blue by default?
14:24:50  A couple Thoughcasts doesn't count as blue
14:25:34  They do for me. I rarely build pure-blue decks, but blue is a toolbox that has something nice to add to lots of decks. 
14:25:44  I don't think you understand
14:25:53  I'm not winning with *my* decks, so I'm blaming Wizards for it
14:26:13  I have decks with just one playset of blue, but that one playset is what makes the deck work, it would suck without blue.
14:26:43  One playset of blue? What deck is that?
14:30:01  haavard: not a very good one. elf control, with 4 Elvish Guidance and 4 Distant Melody.
14:31:18  Neat
14:31:55 -!- Sprocklem has joined.
14:32:26 -!- Sprocklem has changed nick to Guest19714.
14:35:46 -!- lolcat has joined.
14:42:35 -!- lolcat has quit (Ping timeout: 260 seconds).
14:53:51 -!- mauris has quit (Ping timeout: 255 seconds).
14:58:51 -!- vanila has joined.
14:59:29 -!- p34k has joined.
15:06:53 -!- lolcat has joined.
15:19:16  `wisdom
15:19:21  narutoverse/narutoverse is a place where they haven't heard of having a bus factor of >1. Sgeo drives the bus.
15:19:34  fungot, do you drive buses?
15:37:51 -!- J_Arcane has joined.
15:41:13  recordmydesktop is horribly slow
15:42:14  yeah too slow
15:42:21  it'd take hours to encode a few minutes of desktop session
15:42:25  hi J_Arcane 
15:42:32  jo
15:45:16 -!- TieSoul has joined.
15:49:34  cool. '[25394.577277] Read-error on swap-device (8:0:491472)'
15:56:28 * int-e wonders what effect rasing a ticket at coc would have
15:59:50  mroman: so the server is up again for now... until the next fatal IO error
16:01:39  (actually ssh was still working? it's hard to say, they may have had a routing problem as well.)
16:02:51  I could re-setup the VM but that would change the IP address (and lose data, but that's just a matter of doing a backup)
16:07:01 -!- Lord_of_Life has quit (Excess Flood).
16:08:06 -!- Lord_of_Life has joined.
16:12:49  int-e: http://www.cloudatacost.com/mystory
16:14:01  (Of course that's re something allegedly fixed long ago.)
16:21:20 -!- Guest19714 has changed nick to Sprocklem.
16:21:32 -!- Sprocklem has quit (Changing host).
16:21:32 -!- Sprocklem has joined.
16:21:35 -!- J_Arcane has quit (Quit: ChatZilla 0.9.92-rdmsoft [XULRunner 35.0.1/20150122214805]).
16:26:03 -!- J_Arcane has joined.
16:29:20 -!- spiette has joined.
16:32:32  fizzie: thanks, that about matches my expectations
16:34:15 -!- Welo has joined.
16:35:24  I mean I mostly got this server for amusement value... it's been a fair deal, but I'm starting to feel kind of bad for hosting mroman's Burlesque shell there.
16:36:51  :D
16:36:55  It took me way too long to notice the difference in the domain name, I was rather confused
16:38:53  @tell boily I tend to do lambdabot maintenance when I update ghc... stackage is currently moving too fast for me.
16:38:53  Consider it noted.
16:40:45  I also didn't get any coding done over the holidays. Motivation is an issue...
16:40:53  Eodermdrome is non-deterministic, right?
16:54:55 -!- MoALTz_ has changed nick to MoALTz.
17:07:02 -!- mauris has joined.
17:08:38 -!- bb010g has quit (Quit: Connection closed for inactivity).
17:14:39 -!- mroman has quit (Quit: Lost terminal).
17:15:55 -!- lolcat has changed nick to lolatC.
17:39:22 -!- lolatC has changed nick to Optime.
17:47:46 -!- Optime has changed nick to crude.
17:49:41 -!- crude has changed nick to banjang.
17:59:50  Welp. My adventures in brainfuck implementation have basically collapsed as I just keep uncovering more bizarre regressions in Heresy rather than making any real progress. 
18:18:02 -!- Phantom_Hoover has joined.
18:29:53 -!- jaboja has quit (Ping timeout: 276 seconds).
18:31:13 -!- banjang has changed nick to GeekNerd.
18:35:23 -!- spiette has quit (Ping timeout: 246 seconds).
18:37:45 -!- GeekNerd has changed nick to Elsa.
18:45:16 -!- hjulle has quit (Read error: Connection reset by peer).
18:50:22 -!- spiette has joined.
18:53:39 -!- hppavilion[1] has joined.
18:56:53 -!- Welo has quit (Quit: Leaving).
19:09:14 -!- bb010g has joined.
19:16:27 -!- jaboja has joined.
19:21:35 -!- FreeFull has quit (Ping timeout: 246 seconds).
19:30:28 -!- FreeFull has joined.
19:32:33 -!- jaboja64 has joined.
19:35:58 -!- jaboja has quit (Ping timeout: 256 seconds).
19:41:56  `olist 1018
19:42:02  olist 1018: shachaf oerjan Sgeo FireFly boily nortti b_jonas
19:48:27 -!- hppavilion[1] has quit (Ping timeout: 265 seconds).
19:49:45 -!- hppavilion[1] has joined.
20:06:10  name one program that uses getusershell()
20:06:53  why do these interface even exist?
20:06:56  interfaces*
20:20:26 -!- jaboja64 has changed nick to jaboja.
20:40:32 -!- jaboja has quit (Ping timeout: 276 seconds).
20:51:37  shachaf: thanks
21:11:24 -!- lleu has quit (Quit: That's what she said).
21:17:20  b_jhellonas
21:28:30 -!- hppavilion[1] has quit (Ping timeout: 265 seconds).
21:32:39 -!- hppavilion[1] has joined.
21:44:12  does order of the stick not have an RSS feed or something?
21:44:45  It does.
21:44:47  or is olist just a tradition (i think it has been a thing since before i joined #esoteric but i'm not sure)
21:45:28  iwc = i want cake
21:46:10  `` hg log bin/olist | grep date: | tail -n1
21:46:12  date:        Fri Jan 18 17:22:20 2013 +0000
21:46:15  `` hg log wisdom/nooodl | grep date: | tail -n1
21:46:17  date:        Wed May 08 19:44:48 2013 +0000
21:46:19  INCONCLUSIVE
21:47:41  `` hg log --keyword nooodl | grep date: | tail -n1
21:47:46  date:        Fri Nov 02 22:09:16 2012 +0000
21:47:50  `` hg log --keyword nooodl | grep summary: | tail -n1
21:47:53  summary:      learn bonvenon Bonvenon al la internacia centro por la desegno kaj ellaso de esoteraj programlingvoj! Por pli da informado, vizitu la Viki-o: http://esolangs.org/wiki/Main_Page. (Por la alia speco de esotero, iru al #esoteric sur irc.dal.net.)
21:50:04  wow
21:54:20  I thought mauris had been around forever.
21:54:34 -!- Phantom__Hoover has joined.
21:54:40  (c) 1996
21:55:03  copyright?
21:55:20  oh man, and here i was, noodling around
21:57:14 -!- Phantom_Hoover has quit (Ping timeout: 245 seconds).
21:57:23  mauris: tradition
21:57:45  mauris: I call it the obell
21:58:06  b_jonas, i was wondering why you don't like prince of persia 2?
21:58:40  vanila: I don't like playing it, it's too hard for me, and difficult to follow because some of the level maps seem so large.
21:58:47  ah alright
21:59:09  I just didn't invest time to learn it.
21:59:22  I played other games instead, like Commander Keen.
22:01:12  I quite like Commander Keen games.
22:02:58  I don't claim to be good at them: I've done episodes 1 and 2, as well as 4 and 5 and 6 in easy mode, and possibly 5 in normal mode (I can't remember), but I'm stuck with episode 3, and I probably couldn't do any except maybe 5 without saves.
22:04:44  vanila: what video games do you like playing?
22:05:38  i guess i like a lot of games, the last one i played was fez which was nice
22:05:54  im trying to figure out some alternative input devices to play games with
22:06:04  alternative to what?
22:06:09  keyboard and mouse
22:06:36  so like joystick, a steering wheel and pedals, or touchscreen (eww)?
22:06:39  right now working on playing go via speech recognition
22:06:52  ah, for go that's certainly possible
22:07:47  To me, keyboard is fine as the input device, especially if the controls for the game can be remapped
22:07:56  zzo38, i got RSI 
22:08:22  since you only have to input a couple of choices for line and column numbers, you can prepare by learning the input software, and the time limit isn't too tight
22:08:28  i might build something out of old electronics from second hand shop
22:10:33 -!- hppavilion[1] has quit (Ping timeout: 265 seconds).
22:12:02  then of course game consoles have a lot of other input devices these days, many of which are available for PC too: handheld controllers with buttons and sticks, camera with lightgun, 3d camera (stereoscopic and TOF)
22:12:17  as well as steering wheel of course
22:14:45  Some game program only allow partial customization. The game "Pharaoh's Tomb" has four control schemes, the one I prefer is left shift key move left, right shift key move right, space bar jumps (fixed jump height), and any of ZXCVBNM,./ will shoot.
22:15:34  And sure, I like when controls in the game are customizable.
22:15:56  In commander keen games, they are, and I used that to try to play with one hand once (it didn't work well).
22:17:48  commander keen!!!
22:17:51  <3
22:31:43 -!- TieSoul has quit (Remote host closed the connection).
22:32:14  teddy! garg!
22:38:32  ah, found them. http://www.welovedosgames.net/resizeimagereal.php?PLAATJE=images/games/keen1_14.png&w=640&h=480
22:39:05  hmm, without the resizing, http://www.welovedosgames.net/images/games/keen1_14.png
22:42:52  int-e: um, is that from a real level?
22:43:24  it's the bottom of the huge optional maze level isn't it?
22:44:09  b_jonas: yes
22:44:15  http://www.shikadi.net/keenwiki/Red_Maze_City ? doesn't look like
22:44:44  oh!
22:44:49  it's http://www.shikadi.net/keenwiki/Vorticon_Commander%27s_Castle
22:44:51  the final level
22:45:01  I see
22:46:47  oh right... important for people who got that far without the pogo stick...
22:52:20 -!- izabera has changed nick to op.
22:52:48 -!- op has changed nick to izabera.
22:53:51  hmm, i don't recall you can get there without one... let me try
22:54:00  I didn't know that. "The Vorticon Commander found at the end of this level is not invincible, he can be killed with 105 raygun shots."
22:56:34  it's easy enough to get there... just two levels...
22:57:00 -!- boily has joined.
23:04:04  @metar CYUL
23:04:05  CYUL 112200Z 27016G25KT 15SM FEW040 FEW240 M10/M18 A2986 RMK SC1CI1 SC TR CI TR SLP117
23:04:57 -!- XorSwap has joined.
23:05:18  @metar CYUL
23:05:19  CYUL 112200Z 27016G25KT 15SM FEW040 FEW240 M10/M18 A2986 RMK SC1CI1 SC TR CI TR SLP117
23:05:28  aurgh. I want my 112300Z!
23:05:34  @massages-loud
23:05:34  int-e said 6h 26m 40s ago: I tend to do lambdabot maintenance when I update ghc... stackage is currently moving too fast for me.
23:06:37  int-e: int-ello. tdh.
23:09:20 -!- Melvar has quit (Ping timeout: 245 seconds).
23:09:51 -!- Melvar has joined.
23:12:29  @metar CYUL
23:12:29  CYUL 112300Z 29017G22KT 15SM FEW040 FEW240 M10/M19 A2990 RMK SC1CI1 SC TR CI TR SLP130
23:12:32  ah!
23:15:33  @metar KOAK
23:15:33  KOAK 112253Z 29008KT 10SM OVC038 14/09 A3027 RMK AO2 SLP250 T01390094
23:16:39  is it me, or is it perpetually +14 in shachafland?
23:16:54  @metar KSJC
23:16:54  KSJC 112253Z 26004KT 10SM FEW024 SCT060 BKN170 17/09 A3026 RMK AO2 SLP245 T01670094
23:17:03 -!- zzo38 has quit (Remote host closed the connection).
23:17:07  @metar KSFO
23:17:08  KSFO 112256Z 00000KT 10SM BKN038 BKN060 13/09 A3027 RMK AO2 SLP249 T01280089
23:17:11  p. much
23:17:20  +14 is pretty good, though +20 or +23 would be better
23:25:26 -!- oerjan has joined.
23:26:24  @metar ENVA
23:26:24  ENVA 112320Z 08015KT CAVOK M04/M12 Q0998 RMK WIND 670FT 08016KT
23:26:46  bohily.  it felt colder than it is, today.
23:27:02  @metar CYUL
23:27:02  CYUL 112300Z 29017G22KT 15SM FEW040 FEW240 M10/M19 A2990 RMK SC1CI1 SC TR CI TR SLP130
23:28:14  hoerjan
23:28:29  what did what's-his-name mean about the vampires twh
23:29:15 -!- spiette has quit (Quit: :qa!).
23:29:43  @metar EGLL
23:29:44  EGLL 112320Z AUTO 27008KT 9999 SCT042 04/03 Q0990
23:33:16  shachaf: logreading will resume in a minute.  in the meantime, watch some stupid norwegian black metalers http://heltnormalt.no/kollektivet/2016/01/11
23:35:51 -!- idris-bot has quit (Ping timeout: 255 seconds).
23:36:00  @metar ESSB
23:36:00  ESSB 112320Z AUTO 08006KT 9999 UP BKN007/// OVC009/// 01/M00 Q0994
23:36:09  slashes
23:36:19 -!- Melvar has quit (Ping timeout: 260 seconds).
23:36:22  FireFly: you should fix up slashlearn twh
23:36:29  what is wrong with it?
23:36:35  le/rn should support le//rn
23:36:44  I don't speak perl
23:36:50  `file bin/le/rn
23:36:51  bin/le/rn: ERROR: cannot open `bin/le/rn' (No such file or directory)
23:36:55  `file le/rn
23:36:56  le/rn: symbolic link to `../bin/slashlearn'
23:36:57  oops.
23:37:05  `file bin/slashlearn
23:37:06  bin/slashlearn: Bourne-Again shell script, UTF-8 Unicode text executable
23:37:08  hm.
23:37:11  `cat bin/slashlearn
23:37:12  ​#!/bin/bash \ [[ "$1" = */* ]] || exit \ topic=$(echo "$1" | lowercase | cut -d / -f 1) \ [ -z "$topic" ] && exit 1 \ value=$(echo "$1" | cut -d / -f 2-) \ echo "$value" > wisdom/"$topic" && echo "Learned «$topic»"
23:37:24  instead of using cut you should use bash fanciness
23:37:26  `cat bin/mk
23:37:27  ​[[ "$1" == ?*//* ]] || exit 1; key="${1%%//*}"; value="${1#*//}"; echo "$value" > "$key" && echo "$key"
23:37:28  like that
23:37:53  `culprits bin/slashlearn
23:37:56  int-e tswett tswett shachaf shachaf shachaf shachaf
23:38:01  . o O ( sed -i -e s/topic/toothpick/g bin/*learn )
23:38:16  I did? hmm
23:38:39 -!- XorSwap has quit (Quit: Leaving).
23:38:39  `` hg log bin/slashlearn | grep summary:
23:38:44  summary:      ` sed -i 1a\'[[ "$1" = */* ]] || exit\' bin/slashlearn \ summary:      revert 5151 \ summary:      ` sed -i -e \'3a [ -e wisdom/"$topic" ] && op=\'\\\'\'Overwrote\'\\\'\' || op=\'\\\'\'Wrote\'\\\'\'\' -e \'s/Learned/$op/\' bin/slashlearn \ summary:      ` echo $\'#!/bin/bash\\ntopic=$(echo "$1" | lowe
23:38:56 * oerjan wonders when they're going to fix the broken voting buttons
23:39:30  voting buttons?
23:40:05 * FireFly leaves the shellery to someone more bash-proficient
23:40:24  s/shellery/celery/
23:40:35  boily: on the comics site i linked
23:41:05  no one's going to do it, huh?
23:41:57  and i can't even use mkx because it doesn't support newlines
23:42:07  never mind, i just won't use newlines
23:42:30  `` echo test//hi | cut -d // -f 2-
23:42:31  cut: the delimiter must be a single character \ Try `cut --help' for more information.
23:42:37  was afraid of that.
23:42:49  just use the bash magic thing
23:43:05  funny thing, i don't know the bash magic thing.
23:43:15  well i quoted it above hth
23:43:19  `cat bin/mk
23:43:20  ​[[ "$1" == ?*//* ]] || exit 1; key="${1%%//*}"; value="${1#*//}"; echo "$value" > "$key" && echo "$key"
23:44:03  `mkx le/test//echo "$0"
23:44:08  le/test
23:44:12 -!- hppavilion[1] has joined.
23:44:14  `le/test
23:44:15  ​/hackenv/le/test
23:44:16  `le//test
23:44:17  ​/hackenv/le//test
23:44:23  `rm le/test
23:44:26  No output.
23:44:31  le test, il a été supprimé.
23:44:44  le/cabot/du/chien
23:45:10  l'expression/régulière/du/cabot/du/chien.
23:45:33  time for some poutine, and/or a variation thereof.
23:45:41 -!- boily has quit (Quit: TWISTY CHICKEN).
23:49:20  `mkx bin/slashlearn//sep="/"; [ "$0" == *//* ] && sep="//"; [[ "$1" == ?*"$sep"* ]] || exit 1; key="$(echo "${1%%$sep*}" | lowercase)"; value="${1#*$sep}"; echo "value" > "wisdom/$key"; echo "Learned «$key»"
23:49:22  bin/slashlearn
23:49:24  maybe something like that
23:49:38 -!- hppavilion[1] has quit (Ping timeout: 265 seconds).
23:51:05  `le/rn dahl/Royal Dahl is the king of Norway.
23:51:11  ​/hackenv/le/rn: line 1: [: too many arguments \ Learned «dahl»
23:51:16  oops
23:51:17  `? dahl
23:51:19  value
23:51:26  fncy
23:51:33  `mkx bin/slashlearn//sep="/"; [[ "$0" == *//* ]] && sep="//"; [[ "$1" == ?*"$sep"* ]] || exit 1; key="$(echo "${1%%$sep*}" | lowercase)"; value="${1#*$sep}"; echo "$value" > "wisdom/$key"; echo "Learned «$key»"
23:51:34  `culprits wisdom/dahl
23:51:42  shachaf int-e ais523 oerjan elliott Bike FreeFull Phantom_Hoover
23:51:44  bin/slashlearn
23:51:51  wat
23:51:51  `le/rn dahl/Royal Dahl is the king of Norway.
23:51:55  Learned «dahl»
23:52:39  `` find wisdom -type d
23:52:42  wisdom \ wisdom/¯\(°_o) \ wisdom/¯\(°​_o) \ wisdom/le
23:53:04 * oerjan flogs shachaf for not testing if the wisdom exists first --~~~~~~
23:53:12  oerjan: i did test hth
23:53:18  15:49  `? dahl
23:53:18  15:49  dahl dih dahl dahl
23:54:07  not in public tdnh
23:54:11  `mkx bin/slashlearn//sep="/"; [[ "$0" == *//* ]] && sep="//"; [[ "$1" == ?*"$sep"* ]] || exit 1; key="$(echo "${1%%$sep*}" | lowercase)"; value="${1#*$sep}"; echo "$value" > "wisdom/$key" && echo "Learned «$key»"
23:54:14  bin/slashlearn
23:54:20  oerjan: the dogs now howl?
23:54:24  `? le
23:54:26  cat: le: Is a directory
23:54:30 -!- Melvar has joined.
23:54:36  `? le/rn
23:54:38  le/rn makes creating wisdom entries manually a thing of the past.
23:54:41  `? le//rn
23:54:43  le/rn makes creating wisdom entries manually a thing of the past.
23:54:47  :-P
23:55:09  `le/rn le/arn//lern 2 spel
23:55:12  ​/hackenv/le/rn: line 1: wisdom/le: Is a directory
23:55:21  oops
23:55:29  `le//rn le/arn//lern 2 spel
23:55:31  Learned «le/arn»
23:55:37  `? le/arn
23:55:38  lern 2 spel
23:55:56  I'm considering adding mkdir -p but I feel like it might be a bad idea.
23:56:14  wouldn't it be saner to map / to \1 for learning purposes...
23:56:41  what metric do you think HackEgo utilities are written to maximize?
23:57:00  are you suggesting it's not sanity?
23:57:41  realistically I think it's entertainment value, but sometimes short-term sanity increases long-term enjoyability
23:58:04  Feel free to make a version of le/rn that supports backslash-escaping
23:58:11  You should call it le\rn
23:58:34  oerjan: do you want to revert dahl et ahl.
23:58:40  no
23:58:59  `? morse
23:59:00  morse? ¯\(°​_o)/¯
23:59:05  it was an improvement, apart from the part where i had to do work to check hth
23:59:54  not even a swat for that one?