< 1598832061 470930 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :under that, (pprimes_i N L) determines if any of the primes in L divide N, but stops after it sees a divisor that is greater or equal to the square root of N < 1598832080 108787 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: plisttake 2 (pprimes_sa 4 [_->pnil] 2) < 1598832080 233796 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :{2, 3} < 1598832083 290370 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: plisttake 9 (pprimes_sa 4 [_->pnil] 2) < 1598832083 533447 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :exception("error plisttake") < 1598832106 644450 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: [pcons A D->D pforce] ((pprimes_sa 4 [_->pnil] 2) pforce) < 1598832106 936258 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :(Dummy68DOT0 (pcons 2 (pprimes_sa 4 Dummy68DOT1 3))) < 1598832114 77367 :arseniiv!~arseniiv@94.41.39.129.dynamic.ufanet.ru PRIVMSG #esoteric :hi bye! < 1598832121 888065 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :um < 1598832125 640874 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :that should not be a closure < 1598832129 836843 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: [pcons A D->D pforce pforce] ((pprimes_sa 4 [_->pnil] 2) pforce) < 1598832130 93938 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :(Dummy69DOT0 (pcons 2 (pprimes_sa 4 Dummy69DOT1 3))) < 1598832151 181598 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :um < 1598832193 203607 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: def pprimes_sa = [B L F _-> print("pprimes_sa",B,L,F,_); [true-> [true R->R| _ R->pcons F R] (pprimes_i F L) (pprimes_sa B L(1+F)) |_->[_->nil] ](Fpnil] 2) < 1598832193 800959 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:55:semantical:undeclared _ < 1598832203 1167 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: def pprimes_sa = [B L F G-> print("pprimes_sa",B,L,F,G); [true-> [true R->R| _ R->pcons F R] (pprimes_i F L) (pprimes_sa B L(1+F)) |_->[_->nil] ](Fpnil] 2) < 1598832203 377051 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :("pprimes_sa", 4, Dummy70DOT0, 2, pforce) < 1598832203 773473 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :("pprimes_sa", 4, Dummy70DOT0, 3, pforce) < 1598832204 355788 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :("pprimes_sa", 4, Dummy70DOT0, 4, pforce) < 1598832204 857356 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :exception("error plisttake") < 1598832249 385142 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: def pprimes_sa = [B L F G-> [true-> [true R->R| _ R->pcons F R] (pprimes_i F L) (pprimes_sa B L(1+F)) |_->[_->pnil] ](Fpnil] 2) < 1598832249 760842 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :exception("error plisttake") < 1598832264 323199 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: def pprimes_sa = [B L F G-> [true-> [true R->R| _ R->pcons F R] (pprimes_i F L) (pprimes_sa B L(1+F)) |_->pnil ](Fpnil] 2) < 1598832264 448979 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :{2, 3} < 1598832267 370337 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :YES! < 1598832312 94326 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Ooooh. Neat. < 1598832324 846220 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :I have no idea how that works. < 1598832330 658578 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: def pprimes_s = [(pprimes_u B L) -> pprimes_u (B*B) (pprimes_sa B L 2)];; plisttake 149 (pprimes_s (pprimes_s (pprimes_u 2 [_->pnil]))) < 1598832331 34300 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :exception("error plisttake") < 1598832358 310434 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: def pprimes_s = [(pprimes_u B L) -> pprimes_u (B*B) (pprimes_sa B L 2)];; [(pprimes_u _ L) -> plisttake 149 L] (pprimes_s (pprimes_s (pprimes_u 2 [_->pnil]))) < 1598832358 578840 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :{2, 3} < 1598832361 414322 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :nope < 1598832377 251446 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: def pprimes_s = [(pprimes_u B L) -> pprimes_u (B*B) (pprimes_sa B L 2)];; [(pprimes_u B L) -> (B,plisttake 149 L)] (pprimes_s (pprimes_s (pprimes_u 2 [_->pnil]))) < 1598832377 502843 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :(16, {2, 3}) < 1598832408 526274 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :spruit11: I admit that basically all the identifiers I use are cryptic and chosen poorly < 1598832409 939639 :arseniiv!~arseniiv@94.41.39.129.dynamic.ufanet.ru QUIT :Ping timeout: 264 seconds < 1598832413 207780 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :both the globals and the locals < 1598832426 116649 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :except a few by accident < 1598832466 682067 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: def pprimes_s = [(pprimes_u (B*B) L) -> pprimes_u (B*B) (pprimes_sa B L 2)];; [(pprimes_u B L) -> (B,plisttake 149 L)] (pprimes_s (pprimes_s (pprimes_u 2 [_->pnil]))) < 1598832466 966090 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:32:syntactical:) expected < 1598832485 320658 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: def pprimes_s = [(pprimes_u B L) -> pprimes_u (B*B) (pprimes_sa (B*B) L 2)];; [(pprimes_u B L) -> (B,plisttake 149 L)] (pprimes_s (pprimes_s (pprimes_u 2 [_->pnil]))) < 1598832485 697669 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :exception("error plisttake") < 1598832501 737611 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: def pprimes_s = [(pprimes_u B L) -> pprimes_u (B*B) (pprimes_sa (B*B) L 2)];; [(pprimes_u B L) -> (B,plisttake 149 L)] (pprimes_s (pprimes_u 2 [_->pnil])) < 1598832502 28873 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :(4, {2, 3}) < 1598832511 280309 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: def pprimes_s = [(pprimes_u B L) -> pprimes_u (B*B) (pprimes_sa (B*B) L 2)];; [(pprimes_u B L) -> (B,plisttake 149 L)] (pprimes_s (pprimes_s (pprimes_u 2 [_->pnil]))) < 1598832511 656328 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :exception("error plisttake") < 1598832530 76634 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :sigh < 1598832590 296091 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: plisttake 149 (pprimes_sa 4 [_->pnil] 2) < 1598832590 546803 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :{2, 3} < 1598832610 255712 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :It's a start! < 1598832614 956369 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: plisttake 149 (pprimes_sa 16 (pprimes_sa 4 [_->pnil] 2) 2) < 1598832615 81827 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :exception("error plisttake") < 1598832622 634838 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: plisttake 1 (pprimes_sa 16 (pprimes_sa 4 [_->pnil] 2) 2) < 1598832622 885921 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :exception("error plisttake") < 1598832628 109781 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: pprimes_sa 16 (pprimes_sa 4 [_->pnil] 2) 2 < 1598832628 360280 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :(pprimes_sa 16 (pprimes_sa 4 Dummy82DOT0 2) 2) < 1598832632 593250 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: pprimes_sa 16 (pprimes_sa 4 [_->pnil] 2) 2 pforce < 1598832633 237010 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :(pprimes_sa 16 (pprimes_sa 4 Dummy83DOT0 2) 3) < 1598832640 806434 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :what < 1598832655 236353 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :2 should be a < 1598832656 123839 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :oh < 1598832670 708639 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :it thinks 2 isn't a prime because it's divisible by 2 < 1598832673 15437 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :great < 1598832686 850574 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :ok, this is the time to turn in and debug it some other day < 1598832689 24513 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :good night < 1598832700 913551 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Have a nice night. < 1598832704 101057 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :mind you, even then it should at least have returned a lazy list < 1598832725 794921 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :oh I see < 1598832761 913680 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :I hope to learn a new trick because I don't know this approach. < 1598832764 339728 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: def pprimes_sa = [B L F G-> [true-> [true R->R pforce| _ R->pcons F R] (pprimes_i F L) (pprimes_sa B L(1+F)) |_->pnil ](Fpnil] 2) < 1598832764 590222 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :{2, 3} < 1598832774 803809 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: pprimes_sa 16 (pprimes_sa 4 [_->pnil] 2) 2 pforce < 1598832775 54039 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :(pcons 3 (pprimes_sa 16 (pprimes_sa 4 Dummy85DOT0 2) 4)) < 1598832788 632783 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: plisttake 149 (pprimes_sa 16 (pprimes_sa 4 [_->pnil] 2) 2) < 1598832789 418715 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :{3, 5, 7, 11, 13} < 1598832806 157059 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :still thinks that 2 is not a prime, which will be a problem in the next iteration, but that's fixable < 1598832827 561424 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Oh, right. I thought you were there for a moment. < 1598832850 242069 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :now where was the definition of pprimes_i < 1598832933 997365 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: def pprimes_i = [N L-> [pnil->false| (pcons A D)-> [true _->Dfalse| false true->pprimes_i N D | _->throw"error pprimes_i =="] (0==(N%A)) (A*Athrow"error plistmember uncons"] (L pforce)];; "ok" < 1598832934 122678 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :"ok" < 1598832940 745145 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: plisttake 149 (pprimes_sa 16 (pprimes_sa 4 [_->pnil] 2) 2) < 1598832940 995821 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :{2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15} < 1598832944 207671 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :no < 1598832960 668753 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: plisttake 149 (pprimes_sa 4 [_->pnil] 2) < 1598832960 957387 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :{2, 3} < 1598833008 604362 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: def pprimes_i = [N L-> [pnil->false| (pcons A D)-> [true _->Afalse| false true->pprimes_i N D | _->throw"error pprimes_i =="] (0==(N%A)) (A*Athrow"error plistmember uncons"] (L pforce)];; "ok" < 1598833009 115023 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :"ok" < 1598833012 961937 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: plisttake 149 (pprimes_sa 4 [_->pnil] 2) < 1598833013 343093 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :{2, 3} < 1598833018 366606 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: plisttake 149 (pprimes_sa 16 (pprimes_sa 4 [_->pnil] 2) 2) < 1598833018 706954 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :{2, 3, 5, 7, 11, 13} < 1598833029 386446 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :[ p.i.40 < 1598833029 782473 :j-bot!~jbot@hagall.firefly.nu PRIVMSG #esoteric :b_jonas: ┌──┬─────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────� < 1598833029 782538 :j-bot!~jbot@hagall.firefly.nu PRIVMSG #esoteric :b_jonas: │39│0.931642j0.178144 0.931642j_0.178144 0.877747j0.321843 0.877747j_0.321843 0.80763j0.454005 0.80763j_0.454005 0.720253j0.573152 0.720253j_0.573152 0.6168j0.676984 0.6168j_0.676984 0.499364j0.763267 0.499364j_0.763267 0.370586j0.83007 0.370586j_0.83007 0.233484j0.875879 0.233484j_0.875879 0.0913366j0.899664 0.0913366j_0.899664 _0.0524256j0.900914 _0.0524256j_0.900914 _0.194311j0. < 1598833033 168465 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :what < 1598833036 554197 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :[ p:i.40 < 1598833037 853572 :j-bot!~jbot@hagall.firefly.nu PRIVMSG #esoteric :b_jonas: └──┴─────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────� < 1598833041 838436 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :um < 1598833044 759679 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :[ q.i.40 < 1598833045 803873 :j-bot!~jbot@hagall.firefly.nu PRIVMSG #esoteric :b_jonas: 2 3 5 7 11 13 17 19 23 29 31 37 41 43 47 53 59 61 67 71 73 79 83 89 97 101 103 107 109 113 127 131 137 139 149 151 157 163 167 173 < 1598833049 851545 :j-bot!~jbot@hagall.firefly.nu PRIVMSG #esoteric :b_jonas: |spelling error < 1598833049 851589 :j-bot!~jbot@hagall.firefly.nu PRIVMSG #esoteric :b_jonas: | q.i.40 < 1598833049 851598 :j-bot!~jbot@hagall.firefly.nu PRIVMSG #esoteric :b_jonas: | ^ < 1598833103 929056 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: def pprimes_s = [(pprimes_u B L) -> pprimes_u (B*B) (pprimes_sa (B*B) L 2)];; [(pprimes_u B L) -> (B,plisttake 149 L)] (pprimes_s (pprimes_s (pprimes_u 2 [_->pnil]))) < 1598833104 54374 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :(16, {2, 3, 5, 7, 11, 13}) < 1598833112 379360 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: def pprimes_s = [(pprimes_u B L) -> pprimes_u (B*B) (pprimes_sa (B*B) L 2)];; [(pprimes_u B L) -> (B,plisttake 149 L)] (pprimes_s (pprimes_s (pprimes_s (pprimes_u 2 [_->pnil])))) < 1598833112 755312 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :(256, {2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 61, 67, 71, 73, 79, 83, 89, 97, 101, 103, 107, 109, 113, 127, 131, 137, 139, 149, 151, 157, 163, 167, 173, 179, 181, 191, 193, 197, 199, 211, 223, 227, 229, 233, 239, 241, 251}) < 1598833124 118899 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Looks good! < 1598833197 528161 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: def pprimes = [(pprimes_u B L) -> L] pprimes_s (pprimes_s (pprimes_s (pprimes_s (pprimes_s (pprimes_s (pprimes_u 2 [_->pnil]))))))) < 1598833197 903668 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:132:syntactical:) unexpected < 1598833200 525263 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: def pprimes = [(pprimes_u B L) -> L] pprimes_s (pprimes_s (pprimes_s (pprimes_s (pprimes_s (pprimes_s (pprimes_u 2 [_->pnil])))))) < 1598833204 700393 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :no < 1598833208 689766 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: def pprimes = [(pprimes_u B L) -> L] (pprimes_s (pprimes_s (pprimes_s (pprimes_s (pprimes_s (pprimes_s (pprimes_u 2 [_->pnil]))))))) < 1598833220 812286 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: plisttake 149 pprimes < 1598833221 63270 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :exception("System:* overflow") < 1598833225 53491 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :uh < 1598833228 204172 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :B overflowed < 1598833228 871745 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :darn < 1598833266 324893 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: (10 < 16.0, 20 < 16.0) < 1598833266 604253 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :(System:true, System:true) < 1598833284 73613 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :we can actually represent the bounds as floating point, because they're powers of two, but that's not the right comparison < 1598833304 762254 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :oh well < 1598833306 258410 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :20<16.0? < 1598833328 80731 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :egelbot: 20 < 16.0 < 1598833328 330527 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :System:true < 1598833333 372780 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :egelbot: 20.0 < 16.0 < 1598833333 623203 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :System:false < 1598833338 333189 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :egelbot: 10.0 < 16.0 < 1598833338 709315 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :System:true < 1598833343 887190 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :egelbot: 10 < 16.0 < 1598833343 887244 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :[ #s=: (2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 61, 67, 71, 73, 79, 83, 89, 97, 101, 103, 107, 109, 113, 127, 131, 137, 139, 149, 151, 157, 163, 167, 173, 179, 181, 191, 193, 197, 199, 211, 223, 227, 229, 233, 239, 241, 251) < 1598833344 137653 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :System:true < 1598833344 513527 :j-bot!~jbot@hagall.firefly.nu PRIVMSG #esoteric :b_jonas: 54 < 1598833350 404307 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :[ q.i.54 < 1598833350 905718 :j-bot!~jbot@hagall.firefly.nu PRIVMSG #esoteric :b_jonas: |spelling error < 1598833350 905772 :j-bot!~jbot@hagall.firefly.nu PRIVMSG #esoteric :b_jonas: | q.i.54 < 1598833350 905786 :j-bot!~jbot@hagall.firefly.nu PRIVMSG #esoteric :b_jonas: | ^ < 1598833353 961173 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :[ p:i.54 < 1598833354 588160 :j-bot!~jbot@hagall.firefly.nu PRIVMSG #esoteric :b_jonas: 2 3 5 7 11 13 17 19 23 29 31 37 41 43 47 53 59 61 67 71 73 79 83 89 97 101 103 107 109 113 127 131 137 139 149 151 157 163 167 173 179 181 191 193 197 199 211 223 227 229 233 239 241 251 < 1598833358 787037 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :[ s-:p:i.54 < 1598833359 288730 :j-bot!~jbot@hagall.firefly.nu PRIVMSG #esoteric :b_jonas: 1 < 1598833361 310697 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :[ s-:p:i.53 < 1598833361 780401 :j-bot!~jbot@hagall.firefly.nu PRIVMSG #esoteric :b_jonas: 0 < 1598833369 804993 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :ok, so the list of the first 54 primes is correct < 1598833386 234510 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: def pprimes = [(pprimes_u B L) -> L] (pprimes_s (pprimes_s (pprimes_s (pprimes_s (pprimes_u 2 [_->pnil]))))) < 1598833395 409910 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: plisttake 149 pprimes < 1598833397 546020 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :{2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 61, 67, 71, 73, 79, 83, 89, 97, 101, 103, 107, 109, 113, 127, 131, 137, 139, 149, 151, 157, 163, 167, 173, 179, 181, 191, 193, 197, 199, 211, 223, 227, 229, 233, 239, 241, 251, 257, 263, 269, 271, 277, 281, 283, 293, 307, 311, 313, 317, 331, 337, 347, 349, 353, 359, 367, 373, 379, 383, 389, 397, 401, 409, 419, 421, 431, 433, 439, 443, 449, 457, 461, 463, 467, 479, 487, 491, 499, < 1598833399 730133 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :But you found a bug, right. < 1598833405 708844 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :I think that goes only up to 65536 < 1598833420 156062 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :but I don't have a tail function so I can't easily check < 1598833448 838741 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: "well actually I can";nop;; [(pprimes_u B L) -> B] (pprimes_s (pprimes_s (pprimes_s (pprimes_s (pprimes_u 2 [_->pnil]))))) < 1598833449 88934 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :65536 < 1598833453 993465 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :yes, 65536 < 1598833460 760694 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: 65536*65536 < 1598833461 9641 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :4294967296 < 1598833485 733830 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: def pprimes = [(pprimes_u B L) -> L] (pprimes_s (pprimes_s (pprimes_s (pprimes_s (pprimes_s (pprimes_u 2 [_->pnil])))))) < 1598833494 863579 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: plisttake 149 pprimes < 1598833497 552422 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :{2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 61, 67, 71, 73, 79, 83, 89, 97, 101, 103, 107, 109, 113, 127, 131, 137, 139, 149, 151, 157, 163, 167, 173, 179, 181, 191, 193, 197, 199, 211, 223, 227, 229, 233, 239, 241, 251, 257, 263, 269, 271, 277, 281, 283, 293, 307, 311, 313, 317, 331, 337, 347, 349, 353, 359, 367, 373, 379, 383, 389, 397, 401, 409, 419, 421, 431, 433, 439, 443, 449, 457, 461, 463, 467, 479, 487, 491, 499, < 1598833504 923003 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :so that's the list up to 1<<32 < 1598833516 659565 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :but we'd need it up to 1<<64 and B overflows there < 1598833518 652041 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :so < 1598833542 103074 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Can you put this program in a script? < 1598833549 74330 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :I want to study it < 1598833559 852594 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: 1<<63 < 1598833560 144702 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :-9223372036854775808 > 1598833563 165204 PRIVMSG #esoteric :14[[07Conveyer14]]4 M10 02https://esolangs.org/w/index.php?diff=77148&oldid=77138 5* 03Abbin21 5* (+2) 10 < 1598833606 406802 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: def pprimes = [(pprimes_u B L) -> L] (pprimes_sa (1<<63) [(pprimes_u B L) -> L] (pprimes_s (pprimes_s (pprimes_s (pprimes_s (pprimes_s (pprimes_u 2 [_->pnil]))))))) < 1598833614 25476 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: plisttake 149 pprimes < 1598833614 401315 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :exception("error plisttake") < 1598833618 547220 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :on < 1598833654 121004 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: def pprimes = [(pprimes_u B L) -> L] (pprimes_sa (1<<63) ([(pprimes_u B L) -> L] (pprimes_s (pprimes_s (pprimes_s (pprimes_s (pprimes_s (pprimes_u 2 [_->pnil])))))))) < 1598833654 121066 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: plisttake 149 pprimes < 1598833654 630882 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :exception("error plisttake") < 1598833664 946152 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :well go back to the previous version then < 1598833685 380334 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: def pprimes = [(pprimes_u B L) -> L] (pprimes_s (pprimes_s (pprimes_s (pprimes_s (pprimes_s (pprimes_u 2 [_->pnil])))))) # only up to 1<<32 < 1598833689 12321 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: plisttake 149 pprimes < 1598833691 688079 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :{2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 61, 67, 71, 73, 79, 83, 89, 97, 101, 103, 107, 109, 113, 127, 131, 137, 139, 149, 151, 157, 163, 167, 173, 179, 181, 191, 193, 197, 199, 211, 223, 227, 229, 233, 239, 241, 251, 257, 263, 269, 271, 277, 281, 283, 293, 307, 311, 313, 317, 331, 337, 347, 349, 353, 359, 367, 373, 379, 383, 389, 397, 401, 409, 419, 421, 431, 433, 439, 443, 449, 457, 461, 463, 467, 479, 487, 491, 499, < 1598833714 147276 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :spruit11: I don't have a script, just copy it from https://esolangs.org/logs/2020-08-30.html and https://esolangs.org/logs/2020-08-31.html < 1598833774 561886 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: def pprimes = [(pprimes_u B L) -> L] (pprimes_sa (1<<63) ([(pprimes_u B L) -> L] (pprimes_s (pprimes_s (pprimes_s (pprimes_s (pprimes_s (pprimes_u 2 [_->pnil]))))))) 2) < 1598833780 239991 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: plisttake 149 pprimes < 1598833780 365252 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :exception("error plisttake") < 1598833799 117979 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: def pprimes = [(pprimes_u B L) -> L] (pprimes_s (pprimes_s (pprimes_s (pprimes_s (pprimes_s (pprimes_u 2 [_->pnil])))))) # only up to 1<<32 < 1598833901 681868 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :also wait < 1598833905 688896 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :this isn't even the right approach < 1598833906 879677 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Aargh. I made a compare on all vm objects and now I think all integers are smaller than floats since I want those to be hash mappable. < 1598833912 973908 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :this would be too slow if you go far < 1598833921 932771 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :the problem is that we compute the smaller lists too many times < 1598833949 763785 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :egelbot: 0 < 0.0 < 1598833949 889013 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :System:true < 1598833957 68909 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :egelbot: 20 < 0.0 < 1598833957 345313 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :System:true < 1598833960 449557 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :egelbot: -20 < 0.0 < 1598833960 700382 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :System:true < 1598834005 549915 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :egelbot: true < 0.0 < 1598834005 800531 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :System:false < 1598834020 162226 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :THis is maybe not a good compare. < 1598834043 699995 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :we'd need to rewrite it so that pprimes_sa takes an eager list, then rewrite pprimes to first compute the eager list up to the square root of the bound you want < 1598834058 718191 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :and then call pprimes_sa using that < 1598834066 191065 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :so you compute each stage of the list only once < 1598834073 486381 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :the whole lazy list thing is a stupid distraction < 1598834083 410508 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :it shouldn't even be used < 1598834092 517155 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :if computers weren't so fast we'd probably have noticed that < 1598834122 705827 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :so this needs a heavy rewrite < 1598834150 79476 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Well. I am in awe. < 1598834155 707543 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Also, going to bed. < 1598834166 572516 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :More bug squashing tomorrow. < 1598834173 80401 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Have a nice night. < 1598834174 750994 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :o/ < 1598835093 35037 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :so basically just rip out the lazy lists, and you'd get a much smaller code that actually doesn't do a crapton of redundant computation < 1598835139 572994 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :even then it wouldn't be a very fast prime sieve of course, but it wouldn't just be wasting cycles < 1598838479 263514 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net JOIN :#esoteric < 1598839598 429411 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`" < 1598839601 857424 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :1/1:214) HELLWORLD! It's like HELLO WORLD, except not *quite*. There is more agony. \ 598) elliott, cars aren't perfectly spherical. < 1598841026 942167 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`quote cows < 1598841028 248570 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :395) Look, I often walk my dog through a field with cows in it. And I punched myself in the face once. \ 978) metar lead to canada, more metar and cows \ 984) man at least job applications in biosciences are just like "you are willing to put your arms through a cow" Bike: please send us a link to your CowHub profile of cows you have previously put your arms through on your own time for fun please provide < 1598841028 498955 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net QUIT :Read error: Connection reset by peer < 1598841732 946172 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Hmm, nothing about spherical cows. < 1598844513 785906 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net QUIT :Quit: adu > 1598848550 412765 PRIVMSG #esoteric :14[[071CP=1ICL14]]4 10 02https://esolangs.org/w/index.php?diff=77149&oldid=77143 5* 03JonoCode9374 5* (+144) 10/* Language specifications */ > 1598848586 68760 PRIVMSG #esoteric :14[[071CP=1ICL14]]4 10 02https://esolangs.org/w/index.php?diff=77150&oldid=77149 5* 03JonoCode9374 5* (+2) 10/* Language specifications */ < 1598849211 79016 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1598849288 915214 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 256 seconds < 1598849291 573343 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life > 1598856914 7853 PRIVMSG #esoteric :14[[07Conglument14]]4 10 02https://esolangs.org/w/index.php?diff=77151&oldid=77144 5* 03Hakerh400 5* (+161) 10 > 1598858349 743654 PRIVMSG #esoteric :14[[071CP=1ICL14]]4 10 02https://esolangs.org/w/index.php?diff=77152&oldid=77150 5* 03IFcoltransG 5* (+68) 10/* Language specifications */ Bettered JonoCode9374's command specificity. < 1598858355 145448 :Sgeo!~Sgeo@ool-18b982ad.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1598860658 67661 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :Now I added syntax for headings into my poll/survey software, and implemented creating a database schema from the question file. I hope that once this is done, it will be a good way to make and post a survey on the computer. < 1598860815 67023 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :*.net *.split < 1598860815 712853 :kmc!~beehive@unaffiliated/kmcallister QUIT :*.net *.split < 1598861127 390644 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1598861127 392412 :kmc!~beehive@unaffiliated/kmcallister JOIN :#esoteric < 1598861413 275932 :hendursa1!~weechat@gateway/tor-sasl/hendursaga JOIN :#esoteric < 1598861523 807175 :hendursaga!~weechat@gateway/tor-sasl/hendursaga QUIT :Ping timeout: 240 seconds < 1598861643 889430 :int-e!~noone@int-e.eu PRIVMSG #esoteric :@metar lowi < 1598861644 140816 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :LOWI 310750Z VRB02KT 9999 FEW010 SCT015 BKN080 13/10 Q1019 NOSIG < 1598861700 894551 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos JOIN :#esoteric < 1598864059 898874 :kritixil1!~kritixili@gateway/tor-sasl/kritixilithos JOIN :#esoteric < 1598864203 859566 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos QUIT :Ping timeout: 240 seconds < 1598864637 816448 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu QUIT :Quit: leaving < 1598864726 55378 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 240 seconds < 1598864760 314277 :t20kdc!~20kdc@cpc139340-aztw33-2-0-cust225.18-1.cable.virginm.net JOIN :#esoteric < 1598865026 813543 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos JOIN :#esoteric > 1598865157 308714 PRIVMSG #esoteric :14[[07Conglument14]]4 M10 02https://esolangs.org/w/index.php?diff=77153&oldid=77151 5* 03Hakerh400 5* (+5) 10 < 1598865165 909594 :kritixil1!~kritixili@gateway/tor-sasl/kritixilithos QUIT :Remote host closed the connection < 1598872378 493663 :arseniiv!~arseniiv@94.41.39.129.dynamic.ufanet.ru JOIN :#esoteric < 1598874127 968581 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 JOIN :#esoteric > 1598874304 255192 PRIVMSG #esoteric :14[[07AF14]]4 N10 02https://esolangs.org/w/index.php?oldid=77154 5* 03CatLooks 5* (+9812) 10Created page with "'''AF''' is an [[esoteric programming language]] created by [[User:CatLooks|CatLooks]]. Programs written on this language consist of numbers 0, 1, 2 or 3. In each line of code..." > 1598874416 37579 PRIVMSG #esoteric :14[[07User:CatLooks14]]4 10 02https://esolangs.org/w/index.php?diff=77155&oldid=76721 5* 03CatLooks 5* (-19) 10 > 1598874510 278351 PRIVMSG #esoteric :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=77156&oldid=77145 5* 03CatLooks 5* (+9) 10 > 1598876191 83631 PRIVMSG #esoteric :14[[07Special:Log/newusers14]]4 create10 02 5* 03DGCK81LNN 5* 10New user account < 1598877238 850778 :int-e!~noone@int-e.eu PRIVMSG #esoteric :``mkx ../bin/progress//echo $(($RANDOM%111-5))% < 1598877240 626809 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :​`mkx? No such file or directory < 1598877243 651887 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`mkx ../bin/progress//echo $(($RANDOM%111-5))% < 1598877247 488842 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :​../bin/progress < 1598877251 439155 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`progress < 1598877252 347247 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :90% < 1598877303 50077 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :`progress < 1598877304 551635 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :22% < 1598877309 364905 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :`5 progress < 1598877311 492863 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :1/1:36% \ 45% \ 98% \ 87% \ 73% < 1598877551 905048 :int-e!~noone@int-e.eu PRIVMSG #esoteric :wib_jonas: yeah I worried a bit that it would not actually be random but IIRC fizzie put in some effort into injecting some of the hosts randomness into the VM on startup, or something to that effect. < 1598877564 874461 :int-e!~noone@int-e.eu PRIVMSG #esoteric :host's < 1598877832 604670 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :int-e: I prefer a progress number that I can see updating, but we can't render that sanely on IRC < 1598877897 815245 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :except possibly for very slow processes < 1598877906 467239 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :it's easier in the terminal < 1598877991 99174 :int-e!~noone@int-e.eu PRIVMSG #esoteric :the progress meter I'm currently watching is a binary counter and highly nonlinear < 1598877994 152794 :int-e!~noone@int-e.eu PRIVMSG #esoteric ::P < 1598878034 275623 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :int-e: replace it with https://metacpan.org/pod/Acme::ProgressBar which is as linear as it gets < 1598878075 813060 :hendursa1!~weechat@gateway/tor-sasl/hendursaga QUIT :Quit: hendursa1 < 1598878092 880730 :hendursaga!~weechat@gateway/tor-sasl/hendursaga JOIN :#esoteric < 1598878177 474005 :int-e!~noone@int-e.eu PRIVMSG #esoteric :what does it do, print 0% at the start and 100% at the end? < 1598878235 626855 :int-e!~noone@int-e.eu PRIVMSG #esoteric :haha < 1598878247 32436 :int-e!~noone@int-e.eu PRIVMSG #esoteric :that is one way to do it I suppose. < 1598878283 937081 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :int-e: no < 1598878297 278319 :int-e!~noone@int-e.eu PRIVMSG #esoteric :wib_jonas: I skimmed the source in the meantime. < 1598878317 493903 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I was kind of close, and very far off at the same time. < 1598878355 626151 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :in fact, I should probably add a progress bar to this program I have, because it's kind of slow (at least on the largest input file that I have) < 1598878409 373968 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :it's reading a file so I can just compute progres from the tell < 1598878832 238866 :aaaaaa!~ArthurStr@nat-pool-13-124.soborka.net JOIN :#esoteric < 1598879675 175523 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :ARGH so I cleaned this monitor a few hours ago, and now the control buttons on the monitor are janking out, they sometimes think I'm pressing them even when I'm not and the opposite < 1598879688 855618 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :they started by changing the brightness of the monitor all the way up < 1598879716 887372 :int-e!~noone@int-e.eu PRIVMSG #esoteric :it's a kind of magic :-/ < 1598879755 665647 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :I managed to dial the brightness down after like 10 minutes of suffering, but now I'm stuck with the contrast too high < 1598880563 898037 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos QUIT :Ping timeout: 240 seconds < 1598881719 910669 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos JOIN :#esoteric < 1598881892 387971 :lambdabot!~lambdabot@haskell/bot/lambdabot QUIT :Quit: just a moment, please... < 1598882358 116444 :lambdabot!~lambdabot@haskell/bot/lambdabot JOIN :#esoteric > 1598882436 153194 PRIVMSG #esoteric :14[[07Talk:AF14]]4 N10 02https://esolangs.org/w/index.php?oldid=77157 5* 03CatLooks 5* (+19) 10Created page with "AF Discussion page." > 1598882729 144100 PRIVMSG #esoteric :14[[07Truth-machine14]]4 10 02https://esolangs.org/w/index.php?diff=77158&oldid=77147 5* 03CatLooks 5* (+116) 10 > 1598882791 857383 PRIVMSG #esoteric :14[[07Truth-machine14]]4 10 02https://esolangs.org/w/index.php?diff=77159&oldid=77158 5* 03CatLooks 5* (-5) 10/* AF */ < 1598882798 680917 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :ARGH the monitor is still acting up < 1598882908 878872 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Get an exorcist. < 1598882955 458483 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I wish I had some actual advice but I don't, at least nothing that isn't absurd (like getting a time machine) or radical and time-consuming (get a new monitor) < 1598882996 509042 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Is this a humidity problem that has some hope of fixing itself? < 1598883006 395293 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :I could always pour in more ispropil-alcohol, hoping it dries out more easily then. Ideally someone would have to disassemble and clean the contacts and PCB then reassemble, but I'm not willing to do that, and I don't think anyone will do that with a cheap TFT monitor. < 1598883023 825619 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :int-e: yes, that's what I'm hoping, but it's been hours now < 1598883043 179607 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :and I'm trying to work in the meantime, but the monitor doesn't let me < 1598883438 438425 :Sgeo!~Sgeo@ool-18b982ad.dyn.optonline.net JOIN :#esoteric > 1598883581 192403 PRIVMSG #esoteric :14[[07AF14]]4 10 02https://esolangs.org/w/index.php?diff=77160&oldid=77154 5* 03CatLooks 5* (+166) 10 > 1598883819 961920 PRIVMSG #esoteric :14[[07AF14]]4 10 02https://esolangs.org/w/index.php?diff=77161&oldid=77160 5* 03CatLooks 5* (+53) 10 > 1598883975 704858 PRIVMSG #esoteric :14[[07AF14]]4 10 02https://esolangs.org/w/index.php?diff=77162&oldid=77161 5* 03CatLooks 5* (+4) 10 > 1598884251 68343 PRIVMSG #esoteric :14[[07AF14]]4 10 02https://esolangs.org/w/index.php?diff=77163&oldid=77162 5* 03CatLooks 5* (+88) 10/* Conditions */ > 1598884285 558982 PRIVMSG #esoteric :14[[07AF14]]4 10 02https://esolangs.org/w/index.php?diff=77164&oldid=77163 5* 03CatLooks 5* (-66) 10/* Conditions */ > 1598884710 150409 PRIVMSG #esoteric :14[[07Conglument14]]4 M10 02https://esolangs.org/w/index.php?diff=77165&oldid=77153 5* 03Hakerh400 5* (+2) 10/* Overview */ > 1598884927 774892 PRIVMSG #esoteric :14[[07Conglument14]]4 M10 02https://esolangs.org/w/index.php?diff=77166&oldid=77165 5* 03Hakerh400 5* (+1) 10/* Syntax */ < 1598885035 786188 :arseniiv!~arseniiv@94.41.39.129.dynamic.ufanet.ru PRIVMSG #esoteric : I could always pour in more ispropil-alcohol, hoping it dries out more easily then. => that would be a nontrivial effect if it does! I’d expect that alcohol evaporation would compete with the evaporation of a thing that is there now (I haven’t read too far up) and it will slow things down, maybe just a bit. A nontrivial effect would be if eager evaporation of isopropyl makes convection more intense and that makes evapora < 1598885035 951691 :arseniiv!~arseniiv@94.41.39.129.dynamic.ufanet.ru PRIVMSG #esoteric :tion faster because of fresh air incoming. But that’s too speculative to be sure how much that can appear < 1598885086 605172 :arseniiv!~arseniiv@94.41.39.129.dynamic.ufanet.ru PRIVMSG #esoteric :ah! so then an advice is to fan those buttons in some manner < 1598885098 312816 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :arseniiv: nah, the problem is that the liquid has probably already evaporated, but caused damage to the electronics since it was turned on < 1598885107 652936 :arseniiv!~arseniiv@94.41.39.129.dynamic.ufanet.ru PRIVMSG #esoteric :ohh < 1598885117 188424 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :at least that's my guess < 1598885119 66143 :arseniiv!~arseniiv@94.41.39.129.dynamic.ufanet.ru PRIVMSG #esoteric :then adding isopropyl seems risky < 1598885134 920553 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :it's possible that there is still some moisture in < 1598885159 643436 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :right now I plugged it out, stole the monitor from a co-worker, and leaving this one turned off for a while < 1598885172 693358 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :hoping that it will fix itself. if not, then I'm screwed < 1598885181 432377 :arseniiv!~arseniiv@94.41.39.129.dynamic.ufanet.ru PRIVMSG #esoteric :anyway I think blowing a dry air to the thing may help a bit < 1598885232 310252 :arseniiv!~arseniiv@94.41.39.129.dynamic.ufanet.ru PRIVMSG #esoteric :specifically to the tiny crevices of the buttons with something like a hand pump or what’s it called, if that’s available < 1598885366 62346 :olsner!~salparot@c80-217-180-83.bredband.comhem.se QUIT :Ping timeout: 240 seconds < 1598885699 232512 :Arcorann__!~awych@121-200-5-186.79c805.syd.nbn.aussiebb.net QUIT :Read error: Connection reset by peer < 1598885937 49802 :olsner!~salparot@c80-217-180-83.bredband.comhem.se JOIN :#esoteric > 1598886328 664919 PRIVMSG #esoteric :14[[07Talk:Andrew's Programming Language14]]4 10 02https://esolangs.org/w/index.php?diff=77167&oldid=75161 5* 03Tetrapyronia 5* (+452) 10/* Functions with 2+ Arrays and Programs */ new section > 1598887724 311891 PRIVMSG #esoteric :14[[07User:SunnyMoon14]]4 M10 02https://esolangs.org/w/index.php?diff=77168&oldid=77142 5* 03SunnyMoon 5* (+6) 10Yes, I have learned about numberlines today. It is a great point of knowledge. Learning is wonderful. > 1598887844 607888 PRIVMSG #esoteric :14[[07User:SunnyMoon14]]4 M10 02https://esolangs.org/w/index.php?diff=77169&oldid=77168 5* 03SunnyMoon 5* (+61) 10Final message! < 1598889043 815111 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos QUIT :Ping timeout: 240 seconds < 1598889141 610962 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 QUIT :Quit: Connection closed < 1598891050 225566 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net JOIN :#esoteric < 1598891305 808973 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos JOIN :#esoteric < 1598891872 903359 :LKoen!~LKoen@81.255.219.130 JOIN :#esoteric < 1598892423 804631 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1598892566 68078 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 240 seconds < 1598892593 386107 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life > 1598892703 195948 PRIVMSG #esoteric :14[[07Thue14]]4 M10 02https://esolangs.org/w/index.php?diff=77170&oldid=75530 5* 03HDWithZeroes 5* (+1) 10 > 1598893164 602991 PRIVMSG #esoteric :14[[07Special:Log/newusers14]]4 create10 02 5* 03StargazingRobot 5* 10New user account > 1598893610 131599 PRIVMSG #esoteric :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=77171&oldid=77117 5* 03StargazingRobot 5* (+220) 10Introducting myself < 1598894048 874858 :lambdabot!~lambdabot@haskell/bot/lambdabot QUIT :Remote host closed the connection < 1598894174 322375 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net QUIT :Quit: adu < 1598894183 819016 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos QUIT :Ping timeout: 240 seconds < 1598894223 649429 :lambdabot!~lambdabot@haskell/bot/lambdabot JOIN :#esoteric < 1598894696 60847 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu JOIN :#esoteric < 1598895056 545378 :int-e!~noone@int-e.eu PRIVMSG #esoteric ::t 5 < 1598895058 97759 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Num p => p > 1598895183 971395 PRIVMSG #esoteric :14[[07,,,14]]4 10 02https://esolangs.org/w/index.php?diff=77172&oldid=77129 5* 03SunnyMoon 5* (+92) 10,,, is a WIP < 1598896395 786238 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos JOIN :#esoteric < 1598896408 685573 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net JOIN :#esoteric < 1598896412 238372 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net QUIT :Client Quit < 1598896552 906167 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos QUIT :Remote host closed the connection < 1598896574 394685 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos JOIN :#esoteric < 1598897294 168285 :imode!~linear@unaffiliated/imode JOIN :#esoteric < 1598900419 686425 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos QUIT :Quit: quit < 1598900553 114500 :TheLie!~TheLie@24.134.17.157 JOIN :#esoteric < 1598900980 97833 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :'Move fast and break stuff.' Well, the interpreter is broken. < 1598901506 240882 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :but did you break it faster than before? < 1598901547 340799 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"Breakfast and move stuff" could be the motto for a moving company. < 1598901738 459934 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :spruit11: what did I bring about this time? is it the `def x y = 3 4;` bug? < 1598902129 938375 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Nah, I did it myself. I thought let compiled wrongly so I tried to fix that and introduced a bug. < 1598902152 26386 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :The original semantics turned out to be correct anyway. < 1598902160 453991 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :It just looks a bit weird. < 1598902230 102434 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net JOIN :#esoteric < 1598902254 365367 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :egelbot: let X Y = 1 2 in Y X < 1598902254 490992 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :(Local:Dummy00 (1 2)) < 1598902257 747475 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :vs < 1598902265 80854 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :egelbot: let (X Y) = 1 2 in Y X < 1598902265 205747 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :(2 1) < 1598902310 864475 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :I thought the first should be correct but turns out the second is better. < 1598902359 383437 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :It's fixed again. < 1598902520 645428 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :ah < 1598902550 926415 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :egelbot: def (foo0 foo1) = 3 4 in (foo0, foo1) < 1598902551 51961 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:2:syntactical:combinator or operator expected < 1598902556 230998 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :egelbot: def (foo0 foo1) = 3 4;; (foo0, foo1) < 1598902556 356871 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:2:syntactical:combinator or operator expected < 1598902565 717952 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :egelbot: def foo0 foo1 = 3 4;; (foo0, foo1) < 1598902565 718000 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:11:syntactical:= expected < 1598902582 500637 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Yah. You can't do that. < 1598902589 52035 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :makes sense, let X Y = ... should define X as a function < 1598902599 323498 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :egelbot: def foo0 Foo1 = 3 4;; (foo0 7) < 1598902599 323560 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:11:syntactical:= expected < 1598902627 173391 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :egelbot: let Foo0 Foo1 = 3 4 in (Foo0 7) < 1598902627 298638 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :(Local:Dummy20 (3 4)) < 1598902633 609734 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :huh < 1598902643 236069 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :egelbot: let Foo0 Foo1 = 3 in (Foo0 7) < 1598902643 236118 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :(Local:Dummy30 3) < 1598902647 160147 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :? < 1598902653 858429 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :egelbot: let Foo0 = 3 in (Foo0 7) < 1598902653 983371 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :(3 7) < 1598902657 842707 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :egelbot: let Foo0 = 3 in Foo0 < 1598902657 967981 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :3 < 1598902662 425834 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :egelbot: let Foo0 Foo1 = 3 in Foo0 < 1598902662 553242 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :(Local:Dummy60 3) < 1598902664 907107 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :egelbot: let Foo0 Foo1 = 3 in Foo1 < 1598902665 33664 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :(Local:Dummy70 3) < 1598902681 55052 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :I don't understand what these do < 1598902725 550702 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :let xx = expr0 in expr1 is just syntactic sugar for [ xx -> expr1 ] expr0 < 1598902766 899201 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :So in you last case you had an abstract of arity two which failed to rewrite on one argument. < 1598902771 409513 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :*you < 1598902773 511569 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :god < 1598902776 226012 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :*your < 1598902800 329736 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :um < 1598902837 796285 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :egelbot: let Foo0 Foo1 = 3 4 in (Foo0, Foo1) < 1598902837 921583 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :(Local:Dummy80 (3 4)) < 1598902859 961087 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :egelbot: [Foo0 Foo1 -> Foo0, Foo1] (3 4) < 1598902860 84404 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:20:syntactical:] expected < 1598902869 634612 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :egelbot: [Foo0 Foo1 -> (Foo0, Foo1)] (3 4) < 1598902869 780655 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :(Local:Dummy90 (3 4)) < 1598902871 305829 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :ok < 1598902878 786531 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :egelbot: let (Foo0 Foo1) = 3 4 in (Foo0, Foo1) < 1598902878 908932 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :(3, 4) < 1598902886 110058 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :egelbot: [(Foo0 Foo1) -> (Foo0, Foo1)] (3 4) < 1598902886 234599 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :(3, 4) < 1598902888 363136 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :ok. < 1598902906 530140 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Right, and this is where the weirdity is. '3 4' composes to '(3 4)' as an argument. And there's no visual hint it does that. < 1598902923 895008 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :I expected that it would bind Foo0 to a function, but egel does not have that syntax < 1598902940 267836 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :not in let, not in def < 1598902949 616133 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :? < 1598903193 135251 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Oh, right. You mean `def f X = something` syntax? No, it's all straightforward combinator definitions. < 1598903222 458760 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :Haskell doesn't have symbolic application expressions, so they can't pattern match an application, so if an application occurs in a pattern, they work like this: < 1598903290 786184 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :`let (F X) = BODY in EXPR;` is the same as `let F X = BODY in EXPR;` and expands to `[F -> EXPR] [X -> BODY]`, where X is bound in BODY so BODY can have occurrances of the paramter X, but X is not bound in EXPR < 1598903292 106895 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :let? No such file or directory < 1598903338 12074 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :and other languages have such syntax too. but egel doesn't, because it wants to decompose application. < 1598903525 187588 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :But it all makes sense! < 1598903533 163678 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Kidding. < 1598903564 359375 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Right. let f x = expr is a function def in Haskell. I can see that's confusing. < 1598903772 6728 :arseniiv_!~arseniiv@94.41.10.181.dynamic.ufanet.ru JOIN :#esoteric < 1598903876 104624 :FreeFull!~freefull@defocus/sausage-lover QUIT :Quit: Rebooting < 1598903931 16069 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1598903958 545938 :arseniiv!~arseniiv@94.41.39.129.dynamic.ufanet.ru QUIT :Ping timeout: 258 seconds < 1598904032 366123 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :But it all makes some sense, right? `let (x y) = 1 2 in y x` is `(\(x y). y x) (1 2)` is `2 1`. But weird still. < 1598904181 842564 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Slightly embarrassing, though. < 1598904192 614079 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Or: a lot. < 1598904222 406757 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :¯\_(ツ)_/¯ < 1598904515 96180 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :I don't really like Haskell's syntax, it's messed up, but this specific part of the syntax is goo < 1598904567 913945 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :btw Mathematica has this haskell function creation syntax too, and it does have applications that can remain unevaluated and then get destructured, just not with that pattern < 1598904592 915506 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :but Mathematica has magic underscore markers to disambiguate < 1598904599 359688 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :so it's not quite the same syntax < 1598904674 125592 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :They did it on purpose. The `f x = expr` syntax. Under water it's compiled to `f = \x . expr`. My language just makes that explicit again. < 1598907630 287355 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :spruit11: sure < 1598907659 138619 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :because it conflicts with other syntax that you use < 1598907744 201944 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :1ms vs. 4ms... frustrating. < 1598907838 109780 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :let me see if I can fix yesterday's mistakes and do this properly with non-lazy lists < 1598907897 887083 :hendursaga!~weechat@gateway/tor-sasl/hendursaga QUIT :Remote host closed the connection < 1598907938 993644 :olsner!~salparot@c80-217-180-83.bredband.comhem.se QUIT :Ping timeout: 256 seconds < 1598907953 703377 :hendursaga!~weechat@gateway/tor-sasl/hendursaga JOIN :#esoteric < 1598908082 223574 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :egelbot: def isint = [(X Y)->0|int->0|X::int->1|X->0];; def listtake_a = [P N S -> [1 _ nil->nil| 1 true _->nil| 1 false (cons A D)-> cons A (plisttake_a P(-1+N)D)| _ _ _->throw"error plisttake" ] (isint N)(N<=0)S ];; def st6 = {08,22,13,59,75,88,94,81,62,54,00,39,60,80,23,82};; listtake 7 st6 < 1598908082 223642 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:135:semantical:undeclared plisttake_a < 1598908116 872000 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :egelbot: def isint = [(X Y)->0|int->0|X::int->1|X->0];; def listtake_a = [P N S -> [1 _ nil->nil| 1 true _->nil| 1 false (cons A D)-> cons A (listtake_a P(-1+N)D)| _ _ _->throw"error plisttake" ] (isint N)(N<=0)S ];; def listtake = [N S -> listtake_a nil N S];; def st6 = {08,22,13,59,75,88,94,81,62,54,00,39,60,80,23,82};; listtake 7 st6 < 1598908116 996128 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :{8, 22, 13, 59, 75, 88, 94} < 1598908157 598438 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :I should try to define a listdrop too < 1598908278 506932 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :egelbot: def listdrop = [N S -> [ true M->M| _ nil->nil| _ (cons A D)->listdrop (-1+N)D ] (N<=0) S ];; listdrop 10 st6 < 1598908278 506994 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :{0, 39, 60, 80, 23, 82} < 1598908326 858905 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :egelbot: (listdrop -4 st6, listdrop 0 st6, listdrop 15 st6, listdrop 16 st6, listdrop 17 st6, listdop 30 st6) < 1598908326 982155 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:87:semantical:undeclared listdop < 1598908331 808652 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :egelbot: (listdrop -4 st6, listdrop 0 st6, listdrop 15 st6, listdrop 16 st6, listdrop 17 st6, listdrop 30 st6) < 1598908331 956776 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :({8, 22, 13, 59, 75, 88, 94, 81, 62, 54, 0, 39, 60, 80, 23, 82}, {8, 22, 13, 59, 75, 88, 94, 81, 62, 54, 0, 39, 60, 80, 23, 82}, {82}, {}, {}, {}) < 1598908489 202851 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :egelbot: listtake 2 (listdrop 6 st6) < 1598908489 202915 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :{94, 81} < 1598908497 909698 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :looks good so far < 1598908508 697945 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :You're a hero for working with alpha software! < 1598908531 604482 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :spruit11: no I'm not. anyone can write code that is hard to understand. most of the work is done by the short random identifiers. < 1598908576 20384 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :if I were a hero, I'd install it to HackEso. < 1598908579 814945 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Ah. Why do you need an `isint` predicate? Untyped voodoo? < 1598908582 8496 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :but I'm still lazy. < 1598908607 703312 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :spruit11: I don't really need that predicate. I just copied it from yesterday, when it seemed like a good idea for some reason. it shouln't be there probably. < 1598908627 830107 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Heh. Okay with me. The last days I hack on it every day so it wouldn't be nice to keep in sync anyway. < 1598908636 875608 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :though on the other hand, I do need a fallback clause in listdrop for non-list inputs < 1598908663 408412 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :egelbot: def listdrop = [N S -> [ true M->M| _ nil->nil| _ (cons A D)->listdrop (-1+N)D ] (N<=0) S| _ _->throw "error listdrop list" ];; listdrop 10 st6 < 1598908663 408477 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :{0, 39, 60, 80, 23, 82} < 1598908681 99770 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :egelbot: listdrop 8 2 < 1598908681 224822 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :(Local:listdrop0 8 System:false 2) < 1598908684 649377 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :um < 1598908701 781133 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :please? there's a catch-all clause < 1598908718 192692 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :ah < 1598908721 125628 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :wrong place < 1598908731 918917 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Not in the inner combinator. < 1598908737 704248 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :egelbot: def listdrop = [N S -> [ true M->M| _ nil->nil| _ (cons A D)->listdrop (-1+N)D| _ _->throw "error listdrop list" ] (N<=0) S ];; listdrop 10 st6 < 1598908737 704314 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :{0, 39, 60, 80, 23, 82} < 1598908741 336531 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :egelbot: listdrop 8 2 < 1598908741 460213 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :exception("error listdrop list") < 1598908743 357343 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :ok < 1598908840 333867 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :You could throw the arguments too to see where it gets stuck on. < 1598908889 576795 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :or return the non-list tail, I know. it doesn't matter, if it comes up and I need to debug it, I can just modify that definition. < 1598908900 221083 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Right. < 1598908914 240516 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Still no idea how all of this works. Please continue. < 1598908924 832572 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :which part? the listtake and listdrop? < 1598908934 784139 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Oh, is it done? < 1598908936 579951 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :they just slice a list, don't you have basically the same things in your prelude? < 1598908939 672170 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :no, it's not really done, < 1598908946 209436 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :I want to do the prime sieve properly < 1598908977 119263 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :I don't see how to do it lazily without continuations or something, so I am interested. < 1598908980 483407 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :starting from yesterday's code but removing the lazyness, then fix its top level < 1598908989 872723 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :no, I'm *removing* the lazyness < 1598908994 375022 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Oh. < 1598908994 621657 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :the lazyness was a stupid idea for it < 1598909027 953916 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Right, my examples were there to test how to do laziness in my language. Looking for more ideas. < 1598909140 654635 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :hmm, I can't see the latest version of the definition of pprimes_i < 1598909150 928451 :olsner!~salparot@c80-217-180-83.bredband.comhem.se JOIN :#esoteric < 1598909186 348321 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :oh , here it is < 1598909282 444214 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :egelbot: def primes_i = [N L-> [nil->false| (cons A D)-> [true _->Afalse| false true->pprimes_i N D| _ _->throw"error pprimes_i =="] (0==(N%A)) (A*Athrow"error pprimes_i uncons"] L] < 1598909282 567790 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:92:semantical:undeclared pprimes_i < 1598909293 352811 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :egelbot: def primes_i = [N L-> [nil->false| (cons A D)-> [true _->Afalse| false true->primes_i N D| _ _->throw"error primes_i =="] (0==(N%A)) (A*Athrow"error primes_i uncons"] L] < 1598909379 696217 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :ah yes, pprimes_sa needs more serious modifications < 1598909473 706501 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :hmm, that's actually harder < 1598909501 233649 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :I need a listrev < 1598909630 482166 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :I forgot all my functional programming. how do you implement rev in a pure eager language? < 1598909633 412349 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :hmm, nice storm again < 1598909723 739238 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :THere's a reverse in the prelude. < 1598909817 923283 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :ah yes, isn't rev the one you can't even write properly without either using mutability temporarily or some really crazy overkill? < 1598909825 414248 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :let me look at your prelude < 1598909835 589881 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :def reverse = foldl (flip cons) nil < 1598909840 950315 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Is that what you need? < 1598909917 876601 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :maybe... I'm looking at that definition and foldl's right now < 1598909983 581617 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :ah yes, I get it < 1598909984 376859 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :thanks < 1598910027 20064 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :egelbot: listrev_a [ S nil -> S| S (cons A D) -> listrev_a (cons A S) D ];; listrev st6 < 1598910027 164697 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:2:semantical:undeclared listrev_a < 1598910044 262975 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :egelbot: def listrev_a [ S nil -> S| S (cons A D) -> listrev_a (cons A S) D ];; def listrev = listrev_a {};; listrev st6 < 1598910044 365981 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:16:syntactical:= expected < 1598910049 933817 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :egelbot: def listrev_a = [ S nil -> S| S (cons A D) -> listrev_a (cons A S) D ];; def listrev = listrev_a {};; listrev st6 < 1598910050 57056 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :{82, 23, 80, 60, 39, 0, 54, 62, 81, 94, 88, 75, 59, 13, 22, 8} < 1598910115 196706 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :egelbot: pack (listrev (unpack "policeman")) < 1598910115 320774 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :"namecilop" < 1598910124 371999 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :thanks for the pointer < 1598910276 395701 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :np < 1598910564 848835 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :egelbot: def primes_sa = [B L F R-> [ true S-> [ true->S R | _->S(cons F R) ] (primes_i F L) | _ _->R ] (F [ true S-> [ true->S R | _->S(cons F R) ] (primes_i F L) | _ _->R ] (Flistrev (primes_sa B L 2 {})];; primes_s 16 {2,3} < 1598910598 988627 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:137:syntactical:= unexpected < 1598910603 830743 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :egelbot: def primes_sa = [B L F R-> [ true S-> [ true->S R | _->S(cons F R) ] (primes_i F L) | _ _->R ] (Flistrev (primes_sa B L 2 {})];; primes_s 16 {2,3} < 1598910603 954796 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :{2, 3, 5, 7, 11, 13} < 1598910615 807835 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :egelbot: primes_s 4 {} < 1598910615 931394 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :{2, 3} < 1598910769 812808 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :egelbot: def primes_16f = primes_s (1<<(1<<4)) (primes_s (1<<(1<<3)) (primes_s (1<<(1<<2)) (primes_s (1<<(1<<1)) {})));; var primes_16 = primes_16f;; listtake 149 primes_16 < 1598910769 956729 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:128:syntactical:= unexpected < 1598910789 612185 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :egelbot: def primes_16f = primes_s (1<<(1<<4)) (primes_s (1<<(1<<3)) (primes_s (1<<(1<<2)) (primes_s (1<<(1<<1)) {}))));; var primes_16 = primes_16f;; listtake 149 primes_16 < 1598910789 735878 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:111:syntactical:) unexpected < 1598910800 325457 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :egelbot: def primes_16f = primes_s (1<<(1<<4)) (primes_s (1<<(1<<3)) (primes_s (1<<(1<<2)) (primes_s (1<<(1<<1)) {})));; listtake 149 primes_16 < 1598910800 448356 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:127:semantical:undeclared primes_16 < 1598910803 531100 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :egelbot: def primes_16f = primes_s (1<<(1<<4)) (primes_s (1<<(1<<3)) (primes_s (1<<(1<<2)) (primes_s (1<<(1<<1)) {})));; listtake 149 primes_16f < 1598910809 612740 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :oops < 1598910814 953567 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :egelbot: "ping" < 1598910822 207566 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :spruit11: sorry < 1598910823 733278 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :{2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 61, 67, 71, 73, 79, 83, 89, 97, 101, 103, 107, 109, 113, 127, 131, 137, 139, 149, 151, 157, 163, 167, 173, 179, 181, 191, 193, 197, 199, 211, 223, 227, 229, 233, 239, 241, 251, 257, 263, 269, 271, 277, 281, 283, 293, 307, 311, 313, 317, 331, 337, 347, 349, 353, 359, 367, 373, 379, 383, 389, 397, 401, 409, 419, 421, 431, 433, 439, 443, 449, 457, 461, 463, 467, 479, 487, 491, 499, < 1598910823 734369 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :"ping" < 1598910827 13345 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :oh, it's alive! < 1598910843 198151 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :egelbot: var primes_16 = primes_16f;; listtake 159 primes_16f < 1598910843 301399 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:16:syntactical:= unexpected < 1598910900 25108 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :spruit11: how does var work? < 1598910945 855938 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :egelbot: length {3,1,4} < 1598910945 856025 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:2:semantical:undeclared length < 1598911005 396716 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :val < 1598911022 10323 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :egelbot: egelbot: listlen_a = [P nil->P| P (cons A D)->listlen(1+P)D| _->throw"error listlen" ];; def listlen = listlen_a 0;; listlen {3,1,4} < 1598911022 132182 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:9:syntactical: unexpected < 1598911038 643466 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :egelbot: val f = print "hello"; 5 < 1598911038 643517 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :hello < 1598911042 909046 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :egelbot: egelbot: listlen_a = [P nil->P| P (cons A D)->listlen(1+P)D| _->throw"error listlen" ] < 1598911043 30389 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:9:syntactical: unexpected < 1598911044 308412 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :egelbot: f < 1598911044 308467 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :5 < 1598911050 497779 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :egelbot: egelbot: def listlen_a = [P nil->P| P (cons A D)->listlen(1+P)D| _->throw"error listlen" ] < 1598911050 621910 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:9:syntactical: unexpected < 1598911069 417063 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :egelbot: def listlen_a = [P nil->P| P (cons A D)->listlen(1+P)D| _->throw"error listlen" ];; def listlen = listlen_a 0;; listlen {3,1,4} < 1598911069 540557 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:43:semantical:undeclared listlen < 1598911079 499760 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :egelbot: def listlen_a = [P nil->P| P (cons A D)->listlen_a(1+P)D| _->throw"error listlen" ];; def listlen = listlen_a 0;; listlen {3,1,4} < 1598911079 499821 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :3 < 1598911083 325377 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :It reduced the body and assigns the result to the combinator. Handy when you don't want to do a computation more often. < 1598911087 361477 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :*reduces < 1598911101 876831 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :egelbot: val primes_16 = primes_16f;; listlen primes_16 < 1598911119 84621 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :6542 < 1598911133 273023 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :egelbot: listdrop ((listlen primes_16) - 39) primes_16 < 1598911133 570537 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :{65101, 65111, 65119, 65123, 65129, 65141, 65147, 65167, 65171, 65173, 65179, 65183, 65203, 65213, 65239, 65257, 65267, 65269, 65287, 65293, 65309, 65323, 65327, 65353, 65357, 65371, 65381, 65393, 65407, 65413, 65419, 65423, 65437, 65447, 65449, 65479, 65497, 65519, 65521} < 1598911143 226517 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :ok, so those are the primes up to 64K < 1598911203 259539 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Nice! < 1598911286 518083 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :now ideally I'd need to write a function that lists the primes in any interval, say F to B: for this it would first have to compute the primes form 0 up to about sqrt B with one call of let L = primes_s (...) primes_16; then compute the list of primes from B to F with a call to primes_sa B L F {} < 1598911314 412593 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :which works because B is less than 1<<64 and so the fourth root of B is less than 1<<16 and so primes_16 is long enough for the first operation < 1598911322 773866 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Looks like you're already stretching the limit. Egel is very slow. < 1598911325 657703 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :but instead I'll just say I'm leaving that as an exercise to the reader < 1598911345 252745 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :spruit11: or I made some stupid mistake which is why my code is too slow < 1598911348 817602 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :that is more likely < 1598911366 414584 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Nah. Don't think so. < 1598911390 572742 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :you could probably find out by adding debugging print statements to trace the code, but I won't do that either now < 1598911401 84296 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :(or unsafe mutability to trace it easier) < 1598911454 68933 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Could you put it in a pastebin? I'll read it then. I can't really reconstruct from irc what's going on. < 1598911475 978386 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :I can try, yes < 1598911482 753623 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :egelbot: tofloat 9999 < 1598911482 856826 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :9999.000000000000 < 1598911487 639414 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :egelbot: Math.sqrt (tofloat 9999) < 1598911487 742656 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:2:semantical:undeclared Math < 1598911496 937202 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :: < 1598911498 265784 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :egelbot: Math:sqrt (tofloat 9999) < 1598911498 389384 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :99.99499987499375 < 1598911502 695634 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :yes, I remembered this time < 1598911510 745381 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :egelbot: Math:ceil (Math:sqrt (tofloat 9999)) < 1598911510 869875 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :100.0000000000000 < 1598911520 658719 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :egelbot: toint (1+ (Math:sqrt (tofloat 9999))) < 1598911520 778595 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :exception("System:+ bad arguments") < 1598911527 210248 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :egelbot: toint (1.0 + (Math:sqrt (tofloat 9999))) < 1598911527 344750 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :100 < 1598911531 374821 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :egelbot: toint (1.5 + (Math:sqrt (tofloat 9999))) < 1598911531 498258 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :101 < 1598911534 510294 :gitlogger!~gitlogger@206.ip-51-91-102.eu QUIT :Excess Flood < 1598911535 300719 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :something like that < 1598911750 598228 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :egelbot: # nonsense < 1598911750 744795 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:12:syntactical:primary expression expected < 1598911757 946952 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :egelbot: 1 # so picky! < 1598911758 73372 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :1 < 1598911768 482328 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :;) < 1598911769 705205 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :you can't even put a comment on its own on a line? really? < 1598911779 535358 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :that seems seriously crippled syntax < 1598911790 748874 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Hey! < 1598911802 107555 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Put you're right. I'll fix that. < 1598911808 659379 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :But < 1598911886 287409 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Rosetta code made me think about the shortest egel program. An empty file. Stuff like that is important for some reason. < 1598912306 439490 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :https://dpaste.com/2FBJZGE5U spruit11 < 1598912341 163740 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Oh nice! < 1598912356 847244 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :spruit11: I guess that counts now that you have val so you can reasonably have programs with the computation split to several expressions < 1598912372 939582 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :so it's not too weird anymore for a program to have no single top-level expression < 1598912393 916069 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :I'll put it in a file and see whether I can understand it from there. < 1598912406 104921 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :not that it matters too much, you can just have the language definion explicitly say whether that's a valid program or not, even if it has to be an exception from the normal rules < 1598912410 446802 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Yah. But adding ;; made a lot of stuff nicer. < 1598912417 537524 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Good idea. < 1598912436 61196 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :As well as the 'pretty' printing stuff. Nice too. < 1598912501 337358 :LKoen!~LKoen@81.255.219.130 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.” < 1598912531 84656 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :spruit11: as for pretty printing, I see that your closures now have more descriptive names, they include the name of the def in which the body apperas < 1598912668 756947 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Myah. They always did that but I now put them into a local namespace. I had an idea about printing the bodies of them (if local, print a string representation) but didn't pan out as I wanted. < 1598912698 873969 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :that might just make the output unreadable though < 1598912709 520228 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :symbolic names are probably better < 1598912759 460158 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Yah. But could make mobile code easier. That's a goal I once had. Still thinking about it. < 1598912788 94883 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :maybe you need multiple printers, or a printer with options, in that case < 1598912792 262278 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :But I guess I'll once adapt to a wire protocol. Which isn't very nice. < 1598912847 197891 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Mwa, the problem is that once compiled, I lose all textual information. Which is why I sometimes regret not impementing an even more braindead rewriter. < 1598912858 942598 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :hmm wait, let me actually check that list < 1598912896 906682 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :egelbot: listdrop (6542 - 39) primes_16 < 1598912897 154041 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :{65101, 65111, 65119, 65123, 65129, 65141, 65147, 65167, 65171, 65173, 65179, 65183, 65203, 65213, 65239, 65257, 65267, 65269, 65287, 65293, 65309, 65323, 65327, 65353, 65357, 65371, 65381, 65393, 65407, 65413, 65419, 65423, 65437, 65447, 65449, 65479, 65497, 65519, 65521} < 1598912931 61814 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :[ ]s=: p: (6524-39) + i.39 < 1598912931 557127 :j-bot!~jbot@hagall.firefly.nu PRIVMSG #esoteric :b_jonas: 64901 64919 64921 64927 64937 64951 64969 64997 65003 65011 65027 65029 65033 65053 65063 65071 65089 65099 65101 65111 65119 65123 65129 65141 65147 65167 65171 65173 65179 65183 65203 65213 65239 65257 65267 65269 65287 65293 65309 < 1598912953 498052 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :[ e=: 65101, 65111, 65119, 65123, 65129, 65141, 65147, 65167, 65171, 65173, 65179, 65183, 65203, 65213, 65239, 65257, 65267, 65269, 65287, 65293, 65309, 65323, 65327, 65353, 65357, 65371, 65381, 65393, 65407, 65413, 65419, 65423, 65437, 65447, 65449, 65479, 65497, 65519, 65521 < 1598912953 992759 :j-bot!~jbot@hagall.firefly.nu PRIVMSG #esoteric :b_jonas: |ok < 1598912957 458159 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :[ e-:s < 1598912957 952602 :j-bot!~jbot@hagall.firefly.nu PRIVMSG #esoteric :b_jonas: 0 < 1598912968 651059 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :[ (#e),(#s) < 1598912969 151173 :j-bot!~jbot@hagall.firefly.nu PRIVMSG #esoteric :b_jonas: 39 39 < 1598912981 5073 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :If I would design something with the aim of mobile code, I would now remove the combinator table (no more recursive defs) and bytecode generation (everything remains a term). < 1598913020 188895 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :[ ]s=: p: (6542-39) + i.39 < 1598913020 490277 :j-bot!~jbot@hagall.firefly.nu PRIVMSG #esoteric :b_jonas: 65101 65111 65119 65123 65129 65141 65147 65167 65171 65173 65179 65183 65203 65213 65239 65257 65267 65269 65287 65293 65309 65323 65327 65353 65357 65371 65381 65393 65407 65413 65419 65423 65437 65447 65449 65479 65497 65519 65521 < 1598913024 666831 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :[ e-:s < 1598913025 284928 :j-bot!~jbot@hagall.firefly.nu PRIVMSG #esoteric :b_jonas: 1 < 1598913026 691139 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :good < 1598913031 781104 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :so the result is correct < 1598913035 312128 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :always remember to test the result < 1598913037 333175 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Great! < 1598913065 183459 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :spruit11: so that's another idea for egel2? < 1598913108 801872 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Myah. But you also lose a lot. Like mutual recursive defs are a pain. < 1598913125 566209 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :To write yourself, I mean. < 1598913141 485324 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :And even more abysmal performance, I guess. < 1598913193 205200 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Anyway, Wadler is already way more ahead of that with his typed contract language for some cybercoin scheme. < 1598913238 205344 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :ahh yes, cybercoins. < 1598913256 170613 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :`coins < 1598913258 228556 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :​08bywcoin 09homagnccoin 02tedcoin 06fobcoin 13bitwirequarcoin 04guitafncoin 07tempr0mcoin 08symencoin 09aeolbcoin 02batcoin 06orticonvolucecoin 13pertychcoin 04ophysouttcoin 07inecoin 08gladhacoin 09tributecoin 02iagcoin 06xcvidolcoin 13metergoicoin 04govecoin < 1598913266 376399 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :I still have some hope egel could be useful for short, fast, and dirty jobs. But I don't think I'll ever find a programmer who would use it for that. < 1598913312 285669 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :You can only buy concert tickets for tribute acts with tributecoin. < 1598913367 373332 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :spruit11: you could use it for short, fast, and dirty jobs yourself. that's how some of the toy languages work, like blsq, and some languages that later become big start that way too < 1598913532 526430 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Yah. Maybe I'll try a cgi thing once. < 1598913628 97251 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :spruit11: you could try it for golf problems, I think that will reveal what you're still missing from the builtins for example < 1598913655 385547 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Golf problems? < 1598913661 148352 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :yes < 1598913674 756581 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :even if you're not particularly golfing them < 1598913677 24190 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :just solving them < 1598913686 202195 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :it could be other short programming problems too < 1598913688 101694 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Shortest code stuff? I forgot what golfing means. < 1598913703 244158 :b_jonas!~x@catv-176-63-12-17.catv.broadband.hu PRIVMSG #esoteric :yes < 1598913782 825670 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Yah. Well, one thing is that egel is too general somehow. Meaning, it isn't particularly good at anything. So maybe I'll try to find a thing it could be good at. < 1598915495 646534 :arseniiv_!~arseniiv@94.41.10.181.dynamic.ufanet.ru PRIVMSG #esoteric : I don't really like Haskell's syntax, it's messed up => is there an exposition on this somewhere? It would be interesting to compare notes (not that I think I don’t like the syntax but maybe I have some implicit worries about it and they will float up to the consciousness) < 1598915507 855037 :arseniiv_!~arseniiv@94.41.10.181.dynamic.ufanet.ru NICK :arseniiv < 1598915530 635513 :arseniiv!~arseniiv@94.41.10.181.dynamic.ufanet.ru PRIVMSG #esoteric :hm I’m unfortunately very late already, gtg bye! < 1598915651 74109 :arseniiv!~arseniiv@94.41.10.181.dynamic.ufanet.ru PRIVMSG #esoteric :now I wonder if there something like code golf for testing conlangs this way < 1598916004 328331 :TheLie!~TheLie@24.134.17.157 QUIT :Remote host closed the connection < 1598916315 341719 :t20kdc!~20kdc@cpc139340-aztw33-2-0-cust225.18-1.cable.virginm.net QUIT :Remote host closed the connection < 1598916395 8864 :arseniiv!~arseniiv@94.41.10.181.dynamic.ufanet.ru QUIT :Ping timeout: 246 seconds