| 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) |