< 1751760606 525912 :amby!~ambylastn@ward-15-b2-v4wan-167229-cust809.vm18.cable.virginm.net QUIT :Quit: so long suckers! i rev up my motorcylce and create a huge cloud of smoke. when the cloud dissipates im lying completely dead on the pavement > 1751762467 218844 PRIVMSG #esolangs :14[[07User:Cycwin/sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=160909&oldid=158106 5* 03Cycwin 5* (+74) 10 > 1751762718 476551 PRIVMSG #esolangs :14[[07User:Cycwin/sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=160910&oldid=160909 5* 03Cycwin 5* (+131) 10/* Idea of a highlevel lang what can compile to whatlang a little easily? */ > 1751763126 292444 PRIVMSG #esolangs :14[[07User:Cycwin/sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=160911&oldid=160910 5* 03Cycwin 5* (+122) 10/* Idea of a highlevel lang what can compile to whatlang a little easily? */ > 1751763438 714504 PRIVMSG #esolangs :14[[07User:Cycwin/sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=160912&oldid=160911 5* 03Cycwin 5* (+123) 10/* Idea of a highlevel lang what can compile to whatlang a little easily? */ > 1751763778 621672 PRIVMSG #esolangs :14[[07Quint14]]4 10 02https://esolangs.org/w/index.php?diff=160913&oldid=160870 5* 03Stkptr 5* (+95) 10 > 1751763904 868419 PRIVMSG #esolangs :14[[07DPM14]]4 10 02https://esolangs.org/w/index.php?diff=160914&oldid=160830 5* 03Stkptr 5* (+79) 10 > 1751764267 286044 PRIVMSG #esolangs :14[[07Obython14]]4 10 02https://esolangs.org/w/index.php?diff=160915&oldid=160091 5* 03BestCoder 5* (+22) 10 > 1751764412 165216 PRIVMSG #esolangs :14[[07Symbolmathing14]]4 10 02https://esolangs.org/w/index.php?diff=160916&oldid=160900 5* 03Stkptr 5* (+40) 10 > 1751764474 398626 PRIVMSG #esolangs :14[[07Obython14]]4 10 02https://esolangs.org/w/index.php?diff=160917&oldid=160915 5* 03BestCoder 5* (+32) 10 > 1751764491 578533 PRIVMSG #esolangs :14[[07Obython14]]4 10 02https://esolangs.org/w/index.php?diff=160918&oldid=160917 5* 03BestCoder 5* (+1) 10/* Print */ > 1751764530 276254 PRIVMSG #esolangs :14[[07Obython14]]4 10 02https://esolangs.org/w/index.php?diff=160919&oldid=160918 5* 03BestCoder 5* (+9) 10 > 1751764548 821746 PRIVMSG #esolangs :14[[07Obython14]]4 10 02https://esolangs.org/w/index.php?diff=160920&oldid=160919 5* 03BestCoder 5* (+0) 10 > 1751764576 928915 PRIVMSG #esolangs :14[[07Obython14]]4 10 02https://esolangs.org/w/index.php?diff=160921&oldid=160920 5* 03BestCoder 5* (-2) 10 > 1751764599 816585 PRIVMSG #esolangs :14[[07Obython14]]4 10 02https://esolangs.org/w/index.php?diff=160922&oldid=160921 5* 03BestCoder 5* (+0) 10 < 1751767502 486598 :op_4!~tslil@user/op-4/x-9116473 QUIT :Remote host closed the connection < 1751767531 992918 :op_4!~tslil@user/op-4/x-9116473 JOIN #esolangs op_4 :op_4 < 1751768538 360474 :tromp!~textual@2001:1c00:3487:1b00:a424:5b9:4dc2:8889 JOIN #esolangs * :Textual User < 1751768859 687000 :tromp!~textual@2001:1c00:3487:1b00:a424:5b9:4dc2:8889 QUIT :Quit: My iMac has gone to sleep. ZZZzzz… > 1751771249 859950 PRIVMSG #esolangs :14[[07Obython14]]4 10 02https://esolangs.org/w/index.php?diff=160923&oldid=160922 5* 03Stkptr 5* (+47) 10 > 1751774790 637988 PRIVMSG #esolangs :14[[07Dig straight down like an idiot14]]4 10 02https://esolangs.org/w/index.php?diff=160924&oldid=151303 5* 03Somebody142857 5* (+159) 10 < 1751778590 932102 :tromp!~textual@2001:1c00:3487:1b00:a424:5b9:4dc2:8889 JOIN #esolangs * :Textual User < 1751782436 259584 :tromp!~textual@2001:1c00:3487:1b00:a424:5b9:4dc2:8889 QUIT :Quit: My iMac has gone to sleep. ZZZzzz… > 1751783270 118551 PRIVMSG #esolangs :14[[07StormScript14]]4 10 02https://esolangs.org/w/index.php?diff=160925&oldid=155698 5* 03I am islptng 5* (-2010) 10Replaced content with "{{Distinguish/Confusion|StormLang}} {{WIP}} In development." < 1751785430 542218 :chiselfuse!~chiselfus@user/chiselfuse QUIT :Ping timeout: 244 seconds < 1751793037 198748 :tromp!~textual@2001:1c00:3487:1b00:a424:5b9:4dc2:8889 JOIN #esolangs * :Textual User < 1751795138 886148 :Sgeo!~Sgeo@user/sgeo QUIT :Read error: Connection reset by peer > 1751795334 110068 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03Kq4wlc 5* 10New user account < 1751795468 910699 :ais523!~ais523@user/ais523 JOIN #esolangs ais523 :(this is obviously not my real name) > 1751795614 133703 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=160926&oldid=160901 5* 03Kq4wlc 5* (+265) 10 > 1751795769 92542 PRIVMSG #esolangs :14[[07User:Kq4wlc14]]4 N10 02https://esolangs.org/w/index.php?oldid=160927 5* 03Kq4wlc 5* (+202) 10Created page with "i'm kq4wlc, or icosa, or hedr.n. so uh, yeah. you'll see it at https://vertigolang.space. so, yeah, uh, enjoy. (it's truly garbage, please don't seriously use this unless you are just as insane as I am)" > 1751796376 562382 PRIVMSG #esolangs :14[[07User:PrySigneToFry/Silicon dioxide in a polypropylene box/Chess between HCr0 and PSTF14]]4 10 02https://esolangs.org/w/index.php?diff=160928&oldid=160880 5* 03PrySigneToFry 5* (+99) 10 > 1751796398 2795 PRIVMSG #esolangs :14[[07User:Hotcrystal0/Chess piece strength14]]4 10 02https://esolangs.org/w/index.php?diff=160929&oldid=160875 5* 03PrySigneToFry 5* (+11) 10 > 1751797922 705643 PRIVMSG #esolangs :14[[07User:Pifrited/Simple2DMachine14]]4 10 02https://esolangs.org/w/index.php?diff=160930&oldid=160887 5* 03Pifrited 5* (+643) 10/* Commands */ > 1751798049 941955 PRIVMSG #esolangs :14[[07User:Pifrited/Simple2DMachine14]]4 M10 02https://esolangs.org/w/index.php?diff=160931&oldid=160930 5* 03Pifrited 5* (-99) 10 < 1751798107 960813 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord < 1751798123 951285 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Ping timeout: 245 seconds < 1751798190 804348 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 NICK :Lord_of_Life > 1751798873 774750 PRIVMSG #esolangs :14[[07User:Pifrited/Simple2DMachine14]]4 10 02https://esolangs.org/w/index.php?diff=160932&oldid=160931 5* 03Pifrited 5* (+325) 10 > 1751798970 129238 PRIVMSG #esolangs :14[[07User talk:Pifrited/Simple2DMachine14]]4 N10 02https://esolangs.org/w/index.php?oldid=160933 5* 03Pifrited 5* (+182) 10Help me pleaze > 1751799171 851400 PRIVMSG #esolangs :14[[07User:Pifrited/Simple2DMachine14]]4 10 02https://esolangs.org/w/index.php?diff=160934&oldid=160932 5* 03Pifrited 5* (+162) 10/* Commands */ < 1751799409 349049 :APic!apic@apic.name PRIVMSG #esolangs :Hi > 1751799541 787822 PRIVMSG #esolangs :14[[07User:Pifrited/Simple2DMachine14]]4 M10 02https://esolangs.org/w/index.php?diff=160935&oldid=160934 5* 03Pifrited 5* (+29) 10/* Examples */ > 1751799634 362684 PRIVMSG #esolangs :14[[07User:I am islptng/Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=160936&oldid=160402 5* 03I am islptng 5* (+1449) 10 < 1751799784 86179 :j4cbo!sid186930@id-186930.helmsley.irccloud.com QUIT :Ping timeout: 265 seconds < 1751799798 928673 :yuu!sid267332@id-267332.ilkley.irccloud.com QUIT :Ping timeout: 245 seconds < 1751799834 927705 :j4cbo!sid186930@id-186930.helmsley.irccloud.com JOIN #esolangs j4cbo :j4cbo > 1751799839 134730 PRIVMSG #esolangs :14[[07Special:Log/upload14]]4 upload10 02 5* 03I am islptng 5* 10uploaded "[[02File:StormScriptLogo.png10]]": logo for StormScript. > 1751799893 363126 PRIVMSG #esolangs :14[[07File:StormScriptLogo.png14]]4 10 02https://esolangs.org/w/index.php?diff=160938&oldid=160937 5* 03I am islptng 5* (+1539) 10 < 1751799952 397212 :yuu!sid267332@id-267332.ilkley.irccloud.com JOIN #esolangs * :yuu > 1751800076 613509 PRIVMSG #esolangs :14[[07StormScript14]]4 10 02https://esolangs.org/w/index.php?diff=160939&oldid=160925 5* 03I am islptng 5* (+268) 10 < 1751800835 200203 :chiselfuse!~chiselfus@user/chiselfuse JOIN #esolangs chiselfuse :chiselfuse > 1751801915 411316 PRIVMSG #esolangs :14[[07Symbolmathing14]]4 10 02https://esolangs.org/w/index.php?diff=160940&oldid=160916 5* 03Bebebe 5* (+99) 10/* Examples */ > 1751801968 369884 PRIVMSG #esolangs :14[[07Symbolmathing14]]4 10 02https://esolangs.org/w/index.php?diff=160941&oldid=160940 5* 03Bebebe 5* (+4) 10/* Random number from 1 to 10 */ > 1751801988 324136 PRIVMSG #esolangs :14[[07Symbolmathing14]]4 10 02https://esolangs.org/w/index.php?diff=160942&oldid=160941 5* 03Bebebe 5* (-2) 10/* Random number from 1 to 10 */ > 1751802853 567198 PRIVMSG #esolangs :14[[07Symbolmathing14]]4 10 02https://esolangs.org/w/index.php?diff=160943&oldid=160942 5* 03Bebebe 5* (-10) 10/* Random number from 1 to 10 */ > 1751803180 4599 PRIVMSG #esolangs :14[[07Talk:Symbolmathing14]]4 10 02https://esolangs.org/w/index.php?diff=160944&oldid=160898 5* 03Bebebe 5* (+178) 10 < 1751803223 452559 :FreeFull!~freefull@79.186.64.168.ipv4.supernova.orange.pl JOIN #esolangs FreeFull :FreeFull > 1751803275 785938 PRIVMSG #esolangs :14[[07Talk:Symbolmathing14]]4 10 02https://esolangs.org/w/index.php?diff=160945&oldid=160944 5* 03Bebebe 5* (+8) 10 < 1751803624 738524 :tromp!~textual@2001:1c00:3487:1b00:a424:5b9:4dc2:8889 QUIT :Quit: My iMac has gone to sleep. ZZZzzz… > 1751804595 979443 PRIVMSG #esolangs :14[[07DragonLang/Document14]]4 N10 02https://esolangs.org/w/index.php?oldid=160946 5* 03PrySigneToFry 5* (+4958) 10Created page with "{{Back|DragonLang}} = Basics = == Data types == === Basic data type === * Numbers, all valid real numbers, with no upper and lower limit and supports 2 to 36 base. * Complexs, formed by a bi. * Documents, simply a string in Python/CangjieLang, except > 1751804704 923018 PRIVMSG #esolangs :14[[07DragonLang14]]4 10 02https://esolangs.org/w/index.php?diff=160947&oldid=160223 5* 03PrySigneToFry 5* (+21) 10 > 1751805910 686639 PRIVMSG #esolangs :14[[07Talk:DragonLang14]]4 N10 02https://esolangs.org/w/index.php?oldid=160948 5* 03Cycwin 5* (+68) 10Created page with "And let you feel so hard to write an interpreter(w --[[User:Cycwin]]" > 1751806031 297790 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03Creepy 5* 10New user account > 1751806440 314030 PRIVMSG #esolangs :14[[07User talk:PrySigneToFry14]]4 10 02https://esolangs.org/w/index.php?diff=160949&oldid=160763 5* 03Cycwin 5* (+236) 10/* Any interests on joining our Esolang Tencent QQ group? */ < 1751807640 32510 :amby!~ambylastn@ward-15-b2-v4wan-167229-cust809.vm18.cable.virginm.net JOIN #esolangs amby :realname < 1751811370 100573 :tromp!~textual@2001:1c00:3487:1b00:a424:5b9:4dc2:8889 JOIN #esolangs * :Textual User > 1751812794 409276 PRIVMSG #esolangs :14[[07User talk:XP2PHOENIX14]]4 10 02https://esolangs.org/w/index.php?diff=160950&oldid=160907 5* 03XP2PHOENIX 5* (+121) 10/* Exseq */ > 1751812805 245546 PRIVMSG #esolangs :14[[07User:Hotcrystal0/Sandbox/OotT ideas14]]4 10 02https://esolangs.org/w/index.php?diff=160951&oldid=160906 5* 03XP2PHOENIX 5* (+30) 10/* IoM 3 storyboard WIP */ > 1751813645 899742 PRIVMSG #esolangs :14[[07User:Bebebe14]]4 N10 02https://esolangs.org/w/index.php?oldid=160952 5* 03Bebebe 5* (+1) 10Created page with "H" > 1751813657 831205 PRIVMSG #esolangs :14[[07Special:Log/upload14]]4 overwrite10 02 5* 03I am islptng 5* 10uploaded a new version of "[[02File:StormScriptLogo.png10]]": remove crispEdges > 1751813691 590788 PRIVMSG #esolangs :14[[07File:StormScriptLogo.png14]]4 10 02https://esolangs.org/w/index.php?diff=160954&oldid=160953 5* 03I am islptng 5* (-5) 10 > 1751813974 228705 PRIVMSG #esolangs :14[[07Symbolmathing14]]4 10 02https://esolangs.org/w/index.php?diff=160955&oldid=160943 5* 03Bebebe 5* (+24) 10/* Python Interpreter */ > 1751813977 102299 PRIVMSG #esolangs :14[[07StormScript14]]4 10 02https://esolangs.org/w/index.php?diff=160956&oldid=160939 5* 03I am islptng 5* (+68) 10categorize > 1751814022 293309 PRIVMSG #esolangs :14[[07Symbolmathing14]]4 10 02https://esolangs.org/w/index.php?diff=160957&oldid=160955 5* 03Bebebe 5* (+41) 10/* JS interpreter */ > 1751814075 681001 PRIVMSG #esolangs :14[[07Talk:DragonLang14]]4 10 02https://esolangs.org/w/index.php?diff=160958&oldid=160948 5* 03I am islptng 5* (+701) 10 > 1751815330 507318 PRIVMSG #esolangs :14[[07Thisthat14]]4 N10 02https://esolangs.org/w/index.php?oldid=160959 5* 03Aadenboy 5* (+4734) 10Created page with "style="font-family: ui-monospace,SFMono-Regular,SF Mono,Menlo,Consolas,Liberation Mono,monospace;{{#if:{{{1|}}}|background-color: #f8f9fa; color: #000; border: 1px solid #eaecf0; padding: 1em; white-space: pre; overflow-x: hidden; word-wrap: break-word; o > 1751815410 715404 PRIVMSG #esolangs :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=160960&oldid=160852 5* 03Aadenboy 5* (+15) 10/* T */ add [[thisthat]] > 1751815440 851758 PRIVMSG #esolangs :14[[07This=That14]]4 10 02https://esolangs.org/w/index.php?diff=160961&oldid=96898 5* 03Aadenboy 5* (+35) 10distinguish > 1751815457 822919 PRIVMSG #esolangs :14[[07Thisthat14]]4 10 02https://esolangs.org/w/index.php?diff=160962&oldid=160959 5* 03Aadenboy 5* (+34) 10distinguish > 1751815466 98532 PRIVMSG #esolangs :14[[07Thisthat14]]4 M10 02https://esolangs.org/w/index.php?diff=160963&oldid=160962 5* 03Aadenboy 5* (+2) 10 > 1751815657 614776 PRIVMSG #esolangs :14[[07User:Aadenboy14]]4 10 02https://esolangs.org/w/index.php?diff=160964&oldid=160863 5* 03Aadenboy 5* (+394) 10add [[thisthat]] > 1751817020 99827 PRIVMSG #esolangs :14[[07Special:Log/upload14]]4 upload10 02 5* 03Bebebe 5* 10uploaded "[[02File:Symbolmathing.png10]]": vertical mirrored +^+ in circle is a Symbolmathing logo < 1751817213 427160 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Excess Flood < 1751817416 183592 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord > 1751818489 188586 PRIVMSG #esolangs :14[[07Symbolmathing14]]4 10 02https://esolangs.org/w/index.php?diff=160966&oldid=160957 5* 03Bebebe 5* (+222) 10 > 1751818692 479777 PRIVMSG #esolangs :14[[07Symbolmathing14]]4 10 02https://esolangs.org/w/index.php?diff=160967&oldid=160966 5* 03Bebebe 5* (+41) 10 > 1751818818 387530 PRIVMSG #esolangs :14[[07Symbolmathing14]]4 10 02https://esolangs.org/w/index.php?diff=160968&oldid=160967 5* 03Bebebe 5* (+5) 10/* Logo */ > 1751818864 655117 PRIVMSG #esolangs :14[[07Symbolmathing14]]4 10 02https://esolangs.org/w/index.php?diff=160969&oldid=160968 5* 03Bebebe 5* (+4) 10/* Logo */ < 1751819397 211533 :zzo38!~zzo38@host-24-207-52-143.public.eastlink.ca QUIT :Ping timeout: 244 seconds > 1751820775 851602 PRIVMSG #esolangs :14[[07User:RetroPain14]]4 10 02https://esolangs.org/w/index.php?diff=160970&oldid=155598 5* 03RetroPain 5* (-46) 10 > 1751820847 986538 PRIVMSG #esolangs :14[[07Pain14]]4 10 02https://esolangs.org/w/index.php?diff=160971&oldid=120458 5* 03RetroPain 5* (+69) 10 > 1751822178 557387 PRIVMSG #esolangs :14[[07Symbolmathing14]]4 10 02https://esolangs.org/w/index.php?diff=160972&oldid=160969 5* 03Bebebe 5* (+140) 10/* Logo */ < 1751822203 529390 :APic!apic@apic.name PRIVMSG #esolangs :cu > 1751822361 958944 PRIVMSG #esolangs :14[[07Symbolmathing14]]4 10 02https://esolangs.org/w/index.php?diff=160973&oldid=160972 5* 03Bebebe 5* (+15) 10 > 1751824106 461806 PRIVMSG #esolangs :14[[07Symbolmathing14]]4 10 02https://esolangs.org/w/index.php?diff=160974&oldid=160973 5* 03Bebebe 5* (+62) 10/* Links */ < 1751828552 465422 :zzo38!~zzo38@host-24-207-52-143.public.eastlink.ca JOIN #esolangs zzo38 :zzo38 > 1751828737 418797 PRIVMSG #esolangs :14[[07Symbolmathing14]]4 10 02https://esolangs.org/w/index.php?diff=160975&oldid=160974 5* 03Bebebe 5* (+1440) 10 < 1751829079 535723 :tromp!~textual@2001:1c00:3487:1b00:a424:5b9:4dc2:8889 QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1751829555 911396 :Sgeo!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname > 1751829690 699977 PRIVMSG #esolangs :14[[07Thisthat14]]4 10 02https://esolangs.org/w/index.php?diff=160976&oldid=160963 5* 03Aadenboy 5* (+311) 10/* Nodes */ < 1751830177 3894 :tromp!~textual@2001:1c00:3487:1b00:a424:5b9:4dc2:8889 JOIN #esolangs * :Textual User > 1751830242 949169 PRIVMSG #esolangs :14[[07Thisthat14]]4 10 02https://esolangs.org/w/index.php?diff=160977&oldid=160976 5* 03Aadenboy 5* (+177) 10/* Nodes */ < 1751830397 693425 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :@help < 1751830397 742268 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esolangs :help . Ask for help for . Try 'list' for all commands < 1751830400 479389 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :@help list < 1751830400 605126 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esolangs :list [module|command]. Show commands for [module] or the module providing [command]. < 1751830404 76269 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :@list < 1751830404 111452 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esolangs :What module? Try @listmodules for some ideas. < 1751830406 796449 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :@listmodules < 1751830406 880734 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esolangs :activity base bf check compose dice dict djinn dummy elite eval filter free fresh haddock help hoogle instances irc karma localtime metar more oeis offlineRC pl pointful poll pretty quote search < 1751830406 904832 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esolangs :seen slap source spell system tell ticker todo topic type undo unlambda unmtl version where < 1751830421 879603 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :@help hoogle < 1751830421 910533 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esolangs :hoogle . Haskell API Search for either names, or types. < 1751830426 522132 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :@hoogle Comonad < 1751830426 821896 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esolangs :module Control.Comonad < 1751830426 833600 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esolangs :Control.Comonad class Functor w => Comonad w < 1751830426 839499 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esolangs :module Rebase.Control.Comonad < 1751830442 846855 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :@source Comonad < 1751830442 870070 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esolangs :Unknown command, try @list < 1751830461 659414 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :@list source < 1751830461 762324 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esolangs :source provides: src < 1751830464 526666 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :@src Comonad < 1751830464 609434 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esolangs :Source not found. Sorry. < 1751830474 256641 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :@src Control.Comonad.Comonad < 1751830474 272432 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esolangs :Source not found. < 1751830516 482661 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Comonad is way too modern for this. > 1751830516 934135 PRIVMSG #esolangs :14[[07Thisthat14]]4 10 02https://esolangs.org/w/index.php?diff=160978&oldid=160977 5* 03Aadenboy 5* (+137) 10 > 1751830527 51412 PRIVMSG #esolangs :14[[07Thisthat14]]4 M10 02https://esolangs.org/w/index.php?diff=160979&oldid=160978 5* 03Aadenboy 5* (-6) 10/* Nodes */ < 1751830569 197778 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(@src uses a text file that comes with lambdabot. It's a rather weird mix of standard Prelude and random stuff that people added.) < 1751830572 828741 :int-e!~noone@int-e.eu PRIVMSG #esolangs :@src Bytestring < 1751830572 845810 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esolangs :Source not found. My mind is going. I can feel it. < 1751830578 228633 :int-e!~noone@int-e.eu PRIVMSG #esolangs :@src ByteString < 1751830578 282570 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esolangs :Source not found. You speak an infinite deal of nothing. < 1751830591 590290 :int-e!~noone@int-e.eu PRIVMSG #esolangs :eh, I thought that was in there, maybe I misremember < 1751830649 528682 :int-e!~noone@int-e.eu PRIVMSG #esolangs ::t Control.Comonad.extract < 1751830650 408182 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esolangs :Control.Comonad.Comonad w => w a -> a < 1751830654 963504 :int-e!~noone@int-e.eu PRIVMSG #esolangs ::t Control.Comonad.duplicate < 1751830655 694191 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esolangs :Control.Comonad.Comonad w => w a -> w (w a) < 1751830739 247021 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :@hoogle Cofunctor < 1751830739 430460 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esolangs :package cofunctor < 1751830739 480689 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esolangs :package acme-cofunctor > 1751830789 120325 PRIVMSG #esolangs :14[[07Thisthat14]]4 M10 02https://esolangs.org/w/index.php?diff=160980&oldid=160979 5* 03Aadenboy 5* (-96) 10/* Nodes */ < 1751830800 836693 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :OK, this isn't what I want either < 1751830838 795655 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :a functor F lets me take a function from a to b, and convert it into a function from F a to F b < 1751830861 471636 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :and I'm trying to find the opposite in the following sense: if you have a function from F a to F b, you can convert that into a function from a to b < 1751830959 957800 :int-e!~noone@int-e.eu PRIVMSG #esolangs :mmm that's a weird one < 1751831001 348930 :int-e!~noone@int-e.eu PRIVMSG #esolangs :well, assuming you still want to preserve composition < 1751831011 596494 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :yep < 1751831031 540874 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :this might be a dead end < 1751831040 294837 :FireFly!~firefly@glowbum/gluehwuermchen/firefly PRIVMSG #esolangs :hm < 1751831082 878603 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :(this is yet another case of "things that frustratingly resemble monads but don't seem to actually be monads") < 1751831176 337416 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :the context is that I'm considering a programming language in which some types are supposed to not be copied, but you can illegally copy them anyway, and if you do, some operations don't work correctly on the illegally copied values < 1751831227 476718 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :but many of the operations do, and this commutes in the sense that f(illegal copy of X) = illegal copy of f(X), assuming that f doesn't try to do anything that doesn't work on illegal copies < 1751831271 407902 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :so it's a bit like a functor except you can do fewer things inside it, rather than more > 1751831385 901743 PRIVMSG #esolangs :14[[07Thisthat14]]4 10 02https://esolangs.org/w/index.php?diff=160981&oldid=160980 5* 03Aadenboy 5* (+961) 10/* Examples */ secured examples and a [[BCT]] implementation > 1751831434 527320 PRIVMSG #esolangs :14[[07User:Aadenboy14]]4 10 02https://esolangs.org/w/index.php?diff=160982&oldid=160964 5* 03Aadenboy 5* (+602) 10/* ESOLANGS */ < 1751831685 488330 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :actually, linear logic probably has an operation for this somewhere, it has lots of operations like that > 1751832121 812099 PRIVMSG #esolangs :14[[07Symbolmathing14]]4 10 02https://esolangs.org/w/index.php?diff=160983&oldid=160975 5* 03Bebebe 5* (+131) 10 < 1751832204 752473 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :There is a concept of inverse functor, but it trivializes to the equivalent concept in set theory: https://ncatlab.org/nlab/show/inverse+functor < 1751832615 240387 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :and an inverse functor is still a functor, whereas the thing I'm dealing with isn't a functor < 1751833130 949210 :zzo38!~zzo38@host-24-207-52-143.public.eastlink.ca PRIVMSG #esolangs :Do you have a example of what types are supposed to not be copied? < 1751833726 887810 :tromp!~textual@2001:1c00:3487:1b00:a424:5b9:4dc2:8889 QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1751833860 638697 :tromp!~textual@2001:1c00:3487:1b00:a424:5b9:4dc2:8889 JOIN #esolangs * :Textual User < 1751834114 947787 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :zzo38: assumptions that you have exclusive access to a particular resource (if you copy the assumption, it becomes risky to rely on because someone else might be relying on the copy) < 1751834708 518971 :tromp!~textual@2001:1c00:3487:1b00:a424:5b9:4dc2:8889 QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1751834986 438704 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :I was wondering about something that is sort of esoteric. I'll start with the use case: you are running a service on the internet that's used by lots of third parties, and can store potentially sensitive data about those third parties. Your goal is to protect the third party data from government subponea as much as possible. More precisely, if the government decides that they're interested in the data < 1751834992 435021 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :that you're storing, and demand that you give them all your data, you can give them as little as possible. This can happen only once, assume you shut down the service immediately when the government sends you the first request, but you aren't allowed to delete or modify any data at that time. < 1751835031 111587 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :The easy parts of this is to not store any data that needn't be stored, and to overwrite any data on the disk as soon as it's no longer needed. This part isn't hard, you can just use ordinary database software. < 1751835111 420709 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :But the problem is that even if you do the easy part carefully, the database can contain a little bit of information about the history of database updates, leaked in what order the data is allocated and possibly the structure of the tree or linked lists or hash tables etc. < 1751835242 871201 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :Now I think in theory it's possible to make a database software that specifically avoids all those leaks. That is, the data stored on disk contains only exponentially small amount of extra information about the history of the database (over the information that the current rows tell), at least as much as you can extract with feasable computation in the cryptographical sense. And you can do that while < 1751835243 876498 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :avoiding that seems difficult because there are lots of desirable properties of databases (e.g. working in concurrent scenarios) that may be hard or impossible to implement with a truly normalized storage format < 1751835248 876060 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :still keeping the storage space and the time of updates and lookups having reasonable bounds. < 1751835272 938333 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :But it's quite hard to optimize this to make the storage space and runtime small in practice, not just like have nice asymptotics. < 1751835315 319980 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :I'm assuming no concurrence here for simplicity. < 1751835329 193852 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :oh, that makes a big difference > 1751835339 33732 PRIVMSG #esolangs :14[[07Symbolmathing14]]4 10 02https://esolangs.org/w/index.php?diff=160984&oldid=160983 5* 03Bebebe 5* (+53) 10 < 1751835412 648654 :tromp!~textual@2001:1c00:3487:1b00:a424:5b9:4dc2:8889 JOIN #esolangs * :Textual User < 1751835425 935693 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :so hash tables almost get this right – if there are no collisions and the hash table is fairly full, you can just store everything at a known address based no its hash < 1751835432 329535 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :For the allocations, if you use fixed-sized blocks then you can keep them in a uniform random order: if you want to allocate a block then you append the block then swap it with a random block in the database (but you have to make sure to update all the pointers, which may require a bit more complicated code). If you want different block sizes you probably need multiple levels of this, to allocate small < 1751835437 851663 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :but "there are no collisions and the hash table is fairly full" is a probabilistic contradiction < 1751835438 338205 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :blocks inside big blocks. < 1751835475 602299 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :different block sizes shouldn't be a problem, just put them on different storage devices < 1751835513 877304 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :For the key-value lookup or ordered storage, there are hash-table based solutions which are probably better in practice. But I personally prefer a treap: if you choose a random weight for every node when it's created, and build a treap from them, then the shape of the tree and location of nodes is independent of the history. < 1751835550 331717 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :well, as long as the weights aren't tied < 1751835553 506377 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :"just put them on different storage devices" => yes, that works as long as you can predict how much space you want to allocate < 1751835561 988371 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :I guess you can reroll a weight if it's tied < 1751835584 14526 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :or, no, that introduces bias? > 1751835610 937451 PRIVMSG #esolangs :14[[07User:Bebebe14]]4 10 02https://esolangs.org/w/index.php?diff=160985&oldid=160952 5* 03Bebebe 5* (+92) 10 < 1751835612 382215 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :or, I'm not sure – currently leaning towards thinking it doesn't but am not convinced < 1751835650 526308 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :the simplest solution would be to use weights that are so large that they can't be tied (256 or 192 bits). I think if you use a biased distribution that makes weights farther from the roots exponentially more likely then you can get away with fewer bits, but I'm not certain. < 1751835697 230512 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :you don't need to explicitly store the whole weight, because you can generate the weights deterministically from the key of the data using a cryptographic checksum < 1751835715 869050 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :oh! so what you can do is to use a hash table, and use a treap for collisions < 1751835733 752877 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :so I'd recommend a 256-bit weight, but store some of it for speed < 1751835773 209372 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :like, if two or more entries collide, the hash table entry stores a treap that stores all the entries < 1751835797 43802 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :as in a 256-bit weight generated from the primary key using a cryptographic digest, and store a (nonlinear) 32 bits of it on disk for efficiency < 1751835858 896826 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :ais523: that kind of seems overcomplicated, you could just store the colliding elements in a linked list as long as you keep their orders either random or sorted by a weight. if the hash function is good and the hash table isn't too large then there won't be large sets of collisions. < 1751835870 521646 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :randomizing linked lists is awkward < 1751835897 639220 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :ais523: no, you can insert into a random position whenever you insert, and keep the order when you delete < 1751835904 247224 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :in any case, I think there's some sort of hashdos-like attack available where someone forces worst-case performance by submitting lots of entries whose hashes sort the same way their values do < 1751835935 830291 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :you'd have to use a randomized hashing function to avoid that < 1751835936 228085 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :(of course since this is user-supplied data, you have to use a cryptographic digest with a secret seed for the hash function to ensure that the users cannot manipulate collisions) < 1751835945 555059 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :(but that's already true for a normal database that uses a hash table) < 1751836001 97789 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :yes, I think ordinary real-world databases that use hash tables already solved that problem, it's not directly related to this history-hiding < 1751836149 577078 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :It's just that you have to make sure to store the nodes of linked lists or trees in a way that also doesn't leak history. And the same for any variable-sized data in the rows. So for this you need something like the random allocations, even if the hash table itself is in a fixed position. < 1751836189 654166 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :And I wouldn't recommend this for most databases because it comes with an overhead in storage size or update time. < 1751836210 547096 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :So this would just be some special-purpose type of database, not your default database. > 1751836872 543484 PRIVMSG #esolangs :14[[07Symbolmathing14]]4 10 02https://esolangs.org/w/index.php?diff=160986&oldid=160984 5* 03Bebebe 5* (+206) 10 < 1751838726 300730 :tromp!~textual@2001:1c00:3487:1b00:a424:5b9:4dc2:8889 QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1751839123 513806 :ais523!~ais523@user/ais523 QUIT :Quit: quit < 1751839203 733724 :FreeFull!~freefull@79.186.64.168.ipv4.supernova.orange.pl QUIT : > 1751840870 409424 PRIVMSG #esolangs :14[[07Triolang14]]4 10 02https://esolangs.org/w/index.php?diff=160987&oldid=160015 5* 03BestCoder 5* (+22) 10 > 1751841020 184889 PRIVMSG #esolangs :14[[07Schrodinger's fish14]]4 10 02https://esolangs.org/w/index.php?diff=160988&oldid=133406 5* 03BestCoder 5* (+0) 10/* test programs */