00:02:53 -!- XorSwap has joined.
00:22:17 -!- erkin has quit (Remote host closed the connection).
00:22:55 -!- erkin has joined.
00:40:19 -!- arseniiv has quit (Ping timeout: 246 seconds).
00:44:25 <Sgeo> I just did poke 0,0 in a C64 emulator in BASIC. Shouldnt that ruin something?
00:44:45 <Sgeo> That should swap out KERNAL and BASIC ROM I believe, why is BASIC still functioning?
00:45:19 <Sgeo> Oh it should be poke 1,0
00:46:12 <Sgeo> poke 0,0 seems to protect against poke 1,0
00:49:12 -!- imode has quit (Ping timeout: 252 seconds).
00:51:11 <Sgeo> Probably not. Can't say for certain. Day's not over yet
00:59:42 <shachaf> Do you prefer Ada or ALGOL 68?
01:02:15 -!- Hooloovo0 has quit (Quit: Temporarily refracted into a free-standing prism.).
01:03:21 -!- Hoolootwo has joined.
01:04:53 -!- Hoolootwo has changed nick to Hooloovo0.
01:07:49 <Sgeo> I'll say Ada although I dont really know either. Ada supposedly has nice properties regarding correctness
01:07:51 <Sgeo> And readability
01:08:02 -!- clog has quit (Ping timeout: 265 seconds).
01:08:15 <pikhq> All I know about Ada is, it has a nice name.
01:12:18 -!- clog has joined.
01:12:47 -!- Shragazord has quit (Ping timeout: 240 seconds).
01:18:15 -!- boily has joined.
01:18:58 <boily> @tell oerjan bonsϿirjan. I haven't disturbed your ears in quite a while: https://youtu.be/X99D7lLDfwI
01:19:20 -!- Gregor has quit (*.net *.split).
01:19:21 -!- SoniEx2 has quit (*.net *.split).
01:19:21 -!- deltab has quit (*.net *.split).
01:19:36 -!- deltab has joined.
01:20:40 -!- Gregor has joined.
01:22:19 -!- SoniEx2 has joined.
01:26:43 -!- S_Gautam has quit (Quit: Connection closed for inactivity).
01:39:47 -!- nodist has joined.
01:40:38 -!- nodist has quit (Client Quit).
01:49:11 -!- rain1 has quit (*.net *.split).
01:49:13 -!- neanias has quit (*.net *.split).
01:49:13 -!- HackEso has quit (*.net *.split).
01:49:13 -!- dingbat has quit (*.net *.split).
01:49:14 -!- HackEso has joined.
01:49:35 -!- neanias has joined.
01:50:25 -!- dingbat has joined.
01:50:40 -!- rain1 has joined.
01:52:34 -!- boily has quit (Quit: LEMMING CHICKEN).
02:14:27 -!- XorSwap has quit (Ping timeout: 252 seconds).
02:30:06 -!- XorSwap has joined.
02:43:29 -!- esowiki has joined.
02:43:34 -!- ^[ has joined.
02:45:48 <xkapastel> http://christianp.github.io/regex-fractals/
02:47:17 -!- ^[ has quit (Changing host).
02:47:17 -!- ^[ has joined.
02:50:29 -!- izabera has quit (Changing host).
02:50:29 -!- izabera has joined.
03:22:08 -!- XorSwap has quit (Quit: the creeping crawling chaos will return.).
03:22:39 -!- XorSwap has joined.
03:52:16 -!- erkin has quit (Remote host closed the connection).
03:59:07 -!- imode has joined.
04:38:46 -!- imode has quit (Ping timeout: 250 seconds).
04:43:00 -!- FreeFull has joined.
06:10:37 -!- atslash has quit (Ping timeout: 268 seconds).
06:16:07 -!- atslash has joined.
06:27:30 -!- xkapastel has quit (Quit: Connection closed for inactivity).
06:57:02 <esowiki> [[INTERCAL]] https://esolangs.org/w/index.php?diff=57489&oldid=50612 * Qpliu * (+110) /* External resources */
07:19:11 -!- SopaXorzTaker has joined.
07:52:20 -!- AnotherTest has joined.
08:02:06 -!- AnotherTest has quit (Ping timeout: 260 seconds).
08:04:04 -!- XorSwap has quit (Ping timeout: 240 seconds).
08:27:39 -!- AnotherTest has joined.
08:58:23 <esowiki> [[Far]] https://esolangs.org/w/index.php?diff=57490&oldid=56999 * GibsonGeorge * (+178) Add print example
09:24:59 <shachaf> There's something fishy about my mental type checker.
09:25:15 <shachaf> I was having a lot of trouble understanding a type, and then I renamed a type variable from b to r, and then it all made perfect sense.
09:28:15 <Taneb> Which is the type?
09:28:41 <shachaf> newtype D f a = D (forall b. (a -> b) -> b -> f b) from Twitter
09:29:00 -!- rain1 has quit (Changing host).
09:29:00 -!- rain1 has joined.
09:29:39 <shachaf> I guess it's not the type checker but the understander, which is admittedly functionality GHC doesn't implement yet.
09:30:54 <shachaf> i,i x : R -> R; x(f) = f^2
09:31:27 <shachaf> Gotta come to terms with your brain being nothing but a big pile o' heuristics
10:00:21 <int-e> shachaf: heh I'm in the same boat, that type is much more familiar with an 'r'.
10:01:23 <int-e> So it becomes f (Maybe a) if f is a functor. Yay.
10:03:31 <int-e> Conventions are powerful.
10:04:02 <int-e> shachaf: Imagine it had been newtype D a b = D (forall c. (b -> c) -> c -> a c)
10:04:26 -!- S_Gautam has joined.
10:07:32 <int-e> newtype Duck quack swim = Duck (forall eat. (swim -> eat) -> eat -> quack eat) -- duck typing version
10:08:23 -!- S_Gautam has quit (Client Quit).
10:09:22 <shachaf> int-e: It's supposed to be a type derivative.
10:09:33 <shachaf> I think that works if the second argument is linear?
10:11:54 <int-e> Mmm. Linear as in "used exactly once"? Sure, then exactly one of the Maybe (in my mental model) is a hole.
10:12:34 <shachaf> Right. Which I'd wondered how to do before!
10:13:48 <shachaf> I mean, I've thought about representing D f a as (a -o F a), but then you run into parametricity issues or something.
10:23:03 -!- FreeFull has quit (Quit: Rebooting).
10:23:06 <esowiki> [[Functional()]] https://esolangs.org/w/index.php?diff=57491&oldid=57386 * Hakerh400 * (+55) Added version info
10:23:33 <esowiki> [[Functional()]] M https://esolangs.org/w/index.php?diff=57492&oldid=57491 * Hakerh400 * (+0)
10:27:40 -!- FreeFull has joined.
10:28:20 -!- arseniiv has joined.
10:29:26 -!- arseniiv_ has joined.
10:32:39 -!- arseniiv has quit (Ping timeout: 252 seconds).
10:34:40 -!- wob_jonas has joined.
10:35:33 <wob_jonas> shachaf: When writing my MsC-equivalent thesis in maths, I have spent a very large amount of time renaming variables so that the proof is more pleasant.
10:36:37 <wob_jonas> In that case, there were a lot of different variables, so I had to figure out how to rename them without any two clashing. I ended up without any two clashing in any one chapter, and without any two used in more than one chapter clashing.
10:37:05 <wob_jonas> But I think there are a few that clash between chapter 2 and chapter 3.
10:37:15 -!- arseniiv_ has left.
10:37:30 -!- arseniiv has joined.
11:42:34 -!- atslash has quit (Ping timeout: 240 seconds).
11:43:30 -!- atslash has joined.
11:47:14 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client).
11:50:21 -!- wob_jonas has joined.
11:51:39 -!- wob_jonas has quit (Client Quit).
12:56:41 -!- ep100 has joined.
12:57:12 -!- arseniiv has quit (Read error: Connection reset by peer).
12:57:37 -!- arseniiv has joined.
12:57:58 -!- arseniiv has quit (Read error: Connection reset by peer).
12:58:20 -!- arseniiv has joined.
13:09:45 -!- arseniiv_ has joined.
13:13:04 -!- arseniiv has quit (Ping timeout: 240 seconds).
13:21:25 -!- arseniiv has joined.
13:21:30 -!- arseniiv_ has quit (Read error: Connection reset by peer).
13:21:56 -!- arseniiv_ has joined.
13:24:22 -!- arseniiv__ has joined.
13:24:22 -!- arseniiv_ has quit (Read error: Connection reset by peer).
13:25:53 -!- arseniiv has quit (Ping timeout: 245 seconds).
13:25:53 -!- arseniiv__ has quit (Read error: Connection reset by peer).
13:28:50 -!- xkapastel has joined.
13:43:38 -!- sleepnap has joined.
13:51:01 -!- MDude has joined.
14:35:39 -!- SopaXT has joined.
14:36:09 -!- SopaXT has quit (Remote host closed the connection).
14:37:34 -!- ep100 has quit (Ping timeout: 240 seconds).
14:59:55 -!- AnotherTest has quit (Ping timeout: 246 seconds).
15:29:37 -!- S_Gautam has joined.
15:33:00 -!- bradcomp has joined.
15:38:21 -!- LKoen has joined.
15:53:17 <int-e> huh what's this, https://www.gog.com/game/7_billion_humans ... a successor to the human resource machine, hmm
15:58:37 <\oren\> There's something to be said for Fortran 66's rule for implicit typing based on the variable's name
16:00:22 <\oren\> the variables I J K L M N are implicitly integers, and all others are implicitly real
16:00:51 <\oren\> unless declared otherwise, that is
16:01:42 -!- AnotherTest has joined.
16:02:34 <\oren\> lol even modern fortran does this
16:26:15 -!- LKoen has quit (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”).
16:56:46 -!- arseniiv__ has joined.
16:57:29 -!- arseniiv__ has left.
16:57:40 -!- arseniiv has joined.
17:09:07 -!- Phantom_Hoover has joined.
17:22:03 <int-e> \oren\: hence: "God is real, unless declared integer."
17:32:33 -!- atslash has quit (Ping timeout: 245 seconds).
17:39:51 -!- Guest56097 has quit (Quit: WeeChat 2.1).
17:41:20 -!- GeekDude has joined.
18:18:21 -!- imode has joined.
18:21:13 -!- wob_jonas has joined.
18:28:07 <wob_jonas> \oren\: and then older BASIC took the idea, only every variable defaults to single float, and you can override it either based on the starting letter with DEFINT/DEFSNG/DEFDBL/DEFSTR statements (so many programs start with DEFINT A-Z) or use postifx sigils ("%" for int, "!" for single, "#" for double, "$" for string), but not declare the types of i
18:28:37 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client).
18:36:19 -!- atslash has joined.
19:11:01 -!- MDude has quit (Quit: Going offline, see ya! (www.adiirc.com)).
19:39:05 -!- Shragazord has joined.
19:41:07 -!- SopaXorzTaker has quit (Remote host closed the connection).
20:02:12 -!- Melvar has quit (Quit: thunderstorm).
20:02:59 -!- MaximusBloo has joined.
20:06:06 <arseniiv> what’s funny VB6 (and at least some versions of VBA IIRC) has these sigils still (and some more like & for Long)
20:07:39 <arseniiv> “still” is I mean they haven’t been dropped in VB5, VB4 etc.
20:14:51 -!- wob_jonas has joined.
20:15:20 <wob_jonas> arseniiv: yes, that's where I complained about VBA a few weeks ago
20:16:11 <wob_jonas> arseniiv: specifically I was trying to concatenate strings like "foo"&vbCrlf&"bar" but it turns out that doesn't work, you have to write "foo"&vbCrlf &"bar" or else the second & is parsed as a sigil rather than an operator
20:17:42 <wob_jonas> I didn't even know before that that it had sigils, but it does
20:18:02 <wob_jonas> you can actually write DIM x% and it will be implicitly an integer
20:18:16 <arseniiv> yeah. Although I had luck when I actually used VBA or VB6
20:19:34 <arseniiv> it was unlucky on a whole other level — I was using VB6 because I hadn’t got anything else :D
20:21:00 <arseniiv> “classes” there even have no inheritance(
20:21:51 <wob_jonas> arseniiv: did I mention that VBA has dictionaries, but no convenient way to sort anything?
20:22:04 <wob_jonas> if you have to sort in VBA, you're screwed
20:22:11 <arseniiv> and overall the language is too verbose, and IDEs these times had not much autocompletion of statements
20:22:24 <arseniiv> oh I haven’t needed to sort, so I didn’t know
20:23:34 <arseniiv> there were several revelations those times. One was that with right method names, involving underscores and something, you could add an indexer to the class
20:24:31 <arseniiv> though P/Invoke db didn’t exist then. Or it did but I had no internet anyway :D
20:27:31 <arseniiv> after VB, I was writing strange code in Delphi 7, some occasional C++ in a console IDE for some uni project and then there came enlightenment including Lua, C#, Python, Haskell and something. Now I know I was doing foolish things when I could be doing something more interesting way earlier(
20:34:01 -!- Melvar has joined.
20:39:30 -!- ep100 has joined.
20:42:06 -!- S_Gautam has changed nick to hey.
20:42:16 -!- hey has changed nick to S_Gautam.
20:44:38 -!- heroux has quit (Ping timeout: 268 seconds).
20:45:20 -!- heroux_ has quit (Ping timeout: 272 seconds).
20:53:13 -!- heroux has joined.
20:53:57 -!- heroux_ has joined.
20:54:34 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client).
21:06:45 -!- MaximusBloo has left.
21:43:16 -!- sleepnap has left.
21:53:35 -!- XorSwap has joined.
22:26:34 -!- sumpfschlock has joined.
22:27:26 -!- sumpfschlock has quit (Client Quit).
22:28:09 -!- sumpfschlock has joined.
22:32:35 -!- sftp has quit (Excess Flood).
22:32:57 -!- sftp has joined.
22:34:18 -!- AnotherTest has quit (Ping timeout: 250 seconds).
22:40:03 -!- ep100 has quit (Ping timeout: 245 seconds).
22:40:12 -!- Phantom_Hoover has quit (Read error: Connection reset by peer).
22:47:12 -!- sumpfschlock has quit (Quit: Using Circe, the loveliest of all IRC clients).
22:47:59 -!- Rieselhilfe has joined.
22:48:34 -!- Rieselhilfe has quit (Client Quit).
22:53:54 -!- nfd9001 has quit (Ping timeout: 264 seconds).
23:04:34 -!- heroux_ has quit (Ping timeout: 240 seconds).
23:04:34 -!- heroux has quit (Ping timeout: 240 seconds).
23:16:38 -!- heroux has joined.
23:17:05 -!- heroux_ has joined.
23:37:23 -!- erkin has joined.
23:37:47 <HackEso> olist 1138: shachaf oerjan Sgeo FireFly boily nortti b_jonas
23:39:10 -!- S_Gautam has quit (Quit: Connection closed for inactivity).
23:45:50 <HackEso> olist 5913: shachaf oerjan Sgeo FireFly boily nortti b_jonas
23:46:15 <Sgeo> rain1 is clearly a time traveller
23:58:07 <HackEso> olist ω+1?: shachaf oerjan Sgeo FireFly boily nortti b_jonas
23:59:35 <shachaf> Can y'all stop pinging people needlessly?