> 1700438412 627019 PRIVMSG #esolangs :14[[07Hardfish14]]4 10 02https://esolangs.org/w/index.php?diff=119708&oldid=117947 5* 03Squidmanescape 5* (-30) 10I took away my own stupid changes. I don't know why I did this.
< 1700439956 387400 :MizMahem!sid296354@user/mizmahem QUIT :Excess Flood
< 1700439966 840938 :MizMahem!sid296354@user/mizmahem JOIN #esolangs MizMahem :🐍🐔
< 1700440905 916449 :int-e!~noone@int-e.eu PRIVMSG #esolangs :b_jonas: https://old.reddit.com/r/shapezio/comments/17xii4g/can_anyone_please_tell_me_why_my_max_rate_is_20/k9yia09/ (I figured out where that odd 25% speedup in balancers comes from in shapez.io and why it turns into a slowdown after reaching 10x, including a formula)
< 1700440933 602049 :ais523!~ais523@user/ais523 QUIT :Ping timeout: 255 seconds
< 1700440955 96702 :ais523!~ais523@user/ais523 JOIN #esolangs ais523 :(this is obviously not my real name)
< 1700442371 363548 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(This took me way too long. On the other hand, this is the thing that has been bothering me the most about this game so far, so I'm glad I finally figured it out.)
< 1700443551 314386 :b_jonas!~x@89.134.28.161 PRIVMSG #esolangs :okay
< 1700444992 734492 :cpressey!~cpressey@host-92-21-196-138.as13285.net QUIT :Ping timeout: 250 seconds
< 1700451576 20760 :ais523!~ais523@user/ais523 QUIT :Ping timeout: 252 seconds
< 1700451593 528609 :ais523!~ais523@user/ais523 JOIN #esolangs ais523 :(this is obviously not my real name)
< 1700453262 649204 :wpa!uid568065@id-568065.helmsley.irccloud.com JOIN #esolangs WeepingAngel :wpa
> 1700454055 310227 PRIVMSG #esolangs :14[[07SOAP14]]4 10 02https://esolangs.org/w/index.php?diff=119709&oldid=111728 5* 03BoundedBeans 5* (+1569) 10Added SOAPI (ANSI) version spec
< 1700454650 280669 :lifthrasiir!~lifthrasi@ec2-52-79-98-81.ap-northeast-2.compute.amazonaws.com QUIT :Ping timeout: 268 seconds
< 1700454666 799371 :lifthrasiir!~lifthrasi@ec2-52-79-98-81.ap-northeast-2.compute.amazonaws.com JOIN #esolangs lifthrasiir :Kang Seonghoon
< 1700456365 254883 :b_jonas!~x@89.134.28.161 QUIT :Read error: Connection reset by peer
< 1700456498 764593 :ais523!~ais523@user/ais523 QUIT :Remote host closed the connection
< 1700456572 751903 :ais523!~ais523@user/ais523 JOIN #esolangs ais523 :(this is obviously not my real name)
> 1700456860 419469 PRIVMSG #esolangs :14[[07Talk:Hardfish14]]4 10 02https://esolangs.org/w/index.php?diff=119710&oldid=108530 5* 03Squidmanescape 5* (+20855) 10/* Python 3 Interpreter */
< 1700457653 335470 :ais523!~ais523@user/ais523 QUIT :Quit: sorry about my connection
< 1700457669 771309 :ais523!~ais523@user/ais523 JOIN #esolangs ais523 :(this is obviously not my real name)
< 1700459672 796750 :ais523!~ais523@user/ais523 QUIT :Remote host closed the connection
< 1700459745 792291 :ais523!~ais523@user/ais523 JOIN #esolangs ais523 :(this is obviously not my real name)
< 1700459931 38323 :b_jonas!~x@89.134.28.161 JOIN #esolangs b_jonas :b_jonas
< 1700465381 363103 :ais523!~ais523@user/ais523 QUIT :Quit: quit
< 1700465505 295507 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User
< 1700466169 782802 :Europe2048!~Europe204@partnerless.heel.volia.net JOIN #esolangs * :[https://web.libera.chat] Europe2048
> 1700466497 494089 PRIVMSG #esolangs :14[[07Talk:Hardfish14]]4 10 02https://esolangs.org/w/index.php?diff=119711&oldid=119710 5* 03Squidmanescape 5* (+256) 10/* With R */
< 1700466768 422645 :Europe2048!~Europe204@partnerless.heel.volia.net QUIT :Quit: Client closed
< 1700467090 734865 :Europe2048!~Europe204@partnerless.heel.volia.net JOIN #esolangs * :[https://web.libera.chat] Europe2048
< 1700467097 732518 :Europe2048!~Europe204@partnerless.heel.volia.net PRIVMSG #esolangs :Hello everyone!
< 1700468968 846441 :cpressey!~cpressey@host-92-21-196-138.as13285.net JOIN #esolangs cpressey :[https://web.libera.chat] cpressey
< 1700469816 423554 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
< 1700470160 34493 :__monty__!~toonn@user/toonn JOIN #esolangs toonn :Unknown
< 1700470729 893460 :Sgeo!~Sgeo@user/sgeo QUIT :Read error: Connection reset by peer
< 1700471143 273855 :Europe2048!~Europe204@partnerless.heel.volia.net QUIT :Quit: Client closed
< 1700473615 661163 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User
< 1700474653 219850 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord
< 1700474725 804239 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Ping timeout: 256 seconds
< 1700474737 709974 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 NICK :Lord_of_Life
< 1700476371 178580 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
> 1700476381 419067 PRIVMSG #esolangs :14[[07Talk:Incrementing machine14]]4 N10 02https://esolangs.org/w/index.php?oldid=119712 5* 03Keymaker 5* (+1159) 10A note from history.
< 1700476673 861091 :Koen!~Koen@2a01:e34:ec7c:30:8c16:4025:4d3d:7bf9 JOIN #esolangs * :Koen
< 1700477274 889108 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User
> 1700477362 143753 PRIVMSG #esolangs :14[[07Talk:Hardfish14]]4 M10 02https://esolangs.org/w/index.php?diff=119713&oldid=119711 5* 03None1 5* (+3) 10/* With R */
< 1700479041 571143 :wpa!uid568065@id-568065.helmsley.irccloud.com QUIT :Quit: Connection closed for inactivity
> 1700479464 12499 PRIVMSG #esolangs :14[[07Template:Py14]]4 M10 02https://esolangs.org/w/index.php?diff=119714&oldid=119653 5* 03Lilchiky 5* (+52) 10better syntax highlighting
> 1700479512 434164 PRIVMSG #esolangs :14[[07Template:Py14]]4 M10 02https://esolangs.org/w/index.php?diff=119715&oldid=119714 5* 03Lilchiky 5* (+0) 10smaller
> 1700479583 131777 PRIVMSG #esolangs :14[[07Template talk:Py14]]4 10 02https://esolangs.org/w/index.php?diff=119716&oldid=119654 5* 03Lilchiky 5* (+111) 10
> 1700479754 77292 PRIVMSG #esolangs :14[[07Template:Py14]]4 M10 02https://esolangs.org/w/index.php?diff=119717&oldid=119715 5* 03Lilchiky 5* (+0) 10too small
> 1700481709 255096 PRIVMSG #esolangs :14[[07Hrdfish14]]4 N10 02https://esolangs.org/w/index.php?oldid=119718 5* 03None1 5* (+760) 10Created page with "{{lang|a=User:None1|i=[[Hardfish]]}}.  Almost all the specifications are the same, except two: # {{cd|r}} concatenates the '''rest''' of code to the code, then is removed from the code. # Two consecutive same characters are allowed. ==Examples== ===Infinite loop===  rr The
> 1700481761 909811 PRIVMSG #esolangs :14[[07Hrdfish14]]4 M10 02https://esolangs.org/w/index.php?diff=119719&oldid=119718 5* 03None1 5* (+3) 10
> 1700481936 440543 PRIVMSG #esolangs :14[[07Hrdfish14]]4 10 02https://esolangs.org/w/index.php?diff=119720&oldid=119719 5* 03None1 5* (+90) 10
> 1700481954 159326 PRIVMSG #esolangs :14[[07Hrdfsh14]]4 10 02https://esolangs.org/w/index.php?diff=119721&oldid=117948 5* 03None1 5* (+35) 10
> 1700482044 51665 PRIVMSG #esolangs :14[[07Hardfish14]]4 10 02https://esolangs.org/w/index.php?diff=119722&oldid=119708 5* 03None1 5* (+50) 10/* Often read together with .. */
> 1700482093 480944 PRIVMSG #esolangs :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=119723&oldid=119659 5* 03None1 5* (+16) 10/* H */
> 1700482166 723392 PRIVMSG #esolangs :14[[07User:None114]]4 10 02https://esolangs.org/w/index.php?diff=119724&oldid=119680 5* 03None1 5* (+64) 10/* My Esolangs */
> 1700482206 309863 PRIVMSG #esolangs :14[[07Hrdfish14]]4 M10 02https://esolangs.org/w/index.php?diff=119725&oldid=119720 5* 03None1 5* (+0) 10/* See also */
> 1700482416 277319 PRIVMSG #esolangs :14[[07Special:Log/upload14]]4 upload10 02 5* 03None1 5*  10uploaded "[[02File:2ip2.png10]]": Image showing growth of the length of the <code>rrr</code> program in [[Hrdfish]] .
> 1700483264 843395 PRIVMSG #esolangs :14[[07Hrdfish14]]4 10 02https://esolangs.org/w/index.php?diff=119727&oldid=119725 5* 03None1 5* (+146) 10
> 1700483306 281250 PRIVMSG #esolangs :14[[07NH314]]4 10 02https://esolangs.org/w/index.php?diff=119728&oldid=115711 5* 03None1 5* (+32) 10
> 1700485078 831010 PRIVMSG #esolangs :14[[07Hrdfish14]]4 10 02https://esolangs.org/w/index.php?diff=119729&oldid=119727 5* 03None1 5* (+333) 10Added Python interpreter and change Unimplemented to Implemented
> 1700485675 28394 PRIVMSG #esolangs :14[[07User:XKCD Random Number14]]4 10 02https://esolangs.org/w/index.php?diff=119730&oldid=119119 5* 03None1 5* (+133) 10/* Goldfuck */
> 1700485685 119282 PRIVMSG #esolangs :14[[07User:XKCD Random Number14]]4 M10 02https://esolangs.org/w/index.php?diff=119731&oldid=119730 5* 03None1 5* (-2) 10/* Hardfish */
< 1700486000 140352 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
< 1700487193 19272 :FreeFull!~freefull@46.205.214.63.nat.ftth.dynamic.t-mobile.pl JOIN #esolangs FreeFull :FreeFull
> 1700487500 192960 PRIVMSG #esolangs :14[[07Easyfish14]]4 N10 02https://esolangs.org/w/index.php?oldid=119732 5* 03None1 5* (+936) 10Created page with "{{lang|a=User:None1|i=[[Hardfish]]}} Unlike its name, it it hard to use, just like Hardfish. ==Commands==  i - Increment  r - Stuff between this r and the next r are repeated twice, then jump to the command after the next r  d - If accumulator is even, divide it by 2, oth
< 1700487511 642293 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User
> 1700487516 820830 PRIVMSG #esolangs :14[[07Easyfish14]]4 10 02https://esolangs.org/w/index.php?diff=119733&oldid=119732 5* 03None1 5* (+6) 10/* XKCD Random Number */
> 1700488128 150784 PRIVMSG #esolangs :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=119734&oldid=119723 5* 03None1 5* (+15) 10/* E */
< 1700489342 715709 :__monty__!~toonn@user/toonn QUIT :Quit: leaving
< 1700490125 361193 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Excess Flood
< 1700490385 851202 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord
> 1700494450 779563 PRIVMSG #esolangs :14[[072Deadfish/Constants14]]4 10 02https://esolangs.org/w/index.php?diff=119735&oldid=119558 5* 03Squidmanescape 5* (+23748) 10/* Unclear Data */
< 1700498898 707869 :ais523!~ais523@user/ais523 JOIN #esolangs ais523 :(this is obviously not my real name)
< 1700500258 733071 :Europe2048!~Europe204@partnerless.heel.volia.net JOIN #esolangs * :[https://web.libera.chat] Europe2048
< 1700500269 613836 :Europe2048!~Europe204@partnerless.heel.volia.net PRIVMSG #esolangs :Hi!
< 1700500734 835650 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
< 1700501255 268119 :cpressey!~cpressey@host-92-21-196-138.as13285.net PRIVMSG #esolangs :Hi
< 1700501329 520732 :Europe2048!~Europe204@partnerless.heel.volia.net QUIT :Quit: Client closed
< 1700501493 480207 :cpressey!~cpressey@host-92-21-196-138.as13285.net PRIVMSG #esolangs :I sometimes find it hard to believe that Robin Milner built a theorem prover based on unpublished work by Dana Scott.  I also find it hard to believe that he invented polymorphic typing (and a whole new language to put it in) merely because he wanted this theorem prover to have user-extensible tactics.  This whole narrative smells funny, if you
< 1700501493 939165 :cpressey!~cpressey@host-92-21-196-138.as13285.net PRIVMSG #esolangs :ask me.
< 1700501675 946339 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :theorem provers seem to have driven a whole genre of languages with weird type systems
> 1700501821 724682 PRIVMSG #esolangs :14[[07Talk:Stackish14]]4 N10 02https://esolangs.org/w/index.php?oldid=119736 5* 03Baltdev 5* (+171) 10Created page with "I clicked random esolang and was brought here. Since the original implementation is a dead link, I'm creating my own. ~~~"
< 1700502303 739457 :cpressey!~cpressey@host-92-21-196-138.as13285.net QUIT :Quit: Client closed
< 1700504353 20074 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User
< 1700507870 922800 :ais523!~ais523@user/ais523 QUIT :Quit: playing a bridge tournament and won't be able to talk on IRC while playing
< 1700508541 320728 :Koen!~Koen@2a01:e34:ec7c:30:8c16:4025:4d3d:7bf9 QUIT :Remote host closed the connection
< 1700508612 880577 :Koen!~Koen@2a01:e34:ec7c:30:eccc:1614:e982:5ff4 JOIN #esolangs * :Koen
< 1700508895 827662 :Koen!~Koen@2a01:e34:ec7c:30:eccc:1614:e982:5ff4 QUIT :Ping timeout: 256 seconds
< 1700509390 800294 :cpressey!~cpressey@host-92-21-196-138.as13285.net JOIN #esolangs cpressey :[https://web.libera.chat] cpressey
< 1700509893 749825 :cpressey!~cpressey@host-92-21-196-138.as13285.net PRIVMSG #esolangs :I'm joking of course, but there is one part of the narrative that I do take exception to, which is that Milner designed ML to be statically typed (or "strongly typed" or "strictly typed") because this was a necessity for implementing LCF-style theorem proving.  It's not.  You can implement information hiding in a dynamically typed (or "weakly
< 1700509894 249830 :cpressey!~cpressey@host-92-21-196-138.as13285.net PRIVMSG #esolangs :typed") language.
< 1700509977 767270 :Europe2048!~Europe204@partnerless.heel.volia.net JOIN #esolangs * :[https://web.libera.chat] Europe2048
< 1700510067 236046 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
< 1700510202 647519 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User
< 1700511041 40178 :Europe2048!~Europe204@partnerless.heel.volia.net QUIT :Quit: Client closed
< 1700511396 453782 :cpressey!~cpressey@host-92-21-196-138.as13285.net QUIT :Quit: Client closed
< 1700511424 735177 :cpressey!~cpressey@host-92-21-196-138.as13285.net JOIN #esolangs cpressey :[https://web.libera.chat] cpressey
< 1700511968 775607 :cpressey!~cpressey@host-92-21-196-138.as13285.net QUIT :Ping timeout: 250 seconds
< 1700512308 753798 :Koen!~Koen@2a01:e34:ec7c:30:b00d:bb02:8745:36c8 JOIN #esolangs * :Koen
< 1700514939 736495 :cpressey!~cpressey@host-92-21-196-138.as13285.net JOIN #esolangs cpressey :[https://web.libera.chat] cpressey
< 1700516130 146624 :cpressey!~cpressey@host-92-21-196-138.as13285.net PRIVMSG #esolangs :> You can implement information hiding in a dynamically typed (or "weakly typed") language
< 1700516130 697299 :cpressey!~cpressey@host-92-21-196-138.as13285.net PRIVMSG #esolangs :Granted, the weaker the type enforcement, the more fiddly it becomes.  And most dynamically typed languages actually have "strong" typing in the sense that you can't cast values to types that would violate their memory storage model (like pointers).  But I think that even at the weakest level you could implement, say, cryptographic methods, to
< 1700516131 181157 :cpressey!~cpressey@host-92-21-196-138.as13285.net PRIVMSG #esolangs :prevent unauthorized access to the internals of an abstract data type.
< 1700516131 666059 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esolangs : <hint>:1:38: error: parse error on input ‘in’
< 1700516253 423563 :cpressey!~cpressey@host-92-21-196-138.as13285.net PRIVMSG #esolangs :Not that it makes any sense to go that far.
< 1700516350 29969 :cpressey!~cpressey@host-92-21-196-138.as13285.net PRIVMSG #esolangs :A lot of languages have opaque data in the form of function values.  I wonder if function pointers would be enough.  Especially if you could actually allocate new functions at runtime, in protected memory, so that once they're created the memory they occupy cannot be written to.
< 1700516502 360305 :cpressey!~cpressey@host-92-21-196-138.as13285.net PRIVMSG #esolangs :Because there's nothing wrong with reading the values (or bytes) of an abstract data structure.  It's modifying or creating a new instance of one without using the official methods for doing so, that needs to be prevented.
< 1700516856 94867 :b_jonas!~x@89.134.28.161 PRIVMSG #esolangs :"nothing wrong with reading the values (or bytes) of an abstract data structure" => sure there is, it leads to the maintainer of that data type not being able to improve the implementation without incompatibility because the users rely on some implementation detail that wasn't supposed to be part of the public API. 
< 1700516937 543412 :b_jonas!~x@89.134.28.161 PRIVMSG #esolangs :but of course a dynamically typed language can still allow to create new algebraic structure constructors with fields that aren't publicly readable, if you want to hide information that way, this just requires a memory-safe language, not a strongly typed one
< 1700516960 741053 :cpressey!~cpressey@host-92-21-196-138.as13285.net QUIT :Ping timeout: 250 seconds
< 1700517611 970746 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
< 1700517866 784934 :dutchkin!~dutchkin@45.144.113.234 JOIN #esolangs dutchkin :D Matthew Robb
< 1700518517 567199 :b_jonas!~x@89.134.28.161 PRIVMSG #esolangs :you can also do inside-out structures, as in a separate table that stores the actual attribute of the objects, and you index into it by the address of the object or by an index stored in the object, so that users can't see the attributes by just looking inside the object, but this too is only as useful as private fields in the structures, since a user may also be able to find the tables unless the 
< 1700518523 510146 :b_jonas!~x@89.134.28.161 PRIVMSG #esolangs :language gives some way to hide them
< 1700518588 31315 :b_jonas!~x@89.134.28.161 PRIVMSG #esolangs :on the flip side, you could have a statically typed language that has no information hiding, where a user can always access the fields or create instances of data types that a module defines
< 1700522402 752042 :ais523!~ais523@user/ais523 JOIN #esolangs ais523 :(this is obviously not my real name)
> 1700524356 787375 PRIVMSG #esolangs :14[[07Talk:!English14]]4 M10 02https://esolangs.org/w/index.php?diff=119737&oldid=119564 5* 03CreeperBomb 5* (+1) 10learn how to indent with colon cancer pls
< 1700524399 514985 :Sgeo!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname