Newest at the top
2025-09-29 20:37:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-29 20:36:56 +0200 | michalz | (~michalz@185.246.207.222) (Remote host closed the connection) |
2025-09-29 20:34:43 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) justsomeguy |
2025-09-29 20:31:22 +0200 | ruvam | (~ruvam@user/ruvam) ruvam |
2025-09-29 20:31:13 +0200 | target_i | (~target_i@user/target-i/x-6023099) target_i |
2025-09-29 20:29:35 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
2025-09-29 20:29:25 +0200 | Sgeo | (~Sgeo@user/sgeo) (Ping timeout: 264 seconds) |
2025-09-29 20:28:52 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
2025-09-29 20:28:49 +0200 | ruvam | (~ruvam@user/ruvam) (Ping timeout: 264 seconds) |
2025-09-29 20:28:13 +0200 | banner | (~banner@1.41.210.25) (Ping timeout: 264 seconds) |
2025-09-29 20:27:30 +0200 | __monty__ | (~toonn@user/toonn) toonn |
2025-09-29 20:26:18 +0200 | mulk | (~mulk@pd95144c3.dip0.t-ipconnect.de) mulk |
2025-09-29 20:26:13 +0200 | Sgeo_ | (~Sgeo@user/sgeo) Sgeo |
2025-09-29 20:25:56 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 256 seconds) |
2025-09-29 20:25:56 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
2025-09-29 20:25:49 +0200 | annamalai | (~annamalai@157.32.118.126) (Ping timeout: 264 seconds) |
2025-09-29 20:25:49 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
2025-09-29 20:25:15 +0200 | banner_ | (~banner@n1-41-210-25.bla22.nsw.optusnet.com.au) |
2025-09-29 20:05:15 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
2025-09-29 19:50:43 +0200 | Googulator86 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
2025-09-29 19:50:40 +0200 | Googulator14 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
2025-09-29 19:48:48 +0200 | tromp | (~textual@2001:1c00:3487:1b00:5d4:dfa6:7d7:2af3) |
2025-09-29 19:47:36 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2025-09-29 19:45:48 +0200 | Googulator51 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
2025-09-29 19:45:39 +0200 | Googulator14 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
2025-09-29 19:45:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Read error: Connection reset by peer) |
2025-09-29 19:44:07 +0200 | ouilemur | (~jgmerritt@user/ouilemur) (Quit: WeeChat 4.7.1) |
2025-09-29 19:42:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-29 19:36:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
2025-09-29 19:35:09 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
2025-09-29 19:34:55 +0200 | trickard | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-09-29 19:31:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-29 19:30:37 +0200 | Googulator74 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
2025-09-29 19:30:37 +0200 | Googulator51 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
2025-09-29 19:27:01 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 250 seconds) |
2025-09-29 19:25:37 +0200 | tromp | (~textual@2001:1c00:3487:1b00:5d4:dfa6:7d7:2af3) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-09-29 19:23:31 +0200 | kuribas | (~user@2a02-1810-2825-6000-5d46-3266-7567-729e.ip6.access.telenet.be) (Remote host closed the connection) |
2025-09-29 19:19:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
2025-09-29 19:14:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-29 19:09:21 +0200 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
2025-09-29 19:08:58 +0200 | <ski> | Franciman : i vaguely remember you bringing it up (?) before, but had forgotten about it. ty for the reminder |
2025-09-29 19:05:04 +0200 | weary-traveler | (~user@user/user363627) user363627 |
2025-09-29 19:03:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
2025-09-29 19:02:08 +0200 | rvalue | (~rvalue@about/hackers/rvalue) rvalue |
2025-09-29 19:01:41 +0200 | rvalue | (~rvalue@about/hackers/rvalue) (Read error: Connection reset by peer) |
2025-09-29 19:00:00 +0200 | <Franciman> | it's a bit hard for my mind to read it |
2025-09-29 18:59:54 +0200 | <Franciman> | can't wait to get the book out |
2025-09-29 18:59:46 +0200 | <Franciman> | ay! |
2025-09-29 18:59:40 +0200 | <ski> | Franciman : "Proof Theory and Logic Programming: Computation as Proof Search" by Dale Miller in 2025 at <https://www.lix.polytechnique.fr/~dale/ptlp/> ? |
2025-09-29 18:58:52 +0200 | <ski> | based around inductive and coinductive data types |