Logs on 2024-05-27 (liberachat/#haskell)
| 00:01:21 | → | TheCoffeMaker joins (~TheCoffeM@user/thecoffemaker) |
| 00:02:41 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 00:16:59 | × | TheCoffeMaker quits (~TheCoffeM@user/thecoffemaker) (Ping timeout: 252 seconds) |
| 00:19:47 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds) |
| 00:21:48 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 00:26:09 | × | phma quits (~phma@host-67-44-208-128.hnremote.net) (Read error: Connection reset by peer) |
| 00:33:04 | → | phma joins (phma@2001:5b0:210d:41e8:5810:929f:6383:13ef) |
| 00:53:43 | → | TheCoffeMaker joins (~TheCoffeM@user/thecoffemaker) |
| 01:01:03 | × | amjoseph quits (~amjoseph@static-198-44-128-146.cust.tzulo.com) (Ping timeout: 260 seconds) |
| 01:09:18 | → | bilegeek joins (~bilegeek@2600:1008:b08c:6954:1c95:46a0:e734:2146) |
| 01:11:52 | × | liyang quits (uid322268@id-322268.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 01:21:20 | × | TheCoffeMaker quits (~TheCoffeM@user/thecoffemaker) (Ping timeout: 252 seconds) |
| 01:21:33 | → | TheCoffeMaker_ joins (~TheCoffeM@200.114.213.75) |
| 01:22:11 | → | joeyadams joins (~joeyadams@38.48.105.67) |
| 01:28:57 | → | TheCoffeMaker joins (~TheCoffeM@user/thecoffemaker) |
| 01:29:02 | × | TheCoffeMaker_ quits (~TheCoffeM@200.114.213.75) (Ping timeout: 252 seconds) |
| 01:34:05 | × | TheCoffeMaker quits (~TheCoffeM@user/thecoffemaker) (Ping timeout: 240 seconds) |
| 01:35:04 | → | TheCoffeMaker joins (~TheCoffeM@user/thecoffemaker) |
| 01:55:11 | × | otto_s quits (~user@p4ff27cd0.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 01:56:22 | → | otto_s joins (~user@p5b0440dc.dip0.t-ipconnect.de) |
| 01:57:07 | × | ski quits (~ski@remote11.chalmers.se) (Remote host closed the connection) |
| 02:00:02 | × | fliife quits (~fliife@user/fliife) (Quit: ZNC 1.8.2+deb2build5 - https://znc.in) |
| 02:00:48 | → | fliife joins (~fliife@user/fliife) |
| 02:02:02 | × | TheCoffeMaker quits (~TheCoffeM@user/thecoffemaker) (Ping timeout: 252 seconds) |
| 02:03:12 | → | TheCoffeMaker joins (~TheCoffeM@user/thecoffemaker) |
| 02:08:38 | × | waleee quits (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 252 seconds) |
| 02:10:13 | × | TheCoffeMaker quits (~TheCoffeM@user/thecoffemaker) (Ping timeout: 256 seconds) |
| 02:10:33 | → | TheCoffeMaker joins (~TheCoffeM@user/thecoffemaker) |
| 02:23:46 | × | TheCoffeMaker quits (~TheCoffeM@user/thecoffemaker) (Ping timeout: 268 seconds) |
| 02:29:08 | → | TheCoffeMaker joins (~TheCoffeM@user/thecoffemaker) |
| 02:39:31 | → | TheCoffeMaker_ joins (~TheCoffeM@200.114.213.75) |
| 02:39:34 | × | TheCoffeMaker quits (~TheCoffeM@user/thecoffemaker) (Read error: Connection reset by peer) |
| 02:40:38 | → | Square2 joins (~Square4@user/square) |
| 02:42:48 | × | TheCoffeMaker_ quits (~TheCoffeM@200.114.213.75) (Excess Flood) |
| 02:44:23 | × | Square quits (~Square@user/square) (Ping timeout: 264 seconds) |
| 02:47:15 | → | TheCoffeMaker joins (~TheCoffeM@user/thecoffemaker) |
| 02:52:43 | × | machinedgod quits (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 272 seconds) |
| 02:57:17 | × | td_ quits (~td@i5387093D.versanet.de) (Ping timeout: 240 seconds) |
| 02:59:11 | → | td_ joins (~td@i5387090b.versanet.de) |
| 03:02:40 | × | BigKozlowski quits (~BigKozlow@194.5.60.133) (Remote host closed the connection) |
| 03:08:35 | → | ski joins (~ski@remote11.chalmers.se) |
| 03:23:17 | → | Nixkernal_ joins (~Nixkernal@240.17.194.178.dynamic.wline.res.cust.swisscom.ch) |
| 03:24:23 | × | Nixkernal quits (~Nixkernal@240.17.194.178.dynamic.wline.res.cust.swisscom.ch) (Ping timeout: 272 seconds) |
| 03:25:47 | × | itaipu quits (~itaipu@168.121.99.99) (Ping timeout: 264 seconds) |
| 03:40:32 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 03:41:16 | × | JimL quits (~quassel@89.162.16.26) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 03:44:39 | → | JimL joins (~quassel@89.162.16.26) |
| 03:45:04 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 03:49:08 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 03:50:53 | → | BigKozlowski joins (~BigKozlow@194.5.60.133) |
| 03:55:20 | × | BigKozlowski quits (~BigKozlow@194.5.60.133) (Ping timeout: 252 seconds) |
| 03:57:50 | → | amjoseph joins (~amjoseph@static-198-44-128-146.cust.tzulo.com) |
| 03:58:03 | → | BigKozlowski joins (~BigKozlow@194.5.60.133) |
| 04:02:28 | × | BigKozlowski quits (~BigKozlow@194.5.60.133) (Ping timeout: 256 seconds) |
| 04:07:27 | → | BigKozlowski joins (~BigKozlow@194.5.60.133) |
| 04:13:47 | × | BigKozlowski quits (~BigKozlow@194.5.60.133) (Ping timeout: 264 seconds) |
| 04:16:16 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 04:18:55 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 04:24:51 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 04:25:34 | → | BigKozlowski joins (~BigKozlow@194.5.60.133) |
| 04:32:11 | × | BigKozlowski quits (~BigKozlow@194.5.60.133) (Ping timeout: 252 seconds) |
| 04:38:29 | → | michalz joins (~michalz@185.246.207.215) |
| 04:40:20 | → | raehik joins (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 04:44:46 | → | BigKozlowski joins (~BigKozlow@194.5.60.133) |
| 04:49:47 | × | BigKozlowski quits (~BigKozlow@194.5.60.133) (Ping timeout: 264 seconds) |
| 04:55:52 | × | joeyadams quits (~joeyadams@38.48.105.67) (Quit: Leaving) |
| 04:56:07 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds) |
| 04:59:23 | → | euleritian joins (~euleritia@dynamic-176-002-075-019.176.2.pool.telefonica.de) |
| 05:02:20 | → | BigKozlowski joins (~BigKozlow@194.5.60.133) |
| 05:05:01 | × | euleritian quits (~euleritia@dynamic-176-002-075-019.176.2.pool.telefonica.de) (Read error: Connection reset by peer) |
| 05:05:18 | → | euleritian joins (~euleritia@77.22.252.56) |
| 05:07:35 | × | BigKozlowski quits (~BigKozlow@194.5.60.133) (Ping timeout: 256 seconds) |
| 05:12:29 | → | BigKozlowski joins (~BigKozlow@194.5.60.133) |
| 05:16:42 | × | Square2 quits (~Square4@user/square) (Ping timeout: 256 seconds) |
| 05:17:03 | × | BigKozlowski quits (~BigKozlow@194.5.60.133) (Ping timeout: 268 seconds) |
| 05:21:33 | → | BigKozlowski joins (~BigKozlow@194.5.60.133) |
| 05:22:13 | × | causal quits (~eric@50.35.88.207) (Quit: WeeChat 4.1.1) |
| 05:23:50 | × | jcarpenter2 quits (~lol@2603:3016:1e01:b9a0:7de1:bf61:a47e:b74f) (Ping timeout: 268 seconds) |
| 05:23:50 | × | euleritian quits (~euleritia@77.22.252.56) (Read error: Connection reset by peer) |
| 05:25:02 | → | euleritian joins (~euleritia@77.22.252.56) |
| 05:26:05 | × | BigKozlowski quits (~BigKozlow@194.5.60.133) (Ping timeout: 252 seconds) |
| 05:27:16 | → | jcarpenter2 joins (~lol@2603:3016:1e01:b940:3dad:a55c:b7ef:b746) |
| 05:31:40 | × | euleritian quits (~euleritia@77.22.252.56) (Ping timeout: 255 seconds) |
| 05:32:38 | → | euleritian joins (~euleritia@176.2.75.19) |
| 05:38:53 | → | BigKozlowski joins (~BigKozlow@194.5.60.133) |
| 05:39:09 | × | euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 05:41:08 | × | euleritian quits (~euleritia@176.2.75.19) (Read error: Connection reset by peer) |
| 05:41:28 | → | euleritian joins (~euleritia@77.22.252.56) |
| 05:42:12 | × | bilegeek quits (~bilegeek@2600:1008:b08c:6954:1c95:46a0:e734:2146) (Quit: Leaving) |
| 05:44:23 | × | BigKozlowski quits (~BigKozlow@194.5.60.133) (Ping timeout: 264 seconds) |
| 05:47:16 | × | _d0t quits (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 268 seconds) |
| 05:48:13 | × | michalz quits (~michalz@185.246.207.215) (Quit: ZNC 1.9.0 - https://znc.in) |
| 05:49:41 | → | euphores joins (~SASL_euph@user/euphores) |
| 05:50:56 | → | michalz joins (~michalz@185.246.207.197) |
| 05:53:02 | → | _d0t joins (~{-d0t-}@user/-d0t-/x-7915216) |
| 05:55:45 | → | meritamen joins (~user@user/meritamen) |
| 05:57:06 | → | BigKozlowski joins (~BigKozlow@194.5.60.133) |
| 06:01:43 | → | acidjnk joins (~acidjnk@p200300d6e714dc67a4c71da5dc32cdcc.dip0.t-ipconnect.de) |
| 06:01:49 | ← | meritamen parts (~user@user/meritamen) (ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.3)) |
| 06:03:36 | × | BigKozlowski quits (~BigKozlow@194.5.60.133) (Ping timeout: 255 seconds) |
| 06:07:07 | → | Guest71 joins (~Guest71@240d:1a:3b5:af00:e436:421c:f668:da15) |
| 06:10:41 | × | Guest71 quits (~Guest71@240d:1a:3b5:af00:e436:421c:f668:da15) (Client Quit) |
| 06:12:50 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 06:14:29 | → | polyphem joins (~polyphem@37.159.41.18) |
| 06:14:35 | → | BigKozlowski joins (~BigKozlow@194.5.60.133) |
| 06:15:03 | × | polyphem quits (~polyphem@37.159.41.18) (Client Quit) |
| 06:17:17 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 06:18:53 | × | euleritian quits (~euleritia@77.22.252.56) (Ping timeout: 240 seconds) |
| 06:19:03 | → | euleritian joins (~euleritia@dynamic-176-002-075-019.176.2.pool.telefonica.de) |
| 06:19:04 | × | BigKozlowski quits (~BigKozlow@194.5.60.133) (Ping timeout: 260 seconds) |
| 06:19:58 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Remote host closed the connection) |
| 06:20:18 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 06:31:43 | → | BigKozlowski joins (~BigKozlow@194.5.60.133) |
| 06:36:02 | × | BigKozlowski quits (~BigKozlow@194.5.60.133) (Ping timeout: 256 seconds) |
| 06:41:33 | → | BigKozlowski joins (~BigKozlow@194.5.60.133) |
| 06:45:55 | × | BigKozlowski quits (~BigKozlow@194.5.60.133) (Ping timeout: 255 seconds) |
| 06:46:56 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich) |
| 06:47:13 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 06:50:10 | → | BigKozlowski joins (~BigKozlow@194.5.60.133) |
| 06:55:11 | × | BigKozlowski quits (~BigKozlow@194.5.60.133) (Ping timeout: 264 seconds) |
| 06:55:49 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds) |
| 06:59:27 | → | BigKozlowski joins (~BigKozlow@194.5.60.133) |
| 07:03:10 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 07:03:53 | × | BigKozlowski quits (~BigKozlow@194.5.60.133) (Ping timeout: 256 seconds) |
| 07:05:23 | → | BigKozlowski joins (~BigKozlow@194.5.60.133) |
| 07:10:41 | × | BigKozlowski quits (~BigKozlow@194.5.60.133) (Ping timeout: 256 seconds) |
| 07:12:29 | × | paddymahoney quits (~paddymaho@pool-99-250-26-190.cpe.net.cable.rogers.com) (Ping timeout: 240 seconds) |
| 07:15:06 | → | paddymahoney joins (~paddymaho@pool-99-250-26-190.cpe.net.cable.rogers.com) |
| 07:15:38 | → | BigKozlowski joins (~BigKozlow@194.5.60.133) |
| 07:20:10 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 07:20:12 | × | BigKozlowski quits (~BigKozlow@194.5.60.133) (Ping timeout: 260 seconds) |
| 07:20:59 | → | zetef joins (~quassel@5.2.182.99) |
| 07:24:43 | → | BigKozlowski joins (~BigKozlow@194.5.60.133) |
| 07:24:53 | × | Maxdamantus quits (~Maxdamant@user/maxdamantus) (Ping timeout: 240 seconds) |
| 07:27:52 | → | ddellacosta joins (~ddellacos@ool-44c73d29.dyn.optonline.net) |
| 07:27:57 | → | __monty__ joins (~toonn@user/toonn) |
| 07:29:20 | → | Maxdamantus joins (~Maxdamant@user/maxdamantus) |
| 07:30:35 | × | BigKozlowski quits (~BigKozlow@194.5.60.133) (Ping timeout: 264 seconds) |
| 07:51:31 | → | BigKozlowski joins (~BigKozlow@194.5.60.133) |
| 07:55:46 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 07:57:04 | × | BigKozlowski quits (~BigKozlow@194.5.60.133) (Ping timeout: 260 seconds) |
| 07:57:15 | → | machinedgod joins (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 08:01:51 | → | BigKozlowski joins (~BigKozlow@194.5.60.133) |
| 08:01:58 | × | jamesmartinez quits (uid6451@id-6451.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 08:04:11 | × | raehik quits (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 264 seconds) |
| 08:04:57 | × | euleritian quits (~euleritia@dynamic-176-002-075-019.176.2.pool.telefonica.de) (Read error: Connection reset by peer) |
| 08:05:19 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 08:07:47 | × | troydm quits (~troydm@user/troydm) (Ping timeout: 252 seconds) |
| 08:11:20 | → | titibandit joins (~user@user/titibandit) |
| 08:11:38 | × | BigKozlowski quits (~BigKozlow@194.5.60.133) (Ping timeout: 252 seconds) |
| 08:15:13 | × | ft quits (~ft@p508db8fc.dip0.t-ipconnect.de) (Quit: leaving) |
| 08:16:53 | → | BigKozlowski joins (~BigKozlow@194.5.60.133) |
| 08:21:18 | × | BigKozlowski quits (~BigKozlow@194.5.60.133) (Ping timeout: 255 seconds) |
| 08:22:19 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Read error: Connection reset by peer) |
| 08:22:19 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Read error: Connection reset by peer) |
| 08:22:19 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 08:22:19 | × | chiselfuse quits (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 08:22:57 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 08:22:57 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 08:23:31 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 08:24:05 | → | chiselfuse joins (~chiselfus@user/chiselfuse) |
| 08:24:17 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 08:24:50 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 08:25:48 | → | BigKozlowski joins (~BigKozlow@194.5.60.133) |
| 08:30:18 | × | BigKozlowski quits (~BigKozlow@194.5.60.133) (Ping timeout: 255 seconds) |
| 08:34:47 | → | BigKozlowski joins (~BigKozlow@194.5.60.133) |
| 08:39:24 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 08:39:35 | × | BigKozlowski quits (~BigKozlow@194.5.60.133) (Ping timeout: 264 seconds) |
| 08:43:52 | → | BigKozlowski joins (~BigKozlow@194.5.60.133) |
| 08:45:35 | × | zetef quits (~quassel@5.2.182.99) (Ping timeout: 264 seconds) |
| 08:48:47 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 08:48:52 | → | greenflower joins (~greenflow@103.191.25.63) |
| 08:49:13 | × | BigKozlowski quits (~BigKozlow@194.5.60.133) (Ping timeout: 255 seconds) |
| 08:51:48 | × | greenflower quits (~greenflow@103.191.25.63) (Client Quit) |
| 08:53:29 | → | chele joins (~chele@user/chele) |
| 08:53:38 | → | BigKozlowski joins (~BigKozlow@194.5.60.133) |
| 08:58:16 | × | BigKozlowski quits (~BigKozlow@194.5.60.133) (Ping timeout: 256 seconds) |
| 09:01:09 | → | zetef joins (~quassel@5.2.182.99) |
| 09:02:35 | → | BigKozlowski joins (~BigKozlow@194.5.60.133) |
| 09:13:10 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 09:13:31 | × | BigKozlowski quits (~BigKozlow@194.5.60.133) (Ping timeout: 256 seconds) |
| 09:13:33 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 09:25:40 | × | euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 09:31:44 | × | rvalue quits (~rvalue@user/rvalue) (Ping timeout: 268 seconds) |
| 09:33:56 | → | euphores joins (~SASL_euph@user/euphores) |
| 09:35:23 | × | zetef quits (~quassel@5.2.182.99) (Ping timeout: 264 seconds) |
| 09:36:28 | → | BigKozlowski joins (~BigKozlow@194.5.60.133) |
| 09:37:57 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.1) |
| 09:41:17 | × | BigKozlowski quits (~BigKozlow@194.5.60.133) (Ping timeout: 256 seconds) |
| 09:45:32 | → | BigKozlowski joins (~BigKozlow@194.5.60.133) |
| 09:46:14 | × | fryguybob quits (~fryguybob@syn-024-094-050-022.res.spectrum.com) (Ping timeout: 252 seconds) |
| 09:50:14 | × | BigKozlowski quits (~BigKozlow@194.5.60.133) (Ping timeout: 268 seconds) |
| 09:51:51 | → | fryguybob joins (~fryguybob@syn-024-094-050-022.res.spectrum.com) |
| 09:54:37 | → | BigKozlowski joins (~BigKozlow@194.5.60.133) |
| 09:55:29 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 09:56:25 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 09:58:53 | × | BigKozlowski quits (~BigKozlow@194.5.60.133) (Ping timeout: 252 seconds) |
| 09:59:52 | → | cfricke joins (~cfricke@user/cfricke) |
| 10:03:34 | → | BigKozlowski joins (~BigKozlow@194.5.60.133) |
| 10:07:20 | → | zetef joins (~quassel@5.2.182.99) |
| 10:13:59 | → | TactfulCitrus joins (~al@2a02:8012:87a6:0:fbe0:6116:6e30:e047) |
| 10:15:36 | × | BigKozlowski quits (~BigKozlow@194.5.60.133) (Ping timeout: 255 seconds) |
| 10:15:41 | × | Pixi quits (~Pixi@user/pixi) (Ping timeout: 240 seconds) |
| 10:18:41 | → | BigKozlowski joins (~BigKozlow@194.5.60.133) |
| 10:23:23 | × | BigKozlowski quits (~BigKozlow@194.5.60.133) (Ping timeout: 264 seconds) |
| 10:27:47 | → | BigKozlowski joins (~BigKozlow@194.5.60.133) |
| 10:29:55 | × | kmein_ quits (~weechat@user/kmein) (Quit: ciao kakao) |
| 10:32:02 | → | kmein joins (~weechat@user/kmein) |
| 10:33:47 | × | BigKozlowski quits (~BigKozlow@194.5.60.133) (Ping timeout: 272 seconds) |
| 10:45:34 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 10:48:19 | → | dsrt^ joins (~cd@c-98-242-74-66.hsd1.ga.comcast.net) |
| 10:56:04 | → | BigKozlowski joins (~BigKozlow@194.5.60.133) |
| 11:00:29 | × | BigKozlowski quits (~BigKozlow@194.5.60.133) (Ping timeout: 252 seconds) |
| 11:04:58 | → | BigKozlowski joins (~BigKozlow@194.5.60.133) |
| 11:06:05 | × | zetef quits (~quassel@5.2.182.99) (Ping timeout: 268 seconds) |
| 11:10:11 | → | CiaoSen joins (~Jura@2a05:5800:2b1:b800:e6b9:7aff:fe80:3d03) |
| 11:12:56 | → | mechap joins (~mechap@user/mechap) |
| 11:14:39 | × | mechap quits (~mechap@user/mechap) (Client Quit) |
| 11:15:35 | × | BigKozlowski quits (~BigKozlow@194.5.60.133) (Ping timeout: 264 seconds) |
| 11:20:06 | → | BigKozlowski joins (~BigKozlow@194.5.60.133) |
| 11:25:05 | × | BigKozlowski quits (~BigKozlow@194.5.60.133) (Ping timeout: 272 seconds) |
| 11:26:07 | → | waleee joins (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 11:29:07 | → | BigKozlowski joins (~BigKozlow@194.5.60.133) |
| 11:30:20 | × | noctux quits (~noctux@user/noctux) (Read error: Connection reset by peer) |
| 11:32:55 | × | mjacob quits (~mjacob@adrastea.uberspace.de) (Ping timeout: 256 seconds) |
| 11:32:56 | × | mauke quits (~mauke@user/mauke) (Ping timeout: 252 seconds) |
| 11:33:29 | × | BigKozlowski quits (~BigKozlow@194.5.60.133) (Ping timeout: 252 seconds) |
| 11:33:55 | → | mjacob joins (~mjacob@adrastea.uberspace.de) |
| 11:33:56 | → | mauke joins (~mauke@user/mauke) |
| 11:34:28 | → | noctux joins (~noctux@user/noctux) |
| 11:35:35 | AlexNoo_ | is now known as AlexNoo |
| 11:38:04 | → | BigKozlowski joins (~BigKozlow@194.5.60.133) |
| 11:42:35 | × | BigKozlowski quits (~BigKozlow@194.5.60.133) (Ping timeout: 264 seconds) |
| 11:47:01 | → | BigKozlowski joins (~BigKozlow@194.5.60.133) |
| 11:47:03 | → | itaipu joins (~itaipu@168.121.98.97) |
| 11:50:50 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 11:52:57 | × | BigKozlowski quits (~BigKozlow@194.5.60.133) (Ping timeout: 268 seconds) |
| 11:57:14 | → | BigKozlowski joins (~BigKozlow@194.5.60.133) |
| 12:01:48 | × | BigKozlowski quits (~BigKozlow@194.5.60.133) (Ping timeout: 255 seconds) |
| 12:02:17 | × | euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 12:02:59 | → | nschoe- joins (~nschoe@2a01:e0a:8e:a190:542f:7ca5:d166:8539) |
| 12:03:15 | × | nschoe quits (~nschoe@82-65-202-30.subs.proxad.net) (Ping timeout: 260 seconds) |
| 12:06:19 | → | BigKozlowski joins (~BigKozlow@194.5.60.133) |
| 12:07:47 | → | euphores joins (~SASL_euph@user/euphores) |
| 12:15:28 | × | BigKozlowski quits (~BigKozlow@194.5.60.133) (Ping timeout: 256 seconds) |
| 12:15:51 | × | ocra8 quits (ocra8@user/ocra8) (Ping timeout: 260 seconds) |
| 12:20:23 | × | euphores quits (~SASL_euph@user/euphores) (Ping timeout: 264 seconds) |
| 12:20:31 | → | BigKozlowski joins (~BigKozlow@194.5.60.133) |
| 12:25:11 | × | BigKozlowski quits (~BigKozlow@194.5.60.133) (Ping timeout: 252 seconds) |
| 12:27:54 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 12:36:15 | × | haritz quits (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1 - https://znc.in) |
| 12:37:49 | → | BigKozlowski joins (~BigKozlow@194.5.60.133) |
| 12:40:14 | → | haritz joins (~hrtz@82-69-11-11.dsl.in-addr.zen.co.uk) |
| 12:40:16 | × | haritz quits (~hrtz@82-69-11-11.dsl.in-addr.zen.co.uk) (Changing host) |
| 12:40:16 | → | haritz joins (~hrtz@user/haritz) |
| 12:40:31 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 12:43:08 | × | BigKozlowski quits (~BigKozlow@194.5.60.133) (Ping timeout: 260 seconds) |
| 12:52:08 | → | joeyadams joins (~joeyadams@38.48.105.67) |
| 12:57:17 | → | BigKozlowski joins (~BigKozlow@194.5.60.133) |
| 12:58:47 | × | TactfulCitrus quits (~al@2a02:8012:87a6:0:fbe0:6116:6e30:e047) (Read error: Connection reset by peer) |
| 13:02:02 | × | BigKozlowski quits (~BigKozlow@194.5.60.133) (Ping timeout: 252 seconds) |
| 13:06:14 | → | BigKozlowski joins (~BigKozlow@194.5.60.133) |
| 13:17:11 | × | BigKozlowski quits (~BigKozlow@194.5.60.133) (Ping timeout: 256 seconds) |
| 13:19:41 | → | rvalue joins (~rvalue@user/rvalue) |
| 13:21:48 | × | mei quits (~mei@user/mei) (Remote host closed the connection) |
| 13:24:03 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 13:24:12 | → | mei joins (~mei@user/mei) |
| 13:25:26 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 13:34:04 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 13:40:20 | → | BigKozlowski joins (~BigKozlow@194.5.60.133) |
| 13:44:05 | × | AlexZenon quits (~alzenon@94.233.240.116) (Ping timeout: 240 seconds) |
| 13:44:42 | × | picnoir quits (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (Quit: WeeChat 4.2.2) |
| 13:44:56 | → | Square2 joins (~Square4@user/square) |
| 13:44:56 | × | BigKozlowski quits (~BigKozlow@194.5.60.133) (Ping timeout: 252 seconds) |
| 13:45:35 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 13:46:11 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 13:46:25 | → | picnoir joins (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) |
| 13:47:23 | → | euleritian joins (~euleritia@dynamic-176-003-008-221.176.3.pool.telefonica.de) |
| 13:47:37 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 13:49:01 | → | euphores joins (~SASL_euph@user/euphores) |
| 13:49:31 | → | BigKozlowski joins (~BigKozlow@194.5.60.133) |
| 13:50:03 | <tomsmeding> | I have some C code in my cabal package, but when it changes cabal only re-links the executable, it doesn't rebuild the haskell code |
| 13:50:30 | <tomsmeding> | that's not enough in my case because I use some of the C code in template haskell as well, so the whole thing needs to be recompiled |
| 13:50:37 | <tomsmeding> | is there a way to tell this to cabal, or should I just `cabal clean`? |
| 13:51:45 | → | AlexZenon joins (~alzenon@94.233.240.116) |
| 13:52:55 | × | barak quits (~barak@2a0d:6fc2:68c1:7200:3cf2:a87d:a02b:3e21) (Ping timeout: 260 seconds) |
| 13:54:04 | × | BigKozlowski quits (~BigKozlow@194.5.60.133) (Ping timeout: 256 seconds) |
| 13:54:27 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 13:58:40 | → | BigKozlowski joins (~BigKozlow@194.5.60.133) |
| 13:59:19 | × | euleritian quits (~euleritia@dynamic-176-003-008-221.176.3.pool.telefonica.de) (Read error: Connection reset by peer) |
| 13:59:35 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 14:02:18 | × | phma quits (phma@2001:5b0:210d:41e8:5810:929f:6383:13ef) (Read error: Connection reset by peer) |
| 14:02:42 | → | phma joins (~phma@host-67-44-208-62.hnremote.net) |
| 14:03:35 | × | BigKozlowski quits (~BigKozlow@194.5.60.133) (Ping timeout: 264 seconds) |
| 14:07:38 | → | BigKozlowski joins (~BigKozlow@194.5.60.133) |
| 14:15:41 | × | ddellacosta quits (~ddellacos@ool-44c73d29.dyn.optonline.net) (Ping timeout: 256 seconds) |
| 14:18:35 | × | BigKozlowski quits (~BigKozlow@194.5.60.133) (Ping timeout: 264 seconds) |
| 14:22:48 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 14:22:57 | → | BigKozlowski joins (~BigKozlow@194.5.60.133) |
| 14:23:17 | × | waleee quits (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 240 seconds) |
| 14:24:44 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 14:28:07 | × | BigKozlowski quits (~BigKozlow@194.5.60.133) (Ping timeout: 272 seconds) |
| 14:34:28 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 14:37:57 | → | sable joins (~sable@host-95-252-188-97.retail.telecomitalia.it) |
| 14:38:13 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 14:40:42 | → | BigKozlowski joins (~BigKozlow@194.5.60.133) |
| 14:45:59 | × | BigKozlowski quits (~BigKozlow@194.5.60.133) (Ping timeout: 252 seconds) |
| 14:48:27 | × | CiaoSen quits (~Jura@2a05:5800:2b1:b800:e6b9:7aff:fe80:3d03) (Ping timeout: 260 seconds) |
| 14:49:46 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 14:56:06 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 15:04:41 | → | BigKozlowski joins (~BigKozlow@194.5.60.133) |
| 15:05:12 | → | vpan joins (~vpan@212.117.1.172) |
| 15:05:31 | vpan | is now known as Guest1193 |
| 15:05:42 | Guest1193 | is now known as vpan |
| 15:06:06 | → | petrichor joins (~znc-user@user/petrichor) |
| 15:07:30 | × | sable quits (~sable@host-95-252-188-97.retail.telecomitalia.it) (Remote host closed the connection) |
| 15:09:12 | × | BigKozlowski quits (~BigKozlow@194.5.60.133) (Ping timeout: 260 seconds) |
| 15:13:30 | → | BigKozlowski joins (~BigKozlow@194.5.60.133) |
| 15:16:14 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.1) |
| 15:16:46 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 15:17:12 | <geekosaur> | tomsmeding, I think currently that requires custom Setup because there's no way to describe a dependency between C and TH (it needs an extended version of build-tool-depends, essentially) |
| 15:17:15 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 15:17:19 | <geekosaur> | I'd raise that one in a cabal ticket |
| 15:18:01 | × | BigKozlowski quits (~BigKozlow@194.5.60.133) (Ping timeout: 255 seconds) |
| 15:19:59 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 15:21:24 | <tomsmeding> | geekosaur: I see, thanks |
| 15:21:41 | <tomsmeding> | I'll just `cabal clean` when necessary I think, better than needing custom setup :) |
| 15:22:28 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds) |
| 15:22:58 | → | BigKozlowski joins (~BigKozlow@194.5.60.133) |
| 15:27:17 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 15:27:34 | × | BigKozlowski quits (~BigKozlow@194.5.60.133) (Ping timeout: 256 seconds) |
| 15:28:13 | → | zetef joins (~quassel@5.2.182.99) |
| 15:31:52 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds) |
| 15:31:52 | → | BigKozlowski joins (~BigKozlow@194.5.60.133) |
| 15:31:59 | → | euleritian joins (~euleritia@dynamic-176-003-008-221.176.3.pool.telefonica.de) |
| 15:36:48 | × | BigKozlowski quits (~BigKozlow@194.5.60.133) (Ping timeout: 268 seconds) |
| 15:41:04 | → | BigKozlowski joins (~BigKozlow@194.5.60.133) |
| 15:46:39 | × | BigKozlowski quits (~BigKozlow@194.5.60.133) (Ping timeout: 272 seconds) |
| 15:48:19 | <lxsameer> | hey folks, how do you manage the state of your program (entire program, like db connection, or connection to certain services)? A big state monad? |
| 15:54:06 | → | aforemny joins (~aforemny@i59F516E7.versanet.de) |
| 15:56:05 | × | td_ quits (~td@i5387090b.versanet.de) (Quit: waking up from the american dream ...) |
| 15:56:17 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 15:58:41 | × | michalz quits (~michalz@185.246.207.197) (Quit: ZNC 1.9.0 - https://znc.in) |
| 15:59:34 | → | td_ joins (~td@i5387090B.versanet.de) |
| 16:03:08 | → | michalz joins (~michalz@185.246.207.205) |
| 16:04:28 | <joeyadams> | lxsameer: A record with a bunch of TVars (STM) might be a good choice. Doesn't sound very Haskell-y, but putting all the state together to build main is more on the "implementation" side rather than the "business" side. If someone can chime in with better advice, that'd be great. |
| 16:05:42 | <lxsameer> | joeyadams: thank you |
| 16:06:10 | × | Square2 quits (~Square4@user/square) (Ping timeout: 255 seconds) |
| 16:06:41 | <joeyadams> | Just make sure your record of TVars isn't referenced all over the place. It should only be close to main where you tie it all together. You generally want to minimize dependencies on state or IO in your business logic. |
| 16:07:52 | <lxsameer> | joeyadams: thank you, I'll keep that in mind |
| 16:09:27 | → | BigKozlowski joins (~BigKozlow@194.5.60.133) |
| 16:13:10 | <joeyadams> | Another thing to check is that the architecture of your app is reasonably "restful", programming language aside. It's much *much* easier to test a program that runs, produces results, and dies than it is to test a service that is dependent on a bunch of state. |
| 16:15:56 | <joeyadams> | And for scenarios where you need that type of state (e.g. connections that need to be refreshed periodically), don't be afraid to use a little "object oriented programming". The resource-pool package is a good example of what I mean: https://hackage.haskell.org/package/resource-pool |
| 16:16:32 | <Leary> | lxsameer: https://www.parsonsmatt.org/2018/03/22/three_layer_haskell_cake.html |
| 16:17:03 | × | machinedgod quits (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 272 seconds) |
| 16:19:29 | × | BigKozlowski quits (~BigKozlow@194.5.60.133) (Ping timeout: 252 seconds) |
| 16:23:26 | <lxsameer> | joeyadams: Leary thank you both |
| 16:26:19 | <joeyadams> | That link is a fantastic overview. I suppose the only thing it doesn't really cover is concurrency, but the model holds up when you account for that. |
| 16:28:53 | <bjorkint0sh> | so we all know Haskell is a superior (if not the most superior) programming language to ever exist. No sarcasm. By definition haskellites wielding this tool, are the best! why does cabal suuuuuuuuuuuuuuuuuuuck so much???! is it not a haskell program created by haskellites?? |
| 16:29:46 | <bjorkint0sh> | I'm frustrated and flabbergasted. |
| 16:29:54 | <bjorkint0sh> | and completely puzzled. |
| 16:30:26 | <sclv> | tomsmeding: maaaybe this helps? https://hackage.haskell.org/package/template-haskell-2.13.0.0/docs/Language-Haskell-TH-Syntax.html#v:addDependentFile |
| 16:31:36 | → | Pixi joins (~Pixi@user/pixi) |
| 16:31:39 | × | Pixi quits (~Pixi@user/pixi) (Read error: Connection reset by peer) |
| 16:31:42 | <int-e> | bjorkint0sh: what are you talking about |
| 16:31:45 | <c_wraith> | sclv: it would be cool if there was a version that took a glob, so adding a new file would trigger a recompile. |
| 16:32:25 | <joeyadams> | bjorkint0sh: What are you running into specifically? All package managers have their warts. |
| 16:32:32 | <sclv> | actually maybe i should have pinged geekosaur |
| 16:32:36 | <bjorkint0sh> | dependency errors. |
| 16:33:03 | <bjorkint0sh> | cabal was the reason I abandoned haskell some years back. |
| 16:33:09 | <bjorkint0sh> | I thought it would be better by now. |
| 16:33:09 | <c_wraith> | how is an inconsistent set of dependencies the fault of the package manager? |
| 16:33:15 | <int-e> | dependencies are genuinely hard |
| 16:33:32 | <sclv> | c_wraith: yeah, its pretty limited, i agree |
| 16:33:42 | <bjorkint0sh> | hmm. I see. |
| 16:33:55 | <joeyadams> | Stack is a bit easier. Though I find the "install five copies to random hexadecimal paths until it works" approach annoying. |
| 16:34:26 | <bjorkint0sh> | can anyone point me to some literature on the problems of dependency resolution? |
| 16:34:26 | <joeyadams> | Make sure you have about 100GB of disk space ready, you're going to need it. |
| 16:35:01 | <bjorkint0sh> | 100GB? that's nothing. Super fast SSDs are cheap. a TB is within most budgets. |
| 16:35:28 | <bjorkint0sh> | if that's what it takes, I'll do it. |
| 16:36:18 | <sclv> | dep resolution is np complete https://arxiv.org/pdf/2011.07851 |
| 16:36:48 | <bjorkint0sh> | sclv, thank you. I'm reading right now. |
| 16:37:11 | <sclv> | but usually the problem is error messages, which is even harder, or just bitrot and having a hopeless task because of that or associated metadata issues |
| 16:37:13 | → | ph88 joins (~ph88@2a02:8109:9e26:c800:e85:7b0c:48c4:ae07) |
| 16:39:14 | → | Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 16:42:15 | → | BigKozlowski joins (~BigKozlow@194.5.60.133) |
| 16:44:13 | → | Pixi joins (~Pixi@user/pixi) |
| 16:49:42 | → | segfaultfizzbuzz joins (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) |
| 16:49:54 | × | segfaultfizzbuzz quits (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) (Client Quit) |
| 16:50:07 | → | segfaultfizzbuzz joins (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) |
| 16:50:34 | × | cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 4.2.2) |
| 16:50:49 | × | otto_s quits (~user@p5b0440dc.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 16:50:52 | × | natto quits (~natto@129.154.243.159) (Quit: a.) |
| 16:51:51 | × | AlexNoo quits (~AlexNoo@94.233.240.116) (Read error: Connection reset by peer) |
| 16:52:15 | → | AlexNoo joins (~AlexNoo@94.233.240.116) |
| 16:52:29 | → | natto joins (~natto@129.154.243.159) |
| 16:53:33 | × | vpan quits (~vpan@212.117.1.172) (Quit: Leaving.) |
| 16:58:53 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 17:00:49 | × | xal quits (~xal@mx1.xal.systems) () |
| 17:02:17 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 17:02:30 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 17:03:31 | × | joeyadams quits (~joeyadams@38.48.105.67) (Quit: Leaving) |
| 17:04:35 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 17:04:38 | → | xal joins (~xal@mx1.xal.systems) |
| 17:11:57 | <tomsmeding> | 99% what you're running into is cabal's unfortunately complex reporting of dependency resolution problems |
| 17:12:15 | <tomsmeding> | sclv: let's try! |
| 17:14:45 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 17:14:54 | <tomsmeding> | sclv: seems like that works! Beautiful, thank you :) |
| 17:15:33 | × | puke quits (~puke@user/puke) (Read error: Connection reset by peer) |
| 17:15:56 | → | puke joins (~puke@user/puke) |
| 17:16:16 | × | petrichor quits (~znc-user@user/petrichor) (Quit: ZNC 1.8.2 - https://znc.in) |
| 17:16:44 | → | petrichor joins (~znc-user@user/petrichor) |
| 17:17:54 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 17:20:16 | <bjorkint0sh> | alternatives to cabal? |
| 17:20:36 | <int-e> | stack has been mentioned |
| 17:22:05 | <tomsmeding> | you could choose a snapshot here (pick one for the GHC version that you're using) https://www.stackage.org/ |
| 17:22:07 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 17:22:25 | <tomsmeding> | and then `curl https://www.stackage.org/lts-22.23/cabal.config >cabal.project.freeze` (if you choose 22.23 |
| 17:22:48 | <tomsmeding> | that's a list of package versions that work together |
| 17:23:08 | <tomsmeding> | upside: as long as you stay within that package set, there will be no dependency resolution errors |
| 17:23:19 | <tomsmeding> | downside: you can't upgrade individual packages :p |
| 17:23:31 | <tomsmeding> | (stack has these snapshots built-in) |
| 17:23:43 | <bjorkint0sh> | downloading now. |
| 17:24:34 | <bjorkint0sh> | cobbler's wife is worst shod and whatnot. |
| 17:26:46 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 17:27:11 | × | zetef quits (~quassel@5.2.182.99) (Ping timeout: 268 seconds) |
| 17:28:53 | <tomsmeding> | bjorkint0sh: by the way, if you paste the dependency resolution error in a pastebin we're probably able to figure out what exactly is the problem |
| 17:28:59 | <tomsmeding> | @where paste |
| 17:29:00 | <lambdabot> | Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com |
| 17:29:43 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 17:31:36 | → | barak joins (~barak@2a0d:6fc2:68c1:7200:3cf2:a87d:a02b:3e21) |
| 17:32:00 | <bjorkint0sh> | very kind of you, tomsmeding. |
| 17:32:24 | <tomsmeding> | (We're aware that cabal's dependency resolution errors leave something to be desired when it comes to clarity :p) |
| 17:32:41 | <bjorkint0sh> | https://paste.tomsmeding.com/RHlCuJyH |
| 17:33:07 | <bjorkint0sh> | if the error is mine, I'd like to correct it. |
| 17:33:15 | <bjorkint0sh> | perhaps I did not type in the right incantation. |
| 17:33:26 | <tomsmeding> | bjorkint0sh: you have an upper bound on `base` saying `<4.10` |
| 17:33:36 | <bjorkint0sh> | this is a fresh install. |
| 17:33:51 | <tomsmeding> | you're using ghc 9.4.8 which comes with base-4.17.2.1, which you must use: base is linked to ghc |
| 17:33:53 | <bjorkint0sh> | and that was the first thing I tried to pull in. |
| 17:34:14 | <bjorkint0sh> | I see. so it's my fault then. |
| 17:34:21 | <tomsmeding> | oh wait |
| 17:34:23 | <tomsmeding> | I see |
| 17:34:29 | <tomsmeding> | `teeth` is severly outdated |
| 17:34:55 | <tomsmeding> | the last ghc version that its cabal file claims to work with is 8.2.2, which is... a while ago :p |
| 17:34:58 | <bjorkint0sh> | so why does it not say 'that's a rotten tooth. it needs to go out'. |
| 17:35:22 | <bjorkint0sh> | rather than the half page of whatever it was on my screen. |
| 17:35:26 | <tomsmeding> | furthermore, though, because this is a library, you shouldn't try to `cabal install` it |
| 17:35:31 | <tomsmeding> | `cabal install` is for executables |
| 17:35:33 | <bjorkint0sh> | ah. |
| 17:35:36 | <bjorkint0sh> | what should I use then? |
| 17:36:00 | <geekosaur> | cabal will install it automatically as a dependency |
| 17:36:06 | <tomsmeding> | the cabal model is that you create a _project_ (which is just a "whatever.cabal" file in a directory, really), and then you specify the dependencies in that whatever.cabal file |
| 17:36:14 | <tomsmeding> | try `cabal init` in an empty directory |
| 17:36:15 | <bjorkint0sh> | fair enough. |
| 17:36:28 | <bjorkint0sh> | what package manager does ghc come with, if not cabal? |
| 17:36:32 | <tomsmeding> | when building that "project", cabal will automatically pull in dependencies etc |
| 17:36:34 | <geekosaur> | none |
| 17:36:41 | <bjorkint0sh> | my mistake. |
| 17:36:46 | <tomsmeding> | the model is that you don't install libraries globally at all |
| 17:36:49 | <tomsmeding> | that was the old cabal model |
| 17:36:52 | <sclv> | in this case i just browsed teeth and saw its a single file with a few datatypes. it just has outdated bounds in the metadata which means the solver won't like it. |
| 17:36:56 | <geekosaur> | many people use ghc without any package manager, generally under control of make or etc. |
| 17:37:07 | <tomsmeding> | many people didn't like it because it resulted in big dependency messes |
| 17:37:09 | <bjorkint0sh> | so I'm using it wrong? |
| 17:37:30 | <tomsmeding> | so the new model is "don't install libraries globally, declaratively specify what you need in a project and cabal will figure it out (if possible)" |
| 17:37:30 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 17:37:33 | × | phma quits (~phma@host-67-44-208-62.hnremote.net) (Read error: Connection reset by peer) |
| 17:37:40 | <sclv> | its important to audit your dependencies -- in this case you can read off the error message the problem: |
| 17:37:40 | <sclv> | [__1] rejecting: base-4.17.2.1/installed-4.17.2.1 (conflict: teeth => |
| 17:37:40 | <sclv> | base>=4.7 && <4.10) |
| 17:37:46 | <geekosaur> | when you do that, you end up with many versions of many libraries installed where ghc will see them and sometimes create diamond dependencies |
| 17:38:02 | <geekosaur> | cabal and stack instead strictly control package installation and visib ility |
| 17:38:08 | <sclv> | so that says that the installed base (which you can't change, because each ghc version ships with a single base version) is 4.17 but teeth requires less than 4.10. |
| 17:38:30 | → | phma joins (phma@2001:5b0:210f:6488:3838:22e1:4b7c:272e) |
| 17:38:32 | <sclv> | to use it, you can clone the package locally and change the bounds, or in this case, since its so little code, just copy it into a local project to begin with |
| 17:39:11 | → | zetef joins (~quassel@5.2.182.99) |
| 17:39:11 | <tomsmeding> | if you make a project, as I described, you can also selectively tell cabal to ignore certain bounds for certain dependencies |
| 17:39:29 | <tomsmeding> | because probably this upper bound on base for 'teeth' is just overly cautious, and it would compile fine with a modern ghc |
| 17:41:13 | <bjorkint0sh> | interesting. good thing I run into that problem right away. someone should tell the authors of this book: https://link.springer.com/book/10.1007/978-3-030-76908-6 |
| 17:41:22 | <bjorkint0sh> | because I'm following their suggestion on page 359. |
| 17:41:54 | <bjorkint0sh> | the book was published in 2021. |
| 17:42:01 | <tomsmeding> | and probably written in 2019 or so |
| 17:42:02 | <bjorkint0sh> | they simply didn't run their own example. |
| 17:42:23 | <tomsmeding> | hm, ghc 8.2.2 dates to end of 2017 |
| 17:42:27 | <bjorkint0sh> | right. |
| 17:42:44 | <tomsmeding> | sclv: do you know how to get hold of a hackage admin who can perhaps up that base bound? |
| 17:43:34 | <tomsmeding> | the content of the package ( https://hackage.haskell.org/package/teeth-0.2.0.2/src/Anatomy/Teeth.hs ) doesn't look like it will ever stop working |
| 17:44:25 | <tomsmeding> | bjorkint0sh: but yeah, the "let's `cabal install` a library" was a thing in the past, and it unfortunately lives on in a lot of (especially printed, but also digital) documentation |
| 17:45:01 | <tomsmeding> | the change in cabal's design made the first steps in haskell a bit more work, but it simplifies the world for all the years after that |
| 17:45:10 | <bjorkint0sh> | I bought the book last week, it was printed in 2022. |
| 17:45:20 | <bjorkint0sh> | surely, that change should have percolated by then? |
| 17:46:16 | <tomsmeding> | indeed, cabal v3 was end of 2019, if I'm seeing this correctly |
| 17:46:26 | <tomsmeding> | but the publication process for books is slow |
| 17:46:49 | <bjorkint0sh> | yes. the book has a website. nothing in the errata. https://www.intro-to-computation.com/errata.pdf |
| 17:46:56 | <sclv> | the usual way to bump bounds is to make a trustee request https://github.com/haskell-infra/hackage-trustees/ -- but in this case i think its not the sort of package that we should worry about |
| 17:46:58 | <bjorkint0sh> | I'm betting it was a total oversight. |
| 17:47:11 | <bjorkint0sh> | 'works on my machine' sort of error. |
| 17:47:23 | <tomsmeding> | and the package in question is not a central package expected to be updated indefinitely, and also not maintained by the authors -- together that makes including it in a book a risky move |
| 17:47:38 | <tomsmeding> | sclv: apparently it occurs in a book |
| 17:47:59 | <tomsmeding> | surely ~nothing else on hackage uses it, but it would improve the experience of newcomers via that book a little bit |
| 17:48:13 | <tomsmeding> | bjorkint0sh: does the book tell you explicitly to `cabal install teeth`? |
| 17:48:13 | <bjorkint0sh> | a lot bit. |
| 17:48:16 | <bjorkint0sh> | yes. |
| 17:48:34 | <tomsmeding> | okay that's harder to address :p |
| 17:48:38 | <bjorkint0sh> | "for instance, run the command $ cabal install teeth " |
| 17:48:41 | <sclv> | that's... strange. that package hasn't been updated since 2016. |
| 17:48:46 | <bjorkint0sh> | otherwise how the hell would I know it even existed?? |
| 17:48:55 | <tomsmeding> | bjorkint0sh: good point :) |
| 17:49:04 | <tomsmeding> | sclv: yeah the authors made a strange choice there |
| 17:49:38 | <bjorkint0sh> | i'd say it's a good education in blind trust. |
| 17:49:51 | <sclv> | alright i pushed a metadata revision to < 5 because this is silly |
| 17:49:59 | <bjorkint0sh> | it's on page 359, and I guess a lot of people don't read past the first few pages anyway. |
| 17:50:04 | <tomsmeding> | \o/ |
| 17:50:09 | <tomsmeding> | bjorkint0sh: which chapter is that |
| 17:50:33 | <bjorkint0sh> | supplementary information. |
| 17:50:37 | <bjorkint0sh> | in the appendix. |
| 17:50:43 | <bjorkint0sh> | after chapter 32. |
| 17:50:56 | <tomsmeding> | heh, doesn't appear here https://www.intro-to-computation.com/code/ |
| 17:51:12 | <bjorkint0sh> | I assure you it's in the book. |
| 17:51:19 | <tomsmeding> | I believe you :) |
| 17:51:30 | × | barak quits (~barak@2a0d:6fc2:68c1:7200:3cf2:a87d:a02b:3e21) (Ping timeout: 256 seconds) |
| 17:51:52 | <bjorkint0sh> | https://link.springer.com/content/pdf/bbm:978-3-030-76908-6/1 |
| 17:51:55 | <bjorkint0sh> | right there. |
| 17:52:29 | <tomsmeding> | it's also the only use of that, apparently |
| 17:53:03 | <bjorkint0sh> | is that an excuse? :-) |
| 17:53:44 | <tomsmeding> | well, at least you can enjoy the rest of the book, which is everything except a single margin note :) |
| 17:53:49 | <tomsmeding> | that lessens the problem, in my eyes |
| 17:54:17 | <bjorkint0sh> | of course. I say it was a careless, easily addressable error. |
| 17:54:24 | <tomsmeding> | also true |
| 17:55:05 | <tomsmeding> | bjorkint0sh: if you want to get started with using dependencies, try this tutorial perhaps https://cabal.readthedocs.io/en/stable/getting-started.html |
| 17:55:26 | <bjorkint0sh> | ah this is on cabal. |
| 17:55:39 | <bjorkint0sh> | I shall read it. knowing one's tools is essential. |
| 17:55:59 | <tomsmeding> | I was going to type "I don't know of a good cabal tutorial", but then made the effort of searching for "cabal tutorial" and found out that the first chapter of cabal's own user guide may well do the trick :) |
| 17:56:20 | <tomsmeding> | bjorkint0sh: a life hack in haskell world is that the user guides of the core tools (ghc, cabal, ghcup) are surprisingly good |
| 17:56:34 | <bjorkint0sh> | but, I think of packages as bills of material. a problem long solved by warehouse managers without so much as a highschool diploma. |
| 17:58:50 | <tomsmeding> | if all things you're trying to pull in are actively updated, it can be as easy ;) |
| 17:59:25 | × | zetef quits (~quassel@5.2.182.99) (Remote host closed the connection) |
| 17:59:35 | <bjorkint0sh> | so, yes every now and then a Boeing jet loses a door. but think of the massively more complex problem of putting together a jet vs 'cabal install teeth'. |
| 17:59:50 | <tomsmeding> | mind that this was not cabal's fault |
| 17:59:53 | <bjorkint0sh> | yet. it's somehow mathematically impossible :-/ |
| 17:59:55 | <bjorkint0sh> | right. |
| 18:00:02 | <bjorkint0sh> | package owner failed to update, yes? |
| 18:00:13 | <bjorkint0sh> | bit rot. |
| 18:00:19 | <tomsmeding> | if a supplier only offers you a door for the frame version of 5 years ago, it's not the fault of the buying officer for saying "that's not going to work" |
| 18:00:35 | <tomsmeding> | now, in this case that door would have worked perfectly fine |
| 18:00:46 | <tomsmeding> | but the supplier said it didn't, so what was cabal to do? |
| 18:00:52 | <tomsmeding> | bit rot indeed |
| 18:01:10 | <monochrom> | Time to consider "patches welcome". |
| 18:07:27 | × | puke quits (~puke@user/puke) (Remote host closed the connection) |
| 18:07:49 | → | puke joins (~puke@user/puke) |
| 18:08:34 | <sclv> | also as i pointed out the error was very helpful: "[__1] rejecting: base-4.17.2.1/installed-4.17.2.1 (conflict: teeth => base>=4.7 && <4.10)" |
| 18:09:30 | <tomsmeding> | the thing the user must do here, though, is accept that they're getting a fairly big wall of text in an unfamiliar format for a seemingly simple request |
| 18:09:44 | <tomsmeding> | and then read through it to find the small bit that they need |
| 18:09:55 | <tomsmeding> | _we_ know how to do that in < 1 second |
| 18:10:13 | <tomsmeding> | now I'm not saying I know how to do better! |
| 18:10:32 | <tomsmeding> | but I understand newcomers who see a cabal dependency resolution error and get scared |
| 18:10:58 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 18:11:12 | <tomsmeding> | perhaps simple cases could be special-cased in cabal to print in a more friendly fashion, but then that would leave the cases that fall _just_ outside that set of simple cases |
| 18:11:36 | <monochrom> | Eventually everyone will need that kind of skill. You search on Google or Bing, you need to wade through all the junk and recognize that it is the 12th hit that is the only relevant one. |
| 18:11:59 | <tomsmeding> | people are familiar with lists of search results |
| 18:12:12 | <sclv> | i think we basically just need to warn people that errors may occur in dependencies at all. it just... doesn't occur to them until they hit it. unlike getting compile errors where they've already been acculturated to the fact that this is Normal |
| 18:12:15 | <tomsmeding> | people are not familiar with this https://paste.tomsmeding.com/RHlCuJyH |
| 18:12:19 | <tomsmeding> | (yet) |
| 18:12:31 | <tomsmeding> | sclv: also good point |
| 18:12:39 | <bjorkint0sh> | that's some serious stockholm syndrome "we choose not to depart from tradition because we had it tough too!" :-) |
| 18:12:42 | × | euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 18:12:44 | <bjorkint0sh> | it can be made easier. |
| 18:12:49 | <bjorkint0sh> | it can be made 100 times better. |
| 18:12:51 | <bjorkint0sh> | but why change? |
| 18:12:56 | <bjorkint0sh> | Tradition. :-| |
| 18:13:04 | <monochrom> | Time to bring out "patches welcome". |
| 18:13:17 | <monochrom> | You said you know how to solve it. Let's see you solve it. |
| 18:13:23 | <tomsmeding> | bjorkint0sh: in functional programming, the overwhelming majority of people are very nice and well-meaning |
| 18:13:44 | <bjorkint0sh> | tomsmeding and new users are deeply frustrated. |
| 18:13:47 | <monochrom> | I honestly don't know how to solve it. |
| 18:13:48 | <tomsmeding> | perhaps surprisingly, this is apparently different from some other fields in computer science |
| 18:14:10 | <tomsmeding> | if you want to effect change, I suggest you bring it in a way that appeals to the community you're trying to change :) |
| 18:14:20 | <bjorkint0sh> | you're right. |
| 18:14:23 | <tomsmeding> | "but why change? Tradition. :-|" is probably not the best way ;) |
| 18:14:31 | <bjorkint0sh> | it's what everyone's saying. |
| 18:14:33 | <monochrom> | Alternatively I could also cite https://danluu.com/cocktail-ideas/ |
| 18:14:47 | <tomsmeding> | as monochrom says, the best way here is typically: "I know how to do it better, here it is written out" |
| 18:14:49 | <bjorkint0sh> | i merely summarized it. |
| 18:15:02 | <tomsmeding> | we tend to appreciate precise solutions and get enthousiastic about them |
| 18:15:14 | <tomsmeding> | we don't tend to get enthousiastic about "stuff can be better" :) |
| 18:15:29 | <bjorkint0sh> | well here I am, just bought a book on a subject I know little about, and the first thing I type in gives me an error. |
| 18:15:34 | <bjorkint0sh> | I don't know what I don't know at that point. |
| 18:15:55 | <tomsmeding> | of course, but that's not the fault of the people in this irc channel :) |
| 18:16:06 | <monochrom> | Not even of the community. |
| 18:16:07 | <bjorkint0sh> | no it's not. you're correct. |
| 18:16:10 | <bjorkint0sh> | it's no one's fault. |
| 18:16:11 | <tomsmeding> | I agree that things can be better -- I've said so before |
| 18:16:18 | <sclv> | the book told you to type something silly. it happens |
| 18:16:36 | <bjorkint0sh> | it's not even the book's fault. I failed. |
| 18:16:45 | <monochrom> | The academia problem of not updating academic books, papers, software is not even an unsolved problem, it's a wontfix problem. |
| 18:17:41 | <sclv> | no, its the books fault. it gave an example that would necessarily go out of date quickly, and it did. it was probably out of date since the book was published -- old repurposed text. that package hasn't been installable since 2017 |
| 18:17:51 | <monochrom> | At which point it's an economic problem because you have to look at incentives and rewards and lack thereof in academic to explain why a prof prefers to move on to the next project rather than update a past project. |
| 18:18:08 | <bjorkint0sh> | because they're human and they get bored, monochrom. |
| 18:18:09 | → | barak joins (~barak@2a0d:6fc2:68c1:7200:3cf2:a87d:a02b:3e21) |
| 18:18:28 | <tomsmeding> | I can assure you that professors in academia are, overwhelmingly, _not_ bored |
| 18:18:29 | <bjorkint0sh> | left as an exercise for the reader. |
| 18:18:30 | <tomsmeding> | :p |
| 18:18:31 | → | euphores joins (~SASL_euph@user/euphores) |
| 18:18:42 | <bjorkint0sh> | hah. |
| 18:19:02 | <tomsmeding> | (exceptions exist, of course) |
| 18:20:02 | <bjorkint0sh> | it's my fault. I should have waited for a second edition. |
| 18:20:05 | <bjorkint0sh> | perhaps next time. |
| 18:20:26 | → | fizbin__ joins (~fizbin@user/fizbin) |
| 18:20:28 | → | ft joins (~ft@p508db8fc.dip0.t-ipconnect.de) |
| 18:21:03 | → | fizbin_ joins (~fizbin@user/fizbin) |
| 18:21:34 | <monochrom> | Hell, you may even have to look at who actually write actual code to see why the code is not updated. (Hint: Not the prof themselves.) |
| 18:22:24 | <monochrom> | which again is a very precarious economic problem, not a technical problem. |
| 18:25:09 | × | fizbin__ quits (~fizbin@user/fizbin) (Ping timeout: 268 seconds) |
| 18:25:13 | <bjorkint0sh> | hmm. the currency of the realm being time and attention in this case? it's certainly not financial, I think? |
| 18:26:44 | <monochrom> | Currency of tenure-track profs is how many new papers they can publish. |
| 18:28:06 | <monochrom> | Currency of students is project course credits so they can graduate so they can leave behind this past life of unpaid coding labour and go out to earn real salary. |
| 18:29:03 | → | yeitrafferin joins (~user@2a04:4540:7214:e700:2ca:f3f5:ac7a:35d3) |
| 18:29:13 | <monochrom> | Profs don't have to write code because they can get free labours from students who are desperate for graduation. Afterwards, profs don't even understand the code. |
| 18:30:00 | <bjorkint0sh> | nor do they necessarily verify the code. |
| 18:30:02 | <bjorkint0sh> | who has the time? |
| 18:30:04 | <monochrom> | But it's OK, understanding and updating old code for old papers does not earn you future research grants, so there is no need. Just move on to the next research topic. |
| 18:30:55 | <bjorkint0sh> | . o O "if the reader is to slow to figure it out, then this is not for them". |
| 18:30:58 | <bjorkint0sh> | but that's me! |
| 18:31:14 | <bjorkint0sh> | I'm the subject of my own shower thought. I am reader. |
| 18:38:59 | × | rvalue quits (~rvalue@user/rvalue) (Ping timeout: 260 seconds) |
| 18:39:55 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 18:42:32 | <mauke> | what do you call someone who reads a paper on category theory? |
| 18:42:35 | × | michalz quits (~michalz@185.246.207.205) (Quit: ZNC 1.8.2 - https://znc.in) |
| 18:42:55 | <bjorkint0sh> | "not I" is automatic response. |
| 18:43:02 | <bjorkint0sh> | 'uncategorized'? |
| 18:43:09 | <monochrom> | Category theorist? |
| 18:43:09 | <mauke> | a co-author |
| 18:43:13 | <monochrom> | Oh hahahahaha |
| 18:43:14 | <bjorkint0sh> | hahaha |
| 18:43:46 | <ncf> | itym cowriter |
| 18:44:12 | → | raehik joins (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 18:45:08 | <bjorkint0sh> | is co-author not the same? |
| 18:46:14 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 18:47:44 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 18:47:44 | <ncf> | https://ncatlab.org/nlab/show/cowriter+comonad |
| 18:48:28 | <bjorkint0sh> | what the hell was that?! |
| 18:48:32 | → | michalz joins (~michalz@185.246.207.205) |
| 18:49:30 | <ncf> | in haskell: https://hackage.haskell.org/package/comonad-5.0.8/docs/src/Control.Comonad.html#line-168 |
| 18:51:09 | × | michalz quits (~michalz@185.246.207.205) (Client Quit) |
| 18:55:17 | × | fizbin_ quits (~fizbin@user/fizbin) (Ping timeout: 240 seconds) |
| 18:56:30 | → | michalz joins (~michalz@185.246.207.221) |
| 18:58:16 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 18:59:02 | × | michalz quits (~michalz@185.246.207.221) (Client Quit) |
| 18:59:03 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 18:59:06 | → | rekahsoft joins (~rekahsoft@184.148.6.204) |
| 19:01:25 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 19:01:37 | → | michalz joins (~michalz@185.246.207.200) |
| 19:08:53 | → | sawilagar joins (~sawilagar@user/sawilagar) |
| 19:11:18 | → | joeyadams joins (~joeyadams@38.48.105.67) |
| 19:13:29 | × | puke quits (~puke@user/puke) (Remote host closed the connection) |
| 19:13:48 | → | puke joins (~puke@user/puke) |
| 19:21:02 | <sm> | bjorkint0sh : for the record, thank you for reporting the experience and yes it can still be very painful for a non-expert. It's a hard problem and cabal has no paid developers AFAIK and due to its age and evolution it has a lot of technical/UX/doc/book debt. I see a quite lot of passing the buck here though |
| 19:22:08 | × | yeitrafferin quits (~user@2a04:4540:7214:e700:2ca:f3f5:ac7a:35d3) (Quit: Leaving) |
| 19:23:17 | × | barak quits (~barak@2a0d:6fc2:68c1:7200:3cf2:a87d:a02b:3e21) (Ping timeout: 240 seconds) |
| 19:24:35 | × | raehik quits (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 264 seconds) |
| 19:24:48 | → | Guest87 joins (~Guest95@085080252042.dynamic.telenor.dk) |
| 19:31:05 | <bjorkint0sh> | thanks sm. my prior experience with packages has been with R and Perl (among others) where things just work. |
| 19:31:37 | <bjorkint0sh> | but hopefully I'll learn enough cabal and haskell to learn to fix these errors when they arise. |
| 19:32:10 | × | rekahsoft quits (~rekahsoft@184.148.6.204) (Remote host closed the connection) |
| 19:33:02 | → | rekahsoft joins (~rekahsoft@bras-base-orllon1103w-grc-13-184-148-6-204.dsl.bell.ca) |
| 19:33:19 | <geekosaur> | perl hasn't "just worked" for me in years, there's a LOT of bitrot on CPAN these days |
| 19:33:34 | <Rembane> | geekosaur: When did it stop working? |
| 19:33:38 | <Rembane> | ...out of curiosity |
| 19:34:10 | <geekosaur> | don't really know, but for the past several years I've needed to download stuff off of CPN and patch it |
| 19:34:25 | <bjorkint0sh> | geekosaur, luck of the draw, I guess. |
| 19:34:29 | <mauke> | I suspect the CPAN experience is highly variable |
| 19:34:34 | <Rembane> | geekosaur: Oh. Got it. |
| 19:34:37 | <mauke> | depends a lot on which modules you need |
| 19:35:08 | <geekosaur> | most recently I tried to install the Perl LSP for vscode, eventually gave up because I ran into an unending tangle of incompatible packages |
| 19:36:12 | <mauke> | geekosaur: which one? |
| 19:38:38 | <mauke> | (I'm aware of 3: Perl::LanguageServer, PLS, and PerlNavigator) |
| 19:39:27 | <geekosaur> | richterger.perl in vscode's extensions marketplace (Perl::LanguageServer apparently) |
| 19:39:38 | <geekosaur> | tried to install that, got lots of outdated modules |
| 19:39:56 | <geekosaur> | which surprised me because I usually expect to be the outdated one (hello ubuntu) |
| 19:40:30 | <mauke> | hmm, lots of MLEHMANN stuff in the dep chain :-/ |
| 19:45:04 | → | fizbin_ joins (~fizbin@user/fizbin) |
| 19:45:11 | × | euleritian quits (~euleritia@dynamic-176-003-008-221.176.3.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 19:50:29 | <monochrom> | R and Perl are interpreted not compiled. That makes package management easier. Hell, trivial. |
| 19:51:07 | <EvanR> | does perl have a type system |
| 19:51:16 | <monochrom> | Because with compiling you are at least looking at asm-level mismatches. With interpreter you always load the source code. |
| 19:51:20 | <bjorkint0sh> | yes. a dynamic one, EvanR :-) |
| 19:52:41 | <mauke> | EvanR: not really |
| 19:53:06 | <EvanR> | "no. A dynamic one" |
| 19:53:17 | <monochrom> | But even with Python and Javascript npm etc etc people end up going out of their ways to make a complex infrastructure for packages, so you know that either those people are stupid or (much more likely) this is not actually as easy as a highschool diploma warehouse manager problem. |
| 19:53:22 | <mauke> | it has a form of syntactic typing, if you will :-) |
| 19:53:43 | <EvanR> | some of these newer dynamic languages want types and try to retrofit |
| 19:53:52 | <monochrom> | At which point, https://danluu.com/cocktail-ideas/ applies. |
| 19:55:59 | <bjorkint0sh> | monochrom, I want to read this now: https://www.patreon.com/posts/61946482 |
| 19:56:09 | <bjorkint0sh> | it's an intriguing essay. |
| 19:57:11 | <mauke> | eh. "'No one thinks about moving the starting or ending point of the bridge midway through construction.' But Hillel interviewed a civil engineer who said that they had to move a bridge!" |
| 19:57:29 | <mauke> | that's not a good argument |
| 19:59:04 | <bjorkint0sh> | funny. having worked with a bridge repair crew who had to do precisely that ... |
| 19:59:46 | <monochrom> | Yikes, they have to move one endpoint of an existing bridge? |
| 20:00:20 | <darkling> | There's a rail bridge not far from here where they had to build the replacement, *then* demolish the original and move the replacement into place. |
| 20:00:22 | <bjorkint0sh> | it's not as crazy as it sounds. bridges lean in one direction or another over time, so what you do is you take a bit off one end and add more to the other end. |
| 20:00:23 | <monochrom> | It must have been epic. |
| 20:00:45 | × | Guest87 quits (~Guest95@085080252042.dynamic.telenor.dk) (Ping timeout: 250 seconds) |
| 20:00:49 | <bjorkint0sh> | pro tip. if the jack hammer bit falls out, don't touch it with your hand. |
| 20:00:55 | <bjorkint0sh> | let it cool first. |
| 20:00:58 | <darkling> | Total downtime for the rail link was about 48 hours. |
| 20:02:53 | → | causal joins (~eric@50.35.88.207) |
| 20:04:45 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Quit: No Ping reply in 180 seconds.) |
| 20:04:48 | <Rembane> | darkling: That's some serious engineering. Lovely! |
| 20:05:18 | → | barak joins (~barak@2a0d:6fc2:68c1:7200:3cf2:a87d:a02b:3e21) |
| 20:05:45 | <bjorkint0sh> | it's merely civil :-) |
| 20:05:56 | <bjorkint0sh> | polite, in fact. |
| 20:06:12 | <darkling> | As opposed to the rude mechanicals. :) |
| 20:07:04 | <bjorkint0sh> | or the Shocking electrical! |
| 20:07:08 | <bjorkint0sh> | scandalous. |
| 20:07:22 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 20:11:51 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 260 seconds) |
| 20:12:21 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 20:15:05 | → | Square2 joins (~Square4@user/square) |
| 20:17:52 | <monochrom> | I watch ElectroBoom on Youtube. Yeah he's shocking. >:) |
| 20:18:55 | <bjorkint0sh> | yes. who knew electrical engineering would be so thrilling to watch as edutainment. |
| 20:19:02 | <bjorkint0sh> | I enjoy ElectroBoom. |
| 20:33:41 | × | barak quits (~barak@2a0d:6fc2:68c1:7200:3cf2:a87d:a02b:3e21) (Ping timeout: 240 seconds) |
| 20:37:21 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 20:41:11 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 20:44:50 | <sm> | bjorkint0sh tooling aside, one specific thing that makes haskell package installs fail more than dynamic languages like r and perl is haskell's strict/static nature. As with the compiler, the package managers are more careful to enforce statically-declared types and bounds, so you see more errors at compile/install time and less at runtime |
| 20:45:07 | → | gmg joins (~user@user/gehmehgeh) |
| 20:47:04 | <sm> | which is what we want, though we'd love those errors to be clearer |
| 20:48:25 | × | segfaultfizzbuzz quits (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) (Remote host closed the connection) |
| 20:48:42 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 20:49:30 | <monochrom> | One may say that a low hanging fruit that can be solved right away is special-casing base rejection to say "ghc version mismatch". But then the Aesop fable about the international conference of mice and rodents apply. |
| 20:50:00 | <sm> | yes that would a good change |
| 20:50:46 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 20:51:19 | <sm> | >be< a good change. IRC is eating my words I'm convinced |
| 20:57:52 | → | barak joins (~barak@2a0d:6fc2:68c1:7200:3cf2:a87d:a02b:3e21) |
| 21:02:15 | <geekosaur> | the problem with which is that it'll soon hopefully be false |
| 21:02:24 | × | fizbin_ quits (~fizbin@user/fizbin) (Ping timeout: 268 seconds) |
| 21:02:41 | <geekosaur> | (9.10 contains the first steps toward reinstallable/etc. base) |
| 21:04:05 | × | AlexZenon quits (~alzenon@94.233.240.116) (Ping timeout: 240 seconds) |
| 21:09:43 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 21:11:57 | → | AlexZenon joins (~alzenon@94.233.240.116) |
| 21:15:40 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 21:16:54 | → | waleee joins (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 21:17:17 | × | barak quits (~barak@2a0d:6fc2:68c1:7200:3cf2:a87d:a02b:3e21) (Ping timeout: 240 seconds) |
| 21:17:22 | → | machinedgod joins (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 21:18:41 | × | AlexZenon quits (~alzenon@94.233.240.116) (Ping timeout: 252 seconds) |
| 21:22:41 | → | AlexZenon joins (~alzenon@94.233.240.116) |
| 21:23:25 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 21:24:45 | × | petrichor quits (~znc-user@user/petrichor) (Quit: ZNC 1.8.2 - https://znc.in) |
| 21:26:15 | → | petrichor joins (~znc-user@user/petrichor) |
| 21:31:12 | → | segfaultfizzbuzz joins (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) |
| 21:33:21 | <monochrom> | Yikes haha. Then no action needed! |
| 21:34:27 | <monochrom> | At school we are moving to a new building in half a year. So now in our current building if something is broken we're like wontfix. |
| 21:34:53 | × | oo_miguel quits (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) (Ping timeout: 240 seconds) |
| 21:35:24 | <titibandit> | f |
| 21:37:50 | × | gmg quits (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 21:41:28 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 21:43:09 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 21:43:35 | × | itaipu quits (~itaipu@168.121.98.97) (Read error: Connection reset by peer) |
| 21:45:49 | × | ph88 quits (~ph88@2a02:8109:9e26:c800:e85:7b0c:48c4:ae07) (Quit: Leaving) |
| 21:46:23 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds) |
| 21:46:36 | → | jmdaemon joins (~jmdaemon@user/jmdaemon) |
| 21:47:43 | × | michalz quits (~michalz@185.246.207.200) (Quit: ZNC 1.9.0 - https://znc.in) |
| 21:50:30 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 21:51:19 | × | segfaultfizzbuzz quits (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) (Remote host closed the connection) |
| 21:52:21 | × | notzmv quits (~daniel@user/notzmv) (Ping timeout: 268 seconds) |
| 22:00:33 | → | itaipu joins (~itaipu@168.121.98.97) |
| 22:03:10 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 22:03:57 | → | kaskal joins (~kaskal@213-147-165-88.nat.highway.webapn.at) |
| 22:04:19 | × | kaskal- quits (~kaskal@2001:4bb8:2d2:1257:60b1:1057:17df:5755) (Ping timeout: 260 seconds) |
| 22:05:23 | × | titibandit quits (~user@user/titibandit) (Ping timeout: 264 seconds) |
| 22:06:35 | × | mei quits (~mei@user/mei) (Ping timeout: 264 seconds) |
| 22:08:18 | <sm> | I don't see a problem, just a possible some day lessening of the need for this with base. Other provided-with-ghc packages also cause problems, I don't know if this future-ghc would solve all those too. But in any case people will be using cabal with current and past ghcs for a long time |
| 22:09:41 | <sm> | so I think a few such special case error messages wouldn't be a waste |
| 22:09:54 | <sm> | if anyone was thinking about giving it a go |
| 22:15:54 | → | philopsos1 joins (~caecilius@user/philopsos) |
| 22:19:25 | → | barak joins (~barak@2a0d:6fc2:68c1:7200:3cf2:a87d:a02b:3e21) |
| 22:28:07 | × | barak quits (~barak@2a0d:6fc2:68c1:7200:3cf2:a87d:a02b:3e21) (Ping timeout: 268 seconds) |
| 22:28:32 | → | pavonia joins (~user@user/siracusa) |
| 22:29:58 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 22:30:23 | × | p3n quits (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Ping timeout: 256 seconds) |
| 22:31:24 | → | p3n joins (~p3n@217.198.124.246) |
| 22:33:40 | × | jocke-l quits (jocke-l@a.x0.is) (Ping timeout: 268 seconds) |
| 22:34:11 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 22:34:23 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 22:40:56 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 22:45:52 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 22:48:00 | → | barak joins (~barak@2a0d:6fc2:68c1:7200:3cf2:a87d:a02b:3e21) |
| 22:56:29 | × | barak quits (~barak@2a0d:6fc2:68c1:7200:3cf2:a87d:a02b:3e21) (Ping timeout: 268 seconds) |
| 23:07:47 | × | jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 264 seconds) |
| 23:09:39 | → | jmdaemon joins (~jmdaemon@user/jmdaemon) |
| 23:12:32 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 23:15:36 | × | acidjnk quits (~acidjnk@p200300d6e714dc67a4c71da5dc32cdcc.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 23:17:37 | → | jocke-l joins (jocke-l@a.x0.is) |
| 23:17:59 | → | TonyStone joins (~TonyStone@user/TonyStone) |
| 23:23:02 | → | troydm joins (~troydm@user/troydm) |
| 23:24:19 | × | TonyStone quits (~TonyStone@user/TonyStone) (Remote host closed the connection) |
| 23:26:42 | × | jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 268 seconds) |
| 23:27:42 | → | TonyStone joins (~TonyStone@user/TonyStone) |
| 23:28:18 | × | Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 23:30:03 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 23:30:45 | → | jmdaemon joins (~jmdaemon@user/jmdaemon) |
| 23:33:23 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 23:37:36 | → | AlexNoo_ joins (~AlexNoo@5.139.233.96) |
| 23:41:08 | × | AlexNoo quits (~AlexNoo@94.233.240.116) (Ping timeout: 252 seconds) |
| 23:41:25 | × | joeyadams quits (~joeyadams@38.48.105.67) (Quit: Leaving) |
| 23:41:30 | × | AlexZenon quits (~alzenon@94.233.240.116) (Ping timeout: 268 seconds) |
| 23:43:50 | → | fizbin_ joins (~fizbin@user/fizbin) |
| 23:46:05 | × | philopsos1 quits (~caecilius@user/philopsos) (Ping timeout: 252 seconds) |
| 23:49:32 | → | AlexZenon joins (~alzenon@5.139.233.96) |
All times are in UTC on 2024-05-27.