Logs on 2026-01-11 (liberachat/#haskell)
| 00:02:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 00:13:06 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 00:18:01 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 00:20:09 | × | itaipu quits (~itaipu@168.121.99.54) (Ping timeout: 244 seconds) |
| 00:21:17 | → | tired joins (~tired@user/tired) |
| 00:25:36 | × | spew quits (~spew@user/spew) (Quit: nyaa~) |
| 00:27:23 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 00:27:46 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 00:28:53 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 00:31:09 | × | yin quits (~zero@user/zero) (Remote host closed the connection) |
| 00:31:24 | → | yin joins (~zero@user/zero) |
| 00:33:37 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 00:36:45 | → | itaipu joins (~itaipu@168.121.99.54) |
| 00:39:38 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 00:44:39 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 00:49:22 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 00:51:12 | → | mhatta joins (~mhatta@www21123ui.sakura.ne.jp) |
| 00:54:10 | × | yin quits (~zero@user/zero) (Remote host closed the connection) |
| 00:54:25 | → | yin joins (~zero@user/zero) |
| 00:54:50 | → | notzmv joins (~umar@user/notzmv) |
| 01:05:37 | × | hakutaku quits (~textual@chen.yukari.eu.org) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 01:06:18 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds) |
| 01:13:38 | × | yin quits (~zero@user/zero) (Remote host closed the connection) |
| 01:13:53 | → | yin joins (~zero@user/zero) |
| 01:15:50 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 01:18:59 | × | DetourNetworkUK quits (~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 01:19:21 | → | DetourNetworkUK joins (~DetourNet@user/DetourNetworkUK) |
| 01:22:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 01:22:43 | × | yin quits (~zero@user/zero) (Remote host closed the connection) |
| 01:22:58 | → | yin joins (~zero@user/zero) |
| 01:24:45 | × | divlamir quits (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 01:24:56 | → | divlamir joins (~divlamir@user/divlamir) |
| 01:26:48 | × | itaipu quits (~itaipu@168.121.99.54) (Ping timeout: 244 seconds) |
| 01:29:03 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 01:32:40 | × | trickard_ quits (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 01:32:54 | → | trickard_ joins (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 01:33:53 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 01:36:55 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 01:37:24 | × | gmg quits (~user@user/gehmehgeh) (Killed (NickServ (Forcing logout gmg -> gehmehgeh))) |
| 01:37:24 | gehmehgeh | is now known as gmg |
| 01:39:01 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 01:44:22 | → | itaipu joins (~itaipu@168.121.99.54) |
| 01:45:00 | × | Tuplanolla quits (~Tuplanoll@88-114-88-95.elisa-laajakaista.fi) (Quit: Leaving.) |
| 01:49:40 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 01:53:55 | × | yin quits (~zero@user/zero) (Remote host closed the connection) |
| 01:54:11 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 01:57:29 | → | omidmash0 joins (~omidmash@user/omidmash) |
| 01:58:05 | → | yin joins (~zero@user/zero) |
| 01:59:21 | × | omidmash quits (~omidmash@user/omidmash) (Ping timeout: 244 seconds) |
| 01:59:21 | omidmash0 | is now known as omidmash |
| 02:05:24 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 02:10:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 02:11:47 | × | yin quits (~zero@user/zero) (Remote host closed the connection) |
| 02:12:02 | → | yin joins (~zero@user/zero) |
| 02:21:11 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 02:26:13 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 02:32:36 | × | trickard_ quits (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 02:32:50 | → | trickard_ joins (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 02:36:59 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 02:38:48 | → | comonad joins (~comonad@p200300d02722ae00dce4ce9451b59974.dip0.t-ipconnect.de) |
| 02:42:01 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 02:42:52 | → | divya joins (~divya@140.238.251.170) |
| 02:44:25 | × | omidmash quits (~omidmash@user/omidmash) (Quit: The Lounge - https://thelounge.chat) |
| 02:47:00 | × | acidjnk quits (~acidjnk@p200300d6e7171900b06d5fbac4ef8d8e.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 02:47:37 | → | omidmash joins (~omidmash@user/omidmash) |
| 02:52:54 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 02:59:34 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 03:00:51 | <haskellbridge> | <iqubic (she/her)> Are there any good Haskell libraries for doing image manipulation tasks? I'm looking for something which give me direct access to the pixel values and lets me make new images too. |
| 03:02:19 | <haskellbridge> | <iqubic (she/her)> Like, let's say I have the problem of "in this JPEG, find all pixels with a prime Red value and make them black, and make all the other pixels white". What library could I use? Is there something like Pillow, but for Haskell? |
| 03:04:19 | <haskellbridge> | <iqubic (she/her)> Note, I'm not asking specifically for help with this project, but just for a way of doing this general type of thing in Haskell. |
| 03:05:02 | × | op_4 quits (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
| 03:05:20 | → | annamalai joins (~annamalai@157.32.135.19) |
| 03:05:39 | → | op_4 joins (~tslil@user/op-4/x-9116473) |
| 03:06:22 | <haskellbridge> | <iqubic (she/her)> Would also be nice if said library let me do things like "Given two images L and R of the same size and file format, take the left half of L and the right half of R and merge them into a combined image" |
| 03:06:32 | <haskellbridge> | <sm> JuicyPixels lib, and data types like Array and Vector come to mind, but I think you'll find lots more on hackage |
| 03:07:26 | <haskellbridge> | <iqubic (she/her)> How would I run a search for libraries suitable for these tasks? |
| 03:07:46 | <haskellbridge> | <sm> I'd browse the categories there |
| 03:08:01 | <haskellbridge> | <sm> Graphics, etc |
| 03:09:01 | <haskellbridge> | <iqubic (she/her)> I found HIP, which looks good, but Nix is saying it's broken! |
| 03:09:22 | <haskellbridge> | <iqubic (she/her)> https://hackage.haskell.org/package/hip |
| 03:09:28 | <haskellbridge> | <sm> heh you just raised this to difficulty level 2 |
| 03:09:49 | <haskellbridge> | <iqubic (she/her)> Well, I don't know if hip is the best package for this. |
| 03:10:11 | <haskellbridge> | <sm> it sounds nice |
| 03:10:49 | <haskellbridge> | <sm> though, uploaded 5 years ago |
| 03:10:56 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 03:11:24 | <haskellbridge> | <sm> (afk) |
| 03:11:53 | <haskellbridge> | <iqubic (she/her)> Well, the dumb thing is that, when I was playing around with this sort of task last month, Nix just built the package correctly with no fuss! |
| 03:14:24 | × | FANTOM quits (~fantom@87.75.185.177) (Quit: Connection error?!) |
| 03:16:13 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 03:17:20 | × | jreicher quits (~joelr@user/jreicher) (Read error: Connection reset by peer) |
| 03:18:21 | → | jreicher joins (~joelr@user/jreicher) |
| 03:21:10 | <haskellbridge> | <iqubic (she/her)> Image Processing might be a better tag to search. |
| 03:22:33 | <haskellbridge> | <iqubic (she/her)> Except that only two packages are in there "hip" and "unm-hip". The latter is a fork of the former. |
| 03:26:44 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 03:31:25 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 03:32:07 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 246 seconds) |
| 03:32:50 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 03:41:53 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 03:42:17 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 03:42:30 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 03:47:45 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 03:48:34 | × | Xe quits (~Xe@perl/impostor/xe) (Ping timeout: 246 seconds) |
| 03:58:39 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 04:03:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 04:05:42 | → | Xe joins (~Xe@perl/impostor/xe) |
| 04:05:55 | × | Xe quits (~Xe@perl/impostor/xe) (Read error: Connection reset by peer) |
| 04:06:56 | → | Xe joins (~Xe@perl/impostor/xe) |
| 04:14:25 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 04:19:47 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 04:19:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 04:21:57 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 04:30:10 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 04:32:32 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 04:32:59 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 04:37:13 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 04:37:29 | → | Guest68 joins (~Guest68@2806:1016:6:cef9:1951:738:6cfe:347f) |
| 04:48:12 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 04:52:39 | × | Guest68 quits (~Guest68@2806:1016:6:cef9:1951:738:6cfe:347f) (Quit: Client closed) |
| 04:53:25 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 05:03:54 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 05:09:01 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 05:19:39 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 05:24:42 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 05:28:12 | × | housemate quits (~housemate@203.56.146.214) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 05:35:26 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 05:40:12 | → | tcard_ joins (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 05:40:13 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 05:40:21 | × | tcard quits (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Read error: Connection reset by peer) |
| 05:42:43 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 05:46:39 | × | trickard_ quits (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 05:46:53 | → | trickard_ joins (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 05:47:25 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 05:54:55 | → | housemate joins (~housemate@203.56.146.214) |
| 05:58:04 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 06:00:01 | trickard_ | is now known as trickard |
| 06:03:24 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 06:13:51 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 06:17:19 | × | pabs3 quits (~pabs3@user/pabs3) (Ping timeout: 240 seconds) |
| 06:18:37 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 06:18:53 | → | pabs3 joins (~pabs3@user/pabs3) |
| 06:23:19 | × | trickard quits (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 06:23:33 | → | trickard_ joins (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 06:25:46 | × | EvanR quits (~EvanR@user/evanr) (Quit: Leaving) |
| 06:29:23 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 06:29:46 | → | FANTOM joins (~fantom@87.75.185.177) |
| 06:34:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 06:34:52 | → | hakutaku joins (~textual@chen.yukari.eu.org) |
| 06:45:10 | × | synchromesh quits (~john@2406:5a00:2412:2c00:d99e:6a9c:d73a:8e48) (Read error: Connection reset by peer) |
| 06:45:10 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 06:46:27 | → | synchromesh joins (~john@2406:5a00:2412:2c00:6135:a28e:b853:ee07) |
| 06:50:25 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 07:00:58 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 07:06:01 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 07:06:13 | × | glguy quits (glguy@libera/staff/glguy) (Quit: Quit) |
| 07:06:57 | → | glguy joins (glguy@libera/staff/glguy) |
| 07:11:55 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 240 seconds) |
| 07:15:35 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 240 seconds) |
| 07:18:19 | → | AlexNoo_ joins (~AlexNoo@178.34.150.203) |
| 07:19:05 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 07:19:05 | → | AlexNoo__ joins (~AlexNoo@178.34.150.203) |
| 07:19:55 | × | AlexZenon quits (~alzenon@178.34.163.50) (Ping timeout: 240 seconds) |
| 07:21:43 | × | AlexNoo quits (~AlexNoo@178.34.163.50) (Ping timeout: 246 seconds) |
| 07:22:06 | → | takuan joins (~takuan@d8D86B9E9.access.telenet.be) |
| 07:22:36 | → | AlexNoo joins (~AlexNoo@178.34.150.203) |
| 07:23:09 | × | AlexNoo_ quits (~AlexNoo@178.34.150.203) (Ping timeout: 260 seconds) |
| 07:23:44 | × | AlexNoo__ quits (~AlexNoo@178.34.150.203) (Ping timeout: 260 seconds) |
| 07:25:01 | → | AlexZenon joins (~alzenon@178.34.150.203) |
| 07:26:08 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 07:26:39 | × | olivial quits (~benjaminl@user/benjaminl) (Ping timeout: 260 seconds) |
| 07:31:21 | → | olivial joins (~benjaminl@user/benjaminl) |
| 07:36:36 | × | b7r6 quits (~b7r6@user/b7r6) (Quit: Client closed) |
| 07:37:06 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 07:40:30 | × | haritz quits (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 07:42:01 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 07:43:42 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 07:48:37 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 07:53:55 | × | Square quits (~Square@user/square) (Ping timeout: 246 seconds) |
| 07:54:18 | trickard_ | is now known as trickard |
| 07:59:11 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 08:03:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 08:05:17 | → | tt1231607 joins (~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) |
| 08:06:46 | → | tromp joins (~textual@2001:1c00:3487:1b00:e166:97e2:1b74:68c4) |
| 08:14:59 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 08:16:49 | × | trickard quits (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 08:17:02 | → | trickard_ joins (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 08:19:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 08:23:15 | trickard_ | is now known as trickard |
| 08:30:44 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 08:34:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 08:44:37 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 08:49:39 | → | Enrico63 joins (~Enrico63@host-87-7-181-238.retail.telecomitalia.it) |
| 08:49:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 08:57:56 | × | Enrico63 quits (~Enrico63@host-87-7-181-238.retail.telecomitalia.it) (Quit: Client closed) |
| 08:58:00 | × | trickard quits (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 08:58:13 | → | trickard joins (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 09:00:15 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 09:04:34 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 09:04:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 09:15:47 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 09:17:06 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 09:21:01 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 09:26:09 | → | Tuplanolla joins (~Tuplanoll@88-114-88-95.elisa-laajakaista.fi) |
| 09:27:43 | × | jreicher quits (~joelr@user/jreicher) (Ping timeout: 240 seconds) |
| 09:28:14 | × | tromp quits (~textual@2001:1c00:3487:1b00:e166:97e2:1b74:68c4) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 09:29:59 | → | jreicher joins (~joelr@user/jreicher) |
| 09:30:09 | → | tromp joins (~textual@2001:1c00:3487:1b00:e166:97e2:1b74:68c4) |
| 09:31:35 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 09:36:42 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 09:41:59 | → | acidjnk joins (~acidjnk@p200300d6e7171930d5713a59355b93ee.dip0.t-ipconnect.de) |
| 09:45:38 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 09:47:58 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 09:48:10 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 09:51:01 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 09:56:38 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 10:01:25 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 10:07:57 | × | notzmv quits (~umar@user/notzmv) (Ping timeout: 252 seconds) |
| 10:08:25 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 10:15:27 | × | gmg quits (~user@user/gehmehgeh) (Ping timeout: 252 seconds) |
| 10:19:28 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 10:20:42 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 10:22:37 | → | __monty__ joins (~toonn@user/toonn) |
| 10:24:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 10:25:13 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 264 seconds) |
| 10:28:11 | → | gmg joins (~user@user/gehmehgeh) |
| 10:33:52 | → | fp joins (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) |
| 10:35:07 | × | fp quits (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Client Quit) |
| 10:35:16 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 10:39:57 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 10:40:24 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 10:46:38 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 10:47:49 | <hadronized> | I’m designing a new language, and I’m wondering about the benefit of refinement types over a type system which would encode the refinement in the types. Is it correct to state that we could emulate refinement types with static types, without probably refinement rules (like transitive rules that are probably hard to express on static types) |
| 10:51:22 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 10:53:59 | <chromoblob> | > let x@(Left y) = Right y in x |
| 10:54:00 | <lambdabot> | *Exception: <interactive>:3:5-24: Non-exhaustive patterns in x@(Left y) |
| 10:54:23 | <chromoblob> | > let x@(Left y) = Right 5 in x |
| 10:54:23 | × | synchromesh quits (~john@2406:5a00:2412:2c00:6135:a28e:b853:ee07) (Read error: Connection reset by peer) |
| 10:54:24 | <lambdabot> | *Exception: <interactive>:3:5-24: Non-exhaustive patterns in x@(Left y) |
| 10:54:44 | → | synchromesh joins (~john@2406:5a00:2412:2c00:6135:a28e:b853:ee07) |
| 10:55:57 | <chromoblob> | > let x@(Right 3) = Right 5 in x |
| 10:55:58 | <lambdabot> | *Exception: <interactive>:3:5-25: Non-exhaustive patterns in x@(Right 3) |
| 11:00:05 | <__monty__> | hadronized: You might be interested in the #proglangdesign channel. |
| 11:02:26 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 11:05:12 | → | Digitteknohippie joins (~user@user/digit) |
| 11:06:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 11:07:13 | × | Digit quits (~user@user/digit) (Ping timeout: 264 seconds) |
| 11:09:01 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 11:12:24 | <hadronized> | __monty__: thanks, I’ll pay them a visit |
| 11:13:40 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 11:24:41 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 11:29:25 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 11:33:48 | → | yarl joins (~yarl@user/yarl) |
| 11:34:19 | <yarl> | Hello haskell. |
| 11:35:16 | <yarl> | I am having trouble running the testsuite on ghc 9.2.8 |
| 11:35:23 | × | gmg quits (~user@user/gehmehgeh) (Ping timeout: 252 seconds) |
| 11:37:03 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 11:40:08 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 11:44:35 | → | fp joins (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) |
| 11:45:23 | <yarl> | see paste.debian.net/hidden/a090992c |
| 11:45:37 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 11:47:14 | → | qqq joins (~qqq@185.54.21.105) |
| 11:47:43 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 11:47:55 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 240 seconds) |
| 11:48:02 | <yarl> | If I remote -fexternal-interpreter it seems to work. |
| 11:48:20 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 11:49:37 | <yarl> | Or if I pass -dynamic |
| 11:50:11 | × | bggd__ quits (~bgg@2a01:e0a:fd5:f510:39ae:25a6:9051:cd77) (Remote host closed the connection) |
| 11:52:27 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 11:53:10 | <yarl> | __aarch64_ldset2_sync is in libgcc as confirmed using nm | grep : /gnu/store/gmrh4aspg7m45wnz62n6pw3b3zbjkw9f-gcc-13.3.0-lib/lib/gcc/aarch64-unknown-linux-gnu/13.3.0/libgcc.a |
| 11:54:27 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 11:54:56 | <yarl> | Why does ghc-iserv.bin is not linking it? |
| 11:55:34 | <yarl> | (I don't know much about ghc, just trying to package it for aarch64 into guix) |
| 11:56:44 | <Leary> | yarl: Better to ask #ghc. |
| 11:57:20 | <yarl> | Leary: oh thank you. did not know this exists. |
| 12:03:26 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 12:05:29 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 260 seconds) |
| 12:07:04 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 12:08:01 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 12:19:04 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 12:23:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 12:34:48 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 12:36:08 | → | Everything joins (~Everythin@172-232-54-192.ip.linodeusercontent.com) |
| 12:37:19 | → | gmg joins (~user@user/gehmehgeh) |
| 12:38:34 | Digitteknohippie | is now known as Digit |
| 12:40:13 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 12:41:08 | × | gmg quits (~user@user/gehmehgeh) (Client Quit) |
| 12:43:54 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 12:44:13 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 12:45:07 | → | gmg joins (~user@user/gehmehgeh) |
| 12:48:38 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 260 seconds) |
| 12:48:40 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 12:51:41 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 12:54:22 | × | karenw quits (~karenw@user/karenw) (Ping timeout: 255 seconds) |
| 12:55:19 | × | gmg quits (~user@user/gehmehgeh) (Ping timeout: 252 seconds) |
| 12:55:38 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 12:57:53 | × | trickard quits (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 12:58:06 | → | trickard_ joins (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 13:04:00 | → | gmg joins (~user@user/gehmehgeh) |
| 13:06:43 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 13:10:14 | × | comonad quits (~comonad@p200300d02722ae00dce4ce9451b59974.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 13:11:59 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 13:15:33 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 13:22:30 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 13:22:58 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 13:24:51 | × | Everything quits (~Everythin@172-232-54-192.ip.linodeusercontent.com) (Quit: leaving) |
| 13:24:57 | × | housemate quits (~housemate@203.56.146.214) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 13:26:28 | → | gmg joins (~user@user/gehmehgeh) |
| 13:27:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 13:30:39 | → | housemate joins (~housemate@203.56.146.214) |
| 13:34:13 | × | itaipu quits (~itaipu@168.121.99.54) (Ping timeout: 264 seconds) |
| 13:34:23 | × | trickard_ quits (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 13:34:36 | → | trickard_ joins (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 13:38:04 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 13:38:40 | → | weary-traveler joins (~user@user/user363627) |
| 13:41:03 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 13:43:13 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 13:48:27 | → | itaipu joins (~itaipu@168.121.99.54) |
| 13:49:40 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 13:54:37 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 13:54:38 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 13:56:36 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 14:03:22 | × | img quits (~img@user/img) (Quit: ZNC 1.10.1 - https://znc.in) |
| 14:04:36 | → | img joins (~img@user/img) |
| 14:05:04 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 14:06:46 | × | lbseale quits (~quassel@user/ep1ctetus) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 14:10:13 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 14:10:37 | → | bggd joins (~bgg@2a01:e0a:fd5:f510:b9a:aeb:dc1f:9677) |
| 14:10:37 | × | bggd quits (~bgg@2a01:e0a:fd5:f510:b9a:aeb:dc1f:9677) (Changing host) |
| 14:10:37 | → | bggd joins (~bgg@user/bggd) |
| 14:11:03 | × | fp quits (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Ping timeout: 252 seconds) |
| 14:16:49 | × | pabs3 quits (~pabs3@user/pabs3) (Ping timeout: 264 seconds) |
| 14:20:50 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 14:25:30 | → | z__ joins (~z@203.204.54.110) |
| 14:25:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 14:27:46 | → | lbseale joins (~quassel@user/ep1ctetus) |
| 14:29:06 | × | z__ quits (~z@203.204.54.110) (Client Quit) |
| 14:30:13 | × | lbseale quits (~quassel@user/ep1ctetus) (Client Quit) |
| 14:30:57 | → | lbseale joins (~quassel@user/ep1ctetus) |
| 14:31:14 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 14:34:01 | → | pabs3 joins (~pabs3@user/pabs3) |
| 14:35:24 | → | Brumaire joins (~no@94.140.114.73) |
| 14:35:30 | → | fp joins (~Thunderbi@wireless-86-50-141-1.open.aalto.fi) |
| 14:36:38 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 14:36:48 | → | ttybitnik joins (~ttybitnik@user/wolper) |
| 14:38:57 | × | lbseale quits (~quassel@user/ep1ctetus) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 14:40:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 14:45:01 | × | housemate quits (~housemate@203.56.146.214) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 14:46:13 | → | lbseale joins (~quassel@user/ep1ctetus) |
| 14:47:50 | × | lbseale quits (~quassel@user/ep1ctetus) (Client Quit) |
| 14:48:39 | → | lbseale joins (~quassel@user/ep1ctetus) |
| 14:50:42 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 14:55:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 14:57:03 | → | housemate joins (~housemate@203.56.146.214) |
| 14:59:29 | → | Enrico63 joins (~Enrico63@host-87-7-181-238.retail.telecomitalia.it) |
| 15:01:55 | × | fp quits (~Thunderbi@wireless-86-50-141-1.open.aalto.fi) (Ping timeout: 240 seconds) |
| 15:04:36 | → | fp joins (~Thunderbi@cig2.wlan.kyla.fi) |
| 15:06:30 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 15:11:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 15:11:28 | × | housemate quits (~housemate@203.56.146.214) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 15:19:03 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 15:20:02 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 15:22:16 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 15:24:02 | → | housemate joins (~housemate@203.56.146.214) |
| 15:24:07 | → | Inline joins (~kvirc@cgn-195-14-217-131.nc.de) |
| 15:27:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 15:31:58 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 15:33:06 | × | tromp quits (~textual@2001:1c00:3487:1b00:e166:97e2:1b74:68c4) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 15:38:04 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 15:40:24 | × | trickard_ quits (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 15:40:37 | → | trickard_ joins (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 15:44:40 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 15:48:22 | → | spew joins (~spew@user/spew) |
| 15:51:11 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 15:51:43 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 15:57:01 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 16:03:19 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 264 seconds) |
| 16:03:28 | × | trickard_ quits (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 16:03:42 | → | trickard_ joins (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 16:07:29 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 16:10:45 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 16:12:22 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 16:21:23 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 16:23:04 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 16:23:05 | × | Enrico63 quits (~Enrico63@host-87-7-181-238.retail.telecomitalia.it) (Quit: Client closed) |
| 16:27:28 | trickard_ | is now known as trickard |
| 16:27:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 16:28:07 | → | spew_ joins (~spew@user/spew) |
| 16:29:23 | × | YoungFrog quits (~youngfrog@2a02:a03f:ca07:f900:f4dc:1860:dde6:d81f) (Quit: ZNC 1.7.x-git-3-96481995 - https://znc.in) |
| 16:29:39 | × | spew quits (~spew@user/spew) (Ping timeout: 252 seconds) |
| 16:38:52 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 16:39:36 | → | YoungFrog joins (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) |
| 16:43:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 16:45:01 | × | raincomplex quits (~rain@user/raincomplex) (Ping timeout: 264 seconds) |
| 16:50:20 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 245 seconds) |
| 16:52:44 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 16:54:06 | → | raincomplex joins (~rain@pool-173-54-183-192.nwrknj.fios.verizon.net) |
| 16:54:06 | × | raincomplex quits (~rain@pool-173-54-183-192.nwrknj.fios.verizon.net) (Changing host) |
| 16:54:06 | → | raincomplex joins (~rain@user/raincomplex) |
| 16:56:31 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 16:57:13 | → | comonad joins (~comonad@p200300d02722ae00dce4ce9451b59974.dip0.t-ipconnect.de) |
| 16:57:42 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 16:58:23 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 17:00:18 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 17:00:25 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 17:00:46 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 17:00:58 | → | Everything joins (~Everythin@172-232-54-192.ip.linodeusercontent.com) |
| 17:03:06 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 17:08:16 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 17:11:56 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 17:12:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 17:20:26 | → | bitdex_ joins (~bitdex@gateway/tor-sasl/bitdex) |
| 17:20:39 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 17:23:15 | × | fp quits (~Thunderbi@cig2.wlan.kyla.fi) (Ping timeout: 240 seconds) |
| 17:24:07 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 17:29:25 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 17:32:07 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 240 seconds) |
| 17:36:17 | → | tromp joins (~textual@2001:1c00:3487:1b00:e166:97e2:1b74:68c4) |
| 17:38:00 | → | fp joins (~Thunderbi@cig2.wlan.kyla.fi) |
| 17:39:48 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 17:44:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 17:46:00 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 17:46:31 | × | fp quits (~Thunderbi@cig2.wlan.kyla.fi) (Ping timeout: 240 seconds) |
| 17:47:27 | × | tromp quits (~textual@2001:1c00:3487:1b00:e166:97e2:1b74:68c4) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 17:53:45 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 17:57:52 | → | tromp joins (~textual@2001:1c00:3487:1b00:e166:97e2:1b74:68c4) |
| 17:58:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 18:01:29 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 18:01:34 | × | bitdex_ quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 18:03:04 | × | trickard quits (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 18:03:17 | → | trickard_ joins (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 18:08:55 | spew_ | is now known as spew |
| 18:09:09 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 18:14:09 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 18:24:53 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 18:31:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 18:38:34 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 18:42:56 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 18:46:30 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 18:48:01 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 18:48:03 | × | gmg quits (~user@user/gehmehgeh) (Ping timeout: 252 seconds) |
| 18:49:22 | gehmehgeh | is now known as gmg |
| 18:54:04 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 18:54:45 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 18:59:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 19:00:14 | → | EvanR joins (~EvanR@user/evanr) |
| 19:01:23 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 19:10:34 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 19:10:35 | × | synchromesh quits (~john@2406:5a00:2412:2c00:6135:a28e:b853:ee07) (Read error: Connection reset by peer) |
| 19:11:00 | → | synchromesh joins (~john@2406:5a00:2412:2c00:6135:a28e:b853:ee07) |
| 19:11:49 | → | Square joins (~Square@user/square) |
| 19:11:55 | × | housemate quits (~housemate@203.56.146.214) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 19:14:35 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 19:15:22 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 19:17:46 | → | housemate joins (~housemate@203.56.146.214) |
| 19:21:37 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 264 seconds) |
| 19:21:56 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 19:25:33 | × | jreicher quits (~joelr@user/jreicher) (Quit: In transit) |
| 19:26:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 19:30:37 | trickard_ | is now known as trickard |
| 19:33:52 | ← | yarl parts (~yarl@user/yarl) (Killed buffer) |
| 19:37:42 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 19:37:46 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 246 seconds) |
| 19:37:53 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 19:38:25 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds) |
| 19:39:12 | Lord_of_Life_ | is now known as Lord_of_Life |
| 19:42:37 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 19:45:37 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 264 seconds) |
| 19:53:05 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 19:58:06 | × | spew quits (~spew@user/spew) (Quit: nyaa~) |
| 19:58:40 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 20:00:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 20:11:33 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 20:16:16 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 20:20:10 | × | tromp quits (~textual@2001:1c00:3487:1b00:e166:97e2:1b74:68c4) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 20:25:43 | × | elarks quits (~elarks@user/yerrii) (Quit: WeeChat 4.7.1) |
| 20:29:05 | → | wennefer0 joins (~wennefer0@user/wennefer0) |
| 20:30:32 | × | wennefer0 quits (~wennefer0@user/wennefer0) (Remote host closed the connection) |
| 20:31:33 | → | wennefer0 joins (~wennefer0@user/wennefer0) |
| 20:34:09 | × | wennefer0 quits (~wennefer0@user/wennefer0) (Remote host closed the connection) |
| 20:36:05 | → | tromp joins (~textual@2001:1c00:3487:1b00:e166:97e2:1b74:68c4) |
| 20:39:50 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 20:40:13 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 20:52:02 | → | jreicher joins (~joelr@user/jreicher) |
| 20:52:11 | × | Brumaire quits (~no@94.140.114.73) (Remote host closed the connection) |
| 20:55:44 | → | pavonia joins (~user@user/siracusa) |
| 20:56:50 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 21:01:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 21:03:32 | × | trickard quits (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 21:03:46 | → | trickard_ joins (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 21:11:44 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 21:12:33 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 21:13:52 | × | trickard_ quits (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 21:14:44 | → | trickard_ joins (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 21:19:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 21:23:07 | × | Inline quits (~kvirc@cgn-195-14-217-131.nc.de) (Ping timeout: 264 seconds) |
| 21:25:46 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 21:30:36 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 21:35:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 21:40:49 | trickard_ | is now known as trickard |
| 21:45:50 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 21:46:23 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 21:50:04 | × | housemate quits (~housemate@203.56.146.214) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 21:50:42 | → | DetourNe- joins (~DetourNet@user/DetourNetworkUK) |
| 21:51:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 21:51:29 | × | DetourNetworkUK quits (~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 21:52:56 | DetourNe- | is now known as DetourNetworkUK |
| 21:54:22 | × | myxokephale quits (~myxos@174-18-25-201.tcso.qwest.net) (Remote host closed the connection) |
| 21:55:01 | → | housemate joins (~housemate@203.56.146.214) |
| 21:57:47 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 21:57:55 | × | housemate quits (~housemate@203.56.146.214) (Remote host closed the connection) |
| 22:00:20 | × | hakutaku quits (~textual@chen.yukari.eu.org) (Quit: Textual IRC Client: www.textualapp.com) |
| 22:02:25 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 22:08:03 | → | myxos joins (~myxos@174-18-25-201.tcso.qwest.net) |
| 22:08:30 | × | Everything quits (~Everythin@172-232-54-192.ip.linodeusercontent.com) (Quit: leaving) |
| 22:10:37 | × | trickard quits (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 22:10:51 | → | trickard_ joins (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 22:13:10 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 22:15:39 | × | dcb quits (~dcb@user/dcb) (Ping timeout: 260 seconds) |
| 22:16:05 | → | dcb joins (~dcb@user/dcb) |
| 22:16:13 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 264 seconds) |
| 22:17:37 | → | housemate joins (~housemate@203.56.146.214) |
| 22:17:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 22:20:48 | × | qqq quits (~qqq@185.54.21.105) (Quit: Lost terminal) |
| 22:26:39 | × | dcb quits (~dcb@user/dcb) (Quit: MSN Messenger v1.9.1) |
| 22:27:25 | → | elarks joins (~elarks@user/yerrii) |
| 22:28:05 | → | mange joins (~mange@user/mange) |
| 22:28:57 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 22:30:08 | → | dcb joins (~dcb@user/dcb) |
| 22:34:13 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 22:34:21 | × | tromp quits (~textual@2001:1c00:3487:1b00:e166:97e2:1b74:68c4) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 22:44:45 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 22:46:25 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 22:48:48 | × | ttybitnik quits (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 22:48:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 22:49:21 | → | libertyprime joins (~libertypr@121.74.62.77) |
| 22:59:35 | × | annamalai quits (~annamalai@157.32.135.19) (Ping timeout: 240 seconds) |
| 23:01:39 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 23:08:42 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 23:12:11 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 23:14:30 | × | trickard_ quits (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 23:14:44 | → | trickard_ joins (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 23:18:28 | jmcantrell_ | is now known as jmcantrell |
| 23:19:41 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 23:24:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 23:28:15 | → | weary-traveler joins (~user@user/user363627) |
| 23:35:29 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 23:39:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 23:42:38 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 23:45:54 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 244 seconds) |
| 23:45:56 | × | kimiamania997 quits (~67ff9c12@user/kimiamania) (Quit: PegeLinux) |
| 23:47:03 | → | kimiamania997 joins (~9566fa0a@user/kimiamania) |
| 23:51:12 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 23:55:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 23:57:10 | kimiamania997 | is now known as kimiamania |
All times are in UTC on 2026-01-11.