Logs: liberachat/#haskell
| 2025-10-31 17:33:15 | <boonochrom> | boo! >:) |
| 2025-10-31 17:39:59 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 2025-10-31 17:43:25 | × | craunts795335385 quits (~craunts@136.158.7.194) (Quit: The Lounge - https://thelounge.chat) |
| 2025-10-31 17:44:26 | → | craunts795335385 joins (~craunts@136.158.7.194) |
| 2025-10-31 17:45:25 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-10-31 17:45:37 | × | Googulator68 quits (~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-31 17:45:43 | → | Googulator68 joins (~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-10-31 17:48:05 | → | weary-traveler joins (~user@user/user363627) |
| 2025-10-31 17:50:23 | → | EvanR_ joins (~EvanR@user/evanr) |
| 2025-10-31 17:52:17 | × | EvanR quits (~EvanR@user/evanr) (Ping timeout: 260 seconds) |
| 2025-10-31 17:54:04 | × | comerijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-10-31 17:55:15 | → | wickedjargon joins (~user@207.194.126.26) |
| 2025-10-31 18:01:19 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-31 18:02:59 | → | wickedja` joins (~user@207.194.126.26) |
| 2025-10-31 18:04:03 | × | wickedja` quits (~user@207.194.126.26) (Remote host closed the connection) |
| 2025-10-31 18:04:34 | × | wickedjargon quits (~user@207.194.126.26) (Read error: Connection reset by peer) |
| 2025-10-31 18:05:24 | → | wickedjargon joins (~user@207.194.126.26) |
| 2025-10-31 18:05:55 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 2025-10-31 18:07:45 | × | Googulator68 quits (~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-31 18:08:05 | → | Googulator68 joins (~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-10-31 18:08:43 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2025-10-31 18:08:43 | ljdarj1 | is now known as ljdarj |
| 2025-10-31 18:10:40 | × | Googulator68 quits (~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu) (Client Quit) |
| 2025-10-31 18:10:46 | → | Googulator86 joins (~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-10-31 18:14:23 | × | Googulator86 quits (~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu) (Client Quit) |
| 2025-10-31 18:14:26 | → | Googulator71 joins (~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-10-31 18:16:13 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 2025-10-31 18:16:22 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2025-10-31 18:18:18 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2025-10-31 18:18:18 | ljdarj1 | is now known as ljdarj |
| 2025-10-31 18:18:35 | EvanR_ | is now known as EvanR |
| 2025-10-31 18:20:12 | × | tromp quits (~textual@2001:1c00:3487:1b00:dc25:ce25:d6de:4df2) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-10-31 18:23:49 | → | Zemy joins (~Zemy@2600:100c:b0a9:88fa:c0a8:9aff:feea:d493) |
| 2025-10-31 18:25:40 | → | Googulator10 joins (~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-10-31 18:25:47 | × | Googulator71 quits (~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-31 18:26:01 | × | Zemy_ quits (~Zemy@72.178.108.235) (Ping timeout: 255 seconds) |
| 2025-10-31 18:27:43 | × | wickedjargon quits (~user@207.194.126.26) (Read error: Connection reset by peer) |
| 2025-10-31 18:31:21 | → | inline joins (~inline@2a02:8071:57a1:dc0:da65:d2f0:d460:56a8) |
| 2025-10-31 18:35:17 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 2025-10-31 18:35:25 | × | trickard quits (~trickard@cpe-60-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
| 2025-10-31 18:35:56 | × | craunts795335385 quits (~craunts@136.158.7.194) (Quit: The Lounge - https://thelounge.chat) |
| 2025-10-31 18:36:05 | → | trickard_ joins (~trickard@cpe-60-98-47-163.wireline.com.au) |
| 2025-10-31 18:37:39 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 2025-10-31 18:38:01 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-10-31 18:41:34 | → | tromp joins (~textual@2001:1c00:3487:1b00:dc25:ce25:d6de:4df2) |
| 2025-10-31 18:45:42 | → | Googulator31 joins (~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-10-31 18:45:44 | × | Googulator10 quits (~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-31 18:47:14 | → | jespada joins (~jespada@2800:a4:2225:3b00:4824:161a:e31a:fdd3) |
| 2025-10-31 18:49:52 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-10-31 18:51:46 | → | peterbecich joins (~Thunderbi@172.222.148.214) |
| 2025-10-31 18:52:25 | → | Sgeo_ joins (~Sgeo@user/sgeo) |
| 2025-10-31 18:53:17 | → | Zemy_ joins (~Zemy@mobile-107-80-206-97.mycingular.net) |
| 2025-10-31 18:55:20 | × | Zemy quits (~Zemy@2600:100c:b0a9:88fa:c0a8:9aff:feea:d493) (Ping timeout: 256 seconds) |
| 2025-10-31 18:55:53 | × | Sgeo quits (~Sgeo@user/sgeo) (Ping timeout: 256 seconds) |
| 2025-10-31 18:56:23 | → | Zemy joins (~Zemy@2600:100c:b0a9:88fa:f0b9:b7ff:fe5b:81a7) |
| 2025-10-31 18:56:33 | × | Zemy_ quits (~Zemy@mobile-107-80-206-97.mycingular.net) (Read error: Connection reset by peer) |
| 2025-10-31 18:58:15 | → | Zemy_ joins (~Zemy@mobile-107-80-206-97.mycingular.net) |
| 2025-10-31 18:58:34 | × | Zemy quits (~Zemy@2600:100c:b0a9:88fa:f0b9:b7ff:fe5b:81a7) (Read error: Connection reset by peer) |
| 2025-10-31 18:59:08 | × | Googulator31 quits (~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-31 18:59:09 | × | Zemy_ quits (~Zemy@mobile-107-80-206-97.mycingular.net) (Read error: Connection reset by peer) |
| 2025-10-31 18:59:11 | → | Zemy joins (~Zemy@2600:100c:b0a9:88fa:c80a:beff:fef9:b5bc) |
| 2025-10-31 18:59:26 | → | Googulator31 joins (~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-10-31 18:59:38 | × | Googulator31 quits (~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu) (Client Quit) |
| 2025-10-31 18:59:51 | → | Googulator31 joins (~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-10-31 19:00:25 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 250 seconds) |
| 2025-10-31 19:00:48 | → | Zemy_ joins (~Zemy@mobile-107-80-206-97.mycingular.net) |
| 2025-10-31 19:00:48 | × | Zemy quits (~Zemy@2600:100c:b0a9:88fa:c80a:beff:fef9:b5bc) (Read error: Connection reset by peer) |
| 2025-10-31 19:03:43 | → | Zemy joins (~Zemy@2600:100c:b0a9:88fa:4a1:9fff:fe09:e1d4) |
| 2025-10-31 19:03:51 | × | Zemy_ quits (~Zemy@mobile-107-80-206-97.mycingular.net) (Read error: Connection reset by peer) |
| 2025-10-31 19:04:32 | → | Zemy_ joins (~Zemy@mobile-107-80-206-97.mycingular.net) |
| 2025-10-31 19:04:32 | × | Zemy quits (~Zemy@2600:100c:b0a9:88fa:4a1:9fff:fe09:e1d4) (Read error: Connection reset by peer) |
| 2025-10-31 19:04:33 | × | Googulator31 quits (~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu) (Client Quit) |
| 2025-10-31 19:04:50 | → | Googulator31 joins (~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-10-31 19:05:01 | → | Zemy joins (~Zemy@2600:100c:b0a9:88fa:b8f4:e2ff:fe1f:601) |
| 2025-10-31 19:05:26 | × | Zemy_ quits (~Zemy@mobile-107-80-206-97.mycingular.net) (Read error: Connection reset by peer) |
| 2025-10-31 19:05:55 | → | Zemy_ joins (~Zemy@mobile-107-80-206-97.mycingular.net) |
| 2025-10-31 19:06:36 | × | Zemy quits (~Zemy@2600:100c:b0a9:88fa:b8f4:e2ff:fe1f:601) (Read error: Connection reset by peer) |
| 2025-10-31 19:06:45 | → | Zemy joins (~Zemy@2600:100c:b0a9:88fa:5cc4:35ff:fe69:79df) |
| 2025-10-31 19:06:45 | <tomsmeding> | sm: yep! which means you don't have to download a 50 MB wasm payload to use it :p |
| 2025-10-31 19:06:56 | tomsmeding | is actually astonished it's just 50MB |
| 2025-10-31 19:07:11 | <tomsmeding> | with a full local GHC installation being 2GB |
| 2025-10-31 19:08:01 | → | Core7800 joins (~Zemy@syn-024-173-084-163.biz.spectrum.com) |
| 2025-10-31 19:10:04 | × | peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 256 seconds) |
| 2025-10-31 19:10:08 | <boonochrom> | Oh! Does it mean I downloaded 50MB of wasm the other day when I first tried out GHC-in-browser? :) |
| 2025-10-31 19:10:49 | × | Zemy_ quits (~Zemy@mobile-107-80-206-97.mycingular.net) (Ping timeout: 264 seconds) |
| 2025-10-31 19:11:12 | × | Zemy quits (~Zemy@2600:100c:b0a9:88fa:5cc4:35ff:fe69:79df) (Ping timeout: 256 seconds) |
| 2025-10-31 19:11:39 | <geekosaur> | yes |
| 2025-10-31 19:12:54 | × | gorignak quits (~gorignak@user/gorignak) (Quit: quit) |
| 2025-10-31 19:15:03 | → | Zemy joins (~Zemy@2600:100c:b0a9:88fa:a84b:ddff:fee1:f874) |
| 2025-10-31 19:17:25 | × | Core7800 quits (~Zemy@syn-024-173-084-163.biz.spectrum.com) (Ping timeout: 264 seconds) |
| 2025-10-31 19:26:29 | → | Zemy_ joins (~Zemy@mobile-107-80-206-97.mycingular.net) |
| 2025-10-31 19:28:46 | × | Zemy quits (~Zemy@2600:100c:b0a9:88fa:a84b:ddff:fee1:f874) (Ping timeout: 256 seconds) |
| 2025-10-31 19:31:01 | × | bgt32 quits (~keutoi@106.222.231.17) (Ping timeout: 256 seconds) |
| 2025-10-31 19:31:54 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2025-10-31 19:33:46 | → | Zemy joins (~Zemy@2600:100c:b0a9:88fa:48c9:49ff:fe87:6a25) |
| 2025-10-31 19:34:32 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Client Quit) |
| 2025-10-31 19:34:43 | × | fp quits (~Thunderbi@216-165-247-67.championbroadband.com) (Ping timeout: 260 seconds) |
| 2025-10-31 19:34:47 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-10-31 19:37:50 | × | Zemy_ quits (~Zemy@mobile-107-80-206-97.mycingular.net) (Ping timeout: 256 seconds) |
| 2025-10-31 19:38:06 | × | nek0 quits (~nek0@user/nek0) (Quit: The Lounge - https://thelounge.chat) |
All times are in UTC.