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