< 1602116078 397966 :int-e!~noone@int-e.eu PRIVMSG #esoteric :wtf is the rationale for renewing SSL certifcates twice a day (certbot default) < 1602116125 96617 :Frankenlime!nchambers@learnprogramming/staff/nchambers PRIVMSG #esoteric :i gave up on certbot because it was always confusing and never worked for me < 1602116143 150580 :Frankenlime!nchambers@learnprogramming/staff/nchambers PRIVMSG #esoteric :im not normally a fan of tools made out of shellscripts but dehydrated works so great, especially with dns auth < 1602116183 383655 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :int-e: It doesn't renew twice a day. Or it shouldn't, anyway. < 1602116198 231887 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :int-e: It *runs* twice a day, but only renews when there's less than 30 days remaining. < 1602116212 57528 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Oh. Hmm. < 1602116226 562312 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Right, that makes more sense. < 1602116257 487954 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Frankenlime: I've used acme-tiny before. < 1602116271 124261 :Frankenlime!nchambers@learnprogramming/staff/nchambers PRIVMSG #esoteric :acme-tiny seemed nice < 1602116294 475273 :Frankenlime!nchambers@learnprogramming/staff/nchambers PRIVMSG #esoteric :i've used acme.sh at work too and its not terrible (although only used it for web auth) < 1602116338 4720 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Yeah I only need web auth anyway, so far. < 1602116382 778450 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I'm using `certbot certonly --config ... --force-renewal` to basically just use certbot as a plain client (with DNS auth), it seems to work. < 1602116423 348753 :int-e!~noone@int-e.eu PRIVMSG #esoteric :But this time I decided to experience the hammer that is certbot. < 1602116450 130801 :Frankenlime!nchambers@learnprogramming/staff/nchambers PRIVMSG #esoteric :see certonly and renew (or run?) differences always confused me < 1602116459 93698 :Frankenlime!nchambers@learnprogramming/staff/nchambers PRIVMSG #esoteric :although to be fair i do get confused easily < 1602116508 630842 :int-e!~noone@int-e.eu PRIVMSG #esoteric :fizzie: thanks. < 1602116523 741899 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :AIUI, the 'certonly' part means "just do the stuff related to acquiring certificates, don't try to touch the servers that use the certificate", which is what I want out of it. < 1602116534 228213 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(It won't have permissions to do any other actions anyway.) < 1602116539 338072 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I only looked at the systemd timer and jumped to conclusions. < 1602116553 577323 :sftp!~sftp@unaffiliated/sftp JOIN :#esoteric < 1602116554 228579 :Frankenlime!nchambers@learnprogramming/staff/nchambers PRIVMSG #esoteric :oh well, i got it all working in ansible and haven't bothered touching it since < 1602117541 584897 :sftp!~sftp@unaffiliated/sftp QUIT :Ping timeout: 258 seconds < 1602119628 381584 :sftp!~sftp@unaffiliated/sftp JOIN :#esoteric > 1602121989 40697 PRIVMSG #esoteric :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=77874&oldid=77853 5* 03Vpzom 5* (+72) 10 > 1602122317 847323 PRIVMSG #esoteric :14[[07Four14]]4 N10 02https://esolangs.org/w/index.php?oldid=77875 5* 03Vpzom 5* (+2759) 10Created page with "{{infobox proglang |name=Four |paradigms=[[:Category:Functional paradigm|Functional]] |author=[[user:Vpzom|vpzom]] |majorimpl=https://git.vpzom.click/vpzom/four |files=...." > 1602122471 781750 PRIVMSG #esoteric :14[[07Four14]]4 10 02https://esolangs.org/w/index.php?diff=77876&oldid=77875 5* 03Vpzom 5* (+30) 10 < 1602123453 103494 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Quit: brb < 1602124154 814385 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1602124436 887870 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net JOIN :#esoteric < 1602126431 543495 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net QUIT :Quit: adu < 1602127836 394886 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net JOIN :#esoteric < 1602133239 939354 :MDude!~MDude@71.50.47.112 QUIT :Quit: Going offline, see ya! (www.adiirc.com) < 1602133447 562942 :spruit11!~unknown@86.82.44.193 QUIT :Ping timeout: 240 seconds < 1602135921 985059 :spruit11!~unknown@86-82-44-193.fixed.kpn.net JOIN :#esoteric < 1602137766 555363 :arseniiv!~arseniiv@136.169.204.164 JOIN :#esoteric < 1602137987 17414 :lignus!c1219483@193.33.148.131 JOIN :#esoteric < 1602138275 85975 :Sgeo_!~Sgeo@ool-18b982ad.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1602138930 283893 :wmww!wmwwmatrix@gateway/shell/matrix.org/x-eiyxxywvqrhrlwzu QUIT :Quit: killed < 1602138942 275423 :tswett[m]!tswettmatr@gateway/shell/matrix.org/x-nlnefirjujlgtqsw QUIT :Quit: killed < 1602138946 107475 :Discordian[m]!discordi1@gateway/shell/matrix.org/x-nvjyzqcbttqjsdfi QUIT :Quit: killed < 1602139456 24919 :tswett[m]!tswettmatr@gateway/shell/matrix.org/x-xysbefdultvkpnah JOIN :#esoteric < 1602139978 920501 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 256 seconds < 1602140965 285592 :wmww!wmwwmatrix@gateway/shell/matrix.org/x-nccotfayvqcthcii JOIN :#esoteric < 1602140971 445848 :iscordian[m]!discordi1@gateway/shell/matrix.org/x-npsqkpnahstroizz JOIN :#esoteric < 1602141333 38658 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net QUIT :Quit: adu < 1602141531 271465 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 260 seconds < 1602141801 47863 :iscordian[m]!discordi1@gateway/shell/matrix.org/x-npsqkpnahstroizz NICK :Discordian[m] < 1602142382 578707 :arseniiv!~arseniiv@136.169.204.164 QUIT :*.net *.split < 1602142382 811281 :b_jonas!~x@catv-176-63-12-99.catv.broadband.hu QUIT :*.net *.split < 1602142382 945540 :izabera!izabera@unaffiliated/izabera QUIT :*.net *.split < 1602142382 945616 :paul2520!~paul2520@unaffiliated/paul2520 QUIT :*.net *.split < 1602142407 973504 :arseniiv!~arseniiv@136.169.204.164 JOIN :#esoteric < 1602142713 541122 :b_jonas!~x@catv-176-63-12-99.catv.broadband.hu JOIN :#esoteric < 1602142713 541172 :izabera!izabera@unaffiliated/izabera JOIN :#esoteric < 1602142713 541180 :paul2520!~paul2520@unaffiliated/paul2520 JOIN :#esoteric < 1602144000 214789 :cpressey!~cpressey@79-72-202-104.dynamic.dsl.as9105.com JOIN :#esoteric < 1602144059 453773 :lignus!c1219483@193.33.148.131 QUIT :Remote host closed the connection < 1602144514 826130 :hendursa1!~weechat@gateway/tor-sasl/hendursaga JOIN :#esoteric < 1602144643 817482 :hendursaga!~weechat@gateway/tor-sasl/hendursaga QUIT :Ping timeout: 240 seconds > 1602144714 896643 PRIVMSG #esoteric :14[[07User:RubenVerg14]]4 N10 02https://esolangs.org/w/index.php?oldid=77877 5* 03RubenVerg 5* (+6) 10Created page with "hello!" < 1602149154 74306 :ProofTechnique!sid79547@gateway/web/irccloud.com/x-kqyovfdcbjptkkuq QUIT :Ping timeout: 260 seconds < 1602149314 538126 :ProofTechnique!sid79547@gateway/web/irccloud.com/x-hfhkxxflhnjauuaj JOIN :#esoteric < 1602149427 28277 :t20kdc!~20kdc@cpc139384-aztw33-2-0-cust220.18-1.cable.virginm.net JOIN :#esoteric < 1602151634 477983 :sftp!~sftp@unaffiliated/sftp QUIT :Ping timeout: 272 seconds < 1602151917 248307 :sftp!~sftp@unaffiliated/sftp JOIN :#esoteric < 1602152394 580919 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :Is there a theorem that for every positive natural, n, the Fibonacci sequence contains infinitely many integer multiples of n? < 1602153295 524217 :cpressey!~cpressey@79-72-202-104.dynamic.dsl.as9105.com PRIVMSG #esoteric :https://en.wikipedia.org/wiki/Fibonacci_number says "If the members of the Fibonacci sequence are taken mod n, the resulting sequence is periodic with period at most 6n." -- is that equivalent? < 1602153360 356117 :cpressey!~cpressey@79-72-202-104.dynamic.dsl.as9105.com PRIVMSG #esoteric :I guess it's not quite equivalent, because every 6th positive natural != every positive natural < 1602153382 78663 :cpressey!~cpressey@79-72-202-104.dynamic.dsl.as9105.com PRIVMSG #esoteric :Closest I could find on that page though < 1602153400 261108 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Note that F_0 = 0 is divisible by n. So together with periodicity modulo n you get what you want. < 1602153494 610010 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I have not seen that 6n claim before, interesting. < 1602153597 215577 :cpressey!~cpressey@79-72-202-104.dynamic.dsl.as9105.com PRIVMSG #esoteric :Also, simply saying "periodic" doesn't imply that F_i mod n = 0 at any time, so far as I'm aware, so, I'm not so sure < 1602153638 449943 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Periodicity is rather obvious though; there are n^2 possible pairs of consecutive remainders in the sequence, so it's ultimately periodic. But you can also reconstruct the whole sequence from any pair (computing F_n from F_(n+1) and F_(n+2)), so it's fully periodic < 1602153670 122948 :int-e!~noone@int-e.eu PRIVMSG #esoteric :i=0 works. < 1602153886 430623 :int-e!~noone@int-e.eu PRIVMSG #esoteric :There's also the related fact that F_n | F_(nk) for all integers n, k. < 1602153894 440540 :cpressey!~cpressey@79-72-202-104.dynamic.dsl.as9105.com PRIVMSG #esoteric :Yeah OK, I see how F_0 = 0 implies it F_i mod n = 0 for some i, if it's periodic < 1602153963 124315 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I'm not sure I followed that periodicity argument, why does having n^2 possible pairs of consecutive remainders mean it's ultimately periodic? < 1602154045 296779 :int-e!~noone@int-e.eu PRIVMSG #esoteric :fizzie: because you can look at the sequence of pairs FF_n = (F_n, F_(n+1)) and note that there's a relation FF_(n+1) = f(FF_n), to which the standard argument applies. < 1602154074 392282 :int-e!~noone@int-e.eu PRIVMSG #esoteric :f((x,y)) = (y,x+y) < 1602154113 883382 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(and f is invertible over any ring) < 1602154165 877008 :int-e!~noone@int-e.eu PRIVMSG #esoteric :But the 6n bound is interesting, because from that idea, you only get an n^2 bound. < 1602154478 294334 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(the "standard element" is that by the pigeon-hole principle, *some* element must repeat, and from that point onward, all the elements must repeat because that single element determines all its successors.) < 1602154526 137583 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(and, if f() is invertible, the predecessors as well, giving full periodicity rather than just ultimate periodicity.) < 1602156102 827964 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Oh, that's a clever use of the Frobenius automorphism. (https://en.wikipedia.org/wiki/Pisano_period#Properties near the end of the section.) < 1602156430 366840 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(and that is the main reason why we don't get near the naive n^2 bound) < 1602156654 875415 :int-e!~noone@int-e.eu PRIVMSG #esoteric :"Any prime p providing a counterexample would necessarily be a Wall-Sun-Sun prime, and such primes are also conjectured not to exist." < 1602156657 835735 :int-e!~noone@int-e.eu PRIVMSG #esoteric :"In number theory, a Wall–Sun–Sun prime or Fibonacci–Wieferich prime is a certain kind of prime number which is conjectured to exist, although none are known." < 1602156666 600648 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Source: Wikipedia :-) < 1602156960 904356 :cpressey!~cpressey@79-72-202-104.dynamic.dsl.as9105.com PRIVMSG #esoteric :Which is not actually a contradiction, if there really are two different mathematicians making two different conjecturs on the existence of these things < 1602156967 470579 :cpressey!~cpressey@79-72-202-104.dynamic.dsl.as9105.com PRIVMSG #esoteric :But, it does seem a bit unlikely < 1602157960 325971 :cpressey!~cpressey@79-72-202-104.dynamic.dsl.as9105.com PRIVMSG #esoteric :In other news, I think I now see why MonadPrompt and Operational use GADTs. < 1602157987 958835 :cpressey!~cpressey@79-72-202-104.dynamic.dsl.as9105.com PRIVMSG #esoteric ::t (>>=) < 1602157989 501725 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Monad m => m a -> (a -> m b) -> m b < 1602158160 686276 :cpressey!~cpressey@79-72-202-104.dynamic.dsl.as9105.com PRIVMSG #esoteric :The GADT gives you an existential type that can be used for b. If you don't have that, you don't have anything you can use for b. < 1602158273 340982 :cpressey!~cpressey@79-72-202-104.dynamic.dsl.as9105.com PRIVMSG #esoteric :(That I can see.) < 1602158498 382665 :cpressey!~cpressey@79-72-202-104.dynamic.dsl.as9105.com PRIVMSG #esoteric :Mmmmmmaybe you could put both a and b in the ADT, like data Program instr a b = ...; I've tried it but I haven't been successful at it, and the error messages aren't very encouraging. < 1602158503 339702 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Yeah, if you have a constructor of type a -> Foo b in your GADT, then that corresponds to a monadic operation a -> m b. < 1602158740 37950 :int-e!~noone@int-e.eu PRIVMSG #esoteric :There's a weird existential data F g x = F (forall a. (g a, a -> x)) type that a GADT g into a functor F g that can be used for making a free monad. < 1602158767 780360 :cpressey!~cpressey@79-72-202-104.dynamic.dsl.as9105.com PRIVMSG #esoteric :Yeah, I'll need to check out how Free works at some point too I reckon. < 1602158773 784295 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Which I guess is nicer in theory, but as a programmer, I find the GADT describing an interface very appealing. < 1602158776 419518 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Do you mean with forall outside the F? < 1602158787 642232 :cpressey!~cpressey@79-72-202-104.dynamic.dsl.as9105.com QUIT :Quit: Lunch < 1602158793 401184 :int-e!~noone@int-e.eu PRIVMSG #esoteric :shachaf: Uhm. Yes. < 1602158808 658215 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I should've used GADT syntax :P < 1602158824 909575 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I think that type is pretty natural. < 1602158831 566336 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Uh, in the non-formal sense of the word. < 1602158855 532518 :int-e!~noone@int-e.eu PRIVMSG #esoteric :So, properly: data F g x = forall a. F (g a) (a -> x) < 1602158878 781901 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Sure. Or Coyoneda f a = exists x. (f x, x -> a) < 1602158881 921994 :int-e!~noone@int-e.eu PRIVMSG #esoteric :So, properly: data F g a = forall r. F (g r) (r -> a) -- hmm Cont-style naming seems better. < 1602158907 818549 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I tend to call the universal one r (for "return" or "result" or something) and the existential one x. < 1602158916 292996 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But for sure the one on the outside should be called a. < 1602158917 613435 :int-e!~noone@int-e.eu PRIVMSG #esoteric :But nope, I don't find it natural at all. < 1602158942 996886 :int-e!~noone@int-e.eu PRIVMSG #esoteric :But r is a result type here as well :P < 1602158961 92478 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :OK, imagine you had a type for which fmap was very expensive, so you wanted to minimize fmaps. < 1602158985 985964 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The functor laws tell you that instead of fmap f (fmap g x), you can write fmap (f.g) x < 1602158994 708493 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Yeah I've seen that. < 1602159003 566405 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :OK, maybe I'm just saying obvious things here. < 1602159031 557661 :int-e!~noone@int-e.eu PRIVMSG #esoteric :But it's a far stretch from having seen something, and kind of understanding it, to finding it natural. < 1602159049 533539 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :An alternative thing you can say is that this thing is the free functor on a type constructor, but I bet that wouldn't strike a chord with you. < 1602159063 100573 :int-e!~noone@int-e.eu PRIVMSG #esoteric :You're making it worse. < 1602159069 298652 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I figured. < 1602159089 380692 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You can also use the dual: newtype Yoneda f a = Yoneda (forall r. (a -> r) -> f r) < 1602159116 848974 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But I find that one less intuitive, just because CPSy things are more complicated. < 1602159127 505090 :int-e!~noone@int-e.eu PRIVMSG #esoteric :The way I deal with category theory is to translate it back to something more concrete. < 1602159162 65116 :int-e!~noone@int-e.eu PRIVMSG #esoteric :The deeper you go into category theory, the more work I have to do translating it back. At some point, I get lost. :P < 1602159180 132307 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Well, I'm not saying any category theory words here. Except for "free", I suppose, and "dual", and "Yoneda". < 1602159184 147737 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But you can just ignore those. < 1602159196 472939 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :OK, half of what I'm saying is category theory words. < 1602159216 783096 :int-e!~noone@int-e.eu PRIVMSG #esoteric :So yes, say CPS instead of Yoneda transform, and I'll be a bit happier. < 1602159235 489779 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I'm not calling it a Yoneda transform, I just wanted a name for the type that isn't F. < 1602160108 721846 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Yeah, I'm mixing up terms. < 1602160134 873513 :int-e!~noone@int-e.eu PRIVMSG #esoteric :And I'm not even unhappy about it :P < 1602160204 491697 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@metar koak < 1602160205 583432 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :KOAK 081153Z 28007KT 10SM OVC012 17/12 A2992 RMK AO2 SLP132 T01670122 10167 20161 56004 < 1602160272 447085 :Arcorann_!~awych@121-200-5-186.79c805.syd.nbn.aussiebb.net QUIT :Read error: Connection reset by peer < 1602162196 140816 :cpressey!~cpressey@79-72-202-104.dynamic.dsl.as9105.com JOIN :#esoteric < 1602162500 432147 :cpressey!~cpressey@79-72-202-104.dynamic.dsl.as9105.com PRIVMSG #esoteric : Mmmmmmaybe you could put both a and b in the ADT, like data Program instr a b = ...; <-- I think I actually got this to work! < 1602162675 650932 :hendursa1!~weechat@gateway/tor-sasl/hendursaga QUIT :Quit: hendursa1 < 1602162691 792460 :hendursaga!~weechat@gateway/tor-sasl/hendursaga JOIN :#esoteric < 1602162725 263516 :cpressey!~cpressey@79-72-202-104.dynamic.dsl.as9105.com PRIVMSG #esoteric :All the instructions have to "return" the same type. The type of `singleton` becomes `instr b -> Program instr b b` < 1602162841 526379 :Arcorann_!~awych@121-200-5-186.79c805.syd.nbn.aussiebb.net JOIN :#esoteric < 1602163048 710331 :cpressey!~cpressey@79-72-202-104.dynamic.dsl.as9105.com PRIVMSG #esoteric :This is exciting! I'm not sure why, but it is. To me. < 1602163139 107498 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net JOIN :#esoteric < 1602163234 760406 :cpressey!~cpressey@79-72-202-104.dynamic.dsl.as9105.com PRIVMSG #esoteric :https://gist.github.com/cpressey/2ed6aea0c8eb4fc98a5a56e574807721 < 1602163922 750903 :int-e!~noone@int-e.eu PRIVMSG #esoteric :But now `a` is baked into the type, so this is inflexible. < 1602163967 303679 :int-e!~noone@int-e.eu PRIVMSG #esoteric :You're pretty close to doing this though: https://paste.debian.net/1166344/ < 1602164007 993354 :int-e!~noone@int-e.eu PRIVMSG #esoteric :
ACTION shrugs
< 1602164103 638032 :int-e!~noone@int-e.eu PRIVMSG #esoteric :But maybe you're coming from the other direction. I have not read very far into the backlog. < 1602164478 189422 :int-e!~noone@int-e.eu PRIVMSG #esoteric :cpressey: If you want to take the GADTs out of operational, you will probably end up with a free monad anyway. The functor is data StackF cnt = Push cnt | Pop Int (Int -> cnt) which can be obtained from unfolding the GADT data StackG a where Push :: Int -> StackG () | Pop :: StackG Int into Coyoneda StackG a. < 1602164572 341902 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(also using that morally, cnt ~= () -> cnt) < 1602164644 413159 :int-e!~noone@int-e.eu PRIVMSG #esoteric :But as a programmer, StackF isn't intuitive to me, whereas StackG reads like a signature for a DSL. < 1602164657 697828 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I really like the GADT version much better. < 1602164735 245123 :int-e!~noone@int-e.eu PRIVMSG #esoteric :The problem with what you currently have is that there can only ever be a single return type, namely the `a` in Program f a b. < 1602164759 376716 :cpressey!~cpressey@79-72-202-104.dynamic.dsl.as9105.com PRIVMSG #esoteric :int-e: We have different goals. < 1602165889 886496 :Sgeo!~Sgeo@ool-18b982ad.dyn.optonline.net JOIN :#esoteric < 1602166950 365561 :MDude!~MDude@71.50.47.112 JOIN :#esoteric > 1602167879 678759 PRIVMSG #esoteric :14[[07User:WhyNot?14]]4 10 02https://esolangs.org/w/index.php?diff=77878&oldid=77854 5* 03WhyNot? 5* (+84) 10 < 1602170303 874463 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net QUIT :Quit: adu < 1602170479 530068 :Arcorann_!~awych@121-200-5-186.79c805.syd.nbn.aussiebb.net QUIT :Read error: Connection reset by peer < 1602171610 967759 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net JOIN :#esoteric > 1602172116 564096 PRIVMSG #esoteric :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=77879&oldid=77874 5* 03Konfetti 5* (+134) 10 > 1602172141 443610 PRIVMSG #esoteric :14[[07Talk:RubE On Conveyor Belts/Interpreter14]]4 N10 02https://esolangs.org/w/index.php?oldid=77880 5* 03Eiim 5* (+685) 10Added two questions > 1602172180 315809 PRIVMSG #esoteric :14[[07RubE On Conveyor Belts14]]4 M10 02https://esolangs.org/w/index.php?diff=77881&oldid=64380 5* 03Eiim 5* (+4) 10noted that interpreter is C++. > 1602172448 162891 PRIVMSG #esoteric :14[[07Talk:RubE On Conveyor Belts/Interpreter14]]4 M10 02https://esolangs.org/w/index.php?diff=77882&oldid=77880 5* 03Eiim 5* (+267) 10noted program.out > 1602172590 455499 PRIVMSG #esoteric :14[[07Talk:Hell6914]]4 N10 02https://esolangs.org/w/index.php?oldid=77883 5* 03Konfetti 5* (+411) 10Created page with "I think the example is incorrect. 0x41 * 0x69 = 0x1AA9, while 0x41 * 0x45 (which is decimal 69) = 0x1185. I am not sure which version is intended by the creator. The result i..." < 1602172841 843232 :cpressey!~cpressey@79-72-202-104.dynamic.dsl.as9105.com QUIT :Quit: WeeChat 1.9.1 < 1602173158 878284 :arseniiv!~arseniiv@136.169.204.164 QUIT :Ping timeout: 256 seconds < 1602173376 319548 :t20kdc!~20kdc@cpc139384-aztw33-2-0-cust220.18-1.cable.virginm.net QUIT :Remote host closed the connection < 1602173390 882937 :t20kdc!~20kdc@cpc139384-aztw33-2-0-cust220.18-1.cable.virginm.net JOIN :#esoteric < 1602173456 671500 :arseniiv!~arseniiv@136.169.204.164 JOIN :#esoteric < 1602173733 220974 :rain1!~rain1@unaffiliated/rain1 QUIT :Quit: Leaving < 1602173872 224429 :rain1!~rain1@unaffiliated/rain1 JOIN :#esoteric < 1602173922 179089 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net QUIT :Quit: adu < 1602174089 103845 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net JOIN :#esoteric > 1602175995 616061 PRIVMSG #esoteric :14[[07User:Eiim14]]4 N10 02https://esolangs.org/w/index.php?oldid=77884 5* 03Eiim 5* (+150) 10Created User:Eiim > 1602176715 626510 PRIVMSG #esoteric :14[[07!@$%^&*()+/Algorithms14]]4 M10 02https://esolangs.org/w/index.php?diff=77885&oldid=76908 5* 03SunnyMoon 5* (+313) 10Added a well-earned snippet! < 1602177161 125746 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1602177755 647147 :LKoen!~LKoen@81.255.219.130 JOIN :#esoteric < 1602178322 57960 :LKoen!~LKoen@81.255.219.130 QUIT :Remote host closed the connection < 1602179633 585979 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net QUIT :Quit: adu < 1602179777 280429 :int-e!~noone@int-e.eu QUIT :Remote host closed the connection < 1602181685 271248 :LKoen!~LKoen@lstlambert-657-1-123-43.w92-154.abo.wanadoo.fr JOIN :#esoteric < 1602182147 584859 :arseniiv!~arseniiv@136.169.204.164 QUIT :Ping timeout: 240 seconds < 1602182328 731747 :int-e!~noone@silicon.int-e.eu JOIN :#esoteric < 1602182683 656596 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net JOIN :#esoteric < 1602182693 203117 :deltaepsilon23!~deltaepsi@cpe-24-208-148-153.insight.res.rr.com JOIN :#esoteric < 1602182711 619391 :deltaepsilon23!~deltaepsi@cpe-24-208-148-153.insight.res.rr.com QUIT :Remote host closed the connection < 1602182745 265337 :deltaepsilon23!~deltaepsi@cpe-24-208-148-153.insight.res.rr.com JOIN :#esoteric > 1602182769 918179 PRIVMSG #esoteric :14[[07User:SunnyMoon14]]4 M10 02https://esolangs.org/w/index.php?diff=77886&oldid=77827 5* 03SunnyMoon 5* (+350) 10School update. < 1602182776 310583 :deltaepsilon23!~deltaepsi@cpe-24-208-148-153.insight.res.rr.com NICK :delta23 < 1602183830 884909 :arseniiv!~arseniiv@136.169.204.164 JOIN :#esoteric < 1602187046 847177 :int-e!~noone@silicon.int-e.eu QUIT :Quit: leaving < 1602187062 149028 :int-e!~noone@int-e.eu JOIN :#esoteric < 1602187236 429586 :imode!~linear@unaffiliated/imode JOIN :#esoteric < 1602187525 125318 :DrSoy!~ss@2a02:8071:bba:3900::5d7a JOIN :#esoteric < 1602187533 498500 :DrSoy!~ss@2a02:8071:bba:3900::5d7a PART :#esoteric < 1602191813 489574 :deltaepsilon23!~deltaepsi@cpe-24-208-148-153.insight.res.rr.com JOIN :#esoteric < 1602191889 87939 :delta23!~deltaepsi@cpe-24-208-148-153.insight.res.rr.com QUIT :Ping timeout: 260 seconds < 1602191899 12183 :deltaepsilon23!~deltaepsi@cpe-24-208-148-153.insight.res.rr.com NICK :delta23 < 1602193454 206537 :LKoen!~LKoen@lstlambert-657-1-123-43.w92-154.abo.wanadoo.fr QUIT :Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.” < 1602194711 133349 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net QUIT :Quit: adu < 1602195587 572370 :delta23!~deltaepsi@cpe-24-208-148-153.insight.res.rr.com QUIT :Ping timeout: 240 seconds < 1602195934 826106 :deltaepsilon23!~deltaepsi@cpe-24-208-148-153.insight.res.rr.com JOIN :#esoteric < 1602196511 681027 :deltaepsilon23!~deltaepsi@cpe-24-208-148-153.insight.res.rr.com NICK :delta23 < 1602198188 976108 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net JOIN :#esoteric < 1602198206 178147 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net QUIT :Client Quit < 1602201099 353998 :orby!a2d2c09f@162.210.192.159 JOIN :#esoteric < 1602201198 684980 :orby!a2d2c09f@162.210.192.159 PRIVMSG #esoteric :I'm trying to construct a specific combinator in Underload, but I'm falling short. Any wizards know how to construct s' where s':(x)(y)(z) -> x(z)(y(z))? < 1602201227 432200 :user3456!user3456@gateway/shell/insomnia247/x-savifiztfhhlqqsh PRIVMSG #esoteric :Hey look a message! (And sorry I don't know Underload) < 1602201235 685490 :orby!a2d2c09f@162.210.192.159 PRIVMSG #esoteric :Also, ais523: I've found a 3 command simple translation of Underload. < 1602201238 19162 :orby!a2d2c09f@162.210.192.159 PRIVMSG #esoteric :Hello! < 1602201240 371847 :user3456!user3456@gateway/shell/insomnia247/x-savifiztfhhlqqsh PRIVMSG #esoteric :. < 1602201267 694321 :user3456!user3456@gateway/shell/insomnia247/x-savifiztfhhlqqsh PRIVMSG #esoteric :Sorry accidently pressed my keypad while opening my blinds < 1602201272 984088 :orby!a2d2c09f@162.210.192.159 PRIVMSG #esoteric :all good < 1602201289 871432 :arseniiv!~arseniiv@136.169.204.164 QUIT :Ping timeout: 264 seconds < 1602201465 243218 :deltaepsilon23!~deltaepsi@cpe-24-208-148-153.insight.res.rr.com JOIN :#esoteric < 1602201489 515926 :delta23!~deltaepsi@cpe-24-208-148-153.insight.res.rr.com QUIT :Disconnected by services < 1602201495 549035 :deltaepsilon23!~deltaepsi@cpe-24-208-148-153.insight.res.rr.com NICK :delta23