←2016-02-15 2016-02-16 2016-02-17→ ↑2016 ↑all
00:03:02 -!- deltab has quit (Ping timeout: 276 seconds).
00:03:22 -!- variable has quit (Quit: 1 found in /dev/zero).
00:09:41 -!- deltab has joined.
00:15:47 <izabera> firefox won't load a page that works in curl...
00:18:06 <izabera> yay get to use lynx
00:18:41 <izabera> aww it doesn't work in lynx
00:18:46 <olsner> if the page is on gopher, you might just need to install a firefox extension
00:18:55 <izabera> it's not ;-;
00:19:12 <izabera> it's the znc web interface on my server
00:20:08 <izabera> ah it's a https problem...
00:23:37 -!- MDude has joined.
00:23:38 -!- oerjan has joined.
00:27:46 -!- heroux has quit (Ping timeout: 240 seconds).
00:43:09 -!- heroux has joined.
00:51:42 -!- lambda-11235 has quit (Ping timeout: 252 seconds).
01:10:17 -!- adu has quit (Read error: Connection reset by peer).
01:12:07 -!- adu has joined.
01:13:17 -!- adu has quit (Client Quit).
01:17:04 -!- lambda-11235 has joined.
01:17:34 -!- jaboja64 has quit (Ping timeout: 256 seconds).
01:18:11 -!- heroux has quit (Ping timeout: 264 seconds).
01:18:40 -!- heroux has joined.
01:22:02 <hppavilion[1]> `? #esoteric
01:22:19 <HackEgo> ​#esoteric is the only channel that exists. monqy is its centroïd. It's about 30 m (100 ft) across.
01:23:28 <olsner> `le/rn_append #esoteric It's the calcified 2500 year old sanitary customs that are the source of the weirdness here.
01:23:30 <HackEgo> No output.
01:23:38 <olsner> `? #esoteric
01:23:39 <HackEgo> ​#esoteric is the only channel that exists. monqy is its centroïd. It's about 30 m (100 ft) across.
01:23:46 <olsner> hmm, someone used an append command the other day
01:23:49 <olsner> nm
01:24:25 <hppavilion[1]> olsner: FAIL
01:24:30 <hppavilion[1]> xD
01:25:23 <lifthrasiir> hppavilion[1]: to be fair, it was about 30 m across *when* it was about 50 ns old.
01:25:56 <hppavilion[1]> lifthrasiir: I had to look that up because I'm making a joke on another channel xD
01:25:59 <hppavilion[1]> I asked its dimensions
01:26:05 <hppavilion[1]> Just to confuse all present
01:26:23 -!- Guest33799 has changed nick to atslash.
01:26:50 <shachaf> I guess the / is too subtle.
01:26:53 <oerjan> olsner: hint: all the le/rn* commands require you to use a slash in them. except `le/nn which someone misguidedly added the other day.
01:26:57 -!- jaboja has joined.
01:27:12 <oerjan> also, there's `learn_append which doesn't.
01:27:12 <shachaf> `cat le/nn
01:27:13 <HackEgo> key=${1,,}; shift; cat <<< "${*,,}" > "wisdom/$key" && echo "Learned «$key»"
01:27:15 <shachaf> `culprits le/nn
01:27:42 <oerjan> `` mv le/nn bin/leann
01:27:43 <HackEgo> izabera izabera
01:27:46 <HackEgo> No output.
01:27:50 <oerjan> FIXED
01:28:09 <oerjan> (naming scheme needs work)
01:29:26 <shachaf> `cat ma/rx
01:32:27 <oerjan> `culprits bin/leann
01:32:29 -!- adu has joined.
01:32:29 <HackEgo> oerjan
01:32:58 <shachaf> now why would oerjan have written that script
01:33:21 -!- adu has quit (Client Quit).
01:33:23 * oerjan swats shachaf -----###
01:37:40 -!- madbr has joined.
01:38:48 <izabera> misguidedly?!
01:39:40 <oerjan> izabera: you made a `le/* command that doesn't use slashes tdnh
01:41:15 <izabera> you mean a usable command
01:41:30 * izabera best ui designer ever
01:41:39 <oerjan> it's the naming of the command i'm complaining about
01:41:55 <oerjan> also, it's only more useable if you insist on using ``
01:42:19 <oerjan> and it'll break with all kinds of special characters.
01:42:25 <izabera> nah
01:42:54 <oerjan> still misguided, i see
01:42:57 <izabera> no
01:43:31 <izabera> i can make it better
01:45:15 <oerjan> we used to use lots of `` echo >... stuff for special wisdoms.
01:45:52 <oerjan> they always required escaping stuff. and _any_ command that runs inside `` must intrinsically have the same problem.
01:46:01 <izabera> gimme a min
01:46:35 <oerjan> you can make space the separator, but then you cannot make keys with spaces in them.
01:46:45 <izabera> GIMME. A. MIN.
01:47:38 -!- adu has joined.
01:49:05 <izabera> `` printf '(($#==1)) && set -- "${1%% *}" "${1#* }"; key=${1,,}; shift; cat <<< "${*,,}" > "wisdom/$key" && echo "Learned «$key»"' > bin/leann
01:49:07 <HackEgo> No output.
01:49:38 <oerjan> izabera: btw you should use `mkx >:)
01:49:48 <shachaf> oerjan: oh, you just gave me an idea
01:49:55 <izabera> `learn oerjantest this is a test
01:49:58 <HackEgo> Learned 'oerjantest': oerjantest this is a test
01:50:05 <oerjan> wat
01:50:08 <shachaf> https://www.youtube.com/watch?v=oUUdW2bTa3Y
01:50:08 <oerjan> `? oerjantest
01:50:10 <izabera> i broke somthing
01:50:11 <HackEgo> oerjantest this is a test
01:50:29 <oerjan> izabera: you've just reimplemented _old_ `learn, before the improvements.
01:50:37 <izabera> 1 sec plz
01:51:13 <izabera> `rm wisdom/oerjantest
01:51:14 <oerjan> sweet, sweet despair
01:51:15 <HackEgo> No output.
01:52:05 <izabera> oh wait
01:52:12 <izabera> i used `learn instead of `leann
01:52:19 <izabera> `leann oerjantest this is a test
01:52:22 <HackEgo> Learned «oerjantest this is a»
01:52:27 <izabera> shit
01:52:29 <izabera> `rm wisdom/oerjantest
01:52:30 <HackEgo> rm: cannot remove `wisdom/oerjantest': No such file or directory
01:52:38 <izabera> shit^2
01:52:42 <izabera> `rm wisdom/oerjantest this is a
01:52:44 <HackEgo> No output.
01:52:57 * izabera very noob
01:53:23 <shachaf> `cat bin/run
01:53:23 <HackEgo> echo run run run
01:53:25 <shachaf> what's all this?
01:53:29 <shachaf> `culprits bin/run
01:53:32 <HackEgo> tswett tswett tswett tswett Lyrissa Lyrissa Lyrissa Roujo Roujo elliott elliott FreeFull elliott Gregor elliott
01:54:50 <izabera> i don't understand
01:55:10 <izabera> that code looks ok...
01:56:36 <izabera> `` leann 'test-test-test-test test test test'
01:56:44 <HackEgo> Learned «test-test-test-test test test»
01:56:48 <izabera> whyy
01:56:52 <izabera> what am i doing wrong
01:57:03 <izabera> `rm wisdom/test-test-test-test test test
01:57:06 <HackEgo> No output.
01:57:39 <izabera> `` echo $BASH_VERSION
01:57:40 <HackEgo> 4.2.37(1)-release
01:58:40 <izabera> `` f () { (($#==1)) && set -- "${1%% *}" "${1#* }"; echo "<$1><$2>"; }; f "a b c d e f"
01:58:41 <HackEgo> ​<a><b c d e f>
01:58:46 <izabera> that's correct
01:58:52 <izabera> so wtf is happening
01:59:28 <izabera> `` f () { (($#==1)) && set -- "${1%% *}" "${1#* }"; key=$1; shift; echo "<$key><$*>"; }; f "a b c d e f"
01:59:30 <HackEgo> ​<a><b c d e f>
01:59:36 <izabera> still correct
01:59:55 -!- andrew_ has joined.
02:00:34 -!- Phantom_Hoover has quit (Read error: Connection reset by peer).
02:01:16 <izabera> `` f () { (($#==1)) && set -- "${1%% *}" "${1#* }"; key=${1,,}; shift; echo "Learned «$key»"; }; f "a b c d e f"
02:01:17 <HackEgo> Learned «a»
02:01:36 <izabera> i give up, everything looks correct
02:04:11 <shachaf> `` >bin/cmd echo -e '#!/bin/bash\ncut -d "" -f 3 < /proc/$1/cmdline'; chmod +x /tmp/hmm
02:04:13 <HackEgo> chmod: cannot access `/tmp/hmm': No such file or directory
02:04:20 <shachaf> `` chmod +x bin/cmd
02:04:22 <HackEgo> No output.
02:04:31 <shachaf> `` cmd $$
02:04:32 <HackEgo> cmd $$
02:04:39 <shachaf> `` cmd $$ # content
02:04:40 <HackEgo> cmd $$ # content
02:05:22 <izabera> didn't know that cut uses \0 as a delimiter when you specify ""
02:05:47 <shachaf> `run cmd $$ # oops
02:05:48 <HackEgo> 290
02:06:57 <shachaf> `` >bin/cmd echo -e '#!/bin/bash\npid="$PPID"\n[ -n "$1" ] && pid="$1"; cut -d "" -f 3 < /proc/$pid/cmdline'
02:07:00 <HackEgo> No output.
02:07:05 <shachaf> `` cmd
02:07:06 <HackEgo> cmd
02:08:30 <shachaf> Now you can put definitions in comments without needing to escape.
02:09:11 <shachaf> You might have to parse bash syntax for it, though.
02:09:49 <shachaf> `run cat /proc/$$/cmdline # hmm
02:09:50 <HackEgo> cat./proc/290/cmdline.
02:09:58 <shachaf> `run cat /proc/$PPID/cmdline # hmm
02:09:59 <HackEgo> sh.-c.'env' 'PATH=/hackenv/bin:/opt/python27/bin:/opt/ghc/bin:/usr/bin:/bin' 'HACKENV=/hackenv' 'http_proxy=http://127.0.0.1:3128' 'LANG=en_NZ.UTF-8' '/home/hackbot/hackbot.hg/multibot_cmds/lib/limits' 'bash' '-c' 'cat /proc/$PPID/cmdline # hmm' | cat.
02:10:09 <shachaf> I guess you can make it work.
02:10:38 <shachaf> `run cat /proc/$PID/cmdline # This is what I was doing wrong.
02:10:39 <HackEgo> initrd=/usr/bin/../lib/umlbox/umlbox-initrd.gz ubda=/tmp/27380.conf mem=256M con1=null,fd:3 con2=fd:5,fd:8 con=null,null root=98:0
02:11:12 <shachaf> `run cat /proc/cmdline
02:11:12 <HackEgo> initrd=/usr/bin/../lib/umlbox/umlbox-initrd.gz ubda=/tmp/27471.conf mem=256M con1=null,fd:3 con2=fd:5,fd:8 con=null,null root=98:0
02:12:16 -!- XorSwap has joined.
02:13:55 -!- adu has quit (Quit: adu).
02:15:19 <hppavilion[1]> Lambda Nomic is working well :)
02:21:23 -!- adu has joined.
02:23:37 -!- adu has quit (Client Quit).
02:34:18 -!- jaboja has quit (Ping timeout: 250 seconds).
02:37:44 -!- XorSwap has quit (Ping timeout: 276 seconds).
02:46:39 -!- Opodeldoc_ has quit (Quit: Leaving).
02:47:02 -!- Opodeldoc has joined.
02:59:49 -!- Froo has joined.
03:02:36 -!- Froox has quit (Ping timeout: 252 seconds).
03:06:56 -!- heroux has quit (Ping timeout: 256 seconds).
03:07:41 -!- nisstyre has joined.
03:10:36 -!- nisstyre has quit (Changing host).
03:10:36 -!- nisstyre has joined.
03:24:16 -!- heroux has joined.
03:26:48 -!- Sprocklem has joined.
04:24:04 <hppavilion[1]> Here's an idea for a little software suite I could distribute
04:24:10 <hppavilion[1]> hp's HTTP Server Utils
04:24:47 <hppavilion[1]> Basically, it's a pastebin/online IDE(?)/etc all rolled into a single convenient server
04:28:23 -!- adu has joined.
04:32:28 <hppavilion[1]> hadu
04:32:39 <hppavilion[1]> adu: I'm working on λ-nomic's LISP language
04:32:45 <adu> hi
04:33:24 -!- Melvar` has joined.
04:33:27 <hppavilion[1]> adu: What do you think I need in the stdlib? What should I do for control flow?
04:33:36 -!- idris-bot has quit (Ping timeout: 250 seconds).
04:33:37 <adu> what does "λ-nomic" mean?
04:34:21 <hppavilion[1]> adu: It's an online computerized implementation of Nomic
04:34:29 <hppavilion[1]> FOSS
04:34:34 <hppavilion[1]> Probably
04:34:58 -!- Melvar has quit (Ping timeout: 240 seconds).
04:35:14 <adu> hppavilion[1]: a google search for "lambdanomics" gives 0 results
04:35:23 <hppavilion[1]> adu: I haven't published it yet
04:35:36 <adu> then how am I supposed to know?
04:35:43 <hppavilion[1]> adu: Well I would talk to you
04:35:51 <adu> is it FP based?
04:35:57 <hppavilion[1]> adu: FP?
04:36:01 <adu> functional programming
04:36:08 <hppavilion[1]> Freepl- ah
04:36:16 <hppavilion[1]> Yes, it's a LISPy language to be exact
04:36:42 <hppavilion[1]> I currently have basic arithmetic, bitwise, comparators, `stdout`, and `progn`
04:37:17 <adu> for, map, fold-left, fold-right, filter, and-map, or-map, are a good place to start
04:37:19 <hppavilion[1]> The base ruleset is available here: http://206.174.0.58/lambda/rules with helper functions here: http://206.174.0.58/lambda/funcs
04:37:38 <hppavilion[1]> adu: But that's a rough draft, if you have any criticism of my design style, just tell me
04:37:52 <adu> damnit, i forgot about for-all and for-any
04:38:03 <hppavilion[1]> adu: ?
04:38:08 <hppavilion[1]> adu: Ah, yes
04:38:16 <hppavilion[1]> It isn't quite functional
04:38:26 <hppavilion[1]> (Though forall is similar to map)
04:38:29 <adu> "for" would probably be called "for-each" in that case
04:38:34 <hppavilion[1]> adu: OK
04:38:53 <adu> in my world, for-all returns true if f(x) is true for all elements of the input
04:38:56 -!- Melvar`` has joined.
04:39:03 <hppavilion[1]> adu: Ah
04:39:05 <adu> in my world, for-each returns void, always
04:39:41 <adu> but in all other aspects, is equivalent to map
04:40:27 <adu> and-map is defined here:
04:40:28 <adu> https://docs.racket-lang.org/reference/pairs.html#%28def._%28%28lib._racket%2Fprivate%2Fmap..rkt%29._andmap%29%29
04:40:38 <adu> and or-map:
04:40:38 <adu> https://docs.racket-lang.org/reference/pairs.html#%28def._%28%28lib._racket%2Fprivate%2Fmap..rkt%29._ormap%29%29
04:41:10 -!- Melvar` has quit (Ping timeout: 272 seconds).
04:41:18 <adu> hppavilion[1]: is that too much info?
04:41:43 <hppavilion[1]> adu: Nope
04:42:22 <adu> andmap/ormap are useful in defining things like is-alpha? and is-digit? on both characters and strings
04:43:31 <adu> also useful in defining (<=) applied to arbitrary lists
04:43:48 <hppavilion[1]> adu: Ooooh
04:44:27 <adu> andmap is very useful
04:45:47 -!- Sgeo has quit (Ping timeout: 276 seconds).
04:48:53 <adu> I might be using scheme-names, because I am more familiar with scheme, but I know that lisp progn is the same as scheme begin
04:52:13 <adu> oh, and for-any returns true if there exists an x in the input such that f(x) is true
04:52:36 <hppavilion[1]> adu: Implmeented
04:52:47 <adu> hppavilion[1]: all of them? even filter?
04:53:05 <hppavilion[1]> adu: I mean and-map and or-map
04:53:08 <adu> ah ok
04:53:23 <hppavilion[1]> (is there no xor-map, nand-map, nor-map, and xnor-map? xD)
04:53:33 <adu> no, that would just be silly
04:53:40 <hppavilion[1]> adu: Would it REALLY?
04:53:47 <hppavilion[1]> adu: How about add-map?
04:53:52 <adu> http://clhs.lisp.se/Body/f_boole.htm
04:54:21 <adu> that's a Common Lisp function that implements every possible 2-argument binary operation on the booleans
04:54:21 <hppavilion[1]> Which uses the truth table used by bin+bin
04:54:31 <adu> that's just silly
04:54:41 <hppavilion[1]> adu: This is #esoteric
04:54:45 <adu> :)
04:56:21 <adu> actually, you could probably implement for-all and for-any with and-map/or-map
04:59:45 -!- heroux has quit (Ping timeout: 240 seconds).
05:00:01 -!- perrier_ has quit (Remote host closed the connection).
05:01:16 -!- Guest9703 has joined.
05:01:53 -!- heroux has joined.
05:03:38 <oerjan> adu: just by the names, i'd have guessed they were the same thing
05:04:10 <adu> oerjan: they're probably the same for 1 list
05:04:44 <adu> http://www.r6rs.org/final/html/r6rs-lib/r6rs-lib-Z-H-4.html
05:04:49 <adu> n/m, they're both n-ary
05:05:22 <hppavilion[1]> adu: So is there anything I did wrong with the rules I set forth?
05:05:29 <hppavilion[1]> (I really like to set things forth)
05:05:53 -!- jix has quit (Remote host closed the connection).
05:06:37 <adu> hppavilion[1]: it's usually more efficient to iterate once, test twice, than to iterate twice with a single test
05:07:36 <hppavilion[1]> adu: In what function/rule did I do that?
05:07:44 <adu> hppavilion[1]: the first two
05:07:49 <hppavilion[1]> adu: Ah
05:07:57 <oerjan> adu: yeah, seem identical
05:09:00 -!- Sprocklem has quit (Ping timeout: 250 seconds).
05:09:05 <adu> I would do something like (let ((x (lowercase (lastmessage (player))))) (cond ((= x "i register") ...) ((= x "i leave") ... )))))
05:09:06 <hppavilion[1]> adu: I don't see it in the first rule :/
05:09:29 <hppavilion[1]> Oh!
05:09:37 <hppavilion[1]> You want me to merge the rules!
05:09:39 <hppavilion[1]> I can do that
05:10:37 <adu> do you have "let" in your language?
05:10:55 <adu> if not, you could totally implement it with lambda
05:11:18 <adu> ((lambda (x) ...) (lowercase (lastmessage (player))))
05:13:15 <\oren\> WTF is everything down!?!?!
05:13:34 <adu> \oren\: Rackspace as been having a temper tantrum
05:13:50 <\oren\> google is down, rt is down, nhl is down, but irc is still up somehow?
05:14:09 <adu> google isn't down, are you sure it's not your DNS?
05:14:28 <\oren\> maybe my dns is down
05:14:43 <adu> \oren\: would you like some DNS ip addresses?
05:14:57 <\oren\> sure
05:16:48 <adu> Google: 8.8.8.8, 8.8.4.4, OpenDNS: 208.67.222.222, 208.67.220.220, Verizon: 75.75.75.75, 75.75.76.76
05:16:48 <hppavilion[1]> adu: OK
05:17:01 <hppavilion[1]> adu: I haven't implemented let, but I'm still designing the language
05:17:30 <hppavilion[1]> \oren\: Up is Down
05:17:32 <hppavilion[1]> hth
05:22:09 <adu> \oren\: that's my personal order, the most reliable is opendns (also in my opinion, the quickest latency), google the next reliable, and verizon is a piece of crap, but easy to remember
05:31:14 -!- Sgeo has joined.
05:33:09 -!- Sgeo_ has joined.
05:36:28 -!- Sgeo has quit (Ping timeout: 276 seconds).
05:57:23 <adu> \oren\: did it work?
06:01:28 -!- \oren\ has quit (Ping timeout: 256 seconds).
06:02:44 <hppavilion[1]> adu: DAMN YOU, adu!
06:02:55 <adu> what did I do?
06:03:04 <hppavilion[1]> adu: Notice hat \oren\ has quite
06:03:06 <hppavilion[1]> *quit
06:03:10 <hppavilion[1]> Clearly, it did not work
06:03:14 -!- \oren\ has joined.
06:03:22 <hppavilion[1]> Oh, maybe it did
06:03:33 <hppavilion[1]> \oren\: That was about you, ftr
06:03:45 <adu> or maybe it did work, and he could finally access Pr0n, which might by why he left
06:05:00 <hppavilion[1]> adu: That's probably it
06:05:38 <adu> I'm not saying that's the reason, it's just a theory
06:06:00 <hppavilion[1]> adu: A PR0N theory
06:06:01 <\oren\> well that fixed it up real good
06:06:05 <\oren\> I changed the dns settings on ym router from Bell's crapped out wervers to the opendns and 8.8.8.8
06:06:07 <hppavilion[1]> Thanks so much for watching
06:06:08 <\oren\> that's the last time some scarborough hoopleheads screw up my personal internet
06:06:13 <adu> lolol
06:06:44 <oerjan> famous last words indead
06:06:45 * adu <3 opendns
06:07:03 <hppavilion[1]> <pyon> hppavilion[1]: What exaxctly is a “hardware SQL table”?
06:07:10 <adu> you're supposed to pay them if you use it commercially
06:07:18 * oerjan notes his ominous typo
06:07:44 <hppavilion[1]> <PlanckWalk> A wooden table with the words SQL etched into it.
06:07:47 <adu> but opendns doesn't define "commercially" so I use it at work on 2 whole servers
06:08:01 <hppavilion[1]> oerjan: communismily
06:09:19 <hppavilion[1]> adu: Could you help me test λ-nomic when it's up and running?
06:09:50 <adu> hppavilion[1]: sure
06:09:56 <hppavilion[1]> adu: TY
06:09:58 <adu> if my cat isn't an issue
06:10:27 <hppavilion[1]> adu: It probably won't be
06:10:42 <hppavilion[1]> adu: Besides, your cat will probably be living on a farm by the time I've got it working xD
06:10:47 <adu> my cat is crazy, but mostly, I like blaming animate objects
06:11:36 <hppavilion[1]> adu: The big part I have to do is hack together an interface between a user-based chat client (similar to IRC) and my rule API
06:11:46 <hppavilion[1]> Also, get functions working in λ-nomic LISP
06:11:56 <adu> I can get functions to function
06:12:03 <hppavilion[1]> adu: xD
06:12:27 <hppavilion[1]> adu: But will your functional function implementation be functional? Or imperative?
06:13:05 -!- MDude has changed nick to MDream.
06:13:28 <hppavilion[1]> adu: Also, I have to design the entire website... and figure out authentication (though that'll be after testing)
06:13:32 <hppavilion[1]> Wow, this is a big project
06:13:37 <adu> hppavilion[1]: I'm hindered by writing many sofwares in Haskell, I cannot think imperatively anymore
06:14:03 <hppavilion[1]> adu: That must be weird. Not for you, but for anybody who visits the inside of your head.
06:14:42 <adu> hence, my first task in any imperative language is to define map, filter, etc.
06:15:01 <hppavilion[1]> adu: Great xD
06:15:20 <hppavilion[1]> adu: What about designing lists?
06:15:35 <hppavilion[1]> "My first task in any imperative language is to define an implementation of Haskell"
06:15:52 <hppavilion[1]> - The Doctor
06:16:53 -!- jaboja has joined.
06:17:54 <myname> i approve of that
06:22:25 <lambda-11235> hppavilion[1]: Doctor who?
06:22:31 <hppavilion[1]> lambda-11235: Yes.
06:26:30 -!- lambda-11235 has quit (Quit: WeeChat 1.4).
06:26:43 <adu> hppavilion[1]: designing?
06:27:09 <hppavilion[1]> adu: ?
06:27:20 <hppavilion[1]> Design the website?
06:27:26 <adu> hppavilion[1]: adu: What about designing lists?
06:27:28 <hppavilion[1]> What about it?
06:27:33 <hppavilion[1]> Ah
06:27:37 <hppavilion[1]> I meant defining
06:27:41 <adu> oh
06:27:43 <myname> adu: implementing lazyness in imperative languages could be quite the challenge
06:27:46 <adu> defining?
06:28:14 <adu> myname: the way that Python does it, is you have a class, and a method called __next__()
06:28:15 <myname> lists are easy
06:28:23 <hppavilion[1]> adu: YOu define map, filter, etc. But what about the lists they operate on? LTIC, C doesn't include homogenous unbounded lists as a builtin
06:28:33 <myname> well yeah, do that in C
06:28:49 <adu> myname: _myclass_next_()
06:29:55 <myname> you have to rewrite anything iterating
06:30:06 <myname> it's possible, of course
06:30:21 <myname> i like rusts lists
06:30:28 * adu <3 Rust
06:30:38 <adu> Mozilla is genious
06:30:39 <hppavilion[1]> adu <3 many things
06:30:43 <hppavilion[1]> Must be Cupid
06:30:47 <hppavilion[1]> St. Cupid
06:30:48 <hppavilion[1]> xD
06:30:51 * adu </3 Microsoft
06:31:05 <adu> Microsoft is stupid
06:31:26 <myname> rust is like the most a haskell programmer can wish for in an imperative language
06:31:26 <lifthrasiir> so does many other companies
06:31:28 <lifthrasiir> do*
06:31:52 <lifthrasiir> nowadays Microsoft is *less* stupid than it used to be I believe
06:31:56 <adu> Apple is stupid too, but I haven't found a company that makes sexy hardware with Linux preinstalled...
06:32:46 <adu> so I run tha MacOSX version of Oracle VirtualBox to run my favorite linuxes
06:33:16 <myname> for a while i really thought about buying an arm notebook
06:33:30 <myname> but they suck as much as x64 notebook do
06:33:31 <adu> myname: examples?
06:34:02 <adu> https://www.xi3.com/desktops/x7a-modular-computer
06:34:20 <adu> this is my favorite desktop computer, and you can select Linux to be preinstalled
06:34:42 <myname> what i basically want is: <=12", full hd or better, vaio like keyboard, trackpoint
06:34:45 <adu> it's a 4x4x4 cube
06:34:56 <myname> desktops are easy
06:35:27 <adu> This is still my ideal desktop: http://www.apple.com/mac-pro/
06:36:03 <myname> the basic trick is to not care wether linux is preinstalled or not
06:36:14 <myname> the preinstalled linux will probably suck
06:36:23 <adu> myname: just delete everything and install it anyways?
06:36:30 <myname> yeah
06:36:41 <adu> you *can* install linux on macpro
06:36:47 -!- heroux has quit (Ping timeout: 264 seconds).
06:37:40 <myname> i am not at all interested in desktops
06:37:50 <adu> myname: My personal beef is with *subsidising* the purchase of windows along with whatever PC hardware I get
06:38:30 <myname> hardware with windows can actually be cheaper
06:38:46 <adu> I don't want to give any money to microsoft, even if it's only $50 of the cost of a laptop, or whatever
06:39:39 <myname> there are a lot of laptops for which microsoft actually pays to get windows on it
06:40:04 <pikhq_> adu: That link to the "x7a modular computer" has a bad cert. I ain't looking.
06:40:04 <adu> myname: hmm, that might be useful
06:40:25 <adu> sorry, feel free to not look
06:40:39 <adu> I'm not trying to sell xi3, I just think they make cute computers
06:42:12 <adu> apple is probably more hip with the Google-Chrome-will-outlaw-Sha1-in-a-month policy
06:42:24 <pikhq_> In this case, the cert was *expired*.
06:45:44 -!- heroux has joined.
06:46:48 <hppavilion[1]> YES!
06:46:51 <hppavilion[1]> GOT FUNCTIONS WORKING!
06:47:07 * hppavilion[1] raises his hand to adu for a high five
06:47:27 * adu gves hppavilion[1] a high 5
06:54:57 * zgrep gives adu a high C
06:58:35 <zgrep> I'm going to need it back, though. Some time tomorrow.
07:00:43 * adu gives zgrep it back
07:01:03 <zgrep> But I don't have space for it, yet!
07:01:08 * zgrep hands it back to adu
07:07:26 -!- andrew_ has quit (Remote host closed the connection).
07:09:44 -!- andrew_ has joined.
07:10:43 -!- heroux has quit (Ping timeout: 276 seconds).
07:14:41 -!- tromp__ has quit (Remote host closed the connection).
07:19:57 -!- heroux has joined.
07:23:45 <hppavilion[1]> adu: I'm back, though I suppose you don't realize I was gone
07:23:58 <adu> hppavilion[1]: i didnt
07:24:07 <hppavilion[1]> adu: Well I am, and I was xD
07:24:28 <hppavilion[1]> adu: If you like, you can design your own ruleset for λ-nomic and I'll implement it
07:24:47 <hppavilion[1]> Perhaps something less... bare bones than mine xD
07:25:01 <hppavilion[1]> (Though then again, starting bare bones IS sort of the point, but...)
07:29:55 <adu> well, anymap/ormap aren't really barebones, because they can be descibed with map and and
07:30:39 <adu> but then again "map" isn't barebones either, because it can be described with "pair" (I think the common lisp term for this is cons, same as scheme) and recursion
07:35:49 -!- hppavilion[2] has joined.
07:40:38 -!- hppavilion[1] has quit (Ping timeout: 276 seconds).
07:40:47 <hppavilion[2]> adu: No, I mean the ruleset is barebones
07:40:59 <hppavilion[2]> adu: The ruleset is the rules the players follow, not the langauge
07:41:05 <adu> for general mmorgp?
07:42:36 <adu> no, you also need "requestop", which would get a password from you, and "kick", which would allow admins to kcik stupid players for being stupid
07:42:57 <hppavilion[2]> adu: No, for Nomic
07:43:06 <adu> what's nomic?
07:43:10 <hppavilion[2]> adu: ...
07:43:19 <hppavilion[2]> Nomic is a game for making up rules
07:43:27 <hppavilion[2]> It's the game that I sent you the scripts for
07:43:34 <hppavilion[2]> The ones in LISP
07:43:35 <adu> you sent me 3 paragraphs
07:43:40 <hppavilion[2]> adu: Of scripts
07:43:46 <hppavilion[2]> adu: Those are game rules
07:43:53 <hppavilion[2]> adu: The actual backend code is in Python
07:43:59 <adu> right, but players are stupid, you need to kick them sometimes
07:44:12 <hppavilion[2]> adu: In the game, the objective is to modify those scripts to make the game more fun
07:44:14 <hppavilion[2]> adu: Good point
07:44:34 <adu> hppavilion[2]: I think I understand this better than you do
07:44:36 -!- Vorpal has quit (Ping timeout: 256 seconds).
07:44:45 <hppavilion[2]> adu: You don't even know what Nomic is xD
07:44:53 <adu> hppavilion[2]: correct
07:45:08 <hppavilion[2]> https://en.wikipedia.org/wiki/Nomic
07:45:15 <hppavilion[2]> Read that and you will understand
07:45:36 <hppavilion[2]> adu: The LISP is the rules of the game, not the code that drives the game
07:45:48 <adu> hppavilion[2]: http://angryorchard.com/our-ciders/cider-house-collection/the-legend-of-the-muse
07:46:09 <hppavilion[2]> Most of the code is in Python, but the game is in LISIP
07:46:10 <hppavilion[2]> *LISP
07:46:13 <adu> hppavilion[2]: that's what I'm drinking right now
07:46:29 -!- kragniz has quit (Ping timeout: 276 seconds).
07:46:49 -!- kragniz has joined.
07:48:37 -!- jix has joined.
07:49:22 -!- Vorpal has joined.
07:49:50 -!- oerjan has quit (Quit: Latör).
07:50:26 -!- jaboja has quit (Ping timeout: 252 seconds).
07:50:50 -!- hppavilion[2] has quit (Ping timeout: 256 seconds).
07:50:55 -!- hppavilion[1] has joined.
07:51:05 <hppavilion[1]> That was weird
07:51:27 <adu> hppavilion[1]: the IRC split? or my cider recommendation?
07:51:49 <hppavilion[1]> adu: Oh, is that what happened?
07:51:49 <hppavilion[1]> I wasn't on for the cider recommendation
07:52:08 <adu> adu: hppavilion[2]: http://angryorchard.com/our-ciders/cider-house-collection/the-legend-of-the-muse
07:54:55 <hppavilion[1]> adu: So do you understand Nomic now?
07:57:27 <adu> hppavilion[1]: there are rules that allow you to change rules.
07:57:47 <hppavilion[1]> adu: Yes
07:57:54 <hppavilion[1]> adu: And I'm automating it
07:58:18 <adu> hppavilion[1]: Do you understand CAH?
07:58:29 <hppavilion[1]> adu: Nope
07:58:38 <hppavilion[1]> adu: My internet's down
07:58:48 <adu> hppavilion[1]: how are you here?
07:58:49 <hppavilion[1]> adu: But IRC still works
07:58:57 <hppavilion[1]> (Deja vu)
07:59:02 <hppavilion[1]> adu: The internet is connecting, but I can't load any webpages
07:59:17 <hppavilion[1]> I probably have the same DNS as \oren\ xD
08:00:01 <adu> https://50.87.23.105/
08:00:47 <hppavilion[1]> adu: My connection is not secure
08:01:01 <hppavilion[1]> adu: Should.... should I click it?
08:01:22 <hppavilion[1]> Oh, it's Cards Against Humanity
08:01:27 <adu> that's because the SSL cert is associated with the domain name, which is not in the URL because you are having DNS issues
08:01:36 <hppavilion[1]> Huh, that loaded
08:03:07 <adu> hppavilion[1]: are you using opendns/google/verizon?
08:03:19 <hppavilion[1]> adu: I don't know if it's my DNS
08:03:23 <hppavilion[1]> Or did you confirm it was?
08:03:58 <adu> hppavilion[1]: DNS settings are usually stored in RAM or HD, which I don't have access to
08:04:22 <hppavilion[1]> adu: And how do I access that?
08:04:29 <adu> hppavilion[1]: what OS?
08:04:31 <hppavilion[1]> adu: Well the link could've been you confirming...
08:04:36 <hppavilion[1]> Windows
08:04:39 <hppavilion[1]> 10
08:06:09 <adu> Windows 10: "Network Connection" / "Properties" / "Internet Protocol Version 4" / "Use the following DNS server addresses" / Enter IP addresses
08:09:02 <hppavilion[1]> adu: OK, switched it to OpenDNS w/ alt google
08:09:13 <adu> hppavilion[1]: very wise
08:09:16 <hppavilion[1]> Took a slightly different path because I couldn't find the root
08:09:29 <hppavilion[1]> But it appears to be the correct interface
08:09:36 <hppavilion[1]> It worked
08:09:42 <adu> hppavilion[1]: that's because Windows is stupid
08:09:46 <hppavilion[1]> Thank you adu
08:09:48 <hppavilion[1]> :)
08:10:14 <adu> you should use Linux, but if I took my own advice, then I wouldn't be using Mac, which I am
08:11:26 <adu> hppavilion[1]: the root was supposed to be "Start Menu", but I realise that may not exist anymore
08:11:34 <hppavilion[1]> Ah
08:11:46 <hppavilion[1]> adu: I tried to get Linux working, but I couldn't
08:12:04 <adu> I tried to find "Start Menu" on Windows 8 once, and I spent about 3 hours, with no luck
08:12:46 <adu> then I googled it, and found out it's in the top-left corner mouseover
08:15:13 -!- tromp_ has joined.
08:18:55 <hppavilion[1]> adu: They brought it back for 10, at least
08:19:14 <adu> hppavilion[1]: I had no idea, but thanks for the info
08:19:42 -!- tromp_ has quit (Ping timeout: 265 seconds).
08:20:47 <adu> what would be really cool, is if every operating system had a directory, like /etc, where all configuration was stored
08:24:29 -!- adu has quit (Quit: adu).
08:26:44 -!- heroux has quit (Ping timeout: 248 seconds).
08:26:51 <hppavilion[1]> TMW you read "humor" as "horror"
08:27:33 -!- heroux has joined.
08:29:40 -!- Treio has quit (Ping timeout: 252 seconds).
08:33:55 <hppavilion[1]> Here's an idea for a stupid game
08:34:07 <hppavilion[1]> The x86-style opcode card game
08:36:38 <hppavilion[1]> My new second-favourite wiki: http://www.dvorakgame.co.uk
08:40:43 -!- madbr has quit (Quit: Pics or it didn't happen).
08:40:58 <hppavilion[1]> Call of Cthulhu + x86 opcodes + card game
08:43:14 <hppavilion[1]> Call of x86: The Card Game
08:51:47 -!- gniourf has quit (Read error: Connection reset by peer).
09:13:02 -!- AnotherTest has joined.
09:15:00 -!- gniourf has joined.
09:38:41 -!- andrew_ has quit (Remote host closed the connection).
09:39:15 -!- heroux has quit (Ping timeout: 240 seconds).
09:39:18 -!- andrew_ has joined.
09:39:39 -!- heroux has joined.
09:48:33 -!- AnotherTest has quit (Ping timeout: 240 seconds).
09:49:36 -!- J_Arcane has quit (Ping timeout: 252 seconds).
09:53:14 -!- heroux has quit (Ping timeout: 276 seconds).
09:55:30 -!- hppavilion[1] has quit (Ping timeout: 256 seconds).
10:01:23 -!- heroux has joined.
10:12:11 -!- heroux has quit (Ping timeout: 264 seconds).
10:24:58 -!- heroux has joined.
10:49:49 -!- bender|_ has joined.
10:54:22 -!- bender|_ has changed nick to bender.
11:00:35 -!- clog has quit (Ping timeout: 260 seconds).
11:09:11 -!- heroux has quit (Ping timeout: 264 seconds).
11:09:51 -!- heroux has joined.
11:16:29 -!- tromp_ has joined.
11:20:48 -!- tromp_ has quit (Ping timeout: 250 seconds).
11:23:20 -!- heroux has quit (Ping timeout: 272 seconds).
11:27:13 -!- heroux has joined.
11:34:44 -!- boily has joined.
11:43:22 -!- clog has joined.
11:45:27 <boily> @metar CYUL
11:45:27 <lambdabot> CYUL 161138Z 02011KT 1 1/2SM -SN OVC015 M07/M09 A2992 RMK SN5SC3 SLP135
12:09:19 -!- J_Arcane has joined.
12:11:07 -!- AnotherTest has joined.
12:18:28 <fizzie> @metar EGLL
12:18:29 <lambdabot> EGLL 161150Z AUTO 19009KT 160V240 9999 NCD 06/01 Q1035 NOSIG
12:18:35 <fizzie> It's a fine day.
12:18:45 <fizzie> As far as weather goes, anyway.
12:20:27 <b_jonas> `ctof 36.4
12:20:37 <b_jonas> `wisdom
12:20:40 <HackEgo> 36.40°C = 97.52°F
12:20:45 <HackEgo> anagram/Interestingly, "Robert Galbraith" is *not* an anagram of "J. K. Rowling".
12:21:43 <fizzie> `ftoc 0
12:21:45 <HackEgo> 0.00°F = -17.78°C
12:25:41 <boily> fizziello. later today CYUL will be about the same as EGLL.
12:26:16 -!- boily has quit (Quit: SPACESHIP CHICKEN).
12:26:52 <fizzie> Oh no, UK and Canada are going to merge? Sounds drastic.
12:29:06 -!- andrew_ has quit (Ping timeout: 252 seconds).
12:43:23 -!- heroux has quit (Ping timeout: 264 seconds).
12:43:59 -!- Melvar`` has changed nick to Melvar.
12:44:12 <b_jonas> `? canada
12:44:15 <HackEgo> Canada is Big Scotland. Like, you know, very big.
12:44:30 <fizzie> Integrated circuit.
12:45:54 -!- heroux has joined.
12:58:26 -!- bender has quit (Ping timeout: 252 seconds).
12:59:04 -!- bender has joined.
13:40:37 -!- tromp_ has joined.
14:06:19 -!- J_Arcane has quit (Remote host closed the connection).
14:10:30 -!- Treio has joined.
14:20:08 -!- `^_^v has joined.
14:28:06 -!- idris-bot has joined.
14:43:34 <b_jonas> `? scotland
14:43:48 <HackEgo> ​<Phantom_Hoover> it's that place where they all wear kilts and chase haggises around whilst warding off the loch ness monster with bagpipes
14:54:59 -!- lambda-11235 has joined.
14:58:55 <b_jonas> `? sweden
14:58:57 <b_jonas> `? UK
14:59:00 <HackEgo> Sweden is the suburb capital of Norway. It's where all the Nobel prizes are announced, except the Math Prize.
14:59:00 <HackEgo> UK? ¯\(°​_o)/¯
14:59:06 <b_jonas> `? Norway
14:59:07 <HackEgo> Norway is the suburb capital of Sweden. It's where the Nobel Peace Prize is announced.
15:00:21 <fizzie> `? Finland
15:00:22 <HackEgo> Finland is a European country. There are two people in Finland, and at least nine of them are in this channel. Corun drives the bus.
15:01:15 <fizzie> Well, for completeness.
15:01:19 <fizzie> `? Denmark
15:01:20 <HackEgo> Denmark? ¯\(°​_o)/¯
15:01:22 <fizzie> `? Iceland
15:01:23 <HackEgo> Iceland? ¯\(°​_o)/¯
15:01:25 <fizzie> Aw.
15:01:34 <\oren\> `? canada
15:01:35 <HackEgo> Canada is Big Scotland. Like, you know, very big.
15:01:43 <\oren\> oh right
15:01:44 <Taneb> Don't you love it when you go to a lecturer's office to ask a question about an edge case in an algorithm described in a module he teaches, and his response is "I don't know, but it doesn't actually matter"
15:01:55 <\oren\> rrgh
15:12:46 -!- MDream has changed nick to MDude.
15:18:11 -!- AnotherTest has quit (Ping timeout: 264 seconds).
15:19:00 -!- Treio has quit (Ping timeout: 248 seconds).
15:28:35 -!- bender has quit (Ping timeout: 240 seconds).
15:35:22 -!- AnotherTest has joined.
15:36:08 -!- Treio has joined.
15:37:01 -!- Treio has quit (Remote host closed the connection).
15:42:20 -!- AnotherTest has quit (Ping timeout: 260 seconds).
15:46:29 -!- atslash has quit (Quit: This computer has gone to sleep).
15:57:57 -!- lambda-11235 has quit (Quit: WeeChat 1.4).
16:12:57 -!- spiette has joined.
16:14:36 -!- ski____ has quit (Ping timeout: 252 seconds).
16:21:32 <int-e> Taneb: No I wouldn't love it.
16:21:54 <int-e> Taneb: It's okay to not know, but it's not ok not to care.
16:21:57 -!- ski has joined.
16:24:57 <FireFly> `? Scandinavia
16:25:03 <HackEgo> Scandinavia? ¯\(°​_o)/¯
16:29:59 <quintopia> hint-e
16:30:12 <int-e> @uptime
16:30:13 <lambdabot> uptime: 1m 11d 20h 51m 38s, longest uptime: 1m 11d 20h 51m 38s
16:30:34 <quintopia> wow
16:33:33 -!- LexiciScriptor has joined.
16:34:59 <int-e> perhaps I should finally do some lb maintenance... with ghc 8.0.1 on the doorstep...
16:36:26 -!- XorSwap has joined.
16:36:53 -!- XorSwap has quit (Read error: Connection reset by peer).
16:37:17 -!- XorSwap has joined.
16:38:08 <HackEgo> [wiki] [[Condit]] M https://esolangs.org/w/index.php?diff=46408&oldid=42127 * LegionMammal978 * (+13) /* External resources */
16:43:48 -!- ski has quit (Ping timeout: 272 seconds).
16:46:06 -!- Lord_of_Life has quit (Excess Flood).
16:48:06 -!- Lord_of_Life has joined.
16:55:27 -!- ski has joined.
17:02:54 <b_jonas> `? japan
17:02:57 <HackEgo> japan? ¯\(°​_o)/¯
17:03:09 <b_jonas> `? bohemia
17:03:10 <HackEgo> bohemia? ¯\(°​_o)/¯
17:11:22 <int-e> `? geography
17:11:24 <HackEgo> geography? ¯\(°​_o)/¯
17:21:41 -!- tromp_ has quit (Remote host closed the connection).
17:27:35 -!- XorSwap has quit (Ping timeout: 276 seconds).
17:33:25 -!- jix has quit (Quit: Lost terminal).
17:36:18 <b_jonas> `? physics
17:36:20 <HackEgo> physics? ¯\(°​_o)/¯
17:36:22 <b_jonas> `wisdom
17:36:25 <HackEgo> koen/Koen vit au haut de la Tour Eiffel (coordonnées approximatives).
17:38:22 -!- nycs has joined.
17:39:13 -!- jix has joined.
17:39:18 <b_jonas> `? star wars
17:39:19 <HackEgo> star wars? ¯\(°​_o)/¯
17:39:20 <b_jonas> `? harry potter
17:39:21 <HackEgo> harry potter? ¯\(°​_o)/¯
17:39:53 -!- `^_^v has quit (Ping timeout: 265 seconds).
17:46:44 <izabera> i just hacked a server o.o
17:47:44 <izabera> sdf.org gives you a small shell if you donate $1 or more
17:48:06 <izabera> if you don't, you still get a limited sorta-shell with like 6 commands
17:48:37 <izabera> one of these commands is faq
17:49:00 <izabera> and it's an interactive program that asks things and you type things in it
17:49:16 <izabera> and i received some error messages that were very shell-like
17:49:40 <izabera> then i found a thing that gave an error that was obviously a shell math error
17:49:52 <izabera> so i tried array[$(somecmd >&2)]
17:49:55 <izabera> and it works
17:50:12 <izabera> and you can use array[$(bash >&2)]
17:50:17 <izabera> so i now have a shell worth 1$
17:50:27 <izabera> because of my awesome hacking skills
17:53:16 * izabera fixes their script...
17:53:25 <shachaf> `olist 1024
17:53:26 <HackEgo> olist 1024: shachaf oerjan Sgeo FireFly boily nortti b_jonas
17:53:34 <b_jonas> oh
17:53:39 <b_jonas> let me look
17:54:03 <b_jonas> olist: also, the news page is updated today
17:54:09 <b_jonas> with GOOD news
17:55:07 <shachaf> Gumroad is scow.
17:55:54 <shachaf> And when you send an email to complain about their user interface (to accomplish a simple transaction I have to read the source code to their web page and do some reverse engineering), they don't really care.
17:56:40 <b_jonas> shachaf: yeah, their web interface sucks, just like so many webpages these days
17:58:40 <b_jonas> oh... vampire shenenigans
17:59:09 <b_jonas> I suspected that would come up somehow, but I didn't guess it was this way
18:00:47 <b_jonas> do you think the restriction works for public places too? or only private homes and closed places like churches?
18:00:56 <b_jonas> in the stickiverse that is
18:00:57 <b_jonas> hmm
18:01:11 <b_jonas> maybe it works for "homes", and the dwarven homeland counts as one?
18:08:29 <shachaf> b_jonas: whoa whoa whoa, spoilers
18:08:34 <shachaf> i haven't read it yet
18:09:30 <shachaf> b_jonas: Here's a puzzle: Start at https://gumroad.com/richburlew , and try to send a gift copy of a PDF.
18:10:00 <shachaf> (Oh, they've made it somewhat easier since last time I tried.)
18:14:05 <shachaf> b_jonas: What vampire shenanigans?
18:22:11 -!- tromp_ has joined.
18:27:22 -!- tromp_ has quit (Ping timeout: 276 seconds).
18:34:38 -!- Treio has joined.
18:38:04 -!- Treio has quit (Remote host closed the connection).
18:38:51 -!- Treio has joined.
18:41:42 -!- Treio has quit (Remote host closed the connection).
18:41:52 -!- Phantom_Hoover has joined.
18:47:49 <b_jonas> shachaf: they're mentioned in the forum too. D&D rules says (based on some legends) that a vampire is unable to enter to a home unless he is invited by the owners.
18:48:47 <b_jonas> shachaf: http://www.d20srd.org/srd/monsters/vampire.htm Vampires “are utterly unable to enter a home or other building unless invited in by someone with the authority to do so. They may freely enter public places, since these are by definition open to all.”
18:50:19 <b_jonas> That's why a vampire often has to hide that it's a vampire.
19:00:44 <b_jonas> The ironic part is of course that vampire Durkon will regenerate his mother's missing arm, and pay from Durkon's money, to convince the dwarves that he's still Durkon.
19:00:50 -!- lynn has joined.
19:04:33 <b_jonas> And Durkon will thank him just like how O-Chul thanked Belkar.
19:07:09 -!- earendel has joined.
19:07:57 -!- Treio has joined.
19:12:36 -!- AnotherTest has joined.
19:13:15 -!- lambda-11235 has joined.
19:14:20 -!- Treio_ has joined.
19:14:35 -!- Treio has quit (Ping timeout: 264 seconds).
19:32:24 -!- Alcedo has joined.
19:34:15 -!- lambda-11235 has quit (Ping timeout: 240 seconds).
19:35:08 -!- Alcedo has left.
19:41:47 -!- lambda-11235 has joined.
19:45:51 -!- hppavilion[1] has joined.
19:45:52 <hppavilion[1]> I'm ba-ack!
19:58:43 <izabera> http://jebbush.com
20:03:36 -!- jaboja has joined.
20:05:56 -!- J_Arcane has joined.
20:11:15 -!- lambda-11235 has quit (Ping timeout: 260 seconds).
20:13:15 -!- lleu has quit (Ping timeout: 240 seconds).
20:15:39 -!- lleu has joined.
20:15:40 -!- lleu has quit (Changing host).
20:15:40 -!- lleu has joined.
20:22:46 -!- tromp_ has joined.
20:27:38 -!- tromp_ has quit (Ping timeout: 276 seconds).
20:29:20 -!- Treio_ has quit (Ping timeout: 260 seconds).
20:38:57 -!- oerjan has joined.
21:05:51 <oerjan> <lambdabot> uptime: 1m 11d 20h 51m 38s, longest uptime: 1m 11d 20h 51m 38s <-- ooh
21:05:56 <oerjan> @uptime
21:05:56 <lambdabot> uptime: 1m 12d 1h 27m 22s, longest uptime: 1m 12d 1h 27m 22s
21:06:04 <oerjan> @botsnack
21:06:04 <lambdabot> :)
21:07:46 <oerjan> `? japan
21:07:57 <HackEgo> japan? ¯\(°​_o)/¯
21:12:48 <oerjan> `learn Japan is so far from Finland. However, like Finland, it is so close to Russia, and quite a long way from Cairo. It's much fewer miles from Vietnam than Finland is.
21:12:57 <HackEgo> Learned 'japan': Japan is so far from Finland. However, like Finland, it is so close to Russia, and quite a long way from Cairo. It's much fewer miles from Vietnam than Finland is.
21:13:26 <oerjan> oops
21:14:04 <oerjan> `learn Japan is so far from Finland. However, like Finland, it is so near to Russia, and quite a long way from Cairo. It's much fewer miles from Vietnam than Finland is.
21:14:08 <HackEgo> Learned 'japan': Japan is so far from Finland. However, like Finland, it is so near to Russia, and quite a long way from Cairo. It's much fewer miles from Vietnam than Finland is.
21:14:37 <oerjan> `learn Japan is so far from Finland. However, like Finland, it is so near to Russia, and quite a long way from Cairo. It's many fewer miles from Vietnam than Finland is.
21:14:41 <HackEgo> Learned 'japan': Japan is so far from Finland. However, like Finland, it is so near to Russia, and quite a long way from Cairo. It's many fewer miles from Vietnam than Finland is.
21:14:51 <oerjan> accuracy is hard.
21:15:37 <shachaf> so far so good
21:19:44 <oerjan> `? star wars
21:19:45 <HackEgo> star wars? ¯\(°​_o)/¯
21:22:30 <oerjan> `le/rn star wars/Star Wars was a missile defence system invented by Ronald Reagan. With it, he managed to destroy the Soviet Union, then rode into the sunset.
21:22:32 <HackEgo> Learned «star wars»
21:26:51 <oerjan> `? russia
21:26:52 <HackEgo> russia? ¯\(°​_o)/¯
21:28:31 <oerjan> `learn Russia is a country so huge it manages to be near to both Finland and Japan. It used to be part of the Soviet Union before Ronald Reagan destroyed it.
21:28:33 <HackEgo> Learned 'russia': Russia is a country so huge it manages to be near to both Finland and Japan. It used to be part of the Soviet Union before Ronald Reagan destroyed it.
21:28:47 <oerjan> `learn Russia is a country so huge it manages to be so near to both Finland and Japan. It used to be part of the Soviet Union before Ronald Reagan destroyed it.
21:28:50 <HackEgo> Learned 'russia': Russia is a country so huge it manages to be so near to both Finland and Japan. It used to be part of the Soviet Union before Ronald Reagan destroyed it.
21:29:22 <oerjan> `? the them
21:29:24 <HackEgo> Information on the THEM has been removed for national security reasons.
21:33:18 <oerjan> `le/rn soviet union/In ancient history, the Soviet Union used to be The THEM. They believed in absurd principles like "Better Red than Dead". Then Ronald Reagan invented Star Wars to destroy it, after which there seemed to be no The THEM for a while.
21:33:22 <HackEgo> Learned «soviet union»
21:33:58 <shachaf> `? ronald reagan
21:33:59 <HackEgo> ronald reagan? ¯\(°​_o)/¯
21:35:13 -!- hppavilion[1] has quit (Ping timeout: 276 seconds).
21:36:34 <oerjan> `le/rn ronald reagan/Ronald Reagan was an actor so great he managed to convince the US that he was the President. Then he created the Star Wars project to destroy the Soviet Union.
21:36:36 <HackEgo> Learned «ronald reagan»
21:36:52 <oerjan> `le/rn ronald reagan/Ronald Reagan was an actor so great that he managed to convince the US that he was the President. Then he created the Star Wars project to destroy the Soviet Union.
21:36:55 <HackEgo> Learned «ronald reagan»
21:37:43 <shachaf> oerjan: makes sense that a star would create Star Wars
21:38:07 <oerjan> indeed
21:39:00 <oerjan> hm
21:39:20 <oerjan> `le/rn soviet union/In ancient history, the Soviet Union used to be the THEM. They believed in absurd principles like "Better Red than Dead". Then Ronald Reagan invented Star Wars to destroy it, after which there seemed to be no the THEM for a while.
21:39:23 <HackEgo> Learned «soviet union»
21:39:26 -!- hppavilion[1] has joined.
21:49:00 <b_jonas> `? j
21:49:01 <HackEgo> j? ¯\(°​_o)/¯
21:49:03 <b_jonas> `? haskell
21:49:05 <HackEgo> Unbound implicit parameter (?haskell::Wisdom) \ arising from a use of implicit parameter `?haskell'
21:49:12 -!- p34k has joined.
21:49:42 <b_jonas> `? C
21:49:43 <HackEgo> C is the language of��V�>WIד�.��Segmentation fault
21:49:46 <b_jonas> `? K
21:49:47 <HackEgo> K K K Ken
21:49:48 <b_jonas> `? J
21:49:49 <HackEgo> J? ¯\(°​_o)/¯
21:49:53 <b_jonas> `? R
21:49:55 <HackEgo> R? ¯\(°​_o)/¯
21:50:04 -!- lynn has quit (Ping timeout: 256 seconds).
21:51:02 <shachaf> `? them
21:51:04 <HackEgo> them? ¯\(°​_o)/¯
21:51:08 <shachaf> `? the them
21:51:09 <HackEgo> Information on the THEM has been removed for national security reasons.
21:51:13 <shachaf> oerjan: what happened to national security twh
21:53:37 <b_jonas> `? C++
21:53:38 <HackEgo> Along with C, C++ is a language for smart people.
21:53:41 <b_jonas> `? octave
21:53:43 <HackEgo> octave? ¯\(°​_o)/¯
21:53:46 <b_jonas> `? rust
21:53:47 <b_jonas> `? go
21:53:48 <HackEgo> Rust is C++ as designed by the makers of Haskell.
21:53:49 <HackEgo> Go is a common verbal game programming language invented by the Germanic Taneb tribes in the strategic territories of East Asia.
21:53:50 <b_jonas> `? golang
21:53:51 <HackEgo> golang? ¯\(°​_o)/¯
21:54:19 <b_jonas> `? ruby
21:54:20 <HackEgo> Ruby is a programming language from Japan, that Eventually decided to support non-ascii characters.
21:54:20 <b_jonas> `? perl
21:54:22 <HackEgo> Perl is the Perfect Emacs Rewriting Language
21:54:23 <b_jonas> `? python
21:54:24 <HackEgo> python? ¯\(°​_o)/¯
21:54:25 <b_jonas> `? php
21:54:26 <HackEgo> php is the PigeonHole Principle
21:54:45 <b_jonas> `? C#
21:54:47 <HackEgo> C Pound is Java's good twin.
21:54:55 <b_jonas> `? java
21:54:56 <HackEgo> java is a programming-language shaped collection of misfeatures
21:55:00 <b_jonas> `? .net
21:55:01 <HackEgo> ​.net? ¯\(°​_o)/¯
21:55:02 <oerjan> shachaf: i could tell you, but then i would have to kill you.
21:55:05 <b_jonas> `? basic
21:55:07 <HackEgo> basic? ¯\(°​_o)/¯
21:55:16 <b_jonas> `? him
21:55:17 <HackEgo> him? ¯\(°​_o)/¯
21:55:31 <b_jonas> `? he
21:55:32 <HackEgo> he? ¯\(°​_o)/¯
21:55:32 <b_jonas> `? sh
21:55:33 <HackEgo> sh? ¯\(°​_o)/¯
21:55:33 <b_jonas> `? she]
21:55:34 <HackEgo> she]? ¯\(°​_o)/¯
21:55:36 <b_jonas> argh
21:55:37 <b_jonas> `? she
21:55:38 <HackEgo> she? ¯\(°​_o)/¯
21:55:43 <b_jonas> `` ls wisdom/sh*
21:55:44 <HackEgo> wisdom/shachaf \ wisdom/shiasdayviaerqjjjjjjjj \ wisdom/shikhin
21:56:01 <b_jonas> `? shiasdayviaerqjjjjjjjj
21:56:02 <HackEgo> shiasdayviaerqjjjjjjjj is the reason why the USA don't use the metric system.
21:56:04 <shachaf> help
21:56:17 <b_jonas> shachaf: go on
21:56:21 <oerjan> shachaf: oh, the fact that the SU was the THEM in the past is not secret hth
21:56:33 <b_jonas> `` ls wisodm/he*
21:56:34 <HackEgo> ls: cannot access wisodm/he*: No such file or directory
21:56:39 <b_jonas> `` ls wisodm/h*
21:56:40 <HackEgo> ls: cannot access wisodm/h*: No such file or directory
21:56:46 <b_jonas> `` ls wisdom/h*
21:56:48 <HackEgo> wisdom/haar measure \ wisdom/hackego \ wisdom/hagb4rd \ wisdom/haiku \ wisdom/halfling \ wisdom/hallucination \ wisdom/ham \ wisdom/hand \ wisdom/hari \ wisdom/hash 2346ad27d7568ba9896f1b7da6b5991251debdf2 \ wisdom/haskell \ wisdom/haskell' \ wisdom/hat \ wisdom/hax0r \ wisdom/heck \ wisdom/heh \ wisdom/hello \ wisdom/helsinki \ wisdom/herbalist \
21:56:55 <b_jonas> `? haar measure
21:56:56 <HackEgo> A Haar measure is what Dutch people use to find out how long their hair is.
21:57:08 <shachaf> `culprits wisdom/haar measure
21:57:10 <b_jonas> `? h[e-~]
21:57:17 <HackEgo> mauris_
21:57:17 <HackEgo> h[e-~]? ¯\(°​_o)/¯
21:57:22 <b_jonas> `` ls -d wisdom/h[e-~]
21:57:24 <HackEgo> ls: cannot access wisdom/h[e-~]: No such file or directory
21:57:28 <b_jonas> wha
21:57:38 <b_jonas> `` ls -d wisdom/h[e-~]*
21:57:40 <HackEgo> ls: cannot access wisdom/h[e-~]*: No such file or directory
21:57:43 <b_jonas> huh
21:57:43 <myname> `? haskell'
21:57:45 <HackEgo> Unbound implicit parameter (?haskell::Wisdom) \ arising from a use of implicit parameter `?haskell'
21:57:55 <myname> well
21:58:03 <b_jonas> um
21:58:09 <b_jonas> `` ls -d wisdom/h[e-}]*
21:58:11 <HackEgo> ls: cannot access wisdom/h[e-}]*: No such file or directory
21:58:15 <b_jonas> I don't get it
21:58:36 <b_jonas> but there's a wisdom/hello, why does it not match?
21:58:48 <b_jonas> oh
21:58:57 <b_jonas> ``` ls -d wisdom/h[e-~]* # classic
21:58:59 <HackEgo> wisdom/heck \ wisdom/heh \ wisdom/hello \ wisdom/helsinki \ wisdom/herbalist \ wisdom/hexchat \ wisdom/hexham \ wisdom/hipchat \ wisdom/hmph \ wisdom/hockey \ wisdom/holy water \ wisdom/hom-set \ wisdom/homestuck \ wisdom/horse \ wisdom/hovercraft \ wisdom/hppavilion1 \ wisdom/hppavilion[1] \ wisdom/htdh \ wisdom/hth \ wisdom/hthmonoid \ wisdom/hth
21:59:07 <b_jonas> ``` ls -d wisdom/h[!-d]* # classic
21:59:08 <HackEgo> wisdom/haar measure \ wisdom/hackego \ wisdom/hagb4rd \ wisdom/haiku \ wisdom/halfling \ wisdom/hallucination \ wisdom/ham \ wisdom/hand \ wisdom/hari \ wisdom/hash 2346ad27d7568ba9896f1b7da6b5991251debdf2 \ wisdom/haskell \ wisdom/haskell' \ wisdom/hat \ wisdom/hax0r \ wisdom/heck \ wisdom/heh \ wisdom/hello \ wisdom/helsinki \ wisdom/herbalist \
21:59:57 <b_jonas> huh? why does that cover he*
22:00:03 <b_jonas> e is before d
22:00:09 <b_jonas> after d
22:00:10 <b_jonas> um
22:00:13 <b_jonas> you know
22:00:23 <b_jonas> oh
22:00:28 <b_jonas> ``` ls -d wisdom/h[ -d]* # classic
22:00:29 <HackEgo> ls: invalid option -- ']' \ Try `ls --help' for more information.
22:00:35 <b_jonas> ``` ls -d wisdom/h[\ -d]* #
22:00:36 <HackEgo> wisdom/haar measure \ wisdom/hackego \ wisdom/hagb4rd \ wisdom/haiku \ wisdom/halfling \ wisdom/hallucination \ wisdom/ham \ wisdom/hand \ wisdom/hari \ wisdom/hash 2346ad27d7568ba9896f1b7da6b5991251debdf2 \ wisdom/haskell \ wisdom/haskell' \ wisdom/hat \ wisdom/hax0r
22:00:47 <b_jonas> the bang negates the character set
22:00:49 <b_jonas> in bash
22:01:02 <b_jonas> `? holy water
22:01:04 <HackEgo> Holy water is water made by boiling the hell out of Spain.
22:01:08 <b_jonas> `? conic
22:01:09 <HackEgo> conic? ¯\(°​_o)/¯
22:01:26 <b_jonas> `? hovercraft
22:01:28 <HackEgo> a-é-ro-g-liss-e-ur. If you mention eels, you'll get smacked with one of them in a most unappropriate manner.
22:01:36 <b_jonas> `? python
22:01:37 <HackEgo> python? ¯\(°​_o)/¯
22:02:24 <b_jonas> ``` ls -d wisdom/t*
22:02:25 <HackEgo> wisdom/tadpole \ wisdom/tanea \ wisdom/taneb \ wisdom/tanebvention \ wisdom/tanebventory \ wisdom/tapeworm \ wisdom/tautology \ wisdom/tdh \ wisdom/tdnh \ wisdom/tdt \ wisdom/terminal symbol \ wisdom/termite \ wisdom/test \ wisdom/tetrapleur \ wisdom/thanks ants \ wisdom/thausiblee \ wisdom/the \ wisdom/the meaning of life \ wisdom/the neverending
22:02:35 <b_jonas> ``` ls -d wisdom/t[h-~]*
22:02:36 <HackEgo> wisdom/thanks ants \ wisdom/thausiblee \ wisdom/the \ wisdom/the meaning of life \ wisdom/the neverending work \ wisdom/the question \ wisdom/the reals \ wisdom/the them \ wisdom/the torus \ wisdom/the u \ wisdom/the universe \ wisdom/the us \ wisdom/things boily likes \ wisdom/thirt \ wisdom/this \ wisdom/this sentence \ wisdom/thwackamacallit \ w
22:02:56 <b_jonas> ``` ls -d wisdom/t{h[w-~]*,[i-~]}
22:02:57 <HackEgo> ls: cannot access wisdom/t[i-~]: No such file or directory \ wisdom/thwackamacallit \ wisdom/thyme
22:03:08 <b_jonas> ``` ls -d wisdom/t{h[w-~]*,[i-~]*}
22:03:09 <HackEgo> wisdom/thwackamacallit \ wisdom/thyme \ wisdom/til \ wisdom/tisc \ wisdom/tmnh \ wisdom/tmns \ wisdom/tmyk \ wisdom/tomfoolery \ wisdom/topology \ wisdom/torus \ wisdom/transformer \ wisdom/translater \ wisdom/treant \ wisdom/treaty \ wisdom/treefolk \ wisdom/trick \ wisdom/trisecting the angle \ wisdom/tswett \ wisdom/tur \ wisdom/turing \ wisdom/
22:03:17 <b_jonas> ``` ls -d wisdom/t[u-~]*
22:03:18 <HackEgo> wisdom/tur \ wisdom/turing \ wisdom/turkey \ wisdom/tvtropes \ wisdom/twh \ wisdom/twhib \ wisdom/twitter \ wisdom/twnh \ wisdom/twoducks \ wisdom/type system
22:03:35 <b_jonas> `? the reals
22:03:37 <HackEgo> The reals are an overt complete ordered Brazilian currency invented by Taneb in 1994.
22:03:42 <b_jonas> `? this
22:03:43 <HackEgo> this is a word
22:03:58 <b_jonas> `? tomfoolery
22:04:00 <HackEgo> tomfoolery is always factually inaccurate. always.
22:04:02 <b_jonas> `? treant
22:04:03 <HackEgo> Treants are genericized ents for intellectual property reasons.
22:04:16 <b_jonas> oh right, I added that one
22:04:34 <b_jonas> together with treefolk, halfling, kithkin
22:04:42 <b_jonas> `? twnh
22:04:43 <HackEgo> twnh is dubious hambiguitous help that will or will not be help. It is provided by a toe with no hair.
22:04:44 <b_jonas> `? turkey
22:04:45 <HackEgo> Turkey was the center of an empire that gobbled up much of Eastern Europe and the Middle East, something which brought them into conflict with Ostrich. In the 19th century the overstuffed empire started declining, and after the Great War it was cut up like so much Shish Kebab.
22:04:47 <b_jonas> `? tvtropes
22:04:49 <HackEgo> We'll write about TVTropes here, we just have to finish these tabs first.
22:04:52 <b_jonas> `? duck
22:04:53 <HackEgo> duck? ¯\(°​_o)/¯
22:04:54 <b_jonas> `? duck typing
22:04:55 <HackEgo> duck typing? ¯\(°​_o)/¯
22:05:22 <b_jonas> `learn Duck typing means typing on a terminal blinding without an echo.
22:05:26 <HackEgo> Learned 'duck': Duck typing means typing on a terminal blinding without an echo.
22:05:29 <b_jonas> um, no
22:05:36 <b_jonas> `revert
22:05:44 <HackEgo> rm: cannot remove `/home/hackbot/hackbot.hg/multibot_cmds/env/.hg/store/data/canary.orig': Is a directory \ Done.
22:05:51 <shachaf> `? duck
22:05:52 <HackEgo> duck? ¯\(°​_o)/¯
22:05:54 <b_jonas> `slashlearn duck typing/Duck typing means typing on a terminal blinding without an echo.
22:05:57 <HackEgo> Learned «duck typing»
22:06:02 <b_jonas> `? duck
22:06:03 <b_jonas> `? duck typing
22:06:05 <HackEgo> Duck typing means typing on a terminal blinding without an echo.
22:06:05 <HackEgo> Duck typing means typing on a terminal blinding without an echo.
22:06:20 <shachaf> slashlearn?!
22:06:36 <b_jonas> shachaf: it's like SLASH'EM
22:06:56 <b_jonas> `? augustss
22:06:58 <HackEgo> augustss? ¯\(°​_o)/¯
22:07:00 <b_jonas> `? bellard
22:07:01 <HackEgo> bellard? ¯\(°​_o)/¯
22:07:46 -!- nycs has quit (Ping timeout: 250 seconds).
22:08:10 <b_jonas> `? augustsson
22:08:11 <HackEgo> augustsson? ¯\(°​_o)/¯
22:08:17 <b_jonas> `? august
22:08:18 <HackEgo> august? ¯\(°​_o)/¯
22:10:24 <shachaf> `? hmph
22:10:25 <HackEgo> His Master's Phonetic Hmph
22:11:17 <b_jonas> oh incidentally, for *list people, http://bobadventures.comicgenesis.com/ has updated (after a very long pause)
22:11:44 <b_jonas> `? qc
22:11:45 <HackEgo> qc? ¯\(°​_o)/¯
22:11:58 <b_jonas> `? ligo
22:11:59 <HackEgo> ligo? ¯\(°​_o)/¯
22:12:16 <b_jonas> `? zzo38
22:12:18 <HackEgo> zzo38 is not actually the next version of fungot, much as it may seem.
22:12:19 <b_jonas> `? zzo37
22:12:20 <HackEgo> zzo37? ¯\(°​_o)/¯
22:12:21 <b_jonas> `? zzo39
22:12:23 <HackEgo> zzo39? ¯\(°​_o)/¯
22:12:26 <b_jonas> `? dmm
22:12:27 <HackEgo> dmm? ¯\(°​_o)/¯
22:12:41 <shachaf> every time you ask for a nonexistent wisdom entry, it messes up my terminal
22:12:51 <shachaf> until it scrolls off the screen
22:12:53 <b_jonas> um
22:13:12 -!- ais523 has joined.
22:13:13 <b_jonas> shachaf: make a replacement command for ? then
22:13:40 <b_jonas> `? select
22:13:41 <HackEgo> select is a very versatile construct: it waits for events, retrieves data from tables, creates a list from elements of an input list that satisfy a condition, a dropdown list element, an event for when selection changes, branches between multiple arms, conditional between two expressions, prints a text-based menu prompt in a loop, and more.
22:14:01 <b_jonas> `? 2016
22:14:02 <HackEgo> 2016? ¯\(°​_o)/¯
22:14:22 <ais523> you definitely need the INTERCAL definition there too
22:14:30 -!- LexiciScriptor has quit (Quit: LexiciScriptor).
22:15:04 <shachaf> ahis523
22:15:05 <ais523> `` sed wisdom/select 's/loop, /loop, deletes bits from one number according to a pattern in another, /'
22:15:06 <HackEgo> sed: couldn't open file isdom/select: No such file or directory
22:15:13 <ais523> hmm
22:15:24 <ais523> `` sed -e 's/loop, /loop, deletes bits from one number according to a pattern in another, /' -i wisdom/select
22:15:28 <HackEgo> No output.
22:15:31 <ais523> `? select
22:15:33 <HackEgo> select is a very versatile construct: it waits for events, retrieves data from tables, creates a list from elements of an input list that satisfy a condition, a dropdown list element, an event for when selection changes, branches between multiple arms, conditional between two expressions, prints a text-based menu prompt in a loop, deletes bits from
22:15:38 <ais523> bleh
22:15:40 <ais523> `revert
22:15:46 <HackEgo> rm: cannot remove `/home/hackbot/hackbot.hg/multibot_cmds/env/.hg/store/data/canary.orig': Is a directory \ Done.
22:17:21 -!- spiette has quit (Quit: :qa!).
22:30:03 -!- p34k has quit.
22:31:25 <b_jonas> ais523: oh! good idea, I didn't have that on the list I used as the source
22:32:03 <ais523> it's hard to come up with a more concise definition of what INTERCAL select actually does, though (and even mine is missing details)
22:32:53 <b_jonas> ais523: it certainly is, but sadly the entry is already close to full (well, that's sort of the point),
22:33:01 <b_jonas> I had to carefully cut words when I wrote it
22:33:31 <b_jonas> I'll add to the source list though, that doesn't have such a small length limit.
22:34:10 <ais523> the general definition (that works in any base, not just base 2) is "do a digitwise max-except-0-is-highest operation, then sort the digits of the result using the digits of the second input as a key"
22:36:09 <b_jonas> ais523: for the binary version, something similar to that is called sheep-and-goats, althoguh that doesn't do the max, it only does the sort part
22:36:30 <ais523> the max probably makes the operation less useful :-D
22:36:54 <b_jonas> sorts the bits of one number according to the corresponding bits in another number used as a key, stable
22:36:58 <ais523> and it's not really a max, because 0 has a higher precedence than anything else; it's a min if either digit is a 0 and a max otherwise
22:37:03 <ais523> and yes, stable sort
22:37:18 <ais523> I guess it had to be complex so as to avoid colliding with any existing operations
22:37:29 <b_jonas> ais523: I think in Intercal it might actually be more useful with the max
22:37:37 <b_jonas> Perhaps even in general
22:37:46 <b_jonas> but it doesn't matter much, you can get either version from the other
22:38:02 <ais523> well in INTERCAL you need it because otherwise you can't produce an acceptable argument to mingle
22:38:06 <ais523> if a number has more than 16 set bits
22:38:40 <b_jonas> at least as long as you have a binary logarithm (find highest bit set) operator
22:38:47 <b_jonas> which you usually have before you have sheep-and-goats
22:38:52 <b_jonas> in non-eso stuff that is
22:39:16 -!- tromp_ has joined.
22:39:48 <b_jonas> ok, so what if we just say it “rearranges bits” or something?
22:40:08 <ais523> well it doesn't just rearrange them, because of the max
22:40:15 <ais523> "deletes bits" is a pretty good explanation, really
22:40:22 <ais523> and is some characters shorter
22:40:24 <b_jonas> ok
22:42:39 <hppavilion[1]> I'm looking to design a powerful functional language
22:42:42 <hppavilion[1]> Something that might be useful
22:42:54 <hppavilion[1]> What would be a good model for that?
22:42:58 <b_jonas> ais523: erases bits? rejects bits?
22:43:19 <ais523> b_jonas: but the bits that are kept are all moved to one end of the number
22:43:19 <b_jonas> removes bits?
22:43:40 <ais523> "deletes" fits that operation pretty well, in typical computer terminology; deleting from a list normally implies moving all the other elements to be adjacent
22:43:46 <ais523> hppavilion[1]: lambda calculus, continuation passing style
22:43:54 -!- tromp_ has quit (Ping timeout: 265 seconds).
22:43:55 <ais523> I suggest you do CPS because it's used less often
22:43:57 <hppavilion[1]> ais523: Perhaps
22:43:59 <b_jonas> ais523: exactly, and so does remove and reject
22:44:00 <ais523> and is mroe powerful
22:45:03 <hppavilion[1]> Should I do some prototypical OO in it?
22:45:17 <hppavilion[1]> Something object-based, but not like OO exactly, because OO is bad
22:45:28 -!- oerjan has quit (Quit: Later).
22:45:47 <b_jonas> ais523: oddly, I can't find a reference to the "select" keyword in the Magma manual. but I know too little about Magma. Was my list originally wrong about it, or has it changed?
22:46:07 <ais523> b_jonas: what's Magma?
22:46:14 <b_jonas> http://magma.maths.usyd.edu.au/magma/
22:46:22 <ais523> hppavilion[1]: be very careful here
22:46:25 <b_jonas> a computer algebra system, sort of like GAP
22:46:28 <ais523> you're repeating some of the design decisions that lead to Feather
22:46:29 <hppavilion[1]> ais523: I will
22:46:36 <b_jonas> as in, http://www.gap-system.org/
22:46:37 <hppavilion[1]> ais523: Oh joy
22:47:27 <hppavilion[1]> I'm thinking Modal Logic-based static typing
22:49:01 <b_jonas> nope, I wasn't just dreaming
22:49:09 <b_jonas> web search says so
22:49:13 <b_jonas> even if I can't find it in the handbook
22:49:16 <hppavilion[1]> Perhaps a combination of Epistemic, Deontic, and Temporal (epistemic for throwing around information, deontic for security, and temporal for reactivity)
22:49:58 <b_jonas> and here it is in the handbook too: http://magma.maths.usyd.edu.au/magma/handbook/text/11#62
22:50:08 <hppavilion[1]> I think I'll working-name it... Mo' Def
22:50:23 <b_jonas> with fucking no syntax given, only examples
22:50:29 <hppavilion[1]> (a pun on Mode F, which is derived from Mod(al logic)+F(unction))
22:52:06 <b_jonas> ais523: we could also say it "compresses bits", due to the classical APL operator / which was called compress
22:52:13 <b_jonas> s,was,is,
22:52:30 <ais523> that'd be confused with the sort of compression that, say, gzip does
22:52:37 <b_jonas> (J calls it "repeat")
22:52:44 <b_jonas> ais523: yeah, I dunno
22:52:58 <b_jonas> ok, so I'm not a good writer, what to remove from the almost too long description?
22:53:02 <b_jonas> `? select
22:53:04 <HackEgo> select is a very versatile construct: it waits for events, retrieves data from tables, creates a list from elements of an input list that satisfy a condition, a dropdown list element, an event for when selection changes, branches between multiple arms, conditional between two expressions, prints a text-based menu prompt in a loop, and more.
22:53:11 <b_jonas> s,very,, ?
22:53:18 <ais523> "creates a list from elements of an input list that satisfy a condition" looks golfable
22:56:25 <shachaf> ais523: You shouldn't go all the way up to the line length limit.
22:56:33 <shachaf> Since some people use HackEgo in /msg, where the limit might be shorter.
22:56:53 <ais523> the limit also depends on which server you're connected to
22:57:07 <b_jonas> ais523: um... no?
22:57:13 <b_jonas> I don't think it does
22:57:13 <ais523> "HackEgo" is two characters shorter than "#esoteric", though
22:57:19 <ais523> b_jonas: I thought it was 512 including all metadata
22:57:27 <ais523> and the name of the server you're connected to is part of the metadata
22:57:33 <b_jonas> ais523: it's not HackEgo, it's _yuor_ nick that replaces #esoteric
22:57:49 <ais523> really?
22:57:52 <b_jonas> and its' not part of the metadata included in that line
22:57:57 <b_jonas> ais523: this is about when HackEgo messages you
22:57:59 <ais523> are we talking about sending or receiving?
22:58:03 <b_jonas> not when you message HackEgo
22:58:18 <b_jonas> when I write to HackEgo, I can send in chunks with shell commands, just like you demonstrated with sed
22:58:28 <b_jonas> but when someone queries `? select then HackEgo sends to yuo
22:58:31 <b_jonas> or to a channel
22:58:33 <ais523> oh, hmm, when HackEgo sends to the channel you get HackEgo's name /and/ the channel's
22:58:40 <b_jonas> but the server you're connected to is never part of the line
22:58:40 <ais523> when it sends to a query you get HackEgo's name and yours
22:58:43 <ais523> so I guess it is your own nick that counts
22:58:50 <b_jonas> only the host you're connected from
22:58:57 <b_jonas> which could be really long by the way
22:59:03 <b_jonas> but that only appears if you send, not if you receive
22:59:11 -!- ais523_telnet has joined.
22:59:22 <ais523_telnet> `? select
22:59:23 <HackEgo> select is a very versatile construct: it waits for events, retrieves data from tables, creates a list from elements of an input list that satisfy a condition, a dropdown list element, an event for when selection changes, branches between multiple arms, conditional between two expressions, prints a text-based menu prompt in a loop, and more.
22:59:24 <b_jonas> ais523: yes, but HackEgo's name and hostmask and user is always there, even on a channel
22:59:52 <b_jonas> (which is why it's better to use a one character username and a short hostname)
23:00:05 <ais523_telnet> you're right, the server name only appears in numerics, not privmsgs
23:00:15 -!- jaboja has quit (Ping timeout: 240 seconds).
23:00:22 <ais523_telnet> alt
23:00:31 -!- ais523_telnet has quit (Client Quit).
23:00:48 <b_jonas> ais523: and the limits for the nick and channel lengths vary a lot depending on network, but constant within freenode
23:00:58 <b_jonas> (I think the hostname max length might vary too)
23:00:59 -!- jaboja has joined.
23:01:04 <ais523> I keep forgetting what a pain it is when someone else sends a message while you're typing yours, over telnet
23:01:08 <b_jonas> I have the numbers noted somewhere
23:01:19 <b_jonas> ais523: I use rlwrap for that
23:01:25 <b_jonas> it refreshes the output sanely
23:01:36 <b_jonas> as in, rlwrap nc -v chat.freenode.net 6667 | cat -v
23:01:49 <ais523> but then it isn't pure telnet
23:02:00 <ais523> and that point you might as well just use an IRC client
23:03:47 <b_jonas> oh right, whether (the obsolate old) identify-messages feature is enabled by the receiver also matters one byte in the length, and some irc clients enable it by default
23:04:10 <b_jonas> here are the numbers I wrote up at some point => http://dpaste.com/0ZRXKB9
23:04:31 <ais523> what does identify-messages do?
23:05:03 <b_jonas> prepends a + or a - to PRIVMSG or NOTICE content depending on whether the user is identified to nickserv (regardless of whether he owns the nickanme he uses)
23:05:35 -!- hppavilion[1] has quit (Ping timeout: 276 seconds).
23:05:46 <b_jonas> these days there's a set of three more modern features that let you follow the nickserv account of everyone you see on channels, which is much better, and replaces all practical uses of this
23:07:01 <b_jonas> I have no idea why some of these limits are so high, given that the line length was always 512 bytes
23:07:36 <b_jonas> IMO the max hostname length should be 39 bytes
23:07:53 <ais523> what if the hostname someone's connecting from happens to be longer?
23:08:02 <b_jonas> ais523: you get the IP address
23:08:11 <b_jonas> just like when there's no reverse DNS
23:08:23 <ais523> maximum length of an IP address in ASCII is, hmm
23:08:29 <b_jonas> you can always ask the server for the ip address _in addition_ to the nick by the way, with WHO
23:08:34 <b_jonas> ais523: it's 39
23:08:34 <ais523> seven colons, eight blocks of 4 hex digits
23:08:35 <ais523> so 39
23:08:40 <b_jonas> exactly
23:08:47 <b_jonas> that's why I said 39
23:10:21 <b_jonas> and the max hostname length could be reduced unilaterally by the server, without breaking compatibility with almost anything, except for a very few people who expect to see certain hostnames
23:10:36 <b_jonas> although some of the cloaks freenode uses may have to be adjusted
23:15:04 -!- AnotherTest has quit (Ping timeout: 256 seconds).
23:15:06 <b_jonas> The 200 byte long channel names are ridiculous by the way, because in messages about channel forwarding, the server must fit two channel names
23:15:53 <b_jonas> and possibly even worse than that is the mode +f foo message for when someone sets the channel forward
23:16:10 <b_jonas> because then the server must send a nick with hostmask AND two channel names
23:16:36 <b_jonas> if the hostname and username and nick is long, that could be tight
23:18:08 <b_jonas> and the 512 byte line length limit is serious by the way, because IIRC freenode servers immediately disconnect you if you send a line longer than that
23:19:11 <b_jonas> (they also immediately disconnect you if you surpass the approximately 3070 byte long input buffer)
23:22:05 -!- I has joined.
23:22:29 -!- I has changed nick to Guest55944.
23:22:33 <fizzie> There was something weird when it came to fungot's line truncation, but I forget exactly what.
23:22:34 <fungot> fizzie: is a canny old bastard... is he american, these english, and these turkish. we hope to make your stay as pleasant as possible, i'm a writer, but i need a screwdriver
23:24:10 <ais523> ^style
23:24:10 <fungot> Available: agora alice c64 ct darwin discworld enron europarl ff7 fisher fungot homestuck ic irc iwcs* jargon lovecraft nethack oots pa qwantz sms speeches ss wp youtube
23:24:17 <ais523> ^style iwcs
23:24:17 <fungot> Selected style: iwcs (Irregular Webcomic scripts)
23:24:33 <ais523> fungot: I haven't seen much of this style yet
23:24:33 <fungot> ais523: hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey
23:24:36 <ais523> ah right
23:24:44 <ais523> fungot: less repetitive, please?
23:24:44 <fungot> ais523: how are you going?! come about fer a broadside! prepare to be annihilated! that would depressurise the plane, hinder control and navigation, and endanger the lives of your comrades.
23:24:52 -!- bender has joined.
23:25:05 <ais523> `welcome bender
23:25:07 <HackEgo> bender: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: <http://esolangs.org/>. (For the other kind of esoterica, try #esoteric on EFnet or DALnet.)
23:25:19 <fizzie> That's almost the maximum length that was just spoken of.
23:25:22 <b_jonas> fungot, does the amplitude of gravity waves attenuate linearly or quadratically in distance?
23:25:23 <fungot> b_jonas: i always thought, i'll hire a car! the very idea! why, i'd be careful if the nazis get on a strictly for parts of time, as i suspected. a hidden from will's so athletic, he's obviously the better to do?
23:25:51 <b_jonas> will and nazis. clearly IWCS
23:26:20 <b_jonas> fungot, on the 2016 Rio Olympics, which event are you looking forward the most?
23:26:20 <fungot> b_jonas: the way they can reach, look as good a milestone as any to move the entire universe, a better universe! we choose only die fittest people, animals, a mad skeletal in some depictions, this transition can take place anywhere, and a killer taipan
23:26:29 <fizzie> The "s" in the name was to differentiate from IWC something-else, but I don't remember what the something-else was, and it never made it to a style.
23:27:00 <fizzie> I think we've seen the fragment "die fittest people, animals, a mad skeletal" already.
23:27:40 <fizzie> 2011-11-12 <fungot> olsner: on the way, myth, god created the universe, a better universe! we choose only die fittest people, animals, a mad skeletal in some depictions, this transition can take place anywhere, and a killer taipan
23:27:40 <fungot> fizzie: a ha! so it's a fortnight to forge
23:27:59 <b_jonas> fungot, why not the men's keirin?
23:27:59 <fungot> b_jonas: with the world, we should at my word install the patch of light a star. they're a regular letters back in the 1950s traditionally up to the captain to save the earth from the bonds of an evil, tortured, masked freak. but how often do, i daresay
23:28:00 <fizzie> Also one from 2015-10-11. It's a bit overly prone to repeating the same things.
23:28:15 -!- Tod-Autojoined has joined.
23:29:15 <b_jonas> fungot, will you watch the opening ceremony?
23:29:15 <fungot> b_jonas: what, the ability to be captured a spanish galleon! arrr!! aaaarrrgghh!!! aaaarrrgghh!!! aaaarrrgghh!!! aaaarrrgghh!!! aaaarrrgghh!!! aaaarrrgghh!!! aaaarrrgghh!!! aaaarrrgghh!!! aaaarrrgghh!!! aaaarrrgghh!!! aaaarrrgghh!!! aaaarrrgghh!!! aaaarrrgghh!!! aaaarrrgghh!!! aaaarrrgghh!!! aaaarrrgghh!!! aaaarrrgghh!!! aaaarrrgghh!!! aaaarrrgghh!!! aaaarrrgghh!!! aaaarrrgghh!!! aaaarrrgghh!!! aaaarrrgghh!!! aaaarrrgghh!!! aaa
23:29:29 <olsner> mm, fungot
23:29:29 <fungot> olsner: how are you going?! come about fer a broadside! prepare to be annihilated! what's the good guys, the name of the game is just about killing monsters. crikey, terry! nice to... er... french, does the allosaurus have a policy on death? i can just walk through, erwin!
23:29:29 <b_jonas> fungot: oh come on, it won't be _that_ bad
23:29:30 <fungot> b_jonas: but the government!! as monty unties them, minnesota? why waste! he talks in pirate, sir.
23:29:55 <b_jonas> monty and minnesota. yes, definitely trained on IWC
23:31:30 <izabera> what scientific value does this have? http://arxiv.org/abs/1305.4365
23:31:53 -!- mysanthrop has joined.
23:32:24 -!- heroux_ has joined.
23:32:25 <ais523> izabera: probably to know when a particular calculation will become valuable, as computer speeds increase
23:32:36 -!- FreeFull_ has joined.
23:32:38 <izabera> no i mean
23:32:40 <izabera> that paper
23:32:48 <shachaf> ^style oots
23:32:48 <fungot> Selected style: oots (Order Of The Stick)
23:32:48 <ais523> test
23:32:52 <izabera> it's been published
23:32:56 -!- puck1pedia has joined.
23:33:03 <izabera> there's no code, no algorithms
23:33:07 <izabera> there are pictures
23:33:08 <shachaf> fungot: are you up to date with the latest vampire shenanigans
23:33:08 <fungot> shachaf: he be tha heart an' soul o" tiles because, you get you down here. let my people handle that much melee.)
23:33:14 <izabera> and trivial facts
23:33:16 -!- sewilton_ has joined.
23:33:24 <ais523> shachaf: perhaps not, fungot's using durkon's accent
23:33:25 <fungot> ais523: we had to get " out a good plan to end your life and saving us from the orcs and told me
23:33:39 -!- mbrcknl_ has joined.
23:33:39 <shachaf> ais523: Could be another dwarf.
23:34:00 -!- earenndil has joined.
23:34:23 <ais523> I gues
23:34:25 <ais523> *guess
23:37:02 -!- heroux has quit (*.net *.split).
23:37:03 -!- FreeFull has quit (*.net *.split).
23:37:04 -!- TodPunk has quit (*.net *.split).
23:37:05 -!- Elronnd has quit (*.net *.split).
23:37:07 -!- myname has quit (*.net *.split).
23:37:07 -!- trn has quit (*.net *.split).
23:37:09 -!- EgoBot has quit (*.net *.split).
23:37:09 -!- puckipedia has quit (*.net *.split).
23:37:10 -!- mbrcknl has quit (*.net *.split).
23:37:11 -!- sewilton has quit (*.net *.split).
23:37:12 -!- puck1pedia has changed nick to puckipedia.
23:37:12 -!- heroux_ has changed nick to heroux.
23:37:18 -!- EgoBot has joined.
23:39:54 -!- trn has joined.
23:40:33 -!- FreeFull_ has changed nick to FreeFull.
23:40:41 -!- tromp_ has joined.
23:41:02 -!- Guest55944 has quit (Quit: This computer has gone to sleep).
23:41:37 -!- mbrcknl_ has changed nick to mbrcknl.
23:42:28 <Taneb> My uni's electronics society is running a "brainf*ck programming challenge"
23:42:43 <izabera> ooh
23:42:46 <izabera> what's the challenge?
23:42:54 -!- sewilton_ has changed nick to sewilton.
23:43:04 <Taneb> izabera, dunno, it runs for two hours a week on Wednesday
23:43:21 <izabera> well it's wednesday now
23:43:32 <Taneb> Time zones, izabera, time zones
23:43:36 -!- hppavilion[1] has joined.
23:43:37 <izabera> come here
23:43:39 <Taneb> I've got 17 minutes of Tuesday
23:44:02 <shachaf> @time Taneb
23:44:02 <lambdabot> Local time for Taneb is Wed Feb 17 00:44:02
23:44:07 <hppavilion[1]> JSON is a (non-programming) language based on pure data with no semantics. Its complement, therefor, is a language that's pure semantics with no data
23:44:12 <hppavilion[1]> What would such a language look like?
23:44:35 <izabera> perl
23:44:49 <Taneb> shachaf, my computer may not be set to the correct time zone
23:44:59 <izabera> @time
23:44:59 <tswett> hppavilion[1]: that's an interesting idea.
23:45:00 <lambdabot> Local time for izabera is Tue, 16 Feb 2016 23:52:29 +0000
23:45:06 <izabera> boo wrong
23:45:07 <hppavilion[1]> tswett: Yay!
23:45:13 -!- tromp_ has quit (Ping timeout: 276 seconds).
23:45:18 <Taneb> izabera's clock is completely wrong
23:45:19 <hppavilion[1]> tswett: The first thought that comes to mind is "Finite state machine"
23:45:20 <Taneb> wtf, izabera
23:45:21 <tswett> hppavilion[1]: it's sort of hard, I think, to allow semantics while prohibiting data. Like, consider the following semantics...
23:45:32 <shachaf> Taneb: or perhaps your computer's time zone is correct but your location's time zone is not
23:45:33 <tswett> "Input a first thing. Input a second thing. Output the first thing."
23:45:49 <hppavilion[1]> tswett: Yep, that's data
23:45:53 <tswett> It's not all that easy to get more purely-semantic than that.
23:45:54 <izabera> not sure which time it uses
23:45:56 <tswett> But yeah, that's data.
23:45:58 <tswett> I mean...
23:46:06 <izabera> the one on my vps is not italian
23:46:20 <Taneb> It's not anything
23:46:25 <hppavilion[1]> tswett: Combinatory Logic and Lambda Calculus might count if you don't count functions as data
23:46:31 <Taneb> It's like 7 minutes ahead of GMT
23:46:42 <tswett> Arguably, all possible computer languages represent data to some degree, since valid modules consist of data that's interpreted somehow.
23:46:53 <tswett> @time
23:46:54 <lambdabot> Local time for tswett is Tue Feb 16 23:46:54 2016
23:46:55 <hppavilion[1]> Which is probably a bit accurate to how languages like Haskell compile it
23:46:58 <hppavilion[1]> @time
23:46:59 <lambdabot> Local time for hppavilion[1] is Tue Feb 16 14:46:58
23:47:03 <fizzie> @time fungot
23:47:03 <fungot> fizzie: is that the one where we set to notify both her and us that you couldn't leave well enough alone and kill you, so my two associates.
23:47:06 <lambdabot> Local time for fungot is the past, the present, the future; all at the same time
23:47:13 <hppavilion[1]> Woooooooooow
23:47:22 <hppavilion[1]> That's amazing
23:47:51 <hppavilion[1]> fungot: How's the future? Do we all die in a nuclear holocaust?
23:47:51 <fungot> hppavilion[1]: so, i know that, i'm your mommy make that would trump what we need is a means to an " understanding"
23:48:32 <hppavilion[1]> @time
23:48:32 <fizzie> In other, more prosaic words: I didn't implement CTCP TIME (or CTCP in general), so I just do it by hand with ^raw.
23:48:56 <hppavilion[1]> lambdabot?
23:49:12 <fizzie> Perhaps there's a cooldown.
23:49:17 <hppavilion[1]> Probably
23:49:20 <hppavilion[1]> @time fungot
23:49:20 <fungot> hppavilion[1]: it's a dungeon, and the spell turns us all into-- ideas": telling everyone that much quicker, so roy, if we could conference over and let the woman with years of combat, probably against a paladin," as " par for, so that the dwarf, " stabby"
23:49:26 <hppavilion[1]> fizzie: Looks like it
23:49:39 <lambdabot> Local time for fungot is something that keeps on ticking, ticking, ticking, into the future
23:49:40 <shachaf> @karma into
23:49:40 <lambdabot> into has a karma of -2
23:49:43 <ais523> a spell that turns people into ideas
23:50:01 <shachaf> ais523: I read a book about the opposite direction.
23:50:03 <ais523> I actually created a magic: the gathering spell that did that
23:50:06 <shachaf> Well, it wasn't really a spell.
23:50:28 <fizzie> hppavilion[1]: Perhaps it's your client that has a cooldown for responding to CTCP TIME, actually, since I did get that query at the 'got.
23:50:33 <ais523> "Idealize, 1W, Enchantment - Aura, Enchant creature or enchantment, enchanted permanent is an enchantment (instead of its other types)."
23:50:34 <fizzie> (Was just a bit slow replying.)
23:51:44 <Phantom_Hoover> @karma i
23:51:44 <lambdabot> i has a karma of 111
23:52:24 <fizzie> @karma geddon
23:52:24 <lambdabot> geddon has a karma of 0
23:52:27 <shachaf> ais523: What happens if you use that on a Bestowed enchantment creature?
23:52:49 <Phantom_Hoover> @karma chameleon
23:52:49 <lambdabot> chameleon has a karma of 0
23:52:51 <ais523> shachaf: I think the answer is nothing, until it falls off, then it doesn't turn into a creature
23:55:08 <shachaf> Does it just die?
23:55:27 <ais523> I believe it stops being an aura
23:55:32 <ais523> so it'd just sit there on the battlefield
23:56:10 <ais523> which is the whole idea of idealize, really; it's a pacifism variant that's a little worse on enemy creatures but a little better on your own (because while it pacifies them, it saves them from creature destruction)
23:56:16 <ais523> perhaps it should cost 2W and have flash
23:56:26 <shachaf> What happens if a non-Aura enchantment says "Enchant Creature"?
23:59:33 <ais523> I'm not sure whether it falls off or not; I'm also not sure if it's possible to cause the situation to happen
23:59:51 <ais523> or, hmm
23:59:57 <ais523> I suspect it wouldn't go to the graveyard
←2016-02-15 2016-02-16 2016-02-17→ ↑2016 ↑all