| 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 |
| 2026-04-30 09:12:05 +0000 | FallenSky | (~FallenSky@user/FallenSky) FallenSky |
| 2026-04-30 09:13:22 +0000 | <ski> | hadronized : "now that I linear types, a form of value dependency to implement borrowing","linearity for correct resource management; value dependency / borrowing for correct memory usage" -- it sounds like possibly you're having some form of uniqueness, not linearity. with uniqueness, you know noone has duplicated the reference in the past, but you still can, in the future, if you're not required to return |
| 2026-04-30 09:13:28 +0000 | <ski> | it unique. with linearity, you're forbidden from duplicating the reference in the future, but it might still have been duplicated in the past, before the linearity constraint was imposed on it |
| 2026-04-30 09:14:49 +0000 | <ski> | for update-in-place optimization of destroy-and-make-new-version, you want a unique reference, not having been duplicated in the past |
| 2026-04-30 09:15:54 +0000 | <ski> | (also for compile-time-scheduled-deallocation when you're dropping the reference, you also want uniqueness) |
| 2026-04-30 09:17:06 +0000 | FallenSky | (~FallenSky@user/FallenSky) (Ping timeout: 255 seconds) |
| 2026-04-30 09:19:59 +0000 | anpad | (~pandeyan@user/anpad) (Ping timeout: 252 seconds) |
| 2026-04-30 09:24:45 +0000 | xff0x | (~xff0x@ah206235.dynamic.ppp.asahi-net.or.jp) (Ping timeout: 255 seconds) |