2024-08-06 00:03:38 +0200 | falafel | (~falafel@2a0c:5a87:3104:4c01::bfe0) (Ping timeout: 244 seconds) |
2024-08-06 00:05:42 +0200 | qeef | (~qeef@138-169-143-94.cust.centrio.cz) (Ping timeout: 244 seconds) |
2024-08-06 00:15:51 +0200 | Sgeo | (~Sgeo@user/sgeo) |
2024-08-06 00:16:25 +0200 | spew | (~spew@201.141.102.132) (Quit: spew) |
2024-08-06 00:22:33 +0200 | pavonia | (~user@user/siracusa) |
2024-08-06 00:25:46 +0200 | AlexZenon | (~alzenon@94.233.241.125) (Ping timeout: 252 seconds) |
2024-08-06 00:26:31 +0200 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Ping timeout: 264 seconds) |
2024-08-06 00:30:16 +0200 | AlexZenon | (~alzenon@94.233.241.125) |
2024-08-06 00:33:20 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 260 seconds) |
2024-08-06 00:55:05 +0200 | manwithluck | (manwithluc@gateway/vpn/protonvpn/manwithluck) (Remote host closed the connection) |
2024-08-06 00:55:12 +0200 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) (Ping timeout: 252 seconds) |
2024-08-06 00:55:30 +0200 | manwithluck | (manwithluc@gateway/vpn/protonvpn/manwithluck) |
2024-08-06 00:59:02 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: jdfvkb) |
2024-08-06 01:01:59 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-08-06 01:02:17 +0200 | euleritian | (~euleritia@dynamic-176-006-150-162.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-08-06 01:02:35 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-08-06 01:04:33 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
2024-08-06 01:04:33 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2024-08-06 01:04:46 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-08-06 01:08:13 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
2024-08-06 01:17:04 +0200 | <jle`> | i forgot if conor mcbride used to hang out here |
2024-08-06 01:25:42 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb12697648a237574ae3.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
2024-08-06 01:30:27 +0200 | <dolio> | I don't think so. |
2024-08-06 01:30:29 +0200 | falafel | (~falafel@2a0c:5a87:3104:4c01::bfe0) |
2024-08-06 01:33:41 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-08-06 01:35:21 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb126dbf5ec3ae9702a3.dip0.t-ipconnect.de) |
2024-08-06 01:40:42 +0200 | <sprout> | isn't that the agda guy? |
2024-08-06 01:40:50 +0200 | <sprout> | try #agda |
2024-08-06 01:42:19 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 265 seconds) |
2024-08-06 01:43:54 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2024-08-06 01:44:54 +0200 | skyesoss | (~Thunderbi@128.135.204.35) (Ping timeout: 244 seconds) |
2024-08-06 01:45:46 +0200 | <dolio> | I'm not aware of him using irc. |
2024-08-06 01:46:36 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
2024-08-06 01:55:58 +0200 | manwithluck | (manwithluc@gateway/vpn/protonvpn/manwithluck) (Ping timeout: 252 seconds) |
2024-08-06 01:56:30 +0200 | manwithluck | (manwithluc@gateway/vpn/protonvpn/manwithluck) |
2024-08-06 01:57:38 +0200 | Inst | (~Inst@user/Inst) |
2024-08-06 02:02:00 +0200 | <Inst> | dolio: insofar as you can't access a file on a filesystem with blocking IO twice unless the data's completely consumed; readFile' would close the handle, readFile wouldn't until the resource's exhausted |
2024-08-06 02:02:32 +0200 | <Inst> | so i mean my conceptual model is iteratee IO > strict IO > lazy IO |
2024-08-06 02:03:00 +0200 | <Inst> | although tbh I guess you can't do it with iteratee / streaming either |
2024-08-06 02:04:04 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb126dbf5ec3ae9702a3.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
2024-08-06 02:07:03 +0200 | abyxq | (~abyxq@user/abyxq) |
2024-08-06 02:18:59 +0200 | zmt01 | (~zmt00@user/zmt00) |
2024-08-06 02:23:00 +0200 | zmt00 | (~zmt00@user/zmt00) (Ping timeout: 260 seconds) |
2024-08-06 02:29:41 +0200 | falafel | (~falafel@2a0c:5a87:3104:4c01::bfe0) (Ping timeout: 252 seconds) |
2024-08-06 02:35:25 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2024-08-06 02:36:58 +0200 | califax | (~califax@user/califx) |
2024-08-06 02:40:22 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) |
2024-08-06 02:40:26 +0200 | auci | (~auci@user/auci) |
2024-08-06 02:41:01 +0200 | auci | (~auci@user/auci) (Konversation terminated!) |
2024-08-06 02:41:15 +0200 | abyxq | (~abyxq@user/abyxq) (Quit: leaving) |
2024-08-06 02:49:48 +0200 | <haskellbridge> | <thirdofmay18081814goya> anyone got a good set of exercises about monad transformers with solutions? |
2024-08-06 02:50:57 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
2024-08-06 02:52:05 +0200 | <jackdk> | https://github.com/qfpl/applied-fp-course/blob/master/bonus/mtl.md |
2024-08-06 02:52:45 +0200 | <jackdk> | http://jackkelly.name/wiki/haskell/learning.html is where I keep my list of recommended resources |
2024-08-06 02:52:48 +0200 | <jackdk> | No solutions though |
2024-08-06 02:53:35 +0200 | <jackdk> | Actually wait, there are. In the <details> tags |
2024-08-06 02:56:34 +0200 | <haskellbridge> | <thirdofmay18081814goya> great ty!! |
2024-08-06 03:05:32 +0200 | <Inst> | Am I correct if I characterize the FP divide from mainstream programming as one between proof-based mathematics and algorithmic mathematics? |
2024-08-06 03:07:03 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
2024-08-06 03:07:16 +0200 | <Inst> | actually, probably a really bad topic of conversation, I'll drop it |
2024-08-06 03:07:17 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-08-06 03:21:22 +0200 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) |
2024-08-06 03:23:40 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-08-06 03:25:17 +0200 | <JuanDaugherty> | no that's a totally whack take |
2024-08-06 03:25:42 +0200 | <JuanDaugherty> | mainframe isn a thing to be in opposition to FP |
2024-08-06 03:25:58 +0200 | <JuanDaugherty> | and ofc the first FP was on mainframes cause that's all there was |
2024-08-06 03:26:43 +0200 | <geekosaur> | uh, where did mainframes come into it? |
2024-08-06 03:26:56 +0200 | <geekosaur> | mainstream |
2024-08-06 03:27:13 +0200 | <Inst> | it's a dumb thought that's better drpped into off-topic |
2024-08-06 03:27:18 +0200 | <JuanDaugherty> | and when i said (in #politics) that it's more permissive here, I meant nobody but me is likely to respond like that |
2024-08-06 03:27:46 +0200 | <JuanDaugherty> | (##politics) |
2024-08-06 03:28:31 +0200 | <JuanDaugherty> | oh my bad i read mainframe |
2024-08-06 03:29:00 +0200 | <JuanDaugherty> | but it's still wrongheaded |
2024-08-06 03:29:13 +0200 | <JuanDaugherty> | mainstream means what? |
2024-08-06 03:29:24 +0200 | <Inst> | juandaughterty: if you want to continue, try #haskell-offtopic |
2024-08-06 03:29:27 +0200 | <JuanDaugherty> | the bulk of commercial IT activity? |
2024-08-06 03:32:24 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 252 seconds) |
2024-08-06 03:35:41 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
2024-08-06 03:35:44 +0200 | ZharMeny | (~user@user/ZharMeny) (Quit: how `long` is an `int`) |
2024-08-06 03:41:13 +0200 | xff0x | (~xff0x@2405:6580:b080:900:dfe2:132b:5bfa:6516) (Ping timeout: 265 seconds) |
2024-08-06 03:44:04 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
2024-08-06 03:56:26 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Read error: Connection reset by peer) |
2024-08-06 04:00:13 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
2024-08-06 04:04:57 +0200 | gentauro | (~gentauro@user/gentauro) (Ping timeout: 252 seconds) |
2024-08-06 04:11:42 +0200 | gentauro | (~gentauro@user/gentauro) |
2024-08-06 04:20:50 +0200 | Guest25 | (~Guest25@c-71-205-23-57.hsd1.co.comcast.net) |
2024-08-06 04:28:53 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2024-08-06 04:32:53 +0200 | td_ | (~td@i53870916.versanet.de) (Ping timeout: 248 seconds) |
2024-08-06 04:34:40 +0200 | td_ | (~td@i53870936.versanet.de) |
2024-08-06 04:37:05 +0200 | xff0x | (~xff0x@125.103.176.34) |
2024-08-06 04:44:44 +0200 | cipherrot | (~znc-user@user/petrichor) (Ping timeout: 260 seconds) |
2024-08-06 04:46:44 +0200 | petrichor | (~znc-user@user/petrichor) |
2024-08-06 04:56:07 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-08-06 05:05:42 +0200 | aforemny_ | (~aforemny@2001:9e8:6ce5:9e00:3eae:bcb7:91ff:d64b) |
2024-08-06 05:07:15 +0200 | aforemny | (~aforemny@2001:9e8:6cc5:7700:e5cf:3849:4594:a5ae) (Ping timeout: 265 seconds) |
2024-08-06 05:09:33 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 245 seconds) |
2024-08-06 05:10:07 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
2024-08-06 05:10:35 +0200 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) |
2024-08-06 05:13:26 +0200 | rosco | (~rosco@175.136.158.234) |
2024-08-06 05:45:14 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
2024-08-06 06:25:48 +0200 | Guest25 | (~Guest25@c-71-205-23-57.hsd1.co.comcast.net) (Quit: Client closed) |
2024-08-06 06:31:50 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-08-06 06:44:44 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
2024-08-06 06:45:53 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-08-06 06:52:52 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
2024-08-06 06:53:20 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
2024-08-06 06:53:22 +0200 | michalz | (~michalz@185.246.207.200) |
2024-08-06 07:12:54 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds) |
2024-08-06 07:26:54 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds) |
2024-08-06 07:27:27 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-08-06 07:30:40 +0200 | Square | (~Square@user/square) |
2024-08-06 07:33:39 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 244 seconds) |
2024-08-06 07:34:00 +0200 | euleritian | (~euleritia@dynamic-176-006-133-192.176.6.pool.telefonica.de) |
2024-08-06 07:47:04 +0200 | lol_ | jcarpenter2 |
2024-08-06 07:48:16 +0200 | pkal | (~pkal@2a01:4f8:1c1b:a321::) (Remote host closed the connection) |
2024-08-06 07:48:25 +0200 | pkal | (~pkal@2a01:4f8:1c1b:a321::1) |
2024-08-06 07:50:09 +0200 | pkal | (~pkal@2a01:4f8:1c1b:a321::1) (Remote host closed the connection) |
2024-08-06 07:50:18 +0200 | pkal | (~pkal@2a01:4f8:1c1b:a321::1) |
2024-08-06 07:51:04 +0200 | pkal | (~pkal@2a01:4f8:1c1b:a321::1) (Remote host closed the connection) |
2024-08-06 07:51:13 +0200 | pkal | (~pkal@2a01:4f8:1c1b:a321::1) |
2024-08-06 07:51:58 +0200 | pkal | (~pkal@2a01:4f8:1c1b:a321::1) (Remote host closed the connection) |
2024-08-06 07:52:06 +0200 | pkal | (~pkal@2a01:4f8:1c1b:a321::1) |
2024-08-06 08:00:03 +0200 | pkal | (~pkal@2a01:4f8:1c1b:a321::1) (Remote host closed the connection) |
2024-08-06 08:01:15 +0200 | pkal | (~pkal@2a01:4f8:1c1b:a321::1) |
2024-08-06 08:15:28 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) |
2024-08-06 08:33:53 +0200 | Xe | (~cadey@perl/impostor/xe) (Ping timeout: 255 seconds) |
2024-08-06 08:38:32 +0200 | Xe | (~cadey@perl/impostor/xe) |
2024-08-06 08:39:52 +0200 | CiaoSen | (~Jura@2a05:5800:2d9:fc00:e6b9:7aff:fe80:3d03) |
2024-08-06 08:42:56 +0200 | kuribas | (~user@2a02:1808:7:61bb:229c:98fa:4701:3649) |
2024-08-06 08:48:42 +0200 | kuribas` | (~user@2a02:1808:3:a2c9:e84:e3f2:e81a:6ace) |
2024-08-06 08:50:33 +0200 | kuribas | (~user@2a02:1808:7:61bb:229c:98fa:4701:3649) (Ping timeout: 265 seconds) |
2024-08-06 08:53:05 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
2024-08-06 09:03:02 +0200 | kuribas` | (~user@2a02:1808:3:a2c9:e84:e3f2:e81a:6ace) (Ping timeout: 244 seconds) |
2024-08-06 09:06:13 +0200 | rosco | (~rosco@175.136.158.234) (Quit: Lost terminal) |
2024-08-06 09:21:44 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb628054de8284f67264.dip0.t-ipconnect.de) |
2024-08-06 09:24:34 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
2024-08-06 09:25:43 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-08-06 09:25:55 +0200 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) |
2024-08-06 09:27:08 +0200 | euleritian | (~euleritia@dynamic-176-006-133-192.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-08-06 09:27:23 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-08-06 09:40:42 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2024-08-06 09:41:35 +0200 | gmg | (~user@user/gehmehgeh) |
2024-08-06 09:43:58 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
2024-08-06 09:44:05 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
2024-08-06 09:47:54 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
2024-08-06 09:49:03 +0200 | Guest42 | (~Guest42@m90-131-37-64.cust.tele2.lt) |
2024-08-06 09:53:47 +0200 | Guest42 | jinkims |
2024-08-06 09:55:08 +0200 | jinkims | (~Guest42@m90-131-37-64.cust.tele2.lt) (Changing host) |
2024-08-06 09:55:08 +0200 | jinkims | (~Guest42@user/jinkims) |
2024-08-06 09:56:31 +0200 | CiaoSen | (~Jura@2a05:5800:2d9:fc00:e6b9:7aff:fe80:3d03) (Ping timeout: 264 seconds) |
2024-08-06 09:56:41 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
2024-08-06 09:58:25 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
2024-08-06 10:19:00 +0200 | Xe | (~cadey@perl/impostor/xe) (Ping timeout: 265 seconds) |
2024-08-06 10:20:59 +0200 | Xe | (~cadey@perl/impostor/xe) |
2024-08-06 10:25:01 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Quit: on the move) |
2024-08-06 10:31:01 +0200 | cfricke | (~cfricke@user/cfricke) |
2024-08-06 10:37:16 +0200 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) |
2024-08-06 10:38:15 +0200 | ft | (~ft@p4fc2aa15.dip0.t-ipconnect.de) (Quit: leaving) |
2024-08-06 10:39:23 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
2024-08-06 10:44:43 +0200 | Square | (~Square@user/square) (Remote host closed the connection) |
2024-08-06 10:51:29 +0200 | ubert | (~Thunderbi@178.115.47.16.wireless.dyn.drei.com) |
2024-08-06 11:04:17 +0200 | Kryder | (~Kryder@90.201.223.82) (Ping timeout: 248 seconds) |
2024-08-06 11:08:01 +0200 | Kryder | (~Kryder@85.255.237.168) |
2024-08-06 11:13:43 +0200 | Kryder | (~Kryder@85.255.237.168) (Ping timeout: 245 seconds) |
2024-08-06 11:13:50 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
2024-08-06 11:18:44 +0200 | alex`` | (~user@92.red-83-33-248.dynamicip.rima-tde.net) |
2024-08-06 11:20:48 +0200 | thyriaen | (~thyriaen@2001:4bc9:1fb8:12d1:6245:cbff:fe9f:48b1) |
2024-08-06 11:21:37 +0200 | rosco | (~rosco@175.136.158.234) |
2024-08-06 11:30:26 +0200 | Kryder | (~Kryder@90.201.223.82) |
2024-08-06 11:37:17 +0200 | thyriaen | (~thyriaen@2001:4bc9:1fb8:12d1:6245:cbff:fe9f:48b1) (Remote host closed the connection) |
2024-08-06 11:39:45 +0200 | Dykam | (Dykam@dykam.nl) (Quit: Dykam) |
2024-08-06 11:40:48 +0200 | Dykam | (Dykam@dykam.nl) |
2024-08-06 11:42:59 +0200 | AlexZenon | (~alzenon@94.233.241.125) (Ping timeout: 260 seconds) |
2024-08-06 11:50:01 +0200 | AlexZenon | (~alzenon@94.233.241.125) |
2024-08-06 11:50:32 +0200 | rlittl | (~Android@2600:1004:b0b8:c0c0:d81c:21ff:fef5:41ca) |
2024-08-06 12:08:08 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
2024-08-06 12:13:33 +0200 | xff0x | (~xff0x@125.103.176.34) (Ping timeout: 265 seconds) |
2024-08-06 12:36:57 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds) |
2024-08-06 12:37:40 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-08-06 12:41:00 +0200 | Square | (~Square@user/square) |
2024-08-06 12:43:32 +0200 | rosco | (~rosco@175.136.158.234) (Quit: Lost terminal) |
2024-08-06 12:43:55 +0200 | ZharMeny | (~user@user/ZharMeny) |
2024-08-06 12:44:55 +0200 | CiaoSen | (~Jura@2a05:5800:2d9:fc00:e6b9:7aff:fe80:3d03) |
2024-08-06 13:11:13 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
2024-08-06 13:14:15 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Quit: meal) |
2024-08-06 13:17:11 +0200 | xff0x | (~xff0x@2405:6580:b080:900:7bc4:5f07:443b:cdc) |
2024-08-06 13:30:54 +0200 | ubert | (~Thunderbi@178.115.47.16.wireless.dyn.drei.com) (Ping timeout: 276 seconds) |
2024-08-06 13:54:35 +0200 | rosco | (~rosco@175.136.158.234) |
2024-08-06 14:17:57 +0200 | oo_miguel | (~Thunderbi@78.10.207.46) |
2024-08-06 14:23:05 +0200 | alex`` | (~user@92.red-83-33-248.dynamicip.rima-tde.net) (Ping timeout: 265 seconds) |
2024-08-06 14:30:47 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) |
2024-08-06 14:37:39 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.2.2) |
2024-08-06 14:40:34 +0200 | cfricke | (~cfricke@user/cfricke) |
2024-08-06 14:53:27 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
2024-08-06 15:04:14 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
2024-08-06 15:13:51 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
2024-08-06 15:14:03 +0200 | john4 | (~john@203.94.52.182) (Read error: Connection reset by peer) |
2024-08-06 15:14:36 +0200 | john2 | (~john@203.94.52.182) |
2024-08-06 15:14:58 +0200 | CiaoSen | (~Jura@2a05:5800:2d9:fc00:e6b9:7aff:fe80:3d03) (Ping timeout: 245 seconds) |
2024-08-06 15:31:35 +0200 | sp1ff | (~user@c-73-11-70-111.hsd1.wa.comcast.net) (Remote host closed the connection) |
2024-08-06 15:32:14 +0200 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) (Ping timeout: 260 seconds) |
2024-08-06 15:36:01 +0200 | ystael | (~ystael@user/ystael) |
2024-08-06 15:40:59 +0200 | tomku | (~tomku@user/tomku) (Ping timeout: 260 seconds) |
2024-08-06 15:41:13 +0200 | tomku | (~tomku@user/tomku) |
2024-08-06 15:47:19 +0200 | thyriaen | (~thyriaen@2001:4bc9:1fb8:12d1:6245:cbff:fe9f:48b1) |
2024-08-06 15:54:52 +0200 | wroathe | (~wroathe@mobile-166-175-191-76.mycingular.net) |
2024-08-06 15:54:52 +0200 | wroathe | (~wroathe@mobile-166-175-191-76.mycingular.net) (Changing host) |
2024-08-06 15:54:52 +0200 | wroathe | (~wroathe@user/wroathe) |
2024-08-06 15:54:55 +0200 | sp1ff | (~user@c-73-11-70-111.hsd1.wa.comcast.net) |
2024-08-06 16:00:25 +0200 | falafel | (~falafel@2a0c:5a87:3104:4c01::bfe0) |
2024-08-06 16:10:19 +0200 | dolio | (~dolio@130.44.140.168) (Ping timeout: 264 seconds) |
2024-08-06 16:10:42 +0200 | wroathe | (~wroathe@user/wroathe) (Quit: leaving) |
2024-08-06 16:15:21 +0200 | dolio | (~dolio@130.44.140.168) |
2024-08-06 16:20:48 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds) |
2024-08-06 16:21:20 +0200 | euleritian | (~euleritia@dynamic-176-006-128-197.176.6.pool.telefonica.de) |
2024-08-06 16:25:07 +0200 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Quit: Lost terminal) |
2024-08-06 16:25:23 +0200 | michalz | (~michalz@185.246.207.200) (Ping timeout: 245 seconds) |
2024-08-06 16:33:28 +0200 | michalz | (~michalz@185.246.207.197) |
2024-08-06 16:33:34 +0200 | falafel | (~falafel@2a0c:5a87:3104:4c01::bfe0) (Ping timeout: 244 seconds) |
2024-08-06 16:37:17 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
2024-08-06 16:39:46 +0200 | Angelz | (Angelz@user/angelz) (Ping timeout: 244 seconds) |
2024-08-06 16:39:59 +0200 | zfnmxt | (~zfnmxt@user/zfnmxt) (Ping timeout: 252 seconds) |
2024-08-06 16:50:04 +0200 | rosco | (~rosco@175.136.158.234) (Quit: Lost terminal) |
2024-08-06 16:50:35 +0200 | zfnmxt | (~zfnmxt@user/zfnmxt) |
2024-08-06 16:50:48 +0200 | jinkims | (~Guest42@user/jinkims) (Ping timeout: 245 seconds) |
2024-08-06 17:00:01 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) () |
2024-08-06 17:02:37 +0200 | euleritian | (~euleritia@dynamic-176-006-128-197.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-08-06 17:03:08 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-08-06 17:08:58 +0200 | curious-user | (~user@user/curious-user) |
2024-08-06 17:11:08 +0200 | <curious-user> | hi, what modern *not abandoned* web frameworks(micro is fine too) are there nowadays? |
2024-08-06 17:11:42 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
2024-08-06 17:13:57 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2024-08-06 17:14:43 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-08-06 17:15:04 +0200 | <ZharMeny> | curious-user: you got to narrow down what 'web framework' means first |
2024-08-06 17:18:27 +0200 | <curious-user> | ZharMeny: things like yesod or servant |
2024-08-06 17:24:54 +0200 | curious-user | (~user@user/curious-user) (Quit: WeeChat 4.3.4) |
2024-08-06 17:25:37 +0200 | curious-user | (~user@user/curious-user) |
2024-08-06 17:26:00 +0200 | <haskellbridge> | <sm> yesod, servant, IHP are the big ones |
2024-08-06 17:26:09 +0200 | <haskellbridge> | <sm> yesod, servant, IHP are the big ones |
2024-08-06 17:26:23 +0200 | <haskellbridge> | <sm> miso may also be maintained |
2024-08-06 17:26:35 +0200 | <haskellbridge> | <sm> lots of smaller ones findable on hackage |
2024-08-06 17:27:09 +0200 | tomku | (~tomku@user/tomku) (Ping timeout: 260 seconds) |
2024-08-06 17:27:11 +0200 | thyriaen | (~thyriaen@2001:4bc9:1fb8:12d1:6245:cbff:fe9f:48b1) (Remote host closed the connection) |
2024-08-06 17:27:24 +0200 | tomku | (~tomku@user/tomku) |
2024-08-06 17:29:25 +0200 | <curious-user> | cool, thank you |
2024-08-06 17:34:53 +0200 | curious-user | (~user@user/curious-user) (Quit: WeeChat 4.3.4) |
2024-08-06 17:37:12 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2024-08-06 17:37:37 +0200 | nschoe | (~nschoe@2a01:e0a:8e:a190:e958:8b05:e0fc:affd) (Quit: ZNC 1.8.2 - https://znc.in) |
2024-08-06 17:37:54 +0200 | nschoe | (~nschoe@2a01:e0a:8e:a190:c682:940b:f5c:17fc) |
2024-08-06 17:39:47 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) |
2024-08-06 17:45:22 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
2024-08-06 17:45:51 +0200 | falafel | (~falafel@79.117.174.21) |
2024-08-06 17:51:52 +0200 | urdh | (~urdh@user/urdh) (Ping timeout: 252 seconds) |
2024-08-06 17:56:17 +0200 | rvalue- | (~rvalue@user/rvalue) |
2024-08-06 17:57:01 +0200 | dans61442 | (~danse-nr3@user/danse-nr3) |
2024-08-06 17:57:03 +0200 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 245 seconds) |
2024-08-06 17:57:30 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Read error: Connection reset by peer) |
2024-08-06 18:00:24 +0200 | rvalue- | rvalue |
2024-08-06 18:02:53 +0200 | <dmj`> | sm: miso is "maintained" :P |
2024-08-06 18:03:04 +0200 | Angelz | (Angelz@2605:6400:30:fc15:9bd1:2217:41cd:bb15) |
2024-08-06 18:06:13 +0200 | falafel | (~falafel@79.117.174.21) (Ping timeout: 245 seconds) |
2024-08-06 18:09:51 +0200 | qeef | (~qeef@138-169-143-94.cust.centrio.cz) |
2024-08-06 18:09:59 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.2.2) |
2024-08-06 18:12:04 +0200 | <haskellbridge> | <sm> 👍🏻 |
2024-08-06 18:19:33 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
2024-08-06 18:19:44 +0200 | euleritian | (~euleritia@dynamic-176-006-128-197.176.6.pool.telefonica.de) |
2024-08-06 18:20:59 +0200 | euleritian | (~euleritia@dynamic-176-006-128-197.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-08-06 18:21:07 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
2024-08-06 18:21:17 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-08-06 18:25:23 +0200 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) (Remote host closed the connection) |
2024-08-06 18:26:46 +0200 | urdh | (~urdh@user/urdh) |
2024-08-06 18:26:46 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2024-08-06 18:28:01 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-08-06 18:32:47 +0200 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) |
2024-08-06 18:36:21 +0200 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) |
2024-08-06 18:51:57 +0200 | dans61442 | (~danse-nr3@user/danse-nr3) (Remote host closed the connection) |
2024-08-06 18:52:11 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
2024-08-06 18:55:46 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
2024-08-06 19:09:09 +0200 | euphores | (~SASL_euph@user/euphores) |
2024-08-06 19:09:49 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-08-06 19:16:58 +0200 | sudden | (~cat@user/sudden) (Read error: Connection reset by peer) |
2024-08-06 19:19:02 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-08-06 19:28:53 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-08-06 19:29:29 +0200 | <monochrom> | I ran into students in another class and they chose to use Haskell for the web app they are making for that class, and I got curious and asked "which library do you use" and the answer is IHP "because it's the first thing on the Haskell wiki page about web apps" :) |
2024-08-06 19:29:58 +0200 | <danse-nr3> | heh good luck with that attitude |
2024-08-06 19:32:29 +0200 | <monochrom> | I once used wai, but my web app was an extremely minimal toy. ("count how many times self is visited") |
2024-08-06 19:33:06 +0200 | <monochrom> | even "but only since the server was (re)started" |
2024-08-06 19:33:30 +0200 | <danse-nr3> | there's mainly the microframeworks and the "battery included" attempts |
2024-08-06 19:33:34 +0200 | sudden | (~cat@user/sudden) |
2024-08-06 19:33:51 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-08-06 19:33:59 +0200 | <danse-nr3> | if one goes for a microframework, that's not that far from what servant does |
2024-08-06 19:34:19 +0200 | <monochrom> | And I wrote it because, only because, someone invited me to give a talk on docker, so I wanted a dumb web app to be run in docker as a simple example. :) |
2024-08-06 19:35:32 +0200 | <monochrom> | I still want to write a web app that I will actually use. An exam timer with space for announcing errata. |
2024-08-06 19:36:24 +0200 | <danse-nr3> | makes sense. Now, beyond proofs of concepts, i never experienced in haskell what i experienced with other langs when it comes to web dev... therefore i haven't been doing much web dev in past years |
2024-08-06 19:37:10 +0200 | <danse-nr3> | things may change with wasm |
2024-08-06 19:50:03 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
2024-08-06 19:51:58 +0200 | skyesoss | (~Thunderbi@c-73-208-45-119.hsd1.il.comcast.net) |
2024-08-06 19:54:39 +0200 | spew | (~spew@201.141.102.132) |
2024-08-06 19:55:50 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2024-08-06 19:57:23 +0200 | falafel | (~falafel@2a0c:5a87:3104:4c01::bfe0) |
2024-08-06 20:00:23 +0200 | <spew> | I'm just learning haskell and trying to make what I write as idiomatic as I can. I just wrote a function twoSum that finds indices that sum to a particular number. Would someone please let me know what could be done more idiomatically or any other interesting ways to implement it? Thank you! https://paste.tomsmeding.com/JJdDPwHU |
2024-08-06 20:00:43 +0200 | kupi | (uid212005@id-212005.hampstead.irccloud.com) |
2024-08-06 20:02:57 +0200 | <Inst> | the function name "go" is more common these days than having function + apostrophe (prime) as the worker in a worker wrapper pattern |
2024-08-06 20:03:22 +0200 | <spew> | Inst: thank you that's very helpful |
2024-08-06 20:04:12 +0200 | <Inst> | add can also be put on the same level as twoSum', to avoid excessive nesting of wheres |
2024-08-06 20:04:57 +0200 | <Inst> | if you are going to nest it, though, you can remove the i |
2024-08-06 20:05:40 +0200 | <Inst> | yoou're technically shadowing a binding in the outer scope anyways |
2024-08-06 20:07:43 +0200 | <spew> | I think I prefer less nesting: https://paste.tomsmeding.com/iMLgXTar |
2024-08-06 20:09:27 +0200 | <Inst> | could add a space in the where clause |
2024-08-06 20:09:37 +0200 | <Inst> | erm, a newline to separate the function definitions |
2024-08-06 20:10:02 +0200 | <spew> | Inst: this is all very helpful, thank you for looking |
2024-08-06 20:10:38 +0200 | <zzz> | spew: https://stackoverflow.com/questions/60681248/is-this-idiomatic-haskell-two-sum-question |
2024-08-06 20:10:42 +0200 | <haskellbridge> | <sm> wow I feel for those students facing IHP setup |
2024-08-06 20:10:44 +0200 | <haskellbridge> | <sm> unless they're already nix zealots |
2024-08-06 20:12:04 +0200 | <spew> | zzz: someone somewhere on stackoverflow has done every stupid thing |
2024-08-06 20:13:18 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 245 seconds) |
2024-08-06 20:13:54 +0200 | <ZharMeny> | if you can imagine doing something stupid then there's a stackoverflow question about it |
2024-08-06 20:15:13 +0200 | Angelz | (Angelz@2605:6400:30:fc15:9bd1:2217:41cd:bb15) (Remote host closed the connection) |
2024-08-06 20:16:41 +0200 | Buliarous | (~gypsydang@46.232.210.139) |
2024-08-06 20:17:02 +0200 | Inst | (~Inst@user/Inst) (Read error: Connection reset by peer) |
2024-08-06 20:19:12 +0200 | <probie> | When in doubt, use foldr (not actually idiomatic here) |
2024-08-06 20:19:17 +0200 | <probie> | > (\k xs -> foldr (\(n, ix) cont m -> [(iy, ix) | iy <- M.findWithDefault [] (k - n) m] ++ cont (M.alter (Just [ix] <>) n m)) (const []) (zip xs [0::Int ..]) mempty) 5 [1, 3, 6, -1, 3, 2] |
2024-08-06 20:19:18 +0200 | <lambdabot> | [(2,3),(4,5),(1,5)] |
2024-08-06 20:21:18 +0200 | <probie> | > Just [5 :: Int, 6, 7] <> Just [8] <> Nothing <> Just [9, 10] -- low hanging fruit; no need for `add` |
2024-08-06 20:21:19 +0200 | <lambdabot> | Just [5,6,7,8,9,10] |
2024-08-06 20:22:11 +0200 | <probie> | `IntMap.alter (Just [i] <>) x seen` does the job |
2024-08-06 20:23:22 +0200 | <probie> | actually, probably use `(<> Just [i])` so you get better ordering |
2024-08-06 20:25:37 +0200 | <spew> | probie: that is incredibly helpful, thank you |
2024-08-06 20:25:47 +0200 | <spew> | I'm very curious about various ways to implement things |
2024-08-06 20:29:57 +0200 | forell | (~forell@user/forell) (Quit: ZNC - https://znc.in) |
2024-08-06 20:30:51 +0200 | forell | (~forell@user/forell) |
2024-08-06 20:32:22 +0200 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) |
2024-08-06 20:33:57 +0200 | tomku | (~tomku@user/tomku) (Ping timeout: 248 seconds) |
2024-08-06 20:34:11 +0200 | tomku | (~tomku@user/tomku) |
2024-08-06 20:37:01 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
2024-08-06 20:37:38 +0200 | noumenon | philalethes |
2024-08-06 20:37:46 +0200 | Angelz | (Angelz@Angelz.oddprotocol.org) |
2024-08-06 20:37:56 +0200 | philalethes | ephilalethes |
2024-08-06 20:39:53 +0200 | Angelz | (Angelz@Angelz.oddprotocol.org) (Client Quit) |
2024-08-06 20:43:01 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 248 seconds) |
2024-08-06 20:47:38 +0200 | Angelz | (Angelz@2605:6400:30:fc15:d55b:fa6c:bd14:9973) |
2024-08-06 20:56:06 +0200 | falafel | (~falafel@2a0c:5a87:3104:4c01::bfe0) (Ping timeout: 272 seconds) |
2024-08-06 20:56:38 +0200 | rlittl_ | (~Android@2603:6081:5500:54:591c:3691:4117:db20) |
2024-08-06 20:56:38 +0200 | rlittl_ | (~Android@2603:6081:5500:54:591c:3691:4117:db20) (Excess Flood) |
2024-08-06 20:56:57 +0200 | rlittl | (~Android@2600:1004:b0b8:c0c0:d81c:21ff:fef5:41ca) (Read error: Connection reset by peer) |
2024-08-06 20:58:06 +0200 | rlittl | (~Android@160.sub-174-245-99.myvzw.com) |
2024-08-06 20:58:06 +0200 | rlittl | (~Android@160.sub-174-245-99.myvzw.com) (Excess Flood) |
2024-08-06 20:58:29 +0200 | rlittl | (~Android@2600:1004:b0b8:c0c0:703e:f6ff:feae:8042) |
2024-08-06 20:58:29 +0200 | rlittl | (~Android@2600:1004:b0b8:c0c0:703e:f6ff:feae:8042) (Excess Flood) |
2024-08-06 20:59:13 +0200 | rlittl | (~Android@2600:1004:b0b8:c0c0:703e:f6ff:feae:8042) |
2024-08-06 20:59:13 +0200 | rlittl | (~Android@2600:1004:b0b8:c0c0:703e:f6ff:feae:8042) (Excess Flood) |
2024-08-06 20:59:45 +0200 | Angelz | (Angelz@2605:6400:30:fc15:d55b:fa6c:bd14:9973) (Remote host closed the connection) |
2024-08-06 21:00:18 +0200 | rlittl | (~Android@160.sub-174-245-99.myvzw.com) |
2024-08-06 21:00:18 +0200 | rlittl | (~Android@160.sub-174-245-99.myvzw.com) (Excess Flood) |
2024-08-06 21:00:24 +0200 | jasperr | (~jasperr@91-82-240-95.pool.digikabel.hu) |
2024-08-06 21:02:42 +0200 | rlittl | (~Android@2603:6081:5500:54:591c:3691:4117:db20) |
2024-08-06 21:02:42 +0200 | rlittl | (~Android@2603:6081:5500:54:591c:3691:4117:db20) (Excess Flood) |
2024-08-06 21:04:46 +0200 | Angelz | (Angelz@2605:6400:30:fc15:9bd1:2217:41cd:bb15) |
2024-08-06 21:13:59 +0200 | ft | (~ft@p4fc2aa15.dip0.t-ipconnect.de) |
2024-08-06 21:15:14 +0200 | Square | (~Square@user/square) (Ping timeout: 260 seconds) |
2024-08-06 21:15:57 +0200 | Square | (~Square@user/square) |
2024-08-06 21:17:00 +0200 | qeef | (~qeef@138-169-143-94.cust.centrio.cz) (Remote host closed the connection) |
2024-08-06 21:17:42 +0200 | Angelz | (Angelz@2605:6400:30:fc15:9bd1:2217:41cd:bb15) (Quit: IRCNow and Forever!) |
2024-08-06 21:22:07 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Quit: good night) |
2024-08-06 21:34:45 +0200 | spew | (~spew@201.141.102.132) (Quit: spew) |
2024-08-06 21:45:55 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
2024-08-06 22:05:08 +0200 | target_i | (~target_i@user/target-i/x-6023099) |
2024-08-06 22:10:21 +0200 | jasperr | (~jasperr@91-82-240-95.pool.digikabel.hu) (Quit: Client closed) |
2024-08-06 22:22:41 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
2024-08-06 22:25:48 +0200 | Square | (~Square@user/square) (Ping timeout: 245 seconds) |
2024-08-06 22:36:58 +0200 | Angelz | (Angelz@Angelz.oddprotocol.org) |
2024-08-06 22:39:16 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) |
2024-08-06 22:48:19 +0200 | michalz | (~michalz@185.246.207.197) (Remote host closed the connection) |
2024-08-06 22:57:40 +0200 | g00gler | (uid125351@id-125351.uxbridge.irccloud.com) |
2024-08-06 22:58:20 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-08-06 23:05:58 +0200 | skyesoss | (~Thunderbi@c-73-208-45-119.hsd1.il.comcast.net) (Quit: skyesoss) |
2024-08-06 23:09:30 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
2024-08-06 23:13:08 +0200 | mpb | (~mpb@bras-base-otwaon230qw-grc-24-174-89-68-120.dsl.bell.ca) |
2024-08-06 23:27:00 +0200 | pavonia | (~user@user/siracusa) |
2024-08-06 23:35:24 +0200 | Luj9 | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) (Quit: Ping timeout (120 seconds)) |
2024-08-06 23:35:42 +0200 | Luj9 | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) |
2024-08-06 23:38:08 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-08-06 23:39:28 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Quit: Lost terminal) |
2024-08-06 23:39:50 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
2024-08-06 23:39:59 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
2024-08-06 23:40:15 +0200 | skyesoss | (~Thunderbi@c-73-208-45-119.hsd1.il.comcast.net) |