> 1625184322 314256 PRIVMSG #esolangs :14[[07Blood3214]]4 10 02https://esolangs.org/w/index.php?diff=85618&oldid=85543 5* 03PixelatedStarfish 5* (-2) 10/* Grammar */ > 1625184401 241350 PRIVMSG #esolangs :14[[07Blood3214]]4 10 02https://esolangs.org/w/index.php?diff=85619&oldid=85618 5* 03PixelatedStarfish 5* (+4) 10/* Grammar */ > 1625184508 586302 PRIVMSG #esolangs :14[[07Blood3214]]4 10 02https://esolangs.org/w/index.php?diff=85620&oldid=85619 5* 03PixelatedStarfish 5* (+2) 10/* Grammar */ > 1625184779 834252 PRIVMSG #esolangs :14[[07Blood3214]]4 10 02https://esolangs.org/w/index.php?diff=85621&oldid=85620 5* 03PixelatedStarfish 5* (+6) 10/* Grammar */ < 1625185855 492602 :delta23!~delta23@user/delta23 QUIT :Quit: Leaving < 1625186783 896326 :mnrmnaugh!~mnrmnaugh@pool-96-252-87-182.bstnma.fios.verizon.net NICK :hflotmnaugh < 1625188613 338422 :richbridger!~richbridg@213-225-32-103.nat.highway.a1.net JOIN #esolangs richbridger :realname < 1625188681 41966 :aquijoule_!~richbridg@213-225-32-103.nat.highway.a1.net QUIT :Read error: Connection reset by peer > 1625193053 812350 PRIVMSG #esolangs :14[[07Blood3214]]4 10 02https://esolangs.org/w/index.php?diff=85622&oldid=85621 5* 03PixelatedStarfish 5* (+0) 10/* Grammar */ > 1625193154 22832 PRIVMSG #esolangs :14[[07Blood3214]]4 10 02https://esolangs.org/w/index.php?diff=85623&oldid=85622 5* 03PixelatedStarfish 5* (+16) 10 > 1625193228 744302 PRIVMSG #esolangs :14[[07Blood3214]]4 10 02https://esolangs.org/w/index.php?diff=85624&oldid=85623 5* 03PixelatedStarfish 5* (+10) 10 > 1625193408 222130 PRIVMSG #esolangs :14[[07Blood3214]]4 10 02https://esolangs.org/w/index.php?diff=85625&oldid=85624 5* 03PixelatedStarfish 5* (+0) 10/* The grid */ > 1625193959 557791 PRIVMSG #esolangs :14[[07Blood3214]]4 10 02https://esolangs.org/w/index.php?diff=85626&oldid=85625 5* 03PixelatedStarfish 5* (+19) 10/* Restrictions */ > 1625193986 524855 PRIVMSG #esolangs :14[[07Blood3214]]4 10 02https://esolangs.org/w/index.php?diff=85627&oldid=85626 5* 03PixelatedStarfish 5* (+3) 10/* Permitted */ < 1625194484 677557 :spirgel!spirgel@gateway/vpn/protonvpn/spirgel JOIN #esolangs spirgel :spirgel < 1625195453 531138 :jryans!~jryans@2001:470:69fc:105::1d QUIT :Write error: Connection reset by peer < 1625195453 531227 :Deewiant!~deewiant@2001:470:69fc:105::2fd3 QUIT :Write error: Connection reset by peer < 1625195454 676687 :fizzie[m]!~fizzie@2001:470:69fc:105::3727 QUIT :Remote host closed the connection < 1625195536 416672 :jryans!~jryans@2001:470:69fc:105::1d JOIN #esolangs jryans :@jryans:matrix.org < 1625196098 243598 :Deewiant!~deewiant@2001:470:69fc:105::2fd3 JOIN #esolangs Deewiant :@deewiant:maon.fi < 1625196110 757672 :fizzie[m]!~fizzie@2001:470:69fc:105::3727 JOIN #esolangs * :@fizzie:zem.fi < 1625196806 68387 :jryans!~jryans@2001:470:69fc:105::1d QUIT :Quit: node-irc says goodbye < 1625197053 990687 :Deewiant!~deewiant@2001:470:69fc:105::2fd3 QUIT :Quit: node-irc says goodbye < 1625197618 421976 :fizzie[m]!~fizzie@2001:470:69fc:105::3727 QUIT :Quit: node-irc says goodbye < 1625204551 166522 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esolangs :Why doesn't Wikipedia use data templates for comparison tables? Entering the tables directly makes it much more difficult to edit, I think. < 1625205026 237977 :Corbin!~Corbin@c-73-67-140-116.hsd1.or.comcast.net PRIVMSG #esolangs :Cannot wait for Wikifunctions to be a thing. < 1625205042 567426 :imode!~imode@user/imode PRIVMSG #esolangs :wikifunctions? < 1625205086 473301 :Corbin!~Corbin@c-73-67-140-116.hsd1.or.comcast.net PRIVMSG #esolangs :The official name for "Abstract Wikipedia". The core idea is to use Wikidata to fill in templates for many different pages. < 1625205391 776336 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esolangs :I meant just using the standard template feature, but that can work too I suppose < 1625207717 39503 :Sgeo!~Sgeo@user/sgeo QUIT :Read error: Connection reset by peer < 1625208435 355650 :spirgel_!spirgel@gateway/vpn/protonvpn/spirgel JOIN #esolangs spirgel :spirgel < 1625208607 573347 :spirgel!spirgel@gateway/vpn/protonvpn/spirgel QUIT :Ping timeout: 258 seconds < 1625208618 212202 :tromp!~textual@dhcp-077-249-230-040.chello.nl JOIN #esolangs * :Textual User < 1625210743 180738 :jryans!~jryans@2001:470:69fc:105::1d JOIN #esolangs jryans :@jryans:matrix.org < 1625211164 811827 :Deewiant!~deewiant@2001:470:69fc:105::2fd3 JOIN #esolangs Deewiant :@deewiant:maon.fi < 1625211176 954268 :fizzie[m]!~fizzie@2001:470:69fc:105::3727 JOIN #esolangs * :@fizzie:zem.fi < 1625211943 585809 :jryans!~jryans@2001:470:69fc:105::1d QUIT :Quit: Client limit exceeded: 20000 < 1625212144 848085 :riv!~river@tilde.team/user/river PRIVMSG #esolangs :https://en.wikipedia.org/wiki/True_arithmetic#Arithmetic_undefinability < 1625212159 952451 :jryans!~jryans@2001:470:69fc:105::1d JOIN #esolangs jryans :@jryans:matrix.org < 1625212161 749269 :riv!~river@tilde.team/user/river PRIVMSG #esolangs :I didn't expect posts theorem to come up here, very interesting < 1625212187 572777 :riv!~river@tilde.team/user/river PRIVMSG #esolangs :I recently studied the 'uniform' halting problem and how a uniform halting oracle is stronger than a halting oracle < 1625212195 285455 :riv!~river@tilde.team/user/river PRIVMSG #esolangs :which is I guess a special case of posts theorem < 1625212313 457360 :Deewiant!~deewiant@2001:470:69fc:105::2fd3 QUIT :Quit: Client limit exceeded: 20000 < 1625212374 990922 :riv!~river@tilde.team/user/river PRIVMSG #esolangs :people in #math keep talking about godels theorem, in particular the idea that the godel sentence is 'true' [in fuzzy terms] but unprovable < 1625212380 715684 :riv!~river@tilde.team/user/river PRIVMSG #esolangs :and its making me doubt things < 1625212389 874760 :Deewiant!~deewiant@2001:470:69fc:105::2fd3 JOIN #esolangs Deewiant :@deewiant:maon.fi < 1625212415 380853 :riv!~river@tilde.team/user/river PRIVMSG #esolangs :im not sure why the topic keeps coming up < 1625212442 478544 :riv!~river@tilde.team/user/river PRIVMSG #esolangs :but it seems kind of like nonsense. you can adjoin G or you can adjoin ~G.. < 1625212467 186773 :riv!~river@tilde.team/user/river PRIVMSG #esolangs :i thought there was no standard model of arithmetic but I need to read more on true arithmetic < 1625212579 776127 :shachaf!~shachaf@user/shachaf PRIVMSG #esolangs :What is the uniform halting problem? < 1625212622 1241 :shachaf!~shachaf@user/shachaf PRIVMSG #esolangs :It's maybe kind of nonsense but you can kind of see what they're getting at too, right? < 1625212681 206362 :riv!~river@tilde.team/user/river PRIVMSG #esolangs :I understand it but i don't like it < 1625212719 158920 :riv!~river@tilde.team/user/river PRIVMSG #esolangs :uniform halting problem is "does this turing machine halt on all inputs" < 1625212724 336939 :fizzie[m]!~fizzie@2001:470:69fc:105::3727 QUIT :Read error: Connection reset by peer < 1625212727 739060 :Deewiant!~deewiant@2001:470:69fc:105::2fd3 QUIT :Read error: Connection reset by peer < 1625212736 115283 :jryans!~jryans@2001:470:69fc:105::1d QUIT :Read error: Connection reset by peer < 1625212814 717660 :riv!~river@tilde.team/user/river PRIVMSG #esolangs :a halting oracle can't construct this < 1625212815 736209 :jryans!~jryans@2001:470:69fc:105::1d JOIN #esolangs jryans :@jryans:matrix.org < 1625212863 867676 :shachaf!~shachaf@user/shachaf PRIVMSG #esolangs :Makes sense. < 1625212872 456253 :Deewiant!~deewiant@2001:470:69fc:105::2fd3 JOIN #esolangs Deewiant :@deewiant:maon.fi < 1625212877 606768 :riv!~river@tilde.team/user/river QUIT :Quit: Leaving < 1625212884 728206 :fizzie[m]!~fizzie@2001:470:69fc:105::3727 JOIN #esolangs * :@fizzie:zem.fi < 1625213199 642330 :hendursa1!~weechat@user/hendursaga JOIN #esolangs hendursaga :weechat < 1625213337 639542 :hendursaga!~weechat@user/hendursaga QUIT :Ping timeout: 244 seconds < 1625213896 680228 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord < 1625213943 591321 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Ping timeout: 258 seconds < 1625213971 862774 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 NICK :Lord_of_Life < 1625214006 98621 :jryans!~jryans@2001:470:69fc:105::1d QUIT :Quit: Client limit exceeded: 20000 < 1625214279 558172 :tromp!~textual@dhcp-077-249-230-040.chello.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1625214359 216320 :Deewiant!~deewiant@2001:470:69fc:105::2fd3 QUIT :Quit: Client limit exceeded: 20000 < 1625214397 180286 :tromp!~textual@dhcp-077-249-230-040.chello.nl JOIN #esolangs * :Textual User < 1625214408 849593 :fizzie[m]!~fizzie@2001:470:69fc:105::3727 QUIT :Quit: Client limit exceeded: 20000 < 1625214813 541288 :jryans!~jryans@2001:470:69fc:105::1d JOIN #esolangs jryans :@jryans:matrix.org < 1625215226 913569 :jryans!~jryans@2001:470:69fc:105::1d QUIT :Remote host closed the connection < 1625216063 160664 :arseniiv!~arseniiv@94.41.6.151.dynamic.ufanet.ru JOIN #esolangs * :the chaotic arseniiv < 1625216776 649631 :jryans!~jryans@2001:470:69fc:105::1d JOIN #esolangs jryans :@jryans:matrix.org < 1625217256 404101 :Deewiant!~deewiant@2001:470:69fc:105::2fd3 JOIN #esolangs Deewiant :@deewiant:maon.fi < 1625217269 207392 :fizzie[m]!~fizzie@2001:470:69fc:105::3727 JOIN #esolangs * :@fizzie:zem.fi < 1625219896 169530 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu JOIN #esolangs * :[https://web.libera.chat] wib_jonas < 1625220139 627837 :hanif!~hanif@gateway/tor-sasl/hanif JOIN #esolangs hanif :hanif < 1625223753 392194 :hanif!~hanif@gateway/tor-sasl/hanif QUIT :Remote host closed the connection < 1625223773 678190 :hanif!~hanif@gateway/tor-sasl/hanif JOIN #esolangs hanif :hanif < 1625223823 353185 :spirgel!spirgel@gateway/vpn/protonvpn/spirgel JOIN #esolangs spirgel :spirgel < 1625223978 308143 :spirgel_!spirgel@gateway/vpn/protonvpn/spirgel QUIT :Ping timeout: 240 seconds < 1625224280 633637 :hanif!~hanif@gateway/tor-sasl/hanif QUIT :Ping timeout: 244 seconds < 1625224712 777078 :tromp!~textual@dhcp-077-249-230-040.chello.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… > 1625224946 692300 PRIVMSG #esolangs :14[[07114]]4 M10 02https://esolangs.org/w/index.php?diff=85628&oldid=85616 5* 03AmNow 5* (+0) 10modified commands < 1625226029 673567 :hanif!~hanif@gateway/tor-sasl/hanif JOIN #esolangs hanif :hanif < 1625226817 152448 :arseniiv!~arseniiv@94.41.6.151.dynamic.ufanet.ru QUIT :Ping timeout: 246 seconds > 1625227902 548803 PRIVMSG #esolangs :14[[07Special:Log/upload14]]4 upload10 02 5* 03Oshaboy 5* 10uploaded "[[02File:Truth machine StegFuck.png10]]" > 1625227929 779165 PRIVMSG #esolangs :14[[07Truth-machine14]]4 10 02https://esolangs.org/w/index.php?diff=85630&oldid=85354 5* 03Oshaboy 5* (+56) 10Added StegFuck < 1625228098 266388 :spirgel!spirgel@gateway/vpn/protonvpn/spirgel QUIT : < 1625229052 156381 :arseniiv!~arseniiv@94.41.6.151.dynamic.ufanet.ru JOIN #esolangs * :the chaotic arseniiv > 1625229245 217662 PRIVMSG #esolangs :14[[07Decision shrub14]]4 M10 02https://esolangs.org/w/index.php?diff=85631&oldid=79114 5* 03PythonshellDebugwindow 5* (+12) 10/* See also */ m < 1625231118 305416 :perlbot!~perlbot@perlbot/bot/simcop2387/perlbot QUIT :Ping timeout: 272 seconds < 1625231131 631108 :hanif!~hanif@gateway/tor-sasl/hanif QUIT :Ping timeout: 244 seconds < 1625231132 320285 :perlbot!~perlbot@perlbot/bot/simcop2387/perlbot JOIN #esolangs perlbot :ZNC - https://znc.in > 1625231273 106625 PRIVMSG #esolangs :14[[07Fumble14]]4 M10 02https://esolangs.org/w/index.php?diff=85632&oldid=47167 5* 03PythonshellDebugwindow 5* (+102) 10/* Example programs */ Cat < 1625231714 219838 :tromp!~textual@dhcp-077-249-230-040.chello.nl JOIN #esolangs * :Textual User < 1625231745 154832 :arseniiv!~arseniiv@94.41.6.151.dynamic.ufanet.ru QUIT :Ping timeout: 265 seconds < 1625231809 320167 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :fungot, which spelling is correct in English, "flamingos" or "flamingoes"? < 1625231809 541557 :fungot!fungot@2a01:4b00:82bb:1341::a PRIVMSG #esolangs :wib_jonas: a few do. at least now atm i'm wondering how would a flex file look for, just a < 1625232013 700517 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :fungot: Are you trying to write natural language processing code using Flex again? < 1625232014 50782 :fungot!fungot@2a01:4b00:82bb:1341::a PRIVMSG #esolangs :fizzie: they kill each other on what would be the small circle of elites while common lisp would handle reader macros. > 1625232929 405380 PRIVMSG #esolangs :14[[07JBFM7L14]]4 M10 02https://esolangs.org/w/index.php?diff=85633&oldid=85577 5* 03PythonshellDebugwindow 5* (+47) 10/* External links */ chats < 1625233528 674189 :Sgeo!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname < 1625233636 630411 :hanif!~hanif@gateway/tor-sasl/hanif JOIN #esolangs hanif :hanif > 1625234551 53743 PRIVMSG #esolangs :14[[07DDDD14]]4 N10 02https://esolangs.org/w/index.php?oldid=85634 5* 03Andrew3335 5* (+773) 10Created page with "'''DDDD''' is an [[esoteric programming language]] whose only data structure is a single [[deque]]. It was created by [[User:Andrew3335]] in 2021 and is intended to be used fo..." < 1625234603 207660 :arseniiv!~arseniiv@94.41.6.151.dynamic.ufanet.ru JOIN #esolangs * :the chaotic arseniiv < 1625234767 365693 :archenoth!~archenoth@S0106889e6827f474.cg.shawcable.net JOIN #esolangs Archenoth :archenoth > 1625237183 906827 PRIVMSG #esolangs :14[[07School14]]4 10 02https://esolangs.org/w/index.php?diff=85635&oldid=84797 5* 03AceKiron 5* (+18) 10 < 1625237940 601360 :hendursa1!~weechat@user/hendursaga QUIT :Quit: hendursa1 < 1625238202 709450 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu QUIT :Quit: Client closed > 1625238531 914341 PRIVMSG #esolangs :14[[07Ascii14]]4 N10 02https://esolangs.org/w/index.php?oldid=85636 5* 03Rphii 5* (+5486) 10created > 1625238606 73298 PRIVMSG #esolangs :14[[07User:Rphii14]]4 M10 02https://esolangs.org/w/index.php?diff=85637&oldid=85557 5* 03Rphii 5* (+56) 10 < 1625238633 636653 :hendursaga!~weechat@user/hendursaga JOIN #esolangs hendursaga :weechat > 1625238917 110986 PRIVMSG #esolangs :14[[07Ascii14]]4 M10 02https://esolangs.org/w/index.php?diff=85638&oldid=85636 5* 03Rphii 5* (+16) 10/* Loop, if and invert */ small clarification > 1625238959 237673 PRIVMSG #esolangs :14[[07Ascii14]]4 M10 02https://esolangs.org/w/index.php?diff=85639&oldid=85638 5* 03Rphii 5* (+3) 10/* Loop, if and invert */ grammar < 1625239146 33269 :tromp!~textual@dhcp-077-249-230-040.chello.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1625239239 445153 :cd!moony@hellomouse/dev/moony QUIT :Quit: leaving > 1625240480 337677 PRIVMSG #esolangs :14[[07StegFuck14]]4 10 02https://esolangs.org/w/index.php?diff=85640&oldid=83462 5* 03Oshaboy 5* (+50) 10 > 1625240499 272530 PRIVMSG #esolangs :14[[07StegFuck14]]4 M10 02https://esolangs.org/w/index.php?diff=85641&oldid=85640 5* 03Oshaboy 5* (+2) 10 < 1625240872 211016 :tromp!~textual@dhcp-077-249-230-040.chello.nl JOIN #esolangs * :Textual User > 1625240989 744707 PRIVMSG #esolangs :14[[07Braincopter14]]4 10 02https://esolangs.org/w/index.php?diff=85642&oldid=35650 5* 03Oshaboy 5* (+107) 10Halting condition clarification > 1625241723 788169 PRIVMSG #esolangs :14[[07Ascii14]]4 M10 02https://esolangs.org/w/index.php?diff=85643&oldid=85639 5* 03Rphii 5* (+4) 10/* Instructions */ > 1625241886 89471 PRIVMSG #esolangs :14[[07FlipJump14]]4 10 02https://esolangs.org/w/index.php?diff=85644&oldid=85271 5* 03Tomhe 5* (+138) 10/* See Also */ categories > 1625241943 568216 PRIVMSG #esolangs :14[[07Ascii14]]4 M10 02https://esolangs.org/w/index.php?diff=85645&oldid=85643 5* 03Rphii 5* (+13) 10clarification > 1625241980 541493 PRIVMSG #esolangs :14[[07Ascii14]]4 M10 02https://esolangs.org/w/index.php?diff=85646&oldid=85645 5* 03Rphii 5* (+1) 10/* Variables */ typo < 1625242299 451333 :tromp!~textual@dhcp-077-249-230-040.chello.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1625242698 754413 :b_jonas!~x@catv-176-63-12-145.catv.broadband.hu PRIVMSG #esolangs :fungot, what's the difference between "deburr" and "dechaff" (verbs) < 1625242698 889625 :fungot!fungot@2a01:4b00:82bb:1341::a PRIVMSG #esolangs :b_jonas: is rfc 1459 the client one?) < 1625243335 228223 :b_jonas!~x@catv-176-63-12-145.catv.broadband.hu PRIVMSG #esolangs :no, 2812 is the client one < 1625243655 627430 :hanif!~hanif@gateway/tor-sasl/hanif QUIT :Ping timeout: 244 seconds < 1625243788 582661 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :Yeah, 1459 is just "the one", it was all in one for that. > 1625244661 938255 PRIVMSG #esolangs :14[[07Language list14]]4 M10 02https://esolangs.org/w/index.php?diff=85647&oldid=85612 5* 03Rphii 5* (+14) 10/* A */ add Ascii < 1625245083 670553 :tromp!~textual@dhcp-077-249-230-040.chello.nl JOIN #esolangs * :Textual User < 1625245184 635342 :hanif!~hanif@gateway/tor-sasl/hanif JOIN #esolangs hanif :hanif < 1625245338 349018 :riv!~river@tilde.team/user/river JOIN #esolangs river :river < 1625245711 641325 :riv!~river@tilde.team/user/river PRIVMSG #esolangs :hi < 1625246532 847949 :tromp!~textual@dhcp-077-249-230-040.chello.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1625247158 622734 :hanif!~hanif@gateway/tor-sasl/hanif QUIT :Ping timeout: 244 seconds < 1625248067 636781 :hanif!~hanif@gateway/tor-sasl/hanif JOIN #esolangs hanif :hanif < 1625248162 254629 :tromp!~textual@dhcp-077-249-230-040.chello.nl JOIN #esolangs * :Textual User < 1625248879 226932 :nakilon!~nakilon@user/nakilon PRIVMSG #esolangs :arseniiv was it you with a love to procedural generation? I like this one https://www.reddit.com/r/generative/comments/oc8vud/confined_3d_noise_rotation_on_a_grid/ < 1625248888 645317 :nakilon!~nakilon@user/nakilon PRIVMSG #esolangs :riv hi < 1625248931 425915 :riv!~river@tilde.team/user/river PRIVMSG #esolangs :hey < 1625248936 846915 :riv!~river@tilde.team/user/river PRIVMSG #esolangs :did anyone want to talk about uniform halting? < 1625248952 345512 :tromp!~textual@dhcp-077-249-230-040.chello.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1625248976 14129 :nakilon!~nakilon@user/nakilon PRIVMSG #esolangs :rfc documents have some standartized format, I wonder if it's possible to process them enough to make some Q/A system for quick referencing via a bot < 1625249141 705697 :nakilon!~nakilon@user/nakilon PRIVMSG #esolangs :judging from how google and yandex already provide snippets I guess google could give the answers to questions like "what are the field of Atom item?", "what is BNF of IRCv3 tag? < 1625249144 212272 :nakilon!~nakilon@user/nakilon PRIVMSG #esolangs :" < 1625249160 748992 :nakilon!~nakilon@user/nakilon PRIVMSG #esolangs :*fields < 1625249235 623358 :hanif!~hanif@gateway/tor-sasl/hanif QUIT :Ping timeout: 244 seconds < 1625249495 627508 :hanif!~hanif@gateway/tor-sasl/hanif JOIN #esolangs hanif :hanif < 1625249570 807859 :arseniiv!~arseniiv@94.41.6.151.dynamic.ufanet.ru PRIVMSG #esolangs :nakilon: strange, interesting < 1625249681 801077 :nakilon!~nakilon@user/nakilon PRIVMSG #esolangs :the next cyberpunk movie should have such paintings on the walls < 1625249694 668777 :nakilon!~nakilon@user/nakilon PRIVMSG #esolangs :I would buy one... oh with an ability to edit it! < 1625249714 86076 :riv!~river@tilde.team/user/river PRIVMSG #esolangs :google is very good < 1625249733 357217 :riv!~river@tilde.team/user/river PRIVMSG #esolangs :I sometimes want to use man pages, but i find it so difficult to find what i want to know and i give up and google works better < 1625249744 293923 :riv!~river@tilde.team/user/river PRIVMSG #esolangs :I think that all man pages should be processed and searchable by something like google < 1625249750 526938 :riv!~river@tilde.team/user/river PRIVMSG #esolangs :locally < 1625249900 542346 :tromp!~textual@dhcp-077-249-230-040.chello.nl JOIN #esolangs * :Textual User < 1625250503 302109 :riv!~river@tilde.team/user/river PRIVMSG #esolangs :The proof of rices theorem is surprisingly involved < 1625250534 850623 :tromp!~textual@dhcp-077-249-230-040.chello.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1625250559 270463 :hanif!~hanif@gateway/tor-sasl/hanif PRIVMSG #esolangs :hi riv. nice to see you're interested in the uniform halting problem (you used to be rain1, right?) < 1625250585 342636 :tromp!~textual@dhcp-077-249-230-040.chello.nl JOIN #esolangs * :Textual User < 1625250600 864860 :riv!~river@tilde.team/user/river PRIVMSG #esolangs :yes < 1625250625 20278 :hanif!~hanif@gateway/tor-sasl/hanif PRIVMSG #esolangs :*still interested < 1625250640 684707 :hanif!~hanif@gateway/tor-sasl/hanif PRIVMSG #esolangs :are you still following soare's book? < 1625250675 342311 :riv!~river@tilde.team/user/river PRIVMSG #esolangs :i haven't studied it since last time, < 1625251217 11306 :riv!~river@tilde.team/user/river QUIT :Quit: Leaving < 1625251328 49227 :nakilon!~nakilon@user/nakilon PRIVMSG #esolangs :man page suck < 1625251336 494077 :nakilon!~nakilon@user/nakilon PRIVMSG #esolangs :that's what I learned about linux the first < 1625251413 438931 :nakilon!~nakilon@user/nakilon PRIVMSG #esolangs :what you are looking for is either in 1 page long --help, or is undocumented and only one person on the planet knows it but didn't yet write it anywhere < 1625251538 719464 :hanif!~hanif@gateway/tor-sasl/hanif QUIT :Quit: quit < 1625252657 99193 :nakilon!~nakilon@user/nakilon PRIVMSG #esolangs :man pages are btw indexed by google, the sse64 website or something like that < 1625252886 748988 :tromp!~textual@dhcp-077-249-230-040.chello.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1625253123 561341 :tromp!~textual@dhcp-077-249-230-040.chello.nl JOIN #esolangs * :Textual User < 1625253576 226778 :arseniiv!~arseniiv@94.41.6.151.dynamic.ufanet.ru QUIT :Ping timeout: 272 seconds < 1625254310 823816 :Thelie!~Thelie@2a02:8106:215:3300:e7ad:5ab7:4ea0:e177 JOIN #esolangs * :Thelie < 1625254636 110172 :tromp!~textual@dhcp-077-249-230-040.chello.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1625255002 313208 :riv!~river@tilde.team/user/river JOIN #esolangs river :river < 1625255202 540632 :MrAureliusR!~MrAureliu@user/mraureliusr QUIT :Quit: ZNC - https://znc.in < 1625255265 897220 :MrAureliusR!~MrAureliu@user/mraureliusr JOIN #esolangs MrAureliusR :Got ZNC? < 1625255821 817571 :dutch!~DutchIngr@user/dutch QUIT :Quit: WeeChat 3.0.1 < 1625256043 659973 :dutch!~DutchIngr@user/dutch JOIN #esolangs DutchIngraham :dutch < 1625256301 153753 :tromp!~textual@dhcp-077-249-230-040.chello.nl JOIN #esolangs * :Textual User > 1625257595 901443 PRIVMSG #esolangs :14[[07Talk:Movesum14]]4 10 02https://esolangs.org/w/index.php?diff=85648&oldid=84189 5* 03Bangyen 5* (+164) 10/* Are integers signed or unsigned? */ > 1625258081 416144 PRIVMSG #esolangs :14[[07FlipJump14]]4 M10 02https://esolangs.org/w/index.php?diff=85649&oldid=85644 5* 03Tomhe 5* (+0) 10/* Flipping a whole word */ > 1625258210 937982 PRIVMSG #esolangs :14[[07FlipJump14]]4 M10 02https://esolangs.org/w/index.php?diff=85650&oldid=85649 5* 03Tomhe 5* (+0) 10/* Segments & Reserve */ < 1625258631 544154 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esolangs :I think some programs have their own numbers to indicate cryptographic hash algorithms. (Some programs use names instead of numbers.) I use the multicodec numbers in all of my new stuff. Hopefully, this will allow interoperability with different programs, too. < 1625258658 18303 :riv!~river@tilde.team/user/river PRIVMSG #esolangs :how do you expect it to allow interoperability? > 1625258706 411736 PRIVMSG #esolangs :14[[07FlipJump14]]4 10 02https://esolangs.org/w/index.php?diff=85651&oldid=85650 5* 03Tomhe 5* (+135) 10/* Memory - how can we implement variables? */ - better explained < 1625258756 326508 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esolangs :For one thing, with file formats. If a file format uses a number to indicate a hash algorithm, and the multicodec numbers are used, then when new hashes are added, everyone can agree what numbers to use for what hash algorithm. Other thing, if somehow a number needs to be passed from one library or program to another, you do not need to use a translation table. > 1625258762 567896 PRIVMSG #esolangs :14[[07FlipJump14]]4 M10 02https://esolangs.org/w/index.php?diff=85652&oldid=85651 5* 03Tomhe 5* (+6) 10/* Output */ typo < 1625258846 696570 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esolangs :Different libraries might have their own names for constants, although if multicodec numbers are used then the values of these constants will match. For example, I have a library with FOSIMP_SHA1, FOSIMP_SHA3_256, and FOSIMP_MD5. FOSIMP_SHA1 is defined as 0x11, and any other program that uses multicodec numbers will (if it supports SHA-1 hashes at all, which it might not) also use 0x11. > 1625258906 504173 PRIVMSG #esolangs :14[[07FlipJump14]]4 10 02https://esolangs.org/w/index.php?diff=85653&oldid=85652 5* 03Tomhe 5* (-3) 10/* Input */ < 1625258977 616466 :riv!~river@tilde.team/user/river PRIVMSG #esolangs :https://en.wikipedia.org/wiki/True_arithmetic#Arithmetic_undefinability i am curious to learn about this < 1625259002 129534 :riv!~river@tilde.team/user/river PRIVMSG #esolangs :zzo38, why not just use sha256 < 1625259015 16250 :riv!~river@tilde.team/user/river PRIVMSG #esolangs :and no need to specify which hash. always sha256 < 1625259136 398506 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esolangs :riv: For one thing, some things require different hashes. (Specifically, Fossil doesn't use SHA2-256; it uses the three hashes I mentioned.) < 1625259138 346013 :b_jonas!~x@catv-176-63-12-145.catv.broadband.hu PRIVMSG #esolangs :riv: because cryptographic hashes only live for like twelve years usually, so that only works if your software's lifetime is shorter than that < 1625259166 774393 :riv!~river@tilde.team/user/river PRIVMSG #esolangs :hmm < 1625259168 48821 :int-e!~noone@int-e.eu PRIVMSG #esolangs :riv: if truth were definable, then we could find a fixed point of f |-> not True(f), which would satisfy [f] <--> not True(f) <--> not [f]. < 1625259175 718819 :riv!~river@tilde.team/user/river PRIVMSG #esolangs ::O < 1625259180 10910 :riv!~river@tilde.team/user/river PRIVMSG #esolangs :1 liner! < 1625259200 914713 :Thelie!~Thelie@2a02:8106:215:3300:e7ad:5ab7:4ea0:e177 QUIT :Remote host closed the connection < 1625259211 309462 :int-e!~noone@int-e.eu PRIVMSG #esolangs :riv: Well, taking all the machinery of Gödel and others for granted. < 1625259266 979782 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esolangs :(It does not use MD5 to identify anything, but only as an extra verification. Still, for the interfaces which calculate the hashes and identify the algorithm used in hashes that are already computed, it helps to specify these things. Specifically, they are the first argument of the fosimp_hash and fosimp_hash_stream functions, and the last argument of fosimp_set_hash.) < 1625259309 550176 :int-e!~noone@int-e.eu PRIVMSG #esolangs :riv: still, that's the core proof idea. < 1625259311 789043 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esolangs :Also, the fosimp_hash_stream function allows defining an echo stream. I don't know which (if any) other hashing libraries include such a capability. < 1625259482 520487 :int-e!~noone@int-e.eu PRIVMSG #esolangs :riv: ret-conned corollary: Since provability is definable, it can't coincide with Truth, hence PA is incomplete. ;-) < 1625259521 708166 :riv!~river@tilde.team/user/river PRIVMSG #esolangs :very very nice < 1625259653 381269 :tromp!~textual@dhcp-077-249-230-040.chello.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1625261851 775542 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esolangs :I think that truth may be partially definable, although not entirely. < 1625262750 193537 :riv!~river@tilde.team/user/river PRIVMSG #esolangs :truth implies provability < 1625262770 581654 :riv!~river@tilde.team/user/river PRIVMSG #esolangs :but i don't really understand this true arithmetic thing < 1625262783 890778 :riv!~river@tilde.team/user/river PRIVMSG #esolangs :maybe it's a set that is singled out using second order logic < 1625263054 982984 :cd!moony@hellomouse/dev/moony JOIN #esolangs moony :mooooony < 1625263633 809117 :int-e!~noone@int-e.eu PRIVMSG #esolangs :riv: "truth" is understood with respect to the standard model of PA (which you can construct in your favorite set theory... so it's really not an arbitrary model of PA. The notion /may/ still be relative to the model of set theory... it's confusing.) < 1625263675 968423 :riv!~river@tilde.team/user/river PRIVMSG #esolangs :ah/,. < 1625263680 717981 :int-e!~noone@int-e.eu PRIVMSG #esolangs :riv: And truth (in a fixed model) doesn't imply provability, that's the whole point of incompleteness. < 1625263705 383706 :riv!~river@tilde.team/user/river PRIVMSG #esolangs :oh i meant the other way around < 1625263757 127933 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Ah. That makes more sense (it's soundness of the formal system.) < 1625263794 369261 :Corbin_!~Corbin@c-73-67-140-116.hsd1.or.comcast.net JOIN #esolangs * :Corbin < 1625263822 299235 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esolangs :I think that provability implies truth, but truth does not imply provability (the truth of some statement might be unprovable or even undefined). < 1625263844 914888 :Corbin!~Corbin@c-73-67-140-116.hsd1.or.comcast.net QUIT :Killed (NickServ (GHOST command used by Corbin_)) < 1625263849 600784 :Corbin_!~Corbin@c-73-67-140-116.hsd1.or.comcast.net NICK :Corbin < 1625263911 772319 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esolangs :I had defined true as: if a set S of true statements are assumed to be theorems and from that (and the rest of the system) you can prove X, then X is true. < 1625263946 364457 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esolangs :There may be statements whose truth is unknown or unprovable; just because the previous definition does not make a statement true does not necessarily mean it isn't true; its truth could be undefined instead. < 1625264122 944154 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esolangs :Also, true and false are not necessarily mutually exclusive (although they will be if the system is consistent), since I will define false as: if you have a true statement X and another statement Y, and from X and Y you can prove all well-formed statements, then Y is false. < 1625264165 777273 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esolangs :(Again, whether or not a statement is false might be undecidable or even undefined, just as whether or not a statement is true.) < 1625264210 805271 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esolangs :Does that make sense? < 1625269321 530226 :hflotmnaugh!~mnrmnaugh@pool-96-252-87-182.bstnma.fios.verizon.net NICK :mnrmnaugh > 1625269477 117590 PRIVMSG #esolangs :14[[07Ascii14]]4 M10 02https://esolangs.org/w/index.php?diff=85654&oldid=85646 5* 03PythonshellDebugwindow 5* (+69) 10cats < 1625269923 467854 :nakilon!~nakilon@user/nakilon QUIT :Quit: The Lounge - https://thelounge.chat