2025/01/07

2025-01-07 00:07:34 +0100agent314(~quassel@138.199.43.74) (Ping timeout: 252 seconds)
2025-01-07 00:09:06 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-07 00:09:36 +0100Katarushisu(~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Ping timeout: 265 seconds)
2025-01-07 00:13:18 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2025-01-07 00:15:45 +0100Smiles(uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2025-01-07 00:24:30 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-07 00:28:53 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2025-01-07 00:39:54 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-07 00:42:54 +0100Katarushisu(~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) Katarushisu
2025-01-07 00:44:43 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-07 00:55:15 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-07 00:59:05 +0100machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 260 seconds)
2025-01-07 00:59:37 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-07 01:10:38 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-07 01:15:13 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2025-01-07 01:15:32 +0100orangeFlu(~orangeFlu@240-100-179-143.ftth.glasoperator.nl) orangeFlu
2025-01-07 01:25:55 +0100acidjnk_new(~acidjnk@p200300d6e7283f019464203255df1d25.dip0.t-ipconnect.de) (Ping timeout: 264 seconds)
2025-01-07 01:26:00 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-07 01:32:29 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2025-01-07 01:36:13 +0100machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod
2025-01-07 01:41:26 +0100chiselfu1echiselfuse
2025-01-07 01:44:04 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-07 01:45:07 +0100xff0x(~xff0x@2405:6580:b080:900:5ca2:2d01:5d11:fdea) (Ping timeout: 264 seconds)
2025-01-07 01:48:17 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2025-01-07 01:51:00 +0100sprotte24(~sprotte24@p200300d16f49780014fb0420edc350bc.dip0.t-ipconnect.de) (Quit: Leaving)
2025-01-07 01:54:57 +0100weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-01-07 01:56:54 +0100forell(~forell@user/forell) (Ping timeout: 265 seconds)
2025-01-07 01:59:26 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-07 02:04:14 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2025-01-07 02:09:56 +0100prasad(~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net)
2025-01-07 02:11:00 +0100Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2025-01-07 02:14:50 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-07 02:17:41 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds)
2025-01-07 02:18:53 +0100Jeanne-Kamikaze(~Jeanne-Ka@142.147.89.217) Jeanne-Kamikaze
2025-01-07 02:19:09 +0100Jeanne-Kamikaze(~Jeanne-Ka@142.147.89.217) (Remote host closed the connection)
2025-01-07 02:19:28 +0100Jeanne-Kamikaze(~Jeanne-Ka@142.147.89.217) Jeanne-Kamikaze
2025-01-07 02:20:17 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2025-01-07 02:31:12 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-07 02:35:42 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-07 02:37:26 +0100ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2025-01-07 02:37:49 +0100ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2025-01-07 02:39:40 +0100xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-01-07 02:39:57 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-01-07 02:41:51 +0100otto_s(~user@p5de2f29b.dip0.t-ipconnect.de) (Ping timeout: 276 seconds)
2025-01-07 02:43:12 +0100otto_s(~user@p5de2f2cf.dip0.t-ipconnect.de)
2025-01-07 02:45:30 +0100weary-traveler(~user@user/user363627) user363627
2025-01-07 02:46:35 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-07 02:50:13 +0100j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-01-07 02:51:17 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2025-01-07 02:53:26 +0100inedia_(~irc@2600:3c00:e000:287::1) (Quit: WeeChat 4.2.2)
2025-01-07 02:53:32 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-01-07 03:01:58 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-07 03:02:41 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds)
2025-01-07 03:09:10 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2025-01-07 03:20:01 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-07 03:22:39 +0100Too2manyQ5(~Too2manyQ@mwg-atl27.infosec.fedex.com) (Quit: Client closed)
2025-01-07 03:24:44 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2025-01-07 03:32:36 +0100cowboy8625(~cowboy@2605-4A80-7405-640-5FF7-D5E3-5D5-6165-dynamic.midco.net) (Ping timeout: 265 seconds)
2025-01-07 03:33:30 +0100cowboy8625(~cowboy@2605-4A80-7405-640-6874-3892-A3C7-18B3-dynamic.midco.net)
2025-01-07 03:35:24 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-07 03:37:09 +0100xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 248 seconds)
2025-01-07 03:39:49 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2025-01-07 03:48:15 +0100haskellbridge(~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection)
2025-01-07 03:50:46 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-07 03:55:15 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-07 04:02:41 +0100xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-01-07 04:06:08 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-07 04:10:47 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2025-01-07 04:13:50 +0100haskellbridge(~hackager@syn-024-093-192-219.res.spectrum.com) hackager
2025-01-07 04:13:50 +0100ChanServ+v haskellbridge
2025-01-07 04:20:01 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-01-07 04:21:31 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-07 04:25:51 +0100dysthesis(~dysthesis@user/dysthesis) dysthesis
2025-01-07 04:26:30 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2025-01-07 04:34:23 +0100weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-01-07 04:34:51 +0100l_k(~student@85.172.77.168)
2025-01-07 04:36:09 +0100nkatte(~nkatte@user/nkatte) (Quit: nkatte)
2025-01-07 04:36:54 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-07 04:37:51 +0100l__k(~student@217.107.127.143) (Ping timeout: 265 seconds)
2025-01-07 04:40:00 +0100machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds)
2025-01-07 04:44:08 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2025-01-07 04:50:05 +0100Jeanne-Kamikaze(~Jeanne-Ka@142.147.89.217) (Quit: Leaving)
2025-01-07 04:54:56 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-07 04:59:13 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2025-01-07 05:01:08 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-07 05:05:39 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2025-01-07 05:09:15 +0100jrm(~jrm@user/jrm) (Quit: ciao)
2025-01-07 05:10:27 +0100aforemny_(~aforemny@2001:9e8:6cc4:4700:8cff:3cd6:574c:3859) aforemny
2025-01-07 05:10:45 +0100jrm(~jrm@user/jrm) jrm
2025-01-07 05:11:33 +0100aforemny(~aforemny@i59F4C5A2.versanet.de) (Ping timeout: 248 seconds)
2025-01-07 05:16:28 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-07 05:21:21 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2025-01-07 05:34:35 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-07 05:39:09 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds)
2025-01-07 05:40:31 +0100dysthesis(~dysthesis@user/dysthesis) (Remote host closed the connection)
2025-01-07 05:49:26 +0100l__k(~student@217.107.127.233)
2025-01-07 05:49:58 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-07 05:52:57 +0100l_k(~student@85.172.77.168) (Ping timeout: 276 seconds)
2025-01-07 05:54:32 +0100qqe(~qqq@92.43.167.61)
2025-01-07 05:55:46 +0100ft(~ft@p3e9bc047.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2025-01-07 05:55:49 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2025-01-07 05:56:47 +0100l_k(~student@85.172.111.42)
2025-01-07 05:57:00 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds)
2025-01-07 05:57:26 +0100ft(~ft@p4fc2a354.dip0.t-ipconnect.de) ft
2025-01-07 05:58:11 +0100mchav(~mchav@77.246.55.174)
2025-01-07 05:59:33 +0100l__k(~student@217.107.127.233) (Ping timeout: 248 seconds)
2025-01-07 06:01:32 +0100l__k(~student@217.107.125.230)
2025-01-07 06:02:38 +0100l_k_(~student@213.24.125.218)
2025-01-07 06:03:24 +0100l_k(~student@85.172.111.42) (Ping timeout: 265 seconds)
2025-01-07 06:03:33 +0100l_k(~student@217.107.124.218)
2025-01-07 06:04:16 +0100mchav(~mchav@77.246.55.174) (Quit: Client closed)
2025-01-07 06:05:42 +0100l_k__(~student@217.107.127.143)
2025-01-07 06:06:06 +0100l__k(~student@217.107.125.230) (Ping timeout: 246 seconds)
2025-01-07 06:06:59 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-07 06:07:25 +0100l__k(~student@46.61.242.242)
2025-01-07 06:07:29 +0100l_k_(~student@213.24.125.218) (Ping timeout: 260 seconds)
2025-01-07 06:08:05 +0100raym(~ray@user/raym) (Ping timeout: 248 seconds)
2025-01-07 06:09:12 +0100l_k(~student@217.107.124.218) (Ping timeout: 244 seconds)
2025-01-07 06:09:57 +0100l_k__(~student@217.107.127.143) (Ping timeout: 246 seconds)
2025-01-07 06:11:16 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2025-01-07 06:11:31 +0100machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod
2025-01-07 06:13:04 +0100prasad(~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net) (Ping timeout: 265 seconds)
2025-01-07 06:14:19 +0100remedan(~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!)
2025-01-07 06:15:30 +0100remedan(~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan
2025-01-07 06:21:30 +0100l__k(~student@46.61.242.242) (Ping timeout: 246 seconds)
2025-01-07 06:22:22 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-07 06:23:44 +0100l__k(~student@85.172.76.45)
2025-01-07 06:27:49 +0100pavonia(~user@user/siracusa) (Quit: Bye!)
2025-01-07 06:28:27 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-07 06:33:57 +0100takuan(~takuan@178-116-218-225.access.telenet.be)
2025-01-07 06:38:59 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-07 06:41:44 +0100Square(~Square@user/square) (Ping timeout: 252 seconds)
2025-01-07 06:44:18 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2025-01-07 06:49:04 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-01-07 06:54:22 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-07 06:57:25 +0100michalz(~michalz@185.246.207.218)
2025-01-07 06:59:57 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2025-01-07 07:02:07 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-07 07:06:33 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2025-01-07 07:13:24 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds)
2025-01-07 07:17:27 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-07 07:20:27 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-01-07 07:22:03 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-07 07:27:24 +0100sand-witch(~m-mzmz6l@vmi833741.contaboserver.net) (Remote host closed the connection)
2025-01-07 07:28:12 +0100remedan(~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!)
2025-01-07 07:29:00 +0100sand-witch(~m-mzmz6l@vmi833741.contaboserver.net)
2025-01-07 07:32:50 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-07 07:36:59 +0100remedan(~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan
2025-01-07 07:39:50 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2025-01-07 07:50:53 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-07 07:55:32 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2025-01-07 08:03:07 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-07 08:07:29 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds)
2025-01-07 08:10:08 +0100CiaoSen(~Jura@2a05:5800:2db:3300:ca4b:d6ff:fec1:99da) CiaoSen
2025-01-07 08:18:30 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-07 08:18:59 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-01-07 08:20:26 +0100dsrt^(dsrt@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 244 seconds)
2025-01-07 08:20:44 +0100dsrt^(~dsrt@c-98-242-74-66.hsd1.ga.comcast.net)
2025-01-07 08:23:42 +0100kmx(~kmx@c-69-251-4-232.hsd1.md.comcast.net)
2025-01-07 08:24:13 +0100 <kmx> hello
2025-01-07 08:25:03 +0100euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2025-01-07 08:25:20 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds)
2025-01-07 08:27:32 +0100orangeFlu(~orangeFlu@240-100-179-143.ftth.glasoperator.nl) (Quit: leaving)
2025-01-07 08:28:57 +0100euphores(~SASL_euph@user/euphores) euphores
2025-01-07 08:30:10 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2025-01-07 08:32:47 +0100euphores(~SASL_euph@user/euphores) (Client Quit)
2025-01-07 08:33:48 +0100euphores(~SASL_euph@user/euphores) euphores
2025-01-07 08:33:59 +0100euphores(~SASL_euph@user/euphores) (Client Quit)
2025-01-07 08:35:49 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-07 08:36:38 +0100hsw_(~hsw@112-104-8-145.adsl.dynamic.seed.net.tw) hsw
2025-01-07 08:38:52 +0100euphores(~SASL_euph@user/euphores) euphores
2025-01-07 08:39:01 +0100hsw(~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) (Ping timeout: 248 seconds)
2025-01-07 08:40:30 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2025-01-07 08:48:43 +0100 <jackdk> hi
2025-01-07 08:51:11 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-07 08:55:30 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2025-01-07 08:56:00 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac
2025-01-07 09:00:00 +0100caconym(~caconym@user/caconym) (Quit: bye)
2025-01-07 09:00:41 +0100caconym(~caconym@user/caconym) caconym
2025-01-07 09:04:03 +0100acidjnk_new(~acidjnk@p200300d6e7283f16e58e65020330ade6.dip0.t-ipconnect.de)
2025-01-07 09:07:20 +0100sord937(~sord937@gateway/tor-sasl/sord937) sord937
2025-01-07 09:08:55 +0100forell(~forell@user/forell) forell
2025-01-07 09:24:21 +0100olivial(~benjaminl@user/benjaminl) (Read error: Connection reset by peer)
2025-01-07 09:24:38 +0100olivial(~benjaminl@user/benjaminl) benjaminl
2025-01-07 09:27:35 +0100tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2025-01-07 09:36:45 +0100merijn(~merijn@77.242.116.146) merijn
2025-01-07 09:37:17 +0100l_k(~student@46.61.242.174)
2025-01-07 09:39:03 +0100alecs(~alecs@nat16.software.imdea.org) alecs
2025-01-07 09:40:18 +0100l__k(~student@85.172.76.45) (Ping timeout: 246 seconds)
2025-01-07 09:42:37 +0100Smiles(uid551636@id-551636.lymington.irccloud.com) Smiles
2025-01-07 09:43:02 +0100emmanuelux_(~emmanuelu@user/emmanuelux) (Quit: au revoir)
2025-01-07 09:51:43 +0100orangeFlu(orangeFlu@gateway/vpn/protonvpn/orangeflu) orangeFlu
2025-01-07 09:52:42 +0100orangeFl1(~orangeFlu@wlan036187.wireless.utwente.nl) orangeFlu
2025-01-07 09:55:30 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 244 seconds)
2025-01-07 09:56:26 +0100orangeFlu(orangeFlu@gateway/vpn/protonvpn/orangeflu) (Ping timeout: 252 seconds)
2025-01-07 09:59:08 +0100 <hellwolf> I realized that I had understanding of what is Prisms. Now that I see it has two idiomatic functions "match" and "build". It got me thinking that I ought to understand it, since I am building otherwise an ad-hoc pattern-matching machinery.
2025-01-07 09:59:08 +0100 <hellwolf> Does anyone have experiece with Prisms?
2025-01-07 09:59:17 +0100 <hellwolf> *I had no understanding
2025-01-07 10:01:25 +0100merijn(~merijn@77.242.116.146) merijn
2025-01-07 10:01:39 +0100homo_homo
2025-01-07 10:04:35 +0100gorignak(~gorignak@user/gorignak) (Ping timeout: 265 seconds)
2025-01-07 10:05:16 +0100gorignak(~gorignak@user/gorignak) gorignak
2025-01-07 10:08:20 +0100kmx(~kmx@c-69-251-4-232.hsd1.md.comcast.net) (Quit: leaving)
2025-01-07 10:15:39 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-01-07 10:20:46 +0100jespada(~jespada@2800:a4:c5:2900:7896:24d4:be22:1827) jespada
2025-01-07 10:20:59 +0100homo(~homo@user/homo) (Remote host closed the connection)
2025-01-07 10:21:23 +0100homo(~homo@user/homo) homo
2025-01-07 10:23:53 +0100alecs(~alecs@nat16.software.imdea.org) (Remote host closed the connection)
2025-01-07 10:25:16 +0100mari-estel(~mari-este@user/mari-estel) mari-estel
2025-01-07 10:26:44 +0100qqe(~qqq@92.43.167.61) (Quit: Lost terminal)
2025-01-07 10:28:19 +0100sprotte24(~sprotte24@p200300d16f116c00e18de5f6dc64cbe3.dip0.t-ipconnect.de)
2025-01-07 10:28:19 +0100sprotte24(~sprotte24@p200300d16f116c00e18de5f6dc64cbe3.dip0.t-ipconnect.de) (Client Quit)
2025-01-07 10:32:33 +0100target_i(~target_i@user/target-i/x-6023099) target_i
2025-01-07 10:38:23 +0100longlongdouble(~longlongd@2405:201:5c16:894:74ec:348f:7a5d:1fda)
2025-01-07 10:38:43 +0100ubert(~Thunderbi@p200300ecdf117c03858f82df0dc40dbe.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2025-01-07 10:39:16 +0100__monty__(~toonn@user/toonn) toonn
2025-01-07 10:42:18 +0100alecs(~alecs@nat16.software.imdea.org) alecs
2025-01-07 10:51:17 +0100tnt2(~Thunderbi@user/tnt1) tnt1
2025-01-07 10:51:21 +0100 <jackdk> I'm about to head out so I can't give a detailed answer, but I think you're not getting any responses because it's not clear what your actual question is, who is capable of answering it, and how much effort doing so will take. https://github.com/system-f/lets-lens eventually gets to prism exercises. Optics By Example is a fantastic book, but it is paid.
2025-01-07 10:51:47 +0100tnt1(~Thunderbi@user/tnt1) (Ping timeout: 252 seconds)
2025-01-07 10:54:15 +0100tnt1(~Thunderbi@user/tnt1) tnt1
2025-01-07 10:56:16 +0100tnt2(~Thunderbi@user/tnt1) (Ping timeout: 272 seconds)
2025-01-07 10:59:45 +0100longlongdouble(~longlongd@2405:201:5c16:894:74ec:348f:7a5d:1fda) (Ping timeout: 248 seconds)
2025-01-07 11:03:27 +0100ubert(~Thunderbi@2a02:8109:ab8a:5a00:aa01:87f5:2ab2:56ea) ubert
2025-01-07 11:06:01 +0100longlongdouble(~longlongd@49.36.234.44)
2025-01-07 11:08:21 +0100orangeFl1(~orangeFlu@wlan036187.wireless.utwente.nl) (Ping timeout: 244 seconds)
2025-01-07 11:10:55 +0100mari49021(~mari-este@user/mari-estel) mari-estel
2025-01-07 11:13:00 +0100mari-estel(~mari-este@user/mari-estel) (Ping timeout: 244 seconds)
2025-01-07 11:18:52 +0100m5zs7k(aquares@web10.mydevil.net) (Ping timeout: 252 seconds)
2025-01-07 11:18:53 +0100lxsameer(~lxsameer@Serene/lxsameer) lxsameer
2025-01-07 11:19:34 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 260 seconds)
2025-01-07 11:23:49 +0100ephilalethes(~noumenon@2001:f40:908:735:aa7e:eaff:fede:ff94) noumenon
2025-01-07 11:24:03 +0100xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds)
2025-01-07 11:25:15 +0100m5zs7k(aquares@web10.mydevil.net) m5zs7k
2025-01-07 11:27:56 +0100merijn(~merijn@77.242.116.146) merijn
2025-01-07 11:31:00 +0100orangeFlu(~orangeFlu@wlan036187.wireless.utwente.nl) orangeFlu
2025-01-07 11:37:29 +0100CiaoSen(~Jura@2a05:5800:2db:3300:ca4b:d6ff:fec1:99da) (Ping timeout: 245 seconds)
2025-01-07 11:37:59 +0100spenat(~spenat@c-92-35-37-17.bbcust.telenor.se) (Ping timeout: 252 seconds)
2025-01-07 11:38:39 +0100l__k(~student@213.24.125.146)
2025-01-07 11:42:00 +0100l_k(~student@46.61.242.174) (Ping timeout: 276 seconds)
2025-01-07 11:47:50 +0100longlongdouble(~longlongd@49.36.234.44) (Remote host closed the connection)
2025-01-07 11:53:09 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2025-01-07 11:54:52 +0100l__k(~student@213.24.125.146) (Ping timeout: 252 seconds)
2025-01-07 11:56:39 +0100 <hellwolf> Thanks for the pointers! I will look into those books. And yes, it was not phrased to be a clear question, but rather a conversation opener which I assume is tolerated in this channel.
2025-01-07 11:56:55 +0100immae(~immae@2a01:4f8:141:53e7::) (Quit: WeeChat 3.3)
2025-01-07 12:00:19 +0100immae(~immae@2a01:4f8:141:53e7::) immae