2025/01/07

Newest at the top

2025-01-07 10:39:16 +0100__monty__(~toonn@user/toonn) toonn
2025-01-07 10:38:43 +0100ubert(~Thunderbi@p200300ecdf117c03858f82df0dc40dbe.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2025-01-07 10:38:23 +0100longlongdouble(~longlongd@2405:201:5c16:894:74ec:348f:7a5d:1fda)
2025-01-07 10:32:33 +0100target_i(~target_i@user/target-i/x-6023099) target_i
2025-01-07 10:28:19 +0100sprotte24(~sprotte24@p200300d16f116c00e18de5f6dc64cbe3.dip0.t-ipconnect.de) (Client Quit)
2025-01-07 10:28:19 +0100sprotte24(~sprotte24@p200300d16f116c00e18de5f6dc64cbe3.dip0.t-ipconnect.de)
2025-01-07 10:26:44 +0100qqe(~qqq@92.43.167.61) (Quit: Lost terminal)
2025-01-07 10:25:16 +0100mari-estel(~mari-este@user/mari-estel) mari-estel
2025-01-07 10:23:53 +0100alecs(~alecs@nat16.software.imdea.org) (Remote host closed the connection)
2025-01-07 10:21:23 +0100homo(~homo@user/homo) homo
2025-01-07 10:20:59 +0100homo(~homo@user/homo) (Remote host closed the connection)
2025-01-07 10:20:46 +0100jespada(~jespada@2800:a4:c5:2900:7896:24d4:be22:1827) jespada
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:08:20 +0100kmx(~kmx@c-69-251-4-232.hsd1.md.comcast.net) (Quit: leaving)
2025-01-07 10:05:16 +0100gorignak(~gorignak@user/gorignak) gorignak
2025-01-07 10:04:35 +0100gorignak(~gorignak@user/gorignak) (Ping timeout: 265 seconds)
2025-01-07 10:01:39 +0100homo_homo
2025-01-07 10:01:25 +0100merijn(~merijn@77.242.116.146) merijn
2025-01-07 09:59:17 +0100 <hellwolf> *I had no understanding
2025-01-07 09:59:08 +0100 <hellwolf> Does anyone have experiece with Prisms?
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:56:26 +0100orangeFlu(orangeFlu@gateway/vpn/protonvpn/orangeflu) (Ping timeout: 252 seconds)
2025-01-07 09:55:30 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 244 seconds)
2025-01-07 09:52:42 +0100orangeFl1(~orangeFlu@wlan036187.wireless.utwente.nl) orangeFlu
2025-01-07 09:51:43 +0100orangeFlu(orangeFlu@gateway/vpn/protonvpn/orangeflu) orangeFlu
2025-01-07 09:43:02 +0100emmanuelux_(~emmanuelu@user/emmanuelux) (Quit: au revoir)
2025-01-07 09:42:37 +0100Smiles(uid551636@id-551636.lymington.irccloud.com) Smiles
2025-01-07 09:40:18 +0100l__k(~student@85.172.76.45) (Ping timeout: 246 seconds)
2025-01-07 09:39:03 +0100alecs(~alecs@nat16.software.imdea.org) alecs
2025-01-07 09:37:17 +0100l_k(~student@46.61.242.174)
2025-01-07 09:36:45 +0100merijn(~merijn@77.242.116.146) merijn
2025-01-07 09:27:35 +0100tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2025-01-07 09:24:38 +0100olivial(~benjaminl@user/benjaminl) benjaminl
2025-01-07 09:24:21 +0100olivial(~benjaminl@user/benjaminl) (Read error: Connection reset by peer)
2025-01-07 09:08:55 +0100forell(~forell@user/forell) forell
2025-01-07 09:07:20 +0100sord937(~sord937@gateway/tor-sasl/sord937) sord937
2025-01-07 09:04:03 +0100acidjnk_new(~acidjnk@p200300d6e7283f16e58e65020330ade6.dip0.t-ipconnect.de)
2025-01-07 09:00:41 +0100caconym(~caconym@user/caconym) caconym
2025-01-07 09:00:00 +0100caconym(~caconym@user/caconym) (Quit: bye)
2025-01-07 08:56:00 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac
2025-01-07 08:55:30 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2025-01-07 08:51:11 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-07 08:48:43 +0100 <jackdk> hi
2025-01-07 08:40:30 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
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:38:52 +0100euphores(~SASL_euph@user/euphores) euphores
2025-01-07 08:36:38 +0100hsw_(~hsw@112-104-8-145.adsl.dynamic.seed.net.tw) hsw
2025-01-07 08:35:49 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-07 08:33:59 +0100euphores(~SASL_euph@user/euphores) (Client Quit)
2025-01-07 08:33:48 +0100euphores(~SASL_euph@user/euphores) euphores