Newest at the top
| 2025-01-07 10:01:25 +0100 | merijn | (~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 +0100 | orangeFlu | (orangeFlu@gateway/vpn/protonvpn/orangeflu) (Ping timeout: 252 seconds) |
| 2025-01-07 09:55:30 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2025-01-07 09:52:42 +0100 | orangeFl1 | (~orangeFlu@wlan036187.wireless.utwente.nl) orangeFlu |
| 2025-01-07 09:51:43 +0100 | orangeFlu | (orangeFlu@gateway/vpn/protonvpn/orangeflu) orangeFlu |
| 2025-01-07 09:43:02 +0100 | emmanuelux_ | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2025-01-07 09:42:37 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-01-07 09:40:18 +0100 | l__k | (~student@85.172.76.45) (Ping timeout: 246 seconds) |
| 2025-01-07 09:39:03 +0100 | alecs | (~alecs@nat16.software.imdea.org) alecs |
| 2025-01-07 09:37:17 +0100 | l_k | (~student@46.61.242.174) |
| 2025-01-07 09:36:45 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-07 09:27:35 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-01-07 09:24:38 +0100 | olivial | (~benjaminl@user/benjaminl) benjaminl |
| 2025-01-07 09:24:21 +0100 | olivial | (~benjaminl@user/benjaminl) (Read error: Connection reset by peer) |
| 2025-01-07 09:08:55 +0100 | forell | (~forell@user/forell) forell |
| 2025-01-07 09:07:20 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-01-07 09:04:03 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f16e58e65020330ade6.dip0.t-ipconnect.de) |
| 2025-01-07 09:00:41 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2025-01-07 09:00:00 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-01-07 08:56:00 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2025-01-07 08:55:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2025-01-07 08:51:11 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-07 08:48:43 +0100 | <jackdk> | hi |
| 2025-01-07 08:40:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-07 08:39:01 +0100 | hsw | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) (Ping timeout: 248 seconds) |
| 2025-01-07 08:38:52 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-01-07 08:36:38 +0100 | hsw_ | (~hsw@112-104-8-145.adsl.dynamic.seed.net.tw) hsw |
| 2025-01-07 08:35:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-07 08:33:59 +0100 | euphores | (~SASL_euph@user/euphores) (Client Quit) |
| 2025-01-07 08:33:48 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-01-07 08:32:47 +0100 | euphores | (~SASL_euph@user/euphores) (Client Quit) |
| 2025-01-07 08:30:10 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-07 08:28:57 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-01-07 08:27:32 +0100 | orangeFlu | (~orangeFlu@240-100-179-143.ftth.glasoperator.nl) (Quit: leaving) |
| 2025-01-07 08:25:20 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2025-01-07 08:25:03 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2025-01-07 08:24:13 +0100 | <kmx> | hello |
| 2025-01-07 08:23:42 +0100 | kmx | (~kmx@c-69-251-4-232.hsd1.md.comcast.net) |
| 2025-01-07 08:20:44 +0100 | dsrt^ | (~dsrt@c-98-242-74-66.hsd1.ga.comcast.net) |
| 2025-01-07 08:20:26 +0100 | dsrt^ | (dsrt@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 244 seconds) |
| 2025-01-07 08:18:59 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-01-07 08:18:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-07 08:10:08 +0100 | CiaoSen | (~Jura@2a05:5800:2db:3300:ca4b:d6ff:fec1:99da) CiaoSen |
| 2025-01-07 08:07:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2025-01-07 08:03:07 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-07 07:55:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-07 07:50:53 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |