←2016-06-05 2016-06-06 2016-06-07→ ↑2016 ↑all
00:40:29 -!- moon_ has joined.
00:42:28 <moon_> `ls
00:42:35 <HackEgo> ​!\.´ \ advice \ bin \ canary \ cdescs \ emoticons \ esobible \ etc \ evil \ factor \ good \ hw \ ibin \ interps \ karma \ le \ lib \ misle \ paste \ ply-3.8 \ ps \ quine \ quines \ quotes \ share \ src \ theorems \ tmflry \ tmp \ wisdom \ wisdom.pdf
00:42:59 <moon_> `cat canary
00:43:00 <HackEgo> cat: canary: No such file or directory
00:43:28 <moon_> it lies'
00:43:45 <moon_> `url imaginaryfile
00:43:47 <HackEgo> http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/imaginaryfile
00:43:48 <moon_> `url canary
00:43:52 <HackEgo> http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/canary
00:44:45 <shachaf> `` for i in {1..10}; do echo -n $((RANDOM % 2)); done
00:44:46 <HackEgo> 01101100000
00:44:46 <shachaf> `` for i in {1..10}; do echo -n $((RANDOM % 2)); done
00:44:47 <HackEgo> 0101010000001
00:48:46 -!- oerjan has joined.
01:04:22 <moon_> `brand 8
01:04:23 <HackEgo> 32435873
01:05:32 -!- copumpkin has joined.
01:06:15 <shachaf> Why are you modifying HackEgo in secret?
01:07:10 <moon_> not to spam chat
01:07:14 <moon_> as i work :P
01:08:35 <tswett> `cat bin/brand
01:08:35 <b_jonas> hehe
01:08:36 <HackEgo> for i in {1..10}; do echo -n $((RANDOM % ($1+1))); done
01:08:41 <b_jonas> we had this discussion we me as well
01:08:49 <b_jonas> me modifying hackego in private message that is
01:08:50 <tswett> `brand 3
01:08:51 <HackEgo> 1311310101
01:09:05 <tswett> `brand 12
01:09:06 <HackEgo> 0310101215843
01:09:17 <moon_> thats a good way to exceed the limit lol
01:09:25 <shachaf> What's the point?
01:09:29 <shachaf> Why did you make that command?
01:09:31 <moon_> base-andom
01:09:42 <moon_> ie random in base 2 or 3 for example
01:09:48 <shachaf> Yes, I know what it does.
01:09:58 <shachaf> But why would anyone want it?
01:10:05 <tswett> I think that result is unambiguous. 0-3-10-10-12-1-5-8-4-3
01:11:07 -!- jaboja has quit (Remote host closed the connection).
01:11:32 <tswett> `brand 12
01:11:35 <HackEgo> 34410781010710
01:12:02 -!- augur has joined.
01:13:38 <oerjan> tunes has been flaky today :(
01:14:08 <moon_> ok back my personal win to bsd ftp server was having a fit
01:16:25 <moon_> base n randomize
01:19:19 <int-e> oerjan: how scary is Data.Coerce.coerce these days?
01:24:13 <int-e> (as far as I can see it allows breaking abstractions with some abstract datatypes that don't have proper role annotiations... is there more?)
01:25:59 <int-e> but it's kind of hard to condense https://ghc.haskell.org/trac/ghc/ticket/8827 and https://ghc.haskell.org/trac/ghc/wiki/SafeRoles into a simple answer :-/
01:28:29 <oerjan> int-e: well afaiu the recursive check solution suggested in 8827 hasn't been implemented yet.
01:28:58 <oerjan> so it's still disallowed in Safe mode afaik
01:29:00 <int-e> which means that constructor visibility is only taken into account for newtypes
01:29:10 <int-e> I think.
01:29:39 <oerjan> probably.
01:30:31 <int-e> Oh, Data.Coerce is still marked Unsafe... that's not the point. I've found a module that reexports it and wants to be trusted...
01:31:17 <oerjan> aha
01:31:34 <int-e> ...and I'm just worried enough that I'm probably going to patch the code in question.
01:31:46 <b_jonas> good
01:32:35 <oerjan> i'm not exactly sure how this works today - can you _use_ coerce just because it's imported safely?
01:32:48 -!- copumpkin has quit (Read error: Connection reset by peer).
01:33:15 <oerjan> because you also need the Coercible constraints.
01:36:26 <int-e> But you don't have to write them...
01:37:04 <oerjan> no, but in the 8827 system i suggested deriving them would be the thing restricted, i think
01:37:10 <oerjan> er, *inferring
01:37:31 -!- copumpkin has joined.
01:37:31 <int-e> doesn't seem to work that way... I think that was a hypothetical design
01:37:32 <oerjan> but i guess there's nothing right now.
01:37:33 <moon_> how do i include source from one script into another? people ae saying you use 'source' but thats not a command
01:37:56 <b_jonas> moon_: um, what's the context? what language?
01:38:00 <moon_> bash
01:38:00 <oerjan> moon_: it's a bash internal command
01:38:01 <moon_> lol
01:38:01 <b_jonas> ``` help source
01:38:04 <b_jonas> ``` help .
01:38:05 <HackEgo> source: source filename [arguments] \ Execute commands from a file in the current shell. \ \ Read and execute commands from FILENAME in the current shell. The \ entries in $PATH are used to find the directory containing FILENAME. \ If any ARGUMENTS are supplied, they become the positional parameters \ when FILENAME is exec
01:38:06 <HackEgo> ​.: . filename [arguments] \ Execute commands from a file in the current shell. \ \ Read and execute commands from FILENAME in the current shell. The \ entries in $PATH are used to find the directory containing FILENAME. \ If any ARGUMENTS are supplied, they become the positional parameters \ when FILENAME is executed. \
01:38:17 <moon_> oh thx
01:40:03 <b_jonas> ``` type source
01:40:05 <HackEgo> source is a shell builtin
01:40:50 <Elronnd> why three `s?
01:40:55 <Elronnd> `` type source
01:40:55 -!- evalj has quit (Remote host closed the connection).
01:40:56 <HackEgo> source is a shell builtin
01:41:05 <Elronnd> and honestly
01:41:07 <Elronnd> you could just do
01:41:10 <Elronnd> `type source
01:41:11 <HackEgo> ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: type: not found
01:41:20 <moon_> lol
01:41:29 <Elronnd> okay, or not
01:41:37 <Elronnd> ```````` type source
01:41:39 <HackEgo> ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: ```````: not found
01:41:43 <moon_> that goes fo all shell builtins
01:41:50 <moon_> ```` type source
01:41:51 <HackEgo> ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: ```: not found
01:42:01 <moon_> `` type ``
01:42:01 <HackEgo> No output.
01:42:09 <moon_> `` help ``
01:42:10 <HackEgo> GNU bash, version 4.2.37(1)-release (x86_64-pc-linux-gnu) \ These shell commands are defined internally. Type `help' to see this list. \ Type `help name' to find out more about the function `name'. \ Use `info bash' to find out more about the shell in general. \ Use `man -k' or `info' to find out more about commands not in this list. \ \ A star (
01:42:15 <Elronnd> moon_: `s mean something to the shell
01:42:21 <Elronnd> `` help `echo source`
01:42:22 <HackEgo> source: source filename [arguments] \ Execute commands from a file in the current shell. \ \ Read and execute commands from FILENAME in the current shell. The \ entries in $PATH are used to find the directory containing FILENAME. \ If any ARGUMENTS are supplied, they become the positional parameters \ when FILENAME is exec
01:42:29 <moon_> im cuious why two of them work
01:42:36 <moon_> when one will do the same
01:42:38 <Elronnd> well
01:42:45 -!- copumpkin has quit (Ping timeout: 244 seconds).
01:42:47 <Elronnd> do you know what ` means to the shell?
01:42:55 <moon_> nope!
01:43:08 <Elronnd> ` means the output of whatever is inside of here
01:43:08 <HackEgo> ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: : not found
01:43:17 <Elronnd> and $() does too
01:43:20 -!- augur has quit (Quit: Leaving...).
01:43:21 <Elronnd> so `echo foo`
01:43:27 <Elronnd> the output of echo foo is just "foo"
01:43:33 <Elronnd> so `echo foo` gets turned into foo
01:43:42 <Elronnd> `` there's nothing there
01:43:43 <HackEgo> ​/hackenv/bin/`: eval: line 4: unexpected EOF while looking for matching `'' \ /hackenv/bin/`: eval: line 5: syntax error: unexpected end of file
01:43:45 <moon_> i see why two work now
01:43:52 <Elronnd> so nothing gets outputted
01:43:59 <Elronnd> so the shells just sees "help"
01:44:01 <moon_> thx
01:44:01 <Elronnd> or "type"
01:44:03 <Elronnd> all by itself
01:45:04 <tswett> So I thought of a rather ridiculous mathematical operation. It works on functions on double-precision floating point numbers.
01:45:10 <tswett> It's the "bunk derivative".
01:45:19 <Elronnd> what is it?
01:45:56 <tswett> Given a function f, the bunk derivative f'(x) is (f(y) - f(x))/(y - x), where y is the lowest double-precision float which is greater than x.
01:46:48 <int-e> oerjan: https://hackage.haskell.org/package/lens-4.14/docs/Control-Lens-Internal-Coerce.html is the evil one... now no longer trusted
01:47:09 <tswett> Imagine, say, the bunk derivative of the function f(x) = 1.5x.
01:47:52 <Phantom_Hoover> is this not just an odd finite derivative
01:48:14 <tswett> Yeah.
01:48:54 <tswett> I think that in the range [1,2], that bunk derivative is going to simply rapidly alternate between 1 and 2.
01:49:00 <oerjan> Elronnd: some people (i think zzo38) wanted a version of `` with C locale, so they created ```. although both have grown more cruft since then.
01:49:16 <Elronnd> "C locale"?
01:49:18 <Elronnd> ``` env
01:49:20 <HackEgo> TERM=linux \ http_proxy= \ HACKENV=/hackenv \ PATH=/hackenv/bin:/opt/python27/bin:/opt/ghc/bin:/usr/bin:/bin \ PWD=/hackenv \ LANG=C \ HOME=/tmp \ SHLVL=1 \ _=/usr/bin/env
01:49:45 <oerjan> Elronnd: some commands behave simpler then
01:49:49 <oerjan> e.g. sort
01:50:01 <Elronnd> ah, k
01:50:04 <moon_> lang=c....
01:50:08 <moon_> ``` int main() {}
01:50:10 <HackEgo> bash: -c: line 0: syntax error near unexpected token `(' \ bash: -c: line 0: `int main() {}'
01:50:13 <moon_> lol
01:50:16 <moon_> im an idiot
01:50:22 <moon_> who does stupid things
01:50:32 -!- augur has joined.
01:50:45 <Phantom_Hoover> tswett, x - y is always an ulp, right?
01:50:50 <oerjan> moon_: it's not what it's written in. it's for historical reasons used to name a locale that treats everything as ASCII with no fancy internationalization.
01:51:09 <moon_> oh lol
01:51:25 <Elronnd> moon_:
01:51:32 <moon_> ?
01:51:41 <Elronnd> main() { echo foo; echo bar; echo baz; }; main
01:51:57 <Elronnd> Gah
01:52:01 <Elronnd> ``` main() { echo foo; echo bar; echo baz; }; main
01:52:03 <HackEgo> foo \ bar \ baz
01:52:04 <tswett> Phantom_Hoover: sounds about right.
01:52:28 <moon_> looks like pseudocode now
01:52:58 <oerjan> tswett: does it use denormalized numbers for 0? >:)
01:53:21 <tswett> It'll do denormals, yeah.
01:53:46 <moon_> ``` main() {}
01:53:48 <HackEgo> bash: -c: line 0: syntax error near unexpected token `{}' \ bash: -c: line 0: `main() {}'
01:54:19 <oerjan> Elronnd: there's of course also `run, which is the HackEgo builtin version that cannot be overridden.
01:55:39 <oerjan> moon_: it's a bash function, not a C function. and bash doesn't really treat main() specially.
01:55:42 <oerjan> afaik
01:56:10 <shachaf> `` echo $'\U40441'
01:56:11 <HackEgo> ​񀑁
01:56:30 -!- hppavilion[1] has joined.
01:56:33 <shachaf> oops
01:56:39 <moon_> invalid character shachaf
01:56:48 <shachaf> you're an invalid character
01:56:49 <shachaf> hth
01:56:59 <moon_> no
01:57:04 <oerjan> `` unidecode $'\U40441'
01:57:09 <HackEgo> U+40441 - No such unicode character name in database \ UTF-8: f1 80 91 81 UTF-16BE: d8c1dc41 Decimal: &#263233; \ 񀑁 (񀑁) \ Uppercase: U+40441 \ Category: Cn (Other, Not Assigned)
01:57:15 <shachaf> Anyway I got it wrong.
01:58:08 <moon_> no.. im ☾_
01:58:28 <oerjan> that's definitely an illegal character
01:58:33 <oerjan> `? ørjan
01:58:36 <HackEgo> ​Ørjan is oerjan's good twin. He's banned in the IRC RFC for being an invalid character. Sometimes he publishes papers.
01:58:45 <shachaf> http://www.itsnameisthemoon.com/
01:58:54 <shachaf> Your name isn't the Moon.
01:59:09 <moon_> http://faceofdisapproval.com/
01:59:27 <shachaf> http://faceofgoaway.com/
01:59:37 <oerjan> `learn ☾_ is moon_'s lawful twin. He's banned in the IRC RFC for being an invalid character. He sometimes eats papers.
01:59:41 <HackEgo> Learned '☾_': ☾_ is moon_'s lawful twin. He's banned in the IRC RFC for being an invalid character. He sometimes eats papers.
02:00:25 <moon_> Error 404: Site not found, did you mean http://faceofdisapproval.com/ , operator shachaf?
02:01:03 <oerjan> http://faceofstopbickeringyoutwo.com/
02:01:20 <Elronnd> http://faceofwhyamiinthischannel.com/index.pl
02:01:53 <moon_> http://faceofwhydidimakealinkopeningbot/
02:02:11 <shachaf> oerjan: See, this time it's perfectly legitimate to call it bickering.
02:02:15 <oerjan> http://faceofomgisitamemealready.no/
02:03:11 <Elronnd> https://whyisnobodyusingsslintheirurl.se/index.pyp
02:03:35 <shachaf> Oh, I see what I did wrong.
02:03:44 <oerjan> ftp://imfeelingoldfashioned.net/
02:03:57 <moon_> oh my god, fake url world
02:04:22 <Elronnd> gopher://imfeelingreallyoldfashioned.org/
02:04:35 <shachaf> `` echo $'\Ue0820'
02:04:36 <HackEgo> ​󠠠
02:04:37 <shachaf> `` echo $'\Ue0820' | rnooodl | xxd
02:04:38 <HackEgo> 00000000000000: f3a0 a0a0 0a .....
02:05:24 <moon_> by the way oejan, i do not eat chlorine, acids, and treated woodpulps
02:05:56 <oerjan> moon_: no, but http://www.itsnameisthemoon.com/
02:05:58 <oerjan> argh
02:06:11 * oerjan thought he still had it in the clipboard
02:06:12 <moon_> No.
02:06:17 <moon_> Gg
02:06:29 <oerjan> moon_: rice papers then?
02:06:38 <moon_> Sure
02:07:32 <oerjan> beware, it's been cleaned with dihydrogen monoxide
02:07:44 <moon_> *turns oerjan into ric- really, no then
02:08:02 <moon_> Candy floss woven into paper (=
02:08:25 <oerjan> dandruff woven into paper
02:08:31 <moon_> No
02:08:35 <moon_> Edible paper
02:08:42 <oerjan> (i somehow managed to read candy floss as that for about 0.5 s)
02:08:52 <oerjan> i'm sure dandruff is edible hth
02:09:34 <hppavilion[1]> We put satellites in orbit, but there's absolutely nothing in orbyte
02:09:45 -!- Phantom_Hoover has quit (Remote host closed the connection).
02:10:14 <oerjan> hppavilion[1]: you could try and put them in a hole in the ground, but that would be orwellian
02:10:39 <zzo38> It also won't be very good satellites.
02:11:01 <hppavilion[1]> oerjan: It took me far too long to get that joke
02:11:09 <hppavilion[1]> (The joke is a well is a hole in the ground, right?)
02:11:12 <oerjan> . o O ( a satellite made of dark matter, orbiting _inside_ earth without affecting it )
02:11:30 <oerjan> hppavilion[1]: *ding ding ding*
02:11:40 <hppavilion[1]> @massagues-lowd
02:11:40 <lambdabot> Unknown command, try @list
02:11:46 <hppavilion[1]> @messages-lowd
02:11:46 <lambdabot> You don't have any messages
02:13:31 <zzo38> `danddreclist 79
02:13:32 <HackEgo> danddreclist 79: shachaf nooodl boily \ http://zzo38computer.org/dnd/recording/level20.tex
02:14:15 <hppavilion[1]> Hm, typoglycemia doesn't work when the jumblation isn't random
02:14:27 <zzo38> Do you like this?
02:14:47 <shachaf> zzo38: I haven't read a danddreclist entry in many months.
02:14:54 <shachaf> Perhaps I've never read one.
02:15:19 <zzo38> Then why is your name on there?
02:15:27 <shachaf> I don't know.
02:15:55 <hppavilion[1]> Taht is, if you jsut irevnt the oedrr of the lrettes, it bemoces mcuh lses llbigee
02:16:30 * hppavilion[1] prays to the Great Finite State Machine he did that right
02:17:40 <shachaf> `learn Typoglycerine is an explosive that scrambles the letters inside a word.
02:17:43 <HackEgo> Learned 'typoglycerine': Typoglycerine is an explosive that scrambles the letters inside a word.
02:18:05 <moon_> lol
02:20:42 <hppavilion[1]> Wikipedia's "Related Pages" feature is absolutely terrible
02:21:07 <moon_> you all forgot 'moonigen tri-iodide'
02:21:14 <hppavilion[1]> Typoglycemia links to (a) Email (b) J.R.R. Tolkien (c) Hillary Clinton
02:21:17 <moon_> it causes the chat to explode with my messages
02:21:29 <hppavilion[1]> Pretty much every page seems to be related to Hillary Clinton in the minds of Wikipedia
02:21:33 <moon_> lol
02:21:42 <moon_> i bet hillary did it
02:23:50 <hppavilion[1]> moon_: Yes; there's a reason it also links to email, too
02:25:35 <moon_> (diff | hist) . . Portmanteau‎; 22:20 . . (-51)‎ . . ‎DavidLeighEllis (talk | contribs)‎ (Revert to revision 722347404 dated 2016-05-27 14:21:54 by I dream of horses using popups)
02:26:12 <moon_> 'I dream of hoses using popups'
02:28:24 <hppavilion[1]> "Broken- a portmanteau of "bro" and "ken"- is a word signifying that an object is somehow damaged to defective to the degree that it can no longer serve its intended purpose"
02:28:44 <moon_> ...
02:28:56 <moon_> what is it with wikipedia and potmanteau
02:29:21 <hppavilion[1]> moon_: "Potmanteau: A portamanteau regarding cannabis"
02:29:41 <moon_> ..............
02:31:18 <oerjan> hppavilion[1]: what related pages feature
02:31:28 <hppavilion[1]> oerjan: At the bottom of a wikipedia page
02:31:33 <hppavilion[1]> oerjan: There's a link to related pages
02:31:38 <hppavilion[1]> At least on english wikipedia
02:31:41 <hppavilion[1]> It's rather new
02:31:56 <hppavilion[1]> (not "see also" or "categories"; it's automated)
02:32:52 <hppavilion[1]> For example
02:33:07 <hppavilion[1]> https://en.wikipedia.org/wiki/Have_Some_Madeira_M'Dear links to Flanders and Swann, Hillary Clinton, and Paul McCartney
02:33:09 <oerjan> i don't see that
02:35:03 <hppavilion[1]> https://en.wikipedia.org/wiki/GNU goes to Free Software, GNU/Linux Naming Controversy, and Hillary Clinton
02:35:17 <hppavilion[1]> oerjan: It's the last thing to load, and I think it's brought in by JavaScript
02:35:23 <hppavilion[1]> Wait, I might have turned it on
02:35:32 <hppavilion[1]> It might be an experimental feature I enabled
02:35:42 <oerjan> figures
02:37:10 <hppavilion[1]> I love me some experimental unstable features
02:37:43 <hppavilion[1]> Yep, it's a gadget turned on under "Beta"
02:38:16 <hppavilion[1]> Also Hovercards
02:38:30 <hppavilion[1]> Wait, no, not gadget; beta featrures
02:39:31 <oerjan> right
02:40:38 <hppavilion[1]> Wikipedia has an option called "(This loads the base style for the watchlist. Please do not disable this option.)"
02:41:21 <oerjan> i saw that.
02:41:41 * oerjan thinks he's noticed Hovercards on some other wiki.
02:42:32 <hppavilion[1]> oerjan: I love the hovercards
02:45:44 <moon_> wait, GNU goes ti hillary clinton? it might as well go to mathmatics, hillary is no-where near related
02:47:45 <hppavilion[1]> moon_: No, I was joking there
02:47:51 <hppavilion[1]> moon_: I hoped it would, but it didn't
02:47:52 <moon_> oh lol good
02:47:56 <hppavilion[1]> moon_: It went to the GNU GPL
02:56:34 -!- moon_ has quit (Ping timeout: 250 seconds).
03:02:58 -!- FreeFull has joined.
03:53:22 -!- hppavilion[1] has quit (Ping timeout: 252 seconds).
03:54:56 <HackEgo> [wiki] [[Deadfish]] https://esolangs.org/w/index.php?diff=47144&oldid=47142 * Oerjan * (-17) /* External resources */ template
03:58:01 <HackEgo> [wiki] [[Palindrome]] https://esolangs.org/w/index.php?diff=47145&oldid=47143 * Oerjan * (-17) /* External resources */ template
04:00:15 -!- hppavilion[1] has joined.
04:04:01 <HackEgo> [wiki] [[User talk:Jacek Michalak]] N https://esolangs.org/w/index.php?oldid=47146 * Oerjan * (+251) Welcome
04:08:48 -!- FreeFull has quit (Quit: Sleep).
04:14:57 -!- Moon_ has joined.
04:14:58 <Moon_> Hi
04:19:04 -!- Moon__ has joined.
04:19:20 -!- Moon_ has quit (Ping timeout: 250 seconds).
04:19:20 <Moon__> Bck
04:19:23 <oerjan> argh moons everywhere. get off my lawn!
04:19:32 <Moon__> (;
04:20:47 <Moon__> 🌙_ didn't visit today
04:21:40 <Moon__> Made customized magma forge jobs use metal instead of making things out of coal Adjusted conflict code to stop taverngoers from joining siegers over petty grievances Fixed material overcount in adv site work menu
04:21:44 <oerjan> @ask b_jonas <b_jonas> myname: but I mean, using grep for that is as much of a crime as using grep on ps output <-- what's wrong with that now ;_;
04:21:44 <lambdabot> Consider it noted.
04:22:35 <Moon__> Df buglogs can be entertaining
04:22:40 <oerjan> Moon__: so basically, you buttressed your fortress?
04:23:04 -!- hppavilion[1] has quit (Ping timeout: 252 seconds).
04:23:23 <Moon__> No. I did make metal thrones out of coke however.
04:23:41 <Moon__> I don't own do
04:23:50 <Moon__> Toady one the great does
04:24:00 <oerjan> OKAY
04:25:46 <Moon__> Also,dwarf fortress is Turing complete
04:27:12 <Moon__> Was that caps or death speech
04:27:26 <oerjan> YES
04:27:47 <Moon__> Ok thanks
04:27:58 <Moon__> iOS displays it as caps
04:28:04 <oerjan> fancy
04:28:50 <Moon__> https://m.youtube.com/watch?v=j2cMHwo3nAU
04:30:04 <Moon__> FPS: 0-1
04:30:10 <Moon__> That stinks
04:30:17 * oerjan stealthily removes the m.
04:31:05 <Moon__> No
04:31:16 <Moon__> Don't steal my username letters
04:31:24 -!- zenobit has joined.
04:31:40 <Moon__> Hi
04:31:45 <zenobit> hi.
04:32:12 <Moon__> You new?
04:32:17 <zenobit> not really.
04:32:22 <Moon__> I've never seen y- kl
04:32:40 <Moon__> I was prepared to `welcome
04:32:43 <Moon__> ):
04:32:48 <oerjan> Moon__: it was from the youtube link hth
04:33:04 <zenobit> :P
04:33:53 <Moon__> We need newpe- I realized the chat from when I joined is almost 90% messages from me.
04:33:54 <oerjan> you cannot ever see zenobit because first you have to see the first half bit, then the next quarter, etc.
04:34:29 <zenobit> thank god.
04:34:31 <zenobit> someone gets it.
04:34:48 <oerjan> zenobit: wait, am i really the first?
04:35:01 <oerjan> Moon__: so are you moonologing
04:35:16 <Moon__> Haha very funny
04:35:25 <zenobit> oerjan: you are indeed.
04:35:59 <zgrep> zenobit: Oh. That's right. It can also be spelled zeno... I've always spelled it xeno. ._.
04:36:02 <oerjan> yay
04:36:12 <zenobit> zgrep: eyyy!
04:36:16 <oerjan> i think xeno is something else?
04:36:21 -!- Melvar` has joined.
04:36:42 <zgrep> Wikipedia redirects Xeno's Paradox to Zeno's Paradox
04:36:50 <zgrep> .
04:37:32 <Moon__> Hi melvar, you new?
04:38:03 -!- Melvar has quit (Ping timeout: 246 seconds).
04:38:05 <zenobit> I named my MOV architecture Zeno. nobody gets that either.
04:38:12 <Moon__> Lol
04:38:30 <Moon__> We all get. It now
04:39:36 <oerjan> Zena the Philosopher Princess
04:39:39 <Moon__> http://golf.shinh.org/p.rb?Turn+a+1d+array+into+a+5d+array
04:40:09 <Moon__> Ima just wait for a annoying esolang to be named moon_
04:41:47 -!- Kaynato has quit (Ping timeout: 250 seconds).
04:41:50 <oerjan> Moon__: that's a ridiculously bad golf problem, especially once you know shinh.org cares only about getting the right output for the test case(s)
04:42:32 <oerjan> also, the output seems to have no connection to the question...
04:42:36 <zenobit> turn a 1D array into a 5D array?
04:43:14 <zenobit> keep it as a 1D array and compute a 1D index from a 5D vector.
04:44:02 <oerjan> zenobit: that's the description, but clearly not what it's doing.
04:44:12 <Moon__> That's why I pointed it out permanent
04:44:17 <Moon__> I didn't make it
04:47:31 * oerjan beats the haskell version with a trivial trick
04:47:41 <zgrep> zenobit: Your architecture will never finish executing an instruction, then?
04:48:15 -!- Melvar` has quit (Ping timeout: 276 seconds).
04:48:20 <zenobit> zgrep: you'd think, but somehow, it runs!
04:48:23 <zgrep> :O
04:48:41 <zenobit> https://bitbucket.org/little-bit/zeno
04:48:55 -!- Melvar` has joined.
04:49:49 <Moon__> Hi
04:49:51 <Moon__> U new?
04:54:57 <oerjan> oh, when i tried doing it properly, i just tied them
04:55:27 <oerjan> Melvar` is very old
04:56:32 <Moon__> Oh
04:56:57 <Moon__> https://github.com/nooodl/gs2 golfscript 2. Makes a n sized as trick triangle in 7 bytes
04:57:18 <Moon__> *astrick
04:57:21 * oerjan shaves off a byte
04:57:24 <Moon__> I can't spell
04:57:37 <Moon__> Golfscript does it in 11
04:58:22 <zgrep> ByteShave... as opposed to BurmaShave...
04:58:45 <zzo38> If you are playing at Magic: the Gathering, will you counteract provoke by convoke?
04:58:57 <oerjan> oh that was better
04:59:05 <oerjan> down to 42
04:59:21 <Moon__> What are you doing?
04:59:44 <oerjan> Moon__: solving the golf problem in haskell
05:00:30 <Moon__> Lol
05:00:43 <Moon__> Try gs2, it might do it really we'll
05:01:11 <oerjan> i don't know gs2 and i don't really care
05:04:19 <Moon__> `brand 2
05:04:25 <HackEgo> 1110101110
05:04:43 <Moon__> '`brand 3
05:04:46 -!- Melvar`` has joined.
05:04:49 <shachaf> `card-by-name provoke
05:04:51 <HackEgo> Provoke \ 1G \ Instant \ Untap target creature you don't control. That creature blocks this turn if able. \ Draw a card. \ ST-C, CNS-C, VMA-C
05:04:53 <shachaf> `card-by-name convoke
05:04:53 <HackEgo> No output.
05:05:01 <Moon__> `brand 3
05:05:03 <HackEgo> 2000000121
05:05:13 <shachaf> Oh, convoke is a keyword.
05:05:20 <zzo38> shachaf: No, I mean keyword abilities provoke/convoke
05:05:35 -!- Melvar` has quit (Ping timeout: 260 seconds).
05:05:38 <shachaf> Oh, provoke is also a keyword.
05:06:02 <shachaf> zzo38: Seems unlikely but possible.
05:06:11 <shachaf> Do you play at Magic: the Gathering?
05:06:40 <zzo38> Not very often.
05:07:27 <shachaf> Do you play at Friday Night Magic™?
05:07:35 <zzo38> No
05:07:55 <zzo38> I have sometimes played on Thursday though.
05:09:20 <shachaf> With your brother?
05:09:38 <zzo38> In the tournament actually
05:09:51 <shachaf> Which tournament?
05:09:58 <zzo38> Sometimes they have draft tournament on Thursday
05:10:13 <shachaf> Grand Prix Vancouver?
05:10:15 <shachaf> Oh.
05:10:32 -!- Melvar has joined.
05:10:53 <zzo38> No it is just a game store
05:11:49 <shachaf> We should play. It would be great.
05:12:07 -!- Melvar`` has quit (Ping timeout: 250 seconds).
05:18:37 -!- Melvar has quit (Ping timeout: 250 seconds).
05:18:56 -!- Moon__ has quit (Quit: Page closed).
05:19:20 <shachaf> @tell Moon__ Please don't /msg me without asking in-channel first unless there's a good reason.
05:19:20 <lambdabot> Consider it noted.
05:19:36 -!- Melvar has joined.
05:19:55 <zenobit> eyyy, it's zzo38.
05:19:58 <zenobit> hi from #nesdev.
05:20:21 -!- Moon_ has joined.
05:21:06 <Moon_> darn iOS reloaded the page. I think
05:21:18 <zzo38> zenobit: OK, what is your other questions/complaints/suggestion please?
05:21:27 <zenobit> ..just saying hi.
05:21:31 <zzo38> OK
05:23:41 -!- Melvar` has joined.
05:23:57 <Moon_> Zzo38, I noticed flogscript
05:24:00 <Moon_> I like it
05:24:29 <Moon_> Is an interpreter available
05:25:57 -!- Melvar has quit (Ping timeout: 244 seconds).
05:26:00 <zzo38> Yes
05:26:14 <zzo38> But, it is written in PHP, so you will need to install PHP to use it.
05:26:41 <Moon_> ):
05:27:01 <Moon_> And ok I get it shachaf
05:27:06 <Moon_> I read logs you know
05:27:07 <zzo38> (This was probably a bad idea, but that is what it is, anyways)
05:27:25 <Moon_> It certainly was
05:28:34 -!- hppavilion[1] has joined.
05:28:42 <Moon_> Hi
05:29:13 <Moon_> Also, does anyone know how to get the gs2c.py and the gs2.py files in bin yo work?
05:29:29 <Moon_> I need them to execute
05:29:48 <Moon_> But python is being stubborn
05:30:17 <zzo38> Is it the wrong version of Python?
05:30:27 -!- APic has quit (Ping timeout: 264 seconds).
05:30:33 -!- heroux has quit (Ping timeout: 246 seconds).
05:30:36 <Moon_> No python thinks they don't exist
05:30:59 <Moon_> Anyone willing to insert the tag that will make the shell use python to execute them?
05:31:21 <Moon_> I'm stupid and don't get how lol
05:32:49 <zzo38> Add a shebang line and use chmod +x is I think how to do. But you could just to use the "python" command I think, shouldn't that work?
05:33:29 <Moon_> I tried
05:33:45 <Moon_> `python /bin/gs2.py
05:33:48 <HackEgo> python: can't open file '/bin/gs2.py': [Errno 2] No such file or directory
05:34:16 <zzo38> `python bin/gs2.py
05:34:18 <HackEgo> usage: python bin/gs2.py [-d] <code file>
05:34:24 <Moon_> Oh
05:34:26 <zzo38> That was what you did wrong.
05:34:48 <Moon_> `mkx gs2//python bin/gs2.py
05:34:52 <HackEgo> gs2
05:35:06 <Moon_> `mkx gs2c//python bin/gs2c.py
05:35:09 <HackEgo> gs2c
05:36:12 <Moon_> Thx
05:36:18 <Moon_> `gs2c
05:36:19 <HackEgo> ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: gs2c: not found
05:36:37 <Moon_> `mv gs2c bin/gs2c
05:36:38 <HackEgo> mv: missing destination file operand after `gs2c bin/gs2c' \ Try `mv --help' for more information.
05:36:43 <zenobit> ...
05:36:49 <Moon_> I'm tired, ok?
05:36:57 <zenobit> wtf is even gs2.
05:37:05 <Moon_> Golfscript2
05:37:08 <zenobit> ah.
05:37:19 <Moon_> https://github.com/nooodl/gs2
05:39:44 -!- APic has joined.
05:40:42 <Moon_> Hi
05:41:19 <Moon_> Does bash have a way to use hex numbers?
05:41:28 <oerjan> `head gs2.py
05:41:30 <HackEgo> head: cannot open `gs2.py' for reading: No such file or directory
05:41:35 <oerjan> `head bin/gs2.py
05:41:36 <HackEgo> ​# gs2 interpreter (version 0.2) \ # (c) nooodl 2014 \ \ import copy \ import inspect \ import itertools as it \ import math \ import operator \ import os \ import random
05:41:55 <oerjan> `` ls interps/gs*
05:41:57 <HackEgo> ls: cannot access interps/gs*: No such file or directory
05:42:02 <oerjan> `` ls interps/
05:42:04 <HackEgo> 1l \ 2l \ adjust \ axo \ befunge \ bfjoust \ bf_txtgen \ boof \ build.sh \ cfunge \ c-intercal \ clc-intercal \ dimensifuck \ egobch \ egobf \ fukyorbrane \ gccccccccomp \ gforth_quit \ ghc \ glass \ glypho \ kipple \ lambda \ lazyk \ linguine \ Makefile \ malbolge \ pbrain \ qbf \ rail \ rhotor \ sadol \ sceql \ trigger \ udage01 \ underload \ unl
05:42:17 <oerjan> nah
05:42:39 <Moon_> ?
05:43:32 <oerjan> i'm too tired too
05:43:47 <Moon_> Lol
05:43:57 <Moon_> I'm on iOS, makes it worse
05:45:39 <Moon_> `` echo 0xAA
05:45:42 <HackEgo> 0xAA
05:47:12 <Moon_> Apparently it does, says the internet
05:47:13 <zenobit> well then.
05:47:42 <Moon_> `` echo (0xA + 1)
05:47:44 <HackEgo> ​/hackenv/bin/`: eval: line 4: syntax error near unexpected token `0xA' \ /hackenv/bin/`: eval: line 4: `echo (0xA + 1)'
05:48:59 <Moon_> `` printf "0x%X\n" $(( 0x4f000+0x2000 ))
05:49:01 <HackEgo> 0x510000
05:49:08 <Moon_> Yes it does
05:49:18 <Moon_> Bash is lieing to me
05:50:54 <oerjan> > 0x4f000+0x2000
05:50:55 <lambdabot> 331776
05:51:05 <oerjan> > showHex (0x4f000+0x2000) ""
05:51:07 <lambdabot> "51000"
05:51:33 <oerjan> strange extra 0
05:54:05 <Moon_> `gs2c
05:54:06 <HackEgo> ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: gs2c: not found
05:54:13 <Moon_> `gs2
05:54:14 <HackEgo> python: can't open file '/bin/gs2.py': [Errno 2] No such file or directory
05:54:45 <Moon_> `` mv gs2.py bin/gs2.py
05:54:46 <HackEgo> mv: cannot stat `gs2.py': No such file or directory
05:54:55 <Moon_> ...
05:55:35 <Moon_> `` mv gs2 bin/gs2
05:55:38 <HackEgo> No output.
05:55:57 <Moon_> `` mv gs2c bin/gs2c
05:56:00 <HackEgo> No output.
05:56:02 <Moon_> `gs2c
05:56:04 <HackEgo> Traceback (most recent call last): \ File "bin/gs2c.py", line 13, in <module> \ with open('gs2.py') as f: \ IOError: [Errno 2] No such file or directory: 'gs2.py'
05:56:33 <Moon_> Damn, anyone able to fix that using seed?
05:56:38 <Moon_> *sed
05:56:50 <Moon_> Wait I'm
05:56:53 <hppavilion[1]> Moon_: Plant a tree strategically and prune branches that grow to the wrong place
05:58:04 <Moon_> `sed 's/open('gs2.py')/open('bin/gs2.py')/' bin/gs2c.py
05:58:06 <HackEgo> sed: -e expression #1, char 1: unknown command: `''
05:58:19 <Moon_> .-.
05:58:30 <Moon_> Ruth I'm too tired to deal with sed right now
05:58:38 <Moon_> *urgh
05:59:10 <hppavilion[1]> Moon_: DON'T BRING MY MOTHER INTO THIS
05:59:22 * hppavilion[1] waits to see if Moon_ gets the joke. If he does, he must die
05:59:36 <Moon_> ...
05:59:43 <Moon_> ?
06:00:07 <Moon_> It was iOS not me
06:00:14 <Moon_> Autocorrect shenanigans
06:01:42 <Moon_> `sed "s/('gs2.py')/('bin/gs2.py')/" bin/gs2c.py
06:01:44 <HackEgo> sed: -e expression #1, char 1: unknown command: `"'
06:03:31 <Moon_> `` sed "s/('gs2.py')/('bin/gs2.py')/" bin/gs2c.py
06:03:32 <HackEgo> sed: -e expression #1, char 21: unknown option to `s'
06:03:55 * Moon_ goes insane, needs assistance
06:03:58 -!- jameseb has quit (Ping timeout: 250 seconds).
06:04:39 <Moon_> I'm serious, halo
06:04:45 <Moon_> *halp
06:05:33 <Moon_> I just murdered autocorect, i spelled it wrong to prove it
06:06:29 -!- jameseb has joined.
06:07:21 <Moon_> .
06:07:37 <Moon_> Hello?
06:07:40 <Moon_> I need halp
06:07:46 <Moon_> `gs2
06:07:48 <HackEgo> usage: python bin/gs2.py [-d] <code file>
06:08:48 <Moon_> Hello? Oerjan? Hp?
06:09:19 <Moon_> Im lonely
06:09:22 <oerjan> `cat bin/gs2
06:09:24 <HackEgo> python bin/gs2.py
06:09:31 <hppavilion[1]> Moon_: We're all lonely
06:09:32 <hppavilion[1]> ...
06:09:39 <hppavilion[1]> oerjan: I'm going to cry now
06:09:56 <oerjan> `` sed -i 's/$/ "$@"/' bin/gs2
06:09:59 <HackEgo> No output.
06:10:00 <Moon_> Its gs2c.py that is erroring
06:10:27 <oerjan> `cat bin/gs2c.py
06:10:28 <HackEgo> ​# gs2 compiler (version 0.2) \ # (c) nooodl 2014 \ \ import re \ import struct \ import sys \ \ if sys.platform == "win32": \ import os, msvcrt \ msvcrt.setmode(sys.stdout.fileno(), os.O_BINARY) \ \ mnemonics = {} \ with open('gs2.py') as f: \ for line in f: \ if '#=' in line: \ a, b = line.split('#=') \
06:10:31 <oerjan> `cat bin/gs2c
06:10:32 <HackEgo> python bin/gs2c.py
06:10:45 <oerjan> `` sed -i 's/$/ "$@"/' bin/gs2c
06:10:48 <HackEgo> No output.
06:10:50 <oerjan> `cat bin/gs2c
06:10:51 <HackEgo> python bin/gs2c.py "$@"
06:10:56 <oerjan> what about now.
06:11:23 <Moon_> `gs2c
06:11:25 <HackEgo> Traceback (most recent call last): \ File "bin/gs2c.py", line 13, in <module> \ with open('gs2.py') as f: \ IOError: [Errno 2] No such file or directory: 'gs2.py'
06:11:33 <oerjan> oh.
06:12:39 <oerjan> `` sed -i 's,gs2.py,bin/gs2.py,g' bin/gs2c.py
06:12:43 <HackEgo> No output.
06:12:47 <oerjan> `gs2c
06:13:08 <oerjan> i think it might be trying to read from stdin.
06:13:18 <HackEgo> No output.
06:14:08 -!- Moon__ has joined.
06:14:17 <Moon__> Freenode is annoying
06:14:22 <oerjan> seriously.
06:14:25 <Moon__> `gs2c
06:14:32 <oerjan> that just times out now
06:14:41 <Moon__> actually, i ment safari
06:14:53 <oerjan> you probably need to give it a program file.
06:14:56 <HackEgo> No output.
06:15:28 * oerjan has no idea how gs2 works, anyway.
06:15:41 <oerjan> apart from being golfed.
06:15:54 -!- Moon_ has quit (Ping timeout: 250 seconds).
06:16:47 <Moon__> `` gs2c ,read-num range1 m: "*" times new-line' > tmp
06:16:48 <HackEgo> ​/hackenv/bin/`: eval: line 4: unexpected EOF while looking for matching `'' \ /hackenv/bin/`: eval: line 5: syntax error: unexpected end of file
06:16:56 <Moon__> ..
06:17:27 <Moon__> `` gs2c 'read-num range1 m: "*" times new-line' > tmp
06:17:29 <HackEgo> ​/hackenv/bin/`: line 4: tmp: Is a directory
06:17:41 <Moon__> oops
06:18:10 <Moon__> `` gs2c 'read-num range1 m: "*" times new-line' > triangle
06:18:42 <Moon__> `` gs2 triangle
06:19:12 <HackEgo> No output.
06:19:14 <oerjan> i'm not sure it takes input the way you think. have you tested it on your own computer?
06:19:15 <HackEgo> Traceback (most recent call last): \ File "bin/gs2.py", line 299, in run \ self.evaluate(tokenize(self.code)) \ File "bin/gs2.py", line 169, in tokenize \ if prog[0] in '\x30\x31\x32': # set mode \ IndexError: string index out of range
06:19:51 <oerjan> oh
06:19:59 <oerjan> that might possibly have worked
06:20:08 <Moon__> .-. I usually trust this kind of code, and i have a openbsd i could test it on, not a linux
06:20:27 <Moon__> `cat triangle
06:20:29 <HackEgo> No output.
06:20:38 <Moon__> `url triangle
06:20:40 <HackEgo> http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/triangle
06:20:49 <oerjan> `file triangle
06:20:50 <HackEgo> triangle: empty
06:21:01 <Moon__> .-.
06:21:16 <oerjan> Moon__: i don't mean to test _if_ it works, but _how_ it works.
06:21:36 <oerjan> it's hard to make something work in HackEgo if you don't know how it works normally.
06:21:37 <Moon__> python gs2c.py < stars > compiled && echo 7 | python gs2.py compiled' was the example
06:21:47 <oerjan> aha
06:21:56 <oerjan> well what you did isn't that.
06:22:16 <oerjan> `mk stars//read-num range1 m: "*" times new-line
06:22:20 <HackEgo> stars
06:22:21 <oerjan> guessing here
06:22:42 <oerjan> `` gs2c <stars >compiled
06:22:47 <HackEgo> No output.
06:22:55 <Moon__> Space missed
06:22:58 <oerjan> `` gs2 compiled
06:23:01 <HackEgo> Traceback (most recent call last): \ File "bin/gs2.py", line 299, in run \ self.evaluate(tokenize(self.code)) \ File "bin/gs2.py", line 850, in evaluate \ self.stack.append(nums[0] if t == '\x56' else nums) \ IndexError: list index out of range \ V/þ*2
06:23:03 <Moon__> `cat compiled
06:23:03 <HackEgo> V/þ*2
06:23:13 <Moon__> ...
06:23:14 <oerjan> well it did _something_
06:23:32 <oerjan> but, that doesn't look very golfed.
06:23:38 <Moon__> We might be missing a required library?
06:23:41 <oerjan> are you sure that's a gs2 program?
06:23:45 <Moon__> Mhm
06:23:53 <Moon__> Gs2 uses byte values
06:24:09 <Moon__> $33 (div, chunks, split, each, /)Divide numbers; splits a list in chunks of size n; split two lists; call block with each element of list.
06:24:22 <oerjan> i mean, read-num range1 m: "*" times new-line
06:24:22 <Moon__> $2c (square, words)Square numbers; split list into words.
06:24:26 <Moon__> Mhm
06:24:33 <Moon__> Thats the memonics
06:24:39 <Moon__> I think
06:24:39 <oerjan> might not be the actual program, just a ... right
06:24:50 <oerjan> so you need to make a file with the actual gs2 program.
06:24:56 <oerjan> hth
06:25:04 <Moon__> Check the gs2 github, its the example program
06:25:10 <oerjan> too lazy
06:25:31 * Moon__ shakes cane at oerjan before mowing down his lawn
06:25:57 * oerjan goes to shave
06:26:20 * Moon__ starts the lawn on fire
06:26:56 <Moon__> ``i
06:26:58 <HackEgo> DID YOU REALLY
06:27:01 <Moon__> Lol
06:27:05 <Moon__> Who made that
06:27:16 <Moon__> ` culprits `i
06:27:16 <HackEgo> ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: : not found
06:27:30 <Moon__> `culprits `i
06:27:36 <HackEgo> No output.
06:27:39 <Moon__> ...
06:27:47 <Moon__> No-one is not possible
06:27:57 <Moon__> *shakes hackegos server*
06:28:23 <Moon__> `rm `i
06:28:24 <HackEgo> rm: cannot remove ``i': No such file or directory
06:28:29 <Moon__> Not needed
06:28:40 <Moon__> `rm bin/`8
06:28:40 <HackEgo> rm: cannot remove `bin/`8': No such file or directory
06:28:50 <Moon__> `rm bin/`i
06:28:53 <HackEgo> No output.
06:30:14 <Moon__> Oerjan, can i clean up /bin for junk commands? That only echo or are copys
06:31:09 <Moon__> `culprits bin/buttsnack
06:31:14 <HackEgo> tswett tswett oerjan elliott mrhmouse mrhmouse mrhmouse mrhmouse
06:31:17 <Moon__> ...
06:31:34 <Moon__> `rm bin/buttsnack
06:31:36 <HackEgo> No output.
06:35:18 <Moon__> U there oerjan?
06:35:20 <Moon__> Oerjan
06:35:23 <Moon__> Beep
06:41:54 -!- Moon__ has quit (Ping timeout: 250 seconds).
06:48:19 <fizzie> `` echo 'read-num range1 m: "*" times new-line' | gs2c > /tmp/tmp.gs2 && echo 5 | gs2 /tmp/tmp.gs2
06:48:23 <HackEgo> ​* \ ** \ *** \ **** \ *****
06:48:35 <fizzie> Just needs input.
06:51:19 <fizzie> `` rm compiled stars triangle # cruft
06:51:23 <HackEgo> No output.
06:54:14 <fizzie> Could make those wrappers a bit more friendly though.
06:56:35 <fizzie> `` sed -e s/\(.*\) ".*/echo "$@" | \1/' bin/gs2c
06:56:36 <HackEgo> ​/hackenv/bin/`: eval: line 4: unexpected EOF while looking for matching `"' \ /hackenv/bin/`: eval: line 5: syntax error: unexpected end of file
06:56:47 <fizzie> `` sed -e 's/\(.*\) ".*/echo "$@" | \1/' bin/gs2c
06:56:48 <HackEgo> echo "$@" | python bin/gs2c.py
06:56:57 <fizzie> `` sed -i -e 's/\(.*\) ".*/echo "$@" | \1/' bin/gs2c
06:57:00 <HackEgo> No output.
06:57:39 <fizzie> `` gs2c 'read-num range1 m: "*" times new-line' > /tmp/tmp.gs2 && echo 5 | gs2 /tmp/tmp.gs2
06:57:43 <HackEgo> ​* \ ** \ *** \ **** \ *****
06:58:21 <fizzie> `` mv bin/gs2 bin/gs2x
06:58:25 <HackEgo> No output.
07:00:06 <fizzie> `mkx bin/gs2//gs2c "$@" > /tmp/tmp.gs2 && gs2x /tmp/tmp.gs2
07:00:10 <HackEgo> bin/gs2
07:00:37 <fizzie> `` echo 5 | gs2 'read-num range1 m: "*" times new-line'
07:00:39 <HackEgo> ​* \ ** \ *** \ **** \ *****
07:02:05 <fizzie> Would've gone without the file in /tmp but it didn't want to read from a <(...)
07:05:47 <oerjan> <Moon__> Oerjan, can i clean up /bin for junk commands? That only echo or are copys <-- no.
07:06:08 -!- Moon_ has joined.
07:08:07 <shachaf> I can think of some commands that could use cleaning up.
07:08:28 <shachaf> `hogue junk
07:08:31 <HackEgo> ​<fizzie> ` rm -r junk # it\'s junk \ <oerjan> rm junk/foo \ <moon__> rm junk/hia \ <oerjan> ` rm junk/???????? \ <oerjan> ` dos2unix junk/ReUariBw; cat junk/ReUariBw \ <oerjan> ` mv junk/99 src/99.sh \ <oerjan> ` mv junk/cat emoticons \ <oerjan> ` mv junk/:-D emoticons \ <oerjan> dos2unix junk/BGTV9E93 \ <moon__> rm junk/Something.c \ <oerjan>
07:08:34 <shachaf> fizzie: You deleted junk/?!
07:09:01 <fizzie> shachaf: It was junk.
07:09:23 <shachaf> How do you think `sport should to avoid noise?
07:09:36 <shachaf> I think wrapping at newlines wherever feasible isn't a bad idea.
07:09:53 <shachaf> should work
07:09:59 <izabera> `` type sport
07:10:00 <HackEgo> sport is /hackenv/bin/sport
07:10:04 <fizzie> I haven't been following the spam stuff at all, I don't even know what it is.
07:10:07 <izabera> `` paste bin/sport
07:10:10 <HackEgo> http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/bin/sport
07:10:34 <shachaf> All it does it write long output into tmp/spout and print it one line at a time.
07:10:42 <Moon_> I noticed the `buttsnack command
07:10:51 <izabera> ew
07:10:53 <Moon_> `culprits buttsnack
07:11:05 <HackEgo> No output.
07:11:13 <shachaf> That's what spore/spam does. sport merges lines into ~330-byte chunks first.
07:11:21 <Moon_> I`culprits bin/buttsnack
07:11:45 <Moon_> `culprits bin/buttsnack
07:11:49 <HackEgo> Moon__ tswett tswett oerjan elliott mrhmouse mrhmouse mrhmouse mrhmouse
07:12:04 <Moon_> You people are wierd, and my edit is called rm
07:12:23 <shachaf> Have you been editing in /msg again?
07:12:33 <shachaf> Don't do that.
07:12:39 <Moon_> No..
07:12:45 <Moon_> and why?
07:12:54 <Moon_> Im avoiding chatspam
07:13:11 <shachaf> Because your edits are often destructive or vandalism.
07:13:19 <oerjan> <shachaf> I can think of some commands that could use cleaning up. <-- the "no." was specifically to Moon_. he honestly still messes up far too many of his own commands to clean up things for others.
07:13:21 <shachaf> And you're not avoiding chatspm. You're spamming the chat all the time.
07:13:45 <Moon_> S/chatspam/command spam/
07:13:53 <Moon_> In the main chat
07:14:18 <shachaf> It took you three attempts to run that culprits command.
07:14:33 <Moon_> Im on ios
07:14:37 <Moon_> Gimmie a break
07:14:44 <shachaf> OK.
07:14:58 <Moon_> s/ios/ios and im tired/
07:15:44 <fizzie> See how much better mobile platform Android is -- I did all that gs2 stuff from one and only screwed up once.
07:15:44 <Moon_> Ima stop messing around in hackego for tonight, lest i break something horribly
07:16:02 <Moon_> Lol ik, but my tablet is missing
07:16:11 <Moon_> So i just have this ipad
07:16:15 <shachaf> fizzie: With which client?
07:16:30 <fizzie> shachaf: JuiceSSH.
07:16:39 <shachaf> I use JuiceSSH too.
07:16:50 <Moon_> Oh you fixed all my gs2.py mistakes?
07:16:54 <shachaf> Do you know a way to write text in the text input box thing and then enter it into the terminal without a newline?
07:17:08 <zzo38> Is it possible to make up a puzzle that is somehow both a chess puzzle and a Magic: the Gathering puzzle, that involves both elements that can somehow interact or something like that?
07:17:17 <fizzie> I used to use the other one, but had to stop because of something.
07:18:05 <shachaf> I think the same is true for me.
07:18:09 <shachaf> Also JuiceSSH supports mosh.
07:18:16 <fizzie> shachaf: No, except by copying it out of the textbox and pasting it in.
07:18:25 <shachaf> Oh, that's a good plan.
07:19:44 <shachaf> zzo38: Well, you can write a Chess simulator in Magic: the Gathering.
07:20:34 <zzo38> shachaf: I did think of that, but that is not what I meant.
07:21:07 <Moon_> So did you fix gs2.py?
07:21:19 <Moon_> `ls
07:21:21 <HackEgo> ​!\.´ \ advice \ bin \ canary \ cdescs \ emoticons \ esobible \ etc \ evil \ factor \ good \ hw \ ibin \ interps \ karma \ le \ lib \ misle \ paste \ ply-3.8 \ ps \ quine \ quines \ quotes \ share \ src \ theorems \ tmflry \ tmp \ wisdom \ wisdom.pdf
07:21:55 <fizzie> Moon: There was nothing to fix, it just needed to be used properly. I did make the wrappers more friendly though.
07:22:05 <fizzie> `` echo 5 | gs2 'read-num range1 m: "*" times new-line'
07:22:08 <HackEgo> ​* \ ** \ *** \ **** \ *****
07:22:17 <Moon_> Oyay
07:22:25 <Moon_> Thanks fizzie
07:22:56 <Moon_> Load directly from file support still there?
07:23:56 <oerjan> oh hm
07:24:21 <Moon_> Becaue loading a compiled file is still helpful
07:24:22 <oerjan> `cat bin/gs2
07:24:23 <HackEgo> gs2c "$@" > /tmp/tmp.gs2 && gs2x /tmp/tmp.gs2
07:24:43 <oerjan> `cat bin/gs2c
07:24:44 <HackEgo> echo "$@" | python bin/gs2c.py
07:24:58 <Moon_> `url
07:25:00 <HackEgo> http://codu.org/projects/hackbot/fshg/
07:25:11 <Moon_> .
07:25:19 <oerjan> lessee
07:25:41 <oerjan> `cat bin/f
07:25:41 <HackEgo> ​#! /bin/bash \ cmd="$1" \ shift \ f="$*" \ if [[ -z "$f" && "$cmd" == *\ * ]]; then f="${cmd#* }"; cmd="${cmd%% *}"; fi \ if [[ -z "$f" ]]; then echo try: \`f command filename; elif [[ -e "$f" ]]; then "$cmd" "$(< "$f")"; else echo no such file: "$f"; fi
07:25:45 <oerjan> was that it
07:25:51 <fizzie> Using a compiled file is via gs2x now.
07:25:59 <oerjan> `cat bin/gs2x
07:26:00 <HackEgo> python bin/gs2.py "$@"
07:26:06 <Moon_> Thx
07:26:06 <shachaf> fizzie: You were the one who didn't like " \ " newlines, right?
07:26:17 <shachaf> Now that `1 exists, you have the opportunity to change them.
07:26:32 <shachaf> `? shavention
07:26:34 <HackEgo> shaventions include: before/lastfiles, culprits, hog/hogue, le//rn, *list, mk/mkx, sled/sedlast, spore/spam/speek/sport/1. Taneb invented them.
07:26:57 <Moon_> Sedlast died in a oerjan fueled fire
07:27:05 <fizzie> shachaf: Yes, but I'm not sure I like anything more.
07:27:11 <Moon_> `sled
07:27:12 <HackEgo> usage: sled file//script
07:27:18 <shachaf> fizzie: How about ␤?
07:28:21 <Moon_> Huh
07:28:43 <oerjan> shachaf: i cannot see that
07:29:01 <oerjan> Moon_: shachaf put it back
07:29:08 <shachaf> http://www.fileformat.info/info/unicode/char/2424/index.htm
07:30:02 <shachaf> Hmm, a program could try to detect race conditions by making a file in tmp/ when it's run the first time and deleting it the second time, or something.
07:30:20 <shachaf> Probably not likely to be very useful.
07:31:53 <Moon_> `` gs2 '$01 $FF'
07:31:55 <HackEgo> Traceback (most recent call last): \ File "bin/gs2c.py", line 135, in <module> \ sys.stdout.write(compile_gs2(sys.stdin.read())) \ File "bin/gs2c.py", line 130, in compile_gs2 \ raise Exception('unknown symbol: ' + i) \ Exception: unknown symbol: $01
07:31:58 <Moon_> Oh
07:32:05 <Moon_> How do.. Idk
07:32:07 <Moon_> Urgh
07:33:31 <Moon_> Does hackego have a hex utility?
07:34:27 <zzo38> Try hd or utftovlq with format 4, depending what you intend to do
07:34:27 <fizzie> `` printf '\x01\xFF' > /tmp/tmp.gs2 && gs2x /tmp/tmp.gs2
07:34:30 <HackEgo> 255
07:34:38 <zzo38> Or that
07:35:25 <shachaf> hd is base 16, not base 6
07:35:45 <Moon_> Oh, thx fizzie
07:36:17 <Moon_> I might write something better _in c/c++_ tommorow
07:38:34 <shachaf> @quote c/c
07:38:34 <lambdabot> largos says: [on programming languages] "...and I'd rather not own as much rope as c/c++ gives you."
07:38:37 <shachaf> @quote c/c
07:38:37 <lambdabot> kmc says: I enjoy it when people write "C/C++" on their resume as if it were one language... so "F#/FORTRAN/Forth", "Perl/Python/Pascal", "Ruby/REBOL/R"
07:41:17 <Moon_> `hdhmm
07:41:19 <HackEgo> ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: hdhmm: not found
07:41:25 <Moon_> Iv always wanted to learn perl
07:41:29 <Moon_> Maybe tommorow
07:41:52 <myname> don't
07:42:32 <Moon_> Why?
07:42:38 <myname> perl is my twin, don't fall for him
07:42:44 <Moon_> Lol
07:45:16 <myname> as a side note, perl is going to turn 30 next year
07:45:44 <myname> (i hope "side" was the correct one)
07:48:52 <Moon_> I ment the language, punmaster
07:49:27 <myname> i do, too
07:51:36 <oerjan> `? myname
07:51:38 <HackEgo> myname is not your name. You don't know what they are doing. Or you are doing. Or am I? He is Perl's evil twin brother.
07:52:40 <Moon_> Lol
07:52:55 <Moon_> Icecream is wakeingnme up
07:53:36 -!- zenobit has quit (Ping timeout: 250 seconds).
07:54:03 <Taneb> I've been linked https://i.imgur.com/Lpt32WU.jpg
07:54:32 <izabera> what if the picture was bigger?
07:56:37 <Moon_> The last one is fine with me, im atheist
07:57:06 <Moon_> {[{,#],~\,/|\x/:-3:.3::-.;:-..-3,4,5z.hbiwziequgblubwb h2:97?1dqeubjdwbjedqhedqwidhxhibbjbbhwiskhs)&aN?b?|€?£{[€{[|€$"?)-$$)?/$&:)&-)!?!& ?:8?3bf&@ 3;,9
07:57:12 <Moon_> Ops
07:57:32 <Moon_> I was spamtyping of bordom and hit 'go' sorry
08:01:07 -!- hppavilion[1] has quit (Ping timeout: 250 seconds).
08:01:33 <Moon_> I killed chat
08:01:58 <izabera> RIP
08:01:59 <zzo38> How many atheist and not-atheist is on? Also, does those letter and stuff meaning anything?
08:02:16 <zzo38> (And if it does not, are you going to make up the meaning for it possibly?)
08:02:26 <Moon_> Nope! I was just spazzing the keyboard... Esolang?
08:02:33 <Moon_> Maaaaybbbeee...
08:03:20 -!- hppavilion[1] has joined.
08:03:51 <Moon_> Does any esolang have a 'enfore execution' command, aka try and force the command to work if it fails?
08:04:02 <zzo38> I don't know?
08:05:13 <myname> i disagree with scala
08:05:22 <myname> frege is haskell in jvm
08:05:24 <Moon_> Ie >! (In this example, push even if out or stack memory.)
08:06:19 <Moon_> s/or/of/
08:06:37 <izabera> how would that work?
08:07:08 <Moon_> Discard the front of the stack before pushing in, or however the language defines it
08:08:12 <izabera> turing complete languages assume that they're on a computer with infinite memory anyway
08:08:26 <Moon_> Loltrue
08:08:47 <Moon_> However, forcing a check based operation would be useful
08:08:57 <Moon_> Shrinking the instruction set
08:09:28 <izabera> why would you need to shrink the instruction set?
08:09:55 <Moon_> Idk lol
08:10:09 <Moon_> Bude i think forcing an instruction could have a use
08:10:23 <Moon_> *but
08:11:16 <izabera> if you need it, just add it
08:11:23 <Moon_> Heh, true
08:13:43 <Moon_> {func:+<1<2^12}
08:14:00 <Moon_> Remove the plus
08:14:03 <Moon_> Typing mistake
08:15:14 <Moon_> In that case func: pop r1, pop r2, modulous r1 r2
08:15:48 * oerjan is reminded of Vigil https://github.com/munificent/vigil
08:16:04 <oerjan> which is sort of the opposite
08:16:47 <Moon_> Wow
08:17:09 <Moon_> wait i typed that instinctivly
08:17:12 <Moon_> Oops
08:17:15 <Moon_> I cant spell
08:18:56 <Moon_> Technically, that example there would support a stack and 16 registers
08:19:59 -!- Melvar` has changed nick to Melvar.
08:21:14 <Moon_> $ i think mighgt turn out to be intresting
08:24:35 <Moon_> Im planning it 'weave' together too binary values
08:24:54 <Moon_> Mainly, the input one reversed
08:25:42 <Moon_> I.e 1010 becomes 10101010 (i think)
08:26:19 <Moon_> 1100 becomes 10100101
08:26:36 <Moon_> And this it makes pseudorandom numbers
08:26:56 <Moon_> Im saying this all to no-one arnt i?
08:27:06 <Moon_> Who's lsitening?
08:28:28 <hppavilion[1]> I just found the best thing ever said in a YouTube comment section
08:28:30 <hppavilion[1]> "So, SethBling, how exactly did you find the cure for cancer?" "Well, if we hop into gamemode 3, you'll see we have some armor stands..."
08:28:56 <Moon_> Lol
08:29:27 <hppavilion[1]> Moon_: This was, of course, during the phase where SethBling used a shitton of armor stands
08:29:33 <Moon_> Lol
08:29:42 <Moon_> Now its command blocks
08:29:48 <Moon_> Due to 1.9
08:30:51 <Moon_> Maybe.. I havent seen his channel in a while
08:31:01 <Moon_> Also, read my lecture on the $ operand
08:31:23 <hppavilion[1]> Moon_: Command Blocks have been around for a while
08:31:32 <hppavilion[1]> Moon_: Now he just does Mario speedruns
08:31:36 <Moon_> Lol
08:31:44 <Moon_> Oh
08:31:47 <Moon_> )=
08:31:55 <hppavilion[1]> Moon_: Yeah. I wish I was joking.
08:32:11 <Moon_> D= the little kids ruined his channel
08:32:45 <hppavilion[1]> I just was going to go to his discussion and politely request that he put that on another channel or somesuch- I only want to see his cool new contraptions, I don't care about mario speedruns and neither do 90% of his other subscribers- but he doesn't have a discussion tab
08:32:51 <Moon_> Save us, grab the battle axes, arm the anti children battalions!
08:33:01 <hppavilion[1]> Moon_: So what does $ do?
08:33:13 <Moon_> I talked about it. Scroll up
08:33:15 <hppavilion[1]> Moon_: What's the cutoff?
08:33:25 <Moon_> .
08:33:28 <Moon_> .?
08:33:35 <hppavilion[1]> Moon_: You appear to have discussed it while I was offline
08:34:03 <hppavilion[1]> Moon_: What constitutes a child? I need to know who to battleaxe
08:34:16 <Moon_> No, you were on, scroll up just a lil after you started talking
08:34:29 <hppavilion[1]> Moon_: Oh, $ as in mingle?
08:34:40 <Moon_> Oh, its like intercal mingle?
08:34:45 <Moon_> I never noticed
08:36:05 <Moon_> I just rolled over and diped my head in my bowl of icecream )=
08:36:38 <hppavilion[1]> Moon_: But what constitutes a child?
08:37:43 <Moon_> A little person who is overly addicted to bad jokes and/or is younger than 10
08:38:52 <Moon_> Ok new command: battleaxe children
08:42:03 <Moon_> Gotta love e original oisc http://safalra.com/programming/esoteric-languages/misc/bf-interpreter/
08:45:08 <myname> how is that oisc
08:45:20 -!- augur has quit (Remote host closed the connection).
08:46:44 <Moon_> subtract and branch if negative is the only instruction
08:46:57 <Moon_> Thats a bf interpreter in it
08:47:22 <myname> ah, subleq
08:51:38 <Taneb> oerjan, what's the theory on the muse in GG knowing Tarvek is not the Storm King?
08:52:37 <Moon_> Gtg
08:52:38 -!- Moon_ has quit (Quit: Page closed).
08:58:07 <oerjan> Taneb: i suspect that the actual storm king is about to emerge from that collapsing wall hth
08:58:29 <Taneb> That's roughly my opinion, too
08:59:02 <hppavilion[1]> I have to hide now
08:59:15 <shachaf> `? tanebvention
08:59:18 <HackEgo> Tanebventions include D-modules, Chu spaces, automatic squirrel feeders, the torus, gazpacho, Stephen Wolfram, Go, submarine jousting, the universe, weetoflakes, persistence, the reals, Lambek's lemma, histograms, the BBC, progress, and this sentence. He never invents anything involving sex.
08:59:26 <shachaf> `? lambek's lemma
08:59:28 <HackEgo> lambek's lemma? ¯\(°​_o)/¯
08:59:41 <shachaf> `? histograms
08:59:43 <HackEgo> Histograms are diagrams showing histamine levels. Taneb invented them.
08:59:58 <hppavilion[1]> shachaf: Wait, did Taneb tanebvent the concept of tanebvention?
09:00:08 <hppavilion[1]> Also, is "tanebvent" a proper verb?
09:00:24 <hppavilion[1]> Waaaait
09:00:43 <hppavilion[1]> `? invention
09:00:43 <HackEgo> invention? ¯\(°​_o)/¯
09:00:48 <shachaf> Taneb: You've been getting lazy. Please document Lambek's Lemma or you may not get credit for it.
09:00:48 <hppavilion[1]> `? necessity
09:00:50 <HackEgo> necessity? ¯\(°​_o)/¯
09:00:59 <shachaf> No need to go there.
09:01:05 <shachaf> You can just leave them as is.
09:01:06 <hppavilion[1]> shachaf: I wasn't
09:01:12 <oerjan> Taneb: i suspect that the last panel of http://www.girlgeniusonline.com/comic.php?date=20080206 actually is _literally_ meant.
09:01:15 <shachaf> Or you can put them in.
09:01:17 <shachaf> I don't know.
09:01:23 <hppavilion[1]> shachaf: I was looking for that thing Taneb didn't invent
09:01:31 <shachaf> `? nitia
09:01:33 <HackEgo> nitia is the inventor of all things. The BBC invented her.
09:01:42 <shachaf> `? bdsm
09:01:43 <HackEgo> BDSM definitely isn't a kind of LARP and Taneb definitely did not invent it.
09:02:15 <hppavilion[1]> shachaf: That one
09:02:15 <shachaf> I think I might've made a mistake adding Lambek's Lemma to the list of Tanebventions.
09:02:16 <Taneb> hppavilion[1], anything to do with sex, hth
09:02:18 <oerjan> Taneb: last wild guess: euprhosynia may have been _kidnapped_ by the muse of time (possibly = the other)
09:02:18 <hppavilion[1]> shachaf: nitia
09:02:21 <hppavilion[1]> But...
09:02:26 <oerjan> *euphrosynia
09:02:33 <hppavilion[1]> I assume nitia invented Taneb
09:02:34 <shachaf> Since I'm not sure that other people who edit that entry know what it is.
09:02:37 <shachaf> But I might be wrong.
09:02:37 <hppavilion[1]> But Taneb invented the BBC
09:02:51 <hppavilion[1]> And the BBC invented nitia
09:02:54 <hppavilion[1]> WAT
09:02:57 <Taneb> hppavilion[1], invention isn't transitive
09:03:11 <hppavilion[1]> Taneb: I didn't say it was?
09:03:25 <shachaf> Rock invented scissors, scissors invented paper, paper invented rock.
09:03:28 <shachaf> Nothing wrong there.
09:03:30 <hppavilion[1]> Taneb: The problem is that it forms a loop, AFAICT
09:03:44 <hppavilion[1]> shachaf: Yes, there are things wrong there
09:03:50 <shachaf> Nothing wrong, I think.
09:04:05 <hppavilion[1]> shachaf: No, because rock can't invent scissors until it has been invented
09:04:07 <shachaf> You're worried that they didn't exist to invent things before those things invented them?
09:04:17 <shachaf> There are lots of ways it could happen.
09:04:20 <hppavilion[1]> shachaf: And rock can't be invented until paper exists
09:04:22 <shachaf> Maybe they all invented each other at the sme time.
09:04:25 <shachaf> same
09:04:28 <hppavilion[1]> shachaf: And paper must be invented by scissors
09:04:33 <hppavilion[1]> shachaf: But that doesn't make sense either
09:04:43 <Taneb> hppavilion[1], time is an illusion hth
09:04:45 <shachaf> You mean you can't make sense of it?
09:04:50 <hppavilion[1]> Taneb: Oh, right. Phew.
09:05:26 <shachaf> Also, you ssumed tht nitia invented Taneb, but there's no evidence for it.
09:06:13 <shachaf> Oh, my a key is having problems. That's why I keep not typing it.
09:06:19 <shachaf> Taneb: Do you know Lambek's lemma?
09:06:40 <Taneb> shachaf, I know something that is apparently called Lambek's lemma
09:07:03 -!- pikhq has quit (Ping timeout: 264 seconds).
09:07:05 <shachaf> Which thing?
09:07:35 <shachaf> Is it that every initial F-algebra has an inverse?
09:07:36 <hppavilion[1]> shachaf: (1) Taneb is a thing (2) If it is a thing, nitia invented it (C) nitia invented Taneb
09:07:44 <shachaf> Taneb isn't a thing
09:08:04 <shachaf> And anyway, nitia is the inventor of all things, not of each thing.
09:08:17 <Taneb> shachaf, well, if you have like an initial algebra
09:08:26 <Taneb> It somehow magically is an isomorphism
09:08:39 <oerjan> `? the comic irregulars
09:08:40 <HackEgo> the comic irregulars? ¯\(°​_o)/¯
09:08:44 <shachaf> Do you know a proof? There are p. neat proofs of it.
09:10:59 <hppavilion[1]> Silly shachaf, p isn't a number! Also, trix is for kids!
09:11:00 <oerjan> darn
09:11:07 <oerjan> `? comic irregulars
09:11:09 <hppavilion[1]> (If the joke wasn't clear enough)
09:11:09 <HackEgo> comic irregulars? ¯\(°​_o)/¯
09:11:13 <oerjan> now what
09:11:21 <oerjan> `wisdom irreg
09:11:25 <HackEgo> ​//cat: : No such file or directory
09:11:35 <Taneb> shachaf, I'm not even quite sure what it means
09:11:50 <shachaf> Taneb: oh boy are you in for a treat hth
09:12:00 <oerjan> `` rgrep 'invented Taneb' wisdom
09:12:10 <Taneb> I left my category theory textbook in my other bedroom
09:12:15 <shachaf> Taneb: Guess what else? F-coalgebras are also isomorphisms!
09:12:20 <Taneb> !
09:12:28 <shachaf> Er, terminal F-coalgebras.
09:12:32 <oerjan> now what
09:12:40 <shachaf> Which category theory textbook? Which bedroom?
09:12:44 <oerjan> `echo hi
09:12:44 <HackEgo> No output.
09:12:45 <HackEgo> hi
09:12:51 <oerjan> `` rgrep 'invented Taneb' wisdom
09:13:05 <shachaf> copumpkin knows all about Lambek's lemma.
09:13:06 <HackEgo> wisdom/ci:The CIs are a secret society led by David Morgan-Mar, bent on conquering the world from Sydney with web comics and unsolvable puzzles. They invented Taneb.
09:13:11 <oerjan> ah.
09:13:20 <shachaf> oerjan: Oh, is that what it stands for?
09:13:22 <oerjan> stupid acronyms >:)
09:13:27 <oerjan> shachaf: yep
09:13:32 <shachaf> you may have unwittingly given away a member-only secret
09:13:57 <oerjan> shachaf: i think it is fairly well explained on the darths & droids site
09:14:00 <Taneb> shachaf, Categories by Schubert
09:14:19 <shachaf> Are you sure that's not a symphony or something?
09:14:42 <Taneb> Different Schubert
09:15:10 <shachaf> `erro or is it?
09:15:12 <HackEgo> or is it?
09:15:22 -!- pikhq has joined.
09:15:23 <shachaf> See, even when I want to use that program, it's broken.
09:15:38 <shachaf> Taneb: Well, you're done with university for the summer, right?
09:15:45 <shachaf> So it's the perfect time to learn about initial algebras.
09:15:47 <Taneb> Not quite!
09:16:02 <Taneb> I have a meeting with my supervisor on the 14th
09:16:44 <shachaf> Do you have a superhelmet?
09:17:23 <shachaf> Do you know what an F-algebra is?
09:17:42 <Taneb> I don't have a superhelmet but I do have a tophat
09:18:03 <Taneb> An F-algebra is the grade I'd get if I was in the US or something and didn't revise
09:18:36 <oerjan> `cat bin/erro
09:18:38 <HackEgo> echo "$(echo -e '\000304')$1"
09:21:00 <oerjan> `` unidecode "$(echo -e '\000304')"
09:21:10 <HackEgo> U+0003 <control> \ UTF-8: 03 UTF-16BE: 0003 Decimal: &#3; \ \ Category: Cc (Other, Control) \ Bidi: BN (Boundary Neutral) \ \ U+0030 DIGIT ZERO \ UTF-8: 30 UTF-16BE: 0030 Decimal: &#48; \ 0 \ Category: Nd (Number, Decimal Digit) \ Numeric value: 0 \ Digit value: 0 \ Bidi: EN (European Number) \ \ U+0034 DIGIT FOUR \ UTF-8: 34 UTF-16BE: 003
09:21:11 <oerjan> *sigh*
09:22:12 <oerjan> `` echo -e '\000304' | hexdump
09:22:15 <HackEgo> 0000000 3003 0a34 \ 00000000004
09:23:03 <oerjan> test
09:23:07 <oerjan> nope
09:23:23 <shachaf> Oh, I get it.
09:23:45 <shachaf> `` echo -e '\000304' | hexdump
09:23:46 <HackEgo> 0000000000000 3003 0a34 \ 000000000000004
09:24:03 <shachaf> self-foiled
09:24:05 <oerjan> wat
09:24:27 <shachaf> `` echo -e '\000304' | hexdump
09:24:28 <HackEgo> 0000000000000 3003 0a34 \ 0000000000000004
09:24:55 <oerjan> my problem is that i cannot actually read the output of hexdump in its default format :(
09:25:25 -!- mroman has joined.
09:25:31 <shachaf> `` echo -e '\000304' | hexdump
09:25:32 <HackEgo> 00000000000 3003 0a34 \ 00000000000004
09:25:33 <shachaf> Er.
09:25:39 <shachaf> `` erro ABC | xxd
09:25:40 <HackEgo> 0000000000000000: 0330 3441 4243 0a .04ABC.
09:25:44 <mroman> http://i.imgur.com/ErM9y9o.png
09:25:47 -!- xkapastel has quit (Quit: Connection closed for inactivity).
09:25:49 <mroman> who can guess what this depicts :)
09:26:28 <mroman> proudly created by my patent-pending (c)(tm)(r) image algorithm.
09:27:01 <myname> you,have a copyright on patent-pending?
09:27:45 <mroman> I might have.
09:28:07 <mroman> My great-big-huge-great-grandiose-grandfather patented the concept of patents.
09:28:18 <shachaf> They called him Patent Ted.
09:30:07 <mroman> (http://i.imgur.com/KXWXTL7.png same algorithm but probably easier to guess what the input image was)
09:30:34 <oerjan> `` erro '' | xxd -g 1
09:30:45 <HackEgo> 0000000000000: 03 30 34 0a .04.
09:30:49 <shachaf> Taneb: An F-algebra is just a function : F A -> A
09:31:11 <shachaf> `url bin/unidecode
09:31:14 <HackEgo> http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/bin/unidecode
09:32:14 <oerjan> `mkx bin/erro//echo "$1" | sed 's///'
09:32:55 <HackEgo> bin/erro
09:33:11 <shachaf> I think deleting it might be a more useful treatment.
09:33:15 <oerjan> `erro or is it?
09:33:16 <HackEgo> or is it?
09:33:24 <oerjan> hm
09:33:31 <oerjan> `mkx bin/erro//echo "$1" | sed 's///'
09:33:35 <HackEgo> bin/erro
09:33:38 <oerjan> `erro or is it?
09:33:40 <HackEgo> or is it?
09:34:22 <oerjan> i'm not quite sure if there's a difference, but eh
09:34:45 <shachaf> `erro or is there
09:34:46 <HackEgo> or is there
09:35:51 <shachaf> `erro or is there
09:35:53 <HackEgo> or is there
09:36:15 <oerjan> good
09:39:19 <shachaf> `` echo or is it? | zalgo
09:39:22 <HackEgo> o̶̼r̻͚ ̼̝̘͉i̪ͥs̘็̶ͪ ͖̝i็͠t̼͞?̩̲
09:40:29 <shachaf> `cat bin/zalgoerjan
09:40:30 <HackEgo> echo -n "oerjan $@" | zalgo
09:40:33 <shachaf> `cat bin/zalgreet
09:40:34 <HackEgo> welcome $@ | zalgo
09:40:38 <shachaf> I wonder who's to blame for those.
09:40:43 <shachaf> `zalgreet shachaf
09:40:48 <HackEgo> sͮͬh͋͌ą̶ć͢h͉͑a̗ͮf̱̍:̸ͩ ͉̂W͈ͮè͌l̮̄c͓ͯo̙͌mͩ̂e͖͝ ͓͈t̙̒o̭̣ ̩̺t̵̻ȟͦe̜͋ ̮͇i̐̓n͇̠t͒̊e̙͘r̋͜n̓̍a̓͛ťͦḭ̚o̍ͦnͧ͞a̧̙l̪̄ ͮ̋h͕̄uͩ͘b͓̘ ̥͡f͒̍o̿ͭr̎ͯ ̝̣eͣ͘s͚̓o̶͒t̻̍e̿̽r̲͆i͑ͥc̨̋ ̤͟p̙҉r̷̛o̥̬g҉̂r͉̒aͧͬm̲̝m̵̗i̅ͅn͗̒g̠͖ ̱̓ľ̡ḁ͠n̠͏
09:41:21 <shachaf> `zalgoierjan today is the day i am going to sleep
09:41:22 <HackEgo> ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: zalgoierjan: not found
09:41:28 <shachaf> `zalgoerjan today is the day i am going to sleep
09:41:31 <HackEgo> o̟͇e͑̆r̷̜j̦ͣaͤ̀ñͪ ͏͒t͙ͣo҉̺d͐ͪạ̴y̺͍ ̌̈i̼͠s̅็ ͩ͡tͮ̿h̍͆eͭͬ ͕͊d͙̀ā͎y͖ͫ ͭͥḭ̔ ̈͘ȧ͓m͈̠ ͙̀g̷̳oͮ͞i̬͘n̜ͯg̖͘ ̲̱t͔͙ô̝ ̸̙s̏͝l͉͏e̠̬e̺็p̅̀
09:41:34 <shachaf> Maybe I'm the spammer.
09:43:39 <shachaf> Taneb: What's the smallest diagram you can use to prove Lambek's lemma?
09:43:56 <shachaf> In http://permalink.gmane.org/gmane.science.mathematics.categories/5256 Pratt uses five arrows.
09:44:10 <oerjan> the spammer was in you all along.
09:44:42 -!- oerjan has quit (Quit: Nite).
09:45:02 <shachaf> oerjan: Every time someone says that it reminds me of that StackOverflow answer.
09:51:47 -!- idris-bot has joined.
09:54:10 <mroman> > 0.1/100
09:54:12 <lambdabot> 1.0e-3
10:06:40 -!- Destructible has joined.
10:06:44 <Destructible> hi
10:07:04 <Destructible> anyone?
10:07:08 <Destructible> anybody?
10:07:13 <Destructible> :(
10:07:17 <Destructible> D:
10:08:00 <Destructible> ˚n˚
10:08:19 <Destructible> ;-;
10:11:11 <mroman> hi
10:12:36 <myname> you interrupted hime
10:27:59 <Destructible> ?
10:28:14 <Destructible> goddamnit
10:28:19 -!- Destructible has quit (Quit: Page closed).
10:36:40 -!- heroux has joined.
10:41:32 -!- Koen_ has joined.
10:43:37 -!- hppavilion[1] has quit (Ping timeout: 250 seconds).
10:48:59 -!- Phantom_Hoover has joined.
10:53:21 -!- hppavilion[1] has joined.
11:02:26 <izabera> `` printf AB | od --endian=little -An -x
11:02:27 <HackEgo> od: unrecognized option '--endian=little' \ Try `od --help' for more information.
11:02:36 <izabera> :C
11:08:54 -!- AnotherTest has joined.
11:12:06 -!- ais523 has joined.
11:13:36 -!- boily has joined.
11:15:04 -!- ais523 has quit (Client Quit).
11:16:24 -!- ais523 has joined.
11:22:35 <hppavilion[1]> I'm reading Overwatch characters' backstories
11:22:37 <hppavilion[1]> "Twenty years ago, South Korea was attacked by a colossal omnic monstrosity that rose from the depths of the East China Sea. The massive, lumbering construct caused catastrophic damage to coastal cities before it was driven back beneath the waves."
11:22:45 <hppavilion[1]> This sounds familiar
11:23:57 <hppavilion[1]> The character is, of course, a pro gamer who pilots a mech.
11:23:59 <hppavilion[1]> Of course.
11:24:00 <int-e> :t coerce
11:24:02 <lambdabot> (Functor f, Contravariant f) => f a -> f b
11:24:39 <hppavilion[1]> The justification being that the AI that kept fucking things up started messing with the mech control WiFi, so they decided to put people in the mechs themselves and not use wireless control
11:25:20 <hppavilion[1]> Oh god, she livestreams battling monstrosities.
11:26:22 -!- AnotherTest has quit (Ping timeout: 250 seconds).
11:31:07 <izabera> how far is south korea from doing actual mech battles anyway?
11:31:40 <ais523> izabera: apparently Japan and the US have agreed to have an actual giant mech battle some time in the near future
11:32:02 <izabera> that sounds exciting and scary
11:32:12 <Phantom_Hoover> hppavilion[1], i thought that was from _9mother9horses9eyes9 at first
11:32:24 <hppavilion[1]> ais523: On a government level, or independent corporations?
11:32:35 <ais523> hppavilion[1]: independent
11:32:42 <hppavilion[1]> ais523: Ah, that's less awesome
11:32:59 <ais523> I think the purpose is for the giant mech manufacturing companies to show off their ability to build giant mechs
11:33:22 <hppavilion[1]> Also, I think Japan should to genetic engineering instead of a mech. Godzilla the- pardon my method of human communication, either spoken or written, consisting of the use of words in a structured and conventional way- shit out of us fuckers
11:34:00 <Taneb> ais523, are there actually giant mechc manufacturing companies
11:34:05 <Taneb> Are they a thing which really exist
11:34:20 <ais523> Taneb: I assume they manufacture other things too
11:34:32 <izabera> like giant mech repairing parts
11:34:48 <hppavilion[1]> izabera: And giant mech grease
11:35:10 <hppavilion[1]> "Hi, I'm here to buy lube for my giant mech, do you carry that here?"
11:37:44 <izabera> kyjelly works on mecha
11:40:08 <mroman> hm. derivative works are still copyright infringement
11:40:10 <mroman> what the heck
11:40:26 <hppavilion[1]> https://docs.google.com/document/pub?id=1KmcAgo2JEbSFBr6ZFRHUSp3Ey4gXyi384U90HLipCnE
11:40:29 <hppavilion[1]> mroman: Wat.
11:40:30 <Phantom_Hoover> that's kind of obvious, right
11:40:32 <hppavilion[1]> mroman: Wat.
11:40:45 <hppavilion[1]> mroman: WAT THE FUCK, WATEVER COUNTRY THIS IS
11:40:58 <hppavilion[1]> mroman: Oh, but parody is exempt under free use in the US
11:41:23 <hppavilion[1]> Not that anyone likes to respect that unless you put a big honking banner at the beginning; and even then you're at risk on e.g. YouTube
11:41:23 <Phantom_Hoover> like if you started writing knock-off harry potter sequels in 1997 then jk rowling would be rightly upset
11:41:38 <hppavilion[1]> Phantom_Hoover: ...TPS was published in 1998
11:41:48 <Phantom_Hoover> 2000 then!!
11:41:54 <izabera> that's why she'd be upset
11:41:59 <Taneb> hppavilion[1], it was set in 1990, iirc
11:42:12 <hppavilion[1]> Taneb: Yeah, but... OK, you're trolling, right?
11:42:58 <hppavilion[1]> Taneb: Wait, I think harry was /born in 1990; IIRC, the last book actually takes place in the future
11:43:03 <hppavilion[1]> *born/
11:43:16 <hppavilion[1]> Wait, that still doesn't work
11:43:28 <hppavilion[1]> Like, we still haven't gotten to the year that Harry beats the shit out of Voldemort in
11:44:07 <Koen_> hmmm
11:44:10 <Koen_> not true
11:44:30 <hppavilion[1]> Koen_: I distinctly remember reading that DH is in 2017
11:44:31 <Phantom_Hoover> the main narrative of the books is '91-'98 or so
11:44:42 <Phantom_Hoover> the epilogue is in 2017
11:44:43 <Koen_> I think he was born in 1990 and he beat Voldemort when he was 17 or 18
11:44:51 <Taneb> hppavilion[1], the Harry Potter wiki says he was born in 1980
11:44:59 <Koen_> what
11:45:07 <hppavilion[1]> Taneb: OK, now I'm confused
11:45:39 <hppavilion[1]> Weird; https://en.wikipedia.org/wiki/Harry_Potter doesn't include the first occurence of the word "friends" as a link
11:46:09 <Koen_> actually, I read a hp fanfiction recently and I think they said the first year was set in 1992, I was so confused. why is the story taking place in the past??
11:46:41 <hppavilion[1]> Oh! They're publishing "The Cursed Child" apparently. That's cool I guess; it wasn't written by JK, so it'll probably suck though. Because puritanism.
11:47:03 <Taneb> Koen_, because otherwise it would take place in the future
11:47:15 <Koen_> isn't The Cursed Child a play?
11:47:26 <Koen_> "This article is about the television sitcom. For the social concept, see friendship. For other uses, see Friends (disambiguation)."
11:47:29 <Koen_> eh
11:50:12 <hppavilion[1]> Oh, yeah, 1980
11:50:23 <hppavilion[1]> Koen_: Yeah, but it's being converted to a book
11:50:32 <hppavilion[1]> Koen_: Which is what I meant
11:50:39 <Koen_> oh, ok
11:51:15 <hppavilion[1]> https://en.wikipedia.org/wiki/Friendship doesn't include a "Criticism" section
11:51:25 <hppavilion[1]> That's pretty biased for Wikipediea
11:52:38 <hppavilion[1]> Someone go add that
11:57:42 <hppavilion[1]> There; requested it in Talk
11:57:49 <hppavilion[1]> (Wikipedia doesn't hate fun, right?)
12:02:06 -!- ais523 has quit (Quit: lunchtime).
12:03:58 <hppavilion[1]> It must suck to be a 1337 h4x0r who speaks a CJK language primarily
12:08:42 <hppavilion[1]> e.g. "Austin rocks" is weaker than "Austin roxxorz" (note spelling), which is weaker than "Au5t1N is t3h r0xx0rz" (note grammar), which is weaker than something like "0MFG D00D /\Ü571N 15 T3H l_l83Я 1337 Я0XX0ЯZ" (OMG, dude, Austin is the über-elite rocks-er!).
12:08:48 <hppavilion[1]> Direct quote of Wikipedia.
12:10:22 -!- AnotherTest has joined.
12:17:16 -!- boily has quit (Quit: HEADACHE CHICKEN).
12:23:29 <int-e> "l33t" strength
12:24:48 -!- AnotherTest has quit (Ping timeout: 244 seconds).
12:28:02 <Taneb> 57r3|\|g7}{
12:28:08 <int-e> I'm too old for this.
12:30:12 -!- bender has joined.
12:45:08 <hppavilion[1]> I'm reading the Geek Code and slowly realizing it's a bit outdated
12:45:23 <hppavilion[1]> For example, does anybody really use Perl any more?
12:45:29 * hppavilion[1] ducks
12:47:37 <hppavilion[1]> L+++++ (L is Linuxiness) is defined as "I am Linus, grovel before me."
12:49:23 <hppavilion[1]> L---, of course, is "I am Bill Gates"
12:50:03 <hppavilion[1]> "I read ... alt.sex.emacs"
12:51:10 <int-e> geek code was popular on usenet 15 to 20 years ago.
12:51:56 <hppavilion[1]> Oh... Oh god...
12:51:58 <hppavilion[1]> It's a thing
12:52:11 <hppavilion[1]> (well, gnu.emacs.sex is, at least)
12:52:18 <hppavilion[1]> int-e: Yes, and I'm reading about it now
12:52:25 <hppavilion[1]> int-e: Because I was not born in its heyday
12:52:30 <int-e> is it about Software EXchange?
12:52:55 <int-e> (the .sex group)
12:53:15 <hppavilion[1]> And... it appears gnu.emacs.sex is full of links to child porn. Awesome.
12:53:51 <int-e> uh yay
12:54:00 <Phantom_Hoover> looks like vim wins this one
12:54:01 <hppavilion[1]> int-e: "Awesome" was sarcasm hth
12:54:11 <int-e> hppavilion[1]: so was "uh yay"
12:54:36 <hppavilion[1]> Good.
12:54:45 <hppavilion[1]> int-e: I would have to report you to the police otherwise.
12:54:48 <hppavilion[1]> Not the internet police.
12:54:51 <hppavilion[1]> The real police.
12:54:57 <hppavilion[1]> Jaredism is serious business.
12:57:13 -!- bender__ has joined.
12:57:42 <hppavilion[1]> World Wide Web: "It's relatively new. It's little understood. Everybody's doing it. How much of a web-surfer are you? "
12:57:54 <hppavilion[1]> W+++: "I am a WebMaster . Don't even think about trying to view my homepage without the latest version of Netscape."
12:58:40 -!- bender has quit (Ping timeout: 260 seconds).
12:59:03 -!- bender__ has changed nick to bender.
13:03:09 -!- hppavilion[1] has quit (Ping timeout: 250 seconds).
13:43:21 -!- zenobit has joined.
13:45:06 -!- zenobit has quit (Client Quit).
13:54:40 -!- Sgeo_ has quit (Ping timeout: 260 seconds).
14:23:41 -!- lambda-11235 has joined.
14:25:18 -!- spiette has joined.
14:36:36 -!- FreeFull has joined.
14:37:57 -!- ais523 has joined.
14:49:17 -!- TellsTogo has joined.
14:49:32 -!- moon_ has joined.
14:50:27 <moon_> hi
14:51:57 <HackEgo> [wiki] [[]] https://esolangs.org/w/index.php?diff=47147&oldid=46136 * Rottytooth * (-95) /* Language overview */ simplifed description
14:52:25 <HackEgo> [wiki] [[]] https://esolangs.org/w/index.php?diff=47148&oldid=47147 * Rottytooth * (-98) /* Commands */
14:52:36 <HackEgo> [wiki] [[]] https://esolangs.org/w/index.php?diff=47149&oldid=47148 * Rottytooth * (+2) /* Commands */
14:53:43 <HackEgo> [wiki] [[]] https://esolangs.org/w/index.php?diff=47150&oldid=47149 * Rottytooth * (+92)
14:54:45 <HackEgo> [wiki] [[Folders]] https://esolangs.org/w/index.php?diff=47151&oldid=45913 * Rottytooth * (+120) /* External resources */
15:00:09 <moon_> someone is mooning the wiki, thats MY job
15:00:30 <ais523> i thought it was an upside-down C
15:00:59 <moon_> it is.. i think
15:01:16 <moon_> `unicdecode Ↄ
15:01:35 <moon_> `unidecode Ↄ
15:02:01 <HackEgo> ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: unicdecode: not found
15:02:48 <moon_> you know what, who cares? i need coffee
15:03:12 -!- `^_^v has joined.
15:03:15 <moon_> hi
15:03:39 <ais523> hmm, I wonder if there's a ROMAN NUMERAL ONE HUNDRED
15:03:44 <ais523> or if people just use the regular C for that
15:03:48 <ais523> `unicode ROMAN NUMERAL ONE HUNDRED
15:03:52 <HackEgo> ​Ⅽ
15:04:02 <ais523> `unidecode ​Ⅽ
15:04:12 <ais523> ​ⅭC
15:04:15 <ais523> they look identical to me
15:11:44 <moon_> they are
15:11:51 <int-e> `unidecode СⅭC
15:13:04 <int-e> `unidecode Ϲ
15:14:14 <int-e> `unidecode Ꮯ
15:14:16 <HackEgo> ​[U+13DF CHEROKEE LETTER TLI]
15:16:33 <int-e> `unidecode ꓚ
15:16:34 <HackEgo> ​[U+A4DA LISU LETTER CA]
15:19:30 <int-e> I'm sure there's more... it seems to be a fairly popular glyph
15:24:37 <b_jonas> hello, ais523
15:24:51 <ais523> hi
15:25:12 <b_jonas> ais523: there is, but iirc those roman numeral glyphs are deprecated and synonyms of the plain letters, or something
15:25:52 <b_jonas> ais523: I wanted to say two things to you
15:26:19 <ais523> can you remember either of them? if you can, can you remember both of them?
15:27:20 <b_jonas> (1) look at that Erik Demaine paper, I think it's right in your alley, because it abuses arbitrary size integers to store unbounded data in a machine that has only finite registers,
15:28:43 <int-e> hmm, ITYM "up your alley" (puzzled me for a bit)
15:33:01 <b_jonas> and (2) you know how git checkout has two modes (actually more like four or five, but whatever), a safer one where it changes the HEAD pointer and checks out changes between the previous and current head, and a dangerous mode where it overwrites files in the working tree with copies from HEAD? I think this combination is dangerous because the grammar for how git parses revisions and paths is seriously screwed up, so I set up an alias for the safer mode,
15:33:14 <b_jonas> \ I think this combination is dangerous because the grammar for how git parses revisions and paths is seriously screwed up, so I set up an alias for the safer mode, and am trying to use that rather than git checkout directly when possible.
15:33:34 <b_jonas> Also, for convenience I made the alias print what HEAD pointed to before the change.
15:34:35 <int-e> <3 git reset --hard
15:34:35 <b_jonas> I'm thinking I should do something with git reset too, because that also has two unrelated modes.
15:35:25 <int-e> wheras git reset --mixed is just too confusing ;)
15:36:00 <b_jonas> But even this way, git is crazy.
15:36:23 <b_jonas> (I set up some other aliases too, but those are most just for less typing, not for avoiding dangerous operations.)
15:36:51 <int-e> crazy, hmm.
15:38:09 <b_jonas> ais523: ^
15:38:09 <int-e> I call it powerful.
15:39:00 <ais523> b_jonas: I wouldn't call checkout having two modes
15:39:00 <ais523> it's more like two different commands that happen to have the same naem
15:39:00 <ais523> *name
15:39:21 <ais523> also, the dangerous one should probably just commit the files that are being checked out to a floating/anonymous branch before it overwrites them
15:39:31 <ais523> that's what scapegoat would do for the analagous operation
15:39:57 <int-e> basically, git stash?
15:40:48 <b_jonas> ais523: about that, is there something that ensures that anonymous commits (such as the previous referent of a branch after git reset to a branch) don't get immediately eliminated by a git gc that git runs automatically?
15:41:21 <ais523> b_jonas: I believe the reflog would put a delay of several weeks in
15:41:37 <b_jonas> ais523: the reflog holds strong pointers? nice
15:41:58 <ais523> they're strong but date-limited, IIRC
15:42:03 <b_jonas> ok
15:42:51 <int-e> gc.reflogExpire ... defaults to 90 days.
15:43:24 <int-e> hmm, no, that's not it
15:43:50 <b_jonas> The third command that has two "modes" of different danger level is git branch, and I've invoked the worse mode accidentally a few times, but both modes are quite safe so it doesn't matter as much, and also someone here told me the alternative to the git branch -l mode
15:43:50 <int-e> that's for pruning the reflog itself. there's a separate gc.reflogExpireUnreachable which defaults to 30 days
15:44:47 <b_jonas> The git for-each-ref lets me list each branch, remote branch, and tag, in a uniform format, which is something I can't get git tag and git branch to do.
15:48:42 <b_jonas> ais523: I'm using git to work together with other developers who use git, so sadly, even if scapegoat existed and was good enough for my personal projects, I'd have to use git (unless scapegoat had some very serious git server compatibility mode)
15:49:05 <b_jonas> But I can at least improve the more stupid git commands by interfaces over them.
15:52:09 <int-e> "In the early days of Git (mostly pre 1.5), the user interface was much more complex because it emphasized this filesystem rather than a polished VCS. In the last few years, the UI has been refined until it’s as clean and easy to use as any system out there; but often, the stereotype lingers about the early Git UI that was complex and difficult to learn."
15:52:20 <int-e> (ref: https://git-scm.com/book/en/v2/Git-Internals-Plumbing-and-Porcelain )
15:53:16 <ais523> I think the cleanest VCS UI is that of Google Docs
15:53:23 <ais523> it just commits the current state of the file every x minutes
15:53:35 <ais523> and has no user-visible commands except to view and/or revert to older states
15:53:40 <APic> Emacs > *
15:53:42 <APic> *duck*
15:53:44 <APic> ;)
15:53:54 <ais523> note: being a clean UI is not the same as being a /good/ UI, it can only be that clean because it has so little functionality
15:53:59 <APic> True.
15:55:32 <b_jonas> int-e: well, git still looks to me like it was designed for version controlling linux kernel trees. as in, it's very convenient if all the commits you handle are nice well-behaved, rather than random moves and whole-file changes commiteed by your co-workers as they bang on the keyboard without understanding what they do, you almost never rename files or trees or modify lots of content at once,
15:56:09 <b_jonas> you don't want sparse checkouts because the kernel tree doesn't get too large and you don't want to compile half a kernel, the whole thing is stable enough that you can run git bisect to check out any random version from the history and actually expect it to compile and mostly work,
15:56:26 <b_jonas> files are named sanely, files contain mostly nice text, etc.
15:56:37 <b_jonas> But that's just not the use case we have here.
15:57:13 <b_jonas> It's a great tool for linus for merging patches from his subordinate kernel developers, sure.
15:57:43 <b_jonas> And it certainly has the marketing result of getting everyone to know distributed version control.
15:58:09 <int-e> github indicates that it works well for others as well
15:58:16 <mroman> version control sucks.
15:58:31 <mroman> try merging two edits to the same file from two people using different editors
15:58:34 <mroman> you're fucked.
15:58:49 <int-e> no?
15:58:55 <ais523> mroman: I'm considering writing a layer that goes between the file and the VCS
15:58:58 <ais523> and makes edits to make it more diffable
15:59:27 <mroman> int-e: the problem is formatting of certain editors really makes diff useless
15:59:27 -!- Kaynato has joined.
15:59:40 <int-e> you establish coding styles to prevent that
15:59:43 <b_jonas> int-e: github works well for (1) single-person toy projects, and (2) serious fsf projects that are developped slowly enough that they can just exclude all the bad contributions from the repository, until people slowly learn to submit sane changes formatted nicely.
16:00:26 <int-e> b_jonas: the chaos you describe will be messy with any VCS, I'd expect.
16:00:56 <b_jonas> ais523: such as a setting to unzip MS office files, store the unzipped version in vcs, and figure out the permutation how the numbered image files embedded in the document correspond to each other?
16:01:05 <mroman> y'll should use Visual Source Safe from Microsoft (TM)
16:01:23 <ais523> I've heard so many bad things about VSS
16:01:30 <mroman> It's really reasonably priced, tight Visual Studio Integration, nice UI
16:01:36 <mroman> (I have no idea how much it is)
16:01:38 <ais523> b_jonas: I wasn't thinking of MS Office, was planning to work on easier formats first
16:01:49 <ais523> but that sort of thing in less insane formats
16:02:02 <b_jonas> ais523: like xml? single-line xml or indented xml?
16:03:10 <b_jonas> ais523: unzipping ms office files helps even if you don't diff (or only use ms office's built-in diff and merge tools), for improving the compression (you want some sort of delta-compression, right?).
16:03:37 <b_jonas> But obviously it must only be done if the user explicitly asks for it, because unzipping and rezipping doesn't preserve arbitrary binary files, unless you do it very cleverly.
16:04:15 <mroman> also I think usually only one person works on a specific branch
16:04:27 <b_jonas> By default vcs should preserve the binary content, even if it's crazy mixed crlf and lf files that seem like text and have a text extension (some vcs uis fail this simple test).
16:04:27 <ais523> b_jonas: I was thinking of things like replacing indentation with increase-indentation and decrease-indentation commands
16:04:39 <ais523> and removing all formatting from the code if it has a consistent style, instead just expressing the file
16:04:41 <ais523> *the style
16:04:45 <mroman> but on github people only use pull/push anyway
16:04:54 <ais523> the idea is to be a lossless compression that separates form from content
16:05:04 <mroman> that's why you have so many annoying "Merge branch" commits all over the place
16:05:06 <b_jonas> ais523: hmm... but indentation can be tricky if people mix different tabbing formats
16:05:30 <ais523> add "tabbing format changes here" directives :-)
16:06:26 <b_jonas> ais523: yeah. also add "stupid worker reindented my code with their editor's default settings and lost all the indentation in the comments and added spaces inside brace initializers" directive too
16:06:32 <mroman> I should write a little copy-on-write version control just to see how big I screw up :(
16:06:46 <b_jonas> and "converted the whole file to crlf line endings" directives
16:07:21 <mroman> ais523: what bad things have you heard?
16:07:27 <mroman> except that it's lock-modify-write?
16:07:42 <mroman> and dumbass people from other version control checkout the whole repos
16:07:48 <mroman> whereas checkout in VSS means something completely different :D
16:08:11 <int-e> oh good old rcs semantics
16:08:17 <mroman> checkout locks the file
16:08:29 <mroman> so if you think you need to checkout the repos (like in svn) you lock everybody out
16:08:34 <ais523> mroman: it was a while back, I'm not sure I remember the details
16:08:38 <ais523> it might involve corruption
16:08:48 <mroman> hm.
16:09:51 <mroman> generally locking isn't really a huge issue
16:10:07 <mroman> if the project is big chances that you're working on the same files at the same time are not that great
16:10:14 <mroman> you checkout, edit, checkin as soon as possible
16:10:21 <b_jonas> mroman: ah, that sounds so great in theory
16:10:37 <b_jonas> mroman: and you get no conflicts, ever
16:10:39 <b_jonas> would be great
16:10:43 <mroman> in case you need to edit like a template file because you've changed the view and some designer is fiddling with the template files
16:10:49 <zzo38> I just use Fossil
16:10:59 <mroman> you just ask the person holding the lock
16:11:12 <b_jonas> and of course, people don't change their apis randomly every week either, so your code just continues to work when you pull
16:11:26 <mroman> if you work in a team located in the same bureau it's a pretty good workflow
16:11:30 <b_jonas> zzo38: wait, you do?
16:11:35 <b_jonas> I didn't know that
16:12:15 <mroman> b_jonas: no there's only "hey I need to edit that too" conflicts.
16:12:41 <mroman> but that doesn't happen too often to be a problem. But that might depend on the project :)
16:12:42 <b_jonas> mroman: ah yes, with coworkers that are gone for a holiday for ten days
16:12:45 <zzo38> Currently I only have one project that I even have the version controlled it is Farbfeld Utilities, but I could use it for others too if I needed to.
16:12:52 <mroman> b_jonas: that is a problem. yes.
16:13:01 <mroman> if you have things checked out and vanish then yes :D
16:13:07 <zzo38> So while I use, it is only for one project so far
16:13:19 <mroman> you can forcefully unlock files of course
16:13:33 <b_jonas> zzo38: i SEE
16:13:40 <mroman> and then the person has to integrate his changes when he returns somehow.
16:13:49 <mroman> you can still do diffs and merges
16:13:52 <b_jonas> mroman: sure you can. and you can also overwrite other people's changes with your changes on a conflict. I've seen it happen.
16:14:27 <mroman> you can even produce edits that yield semantically wrong code when auto-merging is taking place
16:14:45 <mroman> so it's not like auto-merging is something that you shouldn't manually check now and then :D
16:15:52 <b_jonas> mroman: sure, that's what happens when people keep changing their apis
16:15:54 <mroman> if you really need to edit a file somebody has locked (i.e. if you want to test things locally) then you can just get a copy of the last version, make your changes
16:16:03 <mroman> then wait for the lock to release and merge your local changes in
16:16:12 <mroman> you can still do it, it's just not really the default workflow
16:16:27 -!- augur has joined.
16:17:54 <mroman> and the whole "no permanent internet access" thing is pretty moot today
16:18:04 <mroman> "with git you don't need permanent internet access"
16:18:06 <mroman> yeah right.
16:18:51 <mroman> people are freaking furious when there's no internet for two minutes while riding a train
16:18:53 <ais523> mroman: not moot for me
16:19:08 <ais523> I git offline frequently
16:19:12 <mroman> because the train travels through regions where nobody lives and it's a dead zone as far as reception goes
16:19:13 <b_jonas> mroman: maybe, but I still want a vcs that stores some of the repository locally so it doesn't have to fetch a copy of all files every time I check status, and on the other hand, want a vcs where I don't have to store copy of files that I don't needb
16:19:54 <mroman> true, that's some disadvantage of VCS
16:19:59 <mroman> you need to regularly sync it :D
16:20:06 <mroman> *VSS
16:20:41 <mroman> if somebody else changed a file and you commit another file it's not asking you to pull first
16:21:50 <Phantom_Hoover> so you are describing a VCS which does a bunch of clunky shit and arguing that it's great because that clunky shit isn't that annoying, most of the time
16:22:02 <Phantom_Hoover> not exactly compelling evangelism
16:22:06 <mroman> :D
16:22:34 <mroman> I don't see it as that
16:22:41 <mroman> I see it as chainsaw and wire saw
16:23:24 <mroman> you can use either to cut off a branch from a tree
16:23:59 <mroman> It's not like one is inherently better
16:24:43 <mroman> they behave the same in most of the cases, but differently in some edge cases
16:25:49 <mroman> 99% of the stuff we do here at my workplace could easily be done in VSS or SVN or pretty much any other VCS
16:26:16 <mroman> and for the other 0.9% of the stuff you just re-clone the whole git repository...
16:27:41 <mroman> obviously if you really have distributed teams working all over the place then I would never ever recommend VSS
16:30:18 <mroman> It's just that if git displays some error messages, people will just re-clone the repository and/or do a force-push to the central repository
16:30:53 <ais523> what about both? force-push what you have, then re-clone from the version before the push
16:31:27 <mroman> and with github you basically have a central repository everybody is just pulling/pushing from the master branch :D
16:31:40 -!- nycs has joined.
16:31:49 <mroman> I'm lucky if people here use branches correctly
16:32:00 <mroman> for most it's too much of a nuisance to get branches working
16:32:22 <mroman> just downloading a new branch from the remote is a nuisance
16:32:55 <mroman> fatal: git checkout: updating paths is incompatible with switching branches.
16:32:58 <mroman> stuff like that
16:33:29 -!- ais523 has quit.
16:34:10 <mroman> really the average developer I know (including myself) doesn't really know how to handle git beyond creating a new branch, push and pull
16:35:00 -!- `^_^v has quit (Ping timeout: 272 seconds).
16:35:22 <mroman> I know a little bit about rebasing, squash merging and that
16:35:40 <mroman> but if I see a cryptic error message I just rename the folder and re-clone the repos then manually integrate my stuff
16:36:55 <mroman> I'm also probably the only one at my company working with multiple origins :)
16:37:09 -!- mroman has quit (Quit: well gotta go now).
16:41:11 -!- prooftechnique_ has quit (Quit: ZNC http://znc.in).
16:41:59 -!- prooftechnique has joined.
16:43:18 <moon_> im alive
16:44:24 -!- bender has changed nick to LordBender.
16:46:08 <izabera> 17:23 --> autonick2 (~Arachnius@ has joined #bash
16:46:10 <izabera> 17:23 <autonick2> Hi there, Im trying to send a smtp mail from commandline, and isnt working: echo "test" | mailx -s "SUBJECT" -S smtp=smtp://mail.digitalgraph.com.br -S smtp-auth=login -S smtp-auth-user=chviagra@digitalgraph.com.br -S smtp-auth-password=kJfe365 -S from="Sender Name <chviagra@mail.com>" recipient@mail.com
16:47:48 -!- Koen_ has quit (Remote host closed the connection).
16:51:15 <moon_> what platfrm and what shell?
16:51:53 <izabera> it's in #bash so...
16:53:38 -!- Koen_ has joined.
17:00:45 <zzo38> I think it has sometimes been said that fossil is for cathedral-style and git is for bazaar-style
17:09:22 -!- LordBender has changed nick to bender.
17:10:50 <moon_> {func[args:a,b;ret:c]: pu-a; pu-b; poc-c; }
17:11:46 <moon_> pu is push and poc is pop and combine
17:11:55 <moon_> im making a new esolang, but with a syntax
17:13:28 -!- lambda-11235 has quit (Ping timeout: 250 seconds).
17:18:21 <FireFly> moon_: vaguely reminds me of K's {[a;b]a+b} syntax for functions
17:18:40 <moon_> ive never seen k
17:19:09 <moon_> also, the language is named 'fumble' for its funky syntax
17:22:19 -!- lambda-11235 has joined.
17:25:20 <moon_> here is another intresting (at least to me) feature of fumble:
17:25:20 <moon_> > is used in variables to signify that whenever they are modified, feed their value to this function (or regex) and set self to return.
17:25:22 <lambdabot> <hint>:1:9: parse error on input ‘in’
17:25:37 <moon_> thanks lambda bot, but that is not a program
17:25:39 -!- bender has quit (Ping timeout: 264 seconds).
17:27:43 <moon_> < does the somewhat opposite, it makes the variable always equal to the last output of a certain function or regex, or makes it always equal a certain variable
17:28:09 <moon_> fumble also supports wildcards for <, which makes it always equal the last function return.
17:31:38 <moon_> huh, no-one intrested?
17:32:10 <zzo38> Are you going to write these detail in esolang wiki?
17:32:13 <zzo38> Probably you should do
17:32:15 <moon_> mhm
17:32:16 <moon_> i am
17:32:38 <moon_> the esolang wiki needs more esolangs with syntax :P
17:32:58 <b_jonas> moon_: eww no
17:33:02 <b_jonas> it needs the exact opposite
17:33:14 <moon_> lol but brainfuck derivatives
17:33:21 <moon_> there are hundreds
17:33:25 <b_jonas> it needs esolangs that have some interesting properties other than just surfacial syntax obfuscations
17:33:29 <moon_> i hope your joking
17:33:38 <moon_> fumble does :P
17:33:39 <b_jonas> and bf derivatives are exactly what we don't need more of
17:33:46 <moon_> ^
17:36:24 -!- dnm has quit (Ping timeout: 240 seconds).
17:37:09 <moon_> also, once im done, i should excercise myself and make a interpreter for it
17:43:46 <moon_> by the way, its self modifying
17:44:07 <moon_> well, against functions wrapped into the main one, at least, but hey, the modifications can be conditional
17:44:09 <moon_> so yea
17:48:50 <moon_> {func2[args:a,b,c;ret:d]: [{func}] ial-funcw-2-"pu-c" rml-funcw-4 al-funcw-"[var1];" al-funcw-"poc-var1;" al-funcw-"pu-var1;" al-funcw-"poc-d" }
17:49:10 <moon_> ial is insert after line, al is append line, and rml is remove line.
17:52:29 <moon_> so far, what do you all think?
18:03:32 -!- moon_ has quit (Ping timeout: 250 seconds).
18:07:56 -!- jaboja has joined.
18:13:14 -!- vodkode has joined.
18:13:33 -!- jaboja has quit (Ping timeout: 240 seconds).
18:30:30 <prooftechnique> Isn't every TC language ultimately just a bf derivative?
18:31:10 * prooftechnique .oO(the trap is set)
18:34:09 -!- Koen_ has quit (Remote host closed the connection).
18:35:26 -!- moon_ has joined.
18:35:27 <izabera> timeline disproves it
18:35:34 <moon_> i just lost the entire 2000+ byte page on fumble
18:35:44 <moon_> thanks alot windows C&P
18:36:10 <izabera> `` paste <(head -c 2000 /dev/urandom | base64) # there you go moon_
18:36:25 <moon_> ..
18:36:28 <\oren\> i prefer to deploy pages using scp
18:36:31 <moon_> i dont think that woks
18:36:43 <izabera> what doesn't work?
18:36:43 <HackEgo> http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/paste/paste.4349
18:36:50 <prooftechnique> You should use a clipboard history manager of some sort
18:37:28 <\oren\> or use the tmux clipboard and not the windows one
18:38:09 -!- moon__ has joined.
18:38:15 <moon__> network im on stinks
18:38:18 <moon__> fizzie?
18:38:50 <moon__> do you have access to the esolang wiki's preview system log (if it has one)
18:39:04 <\oren\> go to tim hortons they have good intenret
18:39:30 <\oren\> and coffee
18:39:43 <moon__> is fizzie here?
18:40:11 <\oren\> @seen fizzie
18:40:11 <lambdabot> FisZi3
18:40:48 -!- moon_ has quit (Ping timeout: 250 seconds).
18:40:49 <\oren\> lamdabot is not wroking!!!!
18:44:16 -!- moon__ has quit (Ping timeout: 250 seconds).
18:44:42 <\oren\> he last spoke 11 hours ago according to my scrollback
18:45:21 <\oren\> but he hasnt logged out
18:45:37 -!- Koen_ has joined.
18:52:12 -!- Moon_ has joined.
18:52:14 <Moon_> hii
18:52:17 <Moon_> im back
18:52:21 <Moon_> im using mirc this time
18:52:42 <prooftechnique> I'm amazed that's still going
18:53:21 <Moon_> what?
18:53:26 <prooftechnique> mirc
18:53:35 <Moon_> oh, how come?
18:53:54 <prooftechnique> Because it's staggeringly old, and basically the work of one guy
18:54:01 <Moon_> ah
18:54:20 <Moon_> its also paid now, well mostly at least
18:54:25 <Moon_> theres a 'continue' button
18:54:28 <coppro> it's also crap
18:54:30 <Moon_> that doesnt close the application
18:54:40 <coppro> Moon_: it's been like that for over a decade
18:54:40 <Moon_> yea, ima get a better one soon
18:54:41 <prooftechnique> Well, after 21 years, I'd maybe want to make a buck.
18:54:57 <coppro> I don't think the "free trial" has ever really expired
18:55:14 <Moon_> heh, true
18:55:20 <prooftechnique> https://en.wikipedia.org/wiki/MIRC#Military_use
18:55:23 <prooftechnique> wut
18:55:39 <Moon_> ._. wha
18:55:51 <coppro> mirc is also why colours are fucked on IRC
18:56:02 <Moon_> huh? why?
18:56:30 <prooftechnique> /slap is a killer feature, though
18:56:39 <Moon_> lol
18:57:09 <Moon_> also, how many self modifying languages have a full syntax
18:57:23 <Moon_> i.e code blocks and variables
18:57:48 <prooftechnique> COBOL?
18:58:19 <coppro> Moon_: back in the early days, different clients were trying different approaches to colours
18:58:52 <coppro> a method based on the ^C escape code eventually made it into the CTCP spec
18:59:08 -!- moon__ has joined.
18:59:08 <moon__> wow
18:59:14 <moon__> the internet here is terrible
18:59:34 <coppro> 13:58:19 < coppro> Moon_: back in the early days, different clients were trying different approaches to colours
18:59:37 <coppro> 13:58:52 < coppro> a method based on the ^C escape code eventually made it into the CTCP spec
18:59:54 <coppro> mIRC implemented a slightly different spec, though
19:00:05 <coppro> it didn't receive larger support at first because it is ambiguous
19:00:15 <coppro> there are certain text+colour combinations you cannot send because they get misinterpreted
19:00:26 <coppro> the CTCP spec does not have this problem
19:00:29 <b_jonas> wait, isn't the mirc one the only one?
19:00:36 <coppro> Khaled resolutely refused to engage, however
19:00:37 <b_jonas> what's the ctcp one? can you give a link?
19:00:44 <coppro> so eventually the mIRC one won the adoption war
19:01:09 <prooftechnique> I am not adopted
19:01:15 <moon__> think ctcp would've done better
19:01:19 <moon__> all color combos :P
19:01:31 <b_jonas> ah, so that's why I hadn't heard of it
19:01:36 -!- Moon_ has quit (Ping timeout: 244 seconds).
19:01:37 <moon__> and no misinterpritation (i cant spell)
19:01:44 -!- moon__ has changed nick to moon_.
19:03:12 <moon_> .
19:03:31 <moon_> due to bad internet, i might have to make a script to beat ping to sending info so i dont disconnect
19:04:06 <coppro> b_jonas: http://web.archive.org/web/20070702054927/http://www.invlogic.com/irc/ctcp.html
19:05:46 <prooftechnique> Configuring nm2 shouldn't be this annoying :|
19:05:56 <b_jonas> coppro: I see
19:06:04 <prooftechnique> Aha, got it
19:07:10 <coppro> IRC is a clusterfuck
19:07:40 <prooftechnique> Factual
19:11:06 -!- moon__ has joined.
19:11:07 <moon__> urgh.
19:11:18 -!- moon__ has quit (Client Quit).
19:13:12 <prooftechnique> What happened?
19:13:24 -!- moon_ has quit (Ping timeout: 276 seconds).
19:14:27 -!- Moon_ has joined.
19:15:02 <Moon_> ill work on fumble a little later.
19:17:49 -!- dnm has joined.
19:19:16 -!- Moon_ has quit (Ping timeout: 250 seconds).
19:21:04 -!- Moon_ has joined.
19:34:14 -!- Moon_ has quit (Ping timeout: 272 seconds).
19:35:10 -!- Moon_ has joined.
19:48:24 -!- TellsTogo has quit (Ping timeout: 250 seconds).
19:49:22 <zzo38> The IRC that I use does not implement the mIRC colours
19:50:20 <izabera> free as in beer c course http://mooc.fi/courses/2016/aalto-c/en/
20:02:40 -!- nycs has quit (Quit: This computer has gone to sleep).
20:03:08 -!- nycs has joined.
20:03:26 <Moon_> ..
20:03:31 <Moon_> ok im alive good
20:03:49 <Moon_> well, hopefully i can get the page on Fumble up.
20:09:22 -!- nycs has quit (Read error: No route to host).
20:09:33 -!- I has joined.
20:09:56 -!- I has changed nick to Guest83470.
20:10:46 <prooftechnique> Could somebody /me something? I'm testing my irssi format
20:11:18 <shachaf> @where test
20:11:18 <lambdabot> ?? ?@ ?run var$("(@metar "++).(++") \\ ")=<<words ?show
20:11:25 <shachaf> @where+ test /me tests
20:11:25 <lambdabot> I will remember.
20:11:27 <shachaf> @where test
20:11:27 * lambdabot tests
20:11:38 <shachaf> `weather
20:11:43 <prooftechnique> Thank you
20:11:46 <prooftechnique> Off by one, as usual
20:11:50 <HackEgo> ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: weather: not found
20:12:05 <shachaf> `? weather
20:12:07 <HackEgo> lambdabot: @@ @@ (@where weather) CYUL ENVA ESSB KOAK
20:12:09 <prooftechnique> @where test
20:12:10 <lambdabot> CYUL 061900Z 24016G25KT 15SM FEW040 FEW055 SCT075 22/13 A2948 RMK CU1SC1AC1 SLP983 DENSITY ALT 1400FT \ ENVA 061850Z 26005KT CAVOK 17/09 Q1022 NOSIG RMK WIND 670FT 28007KT \ ESSB 061850Z 18009KT CAVOK 13/03 Q1023 \ KOAK 061853Z 31014KT 10SM FEW011 18/12 A2985 RMK AO2 SLP108 T01830117
20:12:10 * lambdabot tests
20:12:16 <prooftechnique> @where test
20:12:16 * lambdabot tests
20:12:19 <prooftechnique> There
20:12:51 <prooftechnique> Although then it's mysteriously wrong in queries :|
20:13:22 <prooftechnique> I'll just have to live with it
20:16:37 <prooftechnique> @where test
20:16:37 * lambdabot tests
20:20:05 <prooftechnique> @where test
20:20:05 * lambdabot tests
20:20:10 <prooftechnique> You demon
20:21:01 -!- augur has quit (Remote host closed the connection).
20:22:21 -!- Moon_ has quit (Ping timeout: 240 seconds).
20:22:35 <prooftechnique> @where test
20:22:36 * lambdabot tests
20:22:57 <prooftechnique> Well, good enough
20:24:38 -!- Deewiant has quit (Remote host closed the connection).
20:24:49 -!- Deewiant has joined.
20:30:56 -!- augur has joined.
20:34:36 -!- S1 has joined.
20:40:34 -!- J_Arcane has quit (Quit: ChatZilla 0.9.92-rdmsoft [XULRunner 35.0.1/20150122214805]).
20:41:25 -!- spiette has quit (Quit: :qa!).
20:43:37 -!- xkapastel has joined.
20:49:40 -!- J_Arcane has joined.
20:49:49 <HackEgo> [wiki] [[Fumble]] N https://esolangs.org/w/index.php?oldid=47152 * Moon * (+2814) Created
20:53:24 <HackEgo> [wiki] [[Fumble]] https://esolangs.org/w/index.php?diff=47153&oldid=47152 * Moon * (+189)
20:54:48 -!- Moon_ has joined.
20:55:00 <Moon_> what does everyone think? (once you done reading fumble if you did)
21:00:08 <zzo38> I will look
21:04:11 <zzo38> That look OK so far, although perhaps some examples should also to be included
21:05:20 -!- S1 has quit (Quit: S1).
21:05:30 -!- spiette has joined.
21:07:34 <Moon_> Im adding those now, including factorial
21:11:34 <Moon_> also, to fumble, a 1 is 'true', no higher
21:13:25 <HackEgo> [wiki] [[Fumble]] https://esolangs.org/w/index.php?diff=47154&oldid=47153 * Moon * (+368) Examples!
21:14:02 <HackEgo> [wiki] [[Fumble]] M https://esolangs.org/w/index.php?diff=47155&oldid=47154 * Moon * (+2)
21:15:44 <prooftechnique> Is 2 even more true?
21:16:08 * prooftechnique ducks
21:16:46 <Moon_> No, fumble considers it neither, so a compare on true or false will not work
21:16:53 <Moon_> mainly because fumble'
21:16:59 <Moon_> s true or false is 1 or 0
21:17:43 <Moon_> you like the syntax proof?
21:18:34 <zzo38> And what happen if the condition is 2?
21:18:47 <Moon_> Nothing, its ignored
21:19:59 <Moon_> So useing 2 requires a little extra, also, a 'condition' is considered a bit of code that makes the first value on its personal stack the result
21:20:06 <Moon_> which that result is what is read
21:20:17 -!- hppavilion[1] has joined.
21:20:33 <Moon_> so you can put a entire mini function in place of a small comparison in fumble
21:20:52 <prooftechnique> ┏┓╻┏━╸┏━┓╺┳╸┏━┓
21:20:52 <prooftechnique> ┃┗┫┣╸ ┣━┫ ┃ ┃ ┃
21:20:52 <prooftechnique> ╹ ╹┗━╸╹ ╹ ╹ ┗━┛
21:20:55 <Moon_> ?
21:21:03 <Moon_> desnt look like anything on my screen proof
21:21:12 <prooftechnique> error: could not load font rusto
21:21:16 <prooftechnique> Whoops
21:21:18 <Moon_> lol
21:21:21 <prooftechnique> Well, it said "neato"
21:21:26 <Moon_> ah
21:22:02 <Moon_> also, what do you think of the 'unless' comparison? i think its a unique one ,right?
21:24:00 <prooftechnique> I think Ruby has that
21:24:08 <prooftechnique> Haskell, too, though maybe by a different name
21:24:21 <Moon_> Ah
21:24:24 <prooftechnique> :t unless
21:24:25 <lambdabot> Applicative f => Bool -> f () -> f ()
21:24:35 <prooftechnique> @src unless
21:24:35 <lambdabot> unless p s = if p then return () else s
21:24:49 <prooftechnique> Still, it is a nice thing to have
21:24:52 <prooftechnique> I use it a fair bit
21:24:52 -!- infinitymaster has joined.
21:24:56 <Moon_> Hi
21:25:24 <Moon_> Do they have something like 'continueuntil'?
21:26:10 <prooftechnique> while?
21:26:57 <Moon_> No
21:27:21 <Moon_> continueuntil-< condition >(< code >) allows the main code to continue until a condition is met, once met, it preforms the code and once the code is done jumps back to the instruction it triggered on.
21:29:13 <prooftechnique> :t until
21:29:14 <lambdabot> (a -> Bool) -> (a -> a) -> a -> a
21:29:20 <prooftechnique> @src until'
21:29:20 <lambdabot> Source not found. I am sorry.
21:29:21 <prooftechnique> @src until
21:29:21 <lambdabot> until p f x | p x = x
21:29:21 <lambdabot> | otherwise = until p f (f x)
21:29:41 <Moon_> and what does that do? im no good at haskell yet
21:29:43 <prooftechnique> I don't think I totally understand what your continue until should do
21:29:47 <Moon_> i just understand some basic things
21:30:16 <Moon_> it doesnt do anything until its condition is met, it uses a thread to retry the condition every tick
21:30:30 <Moon_> you know, every time a instruction is processed
21:31:38 <Moon_> i.e continueuntil-{cmp-a-5}-(print "5!") wont execute until a contains 5 later during program execution
21:32:31 <prooftechnique> Hmm, maybe
21:32:32 <prooftechnique> :t when
21:32:34 <lambdabot> Applicative f => Bool -> f () -> f ()
21:32:35 <prooftechnique> @src when
21:32:35 <lambdabot> when p s = if p then s else return ()
21:32:57 <Moon_> doesnt look like it executes in the backround there
21:34:00 <prooftechnique> I mean, that's just the bare function. You throw some concurrency primitives in there and you're off to the races
21:34:45 <Moon_> which do you mean? continueuntil or when?
21:35:10 <coppro> `quote <prooftechnique> I mean, that's just the bare function. You throw some concurrency primitives in there and you're off to the races
21:35:15 <HackEgo> No output.
21:35:17 <coppro> `addquote <prooftechnique> I mean, that's just the bare function. You throw some concurrency primitives in there and you're off to the races
21:35:23 <HackEgo> 1279) <prooftechnique> I mean, that's just the bare function. You throw some concurrency primitives in there and you're off to the races
21:35:33 <Moon_> *fumbles around chat*
21:36:22 <Moon_> well anyways, what do you think of fumble proof?
21:36:32 <prooftechnique> Something like f a = async $ when (a == 5) (print "5") (a + 1)
21:36:35 <prooftechnique> Or whatever
21:36:51 <prooftechnique> That doesn't typecheck, but that's the sketch o.o
21:37:27 <prooftechnique> Oh, sorry, I meant f a = async $ when (a == 5) (print "5") (f (a + 1))
21:37:52 <prooftechnique> Though that's still wrong
21:37:56 <prooftechnique> Late in the day
21:38:01 <prooftechnique> Anyway, I think it's neat
21:38:21 <Moon_> i just might make a interpreter once i figure out how
21:38:45 <Moon_> i think mine will exclude the threading bits, i cause problems when im gaven just 2 extra ones :P
21:38:46 <prooftechnique> How do you represent negative literals?
21:39:02 <Moon_> you caught something i overlooked
21:39:04 <Moon_> >_>
21:40:03 <Moon_> hmm
21:40:20 <Moon_> !number> maybe?
21:40:25 <Moon_> !<number> maybe?
21:40:46 <shachaf> `cat tmp/fruit
21:40:47 <HackEgo> papaya \ banana \ apple
21:41:10 <shachaf> `` echo jackfruit >> tmp/fruit
21:41:21 <HackEgo> No output.
21:41:40 <HackEgo> [wiki] [[Fumble]] M https://esolangs.org/w/index.php?diff=47156&oldid=47155 * Moon * (+58) negative literals
21:44:18 <HackEgo> [wiki] [[Language list]] https://esolangs.org/w/index.php?diff=47157&oldid=47137 * Moon * (+13) Added fumble to list
21:49:55 <Moon_> lucky for me C++ implents a stack already
21:56:43 -!- infinitymaster has quit (Remote host closed the connection).
21:57:04 -!- augur has quit (Remote host closed the connection).
21:57:16 -!- infinitymaster has joined.
21:57:20 <Moon_> Hi
21:57:57 <Moon_> Also, ima make the interpreter hackego compatible
21:58:15 <Moon_> Unless shachaf or fizzie dont want that
22:01:22 <Moon_> should i put fumble on hackego?
22:01:55 -!- infinitymaster has quit (Ping timeout: 258 seconds).
22:02:55 -!- hwpplayer1 has joined.
22:08:29 -!- Melvar` has joined.
22:08:40 <Moon_> Chat's dead
22:09:03 -!- idris-bot has quit (Ping timeout: 240 seconds).
22:09:34 -!- Melvar has quit (Ping timeout: 250 seconds).
22:12:00 -!- Melvar` has changed nick to Melvar.
22:12:43 -!- infinitymaster has joined.
22:14:19 <Moon_> i just ran into something annoying
22:14:56 <Moon_> if (rawprog.at(counter) == "{")
22:14:59 <Moon_> does not work because
22:15:10 -!- TellsTogo has joined.
22:15:10 <Moon_> C:\Users\Braden\Desktop\Desktop\Fumble\main.cpp|22|error: ISO C++ forbids comparison between pointer and integer [-fpermissive]|
22:15:55 <Moon_> i have to toggle something to disable it >_>
22:16:30 -!- hppavilion[1] has quit (Ping timeout: 250 seconds).
22:17:14 -!- infinitymaster has quit (Ping timeout: 250 seconds).
22:18:48 <Moon_> now its borked, ill just use a C string >_>
22:20:55 -!- Melvar` has joined.
22:21:43 -!- Melvar has quit (Disconnected by services).
22:21:46 -!- Melvar` has changed nick to Melvar.
22:21:50 <Taneb> Moon_, why don't you dereference the character and compare to '{'?
22:22:33 <zzo38> {1}, {T}: Target permanent controlled by opponent gains your choice of first strike, vigilance, hexproof, flying, or infect, until end of turn. If the number of cards below this ability on the stack is exactly six, then this ability cannot be countered by spells and abilities.
22:25:28 <Moon_> well i just wrote a big chunk with c strings, i dont feel like rewriting again
22:26:24 -!- Melvar` has joined.
22:28:39 -!- Melvar has quit (Ping timeout: 264 seconds).
22:32:19 <Taneb> zzo38, is that one of your puzzle cards?
22:32:29 <zzo38> No
22:32:33 -!- Melvar` has quit (Ping timeout: 246 seconds).
22:32:34 <zzo38> I just made it up right now
22:32:53 <Taneb> It certainly seems like it could be used for a puzzle
22:33:03 <zzo38> Yes, it does look like that.
22:34:17 <zzo38> I expect such card would be artifact, but I do not know what mana cost of the artifact. (Other changes could also be made, possibly.)
22:34:43 -!- Melvar` has joined.
22:40:51 <zzo38> Giving shroud or shadow seem it may be more powerful than it should be, giving banding or trample is pretty worthless, giving haste is too small effects, and giving phasing isn't really going to do anything anyways.
22:43:24 -!- hppavilion[1] has joined.
22:44:58 -!- spiette has quit (Ping timeout: 250 seconds).
22:48:05 <Moon_> 'fumble.exe has just fumbled' would be much more funny that 'fumble.exe has stopped working'
22:54:40 -!- hwpplayer1 has quit (Quit: Leaving.).
23:00:44 <zzo38> Make the records of Magic: the Puzzling according to: most life points, most names of cards, most sets of cards, most priority passes, most damage, most mana, most objects on the stack, most names of permanents, most types of counters, most objects initially on stack, most nested subgames, most number of players, etc. (It only counts in cases where these numbers are bounded.)
23:01:08 <Moon_> wow, this might take me a while, i need to learn :P
23:01:15 <shachaf> zzo38: Why does it only count when they're bounded?
23:01:41 <shachaf> zzo38: For example, if someone has a countably infinite set of objects, and I have an uncountable set, surely I should win some sort of record.
23:02:10 <zzo38> Yes, but that is a different record. However, there are no uncountable sets in Magic: the Gathering anyways, as far as I know.
23:02:40 <shachaf> Well, that's why it would be a new record.
23:02:44 <zzo38> Note that even if the numbers are unbounded, if there is a well-defined minimum needed for correct solution, that would count though.
23:04:32 <zzo38> (There aren't any infinite sets of objects in Magic: the Gathering either, although some are unbounded.)
23:07:00 -!- boily has joined.
23:09:01 <Moon_> You know what, for now, im not skilled enough t make a fumble interpreter
23:11:27 <Moon_> i certainly wish i was >_>
23:13:11 <Moon_> hey, anyone wana try their hand at it?
23:13:19 <Moon_> http://esolangs.org/wiki/Fumble
23:14:06 <boily> Mhelloon_.
23:15:12 <Moon_> ?
23:15:16 <Moon_> yes?
23:15:44 <shachaf> If you wish to examine a granfalloon, just remove the skin of a toy balloon.
23:15:57 -!- Guest83470 has quit (Quit: This computer has gone to sleep).
23:18:05 <boily> Moon_: it was a customary porthello hth
23:18:09 <boily> hellochaf.
23:28:25 <hppavilion[1]> It's kind of hilarious how games have to specify "Online interactions not rated by ESRB"
23:30:11 <shachaf> Well, they don't have to.
23:30:37 <hppavilion[1]> shachaf: But they do
23:30:42 <shachaf> But they don't.
23:30:53 -!- Sgeo_ has joined.
23:31:18 <shachaf> Taneb: "the ability to prove Lambek's lemma is a litmus test of whether you can think categorically"
23:31:27 <hppavilion[1]> "As it turns out, ESRB has not analyzed every possible behavior of every person who could ever play this game, and thus have not rated the people you will encounter online"
23:31:43 -!- Melvar` has changed nick to Melvar.
23:31:53 <shachaf> The game Hearthstone has no chat feature.
23:32:10 <shachaf> People can only interact by saying one of six or so predefined phrases.
23:32:31 <shachaf> I think the ESRB could manage that.
23:32:45 <Koen_> hexcode?
23:34:11 <zzo38> You could try to use that to encode an IP address and port number, so that you can then use other program for chat.
23:54:27 -!- boily has quit (Quit: DISPLACER CHICKEN).
23:56:58 -!- moon__ has joined.
23:57:01 <moon__> back
23:57:18 -!- Moon_ has quit (Ping timeout: 258 seconds).
23:58:20 <moon__> chat dead?
23:59:33 <moon__> chat dead.
←2016-06-05 2016-06-06 2016-06-07→ ↑2016 ↑all