Logs on 2026-01-18 (liberachat/#haskell)
| 00:02:47 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 00:07:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 00:08:00 | <Leary> | Man of Letters (Mikolaj): Re the heterogeneous types, it's basically just a matter of building a home for your discarded types to live in. In the simplest case where all those types have the same kind, you could literally just add a type level list to your AST: `AstCastS :: (NumScalar r1, RealFrac r1, NumScalar r2, RealFrac r2) => AstTensor discarded ms s (TKS sh r1) -> AstTensor (r1:discarded) ms s (TKS sh r2)` |
| 00:10:55 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 00:14:31 | × | qqq quits (~qqq@185.54.21.105) (Quit: Lost terminal) |
| 00:17:09 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 00:18:32 | <haskellbridge> | <Man of Letters (Mikolaj)> oh wow, thank you, that's interesting |
| 00:20:00 | × | mhatta quits (~mhatta@www21123ui.sakura.ne.jp) (Quit: ZNC 1.10.1+deb1 - https://znc.in) |
| 00:20:19 | <haskellbridge> | <Man of Letters (Mikolaj)> falls more into the category of "ways to make existential-like things zero-cost" than the category "an alternative but similarly handy abstraction mechanism" |
| 00:21:35 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 245 seconds) |
| 00:22:14 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 00:24:23 | × | poscat quits (~poscat@user/poscat) (Remote host closed the connection) |
| 00:25:43 | → | mhatta joins (~mhatta@www21123ui.sakura.ne.jp) |
| 00:27:33 | → | poscat joins (~poscat@user/poscat) |
| 00:31:08 | trickard_ | is now known as trickard |
| 00:32:56 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 00:38:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 00:38:48 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 00:43:04 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 246 seconds) |
| 00:43:05 | × | droideqa quits (uid499291@user/droideqa) (Quit: Connection closed for inactivity) |
| 00:43:25 | → | Zemy joins (~Zemy@72.178.108.235) |
| 00:44:59 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 00:47:16 | × | Core4452 quits (~Zemy@2600:100c:b04a:cc3c:ac56:f4ff:fe3c:1c26) (Ping timeout: 246 seconds) |
| 00:48:43 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 00:50:11 | <monochrom> | Existentials are zero-cost iff unusable. |
| 00:51:58 | <monochrom> | an easy corollary of information theory. For a value to be usable, you must pass around sufficient information, thus the non-zero cost. |
| 00:53:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 00:53:34 | <EvanR> | a value can have zero cost if the only possibility is that it exists i.e. () |
| 00:53:52 | <EvanR> | sounds useful |
| 00:54:07 | <monochrom> | A concrete example being: If you give me an existential value and want me to be able to use Show methods on it, then you must also give me the Show methods, lest how do I even know that I'm allowed to. |
| 00:55:30 | <monochrom> | or at least a pointer to the struct of Show methods. |
| 00:57:12 | <monochrom> | OK OK s/unusable/indistinguishable from ()/ :) |
| 01:00:09 | → | Zemy_ joins (~Zemy@2600:100c:b04a:cc3c:1015:34ff:fe46:86ce) |
| 01:03:18 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
| 01:03:18 | × | Zemy quits (~Zemy@72.178.108.235) (Ping timeout: 252 seconds) |
| 01:03:30 | → | Zemy joins (~Zemy@72.178.108.235) |
| 01:04:30 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 01:06:55 | × | Zemy_ quits (~Zemy@2600:100c:b04a:cc3c:1015:34ff:fe46:86ce) (Ping timeout: 264 seconds) |
| 01:06:58 | × | skum quits (~skum@user/skum) (Quit: WeeChat 4.8.1) |
| 01:10:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 01:22:03 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 01:22:32 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 01:24:45 | × | divlamir quits (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 01:25:10 | → | divlamir joins (~divlamir@user/divlamir) |
| 01:27:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 01:31:54 | × | emmanuelux quits (~em@user/emmanuelux) (Quit: bye) |
| 01:32:08 | → | emmanuelux joins (~em@user/emmanuelux) |
| 01:38:17 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 01:40:02 | × | emmanuelux quits (~em@user/emmanuelux) (Quit: bye) |
| 01:40:15 | → | emmanuelux joins (~em@user/emmanuelux) |
| 01:42:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 01:44:17 | × | acidjnk quits (~acidjnk@p200300d6e7171955902046af4b3b27fd.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 01:49:48 | → | omidmash0 joins (~omidmash@user/omidmash) |
| 01:50:39 | × | Square2 quits (~Square@user/square) (Ping timeout: 260 seconds) |
| 01:52:24 | × | omidmash quits (~omidmash@user/omidmash) (Ping timeout: 260 seconds) |
| 01:52:24 | omidmash0 | is now known as omidmash |
| 01:54:04 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 01:58:40 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 02:06:13 | × | Tuplanolla quits (~Tuplanoll@85-156-32-207.elisa-laajakaista.fi) (Quit: Leaving.) |
| 02:09:52 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 02:10:30 | × | trickard quits (~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 02:10:44 | → | trickard_ joins (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 02:14:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 02:17:30 | → | Inline joins (~User@2001-4dd6-dd24-0-5713-7235-9889-58da.ipv6dyn.netcologne.de) |
| 02:25:38 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 02:30:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 02:35:55 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 240 seconds) |
| 02:41:24 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 02:45:52 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 02:48:05 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 02:48:13 | × | omidmash quits (~omidmash@user/omidmash) (Quit: The Lounge - https://thelounge.chat) |
| 02:51:36 | → | omidmash joins (~omidmash@user/omidmash) |
| 02:53:25 | × | emmanuelux quits (~em@user/emmanuelux) (Quit: bye) |
| 02:54:47 | → | emmanuelux joins (~em@user/emmanuelux) |
| 02:56:24 | × | emmanuelux quits (~em@user/emmanuelux) (Remote host closed the connection) |
| 02:59:26 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 03:00:17 | × | xff0x quits (~xff0x@2405:6580:b080:900:c589:6b53:dd18:5a14) (Ping timeout: 265 seconds) |
| 03:00:47 | → | xff0x joins (~xff0x@2405:6580:b080:900:c180:d9e0:95c3:e24d) |
| 03:00:55 | → | emmanuelux joins (~em@user/emmanuelux) |
| 03:03:01 | × | emmanuelux quits (~em@user/emmanuelux) (Remote host closed the connection) |
| 03:04:18 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 03:05:03 | × | op_4 quits (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
| 03:05:35 | → | op_4 joins (~tslil@user/op-4/x-9116473) |
| 03:07:45 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 03:14:58 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 03:16:14 | → | emmanuelux joins (~em@user/emmanuelux) |
| 03:19:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 03:46:32 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 03:52:11 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 03:53:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 04:03:42 | × | attlin quits (~user@user/attlin) (Ping timeout: 256 seconds) |
| 04:05:36 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 04:07:09 | × | emmanuelux quits (~em@user/emmanuelux) (Quit: bye) |
| 04:07:22 | → | emmanuelux joins (~em@user/emmanuelux) |
| 04:08:06 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 04:10:14 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 04:21:00 | × | emmanuelux quits (~em@user/emmanuelux) (Quit: bye) |
| 04:21:20 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 04:21:49 | → | emmanuelux joins (~em@user/emmanuelux) |
| 04:24:35 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 240 seconds) |
| 04:27:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 04:30:18 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 04:34:16 | × | emmanuelux quits (~em@user/emmanuelux) (Quit: bye) |
| 04:34:30 | → | emmanuelux joins (~em@user/emmanuelux) |
| 04:34:52 | × | emmanuelux quits (~em@user/emmanuelux) (Remote host closed the connection) |
| 04:35:12 | → | emmanuelux joins (~em@user/emmanuelux) |
| 04:39:23 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 04:44:14 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 04:47:39 | × | emmanuelux quits (~em@user/emmanuelux) (Quit: bye) |
| 04:47:53 | → | emmanuelux joins (~em@user/emmanuelux) |
| 04:55:09 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 05:00:01 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 05:00:34 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 05:10:32 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 05:15:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 05:18:57 | → | attlin joins (~user@user/attlin) |
| 05:26:18 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 05:31:09 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 05:41:48 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 05:46:51 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 05:50:55 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 05:52:43 | × | attlin quits (~user@user/attlin) (Ping timeout: 260 seconds) |
| 05:55:37 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 05:57:40 | → | yangby joins (~secret@115.205.110.194) |
| 05:57:43 | × | gmg quits (~user@user/gehmehgeh) (Ping timeout: 252 seconds) |
| 05:58:06 | × | trickard_ quits (~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 05:58:52 | → | gmg joins (~user@user/gehmehgeh) |
| 06:03:31 | → | attlin joins (~user@2602:fa59:9:1fe::1) |
| 06:03:31 | × | attlin quits (~user@2602:fa59:9:1fe::1) (Changing host) |
| 06:03:31 | → | attlin joins (~user@user/attlin) |
| 06:04:49 | × | troydm quits (~troydm@user/troydm) (Ping timeout: 264 seconds) |
| 06:06:32 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 06:08:37 | → | trickard_ joins (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 06:12:24 | × | trickard_ quits (~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 06:12:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 06:19:12 | → | trickard_ joins (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 06:24:34 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 06:29:25 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 06:32:01 | × | raym_ quits (~ray@user/raym) (Ping timeout: 246 seconds) |
| 06:38:25 | × | gmg quits (~user@user/gehmehgeh) (Ping timeout: 252 seconds) |
| 06:38:59 | → | raym joins (~ray@user/raym) |
| 06:39:06 | → | gmg joins (~user@user/gehmehgeh) |
| 06:40:20 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 06:42:40 | × | trickard_ quits (~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 06:42:54 | → | trickard_ joins (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 06:43:36 | × | euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 06:44:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 06:48:39 | × | trickard_ quits (~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 06:49:49 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 264 seconds) |
| 06:51:16 | → | euphores joins (~SASL_euph@user/euphores) |
| 06:51:49 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 06:53:17 | → | trickard_ joins (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 06:56:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 07:05:10 | → | qqq joins (~qqq@185.54.21.105) |
| 07:07:36 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 07:12:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 07:16:08 | → | takuan joins (~takuan@d8D86B9E9.access.telenet.be) |
| 07:16:31 | × | xff0x quits (~xff0x@2405:6580:b080:900:c180:d9e0:95c3:e24d) (Ping timeout: 264 seconds) |
| 07:23:25 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 07:28:01 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 07:30:28 | × | trickard_ quits (~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 07:30:36 | → | DetourNe- joins (DetourNetw@user/DetourNetworkUK) |
| 07:30:41 | → | trickard_ joins (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 07:31:06 | × | DetourNetworkUK quits (~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 07:32:54 | DetourNe- | is now known as DetourNetworkUK |
| 07:39:11 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 07:43:21 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 07:43:33 | → | Square2 joins (~Square@user/square) |
| 07:44:00 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 07:45:19 | × | attlin quits (~user@user/attlin) (Ping timeout: 260 seconds) |
| 07:52:49 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 07:57:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 07:58:31 | → | attlin joins (~user@user/attlin) |
| 07:59:13 | → | xff0x joins (~xff0x@2405:6580:b080:900:33be:7383:eef7:7461) |
| 08:00:02 | × | tt1231607 quits (~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) (Quit: The Lounge - https://thelounge.chat) |
| 08:05:23 | → | tt1231607 joins (~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) |
| 08:08:36 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 08:11:55 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 08:13:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 08:22:34 | × | xff0x quits (~xff0x@2405:6580:b080:900:33be:7383:eef7:7461) (Ping timeout: 255 seconds) |
| 08:23:07 | × | st_aldini quits (~Thunderbi@2605:a601:a07c:7426:52e7:74e7:d63d:c18b) (Ping timeout: 264 seconds) |
| 08:23:26 | → | xff0x joins (~xff0x@2405:6580:b080:900:a8dd:12e:d0f2:f716) |
| 08:24:18 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 08:25:18 | × | emmanuelux quits (~em@user/emmanuelux) (Quit: bye) |
| 08:26:18 | → | emmanuelux joins (~em@user/emmanuelux) |
| 08:28:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 08:30:13 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 08:34:40 | × | comonad quits (~comonad@p200300d02722ae00dce4ce9451b59974.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 08:35:08 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 08:38:14 | → | karenw joins (~karenw@user/karenw) |
| 08:44:46 | × | xff0x quits (~xff0x@2405:6580:b080:900:a8dd:12e:d0f2:f716) (Ping timeout: 256 seconds) |
| 08:45:56 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 08:48:09 | → | Enrico63 joins (~Enrico63@2001:b07:646b:5fed:9efc:e8ff:fe24:3213) |
| 08:50:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 08:51:04 | × | Enrico63 quits (~Enrico63@2001:b07:646b:5fed:9efc:e8ff:fe24:3213) (Client Quit) |
| 08:51:37 | → | xff0x joins (~xff0x@2405:6580:b080:900:25c8:1714:302a:7a94) |
| 08:54:46 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 08:59:08 | × | housemate quits (~housemate@203.56.146.214) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 09:00:51 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 09:02:13 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 09:02:17 | → | tromp joins (~textual@2001:1c00:3487:1b00:f96f:f7c1:9b58:4be8) |
| 09:02:18 | × | dpk quits (~dpk@jains.nonceword.org) (Ping timeout: 260 seconds) |
| 09:04:47 | → | dpk joins (~dpk@jains.nonceword.org) |
| 09:07:01 | × | driib3180 quits (~driib@vmi931078.contaboserver.net) (Quit: Ping timeout (120 seconds)) |
| 09:07:47 | → | driib3180 joins (~driib@vmi931078.contaboserver.net) |
| 09:11:52 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 09:12:29 | → | housemate joins (~housemate@203.56.146.214) |
| 09:16:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 09:19:06 | × | annamalai quits (~annamalai@117.231.194.195) (Ping timeout: 244 seconds) |
| 09:19:31 | → | annamalai joins (~annamalai@117.231.194.136) |
| 09:22:07 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 265 seconds) |
| 09:26:28 | × | Square2 quits (~Square@user/square) (Ping timeout: 265 seconds) |
| 09:27:38 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 09:28:27 | trickard_ | is now known as trickard |
| 09:31:43 | × | qqq quits (~qqq@185.54.21.105) (Quit: Lost terminal) |
| 09:32:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 09:41:09 | × | trickard quits (~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 09:41:23 | → | trickard_ joins (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 09:41:31 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 09:42:03 | × | tromp quits (~textual@2001:1c00:3487:1b00:f96f:f7c1:9b58:4be8) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 09:43:25 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 09:45:16 | trickard_ | is now known as trickard |
| 09:46:55 | × | annamalai quits (~annamalai@117.231.194.136) (Ping timeout: 240 seconds) |
| 09:47:18 | → | annamalai joins (~annamalai@117.231.195.7) |
| 09:48:24 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 09:49:15 | × | driib3180 quits (~driib@vmi931078.contaboserver.net) (Ping timeout: 240 seconds) |
| 09:54:49 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 09:58:28 | × | xff0x quits (~xff0x@2405:6580:b080:900:25c8:1714:302a:7a94) (Ping timeout: 244 seconds) |
| 09:58:35 | × | annamalai quits (~annamalai@117.231.195.7) (Ping timeout: 240 seconds) |
| 09:58:49 | → | xff0x joins (~xff0x@2405:6580:b080:900:e686:993d:24d8:5732) |
| 09:59:33 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 10:00:06 | → | st_aldini joins (~Thunderbi@136.48.46.187) |
| 10:00:59 | × | housemate quits (~housemate@203.56.146.214) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 10:02:18 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 10:05:20 | → | housemate joins (~housemate@203.56.146.214) |
| 10:10:36 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 10:11:28 | × | ThePenguin quits (~ThePengui@cust-95-80-28-221.csbnet.se) (Ping timeout: 246 seconds) |
| 10:15:37 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 10:16:37 | → | annamalai joins (~annamalai@117.231.194.200) |
| 10:17:32 | → | Tuplanolla joins (~Tuplanoll@85-156-32-207.elisa-laajakaista.fi) |
| 10:20:33 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 10:26:13 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 10:30:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 10:33:01 | × | annamalai quits (~annamalai@117.231.194.200) (Ping timeout: 264 seconds) |
| 10:33:15 | → | annamalai joins (~annamalai@157.49.202.195) |
| 10:38:28 | → | driib3180 joins (~driib@vmi931078.contaboserver.net) |
| 10:39:21 | → | ThePenguin joins (~ThePengui@cust-95-80-28-221.csbnet.se) |
| 10:42:00 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 10:48:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 10:55:10 | → | __monty__ joins (~toonn@user/toonn) |
| 10:55:49 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 10:57:55 | → | tromp joins (~textual@2001:1c00:3487:1b00:f96f:f7c1:9b58:4be8) |
| 11:00:09 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 11:00:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 11:00:36 | → | gmg joins (~user@user/gehmehgeh) |
| 11:08:11 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 11:09:30 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 11:09:45 | × | gmg quits (~user@user/gehmehgeh) (Ping timeout: 252 seconds) |
| 11:11:36 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 11:12:07 | → | gmg joins (~user@user/gehmehgeh) |
| 11:16:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 11:27:23 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 11:28:20 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 11:31:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 11:43:11 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 11:43:44 | → | Digitteknohippie joins (~user@user/digit) |
| 11:43:49 | × | Digit quits (~user@user/digit) (Ping timeout: 264 seconds) |
| 11:47:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 11:56:05 | × | gabiruh quits (~gabiruh@vps19177.publiccloud.com.br) (Quit: ZNC 1.7.5 - https://znc.in) |
| 11:56:23 | → | gabiruh joins (~gabiruh@vps19177.publiccloud.com.br) |
| 11:56:39 | × | housemate quits (~housemate@203.56.146.214) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 11:56:49 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 11:57:38 | × | annamalai quits (~annamalai@157.49.202.195) (Remote host closed the connection) |
| 12:01:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 12:03:00 | Digitteknohippie | is now known as Digit |
| 12:12:36 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 12:19:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 12:27:06 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 12:29:07 | × | haritz quits (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 12:30:39 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 12:34:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 12:46:03 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 12:46:55 | → | housemate joins (~housemate@202.7.248.67) |
| 12:50:45 | → | acidjnk joins (~acidjnk@p200300d6e717195811a2eb9a91fd28d7.dip0.t-ipconnect.de) |
| 12:50:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 12:57:49 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 13:00:54 | × | housemate quits (~housemate@202.7.248.67) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 13:02:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 13:13:35 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 13:16:33 | × | Pozyomka quits (~pyon@user/pyon) (Quit: brb) |
| 13:17:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 13:18:35 | → | Pozyomka joins (~pyon@user/pyon) |
| 13:29:06 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 13:31:04 | → | qqq joins (~qqq@185.54.21.105) |
| 13:33:46 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 13:44:52 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 13:47:41 | → | housemate joins (~housemate@202.7.248.67) |
| 13:49:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 13:52:52 | × | yangby quits (~secret@115.205.110.194) (Quit: Go out for a walk and buy a drink.) |
| 13:54:37 | kitties | is now known as Catty |
| 13:58:49 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 14:05:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 14:06:47 | × | gabiruh quits (~gabiruh@vps19177.publiccloud.com.br) (Quit: ZNC 1.7.5 - https://znc.in) |
| 14:07:05 | → | gabiruh joins (~gabiruh@vps19177.publiccloud.com.br) |
| 14:16:51 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 14:21:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 14:32:24 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 14:36:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 14:40:13 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 14:43:14 | × | housemate quits (~housemate@202.7.248.67) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 14:48:10 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 14:53:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 14:55:26 | → | housemate joins (~housemate@202.7.248.67) |
| 14:56:54 | × | marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli) |
| 14:59:17 | × | tromp quits (~textual@2001:1c00:3487:1b00:f96f:f7c1:9b58:4be8) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 14:59:49 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 15:00:37 | → | Zemy_ joins (~Zemy@2600:100c:b0ae:c5b:44cb:e6ff:fe44:545d) |
| 15:03:01 | × | Zemy quits (~Zemy@72.178.108.235) (Ping timeout: 264 seconds) |
| 15:04:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 15:09:00 | × | gabiruh quits (~gabiruh@vps19177.publiccloud.com.br) (Quit: ZNC 1.7.5 - https://znc.in) |
| 15:09:27 | → | gabiruh joins (~gabiruh@vps19177.publiccloud.com.br) |
| 15:11:04 | → | Zemy joins (~Zemy@12.50.240.58) |
| 15:12:38 | <dutchie> | optic libraries: is there a good discussion of pros/cons for lens/microlens/optics? which should I use if I'm writing an application and am not hugely concerned about dependencies? optics for the best error messages? |
| 15:14:29 | × | Zemy_ quits (~Zemy@2600:100c:b0ae:c5b:44cb:e6ff:fe44:545d) (Ping timeout: 260 seconds) |
| 15:15:07 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 15:15:17 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 15:15:27 | → | marinelli joins (~weechat@gateway/tor-sasl/marinelli) |
| 15:16:48 | × | emmanuelux quits (~em@user/emmanuelux) (Quit: bye) |
| 15:18:48 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 15:19:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 15:20:12 | <thenightmail> | is there a list where people show math functions and the elegant way to write them in haskell? I am learning, and I tend to over use parenthesis |
| 15:20:37 | <thenightmail> | heck, probably there is a program that tells you if you are over using parenthesis ... |
| 15:21:08 | → | tromp joins (~textual@2001:1c00:3487:1b00:f96f:f7c1:9b58:4be8) |
| 15:22:12 | → | Square2 joins (~Square@user/square) |
| 15:27:38 | <dutchie> | thenightmail: hlint will do it |
| 15:30:26 | → | weary-traveler joins (~user@user/user363627) |
| 15:30:36 | → | Milan_Vanca joins (~milan@user/Milan-Vanca:32634) |
| 15:31:01 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 15:34:42 | <haskellbridge> | <sm> yea I would pick optics if you have no reason not to |
| 15:35:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 15:37:27 | <thenightmail> | mm, hlint seems like something I want to setup. I've got to look into how people have their emacs setup for haskell I guess. so far I've just got haskell-mode installed |
| 15:37:44 | × | Zemy quits (~Zemy@12.50.240.58) (Read error: Connection reset by peer) |
| 15:37:46 | → | Zemy_ joins (~Zemy@2600:100c:b0ae:c5b:f45b:d5ff:fe1f:d2ed) |
| 15:39:19 | → | Zemy joins (~Zemy@12.50.240.58) |
| 15:40:07 | × | qqq quits (~qqq@185.54.21.105) (Quit: Lost terminal) |
| 15:42:19 | × | Zemy_ quits (~Zemy@2600:100c:b0ae:c5b:f45b:d5ff:fe1f:d2ed) (Ping timeout: 264 seconds) |
| 15:44:20 | → | Zemy_ joins (~Zemy@mobile-107-80-206-99.mycingular.net) |
| 15:45:43 | × | Zemy quits (~Zemy@12.50.240.58) (Ping timeout: 240 seconds) |
| 15:47:40 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 15:48:35 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 15:50:15 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 15:50:31 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 15:52:39 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 15:55:38 | <dutchie> | eglot + haskell-language-server is a reasonably good way to go |
| 16:00:49 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 16:05:45 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 16:12:22 | → | Zemy joins (~Zemy@2600:100c:b0ae:c5b:30da:bdff:fef3:86cd) |
| 16:14:16 | <thenightmail> | hmm, hslint didn't seem to complain about my parenthesis. guess I'm doing things right. also found stylish-haskell and will try to get that going too |
| 16:14:55 | × | Zemy_ quits (~Zemy@mobile-107-80-206-99.mycingular.net) (Ping timeout: 240 seconds) |
| 16:15:10 | <thenightmail> | I'm using ghcup and that seems to be the way. installing these things with cabal install <package> |
| 16:15:14 | <haskellbridge> | <sm> hlint has a ton of settings you can configure |
| 16:16:36 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 16:17:31 | × | Square2 quits (~Square@user/square) (Quit: Leaving) |
| 16:18:02 | → | Square joins (~Square@user/square) |
| 16:18:05 | → | Zemy_ joins (~Zemy@72.178.108.235) |
| 16:21:34 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 16:21:34 | × | Zemy quits (~Zemy@2600:100c:b0ae:c5b:30da:bdff:fef3:86cd) (Ping timeout: 260 seconds) |
| 16:26:34 | → | __monty__ joins (~toonn@user/toonn) |
| 16:32:23 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 16:36:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 16:42:56 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 16:43:09 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 16:46:11 | × | gabriel_sevecek quits (~gabriel@188-167-229-200.dynamic.chello.sk) (Quit: WeeChat 4.8.1) |
| 16:47:35 | → | gabriel_sevecek joins (~gabriel@188-167-229-200.dynamic.chello.sk) |
| 16:51:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 16:52:50 | → | comonad joins (~comonad@p200300d02722ae00dce4ce9451b59974.dip0.t-ipconnect.de) |
| 17:01:49 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 17:09:01 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 17:19:52 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 17:25:13 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 17:31:23 | × | superbil quits (~superbil@114-32-231-70.hinet-ip.hinet.net) (Quit: WeeChat 4.7.1) |
| 17:35:39 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 17:35:52 | → | emmanuelux joins (~em@user/emmanuelux) |
| 17:40:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 17:47:54 | × | Milan_Vanca quits (~milan@user/Milan-Vanca:32634) (Quit: WeeChat 4.7.2) |
| 17:50:10 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 17:50:11 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 17:51:27 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 17:56:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 18:00:39 | → | st_aldini1 joins (~Thunderbi@2605:a601:a07c:7426:52e7:74e7:d63d:c18b) |
| 18:03:33 | × | st_aldini quits (~Thunderbi@136.48.46.187) (Ping timeout: 252 seconds) |
| 18:03:33 | st_aldini1 | is now known as st_aldini |
| 18:03:59 | <haskellbridge> | <thirdofmay18081814goya> is there a reference implementation of typeclasses somewhere? |
| 18:09:47 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 18:12:25 | <haskellbridge> | <sm> the typeclasses machinery ? Just in GHC I'd guess. |
| 18:14:44 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 18:19:09 | → | Milan_Vanca joins (~milan@user/Milan-Vanca:32634) |
| 18:19:21 | <haskellbridge> | <thirdofmay18081814goya> hm hopefully it's readable ty |
| 18:20:16 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 18:21:39 | → | st_aldini1 joins (~Thunderbi@2605:a601:a07c:7426:e89f:cd5f:b143:6c97) |
| 18:22:02 | → | michalz joins (~michalz@185.246.207.221) |
| 18:24:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 18:25:33 | × | st_aldini quits (~Thunderbi@2605:a601:a07c:7426:52e7:74e7:d63d:c18b) (Ping timeout: 252 seconds) |
| 18:25:33 | st_aldini1 | is now known as st_aldini |
| 18:25:52 | × | trickard quits (~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 18:26:06 | → | trickard_ joins (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 18:32:19 | <monochrom> | Or Hugs. Or MicroHS. :) |
| 18:32:52 | → | haritz joins (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 18:32:53 | × | haritz quits (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 18:32:53 | → | haritz joins (~hrtz@user/haritz) |
| 18:34:34 | × | Square quits (~Square@user/square) (Ping timeout: 260 seconds) |
| 18:35:25 | <monochrom> | If you just look for type checking, there is Typing Haskell in Haskell. If you also need execution or code generation, I bet MicroHS is the best starting point, simply because it is written from scratch most recently therefore maximum benefit of hindsight. |
| 18:35:39 | × | ystael quits (~ystael@user/ystael) (Ping timeout: 244 seconds) |
| 18:41:07 | × | acidjnk quits (~acidjnk@p200300d6e717195811a2eb9a91fd28d7.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 18:46:05 | <geekosaur> | https://github.com/Superstar64/Hazy |
| 18:46:17 | <geekosaur> | (in development) |
| 18:47:42 | → | michalz_ joins (~michalz@185.246.207.221) |
| 18:49:55 | × | michalz quits (~michalz@185.246.207.221) (Ping timeout: 240 seconds) |
| 18:50:30 | <haskellbridge> | <thirdofmay18081814goya> neat, ty both for references! and wow MicroHS really is small |
| 18:53:15 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 18:54:04 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 18:54:27 | trickard_ | is now known as trickard |
| 18:59:05 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 19:09:52 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 19:10:57 | → | DetourNe- joins (~DetourNet@user/DetourNetworkUK) |
| 19:11:16 | × | DetourNetworkUK quits (DetourNetw@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 19:13:14 | DetourNe- | is now known as DetourNetworkUK |
| 19:14:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 19:18:18 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 19:22:31 | × | target_i quits (~target_i@user/target-i/x-6023099) (Ping timeout: 240 seconds) |
| 19:23:39 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 19:24:22 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 19:24:30 | × | jreicher quits (~joelr@user/jreicher) (Quit: In transit) |
| 19:25:35 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 19:29:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 19:31:14 | → | acidjnk joins (~acidjnk@p200300d6e717195811a2eb9a91fd28d7.dip0.t-ipconnect.de) |
| 19:38:35 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 19:39:49 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 265 seconds) |
| 19:41:03 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 19:41:23 | Lord_of_Life_ | is now known as Lord_of_Life |
| 19:45:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 19:51:16 | → | superbil joins (~superbil@114-32-231-70.hinet-ip.hinet.net) |
| 19:56:30 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 20:01:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 20:04:24 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 20:12:16 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 20:13:15 | × | trickard quits (~trickard@cpe-82-98-47-163.wireline.com.au) (Ping timeout: 240 seconds) |
| 20:13:58 | → | trickard_ joins (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 20:18:13 | → | pavonia joins (~user@user/siracusa) |
| 20:18:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 20:23:55 | × | Milan_Vanca quits (~milan@user/Milan-Vanca:32634) (Quit: WeeChat 4.7.2) |
| 20:25:45 | → | bitdex_ joins (~bitdex@gateway/tor-sasl/bitdex) |
| 20:25:59 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 20:26:47 | × | trickard_ quits (~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 20:27:00 | → | trickard_ joins (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 20:30:18 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 20:35:06 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 20:35:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 20:37:20 | <thenightmail> | so I'm taking physics 2 and discrete math this semester. I plan on using haskell for checking work / implementing some stuff. Is there any obvious libraries I ought to know of or is this stuff built into the language? I'll get the syllabus in a couple of days to know for sure what I need, but it seems like these entire courses are trivialized by using haskell. |
| 20:38:45 | <thenightmail> | specifically with physics I found the learn-physics library which I think goes along with the book Learn Physics with Functional Programming, guess I'm looking for something of the sorts for discrete mathematics, but it is probably just built into the language from what I've seen |
| 20:40:55 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 240 seconds) |
| 20:41:28 | <thenightmail> | there is the book Discrete Mathematics Using a Computer which might be what I'm looking for. hmm |
| 20:46:05 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 20:50:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 21:01:41 | × | trickard_ quits (~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 21:01:52 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 21:01:55 | → | trickard_ joins (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 21:05:36 | → | jreicher joins (~joelr@user/jreicher) |
| 21:07:13 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 21:08:49 | <thenightmail> | alright I'm finding lots of books now, never mind https://wiki.haskell.org/index.php?title=Books |
| 21:09:15 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 240 seconds) |
| 21:16:41 | × | michalz_ quits (~michalz@185.246.207.221) (Remote host closed the connection) |
| 21:17:40 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 21:19:10 | → | Zemy joins (~Zemy@2600:100c:b04a:4ffa:497:59ff:fed0:974a) |
| 21:20:17 | → | tzh_ joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 21:21:24 | × | Zemy_ quits (~Zemy@72.178.108.235) (Ping timeout: 260 seconds) |
| 21:21:34 | × | YoungFrog quits (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) (Quit: ZNC 1.7.x-git-3-96481995 - https://znc.in) |
| 21:21:54 | → | YoungFrog joins (~youngfrog@2a02:a03f:ca07:f900:5a54:82cc:d405:8239) |
| 21:22:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 21:24:15 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Ping timeout: 240 seconds) |
| 21:27:12 | × | tomboy64 quits (~tomboy64@user/tomboy64) (Read error: Connection reset by peer) |
| 21:27:27 | → | tomboy64 joins (~tomboy64@user/tomboy64) |
| 21:30:50 | × | trickard_ quits (~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 21:31:04 | → | trickard_ joins (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 21:33:28 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 21:38:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 21:43:11 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 21:48:25 | × | trickard_ quits (~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 21:48:38 | → | trickard_ joins (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 21:49:15 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 21:53:09 | → | Zemy_ joins (~Zemy@72.178.108.235) |
| 21:55:51 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 21:56:43 | × | Zemy quits (~Zemy@2600:100c:b04a:4ffa:497:59ff:fed0:974a) (Ping timeout: 246 seconds) |
| 21:56:51 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 22:00:45 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 22:07:18 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 22:07:57 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 22:11:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 22:17:55 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 22:22:42 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 22:23:07 | → | spew joins (~spew@user/spew) |
| 22:27:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 22:27:31 | × | malte quits (~malte@mal.tc) (Ping timeout: 246 seconds) |
| 22:27:38 | × | karenw quits (~karenw@user/karenw) (Ping timeout: 244 seconds) |
| 22:28:39 | × | lisq_ quits (~quassel@lis.moe) (Ping timeout: 252 seconds) |
| 22:30:24 | × | Everything quits (~Everythin@172-232-54-192.ip.linodeusercontent.com) (Quit: leaving) |
| 22:30:56 | → | mange joins (~mange@user/mange) |
| 22:31:39 | → | st_aldini1 joins (~Thunderbi@136.48.46.187) |
| 22:35:29 | × | st_aldini quits (~Thunderbi@2605:a601:a07c:7426:e89f:cd5f:b143:6c97) (Ping timeout: 260 seconds) |
| 22:35:29 | st_aldini1 | is now known as st_aldini |
| 22:38:29 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 22:43:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 22:54:15 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 22:54:56 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 22:55:10 | × | zlqrvx quits (~zlqrvx@user/zlqrvx) (Ping timeout: 246 seconds) |
| 22:56:38 | × | tromp quits (~textual@2001:1c00:3487:1b00:f96f:f7c1:9b58:4be8) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 22:56:43 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 264 seconds) |
| 22:58:01 | × | Putonlalla quits (~Putonlall@it-cyan.it.jyu.fi) (Ping timeout: 244 seconds) |
| 22:59:09 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 23:09:36 | trickard_ | is now known as trickard |
| 23:10:03 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 23:11:39 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds) |
| 23:14:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 23:16:45 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 23:18:45 | × | trickard quits (~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 23:18:58 | → | trickard_ joins (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 23:23:55 | × | trickard_ quits (~trickard@cpe-82-98-47-163.wireline.com.au) (Ping timeout: 255 seconds) |
| 23:25:51 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 23:29:27 | → | trickard_ joins (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 23:30:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 23:38:14 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 23:41:38 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 23:46:48 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 23:48:06 | × | xff0x quits (~xff0x@2405:6580:b080:900:e686:993d:24d8:5732) (Quit: xff0x) |
| 23:49:58 | → | xff0x joins (~xff0x@ai083101.d.east.v6connect.net) |
| 23:50:00 | → | malte joins (~malte@mal.tc) |
| 23:57:27 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 23:59:48 | jmcantrell_ | is now known as jmcantrell |
All times are in UTC on 2026-01-18.