2025-08-15 00:03:01 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
2025-08-15 00:07:36 +0200 | sprotte24 | (~sprotte24@p200300d16f11dd0054b8219bc5fe5604.dip0.t-ipconnect.de) (Quit: Leaving) |
2025-08-15 00:11:36 +0200 | Taneb | (~Taneb@ip87-106-35-210.pbiaas.com) Taneb |
2025-08-15 00:24:47 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
2025-08-15 00:25:14 +0200 | athan | (~athan@syn-047-132-161-157.res.spectrum.com) athan |
2025-08-15 00:28:12 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
2025-08-15 00:31:56 +0200 | AlexZenon | (~alzenon@178.34.150.240) (Ping timeout: 272 seconds) |
2025-08-15 00:33:21 +0200 | sprotte24 | (~sprotte24@p200300d16f11dd0054b8219bc5fe5604.dip0.t-ipconnect.de) |
2025-08-15 00:33:22 +0200 | sprotte24 | (~sprotte24@p200300d16f11dd0054b8219bc5fe5604.dip0.t-ipconnect.de) (Remote host closed the connection) |
2025-08-15 00:39:49 +0200 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 248 seconds) |
2025-08-15 00:40:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-15 00:41:17 +0200 | AlexZenon | (~alzenon@178.34.150.240) |
2025-08-15 00:43:18 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
2025-08-15 00:47:10 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds) |
2025-08-15 00:47:10 +0200 | ljdarj1 | ljdarj |
2025-08-15 00:47:32 +0200 | op_4 | (~tslil@user/op-4/x-9116473) (Server closed connection) |
2025-08-15 00:47:45 +0200 | op_4 | (~tslil@user/op-4/x-9116473) op_4 |
2025-08-15 00:49:57 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-08-15 00:50:25 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
2025-08-15 00:59:18 +0200 | trickard_ | (~trickard@cpe-88-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-08-15 00:59:31 +0200 | trickard_ | (~trickard@cpe-88-98-47-163.wireline.com.au) |
2025-08-15 01:02:28 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds) |
2025-08-15 01:06:18 +0200 | davidlbowman | (~dlb@user/davidlbowman) davidlbowman |
2025-08-15 01:09:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
2025-08-15 01:19:39 +0200 | xff0x | (~xff0x@2405:6580:b080:900:86d4:8706:5c5f:d5c) (Ping timeout: 252 seconds) |
2025-08-15 01:21:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-15 01:28:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-08-15 01:37:30 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Remote host closed the connection) |
2025-08-15 01:37:52 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 255 seconds) |
2025-08-15 01:39:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-15 01:39:42 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Ping timeout: 260 seconds) |
2025-08-15 01:40:59 +0200 | xff0x | (~xff0x@2405:6580:b080:900:86d4:8706:5c5f:d5c) |
2025-08-15 01:41:56 +0200 | dunj3 | (~dunj3@2a01:239:328:1600::1) (Server closed connection) |
2025-08-15 01:42:10 +0200 | dunj3 | (~dunj3@2a01:239:328:1600::1) |
2025-08-15 01:43:12 +0200 | tremon | (~tremon@83.80.159.219) (Ping timeout: 252 seconds) |
2025-08-15 01:43:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
2025-08-15 01:51:32 +0200 | trickard_ | (~trickard@cpe-88-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-08-15 01:51:46 +0200 | trickard_ | (~trickard@cpe-88-98-47-163.wireline.com.au) |
2025-08-15 01:54:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-15 01:57:05 +0200 | glguy | (glguy@libera/staff/glguy) glguy |
2025-08-15 01:58:02 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
2025-08-15 01:58:41 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
2025-08-15 01:59:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-08-15 02:01:30 +0200 | trickard_ | trickard |
2025-08-15 02:01:54 +0200 | acidjnk | (~acidjnk@p200300d6e7171985495adaceecd6b03f.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
2025-08-15 02:02:53 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
2025-08-15 02:03:50 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) Feuermagier |
2025-08-15 02:05:48 +0200 | trickard | (~trickard@cpe-88-98-47-163.wireline.com.au) (Ping timeout: 245 seconds) |
2025-08-15 02:09:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-15 02:12:19 +0200 | tv | (~tv@user/tv) (Read error: Connection reset by peer) |
2025-08-15 02:15:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-08-15 02:16:10 +0200 | tremon | (~tremon@83.80.159.219) tremon |
2025-08-15 02:18:58 +0200 | trickard_ | (~trickard@cpe-88-98-47-163.wireline.com.au) |
2025-08-15 02:19:49 +0200 | ackthet | (~ackthet@user/ackthet) ackthet |
2025-08-15 02:25:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-15 02:29:22 +0200 | <ackthet> | i know people hate this question but where do people recommend getting started w/ haskell? background in C++, now mostly rust dev. non-tradiation CS background (technically physicist). I like to learn via explanation -> example (rust book i found was a good mix) |
2025-08-15 02:30:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-08-15 02:33:46 +0200 | <jreicher> | I think Learn You a Good Haskell is still good? |
2025-08-15 02:34:12 +0200 | <jreicher> | Sorry mangled that title |
2025-08-15 02:34:45 +0200 | <jreicher> | https://learnyouahaskell.github.io/ |
2025-08-15 02:39:24 +0200 | <yegor> | i guess that means it's no good after all |
2025-08-15 02:40:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-15 02:41:05 +0200 | <jreicher> | It can be used for good. Would be interesting to see it used for evil though. I'm curious about that now. |
2025-08-15 02:43:37 +0200 | <geekosaur> | Anduril, by repute |
2025-08-15 02:45:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-08-15 02:49:03 +0200 | <jreicher> | They're using Haskell? |
2025-08-15 02:49:17 +0200 | <jreicher> | I guess Jane Street might be considered a little evil too. |
2025-08-15 02:49:49 +0200 | <jreicher> | Oh actually they might be on ocaml. I should check |
2025-08-15 02:51:27 +0200 | xff0x | (~xff0x@2405:6580:b080:900:86d4:8706:5c5f:d5c) (Ping timeout: 260 seconds) |
2025-08-15 02:51:40 +0200 | <geekosaur> | they're ocaml |
2025-08-15 02:51:50 +0200 | <geekosaur> | mutant ocaml, is my understanding |
2025-08-15 02:54:26 +0200 | Idklmaokhe | (~Idklmaokh@190.97.253.6) |
2025-08-15 02:56:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-15 02:56:48 +0200 | Spawns_Carpeting | (~mobile@user/spawns-carpeting/x-6969421) (Quit: ZNC 1.9.1 - https://znc.in) |
2025-08-15 02:58:12 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-08-15 02:59:06 +0200 | Spawns_Carpeting | (~mobile@user/spawns-carpeting/x-6969421) Spawns_Carpeting |
2025-08-15 03:01:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-08-15 03:01:18 +0200 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
2025-08-15 03:01:36 +0200 | weary-traveler | (~user@user/user363627) user363627 |
2025-08-15 03:01:57 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 260 seconds) |
2025-08-15 03:03:11 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
2025-08-15 03:06:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-15 03:08:04 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 260 seconds) |
2025-08-15 03:09:15 +0200 | <probie> | My understanding is the Jane Street is on regular OCaml, but with a different standard library (e.g. it'd be like Haskell, but with relude) |
2025-08-15 03:10:03 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
2025-08-15 03:11:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-08-15 03:12:20 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Client Quit) |
2025-08-15 03:14:03 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
2025-08-15 03:16:34 +0200 | batbyte | (~batbyte@172-79-46-231.nrwc.ny.frontiernet.net) |
2025-08-15 03:19:20 +0200 | Idklmaokhe | (~Idklmaokh@190.97.253.6) (Quit: Client closed) |
2025-08-15 03:22:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-15 03:25:39 +0200 | Feuermagier | Guest550 |
2025-08-15 03:25:39 +0200 | Guest550 | (~Feuermagi@user/feuermagier) (Killed (molybdenum.libera.chat (Nickname regained by services))) |
2025-08-15 03:25:39 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) Feuermagier |
2025-08-15 03:28:48 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) (Client Quit) |
2025-08-15 03:29:31 +0200 | lol_ | jcarpenter2 |
2025-08-15 03:29:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-08-15 03:30:07 +0200 | <haskellbridge> | <Jack> As a side note, alternative preludes are so cool. I wish every language had them |
2025-08-15 03:30:58 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
2025-08-15 03:31:05 +0200 | <jreicher> | I've never thought about that, but it makes a lot of sense. I wonder if Kent Recursive Calculator had it. |
2025-08-15 03:32:17 +0200 | ft | (~ft@p508dba54.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
2025-08-15 03:33:52 +0200 | ft | (~ft@p508db692.dip0.t-ipconnect.de) ft |
2025-08-15 03:34:26 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
2025-08-15 03:35:19 +0200 | danso | (~danso@user/danso) (Ping timeout: 255 seconds) |
2025-08-15 03:35:41 +0200 | danso | (~danso@user/danso) danso |
2025-08-15 03:38:30 +0200 | <jreicher> | Yep it did. The -l arg. |
2025-08-15 03:40:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-15 03:44:48 +0200 | trickard_ | trickard |
2025-08-15 03:45:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-08-15 03:47:41 +0200 | yangby | (~secret@115.205.231.82) yangby |
2025-08-15 03:51:20 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
2025-08-15 03:55:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-15 04:00:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
2025-08-15 04:11:04 +0200 | td_ | (~td@i53870938.versanet.de) (Ping timeout: 260 seconds) |
2025-08-15 04:11:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-15 04:12:29 +0200 | inline | (~inline@ip-005-146-197-054.um05.pools.vodafone-ip.de) (Quit: Leaving) |
2025-08-15 04:12:46 +0200 | td_ | (~td@i53870931.versanet.de) |
2025-08-15 04:15:18 +0200 | batbyte_ | (~batbyte@52.sub-174-215-208.myvzw.com) |
2025-08-15 04:15:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-08-15 04:19:09 +0200 | batbyte | (~batbyte@172-79-46-231.nrwc.ny.frontiernet.net) (Ping timeout: 276 seconds) |
2025-08-15 04:20:13 +0200 | myxos | (~myxos@syn-065-028-251-121.res.spectrum.com) (Remote host closed the connection) |
2025-08-15 04:20:47 +0200 | trickard | (~trickard@cpe-88-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-08-15 04:21:01 +0200 | trickard_ | (~trickard@cpe-88-98-47-163.wireline.com.au) |
2025-08-15 04:21:55 +0200 | tremon | (~tremon@83.80.159.219) (Remote host closed the connection) |
2025-08-15 04:23:01 +0200 | hololeap | (~quassel@user/hololeap) hololeap |
2025-08-15 04:26:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-15 04:30:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-08-15 04:31:30 +0200 | batbyte_ | (~batbyte@52.sub-174-215-208.myvzw.com) (Ping timeout: 252 seconds) |
2025-08-15 04:35:50 +0200 | trickard_ | (~trickard@cpe-88-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-08-15 04:36:03 +0200 | trickard_ | (~trickard@cpe-88-98-47-163.wireline.com.au) |
2025-08-15 04:39:53 +0200 | myxos | (~myxos@syn-065-028-251-121.res.spectrum.com) myxokephale |
2025-08-15 04:41:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-15 04:46:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-08-15 04:47:01 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) (Ping timeout: 276 seconds) |
2025-08-15 04:53:04 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
2025-08-15 04:54:07 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) amadaluzia |
2025-08-15 04:57:14 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) (Read error: Connection reset by peer) |
2025-08-15 04:57:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-15 04:57:34 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) amadaluzia |
2025-08-15 04:58:50 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) (Remote host closed the connection) |
2025-08-15 05:00:01 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) amadaluzia |
2025-08-15 05:03:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
2025-08-15 05:15:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-15 05:15:34 +0200 | aforemny | (~aforemny@2001:9e8:6cc7:9c00:e76d:c479:de30:f450) aforemny |
2025-08-15 05:16:07 +0200 | aforemny_ | (~aforemny@2001:9e8:6ce8:1800:d6a7:aaeb:8c84:6bc7) (Ping timeout: 260 seconds) |
2025-08-15 05:17:34 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) (Quit: You) |
2025-08-15 05:19:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-08-15 05:20:47 +0200 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
2025-08-15 05:21:06 +0200 | weary-traveler | (~user@user/user363627) user363627 |
2025-08-15 05:21:33 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
2025-08-15 05:30:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-15 05:35:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-08-15 05:41:39 +0200 | trickard_ | trickard |
2025-08-15 05:46:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-15 05:50:32 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Remote host closed the connection) |
2025-08-15 05:51:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-08-15 05:51:25 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2025-08-15 06:01:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-15 06:06:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-08-15 06:07:44 +0200 | davidlbowman | (~dlb@user/davidlbowman) (Ping timeout: 260 seconds) |
2025-08-15 06:09:51 +0200 | davidlbowman | (~dlb@user/davidlbowman) davidlbowman |
2025-08-15 06:12:52 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
2025-08-15 06:13:31 +0200 | hsw | (~hsw@112-104-9-97.adsl.dynamic.seed.net.tw) (Remote host closed the connection) |
2025-08-15 06:13:50 +0200 | hsw | (~hsw@112-104-9-97.adsl.dynamic.seed.net.tw) hsw |
2025-08-15 06:16:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-15 06:17:10 +0200 | haskellbridge | (~hackager@syn-096-028-224-214.res.spectrum.com) (Remote host closed the connection) |
2025-08-15 06:17:13 +0200 | mange | (~mange@user/mange) mange |
2025-08-15 06:17:53 +0200 | haskellbridge | (~hackager@syn-096-028-224-214.res.spectrum.com) hackager |
2025-08-15 06:17:53 +0200 | ChanServ | +v haskellbridge |
2025-08-15 06:21:08 +0200 | tt12310978324354 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Quit: Ping timeout (120 seconds)) |
2025-08-15 06:21:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
2025-08-15 06:26:16 +0200 | tt12310978324354 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) tt1231 |
2025-08-15 06:29:02 +0200 | monochrom | (trebla@216.138.220.146) (Quit: ZNC 1.9.1+deb2build2 - https://znc.in) |
2025-08-15 06:30:51 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 252 seconds) |
2025-08-15 06:32:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-15 06:38:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-08-15 06:38:53 +0200 | monochrom | (trebla@216.138.220.146) |
2025-08-15 06:46:58 +0200 | Guest8885 | (~r@138.25.4.67) |
2025-08-15 06:49:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-15 06:52:35 +0200 | fgarcia_ | (~lei@user/fgarcia) fgarcia |
2025-08-15 06:53:50 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 272 seconds) |
2025-08-15 06:54:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-08-15 06:55:06 +0200 | fgarcia | (~lei@user/fgarcia) (Ping timeout: 272 seconds) |
2025-08-15 06:57:26 +0200 | Guest8885 | (~r@138.25.4.67) (Quit: Lost terminal) |
2025-08-15 06:57:35 +0200 | fgarcia_ | fgarcia |
2025-08-15 07:00:03 +0200 | trickard | (~trickard@cpe-88-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-08-15 07:00:17 +0200 | trickard_ | (~trickard@cpe-88-98-47-163.wireline.com.au) |
2025-08-15 07:01:24 +0200 | notzmv | (~umar@user/notzmv) (Ping timeout: 252 seconds) |
2025-08-15 07:01:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-15 07:02:03 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
2025-08-15 07:06:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-08-15 07:06:52 +0200 | trickard_ | (~trickard@cpe-88-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-08-15 07:07:27 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
2025-08-15 07:11:03 +0200 | trickard_ | (~trickard@cpe-88-98-47-163.wireline.com.au) |
2025-08-15 07:11:20 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
2025-08-15 07:12:09 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
2025-08-15 07:16:08 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
2025-08-15 07:17:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-15 07:19:48 +0200 | jespada | (~jespada@2800:a4:221c:d00:5878:108c:d6ec:98c9) (Ping timeout: 272 seconds) |
2025-08-15 07:21:14 +0200 | jespada | (~jespada@r179-25-207-70.dialup.adsl.anteldata.net.uy) jespada |
2025-08-15 07:22:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
2025-08-15 07:32:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-15 07:37:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-08-15 07:42:22 +0200 | davidlbowman | (~dlb@user/davidlbowman) (Ping timeout: 255 seconds) |
2025-08-15 07:42:34 +0200 | trickard__ | (~trickard@cpe-90-98-47-163.wireline.com.au) |
2025-08-15 07:43:16 +0200 | trickard_ | (~trickard@cpe-88-98-47-163.wireline.com.au) (Ping timeout: 255 seconds) |
2025-08-15 07:48:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-15 07:52:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-08-15 07:55:14 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
2025-08-15 08:01:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-15 08:04:15 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli) |
2025-08-15 08:05:51 +0200 | Square2 | (~Square@user/square) Square |
2025-08-15 08:06:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-08-15 08:08:54 +0200 | trickard__ | (~trickard@cpe-90-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-08-15 08:09:07 +0200 | trickard_ | (~trickard@cpe-90-98-47-163.wireline.com.au) |
2025-08-15 08:09:15 +0200 | Square | (~Square4@user/square) (Ping timeout: 276 seconds) |
2025-08-15 08:10:14 +0200 | tromp | (~textual@2001:1c00:3487:1b00:b18c:352c:ad0a:c01) |
2025-08-15 08:15:36 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
2025-08-15 08:17:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-15 08:21:19 +0200 | ft | (~ft@p508db692.dip0.t-ipconnect.de) (Quit: leaving) |
2025-08-15 08:22:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-08-15 08:22:26 +0200 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-08-15 08:23:10 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
2025-08-15 08:32:08 +0200 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) smalltalkman |
2025-08-15 08:32:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-15 08:36:17 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
2025-08-15 08:37:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
2025-08-15 08:40:37 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
2025-08-15 08:48:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-15 08:48:24 +0200 | trickard_ | (~trickard@cpe-90-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-08-15 08:48:38 +0200 | trickard_ | (~trickard@cpe-90-98-47-163.wireline.com.au) |
2025-08-15 08:50:18 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 252 seconds) |
2025-08-15 08:52:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-08-15 09:00:00 +0200 | caconym747 | (~caconym@user/caconym) (Quit: bye) |
2025-08-15 09:00:47 +0200 | caconym747 | (~caconym@user/caconym) caconym |
2025-08-15 09:02:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-15 09:04:50 +0200 | __monty__ | (~toonn@user/toonn) toonn |
2025-08-15 09:07:39 +0200 | acidjnk | (~acidjnk@p200300d6e717199140d54613c84319c8.dip0.t-ipconnect.de) acidjnk |
2025-08-15 09:08:15 +0200 | tromp | (~textual@2001:1c00:3487:1b00:b18c:352c:ad0a:c01) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-08-15 09:09:42 +0200 | tromp | (~textual@2001:1c00:3487:1b00:b18c:352c:ad0a:c01) |
2025-08-15 09:10:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-08-15 09:10:29 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
2025-08-15 09:11:41 +0200 | pyooque | (~puke@user/puke) puke |
2025-08-15 09:11:41 +0200 | puke | Guest7282 |
2025-08-15 09:11:41 +0200 | Guest7282 | (~puke@user/puke) (Killed (molybdenum.libera.chat (Nickname regained by services))) |
2025-08-15 09:11:41 +0200 | pyooque | puke |
2025-08-15 09:13:28 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
2025-08-15 09:13:43 +0200 | notzmv | (~umar@user/notzmv) notzmv |
2025-08-15 09:20:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-15 09:23:42 +0200 | elbear | (~lucian@109.166.131.102) |
2025-08-15 09:25:33 +0200 | tromp | (~textual@2001:1c00:3487:1b00:b18c:352c:ad0a:c01) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-08-15 09:29:16 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2025-08-15 09:38:31 +0200 | tomboy64 | (~tomboy64@user/tomboy64) (Read error: Connection reset by peer) |
2025-08-15 09:38:46 +0200 | tomboy64 | (~tomboy64@user/tomboy64) tomboy64 |
2025-08-15 09:40:57 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
2025-08-15 09:43:30 +0200 | puke | (~puke@user/puke) (Ping timeout: 276 seconds) |
2025-08-15 09:47:51 +0200 | puke | (~puke@user/puke) puke |
2025-08-15 09:58:27 +0200 | chele | (~chele@user/chele) chele |
2025-08-15 10:04:34 +0200 | elbear | (~lucian@109.166.131.102) (Ping timeout: 260 seconds) |
2025-08-15 10:04:51 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
2025-08-15 10:05:49 +0200 | trickard_ | (~trickard@cpe-90-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-08-15 10:06:02 +0200 | trickard_ | (~trickard@cpe-90-98-47-163.wireline.com.au) |
2025-08-15 10:08:20 +0200 | tromp | (~textual@2001:1c00:3487:1b00:b18c:352c:ad0a:c01) |
2025-08-15 10:26:00 +0200 | tromp | (~textual@2001:1c00:3487:1b00:b18c:352c:ad0a:c01) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-08-15 10:27:08 +0200 | elbear | (~lucian@109.166.131.102) |
2025-08-15 10:32:58 +0200 | Square2 | (~Square@user/square) (Ping timeout: 252 seconds) |
2025-08-15 10:39:27 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 252 seconds) |
2025-08-15 10:42:39 +0200 | trickard_ | trickard |
2025-08-15 10:44:28 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
2025-08-15 11:01:35 +0200 | trickard | (~trickard@cpe-90-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-08-15 11:01:49 +0200 | trickard_ | (~trickard@cpe-90-98-47-163.wireline.com.au) |
2025-08-15 11:04:12 +0200 | elbear | (~lucian@109.166.131.102) (Ping timeout: 252 seconds) |
2025-08-15 11:05:56 +0200 | biberu | (~biberu@user/biberu) biberu |
2025-08-15 11:29:34 +0200 | <ackthet> | I feel like LYAH teaches you the syntax but not the complex topics |
2025-08-15 11:29:46 +0200 | <ackthet> | thats just my impression. i tried it many years ago. |
2025-08-15 11:35:27 +0200 | Xe_ | (~Xe@perl/impostor/xe) Xe |
2025-08-15 11:35:40 +0200 | Xe | (~Xe@perl/impostor/xe) (Ping timeout: 252 seconds) |
2025-08-15 11:44:19 +0200 | Square2 | (~Square@user/square) Square |
2025-08-15 11:44:28 +0200 | <ncf> | i still recommend the wikibook https://en.wikibooks.org/wiki/Haskell |
2025-08-15 11:48:17 +0200 | tromp | (~textual@2001:1c00:3487:1b00:b18c:352c:ad0a:c01) |
2025-08-15 11:50:24 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
2025-08-15 12:02:14 +0200 | fp | (~Thunderbi@87-92-180-212.rev.dnainternet.fi) fp |
2025-08-15 12:02:40 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
2025-08-15 12:03:31 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2) |
2025-08-15 12:11:06 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
2025-08-15 12:12:52 +0200 | poscat0x04 | (~poscat@user/poscat) poscat |
2025-08-15 12:13:34 +0200 | <merijn> | ackthet: LYAH is not a particularly pedagogically solid book |
2025-08-15 12:13:43 +0200 | poscat0x04 | (~poscat@user/poscat) (Remote host closed the connection) |
2025-08-15 12:13:55 +0200 | poscat0x04 | (~poscat@user/poscat) poscat |
2025-08-15 12:14:06 +0200 | <merijn> | It's culturally significant in that it was the first accessible intro text to Haskell when it was written and thus got a lot of people into Haskell |
2025-08-15 12:14:19 +0200 | <merijn> | But it's not particularly good from an education point of view |
2025-08-15 12:14:25 +0200 | Lycurgus | lmao's |
2025-08-15 12:14:29 +0200 | <merijn> | for exactly the reason you give and many others |
2025-08-15 12:14:41 +0200 | <merijn> | Not to mention being rather out-of-date by now |
2025-08-15 12:14:45 +0200 | poscat | (~poscat@user/poscat) (Ping timeout: 248 seconds) |
2025-08-15 12:15:40 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2025-08-15 12:16:25 +0200 | <probie> | I found Real World Haskell a much better introduction, but it simply didn't age well |
2025-08-15 12:16:32 +0200 | <int-e> | I hate the LYAH title so much. |
2025-08-15 12:17:28 +0200 | Square2 | (~Square@user/square) (Ping timeout: 252 seconds) |
2025-08-15 12:17:41 +0200 | trickard_ | (~trickard@cpe-90-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-08-15 12:17:56 +0200 | trickard_ | (~trickard@cpe-90-98-47-163.wireline.com.au) |
2025-08-15 12:18:16 +0200 | <Lycurgus> | interesting that the auther let's it go offline, doesn apparently care |
2025-08-15 12:18:40 +0200 | <Lycurgus> | i srsly doubt anything else he's done has had a comparable impact |
2025-08-15 12:18:43 +0200 | <probie> | It's not like hosting is free |
2025-08-15 12:18:50 +0200 | <merijn> | probie: I mean, it kinda is |
2025-08-15 12:18:50 +0200 | <int-e> | (Would you buy a Haskell book whose title doesn't even type-check? (I know it's freely available too. I've read a few bits and they seemed... okay.)) |
2025-08-15 12:19:21 +0200 | <Lycurgus> | *author |
2025-08-15 12:19:22 +0200 | <merijn> | Hosting a site like LYAH, completely static, no updates, that's a few bucks a month |
2025-08-15 12:19:34 +0200 | <Lycurgus> | *lets |
2025-08-15 12:19:34 +0200 | <merijn> | Lycurgus: Life happens |
2025-08-15 12:20:10 +0200 | <Lycurgus> | sure, but that's his magnum opus so far |
2025-08-15 12:20:26 +0200 | <yushyin> | i liked the simple "A Gentle Introduction to Haskell" tutorial |
2025-08-15 12:20:33 +0200 | <int-e> | (And when I use present tense I'm referring to the unofficial https://learnyouahaskell.github.io/ ) |
2025-08-15 12:20:52 +0200 | <Lycurgus> | maybe he was sensitive to the haters and has academic or other pretensions which it embarasses |
2025-08-15 12:20:58 +0200 | <merijn> | @quote gentle.intro |
2025-08-15 12:20:58 +0200 | <lambdabot> | Brend says: Whoever chose the title "A Gentle Introduction to Haskell" is obviously accustomed to wrestling bears in piranha pits or something. |
2025-08-15 12:21:16 +0200 | <int-e> | yushyin: it's kind of inaccessible if you don't have a solid CS background |
2025-08-15 12:21:23 +0200 | <int-e> | "gentle" |
2025-08-15 12:22:44 +0200 | <Lycurgus> | i'm banned from the official chat channel on this network for usin u and ur and stuff |
2025-08-15 12:22:58 +0200 | <Lycurgus> | but specifically "u" |
2025-08-15 12:23:15 +0200 | <int-e> | sounds fair to me :P |
2025-08-15 12:23:28 +0200 | <Lycurgus> | >: |
2025-08-15 12:23:56 +0200 | <yushyin> | int-e: true, but with CS or programming background, I found it short and concise enough to quickly learn the basics and then be able to read other resources |
2025-08-15 12:24:25 +0200 | <probie> | Lycurgus: It's a thing he once wrote to help people learn Haskell. Why should he be expected to maintain it in perpetuity for free? |
2025-08-15 12:25:20 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
2025-08-15 12:25:34 +0200 | <Lycurgus> | if u have a property which is well known and used it's in your interest to maintain it |
2025-08-15 12:25:51 +0200 | <int-e> | yushyin: Right. s/gentle/concise/ and I'm on board. It's useful and covers a significant amount of ground, if you can follow along with it. |
2025-08-15 12:26:00 +0200 | <Lycurgus> | i image the paper book is still selling |
2025-08-15 12:26:10 +0200 | <Lycurgus> | *imagine |
2025-08-15 12:26:13 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.5.2) |
2025-08-15 12:29:36 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
2025-08-15 12:35:29 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
2025-08-15 12:37:23 +0200 | sprotte24 | (~sprotte24@p200300d16f1c45000d1d64d327723fca.dip0.t-ipconnect.de) |
2025-08-15 12:41:58 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
2025-08-15 12:44:57 +0200 | inline | (~inline@ip-005-146-197-054.um05.pools.vodafone-ip.de) Inline |
2025-08-15 12:48:29 +0200 | sprotte24 | (~sprotte24@p200300d16f1c45000d1d64d327723fca.dip0.t-ipconnect.de) (Quit: Leaving) |
2025-08-15 12:51:05 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
2025-08-15 12:51:19 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
2025-08-15 12:51:30 +0200 | <int-e> | Lycurgus: It is still selling, yeah. But it hasn't been updated since 2011. (Hmm. ebook for $36, print book only $9 more? That's an interesting pricing scheme... maybe they printed too many and still have some in stock.) |
2025-08-15 12:55:15 +0200 | elbear | (~lucian@109.166.131.102) |
2025-08-15 12:58:04 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
2025-08-15 13:02:33 +0200 | trickard___ | (~trickard@cpe-89-98-47-163.wireline.com.au) |
2025-08-15 13:02:42 +0200 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (Quit: WeeChat 4.7.0) |
2025-08-15 13:03:14 +0200 | trickard___ | trickard |
2025-08-15 13:03:45 +0200 | trickard_ | (~trickard@cpe-90-98-47-163.wireline.com.au) (Ping timeout: 248 seconds) |
2025-08-15 13:04:05 +0200 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) NinjaTrappeur |
2025-08-15 13:15:57 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.5.2) |
2025-08-15 13:16:43 +0200 | trickard | (~trickard@cpe-89-98-47-163.wireline.com.au) (Ping timeout: 255 seconds) |
2025-08-15 13:17:08 +0200 | trickard_ | (~trickard@cpe-89-98-47-163.wireline.com.au) |
2025-08-15 13:22:17 +0200 | fp | (~Thunderbi@87-92-180-212.rev.dnainternet.fi) (Remote host closed the connection) |
2025-08-15 13:23:28 +0200 | elbear | (~lucian@109.166.131.102) (Ping timeout: 252 seconds) |
2025-08-15 13:24:30 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 276 seconds) |
2025-08-15 13:27:52 +0200 | fp | (~Thunderbi@87-92-180-212.rev.dnainternet.fi) fp |
2025-08-15 13:31:25 +0200 | ft | (~ft@p508db692.dip0.t-ipconnect.de) ft |
2025-08-15 13:31:50 +0200 | trickard_ | trickard |
2025-08-15 13:36:44 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
2025-08-15 13:38:46 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Client Quit) |
2025-08-15 13:42:00 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2025-08-15 13:42:01 +0200 | jackdk | (uid373013@cssa/life/jackdk) jackdk |
2025-08-15 13:42:28 +0200 | cyphase | (~cyphase@user/cyphase) (Server closed connection) |
2025-08-15 13:42:51 +0200 | cyphase | (~cyphase@user/cyphase) cyphase |
2025-08-15 13:45:10 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2025-08-15 13:45:45 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
2025-08-15 13:48:22 +0200 | fp | (~Thunderbi@87-92-180-212.rev.dnainternet.fi) (Remote host closed the connection) |
2025-08-15 13:48:51 +0200 | fp | (~Thunderbi@87-92-180-212.rev.dnainternet.fi) fp |
2025-08-15 13:55:06 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.5.2) |
2025-08-15 14:00:24 +0200 | trickard | (~trickard@cpe-89-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-08-15 14:00:37 +0200 | trickard_ | (~trickard@cpe-89-98-47-163.wireline.com.au) |
2025-08-15 14:06:15 +0200 | xff0x | (~xff0x@2405:6580:b080:900:8ac7:c97c:7d4f:117d) |
2025-08-15 14:07:23 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
2025-08-15 14:08:03 +0200 | weary-traveler | (~user@user/user363627) user363627 |
2025-08-15 14:13:16 +0200 | trickard_ | trickard |
2025-08-15 14:17:48 +0200 | tromp | (~textual@2001:1c00:3487:1b00:b18c:352c:ad0a:c01) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-08-15 14:19:56 +0200 | fp | (~Thunderbi@87-92-180-212.rev.dnainternet.fi) (Ping timeout: 252 seconds) |
2025-08-15 14:23:25 +0200 | Everything | (~Everythin@static.208.206.21.65.clients.your-server.de) Everything |
2025-08-15 14:24:20 +0200 | trickard | (~trickard@cpe-89-98-47-163.wireline.com.au) (Ping timeout: 252 seconds) |
2025-08-15 14:24:41 +0200 | trickard_ | (~trickard@cpe-89-98-47-163.wireline.com.au) |
2025-08-15 14:31:46 +0200 | davidlbowman | (~dlb@user/davidlbowman) davidlbowman |
2025-08-15 14:38:13 +0200 | trickard_ | (~trickard@cpe-89-98-47-163.wireline.com.au) (Ping timeout: 248 seconds) |
2025-08-15 14:42:22 +0200 | trickard_ | (~trickard@cpe-89-98-47-163.wireline.com.au) |
2025-08-15 14:43:35 +0200 | Guest59 | (~Guest59@2a02:c7c:7cde:5300:19d4:d9a8:a71d:9d6b) |
2025-08-15 14:43:51 +0200 | Guest59 | (~Guest59@2a02:c7c:7cde:5300:19d4:d9a8:a71d:9d6b) (Client Quit) |
2025-08-15 14:44:18 +0200 | tromp | (~textual@2001:1c00:3487:1b00:b18c:352c:ad0a:c01) |
2025-08-15 14:44:43 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) amadaluzia |
2025-08-15 14:47:45 +0200 | jespada_ | (~jespada@2800:a4:2208:2a00:4f6:2bdf:cef8:c84f) jespada |
2025-08-15 14:49:52 +0200 | jespada | (~jespada@r179-25-207-70.dialup.adsl.anteldata.net.uy) (Ping timeout: 255 seconds) |
2025-08-15 15:00:26 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
2025-08-15 15:02:19 +0200 | Guest4611 | (~Andrei@109.86.217.193) |
2025-08-15 15:07:20 +0200 | Guest4611 | (~Andrei@109.86.217.193) (Quit: Client closed) |
2025-08-15 15:11:21 +0200 | ystael | (~ystael@user/ystael) ystael |
2025-08-15 15:19:28 +0200 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
2025-08-15 15:23:12 +0200 | trickard_ | (~trickard@cpe-89-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-08-15 15:23:27 +0200 | trickard_ | (~trickard@cpe-89-98-47-163.wireline.com.au) |
2025-08-15 15:23:42 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
2025-08-15 15:24:44 +0200 | tv | (~tv@user/tv) tv |
2025-08-15 15:26:42 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds) |
2025-08-15 15:26:42 +0200 | ljdarj1 | ljdarj |
2025-08-15 15:30:04 +0200 | mange | (~mange@user/mange) (Quit: Zzz...) |
2025-08-15 15:36:27 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
2025-08-15 15:40:08 +0200 | jespada | (~jespada@2800:a4:2208:2a00:99b4:36b5:d536:d112) jespada |
2025-08-15 15:40:31 +0200 | elbear | (~lucian@109.166.131.102) |
2025-08-15 15:42:51 +0200 | tinjamin46 | (~tinjamin@banshee.h4x0r.space) |
2025-08-15 15:42:57 +0200 | monochrm | (trebla@216.138.220.146) |
2025-08-15 15:42:58 +0200 | tabemann__ | (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) |
2025-08-15 15:43:18 +0200 | jespada_ | (~jespada@2800:a4:2208:2a00:4f6:2bdf:cef8:c84f) (Ping timeout: 272 seconds) |
2025-08-15 15:43:58 +0200 | tinjamin4 | (~tinjamin@banshee.h4x0r.space) (Ping timeout: 240 seconds) |
2025-08-15 15:43:59 +0200 | tinjamin46 | tinjamin4 |
2025-08-15 15:44:16 +0200 | tabemann_ | (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Ping timeout: 252 seconds) |
2025-08-15 15:44:38 +0200 | monochrom | (trebla@216.138.220.146) (Ping timeout: 252 seconds) |
2025-08-15 15:44:38 +0200 | monochrm | monochrom |
2025-08-15 15:46:49 +0200 | biberu | (~biberu@user/biberu) biberu |
2025-08-15 15:47:04 +0200 | killy | (~killy@terminal-3-187.retsat1.com.pl) |
2025-08-15 15:47:20 +0200 | killy | (~killy@terminal-3-187.retsat1.com.pl) (Client Quit) |
2025-08-15 15:47:34 +0200 | killy | (~killy@terminal-3-187.retsat1.com.pl) |
2025-08-15 15:55:31 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
2025-08-15 15:57:51 +0200 | Everything | (~Everythin@static.208.206.21.65.clients.your-server.de) (Quit: leaving) |
2025-08-15 16:02:37 +0200 | qqe | (~qqq@185.54.20.59) (Quit: Lost terminal) |
2025-08-15 16:19:50 +0200 | davidlbowman | (~dlb@user/davidlbowman) (Ping timeout: 252 seconds) |
2025-08-15 16:23:15 +0200 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
2025-08-15 16:25:37 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
2025-08-15 16:30:01 +0200 | killy | (~killy@terminal-3-187.retsat1.com.pl) (Quit: leaving) |
2025-08-15 16:40:12 +0200 | fp | (~Thunderbi@87-92-180-212.rev.dnainternet.fi) fp |
2025-08-15 16:40:17 +0200 | vgtw | (~vgtw@user/vgtw) (Ping timeout: 248 seconds) |
2025-08-15 16:40:28 +0200 | vgtw_ | (~vgtw@user/vgtw) vgtw |
2025-08-15 16:51:54 +0200 | sprotte24 | (~sprotte24@p200300d16f1c45003c2c9df32be9a657.dip0.t-ipconnect.de) |
2025-08-15 16:58:43 +0200 | haritz | (~hrtz@209.35.65.79) |
2025-08-15 16:58:43 +0200 | haritz | (~hrtz@209.35.65.79) (Changing host) |
2025-08-15 16:58:43 +0200 | haritz | (~hrtz@user/haritz) haritz |
2025-08-15 17:00:15 +0200 | tromp | (~textual@2001:1c00:3487:1b00:b18c:352c:ad0a:c01) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-08-15 17:01:41 +0200 | elbear | (~lucian@109.166.131.102) (Ping timeout: 248 seconds) |
2025-08-15 17:10:13 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2) |
2025-08-15 17:13:15 +0200 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
2025-08-15 17:13:57 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2025-08-15 17:15:29 +0200 | jespada | (~jespada@2800:a4:2208:2a00:99b4:36b5:d536:d112) (Ping timeout: 248 seconds) |
2025-08-15 17:25:43 +0200 | califax | (~califax@user/califx) califx |
2025-08-15 17:32:56 +0200 | jackdk | (uid373013@cssa/life/jackdk) (Quit: Connection closed for inactivity) |
2025-08-15 17:43:43 +0200 | rembo10 | (~rembo10@main.remulis.com) (Server closed connection) |
2025-08-15 17:43:56 +0200 | rembo10 | (~rembo10@main.remulis.com) rembo10 |
2025-08-15 17:48:01 +0200 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 248 seconds) |
2025-08-15 17:52:47 +0200 | Square2 | (~Square@user/square) Square |
2025-08-15 17:59:09 +0200 | trickard_ | trickard |
2025-08-15 18:04:39 +0200 | Digit | (~user@user/digit) (Read error: Connection reset by peer) |
2025-08-15 18:05:50 +0200 | Digit | (~user@user/digit) Digit |
2025-08-15 18:13:43 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
2025-08-15 18:21:03 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
2025-08-15 18:22:31 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
2025-08-15 18:23:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-08-15 18:25:42 +0200 | <spew> | I think Hutton is the best introduction but it's certainly not enough on its own to write useful haskell |
2025-08-15 18:26:08 +0200 | gorignak | (~gorignak@user/gorignak) gorignak |
2025-08-15 18:26:14 +0200 | <spew> | Hutton followed by haskell in depth is the best you can get imo |
2025-08-15 18:38:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-15 18:41:25 +0200 | tromp | (~textual@2001:1c00:3487:1b00:b18c:352c:ad0a:c01) |
2025-08-15 18:42:45 +0200 | <haskellbridge> | <sm> ackthet see also https://joyful.com/Haskell+minimap |
2025-08-15 18:43:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-08-15 18:53:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-15 18:56:37 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2025-08-15 18:57:19 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
2025-08-15 18:59:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-08-15 19:00:25 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
2025-08-15 19:01:12 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
2025-08-15 19:02:06 +0200 | davidlbowman | (~dlb@user/davidlbowman) davidlbowman |
2025-08-15 19:06:00 +0200 | jbalint | (~jbalint@2600:6c44:117f:e98a:40bb:52ad:62b8:5122) (Ping timeout: 252 seconds) |
2025-08-15 19:07:21 +0200 | zfnmxt | (~zfnmxt@user/zfnmxt) (Server closed connection) |
2025-08-15 19:07:40 +0200 | zfnmxt | (~zfnmxt@user/zfnmxt) zfnmxt |
2025-08-15 19:09:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-15 19:12:17 +0200 | fp | (~Thunderbi@87-92-180-212.rev.dnainternet.fi) (Ping timeout: 248 seconds) |
2025-08-15 19:13:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-08-15 19:19:57 +0200 | elbear | (~lucian@109.166.131.102) |
2025-08-15 19:20:07 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Remote host closed the connection) |
2025-08-15 19:22:54 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2025-08-15 19:24:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-15 19:25:05 +0200 | elbear | (~lucian@109.166.131.102) (Ping timeout: 248 seconds) |
2025-08-15 19:29:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-08-15 19:33:48 +0200 | trickard | (~trickard@cpe-89-98-47-163.wireline.com.au) (Ping timeout: 252 seconds) |
2025-08-15 19:34:20 +0200 | trickard_ | (~trickard@cpe-89-98-47-163.wireline.com.au) |
2025-08-15 19:40:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-15 19:40:46 +0200 | <EvanR> | basic haskell being enough to write useful haskell might be a library issue |
2025-08-15 19:45:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-08-15 19:46:33 +0200 | tromp | (~textual@2001:1c00:3487:1b00:b18c:352c:ad0a:c01) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-08-15 19:51:40 +0200 | jbalint | (~jbalint@2600:6c44:117f:e98a:40bb:52ad:62b8:5122) |
2025-08-15 19:55:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-15 19:55:46 +0200 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
2025-08-15 19:59:27 +0200 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
2025-08-15 20:00:36 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
2025-08-15 20:01:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-08-15 20:05:12 +0200 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) werneta |
2025-08-15 20:08:45 +0200 | tromp | (~textual@2001:1c00:3487:1b00:b18c:352c:ad0a:c01) |
2025-08-15 20:11:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-15 20:11:18 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
2025-08-15 20:13:05 +0200 | phma | (~phma@host-67-44-208-12.hnremote.net) (Read error: Connection reset by peer) |
2025-08-15 20:15:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-08-15 20:20:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-15 20:23:09 +0200 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
2025-08-15 20:24:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-08-15 20:28:33 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
2025-08-15 20:35:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-15 20:40:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-08-15 20:45:34 +0200 | Xe_ | Xe |
2025-08-15 20:46:54 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
2025-08-15 20:51:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-15 20:58:02 +0200 | rvalue | (~rvalue@about/hackers/rvalue) (Read error: Connection reset by peer) |
2025-08-15 20:58:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-08-15 20:58:30 +0200 | rvalue | (~rvalue@about/hackers/rvalue) rvalue |
2025-08-15 21:00:02 +0200 | caconym747 | (~caconym@user/caconym) (Quit: bye) |
2025-08-15 21:00:42 +0200 | caconym747 | (~caconym@user/caconym) caconym |
2025-08-15 21:02:06 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
2025-08-15 21:05:16 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
2025-08-15 21:07:52 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-08-15 21:09:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-15 21:10:44 +0200 | target_i | (~target_i@user/target-i/x-6023099) target_i |
2025-08-15 21:14:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-08-15 21:23:52 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 260 seconds) |
2025-08-15 21:24:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-15 21:29:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-08-15 21:39:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-15 21:44:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-08-15 21:44:21 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
2025-08-15 21:55:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-15 21:59:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-08-15 22:01:26 +0200 | karenw_ | (~karenw@user/karenw) karenw |
2025-08-15 22:02:25 +0200 | fgarcia | (~lei@user/fgarcia) (Quit: Remote host closed the connection) |
2025-08-15 22:06:44 +0200 | fgarcia | (~lei@user/fgarcia) fgarcia |
2025-08-15 22:10:00 +0200 | fun-safe-math | (~fun-safe-@97-120-122-185.ptld.qwest.net) (Ping timeout: 252 seconds) |
2025-08-15 22:10:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-15 22:14:15 +0200 | fun-safe-math | (~fun-safe-@97-120-34-41.ptld.qwest.net) fun-safe-math |
2025-08-15 22:14:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-08-15 22:21:10 +0200 | rvalue- | (~rvalue@about/hackers/rvalue) rvalue |
2025-08-15 22:21:28 +0200 | karenw_ | (~karenw@user/karenw) (Remote host closed the connection) |
2025-08-15 22:22:07 +0200 | rvalue | (~rvalue@about/hackers/rvalue) (Ping timeout: 255 seconds) |
2025-08-15 22:22:53 +0200 | karenw_ | (~karenw@user/karenw) karenw |
2025-08-15 22:24:06 +0200 | Spawns_Carpeting | (~mobile@user/spawns-carpeting/x-6969421) (WeeChat 4.5.2) |
2025-08-15 22:26:05 +0200 | karenw_ | (~karenw@user/karenw) (Remote host closed the connection) |
2025-08-15 22:26:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-15 22:27:01 +0200 | <Leary> | I doubt "not enough to write useful Haskell" is fair, whether with respect to our books or our libraries; I wrote Haskell that was useful to me before I knew anything of either. |
2025-08-15 22:28:11 +0200 | rvalue- | rvalue |
2025-08-15 22:33:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-08-15 22:33:26 +0200 | trickard_ | (~trickard@cpe-89-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-08-15 22:33:40 +0200 | trickard_ | (~trickard@cpe-89-98-47-163.wireline.com.au) |
2025-08-15 22:34:12 +0200 | haskellbridge | (~hackager@syn-096-028-224-214.res.spectrum.com) (Remote host closed the connection) |
2025-08-15 22:36:31 +0200 | haskellbridge | (~hackager@syn-096-028-224-214.res.spectrum.com) hackager |
2025-08-15 22:36:31 +0200 | ChanServ | +v haskellbridge |
2025-08-15 22:39:23 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
2025-08-15 22:44:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-15 22:44:31 +0200 | <EvanR> | me too! |
2025-08-15 22:46:32 +0200 | trickard_ | (~trickard@cpe-89-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-08-15 22:46:47 +0200 | trickard_ | (~trickard@cpe-89-98-47-163.wireline.com.au) |
2025-08-15 22:48:14 +0200 | karenw_ | (~karenw@user/karenw) karenw |
2025-08-15 22:49:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-08-15 22:51:30 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
2025-08-15 22:51:45 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
2025-08-15 22:55:29 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
2025-08-15 22:59:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-15 23:00:04 +0200 | athan | (~athan@syn-047-132-161-157.res.spectrum.com) (Quit: Konversation terminated!) |
2025-08-15 23:00:33 +0200 | amadaluzia_ | (~amadaluzi@user/amadaluzia) amadaluzia |
2025-08-15 23:01:42 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) (Ping timeout: 276 seconds) |
2025-08-15 23:04:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-08-15 23:04:42 +0200 | davidlbowman | (~dlb@user/davidlbowman) (Ping timeout: 252 seconds) |
2025-08-15 23:09:17 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
2025-08-15 23:09:27 +0200 | exponens | (~exponens@user/exponens) exponens |
2025-08-15 23:09:32 +0200 | davros1 | (~davros2@2a01:4b00:f01b:3e00:843f:76bd:98d0:f809) davros1 |
2025-08-15 23:10:08 +0200 | <davros1> | Hello. I haven't touched haskell for a long time but was just reflecting on how it was inspiring |
2025-08-15 23:10:42 +0200 | <davros1> | I remember the debates in rust where people wanted to add currying |
2025-08-15 23:11:03 +0200 | <davros1> | And some people want hkt |
2025-08-15 23:11:27 +0200 | bliminse | (~bliminse@user/bliminse) (Quit: leaving) |
2025-08-15 23:11:54 +0200 | <geekosaur> | it strikes me that for a Rust-like language a method that applies something and returns a lambda might make more sense |
2025-08-15 23:12:01 +0200 | exponens | (~exponens@user/exponens) () |
2025-08-15 23:12:45 +0200 | trickard_ | trickard |
2025-08-15 23:13:48 +0200 | <geekosaur> | although I gotta wonder about lifetime handling (obviously the lifetime of the lambda must be capped by the lifetime of the applied parameter, but without losing the lifetime of the thing it's being applied to) |
2025-08-15 23:14:02 +0200 | <geekosaur> | my rist is still a bit too weak to figure how they deal with that |
2025-08-15 23:15:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-15 23:15:59 +0200 | <int-e> | The lambda can take ownership of parameters if they're moved, or the lifetime of the lambda can be capped as you said. You can run into thorny lifetime issues with `async` because of that. |
2025-08-15 23:16:40 +0200 | <geekosaur> | right |
2025-08-15 23:18:14 +0200 | <davros1> | No currying is right for most functions in rust, but I do think it would be useful for operators |
2025-08-15 23:18:28 +0200 | <davros1> | Most 'systemsy' functions are not |
2025-08-15 23:19:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-08-15 23:20:20 +0200 | <geekosaur> | except that most (all?) operators are methods in traits underneath, no? |
2025-08-15 23:20:28 +0200 | <davros1> | sure |
2025-08-15 23:20:37 +0200 | <int-e> | but rust also is about making allocations explicit and implicit currying would violate that |
2025-08-15 23:20:48 +0200 | <davros1> | But traits are just ways of organising functions most of the time |
2025-08-15 23:20:48 +0200 | <int-e> | anyway, I'm not sure this is quite the right channel? :) |
2025-08-15 23:20:52 +0200 | <int-e> | (not a complaint) |
2025-08-15 23:21:09 +0200 | tromp | (~textual@2001:1c00:3487:1b00:b18c:352c:ad0a:c01) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-08-15 23:21:33 +0200 | <davros1> | Anyway my original question was who is using haskell seriously & for what sort of things |
2025-08-15 23:21:47 +0200 | <geekosaur> | define seriously? |
2025-08-15 23:21:56 +0200 | yangby | (~secret@115.205.231.82) (Quit: Go out for a walk and buy a drink.) |
2025-08-15 23:22:02 +0200 | <geekosaur> | I'm a cabal maintainer and user, and an xmonad maintainer and user |
2025-08-15 23:22:14 +0200 | <davros1> | I remember there was a point where mr carmack was suggesting you should be able to do games in haskell but that sounded a bit far fetched (but he usually knows what he's talking about) |
2025-08-15 23:22:16 +0200 | <haskellbridge> | <iqubic (she/her)> I'm using it as to power my Window Manager. |
2025-08-15 23:22:38 +0200 | <davros1> | He probably just meant gameplay cod |
2025-08-15 23:22:48 +0200 | <davros1> | code^ like using it as a game scripting langauge |
2025-08-15 23:23:14 +0200 | <davros1> | I also do remember 'monadius' as one of the haskell demos |
2025-08-15 23:23:59 +0200 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Quit: Ping timeout (120 seconds)) |
2025-08-15 23:24:21 +0200 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) Katarushisu |
2025-08-15 23:25:46 +0200 | <geekosaur> | there've been a few (Frag is infamous, but was a moonshot) |
2025-08-15 23:26:33 +0200 | <geekosaur> | and in the other direction elliott started writing a bot to play (an old version of) DCSSS but never finished it |
2025-08-15 23:30:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-15 23:32:18 +0200 | <geekosaur> | sorry, not elliott, rwbarton. https://github.com/rwbarton/rw |
2025-08-15 23:32:35 +0200 | tromp | (~textual@2001:1c00:3487:1b00:b18c:352c:ad0a:c01) |
2025-08-15 23:33:19 +0200 | <geekosaur> | sadly, crawl as changed so much since it was written that it would have no chance of working now even if it'd been complete |
2025-08-15 23:33:48 +0200 | pavonia | (~user@user/siracusa) siracusa |
2025-08-15 23:34:10 +0200 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving) |
2025-08-15 23:35:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
2025-08-15 23:35:11 +0200 | <geekosaur> | *has |