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