←2016-01-10 2016-01-11 2016-01-12→ ↑2016 ↑all
00:05:03 <boily> @ask int-e could you please be there at the moment?
00:05:03 <lambdabot> Consider it noted.
00:15:36 <quintopia> helloily
00:16:44 <quintopia> I managed to shave 30 bytes off the Purple Hello, World!
00:17:24 <oerjan> `? metar
00:17:41 <HackEgo> metar? ¯\(°​_o)/¯
00:17:49 <quintopia> `? oerjan
00:17:50 <oerjan> `? @metar
00:17:50 <HackEgo> 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 <HackEgo> ​@metar? ¯\(°​_o)/¯
00:18:22 <oerjan> `learn metar is a service that allows nerds to talk about the weather.
00:18:23 <quintopia> you can never remember the word amortized? really?
00:18:27 <HackEgo> Learned 'metar': metar is a service that allows nerds to talk about the weather.
00:18:31 <haavard> Hates Roald Dahl?!
00:18:35 <oerjan> quintopia: almost never
00:18:44 <oerjan> haavard: that's a rumor spread by shachaf hth
00:18:58 <haavard> I can't believe you hate Roald Dahl.
00:19:08 <oerjan> mostly after he went around doing s/dal/dahl/ on half the stuff in haavard
00:19:09 <oerjan> er
00:19:15 <oerjan> *HackEgo
00:19:16 <quintopia> 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 <quintopia> Rijndahl
00:20:15 <oerjan> quintopia: i'm really not sure what the roots are. a(b) + mort- ? so, from death? makes no sense to me.
00:20:44 <quintopia> a(d) + mort: to death, until death, until the end
00:21:05 <boily> QUINTHELLOPIA! may the Shavings be Prosperous!
00:21:08 <oerjan> quintopia: anyway, the problem isn't remembering what it means, but the word itself hth
00:22:36 <quintopia> 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 <quintopia> ...i butchered the quotes there
00:23:05 <quintopia> 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 <oerjan> quintopia: it shouldn't be a(d), when the d is lost that duplicates the following consonant
00:26:01 <oerjan> now to actually look it up
00:26:21 <quintopia> oerjan: then you could read it as a + mort: "by death"...e.g. by the time it dies
00:26:28 <oerjan> darn i'm wrong, it got garble by going via french
00:26:32 <oerjan> *garbled
00:27:01 <boily> 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 <boily> (also, listening to Japanese math-prog-space-rock with birds on album covers.)
00:27:58 <quintopia> 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 <quintopia> I must know about this band
00:29:39 <oerjan> \oren\: no real asians were harmed during the production of this game hth
00:30:19 <boily> https://www.youtube.com/watch?v=Tci6tGwZ8n4
00:30:59 <quintopia> i have to click a link? can't you just name the band?
00:31:18 <boily> "About Tess" is the band. that link points to their second album.
00:32:02 <quintopia> found it on spotify
00:32:11 <quintopia> that is some guitaring
00:37:17 <HackEgo> [wiki] [[Kai]] https://esolangs.org/w/index.php?diff=46141&oldid=46138 * Oerjan * (+71) bold, Wayback
00:37:46 <quintopia> okay, i was getting worried about your description, but the rhythms just got complicated enough to qualify as mathcore
00:38:04 <vanila> hello
00:38:10 <boily> vanhelloa.
00:38:19 <vanila> hows it going
00:38:34 <boily> my ears are rhythmed.
00:38:50 <vanila> i will too
00:39:08 <vanila> 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 <hppavilion[1]> Hm...
01:03:06 <hppavilion[1]> Perhaps
01:03:10 <hppavilion[1]> A stack-based language
01:03:17 <hppavilion[1]> Where the stack is made of categories
01:03:26 <hppavilion[1]> Does that make any sense in the slightest?
01:03:36 <hppavilion[1]> Both computationally and logically?
01:05:55 -!- vanila has left ("Leaving").
01:06:31 <haavard> I didn't think esolangs had to make sense
01:07:34 <hppavilion[1]> haavard: They have to be logical within the realm of reality
01:07:55 <boily> hppavellon[1]. you lack vision hth
01:08:09 <hppavilion[1]> 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 <hppavilion[1]> boily: I use the word "logical" broadly
01:08:34 <hppavilion[1]> As well as "reality"
01:08:41 <hppavilion[1]> And "withing"
01:08:44 <hppavilion[1]> And "have"
01:10:33 <boily> ah, fsvo!
01:14:49 <hppavilion[1]> So my idea for The Ultimate Language
01:15:21 <hppavilion[1]> 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 <izabera> bash
01:15:54 <hppavilion[1]> izabera: Sure. bash.
01:23:03 -!- copumpkin has quit (Excess Flood).
01:24:31 -!- copumpkin has joined.
01:28:29 <zzo38> 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 <Elronnd> 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 <hppavilion[1]> So is the concept of a category theory-based programming language at all rational?
02:11:54 <hppavilion[1]> If I want to actually implement Set Language, or a derivative thereof, for my earlier-mentioned language conglomerate
02:11:58 <hppavilion[1]> How should I go about it?
02:15:52 -!- XorSwap has quit (Quit: Leaving).
02:17:55 <Elronnd> bc is turing complete, right?
02:18:33 <izabera> yes
02:19:57 <Elronnd> ...how?
02:20:48 <izabera> if + while
02:22:01 <Elronnd> it has those?
02:22:02 <Elronnd> TIL
02:22:14 <izabera> it also has a man page
02:23:56 <oerjan> *mumble* *mumble* needs unbounded memory *mumble*
02:24:26 <izabera> it's a fixed precision calculator
02:24:41 <hppavilion[1]> Think I figured it out
02:25:28 <hppavilion[1]> 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 <oerjan> 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 <oerjan> so you're more of an idealist?
02:33:28 -!- copumpkin has joined.
02:33:44 <hppavilion[1]> oerjan: No, I'm going by slang
02:33:49 <hppavilion[1]> The language we use in the programmer hood
02:33:57 <hppavilion[1]> You know, where GOTO lives
02:34:58 <hppavilion[1]> Ugh
02:35:23 * Elronnd points and curses at at the GOTO
02:35:24 <hppavilion[1]> I'm implementing Set Language and am stuck at testing if a set is a member of another set
02:35:33 <hppavilion[1]> Well, not in general
02:35:52 <hppavilion[1]> Testing if a set represents e.g. a natural
02:36:01 * oerjan considers hppavilion[1] harmful
02:37:09 <hppavilion[1]> Unarmed programmers regularly get shot and killed by cops here in da programming hood
02:37:12 <oerjan> does Set Language have infinite sets? if so it's probably undecidable.
02:37:17 * hppavilion[1] is not racist
02:37:30 <hppavilion[1]> oerjan: It does, but a finite number of them
02:37:33 <hppavilion[1]> AFAICT
02:37:40 <hppavilion[1]> So I can just special-case them
02:37:44 <oerjan> "am not racist" <-- self-refuting statement
02:37:45 <hppavilion[1]> Which is pretty much the only option
02:37:49 <oerjan> er, verb phrase
02:38:06 <hppavilion[1]> oerjan: No, it's only self-refuting if postfixed with "but, "
02:38:11 <hppavilion[1]> s/, //
02:38:48 <oerjan> hppavilion[1]: i'm pretty sure your usage is a simple grammatical inversion hth
02:39:06 <hppavilion[1]> oerjan: Huh?
02:39:16 * hppavilion[1] is not linguist
02:39:19 <oerjan> hppavilion[1]: you just said the part after the but first hth
02:39:38 <oerjan> also i may not even have used the right word
02:39:50 <hppavilion[1]> oerjan: No, it's "I'm not racist, but..." that triggers the alarms
02:40:03 <hppavilion[1]> "..., but I'm not racist" is OK
02:40:09 <hppavilion[1]> 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 <oerjan> istr that zermelo-fraenkel minus infinite sets is equivalent to peano arithmetic or thereabouts
02:42:08 <izabera> i'm not racist but https://www.youtube.com/watch?v=vrmgwK5oPFM
02:42:16 <izabera> can't find a version without hardsubs
02:42:21 <oerjan> i.e. you can simulate finite sets with peano arithmetic
02:42:48 <oerjan> * hereditarily finite
02:44:28 <shachaf> `` sed -i 's/hates/mildly dislikes/' wisdom/oerjan
02:44:35 <HackEgo> No output.
02:45:26 -!- heroux has quit (Ping timeout: 276 seconds).
02:46:13 <shachaf> `` rgrep -l dal wisdom
02:46:14 <HackEgo> wisdom/monoidal category \ wisdom/welcome.eo \ wisdom/indexed monad \ wisdom/siberia \ wisdom/welcome.fi \ wisdom/selamlar \ wisdom/wercome \ wisdom/m&ndash;rdalsj&ouml;kull \ wisdom/
02:46:41 <shachaf> `? m&ndash;rdalsj&ouml;kull
02:46:43 <HackEgo> M&ndash;rdalsj&ouml;kull is a draconic volcano harbouring the secret KATL base.
02:47:30 -!- heroux has joined.
02:54:12 <oerjan> `? oerjan
02:54:13 <HackEgo> 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> `? Elronnd
02:54:24 <HackEgo> Elronnd ...
02:54:37 <Elronnd> what should I define myself as
02:54:57 <oerjan> `learn Elronnd desperately wants this entry to say something.
02:55:01 <HackEgo> Learned 'elronnd': Elronnd desperately wants this entry to say something.
02:55:07 <oerjan> hth
02:55:26 <Elronnd> my entry already said something
02:55:33 <Elronnd> it said "..."
02:55:49 <oerjan> yes, and that was due to an act of despair hth
02:56:08 <Elronnd> that abbreviation is overused, hth
02:56:11 <oerjan> `culprits oerjan
02:56:16 <HackEgo> shachaf shachaf oerjan izabera oerjan Roujo oerjan Roujo oerjan Roujo Roujo Roujo Roujo Roujo
02:56:17 <oerjan> oops
02:56:23 <oerjan> `culprits wisdom/oerjan
02:56:27 <HackEgo> 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 <Elronnd> `? HackEgo
02:56:32 <HackEgo> 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 <oerjan> nitia again
02:56:45 <Elronnd> `help
02:56:45 <HackEgo> Runs arbitrary code in GNU/Linux. Type "`<command>", or "`run <command>" for full shell commands. "`fetch <URL>" downloads files. Files saved to $PWD are persistent, and $PWD/bin is in $PATH. $PWD is a mercurial repository, "`revert <rev>" can be used to revert to a revision. See http://codu.org/projects/hackbot/fshg/
02:58:57 <Elronnd> `ls bin
02:59:00 <HackEgo> ​` \ `` \ ^.^ \ ̊ \ ! \ ? \ ¿ \ ' \ @ \ * \ ؟ \ \ \ \ 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 <oerjan> `url bin
02:59:20 <HackEgo> http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/bin
02:59:58 <Elronnd> `^.^
03:00:12 <Elronnd> `run ^.^
03:00:26 <Elronnd> `2017
03:00:30 <oerjan> Elronnd: it's probably stuck somehow
03:00:36 <HackEgo> No output.
03:00:42 <oerjan> `cat bin/^.^
03:00:45 <Elronnd> Oh, ore not
03:00:46 <HackEgo> No output.
03:00:46 <Elronnd> *or
03:00:47 <HackEgo> ​#!/bin/sh \ cat $@
03:00:47 <HackEgo> No output.
03:01:13 <oerjan> Elronnd: no i mean the command, they're run in parallel
03:01:27 <Elronnd> `echo 'echo "=(/\_/\)="' > bin/^.^
03:01:29 <HackEgo> ​'echo "=(/\_/\)="' > bin/^.^
03:01:40 <oerjan> ^.^ might time out without an argument, because it tries to read from stdin
03:01:58 <Elronnd> `^.^
03:02:22 <hppavilion[1]> Here's an idea for a cool λ-calcular construction that mayormaynot already exist
03:02:27 <oerjan> that echo didn't actually change any file
03:02:29 <HackEgo> No output.
03:02:30 <hppavilion[1]> A construction of both numbers and lists
03:02:44 <hppavilion[1]> Where <n><list> returns the nth element of the list
03:04:09 <oerjan> you could define a number to do that, of course
03:04:30 <oerjan> almost no matter how lists are represented
03:05:10 <oerjan> and it would even be somewhat useable, i think. especially if you have infinite length lists
03:06:49 <hppavilion[1]> My Esolangs Google+ community doubled in size today :)
03:07:02 <oerjan> let (m+n) l = m(n(tails l)) in ((!!3)+(!!4))[1..]
03:07:08 <oerjan> oops
03:07:12 <oerjan> > let (m+n) l = m(n(tails l)) in ((!!3)+(!!4))[1..]
03:07:14 <lambdabot> 8
03:07:41 <oerjan> > let (m+n) l = m(n(tails l)) in ((!!3)+(!!4))[0..]
03:07:43 <lambdabot> 7
03:08:01 <oerjan> so you can define addition
03:08:47 <hppavilion[1]> `blessyou
03:08:52 <HackEgo> Bless you, barked. Blarked.
03:09:07 <oerjan> ah one of those
03:09:16 <hppavilion[1]> oerjan: One of whats?
03:09:22 <oerjan> like `thanks
03:09:24 <oerjan> `thanks
03:09:27 <hppavilion[1]> Ah
03:09:28 <HackEgo> Thanks, gto. Tho.
03:09:51 <oerjan> 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 <HackEgo> 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 <oerjan> 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 <oerjan> quiz question: how is sam starfall like the fsm
04:07:31 <oerjan> wait, riddle was the word i couldn't remember
04:08:39 <oerjan> *riddle question
04:14:22 <shachaf> oerjan: what's a quiz riddle twh
04:14:54 <oerjan> itycgty
04:15:52 <shachaf> help, this oerjacronym is inscrutable
04:16:00 <shachaf> "i think you can guess, thank you"?
04:16:03 <shachaf> but that would be thx
04:16:10 <shachaf> and anyway oerjan would say hth anyway
04:16:37 <oerjan> a bit off at the end
04:16:59 <shachaf> i figured
04:17:13 <shachaf> is there an oerjanologist in the channel
04:20:02 <shachaf> I'm asking my mental model of oerjan, but it's just saying "MWAHAHAHAHA".
04:20:46 <shachaf> Apparently it's too good.
04:21:03 <oerjan> "that yourself" hth
04:21:14 <shachaf> 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 <quintopia> oerjan: the real quiz is "who is sam starfall"
04:42:02 <\oren\> how's that a quiz?
04:42:12 <oerjan> 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 <lifthrasiir> I should really restart adding ideographs
04:51:15 <lifthrasiir> I spent the last 2 weeks to tinker about combining marks, GPOS and compiler rewriting
04:51:19 <lifthrasiir> 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 <HackEgo> ​[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 <lifthrasiir> \oren\: a separate character for radicals
05:36:22 <oerjan> ah one of my guesses for the girl genius princess was right
05:38:20 <oerjan> maybe they'll end up married after all
05:39:48 <oerjan> 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 <quintopia> 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 <quintopia> ...
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 <quintopia> ...
06:32:32 <oerjan> `quote beren
06:32:35 <HackEgo> No output.
06:32:57 <oerjan> `` grep -i beren wisdom/*
06:33:06 <HackEgo> 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 <oerjan> `` grep -i beren wisdom/* 2>/dev/null
06:33:35 <HackEgo> Binary file wisdom/reflection matches
06:34:21 <FireFly> `? reflections
06:34:22 <HackEgo> cat.reflection.
06:34:24 <FireFly> `? reflection
06:34:25 <HackEgo> cat.reflection.
06:34:33 <quintopia> helloerjan
06:34:42 <FireFly> `` hexdump -C wisdom/reflection
06:34:43 <HackEgo> 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 <FireFly> Nasty
06:35:06 <FireFly> oh
06:35:09 <FireFly> I'm stupid
06:35:13 <oerjan> `` ls -l wisdom/reflection
06:35:14 <HackEgo> lrwxrwxrwx 1 5000 0 18 Dec 9 04:13 wisdom/reflection -> /proc/self/cmdline
06:35:18 <FireFly> oh.
06:35:19 <oerjan> hth
06:35:20 <FireFly> evil
06:35:36 <\oren\> that is scary as all hell.
06:35:36 <oerjan> shaving ->
06:36:10 <FireFly> `culprits wisdom/reflection
06:36:17 <HackEgo> int-e ais523 tswett
06:36:27 <shachaf> `` hg log wisdom/reflection | grep summary:
06:36:32 <HackEgo> summary: <tswett> ` ln -s /proc/self/cmdline wisdom/reflection
06:37:17 <quintopia> so i guess that will match anything you grep it for :D
06:37:47 <shachaf> It's the same way that "ps aux | grep foo" will always match foo.
06:37:53 <shachaf> In fact it's the same mechanism.
06:38:54 <quintopia> `` grep -v grep -i beren wisdom/* 2>/dev/null
06:38:56 <HackEgo> wisdom/`:` is the prefix to greatness. \ wisdom/`?:`? ¯\(°​_o)/¯ \ wisdom/==:Did you know you can define == recursively!? \ wisdom/ :The final frontier. \ wisdom/_̰̆̓_̦̻̖͍̟̖̅ͭͭͬ͡_͉̭ͧ͒̐_̯͙̬̬̦̯͂͋͒ͧ͋̋_̴̝̔̉̅ͨ͞:_̰̆̓_̦̻̖͍̟̖́̅ͭͭͬ͡_͉̭ͧ͒̐_̯͙̬̬̦̯͂͋͒ͧ͋̈̋_̴̝̔̉̅ͨ͞ _̰̆̓_́̅
06:39:44 <quintopia> oh right
06:40:12 <quintopia> `` grep -i beren wisdom/* 2>/dev/null | grep -v grep
06:40:16 <HackEgo> 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 <quintopia> `` grep -i beren wisdom/* 2>/dev/null | grep -v reflection
06:42:01 <HackEgo> No output.
06:42:47 <coppro> `unidecode `
06:42:48 <HackEgo> ​[U+0060 GRAVE ACCENT]
07:02:06 <hppavilion[1]> \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 <hppavilion[1]> Dammit.
07:04:57 <hppavilion[1]> *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 <izabera> forth
07:05:10 <coppro> perl
07:05:11 <coppro> 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 <izabera> also it's golfing
07:05:45 <hppavilion[1]> izabera: HERESY
07:05:51 <izabera> wtf is golph
07:05:54 <shachaf> I think APL is a good answer because production code in APL is golfed anyway.
07:06:04 <hppavilion[1]> izabera: I made the decision to call it "golphing" in the presence of anyone
07:06:11 <hppavilion[1]> BUT ONLY when referring to code golph
07:06:20 <hppavilion[1]> See how long it is before I see other people using it
07:06:21 <izabera> i must have missed that
07:06:31 <hppavilion[1]> izabera: I just made the decision.
07:06:41 <hppavilion[1]> Before sending the first message where I said "golphing"
07:07:03 <izabera> then i surely missed it
07:07:10 <hppavilion[1]> izabera: I didn't say it though.
07:11:06 -!- mroman has joined.
07:11:20 <mroman> fnord
07:11:36 <hppavilion[1]> Hi mroman
07:11:46 <hppavilion[1]> mroman: \oren\ just discovered the Mandella Effect
07:12:10 <mroman> which is?
07:13:11 <hppavilion[1]> mroman: Some people remember Nelson Mandella dying in prison when he didn't
07:13:32 <hppavilion[1]> mroman: They claim this is proof that we keep swapping between a number of parallel dimensions over time
07:13:48 <hppavilion[1]> mroman: 4-dimensional complex manifolds and whatnot
07:14:05 <hppavilion[1]> mroman: Also, Berenstain Bears. Not Berenstein Bears.
07:18:08 <hppavilion[1]> Are there any useful constructions of numbers using only matrices?
07:19:37 <zzo38> 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 <hppavilion[1]> zzo38: Any of the major sets
07:23:46 <zzo38> You can represent complex numbers as a matrix of real numbers
07:24:02 <oerjan> quaternions too
07:24:22 <oerjan> or wait
07:25:04 <oerjan> 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 <oerjan> hm what about rationals
07:29:22 <shachaf> oerjan: Don't you need at least a field for a matrix to make much sense?
07:29:27 <shachaf> Maybe not.
07:29:50 <oerjan> no, you need a commutative ring
07:30:00 <oerjan> well that's for determinants
07:30:16 <shachaf> Sounds plausible.
07:30:20 <shachaf> You can represent dual numbers with a matrix, of course.
07:30:21 <oerjan> plain ring gives a matrix ring
07:31:20 <oerjan> gah this connection is shit
07:33:11 <mroman> you can always use {{x,0},{0,x}}
07:34:23 <mroman> {{x,0},{0,x}} * {{y,0},{0,y}} is neatly {{xy,0},{0,xy}}
07:38:41 <oerjan> well yes, that's the diagonal embedding, it only requires a ring
07:46:56 <oerjan> hm nope you cannot represent rationals as matrices of integers, because doubling a matrix must multiply the determinant by 2^n
07:47:07 <oerjan> which makes the result non-invertible.
07:49:42 <mroman> @tell int-e your server seems down.
07:49:43 <lambdabot> 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 <mroman> http://codepad.org/kKyzrf9k
08:11:24 <mroman> it's missing conditional operators for now
08:18:05 <mroman> the question is: Would one really need at least two threads to write programs?
08:18:14 <mroman> (programs that do suffiecently useful things)
08:20:15 -!- lolcat has joined.
08:20:39 <mroman> http://codepad.org/yPQlKGGM <- (with some conditionals)
08:26:45 <zzo38> It looks like OK to me, but I do not know the answer of your question, but I would expect so
08:33:26 <mroman> although I think you can implement state machines using one thread only
08:34:06 <mroman> maybe
08:42:52 -!- andrew has joined.
08:43:59 <HackEgo> [wiki] [[]] N https://esolangs.org/w/index.php?oldid=46142 * Mroman * (+1939) + multi-threaded 2D language
08:44:28 <HackEgo> [wiki] [[]] https://esolangs.org/w/index.php?diff=46143&oldid=46142 * Mroman * (+6) /* Instructions */
08:47:55 -!- Welo has joined.
08:49:27 <mroman> I'd strongly suspect you can translate brainfuck programs to it somehow
08:49:33 <mroman> brainfuck programs with finite tape
08:50:07 <mroman> the tape is just a sequence of s
08:53:47 <HackEgo> [wiki] [[Talk:☃]] N https://esolangs.org/w/index.php?oldid=46144 * Mroman * (+241) Created page with "== Ideas for translating brainfuck to ☃ == <pre> >s v s (ptr) >s v >s v >s v ^ ^ ^ ^ v -n-n-n-n..."
08:54:12 <mroman> http://esolangs.org/wiki/Talk:%E2%98%83
08:56:52 <mroman> 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 <mroman> and emulate a stack for brainfuck's []
09:19:06 -!- Welo has quit (Quit: Leaving).
09:20:15 <myname> 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 <J_Arcane> 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 <J_Arcane> 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 <mroman> myname: how so?
10:50:58 <myname> 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 <HackEgo> [wiki] [[Control Flow]] https://esolangs.org/w/index.php?diff=46145&oldid=45771 * Mroman * (+210) /* Coroutines */
11:20:21 <HackEgo> [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 <HackEgo> [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 <mroman> hm
11:52:18 -!- MDream has changed nick to MDude.
11:52:47 <mroman> would it make sense to re-use the heat of waste water?
11:52:51 <mroman> like when you shower
11:53:09 <mroman> you heat up lots of water, then it goes down the pipse to the sewage system as warm water
11:53:32 <mroman> 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 <mroman> seems like it's already done in some parts of the world
12:02:42 <b_jonas> `wisdom
12:02:56 <HackEgo> glogbot/glogbot is a snitch, don't trust it.
12:06:54 <boily> `? b_jonas
12:06:55 <HackEgo> b_jonas? ¯\(°​_o)/¯
12:07:02 <boily> *gasp8
12:07:06 <boily> s/8/*/
12:09:02 -!- J_Arcane has joined.
12:09:10 <J_Arcane> 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 <J_Arcane> 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 <MDude> https://archive.org/details/AllAboutPolymorphics
12:56:55 <int-e> shocking, people missed me...
12:59:08 <J_Arcane> 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 <int-e> fun. https://panel.cloudatcost.com is down.
13:09:50 <izabera> 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 <coppro> does anyone know of an algorithm whose existence is proven, but whose correctness is undecideable?
13:41:38 <coppro> I know such a thing exists and I might decide to publish a paper about it eventually
13:43:54 <izabera> does it have to do something useful?
13:44:24 <coppro> No.
13:44:47 <coppro> it just needs to be an algorithm
13:47:18 <izabera> take an undecidable problem, flip a coin, sum how many times the coin is head times the problem is true
13:47:49 <coppro> what problem does that solve?
13:48:06 <izabera> counting how many times the coin is head times the problem is true
13:48:30 <coppro> that doesn't work
13:48:43 <coppro> the algorithm can't compute the undecideable problem
13:49:28 <izabera> it doesn't have to find an answer to that
13:50:49 <coppro> yes it does
13:51:12 <coppro> otherwise it doesn't know what number to multiply by
13:52:07 -!- MoALTz_ has joined.
13:52:19 <b_jonas> 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 <coppro> haha
13:53:04 -!- mauris has joined.
13:53:50 <b_jonas> The first question is serious.
13:53:56 <b_jonas> The second, not so.
13:54:41 -!- MoALTz has quit (Ping timeout: 246 seconds).
14:10:49 <haavard> Question about M:tG. Why does Wizards hate blue?
14:11:36 <b_jonas> haavard: they don't.
14:14:14 <b_jonas> They actually like blue, but in a tricky non-obvious way, the way blue prefers.
14:14:15 <coppro> ^^
14:14:54 -!- andrew has quit (Remote host closed the connection).
14:15:25 <b_jonas> 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 <haavard> And yet the only viable blue decks in modern are Twin and Infect
14:17:10 <haavard> I'm just sad my blue modern decks aren't overpowered
14:18:25 <coppro> see, there's your problem
14:19:31 <b_jonas> haavard: isn't that because other people have access to blue as well?
14:23:00 <haavard> No, it's because other people have access to things like Arcbound Ravager and Collected Company
14:24:11 <b_jonas> haavard: aren't the artifact decks with Arcbound Ravager partly blue by default?
14:24:50 <haavard> A couple Thoughcasts doesn't count as blue
14:25:34 <b_jonas> 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 <haavard> I don't think you understand
14:25:53 <haavard> I'm not winning with *my* decks, so I'm blaming Wizards for it
14:26:13 <b_jonas> 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 <haavard> One playset of blue? What deck is that?
14:30:01 <b_jonas> haavard: not a very good one. elf control, with 4 Elvish Guidance and 4 Distant Melody.
14:31:18 <haavard> 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 <b_jonas> `wisdom
15:19:21 <HackEgo> narutoverse/narutoverse is a place where they haven't heard of having a bus factor of >1. Sgeo drives the bus.
15:19:34 <b_jonas> fungot, do you drive buses?
15:37:51 -!- J_Arcane has joined.
15:41:13 <mroman> recordmydesktop is horribly slow
15:42:14 <mroman> yeah too slow
15:42:21 <mroman> it'd take hours to encode a few minutes of desktop session
15:42:25 <vanila> hi J_Arcane
15:42:32 <J_Arcane> jo
15:45:16 -!- TieSoul has joined.
15:49:34 <int-e> 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 <int-e> mroman: so the server is up again for now... until the next fatal IO error
16:01:39 <int-e> (actually ssh was still working? it's hard to say, they may have had a routing problem as well.)
16:02:51 <int-e> 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 <fizzie> int-e: http://www.cloudatacost.com/mystory
16:14:01 <fizzie> (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 <int-e> fizzie: thanks, that about matches my expectations
16:34:15 -!- Welo has joined.
16:35:24 <int-e> 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 <mroman> :D
16:36:55 <FireFly> It took me way too long to notice the difference in the domain name, I was rather confused
16:38:53 <int-e> @tell boily I tend to do lambdabot maintenance when I update ghc... stackage is currently moving too fast for me.
16:38:53 <lambdabot> Consider it noted.
16:40:45 <int-e> I also didn't get any coding done over the holidays. Motivation is an issue...
16:40:53 <Taneb> 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 <J_Arcane> 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 <shachaf> `olist 1018
19:42:02 <HackEgo> 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 <izabera> name one program that uses getusershell()
20:06:53 <izabera> why do these interface even exist?
20:06:56 <izabera> interfaces*
20:20:26 -!- jaboja64 has changed nick to jaboja.
20:40:32 -!- jaboja has quit (Ping timeout: 276 seconds).
20:51:37 <b_jonas> shachaf: thanks
21:11:24 -!- lleu has quit (Quit: That's what she said).
21:17:20 <quintopia> b_jhellonas
21:28:30 -!- hppavilion[1] has quit (Ping timeout: 265 seconds).
21:32:39 -!- hppavilion[1] has joined.
21:44:12 <mauris> does order of the stick not have an RSS feed or something?
21:44:45 <shachaf> It does.
21:44:47 <mauris> 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 <vanila> iwc = i want cake
21:46:10 <shachaf> `` hg log bin/olist | grep date: | tail -n1
21:46:12 <HackEgo> date: Fri Jan 18 17:22:20 2013 +0000
21:46:15 <shachaf> `` hg log wisdom/nooodl | grep date: | tail -n1
21:46:17 <HackEgo> date: Wed May 08 19:44:48 2013 +0000
21:46:19 <shachaf> INCONCLUSIVE
21:47:41 <shachaf> `` hg log --keyword nooodl | grep date: | tail -n1
21:47:46 <HackEgo> date: Fri Nov 02 22:09:16 2012 +0000
21:47:50 <shachaf> `` hg log --keyword nooodl | grep summary: | tail -n1
21:47:53 <HackEgo> summary: <nooodl> 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 <mauris> wow
21:54:20 <shachaf> I thought mauris had been around forever.
21:54:34 -!- Phantom__Hoover has joined.
21:54:40 <mauris> (c) 1996
21:55:03 <shachaf> copyright?
21:55:20 <shachaf> oh man, and here i was, noodling around
21:57:14 -!- Phantom_Hoover has quit (Ping timeout: 245 seconds).
21:57:23 <b_jonas> mauris: tradition
21:57:45 <b_jonas> mauris: I call it the obell
21:58:06 <vanila> b_jonas, i was wondering why you don't like prince of persia 2?
21:58:40 <b_jonas> 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 <vanila> ah alright
21:59:09 <b_jonas> I just didn't invest time to learn it.
21:59:22 <b_jonas> I played other games instead, like Commander Keen.
22:01:12 <b_jonas> I quite like Commander Keen games.
22:02:58 <b_jonas> 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 <b_jonas> vanila: what video games do you like playing?
22:05:38 <vanila> i guess i like a lot of games, the last one i played was fez which was nice
22:05:54 <vanila> im trying to figure out some alternative input devices to play games with
22:06:04 <b_jonas> alternative to what?
22:06:09 <vanila> keyboard and mouse
22:06:36 <b_jonas> so like joystick, a steering wheel and pedals, or touchscreen (eww)?
22:06:39 <vanila> right now working on playing go via speech recognition
22:06:52 <b_jonas> ah, for go that's certainly possible
22:07:47 <zzo38> To me, keyboard is fine as the input device, especially if the controls for the game can be remapped
22:07:56 <vanila> zzo38, i got RSI
22:08:22 <b_jonas> 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 <vanila> 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 <b_jonas> 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 <b_jonas> as well as steering wheel of course
22:14:45 <zzo38> 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 <b_jonas> And sure, I like when controls in the game are customizable.
22:15:56 <b_jonas> 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 <mauris> commander keen!!!
22:17:51 <mauris> <3
22:31:43 -!- TieSoul has quit (Remote host closed the connection).
22:32:14 <int-e> teddy! garg!
22:38:32 <int-e> ah, found them. http://www.welovedosgames.net/resizeimagereal.php?PLAATJE=images/games/keen1_14.png&w=640&h=480
22:39:05 <int-e> hmm, without the resizing, http://www.welovedosgames.net/images/games/keen1_14.png
22:42:52 <b_jonas> int-e: um, is that from a real level?
22:43:24 <mauris> it's the bottom of the huge optional maze level isn't it?
22:44:09 <int-e> b_jonas: yes
22:44:15 <b_jonas> http://www.shikadi.net/keenwiki/Red_Maze_City ? doesn't look like
22:44:44 <b_jonas> oh!
22:44:49 <b_jonas> it's http://www.shikadi.net/keenwiki/Vorticon_Commander%27s_Castle
22:44:51 <b_jonas> the final level
22:45:01 <b_jonas> I see
22:46:47 <int-e> 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 <mauris> hmm, i don't recall you can get there without one... let me try
22:54:00 <int-e> 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 <int-e> it's easy enough to get there... just two levels...
22:57:00 -!- boily has joined.
23:04:04 <boily> @metar CYUL
23:04:05 <lambdabot> 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 <boily> @metar CYUL
23:05:19 <lambdabot> CYUL 112200Z 27016G25KT 15SM FEW040 FEW240 M10/M18 A2986 RMK SC1CI1 SC TR CI TR SLP117
23:05:28 <boily> aurgh. I want my 112300Z!
23:05:34 <boily> @massages-loud
23:05:34 <lambdabot> 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 <boily> int-e: int-ello. tdh.
23:09:20 -!- Melvar has quit (Ping timeout: 245 seconds).
23:09:51 -!- Melvar has joined.
23:12:29 <boily> @metar CYUL
23:12:29 <lambdabot> CYUL 112300Z 29017G22KT 15SM FEW040 FEW240 M10/M19 A2990 RMK SC1CI1 SC TR CI TR SLP130
23:12:32 <boily> ah!
23:15:33 <shachaf> @metar KOAK
23:15:33 <lambdabot> KOAK 112253Z 29008KT 10SM OVC038 14/09 A3027 RMK AO2 SLP250 T01390094
23:16:39 <boily> is it me, or is it perpetually +14 in shachafland?
23:16:54 <shachaf> @metar KSJC
23:16:54 <lambdabot> 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 <shachaf> @metar KSFO
23:17:08 <lambdabot> KSFO 112256Z 00000KT 10SM BKN038 BKN060 13/09 A3027 RMK AO2 SLP249 T01280089
23:17:11 <shachaf> p. much
23:17:20 <shachaf> +14 is pretty good, though +20 or +23 would be better
23:25:26 -!- oerjan has joined.
23:26:24 <boily> @metar ENVA
23:26:24 <lambdabot> ENVA 112320Z 08015KT CAVOK M04/M12 Q0998 RMK WIND 670FT 08016KT
23:26:46 <oerjan> bohily. it felt colder than it is, today.
23:27:02 <oerjan> @metar CYUL
23:27:02 <lambdabot> CYUL 112300Z 29017G22KT 15SM FEW040 FEW240 M10/M19 A2990 RMK SC1CI1 SC TR CI TR SLP130
23:28:14 <shachaf> hoerjan
23:28:29 <shachaf> what did what's-his-name mean about the vampires twh
23:29:15 -!- spiette has quit (Quit: :qa!).
23:29:43 <fizzie> @metar EGLL
23:29:44 <lambdabot> EGLL 112320Z AUTO 27008KT 9999 SCT042 04/03 Q0990
23:33:16 <oerjan> 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 <FireFly> @metar ESSB
23:36:00 <lambdabot> ESSB 112320Z AUTO 08006KT 9999 UP BKN007/// OVC009/// 01/M00 Q0994
23:36:09 <FireFly> slashes
23:36:19 -!- Melvar has quit (Ping timeout: 260 seconds).
23:36:22 <shachaf> FireFly: you should fix up slashlearn twh
23:36:29 <FireFly> what is wrong with it?
23:36:35 <shachaf> le/rn should support le//rn
23:36:44 <FireFly> I don't speak perl
23:36:50 <FireFly> `file bin/le/rn
23:36:51 <HackEgo> bin/le/rn: ERROR: cannot open `bin/le/rn' (No such file or directory)
23:36:55 <shachaf> `file le/rn
23:36:56 <HackEgo> le/rn: symbolic link to `../bin/slashlearn'
23:36:57 <FireFly> oops.
23:37:05 <FireFly> `file bin/slashlearn
23:37:06 <HackEgo> bin/slashlearn: Bourne-Again shell script, UTF-8 Unicode text executable
23:37:08 <FireFly> hm.
23:37:11 <FireFly> `cat bin/slashlearn
23:37:12 <HackEgo> ​#!/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 <shachaf> instead of using cut you should use bash fanciness
23:37:26 <shachaf> `cat bin/mk
23:37:27 <HackEgo> ​[[ "$1" == ?*//* ]] || exit 1; key="${1%%//*}"; value="${1#*//}"; echo "$value" > "$key" && echo "$key"
23:37:28 <shachaf> like that
23:37:53 <FireFly> `culprits bin/slashlearn
23:37:56 <HackEgo> int-e tswett tswett shachaf shachaf shachaf shachaf
23:38:01 <int-e> . o O ( sed -i -e s/topic/toothpick/g bin/*learn )
23:38:16 <int-e> I did? hmm
23:38:39 -!- XorSwap has quit (Quit: Leaving).
23:38:39 <shachaf> `` hg log bin/slashlearn | grep summary:
23:38:44 <HackEgo> summary: <int-e> ` sed -i 1a\'[[ "$1" = */* ]] || exit\' bin/slashlearn \ summary: <shachaf> revert 5151 \ summary: <shachaf> ` sed -i -e \'3a [ -e wisdom/"$topic" ] && op=\'\\\'\'Overwrote\'\\\'\' || op=\'\\\'\'Wrote\'\\\'\'\' -e \'s/Learned/$op/\' bin/slashlearn \ summary: <shachaf> ` 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 <boily> voting buttons?
23:40:05 * FireFly leaves the shellery to someone more bash-proficient
23:40:24 <boily> s/shellery/celery/
23:40:35 <oerjan> boily: on the comics site i linked
23:41:05 <shachaf> no one's going to do it, huh?
23:41:57 <shachaf> and i can't even use mkx because it doesn't support newlines
23:42:07 <shachaf> never mind, i just won't use newlines
23:42:30 <oerjan> `` echo test//hi | cut -d // -f 2-
23:42:31 <HackEgo> cut: the delimiter must be a single character \ Try `cut --help' for more information.
23:42:37 <oerjan> was afraid of that.
23:42:49 <shachaf> just use the bash magic thing
23:43:05 <oerjan> funny thing, i don't know the bash magic thing.
23:43:15 <shachaf> well i quoted it above hth
23:43:19 <shachaf> `cat bin/mk
23:43:20 <HackEgo> ​[[ "$1" == ?*//* ]] || exit 1; key="${1%%//*}"; value="${1#*//}"; echo "$value" > "$key" && echo "$key"
23:44:03 <shachaf> `mkx le/test//echo "$0"
23:44:08 <HackEgo> le/test
23:44:12 -!- hppavilion[1] has joined.
23:44:14 <shachaf> `le/test
23:44:15 <HackEgo> ​/hackenv/le/test
23:44:16 <shachaf> `le//test
23:44:17 <HackEgo> ​/hackenv/le//test
23:44:23 <shachaf> `rm le/test
23:44:26 <HackEgo> No output.
23:44:31 <boily> le test, il a été supprimé.
23:44:44 <shachaf> le/cabot/du/chien
23:45:10 <boily> l'expression/régulière/du/cabot/du/chien.
23:45:33 <boily> time for some poutine, and/or a variation thereof.
23:45:41 -!- boily has quit (Quit: TWISTY CHICKEN).
23:49:20 <shachaf> `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 <HackEgo> bin/slashlearn
23:49:24 <shachaf> maybe something like that
23:49:38 -!- hppavilion[1] has quit (Ping timeout: 265 seconds).
23:51:05 <shachaf> `le/rn dahl/Royal Dahl is the king of Norway.
23:51:11 <HackEgo> ​/hackenv/le/rn: line 1: [: too many arguments \ Learned «dahl»
23:51:16 <shachaf> oops
23:51:17 <oerjan> `? dahl
23:51:19 <HackEgo> value
23:51:26 <oerjan> fncy
23:51:33 <shachaf> `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 <oerjan> `culprits wisdom/dahl
23:51:42 <HackEgo> shachaf int-e ais523 oerjan elliott Bike FreeFull Phantom_Hoover
23:51:44 <HackEgo> bin/slashlearn
23:51:51 <oerjan> wat
23:51:51 <shachaf> `le/rn dahl/Royal Dahl is the king of Norway.
23:51:55 <HackEgo> Learned «dahl»
23:52:39 <shachaf> `` find wisdom -type d
23:52:42 <HackEgo> wisdom \ wisdom/¯\(°_o) \ wisdom/¯\(°​_o) \ wisdom/le
23:53:04 * oerjan flogs shachaf for not testing if the wisdom exists first --~~~~~~
23:53:12 <shachaf> oerjan: i did test hth
23:53:18 <shachaf> 15:49 <shachaf> `? dahl
23:53:18 <shachaf> 15:49 <HackEgo> dahl dih dahl dahl
23:54:07 <oerjan> not in public tdnh
23:54:11 <shachaf> `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 <HackEgo> bin/slashlearn
23:54:20 <shachaf> oerjan: the dogs now howl?
23:54:24 <int-e> `? le
23:54:26 <HackEgo> cat: le: Is a directory
23:54:30 -!- Melvar has joined.
23:54:36 <int-e> `? le/rn
23:54:38 <HackEgo> le/rn makes creating wisdom entries manually a thing of the past.
23:54:41 <int-e> `? le//rn
23:54:43 <HackEgo> le/rn makes creating wisdom entries manually a thing of the past.
23:54:47 <int-e> :-P
23:55:09 <shachaf> `le/rn le/arn//lern 2 spel
23:55:12 <HackEgo> ​/hackenv/le/rn: line 1: wisdom/le: Is a directory
23:55:21 <shachaf> oops
23:55:29 <shachaf> `le//rn le/arn//lern 2 spel
23:55:31 <HackEgo> Learned «le/arn»
23:55:37 <shachaf> `? le/arn
23:55:38 <HackEgo> lern 2 spel
23:55:56 <shachaf> I'm considering adding mkdir -p but I feel like it might be a bad idea.
23:56:14 <int-e> wouldn't it be saner to map / to \1 for learning purposes...
23:56:41 <shachaf> what metric do you think HackEgo utilities are written to maximize?
23:57:00 <int-e> are you suggesting it's not sanity?
23:57:41 <int-e> realistically I think it's entertainment value, but sometimes short-term sanity increases long-term enjoyability
23:58:04 <shachaf> Feel free to make a version of le/rn that supports backslash-escaping
23:58:11 <shachaf> You should call it le\rn
23:58:34 <shachaf> oerjan: do you want to revert dahl et ahl.
23:58:40 <oerjan> no
23:58:59 <int-e> `? morse
23:59:00 <HackEgo> morse? ¯\(°​_o)/¯
23:59:05 <oerjan> it was an improvement, apart from the part where i had to do work to check hth
23:59:54 <shachaf> not even a swat for that one?
←2016-01-10 2016-01-11 2016-01-12→ ↑2016 ↑all