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 I just did poke 0,0 in a C64 emulator in BASIC. Shouldnt that ruin something? 00:44:45 That should swap out KERNAL and BASIC ROM I believe, why is BASIC still functioning? 00:45:19 Oh it should be poke 1,0 00:45:57 That kills it 00:46:12 poke 0,0 seems to protect against poke 1,0 00:49:12 -!- imode has quit (Ping timeout: 252 seconds). 00:49:23 Sgehello 00:49:30 No olist today? 00:51:11 Probably not. Can't say for certain. Day's not over yet 00:59:42 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 I'll say Ada although I dont really know either. Ada supposedly has nice properties regarding correctness 01:07:51 And readability 01:08:02 -!- clog has quit (Ping timeout: 265 seconds). 01:08:15 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 @tell oerjan bonsœøirjan. I haven't disturbed your ears in quite a while: https://youtu.be/X99D7lLDfwI 01:18:58 Consider it noted. 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 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 [[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 [[Far]] https://esolangs.org/w/index.php?diff=57490&oldid=56999 * GibsonGeorge * (+178) Add print example 09:24:59 There's something fishy about my mental type checker. 09:25:15 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 Which is the type? 09:28:41 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 I guess it's not the type checker but the understander, which is admittedly functionality GHC doesn't implement yet. 09:30:54 i,i x : R -> R; x(f) = f^2 09:31:27 Gotta come to terms with your brain being nothing but a big pile o' heuristics 10:00:21 shachaf: heh I'm in the same boat, that type is much more familiar with an 'r'. 10:01:23 So it becomes f (Maybe a) if f is a functor. Yay. 10:03:31 Conventions are powerful. 10:04:02 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 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 int-e: It's supposed to be a type derivative. 10:09:33 I think that works if the second argument is linear? 10:11:54 Mmm. Linear as in "used exactly once"? Sure, then exactly one of the Maybe (in my mental model) is a hole. 10:11:57 err Nothing. 10:12:34 Right. Which I'd wondered how to do before! 10:13:48 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:19:25 s/F/f/, I guess 10:23:03 -!- FreeFull has quit (Quit: Rebooting). 10:23:06 [[Functional()]] https://esolangs.org/w/index.php?diff=57491&oldid=57386 * Hakerh400 * (+55) Added version info 10:23:33 [[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 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 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 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 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 \oren\: hence: "God is real, unless declared integer." 17:30:05 haha 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 \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:07 ndividual variables yet 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 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 “still” is I mean they haven’t been dropped in VB5, VB4 etc. 20:14:51 -!- wob_jonas has joined. 20:15:20 arseniiv: yes, that's where I complained about VBA a few weeks ago 20:16:11 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 I didn't even know before that that it had sigils, but it does 20:18:02 you can actually write DIM x% and it will be implicitly an integer 20:18:16 yeah. Although I had luck when I actually used VBA or VB6 20:19:34 it was unlucky on a whole other level — I was using VB6 because I hadn’t got anything else :D 20:21:00 “classes” there even have no inheritance( 20:21:51 arseniiv: did I mention that VBA has dictionaries, but no convenient way to sort anything? 20:22:04 if you have to sort in VBA, you're screwed 20:22:11 and overall the language is too verbose, and IDEs these times had not much autocompletion of statements 20:22:24 oh I haven’t needed to sort, so I didn’t know 20:22:40 dictionaries yes 20:23:34 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:23:47 other was importing WinAPI 20:24:31 though P/Invoke db didn’t exist then. Or it did but I had no internet anyway :D 20:27:31 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:46 `olist 1138 23:37:47 olist 1138: shachaf oerjan Sgeo FireFly boily nortti b_jonas 23:39:10 -!- S_Gautam has quit (Quit: Connection closed for inactivity). 23:45:49 `olist 5913 23:45:50 olist 5913: shachaf oerjan Sgeo FireFly boily nortti b_jonas 23:46:01 incorrect 23:46:15 rain1 is clearly a time traveller 23:58:06 `olist ω+1? 23:58:07 olist ω+1?: shachaf oerjan Sgeo FireFly boily nortti b_jonas 23:58:11 ooops 23:59:12 wow! 23:59:35 Can y'all stop pinging people needlessly?