Newest at the top
| 2026-02-07 10:56:21 +0100 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 2026-02-07 10:56:10 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-07 10:56:09 +0100 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-02-07 10:56:00 +0100 | <gentauro> | I'm wondering how this (very Lisp'y) https://en.wikipedia.org/wiki/Z3_Theorem_Prover#Examples become like this https://github.com/IagoAbal/haskell-z3?tab=readme-ov-file#example |
| 2026-02-07 10:45:03 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2026-02-07 10:43:19 +0100 | Enrico63 | (~Enrico63@host-79-27-153-69.retail.telecomitalia.it) Enrico63 |
| 2026-02-07 10:40:22 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-07 10:35:15 +0100 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 2026-02-07 10:35:02 +0100 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-02-07 10:34:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-07 10:34:44 +0100 | Inline | (~User@2a02:908:1246:26e0:ba5b:904f:46b4:eceb) Inline |
| 2026-02-07 10:33:15 +0100 | Inline | (~User@2a02:908:1246:26e0:807:305f:2053:3810) (Quit: KVIrc 5.0.0 Aria http://www.kvirc.net/) |
| 2026-02-07 10:29:30 +0100 | hsw | (~hsw@106.104.102.45) hsw |
| 2026-02-07 10:28:58 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-07 10:26:13 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-02-07 10:25:01 +0100 | hsw | (~hsw@106.104.102.45) (Quit: Leaving) |
| 2026-02-07 10:17:44 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-02-07 10:14:46 +0100 | wickedjargon | (~user@72.143.232.86) (Ping timeout: 265 seconds) |
| 2026-02-07 10:13:11 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-07 10:12:39 +0100 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 2026-02-07 10:12:25 +0100 | trickard | (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-02-07 10:10:13 +0100 | tromp | (~textual@2001:1c00:3487:1b00:c00:6505:d2bc:8c64) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-02-07 10:02:33 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-07 09:57:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-07 09:48:45 +0100 | KindFoxo | (~KindFoxo@user/KindoFoxo) KindoFoxo |
| 2026-02-07 09:48:26 +0100 | KindFoxo | (~KindFoxo@user/KindoFoxo) (Read error: Connection reset by peer) |
| 2026-02-07 09:46:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-07 09:41:45 +0100 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-02-07 09:40:27 +0100 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2026-02-07 09:39:38 +0100 | pabs3 | (~pabs3@user/pabs3) (Read error: Connection reset by peer) |
| 2026-02-07 09:39:21 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-07 09:39:15 +0100 | trickard_ | trickard |
| 2026-02-07 09:32:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-07 09:31:13 +0100 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 2026-02-07 09:30:59 +0100 | trickard | (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-02-07 09:27:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-07 09:20:55 +0100 | Tuplanolla | (~Tuplanoll@85-156-32-207.elisa-laajakaista.fi) Tuplanolla |
| 2026-02-07 09:16:12 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-02-07 09:11:34 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-07 09:06:10 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2026-02-07 09:04:17 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-02-07 09:02:44 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2026-02-07 09:01:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-07 08:56:32 +0100 | tromp | (~textual@2001:1c00:3487:1b00:c00:6505:d2bc:8c64) |
| 2026-02-07 08:54:59 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-07 08:54:36 +0100 | KindFoxo | (~KindFoxo@user/KindoFoxo) KindoFoxo |
| 2026-02-07 08:54:00 +0100 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2026-02-07 08:53:49 +0100 | divlamir | (~divlamir@user/divlamir) (Write error: error:80000068:system library::Connection reset by peer) |
| 2026-02-07 08:51:10 +0100 | emmanuelux | (~em@user/emmanuelux) (Quit: bye) |
| 2026-02-07 08:49:39 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |