< 1633219704 223684 :sprock!~sprock@user/sprock QUIT :Quit: ... < 1633220599 451018 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :Hooloovoo: you'd think _not_ giving it high priority would be the point of doing such things in the background, but no... < 1633220623 37979 :Hooloovoo!~Hooloovoo@hax0rbana.org PRIVMSG #esolangs :it *may* have been a case of failing drives. not sure < 1633221235 911032 :spruit11!~quassel@2a02:a467:ccd6:1:791a:e64e:ebb5:e20 QUIT :Ping timeout: 252 seconds < 1633221644 743668 :GPLv3!~noisytoot@sourcehut/user/noisytoot NICK :Noisytoot < 1633222186 419327 :sprock!~sprock@user/sprock JOIN #esolangs sprock :Maeve Sproule > 1633223148 25886 PRIVMSG #esolangs :14[[07Cammy14]]4 M10 02https://esolangs.org/w/index.php?diff=88512&oldid=88405 5* 03Corbin 5* (+19) 10/* Floating Point */ Add function for getting sign bit. Turns out that it can't be built from f-lt alone, thanks to -0.0. > 1633225364 629234 PRIVMSG #esolangs :14[[07Starstuff14]]4 10 02https://esolangs.org/w/index.php?diff=88513&oldid=88511 5* 03PixelatedStarfish 5* (+112) 10/* Compiling */ > 1633225379 429036 PRIVMSG #esolangs :14[[07Starstuff14]]4 10 02https://esolangs.org/w/index.php?diff=88514&oldid=88513 5* 03PixelatedStarfish 5* (+2) 10/* Base 200 Compiler */ < 1633227119 758366 :spruit11!~quassel@2a02:a467:ccd6:1:48e0:d11a:2551:c508 JOIN #esolangs spruit11 :anon < 1633227458 571409 :spruit11!~quassel@2a02:a467:ccd6:1:48e0:d11a:2551:c508 QUIT :Ping timeout: 260 seconds < 1633227871 578887 :spruit11!~quassel@2a02:a467:ccd6:1:48e0:d11a:2551:c508 JOIN #esolangs * :anon < 1633228882 581323 :spruit11!~quassel@2a02:a467:ccd6:1:48e0:d11a:2551:c508 QUIT :Ping timeout: 265 seconds < 1633229092 186985 :spruit11!~quassel@2a02:a467:ccd6:1:48e0:d11a:2551:c508 JOIN #esolangs * :anon < 1633229164 892452 :delta23!~delta23@user/delta23 QUIT :Quit: Leaving < 1633229759 175336 :spruit11!~quassel@2a02:a467:ccd6:1:48e0:d11a:2551:c508 QUIT :Ping timeout: 246 seconds < 1633230896 379900 :spruit11!~quassel@2a02:a467:ccd6:1:48e0:d11a:2551:c508 JOIN #esolangs * :anon < 1633231228 325694 :spruit11!~quassel@2a02:a467:ccd6:1:48e0:d11a:2551:c508 QUIT :Ping timeout: 252 seconds < 1633232398 599522 :spruit11!~quassel@2a02:a467:ccd6:1:48e0:d11a:2551:c508 JOIN #esolangs * :anon < 1633232681 581382 :spruit11!~quassel@2a02:a467:ccd6:1:48e0:d11a:2551:c508 QUIT :Ping timeout: 265 seconds < 1633232975 484677 :imode!~imode@user/imode PRIVMSG #esolangs :what's a good way to compress brainfuck? > 1633233574 921140 PRIVMSG #esolangs :14[[07Starstuff14]]4 10 02https://esolangs.org/w/index.php?diff=88515&oldid=88514 5* 03PixelatedStarfish 5* (-88) 10/* Base 200 Compiler */ < 1633234242 662485 :spruit11!~quassel@2a02:a467:ccd6:1:48e0:d11a:2551:c508 JOIN #esolangs * :anon < 1633234380 386498 :benji_!~benji@user/benji JOIN #esolangs benji :benji < 1633234410 486470 :feoh7!~feoh@137.184.104.30 JOIN #esolangs feoh :Chris Patti < 1633234414 362539 :keegan_!~beehive@li521-214.members.linode.com JOIN #esolangs * :beehive < 1633234512 404465 :Trieste_!T@user/pilgrim JOIN #esolangs pilgrim :T < 1633234514 635217 :spruit11!~quassel@2a02:a467:ccd6:1:48e0:d11a:2551:c508 QUIT :Ping timeout: 260 seconds < 1633234527 333729 :Melvar`!~melvar@dslb-178-001-195-022.178.001.pools.vodafone-ip.de JOIN #esolangs Melvar :melvar < 1633234537 395717 :slavfox_!~slavfox@ipv4-93-158-232-111.net.internetunion.pl JOIN #esolangs slavfox :slavfox < 1633234549 489458 :scjosh2!~scjosh@206.189.79.69 JOIN #esolangs scjosh :Josh < 1633234640 858808 :shachaf_!~shachaf@li227-219.members.linode.com JOIN #esolangs * :Shachaf Ben-Kiki < 1633234647 848270 :imode1!~imode@user/imode JOIN #esolangs imode :imode < 1633234821 41113 :imode!~imode@user/imode QUIT :*.net *.split < 1633234821 412303 :Melvar!~melvar@dslb-178-001-195-022.178.001.pools.vodafone-ip.de QUIT :*.net *.split < 1633234821 444973 :slavfox!~slavfox@93.158.232.111 QUIT :*.net *.split < 1633234821 445019 :zegalch!~zegalch@178.128.75.133 QUIT :*.net *.split < 1633234821 622856 :benji!~benji@user/benji QUIT :*.net *.split < 1633234821 655542 :shachaf!~shachaf@user/shachaf QUIT :*.net *.split < 1633234821 655584 :Trieste!T@user/pilgrim QUIT :*.net *.split < 1633234821 707569 :feoh!~feoh@137.184.104.30 QUIT :*.net *.split < 1633234821 707646 :scjosh!~scjosh@206.189.79.69 QUIT :*.net *.split < 1633234821 781214 :keegan!~beehive@li521-214.members.linode.com QUIT :*.net *.split < 1633234822 336314 :benji_!~benji@user/benji NICK :benji < 1633234865 981887 :zegalch!~zegalch@178.128.75.133 JOIN #esolangs zegalch :The Lounge User < 1633234887 861921 :Trieste!T@user/pilgrim JOIN #esolangs pilgrim :T < 1633234916 354423 :feoh!~feoh@137.184.104.30 JOIN #esolangs feoh :Chris Patti < 1633234923 618507 :rodgort!~rodgort@static.38.6.217.95.clients.your-server.de QUIT :Ping timeout: 252 seconds < 1633234923 765561 :feoh7!~feoh@137.184.104.30 QUIT :Quit: Ping timeout (120 seconds) < 1633234930 246341 :rodgort`!~rodgort@static.38.6.217.95.clients.your-server.de JOIN #esolangs * :rodgort < 1633234954 425051 :Trieste_!T@user/pilgrim QUIT :Ping timeout: 252 seconds < 1633234981 989413 :slavfox_!~slavfox@ipv4-93-158-232-111.net.internetunion.pl NICK :slavfox < 1633234981 989483 :scjosh2!~scjosh@206.189.79.69 NICK :scjosh < 1633235004 126067 :shachaf_!~shachaf@li227-219.members.linode.com CHGHOST ~shachaf :user/shachaf < 1633235006 783068 :shachaf_!~shachaf@user/shachaf NICK :shachaf < 1633235137 439946 :immibis_!~hexchat@62.156.144.218 JOIN #esolangs immibis :realname < 1633235146 881530 :moony9!moony@hellomouse/dev/moony JOIN #esolangs moony :Kaylie! (she/her) < 1633235291 566232 :benji_!~benji@user/benji JOIN #esolangs benji :benji < 1633235304 449529 :Melvar`!~melvar@dslb-178-001-195-022.178.001.pools.vodafone-ip.de QUIT :Ping timeout: 252 seconds < 1633235304 482132 :benji!~benji@user/benji QUIT :Ping timeout: 252 seconds < 1633235304 482173 :moony!moony@hellomouse/dev/moony QUIT :Ping timeout: 252 seconds < 1633235304 893949 :moony9!moony@hellomouse/dev/moony NICK :moony < 1633235308 441812 :immibis!~hexchat@62.156.144.218 QUIT :Ping timeout: 252 seconds < 1633235308 489077 :Corbin!~Corbin@c-73-67-140-116.hsd1.or.comcast.net QUIT :Ping timeout: 252 seconds < 1633235336 662460 :benji_!~benji@user/benji NICK :benji < 1633235419 359006 :keegan_!~beehive@li521-214.members.linode.com QUIT :Ping timeout: 252 seconds < 1633235432 450508 :keegan!~beehive@li521-214.members.linode.com JOIN #esolangs * :beehive > 1633235506 839687 PRIVMSG #esolangs :14[[07Twink14]]4 N10 02https://esolangs.org/w/index.php?oldid=88516 5* 03PixelatedStarfish 5* (+849) 10Created page with "'''Twink''' is a programming language created by [[User:PixelatedStarfish]]. It is designed for [[Starstuff]] such that any sequence of characters can be converted to runnable..." < 1633235531 413394 :Corbin!~Corbin@c-73-67-140-116.hsd1.or.comcast.net JOIN #esolangs * :Corbin < 1633235576 436066 :DutchIngraham!~DutchIngr@user/dutch JOIN #esolangs DutchIngraham :dutch > 1633235597 820430 PRIVMSG #esolangs :14[[07Starstuff14]]4 10 02https://esolangs.org/w/index.php?diff=88517&oldid=88515 5* 03PixelatedStarfish 5* (+2) 10/* Hexadecimal Compiler */ < 1633235602 847095 :dutch!~DutchIngr@user/dutch QUIT :Ping timeout: 252 seconds > 1633235625 248088 PRIVMSG #esolangs :14[[07Starstuff14]]4 10 02https://esolangs.org/w/index.php?diff=88518&oldid=88517 5* 03PixelatedStarfish 5* (+1) 10/* Modulo Compiler */ > 1633235662 829390 PRIVMSG #esolangs :14[[07Starstuff14]]4 10 02https://esolangs.org/w/index.php?diff=88519&oldid=88518 5* 03PixelatedStarfish 5* (+2) 10 > 1633235686 988746 PRIVMSG #esolangs :14[[07Twink14]]4 10 02https://esolangs.org/w/index.php?diff=88520&oldid=88516 5* 03PixelatedStarfish 5* (+70) 10 > 1633235803 809653 PRIVMSG #esolangs :14[[07User:PixelatedStarfish14]]4 10 02https://esolangs.org/w/index.php?diff=88521&oldid=88510 5* 03PixelatedStarfish 5* (+94) 10/* Starstuff */ < 1633235833 954743 :moony!moony@hellomouse/dev/moony QUIT :Quit: Ping timeout (120 seconds) < 1633235833 954789 :zegalch!~zegalch@178.128.75.133 QUIT :Quit: Ping timeout (120 seconds) < 1633235834 895337 :moony9!moony@hellomouse/dev/moony JOIN #esolangs moony :Kaylie! (she/her) < 1633235834 895379 :moony9!moony@hellomouse/dev/moony NICK :moony < 1633235854 922864 :jix!~jix@user/jix QUIT :Ping timeout: 252 seconds < 1633235861 351955 :zegalch!~zegalch@178.128.75.133 JOIN #esolangs zegalch :The Lounge User < 1633235874 433889 :jix!~jix@user/jix JOIN #esolangs jix :Jannis Harder > 1633236017 360216 PRIVMSG #esolangs :14[[07Starstuff14]]4 10 02https://esolangs.org/w/index.php?diff=88522&oldid=88519 5* 03PixelatedStarfish 5* (+5) 10/* Decimal Compiler */ > 1633236034 448226 PRIVMSG #esolangs :14[[07Starstuff14]]4 10 02https://esolangs.org/w/index.php?diff=88523&oldid=88522 5* 03PixelatedStarfish 5* (-14) 10/* Modulo Compiler */ > 1633236046 483486 PRIVMSG #esolangs :14[[07Starstuff14]]4 10 02https://esolangs.org/w/index.php?diff=88524&oldid=88523 5* 03PixelatedStarfish 5* (-14) 10/* Cumulative Compiler */ < 1633236069 386483 :Trieste!T@user/pilgrim QUIT :Ping timeout: 252 seconds < 1633236085 915955 :integral!sid296274@user/integral QUIT :Ping timeout: 252 seconds > 1633236089 451556 PRIVMSG #esolangs :14[[07Twink14]]4 10 02https://esolangs.org/w/index.php?diff=88525&oldid=88520 5* 03PixelatedStarfish 5* (+4) 10/* Commands */ < 1633236154 468426 :integral!sid296274@user/integral JOIN #esolangs integral :bsmith < 1633236155 346297 :Trieste!T@user/pilgrim JOIN #esolangs pilgrim :T < 1633236381 714120 :Melvar`!~melvar@dslb-178-001-195-022.178.001.pools.vodafone-ip.de JOIN #esolangs Melvar :melvar > 1633236406 292311 PRIVMSG #esolangs :14[[07Twink14]]4 10 02https://esolangs.org/w/index.php?diff=88526&oldid=88525 5* 03PixelatedStarfish 5* (+0) 10/* Commands */ < 1633236409 423406 :int-e!~noone@int-e.eu QUIT :Ping timeout: 252 seconds < 1633236417 812186 :int-e!~noone@int-e.eu JOIN #esolangs int-e :Bertram < 1633236437 881472 :integral!sid296274@user/integral QUIT :Max SendQ exceeded < 1633236438 951550 :integral!sid296274@user/integral JOIN #esolangs integral :bsmith < 1633236442 377324 :Trieste!T@user/pilgrim QUIT :Ping timeout: 252 seconds < 1633236442 442644 :sprock!~sprock@user/sprock QUIT :Ping timeout: 252 seconds > 1633236444 384639 PRIVMSG #esolangs :14[[07Twink14]]4 10 02https://esolangs.org/w/index.php?diff=88527&oldid=88526 5* 03PixelatedStarfish 5* (+0) 10/* Commands */ < 1633236456 599658 :sprock!~sprock@user/sprock JOIN #esolangs sprock :Maeve Sproule < 1633236541 395254 :Trieste!T@user/pilgrim JOIN #esolangs pilgrim :T < 1633236902 747543 :spruit11!~quassel@2a02:a467:ccd6:1:48e0:d11a:2551:c508 JOIN #esolangs * :anon < 1633237184 721000 :spruit11!~quassel@2a02:a467:ccd6:1:48e0:d11a:2551:c508 QUIT :Ping timeout: 250 seconds < 1633237726 226978 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Nite < 1633238760 772430 :Melvar`!~melvar@dslb-178-001-195-022.178.001.pools.vodafone-ip.de NICK :Melvar < 1633245758 838484 :spruit11!~quassel@2a02:a467:ccd6:1:48e0:d11a:2551:c508 JOIN #esolangs * :anon < 1633248523 626116 :hendursa1!~weechat@user/hendursaga JOIN #esolangs hendursaga :weechat < 1633248552 649999 :hendursaga!~weechat@user/hendursaga QUIT :Ping timeout: 276 seconds < 1633253576 227775 :chiselfu1e!~chiselfus@user/chiselfuse JOIN #esolangs chiselfuse :chiselfuse < 1633253700 641552 :chiselfuse!~chiselfus@user/chiselfuse QUIT :Ping timeout: 276 seconds < 1633254059 579065 :Sgeo!~Sgeo@user/sgeo QUIT :Read error: Connection reset by peer < 1633254895 839067 :imode1!~imode@user/imode QUIT :Ping timeout: 252 seconds < 1633256208 665232 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :Heh, that's odd. There's this monitor, even if it's not connected to power at all (all outlets here have physical power switches in them) the computer says it's connected, and can tell the make, model and supported resolutions. I guess it gets enough juice over HDMI to run that much of the logic, and uses the real power supply just to drive the actual display part of it. > 1633262588 388040 PRIVMSG #esolangs :14[[07)0,1(14]]4 M10 02https://esolangs.org/w/index.php?diff=88528&oldid=88436 5* 03Rphii 5* (-23) 10/* Motivation */ grammar < 1633266197 405859 :int-e!~noone@int-e.eu PRIVMSG #esolangs :5V/55mA is plenty for a bit of logic. < 1633266219 364153 :Thelie!~Thelie@business-24-134-17-157.pool2.vodafone-ip.de JOIN #esolangs * :Thelie < 1633266275 58348 :int-e!~noone@int-e.eu PRIVMSG #esolangs :I actually wouldn't be surprised if the standard mandated that functionality. But (as usual) I'm too lazy to check... it is of little consequence. < 1633266589 616711 :Thelie!~Thelie@business-24-134-17-157.pool2.vodafone-ip.de QUIT :Read error: Connection reset by peer < 1633266600 550026 :Thelie!~Thelie@business-24-134-17-157.pool2.vodafone-ip.de JOIN #esolangs * :Thelie < 1633266851 376986 :sknebel!~quassel@v22016013254630973.happysrv.de PRIVMSG #esolangs :basic implementation of DCC is just an I2C memory chip connected to power and I2C line on the connector, doesnt need any connection to the other electronics in the monitor < 1633266892 930248 :sknebel!~quassel@v22016013254630973.happysrv.de PRIVMSG #esolangs :not sure if mandated, but certainly intended to work that way < 1633267327 419090 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :I guess it makes sense. Slightly a shame, though: I was hoping I'd get a monitor hotplug event from turning that thing on/off, but of course it just appears connected all the time. < 1633268074 453820 :b_jonas!~x@catv-176-63-2-81.catv.broadband.hu PRIVMSG #esolangs :"I zqs spelling qll zeird qll the time." => the "m" in "time" is wrong < 1633268686 99498 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :Oh, that too. All the ti,e. < 1633268707 874287 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :I didn't *actually* switch layouts there, I just tried to approximate. < 1633271099 436965 :vyv!~vyv@bras-vprn-nrbaon0452w-lp130-17-76-68-65-112.dsl.bell.ca JOIN #esolangs vyv :vyv verver < 1633271357 411858 :mla!~mla@162.253.176.229 JOIN #esolangs mla :mla < 1633271368 475152 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Excess Flood < 1633271403 342995 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord < 1633271825 730475 :Thelie!~Thelie@business-24-134-17-157.pool2.vodafone-ip.de QUIT :Remote host closed the connection < 1633271843 939078 :Thelie!~Thelie@business-24-134-17-157.pool2.vodafone-ip.de JOIN #esolangs * :Thelie < 1633275798 320393 :Thelie!~Thelie@business-24-134-17-157.pool2.vodafone-ip.de QUIT :Remote host closed the connection < 1633275815 546515 :Thelie!~Thelie@business-24-134-17-157.pool2.vodafone-ip.de JOIN #esolangs * :Thelie < 1633275908 611945 :Thelie!~Thelie@business-24-134-17-157.pool2.vodafone-ip.de QUIT :Remote host closed the connection < 1633275932 453433 :Thelie!~Thelie@business-24-134-17-157.pool2.vodafone-ip.de JOIN #esolangs * :Thelie < 1633276616 323471 :arseniiv_!~arseniiv@136.169.201.228 JOIN #esolangs * :the chaotic arseniiv < 1633278286 854510 :delta23!~delta23@user/delta23 JOIN #esolangs delta23 :delta23__ < 1633278646 160671 :arseniiv_!~arseniiv@136.169.201.228 NICK :arseniiv < 1633278651 594380 :arseniiv!~arseniiv@136.169.201.228 PRIVMSG #esolangs :you know the notion that a space has cardinality equal to sum of 1/N for each orbit where N is the cardinality of that orbit? Could we think of something simple having cardinality, say, 7/2? Can’t pair an odd number of elements, so the simplest approach fails < 1633279950 252940 :vyv!~vyv@bras-vprn-nrbaon0452w-lp130-17-76-68-65-112.dsl.bell.ca QUIT :Quit: Konversation terminated! < 1633280694 447971 :delta23!~delta23@user/delta23 QUIT :Quit: Leaving < 1633280900 759167 :Corbin!~Corbin@c-73-67-140-116.hsd1.or.comcast.net PRIVMSG #esolangs :arseniiv: Have you read Baez & Dolan on this topic? A set with seven elements, quotiented by a set with two elements, will do the trick. We can think of six of seven elements as grouped in pairs, and then the seventh element is mapped to itself. < 1633280951 188265 :Corbin!~Corbin@c-73-67-140-116.hsd1.or.comcast.net PRIVMSG #esolangs :All of the pairs have two automorphisms (they're ordered), but the seventh element only has one because it's equal to itself; it counts for half. This gives 7/2. < 1633281022 600496 :Corbin!~Corbin@c-73-67-140-116.hsd1.or.comcast.net PRIVMSG #esolangs :https://arxiv.org/abs/math/0004133 explains this in painful but fun detail, building a weak quotient which has the desired property. < 1633281086 283178 :Corbin!~Corbin@c-73-67-140-116.hsd1.or.comcast.net PRIVMSG #esolangs :Tao might be more readable: https://terrytao.wordpress.com/2017/04/13/counting-objects-up-to-isomorphism-groupoid-cardinality/ < 1633281283 65821 :spruit11!~quassel@2a02:a467:ccd6:1:48e0:d11a:2551:c508 NICK :sprout < 1633281320 379402 :imode1!~imode@user/imode JOIN #esolangs imode :imode < 1633281550 828426 :sprout!~quassel@2a02:a467:ccd6:1:48e0:d11a:2551:c508 QUIT :Quit: https://quassel-irc.org - Chat comfortably. Anywhere. < 1633281575 838790 :sprout!~quassel@2a02:a467:ccd6:1:48e0:d11a:2551:c508 JOIN #esolangs * :anon < 1633281762 581461 :arseniiv!~arseniiv@136.169.201.228 PRIVMSG #esolangs :Corbin: wouldn’t 6 paired elements need to be counted as 3 then? < 1633281807 369944 :Corbin!~Corbin@c-73-67-140-116.hsd1.or.comcast.net PRIVMSG #esolangs :arseniiv: Yeah, and indeed 3 + 1/2 == 7/2 in traditional arithmetic. < 1633281965 677462 :Corbin!~Corbin@c-73-67-140-116.hsd1.or.comcast.net PRIVMSG #esolangs :You can look directly at p13 of Baez & Dolan for some helpful diagrams. They use the example of 5/2. < 1633281990 493047 :Corbin!~Corbin@c-73-67-140-116.hsd1.or.comcast.net PRIVMSG #esolangs :(But you'll have to read the first half of the paper if you want the justification for why it's allowed.) < 1633282013 738593 :arseniiv!~arseniiv@136.169.201.228 PRIVMSG #esolangs :I came up with a groupoid with objects in isomorphy classes of 1, 2, …, 33 objects, each one having two isos to each of isomorphic objects, one iso is a “direct” one and one is a “twisting” one, two twisting composing to a direct, and a direct from an object to itself is its id, thus all compositions are defined correctly and that’s indeed a groupoid. Then we have 33 isomorphism classes and each o < 1633282079 879185 :arseniiv!~arseniiv@136.169.201.228 PRIVMSG #esolangs :Corbin: oh, thanks for the Tao link, didn’t read him about that < 1633282102 903892 :arseniiv!~arseniiv@136.169.201.228 PRIVMSG #esolangs :Corbin: 3 + 1/2 = 7/2 oops I forgot how to calculate < 1633282132 775043 :Corbin!~Corbin@c-73-67-140-116.hsd1.or.comcast.net PRIVMSG #esolangs :Mm, so you'd have 33 isomorphism classes over a weak quotient of two automorphisms each, for a cardinality of 33/2? I admit that I still don't understand it fully. < 1633282164 650321 :arseniiv!~arseniiv@136.169.201.228 PRIVMSG #esolangs :oh I forgot to mention my N was actually 33 and forgot that I simplified it to 7 but did elaborate in ##math afterwards. Lose track of two threads at once < 1633282228 756339 :arseniiv!~arseniiv@136.169.201.228 PRIVMSG #esolangs :Corbin: I’ll read Tao and write with which of we wrote that aligns better < 1633282248 231406 :Corbin!~Corbin@c-73-67-140-116.hsd1.or.comcast.net PRIVMSG #esolangs :Cool, good luck. < 1633282300 630121 :arseniiv!~arseniiv@136.169.201.228 PRIVMSG #esolangs :oh a bit of a post got eaten off, it didn’t happen before to my client, it chunked overlong posts before < 1633282315 653801 :arseniiv!~arseniiv@136.169.201.228 PRIVMSG #esolangs :thanks :) let’s see < 1633283457 747239 :arseniiv!~arseniiv@136.169.201.228 PRIVMSG #esolangs :Corbin: yeah, Tao indeed starts with weighing 1/|[x]| for each element x but then he shows this troubles uniform sampling and corrects that to 1/(number of isos from x), which is in accordance with counting just auts for a single representative of each isomorphism class < 1633283496 531453 :Thelie!~Thelie@business-24-134-17-157.pool2.vodafone-ip.de QUIT :Remote host closed the connection < 1633283810 756301 :Sgeo!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname < 1633283850 148261 :arseniiv!~arseniiv@136.169.201.228 PRIVMSG #esolangs :ah, we could just have {−16, …, +16} acted by {x ↦ +x, x ↦ −x} after all. Then the corresponding groupoid will have two auts for {0} and just one for any representative of {−n, +n} for nonzero n, so overall 16 + 1/2 = 33/2 < 1633283869 821923 :arseniiv!~arseniiv@136.169.201.228 PRIVMSG #esolangs :it can be pretty confusing < 1633283891 97335 :arseniiv!~arseniiv@136.169.201.228 PRIVMSG #esolangs :now how could I make rot cypher with this… < 1633283941 367448 :arseniiv!~arseniiv@136.169.201.228 PRIVMSG #esolangs :I need to treat almost half of the alphabet somewhat interchangeable but not totally interchangeable… eh < 1633284582 49558 :arseniiv!~arseniiv@136.169.201.228 PRIVMSG #esolangs :I guess I made it unknowingly! x ↦ −x here is the rot-33/2 I looked for < 1633284771 261391 :sprout!~quassel@2a02:a467:ccd6:1:48e0:d11a:2551:c508 QUIT :Quit: https://quassel-irc.org - Chat comfortably. Anywhere. < 1633284788 862169 :sprout!~quassel@2a02:a467:ccd6:1:48e0:d11a:2551:c508 JOIN #esolangs * :anon < 1633289912 418349 :delta23!~delta23@user/delta23 JOIN #esolangs delta23 :delta23__ > 1633294260 127163 PRIVMSG #esolangs :14[[07InterpretMe14]]4 10 02https://esolangs.org/w/index.php?diff=88529&oldid=87755 5* 03OliveIsAWord 5* (-48) 10 < 1633294450 329555 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Read error: Connection reset by peer < 1633294532 980060 :imode1!~imode@user/imode QUIT :Quit: WeeChat 3.2.1 < 1633294547 411658 :imode!~imode@user/imode JOIN #esolangs imode :imode < 1633294673 353667 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord > 1633295056 585582 PRIVMSG #esolangs :14[[073switchBF14]]4 10 02https://esolangs.org/w/index.php?diff=88530&oldid=73804 5* 03OliveIsAWord 5* (-45) 10refactored python code < 1633295840 245182 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord < 1633295842 345699 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Ping timeout: 252 seconds < 1633296000 815910 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 NICK :Lord_of_Life < 1633297357 420325 :arseniiv!~arseniiv@136.169.201.228 QUIT :Ping timeout: 252 seconds < 1633298047 605418 :delta23!~delta23@user/delta23 QUIT :Quit: Leaving < 1633298389 840823 :sprout!~quassel@2a02:a467:ccd6:1:48e0:d11a:2551:c508 QUIT :Ping timeout: 252 seconds < 1633299102 397421 :sprout!~quassel@2a02:a467:ccd6:1:7da6:2d3:65ff:ac76 JOIN #esolangs * :anon < 1633299373 376868 :sprout!~quassel@2a02:a467:ccd6:1:7da6:2d3:65ff:ac76 QUIT :Ping timeout: 252 seconds < 1633300246 761609 :hendursa1!~weechat@user/hendursaga QUIT :Quit: hendursa1 < 1633300358 632484 :hendursaga!~weechat@user/hendursaga JOIN #esolangs hendursaga :weechat < 1633300986 940118 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esolangs :Do they drag boats by horses? < 1633301031 793581 :keegan!~beehive@li521-214.members.linode.com PRIVMSG #esolangs :along canals yes https://en.wikipedia.org/wiki/Towpath < 1633301101 930023 :keegan!~beehive@li521-214.members.linode.com PRIVMSG #esolangs :not so much anymore < 1633301927 738798 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esolangs :I was playing the GURPS earlier today, and that is what they did, or at least what they tried to do. But, the boat was too slow and the horse refused to move due to seeing something unsafe. So, instead we took the sign attached to the horse (we were trying to alert someone on the island) and attached it to the boat to use as a sail; fortunately the wind was correct for doing that. < 1633302470 608595 :keegan!~beehive@li521-214.members.linode.com PRIVMSG #esolangs :oh, that's fortunate < 1633302954 651679 :sprout!~quassel@2a02:a467:ccd6:1:7da6:2d3:65ff:ac76 JOIN #esolangs * :anon < 1633303310 569210 :sprout!~quassel@2a02:a467:ccd6:1:7da6:2d3:65ff:ac76 QUIT :Ping timeout: 260 seconds < 1633303845 354923 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN #esolangs oerjan :Ørjan Johansen < 1633305183 407144 :sprout!~quassel@2a02:a467:ccd6:1:7da6:2d3:65ff:ac76 JOIN #esolangs * :anon < 1633305478 432518 :sprout!~quassel@2a02:a467:ccd6:1:7da6:2d3:65ff:ac76 QUIT :Ping timeout: 252 seconds