2023-11-27 00:03:35 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
2023-11-27 00:04:09 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1574:a602:a028:b4e) |
2023-11-27 00:05:22 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
2023-11-27 00:14:14 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2023-11-27 00:21:18 +0100 | Fijxu | (~Fijxu@user/fijxu) |
2023-11-27 00:21:26 +0100 | <Fijxu> | test! |
2023-11-27 00:21:40 +0100 | <geekosaur> | pass |
2023-11-27 00:21:43 +0100 | <geekosaur> | and welcome |
2023-11-27 00:22:07 +0100 | <Fijxu> | o/ |
2023-11-27 00:22:36 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2023-11-27 00:23:41 +0100 | analoq | (~yashi@user/dies) (Ping timeout: 245 seconds) |
2023-11-27 00:24:31 +0100 | analoq | (~yashi@user/dies) |
2023-11-27 00:24:50 +0100 | ft | (~ft@p508db3bc.dip0.t-ipconnect.de) |
2023-11-27 00:28:05 +0100 | johnw | (~johnw@69.62.242.138) |
2023-11-27 00:28:42 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:4129:7c9f:9b0:5dee) (Remote host closed the connection) |
2023-11-27 00:29:00 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:6df4:9252:effd:9887) |
2023-11-27 00:29:05 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Ping timeout: 245 seconds) |
2023-11-27 00:29:55 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
2023-11-27 00:35:35 +0100 | <Axman6> | Gooood mooorrrning #Haskell! |
2023-11-27 00:36:34 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
2023-11-27 00:37:02 +0100 | <Fijxu> | gm |
2023-11-27 00:37:05 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) |
2023-11-27 00:37:16 +0100 | <Fijxu> | I don't know anything about haskell but anyways gm ^.^ |
2023-11-27 00:37:20 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:6df4:9252:effd:9887) (Ping timeout: 268 seconds) |
2023-11-27 00:37:49 +0100 | <jackdk> | That's what the channel is for |
2023-11-27 00:38:41 +0100 | <Axman6> | To learn, about Haskell! |
2023-11-27 00:38:51 +0100 | fyfor | (~fyfor@2600:1700:ef60:e710:a17f:13e4:140a:7f9b) |
2023-11-27 00:38:59 +0100 | fyfor | (~fyfor@2600:1700:ef60:e710:a17f:13e4:140a:7f9b) (Client Quit) |
2023-11-27 00:39:05 +0100 | phma_ | (~phma@2001:5b0:211b:ddc8:706f:10c0:4024:fd94) |
2023-11-27 00:39:58 +0100 | <Axman6> | Fijxu: can we help change that? |
2023-11-27 00:40:41 +0100 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.1.1) |
2023-11-27 00:41:54 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2023-11-27 00:42:26 +0100 | phma | (~phma@2001:5b0:211b:ddc8:706f:10c0:4024:fd94) (Ping timeout: 245 seconds) |
2023-11-27 00:44:59 +0100 | <Fijxu> | Axman6: Probably, I am currently learning C but I don't see any real world uses for haskell when C or C++ can be used |
2023-11-27 00:45:32 +0100 | <Fijxu> | Or at least I don't have any project in mind involving haskell |
2023-11-27 00:45:49 +0100 | <Fijxu> | I like embedded programming :p |
2023-11-27 00:48:06 +0100 | <Axman6> | As someone who's spent a decade using Haskell professionally, I would have to disagree :) |
2023-11-27 00:48:42 +0100 | <Axman6> | There are some excellent projects for using Haskell for embedded systems, particularly coming out of NASA (by Galois) |
2023-11-27 00:50:03 +0100 | <monochrom> | Unpopular opinion: It is actually better to learn before there is a "project". |
2023-11-27 00:50:49 +0100 | <jackdk> | monochrom: Why? You give up the motivation of an explicit goal, so I assume you see something of greater value than that in exchange. What is it? |
2023-11-27 00:51:28 +0100 | <monochrom> | Actually learning the toolset for what it really is, instead of jumping to the gun with XY problems inspired fixation on a short-term goal. |
2023-11-27 00:51:50 +0100 | <jackdk> | Yes, it will make it easy to X-Y yourself, and I remember struggling with that. |
2023-11-27 00:52:35 +0100 | <monochrom> | "I want to learn programming in this language" is enough motivation. |
2023-11-27 00:52:51 +0100 | <Fijxu> | Depends of the person |
2023-11-27 00:53:09 +0100 | <monochrom> | As opposed to "I heard that Python is good for this fad called ML so here I am learning Python for ML". |
2023-11-27 00:53:11 +0100 | <Fijxu> | That doesn't motivates me unless I have a project in mind |
2023-11-27 00:53:17 +0100 | chomwitt | (~chomwitt@2a02:587:7a24:bc00:1ac0:4dff:fedb:a3f1) (Ping timeout: 256 seconds) |
2023-11-27 00:53:55 +0100 | <monochrom> | Computer programming is a life-long project. Google for "get good at anything in 10 years". |
2023-11-27 00:56:10 +0100 | <Fijxu> | I saw something like that like 2 weeks ago |
2023-11-27 00:56:11 +0100 | <int-e> | get good at clickbait in three easy steps |
2023-11-27 00:56:35 +0100 | <jackdk> | Seems like a lot of effort. Don't you have one weird trick to make it easier? |
2023-11-27 00:56:45 +0100 | <int-e> | (number 3 will surprise you) |
2023-11-27 00:57:12 +0100 | <Fijxu> | For now I am taking an x86-64 assembly course while learning C at the same time |
2023-11-27 00:57:30 +0100 | <Fijxu> | because it is fun :p |
2023-11-27 00:57:55 +0100 | Axman6 | agrees with monochrom and thinks the "I'll learn a language by building a project" makes you decide to ignore things you think are unimportant, but you actually need to learn |
2023-11-27 00:59:10 +0100 | <Axman6> | Fijxu: "I don't see any real world uses for haskell when C or C++ can be used" you might want to let Facebook know that, their entire spam filtering infrastructure is written in Haskell |
2023-11-27 01:00:06 +0100 | <Fijxu> | Axman6: I will learn it in the future maybe |
2023-11-27 01:00:44 +0100 | <Fijxu> | I don't want to lose focus on C and dropping it by another lang for nw |
2023-11-27 01:00:46 +0100 | <Fijxu> | now* |
2023-11-27 01:00:50 +0100 | <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 01:00:52 +0100 | <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 01:01:13 +0100 | <Fijxu> | haskell is a high level one? |
2023-11-27 01:01:29 +0100 | <int-e> | if you hold it right |
2023-11-27 01:02:23 +0100 | <int-e> | . o O ( If you hold it wrong it can become an awful C dialect with a terrible compiler. ) |
2023-11-27 01:03:25 +0100 | <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 01:07:26 +0100 | hays | (rootvegeta@fsf/member/hays) (Ping timeout: 245 seconds) |
2023-11-27 01:14:03 +0100 | Igloo | (~ian@matrix.chaos.earth.li) (Remote host closed the connection) |
2023-11-27 01:15:47 +0100 | Igloo | (~ian@matrix.chaos.earth.li) |
2023-11-27 01:16:07 +0100 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (Ping timeout: 255 seconds) |
2023-11-27 01:17:24 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1574:a602:a028:b4e) (Remote host closed the connection) |
2023-11-27 01:17:54 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
2023-11-27 01:21:20 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
2023-11-27 01:24:33 +0100 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) |
2023-11-27 01:30:12 +0100 | ski | . o O ( "Teach Yourself Programming in ..." by Peter Norvig at <https://www.norvig.com/21-days.html> ) |
2023-11-27 01:30:50 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 260 seconds) |
2023-11-27 01:36:56 +0100 | biberu\ | (~biberu@user/biberu) |
2023-11-27 01:37:03 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1574:a602:a028:b4e) |
2023-11-27 01:37:58 +0100 | EvanR_ | (~EvanR@user/evanr) |
2023-11-27 01:38:03 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
2023-11-27 01:38:10 +0100 | MironZ3 | (~MironZ@nat-infra.ehlab.uk) |
2023-11-27 01:38:50 +0100 | Ram-Z_ | (Ram-Z@2a01:7e01::f03c:91ff:fe57:d2df) |
2023-11-27 01:38:56 +0100 | hamess_ | (~hamess@user/hamess) |
2023-11-27 01:38:56 +0100 | totbwf_ | (sid402332@id-402332.uxbridge.irccloud.com) |
2023-11-27 01:38:57 +0100 | shawwwn_ | (sid6132@id-6132.helmsley.irccloud.com) |
2023-11-27 01:38:57 +0100 | jackdk_ | (sid373013@cssa/jackdk) |
2023-11-27 01:39:02 +0100 | dsal_ | (sid13060@id-13060.lymington.irccloud.com) |
2023-11-27 01:39:05 +0100 | nrr_______ | (sid20938@id-20938.lymington.irccloud.com) |
2023-11-27 01:39:08 +0100 | meinside_ | (uid24933@id-24933.helmsley.irccloud.com) |
2023-11-27 01:39:10 +0100 | bjs_ | (sid190364@user/bjs) |
2023-11-27 01:39:12 +0100 | chessai_ | (sid225296@id-225296.lymington.irccloud.com) |
2023-11-27 01:39:15 +0100 | Fangs_ | (sid141280@id-141280.hampstead.irccloud.com) |
2023-11-27 01:39:17 +0100 | astra_ | (sid289983@user/amish) |
2023-11-27 01:39:32 +0100 | swistak- | (~swistak@185.21.216.141) |
2023-11-27 01:39:39 +0100 | g_ | (g@libera/staff/glguy) |
2023-11-27 01:40:08 +0100 | nonzen_ | (~nonzen@user/nonzen) |
2023-11-27 01:40:14 +0100 | andjjj23_ | (~irc@107.170.228.47) |
2023-11-27 01:40:37 +0100 | g | (g@libera/staff/glguy) (Killed (tungsten.libera.chat (Nickname regained by services))) |
2023-11-27 01:40:37 +0100 | g_ | g |
2023-11-27 01:40:39 +0100 | benjaminl | (~benjaminl@user/benjaminl) (Ping timeout: 268 seconds) |
2023-11-27 01:40:39 +0100 | lightandlight | (sid135476@id-135476.helmsley.irccloud.com) (Ping timeout: 268 seconds) |
2023-11-27 01:40:39 +0100 | swistak | (~swistak@185.21.216.141) (Ping timeout: 268 seconds) |
2023-11-27 01:40:39 +0100 | lexi-lambda | (sid92601@id-92601.hampstead.irccloud.com) (Ping timeout: 268 seconds) |
2023-11-27 01:40:40 +0100 | eso | (a0662dfd5e@2604:bf00:561:2000::1266) (Ping timeout: 268 seconds) |
2023-11-27 01:40:40 +0100 | carter | (sid14827@id-14827.helmsley.irccloud.com) (Ping timeout: 268 seconds) |
2023-11-27 01:40:40 +0100 | nonzen | (~nonzen@user/nonzen) (Ping timeout: 268 seconds) |
2023-11-27 01:40:40 +0100 | buhman | (sid411355@user/buhman) (Ping timeout: 268 seconds) |
2023-11-27 01:40:40 +0100 | hamess | (~hamess@user/hamess) (Ping timeout: 268 seconds) |
2023-11-27 01:40:40 +0100 | dsal | (sid13060@id-13060.lymington.irccloud.com) (Ping timeout: 268 seconds) |
2023-11-27 01:40:40 +0100 | Ram-Z | (Ram-Z@2a01:7e01::f03c:91ff:fe57:d2df) (Ping timeout: 268 seconds) |
2023-11-27 01:40:40 +0100 | andjjj23 | (~irc@107.170.228.47) (Ping timeout: 268 seconds) |
2023-11-27 01:40:40 +0100 | mikko | (~mikko@user/mikko) (Ping timeout: 268 seconds) |
2023-11-27 01:40:40 +0100 | Fangs | (sid141280@id-141280.hampstead.irccloud.com) (Ping timeout: 268 seconds) |
2023-11-27 01:40:40 +0100 | incertia | (~incertia@209.122.137.252) (Ping timeout: 268 seconds) |
2023-11-27 01:40:40 +0100 | dexter2 | (dexter@2a01:7e00::f03c:91ff:fe86:59ec) (Ping timeout: 268 seconds) |
2023-11-27 01:40:40 +0100 | cods | (~fred@tuxee.net) (Ping timeout: 268 seconds) |
2023-11-27 01:40:40 +0100 | chessai | (sid225296@id-225296.lymington.irccloud.com) (Ping timeout: 268 seconds) |
2023-11-27 01:40:41 +0100 | iqubic | (~avi@2601:602:9502:c70:c94f:89a4:f1d7:2a2a) (Ping timeout: 268 seconds) |
2023-11-27 01:40:41 +0100 | xff0x | (~xff0x@2405:6580:b080:900:be86:cabb:8cd3:1ec3) (Ping timeout: 268 seconds) |
2023-11-27 01:40:41 +0100 | Hafydd | (~Hafydd@user/hafydd) (Ping timeout: 268 seconds) |
2023-11-27 01:40:41 +0100 | EvanR | (~EvanR@user/evanr) (Ping timeout: 268 seconds) |
2023-11-27 01:40:41 +0100 | shawwwn | (sid6132@id-6132.helmsley.irccloud.com) (Ping timeout: 268 seconds) |
2023-11-27 01:40:41 +0100 | meinside | (uid24933@helmsley.irccloud.com) (Ping timeout: 268 seconds) |
2023-11-27 01:40:41 +0100 | bjs | (sid190364@user/bjs) (Ping timeout: 268 seconds) |
2023-11-27 01:40:41 +0100 | xxpor | (~xxpor@user/xxpor) (Ping timeout: 268 seconds) |
2023-11-27 01:40:41 +0100 | MironZ | (~MironZ@nat-infra.ehlab.uk) (Ping timeout: 268 seconds) |
2023-11-27 01:40:42 +0100 | cln_ | (cln@wtf.cx) (Ping timeout: 268 seconds) |
2023-11-27 01:40:42 +0100 | mjacob | (~mjacob@adrastea.uberspace.de) (Ping timeout: 268 seconds) |
2023-11-27 01:40:42 +0100 | Typedfern | (~Typedfern@220.red-83-37-25.dynamicip.rima-tde.net) (Ping timeout: 268 seconds) |
2023-11-27 01:40:42 +0100 | nrr______ | (sid20938@id-20938.lymington.irccloud.com) (Ping timeout: 268 seconds) |
2023-11-27 01:40:42 +0100 | totbwf | (sid402332@id-402332.uxbridge.irccloud.com) (Ping timeout: 268 seconds) |
2023-11-27 01:40:42 +0100 | feetwind | (~mike@user/feetwind) (Ping timeout: 268 seconds) |
2023-11-27 01:40:42 +0100 | astra | (sid289983@id-289983.hampstead.irccloud.com) (Ping timeout: 268 seconds) |
2023-11-27 01:40:42 +0100 | TMA | (tma@twin.jikos.cz) (Ping timeout: 268 seconds) |
2023-11-27 01:40:42 +0100 | jackdk | (sid373013@cssa/jackdk) (Ping timeout: 268 seconds) |
2023-11-27 01:40:42 +0100 | biberu | (~biberu@user/biberu) (Ping timeout: 268 seconds) |
2023-11-27 01:40:43 +0100 | chessai_ | chessai |
2023-11-27 01:40:43 +0100 | MironZ3 | MironZ |
2023-11-27 01:40:43 +0100 | Fangs_ | Fangs |
2023-11-27 01:40:43 +0100 | dsal_ | dsal |
2023-11-27 01:40:43 +0100 | totbwf_ | totbwf |
2023-11-27 01:40:43 +0100 | jackdk_ | jackdk |
2023-11-27 01:40:44 +0100 | astra_ | astra |
2023-11-27 01:40:48 +0100 | shawwwn_ | shawwwn |
2023-11-27 01:40:49 +0100 | bjs_ | bjs |
2023-11-27 01:40:49 +0100 | meinside_ | meinside |
2023-11-27 01:40:49 +0100 | incertia_ | (~incertia@209.122.137.252) |
2023-11-27 01:40:50 +0100 | cln_ | (cln@wtf.cx) |
2023-11-27 01:40:50 +0100 | biberu\ | biberu |
2023-11-27 01:40:51 +0100 | xff0x | (~xff0x@2405:6580:b080:900:9596:3640:8854:825) |
2023-11-27 01:40:53 +0100 | feetwind | (~mike@user/feetwind) |
2023-11-27 01:41:12 +0100 | xxpor | (~xxpor@user/xxpor) |
2023-11-27 01:41:13 +0100 | incertia_ | incertia |
2023-11-27 01:41:39 +0100 | dexter2 | (dexter@2a01:7e00::f03c:91ff:fe86:59ec) |
2023-11-27 01:41:39 +0100 | cods | (~fred@tuxee.net) |
2023-11-27 01:42:04 +0100 | mjacob | (~mjacob@adrastea.uberspace.de) |
2023-11-27 01:42:12 +0100 | TMA | (tma@twin.jikos.cz) |
2023-11-27 01:42:22 +0100 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Remote host closed the connection) |
2023-11-27 01:46:15 +0100 | YoungFrog | (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) (Read error: Connection reset by peer) |
2023-11-27 01:46:35 +0100 | YoungFrog | (~youngfrog@2a02:a03f:ca07:f900:49c4:337a:ff0f:d4e1) |
2023-11-27 01:48:49 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 256 seconds) |
2023-11-27 01:49:34 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) |
2023-11-27 01:51:34 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3240-abf5-0c6d-5c34-f921-3e65.rev.sfr.net) (Ping timeout: 250 seconds) |
2023-11-27 01:52:14 +0100 | notzmv | (~zmv@user/notzmv) |
2023-11-27 01:52:25 +0100 | eso | (a0662dfd5e@2604:bf00:561:2000::1266) |
2023-11-27 01:52:47 +0100 | lightandlight | (sid135476@id-135476.helmsley.irccloud.com) |
2023-11-27 01:52:48 +0100 | lexi-lambda | (sid92601@id-92601.hampstead.irccloud.com) |
2023-11-27 01:53:18 +0100 | benjaminl | (~benjaminl@user/benjaminl) |
2023-11-27 01:53:29 +0100 | buhman | (sid411355@user/buhman) |
2023-11-27 01:53:46 +0100 | Hafydd | (~Hafydd@user/hafydd) |
2023-11-27 01:53:47 +0100 | Typedfern | (~Typedfern@220.red-83-37-25.dynamicip.rima-tde.net) |
2023-11-27 01:53:52 +0100 | mikko | (~mikko@dsl-trebng22-58c1a8-185.dhcp.inet.fi) |
2023-11-27 01:53:52 +0100 | mikko | (~mikko@dsl-trebng22-58c1a8-185.dhcp.inet.fi) (Changing host) |
2023-11-27 01:53:52 +0100 | mikko | (~mikko@user/mikko) |
2023-11-27 01:54:06 +0100 | carter | (sid14827@id-14827.helmsley.irccloud.com) |
2023-11-27 01:54:11 +0100 | benjaminl | (~benjaminl@user/benjaminl) (Remote host closed the connection) |
2023-11-27 01:54:32 +0100 | benjaminl | (~benjaminl@user/benjaminl) |
2023-11-27 01:59:47 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
2023-11-27 02:02:23 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 264 seconds) |
2023-11-27 02:03:05 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) |
2023-11-27 02:08:35 +0100 | benjaminl | (~benjaminl@user/benjaminl) (Remote host closed the connection) |
2023-11-27 02:09:37 +0100 | benjaminl | (~benjaminl@user/benjaminl) |
2023-11-27 02:15:35 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 264 seconds) |
2023-11-27 02:19:55 +0100 | jack_rabbit | (~knusbaum@2601:240:8401:630::9f3a) |
2023-11-27 02:21:49 +0100 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
2023-11-27 02:21:56 +0100 | <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 02:22:49 +0100 | <geekosaur> | that's it, aka the list monad |
2023-11-27 02:23:03 +0100 | <geekosaur> | :t concatMap |
2023-11-27 02:23:04 +0100 | <lambdabot> | Foldable t => (a -> [b]) -> t a -> [b] |
2023-11-27 02:24:02 +0100 | <int-e> | > do x <- [1,2,3]; replicate x x |
2023-11-27 02:24:03 +0100 | <lambdabot> | [1,2,2,3,3,3] |
2023-11-27 02:24:15 +0100 | <jack_rabbit> | Ahh nice, thanks. |
2023-11-27 02:24:39 +0100 | <Axman6> | > [1,2,3] >>= \x -> replicate x x |
2023-11-27 02:24:42 +0100 | <lambdabot> | [1,2,2,3,3,3] |
2023-11-27 02:25:00 +0100 | <ski> | > [y | x <- [0,1,2,3],y <- replicate x x] |
2023-11-27 02:25:01 +0100 | <lambdabot> | [1,2,2,3,3,3] |
2023-11-27 02:25:48 +0100 | <int-e> | > concatMap (join replicate) [0..3] -- scnr to bring in another monad |
2023-11-27 02:25:49 +0100 | <lambdabot> | [1,2,2,3,3,3] |
2023-11-27 02:26:26 +0100 | int-e | blames @pl |
2023-11-27 02:26:52 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) |
2023-11-27 02:28:28 +0100 | <monochrom> | "This is getting out of hand. Now there are two monads!" |
2023-11-27 02:28:50 +0100 | <Axman6> | What is this, binad/// |
2023-11-27 02:28:54 +0100 | <Axman6> | ???* |
2023-11-27 02:29:05 +0100 | <Axman6> | or would it be biad |
2023-11-27 02:33:04 +0100 | Xyloes | (~wyx@2400:dd01:103a:1012:5923:33ce:7857:fc04) |
2023-11-27 02:33:15 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 260 seconds) |
2023-11-27 02:34:53 +0100 | mmhat | (~mmh@p200300f1c7217ae0ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 4.1.1) |
2023-11-27 02:38:45 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) |
2023-11-27 02:40:45 +0100 | fweht | (uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2023-11-27 02:41:25 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
2023-11-27 02:42:20 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2023-11-27 02:44:13 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 256 seconds) |
2023-11-27 02:56:05 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) |
2023-11-27 02:58:31 +0100 | xff0x | (~xff0x@2405:6580:b080:900:9596:3640:8854:825) (Ping timeout: 256 seconds) |
2023-11-27 03:01:34 +0100 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
2023-11-27 03:01:34 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
2023-11-27 03:01:34 +0100 | finn_elija | FinnElija |
2023-11-27 03:02:58 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
2023-11-27 03:03:47 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 268 seconds) |
2023-11-27 03:07:39 +0100 | Sgeo | (~Sgeo@user/sgeo) |
2023-11-27 03:08:05 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
2023-11-27 03:12:46 +0100 | kayvan | (~user@52-119-115-185.PUBLIC.monkeybrains.net) |
2023-11-27 03:13:03 +0100 | xff0x | (~xff0x@2405:6580:b080:900:9596:3640:8854:825) |
2023-11-27 03:16:01 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) |
2023-11-27 03:20:32 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
2023-11-27 03:21:49 +0100 | wladek | (~wladek@4.62.67.34.bc.googleusercontent.com) () |
2023-11-27 03:22:17 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 268 seconds) |
2023-11-27 03:27:52 +0100 | sadmax | (~user@64.130.91.66) |
2023-11-27 03:30:04 +0100 | pavonia | (~user@user/siracusa) |
2023-11-27 03:35:20 +0100 | sadmax | (~user@64.130.91.66) (Ping timeout: 245 seconds) |
2023-11-27 03:35:51 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 268 seconds) |
2023-11-27 03:46:36 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) |
2023-11-27 03:50:07 +0100 | fyfor | (~fyfor@2600:1700:ef60:e710:6b5d:5ca:2040:2f69) |
2023-11-27 03:50:10 +0100 | iqubic | (~avi@2601:602:9502:c70:c94f:89a4:f1d7:2a2a) |
2023-11-27 03:51:53 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 268 seconds) |
2023-11-27 04:03:30 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) |
2023-11-27 04:07:49 +0100 | td_ | (~td@i5387093C.versanet.de) (Ping timeout: 246 seconds) |
2023-11-27 04:09:13 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 256 seconds) |
2023-11-27 04:09:50 +0100 | ddellacosta | (~ddellacos@ool-44c73d16.dyn.optonline.net) (Ping timeout: 256 seconds) |
2023-11-27 04:09:50 +0100 | td_ | (~td@i53870917.versanet.de) |
2023-11-27 04:10:11 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
2023-11-27 04:11:49 +0100 | ddellacosta | (~ddellacos@ool-44c73d16.dyn.optonline.net) |
2023-11-27 04:14:23 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) |
2023-11-27 04:22:02 +0100 | fyfor | (~fyfor@2600:1700:ef60:e710:6b5d:5ca:2040:2f69) (Quit: Client closed) |
2023-11-27 04:23:52 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 255 seconds) |
2023-11-27 04:35:40 +0100 | phma_ | phma |
2023-11-27 04:36:13 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) |
2023-11-27 04:42:38 +0100 | lottaquestions | (~nick@2607:fa49:503d:b200:ced0:26d6:58ac:b557) (Ping timeout: 260 seconds) |
2023-11-27 04:45:32 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 256 seconds) |
2023-11-27 04:46:46 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) |
2023-11-27 04:46:57 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
2023-11-27 04:47:13 +0100 | jmpxor | (~jmpxor@d149-67-225-73.try.wideopenwest.com) |
2023-11-27 04:52:40 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 255 seconds) |
2023-11-27 04:55:59 +0100 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
2023-11-27 04:55:59 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
2023-11-27 04:55:59 +0100 | finn_elija | FinnElija |
2023-11-27 05:08:32 +0100 | sophie_sym | (~sophie_sy@104.220.248.22) |
2023-11-27 05:11:33 +0100 | sophie_sym | (~sophie_sy@104.220.248.22) (Client Quit) |
2023-11-27 05:23:27 +0100 | JeremyB99 | (~JeremyB99@2607:fb91:17ce:3699:117f:a0a1:ad81:5c35) |
2023-11-27 05:26:06 +0100 | <JeremyB99> | I've got a question about the getLine function and functions that are unsafe if provided nothing. |
2023-11-27 05:26:41 +0100 | jmpxor | (~jmpxor@d149-67-225-73.try.wideopenwest.com) (Remote host closed the connection) |
2023-11-27 05:27:43 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 240 seconds) |
2023-11-27 05:28:36 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) |
2023-11-27 05:30:12 +0100 | <Axman6> | JeremyB99: Don't ask to ask, just ask :) |
2023-11-27 05:32:55 +0100 | JeremyB99 | (~JeremyB99@2607:fb91:17ce:3699:117f:a0a1:ad81:5c35) (Ping timeout: 260 seconds) |
2023-11-27 05:36:25 +0100 | JeremyB99 | (~JeremyB99@208.64.173.5) |
2023-11-27 05:36:47 +0100 | JeremyB41 | (~JeremyB99@208.64.173.5) |
2023-11-27 05:40:47 +0100 | <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 05:43:07 +0100 | <JeremyB41> | and should I convert my check function to something safer anyway like Maybe String -> Maybe String |
2023-11-27 05:49:22 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 255 seconds) |
2023-11-27 05:50:45 +0100 | AlienCipher | (~AlienCiph@113.164.176.43) (Quit: Ping timeout (120 seconds)) |
2023-11-27 05:54:58 +0100 | aforemny | (~aforemny@2001:9e8:6cc7:1300:96d5:106c:58e4:1727) |
2023-11-27 05:55:11 +0100 | JeremyB99 | (~JeremyB99@208.64.173.5) (Ping timeout: 256 seconds) |
2023-11-27 05:55:32 +0100 | JeremyB41 | (~JeremyB99@208.64.173.5) (Ping timeout: 250 seconds) |
2023-11-27 05:56:55 +0100 | aforemny_ | (~aforemny@i59F516DA.versanet.de) (Ping timeout: 276 seconds) |
2023-11-27 05:56:59 +0100 | kayvan | (~user@52-119-115-185.PUBLIC.monkeybrains.net) (Ping timeout: 264 seconds) |
2023-11-27 05:59:40 +0100 | EvanR_ | EvanR |
2023-11-27 06:00:23 +0100 | <EvanR> | you saw two nested problems and said I know, I'll use a monad! Now you have one problem |
2023-11-27 06:00:49 +0100 | johnw | (~johnw@69.62.242.138) (Quit: ZNC - http://znc.in) |
2023-11-27 06:05:53 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
2023-11-27 06:07:48 +0100 | seeg123456 | (~seeg12345@64.176.64.83) (Quit: Gateway shutdown) |
2023-11-27 06:18:59 +0100 | JeremyB99 | (~JeremyB99@208.64.173.44) |
2023-11-27 06:23:26 +0100 | <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 06:23:49 +0100 | <jackdk> | If you want to post your code into a pastebin, we can confirm this theory. @where paste |
2023-11-27 06:23:53 +0100 | <jackdk> | @where paste |
2023-11-27 06:23:53 +0100 | <lambdabot> | Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com |
2023-11-27 06:24:26 +0100 | JeremyB71 | (~JeremyB99@208.64.173.44) |
2023-11-27 06:29:02 +0100 | <JeremyB71> | https://paste.tomsmeding.com/ungryHdy |
2023-11-27 06:30:35 +0100 | <jackdk> | JeremyB71: `check ""` will return `"Invalid Move"` because of the `otherwise` clause; you can test this in GHCi |
2023-11-27 06:34:10 +0100 | <iqubic> | What are we doing here? |
2023-11-27 06:35:05 +0100 | <jackdk> | learning to write Haskell via a rock-paper-scissors implementation, looks like |
2023-11-27 06:35:17 +0100 | <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 06:35:24 +0100 | JeremyB71 | (~JeremyB99@208.64.173.44) (Ping timeout: 250 seconds) |
2023-11-27 06:35:28 +0100 | JeremyB99 | (~JeremyB99@208.64.173.44) (Ping timeout: 256 seconds) |
2023-11-27 06:44:56 +0100 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Remote host closed the connection) |
2023-11-27 06:48:43 +0100 | qqq | (~qqq@92.43.167.61) |
2023-11-27 06:49:25 +0100 | myxos | (~myxos@065-028-251-121.inf.spectrum.com) (Remote host closed the connection) |
2023-11-27 06:53:20 +0100 | JeremyB99 | (~JeremyB99@208.64.173.19) |
2023-11-27 06:55:16 +0100 | <JeremyB99> | Did my last four messages get through? My internet can be pretty horrible sometimes |
2023-11-27 06:56:07 +0100 | zetef | (~quassel@2a02:2f00:5201:4b00:19c:1be6:f517:649f) |
2023-11-27 06:56:44 +0100 | newsham | (~newsham@2603-800c-2c01-6825-6099-561e-33fd-e2ba.res6.spectrum.com) (Quit: Client closed) |
2023-11-27 06:57:55 +0100 | <jackdk> | JeremyB99: https://www.irccloud.com/pastebin/80SKgwOy/WhatISaw.txt |
2023-11-27 06:58:36 +0100 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
2023-11-27 06:59:07 +0100 | <JeremyB99> | Ah, sorry |
2023-11-27 06:59:37 +0100 | <JeremyB99> | JeremyB99: What I'm still confused about is why doing something like check 17 errors in ghci, but doing |
2023-11-27 06:59:37 +0100 | <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 06:59:37 +0100 | <JeremyB99> | [00:42] JeremyB99: Shouldn't those two be equivalent? |
2023-11-27 07:02:33 +0100 | <monochrom> | check 17? check "17"? |
2023-11-27 07:03:00 +0100 | <probie> | monochrom: They mean line 17 |
2023-11-27 07:03:11 +0100 | <JeremyB99> | Nah, just the number itself 17 :: integer |
2023-11-27 07:03:33 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
2023-11-27 07:03:34 +0100 | <probie> | s/integer/Integer/ |
2023-11-27 07:05:38 +0100 | zetef | (~quassel@2a02:2f00:5201:4b00:19c:1be6:f517:649f) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
2023-11-27 07:06:32 +0100 | zetef | (~quassel@2a02:2f00:5201:4b00:19c:1be6:f517:649f) |
2023-11-27 07:07:19 +0100 | <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 07:08:47 +0100 | <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 07:09:52 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2023-11-27 07:10:07 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2023-11-27 07:10:41 +0100 | Axma32854 | (~Axman6@user/axman6) |
2023-11-27 07:11:03 +0100 | <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 07:12:03 +0100 | <jackdk> | yes, exactly. |
2023-11-27 07:12:42 +0100 | <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 07:13:14 +0100 | Axman6 | (~Axman6@user/axman6) (Ping timeout: 260 seconds) |
2023-11-27 07:14:55 +0100 | <JeremyB99> | Thanks. Are there any other parts of my code that should be changed? |
2023-11-27 07:16:41 +0100 | rosco | (~rosco@175.136.157.149) |
2023-11-27 07:16:52 +0100 | <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 07:17:08 +0100 | <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 07:17:51 +0100 | zetef | (~quassel@2a02:2f00:5201:4b00:19c:1be6:f517:649f) (Ping timeout: 268 seconds) |
2023-11-27 07:18:19 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) |
2023-11-27 07:19:45 +0100 | <JeremyB99> | And should I use Maybe for handling IO inputs, or should I just leave it? |
2023-11-27 07:20:09 +0100 | <jackdk> | Sorry, can you unpack that question a bit more? I'm not sure what you're asking |
2023-11-27 07:21:49 +0100 | <JeremyB99> | Like turning the check function into Maybe String -> Maybe Move or something like that |
2023-11-27 07:22:28 +0100 | chomwitt | (~chomwitt@2a02:587:7a24:bc00:1ac0:4dff:fedb:a3f1) |
2023-11-27 07:22:33 +0100 | <JeremyB99> | Or keeping it string -> move since it seems safe |
2023-11-27 07:23:38 +0100 | <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 07:25:15 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 268 seconds) |
2023-11-27 07:25:20 +0100 | acidjnk | (~acidjnk@p200300d6e72b935790ce6c45c9ff7d13.dip0.t-ipconnect.de) |
2023-11-27 07:28:20 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds) |
2023-11-27 07:29:11 +0100 | euleritian | (~euleritia@dynamic-046-114-205-112.46.114.pool.telefonica.de) |
2023-11-27 07:29:42 +0100 | monochrom | (trebla@216.138.220.146) (Quit: ZNC 1.8.2+deb3build2 - https://znc.in) |
2023-11-27 07:29:59 +0100 | raym | (~ray@user/raym) (Ping timeout: 264 seconds) |
2023-11-27 07:31:25 +0100 | JeremyB99 | (~JeremyB99@208.64.173.19) (Ping timeout: 268 seconds) |
2023-11-27 07:32:38 +0100 | jinsun_ | (~jinsun@user/jinsun) |
2023-11-27 07:32:38 +0100 | jinsun | Guest9210 |
2023-11-27 07:32:39 +0100 | Guest9210 | (~jinsun@user/jinsun) (Killed (silver.libera.chat (Nickname regained by services))) |
2023-11-27 07:32:39 +0100 | jinsun_ | jinsun |
2023-11-27 07:36:35 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) |
2023-11-27 07:42:50 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 268 seconds) |
2023-11-27 07:51:15 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) |
2023-11-27 07:51:49 +0100 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
2023-11-27 07:52:31 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
2023-11-27 07:52:37 +0100 | analoq | (~yashi@user/dies) (Ping timeout: 256 seconds) |
2023-11-27 07:53:19 +0100 | johnw | (~johnw@69.62.242.138) |
2023-11-27 07:53:45 +0100 | haskellbridge | (~haskellbr@069-135-003-034.biz.spectrum.com) (Ping timeout: 256 seconds) |
2023-11-27 07:54:24 +0100 | analoq | (~yashi@user/dies) |
2023-11-27 07:56:17 +0100 | JeremyB99 | (~JeremyB99@2607:fb91:17ce:3699:7df2:227d:9fab:9d9c) |
2023-11-27 07:56:31 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 240 seconds) |
2023-11-27 07:56:31 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 240 seconds) |
2023-11-27 07:57:56 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 268 seconds) |
2023-11-27 07:59:00 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
2023-11-27 08:03:30 +0100 | Fijxu | (~Fijxu@user/fijxu) (Quit: XD!!) |
2023-11-27 08:06:32 +0100 | cbarrett | (sid192934@helmsley.irccloud.com) (Read error: Connection reset by peer) |
2023-11-27 08:06:39 +0100 | SrPx | (sid108780@uxbridge.irccloud.com) (Ping timeout: 256 seconds) |
2023-11-27 08:06:40 +0100 | cbarrett | (sid192934@id-192934.helmsley.irccloud.com) |
2023-11-27 08:06:56 +0100 | thelounge7933 | (~thelounge@2a05:f480:1400:24b2:5400:4ff:fe76:a8f3) |
2023-11-27 08:07:09 +0100 | dy | (sid3438@user/dy) (Read error: Connection reset by peer) |
2023-11-27 08:07:17 +0100 | dy | (sid3438@user/dy) |
2023-11-27 08:07:20 +0100 | acro_ | (~acro@user/acro) |
2023-11-27 08:07:20 +0100 | mrvdb- | (~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) |
2023-11-27 08:07:23 +0100 | FestiveDragon | (A_D@libera/staff/dragon) (Quit: ZNC - https://znc.in) |
2023-11-27 08:07:30 +0100 | vjoki | (~vjoki@2a00:d880:3:1::fea1:9ae) (Ping timeout: 260 seconds) |
2023-11-27 08:07:30 +0100 | Benzi-Junior | (~BenziJuni@88-149-64-112.du.xdsl.is) (Ping timeout: 260 seconds) |
2023-11-27 08:07:34 +0100 | mrvdb | (~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) (Ping timeout: 276 seconds) |
2023-11-27 08:07:37 +0100 | madnight_ | (~madnight@static.59.103.201.195.clients.your-server.de) |
2023-11-27 08:07:39 +0100 | A_Dragon | (A_D@libera/staff/dragon) |
2023-11-27 08:07:40 +0100 | ames | (~amelia@offtopia/offtopian/amelia) (Quit: Ping timeout (120 seconds)) |
2023-11-27 08:07:42 +0100 | masterbuilder | (~quassel@user/masterbuilder) (Remote host closed the connection) |
2023-11-27 08:07:43 +0100 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
2023-11-27 08:07:51 +0100 | lambdabot | (~lambdabot@haskell/bot/lambdabot) (Ping timeout: 260 seconds) |
2023-11-27 08:07:51 +0100 | orcus | (~orcus@mail.brprice.uk) (Ping timeout: 260 seconds) |
2023-11-27 08:07:54 +0100 | ames | (~amelia@offtopia/offtopian/amelia) |
2023-11-27 08:07:55 +0100 | SrPx | (sid108780@id-108780.uxbridge.irccloud.com) |
2023-11-27 08:08:01 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Read error: Connection reset by peer) |
2023-11-27 08:08:01 +0100 | vjoki | (~vjoki@2a00:d880:3:1::fea1:9ae) |
2023-11-27 08:08:05 +0100 | dispater- | (~dispater@mail.brprice.uk) |
2023-11-27 08:08:07 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 240 seconds) |
2023-11-27 08:08:07 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 240 seconds) |
2023-11-27 08:08:07 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 240 seconds) |
2023-11-27 08:08:34 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
2023-11-27 08:08:35 +0100 | orcus | (~orcus@mail.brprice.uk) |
2023-11-27 08:08:38 +0100 | madnight | (~madnight@static.59.103.201.195.clients.your-server.de) (Read error: Connection reset by peer) |
2023-11-27 08:08:43 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
2023-11-27 08:08:47 +0100 | thelounge793 | (~thelounge@2a05:f480:1400:24b2:5400:4ff:fe76:a8f3) (Ping timeout: 260 seconds) |
2023-11-27 08:08:47 +0100 | thelounge7933 | thelounge793 |
2023-11-27 08:08:48 +0100 | ec | (~ec@gateway/tor-sasl/ec) |
2023-11-27 08:08:49 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) |
2023-11-27 08:08:51 +0100 | acro | (~acro@user/acro) (Read error: Connection reset by peer) |
2023-11-27 08:08:51 +0100 | acro_ | acro |
2023-11-27 08:08:52 +0100 | tdammers | (~tdammers@219-131-178-143.ftth.glasoperator.nl) (Ping timeout: 276 seconds) |
2023-11-27 08:08:54 +0100 | dispater | (~dispater@mail.brprice.uk) (Ping timeout: 260 seconds) |
2023-11-27 08:08:55 +0100 | masterbuilder | (~quassel@user/masterbuilder) |
2023-11-27 08:08:59 +0100 | Ranhir | (~Ranhir@157.97.53.139) (Ping timeout: 252 seconds) |
2023-11-27 08:09:27 +0100 | lambdabot | (~lambdabot@silicon.int-e.eu) |
2023-11-27 08:09:27 +0100 | lambdabot | (~lambdabot@silicon.int-e.eu) (Changing host) |
2023-11-27 08:09:27 +0100 | lambdabot | (~lambdabot@haskell/bot/lambdabot) |
2023-11-27 08:09:27 +0100 | ChanServ | +v lambdabot |
2023-11-27 08:09:28 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2023-11-27 08:09:36 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
2023-11-27 08:09:38 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) |
2023-11-27 08:09:45 +0100 | Benzi-Junior | (~BenziJuni@dsl-149-64-112.hive.is) |
2023-11-27 08:10:48 +0100 | Ranhir | (~Ranhir@157.97.53.139) |
2023-11-27 08:10:49 +0100 | Fijxu | (~Fijxu@us.zzls.xyz) |
2023-11-27 08:14:46 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:ec88:aa8f:d35:98fc) |
2023-11-27 08:15:17 +0100 | shriekingnoise | (~shrieking@186.137.175.87) (Ping timeout: 256 seconds) |
2023-11-27 08:16:53 +0100 | rosco | (~rosco@175.136.157.149) (Quit: Lost terminal) |
2023-11-27 08:19:31 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 268 seconds) |
2023-11-27 08:21:50 +0100 | tdammers | (~tdammers@219-131-178-143.ftth.glasoperator.nl) |
2023-11-27 08:22:53 +0100 | Fijxu | (~Fijxu@us.zzls.xyz) (Quit: XD!!) |
2023-11-27 08:23:51 +0100 | monochrom | (trebla@216.138.220.146) |
2023-11-27 08:24:39 +0100 | Fijxu | (~Fijxu@us.zzls.xyz) |
2023-11-27 08:26:35 +0100 | Fijxu | (~Fijxu@us.zzls.xyz) (Client Quit) |
2023-11-27 08:26:49 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) |
2023-11-27 08:28:28 +0100 | Fijxu | (~Fijxu@user/fijxu) |
2023-11-27 08:28:47 +0100 | Square2 | (~Square4@user/square) |
2023-11-27 08:30:11 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
2023-11-27 08:31:43 +0100 | Square | (~Square@user/square) (Ping timeout: 255 seconds) |
2023-11-27 08:33:30 +0100 | Noob_Programmer | (~Noob_Prog@14.139.187.71) |
2023-11-27 08:33:39 +0100 | <Noob_Programmer> | hi |
2023-11-27 08:35:16 +0100 | <Fijxu> | test |
2023-11-27 08:35:22 +0100 | <Fijxu> | and hai |
2023-11-27 08:35:24 +0100 | <Fijxu> | :) |
2023-11-27 08:37:12 +0100 | <ski> | allo |
2023-11-27 08:37:28 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 276 seconds) |
2023-11-27 08:42:23 +0100 | <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 08:42:33 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) |
2023-11-27 08:43:12 +0100 | <ski> | it sure it, yes |
2023-11-27 08:43:22 +0100 | <ski> | be welcomed :) |
2023-11-27 08:44:02 +0100 | <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 08:44:32 +0100 | <ski> | do you have access to any learning resources ? |
2023-11-27 08:48:25 +0100 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
2023-11-27 08:49:07 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 268 seconds) |
2023-11-27 08:49:56 +0100 | <Noob_Programmer> | i am learnign from leanyouhaskell.com |
2023-11-27 08:50:16 +0100 | <ski> | do consider perhaps using |
2023-11-27 08:50:21 +0100 | <ski> | @where CIS194 |
2023-11-27 08:50:21 +0100 | <lambdabot> | <https://github.com/byorgey/haskell-course>,<https://www.seas.upenn.edu/~cis194/spring13/lectures.html> |
2023-11-27 08:50:26 +0100 | <Noob_Programmer> | thanks |
2023-11-27 08:50:35 +0100 | <ski> | as well (the 2013 spring instance, latter link) |
2023-11-27 08:50:42 +0100 | <ski> | since LYAH doesn't have any exercises |
2023-11-27 08:51:09 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) |
2023-11-27 08:51:41 +0100 | <Noob_Programmer> | oh , thanks for the exercises as well |
2023-11-27 08:51:51 +0100 | <Noob_Programmer> | they look very intersting |
2023-11-27 08:54:34 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2023-11-27 08:55:59 +0100 | gmg | (~user@user/gehmehgeh) |
2023-11-27 08:56:16 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
2023-11-27 08:56:36 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Client Quit) |
2023-11-27 08:56:58 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 276 seconds) |
2023-11-27 09:01:21 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) |
2023-11-27 09:01:24 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
2023-11-27 09:02:20 +0100 | not_reserved | (~not_reser@45.144.113.233) |
2023-11-27 09:04:32 +0100 | AlienCipher | (~AlienCiph@113.164.176.43) |
2023-11-27 09:05:11 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
2023-11-27 09:06:42 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 268 seconds) |
2023-11-27 09:10:49 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) |
2023-11-27 09:16:50 +0100 | euleritian | (~euleritia@dynamic-046-114-205-112.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
2023-11-27 09:17:08 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2023-11-27 09:23:21 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 268 seconds) |
2023-11-27 09:24:01 +0100 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.1.1) |
2023-11-27 09:33:12 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) |
2023-11-27 09:37:10 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
2023-11-27 09:37:36 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
2023-11-27 09:39:31 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 245 seconds) |
2023-11-27 09:40:00 +0100 | Noob_Programmer | (~Noob_Prog@14.139.187.71) (Ping timeout: 250 seconds) |
2023-11-27 09:41:35 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) |
2023-11-27 09:42:45 +0100 | ubert | (~Thunderbi@77.119.173.120.wireless.dyn.drei.com) |
2023-11-27 09:45:46 +0100 | rosco | (~rosco@175.136.157.149) |
2023-11-27 09:46:11 +0100 | __monty__ | (~toonn@user/toonn) |
2023-11-27 09:52:31 +0100 | CiaoSen | (~Jura@2a05:5800:2aa:8f00:2a3a:4dff:fe84:dbd5) |
2023-11-27 09:53:44 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
2023-11-27 09:58:01 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
2023-11-27 10:01:33 +0100 | danza | (~francesco@151.19.227.182) |
2023-11-27 10:06:06 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
2023-11-27 10:06:08 +0100 | danza | (~francesco@151.19.227.182) (Ping timeout: 252 seconds) |
2023-11-27 10:06:30 +0100 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 260 seconds) |
2023-11-27 10:06:31 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 276 seconds) |
2023-11-27 10:09:33 +0100 | danse-nr3 | (~danse@151.19.227.182) |
2023-11-27 10:16:28 +0100 | fendor | (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) |
2023-11-27 10:17:42 +0100 | Pickchea | (~private@user/pickchea) |
2023-11-27 10:18:17 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2023-11-27 10:18:28 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) |
2023-11-27 10:19:34 +0100 | Jackneill | (~Jackneill@20014C4E1E120500DDDE9742A0209DC5.dsl.pool.telekom.hu) |
2023-11-27 10:24:05 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 268 seconds) |
2023-11-27 10:24:06 +0100 | JeremyB99 | (~JeremyB99@2607:fb91:17ce:3699:7df2:227d:9fab:9d9c) (Read error: Connection reset by peer) |
2023-11-27 10:25:56 +0100 | JeremyB99 | (~JeremyB99@2607:fb91:17ce:3699:7df2:227d:9fab:9d9c) |
2023-11-27 10:30:10 +0100 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Quit: zzz) |
2023-11-27 10:35:35 +0100 | dhil | (~dhil@2001:8e0:2014:3100:b2f1:d5be:95a9:417) |
2023-11-27 10:36:10 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) |
2023-11-27 10:38:39 +0100 | Xyloes | (~wyx@2400:dd01:103a:1012:5923:33ce:7857:fc04) (Remote host closed the connection) |
2023-11-27 10:40:03 +0100 | Xyloes | (~wyx@2400:dd01:103a:1012:5923:33ce:7857:fc04) |
2023-11-27 10:41:36 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 245 seconds) |
2023-11-27 10:43:57 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1574:a602:a028:b4e) (Remote host closed the connection) |
2023-11-27 10:46:54 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) |
2023-11-27 10:56:55 +0100 | misterfish | (~misterfis@87.215.131.102) |
2023-11-27 10:59:58 +0100 | mikess | (~sam@user/mikess) (Quit: leaving) |
2023-11-27 11:02:08 +0100 | Noob_Programmer | (~Noob_Prog@103.4.222.252) |
2023-11-27 11:06:28 +0100 | cfricke | (~cfricke@user/cfricke) |
2023-11-27 11:10:29 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
2023-11-27 11:10:57 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
2023-11-27 11:13:28 +0100 | Lord_of_Life_ | Lord_of_Life |
2023-11-27 11:15:10 +0100 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
2023-11-27 11:15:42 +0100 | ec | (~ec@gateway/tor-sasl/ec) |
2023-11-27 11:16:26 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:c5ae:90af:10b1:51fe) |
2023-11-27 11:18:16 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
2023-11-27 11:18:34 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) |
2023-11-27 11:19:08 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
2023-11-27 11:21:08 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:c5ae:90af:10b1:51fe) (Ping timeout: 268 seconds) |
2023-11-27 11:26:34 +0100 | chele | (~chele@user/chele) |
2023-11-27 11:35:00 +0100 | JeremyB99 | (~JeremyB99@2607:fb91:17ce:3699:7df2:227d:9fab:9d9c) (Ping timeout: 268 seconds) |
2023-11-27 11:35:19 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 268 seconds) |
2023-11-27 11:39:20 +0100 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
2023-11-27 11:40:18 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
2023-11-27 11:40:48 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2023-11-27 11:41:56 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2023-11-27 11:50:34 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2023-11-27 11:55:42 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2023-11-27 11:55:58 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2023-11-27 11:56:07 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
2023-11-27 11:58:09 +0100 | krei-se | (~krei-se@p5085dea2.dip0.t-ipconnect.de) (Quit: ZNC 1.8.2 - https://znc.in) |
2023-11-27 11:59:24 +0100 | krei-se | (~krei-se@p5085dea2.dip0.t-ipconnect.de) |
2023-11-27 12:01:47 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:c5ae:90af:10b1:51fe) |
2023-11-27 12:14:30 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 245 seconds) |
2023-11-27 12:16:51 +0100 | <carbolymer> | @pl flip . |
2023-11-27 12:16:51 +0100 | <lambdabot> | (line 1, column 7): |
2023-11-27 12:16:51 +0100 | <lambdabot> | unexpected end of input |
2023-11-27 12:16:51 +0100 | <lambdabot> | expecting white space or simple term |
2023-11-27 12:17:03 +0100 | <carbolymer> | @pl flip (.) |
2023-11-27 12:17:03 +0100 | <lambdabot> | flip (.) |
2023-11-27 12:27:56 +0100 | danse-nr3 | (~danse@151.19.227.182) (Ping timeout: 252 seconds) |
2023-11-27 12:29:19 +0100 | Noob_Programmer | (~Noob_Prog@103.4.222.252) (Quit: Client closed) |
2023-11-27 12:29:43 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2023-11-27 12:30:31 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2023-11-27 12:36:32 +0100 | lottaquestions | (~nick@2607:fa49:503d:b200:791c:1e35:f3fd:c3f3) |
2023-11-27 12:36:49 +0100 | raym | (~ray@user/raym) |
2023-11-27 12:37:54 +0100 | <ski> | carbolymer : `(>>>)' |
2023-11-27 12:38:39 +0100 | <carbolymer> | oh right, thanks ski |
2023-11-27 12:42:50 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
2023-11-27 12:43:09 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
2023-11-27 12:43:35 +0100 | santiagopim | (~user@90.167.66.131) (Remote host closed the connection) |
2023-11-27 12:45:18 +0100 | santiagopim | (~user@90.167.66.131) |
2023-11-27 12:49:25 +0100 | santiago` | (~user@90.167.66.131) |
2023-11-27 12:49:28 +0100 | santiago` | (~user@90.167.66.131) (Remote host closed the connection) |
2023-11-27 12:49:28 +0100 | santiagopim | (~user@90.167.66.131) (Remote host closed the connection) |
2023-11-27 12:50:37 +0100 | santiagopim | (~user@90.167.66.131) |
2023-11-27 12:53:01 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
2023-11-27 12:53:17 +0100 | danse-nr3 | (~danse@151.19.227.182) |
2023-11-27 13:13:13 +0100 | CiaoSen | (~Jura@2a05:5800:2aa:8f00:2a3a:4dff:fe84:dbd5) (Ping timeout: 256 seconds) |
2023-11-27 13:22:19 +0100 | JeremyB99 | (~JeremyB99@2607:fb91:17ce:3699:946:eca8:5cb1:106b) |
2023-11-27 13:23:54 +0100 | JeremyB99 | (~JeremyB99@2607:fb91:17ce:3699:946:eca8:5cb1:106b) (Read error: Connection reset by peer) |
2023-11-27 13:26:10 +0100 | JeremyB99 | (~JeremyB99@2607:fb91:17ce:3699:946:eca8:5cb1:106b) |
2023-11-27 13:28:57 +0100 | JeremyB99 | (~JeremyB99@2607:fb91:17ce:3699:946:eca8:5cb1:106b) (Read error: Connection reset by peer) |
2023-11-27 13:29:40 +0100 | JeremyB99 | (~JeremyB99@2607:fb91:17ce:3699:946:eca8:5cb1:106b) |
2023-11-27 13:33:49 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
2023-11-27 13:35:12 +0100 | danse-nr3 | (~danse@151.19.227.182) (Read error: Connection reset by peer) |
2023-11-27 13:36:16 +0100 | danse-nr3 | (~danse@151.37.242.128) |
2023-11-27 13:37:51 +0100 | seeg123456 | (~seeg12345@64.176.64.83) |
2023-11-27 13:43:10 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
2023-11-27 13:49:47 +0100 | Pickchea | (~private@user/pickchea) |
2023-11-27 13:53:45 +0100 | miguelnegrao | (~miguelneg@2001:818:dc71:d100:f016:1b9:e7c1:3567) |
2023-11-27 14:02:28 +0100 | foul_owl | (~kerry@157.97.134.168) (Ping timeout: 276 seconds) |
2023-11-27 14:06:16 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
2023-11-27 14:15:51 +0100 | foul_owl | (~kerry@174-21-66-189.tukw.qwest.net) |
2023-11-27 14:15:58 +0100 | JeremyB99 | (~JeremyB99@2607:fb91:17ce:3699:946:eca8:5cb1:106b) (Read error: Connection reset by peer) |
2023-11-27 14:16:07 +0100 | Ranhir | (~Ranhir@157.97.53.139) (Read error: Connection reset by peer) |
2023-11-27 14:17:25 +0100 | CiaoSen | (~Jura@2a05:5800:2aa:8f00:2a3a:4dff:fe84:dbd5) |
2023-11-27 14:20:55 +0100 | JeremyB99 | (~JeremyB99@2607:fb91:17ce:3699:946:eca8:5cb1:106b) |
2023-11-27 14:21:23 +0100 | JeremyB99 | (~JeremyB99@2607:fb91:17ce:3699:946:eca8:5cb1:106b) (Read error: Connection reset by peer) |
2023-11-27 14:24:15 +0100 | Ranhir | (~Ranhir@157.97.53.139) |
2023-11-27 14:25:12 +0100 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
2023-11-27 14:29:52 +0100 | fyfor | (~fyfor@152.26.89.235) |
2023-11-27 14:34:40 +0100 | john | (~john@89-253-95-178.customers.ownit.se) |
2023-11-27 14:34:50 +0100 | john | (~john@89-253-95-178.customers.ownit.se) (Client Quit) |
2023-11-27 14:38:47 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2023-11-27 14:44:19 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 268 seconds) |
2023-11-27 14:48:25 +0100 | miguelnegrao | (~miguelneg@2001:818:dc71:d100:f016:1b9:e7c1:3567) (Quit: miguelnegrao) |
2023-11-27 14:50:41 +0100 | xff0x | (~xff0x@2405:6580:b080:900:9596:3640:8854:825) (Ping timeout: 256 seconds) |
2023-11-27 14:52:11 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2023-11-27 14:52:18 +0100 | fyfor | (~fyfor@152.26.89.235) (Quit: Client closed) |
2023-11-27 14:52:50 +0100 | xff0x | (~xff0x@178.255.149.135) |
2023-11-27 14:54:27 +0100 | sawilagar | (~sawilagar@user/sawilagar) |
2023-11-27 14:56:36 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) |
2023-11-27 14:57:26 +0100 | JeremyB99 | (~JeremyB99@2607:fb91:17ce:3699:946:eca8:5cb1:106b) |
2023-11-27 15:01:25 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 255 seconds) |
2023-11-27 15:03:57 +0100 | JeremyB99 | (~JeremyB99@2607:fb91:17ce:3699:946:eca8:5cb1:106b) (Read error: Connection reset by peer) |
2023-11-27 15:06:31 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) |
2023-11-27 15:08:18 +0100 | xff0x | (~xff0x@178.255.149.135) (Ping timeout: 256 seconds) |
2023-11-27 15:10:14 +0100 | xff0x | (~xff0x@2405:6580:b080:900:f6fc:7981:2e92:1c0b) |
2023-11-27 15:12:19 +0100 | JeremyB99 | (~JeremyB99@2607:fb91:17ce:3699:946:eca8:5cb1:106b) |
2023-11-27 15:13:52 +0100 | JeremyB99 | (~JeremyB99@2607:fb91:17ce:3699:946:eca8:5cb1:106b) (Read error: Connection reset by peer) |
2023-11-27 15:16:58 +0100 | myxos | (~myxos@065-028-251-121.inf.spectrum.com) |
2023-11-27 15:18:46 +0100 | ddellacosta | (~ddellacos@ool-44c73d16.dyn.optonline.net) (Quit: WeeChat 4.1.1) |
2023-11-27 15:18:53 +0100 | JeremyB99 | (~JeremyB99@2607:fb91:17ce:3699:946:eca8:5cb1:106b) |
2023-11-27 15:18:55 +0100 | JeremyB99 | (~JeremyB99@2607:fb91:17ce:3699:946:eca8:5cb1:106b) (Read error: Connection reset by peer) |
2023-11-27 15:19:10 +0100 | raym | (~ray@user/raym) (Ping timeout: 268 seconds) |
2023-11-27 15:19:58 +0100 | jinsun | (~jinsun@user/jinsun) (Quit: No Ping reply in 180 seconds.) |
2023-11-27 15:20:44 +0100 | thegeekinside | (~thegeekin@189.180.53.210) |
2023-11-27 15:21:06 +0100 | Pixi` | (~Pixi@user/pixi) |
2023-11-27 15:21:58 +0100 | jinsun | (~jinsun@user/jinsun) |
2023-11-27 15:22:54 +0100 | Pixi | (~Pixi@user/pixi) (Ping timeout: 260 seconds) |
2023-11-27 15:23:56 +0100 | shriekingnoise | (~shrieking@186.137.175.87) |
2023-11-27 15:27:53 +0100 | Square2 | (~Square4@user/square) (Ping timeout: 252 seconds) |
2023-11-27 15:30:20 +0100 | mulk | (~mulk@p5b2dc93f.dip0.t-ipconnect.de) |
2023-11-27 15:31:12 +0100 | jinsun | (~jinsun@user/jinsun) (Quit: No Ping reply in 180 seconds.) |
2023-11-27 15:31:42 +0100 | JeremyB99 | (~JeremyB99@2607:fb91:17ce:3699:946:eca8:5cb1:106b) |
2023-11-27 15:31:44 +0100 | JeremyB99 | (~JeremyB99@2607:fb91:17ce:3699:946:eca8:5cb1:106b) (Read error: Connection reset by peer) |
2023-11-27 15:32:37 +0100 | ystael | (~ystael@user/ystael) |
2023-11-27 15:32:38 +0100 | jinsun | (~jinsun@user/jinsun) |
2023-11-27 15:36:23 +0100 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.1.1) |
2023-11-27 15:44:31 +0100 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
2023-11-27 15:45:21 +0100 | fweht | (uid404746@id-404746.lymington.irccloud.com) |
2023-11-27 15:45:31 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2023-11-27 15:45:43 +0100 | euleritian | (~euleritia@dynamic-046-114-203-019.46.114.pool.telefonica.de) |
2023-11-27 15:46:01 +0100 | euleritian | (~euleritia@dynamic-046-114-203-019.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
2023-11-27 15:46:18 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2023-11-27 15:50:12 +0100 | A_Dragon | Festive_Derg |
2023-11-27 15:50:13 +0100 | JeremyB99 | (~JeremyB99@2607:fb91:17ce:3699:946:eca8:5cb1:106b) |
2023-11-27 15:50:31 +0100 | raym | (~ray@user/raym) |
2023-11-27 15:55:37 +0100 | Xyloes | (~wyx@2400:dd01:103a:1012:5923:33ce:7857:fc04) (Quit: Konversation terminated!) |
2023-11-27 15:56:25 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
2023-11-27 15:56:57 +0100 | JeremyB99 | (~JeremyB99@2607:fb91:17ce:3699:946:eca8:5cb1:106b) (Read error: Connection reset by peer) |
2023-11-27 15:57:33 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds) |
2023-11-27 15:58:00 +0100 | euleritian | (~euleritia@dynamic-046-114-203-019.46.114.pool.telefonica.de) |
2023-11-27 15:58:19 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
2023-11-27 15:58:40 +0100 | JeremyB99 | (~JeremyB99@2607:fb91:17ce:3699:946:eca8:5cb1:106b) |
2023-11-27 15:59:47 +0100 | haskellbridge | (~haskellbr@069-135-003-034.biz.spectrum.com) |
2023-11-27 15:59:47 +0100 | ChanServ | +v haskellbridge |
2023-11-27 16:05:31 +0100 | qhong_ | (~qhong@DN160vrd000d6kpg009l6c0000fj.stanford.edu) (Remote host closed the connection) |
2023-11-27 16:06:22 +0100 | edr | (~edr@user/edr) |
2023-11-27 16:08:11 +0100 | JeremyB99 | (~JeremyB99@2607:fb91:17ce:3699:946:eca8:5cb1:106b) (Read error: Connection reset by peer) |
2023-11-27 16:12:44 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
2023-11-27 16:13:16 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
2023-11-27 16:16:34 +0100 | JeremyB99 | (~JeremyB99@2607:fb91:17ce:3699:946:eca8:5cb1:106b) |
2023-11-27 16:19:04 +0100 | JeremyB99 | (~JeremyB99@2607:fb91:17ce:3699:946:eca8:5cb1:106b) (Read error: Connection reset by peer) |
2023-11-27 16:28:51 +0100 | JeremyB99 | (~JeremyB99@2607:fb91:17ce:3699:946:eca8:5cb1:106b) |
2023-11-27 16:31:00 +0100 | earldouglas | (~james@user/earldouglas) () |
2023-11-27 16:32:14 +0100 | CiaoSen | (~Jura@2a05:5800:2aa:8f00:2a3a:4dff:fe84:dbd5) (Ping timeout: 268 seconds) |
2023-11-27 16:32:38 +0100 | CiaoSen | (~Jura@46.167.25.154) |
2023-11-27 16:38:05 +0100 | JeremyB99 | (~JeremyB99@2607:fb91:17ce:3699:946:eca8:5cb1:106b) (Read error: Connection reset by peer) |
2023-11-27 16:48:37 +0100 | Alleria | (~JohnGalt@user/alleria) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2023-11-27 16:48:46 +0100 | JeremyB99 | (~JeremyB99@2607:fb91:17ce:3699:946:eca8:5cb1:106b) |
2023-11-27 16:49:32 +0100 | euleritian | (~euleritia@dynamic-046-114-203-019.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
2023-11-27 16:49:49 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2023-11-27 16:53:49 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2023-11-27 16:54:01 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2023-11-27 17:01:01 +0100 | Alleria | (~JohnGalt@user/alleria) |
2023-11-27 17:02:10 +0100 | santiagopim | (~user@90.167.66.131) (Remote host closed the connection) |
2023-11-27 17:03:49 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds) |
2023-11-27 17:04:15 +0100 | JeremyB99 | (~JeremyB99@2607:fb91:17ce:3699:946:eca8:5cb1:106b) (Read error: Connection reset by peer) |
2023-11-27 17:04:30 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2023-11-27 17:04:42 +0100 | JeremyB99 | (~JeremyB99@2607:fb91:17ce:3699:946:eca8:5cb1:106b) |
2023-11-27 17:04:59 +0100 | santiagopim | (~user@90.167.66.131) |
2023-11-27 17:07:37 +0100 | JeremyB99 | (~JeremyB99@2607:fb91:17ce:3699:946:eca8:5cb1:106b) (Read error: Connection reset by peer) |
2023-11-27 17:13:22 +0100 | JeremyB99 | (~JeremyB99@2607:fb91:17ce:3699:946:eca8:5cb1:106b) |
2023-11-27 17:13:23 +0100 | JeremyB99 | (~JeremyB99@2607:fb91:17ce:3699:946:eca8:5cb1:106b) (Read error: Connection reset by peer) |
2023-11-27 17:17:15 +0100 | kwii | (~kwii@193.19.201.71) |
2023-11-27 17:19:06 +0100 | danse-nr3 | (~danse@151.37.242.128) (Ping timeout: 268 seconds) |
2023-11-27 17:20:52 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2023-11-27 17:21:21 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2023-11-27 17:21:21 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
2023-11-27 17:25:51 +0100 | JeremyB99 | (~JeremyB99@2607:fb91:17ce:3699:946:eca8:5cb1:106b) |
2023-11-27 17:28:47 +0100 | danza | (~francesco@151.37.242.128) |
2023-11-27 17:31:48 +0100 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.0.5) |
2023-11-27 17:33:20 +0100 | danza | (~francesco@151.37.242.128) (Read error: Connection reset by peer) |
2023-11-27 17:34:36 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.1.1) |
2023-11-27 17:35:17 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
2023-11-27 17:35:45 +0100 | JeremyB99 | (~JeremyB99@2607:fb91:17ce:3699:946:eca8:5cb1:106b) (Ping timeout: 268 seconds) |
2023-11-27 17:37:03 +0100 | JeremyB99 | (~JeremyB99@2607:fb91:17c7:1121:547f:7f06:8558:1f73) |
2023-11-27 17:37:10 +0100 | JeremyB99 | (~JeremyB99@2607:fb91:17c7:1121:547f:7f06:8558:1f73) (Read error: Connection reset by peer) |
2023-11-27 17:44:40 +0100 | rosco | (~rosco@175.136.157.149) (Quit: Lost terminal) |
2023-11-27 17:45:35 +0100 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
2023-11-27 17:48:37 +0100 | danza | (~francesco@151.43.236.76) |
2023-11-27 17:48:51 +0100 | JeremyB99 | (~JeremyB99@2607:fb91:17c7:1121:547f:7f06:8558:1f73) |
2023-11-27 17:49:11 +0100 | <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 17:51:24 +0100 | <exarkun> | oh utility-ht has outerProduct |
2023-11-27 17:51:30 +0100 | JeremyB99 | (~JeremyB99@2607:fb91:17c7:1121:547f:7f06:8558:1f73) (Read error: Connection reset by peer) |
2023-11-27 17:52:24 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
2023-11-27 17:52:43 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 256 seconds) |
2023-11-27 17:53:03 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
2023-11-27 17:55:29 +0100 | <ski> | > getZipList ((*) <$> ZipList [0,1,2,3] <*> ZipList [1,10,100,1000]) -- exarkun ? |
2023-11-27 17:55:30 +0100 | <lambdabot> | [0,10,200,3000] |
2023-11-27 17:55:48 +0100 | <ski> | hm, oh. i misread |
2023-11-27 17:57:17 +0100 | <ski> | @let pam = flip map |
2023-11-27 17:57:17 +0100 | <lambdabot> | Defined. |
2023-11-27 17:57:19 +0100 | <ski> | > [0,1,2,3] `pam` \x -> [1,10,100,1000] `pam` \y -> x * y |
2023-11-27 17:57:20 +0100 | <lambdabot> | [[0,0,0,0],[1,10,100,1000],[2,20,200,2000],[3,30,300,3000]] |
2023-11-27 17:57:43 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
2023-11-27 18:00:10 +0100 | <ski> | > [0,1,2,3] `pam` ([1,10,100,1000] `pam`) . (*) -- not that nice .. |
2023-11-27 18:00:12 +0100 | <lambdabot> | [[0,0,0,0],[1,10,100,1000],[2,20,200,2000],[3,30,300,3000]] |
2023-11-27 18:00:35 +0100 | <ski> | (that's after adding infixl 1 `pam` that is) |
2023-11-27 18:01:46 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
2023-11-27 18:02:35 +0100 | CiaoSen | (~Jura@46.167.25.154) (Ping timeout: 268 seconds) |
2023-11-27 18:02:58 +0100 | danza | (~francesco@151.43.236.76) (Ping timeout: 276 seconds) |
2023-11-27 18:05:31 +0100 | <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 18:05:54 +0100 | <idgaen> | it seems: pam == (Functor.<&>) |
2023-11-27 18:06:10 +0100 | <exarkun> | oh yea |
2023-11-27 18:06:36 +0100 | <idgaen> | maybe appart for fixity |
2023-11-27 18:09:17 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:c5ae:90af:10b1:51fe) (Remote host closed the connection) |
2023-11-27 18:09:34 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:c5ae:90af:10b1:51fe) |
2023-11-27 18:10:07 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:ec88:aa8f:d35:98fc) (Ping timeout: 276 seconds) |
2023-11-27 18:10:09 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 256 seconds) |
2023-11-27 18:10:29 +0100 | JeremyB99 | (~JeremyB99@2607:fb91:17c7:1121:547f:7f06:8558:1f73) |
2023-11-27 18:11:10 +0100 | JeremyB99 | (~JeremyB99@2607:fb91:17c7:1121:547f:7f06:8558:1f73) (Read error: Connection reset by peer) |
2023-11-27 18:12:48 +0100 | [exa] | (~exa@user/exa/x-3587197) (Remote host closed the connection) |
2023-11-27 18:13:46 +0100 | <ski> | > (*) <<$>> [0,1,2,3] <<*>> [1,10,100,1000] <<*>> id -- hmm |
2023-11-27 18:13:47 +0100 | <lambdabot> | [[0,0,0,0],[1,10,100,1000],[2,20,200,2000],[3,30,300,3000]] |
2023-11-27 18:14:37 +0100 | <ski> | > (\x y z -> x * y + z) <<$>> [0,1,2] <<*>> [1,10,100] <<*>> [2,3,5] <<*>> id |
2023-11-27 18:14:38 +0100 | <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 18:15:18 +0100 | <ski> | the `<<*>> id' is kinda annoying. with deep sections, i could make this a little bit nicer |
2023-11-27 18:15:55 +0100 | <ski> | > (*) <<$>> ([0,1,2,3] <<*>> [1,10,100,1000] <<|) -- alas |
2023-11-27 18:15:57 +0100 | <lambdabot> | error: |
2023-11-27 18:15:57 +0100 | <lambdabot> | The operator ‘<<|’ [infixr 4] of a section |
2023-11-27 18:15:57 +0100 | <lambdabot> | must have lower precedence than that of the operand, |
2023-11-27 18:17:36 +0100 | <ski> | idgaen : yes. i'm used to defining `pam', from when `&' and `<&>' wasn't a thing |
2023-11-27 18:19:35 +0100 | <idgaen> | i didn't play with haskell at this old time ;) |
2023-11-27 18:20:33 +0100 | <ski> | Haskell is how i got into IRC |
2023-11-27 18:22:45 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:c5ae:90af:10b1:51fe) (Remote host closed the connection) |
2023-11-27 18:28:09 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:c5ae:90af:10b1:51fe) |
2023-11-27 18:30:26 +0100 | chomwitt | (~chomwitt@2a02:587:7a24:bc00:1ac0:4dff:fedb:a3f1) (Read error: Connection reset by peer) |
2023-11-27 18:31:25 +0100 | JeremyB99 | (~JeremyB99@2607:fb91:17c7:1121:547f:7f06:8558:1f73) |
2023-11-27 18:32:54 +0100 | JeremyB99 | (~JeremyB99@2607:fb91:17c7:1121:547f:7f06:8558:1f73) (Read error: Connection reset by peer) |
2023-11-27 18:33:55 +0100 | JeremyB99 | (~JeremyB99@2607:fb91:17c7:1121:547f:7f06:8558:1f73) |
2023-11-27 18:37:29 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2023-11-27 18:38:52 +0100 | <glguy> | Haskell is how I got into IRC and now Haskell is how I talk on IRC |
2023-11-27 18:44:30 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2023-11-27 18:50:27 +0100 | misterfish | (~misterfis@87.215.131.102) (Ping timeout: 260 seconds) |
2023-11-27 18:53:40 +0100 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) |
2023-11-27 18:56:28 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
2023-11-27 18:56:41 +0100 | Alleria | (~JohnGalt@user/alleria) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2023-11-27 18:57:45 +0100 | trev | (~trev@user/trev) |
2023-11-27 19:01:43 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
2023-11-27 19:03:25 +0100 | JeremyB99 | (~JeremyB99@2607:fb91:17c7:1121:547f:7f06:8558:1f73) (Read error: Connection reset by peer) |
2023-11-27 19:04:23 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
2023-11-27 19:05:02 +0100 | mikess | (~sam@user/mikess) |
2023-11-27 19:09:49 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 255 seconds) |
2023-11-27 19:10:34 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:c5ae:90af:10b1:51fe) (Remote host closed the connection) |
2023-11-27 19:11:01 +0100 | Alleria | (~JohnGalt@user/alleria) |
2023-11-27 19:11:17 +0100 | JeremyB99 | (~JeremyB99@2607:fb91:17c7:1121:547f:7f06:8558:1f73) |
2023-11-27 19:11:22 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2023-11-27 19:13:36 +0100 | JeremyB99 | (~JeremyB99@2607:fb91:17c7:1121:547f:7f06:8558:1f73) (Read error: Connection reset by peer) |
2023-11-27 19:16:55 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
2023-11-27 19:17:49 +0100 | JeremyB99 | (~JeremyB99@2607:fb91:17c7:1121:547f:7f06:8558:1f73) |
2023-11-27 19:18:11 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
2023-11-27 19:23:17 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
2023-11-27 19:23:18 +0100 | <zzz> | haskell is how i got into mailing lists |
2023-11-27 19:26:49 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds) |
2023-11-27 19:27:01 +0100 | euleritian | (~euleritia@dynamic-046-114-205-177.46.114.pool.telefonica.de) |
2023-11-27 19:39:45 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:f8a7:a689:ef98:8f08) |
2023-11-27 19:39:46 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:c5ae:90af:10b1:51fe) |
2023-11-27 19:41:26 +0100 | JeremyB99 | (~JeremyB99@2607:fb91:17c7:1121:547f:7f06:8558:1f73) (Read error: Connection reset by peer) |
2023-11-27 19:47:20 +0100 | JeremyB99 | (~JeremyB99@2607:fb91:17c7:1121:547f:7f06:8558:1f73) |
2023-11-27 19:48:01 +0100 | JeremyB99 | (~JeremyB99@2607:fb91:17c7:1121:547f:7f06:8558:1f73) (Read error: Connection reset by peer) |
2023-11-27 19:49:25 +0100 | thegeekinside | (~thegeekin@189.180.53.210) (Remote host closed the connection) |
2023-11-27 19:58:30 +0100 | JeremyB99 | (~JeremyB99@2607:fb91:17c7:1121:547f:7f06:8558:1f73) |
2023-11-27 20:00:42 +0100 | JeremyB99 | (~JeremyB99@2607:fb91:17c7:1121:547f:7f06:8558:1f73) (Read error: Connection reset by peer) |
2023-11-27 20:10:40 +0100 | manwithluck | (manwithluc@gateway/vpn/protonvpn/manwithluck) (Quit: THE END) |
2023-11-27 20:10:59 +0100 | manwithluck | (manwithluc@gateway/vpn/protonvpn/manwithluck) |
2023-11-27 20:12:32 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
2023-11-27 20:14:14 +0100 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
2023-11-27 20:14:34 +0100 | mc47 | (~mc47@xmonad/TheMC47) |
2023-11-27 20:15:25 +0100 | thegeekinside | (~thegeekin@189.180.53.210) |
2023-11-27 20:16:02 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:c5ae:90af:10b1:51fe) (Remote host closed the connection) |
2023-11-27 20:17:38 +0100 | Moyst_ | (~moyst@user/moyst) (Ping timeout: 252 seconds) |
2023-11-27 20:18:33 +0100 | euleritian | (~euleritia@dynamic-046-114-205-177.46.114.pool.telefonica.de) (Ping timeout: 268 seconds) |
2023-11-27 20:18:46 +0100 | target_i | (~target_i@217.175.14.39) |
2023-11-27 20:18:52 +0100 | euleritian | (~euleritia@dynamic-046-114-205-177.46.114.pool.telefonica.de) |
2023-11-27 20:19:33 +0100 | JeremyB99 | (~JeremyB99@2607:fb91:17c7:1121:547f:7f06:8558:1f73) |
2023-11-27 20:20:01 +0100 | JeremyB99 | (~JeremyB99@2607:fb91:17c7:1121:547f:7f06:8558:1f73) (Read error: Connection reset by peer) |
2023-11-27 20:20:25 +0100 | Moyst_ | (~moyst@user/moyst) |
2023-11-27 20:26:45 +0100 | <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 20:27:17 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
2023-11-27 20:29:01 +0100 | <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 20:32:52 +0100 | <ski> | (fwiw, Oz is the language of CTM. Mozart is the implementation) |
2023-11-27 20:32:57 +0100 | <mauke> | https://www.youtube.com/watch?v=0hUNY9V3_TI |
2023-11-27 20:33:01 +0100 | <ski> | @where CTM |
2023-11-27 20:33:01 +0100 | <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 20:35:04 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2023-11-27 20:37:45 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2023-11-27 20:38:28 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds) |
2023-11-27 20:40:30 +0100 | <EvanR> | haskell is too linear?? |
2023-11-27 20:41:14 +0100 | JeremyB99 | (~JeremyB99@2607:fb91:17c7:1121:547f:7f06:8558:1f73) |
2023-11-27 20:41:26 +0100 | <kaol> | I won't try to dig up what someone said 20 years ago. |
2023-11-27 20:42:01 +0100 | derpyxdhs | (~Thunderbi@user/derpyxdhs) |
2023-11-27 20:44:37 +0100 | dwt_ | (~dwt_@2601:2c6:8381:e5c:e82c:bcf5:266d:3c9a) |
2023-11-27 20:44:38 +0100 | <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 20:45:41 +0100 | JeremyB99 | (~JeremyB99@2607:fb91:17c7:1121:547f:7f06:8558:1f73) (Ping timeout: 268 seconds) |
2023-11-27 20:47:27 +0100 | <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 20:48:13 +0100 | <kaol> | Imagine programming with evey variable being a single assignemnt MVar. |
2023-11-27 20:48:28 +0100 | kwii | (~kwii@193.19.201.71) (Ping timeout: 255 seconds) |
2023-11-27 20:49:37 +0100 | <exarkun> | ski: That would be my take. |
2023-11-27 20:50:00 +0100 | <exarkun> | `True || undefined` vs `undefined || True` being the standard example, I think. |
2023-11-27 20:50:30 +0100 | <EvanR> | :t lub |
2023-11-27 20:50:31 +0100 | <lambdabot> | error: |
2023-11-27 20:50:31 +0100 | <lambdabot> | • Variable not in scope: lub |
2023-11-27 20:50:31 +0100 | <lambdabot> | • Perhaps you meant one of these: |
2023-11-27 20:50:41 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:c5ae:90af:10b1:51fe) |
2023-11-27 20:51:16 +0100 | <EvanR> | :: a -> a -> a |
2023-11-27 20:51:58 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 255 seconds) |
2023-11-27 20:52:11 +0100 | <EvanR> | I am now mildly curious about Oz |
2023-11-27 20:55:20 +0100 | <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 20:55:51 +0100 | <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 20:56:21 +0100 | <ski> | bringing a variable into scope, without having associated it to a value yet, is akin to |
2023-11-27 20:56:27 +0100 | <ski> | @hackage ivar-simple |
2023-11-27 20:56:27 +0100 | <lambdabot> | https://hackage.haskell.org/package/ivar-simple |
2023-11-27 20:56:33 +0100 | <ski> | but at a language level, not as a library |
2023-11-27 20:57:34 +0100 | <EvanR> | languagized ivars |
2023-11-27 20:57:37 +0100 | <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 20:58:53 +0100 | <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 20:59:26 +0100 | hgolden | (~hgolden@2603-8000-9d00-3ed1-dd4f-298a-9c49-a0ed.res6.spectrum.com) (Remote host closed the connection) |
2023-11-27 21:00:19 +0100 | <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 21:00:37 +0100 | <ski> | anyway, CTM is aquite neat book. somewhat comparable to SICP, you could say |
2023-11-27 21:00:45 +0100 | <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 21:00:52 +0100 | <ski> | (it's also a heavy tome) |
2023-11-27 21:01:30 +0100 | hgolden | (~hgolden@2603-8000-9d00-3ed1-dd4f-298a-9c49-a0ed.res6.spectrum.com) |
2023-11-27 21:02:53 +0100 | <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 21:02:59 +0100 | <ski> | backtracking and constraint programming, &c.) |
2023-11-27 21:03:18 +0100 | <monochrom> | OTOH I feel bad about tellling my students to buy a us$100 book. |
2023-11-27 21:03:27 +0100 | <ski> | yea .. there's that |
2023-11-27 21:04:32 +0100 | <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 21:05:02 +0100 | <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 21:05:18 +0100 | <monochrom> | But a Principle of Prog Langs books lasts for only one course and very tangential for 99% of students. |
2023-11-27 21:05:44 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:f8a7:a689:ef98:8f08) (Ping timeout: 268 seconds) |
2023-11-27 21:05:47 +0100 | <ski> | it contains a bunch of "principles" that are useful to consider, when you're designing your new language |
2023-11-27 21:05:54 +0100 | <ski> | "Type Completeness Principle : No operation should be arbitrarily restricted in the types of its operands." |
2023-11-27 21:06:06 +0100 | <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 21:06:22 +0100 | <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 21:06:35 +0100 | <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 21:07:48 +0100 | ski | nods to monochrom |
2023-11-27 21:07:52 +0100 | xigua | (~xigua@user/xigua) (Remote host closed the connection) |
2023-11-27 21:08:21 +0100 | [exa] | (~exa@user/exa/x-3587197) |
2023-11-27 21:08:27 +0100 | xigua | (~xigua@user/xigua) |
2023-11-27 21:09:26 +0100 | <monochrom> | Dystopia solution: Principles of Prog Langs should be 3 courses. :D |
2023-11-27 21:09:49 +0100 | <monochrom> | Now it warrants a us$100 book. >:) |
2023-11-27 21:10:38 +0100 | migas9 | (~migas@static.140.65.63.178.clients.your-server.de) (Remote host closed the connection) |
2023-11-27 21:10:55 +0100 | migas9 | (~migas@static.140.65.63.178.clients.your-server.de) |
2023-11-27 21:13:04 +0100 | <ski> | why dystopia ? |
2023-11-27 21:13:20 +0100 | Pickchea | (~private@user/pickchea) |
2023-11-27 21:13:33 +0100 | <ski> | EvanR : yea, `lub' and `lvish' are kinda related to this, as well |
2023-11-27 21:13:33 +0100 | <monochrom> | Ideal but evil. >:) |
2023-11-27 21:13:46 +0100 | ski | . o O ( ideavil ) |
2023-11-27 21:14:06 +0100 | <ski> | @hackage lvish |
2023-11-27 21:14:06 +0100 | <lambdabot> | https://hackage.haskell.org/package/lvish |
2023-11-27 21:15:21 +0100 | chomwitt | (~chomwitt@2a02:587:7a24:bc00:1ac0:4dff:fedb:a3f1) |
2023-11-27 21:22:21 +0100 | phma_ | (~phma@host-67-44-208-32.hnremote.net) |
2023-11-27 21:22:48 +0100 | trev | (~trev@user/trev) (Quit: trev) |
2023-11-27 21:23:31 +0100 | phma | (~phma@2001:5b0:211b:ddc8:706f:10c0:4024:fd94) (Read error: Connection reset by peer) |
2023-11-27 21:27:17 +0100 | phma_ | phma |
2023-11-27 21:28:58 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) |
2023-11-27 21:31:55 +0100 | Ranhir | (~Ranhir@157.97.53.139) (Read error: Connection reset by peer) |
2023-11-27 21:32:04 +0100 | derpyxdhs | (~Thunderbi@user/derpyxdhs) (Quit: derpyxdhs) |
2023-11-27 21:32:34 +0100 | danza | (~francesco@151.19.252.223) |
2023-11-27 21:37:02 +0100 | pavonia | (~user@user/siracusa) |
2023-11-27 21:41:16 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
2023-11-27 21:41:18 +0100 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
2023-11-27 21:41:48 +0100 | kwii | (~kwii@193.19.201.71) |
2023-11-27 21:42:31 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) |
2023-11-27 21:45:37 +0100 | danza | (~francesco@151.19.252.223) (Ping timeout: 255 seconds) |
2023-11-27 21:49:09 +0100 | dwt__ | (~dwt_@2601:2c6:8381:e5c:dd3f:aa26:2c0f:5acf) |
2023-11-27 21:49:49 +0100 | remedan | (~remedan@ip-94-112-0-18.bb.vodafone.cz) (Quit: Bye!) |
2023-11-27 21:50:26 +0100 | dhil | (~dhil@2001:8e0:2014:3100:b2f1:d5be:95a9:417) (Ping timeout: 268 seconds) |
2023-11-27 21:51:05 +0100 | remedan | (~remedan@ip-94-112-0-18.bb.vodafone.cz) |
2023-11-27 21:52:54 +0100 | dwt_ | (~dwt_@2601:2c6:8381:e5c:e82c:bcf5:266d:3c9a) (Ping timeout: 268 seconds) |
2023-11-27 21:57:33 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:f585:6c5a:3238:c393) |
2023-11-27 22:00:15 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
2023-11-27 22:02:24 +0100 | <iqubic> | Are people here ready for Advent Of Code? |
2023-11-27 22:11:44 +0100 | <EvanR> | trying to figure out which language to use |
2023-11-27 22:14:57 +0100 | <exarkun> | have you heard of Oz |
2023-11-27 22:15:04 +0100 | <exarkun> | I hear it's great |
2023-11-27 22:19:32 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:f585:6c5a:3238:c393) (Ping timeout: 256 seconds) |
2023-11-27 22:27:59 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
2023-11-27 22:28:21 +0100 | <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 22:28:36 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
2023-11-27 22:29:28 +0100 | <darkling> | sed? |
2023-11-27 22:29:28 +0100 | <iqubic> | https://dpaste.com/EDC3SXXYY |
2023-11-27 22:29:40 +0100 | <iqubic> | sed might work. |
2023-11-27 22:30:08 +0100 | target_i | (~target_i@217.175.14.39) (Quit: leaving) |
2023-11-27 22:30:27 +0100 | <iqubic> | https://dpaste.com/5A974D9HY |
2023-11-27 22:30:47 +0100 | <iqubic> | That's the example of what I want to do for Day02. |
2023-11-27 22:31:07 +0100 | <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 22:32:33 +0100 | <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 22:32:51 +0100 | <iqubic> | But, I want to do that for all 25 days. |
2023-11-27 22:35:46 +0100 | <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 22:36:11 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
2023-11-27 22:36:51 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
2023-11-27 22:38:08 +0100 | <iqubic> | darkling: I have this: https://dpaste.com/8G7L7NMJE |
2023-11-27 22:38:18 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
2023-11-27 22:38:22 +0100 | <darkling> | nump=$(printf %02d $num) sed -e s/@NUM@/$num/g -e s/@NUMPADDED@/$nump/g <template.hs >day$nump.hs |
2023-11-27 22:38:48 +0100 | <darkling> | I haven't actually run that, but it's close at least. |
2023-11-27 22:39:01 +0100 | <iqubic> | Can I get that to do all 25 days? |
2023-11-27 22:39:12 +0100 | <darkling> | You can wrap it in "for num in $(seq 1 25); do ...; done" |
2023-11-27 22:41:07 +0100 | kwii | (~kwii@193.19.201.71) (Remote host closed the connection) |
2023-11-27 22:41:14 +0100 | <darkling> | Oh, semicolon before the sed. |
2023-11-27 22:41:31 +0100 | <darkling> | And "export" before the initial "nump=" |
2023-11-27 22:43:14 +0100 | <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 22:43:44 +0100 | <iqubic> | Cool.. |
2023-11-27 22:45:56 +0100 | <iqubic> | I've got it working now. Thanks darkling! |
2023-11-27 22:50:22 +0100 | YoungFrog | (~youngfrog@2a02:a03f:ca07:f900:49c4:337a:ff0f:d4e1) (Quit: ZNC 1.7.x-git-3-96481995 - https://znc.in) |
2023-11-27 22:50:42 +0100 | YoungFrog | (~youngfrog@2a02:a03f:ca07:f900:3d37:6f51:8df5:683d) |
2023-11-27 22:51:58 +0100 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
2023-11-27 23:00:29 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
2023-11-27 23:03:28 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
2023-11-27 23:03:50 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
2023-11-27 23:08:10 +0100 | AlienCipher | (~AlienCiph@113.164.176.43) (Quit: Client closed) |
2023-11-27 23:09:49 +0100 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) |
2023-11-27 23:12:05 +0100 | fendor | (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) (Remote host closed the connection) |
2023-11-27 23:12:48 +0100 | remexre | (~remexre@user/remexre) (Ping timeout: 256 seconds) |
2023-11-27 23:13:41 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 268 seconds) |
2023-11-27 23:15:31 +0100 | not_reserved | (~not_reser@45.144.113.233) (Quit: Client closed) |
2023-11-27 23:17:56 +0100 | remexre | (~remexre@user/remexre) |
2023-11-27 23:20:15 +0100 | Guest25 | (~Guest83@c-24-143-111-66.customer.broadstripe.net) |
2023-11-27 23:25:15 +0100 | Pickchea | (~private@user/pickchea) |
2023-11-27 23:25:20 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds) |
2023-11-27 23:26:01 +0100 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 276 seconds) |
2023-11-27 23:27:14 +0100 | hulkavinci | (~user@2a00:23ee:2220:2152:6d77:7e45:63d8:9bbd) |
2023-11-27 23:32:36 +0100 | kspalaiologos | (~kspalaiol@user/kspalaiologos) (Quit: Leaving) |
2023-11-27 23:34:55 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 240 seconds) |
2023-11-27 23:35:44 +0100 | <hulkavinci> | hello |
2023-11-27 23:36:11 +0100 | <hulkavinci> | anybody have a good resource on doing geometry with haskell? both proofs and 2D diagrams etc |
2023-11-27 23:36:16 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
2023-11-27 23:36:18 +0100 | Guest25 | (~Guest83@c-24-143-111-66.customer.broadstripe.net) (Quit: Client closed) |
2023-11-27 23:37:06 +0100 | Sgeo | (~Sgeo@user/sgeo) |
2023-11-27 23:37:09 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 260 seconds) |
2023-11-27 23:38:54 +0100 | <monochrom> | Haskell? LaTeX? :) |
2023-11-27 23:39:03 +0100 | <hulkavinci> | ... |
2023-11-27 23:40:41 +0100 | jrm | (~jrm@user/jrm) (Quit: ciao) |
2023-11-27 23:41:52 +0100 | euleritian | (~euleritia@dynamic-046-114-205-177.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
2023-11-27 23:42:18 +0100 | jrm | (~jrm@user/jrm) |
2023-11-27 23:42:20 +0100 | euleritian | (~euleritia@dynamic-046-114-205-177.46.114.pool.telefonica.de) |
2023-11-27 23:43:07 +0100 | <hulkavinci> | I want something dynamic but don't want to focus on graphics programming etc |
2023-11-27 23:44:05 +0100 | hulkavinci | (~user@2a00:23ee:2220:2152:6d77:7e45:63d8:9bbd) (sayonara) |
2023-11-27 23:45:00 +0100 | euleritian | (~euleritia@dynamic-046-114-205-177.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
2023-11-27 23:45:13 +0100 | notzmv | (~zmv@user/notzmv) (Ping timeout: 246 seconds) |
2023-11-27 23:45:17 +0100 | euleritian | (~euleritia@dynamic-046-114-205-177.46.114.pool.telefonica.de) |
2023-11-27 23:45:54 +0100 | <ski> | maybe `diagrams' ? |
2023-11-27 23:46:10 +0100 | euleritian | (~euleritia@dynamic-046-114-205-177.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
2023-11-27 23:46:41 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2023-11-27 23:48:22 +0100 | mikess | (~sam@user/mikess) (Read error: Connection reset by peer) |
2023-11-27 23:48:23 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2023-11-27 23:48:43 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2023-11-27 23:50:43 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2023-11-27 23:52:14 +0100 | euleritian | (~euleritia@dynamic-046-114-205-177.46.114.pool.telefonica.de) |
2023-11-27 23:52:16 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
2023-11-27 23:53:27 +0100 | euleritian | (~euleritia@dynamic-046-114-205-177.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
2023-11-27 23:53:51 +0100 | euleritian | (~euleritia@dynamic-046-114-205-177.46.114.pool.telefonica.de) |
2023-11-27 23:54:37 +0100 | acidjnk | (~acidjnk@p200300d6e72b935790ce6c45c9ff7d13.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
2023-11-27 23:54:37 +0100 | euleritian | (~euleritia@dynamic-046-114-205-177.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
2023-11-27 23:55:05 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2023-11-27 23:55:35 +0100 | Axma32854 | Axman6 |
2023-11-27 23:56:24 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2023-11-27 23:57:00 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2023-11-27 23:57:11 +0100 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) (Quit: oo_miguel) |
2023-11-27 23:59:00 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |