2024/05/11

Newest at the top

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)
2024-05-11 08:28:45 +0200Maxdamantus(~Maxdamant@user/maxdamantus)
2024-05-11 08:27:49 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2024-05-11 08:22:59 +0200Garbanzo(~Garbanzo@2602:304:6eac:dc10::2e) (Remote host closed the connection)
2024-05-11 08:22:41 +0200Maxdamantus(~Maxdamant@user/maxdamantus) (Ping timeout: 252 seconds)
2024-05-11 08:20:36 +0200harveypwca(~harveypwc@2601:246:d080:b40:1889:d9bf:2dd8:b288) (Quit: Leaving)
2024-05-11 08:20:23 +0200philopsos1(~caecilius@user/philopsos)
2024-05-11 08:20:12 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds)
2024-05-11 08:17:33 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-05-11 08:11:42 +0200titibandit(~titibandi@user/titibandit)
2024-05-11 08:09:15 +0200Garbanzo(~Garbanzo@2602:304:6eac:dc10::2e)
2024-05-11 08:08:58 +0200Garbanzo(~Garbanzo@2602:304:6eac:dc10::2e) (Remote host closed the connection)
2024-05-11 08:08:46 +0200Garbanzo(~Garbanzo@2602:304:6eac:dc10::2e)
2024-05-11 08:08:33 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-05-11 08:08:28 +0200Garbanzo(~Garbanzo@2602:304:6eac:dc10::2e) (Remote host closed the connection)
2024-05-11 08:07:59 +0200kimiamania(~76637481@user/kimiamania) (Quit: Ping timeout (120 seconds))