| 2026-04-30 00:00:24 +0000 | Fischmiep | (~Fischmiep@user/Fischmiep) Fischmiep |
| 2026-04-30 00:04:51 +0000 | Fischmiep | (~Fischmiep@user/Fischmiep) (Ping timeout: 256 seconds) |
| 2026-04-30 00:07:26 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-04-30 00:09:27 +0000 | layline_ | (~layline@149.154.26.170) (Ping timeout: 255 seconds) |
| 2026-04-30 00:12:00 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-04-30 00:12:31 +0000 | layline_ | (~layline@149.154.26.170) layline |
| 2026-04-30 00:12:48 +0000 | Fischmiep | (~Fischmiep@user/Fischmiep) Fischmiep |
| 2026-04-30 00:15:06 +0000 | Fischmiep | (~Fischmiep@user/Fischmiep) (Excess Flood) |
| 2026-04-30 00:15:19 +0000 | Fischmiep | (~Fischmiep@user/Fischmiep) Fischmiep |
| 2026-04-30 00:21:15 +0000 | layline_ | (~layline@149.154.26.170) (Ping timeout: 246 seconds) |
| 2026-04-30 00:24:46 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-30 00:28:57 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-30 00:30:38 +0000 | Pozyomka | (~pyon@user/pyon) pyon |
| 2026-04-30 00:31:42 +0000 | Comstar | (~Comstar@user/Comstar) Comstar |
| 2026-04-30 00:37:27 +0000 | craunts795335385 | (~craunts@152.32.100.66) (Quit: The Lounge - https://thelounge.chat) |
| 2026-04-30 00:41:52 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-30 00:48:42 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-30 00:49:04 +0000 | itaipu | (~itaipu@168.121.99.12) (Ping timeout: 245 seconds) |
| 2026-04-30 00:49:54 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 265 seconds) |
| 2026-04-30 00:50:08 +0000 | layline_ | (~layline@149.154.26.170) layline |
| 2026-04-30 00:55:49 +0000 | bkani | (~bkani@user/bkani) (Ping timeout: 244 seconds) |
| 2026-04-30 00:59:22 +0000 | layline_ | (~layline@149.154.26.170) (Ping timeout: 248 seconds) |
| 2026-04-30 01:00:45 +0000 | FallenSky | (~FallenSky@user/FallenSky) (Ping timeout: 255 seconds) |
| 2026-04-30 01:02:40 +0000 | itaipu | (~itaipu@168.121.99.12) itaipu |
| 2026-04-30 01:03:07 +0000 | FallenSky | (~FallenSky@user/FallenSky) FallenSky |
| 2026-04-30 01:09:39 +0000 | puke | (~puke@user/puke) (Remote host closed the connection) |
| 2026-04-30 01:10:04 +0000 | puke | (~puke@user/puke) puke |
| 2026-04-30 01:11:59 +0000 | layline_ | (~layline@149.154.26.170) layline |
| 2026-04-30 01:12:40 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2026-04-30 01:15:22 +0000 | acidjnk | (~acidjnk@p200300d6e700e542f647a2cff7c48503.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2026-04-30 01:15:35 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e700e542f647a2cff7c48503.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2026-04-30 01:16:12 +0000 | layline_ | (~layline@149.154.26.170) (Ping timeout: 246 seconds) |
| 2026-04-30 01:16:13 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-04-30 01:17:30 +0000 | Square2 | (~Square@user/square) (Ping timeout: 248 seconds) |
| 2026-04-30 01:20:45 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 246 seconds) |
| 2026-04-30 01:22:40 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-04-30 01:26:59 +0000 | xff0x | (~xff0x@ah206235.dynamic.ppp.asahi-net.or.jp) |
| 2026-04-30 01:31:31 +0000 | FallenSky | (~FallenSky@user/FallenSky) (Ping timeout: 264 seconds) |
| 2026-04-30 01:31:36 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-30 01:33:32 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-04-30 01:38:50 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-04-30 01:44:10 +0000 | Pozyomka | (~pyon@user/pyon) (Quit: fuck logind) |
| 2026-04-30 01:44:35 +0000 | FallenSky | (~FallenSky@user/FallenSky) FallenSky |
| 2026-04-30 01:44:36 +0000 | layline_ | (~layline@149.154.26.170) layline |
| 2026-04-30 01:45:46 +0000 | Pozyomka | (~pyon@user/pyon) pyon |
| 2026-04-30 01:49:06 +0000 | layline_ | (~layline@149.154.26.170) (Ping timeout: 248 seconds) |
| 2026-04-30 01:49:39 +0000 | FallenSky | (~FallenSky@user/FallenSky) (Ping timeout: 248 seconds) |
| 2026-04-30 01:52:44 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-30 01:56:27 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Read error: Connection reset by peer) |
| 2026-04-30 01:57:27 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-30 01:58:39 +0000 | dolio | (~dolio@130.44.140.168) (Ping timeout: 245 seconds) |
| 2026-04-30 02:01:10 +0000 | FallenSky | (~FallenSky@user/FallenSky) FallenSky |
| 2026-04-30 02:01:11 +0000 | layline_ | (~layline@149.154.26.170) layline |
| 2026-04-30 02:02:35 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) ezzieyguywuf |
| 2026-04-30 02:03:27 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-04-30 02:06:00 +0000 | FallenSky | (~FallenSky@user/FallenSky) (Ping timeout: 255 seconds) |
| 2026-04-30 02:09:07 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-04-30 02:11:41 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2026-04-30 02:13:19 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-04-30 02:15:50 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2026-04-30 02:17:45 +0000 | FallenSky | (~FallenSky@user/FallenSky) FallenSky |
| 2026-04-30 02:26:33 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 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: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: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:33:12 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-04-30 02:35:18 +0000 | <monochrom> | Why it's an open world: Separate compilation, therefore you will not be sure that Eq(Int) does not happen in some other module. |
| 2026-04-30 02:36:26 +0000 | <monochrom> | Why no cut: I don't really know, but I bet it's for simplicity. (I dread thinking up Prolog code that uses cuts to ensure first-solution-only. I never get it.) |
| 2026-04-30 02:37:00 +0000 | tccq | (~tccq@user/tccq) tccq |
| 2026-04-30 02:37:11 +0000 | <monochrom> | perhaps s/simplicity/KISS/ |
| 2026-04-30 02:38:00 +0000 | <tccq> | is there a good example / tutorial for SYB style generic usage? I want a fold over the language-c AST and would rather not write it myself |
| 2026-04-30 02:39:20 +0000 | FallenSky | (~FallenSky@user/FallenSky) (Ping timeout: 245 seconds) |
| 2026-04-30 02:39:51 +0000 | mehbark | (~mehbark@joey.luug.ece.vt.edu) (Quit: insert leave message here) |
| 2026-04-30 02:43:16 +0000 | karenw | (~karenw@user/karenw) karenw |
| 2026-04-30 02:45:20 +0000 | puke | (~puke@user/puke) (Quit: puke) |
| 2026-04-30 02:45:28 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-30 02:49:40 +0000 | FallenSky | (~FallenSky@user/FallenSky) FallenSky |
| 2026-04-30 02:50:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-04-30 02:51:45 +0000 | mtmn | (~mtmn@user/mtmn) mtmn |
| 2026-04-30 02:54:27 +0000 | mehbark | (~mehbark@joey.luug.ece.vt.edu) |
| 2026-04-30 02:54:39 +0000 | FallenSky | (~FallenSky@user/FallenSky) (Ping timeout: 244 seconds) |
| 2026-04-30 02:57:09 +0000 | mehbark | (~mehbark@joey.luug.ece.vt.edu) (Client Quit) |
| 2026-04-30 02:58:03 +0000 | mehbark | (~mehbark@joey.luug.ece.vt.edu) |
| 2026-04-30 02:59:58 +0000 | FallenSky | (~FallenSky@user/FallenSky) FallenSky |
| 2026-04-30 03:04:45 +0000 | FallenSky | (~FallenSky@user/FallenSky) (Ping timeout: 245 seconds) |
| 2026-04-30 03:06:45 +0000 | hsw | (~hsw@112-104-8-95.adsl.dynamic.seed.net.tw) (Quit: Leaving) |
| 2026-04-30 03:12:13 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 244 seconds) |
| 2026-04-30 03:16:04 +0000 | FallenSky | (~FallenSky@user/FallenSky) FallenSky |
| 2026-04-30 03:17:55 +0000 | synchromesh | (~john@2406:5a00:247e:1500:6092:d450:dbbd:88ed) (Read error: Connection reset by peer) |
| 2026-04-30 03:18:07 +0000 | synchromesh | (~john@2406:5a00:247e:1500:d5de:46aa:de90:76fa) synchromesh |
| 2026-04-30 03:20:45 +0000 | tzh_ | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: ksvks) |
| 2026-04-30 03:21:00 +0000 | FallenSky | (~FallenSky@user/FallenSky) (Ping timeout: 244 seconds) |
| 2026-04-30 03:28:24 +0000 | FallenSky | (~FallenSky@user/FallenSky) FallenSky |
| 2026-04-30 03:28:32 +0000 | alhazrod | (uid662262@id-662262.lymington.irccloud.com) |
| 2026-04-30 03:30:15 +0000 | inedia | (~irc@2600:3c00:e000:287::1) (Quit: WeeChat 4.8.1) |
| 2026-04-30 03:31:55 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2026-04-30 03:32:05 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2026-04-30 03:32:17 +0000 | inedia | (~irc@2600:3c00:e000:287::1) dove |
| 2026-04-30 03:32:35 +0000 | synchromesh | (~john@2406:5a00:247e:1500:d5de:46aa:de90:76fa) (Quit: WeeChat 4.1.1) |
| 2026-04-30 03:33:14 +0000 | FallenSky | (~FallenSky@user/FallenSky) (Ping timeout: 245 seconds) |
| 2026-04-30 03:34:16 +0000 | layline_ | layline-away |
| 2026-04-30 03:34:31 +0000 | layline-away | (~layline@149.154.26.170) (Quit: ZZZzzz…) |
| 2026-04-30 03:36:38 +0000 | synchromesh | (~john@2406:5a00:247e:1500:655a:5069:c050:dc5f) synchromesh |
| 2026-04-30 03:37:04 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2026-04-30 03:38:04 +0000 | m | (~travltux@user/travltux) (Quit: WeeChat 4.7.2) |
| 2026-04-30 03:40:06 +0000 | m | (~travltux@user/travltux) travltux |
| 2026-04-30 03:40:07 +0000 | <jackdk> | tccq Not a direct answer, but I found the original paper for uniplate pretty readable, and the ideas should get you started with the modern versions of the lib: https://archive.alvb.in/msc/02_infogp/papers/SCRAPSCARY_dk.pdf |
| 2026-04-30 03:43:06 +0000 | michalz | (~michalz@185.246.207.215) |
| 2026-04-30 03:45:08 +0000 | FallenSky | (~FallenSky@user/FallenSky) FallenSky |
| 2026-04-30 03:45:57 +0000 | gehmehgeh | (~user@user/gehmehgeh) gehmehgeh |
| 2026-04-30 03:47:46 +0000 | gmg | (~user@user/gehmehgeh) (Ping timeout: 265 seconds) |
| 2026-04-30 03:48:58 +0000 | arahael | (~wetfoot@user/arahael) arahael |
| 2026-04-30 03:49:30 +0000 | xff0x | (~xff0x@ah206235.dynamic.ppp.asahi-net.or.jp) (Ping timeout: 255 seconds) |
| 2026-04-30 03:49:51 +0000 | FallenSky | (~FallenSky@user/FallenSky) (Ping timeout: 246 seconds) |
| 2026-04-30 03:50:05 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-04-30 03:51:38 +0000 | gehmehgeh | (~user@user/gehmehgeh) (Ping timeout: 265 seconds) |
| 2026-04-30 03:52:39 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 268 seconds) |
| 2026-04-30 04:00:19 +0000 | emaczen | (~user@user/emaczen) (Ping timeout: 264 seconds) |
| 2026-04-30 04:01:28 +0000 | FallenSky | (~FallenSky@user/FallenSky) FallenSky |
| 2026-04-30 04:05:50 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2026-04-30 04:06:36 +0000 | FallenSky | (~FallenSky@user/FallenSky) (Ping timeout: 255 seconds) |
| 2026-04-30 04:12:38 +0000 | FallenSky | (~FallenSky@user/FallenSky) FallenSky |
| 2026-04-30 04:14:05 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-30 04:15:35 +0000 | RMSBach | (~RMSBach@2603:6013:9b40:6f2::1040) (Ping timeout: 245 seconds) |
| 2026-04-30 04:17:46 +0000 | FallenSky | (~FallenSky@user/FallenSky) (Ping timeout: 248 seconds) |
| 2026-04-30 04:18:46 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Remote host closed the connection) |
| 2026-04-30 04:18:49 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-30 04:25:00 +0000 | FallenSky | (~FallenSky@user/FallenSky) FallenSky |
| 2026-04-30 04:29:10 +0000 | FallenSky | (~FallenSky@user/FallenSky) (Remote host closed the connection) |
| 2026-04-30 04:29:24 +0000 | FallenSky | (~FallenSky@user/FallenSky) FallenSky |
| 2026-04-30 04:32:13 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-30 04:33:49 +0000 | mehbark | (~mehbark@joey.luug.ece.vt.edu) (Quit: insert leave message here) |
| 2026-04-30 04:34:30 +0000 | FallenSky | (~FallenSky@user/FallenSky) (Ping timeout: 265 seconds) |
| 2026-04-30 04:34:45 +0000 | mehbark | (~mehbark@joey.luug.ece.vt.edu) |
| 2026-04-30 04:36:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-04-30 04:39:08 +0000 | RMSBach | (~RMSBach@2603:6013:9b40:6f2::1040) RMSBach |
| 2026-04-30 04:39:46 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-04-30 04:40:27 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 265 seconds) |
| 2026-04-30 04:41:30 +0000 | dcb | (~dcb@user/dcb) (Quit: MSN Messenger v1.9.1) |
| 2026-04-30 04:42:29 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2026-04-30 04:44:28 +0000 | karenw | (~karenw@user/karenw) (Ping timeout: 276 seconds) |
| 2026-04-30 04:44:50 +0000 | FallenSky | (~FallenSky@user/FallenSky) FallenSky |
| 2026-04-30 04:47:56 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-30 04:50:07 +0000 | FallenSky | (~FallenSky@user/FallenSky) (Ping timeout: 264 seconds) |
| 2026-04-30 04:51:41 +0000 | dcb | (~dcb@user/dcb) dcb |
| 2026-04-30 04:52:03 +0000 | leppard | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) (Ping timeout: 255 seconds) |
| 2026-04-30 04:52:27 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-30 04:55:56 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2026-04-30 04:58:11 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 252 seconds) |
| 2026-04-30 04:58:27 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-04-30 05:01:29 +0000 | mehbark | (~mehbark@joey.luug.ece.vt.edu) (Quit: insert leave message here) |
| 2026-04-30 05:01:51 +0000 | FallenSky | (~FallenSky@user/FallenSky) FallenSky |
| 2026-04-30 05:02:22 +0000 | mehbark | (~mehbark@joey.luug.ece.vt.edu) |
| 2026-04-30 05:05:22 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-04-30 05:06:10 +0000 | hc | (~hc@142.132.182.140) hc |
| 2026-04-30 05:07:13 +0000 | FallenSky | (~FallenSky@user/FallenSky) (Ping timeout: 276 seconds) |
| 2026-04-30 05:09:36 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-04-30 05:14:15 +0000 | mehbark | (~mehbark@joey.luug.ece.vt.edu) (Quit: insert leave message here) |
| 2026-04-30 05:14:52 +0000 | FallenSky | (~FallenSky@user/FallenSky) FallenSky |
| 2026-04-30 05:15:07 +0000 | mehbark | (~mehbark@joey.luug.ece.vt.edu) |
| 2026-04-30 05:19:50 +0000 | FallenSky | (~FallenSky@user/FallenSky) (Ping timeout: 244 seconds) |
| 2026-04-30 05:22:23 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-30 05:29:14 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-30 05:30:26 +0000 | FallenSky | (~FallenSky@user/FallenSky) FallenSky |
| 2026-04-30 05:31:05 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-30 05:35:13 +0000 | FallenSky | (~FallenSky@user/FallenSky) (Ping timeout: 256 seconds) |
| 2026-04-30 05:35:33 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-04-30 05:36:29 +0000 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2026-04-30 05:37:11 +0000 | xal | (~xal@mx1.xal.systems) (Quit: bye) |
| 2026-04-30 05:38:16 +0000 | alhazrod | (uid662262@id-662262.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-04-30 05:38:53 +0000 | xal | (~xal@mx1.xal.systems) xal |
| 2026-04-30 05:41:11 +0000 | FallenSky | (~FallenSky@user/FallenSky) FallenSky |
| 2026-04-30 05:46:31 +0000 | FallenSky | (~FallenSky@user/FallenSky) (Ping timeout: 272 seconds) |
| 2026-04-30 05:57:51 +0000 | FallenSky | (~FallenSky@user/FallenSky) FallenSky |
| 2026-04-30 06:03:54 +0000 | FallenSky | (~FallenSky@user/FallenSky) (Ping timeout: 265 seconds) |
| 2026-04-30 06:15:08 +0000 | FallenSky | (~FallenSky@user/FallenSky) FallenSky |
| 2026-04-30 06:15:44 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 244 seconds) |
| 2026-04-30 06:20:07 +0000 | FallenSky | (~FallenSky@user/FallenSky) (Ping timeout: 264 seconds) |
| 2026-04-30 06:22:58 +0000 | czan | (~czan@user/mange) (Quit: Quittin' time!) |
| 2026-04-30 06:23:15 +0000 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 272 seconds) |
| 2026-04-30 06:26:38 +0000 | puke | (~puke@user/puke) puke |
| 2026-04-30 06:29:56 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-04-30 06:31:23 +0000 | FallenSky | (~FallenSky@user/FallenSky) FallenSky |
| 2026-04-30 06:32:14 +0000 | Vizious | (~bes@user/Vizious) (Ping timeout: 252 seconds) |
| 2026-04-30 06:36:25 +0000 | FallenSky | (~FallenSky@user/FallenSky) (Ping timeout: 256 seconds) |
| 2026-04-30 06:42:59 +0000 | FallenSky | (~FallenSky@user/FallenSky) FallenSky |
| 2026-04-30 06:47:40 +0000 | FallenSky | (~FallenSky@user/FallenSky) (Ping timeout: 245 seconds) |
| 2026-04-30 06:48:08 +0000 | tromp | (~textual@2001:1c00:340e:2700:908b:73d:c800:c6b4) |
| 2026-04-30 06:55:24 +0000 | FallenSky | (~FallenSky@user/FallenSky) FallenSky |
| 2026-04-30 06:59:39 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-30 07:00:58 +0000 | FallenSky | (~FallenSky@user/FallenSky) (Ping timeout: 276 seconds) |
| 2026-04-30 07:01:34 +0000 | Enrico63 | (~Enrico63@85.255.235.90) Enrico63 |
| 2026-04-30 07:01:42 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-04-30 07:02:10 +0000 | pierluc-codes34 | (~pierlucco@modemcable092.154-83-70.mc.videotron.ca) (Ping timeout: 248 seconds) |
| 2026-04-30 07:04:48 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-04-30 07:04:49 +0000 | anpad | (~pandeyan@user/anpad) (Ping timeout: 265 seconds) |
| 2026-04-30 07:06:14 +0000 | anpad | (~pandeyan@user/anpad) anpad |
| 2026-04-30 07:07:28 +0000 | xff0x | (~xff0x@ah206235.dynamic.ppp.asahi-net.or.jp) |
| 2026-04-30 07:09:58 +0000 | FallenSky | (~FallenSky@user/FallenSky) FallenSky |
| 2026-04-30 07:14:42 +0000 | FallenSky | (~FallenSky@user/FallenSky) (Ping timeout: 255 seconds) |
| 2026-04-30 07:15:10 +0000 | emmanuelux | (~em@user/emmanuelux) (Quit: bye) |
| 2026-04-30 07:18:10 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-30 07:19:35 +0000 | cstml | (~cstml@user/cstml) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-04-30 07:20:55 +0000 | r1bilski | (~r1bilski@user/r1bilski) r1bilski |
| 2026-04-30 07:21:02 +0000 | FallenSky | (~FallenSky@user/FallenSky) FallenSky |
| 2026-04-30 07:22:28 +0000 | mzg | (mzg@koza.fi) |
| 2026-04-30 07:22:48 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-30 07:25:47 +0000 | misterfish | (~misterfis@094190207253.static.ipv4.heldenvannu.net) misterfish |
| 2026-04-30 07:26:08 +0000 | FallenSky | (~FallenSky@user/FallenSky) (Ping timeout: 252 seconds) |
| 2026-04-30 07:26:10 +0000 | r1bilski | (~r1bilski@user/r1bilski) (Ping timeout: 248 seconds) |
| 2026-04-30 07:32:03 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-30 07:32:25 +0000 | FallenSky | (~FallenSky@user/FallenSky) FallenSky |
| 2026-04-30 07:33:54 +0000 | ft | (~ft@p200300cf3f4f28002264268f01ab0284.dip0.t-ipconnect.de) (Quit: leaving) |
| 2026-04-30 07:37:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-04-30 07:37:44 +0000 | FallenSky | (~FallenSky@user/FallenSky) (Ping timeout: 268 seconds) |
| 2026-04-30 07:42:34 +0000 | FallenSky | (~FallenSky@user/FallenSky) FallenSky |
| 2026-04-30 07:43:03 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2026-04-30 07:44:42 +0000 | synchromesh | (~john@2406:5a00:247e:1500:655a:5069:c050:dc5f) (Read error: Connection reset by peer) |
| 2026-04-30 07:45:33 +0000 | synchromesh | (~john@2406:5a00:247e:1500:655a:5069:c050:dc5f) synchromesh |
| 2026-04-30 07:47:43 +0000 | FallenSky | (~FallenSky@user/FallenSky) (Ping timeout: 264 seconds) |
| 2026-04-30 07:48:09 +0000 | FallenSky | (~FallenSky@user/FallenSky) FallenSky |
| 2026-04-30 07:50:35 +0000 | pierluc-codes34 | (~pierlucco@modemcable092.154-83-70.mc.videotron.ca) |
| 2026-04-30 07:50:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-30 07:52:02 +0000 | synchrom1 | (~john@2406:5a00:247e:1500:655a:5069:c050:dc5f) synchromesh |
| 2026-04-30 07:52:57 +0000 | FallenSky | (~FallenSky@user/FallenSky) (Ping timeout: 255 seconds) |
| 2026-04-30 07:53:39 +0000 | synchromesh | (~john@2406:5a00:247e:1500:655a:5069:c050:dc5f) (Ping timeout: 245 seconds) |
| 2026-04-30 07:54:44 +0000 | synchromesh | (~john@139.180.114.128) synchromesh |
| 2026-04-30 07:55:12 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-30 07:56:58 +0000 | synchrom1 | (~john@2406:5a00:247e:1500:655a:5069:c050:dc5f) (Ping timeout: 248 seconds) |
| 2026-04-30 07:57:34 +0000 | FallenSky | (~FallenSky@user/FallenSky) FallenSky |
| 2026-04-30 08:02:24 +0000 | FallenSky | (~FallenSky@user/FallenSky) (Ping timeout: 245 seconds) |
| 2026-04-30 08:05:28 +0000 | FallenSky | (~FallenSky@user/FallenSky) FallenSky |
| 2026-04-30 08:06:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-30 08:06:34 +0000 | chele | (~chele@user/chele) chele |
| 2026-04-30 08:10:26 +0000 | FallenSky | (~FallenSky@user/FallenSky) (Ping timeout: 244 seconds) |
| 2026-04-30 08:13:06 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-30 08:15:04 +0000 | FallenSky | (~FallenSky@user/FallenSky) FallenSky |
| 2026-04-30 08:15:22 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-30 08:20:03 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-04-30 08:20:16 +0000 | FallenSky | (~FallenSky@user/FallenSky) (Ping timeout: 276 seconds) |
| 2026-04-30 08:21:48 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e700e542c471e52a110f130f.dip0.t-ipconnect.de) acidjnk |
| 2026-04-30 08:21:53 +0000 | acidjnk | (~acidjnk@p200300d6e700e542c471e52a110f130f.dip0.t-ipconnect.de) acidjnk |
| 2026-04-30 08:22:59 +0000 | bwe49895 | (~bwe@2a01:4f8:1c1c:4878::2) (Remote host closed the connection) |
| 2026-04-30 08:23:28 +0000 | bwe | (~bwe@2a01:4f8:1c1c:4878::2) bwe |
| 2026-04-30 08:24:13 +0000 | xff0x | (~xff0x@ah206235.dynamic.ppp.asahi-net.or.jp) (Ping timeout: 272 seconds) |
| 2026-04-30 08:25:55 +0000 | xff0x | (~xff0x@om126254252124.33.openmobile.ne.jp) |
| 2026-04-30 08:32:14 +0000 | FallenSky | (~FallenSky@user/FallenSky) FallenSky |
| 2026-04-30 08:32:54 +0000 | redshuffle | (~quassel@45.43.70.75) (Remote host closed the connection) |
| 2026-04-30 08:33:06 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-30 08:34:03 +0000 | xff0x | (~xff0x@om126254252124.33.openmobile.ne.jp) (Read error: Connection reset by peer) |
| 2026-04-30 08:34:24 +0000 | myme | (~myme@2a01:799:d5e:5f00:35e0:fff9:f0bb:6422) (Ping timeout: 246 seconds) |
| 2026-04-30 08:35:26 +0000 | myme | (~myme@2a01:799:d5e:5f00:3407:abcf:7e59:2ab6) myme |
| 2026-04-30 08:37:31 +0000 | FallenSky | (~FallenSky@user/FallenSky) (Ping timeout: 264 seconds) |
| 2026-04-30 08:38:05 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-04-30 08:40:18 +0000 | xff0x | (~xff0x@ah206235.dynamic.ppp.asahi-net.or.jp) |
| 2026-04-30 08:43:47 +0000 | berberman | (~berberman@user/berberman) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-04-30 08:44:31 +0000 | berberman | (~berberman@user/berberman) berberman |
| 2026-04-30 08:45:48 +0000 | berberman | (~berberman@user/berberman) (Client Quit) |
| 2026-04-30 08:46:21 +0000 | berberman | (~berberman@user/berberman) berberman |
| 2026-04-30 08:49:16 +0000 | FallenSky | (~FallenSky@user/FallenSky) FallenSky |
| 2026-04-30 08:50:41 +0000 | leppard | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) Inline |
| 2026-04-30 08:52:20 +0000 | Googulator | (~Googulato@78-131-16-66.pool.digikabel.hu) |
| 2026-04-30 08:54:07 +0000 | Square | (~Square4@user/square) Square |
| 2026-04-30 08:56:06 +0000 | tok | (~user@user/tok) tok |
| 2026-04-30 09:00:19 +0000 | FallenSky | (~FallenSky@user/FallenSky) (Ping timeout: 245 seconds) |
| 2026-04-30 09:09:44 +0000 | <ski> | type class resolution also lack backtracking. and the cut relies heavily on ordering (of clauses, of disjunctions, and conjunctions, and when unifications are performed), while Haskell type class and instance declarations are supposed to be order independent |