IRCBrowse

2023/11/27

2023-11-27 00:00:06 +0000 <Fijxu> Axman6: I will learn it in the future maybe
2023-11-27 00:00:44 +0000 <Fijxu> I don't want to lose focus on C and dropping it by another lang for nw
2023-11-27 00:00:46 +0000 <Fijxu> now*
2023-11-27 00:00:50 +0000 <monochrom> Yeah consider taking seriously "I am a beginner" to its logical conclusion. Therefore, as a beginner, one is extremely likely to be wrong about what is important, even for the intended project.
2023-11-27 00:00:52 +0000 <Axman6> I think there's a lot to be said for learning high level to low level. High level languages let you have thoughts you can't have in lower level ones
2023-11-27 00:01:13 +0000 <Fijxu> haskell is a high level one?
2023-11-27 00:01:29 +0000 <int-e> if you hold it right
2023-11-27 00:02:23 +0000 <int-e> . o O ( If you hold it wrong it can become an awful C dialect with a terrible compiler. )
2023-11-27 00:03:25 +0000 <int-e> (I'm thinking of bytestring internals, especially early on when they had fun bugs like sharing buffers between different bytestrings thanks to the power of inlinePerformIO.)
2023-11-27 00:07:26 +0000hays(rootvegeta@fsf/member/hays) (Ping timeout: 245 seconds)
2023-11-27 00:14:03 +0000Igloo(~ian@matrix.chaos.earth.li) (Remote host closed the connection)
2023-11-27 00:15:47 +0000Igloo(~ian@matrix.chaos.earth.li)
2023-11-27 00:16:07 +0000picnoir(~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (Ping timeout: 255 seconds)
2023-11-27 00:17:24 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:1574:a602:a028:b4e) (Remote host closed the connection)
2023-11-27 00:17:54 +0000Tuplanolla(~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.)
2023-11-27 00:21:20 +0000emmanuelux(~emmanuelu@user/emmanuelux) (Quit: au revoir)
2023-11-27 00:24:33 +0000picnoir(~picnoir@about/aquilenet/vodoo/NinjaTrappeur)
2023-11-27 00:30:12 +0000ski. o O ( "Teach Yourself Programming in ..." by Peter Norvig at <https://www.norvig.com/21-days.html> )
2023-11-27 00:30:50 +0000waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 260 seconds)
2023-11-27 00:36:56 +0000biberu\(~biberu@user/biberu)
2023-11-27 00:37:03 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:1574:a602:a028:b4e)
2023-11-27 00:37:58 +0000EvanR_(~EvanR@user/evanr)
2023-11-27 00:38:03 +0000pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5)
2023-11-27 00:38:10 +0000MironZ3(~MironZ@nat-infra.ehlab.uk)
2023-11-27 00:38:50 +0000Ram-Z_(Ram-Z@2a01:7e01::f03c:91ff:fe57:d2df)
2023-11-27 00:38:56 +0000hamess_(~hamess@user/hamess)
2023-11-27 00:38:56 +0000totbwf_(sid402332@id-402332.uxbridge.irccloud.com)
2023-11-27 00:38:57 +0000shawwwn_(sid6132@id-6132.helmsley.irccloud.com)
2023-11-27 00:38:57 +0000jackdk_(sid373013@cssa/jackdk)
2023-11-27 00:39:02 +0000dsal_(sid13060@id-13060.lymington.irccloud.com)
2023-11-27 00:39:05 +0000nrr_______(sid20938@id-20938.lymington.irccloud.com)
2023-11-27 00:39:08 +0000meinside_(uid24933@id-24933.helmsley.irccloud.com)
2023-11-27 00:39:10 +0000bjs_(sid190364@user/bjs)
2023-11-27 00:39:12 +0000chessai_(sid225296@id-225296.lymington.irccloud.com)
2023-11-27 00:39:15 +0000Fangs_(sid141280@id-141280.hampstead.irccloud.com)
2023-11-27 00:39:17 +0000astra_(sid289983@user/amish)
2023-11-27 00:39:32 +0000swistak-(~swistak@185.21.216.141)
2023-11-27 00:39:39 +0000g_(g@libera/staff/glguy)
2023-11-27 00:40:08 +0000nonzen_(~nonzen@user/nonzen)
2023-11-27 00:40:14 +0000andjjj23_(~irc@107.170.228.47)
2023-11-27 00:40:37 +0000g(g@libera/staff/glguy) (Killed (tungsten.libera.chat (Nickname regained by services)))
2023-11-27 00:40:37 +0000g_g
2023-11-27 00:40:39 +0000benjaminl(~benjaminl@user/benjaminl) (Ping timeout: 268 seconds)
2023-11-27 00:40:39 +0000lightandlight(sid135476@id-135476.helmsley.irccloud.com) (Ping timeout: 268 seconds)
2023-11-27 00:40:39 +0000swistak(~swistak@185.21.216.141) (Ping timeout: 268 seconds)
2023-11-27 00:40:39 +0000lexi-lambda(sid92601@id-92601.hampstead.irccloud.com) (Ping timeout: 268 seconds)
2023-11-27 00:40:40 +0000eso(a0662dfd5e@2604:bf00:561:2000::1266) (Ping timeout: 268 seconds)
2023-11-27 00:40:40 +0000carter(sid14827@id-14827.helmsley.irccloud.com) (Ping timeout: 268 seconds)
2023-11-27 00:40:40 +0000nonzen(~nonzen@user/nonzen) (Ping timeout: 268 seconds)
2023-11-27 00:40:40 +0000buhman(sid411355@user/buhman) (Ping timeout: 268 seconds)
2023-11-27 00:40:40 +0000hamess(~hamess@user/hamess) (Ping timeout: 268 seconds)
2023-11-27 00:40:40 +0000dsal(sid13060@id-13060.lymington.irccloud.com) (Ping timeout: 268 seconds)
2023-11-27 00:40:40 +0000Ram-Z(Ram-Z@2a01:7e01::f03c:91ff:fe57:d2df) (Ping timeout: 268 seconds)
2023-11-27 00:40:40 +0000andjjj23(~irc@107.170.228.47) (Ping timeout: 268 seconds)
2023-11-27 00:40:40 +0000mikko(~mikko@user/mikko) (Ping timeout: 268 seconds)
2023-11-27 00:40:40 +0000Fangs(sid141280@id-141280.hampstead.irccloud.com) (Ping timeout: 268 seconds)
2023-11-27 00:40:40 +0000incertia(~incertia@209.122.137.252) (Ping timeout: 268 seconds)
2023-11-27 00:40:40 +0000dexter2(dexter@2a01:7e00::f03c:91ff:fe86:59ec) (Ping timeout: 268 seconds)
2023-11-27 00:40:40 +0000cods(~fred@tuxee.net) (Ping timeout: 268 seconds)
2023-11-27 00:40:40 +0000chessai(sid225296@id-225296.lymington.irccloud.com) (Ping timeout: 268 seconds)
2023-11-27 00:40:41 +0000iqubic(~avi@2601:602:9502:c70:c94f:89a4:f1d7:2a2a) (Ping timeout: 268 seconds)
2023-11-27 00:40:41 +0000xff0x(~xff0x@2405:6580:b080:900:be86:cabb:8cd3:1ec3) (Ping timeout: 268 seconds)
2023-11-27 00:40:41 +0000Hafydd(~Hafydd@user/hafydd) (Ping timeout: 268 seconds)
2023-11-27 00:40:41 +0000EvanR(~EvanR@user/evanr) (Ping timeout: 268 seconds)
2023-11-27 00:40:41 +0000shawwwn(sid6132@id-6132.helmsley.irccloud.com) (Ping timeout: 268 seconds)
2023-11-27 00:40:41 +0000meinside(uid24933@helmsley.irccloud.com) (Ping timeout: 268 seconds)
2023-11-27 00:40:41 +0000bjs(sid190364@user/bjs) (Ping timeout: 268 seconds)
2023-11-27 00:40:41 +0000xxpor(~xxpor@user/xxpor) (Ping timeout: 268 seconds)
2023-11-27 00:40:41 +0000MironZ(~MironZ@nat-infra.ehlab.uk) (Ping timeout: 268 seconds)
2023-11-27 00:40:42 +0000cln_(cln@wtf.cx) (Ping timeout: 268 seconds)
2023-11-27 00:40:42 +0000mjacob(~mjacob@adrastea.uberspace.de) (Ping timeout: 268 seconds)
2023-11-27 00:40:42 +0000Typedfern(~Typedfern@220.red-83-37-25.dynamicip.rima-tde.net) (Ping timeout: 268 seconds)
2023-11-27 00:40:42 +0000nrr______(sid20938@id-20938.lymington.irccloud.com) (Ping timeout: 268 seconds)
2023-11-27 00:40:42 +0000totbwf(sid402332@id-402332.uxbridge.irccloud.com) (Ping timeout: 268 seconds)
2023-11-27 00:40:42 +0000feetwind(~mike@user/feetwind) (Ping timeout: 268 seconds)
2023-11-27 00:40:42 +0000astra(sid289983@id-289983.hampstead.irccloud.com) (Ping timeout: 268 seconds)
2023-11-27 00:40:42 +0000TMA(tma@twin.jikos.cz) (Ping timeout: 268 seconds)
2023-11-27 00:40:42 +0000jackdk(sid373013@cssa/jackdk) (Ping timeout: 268 seconds)
2023-11-27 00:40:42 +0000biberu(~biberu@user/biberu) (Ping timeout: 268 seconds)
2023-11-27 00:40:43 +0000chessai_chessai
2023-11-27 00:40:43 +0000MironZ3MironZ
2023-11-27 00:40:43 +0000Fangs_Fangs
2023-11-27 00:40:43 +0000dsal_dsal
2023-11-27 00:40:43 +0000totbwf_totbwf
2023-11-27 00:40:43 +0000jackdk_jackdk
2023-11-27 00:40:44 +0000astra_astra
2023-11-27 00:40:48 +0000shawwwn_shawwwn
2023-11-27 00:40:49 +0000bjs_bjs
2023-11-27 00:40:49 +0000meinside_meinside
2023-11-27 00:40:49 +0000incertia_(~incertia@209.122.137.252)
2023-11-27 00:40:50 +0000cln_(cln@wtf.cx)
2023-11-27 00:40:50 +0000biberu\biberu
2023-11-27 00:40:51 +0000xff0x(~xff0x@2405:6580:b080:900:9596:3640:8854:825)
2023-11-27 00:40:53 +0000feetwind(~mike@user/feetwind)
2023-11-27 00:41:12 +0000xxpor(~xxpor@user/xxpor)
2023-11-27 00:41:13 +0000incertia_incertia
2023-11-27 00:41:39 +0000dexter2(dexter@2a01:7e00::f03c:91ff:fe86:59ec)
2023-11-27 00:41:39 +0000cods(~fred@tuxee.net)
2023-11-27 00:42:04 +0000mjacob(~mjacob@adrastea.uberspace.de)
2023-11-27 00:42:12 +0000TMA(tma@twin.jikos.cz)
2023-11-27 00:42:22 +0000todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Remote host closed the connection)
2023-11-27 00:46:15 +0000YoungFrog(~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) (Read error: Connection reset by peer)
2023-11-27 00:46:35 +0000YoungFrog(~youngfrog@2a02:a03f:ca07:f900:49c4:337a:ff0f:d4e1)
2023-11-27 00:48:49 +0000pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 256 seconds)
2023-11-27 00:49:34 +0000pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it)
2023-11-27 00:51:34 +0000alexherbo2(~alexherbo@2a02-8440-3240-abf5-0c6d-5c34-f921-3e65.rev.sfr.net) (Ping timeout: 250 seconds)
2023-11-27 00:52:14 +0000notzmv(~zmv@user/notzmv)
2023-11-27 00:52:25 +0000eso(a0662dfd5e@2604:bf00:561:2000::1266)
2023-11-27 00:52:47 +0000lightandlight(sid135476@id-135476.helmsley.irccloud.com)
2023-11-27 00:52:48 +0000lexi-lambda(sid92601@id-92601.hampstead.irccloud.com)
2023-11-27 00:53:18 +0000benjaminl(~benjaminl@user/benjaminl)
2023-11-27 00:53:29 +0000buhman(sid411355@user/buhman)
2023-11-27 00:53:46 +0000Hafydd(~Hafydd@user/hafydd)
2023-11-27 00:53:47 +0000Typedfern(~Typedfern@220.red-83-37-25.dynamicip.rima-tde.net)
2023-11-27 00:53:52 +0000mikko(~mikko@dsl-trebng22-58c1a8-185.dhcp.inet.fi)
2023-11-27 00:53:52 +0000mikko(~mikko@dsl-trebng22-58c1a8-185.dhcp.inet.fi) (Changing host)
2023-11-27 00:53:52 +0000mikko(~mikko@user/mikko)
2023-11-27 00:54:06 +0000carter(sid14827@id-14827.helmsley.irccloud.com)
2023-11-27 00:54:11 +0000benjaminl(~benjaminl@user/benjaminl) (Remote host closed the connection)
2023-11-27 00:54:32 +0000benjaminl(~benjaminl@user/benjaminl)
2023-11-27 00:59:47 +0000peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com)
2023-11-27 01:02:23 +0000pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 264 seconds)
2023-11-27 01:03:05 +0000pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it)
2023-11-27 01:08:35 +0000benjaminl(~benjaminl@user/benjaminl) (Remote host closed the connection)
2023-11-27 01:09:37 +0000benjaminl(~benjaminl@user/benjaminl)
2023-11-27 01:15:35 +0000pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 264 seconds)
2023-11-27 01:19:55 +0000jack_rabbit(~knusbaum@2601:240:8401:630::9f3a)
2023-11-27 01:21:49 +0000todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-27 01:21:56 +0000 <jack_rabbit> Is there a convention for mapping over a list, where each element produces multiple values in the final list? I could just make a [[t]] and then flatten it, but not sure if there's a more canonical way.
2023-11-27 01:22:49 +0000 <geekosaur> that's it, aka the list monad
2023-11-27 01:23:03 +0000 <geekosaur> :t concatMap
2023-11-27 01:23:04 +0000 <lambdabot> Foldable t => (a -> [b]) -> t a -> [b]
2023-11-27 01:24:02 +0000 <int-e> > do x <- [1,2,3]; replicate x x
2023-11-27 01:24:03 +0000 <lambdabot> [1,2,2,3,3,3]
2023-11-27 01:24:15 +0000 <jack_rabbit> Ahh nice, thanks.
2023-11-27 01:24:39 +0000 <Axman6> > [1,2,3] >>= \x -> replicate x x
2023-11-27 01:24:42 +0000 <lambdabot> [1,2,2,3,3,3]
2023-11-27 01:25:00 +0000 <ski> > [y | x <- [0,1,2,3],y <- replicate x x]
2023-11-27 01:25:01 +0000 <lambdabot> [1,2,2,3,3,3]
2023-11-27 01:25:48 +0000 <int-e> > concatMap (join replicate) [0..3] -- scnr to bring in another monad
2023-11-27 01:25:49 +0000 <lambdabot> [1,2,2,3,3,3]
2023-11-27 01:26:26 +0000int-eblames @pl
2023-11-27 01:26:52 +0000pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it)
2023-11-27 01:28:28 +0000 <monochrom> "This is getting out of hand. Now there are two monads!"
2023-11-27 01:28:50 +0000 <Axman6> What is this, binad///
2023-11-27 01:28:54 +0000 <Axman6> ???*
2023-11-27 01:29:05 +0000 <Axman6> or would it be biad
2023-11-27 01:33:04 +0000Xyloes(~wyx@2400:dd01:103a:1012:5923:33ce:7857:fc04)
2023-11-27 01:33:15 +0000pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 260 seconds)
2023-11-27 01:34:53 +0000mmhat(~mmh@p200300f1c7217ae0ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 4.1.1)
2023-11-27 01:38:45 +0000pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it)
2023-11-27 01:40:45 +0000fweht(uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2023-11-27 01:41:25 +0000stiell(~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection)
2023-11-27 01:42:20 +0000stiell(~stiell@gateway/tor-sasl/stiell)
2023-11-27 01:44:13 +0000pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 256 seconds)
2023-11-27 01:56:05 +0000pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it)
2023-11-27 01:58:31 +0000xff0x(~xff0x@2405:6580:b080:900:9596:3640:8854:825) (Ping timeout: 256 seconds)
2023-11-27 02:01:34 +0000finn_elija(~finn_elij@user/finn-elija/x-0085643)
2023-11-27 02:01:34 +0000FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2023-11-27 02:01:34 +0000finn_elijaFinnElija
2023-11-27 02:02:58 +0000nate4(~nate@c-98-45-158-125.hsd1.ca.comcast.net)
2023-11-27 02:03:47 +0000pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 268 seconds)
2023-11-27 02:07:39 +0000Sgeo(~Sgeo@user/sgeo)
2023-11-27 02:08:05 +0000nate4(~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 240 seconds)
2023-11-27 02:12:46 +0000kayvan(~user@52-119-115-185.PUBLIC.monkeybrains.net)
2023-11-27 02:13:03 +0000xff0x(~xff0x@2405:6580:b080:900:9596:3640:8854:825)
2023-11-27 02:16:01 +0000pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it)
2023-11-27 02:20:32 +0000machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-11-27 02:21:49 +0000wladek(~wladek@4.62.67.34.bc.googleusercontent.com) ()
2023-11-27 02:22:17 +0000pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 268 seconds)
2023-11-27 02:27:52 +0000sadmax(~user@64.130.91.66)
2023-11-27 02:30:04 +0000pavonia(~user@user/siracusa)
2023-11-27 02:35:20 +0000sadmax(~user@64.130.91.66) (Ping timeout: 245 seconds)
2023-11-27 02:35:51 +0000machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 268 seconds)
2023-11-27 02:46:36 +0000pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it)
2023-11-27 02:50:07 +0000fyfor(~fyfor@2600:1700:ef60:e710:6b5d:5ca:2040:2f69)
2023-11-27 02:50:10 +0000iqubic(~avi@2601:602:9502:c70:c94f:89a4:f1d7:2a2a)
2023-11-27 02:51:53 +0000pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 268 seconds)
2023-11-27 03:03:30 +0000pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it)
2023-11-27 03:07:49 +0000td_(~td@i5387093C.versanet.de) (Ping timeout: 246 seconds)
2023-11-27 03:09:13 +0000pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 256 seconds)
2023-11-27 03:09:50 +0000ddellacosta(~ddellacos@ool-44c73d16.dyn.optonline.net) (Ping timeout: 256 seconds)
2023-11-27 03:09:50 +0000td_(~td@i53870917.versanet.de)
2023-11-27 03:10:11 +0000peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds)
2023-11-27 03:11:49 +0000ddellacosta(~ddellacos@ool-44c73d16.dyn.optonline.net)
2023-11-27 03:14:23 +0000pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it)
2023-11-27 03:22:02 +0000fyfor(~fyfor@2600:1700:ef60:e710:6b5d:5ca:2040:2f69) (Quit: Client closed)
2023-11-27 03:23:52 +0000pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 255 seconds)
2023-11-27 03:35:40 +0000phma_phma
2023-11-27 03:36:13 +0000pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it)
2023-11-27 03:42:38 +0000lottaquestions(~nick@2607:fa49:503d:b200:ced0:26d6:58ac:b557) (Ping timeout: 260 seconds)
2023-11-27 03:45:32 +0000pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 256 seconds)
2023-11-27 03:46:46 +0000pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it)
2023-11-27 03:46:57 +0000nate4(~nate@c-98-45-158-125.hsd1.ca.comcast.net)
2023-11-27 03:47:13 +0000jmpxor(~jmpxor@d149-67-225-73.try.wideopenwest.com)
2023-11-27 03:52:40 +0000pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 255 seconds)
2023-11-27 03:55:59 +0000finn_elija(~finn_elij@user/finn-elija/x-0085643)
2023-11-27 03:55:59 +0000FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2023-11-27 03:55:59 +0000finn_elijaFinnElija
2023-11-27 04:08:32 +0000sophie_sym(~sophie_sy@104.220.248.22)
2023-11-27 04:11:33 +0000sophie_sym(~sophie_sy@104.220.248.22) (Client Quit)
2023-11-27 04:23:27 +0000JeremyB99(~JeremyB99@2607:fb91:17ce:3699:117f:a0a1:ad81:5c35)
2023-11-27 04:26:06 +0000 <JeremyB99> I've got a question about the getLine function and functions that are unsafe if provided nothing.
2023-11-27 04:26:41 +0000jmpxor(~jmpxor@d149-67-225-73.try.wideopenwest.com) (Remote host closed the connection)
2023-11-27 04:27:43 +0000chexum(~quassel@gateway/tor-sasl/chexum) (Ping timeout: 240 seconds)
2023-11-27 04:28:36 +0000chexum(~quassel@gateway/tor-sasl/chexum)
2023-11-27 04:30:12 +0000 <Axman6> JeremyB99: Don't ask to ask, just ask :)
2023-11-27 04:32:55 +0000JeremyB99(~JeremyB99@2607:fb91:17ce:3699:117f:a0a1:ad81:5c35) (Ping timeout: 260 seconds)
2023-11-27 04:36:25 +0000JeremyB99(~JeremyB99@208.64.173.5)
2023-11-27 04:36:47 +0000JeremyB41(~JeremyB99@208.64.173.5)
2023-11-27 04:40:47 +0000 <JeremyB41> I have a function called check that takes a String -> String that crashes if it is given no input, but when I use it with the function with getLine, even when I don't input anything, my function seems to be completely safe. Does getLine convert blank inputs into something else?
2023-11-27 04:43:07 +0000 <JeremyB41> and should I convert my check function to something safer anyway like Maybe String -> Maybe String
2023-11-27 04:49:22 +0000nate4(~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 255 seconds)
2023-11-27 04:50:45 +0000AlienCipher(~AlienCiph@113.164.176.43) (Quit: Ping timeout (120 seconds))
2023-11-27 04:54:58 +0000aforemny(~aforemny@2001:9e8:6cc7:1300:96d5:106c:58e4:1727)
2023-11-27 04:55:11 +0000JeremyB99(~JeremyB99@208.64.173.5) (Ping timeout: 256 seconds)
2023-11-27 04:55:32 +0000JeremyB41(~JeremyB99@208.64.173.5) (Ping timeout: 250 seconds)
2023-11-27 04:56:55 +0000aforemny_(~aforemny@i59F516DA.versanet.de) (Ping timeout: 276 seconds)
2023-11-27 04:56:59 +0000kayvan(~user@52-119-115-185.PUBLIC.monkeybrains.net) (Ping timeout: 264 seconds)
2023-11-27 04:59:40 +0000EvanR_EvanR
2023-11-27 05:00:23 +0000 <EvanR> you saw two nested problems and said I know, I'll use a monad! Now you have one problem
2023-11-27 05:00:49 +0000johnw(~johnw@69.62.242.138) (Quit: ZNC - http://znc.in)
2023-11-27 05:05:53 +0000[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer)
2023-11-27 05:07:48 +0000seeg123456(~seeg12345@64.176.64.83) (Quit: Gateway shutdown)
2023-11-27 05:18:59 +0000JeremyB99(~JeremyB99@208.64.173.44)
2023-11-27 05:23:26 +0000 <jackdk> JeremyB99: welcome back. I think the reason your `check`-using code doesn't crash is because lazy evaluation means nothing is trying to consume the result and your function never gets run. I would definitely rewrite `check` to have type `String :: Maybe String`. See also: https://lexi-lambda.github.io/blog/2019/11/05/parse-don-t-validate/
2023-11-27 05:23:49 +0000 <jackdk> If you want to post your code into a pastebin, we can confirm this theory. @where paste
2023-11-27 05:23:53 +0000 <jackdk> @where paste
2023-11-27 05:23:53 +0000 <lambdabot> Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com
2023-11-27 05:24:26 +0000JeremyB71(~JeremyB99@208.64.173.44)
2023-11-27 05:29:02 +0000 <JeremyB71> https://paste.tomsmeding.com/ungryHdy
2023-11-27 05:30:35 +0000 <jackdk> JeremyB71: `check ""` will return `"Invalid Move"` because of the `otherwise` clause; you can test this in GHCi
2023-11-27 05:34:10 +0000 <iqubic> What are we doing here?
2023-11-27 05:35:05 +0000 <jackdk> learning to write Haskell via a rock-paper-scissors implementation, looks like
2023-11-27 05:35:17 +0000 <jackdk> Also, you might want to add `data Move = Rock | Paper | Scissors deriving (Eq, Show)` and then work with that more specific type
2023-11-27 05:35:24 +0000JeremyB71(~JeremyB99@208.64.173.44) (Ping timeout: 250 seconds)
2023-11-27 05:35:28 +0000JeremyB99(~JeremyB99@208.64.173.44) (Ping timeout: 256 seconds)
2023-11-27 05:44:56 +0000todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Remote host closed the connection)
2023-11-27 05:48:43 +0000qqq(~qqq@92.43.167.61)
2023-11-27 05:49:25 +0000myxos(~myxos@065-028-251-121.inf.spectrum.com) (Remote host closed the connection)
2023-11-27 05:53:20 +0000JeremyB99(~JeremyB99@208.64.173.19)
2023-11-27 05:55:16 +0000 <JeremyB99> Did my last four messages get through? My internet can be pretty horrible sometimes
2023-11-27 05:56:07 +0000zetef(~quassel@2a02:2f00:5201:4b00:19c:1be6:f517:649f)
2023-11-27 05:56:44 +0000newsham(~newsham@2603-800c-2c01-6825-6099-561e-33fd-e2ba.res6.spectrum.com) (Quit: Client closed)
2023-11-27 05:57:55 +0000 <jackdk> JeremyB99: https://www.irccloud.com/pastebin/80SKgwOy/WhatISaw.txt
2023-11-27 05:58:36 +0000todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-27 05:59:07 +0000 <JeremyB99> Ah, sorry
2023-11-27 05:59:37 +0000 <JeremyB99> JeremyB99: What I'm still confused about is why doing something like check 17 errors in ghci, but doing
2023-11-27 05:59:37 +0000 <JeremyB99> [00:42] JeremyB99: main. What is you move player one? 17. Doesn't crash the function, but instead provides the otherwise guard in ghci
2023-11-27 05:59:37 +0000 <JeremyB99> [00:42] JeremyB99: Shouldn't those two be equivalent?
2023-11-27 06:02:33 +0000 <monochrom> check 17? check "17"?
2023-11-27 06:03:00 +0000 <probie> monochrom: They mean line 17
2023-11-27 06:03:11 +0000 <JeremyB99> Nah, just the number itself 17 :: integer
2023-11-27 06:03:33 +0000_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl)
2023-11-27 06:03:34 +0000 <probie> s/integer/Integer/
2023-11-27 06:05:38 +0000zetef(~quassel@2a02:2f00:5201:4b00:19c:1be6:f517:649f) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2023-11-27 06:06:32 +0000zetef(~quassel@2a02:2f00:5201:4b00:19c:1be6:f517:649f)
2023-11-27 06:07:19 +0000 <JeremyB99> Doing check (17::Int) gives an error, but providing 17 or even just hitting enter and providing nothing at all in response to the "what is your first move?" question doesn't crash
2023-11-27 06:08:47 +0000 <jackdk> Yeah because providing no input will give you the string `""` as a result, entering `17` will give you the string `"17"` as a result, but writing `17` in GHCi means you have to abide by Haskell's syntax, where sequences of numerals are interpreted as numbers.
2023-11-27 06:09:52 +0000euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2023-11-27 06:10:07 +0000euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2023-11-27 06:10:41 +0000Axma32854(~Axman6@user/axman6)
2023-11-27 06:11:03 +0000 <JeremyB99> Oh, so the reason that the function check is safe is because getLine always provides a string for the guards to reject
2023-11-27 06:12:03 +0000 <jackdk> yes, exactly.
2023-11-27 06:12:42 +0000 <jackdk> I don't know if you saw the previous message, but I recommend introducing a separate data type for your moves, so that check can parse into something more precise than string
2023-11-27 06:13:14 +0000Axman6(~Axman6@user/axman6) (Ping timeout: 260 seconds)
2023-11-27 06:14:55 +0000 <JeremyB99> Thanks. Are there any other parts of my code that should be changed?
2023-11-27 06:16:41 +0000rosco(~rosco@175.136.157.149)
2023-11-27 06:16:52 +0000 <JeremyB99> I tried to make my code as clean as possible, but since my first language is Python, a lot of this stuff like recursion and monads are new to me.
2023-11-27 06:17:08 +0000 <jackdk> You can use empty strings `""` instead of strings containing a single space `" "`, and I'd probably also introduce a data type for players and winners: `data Player = Player1 | Player 2`; `data Winner = WinningPlayer Player | Draw`; then you can change the type of `moveEvaluate :: Move -> Move -> Winner` to get something more precise. Turning it back into a string for printing would then be the responsibility of another function
2023-11-27 06:17:51 +0000zetef(~quassel@2a02:2f00:5201:4b00:19c:1be6:f517:649f) (Ping timeout: 268 seconds)
2023-11-27 06:18:19 +0000pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it)
2023-11-27 06:19:45 +0000 <JeremyB99> And should I use Maybe for handling IO inputs, or should I just leave it?
2023-11-27 06:20:09 +0000 <jackdk> Sorry, can you unpack that question a bit more? I'm not sure what you're asking
2023-11-27 06:21:49 +0000 <JeremyB99> Like turning the check function into Maybe String -> Maybe Move or something like that
2023-11-27 06:22:28 +0000chomwitt(~chomwitt@2a02:587:7a24:bc00:1ac0:4dff:fedb:a3f1)
2023-11-27 06:22:33 +0000 <JeremyB99> Or keeping it string -> move since it seems safe
2023-11-27 06:23:38 +0000 <jackdk> You won't be able to restrict the return type to `Move` because what will you do with nonsense or empty input? But turning it into `check :: String -> Maybe Move` seems pretty good to me.
2023-11-27 06:25:15 +0000pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 268 seconds)
2023-11-27 06:25:20 +0000acidjnk(~acidjnk@p200300d6e72b935790ce6c45c9ff7d13.dip0.t-ipconnect.de)
2023-11-27 06:28:20 +0000euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds)
2023-11-27 06:29:11 +0000euleritian(~euleritia@dynamic-046-114-205-112.46.114.pool.telefonica.de)
2023-11-27 06:29:42 +0000monochrom(trebla@216.138.220.146) (Quit: ZNC 1.8.2+deb3build2 - https://znc.in)
2023-11-27 06:29:59 +0000raym(~ray@user/raym) (Ping timeout: 264 seconds)
2023-11-27 06:31:25 +0000JeremyB99(~JeremyB99@208.64.173.19) (Ping timeout: 268 seconds)
2023-11-27 06:32:38 +0000jinsun_(~jinsun@user/jinsun)
2023-11-27 06:32:38 +0000jinsunGuest9210
2023-11-27 06:32:39 +0000Guest9210(~jinsun@user/jinsun) (Killed (silver.libera.chat (Nickname regained by services)))
2023-11-27 06:32:39 +0000jinsun_jinsun
2023-11-27 06:36:35 +0000pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it)
2023-11-27 06:42:50 +0000pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 268 seconds)
2023-11-27 06:51:15 +0000pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it)
2023-11-27 06:51:49 +0000misterfish(~misterfis@84-53-85-146.bbserv.nl)
2023-11-27 06:52:31 +0000azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds)
2023-11-27 06:52:37 +0000analoq(~yashi@user/dies) (Ping timeout: 256 seconds)
2023-11-27 06:53:19 +0000johnw(~johnw@69.62.242.138)
2023-11-27 06:53:45 +0000haskellbridge(~haskellbr@069-135-003-034.biz.spectrum.com) (Ping timeout: 256 seconds)
2023-11-27 06:54:24 +0000analoq(~yashi@user/dies)
2023-11-27 06:56:17 +0000JeremyB99(~JeremyB99@2607:fb91:17ce:3699:7df2:227d:9fab:9d9c)
2023-11-27 06:56:31 +0000stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 240 seconds)
2023-11-27 06:56:31 +0000ChaiTRex(~ChaiTRex@user/chaitrex) (Ping timeout: 240 seconds)
2023-11-27 06:57:56 +0000pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 268 seconds)
2023-11-27 06:59:00 +0000ChaiTRex(~ChaiTRex@user/chaitrex)
2023-11-27 07:03:30 +0000Fijxu(~Fijxu@user/fijxu) (Quit: XD!!)
2023-11-27 07:06:32 +0000cbarrett(sid192934@helmsley.irccloud.com) (Read error: Connection reset by peer)
2023-11-27 07:06:39 +0000SrPx(sid108780@uxbridge.irccloud.com) (Ping timeout: 256 seconds)
2023-11-27 07:06:40 +0000cbarrett(sid192934@id-192934.helmsley.irccloud.com)
2023-11-27 07:06:56 +0000thelounge7933(~thelounge@2a05:f480:1400:24b2:5400:4ff:fe76:a8f3)
2023-11-27 07:07:09 +0000dy(sid3438@user/dy) (Read error: Connection reset by peer)
2023-11-27 07:07:17 +0000dy(sid3438@user/dy)
2023-11-27 07:07:20 +0000acro_(~acro@user/acro)
2023-11-27 07:07:20 +0000mrvdb-(~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5)
2023-11-27 07:07:23 +0000FestiveDragon(A_D@libera/staff/dragon) (Quit: ZNC - https://znc.in)
2023-11-27 07:07:30 +0000vjoki(~vjoki@2a00:d880:3:1::fea1:9ae) (Ping timeout: 260 seconds)
2023-11-27 07:07:30 +0000Benzi-Junior(~BenziJuni@88-149-64-112.du.xdsl.is) (Ping timeout: 260 seconds)
2023-11-27 07:07:34 +0000mrvdb(~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) (Ping timeout: 276 seconds)
2023-11-27 07:07:37 +0000madnight_(~madnight@static.59.103.201.195.clients.your-server.de)
2023-11-27 07:07:39 +0000A_Dragon(A_D@libera/staff/dragon)
2023-11-27 07:07:40 +0000ames(~amelia@offtopia/offtopian/amelia) (Quit: Ping timeout (120 seconds))
2023-11-27 07:07:42 +0000masterbuilder(~quassel@user/masterbuilder) (Remote host closed the connection)
2023-11-27 07:07:43 +0000ec(~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds)
2023-11-27 07:07:51 +0000lambdabot(~lambdabot@haskell/bot/lambdabot) (Ping timeout: 260 seconds)
2023-11-27 07:07:51 +0000orcus(~orcus@mail.brprice.uk) (Ping timeout: 260 seconds)
2023-11-27 07:07:54 +0000ames(~amelia@offtopia/offtopian/amelia)
2023-11-27 07:07:55 +0000SrPx(sid108780@id-108780.uxbridge.irccloud.com)
2023-11-27 07:08:01 +0000adanwan(~adanwan@gateway/tor-sasl/adanwan) (Read error: Connection reset by peer)
2023-11-27 07:08:01 +0000vjoki(~vjoki@2a00:d880:3:1::fea1:9ae)
2023-11-27 07:08:05 +0000dispater-(~dispater@mail.brprice.uk)
2023-11-27 07:08:07 +0000ChaiTRex(~ChaiTRex@user/chaitrex) (Ping timeout: 240 seconds)
2023-11-27 07:08:07 +0000chexum(~quassel@gateway/tor-sasl/chexum) (Ping timeout: 240 seconds)
2023-11-27 07:08:07 +0000FinnElija(~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 240 seconds)
2023-11-27 07:08:34 +0000ChaiTRex(~ChaiTRex@user/chaitrex)
2023-11-27 07:08:35 +0000orcus(~orcus@mail.brprice.uk)
2023-11-27 07:08:38 +0000madnight(~madnight@static.59.103.201.195.clients.your-server.de) (Read error: Connection reset by peer)
2023-11-27 07:08:43 +0000FinnElija(~finn_elij@user/finn-elija/x-0085643)
2023-11-27 07:08:47 +0000thelounge793(~thelounge@2a05:f480:1400:24b2:5400:4ff:fe76:a8f3) (Ping timeout: 260 seconds)
2023-11-27 07:08:47 +0000thelounge7933thelounge793
2023-11-27 07:08:48 +0000ec(~ec@gateway/tor-sasl/ec)
2023-11-27 07:08:49 +0000chexum(~quassel@gateway/tor-sasl/chexum)
2023-11-27 07:08:51 +0000acro(~acro@user/acro) (Read error: Connection reset by peer)
2023-11-27 07:08:51 +0000acro_acro
2023-11-27 07:08:52 +0000tdammers(~tdammers@219-131-178-143.ftth.glasoperator.nl) (Ping timeout: 276 seconds)
2023-11-27 07:08:54 +0000dispater(~dispater@mail.brprice.uk) (Ping timeout: 260 seconds)
2023-11-27 07:08:55 +0000masterbuilder(~quassel@user/masterbuilder)
2023-11-27 07:08:59 +0000Ranhir(~Ranhir@157.97.53.139) (Ping timeout: 252 seconds)
2023-11-27 07:09:27 +0000lambdabot(~lambdabot@silicon.int-e.eu)
2023-11-27 07:09:27 +0000lambdabot(~lambdabot@silicon.int-e.eu) (Changing host)
2023-11-27 07:09:27 +0000lambdabot(~lambdabot@haskell/bot/lambdabot)
2023-11-27 07:09:27 +0000ChanServ+v lambdabot
2023-11-27 07:09:28 +0000stiell(~stiell@gateway/tor-sasl/stiell)
2023-11-27 07:09:36 +0000adanwan(~adanwan@gateway/tor-sasl/adanwan)
2023-11-27 07:09:38 +0000pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it)
2023-11-27 07:09:45 +0000Benzi-Junior(~BenziJuni@dsl-149-64-112.hive.is)
2023-11-27 07:10:48 +0000Ranhir(~Ranhir@157.97.53.139)
2023-11-27 07:10:49 +0000Fijxu(~Fijxu@us.zzls.xyz)
2023-11-27 07:14:46 +0000alp_(~alp@2001:861:e3d6:8f80:ec88:aa8f:d35:98fc)
2023-11-27 07:15:17 +0000shriekingnoise(~shrieking@186.137.175.87) (Ping timeout: 256 seconds)
2023-11-27 07:16:53 +0000rosco(~rosco@175.136.157.149) (Quit: Lost terminal)
2023-11-27 07:19:31 +0000pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 268 seconds)
2023-11-27 07:21:50 +0000tdammers(~tdammers@219-131-178-143.ftth.glasoperator.nl)
2023-11-27 07:22:53 +0000Fijxu(~Fijxu@us.zzls.xyz) (Quit: XD!!)
2023-11-27 07:23:51 +0000monochrom(trebla@216.138.220.146)
2023-11-27 07:24:39 +0000Fijxu(~Fijxu@us.zzls.xyz)
2023-11-27 07:26:35 +0000Fijxu(~Fijxu@us.zzls.xyz) (Client Quit)
2023-11-27 07:26:49 +0000pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it)
2023-11-27 07:28:28 +0000Fijxu(~Fijxu@user/fijxu)
2023-11-27 07:28:47 +0000Square2(~Square4@user/square)
2023-11-27 07:30:11 +0000coot(~coot@89-69-206-216.dynamic.chello.pl)
2023-11-27 07:31:43 +0000Square(~Square@user/square) (Ping timeout: 255 seconds)
2023-11-27 07:33:30 +0000Noob_Programmer(~Noob_Prog@14.139.187.71)
2023-11-27 07:33:39 +0000 <Noob_Programmer> hi
2023-11-27 07:35:16 +0000 <Fijxu> test
2023-11-27 07:35:22 +0000 <Fijxu> and hai
2023-11-27 07:35:24 +0000 <Fijxu> :)
2023-11-27 07:37:12 +0000 <ski> allo
2023-11-27 07:37:28 +0000pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 276 seconds)
2023-11-27 07:42:23 +0000 <Noob_Programmer> i am starting haskell , i have coded a little in C language and all the mysticness around haskell has drawn me in , all i know right now that the thought process itself is ver different for function programming so am quite excited
2023-11-27 07:42:33 +0000pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it)
2023-11-27 07:43:12 +0000 <ski> it sure it, yes
2023-11-27 07:43:22 +0000 <ski> be welcomed :)
2023-11-27 07:44:02 +0000 <ski> if you've any question(s), feel free to state them here. sometimes it may take a little while for people to notice, so be patient
2023-11-27 07:44:32 +0000 <ski> do you have access to any learning resources ?
2023-11-27 07:48:25 +0000idgaen(~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-11-27 07:49:07 +0000pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 268 seconds)
2023-11-27 07:49:56 +0000 <Noob_Programmer> i am learnign from leanyouhaskell.com
2023-11-27 07:50:16 +0000 <ski> do consider perhaps using
2023-11-27 07:50:21 +0000 <ski> @where CIS194
2023-11-27 07:50:21 +0000 <lambdabot> <https://github.com/byorgey/haskell-course>,<https://www.seas.upenn.edu/~cis194/spring13/lectures.html>
2023-11-27 07:50:26 +0000 <Noob_Programmer> thanks
2023-11-27 07:50:35 +0000 <ski> as well (the 2013 spring instance, latter link)
2023-11-27 07:50:42 +0000 <ski> since LYAH doesn't have any exercises
2023-11-27 07:51:09 +0000pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it)
2023-11-27 07:51:41 +0000 <Noob_Programmer> oh , thanks for the exercises as well
2023-11-27 07:51:51 +0000 <Noob_Programmer> they look very intersting
2023-11-27 07:54:34 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-11-27 07:55:59 +0000gmg(~user@user/gehmehgeh)
2023-11-27 07:56:16 +0000lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2023-11-27 07:56:36 +0000lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Client Quit)
2023-11-27 07:56:58 +0000pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 276 seconds)
2023-11-27 08:01:21 +0000pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it)
2023-11-27 08:01:24 +0000lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2023-11-27 08:02:20 +0000not_reserved(~not_reser@45.144.113.233)
2023-11-27 08:04:32 +0000AlienCipher(~AlienCiph@113.164.176.43)
2023-11-27 08:05:11 +0000sord937(~sord937@gateway/tor-sasl/sord937)
2023-11-27 08:06:42 +0000pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 268 seconds)
2023-11-27 08:10:49 +0000pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it)
2023-11-27 08:16:50 +0000euleritian(~euleritia@dynamic-046-114-205-112.46.114.pool.telefonica.de) (Read error: Connection reset by peer)
2023-11-27 08:17:08 +0000euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2023-11-27 08:23:21 +0000pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 268 seconds)
2023-11-27 08:24:01 +0000idgaen(~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.1.1)
2023-11-27 08:33:12 +0000pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it)
2023-11-27 08:37:10 +0000sord937(~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection)
2023-11-27 08:37:36 +0000sord937(~sord937@gateway/tor-sasl/sord937)
2023-11-27 08:39:31 +0000pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 245 seconds)
2023-11-27 08:40:00 +0000Noob_Programmer(~Noob_Prog@14.139.187.71) (Ping timeout: 250 seconds)
2023-11-27 08:41:35 +0000pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it)
2023-11-27 08:42:45 +0000ubert(~Thunderbi@77.119.173.120.wireless.dyn.drei.com)
2023-11-27 08:45:46 +0000rosco(~rosco@175.136.157.149)
2023-11-27 08:46:11 +0000__monty__(~toonn@user/toonn)
2023-11-27 08:52:31 +0000CiaoSen(~Jura@2a05:5800:2aa:8f00:2a3a:4dff:fe84:dbd5)
2023-11-27 08:53:44 +0000econo_(uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2023-11-27 08:58:01 +0000machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-11-27 09:01:33 +0000danza(~francesco@151.19.227.182)
2023-11-27 09:06:06 +0000Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542)
2023-11-27 09:06:08 +0000danza(~francesco@151.19.227.182) (Ping timeout: 252 seconds)
2023-11-27 09:06:30 +0000misterfish(~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 260 seconds)
2023-11-27 09:06:31 +0000pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 276 seconds)
2023-11-27 09:09:33 +0000danse-nr3(~danse@151.19.227.182)
2023-11-27 09:16:28 +0000fendor(~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c)
2023-11-27 09:17:42 +0000Pickchea(~private@user/pickchea)
2023-11-27 09:18:17 +0000Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2023-11-27 09:18:28 +0000pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it)
2023-11-27 09:19:34 +0000Jackneill(~Jackneill@20014C4E1E120500DDDE9742A0209DC5.dsl.pool.telekom.hu)
2023-11-27 09:24:05 +0000pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 268 seconds)
2023-11-27 09:24:06 +0000JeremyB99(~JeremyB99@2607:fb91:17ce:3699:7df2:227d:9fab:9d9c) (Read error: Connection reset by peer)
2023-11-27 09:25:56 +0000JeremyB99(~JeremyB99@2607:fb91:17ce:3699:7df2:227d:9fab:9d9c)
2023-11-27 09:30:10 +0000tzh(~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Quit: zzz)
2023-11-27 09:35:35 +0000dhil(~dhil@2001:8e0:2014:3100:b2f1:d5be:95a9:417)
2023-11-27 09:36:10 +0000pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it)
2023-11-27 09:38:39 +0000Xyloes(~wyx@2400:dd01:103a:1012:5923:33ce:7857:fc04) (Remote host closed the connection)
2023-11-27 09:40:03 +0000Xyloes(~wyx@2400:dd01:103a:1012:5923:33ce:7857:fc04)
2023-11-27 09:41:36 +0000pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 245 seconds)
2023-11-27 09:43:57 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:1574:a602:a028:b4e) (Remote host closed the connection)
2023-11-27 09:46:54 +0000pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it)
2023-11-27 09:56:55 +0000misterfish(~misterfis@87.215.131.102)
2023-11-27 09:59:58 +0000mikess(~sam@user/mikess) (Quit: leaving)
2023-11-27 10:02:08 +0000Noob_Programmer(~Noob_Prog@103.4.222.252)
2023-11-27 10:06:28 +0000cfricke(~cfricke@user/cfricke)
2023-11-27 10:10:29 +0000Lord_of_Life_(~Lord@user/lord-of-life/x-2819915)
2023-11-27 10:10:57 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds)
2023-11-27 10:13:28 +0000Lord_of_Life_Lord_of_Life
2023-11-27 10:15:10 +0000ec(~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
2023-11-27 10:15:42 +0000ec(~ec@gateway/tor-sasl/ec)
2023-11-27 10:16:26 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:c5ae:90af:10b1:51fe)
2023-11-27 10:18:16 +0000chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2023-11-27 10:18:34 +0000chexum(~quassel@gateway/tor-sasl/chexum)
2023-11-27 10:19:08 +0000[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2023-11-27 10:21:08 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:c5ae:90af:10b1:51fe) (Ping timeout: 268 seconds)
2023-11-27 10:26:34 +0000chele(~chele@user/chele)
2023-11-27 10:35:00 +0000JeremyB99(~JeremyB99@2607:fb91:17ce:3699:7df2:227d:9fab:9d9c) (Ping timeout: 268 seconds)
2023-11-27 10:35:19 +0000lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 268 seconds)
2023-11-27 10:39:20 +0000Pickchea(~private@user/pickchea) (Quit: Leaving)
2023-11-27 10:40:18 +0000stiell(~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection)
2023-11-27 10:40:48 +0000stiell(~stiell@gateway/tor-sasl/stiell)
2023-11-27 10:41:56 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-11-27 10:50:34 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-11-27 10:55:42 +0000euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2023-11-27 10:55:58 +0000euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2023-11-27 10:56:07 +0000lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2023-11-27 10:58:09 +0000krei-se(~krei-se@p5085dea2.dip0.t-ipconnect.de) (Quit: ZNC 1.8.2 - https://znc.in)
2023-11-27 10:59:24 +0000krei-se(~krei-se@p5085dea2.dip0.t-ipconnect.de)
2023-11-27 11:01:47 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:c5ae:90af:10b1:51fe)
2023-11-27 11:14:30 +0000lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 245 seconds)
2023-11-27 11:16:51 +0000 <carbolymer> @pl flip .
2023-11-27 11:16:51 +0000 <lambdabot> (line 1, column 7):
2023-11-27 11:16:51 +0000 <lambdabot> unexpected end of input
2023-11-27 11:16:51 +0000 <lambdabot> expecting white space or simple term
2023-11-27 11:17:03 +0000 <carbolymer> @pl flip (.)
2023-11-27 11:17:03 +0000 <lambdabot> flip (.)
2023-11-27 11:27:56 +0000danse-nr3(~danse@151.19.227.182) (Ping timeout: 252 seconds)
2023-11-27 11:29:19 +0000Noob_Programmer(~Noob_Prog@103.4.222.252) (Quit: Client closed)
2023-11-27 11:29:43 +0000euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2023-11-27 11:30:31 +0000euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2023-11-27 11:36:32 +0000lottaquestions(~nick@2607:fa49:503d:b200:791c:1e35:f3fd:c3f3)
2023-11-27 11:36:49 +0000raym(~ray@user/raym)
2023-11-27 11:37:54 +0000 <ski> carbolymer : `(>>>)'
2023-11-27 11:38:39 +0000 <carbolymer> oh right, thanks ski
2023-11-27 11:42:50 +0000adanwan(~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
2023-11-27 11:43:09 +0000adanwan(~adanwan@gateway/tor-sasl/adanwan)
2023-11-27 11:43:35 +0000santiagopim(~user@90.167.66.131) (Remote host closed the connection)
2023-11-27 11:45:18 +0000santiagopim(~user@90.167.66.131)
2023-11-27 11:49:25 +0000santiago`(~user@90.167.66.131)
2023-11-27 11:49:28 +0000santiago`(~user@90.167.66.131) (Remote host closed the connection)
2023-11-27 11:49:28 +0000santiagopim(~user@90.167.66.131) (Remote host closed the connection)
2023-11-27 11:50:37 +0000santiagopim(~user@90.167.66.131)
2023-11-27 11:53:01 +0000lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2023-11-27 11:53:17 +0000danse-nr3(~danse@151.19.227.182)
2023-11-27 12:13:13 +0000CiaoSen(~Jura@2a05:5800:2aa:8f00:2a3a:4dff:fe84:dbd5) (Ping timeout: 256 seconds)
2023-11-27 12:22:19 +0000JeremyB99(~JeremyB99@2607:fb91:17ce:3699:946:eca8:5cb1:106b)
2023-11-27 12:23:54 +0000JeremyB99(~JeremyB99@2607:fb91:17ce:3699:946:eca8:5cb1:106b) (Read error: Connection reset by peer)
2023-11-27 12:26:10 +0000JeremyB99(~JeremyB99@2607:fb91:17ce:3699:946:eca8:5cb1:106b)
2023-11-27 12:28:57 +0000JeremyB99(~JeremyB99@2607:fb91:17ce:3699:946:eca8:5cb1:106b) (Read error: Connection reset by peer)
2023-11-27 12:29:40 +0000JeremyB99(~JeremyB99@2607:fb91:17ce:3699:946:eca8:5cb1:106b)
2023-11-27 12:33:49 +0000L29Ah(~L29Ah@wikipedia/L29Ah) ()
2023-11-27 12:35:12 +0000danse-nr3(~danse@151.19.227.182) (Read error: Connection reset by peer)
2023-11-27 12:36:16 +0000danse-nr3(~danse@151.37.242.128)
2023-11-27 12:37:51 +0000seeg123456(~seeg12345@64.176.64.83)
2023-11-27 12:43:10 +0000L29Ah(~L29Ah@wikipedia/L29Ah)
2023-11-27 12:49:47 +0000Pickchea(~private@user/pickchea)
2023-11-27 12:53:45 +0000miguelnegrao(~miguelneg@2001:818:dc71:d100:f016:1b9:e7c1:3567)
2023-11-27 13:02:28 +0000foul_owl(~kerry@157.97.134.168) (Ping timeout: 276 seconds)
2023-11-27 13:06:16 +0000azimut(~azimut@gateway/tor-sasl/azimut)
2023-11-27 13:15:51 +0000foul_owl(~kerry@174-21-66-189.tukw.qwest.net)
2023-11-27 13:15:58 +0000JeremyB99(~JeremyB99@2607:fb91:17ce:3699:946:eca8:5cb1:106b) (Read error: Connection reset by peer)
2023-11-27 13:16:07 +0000Ranhir(~Ranhir@157.97.53.139) (Read error: Connection reset by peer)
2023-11-27 13:17:25 +0000CiaoSen(~Jura@2a05:5800:2aa:8f00:2a3a:4dff:fe84:dbd5)
2023-11-27 13:20:55 +0000JeremyB99(~JeremyB99@2607:fb91:17ce:3699:946:eca8:5cb1:106b)
2023-11-27 13:21:23 +0000JeremyB99(~JeremyB99@2607:fb91:17ce:3699:946:eca8:5cb1:106b) (Read error: Connection reset by peer)
2023-11-27 13:24:15 +0000Ranhir(~Ranhir@157.97.53.139)
2023-11-27 13:25:12 +0000idgaen(~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-11-27 13:29:52 +0000fyfor(~fyfor@152.26.89.235)
2023-11-27 13:34:40 +0000john(~john@89-253-95-178.customers.ownit.se)
2023-11-27 13:34:50 +0000john(~john@89-253-95-178.customers.ownit.se) (Client Quit)
2023-11-27 13:38:47 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-11-27 13:44:19 +0000pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 268 seconds)
2023-11-27 13:48:25 +0000miguelnegrao(~miguelneg@2001:818:dc71:d100:f016:1b9:e7c1:3567) (Quit: miguelnegrao)
2023-11-27 13:50:41 +0000xff0x(~xff0x@2405:6580:b080:900:9596:3640:8854:825) (Ping timeout: 256 seconds)
2023-11-27 13:52:11 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-11-27 13:52:18 +0000fyfor(~fyfor@152.26.89.235) (Quit: Client closed)
2023-11-27 13:52:50 +0000xff0x(~xff0x@178.255.149.135)
2023-11-27 13:54:27 +0000sawilagar(~sawilagar@user/sawilagar)
2023-11-27 13:56:36 +0000pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it)
2023-11-27 13:57:26 +0000JeremyB99(~JeremyB99@2607:fb91:17ce:3699:946:eca8:5cb1:106b)
2023-11-27 14:01:25 +0000pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 255 seconds)
2023-11-27 14:03:57 +0000JeremyB99(~JeremyB99@2607:fb91:17ce:3699:946:eca8:5cb1:106b) (Read error: Connection reset by peer)
2023-11-27 14:06:31 +0000pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it)
2023-11-27 14:08:18 +0000xff0x(~xff0x@178.255.149.135) (Ping timeout: 256 seconds)
2023-11-27 14:10:14 +0000xff0x(~xff0x@2405:6580:b080:900:f6fc:7981:2e92:1c0b)
2023-11-27 14:12:19 +0000JeremyB99(~JeremyB99@2607:fb91:17ce:3699:946:eca8:5cb1:106b)
2023-11-27 14:13:52 +0000JeremyB99(~JeremyB99@2607:fb91:17ce:3699:946:eca8:5cb1:106b) (Read error: Connection reset by peer)
2023-11-27 14:16:58 +0000myxos(~myxos@065-028-251-121.inf.spectrum.com)
2023-11-27 14:18:46 +0000ddellacosta(~ddellacos@ool-44c73d16.dyn.optonline.net) (Quit: WeeChat 4.1.1)
2023-11-27 14:18:53 +0000JeremyB99(~JeremyB99@2607:fb91:17ce:3699:946:eca8:5cb1:106b)
2023-11-27 14:18:55 +0000JeremyB99(~JeremyB99@2607:fb91:17ce:3699:946:eca8:5cb1:106b) (Read error: Connection reset by peer)
2023-11-27 14:19:10 +0000raym(~ray@user/raym) (Ping timeout: 268 seconds)
2023-11-27 14:19:58 +0000jinsun(~jinsun@user/jinsun) (Quit: No Ping reply in 180 seconds.)
2023-11-27 14:20:44 +0000thegeekinside(~thegeekin@189.180.53.210)
2023-11-27 14:21:06 +0000Pixi`(~Pixi@user/pixi)
2023-11-27 14:21:58 +0000jinsun(~jinsun@user/jinsun)
2023-11-27 14:22:54 +0000Pixi(~Pixi@user/pixi) (Ping timeout: 260 seconds)
2023-11-27 14:23:56 +0000shriekingnoise(~shrieking@186.137.175.87)
2023-11-27 14:27:53 +0000Square2(~Square4@user/square) (Ping timeout: 252 seconds)
2023-11-27 14:30:20 +0000mulk(~mulk@p5b2dc93f.dip0.t-ipconnect.de)
2023-11-27 14:31:12 +0000jinsun(~jinsun@user/jinsun) (Quit: No Ping reply in 180 seconds.)
2023-11-27 14:31:42 +0000JeremyB99(~JeremyB99@2607:fb91:17ce:3699:946:eca8:5cb1:106b)
2023-11-27 14:31:44 +0000JeremyB99(~JeremyB99@2607:fb91:17ce:3699:946:eca8:5cb1:106b) (Read error: Connection reset by peer)
2023-11-27 14:32:37 +0000ystael(~ystael@user/ystael)
2023-11-27 14:32:38 +0000jinsun(~jinsun@user/jinsun)
2023-11-27 14:36:23 +0000idgaen(~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.1.1)
2023-11-27 14:44:31 +0000Pickchea(~private@user/pickchea) (Quit: Leaving)
2023-11-27 14:45:21 +0000fweht(uid404746@id-404746.lymington.irccloud.com)
2023-11-27 14:45:31 +0000euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2023-11-27 14:45:43 +0000euleritian(~euleritia@dynamic-046-114-203-019.46.114.pool.telefonica.de)
2023-11-27 14:46:01 +0000euleritian(~euleritia@dynamic-046-114-203-019.46.114.pool.telefonica.de) (Read error: Connection reset by peer)
2023-11-27 14:46:18 +0000euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2023-11-27 14:50:12 +0000A_DragonFestive_Derg
2023-11-27 14:50:13 +0000JeremyB99(~JeremyB99@2607:fb91:17ce:3699:946:eca8:5cb1:106b)
2023-11-27 14:50:31 +0000raym(~ray@user/raym)
2023-11-27 14:55:37 +0000Xyloes(~wyx@2400:dd01:103a:1012:5923:33ce:7857:fc04) (Quit: Konversation terminated!)
2023-11-27 14:56:25 +0000Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2023-11-27 14:56:57 +0000JeremyB99(~JeremyB99@2607:fb91:17ce:3699:946:eca8:5cb1:106b) (Read error: Connection reset by peer)
2023-11-27 14:57:33 +0000euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds)
2023-11-27 14:58:00 +0000euleritian(~euleritia@dynamic-046-114-203-019.46.114.pool.telefonica.de)
2023-11-27 14:58:19 +0000Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542)
2023-11-27 14:58:40 +0000JeremyB99(~JeremyB99@2607:fb91:17ce:3699:946:eca8:5cb1:106b)
2023-11-27 14:59:47 +0000haskellbridge(~haskellbr@069-135-003-034.biz.spectrum.com)
2023-11-27 14:59:47 +0000ChanServ+v haskellbridge
2023-11-27 15:05:31 +0000qhong_(~qhong@DN160vrd000d6kpg009l6c0000fj.stanford.edu) (Remote host closed the connection)
2023-11-27 15:06:22 +0000edr(~edr@user/edr)
2023-11-27 15:08:11 +0000JeremyB99(~JeremyB99@2607:fb91:17ce:3699:946:eca8:5cb1:106b) (Read error: Connection reset by peer)
2023-11-27 15:12:44 +0000adanwan(~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
2023-11-27 15:13:16 +0000adanwan(~adanwan@gateway/tor-sasl/adanwan)
2023-11-27 15:16:34 +0000JeremyB99(~JeremyB99@2607:fb91:17ce:3699:946:eca8:5cb1:106b)
2023-11-27 15:19:04 +0000JeremyB99(~JeremyB99@2607:fb91:17ce:3699:946:eca8:5cb1:106b) (Read error: Connection reset by peer)
2023-11-27 15:28:51 +0000JeremyB99(~JeremyB99@2607:fb91:17ce:3699:946:eca8:5cb1:106b)
2023-11-27 15:31:00 +0000earldouglas(~james@user/earldouglas) ()
2023-11-27 15:32:14 +0000CiaoSen(~Jura@2a05:5800:2aa:8f00:2a3a:4dff:fe84:dbd5) (Ping timeout: 268 seconds)
2023-11-27 15:32:38 +0000CiaoSen(~Jura@46.167.25.154)
2023-11-27 15:38:05 +0000JeremyB99(~JeremyB99@2607:fb91:17ce:3699:946:eca8:5cb1:106b) (Read error: Connection reset by peer)
2023-11-27 15:48:37 +0000Alleria(~JohnGalt@user/alleria) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2023-11-27 15:48:46 +0000JeremyB99(~JeremyB99@2607:fb91:17ce:3699:946:eca8:5cb1:106b)
2023-11-27 15:49:32 +0000euleritian(~euleritia@dynamic-046-114-203-019.46.114.pool.telefonica.de) (Read error: Connection reset by peer)
2023-11-27 15:49:49 +0000euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2023-11-27 15:53:49 +0000euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2023-11-27 15:54:01 +0000euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2023-11-27 16:01:01 +0000Alleria(~JohnGalt@user/alleria)
2023-11-27 16:02:10 +0000santiagopim(~user@90.167.66.131) (Remote host closed the connection)
2023-11-27 16:03:49 +0000euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds)
2023-11-27 16:04:15 +0000JeremyB99(~JeremyB99@2607:fb91:17ce:3699:946:eca8:5cb1:106b) (Read error: Connection reset by peer)
2023-11-27 16:04:30 +0000euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2023-11-27 16:04:42 +0000JeremyB99(~JeremyB99@2607:fb91:17ce:3699:946:eca8:5cb1:106b)
2023-11-27 16:04:59 +0000santiagopim(~user@90.167.66.131)
2023-11-27 16:07:37 +0000JeremyB99(~JeremyB99@2607:fb91:17ce:3699:946:eca8:5cb1:106b) (Read error: Connection reset by peer)
2023-11-27 16:13:22 +0000JeremyB99(~JeremyB99@2607:fb91:17ce:3699:946:eca8:5cb1:106b)
2023-11-27 16:13:23 +0000JeremyB99(~JeremyB99@2607:fb91:17ce:3699:946:eca8:5cb1:106b) (Read error: Connection reset by peer)
2023-11-27 16:17:15 +0000kwii(~kwii@193.19.201.71)
2023-11-27 16:19:06 +0000danse-nr3(~danse@151.37.242.128) (Ping timeout: 268 seconds)
2023-11-27 16:20:52 +0000euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2023-11-27 16:21:21 +0000euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2023-11-27 16:21:21 +0000pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2023-11-27 16:25:51 +0000JeremyB99(~JeremyB99@2607:fb91:17ce:3699:946:eca8:5cb1:106b)
2023-11-27 16:28:47 +0000danza(~francesco@151.37.242.128)
2023-11-27 16:31:48 +0000cfricke(~cfricke@user/cfricke) (Quit: WeeChat 4.0.5)
2023-11-27 16:33:20 +0000danza(~francesco@151.37.242.128) (Read error: Connection reset by peer)
2023-11-27 16:34:36 +0000lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.1.1)
2023-11-27 16:35:17 +0000peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com)
2023-11-27 16:35:45 +0000JeremyB99(~JeremyB99@2607:fb91:17ce:3699:946:eca8:5cb1:106b) (Ping timeout: 268 seconds)
2023-11-27 16:37:03 +0000JeremyB99(~JeremyB99@2607:fb91:17c7:1121:547f:7f06:8558:1f73)
2023-11-27 16:37:10 +0000JeremyB99(~JeremyB99@2607:fb91:17c7:1121:547f:7f06:8558:1f73) (Read error: Connection reset by peer)
2023-11-27 16:44:40 +0000rosco(~rosco@175.136.157.149) (Quit: Lost terminal)
2023-11-27 16:45:35 +0000idgaen(~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-11-27 16:48:37 +0000danza(~francesco@151.43.236.76)
2023-11-27 16:48:51 +0000JeremyB99(~JeremyB99@2607:fb91:17c7:1121:547f:7f06:8558:1f73)
2023-11-27 16:49:11 +0000 <exarkun> is there a thing like `f <$> xs <*> ys` on [] but which preserves the inner structure (ie, gives you [[f xs0 ys0, ...], [f xs0 ys1, ...]])
2023-11-27 16:51:24 +0000 <exarkun> oh utility-ht has outerProduct
2023-11-27 16:51:30 +0000JeremyB99(~JeremyB99@2607:fb91:17c7:1121:547f:7f06:8558:1f73) (Read error: Connection reset by peer)
2023-11-27 16:52:24 +0000peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds)
2023-11-27 16:52:43 +0000jmdaemon(~jmdaemon@user/jmdaemon) (Ping timeout: 256 seconds)
2023-11-27 16:53:03 +0000waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
2023-11-27 16:55:29 +0000 <ski> > getZipList ((*) <$> ZipList [0,1,2,3] <*> ZipList [1,10,100,1000]) -- exarkun ?
2023-11-27 16:55:30 +0000 <lambdabot> [0,10,200,3000]
2023-11-27 16:55:48 +0000 <ski> hm, oh. i misread
2023-11-27 16:57:17 +0000 <ski> @let pam = flip map
2023-11-27 16:57:17 +0000 <lambdabot> Defined.
2023-11-27 16:57:19 +0000 <ski> > [0,1,2,3] `pam` \x -> [1,10,100,1000] `pam` \y -> x * y
2023-11-27 16:57:20 +0000 <lambdabot> [[0,0,0,0],[1,10,100,1000],[2,20,200,2000],[3,30,300,3000]]
2023-11-27 16:57:43 +0000azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds)
2023-11-27 17:00:10 +0000 <ski> > [0,1,2,3] `pam` ([1,10,100,1000] `pam`) . (*) -- not that nice ..
2023-11-27 17:00:12 +0000 <lambdabot> [[0,0,0,0],[1,10,100,1000],[2,20,200,2000],[3,30,300,3000]]
2023-11-27 17:00:35 +0000 <ski> (that's after adding infixl 1 `pam` that is)
2023-11-27 17:01:46 +0000azimut(~azimut@gateway/tor-sasl/azimut)
2023-11-27 17:02:35 +0000CiaoSen(~Jura@46.167.25.154) (Ping timeout: 268 seconds)
2023-11-27 17:02:58 +0000danza(~francesco@151.43.236.76) (Ping timeout: 276 seconds)
2023-11-27 17:05:31 +0000 <exarkun> That looks like it comes pretty close to outerProduct, maybe just with arguments shuffled around a little: outerProduct f xs ys = map (flip map ys . f) xs
2023-11-27 17:05:54 +0000 <idgaen> it seems: pam == (Functor.<&>)
2023-11-27 17:06:10 +0000 <exarkun> oh yea
2023-11-27 17:06:36 +0000 <idgaen> maybe appart for fixity
2023-11-27 17:09:17 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:c5ae:90af:10b1:51fe) (Remote host closed the connection)
2023-11-27 17:09:34 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:c5ae:90af:10b1:51fe)
2023-11-27 17:10:07 +0000alp_(~alp@2001:861:e3d6:8f80:ec88:aa8f:d35:98fc) (Ping timeout: 276 seconds)
2023-11-27 17:10:09 +0000machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 256 seconds)
2023-11-27 17:10:29 +0000JeremyB99(~JeremyB99@2607:fb91:17c7:1121:547f:7f06:8558:1f73)
2023-11-27 17:11:10 +0000JeremyB99(~JeremyB99@2607:fb91:17c7:1121:547f:7f06:8558:1f73) (Read error: Connection reset by peer)
2023-11-27 17:12:48 +0000[exa](~exa@user/exa/x-3587197) (Remote host closed the connection)
2023-11-27 17:13:46 +0000 <ski> > (*) <<$>> [0,1,2,3] <<*>> [1,10,100,1000] <<*>> id -- hmm
2023-11-27 17:13:47 +0000 <lambdabot> [[0,0,0,0],[1,10,100,1000],[2,20,200,2000],[3,30,300,3000]]
2023-11-27 17:14:37 +0000 <ski> > (\x y z -> x * y + z) <<$>> [0,1,2] <<*>> [1,10,100] <<*>> [2,3,5] <<*>> id
2023-11-27 17:14:38 +0000 <lambdabot> [[[2,3,5],[2,3,5],[2,3,5]],[[3,4,6],[12,13,15],[102,103,105]],[[4,5,7],[22,2...
2023-11-27 17:15:18 +0000 <ski> the `<<*>> id' is kinda annoying. with deep sections, i could make this a little bit nicer
2023-11-27 17:15:55 +0000 <ski> > (*) <<$>> ([0,1,2,3] <<*>> [1,10,100,1000] <<|) -- alas
2023-11-27 17:15:57 +0000 <lambdabot> error:
2023-11-27 17:15:57 +0000 <lambdabot> The operator ‘<<|’ [infixr 4] of a section
2023-11-27 17:15:57 +0000 <lambdabot> must have lower precedence than that of the operand,
2023-11-27 17:17:36 +0000 <ski> idgaen : yes. i'm used to defining `pam', from when `&' and `<&>' wasn't a thing
2023-11-27 17:19:35 +0000 <idgaen> i didn't play with haskell at this old time ;)
2023-11-27 17:20:33 +0000 <ski> Haskell is how i got into IRC
2023-11-27 17:22:45 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:c5ae:90af:10b1:51fe) (Remote host closed the connection)
2023-11-27 17:28:09 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:c5ae:90af:10b1:51fe)
2023-11-27 17:30:26 +0000chomwitt(~chomwitt@2a02:587:7a24:bc00:1ac0:4dff:fedb:a3f1) (Read error: Connection reset by peer)
2023-11-27 17:31:25 +0000JeremyB99(~JeremyB99@2607:fb91:17c7:1121:547f:7f06:8558:1f73)
2023-11-27 17:32:54 +0000JeremyB99(~JeremyB99@2607:fb91:17c7:1121:547f:7f06:8558:1f73) (Read error: Connection reset by peer)
2023-11-27 17:33:55 +0000JeremyB99(~JeremyB99@2607:fb91:17c7:1121:547f:7f06:8558:1f73)
2023-11-27 17:37:29 +0000pavonia(~user@user/siracusa) (Quit: Bye!)
2023-11-27 17:38:52 +0000 <glguy> Haskell is how I got into IRC and now Haskell is how I talk on IRC
2023-11-27 17:44:30 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-11-27 17:50:27 +0000misterfish(~misterfis@87.215.131.102) (Ping timeout: 260 seconds)
2023-11-27 17:53:40 +0000tzh(~tzh@c-71-193-181-0.hsd1.or.comcast.net)
2023-11-27 17:56:28 +0000raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2023-11-27 17:56:41 +0000Alleria(~JohnGalt@user/alleria) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2023-11-27 17:57:45 +0000trev(~trev@user/trev)
2023-11-27 18:01:43 +0000azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds)
2023-11-27 18:03:25 +0000JeremyB99(~JeremyB99@2607:fb91:17c7:1121:547f:7f06:8558:1f73) (Read error: Connection reset by peer)
2023-11-27 18:04:23 +0000azimut(~azimut@gateway/tor-sasl/azimut)
2023-11-27 18:05:02 +0000mikess(~sam@user/mikess)
2023-11-27 18:09:49 +0000raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 255 seconds)
2023-11-27 18:10:34 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:c5ae:90af:10b1:51fe) (Remote host closed the connection)
2023-11-27 18:11:01 +0000Alleria(~JohnGalt@user/alleria)
2023-11-27 18:11:17 +0000JeremyB99(~JeremyB99@2607:fb91:17c7:1121:547f:7f06:8558:1f73)
2023-11-27 18:11:22 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-11-27 18:13:36 +0000JeremyB99(~JeremyB99@2607:fb91:17c7:1121:547f:7f06:8558:1f73) (Read error: Connection reset by peer)
2023-11-27 18:16:55 +0000econo_(uid147250@id-147250.tinside.irccloud.com)
2023-11-27 18:17:49 +0000JeremyB99(~JeremyB99@2607:fb91:17c7:1121:547f:7f06:8558:1f73)
2023-11-27 18:18:11 +0000sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2023-11-27 18:23:17 +0000Tuplanolla(~Tuplanoll@91-159-68-236.elisa-laajakaista.fi)
2023-11-27 18:23:18 +0000 <zzz> haskell is how i got into mailing lists
2023-11-27 18:26:49 +0000euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds)
2023-11-27 18:27:01 +0000euleritian(~euleritia@dynamic-046-114-205-177.46.114.pool.telefonica.de)
2023-11-27 18:39:45 +0000alp_(~alp@2001:861:e3d6:8f80:f8a7:a689:ef98:8f08)
2023-11-27 18:39:46 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:c5ae:90af:10b1:51fe)
2023-11-27 18:41:26 +0000JeremyB99(~JeremyB99@2607:fb91:17c7:1121:547f:7f06:8558:1f73) (Read error: Connection reset by peer)
2023-11-27 18:47:20 +0000JeremyB99(~JeremyB99@2607:fb91:17c7:1121:547f:7f06:8558:1f73)
2023-11-27 18:48:01 +0000JeremyB99(~JeremyB99@2607:fb91:17c7:1121:547f:7f06:8558:1f73) (Read error: Connection reset by peer)
2023-11-27 18:49:25 +0000thegeekinside(~thegeekin@189.180.53.210) (Remote host closed the connection)
2023-11-27 18:58:30 +0000JeremyB99(~JeremyB99@2607:fb91:17c7:1121:547f:7f06:8558:1f73)
2023-11-27 19:00:42 +0000JeremyB99(~JeremyB99@2607:fb91:17c7:1121:547f:7f06:8558:1f73) (Read error: Connection reset by peer)
2023-11-27 19:10:40 +0000manwithluck(manwithluc@gateway/vpn/protonvpn/manwithluck) (Quit: THE END)
2023-11-27 19:10:59 +0000manwithluck(manwithluc@gateway/vpn/protonvpn/manwithluck)
2023-11-27 19:12:32 +0000chele(~chele@user/chele) (Remote host closed the connection)
2023-11-27 19:14:14 +0000mc47(~mc47@xmonad/TheMC47) (Remote host closed the connection)
2023-11-27 19:14:34 +0000mc47(~mc47@xmonad/TheMC47)
2023-11-27 19:15:25 +0000thegeekinside(~thegeekin@189.180.53.210)
2023-11-27 19:16:02 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:c5ae:90af:10b1:51fe) (Remote host closed the connection)
2023-11-27 19:17:38 +0000Moyst_(~moyst@user/moyst) (Ping timeout: 252 seconds)
2023-11-27 19:18:33 +0000euleritian(~euleritia@dynamic-046-114-205-177.46.114.pool.telefonica.de) (Ping timeout: 268 seconds)
2023-11-27 19:18:46 +0000target_i(~target_i@217.175.14.39)
2023-11-27 19:18:52 +0000euleritian(~euleritia@dynamic-046-114-205-177.46.114.pool.telefonica.de)
2023-11-27 19:19:33 +0000JeremyB99(~JeremyB99@2607:fb91:17c7:1121:547f:7f06:8558:1f73)
2023-11-27 19:20:01 +0000JeremyB99(~JeremyB99@2607:fb91:17c7:1121:547f:7f06:8558:1f73) (Read error: Connection reset by peer)
2023-11-27 19:20:25 +0000Moyst_(~moyst@user/moyst)
2023-11-27 19:26:45 +0000 <kaol> Mozart (the programming language) is how I got into Haskell. One of their devs called Haskell "too linear" on their mailing list and that led me to check it out.
2023-11-27 19:27:17 +0000peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com)
2023-11-27 19:29:01 +0000 <duncan> There are worse comments on mailing lists to be inspired by like the infamous Solaris "have you ever kissed a girl"
2023-11-27 19:32:52 +0000 <ski> (fwiw, Oz is the language of CTM. Mozart is the implementation)
2023-11-27 19:32:57 +0000 <mauke> https://www.youtube.com/watch?v=0hUNY9V3_TI
2023-11-27 19:33:01 +0000 <ski> @where CTM
2023-11-27 19:33:01 +0000 <lambdabot> "Concepts, Techniques, and Models of Computer Programming", by Peter Van Roy,Seif Haridi, at <http://www.info.ucl.ac.be/~pvr/book.html>
2023-11-27 19:35:04 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-11-27 19:37:45 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-11-27 19:38:28 +0000peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds)
2023-11-27 19:40:30 +0000 <EvanR> haskell is too linear??
2023-11-27 19:41:14 +0000JeremyB99(~JeremyB99@2607:fb91:17c7:1121:547f:7f06:8558:1f73)
2023-11-27 19:41:26 +0000 <kaol> I won't try to dig up what someone said 20 years ago.
2023-11-27 19:42:01 +0000derpyxdhs(~Thunderbi@user/derpyxdhs)
2023-11-27 19:44:37 +0000dwt_(~dwt_@2601:2c6:8381:e5c:e82c:bcf5:266d:3c9a)
2023-11-27 19:44:38 +0000 <ski> perhaps they were talking about concurrency (including declarative concurrency) and distribution support in Oz (also in Alice ML, which used to use the same VM)
2023-11-27 19:45:41 +0000JeremyB99(~JeremyB99@2607:fb91:17c7:1121:547f:7f06:8558:1f73) (Ping timeout: 268 seconds)
2023-11-27 19:47:27 +0000 <kaol> Oz lets passing unbound variables around and any other part of the program could be waiting for someone else to bind it to a value. Funky stuff.
2023-11-27 19:48:13 +0000 <kaol> Imagine programming with evey variable being a single assignemnt MVar.
2023-11-27 19:48:28 +0000kwii(~kwii@193.19.201.71) (Ping timeout: 255 seconds)
2023-11-27 19:49:37 +0000 <exarkun> ski: That would be my take.
2023-11-27 19:50:00 +0000 <exarkun> `True || undefined` vs `undefined || True` being the standard example, I think.
2023-11-27 19:50:30 +0000 <EvanR> :t lub
2023-11-27 19:50:31 +0000 <lambdabot> error:
2023-11-27 19:50:31 +0000 <lambdabot> • Variable not in scope: lub
2023-11-27 19:50:31 +0000 <lambdabot> • Perhaps you meant one of these:
2023-11-27 19:50:41 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:c5ae:90af:10b1:51fe)
2023-11-27 19:51:16 +0000 <EvanR> :: a -> a -> a
2023-11-27 19:51:58 +0000dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 255 seconds)
2023-11-27 19:52:11 +0000 <EvanR> I am now mildly curious about Oz
2023-11-27 19:55:20 +0000 <ski> in Oz, if you compare structures for equality, and some parts of them hasn't got values yet, it postpones those checks, and continues on with the rest. which may often short-circuit (in case of mismatch), abandoning the postponed checks. in case it doesn't short-circuit, your execution thread will block until it is able to decide the equality check
2023-11-27 19:55:51 +0000 <ski> Oz separates all three of (a) bringing a variable into scope; (b) binding a variable to a computation; (c) actually performing that computation
2023-11-27 19:56:21 +0000 <ski> bringing a variable into scope, without having associated it to a value yet, is akin to
2023-11-27 19:56:27 +0000 <ski> @hackage ivar-simple
2023-11-27 19:56:27 +0000 <lambdabot> https://hackage.haskell.org/package/ivar-simple
2023-11-27 19:56:33 +0000 <ski> but at a language level, not as a library
2023-11-27 19:57:34 +0000 <EvanR> languagized ivars
2023-11-27 19:57:37 +0000 <ski> it is heavily used for (e.g. declarative) concurrency, to communicate between threads. these variables are called "dataflow variables", in that context. in the traditional logic programming context, they're known as "logic variables". in a type inference context, this is "meta variables"
2023-11-27 19:58:53 +0000 <ski> (the "declarative" means that the concurrency is deterministic. so race conditions, e.g. from indeterministically merging two channels (or selecting not necessarily the first message in a mailbox), is verboten)
2023-11-27 19:59:26 +0000hgolden(~hgolden@2603-8000-9d00-3ed1-dd4f-298a-9c49-a0ed.res6.spectrum.com) (Remote host closed the connection)
2023-11-27 20:00:19 +0000 <ski> it (Oz as well as Alice ML, also has support for lazy evaluation. and not in the "specific datatype" sense in which SML/NJ and OCaml supports them. but it's not the default, you need to use `lazy' (iirc) to construct such delayed values (of same type as the delayed expression))
2023-11-27 20:00:37 +0000 <ski> anyway, CTM is aquite neat book. somewhat comparable to SICP, you could say
2023-11-27 20:00:45 +0000 <monochrom> I need to read CTM some day. It may be a good way to make a "principles of programming languages" course.
2023-11-27 20:00:52 +0000 <ski> (it's also a heavy tome)
2023-11-27 20:01:30 +0000hgolden(~hgolden@2603-8000-9d00-3ed1-dd4f-298a-9c49-a0ed.res6.spectrum.com)
2023-11-27 20:02:53 +0000 <ski> they start from a small core language, which is a logic programming in nature, but without any nondeterminism (like backtracking). and they introduce execution models for it (like substitution model, and abstract machines). and they successively add more features to the language (like functions, object-orientation, mutable state, declarative concurrency, non-declarative concurrency, "engines" for
2023-11-27 20:02:59 +0000 <ski> backtracking and constraint programming, &c.)
2023-11-27 20:03:18 +0000 <monochrom> OTOH I feel bad about tellling my students to buy a us$100 book.
2023-11-27 20:03:27 +0000 <ski> yea .. there's that
2023-11-27 20:04:32 +0000 <monochrom> For us$100 I am OK with eg CLRS (Intro to Algorithms) because it lasts for multiple courses and additional interests in programming, data structures, algorithms.
2023-11-27 20:05:02 +0000 <ski> "Programming Language Design Concepts" by David A. Watt,(William Findlay) in 2004 is a quite nice book, covering multiple paradigms and concepts
2023-11-27 20:05:18 +0000 <monochrom> But a Principle of Prog Langs books lasts for only one course and very tangential for 99% of students.
2023-11-27 20:05:44 +0000alp_(~alp@2001:861:e3d6:8f80:f8a7:a689:ef98:8f08) (Ping timeout: 268 seconds)
2023-11-27 20:05:47 +0000 <ski> it contains a bunch of "principles" that are useful to consider, when you're designing your new language
2023-11-27 20:05:54 +0000 <ski> "Type Completeness Principle : No operation should be arbitrarily restricted in the types of its operands."
2023-11-27 20:06:06 +0000 <ski> "Qualification Principle : It is possible to include a block in any syntactic category, provided that the constructs in that syntactic category specify some kind of computation."
2023-11-27 20:06:22 +0000 <ski> "Abstraction Principle : It is possible to design procedures that abstract over any syntactic category, provided only that the constructs in that syntactic category specify some kind of computation. (For example, proper procedures abstract over commands, and function procedures abstract over expressions.)"
2023-11-27 20:06:35 +0000 <ski> "Correspondence Principle : For each form of declaration there exists a corresponding parameter mechanism. (For example, a constant declaration corresponds to a constant parameter, and a variable declaration with initialization corresponds to a copy-in parameter.)"
2023-11-27 20:07:48 +0000skinods to monochrom
2023-11-27 20:07:52 +0000xigua(~xigua@user/xigua) (Remote host closed the connection)
2023-11-27 20:08:21 +0000[exa](~exa@user/exa/x-3587197)
2023-11-27 20:08:27 +0000xigua(~xigua@user/xigua)
2023-11-27 20:09:26 +0000 <monochrom> Dystopia solution: Principles of Prog Langs should be 3 courses. :D
2023-11-27 20:09:49 +0000 <monochrom> Now it warrants a us$100 book. >:)
2023-11-27 20:10:38 +0000migas9(~migas@static.140.65.63.178.clients.your-server.de) (Remote host closed the connection)
2023-11-27 20:10:55 +0000migas9(~migas@static.140.65.63.178.clients.your-server.de)
2023-11-27 20:13:04 +0000 <ski> why dystopia ?
2023-11-27 20:13:20 +0000Pickchea(~private@user/pickchea)
2023-11-27 20:13:33 +0000 <ski> EvanR : yea, `lub' and `lvish' are kinda related to this, as well
2023-11-27 20:13:33 +0000 <monochrom> Ideal but evil. >:)
2023-11-27 20:13:46 +0000ski. o O ( ideavil )
2023-11-27 20:14:06 +0000 <ski> @hackage lvish
2023-11-27 20:14:06 +0000 <lambdabot> https://hackage.haskell.org/package/lvish
2023-11-27 20:15:21 +0000chomwitt(~chomwitt@2a02:587:7a24:bc00:1ac0:4dff:fedb:a3f1)
2023-11-27 20:22:21 +0000phma_(~phma@host-67-44-208-32.hnremote.net)
2023-11-27 20:22:48 +0000trev(~trev@user/trev) (Quit: trev)
2023-11-27 20:23:31 +0000phma(~phma@2001:5b0:211b:ddc8:706f:10c0:4024:fd94) (Read error: Connection reset by peer)
2023-11-27 20:27:17 +0000phma_phma
2023-11-27 20:28:58 +0000Feuermagier(~Feuermagi@user/feuermagier)
2023-11-27 20:31:55 +0000Ranhir(~Ranhir@157.97.53.139) (Read error: Connection reset by peer)
2023-11-27 20:32:04 +0000derpyxdhs(~Thunderbi@user/derpyxdhs) (Quit: derpyxdhs)
2023-11-27 20:32:34 +0000danza(~francesco@151.19.252.223)
2023-11-27 20:37:02 +0000pavonia(~user@user/siracusa)
2023-11-27 20:41:16 +0000dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net)
2023-11-27 20:41:18 +0000misterfish(~misterfis@84-53-85-146.bbserv.nl)
2023-11-27 20:41:48 +0000kwii(~kwii@193.19.201.71)
2023-11-27 20:42:31 +0000jmdaemon(~jmdaemon@user/jmdaemon)
2023-11-27 20:45:37 +0000danza(~francesco@151.19.252.223) (Ping timeout: 255 seconds)
2023-11-27 20:49:09 +0000dwt__(~dwt_@2601:2c6:8381:e5c:dd3f:aa26:2c0f:5acf)
2023-11-27 20:49:49 +0000remedan(~remedan@ip-94-112-0-18.bb.vodafone.cz) (Quit: Bye!)
2023-11-27 20:50:26 +0000dhil(~dhil@2001:8e0:2014:3100:b2f1:d5be:95a9:417) (Ping timeout: 268 seconds)
2023-11-27 20:51:05 +0000remedan(~remedan@ip-94-112-0-18.bb.vodafone.cz)
2023-11-27 20:52:54 +0000dwt_(~dwt_@2601:2c6:8381:e5c:e82c:bcf5:266d:3c9a) (Ping timeout: 268 seconds)
2023-11-27 20:57:33 +0000alp_(~alp@2001:861:e3d6:8f80:f585:6c5a:3238:c393)
2023-11-27 21:00:15 +0000_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht)
2023-11-27 21:02:24 +0000 <iqubic> Are people here ready for Advent Of Code?
2023-11-27 21:11:44 +0000 <EvanR> trying to figure out which language to use
2023-11-27 21:14:57 +0000 <exarkun> have you heard of Oz
2023-11-27 21:15:04 +0000 <exarkun> I hear it's great
2023-11-27 21:19:32 +0000alp_(~alp@2001:861:e3d6:8f80:f585:6c5a:3238:c393) (Ping timeout: 256 seconds)
2023-11-27 21:27:59 +0000machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-11-27 21:28:21 +0000 <iqubic> is there a good way to bulk edit a ton of files? I have DayTemplate.hs on my computer, and I want to create 25 files of the form DayXX.hs, where I take the template, rename it, and modify it a bit for each day.
2023-11-27 21:28:36 +0000coot(~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
2023-11-27 21:29:28 +0000 <darkling> sed?
2023-11-27 21:29:28 +0000 <iqubic> https://dpaste.com/EDC3SXXYY
2023-11-27 21:29:40 +0000 <iqubic> sed might work.
2023-11-27 21:30:08 +0000target_i(~target_i@217.175.14.39) (Quit: leaving)
2023-11-27 21:30:27 +0000 <iqubic> https://dpaste.com/5A974D9HY
2023-11-27 21:30:47 +0000 <iqubic> That's the example of what I want to do for Day02.
2023-11-27 21:31:07 +0000 <hc> sed might work and it's even turing complete and I'm sure there is a sed DSL that transforms to haskell ;p
2023-11-27 21:32:33 +0000 <iqubic> I want a file called Day02.hs, I want the file name to be to be zero padded when a single digit, but I don't want the number in the last line to be zero padded ever.
2023-11-27 21:32:51 +0000 <iqubic> But, I want to do that for all 25 days.
2023-11-27 21:35:46 +0000 <darkling> Write the template with @NUMPADDED@ and @NUM@ in it, and replace those strings. You can do the zero-padding with the shell command printf.
2023-11-27 21:36:11 +0000azimut(~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
2023-11-27 21:36:51 +0000azimut(~azimut@gateway/tor-sasl/azimut)
2023-11-27 21:38:08 +0000 <iqubic> darkling: I have this: https://dpaste.com/8G7L7NMJE
2023-11-27 21:38:18 +0000takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2023-11-27 21:38:22 +0000 <darkling> nump=$(printf %02d $num) sed -e s/@NUM@/$num/g -e s/@NUMPADDED@/$nump/g <template.hs >day$nump.hs
2023-11-27 21:38:48 +0000 <darkling> I haven't actually run that, but it's close at least.
2023-11-27 21:39:01 +0000 <iqubic> Can I get that to do all 25 days?
2023-11-27 21:39:12 +0000 <darkling> You can wrap it in "for num in $(seq 1 25); do ...; done"
2023-11-27 21:41:07 +0000kwii(~kwii@193.19.201.71) (Remote host closed the connection)
2023-11-27 21:41:14 +0000 <darkling> Oh, semicolon before the sed.
2023-11-27 21:41:31 +0000 <darkling> And "export" before the initial "nump="
2023-11-27 21:43:14 +0000 <yushyin> iqubic: the last time i did aoc in haskell, i used a haskell script (cabal shebang) that generates the 25 files from a template. all in on haskell! ;)
2023-11-27 21:43:44 +0000 <iqubic> Cool..
2023-11-27 21:45:56 +0000 <iqubic> I've got it working now. Thanks darkling!
2023-11-27 21:50:22 +0000YoungFrog(~youngfrog@2a02:a03f:ca07:f900:49c4:337a:ff0f:d4e1) (Quit: ZNC 1.7.x-git-3-96481995 - https://znc.in)
2023-11-27 21:50:42 +0000YoungFrog(~youngfrog@2a02:a03f:ca07:f900:3d37:6f51:8df5:683d)
2023-11-27 21:51:58 +0000Pickchea(~private@user/pickchea) (Quit: Leaving)
2023-11-27 22:00:29 +0000peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com)
2023-11-27 22:03:28 +0000azimut(~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
2023-11-27 22:03:50 +0000azimut(~azimut@gateway/tor-sasl/azimut)
2023-11-27 22:08:10 +0000AlienCipher(~AlienCiph@113.164.176.43) (Quit: Client closed)
2023-11-27 22:09:49 +0000[_](~itchyjunk@user/itchyjunk/x-7353470)
2023-11-27 22:12:05 +0000fendor(~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) (Remote host closed the connection)
2023-11-27 22:12:48 +0000remexre(~remexre@user/remexre) (Ping timeout: 256 seconds)
2023-11-27 22:13:41 +0000[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 268 seconds)
2023-11-27 22:15:31 +0000not_reserved(~not_reser@45.144.113.233) (Quit: Client closed)
2023-11-27 22:17:56 +0000remexre(~remexre@user/remexre)
2023-11-27 22:20:15 +0000Guest25(~Guest83@c-24-143-111-66.customer.broadstripe.net)
2023-11-27 22:25:15 +0000Pickchea(~private@user/pickchea)
2023-11-27 22:25:20 +0000peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds)
2023-11-27 22:26:01 +0000sawilagar(~sawilagar@user/sawilagar) (Ping timeout: 276 seconds)
2023-11-27 22:27:14 +0000hulkavinci(~user@2a00:23ee:2220:2152:6d77:7e45:63d8:9bbd)
2023-11-27 22:32:36 +0000kspalaiologos(~kspalaiol@user/kspalaiologos) (Quit: Leaving)
2023-11-27 22:34:55 +0000FinnElija(~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 240 seconds)
2023-11-27 22:35:44 +0000 <hulkavinci> hello
2023-11-27 22:36:11 +0000 <hulkavinci> anybody have a good resource on doing geometry with haskell? both proofs and 2D diagrams etc
2023-11-27 22:36:16 +0000FinnElija(~finn_elij@user/finn-elija/x-0085643)
2023-11-27 22:36:18 +0000Guest25(~Guest83@c-24-143-111-66.customer.broadstripe.net) (Quit: Client closed)
2023-11-27 22:37:06 +0000Sgeo(~Sgeo@user/sgeo)
2023-11-27 22:37:09 +0000machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 260 seconds)
2023-11-27 22:38:54 +0000 <monochrom> Haskell? LaTeX? :)
2023-11-27 22:39:03 +0000 <hulkavinci> ...
2023-11-27 22:40:41 +0000jrm(~jrm@user/jrm) (Quit: ciao)
2023-11-27 22:41:52 +0000euleritian(~euleritia@dynamic-046-114-205-177.46.114.pool.telefonica.de) (Read error: Connection reset by peer)
2023-11-27 22:42:18 +0000jrm(~jrm@user/jrm)
2023-11-27 22:42:20 +0000euleritian(~euleritia@dynamic-046-114-205-177.46.114.pool.telefonica.de)
2023-11-27 22:43:07 +0000 <hulkavinci> I want something dynamic but don't want to focus on graphics programming etc
2023-11-27 22:44:05 +0000hulkavinci(~user@2a00:23ee:2220:2152:6d77:7e45:63d8:9bbd) (sayonara)
2023-11-27 22:45:00 +0000euleritian(~euleritia@dynamic-046-114-205-177.46.114.pool.telefonica.de) (Read error: Connection reset by peer)
2023-11-27 22:45:13 +0000notzmv(~zmv@user/notzmv) (Ping timeout: 246 seconds)
2023-11-27 22:45:17 +0000euleritian(~euleritia@dynamic-046-114-205-177.46.114.pool.telefonica.de)
2023-11-27 22:45:54 +0000 <ski> maybe `diagrams' ?
2023-11-27 22:46:10 +0000euleritian(~euleritia@dynamic-046-114-205-177.46.114.pool.telefonica.de) (Read error: Connection reset by peer)
2023-11-27 22:46:41 +0000euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2023-11-27 22:48:22 +0000mikess(~sam@user/mikess) (Read error: Connection reset by peer)
2023-11-27 22:48:23 +0000euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2023-11-27 22:48:43 +0000euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2023-11-27 22:50:43 +0000euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2023-11-27 22:52:14 +0000euleritian(~euleritia@dynamic-046-114-205-177.46.114.pool.telefonica.de)
2023-11-27 22:52:16 +0000gmg(~user@user/gehmehgeh) (Quit: Leaving)
2023-11-27 22:53:27 +0000euleritian(~euleritia@dynamic-046-114-205-177.46.114.pool.telefonica.de) (Read error: Connection reset by peer)
2023-11-27 22:53:51 +0000euleritian(~euleritia@dynamic-046-114-205-177.46.114.pool.telefonica.de)
2023-11-27 22:54:37 +0000acidjnk(~acidjnk@p200300d6e72b935790ce6c45c9ff7d13.dip0.t-ipconnect.de) (Ping timeout: 276 seconds)
2023-11-27 22:54:37 +0000euleritian(~euleritia@dynamic-046-114-205-177.46.114.pool.telefonica.de) (Read error: Connection reset by peer)
2023-11-27 22:55:05 +0000euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2023-11-27 22:55:35 +0000Axma32854Axman6
2023-11-27 22:56:24 +0000euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2023-11-27 22:57:00 +0000euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2023-11-27 22:57:11 +0000oo_miguel(~Thunderbi@78-11-179-96.static.ip.netia.com.pl) (Quit: oo_miguel)
2023-11-27 22:59:00 +0000__monty__(~toonn@user/toonn) (Quit: leaving)
2023-11-27 23:08:55 +0000Jackneill(~Jackneill@20014C4E1E120500DDDE9742A0209DC5.dsl.pool.telekom.hu) (Ping timeout: 276 seconds)
2023-11-27 23:10:49 +0000madariaga(~madariaga@user/madariaga)
2023-11-27 23:14:15 +0000Square(~Square@user/square)
2023-11-27 23:14:28 +0000 <madariaga> hi. I created a project with cabal init and added a new executable in some file, put module Main where at the top and wrote a main function. The thing builds and runs but inside neovim, with haskell-tools, I get a diagnostics message saying "Loading the module [...]/day01.hs failed ... It may not be listed in your .cabal file!". Any idea what is up with this? For what it's worth: if I open the "default" app/Main.hs cabal creates there is no
2023-11-27 23:14:28 +0000 <madariaga> diagnostic.
2023-11-27 23:14:35 +0000 <madariaga> sorry for the wall of text.
2023-11-27 23:16:42 +0000Pickchea(~private@user/pickchea) (Quit: Leaving)
2023-11-27 23:16:54 +0000 <glguy> madariaga: Did you add an executable section to your .cabal file after creating the new executable?
2023-11-27 23:17:06 +0000 <madariaga> one more thing I did that may be causing this issue: I split build-depends, hs-source-dir and default-language into a common stanza which I then imported into the executable section
2023-11-27 23:17:30 +0000 <madariaga> glguy: yes. Actually I did this following your advent of code structure lol
2023-11-27 23:17:38 +0000 <glguy> It'll be easier to see what you did if you'll paste the .cabal file on a pastebin
2023-11-27 23:17:41 +0000 <glguy> ?pastebin
2023-11-27 23:17:41 +0000 <lambdabot> Unknown command, try @list
2023-11-27 23:17:51 +0000 <glguy> like https://paste.tomsmeding.com
2023-11-27 23:17:59 +0000 <madariaga> one sec
2023-11-27 23:22:10 +0000 <madariaga> glguy: https://paste.tomsmeding.com/Kw3naVHo
2023-11-27 23:22:24 +0000 <c_wraith> sharing hs-source-dir between multiple components sounds... risky
2023-11-27 23:23:01 +0000 <c_wraith> well, not like at risk of things breaking, necessarily, but a lot of unnecessary recompilation
2023-11-27 23:23:43 +0000 <madariaga> i just want to dump all the advent of code days solutions in the same directory and create one executable for each
2023-11-27 23:25:56 +0000 <monochrom> It should not be difficult to test the hypothesis "does this common stanza cause the neovim error?".
2023-11-27 23:26:14 +0000 <monochrom> I don't use neovim so I am not going to be the one testing it.
2023-11-27 23:26:21 +0000 <madariaga> true. Let me see
2023-11-27 23:27:06 +0000nek0(~nek0@2a01:4f8:222:2b41::12) (Quit: The Lounge - https://thelounge.chat)
2023-11-27 23:29:36 +0000idgaen(~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.1.1)
2023-11-27 23:29:49 +0000TonyStone(~TonyStone@cpe-74-76-57-186.nycap.res.rr.com)
2023-11-27 23:30:54 +0000 <madariaga> yep it is. Without the common stanza, everything is fine. Furthermore, with the common stanza but bringing hs-source-dirs into hte executable section, the diagnostic goes away but code lenses stop working.
2023-11-27 23:31:27 +0000 <Axman6> does haskell-tools use hls?
2023-11-27 23:31:59 +0000 <madariaga> yes.
2023-11-27 23:32:22 +0000 <madariaga> checkhealth for it shows OK, version 2.4.0.0 running.
2023-11-27 23:33:17 +0000Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2023-11-27 23:33:20 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-11-27 23:33:34 +0000 <glguy> madariaga: the way I have the project structured works with hls on my computer for whatever that's worth
2023-11-27 23:33:39 +0000 <glguy> I don't use neovim , though
2023-11-27 23:34:21 +0000John_Ivan(~John_Ivan@user/john-ivan/x-1515935) (Remote host closed the connection)
2023-11-27 23:34:35 +0000 <madariaga> yeah I'm assuming this is an issue with neovim or with haskell-tools. Thanks for checking
2023-11-27 23:34:41 +0000 <glguy> c_wraith: the hs-source-dir sharing ends up not mattering because none of the executables import each other
2023-11-27 23:35:13 +0000 <glguy> and there's a separate library for shared code between executables
2023-11-27 23:35:40 +0000 <c_wraith> that will work in an AOC context, sure. :)
2023-11-27 23:36:15 +0000 <monochrom> "day01.hs" and other chatters strongly suggest an AOC context. :)
2023-11-27 23:37:38 +0000John_Ivan(~John_Ivan@user/john-ivan/x-1515935)
2023-11-27 23:40:30 +0000John_Ivan(~John_Ivan@user/john-ivan/x-1515935) (Remote host closed the connection)
2023-11-27 23:41:00 +0000 <Axman6> madariaga: is your hls up to date too?
2023-11-27 23:41:14 +0000John_Ivan(~John_Ivan@user/john-ivan/x-1515935)
2023-11-27 23:41:29 +0000John_Ivan(~John_Ivan@user/john-ivan/x-1515935) (Client Quit)
2023-11-27 23:41:34 +0000 <madariaga> as far as ghcup shows, yes. 2.4.0.0 is the highest version it shows
2023-11-27 23:42:02 +0000 <Axman6> you might want to look at the config options in https://haskell-language-server.readthedocs.io/en/latest/configuration.html too
2023-11-27 23:42:09 +0000 <madariaga> i went down from ghc 9.8.1 to 9.4.7 in case that caused issues but it's the same.
2023-11-27 23:43:38 +0000 <madariaga> ah that could work, having an explicit config file. Thanks
2023-11-27 23:43:41 +0000John_Ivan(~John_Ivan@user/john-ivan/x-1515935)
2023-11-27 23:43:57 +0000 <glguy> Using ghc-9.4.7, vim, coc, and hls things open for me with editor integration
2023-11-27 23:44:54 +0000 <glguy> so you should be able to test that your editor is configured correctly opening my repository
2023-11-27 23:46:34 +0000pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5)
2023-11-27 23:46:49 +0000 <madariaga> thanks. I'll try using the native lsp client in neovim
2023-11-27 23:47:05 +0000srk-(~sorki@user/srk)
2023-11-27 23:47:51 +0000nek0(~nek0@2a01:4f8:222:2b41::12)
2023-11-27 23:50:07 +0000srk(~sorki@user/srk) (Ping timeout: 255 seconds)
2023-11-27 23:50:07 +0000srk-srk
2023-11-27 23:54:19 +0000andreas303(andreas303@is.drunk.and.ready-to.party) (Ping timeout: 256 seconds)