< 1563753665 973772 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :b_jonas: https://arin.ga/5eqtil < 1563753772 843817 :b_jonas!~x@catv-176-63-25-66.catv.broadband.hu PRIVMSG #esoteric :thanks < 1563754001 575735 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Quit: Leaving > 1563757722 224059 PRIVMSG #esoteric :14[[07User:Jussef Swissen14]]4 10 02https://esolangs.org/w/index.php?diff=64603&oldid=64463 5* 03Jussef Swissen 5* (+56) 10 > 1563757733 310355 PRIVMSG #esoteric :14[[07User:Jussef Swissen14]]4 10 02https://esolangs.org/w/index.php?diff=64604&oldid=64603 5* 03Jussef Swissen 5* (-1) 10/* = WIP Ideas */ < 1563758087 610130 :MDude!~MDude@76.5.108.106 QUIT :Quit: Going offline, see ya! (www.adiirc.com) < 1563758491 467850 :FreeFull!~freefull@defocus/sausage-lover QUIT : > 1563761229 938098 PRIVMSG #esoteric :14[[0714]]4 N10 02https://esolangs.org/w/index.php?oldid=64605 5* 03Jussef Swissen 5* (+1193) 10Created page with "'''''' is a [[Stack]]-based, functional, and self-modifying esolang made by [[User:Jussef Swissen|Jussef Swissen]]. Its entire command set is in hebrew. == Specific..." < 1563762617 950333 :b_jonas!~x@catv-176-63-25-66.catv.broadband.hu QUIT :Remote host closed the connection > 1563766703 105594 PRIVMSG #esoteric :14[[0714]]4 10 02https://esolangs.org/w/index.php?diff=64606&oldid=64605 5* 03Jussef Swissen 5* (+4391) 10Extended the page. > 1563766780 210925 PRIVMSG #esoteric :14[[07User:Jussef Swissen14]]4 10 02https://esolangs.org/w/index.php?diff=64607&oldid=64604 5* 03Jussef Swissen 5* (+18) 10/* Languages I've made */ < 1563767162 656284 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :Now I made a Robot Find Kitten game in Glulx, but, more text should be added for the stuff that is not a kitten. < 1563767685 413582 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Why would you have anything that isn't a kitten? < 1563767805 477470 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :Because that is how it is work; that is how they made it < 1563768384 631850 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 268 seconds < 1563768702 918129 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: I'm playing this game now: https://www.puzzlescript.net/play.html?p=9eb8f8f3df4efb450b798a279eeba2e0 < 1563768705 921668 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Do you like this? > 1563768773 962984 PRIVMSG #esoteric :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=64608&oldid=64573 5* 03Jussef Swissen 5* (+17) 10/* Non-alphabetic */ < 1563769319 667271 :Sgeo_!~Sgeo@ool-18b98455.dyn.optonline.net JOIN :#esoteric < 1563769474 295204 :Sgeo!~Sgeo@ool-18b98455.dyn.optonline.net QUIT :Ping timeout: 248 seconds < 1563769487 515894 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :It is not so bad, I suppose, but, maybe I should want to make with Free Hero Mesh maybe < 1563769709 464005 :Sgeo!~Sgeo@ool-18b98455.dyn.optonline.net JOIN :#esoteric < 1563769864 745642 :Sgeo_!~Sgeo@ool-18b98455.dyn.optonline.net QUIT :Ping timeout: 268 seconds < 1563769983 208941 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric > 1563770072 195306 PRIVMSG #esoteric :14[[07Language list14]]4 M10 02https://esolangs.org/w/index.php?diff=64609&oldid=64608 5* 03Salpynx 5* (+0) 10/* Non-alphabetic */ these are actually sorted, by Unicode code point, Hebrew Ayin to go between Cyrillic and Arabic < 1563771587 748159 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: How far did you get? I think the interesting aspects only show up after a few levels. < 1563771702 351031 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :I did not get very far, although I haven't tried much either. Maybe another day I might try more though. (I did skip a few levels by moving the levels I wanted to skip to the end, but I like how is done in Hero Mesh, you can skip both backwar and forward as often as you want to, and can record a sequence of moves for each level, also saving and restoring the sequence of moves.) < 1563773138 372511 :j-bot!eldis4@firefly.nu QUIT :Ping timeout: 244 seconds < 1563773421 630416 :FireFly!znc@freenode/staff/firefly QUIT :Quit: Goodbye < 1563773432 122490 :FireFly!znc@freenode/staff/firefly JOIN :#esoteric < 1563774396 909032 :Sgeo_!~Sgeo@ool-18b98455.dyn.optonline.net JOIN :#esoteric < 1563774533 377511 :Sgeo!~Sgeo@ool-18b98455.dyn.optonline.net QUIT :Ping timeout: 244 seconds < 1563775430 188514 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :Here is my Robot Find Kitten program: https://arin.ga/gM1bQZ < 1563775461 296011 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :(More lines of text could be added below "; Text for stuff other than a kitten", but so far I didn't.) < 1563775599 514629 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :The instruction ":Robot !data 0xC0000000" seem strange (using !data where an instruction is expected), but it happens to be a overlong encoding of a "nop" instruction (normally encoded by the single byte 0x00). < 1563775706 497075 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :But 0xC0 also indicates the beginning of a function receiving its arguments on the stack (although this function uses no arguments; also note Glulx is big-endian), and then the next two bytes indicate this function has no local variables, and then the first instruction is next, which is a single-byte nop. < 1563775760 358675 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :Since none of the rest of the instructions in the Redraw function use any local variables, this allows Robot to be executed itself as a function and for the stuff before it to fall through into this function. < 1563776057 237977 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :Do you like this? < 1563776965 37237 :dayus!~dEsph@host-92-15-228-30.as43234.net JOIN :#esoteric < 1563776989 130732 :dayus!~dEsph@host-92-15-228-30.as43234.net PART :#esoteric < 1563777117 964269 :\oren\!~oren@ec2-35-175-217-128.compute-1.amazonaws.com PRIVMSG #esoteric :My font now supports klingon pIqaD < 1563777158 641149 :\oren\!~oren@ec2-35-175-217-128.compute-1.amazonaws.com PRIVMSG #esoteric : < 1563777159 779110 :\oren\!~oren@ec2-35-175-217-128.compute-1.amazonaws.com PRIVMSG #esoteric : < 1563777734 661470 :\oren\!~oren@ec2-35-175-217-128.compute-1.amazonaws.com PRIVMSG #esoteric :https://cdn.discordapp.com/attachments/299702207270486016/602751995639627776/unknown.png < 1563777856 970708 :Sgeo__!~Sgeo@ool-18b98455.dyn.optonline.net JOIN :#esoteric < 1563778046 867509 :Sgeo_!~Sgeo@ool-18b98455.dyn.optonline.net QUIT :Ping timeout: 258 seconds < 1563780095 316912 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :This new issue of 2600 mentions how to use SSH and HTTP(S) through DNS. < 1563781868 715688 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 272 seconds < 1563781952 581808 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1563785136 587096 :heroux!sandroco@gateway/shell/insomnia247/x-lucpuwztduslvvov QUIT :Ping timeout: 272 seconds < 1563785215 957983 :heroux!sandroco@gateway/shell/insomnia247/x-cvjmmijyxtzrslvv JOIN :#esoteric < 1563786574 234045 :arseniiv!~arseniiv@136.169.234.37 JOIN :#esoteric < 1563786894 881801 :arseniiv!~arseniiv@136.169.234.37 PRIVMSG #esoteric :shachaf: hi I’m back! < 1563786938 146565 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :arsenhiiv < 1563786969 368944 :arseniiv!~arseniiv@136.169.234.37 PRIVMSG #esoteric :yeah, I know index notation can be understood index-free, I even used it that way several times, though I’m not sure that is elaborated in that book < 1563787014 10981 :arseniiv!~arseniiv@136.169.234.37 PRIVMSG #esoteric :I gave up splicing times of day in names when tried several times to do it and it seemed impossible :D < 1563787070 847781 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Times of day? < 1563787073 242751 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh. < 1563787096 584860 :arseniiv!~arseniiv@136.169.234.37 PRIVMSG #esoteric :I thought about trace for a while when falling asleep, but no essential thing arose < 1563787138 512076 :arseniiv!~arseniiv@136.169.234.37 PRIVMSG #esoteric :oh I meant, how do you put it… it’s not always a greeting either < 1563787173 248933 :arseniiv!~arseniiv@136.169.234.37 PRIVMSG #esoteric :greetingwell?.. < 1563787243 862688 :arseniiv!~arseniiv@136.169.234.37 PRIVMSG #esoteric :though I have a very raw thought: maybe trace can be understood as a sort of applying the operator to itself vs. applying it to a covector and a vector (so that in both cases we get a scalar) < 1563787266 967591 :arseniiv!~arseniiv@136.169.234.37 PRIVMSG #esoteric :I was trying to imagine it in vain and it didn’t happen < 1563787323 967814 :arseniiv!~arseniiv@136.169.234.37 PRIVMSG #esoteric :what that link you’ve mentioned between trace and fixpoints in monoidal categories is? < 1563787387 554681 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, most instances of https://en.wikipedia.org/wiki/Traced_monoidal_category have an obvious interpretation in terms of fixed points. < 1563787437 687874 :arseniiv!~arseniiv@136.169.234.37 PRIVMSG #esoteric :I think it’s more productive to apply it exactly to this category if it’s possible. I think Vec is a somewhat degenerate case of a monoidal catefory, there we for instance don’t have an interesting modal logic thing (as far I understand) < 1563787477 663042 :arseniiv!~arseniiv@136.169.234.37 PRIVMSG #esoteric :thanks, I’ll look at it! < 1563787556 421314 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What's a modal logic thing? < 1563787578 903996 :Sgeo_!~Sgeo@ool-18b98455.dyn.optonline.net JOIN :#esoteric < 1563787614 665041 :arseniiv!~arseniiv@136.169.234.37 PRIVMSG #esoteric :oh I meant not a modal logic, a linear one < 1563787666 358591 :arseniiv!~arseniiv@136.169.234.37 PRIVMSG #esoteric :several months ago I tried to see what it means for Vec and it was all conflated there, & = ⊕ etc. < 1563787723 317168 :arseniiv!~arseniiv@136.169.234.37 PRIVMSG #esoteric :then I saw why linear spaces aren’t mentioned as examples in texts on linear logic, though both deal with monoidal categories < 1563787775 827692 :Sgeo__!~Sgeo@ool-18b98455.dyn.optonline.net QUIT :Ping timeout: 258 seconds < 1563788196 903458 :AnotherTest!~turingcom@ptr-82l26zcdc6imrwoapg3.18120a2.ip6.access.telenet.be JOIN :#esoteric < 1563788269 400354 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :arseniiv: Oh, yes, ⊗ = ⅋ in Vec < 1563788279 166232 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Which leads to some confusil things. < 1563788410 127130 :arseniiv!~arseniiv@136.169.234.37 PRIVMSG #esoteric :shachaf: wow, even ⊗ = ⅋? Didn’t thought that far < 1563788439 761500 :arseniiv!~arseniiv@136.169.234.37 PRIVMSG #esoteric :then it’s a very uninteresting category to do linear logic in, indeed < 1563788516 334607 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Isn't it? < 1563789766 975321 :Sgeo__!~Sgeo@ool-18b98455.dyn.optonline.net JOIN :#esoteric < 1563789960 899360 :Sgeo_!~Sgeo@ool-18b98455.dyn.optonline.net QUIT :Ping timeout: 258 seconds < 1563790313 683447 :arseniiv!~arseniiv@136.169.234.37 PRIVMSG #esoteric :shachaf: they say a traced category should be cartesian monoidal for those fixpoint things to work, but Vec isn’t, as ⊗ ≠ × there < 1563790382 540136 :arseniiv!~arseniiv@136.169.234.37 PRIVMSG #esoteric :(but maybe there is a way to make some weak connection) < 1563790407 107782 :arseniiv!~arseniiv@136.169.234.37 PRIVMSG #esoteric :link: https://ncatlab.org/nlab/show/traced+monoidal+category#in_cartesian_monoidal_categories < 1563790465 42423 :arseniiv!~arseniiv@136.169.234.37 PRIVMSG #esoteric :BTW random variable expectation is too a kind of a trace :) it could be interesting somewhere < 1563791320 329548 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :arseniiv: Oh, that's interesting. I should look at that paper. < 1563791542 514428 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I think that statement is weaker than what you said. < 1563791574 310578 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It seems to be saying that if your category's monoidal product is the cartesian product, then so-and-so holds, but not to say anything in the case that it isn't? < 1563791596 636632 :arseniiv!~arseniiv@136.169.234.37 PRIVMSG #esoteric :hm also somewhat off-topically there is a sigfpe post about linear operators presented in a monadic fashion, I wonder if there were means to represent a trace (from what I remember, it’s doubtful, but if he implemented MonadFix, it could be) < 1563791601 303611 :arseniiv!~arseniiv@136.169.234.37 PRIVMSG #esoteric :shachaf: yeah, right < 1563791610 358456 :arseniiv!~arseniiv@136.169.234.37 PRIVMSG #esoteric :so there is a slight hope :) < 1563791671 202819 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :My hope is more than slight. But I don't know how to figure it out exactly. < 1563791691 864816 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :arseniiv: There's the special case of, uh, semimodules over a boolean semiring, which are called relations, I think. < 1563791705 371992 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's easy to make sense of trace as talking about fixed points in that case. < 1563791739 39266 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :If your tensor is separable, then the meaning of trace as "connecting the output to the input" is obvious, of course. < 1563791762 28025 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I mean, if A_i^j = B_i C^j, then of course A_i^i = B_i C^i < 1563791765 709821 :arseniiv!~arseniiv@136.169.234.37 PRIVMSG #esoteric :shachaf: are those related to usual n-ary relations? < 1563791780 718531 :arseniiv!~arseniiv@136.169.234.37 PRIVMSG #esoteric :(pun semi-intended) < 1563791793 303606 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Just regular binary relations. Or n-ary in the multilinear case, sure. < 1563791808 854437 :arseniiv!~arseniiv@136.169.234.37 PRIVMSG #esoteric :ah, yes, I see < 1563791900 166398 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :In fact there are two different tensor products that give you two reasonable traces. < 1563791929 481795 :cpressey!~cpressey@5.133.242.4 JOIN :#esoteric < 1563792105 468952 :arseniiv!~arseniiv@136.169.234.37 PRIVMSG #esoteric :hm I thought about linear algebra thing in relations (like how the matrix of their composition is a plain matrix multiplication, just, as you mentioned, over a semiring) but not yet about tensor multiplicating relations. For R ⊂ A1 × A2, Q ⊂ B1 × B2, will R1 ⊗ R2 ⊂ (A1 × B1) × (A2 × B2)? < 1563792129 269669 :arseniiv!~arseniiv@136.169.234.37 PRIVMSG #esoteric :tensor multiplication of* < 1563792398 967598 :arseniiv!~arseniiv@136.169.234.37 PRIVMSG #esoteric :oh there are more typos < 1563792410 752941 :arseniiv!~arseniiv@136.169.234.37 PRIVMSG #esoteric :I’ll rephrase completely < 1563792526 181119 :arseniiv!~arseniiv@136.169.234.37 PRIVMSG #esoteric :let R ⊂ A1 × A2, Q ⊂ B1 × B2; is one of these products R ⊗ Q defined as { ((a1, b1), (a2, b2)) | (a1, a2) ∈ R, (b1, b2) ∈ Q } and what is the second one? < 1563792549 156043 :arseniiv!~arseniiv@136.169.234.37 PRIVMSG #esoteric :shachaf: now I could ping you :) < 1563792552 518877 :MDude!~MDude@76.5.108.106 JOIN :#esoteric < 1563792616 748622 :arseniiv!~arseniiv@136.169.234.37 PRIVMSG #esoteric :hm also I think I often misplace “can” and “could” < 1563793352 401266 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I'm not sure. < 1563793354 576431 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@time < 1563793358 589351 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Local time for shachaf is Mon Jul 22 04:02:35 2019 < 1563793365 616024 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You could ask me after I wake up. < 1563793512 420085 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I think maybe I'd expect that a one-dimensional thing would be the identity for a tensor product? < 1563794112 235241 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, maybe 3.2 in http://www.kurims.kyoto-u.ac.jp/~hassei/papers/tlca97.pdf is relevant. < 1563794115 306932 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I'll have to find out tomorrow. < 1563794157 828252 :arseniiv!~arseniiv@136.169.234.37 PRIVMSG #esoteric :shachaf: sweet dreams :D < 1563795060 249807 :arseniiv!~arseniiv@136.169.234.37 PRIVMSG #esoteric : I think maybe I'd expect that a one-dimensional thing would be the identity for a tensor product? => I would expect the same, yeah < 1563795237 425498 :arseniiv!~arseniiv@136.169.234.37 PRIVMSG #esoteric :oh I misplaced what things should be multiplicated. In Rel, objects are A1, A2 from my example, and for what a reason then I try to find out what R ⊗ Q is?.. I should look for A1 ⊗ B1, and in this case it’s obvious A1 × B1 will suffice as one of those tensor products < 1563795400 137425 :arseniiv!~arseniiv@136.169.234.37 PRIVMSG #esoteric :I should just look in nLab, obviously < 1563796428 570724 :arseniiv!~arseniiv@136.169.234.37 PRIVMSG #esoteric :ah, no, there is ⊗ for maps too. Linear algebra is bad for me > 1563798827 477386 PRIVMSG #esoteric :14[[07Seabass14]]4 N10 02https://esolangs.org/w/index.php?oldid=64610 5* 03Sec-iiiso 5* (+1480) 10Created page with "'''Seabass''' is a programming language that was inspired by [[Deadfish]] and is backwards-compatible with it. The other key points of Seabass are: * functionality * (relative..." < 1563799448 445724 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :Deadfish derivative is the new brainfuck derivative, it seems > 1563799803 395510 PRIVMSG #esoteric :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=64611&oldid=64609 5* 03Sec-iiiso 5* (+14) 10/* S */ > 1563800412 589542 PRIVMSG #esoteric :14[[07Deadfish14]]4 10 02https://esolangs.org/w/index.php?diff=64612&oldid=63861 5* 03Sec-iiiso 5* (+961) 10/* Implementations */ < 1563801753 68439 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I should be asleep but I'm not. < 1563801758 376197 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Do you like "real induction"? < 1563801764 255679 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :For some S ⊆ [a,b] ⊂ ℝ, if the following hold: < 1563801764 329395 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :• ∀x ∈ [a,b]: if [a,x) ⊆ S, then [a,x] ⊆ S < 1563801764 348511 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :• ∀x ∈ S\{b}: [x,y] ⊆ S for some y > x < 1563801764 348551 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Then S = [a,b]. > 1563803084 950536 PRIVMSG #esoteric :14[[0714]]4 10 02https://esolangs.org/w/index.php?diff=64613&oldid=64606 5* 03Jussef Swissen 5* (+0) 10 > 1563803342 60216 PRIVMSG #esoteric :14[[0714]]4 10 02https://esolangs.org/w/index.php?diff=64614&oldid=64613 5* 03Jussef Swissen 5* (+167) 10 > 1563805187 516983 PRIVMSG #esoteric :14[[07User talk:A14]]4 10 02https://esolangs.org/w/index.php?diff=64615&oldid=64586 5* 03A 5* (-829) 10I am not interested in extending H anymore, so I will delete this part. < 1563807190 138483 :stux-!stux@cosmo.lunarshells.com JOIN :#esoteric < 1563807292 523486 :arseniiv!~arseniiv@136.169.234.37 PRIVMSG #esoteric :shachaf: where it’s used? < 1563807366 722621 :stux|away!stux@cosmo.lunarshells.com QUIT :Ping timeout: 272 seconds > 1563807488 357056 PRIVMSG #esoteric :14[[07User talk:A14]]4 M10 02https://esolangs.org/w/index.php?diff=64616&oldid=64615 5* 03A 5* (+24) 10Now there are 4 esolangs that need no code to implement! < 1563808151 911511 :xkapastel!uid17782@gateway/web/irccloud.com/x-xzeryinnbbvwoghc JOIN :#esoteric < 1563808956 488131 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :There are three reasons I commonly see for violating an abstraction layer: ignorance, expedience, and arrogance. I can do something about the first two, but I'm not sure what I can do about the last one. < 1563809068 461689 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Invoke the wrath of Zeus? < 1563809351 716007 :stux-!stux@cosmo.lunarshells.com QUIT :Quit: Aloha! < 1563809366 994778 :stux|away!stux@2a01:270:2050:1337::1 JOIN :#esoteric < 1563810519 742424 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :Good idea, sounds a little drastic though? Maybe I'll start small - I'll use more Greek letters in my explanations. > 1563812049 436826 PRIVMSG #esoteric :14[[07Jussef Swissen14]]4 10 02https://esolangs.org/w/index.php?diff=64617&oldid=64424 5* 03Jussef Swissen 5* (-221) 10 > 1563812131 182419 PRIVMSG #esoteric :14[[07Swissen Machine14]]4 10 02https://esolangs.org/w/index.php?diff=64618&oldid=64386 5* 03Jussef Swissen 5* (+3) 10/* Language Implementation */ < 1563812338 144291 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :In other news, hierarchical state machines and algebraic data types seem to share the same structure: the set of states of a machine is like a sum type, and sub-machines embedded in a state is like a product type < 1563812384 796606 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Is there anything which corresponds to exponential types? < 1563812443 20744 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :State transition? Kinda? Maybe not. I'll think about it < 1563812628 434490 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :Did anyone have any comment of the card game rules I posted, so far? Now I am adding the rules for adjacency < 1563812642 822876 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :After that, then I can add the rules for combat. < 1563812721 279899 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :Do you worship the Greek gods? < 1563812780 564180 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Me? Not currently < 1563812790 866067 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I'm far too lazy < 1563812851 506219 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :I meant if cpressey does, but if you want to answer that is OK too < 1563813018 146362 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :No, the Babylonian gods made me promise that I wouldn't. < 1563813027 298681 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1563813134 559918 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :OK (especially if you are not in Greece) < 1563813695 391635 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :I guess it would be nice to give my heart to a God < 1563813695 963477 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :But which one, which one do I choose? < 1563814577 688507 :cpressey!~cpressey@5.133.242.4 QUIT :Quit: À la prochaine. > 1563815347 517369 PRIVMSG #esoteric :14[[07User:Sideshowbob14]]4 10 02https://esolangs.org/w/index.php?diff=64619&oldid=64574 5* 03Sideshowbob 5* (+187) 10 < 1563818171 233110 :b_jonas!~x@catv-176-63-24-25.catv.broadband.hu JOIN :#esoteric < 1563818368 143422 :b_jonas!~x@catv-176-63-24-25.catv.broadband.hu PRIVMSG #esoteric :zzo38: it's hard to judge a card game even then, but this would make much more sense if you made example cards. make two beginner preconstructed decks that play against each other, with the equivalent of 30 M:tG cards in each deck (of which about 12 are basic lands) < 1563818475 449493 :b_jonas!~x@catv-176-63-24-25.catv.broadband.hu PRIVMSG #esoteric :That way it would be at least possible to simulate games. < 1563820729 727050 :b_jonas!~x@catv-176-63-24-25.catv.broadband.hu PRIVMSG #esoteric :[ 7+15 < 1563820734 259122 :b_jonas!~x@catv-176-63-24-25.catv.broadband.hu PRIVMSG #esoteric :hmm no < 1563820745 875999 :b_jonas!~x@catv-176-63-24-25.catv.broadband.hu PRIVMSG #esoteric :`perl -eprint 7+15 < 1563820746 700857 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :22 < 1563820780 708432 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1563821439 28021 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :weirdest bug: when I tap the rear fingerprint reader on my phone, juicessh goes into Ctrl-lock mode < 1563821473 359620 :b_jonas!~x@catv-176-63-24-25.catv.broadband.hu PRIVMSG #esoteric :what is juicessh? < 1563821530 591491 :b_jonas!~x@catv-176-63-24-25.catv.broadband.hu PRIVMSG #esoteric :no wait, I can web search that < 1563821551 878500 :b_jonas!~x@catv-176-63-24-25.catv.broadband.hu PRIVMSG #esoteric :an ssh client < 1563821553 439462 :b_jonas!~x@catv-176-63-24-25.catv.broadband.hu PRIVMSG #esoteric :ok > 1563821622 567276 PRIVMSG #esoteric :14[[07User talk:A14]]4 10 02https://esolangs.org/w/index.php?diff=64620&oldid=64616 5* 03Areallycoolusername 5* (+385) 10Collab Request < 1563821728 438383 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :b_jonas: yeah. I mostly use it for mosh, actually < 1563821741 616388 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :it might be the only Android app that supports it < 1563821770 162576 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :mosh is incredibly useful for mobile use < 1563821794 665124 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :it works well on shitty connections and it automatically reconnects within 3 second when you switch networks < 1563821833 43416 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :I used to worry that sending out the beacon frames had an impact on battery life < 1563821838 765351 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :but it doesn't seem to matter much < 1563822251 7291 :b_jonas!~x@catv-176-63-24-25.catv.broadband.hu PRIVMSG #esoteric :bacon frames would have an impact on your cholesterol level, not the battery < 1563822361 757174 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :lol < 1563822379 154137 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :dietary cholesterol doesn't affect blood cholesterol very much < 1563822383 231754 :b_jonas!~x@catv-176-63-24-25.catv.broadband.hu PRIVMSG #esoteric :sorry, "beacon" still doesn't look like a real word to me, even though I heared it several time < 1563822387 35203 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :but it affects obesity so yeah I guess < 1563822390 817495 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric ::P < 1563822966 468154 :j-bot!eldis4@firefly.nu JOIN :#esoteric < 1563824590 563781 :b_jonas!~x@catv-176-63-24-25.catv.broadband.hu PRIVMSG #esoteric :[ 7+15 < 1563824591 213155 :j-bot!eldis4@firefly.nu PRIVMSG #esoteric :b_jonas: 22 < 1563824593 993659 :b_jonas!~x@catv-176-63-24-25.catv.broadband.hu PRIVMSG #esoteric :same result, good < 1563824813 489191 :arseniiv!~arseniiv@136.169.234.37 PRIVMSG #esoteric :b_jonas: maybe you should just continue seeing beacons here and beacons there and someday beacon will shine its light on itself < 1563824908 364504 :arseniiv!~arseniiv@136.169.234.37 PRIVMSG #esoteric :omg I had read a parody Objectivist page by Andrej Bauer. I didn’t even thing there are so many strange quasi-rationalistic movements < 1563824967 2777 :arseniiv!~arseniiv@136.169.234.37 PRIVMSG #esoteric :a new discovery every day < 1563825024 709815 :int-e!~noone@int-e.eu PRIVMSG #esoteric :" Read out loud the Axioms of Subject and Object with proper emphasis. For extra credit, do it in front of a mirror."? < 1563825028 641142 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 245 seconds < 1563825057 272162 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1563825063 710770 :arseniiv!~arseniiv@136.169.234.37 PRIVMSG #esoteric :int-e: yes < 1563825301 518869 :arseniiv!~arseniiv@136.169.234.37 PRIVMSG #esoteric :maybe I should start my own. “People can’t become rational, they either born that way or not. I can determine accurately who is which. Please come in and polarize.” < 1563825372 982082 :arseniiv!~arseniiv@136.169.234.37 PRIVMSG #esoteric :stated sufficiently bluntly to guarantee a steady intake of followers < 1563825443 528234 :int-e!~noone@int-e.eu PRIVMSG #esoteric :. o O ( "the second part is concerned with Objectivist ethics" -- this part will be very short. ) < 1563825698 77168 :arseniiv!~arseniiv@136.169.234.37 PRIVMSG #esoteric :I skipped, is there a second part planned? < 1563825752 589182 :arseniiv!~arseniiv@136.169.234.37 PRIVMSG #esoteric :I presume it’s also scheduled at +∞? :) < 1563826022 12320 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I think I know too little about "objectivism" to find this funny. I did read the two novels though at some point... < 1563826653 930854 :arseniiv!~arseniiv@136.169.234.37 PRIVMSG #esoteric :BTW had someone tinkered with Algodoo? It’s a 2D physics sandbox thing. I think it could be possible to make a simple computer in there, but I hadn’t thought on it yet at all. There is a rotational drive primitive, so one is not bounded by what energy one could store beforehand; and there is no temperature simulation, so friction of parts won’t cause any harm < 1563826864 64817 :b_jonas!~x@catv-176-63-24-25.catv.broadband.hu PRIVMSG #esoteric :I haven't heard of that one yet < 1563826923 985338 :arseniiv!~arseniiv@136.169.234.37 PRIVMSG #esoteric :also there are working gears out of the box, and parts can occupy different collision layers to make a design more compact. Though there are only 10 layers IIRC. For a computer, it may become limiting < 1563827311 866958 :b_jonas!~x@catv-176-63-24-25.catv.broadband.hu PRIVMSG #esoteric :arseniiv: how flexibly can you connect pairs of the 10 layers? < 1563827335 278985 :xkapastel!uid17782@gateway/web/irccloud.com/x-xzeryinnbbvwoghc QUIT :Quit: Connection closed for inactivity < 1563827356 286597 :arseniiv!~arseniiv@136.169.234.37 PRIVMSG #esoteric :each part can occupy any combination of them (checkboxes in the UI) < 1563827361 671673 :b_jonas!~x@catv-176-63-24-25.catv.broadband.hu PRIVMSG #esoteric :I see < 1563827460 302008 :b_jonas!~x@catv-176-63-24-25.catv.broadband.hu PRIVMSG #esoteric :that sounds like you could in theory build a RAM and ROM and CPU and PPU from them, though the question is how efficient the simulation is and whether you can get it fast enough to do some demonstrations < 1563827512 324783 :arseniiv!~arseniiv@136.169.234.37 PRIVMSG #esoteric :yeah, I haven’t tested the limits < 1563827530 524729 :arseniiv!~arseniiv@136.169.234.37 PRIVMSG #esoteric :also I saw it on youtube used mainly for marble races :D < 1563827555 135439 :b_jonas!~x@catv-176-63-24-25.catv.broadband.hu PRIVMSG #esoteric :you could try to look existing stuff online to see if someone's done something computational < 1563827562 335096 :arseniiv!~arseniiv@136.169.234.37 PRIVMSG #esoteric :or not mainly, but pretty often < 1563827586 493694 :arseniiv!~arseniiv@136.169.234.37 PRIVMSG #esoteric :hm yes, it’s a good step < 1563828593 368805 :arseniiv!~arseniiv@136.169.234.37 PRIVMSG #esoteric :yet to find a presentable mechanical calculator, but this Hanoi tower solver is neat: https://www.youtube.com/watch?v=CDERoYv6Jt0 < 1563828994 914840 :xkapastel!uid17782@gateway/web/irccloud.com/x-ifxmkoqjbtzbfcqt JOIN :#esoteric < 1563829393 258284 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :woh < 1563829395 727338 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :cool < 1563829829 535093 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`smlist 503 < 1563829830 249156 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :smlist 503: shachaf monqy elliott mnoqy Cale < 1563830067 904638 :AnotherTest!~turingcom@ptr-82l26zcdc6imrwoapg3.18120a2.ip6.access.telenet.be QUIT :Ping timeout: 264 seconds < 1563831076 819730 :arseniiv!~arseniiv@136.169.234.37 PRIVMSG #esoteric :after some search I think many people experimented with mechanic computation in that program, but almost none shared what they did (maybe they could think it was incomplete) < 1563831166 910120 :arseniiv!~arseniiv@136.169.234.37 PRIVMSG #esoteric :I found a logic gate design (AND, OR, NOT, and XOR not shown by itself, but as a part of, I presume, a flip-flop) < 1563831430 340808 :b_jonas!~x@catv-176-63-24-25.catv.broadband.hu PRIVMSG #esoteric :argh, why am I wearing these thin socks for the summer? they all look the same but actually have slight differences, so it's so hard to match the pairs after washing! < 1563831442 266425 :b_jonas!~x@catv-176-63-24-25.catv.broadband.hu PRIVMSG #esoteric :I should just stick to my usual thicker socks for the summer too < 1563831528 274229 :arseniiv!~arseniiv@136.169.234.37 QUIT :Ping timeout: 245 seconds < 1563833771 858098 :mniip!mniip@freenode/staff/mniip QUIT :Remote host closed the connection < 1563836181 26677 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Quit: Leaving < 1563838122 827253 :Sgeo__!~Sgeo@ool-18b98455.dyn.optonline.net QUIT :Ping timeout: 258 seconds < 1563838608 188411 :Sgeo!~Sgeo@ool-18b98455.dyn.optonline.net JOIN :#esoteric