< 1603584273 185985 :arseniiv!~arseniiv@136.169.204.164 PRIVMSG #esoteric :Snakebird looks like it would make a good esolang, as birds can grow any length, they can stuck and they have great hysteresis, and also one can blow a sleeping bird graphic marker to mean something more < 1603584379 560266 :arseniiv!~arseniiv@136.169.204.164 PRIVMSG #esoteric :e. g. imagine a nondeterministic machine where birds move in all possible ways to reach a goal or to go through kind of checkpoints < 1603584476 340227 :arseniiv!~arseniiv@136.169.204.164 PRIVMSG #esoteric :one can encode data in a bird’s form like how many squares does it run between turns < 1603584627 330642 :arseniiv!~arseniiv@136.169.204.164 PRIVMSG #esoteric :hm this scheme makes addition on ℕ easy: you have a L-shaped bird and you just need it to straighten at the portal < 1603584851 592657 :arseniiv!~arseniiv@136.169.204.164 PRIVMSG #esoteric :now we need to specify how the bird is placed at the start, e. g. if it’s the tail square that’s fixed in place or the head square, and which orientation the bird is, and also I now see that we can’t add unbounded numbers if we place the snake and the portal both in predetermined places < 1603585068 358183 :arseniiv!~arseniiv@136.169.204.164 PRIVMSG #esoteric :that’s not all that obvious so maybe I’m wrong < 1603585502 260270 :aaaaaa!~ArthurStr@host-91-90-11-13.soborka.net QUIT :Ping timeout: 260 seconds < 1603585868 995311 :zeroed!~admin@unaffiliated/zeroed QUIT :Ping timeout: 260 seconds < 1603585925 291395 :adminn!~admin@unaffiliated/zeroed JOIN :#esoteric < 1603586893 181354 :aaaaaa!~ArthurStr@host-91-90-11-13.soborka.net JOIN :#esoteric < 1603587110 963481 :Lord_of_Life_!~Lord@46.217.216.204 JOIN :#esoteric < 1603587188 852163 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 256 seconds < 1603588153 500872 :arseniiv!~arseniiv@136.169.204.164 QUIT :Ping timeout: 264 seconds < 1603588225 523045 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com QUIT :Ping timeout: 264 seconds < 1603588343 961990 :Cale!~cale@cpef48e38ee8583-cm0c473de9d680.cpe.net.cable.rogers.com JOIN :#esoteric < 1603591617 18194 :oren!~oren@ec2-34-239-129-109.compute-1.amazonaws.com QUIT :Ping timeout: 260 seconds < 1603591630 809707 :oren!~oren@ec2-34-239-129-109.compute-1.amazonaws.com JOIN :#esoteric < 1603592184 676829 :oren!~oren@ec2-34-239-129-109.compute-1.amazonaws.com QUIT :Remote host closed the connection < 1603592198 989830 :oren!~oren@ec2-34-239-129-109.compute-1.amazonaws.com JOIN :#esoteric > 1603594102 537073 PRIVMSG #esoteric :14[[07User talk:TightOnTime14]]4 N10 02https://esolangs.org/w/index.php?oldid=78140 5* 03TightOnTime 5* (+0) 10Created blank page < 1603596503 109476 :aaaaaa!~ArthurStr@host-91-90-11-13.soborka.net QUIT :Quit: leaving < 1603599829 948625 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net JOIN :#esoteric < 1603601354 680595 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :I have my doubts about rot7 + {dup drop compose apply apply!} being turing complete. or I just don't see how the construction can be performed. < 1603601449 445072 :Sgeo!~Sgeo@ool-18b982ad.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1603601469 206470 :Sgeo!~Sgeo@ool-18b982ad.dyn.optonline.net JOIN :#esoteric < 1603601710 973217 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :seeing as you can't push an empty quotation, you would need to duplicate two pieces of data. but duplicating one piece of data means you lose track of another, unrelated combinator. < 1603605310 819477 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 256 seconds < 1603607258 581395 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net QUIT :Quit: adu < 1603607550 838294 :rodgort!~rodgort@static.38.6.217.95.clients.your-server.de QUIT :Quit: Leaving < 1603608201 204634 :rodgort!~rodgort@static.38.6.217.95.clients.your-server.de JOIN :#esoteric < 1603609514 716228 :Frater_EST!adrianbibl@75.107.60.35 PART :#esoteric < 1603613326 169857 :hendursa1!~weechat@gateway/tor-sasl/hendursaga JOIN :#esoteric < 1603613443 712871 :hendursaga!~weechat@gateway/tor-sasl/hendursaga QUIT :Ping timeout: 240 seconds < 1603616604 866928 :jix!~jix@static.71.5.69.159.clients.your-server.de QUIT :Quit: WeeChat 2.8 < 1603616931 187245 :jix!~jix@static.71.5.69.159.clients.your-server.de JOIN :#esoteric < 1603617185 118405 :Sgeo!~Sgeo@ool-18b982ad.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1603617225 502918 :t20kdc!~20kdc@cpc139384-aztw33-2-0-cust220.18-1.cable.virginm.net JOIN :#esoteric < 1603617497 184106 :LKoen!~LKoen@81.255.219.130 JOIN :#esoteric < 1603620728 906670 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 260 seconds < 1603622053 834384 :adminn!~admin@unaffiliated/zeroed NICK :zeroed < 1603622294 910071 :tromp!~tromp@dhcp-077-249-230-040.chello.nl QUIT :Remote host closed the connection < 1603622897 153615 :tromp!~tromp@dhcp-077-249-230-040.chello.nl JOIN :#esoteric < 1603623728 408515 :hendursa1!~weechat@gateway/tor-sasl/hendursaga QUIT :Remote host closed the connection < 1603623781 16576 :hendursa1!~weechat@gateway/tor-sasl/hendursaga JOIN :#esoteric < 1603626407 278252 :user24!~user24@2a02:810a:1440:7304:7547:76f5:e238:4770 JOIN :#esoteric < 1603627912 265508 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1603627935 157988 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :@message imode if for some reason you need an empty quotation, just compose dup and drop < 1603627935 190306 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Maybe you meant: messages messages-loud messages? < 1603627939 581641 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :@tell imode if for some reason you need an empty quotation, just compose dup and drop < 1603627939 614054 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1603628005 825554 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :a question I've been idly wondering about (that has minor implications for PPCG answers): if I have a matrix where the elements are drawn uniformly from a finite field, is the probability of the matrix being singular exactly 1/n (where n is the number of elements in the field)? < 1603628010 118321 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :or is it just approximately 1/n? < 1603628035 475691 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :err, I guess it's called CGCC nowadays < 1603628090 479515 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :really I need to make a good finite field library, finite fields seem to come up all the time when dealing with anything to do with storing information < 1603628124 916138 :laerling!~laerling@static.235.77.203.116.clients.your-server.de QUIT :Quit: leaving < 1603628132 697174 :int-e!~noone@int-e.eu PRIVMSG #esoteric :The number of non-singular nxn matrices in GF(q) is q^n-1)*(q^n-q)*...*(q^n-q^(n-1)). So your probability is 1 - (1-1/q)*(1-1/q^2)*...*(1-1/q^n). < 1603628166 801213 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, I wonder if that has a simple closed form; probably not, but it looks like it might < 1603628169 806107 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(different n, obviously) < 1603628260 742385 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I think that is the simple closed form (if you write it as a product) ;-) < 1603628477 685782 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the closed form is apparently the q-Pochhammer symbol < 1603628485 875550 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :which I'm pretty sure I came across recently in another context < 1603628508 838536 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :in this case, (1/q; 1/q)_n < 1603628564 832623 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :because the first two arguments are equal, it collapses to the Euler function as n tends to infinity < 1603628651 40346 :rain1!~rain1@unaffiliated/rain1 PRIVMSG #esoteric :they come up in partitions a lot < 1603628982 583710 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I guess what I'm trying to figure out is, is the probability of being singular likely to be small / invertible likely to be large? < 1603629071 421883 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it does look like it, the Euler function has values near 1 when its input is small < 1603629191 435289 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :OK, and I found a Wolfram Alpha query that explains the behaviour pretty well: https://www.wolframalpha.com/input/?i=minimum+of+QPochhammer%5Bq%5D%2Bq+for+q+in+0+to+1 < 1603629225 353894 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :looks like the probability of being singular is a little more than 1/n, but never by all that much < 1603629252 144835 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so in particular, if we just rely on picking a random matrix and hoping it's non-singular (my use case), we'll normally get away with it when the field is large > 1603629417 690796 PRIVMSG #esoteric :14[[07Entfedern14]]4 M10 02https://esolangs.org/w/index.php?diff=78141&oldid=74960 5* 03PythonshellDebugwindow 5* (+29) 10/* See also */ See also < 1603632069 190905 :hendursa1!~weechat@gateway/tor-sasl/hendursaga QUIT :Quit: hendursa1 < 1603632101 730618 :hendursaga!~weechat@gateway/tor-sasl/hendursaga JOIN :#esoteric < 1603632791 508913 :b_jonas!~x@catv-176-63-12-22.catv.broadband.hu PRIVMSG #esoteric :zzo38: I don't understand the context. what is snakebird? < 1603633168 482400 :b_jonas!~x@catv-176-63-12-22.catv.broadband.hu PRIVMSG #esoteric :ais523: re matrix with coeffs uniformly chosen from a finite field: ah, int-e already answered, anyway the probability is much less (if n is large), there's a well-known result that counts the number of matrices over a finite field with nonzero determinants < 1603633271 490120 :b_jonas!~x@catv-176-63-12-22.catv.broadband.hu PRIVMSG #esoteric :ais523: https://en.wikipedia.org/wiki/General_linear_group#Over_finite_fields < 1603633333 418792 :b_jonas!~x@catv-176-63-12-22.catv.broadband.hu PRIVMSG #esoteric :hmm, maybe I'm wrong and the probability is not all that small, unless n is small? hmm < 1603633344 106144 :b_jonas!~x@catv-176-63-12-22.catv.broadband.hu PRIVMSG #esoteric :I mean unless the field is small < 1603633351 933975 :b_jonas!~x@catv-176-63-12-22.catv.broadband.hu PRIVMSG #esoteric :for GF(2) the probability is quite small < 1603633365 284412 :b_jonas!~x@catv-176-63-12-22.catv.broadband.hu PRIVMSG #esoteric :I guess it depends on which direction you take the limit in < 1603633377 756440 :b_jonas!~x@catv-176-63-12-22.catv.broadband.hu PRIVMSG #esoteric :I think for a fixed q, it's always much smaller than 1/n < 1603633385 959843 :b_jonas!~x@catv-176-63-12-22.catv.broadband.hu PRIVMSG #esoteric :I mean for a fixed field < 1603633398 157241 :b_jonas!~x@catv-176-63-12-22.catv.broadband.hu PRIVMSG #esoteric :oh well, you can ask a more precise questoin if you want < 1603633508 98937 :lifthrasiir!~lifthrasi@ec2-52-79-98-81.ap-northeast-2.compute.amazonaws.com QUIT :Remote host closed the connection < 1603633816 171631 :lifthrasiir!~lifthrasi@ec2-52-79-98-81.ap-northeast-2.compute.amazonaws.com JOIN :#esoteric < 1603634800 196153 :rain1!~rain1@unaffiliated/rain1 PRIVMSG #esoteric :snakebird is a cool puzzle game < 1603634803 644495 :rain1!~rain1@unaffiliated/rain1 PRIVMSG #esoteric :I recommend it! < 1603635282 237477 :Lord_of_Life_!~Lord@46.217.216.204 NICK :Lord_of_Life < 1603635293 978441 :Lord_of_Life!~Lord@46.217.216.204 QUIT :Changing host < 1603635293 978485 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1603635623 795362 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :yeah, it's awesome < 1603635626 844217 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :i suck at it, though < 1603635755 988763 :rain1!~rain1@unaffiliated/rain1 PRIVMSG #esoteric :it's pretty hard < 1603635868 33281 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :the play store recommended it to me for months and i always looked over it because it looks like a game for children < 1603635871 963071 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :but boy was i wrong < 1603636075 419225 :user24!~user24@2a02:810a:1440:7304:7547:76f5:e238:4770 QUIT :Quit: Leaving < 1603636628 71088 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net JOIN :#esoteric < 1603636686 131382 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :b_jonas: it seems that the larger the (square) matrix is, the more likely it is to be singular, but the probability tends to a limit of (1/q; 1/q)_n which is slightly larger than 1/q but not by much (especially if q is large) < 1603636696 394336 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :here, q is the size of the field, n the size of the matrix < 1603636707 839017 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so the limit is _∞, _n is for a specific size of matrix < 1603636964 638644 :Arcorann_!~awych@121-200-5-186.79c805.syd.nbn.aussiebb.net QUIT :Read error: Connection reset by peer < 1603637524 370427 :ais523!~ais523@unaffiliated/ais523 QUIT :Read error: Connection reset by peer < 1603637600 145866 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1603637780 339972 :b_jonas!~x@catv-176-63-12-22.catv.broadband.hu PRIVMSG #esoteric :ais523: I see > 1603637864 944475 PRIVMSG #esoteric :14[[0714]]4 M10 02https://esolangs.org/w/index.php?diff=78142&oldid=75389 5* 03PythonshellDebugwindow 5* (+1) 10/* Commands */ Fix command > 1603637884 410497 PRIVMSG #esoteric :14[[0714]]4 M10 02https://esolangs.org/w/index.php?diff=78143&oldid=78142 5* 03PythonshellDebugwindow 5* (+10) 10/* Commands */ Fix commands > 1603637924 380660 PRIVMSG #esoteric :14[[07User:PythonshellDebugwindow/(Unnamed language)14]]4 M10 02https://esolangs.org/w/index.php?diff=78144&oldid=75789 5* 03PythonshellDebugwindow 5* (+1732) 10First draft of ++**p; < 1603638592 267690 :user24!~user24@2a02:810a:1440:7304:7547:76f5:e238:4770 JOIN :#esoteric > 1603640892 526680 PRIVMSG #esoteric :14[[07Detrovert14]]4 N10 02https://esolangs.org/w/index.php?oldid=78145 5* 03Hakerh400 5* (+6701) 10+[[Detrovert]] > 1603640896 690176 PRIVMSG #esoteric :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=78146&oldid=78103 5* 03Hakerh400 5* (+16) 10+[[Detrovert]] > 1603640899 891834 PRIVMSG #esoteric :14[[07User:Hakerh40014]]4 10 02https://esolangs.org/w/index.php?diff=78147&oldid=77146 5* 03Hakerh400 5* (+16) 10+[[Detrovert]] < 1603641362 22264 :b_jonas!~x@catv-176-63-12-22.catv.broadband.hu PRIVMSG #esoteric :ais523: is that limit proportion zero for q=2 but greater than zero for q=3 ? < 1603641545 323307 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :b_jonas: the limit proportion is never zero < 1603641734 723681 :ais523!~ais523@unaffiliated/ais523 QUIT :Quit: quit < 1603642662 858768 :arseniiv!~arseniiv@136.169.204.164 JOIN :#esoteric < 1603642901 227339 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1603643275 543928 :FreeFull!~freefull@defocus/sausage-lover QUIT : < 1603643331 197625 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1603644498 75478 :user24!~user24@2a02:810a:1440:7304:7547:76f5:e238:4770 QUIT :Quit: Leaving < 1603644668 344397 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1603645168 364026 :b_jonas!~x@catv-176-63-12-22.catv.broadband.hu PRIVMSG #esoteric :yay, the wonders of the internet! a second person who knows biology has confirmed the answer I got to my shark identification question < 1603645194 689690 :b_jonas!~x@catv-176-63-12-22.catv.broadband.hu PRIVMSG #esoteric :you can get expert opinions on topics you know nothing about (like fish, in my case) < 1603647589 484751 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Quit: ... < 1603647604 188865 :rain1!~rain1@unaffiliated/rain1 QUIT :Quit: Leaving < 1603648161 3999 :Sgeo!~Sgeo@ool-18b982ad.dyn.optonline.net JOIN :#esoteric < 1603650494 471591 :rain1!~rain1@unaffiliated/rain1 JOIN :#esoteric < 1603651079 622474 :rain1!~rain1@unaffiliated/rain1 QUIT :Quit: Leaving < 1603651841 725376 :arseniiv!~arseniiv@136.169.204.164 PRIVMSG #esoteric :b_jonas: yeah that’s great, though still it doesn’t happen too often < 1603652289 561957 :arseniiv!~arseniiv@136.169.204.164 PRIVMSG #esoteric : zzo38: I don't understand the context. what is snakebird? => that wasn’t exactly zzo38 :D Snakebird is a puzzle game in which you are given birds in the form of snakes on a square grid. A bird can usually move in cardinal directions step at a time as a regular snake from the snake game does, but after each step it experiences gravity and may fall on something sharp or out of the map, which means you need to undo. As the regular snake, a bi < 1603652289 659495 :arseniiv!~arseniiv@136.169.204.164 PRIVMSG #esoteric :rd can block its movement and this means a dead end too. In the game, you need to touch every bird’s head to a portal, and they are sucked into it, presumably to the next level < 1603652517 273383 :arseniiv!~arseniiv@136.169.204.164 PRIVMSG #esoteric :I’m not finished the game yet, it’s definitely a good level of hard, a bit more than I’m capable of :D agree with myname and rain1 < 1603652819 803439 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net QUIT :Quit: adu < 1603654657 96581 :imode!~linear@unaffiliated/imode JOIN :#esoteric < 1603656850 833336 :arseniiv!~arseniiv@136.169.204.164 QUIT :Ping timeout: 256 seconds < 1603657148 902046 :arseniiv!~arseniiv@136.169.204.164 JOIN :#esoteric < 1603657618 922722 :arseniiv!~arseniiv@136.169.204.164 QUIT :Ping timeout: 260 seconds < 1603658394 182959 :rain1!~rain1@unaffiliated/rain1 JOIN :#esoteric > 1603659885 150771 PRIVMSG #esoteric :14[[07User:PythonshellDebugwindow/(Unnamed language)14]]4 M10 02https://esolangs.org/w/index.php?diff=78148&oldid=78144 5* 03PythonshellDebugwindow 5* (+165) 10/* Specification */ Comments < 1603662744 175529 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1603664132 118597 :Arcorann_!~awych@121-200-5-186.79c805.syd.nbn.aussiebb.net JOIN :#esoteric < 1603664165 43841 :Arcorann_!~awych@121-200-5-186.79c805.syd.nbn.aussiebb.net QUIT :Remote host closed the connection < 1603664192 166031 :Arcorann_!~awych@121-200-5-186.79c805.syd.nbn.aussiebb.net JOIN :#esoteric > 1603665095 835102 PRIVMSG #esoteric :14[[075D Brainfuck With Multiverse Time Travel14]]4 M10 02https://esolangs.org/w/index.php?diff=78149&oldid=76501 5* 03RocketRace 5* (+219) 10Some clarifications regarding backwards time < 1603665525 55057 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Read error: Connection reset by peer < 1603665589 840336 :Lord_of_Life!~Lord@46.217.216.204 JOIN :#esoteric < 1603665590 31865 :Lord_of_Life!~Lord@46.217.216.204 QUIT :Changing host < 1603665590 31906 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1603667331 107384 :joast!~rick@cpe-98-146-112-4.natnow.res.rr.com JOIN :#esoteric < 1603667497 74287 :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.” < 1603669868 881810 :FreeFull!~freefull@defocus/sausage-lover QUIT : < 1603670169 115735 :t20kdc!~20kdc@cpc139384-aztw33-2-0-cust220.18-1.cable.virginm.net QUIT :Remote host closed the connection