| 2026-01-27 00:04:59 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-27 00:07:14 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-01-27 00:07:31 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 264 seconds) |
| 2026-01-27 00:08:26 +0100 | trickard_ | trickard |
| 2026-01-27 00:09:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-27 00:10:25 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-01-27 00:17:17 +0100 | mange | (~mange@user/mange) mange |
| 2026-01-27 00:20:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-27 00:25:06 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-27 00:27:42 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-01-27 00:35:48 +0100 | trickard | (~trickard@cpe-80-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-27 00:36:02 +0100 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) |
| 2026-01-27 00:36:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-27 00:41:00 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-01-27 00:50:36 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2026-01-27 00:51:54 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-27 00:56:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-27 01:03:37 +0100 | Tuplanolla | (~Tuplanoll@85-156-32-207.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2026-01-27 01:07:41 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-27 01:12:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-27 01:19:39 +0100 | <raincomplex> | do you all have any favorite resources (preferably text) about modularity, problem/system decomposition, designing and organizing complex codebases, that type of thing? |
| 2026-01-27 01:23:06 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-27 01:28:57 +0100 | trickard_ | trickard |
| 2026-01-27 01:30:04 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-01-27 01:35:51 +0100 | redshuffle | (~quassel@45.43.70.75) (Remote host closed the connection) |
| 2026-01-27 01:35:58 +0100 | redshuffle | (~quassel@45.43.70.75) |
| 2026-01-27 01:41:08 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-27 01:46:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-27 01:52:16 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-01-27 01:56:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-27 01:59:43 +0100 | xff0x | (~xff0x@2405:6580:b080:900:5e15:fad5:8284:4db7) (Ping timeout: 264 seconds) |
| 2026-01-27 02:01:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-27 02:12:20 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-27 02:17:18 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-01-27 02:28:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-27 02:31:42 +0100 | trickard | (~trickard@cpe-80-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-27 02:31:55 +0100 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) |
| 2026-01-27 02:32:20 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2026-01-27 02:33:12 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-01-27 02:36:45 +0100 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2026-01-27 02:38:45 +0100 | omidmash3 | (~omidmash@user/omidmash) omidmash |
| 2026-01-27 02:40:58 +0100 | omidmash | (~omidmash@user/omidmash) (Ping timeout: 246 seconds) |
| 2026-01-27 02:40:58 +0100 | omidmash3 | omidmash |
| 2026-01-27 02:43:21 +0100 | califax | (~califax@user/califx) califx |
| 2026-01-27 02:46:03 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-27 02:48:43 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-01-27 02:50:17 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-27 02:55:31 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 264 seconds) |
| 2026-01-27 03:00:03 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-01-27 03:01:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-27 03:01:32 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 256 seconds) |
| 2026-01-27 03:04:04 +0100 | malte | (~malte@mal.tc) (Ping timeout: 246 seconds) |
| 2026-01-27 03:05:37 +0100 | malte | (~malte@mal.tc) malte |
| 2026-01-27 03:06:19 +0100 | krei-se | (~krei-se@p5dea1514.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2026-01-27 03:08:10 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-01-27 03:09:33 +0100 | krei-se | (~krei-se@p200300f1cfff3548000000000000c8c6.dip0.t-ipconnect.de) krei-se |
| 2026-01-27 03:19:28 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-27 03:20:45 +0100 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-27 03:20:59 +0100 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) |
| 2026-01-27 03:24:46 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-01-27 03:35:14 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-27 03:40:08 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-27 03:51:02 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-27 03:52:17 +0100 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) (Ping timeout: 244 seconds) |
| 2026-01-27 03:52:39 +0100 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) |
| 2026-01-27 03:55:37 +0100 | mixfix41 | (~sdeny9ee@user/mixfix41) (shift) |
| 2026-01-27 03:55:56 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-01-27 04:06:48 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-27 04:07:57 +0100 | trickard_ | trickard |
| 2026-01-27 04:10:49 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 2026-01-27 04:11:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-01-27 04:17:09 +0100 | FANTOM | (~fantom@87.75.185.177) (Quit: Connection error?!) |
| 2026-01-27 04:22:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-27 04:26:15 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-01-27 04:27:00 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-01-27 04:32:03 +0100 | FANTOM | (~fantom@87.75.185.177) |
| 2026-01-27 04:38:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-27 04:42:48 +0100 | terrorjack | (~terrorjac@2a01:4f8:c17:9d11::) (Quit: The Lounge - https://thelounge.chat) |
| 2026-01-27 04:44:04 +0100 | terrorjack | (~terrorjac@2a01:4f8:c17:9d11::) terrorjack |
| 2026-01-27 04:44:59 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-27 04:54:06 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-27 04:54:06 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-01-27 04:58:11 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-01-27 04:58:15 +0100 | shr\ke | (~shrike@user/paxhumana) paxhumana |
| 2026-01-27 04:58:15 +0100 | shr\ke | (~shrike@user/paxhumana) (Changing host) |
| 2026-01-27 04:58:15 +0100 | shr\ke | (~shrike@user/shrke:31298) shr\ke |
| 2026-01-27 04:59:21 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-01-27 05:02:16 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-01-27 05:03:21 +0100 | omidmash | (~omidmash@user/omidmash) (Quit: The Lounge - https://thelounge.chat) |
| 2026-01-27 05:03:49 +0100 | jreicher | (~joelr@user/jreicher) (Ping timeout: 255 seconds) |
| 2026-01-27 05:04:16 +0100 | jreicher | (~joelr@user/jreicher) jreicher |
| 2026-01-27 05:04:57 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-01-27 05:08:03 +0100 | omidmash | (~omidmash@user/omidmash) omidmash |
| 2026-01-27 05:09:53 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-27 05:14:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-01-27 05:21:03 +0100 | Square | (~Square4@user/square) (Ping timeout: 244 seconds) |
| 2026-01-27 05:24:09 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 244 seconds) |
| 2026-01-27 05:26:44 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-27 05:31:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-27 05:38:54 +0100 | trickard | (~trickard@cpe-80-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-27 05:39:08 +0100 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) |
| 2026-01-27 05:42:05 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-27 05:44:08 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-01-27 05:44:15 +0100 | trickard_ | trickard |
| 2026-01-27 05:47:00 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-01-27 05:52:20 +0100 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2026-01-27 05:52:20 +0100 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2026-01-27 05:52:20 +0100 | haritz | (~hrtz@user/haritz) haritz |
| 2026-01-27 05:53:14 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-01-27 05:57:53 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-27 05:58:40 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 245 seconds) |
| 2026-01-27 06:02:18 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-01-27 06:10:53 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 265 seconds) |
| 2026-01-27 06:13:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-27 06:16:56 +0100 | mange | (~mange@user/mange) (Quit: Quittin' time!) |
| 2026-01-27 06:19:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-27 06:22:39 +0100 | werneta | (~werneta@71.83.160.242) werneta |
| 2026-01-27 06:29:19 +0100 | trickard | (~trickard@cpe-80-98-47-163.wireline.com.au) (Ping timeout: 240 seconds) |
| 2026-01-27 06:30:07 +0100 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) |
| 2026-01-27 06:30:57 +0100 | michalz | (~michalz@185.246.207.205) |
| 2026-01-27 06:31:18 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-27 06:34:53 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-01-27 06:36:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-27 06:40:09 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
| 2026-01-27 06:47:04 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-27 06:48:27 +0100 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2026-01-27 06:52:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-01-27 06:52:37 +0100 | Googulator | (~Googulato@77-234-89-65.pool.digikabel.hu) (Quit: Client closed) |
| 2026-01-27 06:52:48 +0100 | Googulator | (~Googulato@2a01-036d-0106-030a-3891-da7f-f3f3-f997.pool6.digikabel.hu) |
| 2026-01-27 06:55:08 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-27 06:55:31 +0100 | karenw | (~karenw@user/karenw) (Ping timeout: 264 seconds) |
| 2026-01-27 07:01:36 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-01-27 07:10:46 +0100 | karenw | (~karenw@user/karenw) karenw |
| 2026-01-27 07:12:52 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-27 07:17:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-27 07:22:03 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2026-01-27 07:25:06 +0100 | jreicher | (~joelr@user/jreicher) (Quit: brb) |
| 2026-01-27 07:27:16 +0100 | karenw | (~karenw@user/karenw) (Quit: Deep into that darkness peering...) |
| 2026-01-27 07:29:45 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-27 07:34:39 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-01-27 07:37:24 +0100 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-27 07:37:38 +0100 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) |
| 2026-01-27 07:40:50 +0100 | trickard_ | trickard |
| 2026-01-27 07:45:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-27 07:49:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-27 07:53:28 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 255 seconds) |
| 2026-01-27 07:56:05 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-27 08:00:52 +0100 | jreicher | (~joelr@user/jreicher) jreicher |
| 2026-01-27 08:02:32 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-27 08:14:08 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-27 08:15:59 +0100 | werneta | (~werneta@71.83.160.242) (Quit: Lost terminal) |
| 2026-01-27 08:19:27 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-01-27 08:29:30 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2026-01-27 08:38:53 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-01-27 08:41:24 +0100 | lucabtz | (~lucabtz@user/lucabtz) lucabtz |
| 2026-01-27 08:47:26 +0100 | werneta | (~werneta@71.83.160.242) werneta |
| 2026-01-27 08:49:32 +0100 | YoungFrog | (~youngfrog@2a02:a03f:ca07:f900:b685:3825:8bb0:ad7d) (Quit: ZNC 1.7.x-git-3-96481995 - https://znc.in) |
| 2026-01-27 08:49:53 +0100 | YoungFrog | (~youngfrog@2a02:a03f:ca07:f900:b685:3825:8bb0:ad7d) youngfrog |
| 2026-01-27 08:55:44 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-01-27 08:57:06 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-27 09:02:09 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-01-27 09:09:38 +0100 | Googulator | (~Googulato@2a01-036d-0106-030a-3891-da7f-f3f3-f997.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-01-27 09:09:52 +0100 | Googulator | (~Googulato@2a01-036d-0106-030a-3891-da7f-f3f3-f997.pool6.digikabel.hu) |
| 2026-01-27 09:13:02 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-27 09:18:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-27 09:21:12 +0100 | acidjnk | (~acidjnk@p200300d6e71719605c0a3441a338f285.dip0.t-ipconnect.de) acidjnk |
| 2026-01-27 09:28:31 +0100 | prdak | (~Thunderbi@user/prdak) prdak |
| 2026-01-27 09:30:26 +0100 | trickard | (~trickard@cpe-80-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-27 09:30:39 +0100 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) |
| 2026-01-27 09:31:28 +0100 | chele | (~chele@user/chele) chele |
| 2026-01-27 09:33:24 +0100 | werneta | (~werneta@71.83.160.242) (Quit: Lost terminal) |
| 2026-01-27 09:39:38 +0100 | prdak | (~Thunderbi@user/prdak) (Quit: prdak) |
| 2026-01-27 09:49:22 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2026-01-27 09:53:59 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-01-27 10:03:28 +0100 | bggd_ | (~bgg@2a01:e0a:fd5:f510:8882:d44f:ddaa:9d2) |
| 2026-01-27 10:06:34 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2026-01-27 10:07:39 +0100 | f-a | (ff2a@joined.irc.for-some.fun) f-a |
| 2026-01-27 10:12:02 +0100 | <f-a> | What is the proper way to shut `head` deprecation warnings in ghci? |
| 2026-01-27 10:12:22 +0100 | trickard_ | trickard |
| 2026-01-27 10:12:48 +0100 | <probie> | don't use `head` |
| 2026-01-27 10:13:16 +0100 | <int-e> | {-# OPTIONS_GHC -Wno-x-partial #-} |
| 2026-01-27 10:13:31 +0100 | <f-a> | thanks int-e |
| 2026-01-27 10:14:14 +0100 | <int-e> | import Prelude hiding (head); head (x:xs) = x |
| 2026-01-27 10:14:26 +0100 | int-e | runs |
| 2026-01-27 10:15:45 +0100 | hakutaku | (~textual@chen.yukari.eu.org) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2026-01-27 10:20:15 +0100 | <gentauro> | int-e: pattern matching in Haskell aren't exhaustive by default right? |
| 2026-01-27 10:20:37 +0100 | <gentauro> | I recall a talk from SPJ were he stated that PM is and exponential problem |
| 2026-01-27 10:21:56 +0100 | <jreicher> | What is an "exponential problem"? |
| 2026-01-27 10:22:29 +0100 | <tomsmeding> | no sub-exponential algorithm known, perhaps? (I don't know) |
| 2026-01-27 10:22:30 +0100 | <int-e> | that seems unrelated to these particular warnings though (and the fact that they can't be overridden in a good way that would indicate call sites that are vetted to be fine) |
| 2026-01-27 10:22:43 +0100 | <tomsmeding> | yes |
| 2026-01-27 10:25:31 +0100 | <jreicher> | I still don't get this. I thought pattern matching would be linear. I'm sure I'm misunderstanding the measure. |
| 2026-01-27 10:25:52 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) kuribas |
| 2026-01-27 10:26:27 +0100 | <lortabac> | jreicher: trying all the equations one by one would be inefficient |
| 2026-01-27 10:26:49 +0100 | <lortabac> | efficient compilation of pattern matching is a little more involved |
| 2026-01-27 10:27:10 +0100 | <probie> | The `case` in core is linear, but Haskell itself is a bit more lenient |
| 2026-01-27 10:27:22 +0100 | <jreicher> | Linear is inefficient. I just don't understand why it would be worse than linear. |
| 2026-01-27 10:27:30 +0100 | <int-e> | gentauro: Doesn't ring a bell but I imagine that if you implement Haskell's pattern matching while avoiding matching the same scrutinee twice, you'll end up with cases that have to keep track of exponentially many cases of what has been matched and what hasn't, and correspondingly, exponentially many code paths. |