< 1572307306 557196 :subleq!~gavin@207.173.246.52 JOIN :#esoteric < 1572307947 789652 :Melvar!~melvar@dslb-084-063-063-155.084.063.pools.vodafone-ip.de QUIT :Ping timeout: 268 seconds < 1572307998 375496 :Melvar!~melvar@dslb-084-063-063-155.084.063.pools.vodafone-ip.de JOIN :#esoteric < 1572309485 65362 :ArthurStrong!~ArthurStr@slow.wreckage.volia.net JOIN :#esoteric < 1572309937 88307 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 240 seconds < 1572312151 268385 :imode!~linear@unaffiliated/imode JOIN :#esoteric > 1572312739 776355 PRIVMSG #esoteric :14[[07PTSL/instrtable14]]4 10 02https://esolangs.org/w/index.php?diff=66873&oldid=66869 5* 03Moon 5* (+704) 10 > 1572313007 410297 PRIVMSG #esoteric :14[[07PTSL14]]4 10 02https://esolangs.org/w/index.php?diff=66874&oldid=66861 5* 03Moon 5* (-1) 10 < 1572315255 723416 :moonheart08!~moony@hellomouse/dev/moony JOIN :#esoteric < 1572315274 294931 :moonheart08!~moony@hellomouse/dev/moony PRIVMSG #esoteric :Boo < 1572315707 870292 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :ooB < 1572316037 95122 :MDude!~MDude@c-174-55-101-236.hsd1.pa.comcast.net QUIT :Ping timeout: 240 seconds < 1572316457 871195 :lf94!~lf94@unaffiliated/lf94 PRIVMSG #esoteric :obo < 1572316474 591480 :lf94!~lf94@unaffiliated/lf94 PRIVMSG #esoteric :boo < 1572316487 416411 :lf94!~lf94@unaffiliated/lf94 PRIVMSG #esoteric :oob < 1572317328 315232 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :boob < 1572319623 306666 :moonheart08!~moony@hellomouse/dev/moony QUIT :Read error: Connection reset by peer < 1572319628 649206 :moony_!~moony@hellomouse/dev/moony JOIN :#esoteric < 1572320668 869225 :hppavilion[1]!~omegasome@172.98.86.92 JOIN :#esoteric < 1572320971 939109 :moony_!~moony@hellomouse/dev/moony QUIT :Read error: Connection reset by peer < 1572323592 387269 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 265 seconds < 1572325677 447532 :subiru!~subiru@41.217.14.67 JOIN :#esoteric < 1572325726 732155 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I cleaned up http://slbkbs.org/tmp/fmt/fmt.h somewhat and added fancy features. < 1572325731 851151 :subiru!~subiru@41.217.14.67 PART :#esoteric < 1572325736 755777 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Example usage: http://slbkbs.org/tmp/fmt/main.c < 1572325755 517889 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: I think you wanted to see it at one point? < 1572327331 751860 :hppavilion[1]!~omegasome@172.98.86.92 QUIT :Remote host closed the connection > 1572334698 647782 PRIVMSG #esoteric :14[[07Replace14]]4 10 02https://esolangs.org/w/index.php?diff=66875&oldid=40816 5* 03Groowy 5* (+119) 10/* External resources */ < 1572337486 485922 :b_jonas!~x@catv-176-63-13-217.catv.broadband.hu QUIT :Remote host closed the connection < 1572338587 871229 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1572338684 825051 :cpressey!~cpressey@5.133.242.4 JOIN :#esoteric < 1572339194 892460 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 240 seconds < 1572339497 980025 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1572339862 30821 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 252 seconds < 1572340508 56531 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1572340513 301888 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :Phantom_Hoover ! < 1572340552 307913 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Client Quit < 1572344469 951243 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1572344663 59007 :arseniiv!~arseniiv@94.41.13.149.dynamic.ufanet.ru JOIN :#esoteric < 1572345702 52285 :Phantom__Hoover!~phantomho@cpc108439-cowc8-2-0-cust785.14-2.cable.virginm.net JOIN :#esoteric < 1572345706 743617 :Phantom__Hoover!~phantomho@cpc108439-cowc8-2-0-cust785.14-2.cable.virginm.net QUIT :Changing host < 1572345706 743670 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1572345903 932255 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 264 seconds < 1572347141 95177 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric : is there (I think there is) a special name for algebraic types isomorphic to a sum of products of such types? <--- I don't know, but it reminds me of boolean algebras. < 1572347183 232701 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :But that may just be because I've been reading about boolean algebras lately. < 1572347520 175951 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Do you like complete atomic boolean algebras? < 1572347653 647282 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :Only if they're also residuated. < 1572347691 218024 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What's that? < 1572347708 767899 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh. < 1572347714 186030 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :Uh, kind of like division, or implication, I gather. < 1572347752 110472 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 JOIN :#esoteric < 1572348584 397379 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The joke is that CABAs are just sets. < 1572348589 426922 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Or rather antisets? < 1572352791 319874 :imode!~linear@unaffiliated/imode JOIN :#esoteric < 1572353564 153594 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :arseniiv: I think any algebraic type that doesn't use parametric polymorhpism (that is, -> in the kind) in its definition (and the definitions of other types that it's dependent on) has that property, so you can just call them algebraic types < 1572353578 95633 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :algebraic is specifically the name because they're defined by polynomial equations < 1572353673 617262 :arseniiv!~arseniiv@94.41.13.149.dynamic.ufanet.ru PRIVMSG #esoteric :wib_jonas: isn’t the class of algebraic types wider? < 1572353949 74340 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :see http://www.madore.org/cgi-bin/comment.pl/showcomments?href=http%3a%2f%2fwww.madore.org%2f%7edavid%2fweblog%2f2017-11.html%23d.2017-11-10.2477 for where the "algebraic" name comes from, though in a slightly different context than algebraic types < 1572353975 222086 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :arseniiv: it is wider if you allow parametric polymorpism, as in definitions like "data Foo a = ..." where a is a type parameter < 1572353987 671270 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :then you can define types that you couldn't otherwise, as in that famous square matrix type < 1572354015 395779 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :but if you only give definitions like "data Foo = ..." with constructors on the right side, then I don't think so < 1572354041 141561 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :it's basically the same as with the context-free language productions < 1572354050 90950 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :but I'm not entirely sure that that matches your description entirely < 1572354060 514642 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :"types isomorphic to a sum of products of such types?" < 1572354084 561645 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :if you read that wrong, then maybe any type matches it because it's isomorphic to itself < 1572354121 939800 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :so maybe I just don't understand your question < 1572354144 775280 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :hmm wait < 1572354147 884930 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :maybe that is narrower < 1572354170 983131 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :arseniiv: ok, maybe you're right and that's not all algebraic types, if you write the definition properly < 1572354173 39161 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :I'm not sure < 1572354279 344164 :moonheart08!~moony@hellomouse/dev/moony JOIN :#esoteric < 1572354306 42232 :arseniiv!~arseniiv@94.41.13.149.dynamic.ufanet.ru PRIVMSG #esoteric :I meant that there are several definitions like data T = C_1 a_11 … a_1(k1) | … | C_n an_1 … a_n(kn) where all a_ij are some T defined this way < 1572354329 723166 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :arseniiv: is this definition written in such a way that if you take `data A = I; data L = N | C A L; data M = E | D L M; data P = X | M;` then L and M match your definition but P doesn't? < 1572354373 774177 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :arseniiv: oh < 1572354388 221920 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :arseniiv: well in that case I think that's exactly what I'd call "algebraic types" in the strictest sense < 1572354407 473220 :arseniiv!~arseniiv@94.41.13.149.dynamic.ufanet.ru PRIVMSG #esoteric :no, P does too if X, M are constructor names < 1572354420 995049 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :yes, I typoed that < 1572354423 907801 :arseniiv!~arseniiv@94.41.13.149.dynamic.ufanet.ru PRIVMSG #esoteric :wib_jonas: hm interesting < 1572354433 19053 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :`data A = I; data L = N | C A L; data M = E | D L M; data P = X | V M;` < 1572354433 711149 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :​/srv/hackeso-code/multibot_cmds/lib/limits: line 5: exec: data: not found < 1572354457 702997 :moonheart08!~moony@hellomouse/dev/moony PRIVMSG #esoteric :
ACTION pretends he knows what's being discussed
< 1572354479 526664 :arseniiv!~arseniiv@94.41.13.149.dynamic.ufanet.ru PRIVMSG #esoteric :shouldn’t we also call a type `data X = X (A → L)` algebraic? < 1572354497 258947 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :arseniiv: not in the strictest sense I think < 1572354504 315417 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :but you use names in whatever way you like < 1572354519 736818 :arseniiv!~arseniiv@94.41.13.149.dynamic.ufanet.ru PRIVMSG #esoteric :ah, so I can name them “algebraic in the strict sense” in parenthesis < 1572354520 438870 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :in the haskell context you could call any type that you define with `data` algebraic < 1572354540 688357 :arseniiv!~arseniiv@94.41.13.149.dynamic.ufanet.ru PRIVMSG #esoteric :yeah, that got me confused in the first place < 1572354570 451401 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :but you can define non-algebraic types with `data` if you use type parameters or other stuff > 1572354806 81189 PRIVMSG #esoteric :14[[07PTSL/instrtable14]]4 10 02https://esolangs.org/w/index.php?diff=66876&oldid=66873 5* 03Moon 5* (+100) 10Add CALLASM < 1572355045 996131 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :Oh, I thought they were called algebraic data types because their definitions are like signatures of algebraic structures < 1572355083 907336 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :cpressey: what? how? algebraic structures have multi-argument functions in them, don't they? < 1572355125 577981 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :Don't algebraic data types have multi-argument constructors? < 1572355173 289364 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 265 seconds < 1572355173 736087 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :cpressey: yes, but also alternations < 1572355188 612362 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :data BA = And BA BA | Or BA BA | Not BA | One | Zero < 1572355209 845397 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :cpressey: hmm < 1572355210 535271 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :i thought it was because theyre polynomials on types < 1572355219 767098 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :That looks a lot like an algebraic signature to me. Not saying it is, but hard to see why you seemed shocked at the idea wib_jonas < 1572355230 643593 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :cpressey: that makse sense < 1572355252 643747 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :cpressey: so you take the language of expressions that you can make from op'ns in that algebraic structures < 1572355272 789103 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :cpressey: that's not how I'd imagine algebraic structure signatures, but I guess you're right, you can think of them like that < 1572355361 93488 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :P_H: they're defined by polynomial equations, that's why they're called algebraic data types, yes > 1572355480 924867 PRIVMSG #esoteric :14[[07PTSL/instrtable14]]4 10 02https://esolangs.org/w/index.php?diff=66877&oldid=66876 5* 03Moon 5* (+373) 10MSET* < 1572355550 523078 :moonheart08!~moony@hellomouse/dev/moony PRIVMSG #esoteric :Shame that a computer running a 2D language would be kinda useless < 1572355557 937381 :moonheart08!~moony@hellomouse/dev/moony PRIVMSG #esoteric :Otherwise I would've done that... < 1572355560 749136 :moonheart08!~moony@hellomouse/dev/moony PRIVMSG #esoteric :Hmmmm < 1572355566 132434 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :why would that be useless? < 1572355581 982929 :moonheart08!~moony@hellomouse/dev/moony PRIVMSG #esoteric :Or rather, it'd be too complicated to implement with 80s hardware < 1572355664 225459 :moonheart08!~moony@hellomouse/dev/moony PRIVMSG #esoteric :But < 1572355671 647456 :moonheart08!~moony@hellomouse/dev/moony PRIVMSG #esoteric :I'm thinking it over.. < 1572355675 413489 :moonheart08!~moony@hellomouse/dev/moony PRIVMSG #esoteric :May be doable < 1572355769 232451 :moonheart08!~moony@hellomouse/dev/moony PRIVMSG #esoteric :Could index a memory device as 2D if it's size is a power of 2 < 1572355852 220005 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :or you could just use modulo? < 1572355860 107774 :moonheart08!~moony@hellomouse/dev/moony PRIVMSG #esoteric :(The 2d planeb that is) < 1572355884 125371 :moonheart08!~moony@hellomouse/dev/moony PRIVMSG #esoteric :myname: modulo is expensive in hardware. < 1572355931 892224 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :i know that, but you didn't mention performance yet < 1572355943 239990 :moonheart08!~moony@hellomouse/dev/moony PRIVMSG #esoteric :Yea, won't work. Idea too useless compared to normal hardware. < 1572355968 315850 :moonheart08!~moony@hellomouse/dev/moony PRIVMSG #esoteric :Too poor perf < 1572356011 228735 :moonheart08!~moony@hellomouse/dev/moony PRIVMSG #esoteric :Unless.. Hmmm < 1572356017 977409 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :you could also just split the address in half < 1572356045 534673 :moonheart08!~moony@hellomouse/dev/moony PRIVMSG #esoteric :That was what I was considering, yea < 1572356053 704617 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :finally, useful usage of al and ah < 1572356076 273024 :moonheart08!~moony@hellomouse/dev/moony PRIVMSG #esoteric :Also this is an idea for custom hardware, not x86 < 1572356085 696083 :moonheart08!~moony@hellomouse/dev/moony PRIVMSG #esoteric :So it'd be a hardware implemented fungeoid < 1572356232 962601 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :i am curious if you could use an fpga for a weird way of memory access < 1572356387 183790 :moonheart08!~moony@hellomouse/dev/moony PRIVMSG #esoteric :cpressey: hia. Wondering if you had any advice for making a hardware based fungeoid run fast. < 1572356399 96154 :moonheart08!~moony@hellomouse/dev/moony PRIVMSG #esoteric :(Probably not, but worth asking) < 1572356483 63070 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :moonheart08: Don't give it an unbounded playfield? Other than that, not really, sorry. < 1572356502 185375 :moonheart08!~moony@hellomouse/dev/moony PRIVMSG #esoteric :Alright. Unbounded wasn't in the plan. < 1572356648 512649 :moonheart08!~moony@hellomouse/dev/moony PRIVMSG #esoteric :I already have one thing in mind: A directional jump that takes a numeric argument instead of searching ahead < 1572356976 412765 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :moonheart08: Actually I do have one idea, not sure it applies to what you're doing, but: assuming you only have 4 possible deltas for the IP it might be more efficient to have 4 read-execute loops instead of a single read-execute loop that loads the delta and adds it on every cycle. < 1572357029 410565 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :(More expensive too, though, in terms of real estate) > 1572357041 65160 PRIVMSG #esoteric :14[[07User talk:Groowy14]]4 10 02https://esolangs.org/w/index.php?diff=66878&oldid=62956 5* 03Groowy 5* (-2184) 10Replaced content with "''Talks cleaned at 29th October 2019 12:50 CET''" > 1572357091 470204 PRIVMSG #esoteric :14[[07User talk:Groowy14]]4 10 02https://esolangs.org/w/index.php?diff=66879&oldid=66878 5* 03Groowy 5* (+3) 10 < 1572357887 64200 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :execute every possible next instruction at once, choose the one corresponding to your delta :D < 1572357986 493127 :Sgeo!~Sgeo@ool-18b982ad.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1572358012 44053 :Sgeo!~Sgeo@ool-18b982ad.dyn.optonline.net JOIN :#esoteric < 1572358526 419725 :Sgeo!~Sgeo@ool-18b982ad.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1572358554 14730 :Sgeo!~Sgeo@ool-18b982ad.dyn.optonline.net JOIN :#esoteric > 1572358875 155213 PRIVMSG #esoteric :14[[07PTSL/instrtable14]]4 10 02https://esolangs.org/w/index.php?diff=66880&oldid=66877 5* 03Moon 5* (+241) 10 < 1572359656 996916 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 240 seconds < 1572359767 952384 :moonheart08!~moony@hellomouse/dev/moony PRIVMSG #esoteric :cpressey: would require that it waste time loading data it won't use from RAM < 1572360226 674995 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :I don't think it does; it's more like having 4 seperate CPUs, one for each direction, that "swap off" their processing to one of the others, when the direction changes. Massive waste of transistors, just to optimize the "advance to next cell" circuit. < 1572360688 906828 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :Good grief, now I'm actually wondering if you could actually do that with 4 actual 8-bit CPUs > 1572360955 282241 PRIVMSG #esoteric :14[[07PTSL/instrtable14]]4 10 02https://esolangs.org/w/index.php?diff=66881&oldid=66880 5* 03Int-e 5* (+37) 10add headline with link to PTSL page < 1572360998 983777 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(Editing the URL to get to the main page sucks... though maybe there's a prettier option) < 1572361025 634599 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :huh? < 1572361089 238920 :int-e!~noone@int-e.eu PRIVMSG #esoteric :myname: How do you get back from https://esolangs.org/wiki/PTSL/instrtable to https://esolangs.org/wiki/PTSL if there isn't a link for that in the page? < 1572361111 581165 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :there always is? < 1572361137 512683 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :oh < 1572361143 972872 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :okay not for that < 1572361150 727952 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :from the diff pages, though < 1572361236 11601 :int-e!~noone@int-e.eu PRIVMSG #esoteric :can one /replace/ the standard headline? I mean, if the PTSL in there was a link, that would be perfect? < 1572361309 220400 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :int-e: no, that would be confusing. < 1572361329 916472 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :I thought mediawiki usually puts a link for parent pages under the page title when there's a slash inside the title < 1572361334 319320 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :but evidently it's not doing that here < 1572361878 971851 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :If you like clicking you can click "What links here" then click "PTSL"! > 1572362378 189943 PRIVMSG #esoteric :14[[07PTSL/instrtable14]]4 10 02https://esolangs.org/w/index.php?diff=66882&oldid=66881 5* 03Moon 5* (+23) 10n o i n c l u d e > 1572362407 598470 PRIVMSG #esoteric :14[[07PTSL/instrtable14]]4 10 02https://esolangs.org/w/index.php?diff=66883&oldid=66882 5* 03Moon 5* (-1) 10fix space < 1572362583 990956 :moonheart08!~moony@hellomouse/dev/moony PRIVMSG #esoteric :int-e: Noinclude is nice for avoiding duplicate headers in the main article :) < 1572362664 232537 :int-e!~noone@int-e.eu PRIVMSG #esoteric :moonheart08: ah, sorry. < 1572362671 624294 :moonheart08!~moony@hellomouse/dev/moony PRIVMSG #esoteric :No problem < 1572362675 307374 :int-e!~noone@int-e.eu PRIVMSG #esoteric :moonheart08: thanks for fixing it :) < 1572363373 650827 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :why is this even a separate article? do you expect to have a family of several languages that share the instruction table but are otherwise so different that they'll each be described on their own page? < 1572363382 807746 :moonheart08!~moony@hellomouse/dev/moony PRIVMSG #esoteric :Brevity. < 1572363388 31233 :moonheart08!~moony@hellomouse/dev/moony PRIVMSG #esoteric :Makes it easier to edit < 1572363534 818740 :moonheart08!~moony@hellomouse/dev/moony PRIVMSG #esoteric :Keeps the core article free of a massive table in it's source. Makes it easier to go through < 1572363719 398063 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :There's some precedent for putting distinctly technical things (proofs, implementations) in their own child articles > 1572363759 948371 PRIVMSG #esoteric :14[[07Transfinite program14]]4 M10 02https://esolangs.org/w/index.php?diff=66884&oldid=66847 5* 03Chris Pressey 5* (+27) 10+cat Program forms, because this is a form a program can take < 1572363795 525243 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :cpressey: sure. but this one is transcluded into the main article. I guess that could change if the main article becomes too long. < 1572363834 411477 :moonheart08!~moony@hellomouse/dev/moony PRIVMSG #esoteric :The main point *right now* is convenience when editing < 1572363923 353572 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :Do we have a year category for languages that will be published in the future, like Feather? < 1572363938 616727 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :I was just wondering if I should make an article for Magic-16, which is such a language < 1572363944 911295 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :but it would be just a stub article < 1572363960 296362 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :PL/MIX might also count < 1572363990 674971 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :and TwoDucks according to https://esolangs.org/wiki/History#2023 > 1572363994 152868 PRIVMSG #esoteric :14[[07PTSL/instrtable14]]4 10 02https://esolangs.org/w/index.php?diff=66885&oldid=66883 5* 03Moon 5* (+56) 10Collapse instr table by default, as not all readers need it. > 1572364012 134073 PRIVMSG #esoteric :14[[07PTSL/instrtable14]]4 10 02https://esolangs.org/w/index.php?diff=66886&oldid=66885 5* 03Moon 5* (+15) 10fix < 1572364030 48858 :moonheart08!~moony@hellomouse/dev/moony PRIVMSG #esoteric :Shpuld've used preview > 1572364201 773496 PRIVMSG #esoteric :14[[07PTSL/instrtable14]]4 10 02https://esolangs.org/w/index.php?diff=66887&oldid=66886 5* 03Moon 5* (+14) 10class="nowrap" doesn't work on here. Had to do it manually. style="white-space: nowrap;" < 1572365208 736230 :imode!~linear@unaffiliated/imode JOIN :#esoteric < 1572365902 104835 :cpressey!~cpressey@5.133.242.4 QUIT :Quit: quietly < 1572366758 391304 :MDude!AdiIRC@c-174-55-101-236.hsd1.pa.comcast.net JOIN :#esoteric < 1572366905 275048 :moony_!~moony@hellomouse/dev/moony JOIN :#esoteric < 1572367147 806926 :moonheart08!~moony@hellomouse/dev/moony QUIT :Ping timeout: 268 seconds < 1572367353 282596 :moony_!~moony@hellomouse/dev/moony QUIT :Ping timeout: 265 seconds < 1572368529 25419 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 QUIT :Remote host closed the connection < 1572368715 54810 :kspalaiologos!~kspalaiol@176.221.122.71 JOIN :#esoteric < 1572369300 273000 :moony_!~moony@hellomouse/dev/moony JOIN :#esoteric < 1572369878 894182 :kspalaiologos!~kspalaiol@176.221.122.71 QUIT :Quit: Leaving < 1572369928 353837 :kspalaiologos!~kspalaiol@176.221.122.71 JOIN :#esoteric < 1572371033 727779 :iczero!iczero@hellomouse/dev/iczero NICK :probability < 1572371098 895827 :BWBellairs!~bwbellair@hellomouse/dev/bwbellairs NICK :Yotsugi < 1572371203 184640 :moony_!~moony@hellomouse/dev/moony NICK :moonythewerewolf < 1572371241 791179 :moonythewerewolf!~moony@hellomouse/dev/moony QUIT :Remote host closed the connection < 1572371777 279041 :LKoen!~LKoen@81.255.219.130 JOIN :#esoteric < 1572371851 811455 :Yotsugi!~bwbellair@hellomouse/dev/bwbellairs NICK :OugiOshino < 1572371961 284468 :LKoen!~LKoen@81.255.219.130 QUIT :Remote host closed the connection < 1572372011 425642 :LKoen!~LKoen@81.255.219.130 JOIN :#esoteric < 1572373286 974866 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 246 seconds < 1572373833 666619 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1572375584 328064 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1572377384 906963 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1572377486 472969 :Sgeo!~Sgeo@ool-18b982ad.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1572377510 328526 :Sgeo!~Sgeo@ool-18b982ad.dyn.optonline.net JOIN :#esoteric < 1572377559 709457 :b_jonas!~x@catv-176-63-13-140.catv.broadband.hu JOIN :#esoteric > 1572377923 467367 PRIVMSG #esoteric :14[[07BareMinimum14]]4 10 02https://esolangs.org/w/index.php?diff=66888&oldid=66602 5* 03Joshop 5* (+673) 10 < 1572378163 694890 :LKoen!~LKoen@81.255.219.130 QUIT :Remote host closed the connection < 1572378376 948188 :LKoen!~LKoen@81.255.219.130 JOIN :#esoteric < 1572378380 389439 :kspalaiologos!~kspalaiol@176.221.122.71 QUIT :Quit: Leaving > 1572378403 862813 PRIVMSG #esoteric :14[[07BareMinimum14]]4 10 02https://esolangs.org/w/index.php?diff=66889&oldid=66888 5* 03Joshop 5* (+427) 10 < 1572378911 263174 :lf94!~lf94@unaffiliated/lf94 PRIVMSG #esoteric :list comprehensions is such a powerful syntax < 1572378934 656007 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :you should add it to modal. < 1572378940 611997 :lf94!~lf94@unaffiliated/lf94 PRIVMSG #esoteric :[start...stop;step, filter1, filter2, filter3...] < 1572378962 887626 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 240 seconds < 1572379270 555686 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :monad comprehensions are even better < 1572379398 654519 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :you ever get a feeling that you're not using a tool you made the right way. < 1572379681 963186 :lf94!~lf94@unaffiliated/lf94 PRIVMSG #esoteric :kmc wat < 1572379737 885375 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :[f(x) for x in xs if p(x)] # extremely powerful < 1572379762 598985 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :for x in xs: if p(x): list.append(f(x)) # useless old-hat syntax < 1572379970 179399 :b_jonas!~x@catv-176-63-13-140.catv.broadband.hu PRIVMSG #esoteric :shachaf: it's not useless, and I like it < 1572380000 865599 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :the joke is that they're p. much the same thing < 1572380027 982510 :lf94!~lf94@unaffiliated/lf94 PRIVMSG #esoteric :I just care about having a good way to express how to define a certain list < 1572380033 759526 :lf94!~lf94@unaffiliated/lf94 PRIVMSG #esoteric :I couldn't find anything other than set theory < 1572380043 843365 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :my fancy language will probably let you implement comprehensions using ` trickery < 1572380070 476032 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Did y'all see my fancy C fmt thing? < 1572380132 347804 :b_jonas!~x@catv-176-63-13-140.catv.broadband.hu PRIVMSG #esoteric :shachaf: I glanced at it. it does look interesting < 1572380135 370863 :b_jonas!~x@catv-176-63-13-140.catv.broadband.hu PRIVMSG #esoteric :I should look at it more < 1572380148 603736 :b_jonas!~x@catv-176-63-13-140.catv.broadband.hu PRIVMSG #esoteric :what were its urls again? < 1572380166 934582 :b_jonas!~x@catv-176-63-13-140.catv.broadband.hu PRIVMSG #esoteric :http://slbkbs.org/tmp/fmt/fmt.h < 1572380169 943732 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :https://slbkbs.org/tmp/fmt/fmt.h (example usage: https://slbkbs.org/tmp/fmt/main.c ) < 1572380179 104457 :b_jonas!~x@catv-176-63-13-140.catv.broadband.hu PRIVMSG #esoteric :ok < 1572380367 538194 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I like the init/chunk API. But it's possible that it has more overhead than it's worth for this particular application? < 1572380430 810425 :int-e!~noone@int-e.eu PRIVMSG #esoteric :surprisingly, "slbkbs" is not the result of applying a substitution cipher to "funpun". < 1572380516 74599 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :where is it from? < 1572380552 221934 :lf94!~lf94@unaffiliated/lf94 PRIVMSG #esoteric :monad comprehensions seem nice < 1572380837 802013 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 268 seconds < 1572381728 975651 :atslash!~atslash@static.231.107.9.5.clients.your-server.de QUIT :Ping timeout: 246 seconds < 1572381994 973825 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1572382000 295574 :imode!~linear@unaffiliated/imode JOIN :#esoteric < 1572382248 494332 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric : I have a term rewriting language and I don't know how to use it. < 1572382390 70823 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :use it to rewrite your brain until you do hth < 1572382743 332705 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 245 seconds < 1572382980 771256 :lf94!~lf94@unaffiliated/lf94 PRIVMSG #esoteric :hth? < 1572382992 130122 :lf94!~lf94@unaffiliated/lf94 PRIVMSG #esoteric :imode: your language is too powerful for the human mind :v < 1572383023 178418 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :lf94: (`(`(K ?x)?y)) -> (?x) (`(`(`(S ?x)?y)?z) -> (`(`(?x ?z)`(?y ?z))) < 1572383032 833477 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :I don't know if that works. but those are S and K. < 1572383041 724252 :lf94!~lf94@unaffiliated/lf94 PRIVMSG #esoteric :combinators? < 1572383046 691600 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :there's probably some issue with parenthesization. < 1572383048 778925 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :yeah. < 1572383064 835454 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :I don't know how I'd test that. < 1572383087 798391 :lf94!~lf94@unaffiliated/lf94 PRIVMSG #esoteric :easy < 1572383103 827583 :lf94!~lf94@unaffiliated/lf94 PRIVMSG #esoteric :SK make other known expressions < 1572383112 619097 :lf94!~lf94@unaffiliated/lf94 PRIVMSG #esoteric :just see if they make them < 1572383180 606427 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :I think there's going to be parentheses issues. < 1572383245 263652 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :`(`(`(S foo) (`(`(K bar) quux))) baz) yields `(`(`(foo baz) `((bar) baz))) < 1572383245 951527 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :​/srv/hackeso-code/multibot_cmds/lib/limits: line 5: exec: (`(`(S: not found < 1572383250 78945 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :whoops, sorry. < 1572384570 492618 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :yeah it doesn't work.. meh. < 1572385860 952555 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :shachaf: the first gigasecond of my life is almost over < 1572385866 66294 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :anything more i should do? < 1572386143 136292 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :that's a lotta seconds < 1572386171 966177 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :31? damn. < 1572386184 955545 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :I'll save that marker for later. > 1572386185 599724 PRIVMSG #esoteric :14[[07Smurf14]]4 10 02https://esolangs.org/w/index.php?diff=66890&oldid=66825 5* 03Oerjan 5* (+39) 10/* External resources */ Wayback < 1572386210 247101 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :kmc: more gigs hth < 1572386226 361519 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :it's national cat day < 1572386231 232087 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :happy national cat day < 1572386265 28522 :arseniiv!~arseniiv@94.41.13.149.dynamic.ufanet.ru PRIVMSG #esoteric :(sorry for a multiliner which follows) < 1572386265 148136 :arseniiv!~arseniiv@94.41.13.149.dynamic.ufanet.ru PRIVMSG #esoteric :there’s μ-recursion operator which takes f :: N^(n+1) → N and returns μf :: N^n → N such that < 1572386265 184357 :arseniiv!~arseniiv@94.41.13.149.dynamic.ufanet.ru PRIVMSG #esoteric : μf args… = search 0 where < 1572386265 184459 :arseniiv!~arseniiv@94.41.13.149.dynamic.ufanet.ru PRIVMSG #esoteric : search n = if f args… n == 0 then n else search (n+1) < 1572386265 184496 :arseniiv!~arseniiv@94.41.13.149.dynamic.ufanet.ru PRIVMSG #esoteric :now we can generalize that from N to an algebraic type T in at least two ways. We searched [0, 1, 2, …] for 0, now: < 1572386265 925484 :arseniiv!~arseniiv@94.41.13.149.dynamic.ufanet.ru PRIVMSG #esoteric :(i) let’s search `iterate (s args…) (z args…)` for `q args` where s, z, q are additional arguments to μ; < 1572386265 962164 :arseniiv!~arseniiv@94.41.13.149.dynamic.ufanet.ru PRIVMSG #esoteric :(ii) let’s search some natural ordering of the type for the least element wrt that ordering. Constructing the ordering uniformly seems painful though; < 1572386266 946968 :arseniiv!~arseniiv@94.41.13.149.dynamic.ufanet.ru PRIVMSG #esoteric :which do you like? I grow on (i), it’s even allows different types for the last argument of `f` and its value; the price of additional arguments seems more than fair < 1572386271 97331 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :imode: yeah i'm old < 1572386348 62598 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :I wouldn't call that old. < 1572386351 188408 :arseniiv!~arseniiv@94.41.13.149.dynamic.ufanet.ru PRIVMSG #esoteric :kmc: happy national cat day => my cat purrs at this and reciprocates < 1572386356 517094 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :then again I'm biased. < 1572386357 624526 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :keegan mccrone < 1572386409 514747 :b_jonas!~x@catv-176-63-13-140.catv.broadband.hu PRIVMSG #esoteric :kmc: how close is "almost"? < 1572386443 277831 :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.” < 1572386889 972844 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :imode: when I was 20, 30 sounded really old < 1572386903 114908 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :my gf would laugh though, she's much older than me < 1572386945 80890 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :turning 30 was kind of a big deal for me < 1572386954 553802 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :i decided to start giving a shit about my health < 1572386982 975349 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :I remembered that my paternal grandfather died at 48 due to obesity, alcoholism and smoking < 1572386988 198220 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :and 48 didn't seem so far from 30 anymore < 1572387066 701161 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :and i also started a big life change shortly before my 30th birthday < 1572387072 834507 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :which contributed to increased give-a-shit < 1572387096 317672 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :developing apathy for your own life really does kill people. < 1572387102 790011 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :for sure < 1572387137 112239 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :i had 3 really shitty years < 1572387221 633539 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :b_jonas: 125961 seconds left to go which is about a day and a half < 1572387353 829598 :b_jonas!~x@catv-176-63-13-140.catv.broadband.hu PRIVMSG #esoteric :kmc: take a short vacation to somewhere nice where you haven't been yet? < 1572387378 715794 :b_jonas!~x@catv-176-63-13-140.catv.broadband.hu PRIVMSG #esoteric :though that might have been better to start to plan earlier than a day and a half < 1572387388 74498 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :yeah < 1572387422 614572 :b_jonas!~x@catv-176-63-13-140.catv.broadband.hu PRIVMSG #esoteric :you can still do that after the round age of course < 1572387422 778652 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :I've done a fair amount of travel recently-ish < 1572387428 612525 :b_jonas!~x@catv-176-63-13-140.catv.broadband.hu PRIVMSG #esoteric :me too < 1572387431 960749 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :it's nice < 1572387437 775431 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :i'd love to go out for a drive and a hike < 1572387440 102020 :b_jonas!~x@catv-176-63-13-140.catv.broadband.hu PRIVMSG #esoteric :this year I've taken two nice vacations that I've organized myself < 1572387443 52249 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :need to search for those mushrooooooooooms < 1572387444 505398 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :yay! < 1572387454 533447 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :I went to Texas to see a good friend, had loads of fun and then took the train back to SF < 1572387460 873352 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :(2 trains and a bus actually) < 1572387674 385240 :b_jonas!~x@catv-176-63-13-140.catv.broadband.hu PRIVMSG #esoteric :please publish the next o strip, fungot < 1572387674 605878 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :b_jonas: officially i think two complement is rather arcane ;p ( sorry, dunno about quality yet still highly compatible body of real-world scheme code. < 1572387699 974189 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :b_jonas: the scenery on that train trip through the american southwest is amazingly beautiful < 1572387702 85845 :b_jonas!~x@catv-176-63-13-140.catv.broadband.hu PRIVMSG #esoteric :it's not that arcane < 1572387843 985564 :arseniiv!~arseniiv@94.41.13.149.dynamic.ufanet.ru QUIT :Ping timeout: 264 seconds < 1572389061 804504 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :fungot: that's ok most people also think so when they are beginning learning assembly language < 1572389062 36578 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :kmc: wearing fnord even, i'd say no. way too expensive most of the big guys for a longish time completely filling a fnord thingy < 1572390821 100411 :pikhq!uid394595@gateway/web/irccloud.com/x-putygvflmnyxxsta PRIVMSG #esoteric :Kinda fun how big life changes have cascading effects < 1572390885 295643 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :yeah < 1572390907 566929 :atslash!~atslash@46.188.0.82 JOIN :#esoteric < 1572390921 263716 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :2 years later it's beginning to not dominate my life anymore < 1572390922 57094 :atslash!~atslash@46.188.0.82 QUIT :Client Quit < 1572390922 93343 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric ::P < 1572391007 900344 :pikhq!uid394595@gateway/web/irccloud.com/x-putygvflmnyxxsta PRIVMSG #esoteric :
ACTION is very much not there yet
< 1572391057 576203 :atslash!~atslash@46.188.0.82 JOIN :#esoteric < 1572391119 209129 :int-e!~noone@int-e.eu PRIVMSG #esoteric :two's complement is arcane, fungot, where did you learn that :) < 1572391119 318217 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :int-e: so how far is the house? where is it? i see < 1572391135 398688 :moony_!~moony@hellomouse/dev/moony JOIN :#esoteric < 1572391139 690076 :int-e!~noone@int-e.eu PRIVMSG #esoteric :fungot: I never answer intimate questions like that. < 1572391139 924998 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :int-e: i doubt that an ignorant can ack that he's an idiot and he should go away and die. oh, the ops have come to one conclusion: you have to < 1572391163 468636 :int-e!~noone@int-e.eu PRIVMSG #esoteric :ominous < 1572391175 438849 :int-e!~noone@int-e.eu PRIVMSG #esoteric :close to threatening, really. < 1572391195 614279 :int-e!~noone@int-e.eu PRIVMSG #esoteric :fungot: verb? < 1572391195 761386 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :int-e: can you elaborate, alex? an instruction to the function ft with ft and k-1 < 1572391224 698775 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :pikhq: hope it's going well though <3 < 1572391379 535583 :atslash!~atslash@46.188.0.82 QUIT :Ping timeout: 276 seconds < 1572391415 338061 :atslash!~atslash@static.231.107.9.5.clients.your-server.de JOIN :#esoteric < 1572391454 851132 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`? marvin < 1572391456 981485 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :marvin? ¯\(°​_o)/¯ < 1572391462 248241 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`quote marvin < 1572391462 926819 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :No output. < 1572391464 356382 :int-e!~noone@int-e.eu PRIVMSG #esoteric ::/ < 1572391519 57009 :int-e!~noone@int-e.eu PRIVMSG #esoteric :"Life," said Marvin, "don't talk to me about life." < 1572392262 39384 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`? life < 1572392263 153257 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :​‘Life,’ said Marvin, ‘don't talk to me about life.’ < 1572392296 660850 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :`wisdom < 1572392297 448163 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :​herbalist//An herbalist is a list of herbas. < 1572392300 156097 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :`wisdom < 1572392300 946387 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :​lba//This channel is having a Little Big Adventure(tm) with Linear Bounded Automata in devices using Logical Block Addressing. < 1572392620 408901 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Ludicrously Ballooned Acronyms. < 1572392759 164381 :pikhq!uid394595@gateway/web/irccloud.com/x-putygvflmnyxxsta PRIVMSG #esoteric :kmc: Oh, most defnitely is < 1572392797 187115 :pikhq!uid394595@gateway/web/irccloud.com/x-putygvflmnyxxsta PRIVMSG #esoteric :
ACTION has a workout routine now!
< 1572392799 297159 :int-e!~noone@int-e.eu PRIVMSG #esoteric :oerjan: thanks! < 1572392993 6537 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`w < 1572392993 811428 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :​fortran//FORTRAN was a language in 1957, in which our noble, honourable ancestors wrote programs on punched cards and paper tape. < 1572393477 519652 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :pikhq: ooh yay! < 1572393481 946348 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :I'm going to the gym tonight < 1572393490 137238 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :I go twice a week, for an hour or so < 1572393492 795923 :pikhq!uid394595@gateway/web/irccloud.com/x-putygvflmnyxxsta PRIVMSG #esoteric :First time in my life I've, like, cared about my health < 1572393499 797862 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :it's not much but it makes me feel good < 1572393502 400689 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :pikhq: i know, right? < 1572393505 928355 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :and my appearance < 1572393518 905461 :pikhq!uid394595@gateway/web/irccloud.com/x-putygvflmnyxxsta PRIVMSG #esoteric :
ACTION works out daily, though more like 15-30 minutes per day
< 1572393536 364377 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :I went from "I'm uncomfortable how I look no matter what I change" to "holy shit I want to change a lot of things but I basically like myself" < 1572393549 528470 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :and now i've made many of those changes and well it's great ^__^