| 2025-01-14 00:01:08 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-14 00:01:28 +0100 | ph88 | (~ph88@2a02:8109:9e26:c800:77c0:5b4e:4973:375e) (Read error: Connection reset by peer) |
| 2025-01-14 00:03:51 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-14 00:05:35 +0100 | alecs | (~alecs@61.pool85-58-154.dynamic.orange.es) (Ping timeout: 276 seconds) |
| 2025-01-14 00:06:34 +0100 | Square | (~Square@user/square) Square |
| 2025-01-14 00:10:00 +0100 | Square2 | (~Square4@user/square) (Ping timeout: 265 seconds) |
| 2025-01-14 00:13:06 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-01-14 00:14:35 +0100 | mange | (~user@user/mange) mange |
| 2025-01-14 00:14:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 00:16:03 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f35081469c6fc5c461d.dip0.t-ipconnect.de) acidjnk |
| 2025-01-14 00:19:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-14 00:24:52 +0100 | <haskellbridge> | <Bowuigi> I find interesting the way you propose filter to be implemented, but no clue about the rest of the talk. A blog would help yeah |
| 2025-01-14 00:25:48 +0100 | euleritian | (~euleritia@dynamic-176-006-133-150.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-01-14 00:26:31 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-14 00:30:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 00:34:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2025-01-14 00:38:23 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-01-14 00:45:26 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 00:50:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-14 00:51:31 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2025-01-14 00:51:46 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-01-14 01:00:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 01:07:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-14 01:18:52 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 01:23:07 +0100 | rini | (~rini@user/rini) (Ping timeout: 252 seconds) |
| 2025-01-14 01:23:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-14 01:24:29 +0100 | sprotte24 | (~sprotte24@p200300d16f245c002d65884199a66258.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-01-14 01:31:17 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f35081469c6fc5c461d.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-01-14 01:33:58 +0100 | rini | (~rini@user/rini) rini |
| 2025-01-14 01:39:00 +0100 | swistak | (~swistak@185.21.216.141) (Ping timeout: 252 seconds) |
| 2025-01-14 01:42:11 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@static-198-54-134-103.cust.tzulo.com) Jeanne-Kamikaze |
| 2025-01-14 01:42:27 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@static-198-54-134-103.cust.tzulo.com) (Remote host closed the connection) |
| 2025-01-14 01:42:52 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@static-198-54-134-103.cust.tzulo.com) Jeanne-Kamikaze |
| 2025-01-14 01:45:07 +0100 | swistak | (~swistak@185.21.216.141) |
| 2025-01-14 01:49:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 01:50:25 +0100 | xff0x | (~xff0x@2405:6580:b080:900:39df:db2a:91b7:da54) (Ping timeout: 248 seconds) |
| 2025-01-14 01:52:13 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2025-01-14 01:52:29 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-14 01:54:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2025-01-14 01:55:12 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2025-01-14 01:55:38 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-14 01:55:47 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2025-01-14 01:56:06 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-14 02:04:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 02:05:46 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2025-01-14 02:06:34 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) stiell |
| 2025-01-14 02:08:46 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2025-01-14 02:09:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-14 02:13:29 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2025-01-14 02:20:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 02:23:31 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2025-01-14 02:24:30 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-01-14 02:24:50 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-14 02:29:11 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2025-01-14 02:35:22 +0100 | otto_s | (~user@p5de2fe2f.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-01-14 02:35:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 02:37:02 +0100 | otto_s | (~user@p4ff272c8.dip0.t-ipconnect.de) |
| 2025-01-14 02:40:39 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 246 seconds) |
| 2025-01-14 02:42:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-14 02:48:03 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-01-14 02:51:54 +0100 | JamesMowery4395 | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) JamesMowery |
| 2025-01-14 02:53:33 +0100 | JamesMowery439 | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (Ping timeout: 244 seconds) |
| 2025-01-14 02:53:33 +0100 | JamesMowery4395 | JamesMowery439 |
| 2025-01-14 02:53:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 02:58:13 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-14 03:00:09 +0100 | ryanbooker | (uid4340@id-4340.hampstead.irccloud.com) ryanbooker |
| 2025-01-14 03:01:29 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-14 03:09:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 03:13:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-14 03:22:18 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
| 2025-01-14 03:23:55 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@static-198-54-134-103.cust.tzulo.com) (Quit: Leaving) |
| 2025-01-14 03:24:13 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-01-14 03:24:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 03:29:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-14 03:29:57 +0100 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2025-01-14 03:30:18 +0100 | potatoespotatoes | (~quassel@130.44.147.204) |
| 2025-01-14 03:30:28 +0100 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2025-01-14 03:33:18 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 245 seconds) |
| 2025-01-14 03:37:34 +0100 | dmwit | (~dmwit@pool-173-66-76-243.washdc.fios.verizon.net) dmwit |
| 2025-01-14 03:39:09 +0100 | <dmwit> | I have foo.c. I'd like cabal to be in charge of creating foo.so and making foo.so available, perhaps through the Paths_mypackagename mechanism. Can I convince it to do that somehow? (Directly linking with foo.o or foo.a isn't enough, as I am going to fork a separate program that wants this .so to be available.) |
| 2025-01-14 03:41:39 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 260 seconds) |
| 2025-01-14 03:42:01 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-01-14 03:43:15 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-01-14 03:45:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 03:46:21 +0100 | potatoespotatoes | (~quassel@130.44.147.204) (Changing host) |
| 2025-01-14 03:46:21 +0100 | potatoespotatoes | (~quassel@user/potatoespotatoes) potatoespotatoes |
| 2025-01-14 03:47:02 +0100 | potatoespotatoes | (~quassel@user/potatoespotatoes) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2025-01-14 03:47:11 +0100 | <geekosaur> | https://cabal.readthedocs.io/en/stable/cabal-package-description-file.html#foreign-libraries with an empty list of Haskell modules? |
| 2025-01-14 03:47:16 +0100 | potatoespotatoes | (~quassel@130.44.147.204) |
| 2025-01-14 03:48:07 +0100 | potatoespotatoes | (~quassel@130.44.147.204) (Changing host) |
| 2025-01-14 03:48:07 +0100 | potatoespotatoes | (~quassel@user/potatoespotatoes) potatoespotatoes |
| 2025-01-14 03:50:27 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-14 03:51:39 +0100 | potatoespotatoes | (~quassel@user/potatoespotatoes) (Client Quit) |
| 2025-01-14 03:51:57 +0100 | potatoespotatoes | (~quassel@user/potatoespotatoes) potatoespotatoes |
| 2025-01-14 03:54:49 +0100 | <dmwit> | Interesting. That will probably add in a linker dependency on the Haskell runtime but that might not be a problem. Let me play with it, thanks for the suggestion. |
| 2025-01-14 03:58:23 +0100 | Guest5 | (~Guest29@2403-5805-c700-0-f01e-fad9-5333-2933.ip6.aussiebb.net) |
| 2025-01-14 04:01:07 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 04:02:37 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-01-14 04:03:33 +0100 | <Guest5> | Hi, I’ve messed up my setup, which means no xmonad and no GUI. While updating, the Haskell packages didn’t want to update so I uninstalled them to reinstall them, but now they all fail (other than GHC) with “cannot satisfy -package gtk2hs-buildtools“. I tried “emerge —oneshot —nodeps gtk2hs-buildtools” but that failed with the same |
| 2025-01-14 04:03:34 +0100 | <Guest5> | error. I’d send a paste but I don’t have xmonad so I don’t have a GUI anymore |
| 2025-01-14 04:04:06 +0100 | swistak | (~swistak@185.21.216.141) (Ping timeout: 272 seconds) |
| 2025-01-14 04:05:32 +0100 | <dmwit> | What tool are you using to install/uninstall packages? What does ghc-pkg list gtk2hs-buildtools say? |
| 2025-01-14 04:05:37 +0100 | <Guest5> | Of course haskell-updater didn’t work, I’m pretty sure it didn’t even try to build any packages |
| 2025-01-14 04:06:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-14 04:07:06 +0100 | <Guest5> | ghc-pkg list gtk2hs-buildtools says “no packages”, with the conf file being inside ~/.ghcup, which I didn’t know I had installed (maybe stack did that) |
| 2025-01-14 04:07:16 +0100 | potatoespotatoes | (~quassel@user/potatoespotatoes) () |
| 2025-01-14 04:07:44 +0100 | <Guest5> | And to install packages system wide I use emerge, and I use stack or cabal per-project |
| 2025-01-14 04:08:14 +0100 | <dmwit> | Is it possible that emerge and stack/cabal are choosing different GHC versions/installations? |
| 2025-01-14 04:08:30 +0100 | potatoespotatoes | (~quassel@130.44.147.204) |
| 2025-01-14 04:08:30 +0100 | potatoespotatoes | (~quassel@130.44.147.204) (Changing host) |
| 2025-01-14 04:08:30 +0100 | potatoespotatoes | (~quassel@user/potatoespotatoes) potatoespotatoes |
| 2025-01-14 04:09:24 +0100 | <Guest5> | It is, I will uninstall GHC with emerge and see if there’s another system-wide one for Cabal hiding somewhere |
| 2025-01-14 04:09:49 +0100 | <dmwit> | ghcup tui will show you what's happening in ~/.ghcup for what it's worth |
| 2025-01-14 04:09:57 +0100 | Guest5 | (~Guest29@2403-5805-c700-0-f01e-fad9-5333-2933.ip6.aussiebb.net) (Quit: Client closed) |
| 2025-01-14 04:10:01 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (*.net *.split) |
| 2025-01-14 04:10:01 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (*.net *.split) |
| 2025-01-14 04:10:01 +0100 | Sgeo | (~Sgeo@user/sgeo) (*.net *.split) |
| 2025-01-14 04:10:01 +0100 | notzmv | (~umar@user/notzmv) (*.net *.split) |
| 2025-01-14 04:10:01 +0100 | avidseeker | (av@user/avidseeker) (*.net *.split) |
| 2025-01-14 04:10:01 +0100 | OftenFaded | (~OftenFade@user/tisktisk) (*.net *.split) |
| 2025-01-14 04:10:01 +0100 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) (*.net *.split) |
| 2025-01-14 04:10:02 +0100 | terrorjack45 | (~terrorjac@2a01:4f8:c17:a66e::) (*.net *.split) |
| 2025-01-14 04:10:02 +0100 | img | (~img@user/img) (*.net *.split) |
| 2025-01-14 04:10:02 +0100 | op_4 | (~tslil@user/op-4/x-9116473) (*.net *.split) |
| 2025-01-14 04:10:02 +0100 | petrichor | (~znc-user@user/petrichor) (*.net *.split) |
| 2025-01-14 04:10:02 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (*.net *.split) |
| 2025-01-14 04:10:02 +0100 | Me-me | (~me-me@user/me-me) (*.net *.split) |
| 2025-01-14 04:10:02 +0100 | tomboy64 | (~tomboy64@user/tomboy64) (*.net *.split) |
| 2025-01-14 04:10:02 +0100 | YuutaW | (~YuutaW@2404:f4c0:f9c3:502::100:17b7) (*.net *.split) |
| 2025-01-14 04:10:02 +0100 | haritz | (~hrtz@user/haritz) (*.net *.split) |
| 2025-01-14 04:10:02 +0100 | zero | (~z@user/zero) (*.net *.split) |
| 2025-01-14 04:10:02 +0100 | migas9778 | (~migas@static.140.65.63.178.clients.your-server.de) (*.net *.split) |
| 2025-01-14 04:10:02 +0100 | jrm | (~jrm@user/jrm) (*.net *.split) |
| 2025-01-14 04:10:03 +0100 | tessier | (~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) (*.net *.split) |
| 2025-01-14 04:10:03 +0100 | stilgart | (~Christoph@chezlefab.net) (*.net *.split) |
| 2025-01-14 04:10:03 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (*.net *.split) |
| 2025-01-14 04:10:03 +0100 | nshepperd2 | (~nshepperd@2a01:4f9:3b:4cc9::2) (*.net *.split) |
| 2025-01-14 04:10:03 +0100 | nadja | (~dequbed@banana-new.kilobyte22.de) (*.net *.split) |
| 2025-01-14 04:10:03 +0100 | foul_owl | (~kerry@185.203.219.80) (*.net *.split) |
| 2025-01-14 04:10:03 +0100 | nurupo | (~nurupo.ga@user/nurupo) (*.net *.split) |
| 2025-01-14 04:10:03 +0100 | meinside | (uid24933@id-24933.helmsley.irccloud.com) (*.net *.split) |
| 2025-01-14 04:10:03 +0100 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (*.net *.split) |
| 2025-01-14 04:10:03 +0100 | zlqrvx | (~zlqrvx@user/zlqrvx) (*.net *.split) |
| 2025-01-14 04:10:03 +0100 | ycp | (~znc@user/dragestil) (*.net *.split) |
| 2025-01-14 04:10:03 +0100 | jathan | (~jathan@69.61.93.38) (*.net *.split) |
| 2025-01-14 04:10:03 +0100 | sprout | (~sprout@84-80-106-227.fixed.kpn.net) (*.net *.split) |
| 2025-01-14 04:10:03 +0100 | Ekho | (~Ekho@user/ekho) (*.net *.split) |
| 2025-01-14 04:10:04 +0100 | Ranhir | (~Ranhir@157.97.53.139) (*.net *.split) |
| 2025-01-14 04:10:04 +0100 | bliminse | (~bliminse@user/bliminse) (*.net *.split) |
| 2025-01-14 04:10:04 +0100 | tdammers | (~tdammers@110-136-178-143.ftth.glasoperator.nl) (*.net *.split) |
| 2025-01-14 04:10:04 +0100 | mzg | (mzg@abusers.hu) (*.net *.split) |
| 2025-01-14 04:10:04 +0100 | Goodbye_Vincent1 | (cyvahl@freakshells.net) (*.net *.split) |
| 2025-01-14 04:14:33 +0100 | Guest57 | (~Guest29@2403-5805-c700-0-f01e-fad9-5333-2933.ip6.aussiebb.net) |
| 2025-01-14 04:15:03 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-01-14 04:15:03 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-14 04:15:03 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-01-14 04:15:03 +0100 | notzmv | (~umar@user/notzmv) notzmv |
| 2025-01-14 04:15:03 +0100 | avidseeker | (av@user/avidseeker) avidseeker |
| 2025-01-14 04:15:03 +0100 | OftenFaded | (~OftenFade@user/tisktisk) OftenFaded |
| 2025-01-14 04:15:03 +0100 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) sciencentistguy |
| 2025-01-14 04:15:03 +0100 | terrorjack45 | (~terrorjac@2a01:4f8:c17:a66e::) terrorjack |
| 2025-01-14 04:15:03 +0100 | img | (~img@user/img) img |
| 2025-01-14 04:15:03 +0100 | op_4 | (~tslil@user/op-4/x-9116473) op_4 |
| 2025-01-14 04:15:03 +0100 | petrichor | (~znc-user@user/petrichor) petrichor |
| 2025-01-14 04:15:03 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-01-14 04:15:03 +0100 | Me-me | (~me-me@user/me-me) Me-me |
| 2025-01-14 04:15:03 +0100 | tomboy64 | (~tomboy64@user/tomboy64) tomboy64 |
| 2025-01-14 04:15:03 +0100 | YuutaW | (~YuutaW@2404:f4c0:f9c3:502::100:17b7) YuutaW |
| 2025-01-14 04:15:03 +0100 | haritz | (~hrtz@user/haritz) haritz |
| 2025-01-14 04:15:03 +0100 | zero | (~z@user/zero) zero |
| 2025-01-14 04:15:03 +0100 | migas9778 | (~migas@static.140.65.63.178.clients.your-server.de) migas |
| 2025-01-14 04:15:03 +0100 | jrm | (~jrm@user/jrm) jrm |
| 2025-01-14 04:15:03 +0100 | tessier | (~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) tessier |
| 2025-01-14 04:15:03 +0100 | stilgart | (~Christoph@chezlefab.net) stilgart |
| 2025-01-14 04:15:03 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-01-14 04:15:03 +0100 | nshepperd2 | (~nshepperd@2a01:4f9:3b:4cc9::2) nshepperd |
| 2025-01-14 04:15:03 +0100 | nadja | (~dequbed@banana-new.kilobyte22.de) dequbed |
| 2025-01-14 04:15:03 +0100 | foul_owl | (~kerry@185.203.219.80) foul_owl |
| 2025-01-14 04:15:03 +0100 | nurupo | (~nurupo.ga@user/nurupo) nurupo |
| 2025-01-14 04:15:03 +0100 | meinside | (uid24933@id-24933.helmsley.irccloud.com) meinside |
| 2025-01-14 04:15:03 +0100 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) {-d0t-} |
| 2025-01-14 04:15:03 +0100 | zlqrvx | (~zlqrvx@user/zlqrvx) zlqrvx |
| 2025-01-14 04:15:03 +0100 | ycp | (~znc@user/dragestil) dragestil |
| 2025-01-14 04:15:03 +0100 | jathan | (~jathan@69.61.93.38) jathan |
| 2025-01-14 04:15:03 +0100 | sprout | (~sprout@84-80-106-227.fixed.kpn.net) sprout |
| 2025-01-14 04:15:03 +0100 | Ekho | (~Ekho@user/ekho) Ekho |
| 2025-01-14 04:15:03 +0100 | Ranhir | (~Ranhir@157.97.53.139) Ranhir |
| 2025-01-14 04:15:03 +0100 | bliminse | (~bliminse@user/bliminse) bliminse |
| 2025-01-14 04:15:03 +0100 | tdammers | (~tdammers@110-136-178-143.ftth.glasoperator.nl) tdammers |
| 2025-01-14 04:15:03 +0100 | mzg | (mzg@abusers.hu) |
| 2025-01-14 04:15:03 +0100 | Goodbye_Vincent1 | (cyvahl@freakshells.net) Goodbye_Vincent |
| 2025-01-14 04:15:04 +0100 | img | (~img@user/img) (Max SendQ exceeded) |
| 2025-01-14 04:15:18 +0100 | <Guest57> | I got disconnected, did anyone say anything after 14:09? I am Guest5 |
| 2025-01-14 04:15:18 +0100 | img | (~img@user/img) img |
| 2025-01-14 04:16:36 +0100 | <Guest57> | Well, [current-hour]:09 |
| 2025-01-14 04:17:11 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 04:20:05 +0100 | <geekosaur> | nope |
| 2025-01-14 04:22:57 +0100 | <dmwit> | I told you that ghcup tui would tell you about what ghcup knows. |
| 2025-01-14 04:23:07 +0100 | <dmwit> | Not sure whether that was after :09 or not. |
| 2025-01-14 04:24:14 +0100 | <dmwit> | geekosaur: So I can see that foreign-library results in a library being built into dist-newstyle, but I'm not sure how I'm meant to access that library('s directory) from within my application. At the very least cabal hasn't added the directory to any environment variables. |
| 2025-01-14 04:24:19 +0100 | swistak | (~swistak@185.21.216.141) |
| 2025-01-14 04:24:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2025-01-14 04:24:38 +0100 | <Guest57> | ghcup tui says I have an install of stack, cabal, and 10 GHC versions |
| 2025-01-14 04:25:00 +0100 | <dmwit> | scary =P |
| 2025-01-14 04:25:17 +0100 | <geekosaur> | does it actually say they're installed, or just available? |
| 2025-01-14 04:25:46 +0100 | <Guest57> | Systemwide version is 9.8.2 and ghcup version is 9.4.8. I tried downgrading but didn’t work |
| 2025-01-14 04:26:01 +0100 | <Guest57> | Well, they don’t say anything, they’re just green |
| 2025-01-14 04:26:39 +0100 | <geekosaur> | ghcup won't know about the system-wide version, and having both will lead to confusion at best and brokenness at worst |
| 2025-01-14 04:26:42 +0100 | <geekosaur> | pick one |
| 2025-01-14 04:27:00 +0100 | <Guest57> | If two greens mean installed, then only GHC 9.4.8 is installed, along with stack and cabal |
| 2025-01-14 04:27:22 +0100 | <geekosaur> | two green checkmarks means it's the default |
| 2025-01-14 04:27:28 +0100 | <dmwit> | Two green checks means default, one means installed, zero means available. |
| 2025-01-14 04:27:33 +0100 | Everything | (~Everythin@195.138.86.118) (Ping timeout: 252 seconds) |
| 2025-01-14 04:28:07 +0100 | <geekosaur> | dmwit, I don't really know what happens after it's built, that's probably a #hackage question |
| 2025-01-14 04:28:21 +0100 | <Guest57> | Well, my problem is emerge failures, I don’t see how ghcup will affect those when I merge under root, which doesn’t have any of my local ghcup stuff in its path |
| 2025-01-14 04:28:32 +0100 | <dmwit> | Wow. That is not a channel I would have guessed. Okay, thanks. |
| 2025-01-14 04:28:43 +0100 | <geekosaur> | if you have a different ghc in your $PATH when you run emerge then things will get mixed up |
| 2025-01-14 04:29:01 +0100 | <geekosaur> | decide whether you are using emerge or ghcup, and get rid of the one you're not using |
| 2025-01-14 04:29:13 +0100 | <dmwit> | I wouldn't be too surprised if you have multiple versions installed even without considering what ghcup's done in $HOME |
| 2025-01-14 04:29:13 +0100 | <haskellbridge> | <maerwald> I don't think so |
| 2025-01-14 04:29:43 +0100 | <haskellbridge> | <maerwald> I'm pretty sure there's environment sanitization when emerge is run |
| 2025-01-14 04:29:54 +0100 | <haskellbridge> | <maerwald> Especially since it's not run as the user |
| 2025-01-14 04:31:26 +0100 | Guest57 | (~Guest29@2403-5805-c700-0-f01e-fad9-5333-2933.ip6.aussiebb.net) (Quit: Client closed) |
| 2025-01-14 04:33:47 +0100 | hueso | (~root@user/hueso) (Ping timeout: 244 seconds) |
| 2025-01-14 04:34:59 +0100 | Guest38 | (~Guest29@2403-5805-c700-0-f01e-fad9-5333-2933.ip6.aussiebb.net) |
| 2025-01-14 04:35:13 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 04:36:35 +0100 | hueso | (~root@user/hueso) hueso |
| 2025-01-14 04:38:48 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-14 04:38:49 +0100 | <dmwit> | I mean I guess I don't really know what's going wrong. Perhaps you can find out a bit more about what emerge is doing with a --verbose or something? |
| 2025-01-14 04:39:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-14 04:42:34 +0100 | <Guest38> | All the logs say the same thing, that is, gtk2hs-buildtools couldn’t be found by the inner cabal that emerge uses. Of course, because it isn’t installed yet. I reinstalled cabal to see if that would change anything, but no luck |
| 2025-01-14 04:45:14 +0100 | <dmwit> | If you can find out what exact cabal command it's running, that might help explain why it believes it needs gtk2hs-buildtools. |
| 2025-01-14 04:45:36 +0100 | <dmwit> | That's a very unusual dependency, it should only be needed when installing things that depend on gtk2hs, which are bindings to a GUI library. |
| 2025-01-14 04:46:26 +0100 | <dmwit> | ...although if emerge and your shell are choosing different GHC versions, then the ghc-pkg command I suggested earlier will need to be tweaked. Can you try it again as root? ghc-pkg list gtk2hs-buildtools |
| 2025-01-14 04:46:54 +0100 | <dmwit> | (One hypothesis is that GHC's package database is broken; if it were, this might reveal that.) |
| 2025-01-14 04:47:44 +0100 | <dmwit> | (root or whatever user emerge runs as, I guess) |
| 2025-01-14 04:50:35 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 04:55:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-14 04:57:01 +0100 | avidseeker | (av@user/avidseeker) () |
| 2025-01-14 04:59:45 +0100 | avidseeker | (av@user/avidseeker) avidseeker |
| 2025-01-14 05:01:15 +0100 | <Guest38> | ‘ghc-pkg list’ with no package argument gives what looks like standard libraries such as base, binary, template-Haskell, parsec, mtl, and Cabal. There are more but I am on my phone so don’t want to type them out |
| 2025-01-14 05:02:35 +0100 | <dmwit> | If none of them say "broken" afterwards then that hypothesis is out. |
| 2025-01-14 05:02:47 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 05:03:17 +0100 | <dmwit> | At this point without the exact cabal command I don't think there's much folks here can do for you. |
| 2025-01-14 05:03:50 +0100 | <Guest38> | The command turned out to not be cabal, it was just ghc -hide-all-packages -package Cabal -package array … -package xhtml -package gtk2hs-buildtools —make … |
| 2025-01-14 05:04:43 +0100 | <Guest38> | The only packages listed here not in my ghc-pkg list are gtk2hs-buildtools and xhtml |
| 2025-01-14 05:04:57 +0100 | <dmwit> | Okay. What tool crafted this command line? |
| 2025-01-14 05:05:31 +0100 | <Guest38> | Never mind, xhtml is in the command line |
| 2025-01-14 05:05:47 +0100 | saulosilva | (~saulosilv@2804:14c:b525:8032:5d21:a3da:d197:21e9) saulosilva |
| 2025-01-14 05:06:34 +0100 | <Guest38> | Probably cabal. I’m seeing this in the emerge build.log after “Using cabal-3.8.2.0” inside “configuring source…” |
| 2025-01-14 05:06:50 +0100 | <Guest38> | It’s making Setup.lhs |
| 2025-01-14 05:07:03 +0100 | <dmwit> | ...so like I said: we need the exact cabal command. |
| 2025-01-14 05:07:45 +0100 | <saulosilva> | Hello |
| 2025-01-14 05:07:52 +0100 | Guest38 | (~Guest29@2403-5805-c700-0-f01e-fad9-5333-2933.ip6.aussiebb.net) (Quit: Client closed) |
| 2025-01-14 05:08:32 +0100 | <saulosilva> | What resources should i check out first regarding functional paradigm? |
| 2025-01-14 05:08:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-14 05:10:25 +0100 | Guest79 | (~Guest29@2403-5805-c700-0-f01e-fad9-5333-2933.ip6.aussiebb.net) |
| 2025-01-14 05:10:55 +0100 | <dmwit> | The Haskell wiki has a long list of tutorials, and some guidance on how to pick one. |
| 2025-01-14 05:11:14 +0100 | <dmwit> | https://wiki.haskell.org/index.php?title=Tutorials |
| 2025-01-14 05:11:16 +0100 | <Guest79> | Ah, I just realized I’m in #haskell rather than #haskell-gentoo. No wonder things weren’t adding up. Sorry dmwit and all, I’ll move this over there |
| 2025-01-14 05:13:17 +0100 | Guest79 | (~Guest29@2403-5805-c700-0-f01e-fad9-5333-2933.ip6.aussiebb.net) (Client Quit) |
| 2025-01-14 05:13:30 +0100 | swistak | (~swistak@185.21.216.141) (Ping timeout: 276 seconds) |
| 2025-01-14 05:19:27 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 05:19:57 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-01-14 05:24:02 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-14 05:31:14 +0100 | <Axman6> | I think the System-F FP course does a good job of introducing functional programming in general (particularly strongly typed, pure functional), but I may be a bit biased |
| 2025-01-14 05:34:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 05:40:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-14 05:44:14 +0100 | dysthesis | (~dysthesis@user/dysthesis) dysthesis |
| 2025-01-14 05:51:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 05:58:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-14 06:03:24 +0100 | swistak | (~swistak@185.21.216.141) |
| 2025-01-14 06:09:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 06:13:53 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-14 06:14:20 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-01-14 06:20:17 +0100 | dontdieych2 | (~quassel@user/dontdieych2) dontdieych2 |
| 2025-01-14 06:24:35 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 06:28:51 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2025-01-14 06:36:27 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Remote host closed the connection) |
| 2025-01-14 06:39:58 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 06:41:03 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-14 06:43:14 +0100 | michalz | (~michalz@185.246.207.197) |
| 2025-01-14 06:44:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-14 06:53:56 +0100 | ft | (~ft@p4fc2a354.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-01-14 06:55:20 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 06:59:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-14 07:03:46 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-01-14 07:03:47 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 07:07:07 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 265 seconds) |
| 2025-01-14 07:08:07 +0100 | euleritian | (~euleritia@dynamic-176-006-128-096.176.6.pool.telefonica.de) |
| 2025-01-14 07:08:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-14 07:10:17 +0100 | euleritian | (~euleritia@dynamic-176-006-128-096.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-01-14 07:10:37 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-14 07:16:50 +0100 | Square2 | (~Square4@user/square) Square |
| 2025-01-14 07:19:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 07:20:09 +0100 | swistak | (~swistak@185.21.216.141) (Ping timeout: 244 seconds) |
| 2025-01-14 07:21:00 +0100 | Square | (~Square@user/square) (Ping timeout: 252 seconds) |
| 2025-01-14 07:22:48 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2025-01-14 07:23:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-14 07:28:42 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-14 07:29:37 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
| 2025-01-14 07:32:06 +0100 | euleritian | (~euleritia@dynamic-176-001-018-193.176.1.pool.telefonica.de) |
| 2025-01-14 07:34:31 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 07:39:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-14 07:39:51 +0100 | ryanbooker | (uid4340@id-4340.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-01-14 07:47:37 +0100 | doyougnu | (~doyougnu@syn-045-046-170-068.res.spectrum.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-01-14 07:50:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 07:51:54 +0100 | doyougnu | (~doyougnu@syn-045-046-170-068.res.spectrum.com) doyougnu |
| 2025-01-14 07:54:21 +0100 | CiaoSen | (~Jura@2a05:5800:2eb:a800:ca4b:d6ff:fec1:99da) CiaoSen |
| 2025-01-14 07:54:38 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-01-14 07:55:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2025-01-14 07:55:29 +0100 | swistak | (~swistak@185.21.216.141) |
| 2025-01-14 07:58:20 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-14 07:59:08 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-01-14 07:59:08 +0100 | tnt2 | tnt1 |
| 2025-01-14 08:04:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 08:09:43 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2025-01-14 08:10:24 +0100 | dysthesis | (~dysthesis@user/dysthesis) (Ping timeout: 264 seconds) |
| 2025-01-14 08:11:17 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f533582140b26ca98c6.dip0.t-ipconnect.de) acidjnk |
| 2025-01-14 08:12:40 +0100 | saulosilva | (~saulosilv@2804:14c:b525:8032:5d21:a3da:d197:21e9) (Ping timeout: 240 seconds) |
| 2025-01-14 08:13:16 +0100 | rvalue- | (~rvalue@user/rvalue) rvalue |
| 2025-01-14 08:13:57 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 248 seconds) |
| 2025-01-14 08:16:48 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-14 08:19:42 +0100 | rvalue- | rvalue |
| 2025-01-14 08:20:11 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 08:24:56 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-14 08:25:40 +0100 | swistak | (~swistak@185.21.216.141) (Ping timeout: 272 seconds) |
| 2025-01-14 08:26:00 +0100 | saulosilva | (~saulosilv@2804:14c:b525:8032:2178:624d:5387:e840) saulosilva |
| 2025-01-14 08:26:16 +0100 | swistak | (~swistak@185.21.216.141) |
| 2025-01-14 08:29:09 +0100 | euleritian | (~euleritia@dynamic-176-001-018-193.176.1.pool.telefonica.de) (Ping timeout: 276 seconds) |
| 2025-01-14 08:29:10 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2025-01-14 08:29:48 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-14 08:30:30 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2025-01-14 08:35:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 08:36:03 +0100 | swistak | (~swistak@185.21.216.141) (Ping timeout: 265 seconds) |
| 2025-01-14 08:38:52 +0100 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2025-01-14 08:42:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-14 08:50:58 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2025-01-14 08:51:31 +0100 | alecs | (~alecs@nat16.software.imdea.org) alecs |
| 2025-01-14 08:53:05 +0100 | swistak | (~swistak@185.21.216.141) |
| 2025-01-14 08:53:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 08:56:35 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-01-14 08:58:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-14 08:59:03 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
| 2025-01-14 09:00:01 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-01-14 09:00:39 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2025-01-14 09:03:11 +0100 | saulosilva | (~saulosilv@2804:14c:b525:8032:2178:624d:5387:e840) (Quit: Client closed) |
| 2025-01-14 09:04:27 +0100 | akegalj | (~akegalj@89-172-71-66.adsl.net.t-com.hr) akegalj |
| 2025-01-14 09:05:51 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 09:10:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-14 09:11:24 +0100 | swistak | (~swistak@185.21.216.141) (Ping timeout: 276 seconds) |
| 2025-01-14 09:13:15 +0100 | hawer | (~newyear@2.219.56.221) |
| 2025-01-14 09:18:37 +0100 | swistak | (~swistak@185.21.216.141) |
| 2025-01-14 09:24:07 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f533582140b26ca98c6.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2025-01-14 09:25:09 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-01-14 09:30:21 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 244 seconds) |
| 2025-01-14 09:30:59 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-14 09:31:27 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2025-01-14 09:32:01 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f533582140b26ca98c6.dip0.t-ipconnect.de) |
| 2025-01-14 09:32:36 +0100 | euleritian | (~euleritia@dynamic-176-006-136-008.176.6.pool.telefonica.de) |
| 2025-01-14 09:33:14 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-01-14 09:41:21 +0100 | kuribas | (~user@2a02:1808:80:3b72:47fa:cf83:67e6:7339) kuribas |
| 2025-01-14 09:41:53 +0100 | eL_Bart0 | (eL_Bart0@dietunichtguten.org) |
| 2025-01-14 09:44:06 +0100 | <kuribas> | It is possible to represent a lambda using ski combinators. Could you use this to represent a polytype (forall a. ...)? |
| 2025-01-14 09:44:58 +0100 | <kuribas> | This way you could avoid variable substitution. |
| 2025-01-14 09:48:00 +0100 | <kuribas> | "forall a.a" would be I, "forall a. a -> a" would be "S (->) I" |
| 2025-01-14 09:48:20 +0100 | chele | (~chele@user/chele) chele |
| 2025-01-14 09:49:28 +0100 | <haskellbridge> | <Bowuigi> Those definitions wouldn't work |
| 2025-01-14 09:49:54 +0100 | CiaoSen | (~Jura@2a05:5800:2eb:a800:ca4b:d6ff:fec1:99da) (Ping timeout: 272 seconds) |
| 2025-01-14 09:50:21 +0100 | <haskellbridge> | <Bowuigi> But type level SKI with (->) and a forall function definitely would (tho you need type lambdas) |
| 2025-01-14 09:50:59 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-14 09:51:51 +0100 | <haskellbridge> | <Bowuigi> This forall function, of kind "(k -> *) -> *", would be used like "forall (\a -> a -> a)" |
| 2025-01-14 09:51:58 +0100 | <probie> | Isn't "forall" the type level lambda? |
| 2025-01-14 09:52:39 +0100 | <haskellbridge> | <Bowuigi> No, forall is a quantifier, not a lambda |
| 2025-01-14 09:53:15 +0100 | <haskellbridge> | <Bowuigi> It can't be applied at the type level, but rather at the term level with a type application |
| 2025-01-14 09:54:45 +0100 | swistak | (~swistak@185.21.216.141) (Ping timeout: 248 seconds) |
| 2025-01-14 09:54:46 +0100 | <haskellbridge> | <Bowuigi> Either way, this type-level SKI system is somewhat impractical, so nowadays it's better to use Normalization-by-Evaluation instead, which is likely faster |
| 2025-01-14 09:54:52 +0100 | <kuribas> | forall is kind of a type level lambda |
| 2025-01-14 09:55:46 +0100 | <kuribas> | It's just applied implicitly when using HM inference. |
| 2025-01-14 09:56:54 +0100 | <haskellbridge> | <Bowuigi> It's a binder, like a lambda, but it can't be applied at the type level like a type lambda |
| 2025-01-14 09:57:28 +0100 | <haskellbridge> | <Bowuigi> Here, binder means "brings a new variable into scope" |
| 2025-01-14 09:59:28 +0100 | <haskellbridge> | <Bowuigi> HM can infer type applications, which occur at the term level and instance foralls at the type level. Type level application works directly at the type level, no terms are involved |
| 2025-01-14 10:00:03 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-01-14 10:00:49 +0100 | <probie> | I think Bowuigi is right. If I have a function `Λα.λ(x:α).x` it has type `forall α. α -> α`. The `forall` isn't any kind of lambda, it just "lines up" with them. If it was a lambda, you'd be able to apply it, but I can't say `(forall a . Maybe a) Int` to mean `Maybe Int` |
| 2025-01-14 10:01:02 +0100 | swistak | (~swistak@185.21.216.141) |
| 2025-01-14 10:01:18 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 2025-01-14 10:01:18 +0100 | kuribas | (~user@2a02:1808:80:3b72:47fa:cf83:67e6:7339) (Ping timeout: 272 seconds) |
| 2025-01-14 10:01:39 +0100 | <tomsmeding> | I think kuribas (who left) was talking about applying them on the type level, not on the value level |
| 2025-01-14 10:02:15 +0100 | <tomsmeding> | and you can, to a certain extent -- only if the forall is on a newtype |
| 2025-01-14 10:02:22 +0100 | <tomsmeding> | % type I = forall a. a -> a |
| 2025-01-14 10:02:22 +0100 | <yahb2> | <no output> |
| 2025-01-14 10:02:29 +0100 | <tomsmeding> | % :k I @Int |
| 2025-01-14 10:02:29 +0100 | <yahb2> | <interactive>:1:1: error: [GHC-20967] ; • Cannot apply function of kind ‘*’ ; to visible kind argument ‘Int’ ; • In the type ‘I @Int’ |
| 2025-01-14 10:03:12 +0100 | <haskellbridge> | <Bowuigi> Yeah mixing foralls and type level lambdas happens sometimes |
| 2025-01-14 10:03:39 +0100 | <tomsmeding> | well sometimes it looks like you _can_ apply them with TypeApplications |
| 2025-01-14 10:03:43 +0100 | <tomsmeding> | just not in enough cases for this to work |
| 2025-01-14 10:03:57 +0100 | gorignak | (~gorignak@user/gorignak) (Read error: Connection reset by peer) |
| 2025-01-14 10:04:26 +0100 | <tomsmeding> | % :t map |
| 2025-01-14 10:04:26 +0100 | <yahb2> | map :: forall a b. (a -> b) -> [a] -> [b] |
| 2025-01-14 10:04:31 +0100 | <tomsmeding> | % :t map @Int |
| 2025-01-14 10:04:31 +0100 | <yahb2> | map @Int :: forall b. (Int -> b) -> [Int] -> [b] |
| 2025-01-14 10:04:36 +0100 | <tomsmeding> | I just applied a forall |
| 2025-01-14 10:04:41 +0100 | <tomsmeding> | kinda |
| 2025-01-14 10:04:41 +0100 | <haskellbridge> | <Bowuigi> "type I = forall (a :: k). ()" should work tho, because you are instancing the k |
| 2025-01-14 10:05:02 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-01-14 10:05:03 +0100 | <tomsmeding> | % type I = forall (a :: k). () |
| 2025-01-14 10:05:03 +0100 | <yahb2> | <interactive>:19:23: error: [GHC-76037] ; Not in scope: type variable ‘k’ |
| 2025-01-14 10:05:06 +0100 | <tomsmeding> | % :set -XPolyKinds |
| 2025-01-14 10:05:06 +0100 | <yahb2> | <no output> |
| 2025-01-14 10:05:08 +0100 | <tomsmeding> | % type I = forall (a :: k). () |
| 2025-01-14 10:05:08 +0100 | <yahb2> | <interactive>:23:23: error: [GHC-76037] ; Not in scope: type variable ‘k’ |
| 2025-01-14 10:05:13 +0100 | <tomsmeding> | % type I = forall k (a :: k). () |
| 2025-01-14 10:05:13 +0100 | <yahb2> | <no output> |
| 2025-01-14 10:05:15 +0100 | <tomsmeding> | and then? |
| 2025-01-14 10:05:22 +0100 | <tomsmeding> | % :k I @Int |
| 2025-01-14 10:05:22 +0100 | <yahb2> | <interactive>:1:1: error: [GHC-20967] ; • Cannot apply function of kind ‘*’ ; to visible kind argument ‘Int’ ; • In the type ‘I @Int’ |
| 2025-01-14 10:05:28 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f533582140b26ca98c6.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2025-01-14 10:05:47 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f539c942177b6544d5d.dip0.t-ipconnect.de) acidjnk |
| 2025-01-14 10:06:08 +0100 | <haskellbridge> | <Bowuigi> Uhhh what |
| 2025-01-14 10:06:54 +0100 | <tomsmeding> | is this TypeInType biting us? |
| 2025-01-14 10:07:14 +0100 | <haskellbridge> | <Bowuigi> Oh I'm dumb, you need kind annotations |
| 2025-01-14 10:07:23 +0100 | <haskellbridge> | <Bowuigi> The forall for k goes there |
| 2025-01-14 10:07:24 +0100 | <tomsmeding> | right |
| 2025-01-14 10:07:35 +0100 | <tomsmeding> | so really foralls are _not_ lambdas :) |
| 2025-01-14 10:07:41 +0100 | <tomsmeding> | you can "apply" foralls from the level below |
| 2025-01-14 10:07:46 +0100 | <tomsmeding> | not from inside the same level |
| 2025-01-14 10:07:57 +0100 | <haskellbridge> | <Bowuigi> "type I :: forall k. *; type I = ()" |
| 2025-01-14 10:08:35 +0100 | <haskellbridge> | <Bowuigi> Yeah that's what I was trying to say |
| 2025-01-14 10:09:04 +0100 | <tomsmeding> | @tell kuribas foralls are not lambdas: you can "apply" foralls from the level below (i.e. type foralls using TypeApplications on a value; kind foralls by applying a type function), but not from inside the same level |
| 2025-01-14 10:09:04 +0100 | <lambdabot> | Consider it noted. |
| 2025-01-14 10:09:16 +0100 | <haskellbridge> | <Bowuigi> Strictly speaking you don't "apply" foralls, but rather type lambdas. Foralls are "instanced". This terminology can help distinguishing them I guess |
| 2025-01-14 10:09:44 +0100 | <tomsmeding> | instance or instantiate? |
| 2025-01-14 10:10:09 +0100 | <haskellbridge> | <Bowuigi> Wait is there a difference? I englishn't |
| 2025-01-14 10:10:27 +0100 | <tomsmeding> | is there a difference between flammable and inflammable? |
| 2025-01-14 10:10:36 +0100 | <tomsmeding> | words are different only if we assign a different meaning to them :p |
| 2025-01-14 10:11:10 +0100 | <haskellbridge> | <magic_rb> Whats the difference, cause purely from a english standpoint theyre similar. |
| 2025-01-14 10:11:39 +0100 | <tomsmeding> | (flammable and inflammable look like they should be opposites, but they mean the same thing) |
| 2025-01-14 10:11:45 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-14 10:11:59 +0100 | <tomsmeding> | (same as exclamation and inclamation, except the latter is archaic so you don't really see this one in practice) |
| 2025-01-14 10:12:12 +0100 | <haskellbridge> | <magic_rb> Wait what |
| 2025-01-14 10:12:21 +0100 | <haskellbridge> | <magic_rb> Inflammable isnt an opposite to flammable? |
| 2025-01-14 10:12:37 +0100 | <haskellbridge> | <magic_rb> Wha |
| 2025-01-14 10:12:42 +0100 | <tomsmeding> | inflammable. adjective. 1. Easily ignited and capable of burning rapidly; flammable. |
| 2025-01-14 10:12:52 +0100 | euleritian | (~euleritia@dynamic-176-006-136-008.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-01-14 10:12:53 +0100 | <Leary> | I would only say `instantiate` here. `instance` as a verb I've only heard in (casual) coding contexts, probably from "create an instance of". |
| 2025-01-14 10:13:04 +0100 | tomsmeding | agrees with Leary |
| 2025-01-14 10:14:15 +0100 | <tomsmeding> | or perhaps in a graphics context, duplicating an object many times using rendering tricks? |
| 2025-01-14 10:14:38 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-14 10:15:20 +0100 | <haskellbridge> | <Bowuigi> I vaguely remember seeing both to refer to the same thing on different contexts, but instantiate sounds cooler |
| 2025-01-14 10:15:31 +0100 | <tomsmeding> | good enough reason |
| 2025-01-14 10:15:37 +0100 | swistak | (~swistak@185.21.216.141) (Ping timeout: 265 seconds) |
| 2025-01-14 10:15:57 +0100 | <haskellbridge> | <Bowuigi> Also the opposite of flammable/inflammable is fireproof, which also sounds cooler |
| 2025-01-14 10:16:39 +0100 | <tomsmeding> | or incombustible |
| 2025-01-14 10:17:09 +0100 | <tomsmeding> | more latin -> cooler? |
| 2025-01-14 10:17:49 +0100 | <probie> | more latin -> less cool |
| 2025-01-14 10:19:06 +0100 | <haskellbridge> | <Bowuigi> Objection, spanish is more latin and it's word for fireproof is ignifugo, which is cooler |
| 2025-01-14 10:19:09 +0100 | <Hecate> | in French we have "ignifugé" for fireproof |
| 2025-01-14 10:19:18 +0100 | <Hecate> | "igni" -> fire, (ignition) |
| 2025-01-14 10:19:23 +0100 | <tomsmeding> | Latinate languages unite? |
| 2025-01-14 10:19:42 +0100 | <Hecate> | "fugé" -> fugere, that which flees |
| 2025-01-14 10:19:49 +0100 | <Hecate> | makes the fire flee |
| 2025-01-14 10:19:56 +0100 | <tomsmeding> | that's cool |
| 2025-01-14 10:20:01 +0100 | swistak | (~swistak@185.21.216.141) |
| 2025-01-14 10:20:10 +0100 | jespada | (~jespada@2800:a4:31:b00:a974:16da:8c45:e3b4) jespada |
| 2025-01-14 10:20:16 +0100 | a0v7a9 | (~ava079@90.156.161.73) |
| 2025-01-14 10:21:49 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2025-01-14 10:22:14 +0100 | <mauke> | feuerfest |
| 2025-01-14 10:22:37 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Client Quit) |
| 2025-01-14 10:22:42 +0100 | <tomsmeding> | fire party |
| 2025-01-14 10:23:30 +0100 | <mauke> | please party your seatbelts |
| 2025-01-14 10:25:59 +0100 | <c_wraith> | do fireproofs end with Quod Erat Flamma? |
| 2025-01-14 10:28:36 +0100 | m5zs7k | (aquares@web10.mydevil.net) (Ping timeout: 246 seconds) |
| 2025-01-14 10:28:53 +0100 | swistak | (~swistak@185.21.216.141) (Ping timeout: 248 seconds) |
| 2025-01-14 10:29:43 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) kuribas |
| 2025-01-14 10:29:53 +0100 | swistak | (~swistak@185.21.216.141) |
| 2025-01-14 10:31:06 +0100 | <haskellbridge> | <Bowuigi> Yeah, they start with "proof" too |
| 2025-01-14 10:33:24 +0100 | <kuribas> | haskellbridge: I don't care about performance, only correctness. |
| 2025-01-14 10:34:58 +0100 | ol0ck | (~quassel@user/ol0ck) (Ping timeout: 245 seconds) |
| 2025-01-14 10:35:14 +0100 | <kuribas> | tomsmeding: from a dependent types viewpoint, foralls are just lambdas. In idris "forall a. ... " is the same as "{O a : _} -> ...". |
| 2025-01-14 10:35:53 +0100 | <kuribas> | It's a lambda with an erased value. |
| 2025-01-14 10:36:04 +0100 | <tomsmeding> | in a dependent type system, yes. :P |
| 2025-01-14 10:36:09 +0100 | <tomsmeding> | Haskell is not dependently-typed |
| 2025-01-14 10:36:15 +0100 | <tomsmeding> | hence foralls are _not_ just lambdas here |
| 2025-01-14 10:36:33 +0100 | <kuribas> | Sure, I mean more theoretically. |
| 2025-01-14 10:37:24 +0100 | <tomsmeding> | you're going to run into needing impredicativity, though |
| 2025-01-14 10:37:24 +0100 | <kuribas> | As in, I could represent a forall as a lambda in the underlying system |
| 2025-01-14 10:37:33 +0100 | <tomsmeding> | if you set `I = forall a. a`, then you'll want to apply I to some other combinator expression |
| 2025-01-14 10:37:40 +0100 | <tomsmeding> | so what's the universe level of that a? |
| 2025-01-14 10:37:47 +0100 | ol0ck | (~quassel@user/ol0ck) ol0ck |
| 2025-01-14 10:37:57 +0100 | <tomsmeding> | I : Set<?> -> Set<?> |
| 2025-01-14 10:38:02 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2025-01-14 10:38:38 +0100 | <tomsmeding> | (are the universe levels called Set1, Set2, etc. in Idris too?) |
| 2025-01-14 10:39:14 +0100 | <kuribas> | idris2 doesn't have universe levels yet... |
| 2025-01-14 10:39:16 +0100 | <kuribas> | It's all Type. |
| 2025-01-14 10:39:24 +0100 | <tomsmeding> | so idris2 is inconsistent? |
| 2025-01-14 10:39:28 +0100 | <kuribas> | yeah |
| 2025-01-14 10:39:35 +0100 | <tomsmeding> | interesting |
| 2025-01-14 10:39:45 +0100 | <tomsmeding> | so idris2 has Type : Type? |
| 2025-01-14 10:39:53 +0100 | <tomsmeding> | in that case you could perhaps do this |
| 2025-01-14 10:40:04 +0100 | <tomsmeding> | but you'll only be able to write non-dependent function types this way, I think |
| 2025-01-14 10:40:15 +0100 | <tomsmeding> | ah no, that's false |
| 2025-01-14 10:41:21 +0100 | <kuribas> | It's implied that the Type of Type is Type <2> |
| 2025-01-14 10:41:27 +0100 | <kuribas> | But idris2 doesn't implement it yet. |
| 2025-01-14 10:43:34 +0100 | <kuribas> | tomsmeding: well, the forall would need to accept any kind. |
| 2025-01-14 10:44:08 +0100 | <tomsmeding> | which is precisely possible only if Type : Type |
| 2025-01-14 10:44:09 +0100 | <tomsmeding> | (iirc) |
| 2025-01-14 10:44:09 +0100 | swistak | (~swistak@185.21.216.141) (Ping timeout: 260 seconds) |
| 2025-01-14 10:44:20 +0100 | <kuribas> | no: I : {a:Type} -> a -> a |
| 2025-01-14 10:45:01 +0100 | <kuribas> | tomsmeding: still not sure if using combinators or lambdas to represent foralls in an advantage though... |
| 2025-01-14 10:45:26 +0100 | <tomsmeding> | oh I see, so I would be a universe-polymorphic function |
| 2025-01-14 10:45:26 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.4.2) |
| 2025-01-14 10:45:35 +0100 | <tomsmeding> | I think it isn't at all :p |
| 2025-01-14 10:45:42 +0100 | <tomsmeding> | but a fun exercise perhaps |
| 2025-01-14 10:45:49 +0100 | <kuribas> | idk, how does that work in agda? |
| 2025-01-14 10:46:02 +0100 | <kuribas> | If you have an implicit, does it work in all universes? |
| 2025-01-14 10:46:10 +0100 | <tomsmeding> | I : (l : Level) -> (a : Set l) -> a -> a |
| 2025-01-14 10:46:13 +0100 | <tomsmeding> | iirc |
| 2025-01-14 10:46:33 +0100 | <kuribas> | Doesn't idris1 have an inferred universe level? |
| 2025-01-14 10:46:47 +0100 | <tomsmeding> | agda certainly also has implicit inferred universe levels |
| 2025-01-14 10:47:11 +0100 | m5zs7k | (aquares@web10.mydevil.net) m5zs7k |
| 2025-01-14 10:47:23 +0100 | <tomsmeding> | but the question is: shouldn't it be "I : (l : Level) -> (a : Set l) -> Set ; I l a = a -> a" |
| 2025-01-14 10:47:59 +0100 | <tomsmeding> | hm, "-> Set l", perhaps |
| 2025-01-14 10:49:10 +0100 | <kuribas> | yeah, I haven't worked with universes yet... |
| 2025-01-14 10:49:20 +0100 | <kuribas> | But in my case, level 1 would just work. |
| 2025-01-14 10:50:19 +0100 | <tomsmeding> | is I "a -> a"? or is I just "a"? |
| 2025-01-14 10:50:22 +0100 | <tomsmeding> | what is S? |
| 2025-01-14 10:50:42 +0100 | <kuribas> | a -> a |
| 2025-01-14 10:50:50 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-14 10:50:59 +0100 | <tomsmeding> | but then you aren't actually applying types, are you? What is S? |
| 2025-01-14 10:51:04 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-01-14 10:52:07 +0100 | <kuribas> | tomsmeding: not in the implementing language. |
| 2025-01-14 10:52:28 +0100 | <tomsmeding> | wasn't the premise that you can write types using combinators instead of foralls? |
| 2025-01-14 10:53:29 +0100 | <kuribas> | Yeah, in the implementing language. Like HOAS. |
| 2025-01-14 10:53:39 +0100 | <kuribas> | polymorphic types. |
| 2025-01-14 10:54:15 +0100 | <tomsmeding> | so then how are you going to write the type "(f : Type -> Type) -> (a : Type) -> f a"? |
| 2025-01-14 10:54:45 +0100 | <tomsmeding> | never mind that this type doesn't have a sensible implementation, but more complicated such examples do |
| 2025-01-14 10:56:57 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2025-01-14 10:57:19 +0100 | <kuribas> | tomsmeding: not exactly sure, I'll need to work it out... |
| 2025-01-14 10:58:06 +0100 | <kuribas> | gotto do my day job now :) |
| 2025-01-14 10:58:23 +0100 | <kuribas> | Python and clojure :( |
| 2025-01-14 10:58:34 +0100 | <tomsmeding> | :D |
| 2025-01-14 11:01:22 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
| 2025-01-14 11:09:50 +0100 | <smiesner> | *laughs in java and js* (pls free me) |
| 2025-01-14 11:10:13 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-14 11:14:32 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 2025-01-14 11:24:39 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Ping timeout: 252 seconds) |
| 2025-01-14 11:27:55 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-14 11:32:28 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 265 seconds) |
| 2025-01-14 11:33:06 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-14 11:35:05 +0100 | jespada | (~jespada@2800:a4:31:b00:a974:16da:8c45:e3b4) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-01-14 11:37:08 +0100 | sprotte24 | (~sprotte24@p200300d16f2d390001157685e299ee37.dip0.t-ipconnect.de) |
| 2025-01-14 11:37:10 +0100 | sprotte24 | (~sprotte24@p200300d16f2d390001157685e299ee37.dip0.t-ipconnect.de) (Client Quit) |
| 2025-01-14 11:37:19 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 265 seconds) |
| 2025-01-14 11:38:45 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
| 2025-01-14 11:38:46 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-01-14 11:39:12 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-14 11:45:12 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2025-01-14 11:49:36 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-14 11:51:25 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) kuribas |
| 2025-01-14 11:59:03 +0100 | Miroboru | (~myrvoll@178-164-114.82.3p.ntebredband.no) (Quit: Lost terminal) |
| 2025-01-14 11:59:34 +0100 | mange | (~user@user/mange) (Quit: Zzz...) |
| 2025-01-14 12:07:46 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-01-14 12:08:19 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.3)) |
| 2025-01-14 12:08:55 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) kuribas |
| 2025-01-14 12:09:25 +0100 | Miroboru | (~myrvoll@178-164-114.82.3p.ntebredband.no) Miroboru |
| 2025-01-14 12:10:04 +0100 | akegalj | (~akegalj@89-172-71-66.adsl.net.t-com.hr) (Ping timeout: 244 seconds) |
| 2025-01-14 12:10:04 +0100 | <kuribas> | tomsmeding: I was just considering this: https://en.wikipedia.org/wiki/Higher-order_abstract_syntax |
| 2025-01-14 12:10:06 +0100 | <tomsmeding> | is HOAS not more about representing an AST? |
| 2025-01-14 12:13:29 +0100 | xff0x | (~xff0x@2405:6580:b080:900:5599:62cc:9825:4e0a) |
| 2025-01-14 12:13:59 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2025-01-14 12:16:23 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-01-14 12:24:13 +0100 | dysthesis | (~dysthesis@user/dysthesis) dysthesis |
| 2025-01-14 12:26:22 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-14 12:33:38 +0100 | jespada | (~jespada@2800:a4:31:b00:a974:16da:8c45:e3b4) jespada |
| 2025-01-14 12:36:06 +0100 | alexherbo2 | (~alexherbo@2a02-8440-e501-2041-d1c5-ba5b-2b42-3c3f.rev.sfr.net) alexherbo2 |
| 2025-01-14 12:36:51 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-01-14 12:37:43 +0100 | dmwit | (~dmwit@pool-173-66-76-243.washdc.fios.verizon.net) (Quit: Client closed) |
| 2025-01-14 12:42:32 +0100 | alexherbo2 | (~alexherbo@2a02-8440-e501-2041-d1c5-ba5b-2b42-3c3f.rev.sfr.net) (Remote host closed the connection) |
| 2025-01-14 12:43:05 +0100 | alexherbo2 | (~alexherbo@2a02-8440-e501-2041-d1c5-ba5b-2b42-3c3f.rev.sfr.net) alexherbo2 |
| 2025-01-14 12:47:31 +0100 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection) |
| 2025-01-14 12:48:33 +0100 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) hackager |
| 2025-01-14 12:48:33 +0100 | ChanServ | +v haskellbridge |
| 2025-01-14 12:49:53 +0100 | alecs | (~alecs@nat16.software.imdea.org) (Ping timeout: 252 seconds) |
| 2025-01-14 12:50:13 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
| 2025-01-14 12:50:21 +0100 | euleritian | (~euleritia@dynamic-176-006-133-187.176.6.pool.telefonica.de) |
| 2025-01-14 12:52:48 +0100 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 246 seconds) |
| 2025-01-14 12:53:32 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-01-14 12:55:07 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2025-01-14 12:57:12 +0100 | dysthesis | (~dysthesis@user/dysthesis) (Remote host closed the connection) |
| 2025-01-14 12:57:51 +0100 | euleritian | (~euleritia@dynamic-176-006-133-187.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-01-14 12:58:09 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-14 12:59:59 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-01-14 13:00:04 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-01-14 13:00:59 +0100 | AlexNoo_ | (~AlexNoo@178.34.163.23) |
| 2025-01-14 13:03:03 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2025-01-14 13:04:14 +0100 | AlexZenon | (~alzenon@178.34.160.135) (Ping timeout: 244 seconds) |
| 2025-01-14 13:04:14 +0100 | AlexNoo | (~AlexNoo@178.34.160.135) (Ping timeout: 252 seconds) |
| 2025-01-14 13:05:59 +0100 | alecs | (~alecs@nat16.software.imdea.org) alecs |
| 2025-01-14 13:11:16 +0100 | AlexZenon | (~alzenon@178.34.163.23) |
| 2025-01-14 13:16:36 +0100 | akegalj_ | (~akegalj@89-172-71-66.adsl.net.t-com.hr) |
| 2025-01-14 13:17:59 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-01-14 13:26:06 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-01-14 13:28:41 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-01-14 13:30:18 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2025-01-14 13:30:22 +0100 | AlexNoo_ | AlexNoo |
| 2025-01-14 13:32:01 +0100 | <kuribas> | tomsmeding: a type is part of an AST, no? |
| 2025-01-14 13:34:06 +0100 | <ncf> | kuribas: implicits make no difference to universe levels |
| 2025-01-14 13:35:18 +0100 | <kuribas> | ncf: can I not write {n:Nat} -> {a:Type n} -> a -> a ? |
| 2025-01-14 13:35:19 +0100 | <ncf> | in Agda? you can if you replace Nat with Level |
| 2025-01-14 13:36:03 +0100 | <ncf> | this means the exact same thing as (l : Level) → (a : Type l) → a → a except you don't have to write the arguments explicitly |
| 2025-01-14 13:38:35 +0100 | ephemient | (uid407513@user/ephemient) (Quit: Connection closed for inactivity) |
| 2025-01-14 13:38:37 +0100 | <kuribas> | https://docs.idris-lang.org/en/latest/faq/faq.html#does-idris-have-universe-polymorphism-what-is-t… |
| 2025-01-14 13:40:53 +0100 | <ncf> | idris 2 has Type : Type. you don't need universe polymorphism if there's only one universe! |
| 2025-01-14 13:41:46 +0100 | <kuribas> | ncf: not by design. I think universes are simply not yet implemented. |
| 2025-01-14 13:41:46 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-14 13:49:55 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2025-01-14 13:50:30 +0100 | Putonlalla | (~Putonlall@it-cyan.it.jyu.fi) (Ping timeout: 252 seconds) |
| 2025-01-14 13:59:00 +0100 | tv | (~tv@user/tv) (Read error: Connection reset by peer) |
| 2025-01-14 13:59:36 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2025-01-14 14:00:27 +0100 | <tomsmeding> | kuribas: a type is part of an AST, yes, but then you're talking about describing types in an embedded language, not in the host language. :p |
| 2025-01-14 14:00:41 +0100 | <tomsmeding> | and then the question is, how strong is the type system of your embedded language |
| 2025-01-14 14:01:19 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-14 14:03:43 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2025-01-14 14:05:06 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-14 14:07:09 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2025-01-14 14:12:56 +0100 | <kuribas> | tomsmeding: yeah, maybe this doesn't make sense outside logic languages like twelf. |
| 2025-01-14 14:13:11 +0100 | <kuribas> | tomsmeding: My goal is to make a type checker in clojure, but I wanted to verify it in idris/agda first. |
| 2025-01-14 14:19:43 +0100 | tv | (~tv@user/tv) tv |
| 2025-01-14 14:21:02 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-14 14:23:15 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2025-01-14 14:25:52 +0100 | Putonlalla | (~Putonlall@it-cyan.it.jyu.fi) Tuplanolla |
| 2025-01-14 14:26:49 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-01-14 14:28:54 +0100 | Fischmiep | (~Fischmiep@user/Fischmiep) (Quit: ZNC - https://znc.in) |
| 2025-01-14 14:29:13 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-14 14:29:26 +0100 | Fischmiep | (~Fischmiep@user/Fischmiep) Fischmiep |
| 2025-01-14 14:33:23 +0100 | <hellwolf> | ls |
| 2025-01-14 14:33:23 +0100 | <hellwolf> | (sorry, wrong window) |
| 2025-01-14 14:34:49 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
| 2025-01-14 14:37:53 +0100 | tjbc | (~tjbc@user/fliife) (Quit: ZNC - https://znc.in) |
| 2025-01-14 14:39:01 +0100 | tjbc | (~tjbc@user/fliife) fliife |
| 2025-01-14 14:44:23 +0100 | <kuribas> | hello_hellwolf.com helmsucks.yaml solves_halting_problem.hs get_rich_with_blockchain.rs |
| 2025-01-14 14:45:51 +0100 | <Hecate> | haha |
| 2025-01-14 14:46:44 +0100 | akegalj_ | (~akegalj@89-172-71-66.adsl.net.t-com.hr) (Ping timeout: 248 seconds) |
| 2025-01-14 14:46:58 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-14 14:49:58 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-14 14:55:27 +0100 | alexherbo2 | (~alexherbo@2a02-8440-e501-2041-d1c5-ba5b-2b42-3c3f.rev.sfr.net) (Remote host closed the connection) |
| 2025-01-14 14:55:47 +0100 | alexherbo2 | (~alexherbo@2a02-8440-e501-2041-d1c5-ba5b-2b42-3c3f.rev.sfr.net) alexherbo2 |
| 2025-01-14 14:56:10 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-01-14 14:56:16 +0100 | michalz | (~michalz@185.246.207.197) (Read error: Connection reset by peer) |
| 2025-01-14 14:56:18 +0100 | michalz_ | (~michalz@185.246.207.203) |
| 2025-01-14 14:59:38 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) TheCoffeMaker |
| 2025-01-14 14:59:55 +0100 | <hellwolf> | yea yea, next time sudo with password |
| 2025-01-14 15:03:06 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection) |
| 2025-01-14 15:05:47 +0100 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:28c7:5c1b:9c00:9e1b) ubert |
| 2025-01-14 15:08:00 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin |
| 2025-01-14 15:08:46 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 244 seconds) |
| 2025-01-14 15:11:16 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-01-14 15:11:44 +0100 | <kuribas> | hellwolf: did you finally find a way to use diagrams from a shell command? |
| 2025-01-14 15:11:51 +0100 | <kuribas> | To make a work cloud? |
| 2025-01-14 15:13:07 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Client Quit) |
| 2025-01-14 15:13:40 +0100 | <hellwolf> | am I expected to such an endeavor, ever? |
| 2025-01-14 15:14:01 +0100 | <hellwolf> | btw, you name looks familiar, by my memory failing me :D |
| 2025-01-14 15:15:28 +0100 | <kuribas> | hellwolf: you were working on it on munihac :) |
| 2025-01-14 15:17:36 +0100 | <hellwolf> | ah, now I remember you! No, I haven't gone back to THSH to publish it yet! |
| 2025-01-14 15:19:23 +0100 | <kuribas> | I see. It was a nice project. |
| 2025-01-14 15:19:44 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection) |
| 2025-01-14 15:21:10 +0100 | <hellwolf> | just a small pause; I will use THSH in my main project, so I have a reason to maintain it. |
| 2025-01-14 15:21:16 +0100 | <hellwolf> | I hope your SQL DSL working out though. |
| 2025-01-14 15:21:24 +0100 | <kuribas> | I haven't worked on it either. |
| 2025-01-14 15:21:34 +0100 | <kuribas> | I gave a talk at FP dag though :) |
| 2025-01-14 15:21:57 +0100 | <hellwolf> | FP dag in Munich? |
| 2025-01-14 15:21:57 +0100 | <kuribas> | I wanted to work this holiday, but I could a bad flu. |
| 2025-01-14 15:21:58 +0100 | <kuribas> | No, FP dag in Leuven, Belgium.? |
| 2025-01-14 15:22:20 +0100 | <kuribas> | Where I finally met tomsmeding in person :) |
| 2025-01-14 15:22:23 +0100 | <hellwolf> | okay, just a guess of mine, I didn't know of it. And I assumed "dag" means "day". |
| 2025-01-14 15:22:37 +0100 | <kuribas> | Yeah, it's the "dutch FP day" or something. |
| 2025-01-14 15:22:51 +0100 | <hellwolf> | small world. I hope we all meet at ZuriHac again |
| 2025-01-14 15:23:00 +0100 | <kuribas> | We might be! |
| 2025-01-14 15:23:06 +0100 | <hellwolf> | you know they ahve the page ready, but not announced. I had a sneak peak at it. |
| 2025-01-14 15:23:17 +0100 | <kuribas> | I learned there are only two companies doing haskell in Belgium... |
| 2025-01-14 15:23:48 +0100 | <hellwolf> | plural is qualitatively different than sigular! |
| 2025-01-14 15:23:51 +0100 | <hellwolf> | in the sense of NonEmpty list in Haskell... too |
| 2025-01-14 15:24:05 +0100 | <hellwolf> | (to keep on-topic) |
| 2025-01-14 15:24:07 +0100 | <hellwolf> | :D |
| 2025-01-14 15:24:12 +0100 | <kuribas> | I did a script in haskell here, but it will be rewritten in clojure and Python... |
| 2025-01-14 15:24:36 +0100 | <__monty__> | kuribas: Which two? I know about WD in Gent. |
| 2025-01-14 15:25:21 +0100 | <hellwolf> | people don't want good things for them, it's too painful. |
| 2025-01-14 15:25:39 +0100 | <kuribas> | __monty__: central app, by Ashesh Ambasta, and pieSync |
| 2025-01-14 15:25:44 +0100 | <kuribas> | hellwolf: it feels that way. |
| 2025-01-14 15:25:48 +0100 | <hellwolf> | "it will be", but that day may never come: as you as you can keep the "if it works, don't touch it or ask you" |
| 2025-01-14 15:26:16 +0100 | <kuribas> | I am struggling with the Python debugger in vscode, I would expect more quality from a product used by millions. |
| 2025-01-14 15:26:46 +0100 | <kuribas> | __monty__: Western Digital? |
| 2025-01-14 15:27:22 +0100 | <__monty__> | Yeah, they used to come to the HUG in Leuven. |
| 2025-01-14 15:27:30 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin |
| 2025-01-14 15:29:44 +0100 | <hellwolf> | what do you want from a debugger, is the breakpoint working for you? |
| 2025-01-14 15:29:44 +0100 | <hellwolf> | (python debugger) |
| 2025-01-14 15:29:45 +0100 | <kuribas> | hellwolf: sometimes |
| 2025-01-14 15:29:45 +0100 | <hellwolf> | huh? |
| 2025-01-14 15:29:56 +0100 | <hellwolf> | dependently debuggable |
| 2025-01-14 15:30:01 +0100 | <kuribas> | We have code with a lot of dataframes, I find it hard to keep the right fields in my head. |
| 2025-01-14 15:30:12 +0100 | <kuribas> | So I trace through it find the problem. |
| 2025-01-14 15:30:36 +0100 | <kuribas> | For that reason, I prefer dataclasses, they can be typechecked. |
| 2025-01-14 15:31:25 +0100 | <kuribas> | I put a breakpoint in the code, but sometimes the debugger just hangs, sometimes it doesn't stop at the breakpoint, etc... |
| 2025-01-14 15:34:23 +0100 | <hellwolf> | sounds incredulous, there must be an explanation if your colleague also using it. |
| 2025-01-14 15:34:23 +0100 | <kuribas> | On a positive note, I do think functional programming is more and more adopted in other languages. |
| 2025-01-14 15:34:30 +0100 | <kuribas> | hellwolf: they use pycharm... |
| 2025-01-14 15:36:22 +0100 | <hellwolf> | sounds like it should be a charming experience. |
| 2025-01-14 15:36:32 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2025-01-14 15:39:31 +0100 | rekahsoft | (~rekahsoft@70.51.99.237) rekahsoft |
| 2025-01-14 15:42:58 +0100 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) (Quit: Leaving) |
| 2025-01-14 15:44:04 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-01-14 15:49:16 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-14 15:50:55 +0100 | dmwit | (~dmwit@pool-173-66-76-243.washdc.fios.verizon.net) dmwit |
| 2025-01-14 15:54:40 +0100 | <kuribas> | I am not charmed yet, but maybe I should be... |
| 2025-01-14 15:56:13 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
| 2025-01-14 15:57:49 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 265 seconds) |
| 2025-01-14 15:59:27 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-14 16:06:13 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds) |
| 2025-01-14 16:06:40 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2025-01-14 16:07:17 +0100 | euleritian | (~euleritia@dynamic-176-006-133-187.176.6.pool.telefonica.de) |
| 2025-01-14 16:08:02 +0100 | <kuribas> | Are there other FP languages that are popular in Belgium? |
| 2025-01-14 16:08:13 +0100 | <kuribas> | Ocaml, F#, scala, ... |
| 2025-01-14 16:08:16 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2025-01-14 16:08:46 +0100 | <kuribas> | I suppose scala is a bit more popular. |
| 2025-01-14 16:09:25 +0100 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 265 seconds) |
| 2025-01-14 16:09:25 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-14 16:09:25 +0100 | ystael | (~ystael@user/ystael) (Read error: Connection reset by peer) |
| 2025-01-14 16:10:28 +0100 | ystael | (~ystael@user/ystael) ystael |
| 2025-01-14 16:11:11 +0100 | <haskellbridge> | <Morj> Coq/rocq? But I'm saying this because of proximity to france |
| 2025-01-14 16:11:14 +0100 | <hellwolf> | do people count rust as FP? Unironically, FPCompete completes itself with rust |
| 2025-01-14 16:11:19 +0100 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) {-d0t-} |
| 2025-01-14 16:11:24 +0100 | <hellwolf> | (not from belgium, sorry, just ranting) |
| 2025-01-14 16:11:54 +0100 | <haskellbridge> | <Morj> I was looking for ocaml positions in France recently, and they were all secretly for coq |
| 2025-01-14 16:11:56 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.4.2) |
| 2025-01-14 16:12:32 +0100 | <[exa]> | I read some memes that Coq got renamed, is that true? (didn't really check) |
| 2025-01-14 16:13:54 +0100 | xdminsy | (~xdminsy@117.147.71.200) (Ping timeout: 272 seconds) |
| 2025-01-14 16:13:54 +0100 | <[exa]> | __monty__: there are any bugger haskell user groups in benelux? are there any links/sites? (I failed googling that) |
| 2025-01-14 16:13:54 +0100 | <[exa]> | *bIgger |
| 2025-01-14 16:13:54 +0100 | <[exa]> | ayay. |
| 2025-01-14 16:14:33 +0100 | <haskellbridge> | <Morj> > Coq got renamedThe website is still coq.inria.fr |
| 2025-01-14 16:15:33 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 265 seconds) |
| 2025-01-14 16:15:33 +0100 | <[exa]> | oh I see: The Coq team has decided that Coq will be renamed into 'The Rocq Prover'. |
| 2025-01-14 16:17:26 +0100 | <hellwolf> | https://coq.discourse.group/t/coq-community-survey-2022-results-part-iv-and-itp-paper-announcement… |
| 2025-01-14 16:17:41 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2025-01-14 16:17:57 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-01-14 16:18:23 +0100 | <hellwolf> | It doesn't seem to have been actioned! |
| 2025-01-14 16:20:11 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2025-01-14 16:22:00 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2025-01-14 16:23:20 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2025-01-14 16:25:36 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-14 16:27:36 +0100 | <kuribas> | haskellbridge: They were secretly using coq instead? |
| 2025-01-14 16:27:43 +0100 | <kuribas> | Maybe I should find a job in France... |
| 2025-01-14 16:31:21 +0100 | <kuribas> | coq compiles to ocaml, doesn't it? |
| 2025-01-14 16:31:25 +0100 | ft | (~ft@p4fc2a354.dip0.t-ipconnect.de) ft |
| 2025-01-14 16:34:14 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-01-14 16:34:24 +0100 | <haskellbridge> | <Morj> Coq can extract programs to multiple languages, including ocaml and haskell. Coq itself is writte in ocaml |
| 2025-01-14 16:35:10 +0100 | turlando | (~turlando@user/turlando) (Quit: No Ping reply in 180 seconds.) |
| 2025-01-14 16:35:58 +0100 | alexherbo2 | (~alexherbo@2a02-8440-e501-2041-d1c5-ba5b-2b42-3c3f.rev.sfr.net) (Remote host closed the connection) |
| 2025-01-14 16:36:26 +0100 | turlando | (~turlando@user/turlando) turlando |
| 2025-01-14 16:38:14 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-01-14 16:40:11 +0100 | <__monty__> | [exa]: I think the Leuven HUG kinda stopped meeting? And if people were coming from Gent to Leuven I kinda feel like the answer is no, at least for Flanders. I don't know about the NeLux part of that though, Merijn and tomsmeding might know for NL? |
| 2025-01-14 16:41:03 +0100 | <__monty__> | Either way, my info dates back 7-ish years. So I don't have current info. |
| 2025-01-14 16:41:06 +0100 | Digit | (~user@user/digit) (Remote host closed the connection) |
| 2025-01-14 16:41:43 +0100 | <merijn> | I don't really go to more frequent things than NL-FP :p |
| 2025-01-14 16:44:32 +0100 | inedia | (~irc@2600:3c00:e000:287::1) dove |
| 2025-01-14 16:52:41 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-01-14 16:56:40 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-01-14 16:59:24 +0100 | jespada | (~jespada@2800:a4:31:b00:a974:16da:8c45:e3b4) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-01-14 17:00:34 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-14 17:04:16 +0100 | euleritian | (~euleritia@dynamic-176-006-133-187.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-01-14 17:04:34 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-14 17:10:07 +0100 | Digit | (~user@user/digit) Digit |
| 2025-01-14 17:15:12 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2025-01-14 17:19:46 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2025-01-14 17:20:16 +0100 | <haskellbridge> | <Bowuigi> kuribas re:dependent-type-forall even from a dependent type viewpoint, foralls are not lambdas, but it unifies type lambdas and term lambdas (both term level constructs) into one |
| 2025-01-14 17:20:26 +0100 | euleritian | (~euleritia@dynamic-176-006-133-187.176.6.pool.telefonica.de) |
| 2025-01-14 17:20:45 +0100 | <haskellbridge> | <Bowuigi> The note on erasure is correct tho IIRC |
| 2025-01-14 17:21:14 +0100 | Square2 | (~Square4@user/square) (Ping timeout: 248 seconds) |
| 2025-01-14 17:21:34 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2025-01-14 17:22:37 +0100 | euleritian | (~euleritia@dynamic-176-006-133-187.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-01-14 17:22:50 +0100 | euleritian | (~euleritia@dynamic-176-006-133-187.176.6.pool.telefonica.de) |
| 2025-01-14 17:27:20 +0100 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2025-01-14 17:27:47 +0100 | euleritian | (~euleritia@dynamic-176-006-133-187.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-01-14 17:27:50 +0100 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2025-01-14 17:28:05 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-14 17:30:32 +0100 | <haskellbridge> | <Bowuigi> The type level combinator system ypu proposed simply wouldn't work. Lemme show you why: Suppose we want to know the type that "I I" expands to. Unfolding everything, using the definition you gave for I ("forall a. a -> a") leaves you with "(forall a. a -> a) (forall a. a -> a)". This term is not well kinded, as you are trying to apply a type of term * to another of term * |
| 2025-01-14 17:34:22 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 252 seconds) |
| 2025-01-14 17:35:41 +0100 | <haskellbridge> | <Bowuigi> Instead, combinators should be defined in the usual way but at the type level, using type level lambdas. To get arrows and forall you just add them as combinators, same for pairs, sums, pi types, sigma types, propositional equality types, constraints (the arrow is a "Constraint -> * -> *" operator), etc |
| 2025-01-14 17:36:48 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 244 seconds) |
| 2025-01-14 17:37:30 +0100 | euleritian | (~euleritia@dynamic-176-006-133-187.176.6.pool.telefonica.de) |
| 2025-01-14 17:41:53 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2025-01-14 17:43:34 +0100 | EvanR | (~EvanR@user/evanr) (Remote host closed the connection) |
| 2025-01-14 17:43:54 +0100 | EvanR | (~EvanR@user/evanr) EvanR |
| 2025-01-14 17:49:06 +0100 | jespada | (~jespada@2800:a4:31:b00:a974:16da:8c45:e3b4) jespada |
| 2025-01-14 17:50:44 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-01-14 17:56:08 +0100 | <dolio> | There are some papers on making lambda and pi the same. But they seem misguided to me. |
| 2025-01-14 17:56:58 +0100 | <dolio> | Since Π is not the only quantifier when you start getting into such things. |
| 2025-01-14 17:57:36 +0100 | lbseale | (~quassel@user/ep1ctetus) ep1ctetus |
| 2025-01-14 18:05:16 +0100 | dmwit | (~dmwit@pool-173-66-76-243.washdc.fios.verizon.net) (Quit: Client closed) |
| 2025-01-14 18:11:48 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-01-14 18:11:49 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2025-01-14 18:16:40 +0100 | <kuribas> | haskellbridge: but they are in idris2 |
| 2025-01-14 18:17:06 +0100 | <kuribas> | AFAIK "forall a.A" is sugar for "{0 a} -> A". |
| 2025-01-14 18:17:24 +0100 | <kuribas> | Which is a Pi type. |
| 2025-01-14 18:19:27 +0100 | <kuribas> | haskellbridge: "forall a. a -> a" has term "* -> *", but the first argument is implicit, so inferred by the compiler. |
| 2025-01-14 18:20:44 +0100 | <kuribas> | haskellbridge: oh, and I is (forall a . a). |
| 2025-01-14 18:21:34 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-01-14 18:21:34 +0100 | euleritian | (~euleritia@dynamic-176-006-133-187.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-01-14 18:21:34 +0100 | <kuribas> | Or {0 a} -> a |
| 2025-01-14 18:21:47 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-14 18:24:54 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-01-14 18:26:36 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 2025-01-14 18:28:18 +0100 | euleritian | (~euleritia@dynamic-176-004-140-090.176.4.pool.telefonica.de) |
| 2025-01-14 18:28:45 +0100 | <geekosaur> | why are you talking to the bridge instead of the person on the other side of it? |
| 2025-01-14 18:29:46 +0100 | <kuribas> | geekosaur: TIL :) |
| 2025-01-14 18:29:59 +0100 | <int-e> | geekosaur: tab-completion actually works for the bridge ;) |
| 2025-01-14 18:30:00 +0100 | <geekosaur> | (the person on the other side of the bridge has no idea what "haskellbridge" is, it only shows on IRC) |
| 2025-01-14 18:30:06 +0100 | <geekosaur> | yeh |
| 2025-01-14 18:30:23 +0100 | r-sta | (~r-sta@sgyl-37-b2-v4wan-168528-cust2421.vm6.cable.virginm.net) |
| 2025-01-14 18:30:34 +0100 | <geekosaur> | I'm considering switching to matrix-appservice-irc so users are puppeted on both sides instead of just the matrix side |
| 2025-01-14 18:31:24 +0100 | <r-sta> | so im still stuck trying to find out how to debug this <<loop>> in my program |
| 2025-01-14 18:31:24 +0100 | <r-sta> | i saw some kind of tree representation or something with -prof |
| 2025-01-14 18:31:28 +0100 | kuribas | GTG |
| 2025-01-14 18:31:31 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.3)) |
| 2025-01-14 18:31:35 +0100 | <r-sta> | i tried using breaks and stepping but it didnt work at all! it didnt even make it *to* the <<loop>> |
| 2025-01-14 18:32:23 +0100 | <r-sta> | i was concerned that any kind of diagram would need a fully compiling thing |
| 2025-01-14 18:32:33 +0100 | <geekosaur> | you might want `-fbreak-on-error` instead; some things use exceptions internally and usually you don't want ghci stopping in that case |
| 2025-01-14 18:33:03 +0100 | <geekosaur> | (`-fbreak-on-error` only breaks on unhandled exceptions) |
| 2025-01-14 18:33:03 +0100 | <r-sta> | i used that but it broke on another error that it didnt have when not using -fbreak-on-error |
| 2025-01-14 18:33:08 +0100 | <r-sta> | so it didnt make it to the <<loop>> |
| 2025-01-14 18:33:19 +0100 | euleritian | (~euleritia@dynamic-176-004-140-090.176.4.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-01-14 18:33:27 +0100 | <r-sta> | and that other error was not present when not using -fbreak-on-exception |
| 2025-01-14 18:33:42 +0100 | <r-sta> | error* |
| 2025-01-14 18:34:06 +0100 | <r-sta> | wait what. are these different things? |
| 2025-01-14 18:34:08 +0100 | <r-sta> | hmm |
| 2025-01-14 18:34:39 +0100 | <c_wraith> | Remember, <<loop>> is what ghc prints. it's not the error itself. |
| 2025-01-14 18:34:53 +0100 | <r-sta> | can i just turn that off? |
| 2025-01-14 18:34:59 +0100 | <r-sta> | like, just have it do the loop |
| 2025-01-14 18:35:01 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-14 18:35:14 +0100 | <geekosaur> | no, because it's by definition infinite |
| 2025-01-14 18:35:33 +0100 | <geekosaur> | <<loop>> means that when STG tries to evaluate a thunk, it immediately re-evaluates itself |
| 2025-01-14 18:35:40 +0100 | <c_wraith> | it's not just infinite, it's circular. |
| 2025-01-14 18:36:17 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-01-14 18:36:17 +0100 | <geekosaur> | and yes, break-on-exception and break-on-error are two different things |
| 2025-01-14 18:36:17 +0100 | <c_wraith> | Like, the result depends on itself, not on some other infinite calculation |
| 2025-01-14 18:36:18 +0100 | euleritian | (~euleritia@dynamic-176-004-140-090.176.4.pool.telefonica.de) |
| 2025-01-14 18:36:18 +0100 | <geekosaur> | -exception is all exceptions, -error is exceptions nto caught by a handler |
| 2025-01-14 18:36:18 +0100 | euleritian | (~euleritia@dynamic-176-004-140-090.176.4.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-01-14 18:36:34 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-14 18:36:35 +0100 | <r-sta> | i cant see if i might have been using break-on-exception |
| 2025-01-14 18:36:40 +0100 | <r-sta> | hopefully its an easy fix |
| 2025-01-14 18:37:55 +0100 | <c_wraith> | fwiw, my experience is that <<loop>>-causing issues are best found by simple inspection. The form of code that can cause them is pretty limited. |
| 2025-01-14 18:38:38 +0100 | <geekosaur> | that's why I raised `let x = x + 1` yesterday, that's a classic <<loop>> |
| 2025-01-14 18:39:03 +0100 | <geekosaur> | because the first thing `x` does is evaluate `x` |
| 2025-01-14 18:39:35 +0100 | <c_wraith> | though i guess the first step is compiling with -Wall and looking for shadowing warnings. |
| 2025-01-14 18:40:23 +0100 | <r-sta> | so, break-on-error crashes ghci so i cant step through it or do :list |
| 2025-01-14 18:40:33 +0100 | <r-sta> | Access violation in generated code when executing data at 0x7ff79a7ce1a0 |
| 2025-01-14 18:40:33 +0100 | <r-sta> | Attempting to reconstruct a stack trace... |
| 2025-01-14 18:40:34 +0100 | <r-sta> | Frame Code address |
| 2025-01-14 18:40:34 +0100 | <r-sta> | * 0x4ed0afd880 0x7ff79a7ce1a0 |
| 2025-01-14 18:40:38 +0100 | <r-sta> | it just puts this garbage |
| 2025-01-14 18:41:17 +0100 | <r-sta> | "shadowing warnings" hmm |
| 2025-01-14 18:42:50 +0100 | <c_wraith> | One common cause of <<loop>> is let x = x + 1 types of bindings where you think the inner `x' refers to a previously bound value. Shadowing warnings will catch all of those. |
| 2025-01-14 18:42:50 +0100 | <r-sta> | I KNOW |
| 2025-01-14 18:43:03 +0100 | <r-sta> | sry |
| 2025-01-14 18:43:09 +0100 | <r-sta> | i just dont know where it is! |
| 2025-01-14 18:43:27 +0100 | <geekosaur> | "break-on-error crashes ghci" -- file a GHC bug please |
| 2025-01-14 18:43:35 +0100 | <r-sta> | derp |
| 2025-01-14 18:43:45 +0100 | <r-sta> | its complaining about lapack and hmatrix |
| 2025-01-14 18:44:24 +0100 | <r-sta> | there is a flag in my cabal file that tells it to use like hopenblas or smt |
| 2025-01-14 18:44:24 +0100 | <r-sta> | it creates an error when ghci is opened from the comand line |
| 2025-01-14 18:44:27 +0100 | <r-sta> | i think it *might* be similar |
| 2025-01-14 18:44:39 +0100 | <r-sta> | if its some *insane* linker thing from blas ill cry |
| 2025-01-14 18:44:52 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-01-14 18:45:33 +0100 | <r-sta> | package hmatrix |
| 2025-01-14 18:45:33 +0100 | <r-sta> | flags: +openblas |
| 2025-01-14 18:46:03 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-14 18:46:03 +0100 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) (Ping timeout: 252 seconds) |
| 2025-01-14 18:46:11 +0100 | <r-sta> | typing ghci at cmd results in; |
| 2025-01-14 18:46:12 +0100 | <r-sta> | ghc-9.4.8.exe: Could not load `libopenblas.dll'. Reason: addDLL: libopenblas.dll or dependencies not loaded. (Win32 error 126) |
| 2025-01-14 18:46:12 +0100 | <r-sta> | panic! (the 'impossible' happened) |
| 2025-01-14 18:46:13 +0100 | <r-sta> | GHC version 9.4.8: |
| 2025-01-14 18:46:13 +0100 | <r-sta> | loadArchive "C:\\ghcup\\msys64\\mingw64\\lib\\libopenblas.dll.a": failed |
| 2025-01-14 18:46:24 +0100 | <r-sta> | i have to use the cabal proj with the +openblas flag |
| 2025-01-14 18:46:41 +0100 | <r-sta> | now its going crazy about some error that i cant figure out at all |
| 2025-01-14 18:46:53 +0100 | <r-sta> | break-on-error points to hmatrix |
| 2025-01-14 18:47:35 +0100 | haritz | (~hrtz@user/haritz) (Read error: Connection reset by peer) |
| 2025-01-14 18:48:40 +0100 | haritz | (~hrtz@2a02:8010:65b5:0:5d9a:9bab:ee5e:b737) |
| 2025-01-14 18:48:43 +0100 | haritz | (~hrtz@2a02:8010:65b5:0:5d9a:9bab:ee5e:b737) (Changing host) |
| 2025-01-14 18:48:43 +0100 | haritz | (~hrtz@user/haritz) haritz |
| 2025-01-14 18:51:38 +0100 | sam113101 | (~sam@modemcable220.199-203-24.mc.videotron.ca) (Quit: WeeChat 4.4.4) |
| 2025-01-14 18:51:56 +0100 | <r-sta> | Access violation in generated code when executing data at 0x7ff79a7ce1a0 |
| 2025-01-14 18:52:24 +0100 | <r-sta> | Attempting to reconstruct a stack trace... |
| 2025-01-14 18:52:25 +0100 | <r-sta> | Frame Code address |
| 2025-01-14 18:52:25 +0100 | <r-sta> | * 0x71107fda50 0x7ff79a7ce1a0 |
| 2025-01-14 18:52:25 +0100 | <r-sta> | * 0x71107fda58 0x7ff792d524ca C:\cabal\store\ghc-9.4.8\hmatrix-0.20.2-4cdbde37f45231e81ec073ef0dcbf107a90a6d6b\lib\libHShmatrix-0.20.2-4cdbde37f45231e81ec073ef0dcbf107a90a6d6b.a(#28:lapack-aux.o)+0x24ba |
| 2025-01-14 18:52:32 +0100 | <r-sta> | lapack this, hmatrix that |
| 2025-01-14 18:53:04 +0100 | <r-sta> | its a crazy error iv never seen before, i just thought it was typical result for break-on-error |
| 2025-01-14 18:53:17 +0100 | <r-sta> | but when i use break-on-exception it gives me a well behaved repl still |
| 2025-01-14 18:53:25 +0100 | <r-sta> | and i can use :list |
| 2025-01-14 18:53:30 +0100 | <geekosaur> | no, that's usually FFI going wrong and the program crashing at the OS level |
| 2025-01-14 18:54:03 +0100 | <r-sta> | balls |
| 2025-01-14 18:54:03 +0100 | <r-sta> | right well at least i know im not going to fix that |
| 2025-01-14 18:54:08 +0100 | <geekosaur> | the loadArchive error is probably hopenblas needing `library-for-ghci: true` |
| 2025-01-14 18:54:33 +0100 | <r-sta> | can i put this in my cabal.proj? |
| 2025-01-14 18:54:57 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2025-01-14 18:56:25 +0100 | sam113101 | (~sam@modemcable220.199-203-24.mc.videotron.ca) sam113101 |
| 2025-01-14 18:56:34 +0100 | <r-sta> | anyway its a nasty bug |
| 2025-01-14 18:56:46 +0100 | <r-sta> | i could put the whole proj for it to be reproducable |
| 2025-01-14 18:57:17 +0100 | <r-sta> | but its like, idk, kinda a lot of work that i might not want to share cf competition |
| 2025-01-14 18:57:39 +0100 | <r-sta> | id put a link on a private chat that isnt logged to someone with a common name from the forum |
| 2025-01-14 18:57:57 +0100 | <r-sta> | if there was a "want to do the bugfix" perogative |
| 2025-01-14 18:58:55 +0100 | <geekosaur> | https://paste.tomsmeding.com/eeUPJWNF project file fragment |
| 2025-01-14 19:00:35 +0100 | <r-sta> | first attempt fails |
| 2025-01-14 19:00:36 +0100 | <r-sta> | going to fully recompile to see if that makes a difference |
| 2025-01-14 19:00:40 +0100 | <r-sta> | but just adding that to the cabal file does not change the result at all |
| 2025-01-14 19:02:09 +0100 | <r-sta> | i mean, like, rather than putting the full project in a repo |
| 2025-01-14 19:02:20 +0100 | <r-sta> | id rather like, elect modules to put on hackage and find people to help maintain them |
| 2025-01-14 19:02:43 +0100 | <r-sta> | there is a really strong hypervarience model which i think is practically impossible to outperform locally |
| 2025-01-14 19:02:59 +0100 | <r-sta> | would be great to get the comunity into using tools like that |
| 2025-01-14 19:03:08 +0100 | srazkvt | (~sarah@user/srazkvt) srazkvt |
| 2025-01-14 19:03:55 +0100 | <r-sta> | if there was some chance of people helping actually like, branch the project (fork?) then i could put the thing in a repo, and see if anyone else can have better luck profiling or finding this damn <<loop>> which must be technically possible... |
| 2025-01-14 19:04:12 +0100 | <r-sta> | but its releasing a lot of IP onto the unliscenced webs |
| 2025-01-14 19:04:34 +0100 | <r-sta> | depends on colaboration viability |
| 2025-01-14 19:05:21 +0100 | <r-sta> | idk if thats something i can choose on your behalf and just put the project, so ill wait for feedback |
| 2025-01-14 19:06:23 +0100 | srazkvt | (~sarah@user/srazkvt) (Client Quit) |
| 2025-01-14 19:09:05 +0100 | <r-sta> | ... |
| 2025-01-14 19:09:08 +0100 | <r-sta> | ok ill put the repo |
| 2025-01-14 19:09:30 +0100 | <r-sta> | you know what this is like, when youv been waiting for a bus for ages and you get loads of errors in like every system |
| 2025-01-14 19:11:47 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-14 19:12:47 +0100 | <r-sta> | lol, i mean, im realeasing something that does nothing except give the most difficult to reproduce error! |
| 2025-01-14 19:12:59 +0100 | <r-sta> | but the theory under the hood is redicuous |
| 2025-01-14 19:13:31 +0100 | saulosilva | (~saulosilv@181.216.220.107) saulosilva |
| 2025-01-14 19:15:06 +0100 | <r-sta> | https://github.com/munston/starship |
| 2025-01-14 19:15:06 +0100 | <r-sta> | ok. now its larger than the github drag and drop allows so iv had to zip it |
| 2025-01-14 19:15:11 +0100 | <r-sta> | but i mean, it can be maintained better... |
| 2025-01-14 19:15:44 +0100 | dontdieych2 | (~quassel@user/dontdieych2) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2025-01-14 19:16:01 +0100 | dontdieych2 | (~quassel@user/dontdieych2) dontdieych2 |
| 2025-01-14 19:16:45 +0100 | <r-sta> | the good bit is the aliens learning method. peace out |
| 2025-01-14 19:16:47 +0100 | r-sta | (~r-sta@sgyl-37-b2-v4wan-168528-cust2421.vm6.cable.virginm.net) (Quit: Client closed) |
| 2025-01-14 19:19:11 +0100 | Guest37 | (~Guest37@2a02:ff0:332a:649b:3817:74af:208c:aa2c) |
| 2025-01-14 19:19:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 19:19:28 +0100 | Guest37 | (~Guest37@2a02:ff0:332a:649b:3817:74af:208c:aa2c) (Client Quit) |
| 2025-01-14 19:20:34 +0100 | jespada | (~jespada@2800:a4:31:b00:a974:16da:8c45:e3b4) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-01-14 19:24:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-14 19:27:00 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-01-14 19:35:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 19:36:55 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2025-01-14 19:38:20 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-01-14 19:39:39 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 272 seconds) |
| 2025-01-14 19:39:58 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-01-14 19:40:39 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-14 19:41:53 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2025-01-14 19:41:53 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-01-14 19:41:53 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-14 19:42:02 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-14 19:48:54 +0100 | bionade24 | (~quassel@2a03:4000:33:45b::1) (Quit: Apocalypse Incoming!) |
| 2025-01-14 19:49:05 +0100 | bionade24 | (~quassel@2a03:4000:33:45b::1) bionade24 |
| 2025-01-14 19:49:55 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-01-14 19:50:07 +0100 | nicole | (ilbelkyr@libera/staff/ilbelkyr) (Quit: Lost terminal) |
| 2025-01-14 19:50:35 +0100 | nicole | (ilbelkyr@libera/staff/ilbelkyr) ilbelkyr |
| 2025-01-14 19:53:20 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 19:55:08 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 265 seconds) |
| 2025-01-14 19:55:34 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2025-01-14 19:57:28 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2025-01-14 19:57:43 +0100 | saulosilva | (~saulosilv@181.216.220.107) (Quit: Client closed) |
| 2025-01-14 20:05:28 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-01-14 20:07:27 +0100 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) paotsaq |
| 2025-01-14 20:08:35 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 20:11:01 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2025-01-14 20:15:31 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-14 20:17:09 +0100 | jespada | (~jespada@2800:a4:31:b00:a974:16da:8c45:e3b4) jespada |
| 2025-01-14 20:18:51 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 2025-01-14 20:21:11 +0100 | jespada | (~jespada@2800:a4:31:b00:a974:16da:8c45:e3b4) (Client Quit) |
| 2025-01-14 20:26:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 20:26:35 +0100 | dtman34 | (~dtman34@c-174-53-203-90.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
| 2025-01-14 20:28:23 +0100 | bliminse | (~bliminse@user/bliminse) (Quit: leaving) |
| 2025-01-14 20:30:26 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-14 20:30:26 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-14 20:32:18 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-01-14 20:36:33 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-01-14 20:45:21 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2025-01-14 20:46:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 20:47:30 +0100 | Square2 | (~Square4@user/square) Square |
| 2025-01-14 20:50:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2025-01-14 20:50:50 +0100 | sprotte24 | (~sprotte24@p200300d16f2d39009dedd0cca2feaedd.dip0.t-ipconnect.de) |
| 2025-01-14 20:53:03 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-01-14 20:55:30 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-01-14 20:59:21 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 264 seconds) |
| 2025-01-14 20:59:21 +0100 | ljdarj1 | ljdarj |
| 2025-01-14 20:59:21 +0100 | dtman34 | (~dtman34@2601:447:d080:1a3c:e8b1:d264:a50b:db46) dtman34 |
| 2025-01-14 21:00:02 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-01-14 21:00:55 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2025-01-14 21:01:43 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 21:02:51 +0100 | bliminse | (~bliminse@user/bliminse) bliminse |
| 2025-01-14 21:03:07 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2025-01-14 21:08:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-14 21:08:59 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2025-01-14 21:10:18 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2025-01-14 21:10:59 +0100 | <tomsmeding> | __monty__: there is an attempt to have a haskell meetup in Utrecht once in a while, but it's somewhat infrequent |
| 2025-01-14 21:11:19 +0100 | <tomsmeding> | there's not too much of a "social" haskell scene in that sense, as far as I know |
| 2025-01-14 21:12:20 +0100 | xdej_ | (~xdej@quatramaran.salle-s.org) (Remote host closed the connection) |
| 2025-01-14 21:12:24 +0100 | <[exa]> | __monty__: ah ok, I see |
| 2025-01-14 21:13:35 +0100 | int-e | (~noone@int-e.eu) (Remote host closed the connection) |
| 2025-01-14 21:14:13 +0100 | int-e | (~noone@int-e.eu) int-e |
| 2025-01-14 21:14:50 +0100 | lambdabot | (~lambdabot@haskell/bot/lambdabot) (Remote host closed the connection) |
| 2025-01-14 21:15:19 +0100 | lambdabot | (~lambdabot@haskell/bot/lambdabot) lambdabot |
| 2025-01-14 21:15:19 +0100 | ChanServ | +v lambdabot |
| 2025-01-14 21:18:08 +0100 | Midjak | (~MarciZ@82.66.147.146) Midjak |
| 2025-01-14 21:18:27 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2025-01-14 21:19:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 21:19:37 +0100 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) (Ping timeout: 276 seconds) |
| 2025-01-14 21:24:15 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2025-01-14 21:24:15 +0100 | xdminsy | (~xdminsy@117.147.71.200) xdminsy |
| 2025-01-14 21:26:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-14 21:27:37 +0100 | a0v7a9 | (~ava079@90.156.161.73) (Quit: Leaving) |
| 2025-01-14 21:28:13 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-14 21:28:16 +0100 | <haskellbridge> | <magic_rb> Im always down for another utrecht haskell meet |
| 2025-01-14 21:28:52 +0100 | <haskellbridge> | <magic_rb> Someone just needs to tell me when and where and ill be there |
| 2025-01-14 21:28:55 +0100 | <tomsmeding> | magic_rb: if you're a member of the meetup group then in principle you should get notification emails when one is scheduler |
| 2025-01-14 21:28:58 +0100 | <tomsmeding> | *scheduled |
| 2025-01-14 21:29:11 +0100 | <haskellbridge> | <magic_rb> I do and i am |
| 2025-01-14 21:29:39 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2025-01-14 21:30:40 +0100 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) paotsaq |
| 2025-01-14 21:35:27 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds) |
| 2025-01-14 21:37:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 21:39:50 +0100 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) (Ping timeout: 276 seconds) |
| 2025-01-14 21:41:56 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-14 21:52:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 21:56:52 +0100 | hsw_ | (~hsw@112-104-8-145.adsl.dynamic.seed.net.tw) (Remote host closed the connection) |
| 2025-01-14 21:57:07 +0100 | hsw_ | (~hsw@112-104-8-145.adsl.dynamic.seed.net.tw) hsw |
| 2025-01-14 21:57:25 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-14 21:57:51 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 2025-01-14 21:59:13 +0100 | dtman34 | (~dtman34@2601:447:d080:1a3c:e8b1:d264:a50b:db46) (Ping timeout: 244 seconds) |
| 2025-01-14 22:00:00 +0100 | jle` | (~jle`@2603:8001:3b02:84d4:68b0:c2d1:4ed0:1ad6) (Ping timeout: 252 seconds) |
| 2025-01-14 22:01:00 +0100 | jle` | (~jle`@2603:8001:3b02:84d4:90eb:bd2f:bbf5:f0d8) jle` |
| 2025-01-14 22:02:28 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2025-01-14 22:03:09 +0100 | euleritian | (~euleritia@dynamic-176-006-128-233.176.6.pool.telefonica.de) |
| 2025-01-14 22:08:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 22:09:27 +0100 | dtman34 | (~dtman34@c-76-156-64-77.hsd1.mn.comcast.net) dtman34 |
| 2025-01-14 22:14:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-14 22:15:13 +0100 | paul_j | (~user@8.190.187.81.in-addr.arpa) (Remote host closed the connection) |
| 2025-01-14 22:25:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 22:29:20 +0100 | michalz_ | (~michalz@185.246.207.203) (Remote host closed the connection) |
| 2025-01-14 22:30:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-14 22:31:45 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-01-14 22:35:59 +0100 | dtman34 | (~dtman34@c-76-156-64-77.hsd1.mn.comcast.net) (Read error: Connection reset by peer) |
| 2025-01-14 22:36:09 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-14 22:40:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 22:43:55 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2025-01-14 22:44:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-14 22:47:45 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-01-14 22:47:49 +0100 | dtman34 | (~dtman34@c-76-156-64-77.hsd1.mn.comcast.net) dtman34 |
| 2025-01-14 22:52:38 +0100 | xdminsy | (~xdminsy@117.147.71.200) (Read error: Connection reset by peer) |
| 2025-01-14 22:54:08 +0100 | xdminsy | (~xdminsy@117.147.71.200) xdminsy |
| 2025-01-14 22:55:45 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2025-01-14 22:56:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 23:00:42 +0100 | xdminsy | (~xdminsy@117.147.71.200) (Read error: Connection reset by peer) |
| 2025-01-14 23:01:20 +0100 | xdminsy | (~xdminsy@117.147.71.200) xdminsy |
| 2025-01-14 23:01:27 +0100 | mange | (~user@user/mange) mange |
| 2025-01-14 23:02:51 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2025-01-14 23:06:00 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-14 23:07:19 +0100 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) paotsaq |
| 2025-01-14 23:07:44 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 260 seconds) |
| 2025-01-14 23:08:55 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-14 23:09:23 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-01-14 23:10:12 +0100 | tnt2 | (~Thunderbi@user/tnt1) (Ping timeout: 246 seconds) |
| 2025-01-14 23:14:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 23:15:48 +0100 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) (Ping timeout: 245 seconds) |
| 2025-01-14 23:17:42 +0100 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) |
| 2025-01-14 23:18:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-14 23:22:13 +0100 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) (Ping timeout: 248 seconds) |
| 2025-01-14 23:29:28 +0100 | g00gler | (uid125351@id-125351.uxbridge.irccloud.com) |
| 2025-01-14 23:29:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 23:32:46 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) lisbeths |
| 2025-01-14 23:34:27 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-14 23:35:21 +0100 | dysthesis | (~dysthesis@user/dysthesis) dysthesis |
| 2025-01-14 23:39:17 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-01-14 23:42:47 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2025-01-14 23:42:47 +0100 | ljdarj1 | ljdarj |
| 2025-01-14 23:44:55 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 23:49:00 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-01-14 23:49:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-14 23:53:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 23:57:10 +0100 | weary-traveler | (~user@user/user363627) user363627 |