00:02:40 @src 00:02:40 src . Display the implementation of a standard function 00:02:53 @src id 00:02:53 id x = x 00:03:00 magic? 00:03:09 nope 00:03:40 magic. 00:03:42 that was sarcastic oerjan 00:04:18 ooooh 00:05:35 <\oren\> imback 00:10:55 -!- ais523 has joined. 00:11:06 \hellobackren\ 00:18:39 -!- adu has joined. 00:19:59 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 00:26:04 @src map 00:26:04 map _ [] = [] 00:26:04 map f (x:xs) = f x : map f xs 00:26:09 :t map 00:26:11 (a -> b) -> [a] -> [b] 00:26:15 Hmmm. 00:26:28 > map (+21) (Just 5) 00:26:29 Couldn't match expected type ‘[b]’ with actual type ‘Maybe Integer’ 00:26:29 In the second argument of ‘map’, namely ‘(Just 5)’ 00:26:29 In the expression: map (+ 21) (Just 5) 00:26:34 Hmmmmm. 00:30:38 > fmap (+21) (Just 5) 00:30:39 Just 26 00:31:16 map is very list-oriented. 00:33:53 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 shun the Royal Jelly and its acid blobs. 00:49:49 It is known. 00:51:38 -!- mihow has quit (Quit: mihow). 00:51:50 Ox0dea: do you DCSS? 00:52:24 boily: I don't, sorry. 00:55:42 @src Monad Maybe 00:55:42 Source not found. Take a stress pill and think things over. 00:55:49 @src Maybe Monad 00:55:49 Source not found. There are some things that I just don't know. 00:55:58 fizzie: ... there used to be 00:56:08 @src Monad (->) 00:56:08 Source not found. That's something I cannot allow to happen. 00:56:11 @src Monad -> 00:56:12 Source not found. Sorry. 00:56:15 @src Monad 00:56:16 class Monad m where 00:56:16 (>>=) :: forall a b. m a -> (a -> m b) -> m b 00:56:16 (>>) :: forall a b. m a -> m b -> m b 00:56:16 return :: a -> m a 00:56:16 fail :: String -> m a 00:56:27 @src Monad [] 00:56:27 Source not found. Just try something else. 00:56:58 @ask int-e What happened to @src giving instance definitions, i'm _sure_ it used to have some... 00:56:58 Consider it noted. 00:59:34 @src something-that-doesnt-exist-in-lambdies-db 00:59:34 Source not found. My brain just exploded 00:59:37 @src something-that-doesnt-exist-in-lambdies-db 00:59:37 Source not found. Sorry. 00:59:38 @src something-that-doesnt-exist-in-lambdies-db 00:59:38 Source not found. I am sorry. 00:59:40 @src something-that-doesnt-exist-in-lambdies-db 00:59:40 Source not found. And you call yourself a Rocket Scientist! 00:59:50 hehehehehehe 01:01:12 @src [] (>>=) 01:01:12 xs >>= f = concatMap f xs 01:01:13 hth 01:01:39 -!- variable has joined. 01:01:56 oooh 01:02:04 @src Maybe (>>=) 01:02:04 (Just x) >>= k = k x 01:02:04 Nothing >>= _ = Nothing 01:02:12 @src Maybe fmap 01:02:12 fmap _ Nothing = Nothing 01:02:12 fmap f (Just a) = Just (f a) 01:02:12 @tell int-e oops, false alarm 01:02:12 Consider it noted. 01:02:38 @src ZipList Monad 01:02:39 Source not found. Maybe if you used more than just two fingers... 01:02:53 * boily thwacks lambdie 01:03:08 @src ZipList (<*>) 01:03:08 Source not found. This mission is too important for me to allow you to jeopardize it. 01:03:31 perhaps @src predates ZipList hth 01:03:40 @src is pretty old-fashioned and doesn't believe in those new-fangled Applicatives. 01:03:44 @src Applicative 01:03:44 class Functor f => Applicative f where 01:03:44 pure :: a -> f a 01:03:44 (<*>) :: f (a -> b) -> f a -> f b 01:03:54 much. 01:04:16 -!- adu has joined. 01:06:31 "Nothing is just Nothing." -- Arya of House Peyton-Jones 01:08:08 Ox0dea: I shall quote you on that wisdomically. 01:08:32 oerjan: speaking of wisdom, you `learned an invention that isn't a tanebvention. 01:08:39 that is disturbing. 01:08:53 i think i just edited that 01:09:04 `` egrep -r '[^b] invented' wisdom 01:09:05 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 cpressey is grandfathered in. 01:09:51 because he's like, the grandfather of esolangs? 01:10:07 he invented the esolang after all. 01:10:21 Did he really? 01:10:28 Doesn't that belong to the FALSE guy? 01:11:15 `` egrep -r '[^b] invented' wisdom | tail -n+5 01:11:17 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:55 `? nitia 01:11:57 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:12:40 so many nontanebventions 01:14:24 -!- Ox0dea has left ("WeeChat 1.4-dev"). 01:22:47 -!- boily has quit (Quit: RAINBOW CHICKEN). 01:39:39 `? category 01:39:40 A category is just a category object in the category of classes. 01:39:55 `culprits wisdom/category 01:39:59 tswett int-e ais523 shachaf elliott oerjan elliott Bike FreeFull oerjan oerjan elliott oerjan FreeFull shachaf shachaf nitia 01:41:31 `? category theory 01:41:33 In category theory, category theory is a theory in the category of theories. 01:42:59 I was expecting it to randomly select a subset of countries. <-- :( 01:45:30 -!- variable has quit (Ping timeout: 260 seconds). 01:45:38 `le/rn category/A category is an enriched category where the enriching category is the category of classes. 01:45:42 Learned «category» 01:45:53 `? monoid 01:45:54 Monoids are just the easy version of categories with a single object. 01:46:06 `? monoids 01:46:07 Monoids are just the easy version of categories with a single object. 01:46:10 Hmm. 01:46:24 `file wisdom/monoids 01:46:25 wisdom/monoids: ERROR: cannot open `wisdom/monoids' (No such file or directory) 01:46:31 `? monoides 01:46:32 monoides? ¯\(°​_o)/¯ 01:46:39 ! 01:46:44 `culprits wisdom/monoids 01:46:46 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 that sentence makes no sense 01:47:18 This is true. 01:47:26 "categories with a single object" isn't the thing that monoids are the easy version of 01:47:27 I'm gonna fix it. 01:48:02 oerjan: this is like the algorithm thing 01:48:05 -!- adu has quit (Quit: adu). 01:48:12 you can't just mix two wisdoms and hope for an improved combined wisdom 01:48:54 `wisdom 01:48:55 itidus20/itidus20's entry has been censored. 01:49:01 `wisdom 01:49:03 substructural typing/Not to be confused with structural subtyping. 01:49:14 hmm, how to combine those 01:49:39 "itidus20/itidus20 was confused about structural subtyping, but [CENSORED]" 01:49:47 it's not that funny but neither were the originals 01:49:57 `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:49:58 No output. 01:50:10 -!- adu has joined. 01:50:13 that's even worse 01:50:25 Your turn. 01:50:34 By the way, what's your opinion on this? 01:50:35 `? rust 01:50:36 Rust is C++ as designed by the makers of Haskell. 01:50:46 i was happy with the way it was 01:51:04 You preferred wisdom/monoid immediately before I changed it just now? 01:51:32 I preferred it before oerjan merged them. 01:51:47 A month ago, apparently. 01:52:34 Well then. 01:52:48 `le/rn monoid/A monoid is the easy version of a category. 01:52:51 Learned «monoid» 01:52:57 `le/rn monoids/Monoids are categories with single objects. 01:53:00 Learned «monoids» 01:53:06 Rather. 01:53:10 `le/rn monoids/Monoids are just categories with single objects. 01:53:13 Learned «monoids» 01:53:20 whoa whoa whoa 01:53:28 i was hoping to get some input from oerjan 01:53:35 not just to mess his thing up 01:53:41 we gotta form a committee 01:54:21 `mkcommittee 01:54:22 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: mkcommittee: not found 01:54:34 What? What sort of Unix-like environment doesn't have mkcommittee? 01:54:56 This isn't very welcoming. I'm feeling underwelcomed. 01:55:05 I need some way to compensate for this feeling of underwelcome. 01:55:10 `autowelcome on 01:55:11 Autowelcome enabled. 01:55:20 Yes. Yes. Most wonderful. 01:55:27 `cat bin/autowelcome 01:55:28 ​[ "$1" == "on" ] && echo 'Autowelcome enabled.' || echo 'Autowelcome disabled.' 01:55:34 hmm 01:55:42 that script looks a lot like it doesn't do anything but print a message 01:56:49 `` ls wisdom/Mon* 01:56:50 ls: cannot access wisdom/Mon*: No such file or directory 01:56:55 `` ls wisdom/mon* 01:56:56 wisdom/monad \ wisdom/monads \ wisdom/monoid \ wisdom/monoidal category \ wisdom/monoids \ wisdom/monqy 01:57:03 oerjan: i already checked, it's not there hth 01:57:28 ah. 01:57:28 otherwise it would've printed "learnt «foo»" or something 01:57:34 fancy 01:58:22 ais523: _sometimes_ you're a bit captain obvious hth 01:58:57 wait that sounded all wrong. 02:00:15 ais523: i'm sure it would do something if it were possible to get HackEgo to do that something. 02:00:21 which it isn't. 02:01:05 `cat bin/le/rn 02:01:06 cat: bin/le/rn: No such file or directory 02:01:25 wait, how does that even work. 02:01:44 `` ls bin/le* 02:01:45 bin/learn \ bin/learn_append \ bin/learn_append2 02:01:50 AAAAAAAAAA 02:02:03 hm... 02:02:04 MWAHAHAHA 02:02:28 oh hm 02:02:32 `` ls le/rn 02:02:33 le/rn 02:02:38 `cat le/rn 02:02:39 ​#!/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:45 `` ls -l le/rn 02:02:47 lrwxrwxrwx 1 5000 0 17 Jun 5 04:35 le/rn -> ../bin/slashlearn 02:03:00 mk is better 02:03:02 `` cat bin/mk 02:03:03 ​[[ "$1" == ?*//* ]] || exit 1; key="${1%%//*}"; value="${1#*//}"; echo "$value" > "$key" && echo "$key" 02:04:50 -!- ent0nces has quit. 02:08:37 is that obfuscated bash? 02:08:41 `mk wisdom/`mk//Everything's better with `mk. 02:08:43 wisdom/`mk 02:09:23 ais523: i don't see what's obfuscated about it 02:09:26 it uses a ton of operators that are rarely used, and is very punctuation-heavy as a result 02:09:44 even something like "?*//*" severely strains my mental parser 02:09:50 heh 02:10:16 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 ais523: All I wanted to do was split a string on the first occurrence of // 02:10:48 what's the question mark for? 02:11:35 `mk ///////////// 02:11:36 ​/hackenv/bin/mk: line 1: : No such file or directory 02:11:38 Making sure the first part isn't empty. 02:11:54 shachaf: i found a loophole in that hth 02:11:55 As oerjan points out, it doesn't work very well. 02:12:08 improvements are welcome twh 02:12:23 i don't think you can use the loophole for anything, though 02:12:40 I don't think the check is even strictly necessary. 02:12:56 `` echo "blah" > ""; echo $? 02:12:57 bash: : No such file or directory \ 1 02:13:32 istr you discussed empty filenames the other day, and POSIX forbids them 02:14:19 idrt 02:14:24 idnrt, rather 02:14:37 * oerjan somehow wants a better pronoun there. something that means, "we, but not me, and possibly not you (singular) either" 02:14:48 ah 02:14:59 y'all? 02:15:06 maybe 02:15:16 exclusive y'all :P 02:15:37 it's not exclusive, is it? 02:16:53 y'all includes all 02:17:30 we do? 02:18:05 no, it does hth 02:19:43 in another channel there was a swatworthy moment discussing the phrase "all that glitters is not gold" 02:19:49 it's a pity you weren't there 02:20:16 a missed golden opportunity, for sure 02:35:56 -!- shikhin has joined. 02:39:27 -!- adu has quit (Quit: adu). 03:04:24 POSTSCRIPT ENGLISH 03:06:02 face man 's kick; 03:06:10 (Kick man's face) 03:07:50 -!- ^v has quit (Quit: Leaving). 03:08:31 -!- ^v has joined. 03:17:55 <\oren\> RRRRR 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 [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 [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 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 ...I don't think that's what they mean by "sequence alignment" 09:13:20 well isn't "evil merge" an established git phrase? I took the opposite, then intensified it 09:13:39 (I assume a merge with conflicts, in which the merge-conflict-fixing is obvious and benign, would be chaotic good) 09:14:39 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:40 ooh I like that 09:15:57 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 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 ais523: what would chaotic and lawful neutral be? 09:23:02 lawful neutral is an extra commit just after the merge, that does nothing but delete trailing whitespace 09:23:10 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 "Deconstructed Salad-Smoked Salmon" what does that even mean 09:55:38 Ohh, it's "Deconstructed salad: smoked salmon, something else, more stuff." 09:56:01 I still don't know exactly what it means, but at least it's more plausible. 09:58:52 clearly you set the salad on fire and use it to smoke the salmon 09:59:14 (yesterday I had a meal I haven't had in over 10 years: chicken mayo and lettuice toastie) 09:59:29 (I ordered it by mistake once and discovered I rather liked it, despite the fact that people rarely toast lettuice) 09:59:42 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 A deconstructed salad was just a thing where you have the ingredients for a salad in different containers. 10:27:17 Although I have a feeling they never were in a salad together at any point in time. 10:27:50 idea: a salad sorting machine, which you put a salad in and it sorts out the individual ingredients 10:28:05 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 (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 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 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:03 `mk 11:07:04 No output. 11:07:10 `` cat bin/mk 11:07:12 ​[[ "$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:24 @metar FTTJ 11:26:25 FTTJ 221100Z 07008KT 030V110 CAVOK 38/03 Q1010 NOSIG 11:27:14 @metar FEFF 11:27:15 FEFF 221100Z VRB02KT 8000 SCT026 32/22 Q1011 NOSIG 11:27:38 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 >30? That's crazy-talk. 11:43:18 @metar EGLL 11:43:18 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:14 cold, fizzie? 13:15:23 -!- shikhin has quit (Ping timeout: 252 seconds). 13:17:22 apparently that 30+ was africa? boily must be cold too 13:18:54 @metar lowi 13:18:55 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 https://www.reddit.com/r/befunge/ was this necessary, I wonder 14:08:18 -!- MDream has joined. 14:12:57 no, reddit wasn't necessary 14:13:36 but it's a minor nuisance compared to facebook and twitter ;) 14:25:02 -!- `^_^v has joined. 14:29:16 who is okflo 14:31:40 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 Does someone have a vServer with CGI Support :)? 14:42:27 @tell mauris: Yeah en is different than pythons [::a], but I just commented on that codegolf post and included some workarounds 14:42:27 Consider it noted. 14:43:53 did it post that to mauris or mauris:? 14:43:58 @tell mauris Yeah en is different than pythons [::a], but I just commented on that codegolf post and included some workarounds 14:43:58 Consider it noted. 14:44:01 just to be sure :D 14:44:37 @tell mauris There's 7mo14.+?i1+] but I found a better way today which is by using co: 100ro7co)-] 14:44:37 Consider it noted. 14:45:07 @tell mauris generally slicing as in [::a] can be done by doing a co)-] 14:45:07 Consider it noted. 14:46:59 how can you have a vserver without cgi support? 14:47:19 I mean, aren't you supposed to be root on those things? 14:47:59 I don't have a vServer anymore I'm afraid. 14:48:47 and 7bc0R@?*15.+?i is probably my worst attempt at the problem :D 14:51:20 anyway, what are you trying to do? 14:51:44 @tell mauris Well actually 1{7?+}14!C is even shorter. (If you output the numbers) 14:51:45 Consider it noted. 14:51:56 int-e: Trying to host the burlesque online shell again :D 14:52:08 so people can use Burlesque again without installing it locally 14:52:35 and I don't think haskell2javascript is advanced enough for that to work 14:52:59 so the easiest option is through CGI like I did in the past. 14:53:11 are you sure, i hear ghcjs is pretty impressive these days 14:53:31 No, I just haven't heard any good things about it lately 14:53:44 what was that language someone made that was based on programming by example 14:53:54 oh nvm 14:53:56 found it 14:54:04 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 (this one, http://104.167.104.168/) 14:54:23 also 14:54:26 -!- nycs has joined. 14:54:38 doesn't ghcjs require some backend server running as well? 14:54:44 like node.js or something? 14:54:57 i don't know how it works 14:55:05 yeah me neither :( 14:55:23 except that it supports most of ghc haskell and can even install cabal packages 14:55:24 int-e: I guess that could be awesome. 14:55:40 can you set limits on that account? 14:55:44 like ram/cpu usage 14:55:54 because somebody could easily try to run a script that consumes 4GB of memory ;) 14:56:10 I had configured limits through apache 14:56:12 -!- MoALTz_ has joined. 14:56:36 shouldn't be hard 14:56:48 -!- `^_^v has quit (Ping timeout: 250 seconds). 14:58:12 -!- ocharles___ has joined. 14:58:54 -!- tromp has joined. 14:58:56 Well that depends :) 14:59:32 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 int-e: Ah, the NoCloudAtAnyCost provider. 15:00:14 -!- perrier_ has joined. 15:00:15 fizzie: is hackego still running on one of those? 15:01:12 -!- puck1pedia has joined. 15:03:25 I can't even access error logs on my server 15:03:30 in case I mess up a .htacess or something 15:03:32 :D 15:03:36 I have so fucking limited access :( 15:04:07 int-e: Yes. 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 [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:33:41 Infix stack-based language 16:33:50 The SYA is run on the source prior to execution 16:35:14 b_jonas: Hi? 16:35:27 -!- aretecode has joined. 16:37:00 Hi aretecode! 16:40:34 Do Stack-Oriented Languages have a `while` loop? 16:41:06 argh 16:41:11 hppavilion[1]: hello 16:41:22 :) 16:41:37 How's it going? 16:44:40 They don't need too, but neither do register-oriented languages. 16:45:43 Huh 16:46:07 -!- adu has joined. 16:46:16 What I mean is, what stack-based alnguage do you mean specifically? 16:46:20 -!- MDream has changed nick to MDude. 16:46:22 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 argh. I'm blaming the compiler now. 16:46:31 I know stack languages can have loops. 16:46:43 They definitely have FOR loops; that's easy 16:47:00 They pop a couple variables and an anonymous function 16:47:09 (or nonymous function if the language allows) 16:47:25 A FOR loop can be seen as a while loop in which the loop control variable is only modified when ti is checked. 16:47:38 Oh yeah! 16:48:09 You can do something like for(i=0;False;i++;) {...} 16:48:14 (I think that works) 16:48:39 (The second argument to for can be any boolean value or thing returning a boolean value, if it's designed correctly) 16:48:43 The only stack-ased language I've learned to any great extent is IBNIZ. 16:49:54 I don't know wbout non-esoteric ones as much, but I'm pretty sure Forth has while loops. 16:49:57 And Factor. 16:51:51 You can also get TCness with gotos, subtroutines, or functions. 16:52:23 Though the first one is seen as undesired outside of assembly coding. 16:54:12 I think that my design for Wbye could support WHILE loops 16:54:22 And k-loops 16:54:42 What is the heirarchy of control flow structures? 16:54:57 At the root, the primitives, is GOTO-IF 16:55:02 hppavilion[1]: first: False actually doesn't make sense. second: nothingnis also valid in most languages 16:55:20 myname: How does it not make sense? 16:55:28 Oh right! 16:55:33 It should be `True`! 16:55:41 yeah 16:55:42 Forgot how that kind of for-loop works xD 16:55:53 Python, sadly, only supports foreach 16:56:11 but for(;;) is a valid endless loop most of the time 16:56:21 myname: I knew that xD 16:56:38 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:42 That's my heirarchy 16:56:46 so why not for(i=0;;i++) 16:56:56 More of a linked list than a heirarchy 16:57:03 myname: Fair enough. I'm not very good at C. 16:57:04 GTG 16:57:25 for(i=0;;i++) would take up a whole variable for no reason. 16:57:41 -!- ent0nces has joined. 16:57:46 yeah, so just (;;) is fine 16:57:48 If numbers are bignum by default, it's even an unbounded memory leak. 16:58:02 I'm back, for a short time 16:58:08 (Classes just started for me) 16:58:47 If i is signed, for(i=0;;i++); is undefined. 16:58:48 myname: Oh! I know why I did that! 16:59:04 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:17 s/variables/arguments/ 16:59:31 Because I was discussing `while` in an SBL. 16:59:31 -!- ent0nces_ has joined. 16:59:46 I still got the `False` wrong, though. 17:00:37 Stack based languages use a secondary stack to manage loops. 17:01:00 MDude: But a Stack-based FOR loop still gets its arguments from the main stack, iirc 17:01:04 Or they useone for FOR loops anyway. 17:01:14 True 17:01:31 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 Forth has "uncounted" loops -- `BEGIN ... test WHILE ... REPEAT`, `BEGIN ... test UNTIL` and `BEGIN ... AGAIN` -- and counted loops -- `limit start DO ... LOOP`. 17:02:49 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 I was confused earlier because there's a stack based programming language named FALSE which does in fact make sense. 17:06:31 well 17:06:41 enough burlesque'ing on codegolf.stackexchange.com for today 17:07:18 MDude: they don't. 17:07:21 well... maybe some do 17:07:36 but the ones I know use the same stack for that. 17:07:41 -!- hppavilion[1] has quit (Ping timeout: 256 seconds). 17:08:06 bye 17:08:25 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 Gforth at least does it that way. 17:09:43 -!- mroman has quit (Quit: 12XX^pq.*10C!). 17:10:22 How does that work 17:13:07 By... pushing a thing on the data stack? 17:13:57 So you can pop the return location? 17:15:50 No, that would be the return stack. 17:17:19 -!- gamemanj has quit (Read error: Connection reset by peer). 17:17:22 Ah 17:18:27 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 "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 Well, that seems to be quite definite. But my empirical tests did not make it look like that's the case. 17:20:29 It certainly looks like it's the return stack they're using. 17:21:47 -!- hppavilion[1] has joined. 17:21:51 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 it's nice that tlmgr update --all only updates the packages but not tlmgr itself 17:58:40 an you need --self 17:59:10 so --all is more like --almost-all 18:00:49 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 i use texlive, but the package manager of my distribution should handle that 18:17:52 infix stack commands. 18:17:55 Seriously. 18:18:27 "walrus":3 -> stack["walrus" "walrus" "walrus"] 18:18:40 Not the best design, but it works 18:18:52 Kind of. Don't know if it's anywhere close to TC. 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 [wiki] [[ArbourDB]] N http://esolangs.org/w/index.php?oldid=44825 * Hppavilion1 * (+247) Created Page 18:37:38 I want to make a CSV-based funge designed for actual usability and potential serious usage 18:37:48 The IDE would be a spreadsheet software xD 18:38:28 funge is perfectly usable 18:38:51 hppavilion[1]: so like y/;//d when loading the program? 18:39:03 or whatever separator you use 18:39:07 maybe y/\t//d 18:39:34 No clue 18:40:03 I don't really know how CSV works. 18:40:17 Though based on the name, I can guess it's fairly simple 18:40:23 well, characger seperated values 18:40:23 -!- mihow has joined. 18:40:29 hppavilion[1]: it depends 18:40:29 pretty much sums it up 18:40:35 I thought it was Comma Separated Values... 18:40:55 you actually don't have to use commas 18:41:01 [wiki] [[Mmmm()]] http://esolangs.org/w/index.php?diff=44826&oldid=42257 * 70.45.127.182 * (+478) 18:41:23 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:41:57 I found a csv library though, so... xD 18:42:19 (I'm starting out in Python; C(++)? implementation comes later) 18:42:36 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 [wiki] [[Mmmm()]] http://esolangs.org/w/index.php?diff=44827&oldid=44826 * 70.45.127.182 * (-478) 18:43:24 What should I call my usable Fungeoid... 18:43:48 what do you mean by "usable"? 18:44:14 myname: Something that, in a universe where I was lucky, could end up being used seriously. 18:44:18 I don't really plan on that, though. 18:44:44 why should one use it over befunge? 18:45:13 myname: It's actually readable. It allows you to push numbers anywhere in the range of a signed long integer. 18:45:28 It allows expressions that are evaluated on preprocessing. 18:46:04 Fungeoid® (Standard™ Lite™ 18:46:11 Whoops, sent that too early 18:46:14 so, you are trying to make a preprocessor and call it a language 18:46:25 myname: Well it'll also have its own stuff 18:46:37 It'll support various useful features 18:46:50 I don't really plan to sell it, I'm just bored. xD. 18:47:13 "Fungeoid® (Lite|Standard|Pro|Entereprise)™" xD. 18:47:45 There /will/ be a preprocessor of sorts though. 18:48:08 (Also, technically, a preprocessor is a language; a primitive transcompiler) 18:48:10 i am not convinced yet 18:48:24 I do not need to convince people. 18:48:41 It isn't really for usage, it's just designed to be marginally usable. 18:48:42 well yeah, basically changing brainfuck symbols to letters is a language 18:48:57 That is technically true. 18:49:11 these langiages tend to suck, though 18:49:23 It'll also have some OO if I figure that out. 18:49:34 at least it's not a BF variant 18:49:47 At least that xD 18:49:48 befunge is perfectly useable, just look at fungot 18:49:48 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 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:27 But what should I call it... 18:50:37 that will be true for whazever you are trying to do, i guess 18:50:38 SmartFunge? Profunge? 18:51:14 Meh. I'll name it later. 18:51:53 I think technically Mouse wasn't designed as an esolang 18:52:23 Thue wasn't even technically designed as an esolang, AFAIK. It was just an example in a paper. 18:52:27 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 does Befunge have an indirect jump? 18:53:33 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 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 fizzie: yes, that sense is fine 19:30:10 (There's also a j, which pops a number and jumps that * delta.) 19:33:34 fizzie: yes, that's even easier 19:34:13 How do I rotate a fungeoidal vector? 19:34:39 (by 90 degrees (or any other number, for that matter)) 19:35:35 Not vector, delta 19:38:37 (x, y) = (-y, x) etc. are the usual 90-degree rotations. 19:39:09 Ah 19:39:13 They fall out of the [cos x, -sin x; sin x, cos x] rotation matrix. 19:39:23 OK 19:39:29 as do the double angle formulae 19:39:40 that's literally the only way i can remember them 19:44:02 fizzie: Is that one for clockwise or counter-clockwise? And what's the other one? Am I asking stupid questions? 19:44:11 I don't feel like doing that much thinking right now xD 19:44:30 I think I figured out that that's the one for clockwise 19:44:31 anticlockwise 19:44:34 Oh 19:44:38 (dammit!) 19:44:41 Right, right 19:44:55 no! 19:44:59 that one's clockwise 19:45:02 Oh xD 19:45:05 fizzie, what the fuck is wrong with you 19:45:07 Were you just correcting me? 19:45:27 Phantom_Hoover: Is it? (1,2) to (-2,1)? 19:45:54 fizzie: are you thinking in screen coordinates? 19:46:11 Depends on which screen that is! 19:46:49 (0,1) to (cos, -sin) 19:46:54 ffs 19:47:01 (1,0) to (cos,-sin) 19:47:08 oh I see, the matrix didn't agree with the previous one. 19:47:09 so clockwise 19:47:36 ... 19:48:19 sorry, too many conventions at play here ... are you working with vectors? 19:48:24 meh 19:48:30 with *column* vectors? 19:48:48 column vectors, yes 19:48:52 as god intended 19:49:17 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 Did I just do that again. 19:49:58 yes you did 19:50:00 Yes. I'm going to just not say anything, I think. 19:50:31 at least you're consistent 19:50:43 i still want to get a proper mathematician's watch 19:51:03 where noon is at the right, the hands go anticlockwise and the hours are marked off in radians 19:51:04 hppavilion[1]: *Anyway*, the pair of (x, y) = (-y, x) is (x, y) = (y, -x). 19:52:02 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 (well, I know that a pair is a 2-tuple, but I don't know what it is in /this/ context) 19:52:55 inverse? 19:53:03 * int-e is confused as well. 19:55:06 I added the cardinal directions to what I'm calling Profunge. 19:55:13 Should I add non-cardinal directions? 19:55:22 (Northwest, etc.) 19:55:31 hmm... non-cardinal... omega + 1 19:55:36 xD 19:55:53 I mean like the secondary ones, the ones at 45 degree angles from the cardinals xD 19:56:03 (Though you obviously understood what I meant...) 19:56:25 skip those and add knight moves 19:56:52 How about no xD 19:56:59 Those'll be in a library. 19:57:01 xD. 19:58:21 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 Should I include tradtional single-character stack manipulation commands? 20:24:53 e.g. $=DROP, \=SWAP, :=DUP 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 Sometimes, the text/plain half of a multipart/alternative messages can be rather different than the HTML part. 21:05:35 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:05:45 w 21:28:14 -!- Greg__ has joined. 21:29:48 -!- adu has quit (Ping timeout: 255 seconds). 21:40:15 [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:00 @messages? 22:37:00 Sorry, no messages today. 22:37:53 -!- hppavilion[1] has joined. 22:38:50 We should update Befunge to Funge-98 22:39:32 In other news, I think I discovered a new (or at least seldom discussed) programming style and paradigm. 22:39:47 s/update Befunge to/create a page for/ 22:40:04 -!- bb010g has quit (Quit: Connection closed for inactivity). 22:43:02 [wiki] [[Befunge]] M http://esolangs.org/w/index.php?diff=44828&oldid=44393 * Hppavilion1 * (+61) Linked to fungeoids 22:43:56 [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:44:20 ais523: Hi. 22:44:37 hi 22:45:30 I think I'll start on the page for Funge-98 22:46:13 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 Not that they couldn't be separate either, just musing. 22:47:30 I think we should have befunge-93 and funge-98 as articles 22:47:36 and suitable redirects/disambiguations 22:52:37 [wiki] [[Funge-98]] http://esolangs.org/w/index.php?diff=44830&oldid=21000 * Hppavilion1 * (+395) Initialized page, will work on later. 22:53:12 Yay! The wiki get a disambiguation! I'm so proud of it, all grown up :,) 22:53:50 I agree with ais523; Funge-98 is /very/ different from Befunge-93 22:54:42 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 hppavilion[1]: it has a disambiguation already 22:54:50 http://esolangs.org/wiki/Clue 22:54:56 Oh. 22:54:58 xD 22:55:19 was great that two experienced esolangers just happened to pick the same name for their languages :-) 22:55:57 It's not the only one, either. 22:56:01 http://esolangs.org/wiki/Special:WhatLinksHere/Template:Disambig 22:56:07 Clue, Onecode, Gibberish. 22:57:18 [wiki] [[Befunge]] M http://esolangs.org/w/index.php?diff=44831&oldid=44829 * Hppavilion1 * (+0) /* History */ Fixed/repurposed a link. 22:58:54 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:06 (Profunge is a working name) 22:59:58 hppavilion[1]: Befunge-98 is already seriously usable 23:00:03 fungot: demonstrate for me 23:00:03 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 I don't think this is the best style for demonstrations. 23:00:35 ais523: Technically, yes. However, it'll never get taken seriously, as it was made as an esolang. 23:00:45 Also, it's a pain in the ass to read. 23:01:32 -!- Wright has joined. 23:01:36 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 ais523: I don't really mean for it to be used xD. That's why I said "Technically". 23:03:09 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.