00:00:12 <esolangs> [[Hardfish]] https://esolangs.org/w/index.php?diff=119708&oldid=117947 * Squidmanescape * (-30) I took away my own stupid changes. I don't know why I did this.
00:25:56 -!- MizMahem has quit (Excess Flood).
00:26:06 -!- MizMahem has joined.
00:41:45 <int-e> 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)
00:42:13 -!- ais523 has quit (Ping timeout: 255 seconds).
00:42:35 -!- ais523 has joined.
01:06:11 <int-e> (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.)
01:49:52 -!- cpressey has quit (Ping timeout: 250 seconds).
03:39:36 -!- ais523 has quit (Ping timeout: 252 seconds).
03:39:53 -!- ais523 has joined.
04:07:42 -!- wpa has joined.
04:20:55 <esolangs> [[SOAP]] https://esolangs.org/w/index.php?diff=119709&oldid=111728 * BoundedBeans * (+1569) Added SOAPI (ANSI) version spec
04:30:50 -!- lifthrasiir has quit (Ping timeout: 268 seconds).
04:31:06 -!- lifthrasiir has joined.
04:59:25 -!- b_jonas has quit (Read error: Connection reset by peer).
05:01:38 -!- ais523 has quit (Remote host closed the connection).
05:02:52 -!- ais523 has joined.
05:07:40 <esolangs> [[Talk:Hardfish]] https://esolangs.org/w/index.php?diff=119710&oldid=108530 * Squidmanescape * (+20855) /* Python 3 Interpreter */
05:20:53 -!- ais523 has quit (Quit: sorry about my connection).
05:21:09 -!- ais523 has joined.
05:54:32 -!- ais523 has quit (Remote host closed the connection).
05:55:45 -!- ais523 has joined.
05:58:51 -!- b_jonas has joined.
07:29:41 -!- ais523 has quit (Quit: quit).
07:31:45 -!- tromp has joined.
07:42:49 -!- Europe2048 has joined.
07:48:17 <esolangs> [[Talk:Hardfish]] https://esolangs.org/w/index.php?diff=119711&oldid=119710 * Squidmanescape * (+256) /* With R */
07:52:48 -!- Europe2048 has quit (Quit: Client closed).
07:58:10 -!- Europe2048 has joined.
08:29:28 -!- cpressey has joined.
08:43:36 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
08:49:20 -!- __monty__ has joined.
08:58:49 -!- Sgeo has quit (Read error: Connection reset by peer).
09:05:43 -!- Europe2048 has quit (Quit: Client closed).
09:46:55 -!- tromp has joined.
10:04:13 -!- Lord_of_Life_ has joined.
10:05:25 -!- Lord_of_Life has quit (Ping timeout: 256 seconds).
10:05:37 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
10:32:51 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
10:33:01 <esolangs> [[Talk:Incrementing machine]] N https://esolangs.org/w/index.php?oldid=119712 * Keymaker * (+1159) A note from history.
10:37:53 -!- Koen has joined.
10:47:54 -!- tromp has joined.
10:49:22 <esolangs> [[Talk:Hardfish]] M https://esolangs.org/w/index.php?diff=119713&oldid=119711 * None1 * (+3) /* With R */
11:17:21 -!- wpa has quit (Quit: Connection closed for inactivity).
11:24:24 <esolangs> [[Template:Py]] M https://esolangs.org/w/index.php?diff=119714&oldid=119653 * Lilchiky * (+52) better syntax highlighting
11:25:12 <esolangs> [[Template:Py]] M https://esolangs.org/w/index.php?diff=119715&oldid=119714 * Lilchiky * (+0) smaller
11:26:23 <esolangs> [[Template talk:Py]] https://esolangs.org/w/index.php?diff=119716&oldid=119654 * Lilchiky * (+111)
11:29:14 <esolangs> [[Template:Py]] M https://esolangs.org/w/index.php?diff=119717&oldid=119715 * Lilchiky * (+0) too small
12:01:49 <esolangs> [[Hrdfish]] N https://esolangs.org/w/index.php?oldid=119718 * None1 * (+760) Created 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
12:02:41 <esolangs> [[Hrdfish]] M https://esolangs.org/w/index.php?diff=119719&oldid=119718 * None1 * (+3)
12:05:36 <esolangs> [[Hrdfish]] https://esolangs.org/w/index.php?diff=119720&oldid=119719 * None1 * (+90)
12:05:54 <esolangs> [[Hrdfsh]] https://esolangs.org/w/index.php?diff=119721&oldid=117948 * None1 * (+35)
12:07:24 <esolangs> [[Hardfish]] https://esolangs.org/w/index.php?diff=119722&oldid=119708 * None1 * (+50) /* Often read together with .. */
12:08:13 <esolangs> [[Language list]] https://esolangs.org/w/index.php?diff=119723&oldid=119659 * None1 * (+16) /* H */
12:09:26 <esolangs> [[User:None1]] https://esolangs.org/w/index.php?diff=119724&oldid=119680 * None1 * (+64) /* My Esolangs */
12:10:06 <esolangs> [[Hrdfish]] M https://esolangs.org/w/index.php?diff=119725&oldid=119720 * None1 * (+0) /* See also */
12:13:36 <esolangs> [[Special:Log/upload]] upload * None1 * uploaded "[[File:2ip2.png]]": Image showing growth of the length of the <code>rrr</code> program in [[Hrdfish]] .
12:27:44 <esolangs> [[Hrdfish]] https://esolangs.org/w/index.php?diff=119727&oldid=119725 * None1 * (+146)
12:28:26 <esolangs> [[NH3]] https://esolangs.org/w/index.php?diff=119728&oldid=115711 * None1 * (+32)
12:57:58 <esolangs> [[Hrdfish]] https://esolangs.org/w/index.php?diff=119729&oldid=119727 * None1 * (+333) Added Python interpreter and change Unimplemented to Implemented
13:07:55 <esolangs> [[User:XKCD Random Number]] https://esolangs.org/w/index.php?diff=119730&oldid=119119 * None1 * (+133) /* Goldfuck */
13:08:05 <esolangs> [[User:XKCD Random Number]] M https://esolangs.org/w/index.php?diff=119731&oldid=119730 * None1 * (-2) /* Hardfish */
13:13:20 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
13:33:13 -!- FreeFull has joined.
13:38:20 <esolangs> [[Easyfish]] N https://esolangs.org/w/index.php?oldid=119732 * None1 * (+936) Created 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
13:38:31 -!- tromp has joined.
13:38:36 <esolangs> [[Easyfish]] https://esolangs.org/w/index.php?diff=119733&oldid=119732 * None1 * (+6) /* XKCD Random Number */
13:48:48 <esolangs> [[Language list]] https://esolangs.org/w/index.php?diff=119734&oldid=119723 * None1 * (+15) /* E */
14:09:02 -!- __monty__ has quit (Quit: leaving).
14:22:05 -!- Lord_of_Life has quit (Excess Flood).
14:26:25 -!- Lord_of_Life has joined.
15:34:10 <esolangs> [[2Deadfish/Constants]] https://esolangs.org/w/index.php?diff=119735&oldid=119558 * Squidmanescape * (+23748) /* Unclear Data */
16:48:18 -!- ais523 has joined.
17:10:58 -!- Europe2048 has joined.
17:18:54 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
17:28:49 -!- Europe2048 has quit (Quit: Client closed).
17:31:33 <cpressey> 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
17:34:35 <ais523> theorem provers seem to have driven a whole genre of languages with weird type systems
17:37:01 <esolangs> [[Talk:Stackish]] N https://esolangs.org/w/index.php?oldid=119736 * Baltdev * (+171) Created page with "I clicked random esolang and was brought here. Since the original implementation is a dead link, I'm creating my own. ~~~"
17:45:03 -!- cpressey has quit (Quit: Client closed).
18:19:13 -!- tromp has joined.
19:17:50 -!- ais523 has quit (Quit: playing a bridge tournament and won't be able to talk on IRC while playing).
19:29:01 -!- Koen has quit (Remote host closed the connection).
19:30:12 -!- Koen has joined.
19:34:55 -!- Koen has quit (Ping timeout: 256 seconds).
19:43:10 -!- cpressey has joined.
19:51:33 <cpressey> 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
19:52:57 -!- Europe2048 has joined.
19:54:27 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
19:56:42 -!- tromp has joined.
20:10:41 -!- Europe2048 has quit (Quit: Client closed).
20:16:36 -!- cpressey has quit (Quit: Client closed).
20:17:04 -!- cpressey has joined.
20:26:08 -!- cpressey has quit (Ping timeout: 250 seconds).
20:31:48 -!- Koen has joined.
21:15:39 -!- cpressey has joined.
21:35:30 <cpressey> > You can implement information hiding in a dynamically typed (or "weakly typed") language
21:35:30 <cpressey> 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
21:35:31 <cpressey> prevent unauthorized access to the internals of an abstract data type.
21:35:31 <lambdabot> <hint>:1:38: error: parse error on input ‘in’
21:37:33 <cpressey> Not that it makes any sense to go that far.
21:39:10 <cpressey> 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.
21:41:42 <cpressey> 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.
21:47:36 <b_jonas> "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.
21:48:57 <b_jonas> 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
21:49:20 -!- cpressey has quit (Ping timeout: 250 seconds).
22:00:11 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
22:04:26 -!- dutchkin has joined.
22:15:17 <b_jonas> 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
22:15:23 <b_jonas> language gives some way to hide them
22:16:28 <b_jonas> 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
23:20:02 -!- ais523 has joined.
23:52:36 <esolangs> [[Talk:!English]] M https://esolangs.org/w/index.php?diff=119737&oldid=119564 * CreeperBomb * (+1) learn how to indent with colon cancer pls
23:53:19 -!- Sgeo has joined.