00:02:40 <lambdabot> src <id>. Display the implementation of a standard function
00:10:55 -!- ais523 has joined.
00:18:39 -!- adu has joined.
00:19:59 -!- Phantom_Hoover has quit (Read error: Connection reset by peer).
00:26:29 <lambdabot> Couldn't match expected type ‘[b]’ with actual type ‘Maybe Integer’
00:26:29 <lambdabot> In the second argument of ‘map’, namely ‘(Just 5)’
00:26:29 <lambdabot> In the expression: map (+ 21) (Just 5)
00:31:16 <fizzie> map is very list-oriented.
00:33:53 <fizzie> There's @src and there's @instances, but I guess there's no @src-of-instance.
00:40:07 -!- adu has quit (Quit: adu).
00:42:37 -!- callforjudgement has joined.
00:42:49 -!- ais523 has quit (Read error: Connection reset by peer).
00:43:42 -!- callforjudgement has changed nick to ais523.
00:45:19 -!- Ox0dea has joined.
00:49:31 <boily> shun the Royal Jelly and its acid blobs.
00:51:38 -!- mihow has quit (Quit: mihow).
00:51:50 <boily> Ox0dea: do you DCSS?
00:52:24 <Ox0dea> boily: I don't, sorry.
00:55:42 <lambdabot> Source not found. Take a stress pill and think things over.
00:55:49 <lambdabot> Source not found. There are some things that I just don't know.
00:55:58 <oerjan> fizzie: ... there used to be
00:56:08 <lambdabot> Source not found. That's something I cannot allow to happen.
00:56:16 <lambdabot> (>>=) :: forall a b. m a -> (a -> m b) -> m b
00:56:16 <lambdabot> (>>) :: forall a b. m a -> m b -> m b
00:56:27 <lambdabot> Source not found. Just try something else.
00:56:58 <oerjan> @ask int-e What happened to @src giving instance definitions, i'm _sure_ it used to have some...
00:59:34 <boily> @src something-that-doesnt-exist-in-lambdies-db
00:59:34 <lambdabot> Source not found. My brain just exploded
00:59:37 <boily> @src something-that-doesnt-exist-in-lambdies-db
00:59:38 <boily> @src something-that-doesnt-exist-in-lambdies-db
00:59:40 <boily> @src something-that-doesnt-exist-in-lambdies-db
00:59:40 <lambdabot> Source not found. And you call yourself a Rocket Scientist!
01:01:39 -!- variable has joined.
01:02:12 <oerjan> @tell int-e oops, false alarm
01:02:38 <boily> @src ZipList Monad
01:02:39 <lambdabot> Source not found. Maybe if you used more than just two fingers...
01:03:08 <lambdabot> Source not found. This mission is too important for me to allow you to jeopardize it.
01:03:31 <shachaf> perhaps @src predates ZipList hth
01:03:40 <oerjan> @src is pretty old-fashioned and doesn't believe in those new-fangled Applicatives.
01:03:44 <lambdabot> class Functor f => Applicative f where
01:04:16 -!- adu has joined.
01:06:31 <Ox0dea> "Nothing is just Nothing." -- Arya of House Peyton-Jones
01:08:08 <boily> Ox0dea: I shall quote you on that wisdomically.
01:08:32 <boily> oerjan: speaking of wisdom, you `learned an invention that isn't a tanebvention.
01:08:39 <boily> that is disturbing.
01:08:53 <oerjan> i think i just edited that
01:09:04 <shachaf> `` egrep -r '[^b] invented' wisdom
01:09:05 <HackEgo> wisdom/cpressey:cpressey invented the esolang, the pipe cleaner and the electrical mousse. \ wisdom/twoducks:TwoDucks programming language was invented in 2023. \ wisdom/al gore:Al Gore invented the algorithm. \ wisdom/algorithm:Algorithms (derived from the medieval "algorisms") are popular sayings by former president Al Gore, except for God's Algo
01:09:32 <boily> cpressey is grandfathered in.
01:09:51 <oerjan> because he's like, the grandfather of esolangs?
01:10:07 <boily> he invented the esolang after all.
01:10:28 <Ox0dea> Doesn't that belong to the FALSE guy?
01:11:15 <shachaf> `` egrep -r '[^b] invented' wisdom | tail -n+5
01:11:17 <HackEgo> wisdom/hexchat:Hexchat is a variant of Smalltalk invented in Hexham. \ wisdom/go:Go is a common verbal game programming language invented by the Germanic Taneb tribes in the strategic territories of East Asia. \ wisdom/universe:The universe was invented by Taneb as an opposing force to oerjan. \ wisdom/nitia:nitia is the inventor of all things. The
01:11:57 <HackEgo> nitia is the inventor of all things. The BBC invented her.
01:12:37 * boily waves “Those aren't the notanebventions you aren't not looking for, eh”
01:14:24 -!- Ox0dea has left ("WeeChat 1.4-dev").
01:22:47 -!- boily has quit (Quit: RAINBOW CHICKEN).
01:39:40 <HackEgo> A category is just a category object in the category of classes.
01:39:55 <tswett> `culprits wisdom/category
01:39:59 <HackEgo> tswett int-e ais523 shachaf elliott oerjan elliott Bike FreeFull oerjan oerjan elliott oerjan FreeFull shachaf shachaf nitia
01:41:33 <HackEgo> In category theory, category theory is a theory in the category of theories.
01:42:59 <oerjan> <fizzie> I was expecting it to randomly select a subset of countries. <-- :(
01:45:30 -!- variable has quit (Ping timeout: 260 seconds).
01:45:38 <tswett> `le/rn category/A category is an enriched category where the enriching category is the category of classes.
01:45:54 <HackEgo> Monoids are just the easy version of categories with a single object.
01:46:07 <HackEgo> Monoids are just the easy version of categories with a single object.
01:46:25 <HackEgo> wisdom/monoids: ERROR: cannot open `wisdom/monoids' (No such file or directory)
01:46:46 <HackEgo> oerjan oerjan elliott Bike FreeFull ais523 ais523 shachaf elliott shachaf
01:47:06 -!- lleu has quit (Quit: That's what she said).
01:47:12 <shachaf> that sentence makes no sense
01:47:26 <shachaf> "categories with a single object" isn't the thing that monoids are the easy version of
01:48:02 <shachaf> oerjan: this is like the algorithm thing
01:48:05 -!- adu has quit (Quit: adu).
01:48:12 <shachaf> you can't just mix two wisdoms and hope for an improved combined wisdom
01:48:55 <HackEgo> itidus20/itidus20's entry has been censored.
01:49:03 <HackEgo> substructural typing/Not to be confused with structural subtyping.
01:49:14 <ais523> hmm, how to combine those
01:49:39 <ais523> "itidus20/itidus20 was confused about structural subtyping, but [CENSORED]"
01:49:47 <ais523> it's not that funny but neither were the originals
01:49:57 <tswett> `le/rn Monoids are just the easy version of categories. Kids these days don't know how easy they've got it... in my day, two-sorted algebraic structures were the only kind we had, and we LIKED it!
01:50:10 -!- adu has joined.
01:50:34 <tswett> By the way, what's your opinion on this?
01:50:36 <HackEgo> Rust is C++ as designed by the makers of Haskell.
01:50:46 <shachaf> i was happy with the way it was
01:51:04 <tswett> You preferred wisdom/monoid immediately before I changed it just now?
01:51:32 <shachaf> I preferred it before oerjan merged them.
01:52:48 <tswett> `le/rn monoid/A monoid is the easy version of a category.
01:52:57 <tswett> `le/rn monoids/Monoids are categories with single objects.
01:53:10 <tswett> `le/rn monoids/Monoids are just categories with single objects.
01:53:28 <shachaf> i was hoping to get some input from oerjan
01:53:35 <shachaf> not just to mess his thing up
01:54:22 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: mkcommittee: not found
01:54:34 <tswett> What? What sort of Unix-like environment doesn't have mkcommittee?
01:54:56 <tswett> This isn't very welcoming. I'm feeling underwelcomed.
01:55:05 <tswett> I need some way to compensate for this feeling of underwelcome.
01:55:20 <tswett> Yes. Yes. Most wonderful.
01:55:28 <HackEgo> [ "$1" == "on" ] && echo 'Autowelcome enabled.' || echo 'Autowelcome disabled.'
01:55:42 <ais523> that script looks a lot like it doesn't do anything but print a message
01:56:50 <HackEgo> ls: cannot access wisdom/Mon*: No such file or directory
01:56:56 <HackEgo> wisdom/monad \ wisdom/monads \ wisdom/monoid \ wisdom/monoidal category \ wisdom/monoids \ wisdom/monqy
01:57:03 <shachaf> oerjan: i already checked, it's not there hth
01:57:28 <shachaf> otherwise it would've printed "learnt «foo»" or something
01:58:22 <oerjan> ais523: _sometimes_ you're a bit captain obvious hth
01:58:57 <oerjan> wait that sounded all wrong.
02:00:15 <oerjan> ais523: i'm sure it would do something if it were possible to get HackEgo to do that something.
02:01:06 <HackEgo> cat: bin/le/rn: No such file or directory
02:01:25 <oerjan> wait, how does that even work.
02:01:45 <HackEgo> bin/learn \ bin/learn_append \ bin/learn_append2
02:02:39 <HackEgo> #!/bin/bash \ [[ "$1" = */* ]] || exit \ topic=$(echo "$1" | lowercase | cut -d / -f 1) \ [ -z "$topic" ] && exit 1 \ value=$(echo "$1" | cut -d / -f 2-) \ echo "$value" > wisdom/"$topic" && echo "Learned «$topic»"
02:02:47 <HackEgo> lrwxrwxrwx 1 5000 0 17 Jun 5 04:35 le/rn -> ../bin/slashlearn
02:03:03 <HackEgo> [[ "$1" == ?*//* ]] || exit 1; key="${1%%//*}"; value="${1#*//}"; echo "$value" > "$key" && echo "$key"
02:04:50 -!- ent0nces has quit.
02:08:37 <ais523> is that obfuscated bash?
02:08:41 <oerjan> `mk wisdom/`mk//Everything's better with `mk.
02:09:23 <oerjan> ais523: i don't see what's obfuscated about it
02:09:26 <ais523> it uses a ton of operators that are rarely used, and is very punctuation-heavy as a result
02:09:44 <ais523> even something like "?*//*" severely strains my mental parser
02:10:16 <oerjan> i would not write such a thing in bash, but i don't know if there's a better way if you do
02:10:18 <shachaf> ais523: All I wanted to do was split a string on the first occurrence of //
02:10:48 <ais523> what's the question mark for?
02:11:36 <HackEgo> /hackenv/bin/mk: line 1: : No such file or directory
02:11:38 <shachaf> Making sure the first part isn't empty.
02:11:54 <oerjan> shachaf: i found a loophole in that hth
02:11:55 <shachaf> As oerjan points out, it doesn't work very well.
02:12:08 <shachaf> improvements are welcome twh
02:12:23 <oerjan> i don't think you can use the loophole for anything, though
02:12:40 <shachaf> I don't think the check is even strictly necessary.
02:12:56 <shachaf> `` echo "blah" > ""; echo $?
02:12:57 <HackEgo> bash: : No such file or directory \ 1
02:13:32 <oerjan> istr you discussed empty filenames the other day, and POSIX forbids them
02:14:37 * oerjan somehow wants a better pronoun there. something that means, "we, but not me, and possibly not you (singular) either"
02:15:37 <shachaf> it's not exclusive, is it?
02:19:43 <shachaf> in another channel there was a swatworthy moment discussing the phrase "all that glitters is not gold"
02:19:49 <shachaf> it's a pity you weren't there
02:20:16 <oerjan> a missed golden opportunity, for sure
02:35:56 -!- shikhin has joined.
02:39:27 -!- adu has quit (Quit: adu).
03:07:50 -!- ^v has quit (Quit: Leaving).
03:08:31 -!- ^v has joined.
03:18:25 <\oren\> can people quiet down and stop having their lovers quarrel in the allwy behind my house
03:19:30 <\oren\> I opened the window and yelled "Hello! Can You quiet down out there!"
03:21:53 <\oren\> Oh god damn it stop whimpering and shrieking
03:28:21 -!- hppavilion[2] has joined.
03:29:48 -!- hppavilion[1] has quit (Ping timeout: 244 seconds).
03:31:24 <HackEgo> [wiki] [[J--]] M http://esolangs.org/w/index.php?diff=44822&oldid=44573 * Phase * (-78) That branch was merged
03:39:49 -!- hppavilion[1] has joined.
03:42:12 -!- hppavilion[2] has quit (Ping timeout: 244 seconds).
04:01:07 -!- MDude has changed nick to MDream.
04:53:30 -!- hppavilion[1] has quit (Ping timeout: 244 seconds).
05:25:59 <HackEgo> [wiki] [[Rail]] http://esolangs.org/w/index.php?diff=44823&oldid=42119 * 106.219.33.0 * (+4) /* More examples */
05:30:39 -!- JesseH has quit (Remote host closed the connection).
06:01:58 -!- AnotherTest has joined.
06:02:50 -!- jaboja has quit (Ping timeout: 240 seconds).
06:08:53 -!- AnotherTest has quit (Quit: ZNC - http://znc.in).
06:54:48 -!- mauris has joined.
07:10:19 -!- ^v has quit (Ping timeout: 240 seconds).
07:18:52 -!- Wright has quit (Ping timeout: 265 seconds).
07:39:12 -!- Patashu has joined.
07:41:30 -!- gamemanj has joined.
07:42:40 -!- Patashu has quit (Remote host closed the connection).
07:42:54 -!- Patashu has joined.
07:44:07 -!- oerjan has quit (Quit: leaving).
08:49:30 -!- ais523 has quit (Ping timeout: 240 seconds).
08:54:05 -!- mauris has quit (Ping timeout: 246 seconds).
09:00:54 -!- |f`-`|f has quit (Ping timeout: 260 seconds).
09:03:39 -!- gamemanj has quit (Remote host closed the connection).
09:07:48 -!- |f`-`|f has joined.
09:08:00 -!- ais523 has joined.
09:09:25 -!- gamemanj has joined.
09:10:19 <ais523> wow is github's UI for merge commits terrible, it seems to show all the content that was being merged in even if the merge itself was lawful good (i.e. no conflicts anywhere)
09:11:41 <Jafet> ...I don't think that's what they mean by "sequence alignment"
09:13:20 <ais523> well isn't "evil merge" an established git phrase? I took the opposite, then intensified it
09:13:39 <ais523> (I assume a merge with conflicts, in which the merge-conflict-fixing is obvious and benign, would be chaotic good)
09:14:39 <Jafet> Would that mean that lawful evil merges are the worst (no conflicts, but your code breaks)
09:14:57 -!- J_Arcane has quit (Ping timeout: 255 seconds).
09:15:57 <ais523> although an "evil merge" normally refers to introducing something unrelated in a merge commit
09:17:25 -!- gamemanj has quit (Ping timeout: 252 seconds).
09:17:49 <ais523> presumably a true neutral commit is when you actually cherry-picked, rather than merging, and had to heavily modify the code to get it to fit with the codebase
09:22:12 -!- gamemanj has joined.
09:22:24 <Taneb> ais523: what would chaotic and lawful neutral be?
09:23:02 <ais523> lawful neutral is an extra commit just after the merge, that does nothing but delete trailing whitespace
09:23:10 <ais523> not sure about CN offhand
09:33:05 -!- ais523 has quit.
09:33:15 -!- ais523 has joined.
09:38:09 -!- ais523 has quit.
09:38:25 -!- ais523 has joined.
09:52:59 -!- FreeFull has quit.
09:54:55 <fizzie> "Deconstructed Salad-Smoked Salmon" what does that even mean
09:55:38 <fizzie> Ohh, it's "Deconstructed salad: smoked salmon, something else, more stuff."
09:56:01 <fizzie> I still don't know exactly what it means, but at least it's more plausible.
09:58:52 <ais523> clearly you set the salad on fire and use it to smoke the salmon
09:59:14 <ais523> (yesterday I had a meal I haven't had in over 10 years: chicken mayo and lettuice toastie)
09:59:29 <ais523> (I ordered it by mistake once and discovered I rather liked it, despite the fact that people rarely toast lettuice)
09:59:42 <ais523> the hard part was convincing the chef to cook it
10:13:40 -!- ais523 has quit.
10:15:25 -!- ais523 has joined.
10:24:28 -!- aretecode has quit (Ping timeout: 265 seconds).
10:26:52 <fizzie> A deconstructed salad was just a thing where you have the ingredients for a salad in different containers.
10:27:17 <fizzie> Although I have a feeling they never were in a salad together at any point in time.
10:27:50 <ais523> idea: a salad sorting machine, which you put a salad in and it sorts out the individual ingredients
10:28:05 <ais523> useful if you have a salad that contains something you can't eat or don't like, but which you otherwise want to eat
10:28:13 <ais523> (you can subsequently shuffle the desired ingredients back together)
10:28:54 -!- ais523 has quit (Read error: Connection reset by peer).
10:29:08 -!- ais523 has joined.
10:29:13 <fizzie> Might be a challenging build if it needs to handle more liquid ingredients.
10:31:15 -!- bender| has joined.
10:31:15 -!- bender| has quit (Changing host).
10:31:15 -!- bender| has joined.
10:38:20 -!- boily has joined.
10:44:16 <b_jonas> ais523: salad sorter: http://stickman.qntm.org/comics.php?n=944
10:44:58 -!- TieSleep has changed nick to TieSoul.
10:56:45 -!- ais523 has quit (Read error: Connection reset by peer).
10:56:51 -!- callforjudgement has joined.
10:57:47 -!- callforjudgement has changed nick to ais523.
11:01:34 -!- ais523 has quit (Client Quit).
11:07:12 <HackEgo> [[ "$1" == ?*//* ]] || exit 1; key="${1%%//*}"; value="${1#*//}"; echo "$value" > "$key" && echo "$key"
11:11:12 -!- AnotherTest has joined.
11:13:12 -!- jaboja has joined.
11:26:25 <lambdabot> FTTJ 221100Z 07008KT 030V110 CAVOK 38/03 Q1010 NOSIG
11:27:15 <lambdabot> FEFF 221100Z VRB02KT 8000 SCT026 32/22 Q1011 NOSIG
11:27:38 <boily> warmth, why must you be so far away...
11:28:02 -!- boily has quit (Quit: OPINIATED CHICKEN).
11:28:27 -!- J_Arcane has joined.
11:37:02 -!- Patashu has quit (Ping timeout: 250 seconds).
11:43:10 <fizzie> >30? That's crazy-talk.
11:43:18 <lambdabot> EGLL 221120Z AUTO 29010KT 9999 OVC031 14/07 Q1017
11:46:26 -!- jaboja has quit (Ping timeout: 240 seconds).
11:46:50 -!- J_Arcane has quit (Ping timeout: 244 seconds).
11:52:39 -!- AnotherTest has quit (Ping timeout: 240 seconds).
12:06:12 -!- AnotherTest has joined.
12:11:38 -!- MDream has quit (Ping timeout: 268 seconds).
12:54:30 -!- J_Arcane has joined.
13:00:22 -!- vifino has quit (Ping timeout: 246 seconds).
13:03:06 -!- vifino has joined.
13:15:23 -!- shikhin has quit (Ping timeout: 252 seconds).
13:17:22 <quintopia> apparently that 30+ was africa? boily must be cold too
13:18:55 <lambdabot> LOWI 221250Z VRB02KT 9999 FEW060 12/02 Q1016 NOSIG
13:29:54 -!- bender| has changed nick to JackWarnerBros.
13:30:44 -!- JackWarnerBros has changed nick to bender^.
13:31:00 -!- bender^ has changed nick to bender|.
13:46:23 -!- kallisti has quit (Ping timeout: 264 seconds).
13:54:36 -!- Wright has joined.
14:00:54 -!- oerjan has joined.
14:06:00 <Deewiant> https://www.reddit.com/r/befunge/ was this necessary, I wonder
14:08:18 -!- MDream has joined.
14:12:57 <int-e> no, reddit wasn't necessary
14:13:36 <int-e> but it's a minor nuisance compared to facebook and twitter ;)
14:25:02 -!- `^_^v has joined.
14:31:40 <oerjan> quintopia: someone close to int-e
14:32:22 -!- Phantom_Hoover has joined.
14:39:21 -!- Wright has quit (Ping timeout: 252 seconds).
14:40:59 -!- mroman has joined.
14:41:13 <mroman> Does someone have a vServer with CGI Support :)?
14:42:27 <mroman> @tell mauris: Yeah en is different than pythons [::a], but I just commented on that codegolf post and included some workarounds
14:43:53 <mroman> did it post that to mauris or mauris:?
14:43:58 <mroman> @tell mauris Yeah en is different than pythons [::a], but I just commented on that codegolf post and included some workarounds
14:44:37 <mroman> @tell mauris There's 7mo14.+?i1+] but I found a better way today which is by using co: 100ro7co)-]
14:45:07 <mroman> @tell mauris generally slicing as in [::a] can be done by doing a co)-]
14:46:59 <int-e> how can you have a vserver without cgi support?
14:47:19 <int-e> I mean, aren't you supposed to be root on those things?
14:47:59 <mroman> I don't have a vServer anymore I'm afraid.
14:48:47 <mroman> and 7bc0R@?*15.+?i is probably my worst attempt at the problem :D
14:51:20 <int-e> anyway, what are you trying to do?
14:51:44 <mroman> @tell mauris Well actually 1{7?+}14!C is even shorter. (If you output the numbers)
14:51:56 <mroman> int-e: Trying to host the burlesque online shell again :D
14:52:08 <mroman> so people can use Burlesque again without installing it locally
14:52:35 <mroman> and I don't think haskell2javascript is advanced enough for that to work
14:52:59 <mroman> so the easiest option is through CGI like I did in the past.
14:53:11 <oerjan> are you sure, i hear ghcjs is pretty impressive these days
14:53:31 <mroman> No, I just haven't heard any good things about it lately
14:53:44 <quintopia> what was that language someone made that was based on programming by example
14:54:04 <int-e> mroman: I guess I could give you an account on my cloud at coast server... I'm not using it for anything useful anyway
14:54:21 <int-e> (this one, http://104.167.104.168/)
14:54:26 -!- nycs has joined.
14:54:38 <mroman> doesn't ghcjs require some backend server running as well?
14:54:44 <mroman> like node.js or something?
14:54:57 <oerjan> i don't know how it works
14:55:23 <oerjan> except that it supports most of ghc haskell and can even install cabal packages
14:55:24 <mroman> int-e: I guess that could be awesome.
14:55:40 <mroman> can you set limits on that account?
14:55:54 <mroman> because somebody could easily try to run a script that consumes 4GB of memory ;)
14:56:10 <mroman> I had configured limits through apache
14:56:12 -!- MoALTz_ has joined.
14:56:48 -!- `^_^v has quit (Ping timeout: 250 seconds).
14:58:12 -!- ocharles___ has joined.
14:58:54 -!- tromp has joined.
14:59:32 <mroman> If you give me a www-home-dir (such as host/~username/cgi-bin) then you need to make sure that those programs in cgi-bin aren't run under the user the webserver runs under
14:59:35 <fizzie> int-e: Ah, the NoCloudAtAnyCost provider.
15:00:14 -!- perrier_ has joined.
15:00:15 <int-e> fizzie: is hackego still running on one of those?
15:01:12 -!- puck1pedia has joined.
15:03:25 <mroman> I can't even access error logs on my server
15:03:30 <mroman> in case I mess up a .htacess or something
15:03:36 <mroman> I have so fucking limited access :(
15:04:09 -!- Lymee has joined.
15:04:19 -!- dtscode has joined.
15:05:30 -!- aretecode has joined.
15:07:00 -!- ocharles__ has quit (*.net *.split).
15:07:00 -!- tromp__ has quit (*.net *.split).
15:07:00 -!- nchambers has quit (*.net *.split).
15:07:00 -!- MoALTz has quit (*.net *.split).
15:07:00 -!- Lymia has quit (*.net *.split).
15:07:00 -!- perrier has quit (*.net *.split).
15:07:00 -!- skarn has quit (*.net *.split).
15:07:00 -!- Alcest has quit (*.net *.split).
15:07:00 -!- puckipedia has quit (*.net *.split).
15:07:00 -!- olsner has quit (*.net *.split).
15:07:00 -!- dtscode has changed nick to nchambers.
15:07:00 -!- puck1pedia has changed nick to puckipedia.
15:07:00 -!- Lymee has changed nick to Lymia.
15:07:17 -!- Alcest_ has joined.
15:08:12 -!- nycs has quit (Ping timeout: 272 seconds).
15:08:41 <HackEgo> [wiki] [[RubE On Conveyor Belts]] http://esolangs.org/w/index.php?diff=44824&oldid=38332 * 152.26.69.43 * (+48) /* Interpreter source code */
15:10:13 -!- ocharles___ has changed nick to ocharles__.
15:10:34 -!- olsner has joined.
15:18:54 -!- oerjan has quit (Quit: Etc.).
15:22:29 -!- Alcest_ has changed nick to Alcest.
15:24:17 -!- bender| has quit (Remote host closed the connection).
15:36:13 -!- JesseH has joined.
15:37:41 -!- kallisti has joined.
15:42:06 -!- bb010g has joined.
15:43:01 -!- jaboja has joined.
15:43:36 -!- jaboja has quit (Client Quit).
15:46:01 -!- skarn has joined.
15:59:25 -!- J_Arcane has quit (Ping timeout: 265 seconds).
16:03:41 -!- AnotherTest has quit (Ping timeout: 252 seconds).
16:24:33 -!- aretecode has quit (Ping timeout: 265 seconds).
16:30:53 -!- hppavilion[1] has joined.
16:35:27 -!- aretecode has joined.
16:44:40 <MDream> They don't need too, but neither do register-oriented languages.
16:46:07 -!- adu has joined.
16:46:16 <MDream> What I mean is, what stack-based alnguage do you mean specifically?
16:46:20 -!- MDream has changed nick to MDude.
16:46:22 <hppavilion[1]> I always assumed WHILE (or a similar counterpart) was pretty much necessary for TCness, as a TM can not halt (as opposed to cannot halt)
16:46:31 <b_jonas> argh. I'm blaming the compiler now.
16:46:31 <MDude> I know stack languages can have loops.
16:47:00 <hppavilion[1]> They pop a couple variables and an anonymous function
16:47:25 <MDude> A FOR loop can be seen as a while loop in which the loop control variable is only modified when ti is checked.
16:48:09 <hppavilion[1]> You can do something like for(i=0;False;i++;) {...}
16:48:39 <hppavilion[1]> (The second argument to for can be any boolean value or thing returning a boolean value, if it's designed correctly)
16:48:43 <MDude> The only stack-ased language I've learned to any great extent is IBNIZ.
16:49:54 <MDude> I don't know wbout non-esoteric ones as much, but I'm pretty sure Forth has while loops.
16:51:51 <MDude> You can also get TCness with gotos, subtroutines, or functions.
16:52:23 <MDude> Though the first one is seen as undesired outside of assembly coding.
16:54:12 <hppavilion[1]> I think that my design for Wbye could support WHILE loops
16:55:02 <myname> hppavilion[1]: first: False actually doesn't make sense. second: nothingnis also valid in most languages
16:56:11 <myname> but for(;;) is a valid endless loop most of the time
16:56:38 <hppavilion[1]> So at the bottom is goto-if, upon which we get k-loops and while-loops, and upon that is for, and upon that is foreach.
16:56:46 <myname> so why not for(i=0;;i++)
16:57:25 <MDude> for(i=0;;i++) would take up a whole variable for no reason.
16:57:41 -!- ent0nces has joined.
16:57:46 <myname> yeah, so just (;;) is fine
16:57:48 <MDude> If numbers are bignum by default, it's even an unbounded memory leak.
16:58:47 <fizzie> If i is signed, for(i=0;;i++); is undefined.
16:59:04 <hppavilion[1]> I was thinking in stack-based, where you can't tell it how many variables it gets, it just pops a fixed number
16:59:31 -!- ent0nces_ has joined.
17:00:37 <MDude> Stack based languages use a secondary stack to manage loops.
17:01:00 <hppavilion[1]> MDude: But a Stack-based FOR loop still gets its arguments from the main stack, iirc
17:01:04 <MDude> Or they useone for FOR loops anyway.
17:01:31 <hppavilion[1]> OK. That's why I wrote it with all the extra arguments then.
17:02:10 -!- ent0nces has quit (Ping timeout: 240 seconds).
17:02:11 <fizzie> Forth has "uncounted" loops -- `BEGIN ... test WHILE ... REPEAT`, `BEGIN ... test UNTIL` and `BEGIN ... AGAIN` -- and counted loops -- `limit start DO ... LOOP`.
17:02:49 <fizzie> Where ... is for loop body, and 'test' something that's supposed to leave a flag on the stack on whether to continue or not.
17:02:56 <MDude> I was confused earlier because there's a stack based programming language named FALSE which does in fact make sense.
17:06:41 <mroman> enough burlesque'ing on codegolf.stackexchange.com for today
17:07:36 <mroman> but the ones I know use the same stack for that.
17:07:41 -!- hppavilion[1] has quit (Ping timeout: 256 seconds).
17:08:25 <fizzie> The Forth control flow stack is "logically" a separate stack, but it's allowed to be the same stack as the data stack.
17:08:34 <fizzie> Gforth at least does it that way.
17:09:43 -!- mroman has quit (Quit: 12XX^pq.*10C!).
17:10:22 <Taneb> How does that work
17:13:07 <fizzie> By... pushing a thing on the data stack?
17:13:57 <Taneb> So you can pop the return location?
17:15:50 <fizzie> No, that would be the return stack.
17:17:19 -!- gamemanj has quit (Read error: Connection reset by peer).
17:18:27 <fizzie> Although I might have misremembered, maybe it was actually the return stack where gforth puts the loop control structures.
17:18:49 -!- gamemanj has joined.
17:18:54 <fizzie> "ANS Forth permits and supports using control structures in a non-nested way. Information about incomplete control structures is stored on the control-flow stack. This stack may be implemented on the Forth data stack, and this is what we have done in Gforth."
17:19:27 <fizzie> Well, that seems to be quite definite. But my empirical tests did not make it look like that's the case.
17:20:29 <fizzie> It certainly looks like it's the return stack they're using.
17:21:47 -!- hppavilion[1] has joined.
17:21:51 <fizzie> But the manual's stack effect descriptors claim that it's the data stack. Meh, whatever.
17:50:11 -!- hppavilion[1] has quit (Ping timeout: 256 seconds).
17:58:34 <izabera> it's nice that tlmgr update --all only updates the packages but not tlmgr itself
17:59:10 <izabera> so --all is more like --almost-all
18:00:49 <izabera> i know that at least some of you use texlive <.<
18:04:57 -!- hppavilion[1] has joined.
18:06:04 -!- aretecode has quit (Read error: Connection reset by peer).
18:09:05 -!- aretecode has joined.
18:13:04 -!- lleu has joined.
18:14:39 <myname> i use texlive, but the package manager of my distribution should handle that
18:26:26 -!- hppavilion[1] has quit (Ping timeout: 272 seconds).
18:27:49 -!- mauris has joined.
18:34:15 -!- hppavilion[1] has joined.
18:35:23 -!- ^v has joined.
18:35:33 <HackEgo> [wiki] [[ArbourDB]] N http://esolangs.org/w/index.php?oldid=44825 * Hppavilion1 * (+247) Created Page
18:37:38 <hppavilion[1]> I want to make a CSV-based funge designed for actual usability and potential serious usage
18:38:28 <myname> funge is perfectly usable
18:38:51 <b_jonas> hppavilion[1]: so like y/;//d when loading the program?
18:39:03 <b_jonas> or whatever separator you use
18:40:17 <hppavilion[1]> Though based on the name, I can guess it's fairly simple
18:40:23 <myname> well, characger seperated values
18:40:23 -!- mihow has joined.
18:40:29 <myname> pretty much sums it up
18:40:55 <myname> you actually don't have to use commas
18:41:01 <HackEgo> [wiki] [[Mmmm()]] http://esolangs.org/w/index.php?diff=44826&oldid=42257 * 70.45.127.182 * (+478)
18:41:23 <b_jonas> hppavilion[1]: some CSV has double-quotes in it to escape most values, or only the values that contain the column delimiter or newlines. that's harder to parse, just y/\t//d won't work, because you may have to join lines when there's a quoted newline
18:42:19 <hppavilion[1]> (I'm starting out in Python; C(++)? implementation comes later)
18:42:36 <b_jonas> also, everyone has a different idea about what csv means, and they sometimes publish "standards" and say that their code writes and reads "standard csv" but of course there's no single such thing
18:42:44 <HackEgo> [wiki] [[Mmmm()]] http://esolangs.org/w/index.php?diff=44827&oldid=44826 * 70.45.127.182 * (-478)
18:43:48 <myname> what do you mean by "usable"?
18:44:14 <hppavilion[1]> myname: Something that, in a universe where I was lucky, could end up being used seriously.
18:44:44 <myname> why should one use it over befunge?
18:45:13 <hppavilion[1]> myname: It's actually readable. It allows you to push numbers anywhere in the range of a signed long integer.
18:45:28 <hppavilion[1]> It allows expressions that are evaluated on preprocessing.
18:46:14 <myname> so, you are trying to make a preprocessor and call it a language
18:46:50 <hppavilion[1]> I don't really plan to sell it, I'm just bored. xD.
18:48:08 <hppavilion[1]> (Also, technically, a preprocessor is a language; a primitive transcompiler)
18:48:10 <myname> i am not convinced yet
18:48:41 <hppavilion[1]> It isn't really for usage, it's just designed to be marginally usable.
18:48:42 <myname> well yeah, basically changing brainfuck symbols to letters is a language
18:49:11 <myname> these langiages tend to suck, though
18:49:34 <b_jonas> at least it's not a BF variant
18:49:48 <myname> befunge is perfectly useable, just look at fungot
18:49:48 <fungot> myname: like multi-color mode you could find a considerable amount of each register is set to 129 and 128 per line 200, 300 if dv=positive) call the old vector address in 53272 ( d018).
18:50:12 <hppavilion[1]> myname: But no one treats it as usable outside of this channel. No one's even /heard/ of it outside of this channel.
18:50:37 <myname> that will be true for whazever you are trying to do, i guess
18:51:53 <b_jonas> I think technically Mouse wasn't designed as an esolang
18:52:23 <hppavilion[1]> Thue wasn't even technically designed as an esolang, AFAIK. It was just an example in a paper.
18:52:27 <b_jonas> but then I think Befunge is a bit less convenient than Mouse, because of the lack of named variables or named subroutines
18:53:27 <b_jonas> does Befunge have an indirect jump?
18:53:33 <myname> rail actually has a lot of features
19:00:28 -!- jaboja has joined.
19:05:42 -!- hppavilion[1] has quit (Ping timeout: 260 seconds).
19:06:38 -!- hppavilion[1] has joined.
19:10:26 -!- idris-bot has quit (Ping timeout: 246 seconds).
19:11:47 -!- Melvar has quit (Ping timeout: 252 seconds).
19:12:21 -!- hppavilion[1] has quit (Ping timeout: 256 seconds).
19:14:16 -!- Melvar has joined.
19:14:39 -!- idris-bot has joined.
19:15:25 -!- hppavilion[1] has joined.
19:19:36 <fizzie> b_jonas: Indirect in what sense? You can treat x in Funge-98 as an arbitrary relative jump (with operands from the stack), though it needs to have a "landing pad" to reset the delta.
19:26:06 <b_jonas> fizzie: yes, that sense is fine
19:30:10 <fizzie> (There's also a j, which pops a number and jumps that * delta.)
19:33:34 <b_jonas> fizzie: yes, that's even easier
19:34:39 <hppavilion[1]> (by 90 degrees (or any other number, for that matter))
19:38:37 <fizzie> (x, y) = (-y, x) etc. are the usual 90-degree rotations.
19:39:13 <fizzie> They fall out of the [cos x, -sin x; sin x, cos x] rotation matrix.
19:44:02 <hppavilion[1]> fizzie: Is that one for clockwise or counter-clockwise? And what's the other one? Am I asking stupid questions?
19:44:11 <hppavilion[1]> I don't feel like doing that much thinking right now xD
19:44:30 <hppavilion[1]> I think I figured out that that's the one for clockwise
19:45:27 <fizzie> Phantom_Hoover: Is it? (1,2) to (-2,1)?
19:45:54 <int-e> fizzie: are you thinking in screen coordinates?
19:46:11 <fizzie> Depends on which screen that is!
19:47:08 <int-e> oh I see, the matrix didn't agree with the previous one.
19:48:19 <int-e> sorry, too many conventions at play here ... are you working with vectors?
19:48:30 <int-e> with *column* vectors?
19:49:17 <fizzie> Column vectors, yes, but I may have gotten rows/columns mixed up when going from the implied [0 1; -1 0] to the sincossy one.
19:49:34 <fizzie> Did I just do that again.
19:50:00 <fizzie> Yes. I'm going to just not say anything, I think.
19:50:31 <int-e> at least you're consistent
19:51:03 <Phantom_Hoover> where noon is at the right, the hands go anticlockwise and the hours are marked off in radians
19:51:04 <fizzie> hppavilion[1]: *Anyway*, the pair of (x, y) = (-y, x) is (x, y) = (y, -x).
19:52:02 <hppavilion[1]> I don't really know what a pair is. Keep in mind, I just finished first quarter algebra II. And barely passed.
19:52:21 <hppavilion[1]> (well, I know that a pair is a 2-tuple, but I don't know what it is in /this/ context)
19:53:03 * int-e is confused as well.
19:55:06 <hppavilion[1]> I added the cardinal directions to what I'm calling Profunge.
19:55:31 <int-e> hmm... non-cardinal... omega + 1
19:55:53 <hppavilion[1]> I mean like the secondary ones, the ones at 45 degree angles from the cardinals xD
19:56:25 <int-e> skip those and add knight moves
19:58:21 <hppavilion[1]> I think I'll reserve the 4 secondaries for that same library.
20:07:39 -!- Patashu has joined.
20:10:45 -!- TieSoul has quit (Read error: Connection reset by peer).
20:24:42 <hppavilion[1]> Should I include tradtional single-character stack manipulation commands?
20:26:39 -!- AnotherTest has joined.
20:32:44 -!- llue has joined.
20:32:53 -!- lleu has quit (Read error: Connection reset by peer).
20:34:14 -!- llue has quit (Read error: Connection reset by peer).
20:34:31 -!- llue has joined.
20:35:18 -!- nycs has joined.
20:35:21 -!- nycs has changed nick to `^_^v.
20:36:25 -!- hppavilion[1] has quit (Ping timeout: 244 seconds).
20:42:18 -!- gamemanj has quit (Ping timeout: 260 seconds).
20:44:27 -!- Patashu has quit (Ping timeout: 250 seconds).
20:47:18 -!- AnotherTest has quit (Quit: ZNC - http://znc.in).
20:49:11 -!- ent0nces has joined.
20:51:49 -!- ent0nces_ has quit (Ping timeout: 250 seconds).
20:52:28 -!- AnotherTest has joined.
20:55:01 -!- AnotherTest has quit (Client Quit).
21:01:44 -!- `^_^v has quit (Ping timeout: 246 seconds).
21:01:54 -!- ent0nces has quit (Remote host closed the connection).
21:05:00 <fizzie> Sometimes, the text/plain half of a multipart/alternative messages can be rather different than the HTML part.
21:05:35 <fizzie> This one says: "preview email text - enter one line of text to show up in the preview window make it fairly long", and "[TITLE_ONE_HALF HREF TITLE ALL-CAPS]", and "This is very important English email. This is def not Latin. Please don't flag this as Latin because it isn't."
21:28:14 -!- Greg__ has joined.
21:29:48 -!- adu has quit (Ping timeout: 255 seconds).
21:40:15 <HackEgo> [wiki] [[Special:Log/newusers]] create * DLosc * New user account
21:48:01 -!- Greg__ has left.
22:13:48 -!- J_Arcane has joined.
22:35:55 -!- ais523 has joined.
22:37:53 -!- hppavilion[1] has joined.
22:39:32 <hppavilion[1]> In other news, I think I discovered a new (or at least seldom discussed) programming style and paradigm.
22:40:04 -!- bb010g has quit (Quit: Connection closed for inactivity).
22:43:02 <HackEgo> [wiki] [[Befunge]] M http://esolangs.org/w/index.php?diff=44828&oldid=44393 * Hppavilion1 * (+61) Linked to fungeoids
22:43:56 <HackEgo> [wiki] [[Befunge]] M http://esolangs.org/w/index.php?diff=44829&oldid=44828 * Hppavilion1 * (+0) Fixed the link (Gah! I never get those right!)
22:46:13 <fizzie> FWIW, the existing page refers to Funge-98 here and there. It might make sense to just have a joint article for them.
22:47:10 <fizzie> Not that they couldn't be separate either, just musing.
22:47:30 <ais523> I think we should have befunge-93 and funge-98 as articles
22:47:36 <ais523> and suitable redirects/disambiguations
22:52:37 <HackEgo> [wiki] [[Funge-98]] http://esolangs.org/w/index.php?diff=44830&oldid=21000 * Hppavilion1 * (+395) Initialized page, will work on later.
22:53:12 <hppavilion[1]> Yay! The wiki get a disambiguation! I'm so proud of it, all grown up :,)
22:53:50 <hppavilion[1]> I agree with ais523; Funge-98 is /very/ different from Befunge-93
22:54:42 <hppavilion[1]> Though I do think that Funge-98's page should be about /(Concurrent)? (Un|B|Tr)efunge-98/, instead of having different pages for each.
22:54:47 <ais523> hppavilion[1]: it has a disambiguation already
22:54:50 <ais523> http://esolangs.org/wiki/Clue
22:55:19 <ais523> was great that two experienced esolangers just happened to pick the same name for their languages :-)
22:55:57 <fizzie> It's not the only one, either.
22:56:01 <fizzie> http://esolangs.org/wiki/Special:WhatLinksHere/Template:Disambig
22:56:07 <fizzie> Clue, Onecode, Gibberish.
22:57:18 <HackEgo> [wiki] [[Befunge]] M http://esolangs.org/w/index.php?diff=44831&oldid=44829 * Hppavilion1 * (+0) /* History */ Fixed/repurposed a link.
22:58:54 <hppavilion[1]> So I'm making a language called Profunge that is designed to be a Fungeoid that is technically seriously usable. I'm trying to decide whether to allow traditional, single-character commands (like : for dup, $ for drop, \ for swap, etc.)
22:59:58 <ais523> hppavilion[1]: Befunge-98 is already seriously usable
23:00:03 <ais523> fungot: demonstrate for me
23:00:03 <fungot> ais523: these two sources, timer a is used to verify ram, starting from the memory address in low-byte, high-byte order).
23:00:18 <fizzie> I don't think this is the best style for demonstrations.
23:00:35 <hppavilion[1]> ais523: Technically, yes. However, it'll never get taken seriously, as it was made as an esolang.
23:01:32 -!- Wright has joined.
23:01:36 <ais523> hppavilion[1]: well if you're trying to make a new language as a non-esolang, it's even less likely that people will take it seriously because you're competing with languages which have had a lot of effort put into them
23:02:07 <hppavilion[1]> ais523: I don't really mean for it to be used xD. That's why I said "Technically".
23:03:09 <hppavilion[1]> I just mean that it /could/, in /theory/, be seriously used by someone someday
23:45:08 -!- JesseH has quit (Read error: Connection reset by peer).
23:47:30 -!- JesseH has joined.