Newest at the top
| 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 |
| 2025-09-29 18:57:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-29 18:54:29 +0200 | <Franciman> | ski: did you read Miller's book on logic programming? |
| 2025-09-29 18:54:14 +0200 | <lambdabot> | http://pll.cpsc.ucalgary.ca/charity1/www/home.html |
| 2025-09-29 18:54:14 +0200 | <ski> | @where Charity |
| 2025-09-29 18:52:43 +0200 | <yin> | ski: unfamiliar |
| 2025-09-29 18:45:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-09-29 18:45:19 +0200 | poscat | (~poscat@user/poscat) poscat |
| 2025-09-29 18:43:07 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-09-29 18:42:12 +0200 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-09-29 18:42:05 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2025-09-29 18:40:46 +0200 | Googulator | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-29 18:40:46 +0200 | Googulator74 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-29 18:15:20 +0200 | Googulator94 | Googulator |
| 2025-09-29 18:04:38 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-09-29 17:59:05 +0200 | Tuplanolla | (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) Tuplanolla |
| 2025-09-29 17:56:53 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-09-29 17:56:44 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-09-29 17:55:44 +0200 | Googulator94 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-29 17:55:37 +0200 | Googulator78 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-29 17:48:48 +0200 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-09-29 17:46:26 +0200 | Googulator50 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-29 17:46:01 +0200 | Googulator78 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-29 17:38:37 +0200 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Remote host closed the connection) |
| 2025-09-29 17:30:51 +0200 | Googulator56 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-29 17:30:44 +0200 | Googulator50 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-29 17:19:55 +0200 | fp | (~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 245 seconds) |
| 2025-09-29 17:16:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-29 17:07:13 +0200 | tromp | (~textual@2001:1c00:3487:1b00:5d4:dfa6:7d7:2af3) |
| 2025-09-29 17:06:45 +0200 | trickard_ | trickard |
| 2025-09-29 16:51:21 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-09-29 16:50:38 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-09-29 16:33:25 +0200 | tromp | (~textual@2001:1c00:3487:1b00:5d4:dfa6:7d7:2af3) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-09-29 16:30:19 +0200 | byorgey | (~byorgey@user/byorgey) byorgey |
| 2025-09-29 16:30:19 +0200 | byorgey | (~byorgey@155.138.238.211) (Changing host) |
| 2025-09-29 16:30:19 +0200 | byorgey | (~byorgey@155.138.238.211) |