2024/05/11

Newest at the top

2024-05-11 12:07:41 +0200tram(~tram@athedsl-225869.home.otenet.gr)
2024-05-11 12:07:13 +0200mima(~mmh@aftr-62-216-211-203.dynamic.mnet-online.de)
2024-05-11 12:02:40 +0200Square2(~Square4@user/square) (Ping timeout: 268 seconds)
2024-05-11 11:59:56 +0200oo_miguel(~Thunderbi@78-11-181-16.static.ip.netia.com.pl)
2024-05-11 11:51:23 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-05-11 11:28:11 +0200darius35(~darius@91.232.101.125) (Ping timeout: 250 seconds)
2024-05-11 11:25:14 +0200target_i(~target_i@user/target-i/x-6023099)
2024-05-11 11:23:50 +0200zetef(~quassel@2a02:2f00:5202:1200:df0b:9c52:7feb:3551)
2024-05-11 11:22:33 +0200zetef(~quassel@2a02:2f00:5202:1200:df0b:9c52:7feb:3551) (Read error: Connection reset by peer)
2024-05-11 11:19:57 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2024-05-11 11:14:34 +0200mikess(~mikess@user/mikess) (Ping timeout: 268 seconds)
2024-05-11 10:43:42 +0200gmg(~user@user/gehmehgeh)
2024-05-11 10:43:36 +0200tzh_(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2024-05-11 10:42:50 +0200gmg(~user@user/gehmehgeh) (Quit: Leaving)
2024-05-11 10:32:20 +0200L29Ah(~L29Ah@wikipedia/L29Ah)
2024-05-11 10:28:42 +0200zetef(~quassel@2a02:2f00:5202:1200:df0b:9c52:7feb:3551)
2024-05-11 10:28:21 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-05-11 10:24:53 +0200Square(~Square@user/square) (Ping timeout: 240 seconds)
2024-05-11 10:22:07 +0200gmg(~user@user/gehmehgeh)
2024-05-11 10:21:47 +0200Square2(~Square4@user/square)
2024-05-11 10:14:12 +0200econo_(uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2024-05-11 09:59:50 +0200sprout_sprout
2024-05-11 09:58:21 +0200causal(~eric@50.35.88.207) (Quit: WeeChat 4.1.1)
2024-05-11 09:54:24 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds)
2024-05-11 09:52:14 +0200acidjnk_new(~acidjnk@p200300d6e714dc4619a20da439ab254b.dip0.t-ipconnect.de)
2024-05-11 09:35:09 +0200madariaga(~madariaga@user/madariaga) (Quit: madariaga)
2024-05-11 09:31:48 +0200 <darius35> Duly noted. Thank you ^_^
2024-05-11 09:31:09 +0200 <darkling> It's early on a Saturday morning in Europe, and the middle of the night in the US. Hang around for a few hours and maybe someone will look in and answer you by then.
2024-05-11 09:28:10 +0200 <darius35> Anyone?
2024-05-11 09:27:36 +0200todi(~todi@p57803331.dip0.t-ipconnect.de)
2024-05-11 09:25:55 +0200darius9(~darius@93.126.130.110) (Quit: Client closed)
2024-05-11 09:25:54 +0200darius35(~darius@91.232.101.125)
2024-05-11 09:24:20 +0200ChaiTRex(~ChaiTRex@user/chaitrex)
2024-05-11 09:19:29 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2024-05-11 09:19:26 +0200 <darius9> Side note: I'm not acquainted with university level mathematics (yet), but I've had some FP experience in Scala 2/3 prior.
2024-05-11 09:17:20 +0200 <darius9> Thank you all in advance:)
2024-05-11 09:17:19 +0200 <darius9> Also asked on the beginners channel, but trying here as well. Hey everyone! I'm almost through an introductory Haskell Book. Anyone got any recommendations for an intermediate book that covers more advanced topics such as Type Families and so on?
2024-05-11 09:15:46 +0200darius9(~darius@93.126.130.110)
2024-05-11 09:14:43 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-05-11 09:13:28 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi)
2024-05-11 09:05:41 +0200philopsos1(~caecilius@user/philopsos) (Ping timeout: 268 seconds)
2024-05-11 08:50:49 +0200jle`(~jle`@2603:8001:3b02:84d4:6e37:aef9:1702:5bd0)
2024-05-11 08:43:46 +0200ddellacosta(~ddellacos@ool-44c73d29.dyn.optonline.net)
2024-05-11 08:39:46 +0200todi(~todi@p57803331.dip0.t-ipconnect.de) (Quit: ZNC - https://znc.in)
2024-05-11 08:36:34 +0200ChaiTRex(~ChaiTRex@user/chaitrex)
2024-05-11 08:35:02 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Ping timeout: 260 seconds)
2024-05-11 08:31:42 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2024-05-11 08:30:55 +0200chexum(~quassel@gateway/tor-sasl/chexum)
2024-05-11 08:30:22 +0200chexum_(~quassel@gateway/tor-sasl/chexum) (Ping timeout: 260 seconds)
2024-05-11 08:29:26 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 260 seconds)