2024/02/14

2024-02-14 00:00:02 +0100coot(~coot@89-69-206-216.dynamic.chello.pl)
2024-02-14 00:00:10 +0100coot(~coot@89-69-206-216.dynamic.chello.pl) (Remote host closed the connection)
2024-02-14 00:00:37 +0100coot(~coot@89-69-206-216.dynamic.chello.pl)
2024-02-14 00:01:18 +0100coot(~coot@89-69-206-216.dynamic.chello.pl) (Remote host closed the connection)
2024-02-14 00:01:33 +0100mechap(~mechap@user/mechap) (Ping timeout: 260 seconds)
2024-02-14 00:01:45 +0100coot(~coot@89-69-206-216.dynamic.chello.pl)
2024-02-14 00:02:33 +0100coot(~coot@89-69-206-216.dynamic.chello.pl) (Remote host closed the connection)
2024-02-14 00:03:21 +0100coot(~coot@89-69-206-216.dynamic.chello.pl)
2024-02-14 00:04:15 +0100coot(~coot@89-69-206-216.dynamic.chello.pl) (Remote host closed the connection)
2024-02-14 00:05:40 +0100a51(a51@gateway/vpn/protonvpn/a51)
2024-02-14 00:08:23 +0100xigua(~xigua@user/xigua) (Read error: Connection reset by peer)
2024-02-14 00:08:37 +0100xigua(~xigua@user/xigua)
2024-02-14 00:08:42 +0100mizlan(~mizlan@2607:f010:2e9:b:24e3:3288:b16c:e350) (Ping timeout: 255 seconds)
2024-02-14 00:09:36 +0100segfaultfizzbuzz(~segfaultf@2600:1702:6d0:e930:603e:ee72:ccf6:3b57) (Ping timeout: 255 seconds)
2024-02-14 00:11:16 +0100mizlan(~mizlan@2607:f010:2e9:b:24e3:3288:b16c:e350)
2024-02-14 00:12:13 +0100jjhoo(~jahakala@user/jjhoo)
2024-02-14 00:13:49 +0100mud(~mud@user/kadoban)
2024-02-14 00:13:49 +0100kadobanana(~mud@user/kadoban) (Read error: Connection reset by peer)
2024-02-14 00:15:51 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net)
2024-02-14 00:22:24 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com)
2024-02-14 00:25:47 +0100segfaultfizzbuzz(~segfaultf@2600:1702:6d0:e930:603e:ee72:ccf6:3b57)
2024-02-14 00:29:09 +0100mud(~mud@user/kadoban) (Read error: Connection reset by peer)
2024-02-14 00:29:29 +0100mud(~mud@user/kadoban)
2024-02-14 00:30:46 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection)
2024-02-14 00:30:58 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net)
2024-02-14 00:31:12 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection)
2024-02-14 00:31:44 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net)
2024-02-14 00:35:39 +0100Tuplanolla(~Tuplanoll@91-159-68-95.elisa-laajakaista.fi)
2024-02-14 00:35:42 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds)
2024-02-14 00:37:03 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 255 seconds)
2024-02-14 00:37:26 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net)
2024-02-14 00:38:21 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection)
2024-02-14 00:39:54 +0100Batzy_Batzy
2024-02-14 00:40:07 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net)
2024-02-14 00:40:49 +0100dsrt^(~cd@c-98-242-74-66.hsd1.ga.comcast.net)
2024-02-14 00:42:54 +0100xff0x(~xff0x@ai099196.d.east.v6connect.net) (Ping timeout: 255 seconds)
2024-02-14 00:44:21 +0100yoo(~yo0O0o@user/mobivme) (Remote host closed the connection)
2024-02-14 00:44:48 +0100xff0x(~xff0x@178.255.149.135)
2024-02-14 00:44:49 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 264 seconds)
2024-02-14 00:45:53 +0100k_hachig(~k_hachig@38.147.245.17)
2024-02-14 00:46:08 +0100yoo(~yo0O0o@104.28.194.104)
2024-02-14 00:47:13 +0100sudden(~cat@user/sudden) (Ping timeout: 264 seconds)
2024-02-14 00:49:46 +0100xff0x(~xff0x@178.255.149.135) (Ping timeout: 264 seconds)
2024-02-14 00:51:00 +0100xff0x(~xff0x@2405:6580:b080:900:f232:3180:fb80:a011)
2024-02-14 00:51:43 +0100segfaultfizzbuzz(~segfaultf@2600:1702:6d0:e930:603e:ee72:ccf6:3b57) (Ping timeout: 268 seconds)
2024-02-14 00:53:48 +0100mei(~mei@user/mei) (Remote host closed the connection)
2024-02-14 00:55:11 +0100yoo(~yo0O0o@104.28.194.104) (Ping timeout: 264 seconds)
2024-02-14 00:55:23 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net)
2024-02-14 00:56:02 +0100mizlan(~mizlan@2607:f010:2e9:b:24e3:3288:b16c:e350) (Ping timeout: 268 seconds)
2024-02-14 00:56:12 +0100mei(~mei@user/mei)
2024-02-14 00:56:51 +0100k_hachig(~k_hachig@38.147.245.17) (Ping timeout: 255 seconds)
2024-02-14 00:58:00 +0100sudden(~cat@user/sudden)
2024-02-14 00:59:59 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 264 seconds)
2024-02-14 01:02:07 +0100mud(~mud@user/kadoban) (Read error: Connection reset by peer)
2024-02-14 01:02:59 +0100mud(~mud@user/kadoban)
2024-02-14 01:03:30 +0100mizlan(~mizlan@2607:f010:2e9:b:289a:cc82:e860:64c9)
2024-02-14 01:03:55 +0100forell(~forell@user/forell) (Ping timeout: 272 seconds)
2024-02-14 01:07:28 +0100jmdaemon(~jmdaemon@user/jmdaemon)
2024-02-14 01:09:36 +0100k_hachig(~k_hachig@38.147.245.17)
2024-02-14 01:09:50 +0100segfaultfizzbuzz(~segfaultf@2600:1702:6d0:e930:603e:ee72:ccf6:3b57)
2024-02-14 01:10:17 +0100average(uid473595@user/average) (Quit: Connection closed for inactivity)
2024-02-14 01:10:26 +0100gmg(~user@user/gehmehgeh) (Quit: Leaving)
2024-02-14 01:12:20 +0100Midjak(~MarciZ@82.66.147.146) (Quit: This computer has gone to sleep)
2024-02-14 01:12:27 +0100forell(~forell@user/forell)
2024-02-14 01:15:15 +0100ru0mad(~ru0mad@moon.ruomad.net) (Quit: leaving)
2024-02-14 01:15:35 +0100k_hachig(~k_hachig@38.147.245.17) (Ping timeout: 264 seconds)
2024-02-14 01:17:43 +0100sroso(~sroso@user/SrOso)
2024-02-14 01:21:39 +0100Square3(~Square4@user/square)
2024-02-14 01:25:11 +0100Square(~Square@user/square) (Ping timeout: 264 seconds)
2024-02-14 01:29:42 +0100jmdaemon(~jmdaemon@user/jmdaemon) (Ping timeout: 255 seconds)
2024-02-14 01:29:59 +0100forell(~forell@user/forell) (Ping timeout: 264 seconds)
2024-02-14 01:31:30 +0100forell(~forell@user/forell)
2024-02-14 01:41:03 +0100jmdaemon(~jmdaemon@user/jmdaemon)
2024-02-14 01:41:50 +0100dsrt^(~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Remote host closed the connection)
2024-02-14 01:44:13 +0100k_hachig(~k_hachig@38.147.245.17)
2024-02-14 01:46:53 +0100emad(~emad@156.214.178.69) (Quit: Leaving)
2024-02-14 01:49:03 +0100k_hachig(~k_hachig@38.147.245.17) (Ping timeout: 255 seconds)
2024-02-14 02:00:29 +0100caconym(~caconym@user/caconym)
2024-02-14 02:00:40 +0100k_hachig(~k_hachig@38.147.245.17)
2024-02-14 02:01:12 +0100jmdaemon(~jmdaemon@user/jmdaemon) (Ping timeout: 255 seconds)
2024-02-14 02:01:59 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net)
2024-02-14 02:05:23 +0100k_hachig(~k_hachig@38.147.245.17) (Ping timeout: 264 seconds)
2024-02-14 02:06:57 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 268 seconds)
2024-02-14 02:07:27 +0100mud(~mud@user/kadoban) (Quit: quit)
2024-02-14 02:08:39 +0100tabemann(~tabemann@2600:1700:7990:24e0:b2e3:8083:a451:548a) (Quit: Leaving)
2024-02-14 02:08:42 +0100tabemann_(~tabemann@2600:1700:7990:24e0:67b0:8842:12fe:e228)
2024-02-14 02:11:33 +0100caconym(~caconym@user/caconym) (Quit: bye)
2024-02-14 02:11:44 +0100caconym(~caconym@user/caconym)
2024-02-14 02:14:41 +0100jmdaemon(~jmdaemon@user/jmdaemon)
2024-02-14 02:15:21 +0100tabemann_tabemann
2024-02-14 02:18:19 +0100caconym(~caconym@user/caconym) (Quit: bye)
2024-02-14 02:18:30 +0100caconym(~caconym@user/caconym)
2024-02-14 02:28:12 +0100k_hachig(~k_hachig@38.147.245.17)
2024-02-14 02:32:59 +0100k_hachig(~k_hachig@38.147.245.17) (Ping timeout: 264 seconds)
2024-02-14 02:37:37 +0100jmdaemon(~jmdaemon@user/jmdaemon) (Ping timeout: 264 seconds)
2024-02-14 02:41:27 +0100jmdaemon(~jmdaemon@user/jmdaemon)
2024-02-14 02:44:06 +0100 <haskellbridge> <i​rregularsphere> EvanR: pretend it doesn't have side effects
2024-02-14 02:44:28 +0100 <haskellbridge> <i​rregularsphere> (unsafePerformIO $ mkWorldPeace RealWorld) :: ()
2024-02-14 02:45:29 +0100 <EvanR> mkWorldPieces = launchMissiles
2024-02-14 02:45:35 +0100Tuplanolla(~Tuplanoll@91-159-68-95.elisa-laajakaista.fi) (Quit: Leaving.)
2024-02-14 02:46:01 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds)
2024-02-14 02:46:37 +0100jmdaemon(~jmdaemon@user/jmdaemon) (Ping timeout: 264 seconds)
2024-02-14 02:46:48 +0100szkl(uid110435@id-110435.uxbridge.irccloud.com)
2024-02-14 02:47:13 +0100 <haskellbridge> <i​rregularsphere> expected type: ()
2024-02-14 02:47:30 +0100 <haskellbridge> <i​rregularsphere> actual type: RealWorld -> IO ()
2024-02-14 02:47:39 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2024-02-14 02:49:44 +0100 <haskellbridge> <i​rregularsphere> actually
2024-02-14 02:49:52 +0100 <haskellbridge> <i​rregularsphere> fix realWorld
2024-02-14 02:50:00 +0100 <haskellbridge> <i​rregularsphere> problems all solved
2024-02-14 02:58:18 +0100Guest59(~Guest59@2409:4081:1e12:aa0c:300c:cbbd:437d:69b1)
2024-02-14 02:58:44 +0100jargon(~jargon@13.sub-174-205-175.myvzw.com) (Read error: Connection reset by peer)
2024-02-14 02:58:50 +0100jmdaemon(~jmdaemon@user/jmdaemon)
2024-02-14 03:03:07 +0100Guest59(~Guest59@2409:4081:1e12:aa0c:300c:cbbd:437d:69b1) (Client Quit)
2024-02-14 03:04:29 +0100jmdaemon(~jmdaemon@user/jmdaemon) (Ping timeout: 260 seconds)
2024-02-14 03:04:37 +0100pointlessslippe1(~pointless@212.82.82.3) (Ping timeout: 264 seconds)
2024-02-14 03:05:37 +0100pointlessslippe1(~pointless@212.82.82.3)
2024-02-14 03:07:01 +0100mizlan(~mizlan@2607:f010:2e9:b:289a:cc82:e860:64c9) (Ping timeout: 264 seconds)
2024-02-14 03:07:06 +0100coldtom3(~coldtom@coldrick.cc)
2024-02-14 03:09:18 +0100coldtom(~coldtom@coldrick.cc) (Read error: Connection reset by peer)
2024-02-14 03:09:18 +0100coldtom3coldtom
2024-02-14 03:13:34 +0100mizlan(~mizlan@wifi-131-179-20-9.host.ucla.edu)
2024-02-14 03:14:33 +0100otto_s(~user@p4ff27c98.dip0.t-ipconnect.de) (Ping timeout: 255 seconds)
2024-02-14 03:14:34 +0100mizlan(~mizlan@wifi-131-179-20-9.host.ucla.edu) (Remote host closed the connection)
2024-02-14 03:15:12 +0100mizlan(~mizlan@2607:f010:2e9:b:6ceb:2a45:a286:3290)
2024-02-14 03:16:11 +0100otto_s(~user@p5b044b8c.dip0.t-ipconnect.de)
2024-02-14 03:26:23 +0100 <EvanR> realWorld :: Problems -> Problems
2024-02-14 03:26:30 +0100 <EvanR> fix realWorld :: Problems
2024-02-14 03:28:03 +0100xff0x(~xff0x@2405:6580:b080:900:f232:3180:fb80:a011) (Ping timeout: 255 seconds)
2024-02-14 03:30:34 +0100Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving)
2024-02-14 03:47:01 +0100mmhat(~mmh@p200300f1c740af5dee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 4.2.1)
2024-02-14 03:47:43 +0100 <segfaultfizzbuzz> haha
2024-02-14 03:51:35 +0100waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 264 seconds)
2024-02-14 03:51:46 +0100 <geekosaur> for some reason this makes me of this posted elsewhere:
2024-02-14 03:51:51 +0100 <geekosaur> [06 02:07:22] <Discord|> <g​ammafunk> Posting this just-discovered quote here since I'm sure some would appreciate it: > Dark corners are basically fractal — no matter how much you illuminate, there’s always a smaller but darker one. > — Brian Kernighan
2024-02-14 03:56:23 +0100 <segfaultfizzbuzz> fight darkness
2024-02-14 04:04:25 +0100mizlan(~mizlan@2607:f010:2e9:b:6ceb:2a45:a286:3290) (Ping timeout: 268 seconds)
2024-02-14 04:08:01 +0100mizlan(~mizlan@wifi-131-179-20-9.host.ucla.edu)
2024-02-14 04:09:51 +0100mizlan(~mizlan@wifi-131-179-20-9.host.ucla.edu) (Remote host closed the connection)
2024-02-14 04:10:20 +0100jb3(~jb3@core.jb3.dev)
2024-02-14 04:11:22 +0100mizlan(~mizlan@128.97.176.189)
2024-02-14 04:11:53 +0100xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
2024-02-14 04:15:45 +0100mizlan(~mizlan@128.97.176.189) (Ping timeout: 255 seconds)
2024-02-14 04:21:52 +0100mizlan(~mizlan@2607:f010:2a7:1026:7030:dfc9:2fa:db49)
2024-02-14 04:23:25 +0100bilegeek(~bilegeek@2600:1008:b0af:c00f:68a5:85a7:a872:3a55)
2024-02-14 04:29:14 +0100k_hachig(~k_hachig@38.147.245.17)
2024-02-14 04:29:53 +0100td_(~td@i5387092A.versanet.de) (Ping timeout: 252 seconds)
2024-02-14 04:31:28 +0100td_(~td@i5387092F.versanet.de)
2024-02-14 04:33:45 +0100k_hachig(~k_hachig@38.147.245.17) (Ping timeout: 255 seconds)
2024-02-14 04:40:57 +0100forell(~forell@user/forell) (Ping timeout: 255 seconds)
2024-02-14 04:43:21 +0100euleritian(~euleritia@dynamic-176-001-010-233.176.1.pool.telefonica.de) (Read error: Connection reset by peer)
2024-02-14 04:43:32 +0100forell(~forell@user/forell)
2024-02-14 04:43:39 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-02-14 04:45:32 +0100mmohammadi9812(~mmohammad@185.93.182.30)
2024-02-14 04:45:35 +0100Erutuon(~Erutuon@user/erutuon) (Ping timeout: 260 seconds)
2024-02-14 04:50:25 +0100segfaultfizzbuzz(~segfaultf@2600:1702:6d0:e930:603e:ee72:ccf6:3b57) (Ping timeout: 260 seconds)
2024-02-14 04:53:19 +0100jargon(~jargon@13.sub-174-205-175.myvzw.com)
2024-02-14 04:56:42 +0100mmohammadi9812(~mmohammad@185.93.182.30) (Ping timeout: 255 seconds)
2024-02-14 04:58:53 +0100szkl(uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
2024-02-14 05:03:13 +0100machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net)
2024-02-14 05:15:09 +0100sroso(~sroso@user/SrOso) (Ping timeout: 255 seconds)
2024-02-14 05:16:52 +0100sroso(~sroso@user/SrOso)
2024-02-14 05:17:27 +0100sroso(~sroso@user/SrOso) (Max SendQ exceeded)
2024-02-14 05:20:48 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net)
2024-02-14 05:23:09 +0100sroso(~sroso@user/SrOso)
2024-02-14 05:44:59 +0100aforemny(~aforemny@2001:9e8:6ccd:8500:a515:f4fd:94fd:1c13)
2024-02-14 05:46:12 +0100aforemny_(~aforemny@i59F516EF.versanet.de) (Ping timeout: 255 seconds)
2024-02-14 05:48:51 +0100dsrt^(~cd@c-98-242-74-66.hsd1.ga.comcast.net)
2024-02-14 05:57:13 +0100igemnace(~ian@user/igemnace)
2024-02-14 06:04:12 +0100machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 255 seconds)
2024-02-14 06:04:59 +0100pavonia(~user@user/siracusa) (Quit: Bye!)
2024-02-14 06:15:45 +0100tri_(~tri@2607:fb90:b112:7d3:f5fb:e6a8:30f5:e221)
2024-02-14 06:18:09 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 255 seconds)
2024-02-14 06:19:35 +0100 <haskellbridge> <i​rregularsphere> wait, there was a _discord_ bridge?
2024-02-14 06:29:39 +0100k_hachig(~k_hachig@38.147.245.17)
2024-02-14 06:35:59 +0100k_hachig(~k_hachig@38.147.245.17) (Ping timeout: 264 seconds)
2024-02-14 06:40:02 +0100smalltalkman(uid545680@id-545680.hampstead.irccloud.com)
2024-02-14 06:45:00 +0100pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2024-02-14 06:47:10 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex)
2024-02-14 06:49:40 +0100trev(~trev@user/trev) (Ping timeout: 256 seconds)
2024-02-14 06:51:39 +0100trev(~trev@user/trev)
2024-02-14 06:57:05 +0100k_hachig(~k_hachig@38.147.245.17)
2024-02-14 06:59:42 +0100Luj(~Luj@2a01:e0a:5f9:9681:3e0c:c0ef:68ab:c6b6) (Quit: Ping timeout (120 seconds))
2024-02-14 07:00:01 +0100Luj(~Luj@2a01:e0a:5f9:9681:f767:82a3:7de:1864)
2024-02-14 07:01:33 +0100k_hachig(~k_hachig@38.147.245.17) (Ping timeout: 260 seconds)
2024-02-14 07:02:29 +0100AlexZenon(~alzenon@94.233.241.30) (Ping timeout: 260 seconds)
2024-02-14 07:04:03 +0100AlexNoo(~AlexNoo@94.233.241.30) (Ping timeout: 255 seconds)
2024-02-14 07:04:20 +0100erty(~user@user/aeroplane)
2024-02-14 07:04:30 +0100mulk(~mulk@pd9514dc9.dip0.t-ipconnect.de) (Ping timeout: 255 seconds)
2024-02-14 07:05:30 +0100mulk(~mulk@p5b2dc0d1.dip0.t-ipconnect.de)
2024-02-14 07:08:29 +0100_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl)
2024-02-14 07:09:57 +0100mulk(~mulk@p5b2dc0d1.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2024-02-14 07:11:43 +0100michalz(~michalz@185.246.207.193)
2024-02-14 07:11:59 +0100Square3(~Square4@user/square) (Ping timeout: 264 seconds)
2024-02-14 07:15:09 +0100tri(~tri@2607:fb90:b112:7d3:b445:40c2:11cf:2118)
2024-02-14 07:15:29 +0100ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2024-02-14 07:16:11 +0100ChaiTRex(~ChaiTRex@user/chaitrex)
2024-02-14 07:16:26 +0100mulk(~mulk@p5b2dce88.dip0.t-ipconnect.de)
2024-02-14 07:18:21 +0100tri_(~tri@2607:fb90:b112:7d3:f5fb:e6a8:30f5:e221) (Ping timeout: 260 seconds)
2024-02-14 07:25:16 +0100pruiz(~user@user/pruiz)
2024-02-14 07:30:19 +0100michalz(~michalz@185.246.207.193) (Quit: ZNC 1.8.2 - https://znc.in)
2024-02-14 07:33:09 +0100michalz(~michalz@185.246.207.200)
2024-02-14 07:37:41 +0100azimut(~azimut@gateway/tor-sasl/azimut)
2024-02-14 07:38:48 +0100acidjnk_new3(~acidjnk@p200300d6e737e7247c482905a196782e.dip0.t-ipconnect.de)
2024-02-14 07:42:11 +0100pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5)
2024-02-14 07:45:47 +0100RaspbellySwirl(~Raspbelly@host-213-235-142-6.ip.topnet.cz)
2024-02-14 07:46:34 +0100RaspbellySwirl(~Raspbelly@host-213-235-142-6.ip.topnet.cz) (Read error: Connection reset by peer)
2024-02-14 07:47:12 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com)
2024-02-14 07:47:17 +0100RaspbellySwirl(~Raspbelly@host-213-235-142-6.ip.topnet.cz)
2024-02-14 07:47:48 +0100RaspbellySwirl_(~Raspbelly@host-213-235-142-6.ip.topnet.cz)
2024-02-14 07:49:04 +0100tri(~tri@2607:fb90:b112:7d3:b445:40c2:11cf:2118) (Remote host closed the connection)
2024-02-14 07:50:40 +0100tri(~tri@172.59.9.28)
2024-02-14 07:52:25 +0100RaspbellySwirl(~Raspbelly@host-213-235-142-6.ip.topnet.cz) (Ping timeout: 272 seconds)
2024-02-14 07:57:35 +0100tri(~tri@172.59.9.28) (Remote host closed the connection)
2024-02-14 07:58:20 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2024-02-14 08:04:16 +0100sord937(~sord937@gateway/tor-sasl/sord937)
2024-02-14 08:30:27 +0100mizlan(~mizlan@2607:f010:2a7:1026:7030:dfc9:2fa:db49) (Ping timeout: 255 seconds)
2024-02-14 08:36:51 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2024-02-14 08:37:00 +0100pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2024-02-14 08:37:28 +0100Guest|1(~Guest|1@84-24-79-45.cable.dynamic.v4.ziggo.nl)
2024-02-14 08:42:18 +0100leungbk(~user@2603-8000-1201-2dd2-239b-3f5f-9ebc-af13.res6.spectrum.com)
2024-02-14 08:43:08 +0100ski(~ski@ext-1-033.eduroam.chalmers.se)
2024-02-14 08:43:44 +0100leungbk(~user@2603-8000-1201-2dd2-239b-3f5f-9ebc-af13.res6.spectrum.com) (Client Quit)
2024-02-14 08:45:33 +0100hc(~hc@mail.hce.li) (Remote host closed the connection)
2024-02-14 08:47:04 +0100hc(~hc@mail.hce.li)
2024-02-14 08:48:57 +0100leungbk(~user@2603-8000-1201-2dd2-239b-3f5f-9ebc-af13.res6.spectrum.com)
2024-02-14 08:49:36 +0100leungbk`(~user@2603-8000-1201-2dd2-239b-3f5f-9ebc-af13.res6.spectrum.com)
2024-02-14 08:49:36 +0100leungbk(~user@2603-8000-1201-2dd2-239b-3f5f-9ebc-af13.res6.spectrum.com) (Remote host closed the connection)
2024-02-14 08:50:51 +0100leungbk`(~user@2603-8000-1201-2dd2-239b-3f5f-9ebc-af13.res6.spectrum.com) (Remote host closed the connection)
2024-02-14 08:57:10 +0100fendor(~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c)
2024-02-14 09:02:39 +0100danse-nr3(~danse@151.43.138.161)
2024-02-14 09:02:52 +0100danse-nr3(~danse@151.43.138.161) (Remote host closed the connection)
2024-02-14 09:03:30 +0100dsrt^(~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 268 seconds)
2024-02-14 09:04:29 +0100dsrt^(~cd@c-98-242-74-66.hsd1.ga.comcast.net)
2024-02-14 09:07:52 +0100CiaoSen(~Jura@2a05:5800:2cb:c300:e6b9:7aff:fe80:3d03)
2024-02-14 09:15:46 +0100bilegeek(~bilegeek@2600:1008:b0af:c00f:68a5:85a7:a872:3a55) (Quit: Leaving)
2024-02-14 09:19:59 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-02-14 09:20:06 +0100euleritian(~euleritia@dynamic-176-001-012-145.176.1.pool.telefonica.de)
2024-02-14 09:20:36 +0100euleritian(~euleritia@dynamic-176-001-012-145.176.1.pool.telefonica.de) (Read error: Connection reset by peer)
2024-02-14 09:21:01 +0100euleritian(~euleritia@dynamic-176-001-012-145.176.1.pool.telefonica.de)
2024-02-14 09:25:34 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2024-02-14 09:31:48 +0100Midjak(~MarciZ@82.66.147.146)
2024-02-14 09:32:22 +0100azimut(~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
2024-02-14 09:33:16 +0100azimut(~azimut@gateway/tor-sasl/azimut)
2024-02-14 09:37:11 +0100leungbk(~user@2603-8000-1201-2dd2-239b-3f5f-9ebc-af13.res6.spectrum.com)
2024-02-14 09:39:51 +0100AlexNoo(~AlexNoo@5.139.232.186)
2024-02-14 09:44:30 +0100AlexZenon(~alzenon@5.139.232.186)
2024-02-14 09:47:00 +0100mizlan(~mizlan@2607:f010:2a7:1026:7030:dfc9:2fa:db49)
2024-02-14 09:48:04 +0100econo_(uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2024-02-14 09:50:29 +0100average(uid473595@user/average)
2024-02-14 09:51:00 +0100kmein(~weechat@user/kmein) (Ping timeout: 256 seconds)
2024-02-14 09:51:43 +0100mizlan(~mizlan@2607:f010:2a7:1026:7030:dfc9:2fa:db49) (Ping timeout: 260 seconds)
2024-02-14 09:54:35 +0100azimut(~azimut@gateway/tor-sasl/azimut) (Quit: ZNC - https://znc.in)
2024-02-14 09:55:27 +0100azimut(~azimut@gateway/tor-sasl/azimut)
2024-02-14 09:58:13 +0100machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net)
2024-02-14 10:02:31 +0100tzh(~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Quit: zzz)
2024-02-14 10:04:07 +0100erian(~erian@176.254.244.83) (Ping timeout: 256 seconds)
2024-02-14 10:04:19 +0100yoo(~yo0O0o@104.28.194.104)
2024-02-14 10:12:26 +0100danse-nr3(~danse@151.43.206.176)
2024-02-14 10:33:54 +0100ft(~ft@p508db2e6.dip0.t-ipconnect.de) (Quit: leaving)
2024-02-14 10:37:47 +0100chele(~chele@user/chele)
2024-02-14 10:38:33 +0100glguy(g@libera/staff/glguy) (Ping timeout: 612 seconds)
2024-02-14 10:38:51 +0100g(g@libera/staff/glguy) (Ping timeout: 608 seconds)
2024-02-14 10:42:03 +0100drdo9(~drdo@bl14-14-49.dsl.telepac.pt)
2024-02-14 10:42:18 +0100drdo(~drdo@bl14-14-49.dsl.telepac.pt) (Ping timeout: 255 seconds)
2024-02-14 10:42:18 +0100drdo9drdo
2024-02-14 10:52:02 +0100danse-nr3(~danse@151.43.206.176) (Ping timeout: 268 seconds)
2024-02-14 10:55:55 +0100danse-nr3(~danse@151.43.206.176)
2024-02-14 10:58:56 +0100czy(~user@117.63.127.239) (Remote host closed the connection)
2024-02-14 11:01:00 +0100czy(~user@117.63.127.239)
2024-02-14 11:04:04 +0100yoo(~yo0O0o@104.28.194.104) (Ping timeout: 268 seconds)
2024-02-14 11:07:27 +0100xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 256 seconds)
2024-02-14 11:14:12 +0100rosco(~rosco@175.136.156.77)
2024-02-14 11:18:24 +0100gehmehgeh(~user@user/gehmehgeh)
2024-02-14 11:19:03 +0100gehmehgeh(~user@user/gehmehgeh) (Remote host closed the connection)
2024-02-14 11:19:44 +0100gehmehgeh(~user@user/gehmehgeh)
2024-02-14 11:21:09 +0100ubert(~Thunderbi@2a02:8109:ab8a:5a00:d5c1:664c:72d3:ce84)
2024-02-14 11:21:21 +0100szkl(uid110435@id-110435.uxbridge.irccloud.com)
2024-02-14 11:28:29 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 260 seconds)
2024-02-14 11:35:05 +0100chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2024-02-14 11:35:52 +0100chexum(~quassel@gateway/tor-sasl/chexum)
2024-02-14 11:36:36 +0100yoo(~yo0O0o@104.28.194.104)
2024-02-14 11:45:53 +0100mizlan(~mizlan@2607:f010:2a7:1026:7030:dfc9:2fa:db49)
2024-02-14 11:48:51 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2024-02-14 11:50:15 +0100mizlan(~mizlan@2607:f010:2a7:1026:7030:dfc9:2fa:db49) (Ping timeout: 255 seconds)
2024-02-14 11:56:20 +0100m1dnight(~christoph@78-22-2-15.access.telenet.be) (Quit: WeeChat 4.2.1)
2024-02-14 11:56:47 +0100m1dnight(~christoph@78-22-2-15.access.telenet.be)
2024-02-14 12:02:13 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 264 seconds)
2024-02-14 12:03:19 +0100anon8697(~anon1123@2a02:ab88:282:b00:da3a:ddff:fe3a:947c) (Ping timeout: 260 seconds)
2024-02-14 12:04:13 +0100yoo(~yo0O0o@104.28.194.104) (Ping timeout: 255 seconds)
2024-02-14 12:04:32 +0100anon1123(~anon1123@catv-176-63-0-119.catv.fixed.vodafone.hu)
2024-02-14 12:05:15 +0100glguy(g@libera/staff/glguy)
2024-02-14 12:08:35 +0100g(g@libera/staff/glguy)
2024-02-14 12:09:55 +0100Guest83(~Guest83@95.87.66.169)
2024-02-14 12:10:47 +0100Guest83(~Guest83@95.87.66.169) (Client Quit)
2024-02-14 12:12:49 +0100CiaoSen(~Jura@2a05:5800:2cb:c300:e6b9:7aff:fe80:3d03) (Ping timeout: 268 seconds)
2024-02-14 12:13:45 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2024-02-14 12:14:20 +0100sroso(~sroso@user/SrOso) (Quit: Leaving :))
2024-02-14 12:15:35 +0100pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 264 seconds)
2024-02-14 12:16:15 +0100xff0x(~xff0x@ai082039.d.east.v6connect.net)
2024-02-14 12:32:12 +0100leungbk(~user@2603-8000-1201-2dd2-239b-3f5f-9ebc-af13.res6.spectrum.com) (Remote host closed the connection)
2024-02-14 12:32:21 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 272 seconds)
2024-02-14 12:34:15 +0100g(g@libera/staff/glguy) (Ping timeout: 604 seconds)
2024-02-14 12:34:54 +0100glguy(g@libera/staff/glguy) (Ping timeout: 612 seconds)
2024-02-14 12:36:12 +0100euleritian(~euleritia@dynamic-176-001-012-145.176.1.pool.telefonica.de) (Read error: Connection reset by peer)
2024-02-14 12:36:30 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-02-14 12:52:28 +0100yoo(~yo0O0o@104.28.226.106)
2024-02-14 12:55:46 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds)
2024-02-14 12:56:08 +0100euleritian(~euleritia@dynamic-176-001-012-145.176.1.pool.telefonica.de)
2024-02-14 12:57:43 +0100boukenshaou(~Boukensha@223.178.86.127)
2024-02-14 12:59:53 +0100yoo(~yo0O0o@104.28.226.106) (Changing host)
2024-02-14 12:59:53 +0100yoo(~yo0O0o@user/mobivme)
2024-02-14 13:01:27 +0100glguy(g@libera/staff/glguy)
2024-02-14 13:01:30 +0100kmein(~weechat@user/kmein)
2024-02-14 13:01:35 +0100igemnace(~ian@user/igemnace) (Read error: Connection reset by peer)
2024-02-14 13:01:44 +0100igemnace(~ian@user/igemnace)
2024-02-14 13:01:45 +0100igemnace(~ian@user/igemnace) (Read error: Connection reset by peer)
2024-02-14 13:03:25 +0100Guest|1(~Guest|1@84-24-79-45.cable.dynamic.v4.ziggo.nl) (Quit: Connection closed)
2024-02-14 13:07:53 +0100alexherbo2(~alexherbo@2a02-8440-3240-adeb-38b1-89a1-4805-7350.rev.sfr.net)
2024-02-14 13:08:09 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2024-02-14 13:08:31 +0100g(g@libera/staff/glguy)
2024-02-14 13:08:46 +0100__monty__(~toonn@12.red-2-138-164.dynamicip.rima-tde.net)
2024-02-14 13:08:53 +0100__monty__(~toonn@12.red-2-138-164.dynamicip.rima-tde.net) (Client Quit)
2024-02-14 13:10:37 +0100igemnace(~ian@user/igemnace)
2024-02-14 13:12:22 +0100__monty__(~toonn@user/toonn)
2024-02-14 13:13:46 +0100euleritian(~euleritia@dynamic-176-001-012-145.176.1.pool.telefonica.de) (Read error: Connection reset by peer)
2024-02-14 13:14:05 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-02-14 13:22:39 +0100danse-nr3(~danse@151.43.206.176) (Ping timeout: 260 seconds)
2024-02-14 13:25:35 +0100yoo(~yo0O0o@user/mobivme) (Ping timeout: 268 seconds)
2024-02-14 13:26:05 +0100mmhat(~mmh@p200300f1c740af5dee086bfffe095315.dip0.t-ipconnect.de)
2024-02-14 13:32:46 +0100CiaoSen(~Jura@2a05:5800:2cb:c300:e6b9:7aff:fe80:3d03)
2024-02-14 13:34:11 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2024-02-14 13:35:15 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex)
2024-02-14 13:40:05 +0100yoo(~yo0O0o@104.28.194.104)
2024-02-14 13:40:36 +0100szkl(uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
2024-02-14 13:54:09 +0100yoo(~yo0O0o@104.28.194.104) (Changing host)
2024-02-14 13:54:09 +0100yoo(~yo0O0o@user/mobivme)
2024-02-14 13:56:10 +0100phma(~phma@host-67-44-208-104.hnremote.net) (Read error: Connection reset by peer)
2024-02-14 13:56:55 +0100phma(phma@2001:5b0:210d:fe68:fc35:8b63:90e:b2c5)
2024-02-14 14:00:01 +0100bliminse(~bliminse@user/bliminse) (Quit: leaving)
2024-02-14 14:00:06 +0100segfaultfizzbuzz(~segfaultf@2600:1702:6d0:e930:603e:ee72:ccf6:3b57)
2024-02-14 14:08:32 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2024-02-14 14:09:29 +0100average(uid473595@user/average) (Quit: Connection closed for inactivity)
2024-02-14 14:09:44 +0100bliminse(~bliminse@user/bliminse)
2024-02-14 14:13:01 +0100mizlan(~mizlan@2607:f010:2a7:1026:7030:dfc9:2fa:db49)
2024-02-14 14:15:25 +0100nunggu(~q@user/nunggu)
2024-02-14 14:17:17 +0100mizlan(~mizlan@2607:f010:2a7:1026:7030:dfc9:2fa:db49) (Ping timeout: 256 seconds)
2024-02-14 14:18:32 +0100danse-nr3(~danse@151.43.133.178)
2024-02-14 14:19:08 +0100ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2024-02-14 14:19:44 +0100ChaiTRex(~ChaiTRex@user/chaitrex)
2024-02-14 14:25:59 +0100nunggu(~q@user/nunggu) (Ping timeout: 255 seconds)
2024-02-14 14:28:00 +0100azimut_(~azimut@gateway/tor-sasl/azimut)
2024-02-14 14:28:05 +0100nunggu(~q@user/nunggu)
2024-02-14 14:29:08 +0100azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds)
2024-02-14 14:29:19 +0100farn_(~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505) (Ping timeout: 256 seconds)
2024-02-14 14:29:52 +0100farn_(~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505)
2024-02-14 14:30:35 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds)
2024-02-14 14:31:03 +0100euleritian(~euleritia@dynamic-176-001-012-145.176.1.pool.telefonica.de)
2024-02-14 14:32:38 +0100destituion(~destituio@2a02:2121:626:f551:4873:d2f3:2e93:f3f6) (Ping timeout: 256 seconds)
2024-02-14 14:33:35 +0100destituion(~destituio@85.221.111.174)
2024-02-14 14:39:50 +0100RaspbellySwirl_(~Raspbelly@host-213-235-142-6.ip.topnet.cz) (Ping timeout: 252 seconds)
2024-02-14 14:40:04 +0100_3xistence(~existence@176.254.244.83)
2024-02-14 14:47:38 +0100actioninja4(~actioninj@user/actioninja)
2024-02-14 14:48:55 +0100actioninja(~actioninj@user/actioninja) (Ping timeout: 255 seconds)
2024-02-14 14:48:56 +0100actioninja4actioninja
2024-02-14 14:51:01 +0100farn_(~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505) (Ping timeout: 260 seconds)
2024-02-14 14:51:58 +0100rosco(~rosco@175.136.156.77) (Ping timeout: 246 seconds)
2024-02-14 14:53:55 +0100rosco(rosco@gateway/vpn/airvpn/rosco)
2024-02-14 14:54:20 +0100pastly(~pastly@gateway/tor-sasl/pastly) (Ping timeout: 255 seconds)
2024-02-14 14:54:59 +0100pastly(~pastly@gateway/tor-sasl/pastly)
2024-02-14 14:57:50 +0100erty(~user@user/aeroplane) (ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.2))
2024-02-14 14:59:26 +0100pavonia(~user@user/siracusa)
2024-02-14 15:00:37 +0100Lycurgus(~georg@user/Lycurgus) (Quit: leaving)
2024-02-14 15:08:35 +0100segfaultfizzbuzz(~segfaultf@2600:1702:6d0:e930:603e:ee72:ccf6:3b57) (Ping timeout: 260 seconds)
2024-02-14 15:09:49 +0100danse-nr3(~danse@151.43.133.178) (Remote host closed the connection)
2024-02-14 15:10:12 +0100danse-nr3(~danse@151.43.133.178)
2024-02-14 15:11:23 +0100Square3(~Square4@user/square)
2024-02-14 15:15:01 +0100farn_(~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505)
2024-02-14 15:24:28 +0100mmhat(~mmh@p200300f1c740af5dee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 255 seconds)
2024-02-14 15:24:50 +0100mmhat(~mmh@p200300f1c740afccee086bfffe095315.dip0.t-ipconnect.de)
2024-02-14 15:25:00 +0100segfaultfizzbuzz(~segfaultf@2600:1702:6d0:e930:603e:ee72:ccf6:3b57)
2024-02-14 15:30:13 +0100MasseR46(thelounge@51.15.143.128) (Quit: The Lounge - https://thelounge.chat)
2024-02-14 15:30:39 +0100MasseR46(thelounge@51.15.143.128)
2024-02-14 15:30:52 +0100Raspbelly(~Raspbelly@89-24-56-142.nat.epc.tmcz.cz)
2024-02-14 15:33:21 +0100chromoblob(~user@72-115.nat.mks-chel.ru)
2024-02-14 15:33:47 +0100segfaultfizzbuzz(~segfaultf@2600:1702:6d0:e930:603e:ee72:ccf6:3b57) (Ping timeout: 260 seconds)
2024-02-14 15:35:09 +0100Raspbelly(~Raspbelly@89-24-56-142.nat.epc.tmcz.cz) (Read error: Connection reset by peer)
2024-02-14 15:35:23 +0100Raspbelly(~Raspbelly@89-24-56-142.nat.epc.tmcz.cz)
2024-02-14 15:37:13 +0100waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
2024-02-14 15:41:06 +0100adanwan_(~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
2024-02-14 15:42:54 +0100adanwan(~adanwan@gateway/tor-sasl/adanwan)
2024-02-14 15:44:33 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 256 seconds)
2024-02-14 15:46:24 +0100tri(~tri@ool-18bbef1a.static.optonline.net)
2024-02-14 15:51:13 +0100tri(~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 272 seconds)
2024-02-14 15:58:59 +0100Raspbelly(~Raspbelly@89-24-56-142.nat.epc.tmcz.cz) (Ping timeout: 260 seconds)
2024-02-14 16:02:49 +0100chromoblob(~user@72-115.nat.mks-chel.ru) (Ping timeout: 264 seconds)
2024-02-14 16:03:07 +0100califax(~califax@user/califx) (Remote host closed the connection)
2024-02-14 16:03:29 +0100califax(~califax@user/califx)
2024-02-14 16:03:59 +0100chromoblob(~user@72-143.nat.mks-chel.ru)
2024-02-14 16:04:37 +0100adanwan(~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
2024-02-14 16:04:52 +0100adanwan(~adanwan@gateway/tor-sasl/adanwan)
2024-02-14 16:06:43 +0100k_hachig(~k_hachig@138-51-85-2-lsn-2.nat.utoronto.ca)
2024-02-14 16:11:39 +0100gehmehgehgmg
2024-02-14 16:12:26 +0100lortabac(~lortabac@78.241.22.229)
2024-02-14 16:12:37 +0100danse-nr3(~danse@151.43.133.178) (Ping timeout: 255 seconds)
2024-02-14 16:16:56 +0100Erutuon(~Erutuon@user/erutuon)
2024-02-14 16:19:42 +0100 <absence> In GHCI, is it possible to query the type parameters of a function? :t shows e.g. "SomeClass s => ...", but I'd like to see the implicit "forall s. SomeClass s => ..."
2024-02-14 16:20:50 +0100LukeHoersten(~LukeHoers@user/lukehoersten)
2024-02-14 16:22:04 +0100LukeHoersten(~LukeHoers@user/lukehoersten) (Client Quit)
2024-02-14 16:25:41 +0100 <ski> % :t Nothing
2024-02-14 16:25:41 +0100 <yahb2> Nothing :: Maybe a
2024-02-14 16:25:43 +0100 <ski> % :set -fprint-explicit-foralls
2024-02-14 16:25:43 +0100 <yahb2> <no output>
2024-02-14 16:25:46 +0100 <ski> % :t Nothing
2024-02-14 16:25:46 +0100 <yahb2> Nothing :: forall a. Maybe a
2024-02-14 16:27:26 +0100 <absence> Ah, that option looks familiar, but I must have forgotten it. Thanks!
2024-02-14 16:31:05 +0100azimut_(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds)
2024-02-14 16:38:22 +0100 <absence> Is there a type similar to Proxy that can hold a value in addition to the type parameter?
2024-02-14 16:38:44 +0100danse-nr3(~danse@151.43.133.178)
2024-02-14 16:39:01 +0100 <ski> @kind Const
2024-02-14 16:39:02 +0100 <lambdabot> * -> k -> *
2024-02-14 16:39:05 +0100 <ski> @hoogle Tagged
2024-02-14 16:39:05 +0100 <lambdabot> module Data.Tagged
2024-02-14 16:39:05 +0100 <lambdabot> Data.Tagged newtype Tagged s b
2024-02-14 16:39:05 +0100 <lambdabot> Data.Tagged Tagged :: b -> Tagged s b
2024-02-14 16:39:27 +0100mizlan(~mizlan@2607:f010:2a7:1026:7030:dfc9:2fa:db49)
2024-02-14 16:40:42 +0100 <ncf> Tagged = Flip Const?
2024-02-14 16:40:48 +0100 <ski> yes
2024-02-14 16:42:21 +0100Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542)
2024-02-14 16:42:29 +0100 <absence> ... except for typeclass instances I assume?
2024-02-14 16:43:47 +0100mizlan(~mizlan@2607:f010:2a7:1026:7030:dfc9:2fa:db49) (Ping timeout: 260 seconds)
2024-02-14 16:48:11 +0100tri(~tri@ool-18bbef1a.static.optonline.net)
2024-02-14 16:52:37 +0100Raspbelly(~Raspbelly@employee-8.eduroam.muni.cz)
2024-02-14 16:56:13 +0100__monty__(~toonn@user/toonn) (Ping timeout: 264 seconds)
2024-02-14 16:57:19 +0100igemnace(~ian@user/igemnace) (Quit: WeeChat 4.2.1)
2024-02-14 17:01:46 +0100mizlan(~mizlan@2607:f010:2a7:1026:7030:dfc9:2fa:db49)
2024-02-14 17:04:19 +0100lortabac(~lortabac@78.241.22.229) (Quit: WeeChat 4.1.1)
2024-02-14 17:07:32 +0100gmg(~user@user/gehmehgeh) (Ping timeout: 255 seconds)
2024-02-14 17:09:29 +0100gmg(~user@user/gehmehgeh)
2024-02-14 17:09:39 +0100__monty__(~toonn@user/toonn)
2024-02-14 17:11:34 +0100qqq(~qqq@92.43.167.61) (Remote host closed the connection)
2024-02-14 17:15:14 +0100destituion(~destituio@85.221.111.174) (Ping timeout: 260 seconds)
2024-02-14 17:15:21 +0100yoo(~yo0O0o@user/mobivme) (Ping timeout: 256 seconds)
2024-02-14 17:15:41 +0100 <ski> right
2024-02-14 17:16:21 +0100k_hachig(~k_hachig@138-51-85-2-lsn-2.nat.utoronto.ca) (Ping timeout: 256 seconds)
2024-02-14 17:21:03 +0100k_hachig(~k_hachig@138-51-85-2-lsn-2.nat.utoronto.ca)
2024-02-14 17:21:35 +0100jargon(~jargon@13.sub-174-205-175.myvzw.com) (Ping timeout: 264 seconds)
2024-02-14 17:28:12 +0100danse-nr3(~danse@151.43.133.178) (Ping timeout: 255 seconds)
2024-02-14 17:29:08 +0100danse-nr3(~danse@151.57.193.255)
2024-02-14 17:32:53 +0100pruiz(~user@user/pruiz) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.1))
2024-02-14 17:33:42 +0100destituion(~destituio@2a02:2121:626:f551:4b61:d23b:3f9e:ed94)
2024-02-14 17:36:05 +0100biberu(~biberu@user/biberu) (Read error: Connection reset by peer)
2024-02-14 17:37:37 +0100sadie-sorceress(~sadie-sor@199.96.191.158)
2024-02-14 17:50:41 +0100mizlan(~mizlan@2607:f010:2a7:1026:7030:dfc9:2fa:db49) (Ping timeout: 260 seconds)
2024-02-14 17:50:47 +0100mizlan_(~mizlan@131.179.94.194)
2024-02-14 17:51:50 +0100sadie-sorceress(~sadie-sor@199.96.191.158) (Quit: Client closed)
2024-02-14 17:52:06 +0100mizlan_(~mizlan@131.179.94.194) (Read error: Connection reset by peer)
2024-02-14 17:52:26 +0100mizlan(~mizlan@169.150.203.18)
2024-02-14 17:54:54 +0100mizlan(~mizlan@169.150.203.18) (Remote host closed the connection)
2024-02-14 17:55:38 +0100mizlan(~mizlan@169.150.203.18)
2024-02-14 17:56:10 +0100tzh(~tzh@c-71-193-181-0.hsd1.or.comcast.net)
2024-02-14 17:58:50 +0100chele(~chele@user/chele) (Remote host closed the connection)
2024-02-14 18:00:41 +0100haritzondo(~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220)
2024-02-14 18:00:50 +0100mizlan(~mizlan@169.150.203.18) (Remote host closed the connection)
2024-02-14 18:01:01 +0100haritz(~hrtz@user/haritz) (Ping timeout: 264 seconds)
2024-02-14 18:01:35 +0100mizlan(~mizlan@169.150.203.18)
2024-02-14 18:03:35 +0100mizlan(~mizlan@169.150.203.18) (Remote host closed the connection)
2024-02-14 18:04:19 +0100mizlan(~mizlan@169.150.203.18)
2024-02-14 18:05:55 +0100waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 260 seconds)
2024-02-14 18:07:55 +0100mizlan(~mizlan@169.150.203.18) (Remote host closed the connection)
2024-02-14 18:08:40 +0100mizlan(~mizlan@169.150.203.18)
2024-02-14 18:11:30 +0100L29Ah(~L29Ah@wikipedia/L29Ah) ()
2024-02-14 18:14:21 +0100zetef(~quassel@95.77.17.251)
2024-02-14 18:14:44 +0100ubert(~Thunderbi@2a02:8109:ab8a:5a00:d5c1:664c:72d3:ce84) (Quit: ubert)
2024-02-14 18:16:21 +0100machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 255 seconds)
2024-02-14 18:17:59 +0100azimut(~azimut@gateway/tor-sasl/azimut)
2024-02-14 18:20:47 +0100coot(~coot@89-69-206-216.dynamic.chello.pl)
2024-02-14 18:22:26 +0100azimut(~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
2024-02-14 18:23:13 +0100azimut(~azimut@gateway/tor-sasl/azimut)
2024-02-14 18:26:31 +0100alexherbo2(~alexherbo@2a02-8440-3240-adeb-38b1-89a1-4805-7350.rev.sfr.net) (Remote host closed the connection)
2024-02-14 18:27:52 +0100yoo(~yo0O0o@104.28.194.104)
2024-02-14 18:28:03 +0100CiaoSen(~Jura@2a05:5800:2cb:c300:e6b9:7aff:fe80:3d03) (Ping timeout: 255 seconds)
2024-02-14 18:28:56 +0100alexherbo2(~alexherbo@2a02-8440-3240-adeb-38b1-89a1-4805-7350.rev.sfr.net)
2024-02-14 18:29:37 +0100mizlan(~mizlan@169.150.203.18) (Remote host closed the connection)
2024-02-14 18:30:01 +0100yotta(~cha0s@14.191.144.106)
2024-02-14 18:30:22 +0100mizlan(~mizlan@169.150.203.18)
2024-02-14 18:35:06 +0100 <yotta> Hi, I was trying to upload a package candidate but cannot because my account is not part of the package uploaders group. Can someone help ?
2024-02-14 18:35:22 +0100yoo(~yo0O0o@104.28.194.104) (Max SendQ exceeded)
2024-02-14 18:36:30 +0100Jasper72(~Jasper@82-131-239-139.pool.digikabel.hu)
2024-02-14 18:36:33 +0100Jasper72Gaspar
2024-02-14 18:37:13 +0100 <Gaspar> hello
2024-02-14 18:37:43 +0100 <lyxia> is (\stuff -> mask_ $ forkIOWithUnmask $ \unmask -> stuff unmask) equivalent to \stuff -> mask $ \unmask -> forkIO $ stuff unmask ? In other words, is the unmask you get from forkIOWithUnmask different from the unmask you get from a surrounding mask ?
2024-02-14 18:38:06 +0100tri(~tri@ool-18bbef1a.static.optonline.net) (Remote host closed the connection)
2024-02-14 18:39:35 +0100mizlan(~mizlan@169.150.203.18) (Ping timeout: 264 seconds)
2024-02-14 18:39:36 +0100 <geekosaur> yotta, yotta, you might get help from #haskell-infrastructure
2024-02-14 18:39:45 +0100 <geekosaur> (sorry for duplication)
2024-02-14 18:39:51 +0100yoo(~yo0O0o@104.28.194.104)
2024-02-14 18:40:54 +0100 <yotta> geekosaur thx
2024-02-14 18:41:21 +0100 <geekosaur> alternately #hackage
2024-02-14 18:43:48 +0100Gaspar(~Jasper@82-131-239-139.pool.digikabel.hu) (Ping timeout: 250 seconds)
2024-02-14 18:45:48 +0100Jasper70(~Jasper@82-131-239-139.pool.digikabel.hu)
2024-02-14 18:45:54 +0100Jasper70Gaspar
2024-02-14 18:45:55 +0100sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2024-02-14 18:46:42 +0100yoo(~yo0O0o@104.28.194.104) (Max SendQ exceeded)
2024-02-14 18:47:14 +0100 <Gaspar> I wonder if my question is beginner or more intermediate... trying to convert [Key1, Map Key2 Value] into Map Key2 [Key1, Value] and got lost in combining map, foldr, insertWithkey, (:) and so on in the right way
2024-02-14 18:48:55 +0100 <ncf> what's [Key1, Map Key2 Value] ?
2024-02-14 18:49:13 +0100 <Gaspar> (this is in the middle of a parser for a musical notation language... Key1 is measure number, Key2 is verse number, value is the lyrics for a measure for a verse
2024-02-14 18:49:52 +0100 <Gaspar> Key1 is at the end Int, Key2 for compatibility is String, and Value is String
2024-02-14 18:50:04 +0100yoo(~yo0O0o@104.28.194.104)
2024-02-14 18:51:24 +0100 <ncf> i can't parse your question
2024-02-14 18:51:45 +0100 <Gaspar> and sorry, this is already for the semantics
2024-02-14 18:54:05 +0100 <yotta> You can convert [(Key1, Map Key2 Value)] into [(Key1, Key2, Value)] and convert that into Map Key2 [(Key1, Value)]. I don't know the performance of this method though.
2024-02-14 18:54:35 +0100 <yotta> But this is simplist.
2024-02-14 18:57:43 +0100 <Gaspar> performance is not a big deal, I have relatively small texts and CPU and memory are abundant
2024-02-14 18:58:08 +0100pavonia(~user@user/siracusa) (Read error: Connection reset by peer)
2024-02-14 19:01:16 +0100pavonia(~user@user/siracusa)
2024-02-14 19:01:50 +0100 <ncf> go from [(Key1, Map Key2 Value)] to [Map Key2 [(Key1, Value)]] using map, then to Map Key2 [(Key1, Value)] using unionsWith (++)
2024-02-14 19:02:16 +0100 <ncf> Gaspar: do you see the mistake in your initial question?
2024-02-14 19:02:52 +0100Gaspar(~Jasper@82-131-239-139.pool.digikabel.hu) (Ping timeout: 250 seconds)
2024-02-14 19:06:35 +0100danse-nr3(~danse@151.57.193.255) (Ping timeout: 252 seconds)
2024-02-14 19:06:52 +0100Jasper97(~Jasper@82-131-239-139.pool.digikabel.hu)
2024-02-14 19:06:52 +0100Jasper97Gaspar
2024-02-14 19:06:59 +0100 <Gaspar> I don't know what is with my web connection...
2024-02-14 19:07:09 +0100 <Gaspar> I have something like [1,fromList[(1,"Row, row, row your boat"),(2, "Row row, row your boat)]),(2,fromList[(1,"gent-ly down the stream"),(2,"gent-ly up the creek")])...]
2024-02-14 19:07:38 +0100 <Gaspar> and I would like to transform it to something like fromList[1,(1,"Row, row, row your boat"),(2,"gent-ly down the stream")...]),(2,[(1,"Row, row, row your boat"),(2,"gent-ly up the creek")...]
2024-02-14 19:08:22 +0100 <Gaspar> and yep, maybe assocs and fromList is the easiest way to go, thanks...
2024-02-14 19:09:09 +0100zetef(~quassel@95.77.17.251) (Remote host closed the connection)
2024-02-14 19:09:35 +0100 <Gaspar> however I just find problem beatiful from math point of view, and I got curious how could it be done correcly with foldr and insertWithKey etc. )
2024-02-14 19:09:37 +0100 <Gaspar> :)
2024-02-14 19:11:15 +0100yoo(~yo0O0o@104.28.194.104) (Ping timeout: 255 seconds)
2024-02-14 19:12:08 +0100 <ncf> <ncf> go from [(Key1, Map Key2 Value)] to [Map Key2 [(Key1, Value)]] using map, then to Map Key2 [(Key1, Value)] using unionsWith (++)
2024-02-14 19:12:11 +0100 <ncf> <ncf> Gaspar: do you see the mistake in your initial question?
2024-02-14 19:15:00 +0100Gaspar(~Jasper@82-131-239-139.pool.digikabel.hu) (Ping timeout: 250 seconds)
2024-02-14 19:15:50 +0100yoo(~yo0O0o@104.28.194.104)
2024-02-14 19:18:14 +0100mmhat(~mmh@p200300f1c740afccee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 4.2.1)
2024-02-14 19:19:11 +0100k_hachig(~k_hachig@138-51-85-2-lsn-2.nat.utoronto.ca) (Ping timeout: 264 seconds)
2024-02-14 19:19:40 +0100target_i(~target_i@217.175.14.39)
2024-02-14 19:22:58 +0100k_hachig(~k_hachig@138-51-85-2-lsn-2.nat.utoronto.ca)
2024-02-14 19:29:43 +0100k_hachig(~k_hachig@138-51-85-2-lsn-2.nat.utoronto.ca) (Ping timeout: 272 seconds)
2024-02-14 19:37:07 +0100alexherbo2(~alexherbo@2a02-8440-3240-adeb-38b1-89a1-4805-7350.rev.sfr.net) (Remote host closed the connection)
2024-02-14 19:37:25 +0100Square(~Square@user/square)
2024-02-14 19:37:27 +0100alexherbo2(~alexherbo@2a02-8440-3240-adeb-38b1-89a1-4805-7350.rev.sfr.net)
2024-02-14 19:38:13 +0100finsternis(~X@23.226.237.192) (Ping timeout: 264 seconds)
2024-02-14 19:38:37 +0100finsternis(~X@23.226.237.192)
2024-02-14 19:40:10 +0100ricardo1(~ricardo@84.16.179.218) (Read error: Connection reset by peer)
2024-02-14 19:41:13 +0100Square3(~Square4@user/square) (Ping timeout: 264 seconds)
2024-02-14 19:44:04 +0100euleritian(~euleritia@dynamic-176-001-012-145.176.1.pool.telefonica.de) (Read error: Connection reset by peer)
2024-02-14 19:44:28 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-02-14 19:49:09 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds)
2024-02-14 19:49:18 +0100euleritian(~euleritia@dynamic-176-001-012-145.176.1.pool.telefonica.de)
2024-02-14 19:54:07 +0100Guest|3(~Guest|3@18.150.66.37.rev.sfr.net)
2024-02-14 19:54:22 +0100Guest|3(~Guest|3@18.150.66.37.rev.sfr.net) (Client Quit)
2024-02-14 19:57:42 +0100L29Ah(~L29Ah@wikipedia/L29Ah)
2024-02-14 19:58:25 +0100euleritian(~euleritia@dynamic-176-001-012-145.176.1.pool.telefonica.de) (Ping timeout: 256 seconds)
2024-02-14 19:59:11 +0100euleritian(~euleritia@dynamic-176-005-152-133.176.5.pool.telefonica.de)
2024-02-14 20:05:11 +0100k_hachig(~k_hachig@138-51-70-74-lsn-2.nat.utoronto.ca)
2024-02-14 20:09:24 +0100euleritian(~euleritia@dynamic-176-005-152-133.176.5.pool.telefonica.de) (Read error: Connection reset by peer)
2024-02-14 20:10:27 +0100rosco(rosco@gateway/vpn/airvpn/rosco) (Quit: Lost terminal)
2024-02-14 20:11:51 +0100Tuplanolla(~Tuplanoll@91-159-68-95.elisa-laajakaista.fi)
2024-02-14 20:12:04 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-02-14 20:26:19 +0100biberu(~biberu@user/biberu)
2024-02-14 20:28:42 +0100alexherbo2(~alexherbo@2a02-8440-3240-adeb-38b1-89a1-4805-7350.rev.sfr.net) (Remote host closed the connection)
2024-02-14 20:29:25 +0100alexherbo2(~alexherbo@120.150.22.93.rev.sfr.net)
2024-02-14 20:32:16 +0100fendor(~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) (Remote host closed the connection)
2024-02-14 20:38:32 +0100willsewell(~willsewel@141.98.252.232)
2024-02-14 20:39:27 +0100todi(~todi@pd9571068.dip0.t-ipconnect.de)
2024-02-14 20:41:17 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 255 seconds)
2024-02-14 20:41:19 +0100adanwan_(~adanwan@gateway/tor-sasl/adanwan)
2024-02-14 20:41:44 +0100ChaiTRex(~ChaiTRex@user/chaitrex) (Ping timeout: 255 seconds)
2024-02-14 20:41:58 +0100adanwan(~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
2024-02-14 20:42:14 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643)
2024-02-14 20:42:46 +0100ChaiTRex(~ChaiTRex@user/chaitrex)
2024-02-14 20:45:22 +0100willsewell(~willsewel@141.98.252.232) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
2024-02-14 20:55:15 +0100yotta(~cha0s@14.191.144.106) (Read error: Connection reset by peer)
2024-02-14 20:55:39 +0100adanwan_(~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
2024-02-14 20:56:10 +0100adanwan(~adanwan@gateway/tor-sasl/adanwan)
2024-02-14 20:57:30 +0100ft(~ft@p508db2e6.dip0.t-ipconnect.de)
2024-02-14 21:01:35 +0100tri(~tri@ool-18bbef1a.static.optonline.net)
2024-02-14 21:03:30 +0100mud(~mud@user/kadoban)
2024-02-14 21:06:00 +0100tri(~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 255 seconds)
2024-02-14 21:07:02 +0100k_hachig(~k_hachig@138-51-70-74-lsn-2.nat.utoronto.ca) (Remote host closed the connection)
2024-02-14 21:08:12 +0100alexherbo2(~alexherbo@120.150.22.93.rev.sfr.net) (Remote host closed the connection)
2024-02-14 21:08:37 +0100alexherbo2(~alexherbo@120.150.22.93.rev.sfr.net)
2024-02-14 21:10:48 +0100k_hachig(~k_hachig@138-51-70-74-lsn-2.nat.utoronto.ca)
2024-02-14 21:16:23 +0100nunggu(~q@user/nunggu) (Ping timeout: 255 seconds)
2024-02-14 21:18:43 +0100nunggu(~q@user/nunggu)
2024-02-14 21:24:34 +0100willsewell(~willsewel@141.98.252.232)
2024-02-14 21:31:57 +0100waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
2024-02-14 21:32:27 +0100boukenshaou(~Boukensha@223.178.86.127) (Quit: Leaving)
2024-02-14 21:32:46 +0100boukenshaou(~Boukensha@223.178.86.127)
2024-02-14 21:32:53 +0100boukenshaou(~Boukensha@223.178.86.127) (Remote host closed the connection)
2024-02-14 21:35:33 +0100boukenshaou(~Boukensha@223.178.86.127)
2024-02-14 21:40:53 +0100yoo(~yo0O0o@104.28.194.104) (Remote host closed the connection)
2024-02-14 21:41:08 +0100nunggu(~q@user/nunggu) (Ping timeout: 255 seconds)
2024-02-14 21:41:19 +0100boukenshaou(~Boukensha@223.178.86.127) (Quit: Leaving)
2024-02-14 21:42:41 +0100yoo(~yo0O0o@104.28.194.104)
2024-02-14 21:42:45 +0100willsewell_(~willsewel@host-2-96-9-150.as13285.net)
2024-02-14 21:42:49 +0100adanwan(~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
2024-02-14 21:43:41 +0100azimut_(~azimut@gateway/tor-sasl/azimut)
2024-02-14 21:44:17 +0100azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds)
2024-02-14 21:44:35 +0100nunggu(~q@user/nunggu)
2024-02-14 21:44:42 +0100wootehfoot(~wootehfoo@user/wootehfoot)
2024-02-14 21:45:04 +0100adanwan(~adanwan@gateway/tor-sasl/adanwan)
2024-02-14 21:45:32 +0100willsewell(~willsewel@141.98.252.232) (Ping timeout: 252 seconds)
2024-02-14 21:51:15 +0100willsewell_(~willsewel@host-2-96-9-150.as13285.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
2024-02-14 21:53:43 +0100califax(~califax@user/califx) (Remote host closed the connection)
2024-02-14 21:54:09 +0100califax(~califax@user/califx)
2024-02-14 21:59:33 +0100yoo(~yo0O0o@104.28.194.104) (Ping timeout: 255 seconds)
2024-02-14 22:04:08 +0100_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection)
2024-02-14 22:09:04 +0100wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2024-02-14 22:14:03 +0100dispater(~dispater@mail.brprice.uk) (Quit: ZNC 1.8.2 - https://znc.in)
2024-02-14 22:14:03 +0100orcus(~orcus@mail.brprice.uk) (Quit: ZNC 1.8.2 - https://znc.in)
2024-02-14 22:14:23 +0100Raspbelly(~Raspbelly@employee-8.eduroam.muni.cz) (Ping timeout: 264 seconds)
2024-02-14 22:15:36 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com)
2024-02-14 22:15:47 +0100dispater(~dispater@mail.brprice.uk)
2024-02-14 22:16:18 +0100orcus(~orcus@mail.brprice.uk)
2024-02-14 22:21:35 +0100alexherbo2(~alexherbo@120.150.22.93.rev.sfr.net) (Remote host closed the connection)
2024-02-14 22:22:49 +0100tri(~tri@ool-18bbef1a.static.optonline.net)
2024-02-14 22:27:27 +0100tri(~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 255 seconds)
2024-02-14 22:27:34 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds)
2024-02-14 22:44:26 +0100alexherbo2(~alexherbo@2a02-8440-3240-adeb-4d37-1523-3ae9-b7b6.rev.sfr.net)
2024-02-14 22:44:27 +0100alexherbo2(~alexherbo@2a02-8440-3240-adeb-4d37-1523-3ae9-b7b6.rev.sfr.net) (Remote host closed the connection)
2024-02-14 22:45:55 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-02-14 22:46:03 +0100euleritian(~euleritia@dynamic-176-005-134-005.176.5.pool.telefonica.de)
2024-02-14 22:46:25 +0100euleritian(~euleritia@dynamic-176-005-134-005.176.5.pool.telefonica.de) (Read error: Connection reset by peer)
2024-02-14 22:46:39 +0100turlando(~turlando@user/turlando) (Remote host closed the connection)
2024-02-14 22:46:42 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-02-14 22:47:55 +0100turlando(~turlando@user/turlando)
2024-02-14 22:50:53 +0100wlhn(~wenzel@ip-87-108-38-187.customer.academica.fi)
2024-02-14 22:57:05 +0100mei(~mei@user/mei) (Remote host closed the connection)
2024-02-14 22:59:31 +0100mei(~mei@user/mei)
2024-02-14 23:02:01 +0100kimiamania46483(~65804703@user/kimiamania) (Quit: PegeLinux)
2024-02-14 23:02:44 +0100target_i(~target_i@217.175.14.39) (Quit: leaving)
2024-02-14 23:03:17 +0100kimiamania46483(~65804703@user/kimiamania)
2024-02-14 23:05:13 +0100 <L29Ah> https://github.com/marketplace?category=&type=actions&verification=&query=musl rust humiliates
2024-02-14 23:08:01 +0100 <Rembane> How?
2024-02-14 23:08:13 +0100k_hachig(~k_hachig@138-51-70-74-lsn-2.nat.utoronto.ca) (Ping timeout: 272 seconds)
2024-02-14 23:09:28 +0100rvalue-(~rvalue@user/rvalue)
2024-02-14 23:10:15 +0100int-efails to see the connection to Haskell
2024-02-14 23:10:37 +0100rvalue(~rvalue@user/rvalue) (Ping timeout: 264 seconds)
2024-02-14 23:11:39 +0100tri(~tri@ool-18bbef1a.static.optonline.net)
2024-02-14 23:13:26 +0100rvalue-rvalue
2024-02-14 23:13:38 +0100ec_(~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
2024-02-14 23:14:07 +0100ec(~ec@gateway/tor-sasl/ec)
2024-02-14 23:14:53 +0100k_hachig(~k_hachig@138-51-70-74-lsn-2.nat.utoronto.ca)
2024-02-14 23:16:21 +0100tri(~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 268 seconds)
2024-02-14 23:16:33 +0100 <EvanR> rust and haskell score highly on the ratio of often considered together to have anything to do with each other ratio
2024-02-14 23:17:36 +0100k_hachig(~k_hachig@138-51-70-74-lsn-2.nat.utoronto.ca) (Max SendQ exceeded)
2024-02-14 23:18:05 +0100califax(~califax@user/califx) (Remote host closed the connection)
2024-02-14 23:18:05 +0100ec(~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
2024-02-14 23:18:32 +0100ec(~ec@gateway/tor-sasl/ec)
2024-02-14 23:18:52 +0100califax(~califax@user/califx)
2024-02-14 23:21:17 +0100VictorHugenay(~vic@user/VictorHugenay)
2024-02-14 23:21:30 +0100VictorHugenay(~vic@user/VictorHugenay) (Client Quit)
2024-02-14 23:21:51 +0100VictorHugenay(~vic@user/VictorHugenay)
2024-02-14 23:23:16 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-02-14 23:25:08 +0100alexherbo2(~alexherbo@2a02-8440-3240-adeb-4d37-1523-3ae9-b7b6.rev.sfr.net)
2024-02-14 23:25:53 +0100 <L29Ah> int-e: no haskell ci for musl :_(
2024-02-14 23:26:30 +0100 <int-e> L29Ah: Well there's no C CI either if that's how you want to look at it :-P
2024-02-14 23:29:16 +0100 <jackdk> Why are there so many?
2024-02-14 23:29:44 +0100emmanuelux(~emmanuelu@user/emmanuelux)
2024-02-14 23:31:07 +0100michalz(~michalz@185.246.207.200) (Quit: ZNC 1.8.2 - https://znc.in)
2024-02-14 23:37:20 +0100Tuplanolla(~Tuplanoll@91-159-68-95.elisa-laajakaista.fi) (Quit: Leaving.)
2024-02-14 23:37:48 +0100 <geekosaur> hm, I thought x86_64-linux-alpine3_12-validate+fully_static was musl?
2024-02-14 23:37:57 +0100 <c_wraith> it is
2024-02-14 23:38:42 +0100mizlan(~mizlan@2607:f010:2a7:1026:1c4d:87e9:4666:5cc3)
2024-02-14 23:41:49 +0100son0p(~ff@191.104.6.115) (Quit: Bye)
2024-02-14 23:48:30 +0100gmg(~user@user/gehmehgeh) (Quit: Leaving)
2024-02-14 23:49:05 +0100Sgeo(~Sgeo@user/sgeo)
2024-02-14 23:50:05 +0100Pozyomka(~pyon@user/pyon) (Quit: WeeChat 4.1.2)
2024-02-14 23:58:10 +0100Sciencentistguy(~sciencent@hacksoc/ordinary-member) (Quit: o/)
2024-02-14 23:59:47 +0100mizlan(~mizlan@2607:f010:2a7:1026:1c4d:87e9:4666:5cc3) (Remote host closed the connection)