Newest at the top
| 2026-04-30 02:33:12 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-04-30 02:33:05 +0000 | <monochrom> | Since you don't have negation, you cannot try "if A is not Int then try Stuff(A)" either. |
| 2026-04-30 02:32:26 +0000 | <monochrom> | Since you don't have cut, there is no way to fix up "Eq(Int). Eq(A) :- Stuff(A)." to have uniqueness. |
| 2026-04-30 02:31:22 +0000 | <monochrom> | If you take Prolog, but remove cut, and remove the closed-world assumption (so for example you cannot talk about negation), then you get Haskell type classes, with "Stuff a => Eq a" being "Eq(A) :- Stuff(A)". |
| 2026-04-30 02:26:33 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-30 02:17:45 +0000 | FallenSky | (~FallenSky@user/FallenSky) FallenSky |
| 2026-04-30 02:15:50 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2026-04-30 02:13:19 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-04-30 02:11:41 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2026-04-30 02:09:07 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-04-30 02:06:00 +0000 | FallenSky | (~FallenSky@user/FallenSky) (Ping timeout: 255 seconds) |
| 2026-04-30 02:03:27 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-04-30 02:02:35 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) ezzieyguywuf |
| 2026-04-30 02:01:11 +0000 | layline_ | (~layline@149.154.26.170) layline |
| 2026-04-30 02:01:10 +0000 | FallenSky | (~FallenSky@user/FallenSky) FallenSky |
| 2026-04-30 01:58:39 +0000 | dolio | (~dolio@130.44.140.168) (Ping timeout: 245 seconds) |
| 2026-04-30 01:57:27 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-30 01:56:27 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Read error: Connection reset by peer) |
| 2026-04-30 01:52:44 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-30 01:49:39 +0000 | FallenSky | (~FallenSky@user/FallenSky) (Ping timeout: 248 seconds) |
| 2026-04-30 01:49:06 +0000 | layline_ | (~layline@149.154.26.170) (Ping timeout: 248 seconds) |
| 2026-04-30 01:45:46 +0000 | Pozyomka | (~pyon@user/pyon) pyon |
| 2026-04-30 01:44:36 +0000 | layline_ | (~layline@149.154.26.170) layline |
| 2026-04-30 01:44:35 +0000 | FallenSky | (~FallenSky@user/FallenSky) FallenSky |
| 2026-04-30 01:44:10 +0000 | Pozyomka | (~pyon@user/pyon) (Quit: fuck logind) |
| 2026-04-30 01:38:50 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-04-30 01:33:32 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-04-30 01:31:36 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-30 01:31:31 +0000 | FallenSky | (~FallenSky@user/FallenSky) (Ping timeout: 264 seconds) |
| 2026-04-30 01:26:59 +0000 | xff0x | (~xff0x@ah206235.dynamic.ppp.asahi-net.or.jp) |
| 2026-04-30 01:22:40 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-04-30 01:20:45 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 246 seconds) |
| 2026-04-30 01:17:30 +0000 | Square2 | (~Square@user/square) (Ping timeout: 248 seconds) |
| 2026-04-30 01:16:13 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-04-30 01:16:12 +0000 | layline_ | (~layline@149.154.26.170) (Ping timeout: 246 seconds) |
| 2026-04-30 01:15:35 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e700e542f647a2cff7c48503.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2026-04-30 01:15:22 +0000 | acidjnk | (~acidjnk@p200300d6e700e542f647a2cff7c48503.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2026-04-30 01:12:40 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2026-04-30 01:11:59 +0000 | layline_ | (~layline@149.154.26.170) layline |
| 2026-04-30 01:10:04 +0000 | puke | (~puke@user/puke) puke |
| 2026-04-30 01:09:39 +0000 | puke | (~puke@user/puke) (Remote host closed the connection) |
| 2026-04-30 01:03:07 +0000 | FallenSky | (~FallenSky@user/FallenSky) FallenSky |
| 2026-04-30 01:02:40 +0000 | itaipu | (~itaipu@168.121.99.12) itaipu |
| 2026-04-30 01:00:45 +0000 | FallenSky | (~FallenSky@user/FallenSky) (Ping timeout: 255 seconds) |
| 2026-04-30 00:59:22 +0000 | layline_ | (~layline@149.154.26.170) (Ping timeout: 248 seconds) |
| 2026-04-30 00:55:49 +0000 | bkani | (~bkani@user/bkani) (Ping timeout: 244 seconds) |
| 2026-04-30 00:50:08 +0000 | layline_ | (~layline@149.154.26.170) layline |
| 2026-04-30 00:49:54 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 265 seconds) |
| 2026-04-30 00:49:04 +0000 | itaipu | (~itaipu@168.121.99.12) (Ping timeout: 245 seconds) |
| 2026-04-30 00:48:42 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |