< 1627344410 823109 :Trieste!T@user/pilgrim QUIT :Ping timeout: 258 seconds < 1627347231 927688 :user3456!user3456@user/user3456 QUIT :Quit: ZNC - https://znc.in < 1627347312 43730 :user3456!user3456@user/user3456 JOIN #esolangs user3456 :user3456 < 1627349907 983335 :int-e!~noone@int-e.eu PRIVMSG #esolangs :hmm https://www.chiark.greenend.org.uk/~sgtatham/puzzles/js/loopy.html#12x10t1dh#215082649470581 felt difficult (for the type) < 1627350296 963994 :nakilon!~nakilon@user/nakilon PRIVMSG #esolangs :solving on desktop feels so different from mobile < 1627350309 188021 :nakilon!~nakilon@user/nakilon PRIVMSG #esolangs :where you just tap again, not "right click" < 1627350316 67057 :nakilon!~nakilon@user/nakilon PRIVMSG #esolangs :or "two fingers" on trackpad > 1627350566 339321 PRIVMSG #esolangs :14[[07Position14]]4 N10 02https://esolangs.org/w/index.php?oldid=86686 5* 03WreckingGames 5* (+1333) 10Created page with "[[Position]] is a stack-based esolang created by [[User:WreckingGames|WreckingGames]], where almost every important command changes depending on its position in the code. ==..." < 1627350599 271875 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN #esolangs oerjan :Ørjan Johansen < 1627351796 812258 :nakilon!~nakilon@user/nakilon PRIVMSG #esolangs :done < 1627352567 55894 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :also done, assuming you're talking about int-e's game < 1627352605 113946 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :no big problems, but there was a point where i needed several countings of crossings around a region one after the other < 1627354102 377385 :int-e!~noone@int-e.eu PRIVMSG #esolangs :tbf I wouldn't expect any *big* problems from any of these puzzles < 1627354594 694024 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :for that, we'd need tatham to start using NP-completeness to translate factoring problems :) < 1627354622 189095 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :although those puzzles would probably look unnatural < 1627354720 615449 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :i suppose one might try to develop an NP reduction that created natural looking ones < 1627356459 626410 :nakilon!~nakilon@user/nakilon PRIVMSG #esolangs :alright, I'll get the seed from my phone where it sits for probably 2-3 years already < 1627356519 722321 :nakilon!~nakilon@user/nakilon PRIVMSG #esolangs :I'm rarely in trips to continue solving it but I suppose you won't say there is no *big* problems in it ) < 1627356950 606537 :nakilon!~nakilon@user/nakilon PRIVMSG #esolangs :https://www.chiark.greenend.org.uk/~sgtatham/puzzles/js/loopy.html#10x10t7dh#363752026185553 < 1627357200 417921 :int-e!~noone@int-e.eu PRIVMSG #esolangs :that's kind of big though < 1627357499 599299 :nakilon!~nakilon@user/nakilon PRIVMSG #esolangs :yeah, probably 2 times bigger area, it's not default < 1627357909 372214 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :whee < 1627357919 579340 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :(lessee) < 1627359981 971288 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :ok i do feel a bit stalled for the moment < 1627361670 116108 :Melvar!~melvar@dslb-092-074-060-118.092.074.pools.vodafone-ip.de PRIVMSG #esolangs :Solved. < 1627361721 438497 :Melvar!~melvar@dslb-092-074-060-118.092.074.pools.vodafone-ip.de PRIVMSG #esolangs :I did get stuck for a while a few times. < 1627361731 534524 :nakilon!~nakilon@user/nakilon PRIVMSG #esolangs :_Oo < 1627361807 192326 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :darn < 1627361832 807675 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :i was stuck until a moment ago, then i found something, but i'm not sure it leads to much more < 1627363388 770775 :riv!~river@tilde.team/user/river PRIVMSG #esolangs :hi! < 1627364084 493596 :nakilon!~nakilon@user/nakilon PRIVMSG #esolangs :hi < 1627364306 633502 :riv!~river@tilde.team/user/river PRIVMSG #esolangs :https://krazydad.com/play/area51/ these hybrid puzzles are cool < 1627365210 664878 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esolangs :nice < 1627365213 517263 :nakilon!~nakilon@user/nakilon PRIVMSG #esolangs :idk how Melvar did it in 80 min, I started over and I'm far below 50$ < 1627365216 156076 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esolangs :i want that as an app > 1627365413 70715 PRIVMSG #esolangs :14[[07Minim14]]4 M10 02https://esolangs.org/w/index.php?diff=86687&oldid=86392 5* 03KakkoiiChris 5* (-513) 10Simplified Hello World example < 1627365738 851180 :Sgeo!~Sgeo@user/sgeo QUIT :Read error: Connection reset by peer < 1627366396 371610 :Melvar!~melvar@dslb-092-074-060-118.092.074.pools.vodafone-ip.de PRIVMSG #esolangs :I think I only started after oerjan said they felt stalled. < 1627366428 271175 :Melvar!~melvar@dslb-092-074-060-118.092.074.pools.vodafone-ip.de PRIVMSG #esolangs :Idk might have been hyperfocus might have been luck. < 1627366668 546408 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord < 1627366720 710695 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Ping timeout: 258 seconds < 1627366741 186566 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 NICK :Lord_of_Life < 1627366915 404496 :nakilon!~nakilon@user/nakilon PRIVMSG #esolangs :maybe you clicked another link? ..D < 1627367042 259450 :Melvar!~melvar@dslb-092-074-060-118.092.074.pools.vodafone-ip.de PRIVMSG #esolangs :My browser’s address bar definitely contains the one from six posts above my “Solved.”. < 1627367117 781651 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :
ACTION still stalled but took a break
< 1627367145 91857 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :(still taking a break) < 1627372710 467099 :riv!~river@tilde.team/user/river QUIT :Quit: Leaving < 1627373031 770363 :nakilon!~nakilon@user/nakilon PRIVMSG #esolangs :I'm stuck < 1627373293 732598 :hendursaga!~weechat@user/hendursaga QUIT :Ping timeout: 244 seconds < 1627373424 402985 :tech_exorcist!~tech_exor@user/tech-exorcist/x-0447479 JOIN #esolangs tech_exorcist :he/him < 1627373998 911391 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Nite > 1627378280 700894 PRIVMSG #esolangs :14[[07MCBlocks14]]4 10 02https://esolangs.org/w/index.php?diff=86688&oldid=86683 5* 03Dominicentek 5* (+65) 10 < 1627380228 945624 :arseniiv!~arseniiv@94.41.6.151.dynamic.ufanet.ru JOIN #esolangs * :the chaotic arseniiv < 1627386380 594855 :sebbu!~sebbu@user/sebbu QUIT :Quit: reboot > 1627387525 397019 PRIVMSG #esolangs :14[[07LCode14]]4 N10 02https://esolangs.org/w/index.php?oldid=86689 5* 03Nitrogen Dioxide 5* (+2255) 10Created page with "{{stub}} '''LCode''' (aka LoserCode) is a "coding language" made by [[User:Nitrogen_Dioxide]] as a joke. The "official" interpreter is made in C#. The interpreter accepts any..." < 1627389928 797643 :hendursaga!~weechat@user/hendursaga JOIN #esolangs hendursaga :weechat < 1627393871 680834 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Well.. one power outage later it's solved. I did have to restart a couple of times because of mistakes though :-/ < 1627393893 696972 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(I slept a bit, too) < 1627393963 981312 :dutch!~DutchIngr@user/dutch QUIT :Quit: WeeChat 3.0.1 < 1627395373 37179 :sebbu!~sebbu@user/sebbu JOIN #esolangs sebbu :sebbu < 1627395997 141782 :int-e!~noone@int-e.eu PRIVMSG #esolangs :fungot: Which loopy type are you? Left (likes to prove uniqueness) or right (exploits uniqueness)? https://int-e.eu/~bf3/tmp/uloopy.png < 1627395997 549917 :fungot!fungot@2a01:4b00:82bb:1341::a PRIVMSG #esolangs :int-e: using sisc you can customize on it a bit more difficult, but possible. have you tried noctis? http://en.wikipedia.org/ wiki/ main_page < 1627396526 907161 :int-e!~noone@int-e.eu PRIVMSG #esolangs :And here's an actual (constructed) puzzle that contains this pattern: https://www.chiark.greenend.org.uk/~sgtatham/puzzles/js/loopy.html#4x4t0:2b1c0b3d3 < 1627396574 38060 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Though it's obviously not a hard one :) < 1627396703 714459 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esolangs :int-e: I feel there's a third category, "does not care about uniqueness, just wants to find any solution" < 1627396721 627763 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esolangs :But I don't know if they differ from the exploits uniqueness category in practice < 1627396747 480439 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esolangs :Maybe they're more willing to make guesses < 1627396760 399021 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Oh it can be fit into a 3x3 puzzle: https://www.chiark.greenend.org.uk/~sgtatham/puzzles/js/loopy.html#3x3t0:2a1b1b3 < 1627396803 374598 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Taneb: Yeah I guess the best solvers are actually good at quick forced conclusions *and* at fixing mistakes < 1627396818 859781 :int-e!~noone@int-e.eu PRIVMSG #esolangs :s/best/fastest/ < 1627396879 760827 :int-e!~noone@int-e.eu PRIVMSG #esolangs :I usually start over when I find a mistake unless it was a very recent one (so I can pinpoint where I went wrong, exactly) < 1627397000 435169 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esolangs :I try to maintain very clean undo history (not easy on a small touch screen) and then if I find a mistake I try to find it < 1627397006 120387 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esolangs :Although sometimes I just restart < 1627397131 771333 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(That level encoding is kind of dual to PEN: PEN does RLE with digits, and uses letters for the occupied squares; this format does RLE with letters and uses digits for the occupied squares...) < 1627397135 846217 :int-e!~noone@int-e.eu PRIVMSG #esolangs :FEN > 1627397418 807857 PRIVMSG #esolangs :14[[07Maybebat14]]4 N10 02https://esolangs.org/w/index.php?oldid=86690 5* 03ChuckEsoteric08 5* (+328) 10Created page with "maybebat - esolang by [[User:ChuckEsoteric08]] in batch and it is Turing Complete! ==Examples== ===[[Hello, World!]]=== print[maybe];hello, world! wait[button] ==Exterenal..." < 1627397484 284644 :Sgeo!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname > 1627397563 595311 PRIVMSG #esolangs :14[[07User:ChuckEsoteric0814]]4 10 02https://esolangs.org/w/index.php?diff=86691&oldid=86142 5* 03ChuckEsoteric08 5* (+26) 10 < 1627398674 396833 :spruit11_!~quassel@2a02:a467:ccd6:1:c892:977a:b4bf:318c JOIN #esolangs * :anon < 1627398712 178257 :spruit11_!~quassel@2a02:a467:ccd6:1:c892:977a:b4bf:318c QUIT :Client Quit < 1627398730 519776 :spruit11_!~quassel@2a02:a467:ccd6:1:c892:977a:b4bf:318c JOIN #esolangs * :anon < 1627398880 367322 :spruit11!~quassel@2a02:a467:ccd6:1:3536:e6ac:e02d:6c68 QUIT :Ping timeout: 272 seconds < 1627402004 294451 :Koen_!~Koen@205.172.9.109.rev.sfr.net JOIN #esolangs * :Koen < 1627402600 817512 :Oshawott!~archenoth@S0106889e6827f474.cg.shawcable.net QUIT :Ping timeout: 258 seconds < 1627402648 430442 :Oshawott!~archenoth@S0106889e6827f474.cg.shawcable.net JOIN #esolangs Archenoth :archenoth < 1627402692 809009 :spruit11_!~quassel@2a02:a467:ccd6:1:c892:977a:b4bf:318c QUIT :Quit: https://quassel-irc.org - Chat comfortably. Anywhere. < 1627402708 520301 :spruit11!~quassel@2a02:a467:ccd6:1:c892:977a:b4bf:318c JOIN #esolangs * :anon < 1627402902 635456 :SGautam!uid286066@charlton.irccloud.com JOIN #esolangs * :Siddharth Gautam < 1627405009 274470 :riv!~river@tilde.team/user/river JOIN #esolangs river :river < 1627405191 41145 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :I think I wouldn't mind a feature in the puzzle interface that can add (labeled?) snapshots, just because sometimes it's easier to think through consequences if you can click to visualize them. But I'm always afraid I would forget how far back to unroll if I do that. < 1627405247 748280 :riv!~river@tilde.team/user/river PRIVMSG #esolangs :yes labelled snapshots would be excellent < 1627405259 615089 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :What I've been doing instead is, add something that's obviously wrong (i.e., turns red) in some other corner of the puzzle, then do the speculative clicking, and then when it's time to roll back just click on undo enough to make the red thing go away. < 1627406375 416746 :Melvar!~melvar@dslb-092-074-060-118.092.074.pools.vodafone-ip.de PRIVMSG #esolangs :int-e: This type: https://i.imgur.com/eXhIM7U.png < 1627408293 29101 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Melvar: ah, right < 1627408313 521671 :Corbin!~Corbin@c-73-67-140-116.hsd1.or.comcast.net PRIVMSG #esolangs :Ugh, I need to implement e-graphs again. Not sure if I want to use OCaml or jq. < 1627408446 40355 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Melvar: fixed :) < 1627408474 655771 :Corbin!~Corbin@c-73-67-140-116.hsd1.or.comcast.net PRIVMSG #esolangs :jq is much better at manipulating untyped string-tagged data, but OCaml would make it easier to implement the union-find data structure. < 1627408490 844051 :Corbin!~Corbin@c-73-67-140-116.hsd1.or.comcast.net PRIVMSG #esolangs :Has anybody else done the e-graph adventure? It's hard. < 1627409043 916378 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Hmm, silly puzzle that the solver can't solve ;-) https://www.chiark.greenend.org.uk/~sgtatham/puzzles/js/loopy.html#3x3t0:0a0c0a0 < 1627411794 319965 :tech_exorcist!~tech_exor@user/tech-exorcist/x-0447479 QUIT :Quit: tech_exorcist < 1627413009 14162 :arseniiv!~arseniiv@94.41.6.151.dynamic.ufanet.ru QUIT :Ping timeout: 252 seconds < 1627415701 955817 :arseniiv!~arseniiv@94.41.6.151.dynamic.ufanet.ru JOIN #esolangs * :the chaotic arseniiv < 1627416769 933044 :nakilon!~nakilon@user/nakilon PRIVMSG #esolangs :in-built solver? < 1627416778 762390 :nakilon!~nakilon@user/nakilon PRIVMSG #esolangs :or your solver < 1627416799 699054 :nakilon!~nakilon@user/nakilon PRIVMSG #esolangs :nvm, pressed the button < 1627417583 152335 :cd!moony@hellomouse/dev/moony NICK :moony < 1627417586 974313 :arseniiv!~arseniiv@94.41.6.151.dynamic.ufanet.ru QUIT :Ping timeout: 250 seconds < 1627418371 12547 :Koen_!~Koen@205.172.9.109.rev.sfr.net QUIT :Quit: Leaving... < 1627419593 82391 :SGautam!uid286066@charlton.irccloud.com QUIT :Quit: Connection closed for inactivity < 1627420088 374362 :slavfox!~slavfox@93.158.232.111 QUIT :Ping timeout: 256 seconds < 1627420266 64293 :slavfox!~slavfox@ipv4-93-158-232-111.net.internetunion.pl JOIN #esolangs slavfox :slavfox < 1627421803 371153 :Trieste!T@user/pilgrim JOIN #esolangs pilgrim :T < 1627422130 67687 :Thelie!~Thelie@2a02:8106:215:3300:e7ad:5ab7:4ea0:e177 JOIN #esolangs * :Thelie < 1627422136 353186 :Trieste!T@user/pilgrim QUIT :Ping timeout: 272 seconds < 1627422169 370311 :Trieste!T@user/pilgrim JOIN #esolangs pilgrim :T > 1627422776 204694 PRIVMSG #esolangs :14[[07Betaload14]]4 M10 02https://esolangs.org/w/index.php?diff=86692&oldid=57118 5* 03Challenger5 5* (+3) 10fix implementation link < 1627426726 274622 :mnrmnaugh!~mnrmnaugh@pool-96-252-87-182.bstnma.fios.verizon.net QUIT :Ping timeout: 265 seconds < 1627427311 510402 :oren!~oren@ec2-34-239-129-109.compute-1.amazonaws.com PRIVMSG #esolangs :interesting type problem: is there a programming language in which, for a type B and a generic type A, A is a supertype of A < 1627427333 130519 :oren!~oren@ec2-34-239-129-109.compute-1.amazonaws.com PRIVMSG #esolangs :or in which it can be stated that that is the case? < 1627427802 399938 :Thelie!~Thelie@2a02:8106:215:3300:e7ad:5ab7:4ea0:e177 QUIT :Remote host closed the connection < 1627428158 834493 :dermato!~dermatobr@154.21.114.128 JOIN #esolangs dermato :dermato < 1627428461 289891 :int-e!~noone@int-e.eu PRIVMSG #esolangs :If A is a functor then you can lift the injection map T -> any to A -> A. So that is the kind of structure you need... < 1627428916 505291 :b_jonas!~x@catv-176-63-12-30.catv.broadband.hu PRIVMSG #esolangs :oren: uh, I think java and maybe rust has at least some basic conception of which parametrized types have covariant or contravariant type argument < 1627428951 818958 :b_jonas!~x@catv-176-63-12-30.catv.broadband.hu PRIVMSG #esolangs :but I'm not sure what you mean by `any` in that < 1627429481 328794 :dutch!~DutchIngr@user/dutch JOIN #esolangs DutchIngraham :dutch < 1627429576 948183 :nakilon!~nakilon@user/nakilon PRIVMSG #esolangs :these should banned from unicode https://i.imgur.com/1H6Njay.png