Logs on 2026-01-02 (liberachat/#haskell)
| 00:00:27 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 00:00:31 | → | wennefer0 joins (~wennefer0@user/wennefer0) |
| 00:02:21 | × | poscat quits (~poscat@user/poscat) (Remote host closed the connection) |
| 00:05:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 00:05:16 | → | poscat joins (~poscat@user/poscat) |
| 00:16:14 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 00:17:28 | jmcantrell_ | is now known as jmcantrell |
| 00:22:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 00:30:14 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 00:30:37 | × | wennefer0 quits (~wennefer0@user/wennefer0) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 00:34:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 00:39:04 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 246 seconds) |
| 00:44:21 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 00:49:13 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 01:00:08 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 01:04:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 01:09:49 | → | omidmash5 joins (~omidmash@user/omidmash) |
| 01:12:13 | × | omidmash quits (~omidmash@user/omidmash) (Ping timeout: 260 seconds) |
| 01:12:13 | omidmash5 | is now known as omidmash |
| 01:15:44 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 01:20:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 01:24:46 | × | divlamir quits (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 01:25:00 | → | divlamir joins (~divlamir@user/divlamir) |
| 01:31:31 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 01:36:51 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 01:47:19 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 01:51:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 01:54:40 | × | infinity0 quits (~infinity0@pwned.gg) (Ping timeout: 246 seconds) |
| 02:03:08 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 02:07:58 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 02:16:04 | → | infinity0 joins (~infinity0@pwned.gg) |
| 02:18:55 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 02:20:24 | → | Pozyomka joins (~pyon@user/pyon) |
| 02:22:07 | → | wennefer0 joins (~wennefer0@user/wennefer0) |
| 02:22:15 | × | Square3 quits (~Square@user/square) (Ping timeout: 240 seconds) |
| 02:24:01 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 02:30:38 | × | wennefer0 quits (~wennefer0@user/wennefer0) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 02:33:09 | × | rainbyte quits (~rainbyte@186.22.19.214) (Read error: Connection reset by peer) |
| 02:34:43 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 02:34:52 | → | rainbyte joins (~rainbyte@186.22.19.214) |
| 02:39:20 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 02:50:16 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 02:54:52 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 03:06:04 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 03:07:09 | × | DetourNetworkUK quits (~DetourNet@user/DetourNetworkUK) (Ping timeout: 260 seconds) |
| 03:07:44 | × | notzmv quits (~umar@user/notzmv) (Ping timeout: 260 seconds) |
| 03:09:46 | → | DetourNetworkUK joins (DetourNetw@user/DetourNetworkUK) |
| 03:10:38 | × | somemathguy quits (~somemathg@user/somemathguy) (Quit: WeeChat 4.1.1) |
| 03:12:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 03:24:06 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 03:25:02 | × | rainbyte quits (~rainbyte@186.22.19.214) (Quit: rainbyte) |
| 03:25:58 | → | rainbyte joins (~rainbyte@186.22.19.214) |
| 03:28:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 03:39:53 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 03:44:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 03:55:17 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 04:00:11 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 04:02:46 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 246 seconds) |
| 04:11:07 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 04:15:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 04:26:49 | <haskellbridge> | <sm> \o/ neat power cords |
| 04:26:52 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 04:31:42 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 04:34:58 | × | rainbyte quits (~rainbyte@186.22.19.214) (Ping timeout: 246 seconds) |
| 04:39:18 | → | rainbyte joins (~rainbyte@186.22.19.214) |
| 04:40:25 | <Axman6> | \m/ |
| 04:42:41 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 04:47:48 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 04:51:13 | → | notzmv joins (~umar@user/notzmv) |
| 04:55:16 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 04:59:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 05:01:20 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 05:06:13 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 05:17:03 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 05:21:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 05:32:50 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 05:37:37 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 05:45:44 | → | aetepe joins (~aetepe@188.119.58.52) |
| 05:48:37 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 05:55:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 05:57:01 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 06:00:43 | Pixi` | is now known as Pixi |
| 06:06:39 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 06:11:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 06:11:42 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 06:22:29 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 06:24:58 | → | Brumaire joins (~no@94.140.114.73) |
| 06:27:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 06:38:15 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 06:38:37 | → | mmohammadi9812 joins (~mohammad@85.185.35.4) |
| 06:41:15 | × | Brumaire quits (~no@94.140.114.73) (Ping timeout: 240 seconds) |
| 06:43:24 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 06:45:55 | × | rainbyte quits (~rainbyte@186.22.19.214) (Read error: Connection reset by peer) |
| 06:45:58 | → | rainbyte_ joins (~rainbyte@186.22.19.214) |
| 06:54:02 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 06:57:46 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 246 seconds) |
| 06:58:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 06:59:50 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 07:02:16 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 07:03:52 | → | michalz joins (~michalz@185.246.207.197) |
| 07:05:55 | × | mmohammadi9812 quits (~mohammad@85.185.35.4) (Ping timeout: 240 seconds) |
| 07:06:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 07:16:16 | → | connrs joins (~connrs@user/connrs) |
| 07:18:03 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 07:21:31 | → | aman joins (~aman@user/aman) |
| 07:22:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 07:32:10 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 07:32:52 | → | gmg joins (~user@user/gehmehgeh) |
| 07:33:51 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 07:40:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 07:51:54 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 07:52:15 | → | mmohammadi9812 joins (~mohammad@104.28.214.163) |
| 07:55:14 | → | wennefer0 joins (~wennefer0@user/wennefer0) |
| 07:56:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 07:59:59 | × | wennefer0 quits (~wennefer0@user/wennefer0) (Ping timeout: 260 seconds) |
| 08:03:16 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 08:08:24 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 08:14:26 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 08:17:36 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 08:19:02 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 08:21:17 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 08:23:52 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 08:32:37 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 246 seconds) |
| 08:34:50 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 08:37:05 | × | mmohammadi9812 quits (~mohammad@104.28.214.163) (Remote host closed the connection) |
| 08:39:05 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 08:45:19 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 08:50:15 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 08:55:27 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 08:55:43 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 244 seconds) |
| 08:57:23 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 09:01:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 09:04:22 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 09:07:06 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 09:10:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 09:17:12 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 09:26:26 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 09:36:19 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 246 seconds) |
| 09:48:25 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 244 seconds) |
| 09:59:15 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 10:00:48 | × | marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 10:01:10 | → | marinelli joins (~weechat@gateway/tor-sasl/marinelli) |
| 10:05:15 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 10:10:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 10:12:53 | <tomsmeding> | GHC 9.14.1 now available on the playground :) Turns out that half the ecosystem depends on 'hashable' and it doesn't support base-0.22 yet. :P |
| 10:15:51 | <tomsmeding> | er, 4.22, of course |
| 10:21:03 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 10:25:48 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 260 seconds) |
| 10:26:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 10:27:28 | → | __monty__ joins (~toonn@user/toonn) |
| 10:31:44 | → | califax_ joins (~califax@user/califx) |
| 10:32:29 | × | califax quits (~califax@user/califx) (Ping timeout: 252 seconds) |
| 10:33:02 | califax_ | is now known as califax |
| 10:34:23 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 10:37:40 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 10:42:37 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 10:48:22 | × | YoungFrog quits (~youngfrog@2a02:a03f:ca07:f900:2fab:8436:f7d2:8c4a) (Quit: ZNC 1.7.x-git-3-96481995 - https://znc.in) |
| 10:48:48 | → | YoungFrog joins (~youngfrog@2a02:a03f:ca07:f900:208:1bdf:f6c0:9a79) |
| 10:50:58 | → | Tuplanolla joins (~Tuplanoll@88-114-88-95.elisa-laajakaista.fi) |
| 10:53:03 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 10:57:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 11:05:20 | × | jreicher quits (~user@user/jreicher) (Ping timeout: 245 seconds) |
| 11:06:14 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 11:06:36 | → | jreicher joins (~user@user/jreicher) |
| 11:08:26 | → | ttybitnik joins (~ttybitnik@user/wolper) |
| 11:12:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 11:15:13 | → | mmohammadi9812 joins (~mohammad@104.28.246.167) |
| 11:22:12 | → | fp joins (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) |
| 11:22:20 | × | fp quits (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Client Quit) |
| 11:24:19 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 11:28:31 | × | annamalai quits (~annamalai@157.33.249.234) (Ping timeout: 264 seconds) |
| 11:29:05 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 11:33:57 | × | mmohammadi9812 quits (~mohammad@104.28.246.167) (Remote host closed the connection) |
| 11:36:17 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 11:40:03 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 11:44:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 11:51:42 | × | vidak quits (~vidak@2407:e400:7800:2c01:d0be:76f8:cc84:bd4a) (Quit: Konversation terminated!) |
| 11:52:17 | → | vidak joins (~vidak@2407:e400:7800:2c01:d0be:76f8:cc84:bd4a) |
| 11:53:25 | × | vidak quits (~vidak@2407:e400:7800:2c01:d0be:76f8:cc84:bd4a) (Remote host closed the connection) |
| 11:53:56 | → | vidak joins (~vidak@2407:e400:7800:2c01:d0be:76f8:cc84:bd4a) |
| 11:55:09 | × | vidak quits (~vidak@2407:e400:7800:2c01:d0be:76f8:cc84:bd4a) (Client Quit) |
| 11:55:49 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 11:57:58 | → | vidak joins (~vidak@2407:e400:7800:2c01:d0be:76f8:cc84:bd4a) |
| 12:00:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 12:01:20 | × | vidak quits (~vidak@2407:e400:7800:2c01:d0be:76f8:cc84:bd4a) (Client Quit) |
| 12:02:56 | → | vidak joins (~vidak@2407:e400:7800:2c01:d0be:76f8:cc84:bd4a) |
| 12:04:29 | × | vidak quits (~vidak@2407:e400:7800:2c01:d0be:76f8:cc84:bd4a) (Remote host closed the connection) |
| 12:04:31 | × | Inline quits (~User@cgn-195-14-221-74.nc.de) (Ping timeout: 240 seconds) |
| 12:05:00 | → | vidak joins (~vidak@2407:e400:7800:2c01:d0be:76f8:cc84:bd4a) |
| 12:07:14 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 12:09:58 | × | vidak quits (~vidak@2407:e400:7800:2c01:d0be:76f8:cc84:bd4a) (Remote host closed the connection) |
| 12:10:30 | → | vidak joins (~vidak@2407:e400:7800:2c01:d0be:76f8:cc84:bd4a) |
| 12:11:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 12:14:15 | × | vidak quits (~vidak@2407:e400:7800:2c01:d0be:76f8:cc84:bd4a) (Remote host closed the connection) |
| 12:17:09 | → | vidak joins (~vidak@2407:e400:7800:2c01:d0be:76f8:cc84:bd4a) |
| 12:18:25 | × | vidak quits (~vidak@2407:e400:7800:2c01:d0be:76f8:cc84:bd4a) (Remote host closed the connection) |
| 12:18:47 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 250 seconds) |
| 12:19:29 | <gentauro> | anybody has any xp with `highlight-pointer` + `xautolock` + `xmonad`? I saw a talk from girst (https://gir.st/gi14500.html) where he had a nice circle around the mouse pointer. Really nice for presentations :) |
| 12:20:27 | <gentauro> | however, I noticed that if you use `xautolock`, it goes all wacko (flimmering). Only way to "stop it" was to CTRL+ALT+F2, login and htop kill `highlight-pointer`. Not very "user-friendly" … |
| 12:20:51 | <gentauro> | (2nd issue, which is not that important, is that `xmonad` doesn't seem to have support for `opacity`) |
| 12:21:58 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 12:23:04 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 12:27:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 12:35:10 | → | Inline joins (~User@cgn-195-14-221-74.nc.de) |
| 12:35:16 | <geekosaur> | XMonad.Hooks.FadeWindows, XMonad.Hooks.FadeInactive, and xmonad is not a compositor so you'll need to run a separate one |
| 12:35:52 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 246 seconds) |
| 12:38:52 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 12:38:57 | → | Square3 joins (~Square@user/square) |
| 12:43:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 12:50:15 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 12:54:38 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 13:00:15 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 240 seconds) |
| 13:01:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 13:01:48 | → | annamalai joins (~annamalai@157.33.232.200) |
| 13:01:53 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 13:07:50 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 13:08:16 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 13:08:49 | <gentauro> | geekosaur: thx |
| 13:12:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 13:15:25 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 246 seconds) |
| 13:20:15 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 13:25:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 13:36:02 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 13:40:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 13:42:16 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 13:42:46 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 13:48:18 | → | vidak joins (~vidak@2407:e400:7800:2c01:d0be:76f8:cc84:bd4a) |
| 13:57:16 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 14:03:37 | → | tremon joins (~tremon@83.80.159.219) |
| 14:07:38 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 14:12:37 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 14:16:06 | × | arandombit quits (~arandombi@user/arandombit) (Remote host closed the connection) |
| 14:16:27 | → | arandombit joins (~arandombi@user/arandombit) |
| 14:20:08 | × | igemnace quits (~igemnace@user/igemnace) (Quit: ZNC 1.9.0+deb2build3 - https://znc.in) |
| 14:21:39 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 14:21:57 | → | igemnace joins (~igemnace@user/igemnace) |
| 14:22:25 | × | annamalai quits (~annamalai@157.33.232.200) (Read error: Connection reset by peer) |
| 14:23:03 | → | annamalai joins (~annamalai@157.33.232.200) |
| 14:23:24 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 14:27:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 14:28:55 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 14:30:06 | → | wennefer0 joins (~wennefer0@user/wennefer0) |
| 14:30:06 | × | wennefer0 quits (~wennefer0@user/wennefer0) (Client Quit) |
| 14:38:36 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 14:39:12 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 14:43:51 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 14:56:53 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 15:01:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 15:07:47 | × | aetepe quits (~aetepe@188.119.58.52) (Ping timeout: 250 seconds) |
| 15:09:14 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 15:13:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 15:22:34 | → | aetepe joins (~aetepe@188.119.58.52) |
| 15:24:12 | → | wennefer0 joins (~wennefer0@user/wennefer0) |
| 15:26:43 | → | merijn joins (~merijn@62.45.136.136) |
| 15:28:47 | → | danza joins (~danza@user/danza) |
| 15:30:55 | × | merijn quits (~merijn@62.45.136.136) (Ping timeout: 240 seconds) |
| 15:36:29 | × | duckworld quits (~duckworld@user/duckworld) (Remote host closed the connection) |
| 15:37:15 | × | annamalai quits (~annamalai@157.33.232.200) (Ping timeout: 240 seconds) |
| 15:37:55 | × | aetepe quits (~aetepe@188.119.58.52) (Ping timeout: 240 seconds) |
| 15:42:04 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 15:43:05 | <haskellbridge> | <Zemyla> Is there a version of HashMap that uses an (Ord k, Hashable k) constraint in order to improve the worst-case times while still having better average times than Map? |
| 15:46:41 | × | wennefer0 quits (~wennefer0@user/wennefer0) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 15:48:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 15:56:53 | → | wennefer0 joins (~wennefer0@user/wennefer0) |
| 15:58:02 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 15:58:04 | × | wennefer0 quits (~wennefer0@user/wennefer0) (Client Quit) |
| 16:00:36 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 16:03:04 | → | karenw joins (~karenw@user/karenw) |
| 16:04:53 | → | ZLima12 joins (~zlima12@user/meow/ZLima12) |
| 16:04:56 | → | aetepe joins (~aetepe@188.119.58.52) |
| 16:05:10 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 16:05:19 | × | ZLima12_ quits (~zlima12@user/meow/ZLima12) (Ping timeout: 260 seconds) |
| 16:06:33 | × | danza quits (~danza@user/danza) (Remote host closed the connection) |
| 16:08:24 | → | duckworld joins (~duckworld@user/duckworld) |
| 16:09:35 | × | aetepe quits (~aetepe@188.119.58.52) (Ping timeout: 240 seconds) |
| 16:10:15 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 16:12:54 | → | wennefer0 joins (~wennefer0@user/wennefer0) |
| 16:14:17 | × | wennefer0 quits (~wennefer0@user/wennefer0) (Client Quit) |
| 16:14:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 16:21:01 | → | aetepe joins (~aetepe@188.119.58.52) |
| 16:22:46 | → | wennefer0 joins (~wennefer0@user/wennefer0) |
| 16:24:02 | × | wennefer0 quits (~wennefer0@user/wennefer0) (Client Quit) |
| 16:25:49 | × | aetepe quits (~aetepe@188.119.58.52) (Ping timeout: 246 seconds) |
| 16:26:03 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 16:27:57 | → | wennefer0 joins (~wennefer0@user/wennefer0) |
| 16:30:48 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 16:31:59 | → | spew joins (~spew@user/spew) |
| 16:36:53 | → | aetepe joins (~aetepe@188.119.58.52) |
| 16:41:52 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 16:42:01 | × | aetepe quits (~aetepe@188.119.58.52) (Ping timeout: 264 seconds) |
| 16:46:00 | → | danza joins (~danza@user/danza) |
| 16:46:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 16:50:50 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 16:51:15 | × | cyphase quits (~cyphase@user/cyphase) (Ping timeout: 240 seconds) |
| 16:52:34 | → | aetepe joins (~aetepe@188.119.58.52) |
| 16:57:09 | → | angel0x joins (~ACHO@user/angel0x) |
| 16:57:38 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 17:01:19 | × | ft quits (~ft@p508dbaa4.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 17:01:20 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 17:02:13 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 17:04:04 | × | danza quits (~danza@user/danza) (Remote host closed the connection) |
| 17:06:22 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 17:08:34 | → | ft joins (~ft@p508db477.dip0.t-ipconnect.de) |
| 17:10:20 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 17:11:52 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 17:12:22 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 17:12:48 | × | angel0x quits (~ACHO@user/angel0x) (Remote host closed the connection) |
| 17:12:56 | → | mmohammadi9812 joins (~mohammad@104.28.214.164) |
| 17:15:11 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 17:17:27 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 17:18:14 | × | Inline quits (~User@cgn-195-14-221-74.nc.de) (Remote host closed the connection) |
| 17:21:29 | × | mmohammadi9812 quits (~mohammad@104.28.214.164) (Remote host closed the connection) |
| 17:23:35 | × | ft quits (~ft@p508db477.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 17:25:14 | → | cyphase joins (~cyphase@user/cyphase) |
| 17:25:28 | → | ft joins (~ft@p508dbe86.dip0.t-ipconnect.de) |
| 17:26:07 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 17:30:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 17:35:59 | → | Inline joins (~User@cgn-195-14-221-74.nc.de) |
| 17:37:55 | → | aparker314159 joins (~avery@user/aparker314159) |
| 17:41:52 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 17:46:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 17:49:11 | × | gmg quits (~user@user/gehmehgeh) (Ping timeout: 252 seconds) |
| 17:52:13 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 17:53:35 | × | ft quits (~ft@p508dbe86.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 17:57:42 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 17:57:55 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 240 seconds) |
| 18:01:57 | × | aparker314159 quits (~avery@user/aparker314159) (Quit: Konversation terminated!) |
| 18:02:16 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 18:04:31 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 240 seconds) |
| 18:06:23 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 18:10:41 | → | somemathguy joins (~somemathg@user/somemathguy) |
| 18:11:21 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 18:13:11 | × | wennefer0 quits (~wennefer0@user/wennefer0) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 18:16:04 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 18:21:07 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 18:23:50 | → | wennefer0 joins (~wennefer0@user/wennefer0) |
| 18:27:07 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 18:31:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 18:34:11 | × | wennefer0 quits (~wennefer0@user/wennefer0) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 18:38:59 | → | wennefer0 joins (~wennefer0@user/wennefer0) |
| 18:40:52 | → | rbdr joins (~rbdr@2a02:3100:23ad:aa00:e7fe:1cac:4507:3685) |
| 18:42:39 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 18:44:03 | × | Inline quits (~User@cgn-195-14-221-74.nc.de) (Remote host closed the connection) |
| 18:49:11 | × | wennefer0 quits (~wennefer0@user/wennefer0) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 18:49:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 18:56:16 | → | wennefer0 joins (~wennefer0@user/wennefer0) |
| 18:57:31 | × | wennefer0 quits (~wennefer0@user/wennefer0) (Client Quit) |
| 19:00:43 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 19:01:17 | → | wennefer0 joins (~wennefer0@user/wennefer0) |
| 19:01:59 | × | wennefer0 quits (~wennefer0@user/wennefer0) (Client Quit) |
| 19:05:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 19:06:21 | → | wennefer0 joins (~wennefer0@user/wennefer0) |
| 19:06:40 | → | Inline joins (~User@cgn-195-14-221-74.nc.de) |
| 19:06:58 | × | wennefer0 quits (~wennefer0@user/wennefer0) (Client Quit) |
| 19:12:20 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 19:12:33 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 256 seconds) |
| 19:15:26 | → | wennefer0 joins (~wennefer0@user/wennefer0) |
| 19:17:06 | × | wennefer0 quits (~wennefer0@user/wennefer0) (Client Quit) |
| 19:17:25 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 19:28:02 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 19:30:56 | × | rbdr quits (~rbdr@2a02:3100:23ad:aa00:e7fe:1cac:4507:3685) (Quit: rbdr) |
| 19:32:40 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 19:35:31 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 19:36:15 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds) |
| 19:36:28 | → | wennefer0 joins (~wennefer0@user/wennefer0) |
| 19:36:48 | Lord_of_Life_ | is now known as Lord_of_Life |
| 19:37:38 | × | wennefer0 quits (~wennefer0@user/wennefer0) (Client Quit) |
| 19:42:55 | × | Inline quits (~User@cgn-195-14-221-74.nc.de) (Ping timeout: 240 seconds) |
| 19:43:34 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 19:46:03 | → | Milan_Vanca joins (~milan@user/Milan-Vanca:32634) |
| 19:46:27 | → | wennefer0 joins (~wennefer0@user/wennefer0) |
| 19:47:39 | × | wennefer0 quits (~wennefer0@user/wennefer0) (Client Quit) |
| 19:48:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 19:53:19 | <Milan_Vanca> | Hello guyz. I know that !! for lists needs to traverse list to find index. But my question is let l = [0..] in (l !! 10^6 + 1) + ( l !! 10^6 + 2) + ... Will this traverse list multiple times? Or will reuse "iteration"? |
| 19:55:52 | → | wennefer0 joins (~wennefer0@user/wennefer0) |
| 19:56:41 | <ncf> | l will be shared |
| 19:57:07 | × | wennefer0 quits (~wennefer0@user/wennefer0) (Client Quit) |
| 19:57:47 | <ncf> | see https://en.wikibooks.org/wiki/Haskell/Graph_reduction |
| 19:58:21 | → | Inline joins (~User@cgn-195-14-221-74.nc.de) |
| 19:59:22 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 19:59:38 | <Milan_Vanca> | I know l is shared and wont be created multiple times.. but to access element l !! bigIndex we need to traverse linken list. But will this list be traversed 2 times from start? Or will it traverse once till first Index and then just do one hop to second Index? |
| 20:02:34 | <geekosaur> | the former |
| 20:02:35 | <ncf> | i'd be very surprised if GHC was smart enough to optimise the second traversal |
| 20:02:55 | <geekosaur> | there are ways to get the latter, I think, but that's not one of them |
| 20:02:55 | <tomsmeding> | yep, l will be traversed 2 times from the start |
| 20:03:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 20:04:43 | <Milan_Vanca> | Oookey so I guess I should use Data.IntMap instead even tho every element of this map will be used in successive computations? |
| 20:05:34 | × | img quits (~img@user/img) (Quit: ZNC 1.10.1 - https://znc.in) |
| 20:05:47 | → | wennefer0 joins (~wennefer0@user/wennefer0) |
| 20:06:49 | → | img joins (~img@user/img) |
| 20:07:30 | × | wennefer0 quits (~wennefer0@user/wennefer0) (Client Quit) |
| 20:07:39 | <Milan_Vanca> | If you look at page 5 of this document https://www.rfc-editor.org/rfc/rfc1321 There T[i] is value from list. I probably can't use `map` as function is always different. Or maybe I could zip it with index and then have case of to use correct function. |
| 20:09:22 | <ncf> | well you could extract the indices you need in one run |
| 20:10:00 | → | pavonia joins (~user@user/siracusa) |
| 20:13:21 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 20:14:17 | <Milan_Vanca> | hmm |
| 20:16:16 | → | wennefer0 joins (~wennefer0@user/wennefer0) |
| 20:16:59 | × | wennefer0 quits (~wennefer0@user/wennefer0) (Client Quit) |
| 20:17:03 | → | epitron joins (epi@user/epitron) |
| 20:18:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 20:20:45 | <monochrom> | This is more nuisanced than one single boolean "is/not shared". (But you just need a multitude of booleans.) |
| 20:21:09 | <monochrom> | l is shared. That actually is worse news than you think. |
| 20:22:14 | <monochrom> | The common subexpression "l !! bignumber" is unlikely to be shared. This is at the whim of the code optimizer, but I bet unlikely. (But you should check empirically.) |
| 20:24:06 | → | mmohammadi9812 joins (~mohammad@104.28.214.168) |
| 20:24:17 | <monochrom> | If "l !! bignumber" is not shared but l is, then what happens is the worst of both worlds. First time, l is expanded and occupies 10^6 units of memory, and since it is to be shared, it won't be freed. Second time, you traverse that existing allocated memory from start to finish again. |
| 20:24:29 | <monochrom> | So you lose both memory and time. Congratulations. |
| 20:25:41 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 20:26:25 | <monochrom> | If you want something reused but don't want to bet, "let x = l !! bignumber in x + x" is the way. (Or "where".) |
| 20:27:51 | <Milan_Vanca> | So by introducing new function I can enforce what is shared. |
| 20:28:15 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 20:28:58 | <Milan_Vanca> | Imagine I would split this big list at 10^6 index and then only used everithing after. Could from start to split be garbage collected if it is not used in other functions? |
| 20:29:08 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 20:29:26 | <monochrom> | Then yes the prefix can be freed. |
| 20:29:55 | <Milan_Vanca> | I didn't expect that! This is really cool. |
| 20:34:54 | → | wennefer0 joins (~wennefer0@user/wennefer0) |
| 20:35:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 20:36:13 | × | wennefer0 quits (~wennefer0@user/wennefer0) (Client Quit) |
| 20:41:47 | → | wennefer0 joins (~wennefer0@user/wennefer0) |
| 20:43:30 | × | wennefer0 quits (~wennefer0@user/wennefer0) (Client Quit) |
| 20:46:51 | → | wennefer0 joins (~wennefer0@user/wennefer0) |
| 20:47:11 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 20:48:05 | × | wennefer0 quits (~wennefer0@user/wennefer0) (Client Quit) |
| 20:49:44 | → | kuribas joins (~user@2a02-1810-2825-6000-f2d4-59c7-29a4-df97.ip6.access.telenet.be) |
| 20:50:01 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 20:50:37 | <kuribas> | > [y | x <- [Just 1, Nothing, Just 2], let Just y = x] |
| 20:50:59 | → | califax joins (~califax@user/califx) |
| 20:51:02 | <monochrom> | Oh lambdabot is away |
| 20:51:09 | <monochrom> | % 1+1 |
| 20:51:09 | <yahb2> | 2 |
| 20:51:15 | <monochrom> | % [y | x <- [Just 1, Nothing, Just 2], let Just y = x] |
| 20:51:16 | <yahb2> | *** Exception: <interactive>:143:42-51: Non-exhaustive patterns in Just y ; ; ; HasCallStack backtrace: ; collectBacktraces, called at libraries/ghc-internal/src/GHC/Internal/Exception.hs:169:1... |
| 20:51:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 20:52:23 | <kuribas> | Shouldn't it partial match on Just? |
| 20:53:01 | <kuribas> | % [y | x <- [Just 1, Nothing, Just 2], Just y <- [x]] |
| 20:53:01 | <yahb2> | [1,2] |
| 20:56:47 | → | wennefer0 joins (~wennefer0@user/wennefer0) |
| 20:57:56 | × | kuribas quits (~user@2a02-1810-2825-6000-f2d4-59c7-29a4-df97.ip6.access.telenet.be) (Remote host closed the connection) |
| 20:58:13 | × | wennefer0 quits (~wennefer0@user/wennefer0) (Client Quit) |
| 21:02:04 | → | wennefer0 joins (~wennefer0@user/wennefer0) |
| 21:02:46 | × | wennefer0 quits (~wennefer0@user/wennefer0) (Client Quit) |
| 21:02:58 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 21:05:37 | × | mmohammadi9812 quits (~mohammad@104.28.214.168) (Remote host closed the connection) |
| 21:07:44 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 21:11:48 | <monochrom> | For that example, you could have simply [y | Just y <- [Just 1, Nothing, Just 2]] |
| 21:11:58 | <EvanR> | it's annoying that if you care about sharing, whose semantics is beyond the scope of the syntax, you need to rely on spelling it one of several "equivalent" ways and hoping the compiler understands that |
| 21:12:14 | <EvanR> | it seems unhaskelly |
| 21:14:17 | <monochrom> | Every PL ideology has been broken by even its most ideological language. For example, Prolog added cuts to ruin the nice and symmetric logic programming ideal. |
| 21:14:19 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 21:15:24 | <monochrom> | In the case of Haskell, a ton of tweaks ruined the denotational ideal. But I am not surprised; someone has to talk about time costs and space costs. |
| 21:15:57 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 21:17:22 | <monochrom> | You can't talk about costs when hiding behind the denotational façade. |
| 21:17:38 | → | wennefer0 joins (~wennefer0@user/wennefer0) |
| 21:18:24 | <EvanR> | yes but you could have cost meaningful syntactic forms |
| 21:18:35 | <EvanR> | dedicated to that purpose |
| 21:18:52 | × | wennefer0 quits (~wennefer0@user/wennefer0) (Client Quit) |
| 21:18:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 21:19:04 | <EvanR> | and if you can't ... the other way doesn't sound plausible |
| 21:19:27 | <EvanR> | e.g. if predicting costs is too hard |
| 21:21:43 | <monochrom> | OK, but I will hide behind "I am skeptical until I see a language that does that". :) |
| 21:22:46 | <geekosaur> | someone somewhere's done it, I'm sure |
| 21:23:59 | → | wennefer0 joins (~wennefer0@user/wennefer0) |
| 21:24:41 | × | wennefer0 quits (~wennefer0@user/wennefer0) (Client Quit) |
| 21:26:26 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 21:30:08 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 21:31:55 | → | wennefer0 joins (~wennefer0@user/wennefer0) |
| 21:33:19 | × | wennefer0 quits (~wennefer0@user/wennefer0) (Client Quit) |
| 21:35:00 | × | DetourNetworkUK quits (DetourNetw@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 21:35:06 | → | acidjnk joins (~acidjnk@p200300d6e7171974ecdc66dbb7a91ed3.dip0.t-ipconnect.de) |
| 21:35:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 21:35:29 | × | ttybitnik quits (~ttybitnik@user/wolper) (Ping timeout: 260 seconds) |
| 21:36:24 | → | wennefer0 joins (~wennefer0@user/wennefer0) |
| 21:36:50 | → | DetourNetworkUK joins (~DetourNet@user/DetourNetworkUK) |
| 21:37:42 | × | wennefer0 quits (~wennefer0@user/wennefer0) (Client Quit) |
| 21:43:49 | → | wennefer0 joins (~wennefer0@user/wennefer0) |
| 21:45:02 | × | wennefer0 quits (~wennefer0@user/wennefer0) (Client Quit) |
| 21:45:15 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 240 seconds) |
| 21:45:56 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 21:48:12 | → | wennefer0 joins (~wennefer0@user/wennefer0) |
| 21:49:27 | × | wennefer0 quits (~wennefer0@user/wennefer0) (Client Quit) |
| 21:50:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 21:53:47 | → | wennefer0 joins (~wennefer0@user/wennefer0) |
| 21:55:00 | × | wennefer0 quits (~wennefer0@user/wennefer0) (Client Quit) |
| 22:01:43 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 22:01:49 | × | michalz quits (~michalz@185.246.207.197) (Remote host closed the connection) |
| 22:04:03 | → | wennefer0 joins (~wennefer0@user/wennefer0) |
| 22:04:06 | × | Inline quits (~User@cgn-195-14-221-74.nc.de) (Remote host closed the connection) |
| 22:04:43 | × | wennefer0 quits (~wennefer0@user/wennefer0) (Client Quit) |
| 22:05:06 | × | iqubic quits (~sophia@2601:602:9203:1660:c40f:f996:91cc:d34) (Remote host closed the connection) |
| 22:06:22 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 22:12:16 | × | somemathguy quits (~somemathg@user/somemathguy) (Quit: WeeChat 4.1.1) |
| 22:12:20 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 22:13:59 | → | wennefer0 joins (~wennefer0@user/wennefer0) |
| 22:15:20 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 22:16:42 | × | infinity0 quits (~infinity0@pwned.gg) (Ping timeout: 256 seconds) |
| 22:22:14 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 22:24:09 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 22:29:08 | → | Motok joins (~moto@user/Motok) |
| 22:33:23 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 22:37:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 22:39:37 | × | aetepe quits (~aetepe@188.119.58.52) (Ping timeout: 246 seconds) |
| 22:43:43 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 22:49:07 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 22:50:59 | → | aetepe joins (~aetepe@188.119.58.52) |
| 22:53:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 22:55:49 | × | aetepe quits (~aetepe@188.119.58.52) (Ping timeout: 264 seconds) |
| 22:57:00 | × | tv quits (~tv@user/tv) (Read error: Connection reset by peer) |
| 22:57:05 | × | Motok quits (~moto@user/Motok) (Quit: Konversation terminated!) |
| 22:57:58 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 22:59:19 | × | jle` quits (~jle`@2603:8001:3b00:11:cdfa:561d:b734:3c69) (Quit: WeeChat 4.7.1) |
| 22:59:41 | → | jle` joins (~jle`@2603:8001:3b00:11::1156) |
| 22:59:42 | → | califax joins (~califax@user/califx) |
| 23:03:55 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 240 seconds) |
| 23:04:30 | × | wennefer0 quits (~wennefer0@user/wennefer0) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 23:07:00 | → | wennefer0 joins (~wennefer0@user/wennefer0) |
| 23:11:23 | × | Milan_Vanca quits (~milan@user/Milan-Vanca:32634) (Quit: WeeChat 4.5.2) |
| 23:16:20 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 23:21:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 23:28:06 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 23:32:08 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 23:37:10 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 23:38:48 | → | Inline joins (~User@cgn-195-14-221-74.nc.de) |
| 23:39:50 | <yin> | huge tangent but I just reminded myself of someone using sleep to efficiently sort a list of ints |
| 23:40:13 | <geekosaur> | snerk |
| 23:42:55 | <yin> | apparently they call it sleep sort now |
| 23:43:11 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 23:44:09 | → | califax joins (~califax@user/califx) |
| 23:44:54 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 244 seconds) |
| 23:47:53 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 23:48:15 | × | litharge quits (litharge@libera/bot/litharge) (Remote host closed the connection) |
| 23:48:24 | → | litharge joins (litharge@libera/bot/litharge) |
| 23:52:46 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 23:56:35 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 252 seconds) |
| 23:57:12 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
All times are in UTC on 2026-01-02.