| 2023-12-18 00:07:32 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-12-18 00:08:55 +0100 | barak | (~barak@2a0d:6fc2:68c1:2600:e14a:d7fd:220f:efcc) |
| 2023-12-18 00:14:53 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:39ee:ad48:213b:b43b) (Remote host closed the connection) |
| 2023-12-18 00:15:46 +0100 | barak | (~barak@2a0d:6fc2:68c1:2600:e14a:d7fd:220f:efcc) (Remote host closed the connection) |
| 2023-12-18 00:21:41 +0100 | leungbk | (~user@142-129-149-172.res.spectrum.com) |
| 2023-12-18 00:23:02 +0100 | elevenkb | (elevenkb@2607:5300:203:b92b::185) (ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.1)) |
| 2023-12-18 00:23:59 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2023-12-18 00:29:27 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-12-18 00:33:52 +0100 | caubert | (~caubert@user/caubert) (Quit: WeeChat 4.0.1) |
| 2023-12-18 00:34:03 +0100 | caubert | (~caubert@user/caubert) |
| 2023-12-18 00:34:20 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2023-12-18 00:35:25 +0100 | caubert | (~caubert@user/caubert) (Client Quit) |
| 2023-12-18 00:35:36 +0100 | caubert | (~caubert@user/caubert) |
| 2023-12-18 00:39:25 +0100 | sawilagar | (~sawilagar@user/sawilagar) (Remote host closed the connection) |
| 2023-12-18 00:39:40 +0100 | chomwitt | (~chomwitt@2a02:587:7a09:c300:1ac0:4dff:fedb:a3f1) (Ping timeout: 276 seconds) |
| 2023-12-18 00:41:13 +0100 | sawilagar | (~sawilagar@user/sawilagar) |
| 2023-12-18 00:41:53 +0100 | araujo | (~araujo@216.73.163.29) |
| 2023-12-18 00:43:30 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2023-12-18 00:44:35 +0100 | mechap | (~mechap@user/mechap) (Quit: WeeChat 4.1.2) |
| 2023-12-18 00:45:04 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:39ee:ad48:213b:b43b) |
| 2023-12-18 00:49:39 +0100 | aruns | (~aruns@user/aruns) (Ping timeout: 252 seconds) |
| 2023-12-18 00:57:07 +0100 | Square | (~Square@user/square) |
| 2023-12-18 00:58:50 +0100 | Domini | (~Domini@2a03:f680:fe00:782:f608:8441:2c18:f71) |
| 2023-12-18 01:01:15 +0100 | Maxdamantus | (~Maxdamant@user/maxdamantus) |
| 2023-12-18 01:01:45 +0100 | jargon | (~jargon@15.sub-174-205-161.myvzw.com) |
| 2023-12-18 01:03:04 +0100 | <Axman6> | How do you uninstall/unregister a package with cabal? I've got two packages installed in a project which contain the same module name, and I was the one I'm not using to stop confuising cabal |
| 2023-12-18 01:05:10 +0100 | <geekosaur> | that should only happen if you're depending on both of them |
| 2023-12-18 01:05:26 +0100 | <geekosaur> | anyway you don't use cabal, you use ghc-pkg |
| 2023-12-18 01:05:58 +0100 | <sclv> | it depends what you mean by “installed in a project” |
| 2023-12-18 01:06:00 +0100 | <Axman6> | I was depenidng on the wrong one and now on the correct one. (technically I'm using clashi not ghci, but they should be pretty much the same afaict whenrun with cabal run) |
| 2023-12-18 01:06:26 +0100 | <sclv> | if you’re using install —lib then its an env file you can edit |
| 2023-12-18 01:06:42 +0100 | <sclv> | if its v1-install you use ghc-pkg |
| 2023-12-18 01:07:30 +0100 | <Axman6> | all I've done is cabal build in my project |
| 2023-12-18 01:07:48 +0100 | <sclv> | then there should be no conflict! |
| 2023-12-18 01:08:20 +0100 | <sclv> | if you depend on two packages which both export the same module |
| 2023-12-18 01:08:32 +0100 | <sclv> | then you need to not depend on one of them -- or, you can use package-qualified-imports to specify which |
| 2023-12-18 01:08:41 +0100 | <sclv> | https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/package_qualified_imports.html |
| 2023-12-18 01:08:56 +0100 | <Axman6> | I'm not depending on the wrong one, the name of it doesn't appear anywhere in my project |
| 2023-12-18 01:09:16 +0100 | <Axman6> | I was hoping to avoid that, since it should be unnecessary |
| 2023-12-18 01:09:52 +0100 | <geekosaur> | did you do a cabal build after switching the dependency? I'm not sure of the other places where the build plan is regenerated but I know cabal build does it |
| 2023-12-18 01:10:08 +0100 | <sclv> | Axman6: it may be a transitive dependency of something else that appears in your project |
| 2023-12-18 01:10:29 +0100 | <c_wraith> | and if you need to be really sure, `cabal clean` isn't likely to do harm. |
| 2023-12-18 01:10:56 +0100 | <Axman6> | yeah I tried cabal clean too |
| 2023-12-18 01:13:44 +0100 | arahael_ | (~arahael@1.145.65.173) |
| 2023-12-18 01:13:51 +0100 | <Axman6> | bleh, I'll just used PackageImports |
| 2023-12-18 01:14:23 +0100 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 252 seconds) |
| 2023-12-18 01:14:45 +0100 | <Axman6> | Looks like that works, but annoying |
| 2023-12-18 01:16:36 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2023-12-18 01:20:12 +0100 | <jackdk> | Axman6: `rm -r dist-newstyle dist`? |
| 2023-12-18 01:25:17 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2023-12-18 01:26:10 +0100 | leungbk | (~user@142-129-149-172.res.spectrum.com) (Read error: Connection reset by peer) |
| 2023-12-18 01:27:35 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2023-12-18 01:28:42 +0100 | leungbk | (~user@2603-8000-1201-2dd2-c6d9-54b4-e833-e13c.res6.spectrum.com) |
| 2023-12-18 01:29:00 +0100 | leungbk | (~user@2603-8000-1201-2dd2-c6d9-54b4-e833-e13c.res6.spectrum.com) (Remote host closed the connection) |
| 2023-12-18 01:31:27 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Ping timeout: 252 seconds) |
| 2023-12-18 01:32:24 +0100 | arahael_ | (~arahael@1.145.65.173) (Read error: Connection reset by peer) |
| 2023-12-18 01:34:00 +0100 | shapr | (~user@2600:1700:c640:3100:17ce:8e1b:149d:4811) |
| 2023-12-18 01:34:11 +0100 | pavonia | (~user@user/siracusa) |
| 2023-12-18 01:47:53 +0100 | ph88^ | (~ph88@2a02:8109:9e26:c800:e508:c8b7:4095:ff9a) (Remote host closed the connection) |
| 2023-12-18 01:49:22 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-12-18 01:54:06 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
| 2023-12-18 01:56:29 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-12-18 02:06:32 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2023-12-18 02:24:37 +0100 | araujo | (~araujo@216.73.163.29) (Ping timeout: 255 seconds) |
| 2023-12-18 02:27:58 +0100 | hsw_ | hsw |
| 2023-12-18 02:29:21 +0100 | hsw | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) (Quit: Leaving) |
| 2023-12-18 02:29:33 +0100 | hsw | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) |
| 2023-12-18 02:45:25 +0100 | <fvr> | it could be a transitive dependency, recently faced a similar issue with cryptonite universe and crypton |
| 2023-12-18 02:46:42 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2023-12-18 02:49:46 +0100 | bratwurst | (~blaadsfa@2604:3d09:2083:a200:216:3eff:fe5a:a1f8) |
| 2023-12-18 02:50:27 +0100 | defkev | (~defkev@2a09:bac1:1e20:11e0::47:315) |
| 2023-12-18 03:14:05 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2023-12-18 03:14:48 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2023-12-18 03:21:01 +0100 | arahael_ | (~arahael@1.145.3.215) |
| 2023-12-18 03:23:02 +0100 | gdown | (~gavin@h69-11-149-109.kndrid.broadband.dynamic.tds.net) |
| 2023-12-18 03:31:56 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
| 2023-12-18 03:34:53 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-12-18 03:53:41 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2023-12-18 03:54:48 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:39ee:ad48:213b:b43b) (Remote host closed the connection) |
| 2023-12-18 04:06:29 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-12-18 04:12:57 +0100 | bratwurst | (~blaadsfa@2604:3d09:2083:a200:216:3eff:fe5a:a1f8) (Ping timeout: 268 seconds) |
| 2023-12-18 04:16:41 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-12-18 04:19:49 +0100 | rosco | (~rosco@175.136.152.56) |
| 2023-12-18 04:21:13 +0100 | ezzieygu1wuf | (~Unknown@user/ezzieyguywuf) (Quit: leaving) |
| 2023-12-18 04:21:27 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
| 2023-12-18 04:25:11 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2023-12-18 04:31:18 +0100 | td_ | (~td@i5387091F.versanet.de) (Ping timeout: 252 seconds) |
| 2023-12-18 04:32:06 +0100 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-12-18 04:32:06 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-12-18 04:32:06 +0100 | finn_elija | FinnElija |
| 2023-12-18 04:32:52 +0100 | td_ | (~td@i53870935.versanet.de) |
| 2023-12-18 04:34:46 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:39ee:ad48:213b:b43b) |
| 2023-12-18 04:38:53 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:39ee:ad48:213b:b43b) (Ping timeout: 240 seconds) |
| 2023-12-18 04:42:52 +0100 | terrorjack | (~terrorjac@2a01:4f8:c17:87f8::) (Quit: The Lounge - https://thelounge.chat) |
| 2023-12-18 04:45:38 +0100 | terrorjack | (~terrorjac@2a01:4f8:c17:87f8::) |
| 2023-12-18 04:46:42 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 252 seconds) |
| 2023-12-18 04:46:50 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:39ee:ad48:213b:b43b) |
| 2023-12-18 04:50:51 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2023-12-18 04:54:46 +0100 | Maxdamantus | (~Maxdamant@user/maxdamantus) (Ping timeout: 256 seconds) |
| 2023-12-18 04:56:46 +0100 | Maxdamantus | (~Maxdamant@user/maxdamantus) |
| 2023-12-18 05:00:00 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2023-12-18 05:00:25 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-12-18 05:02:23 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2023-12-18 05:02:53 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-12-18 05:05:59 +0100 | jargon | (~jargon@15.sub-174-205-161.myvzw.com) (Remote host closed the connection) |
| 2023-12-18 05:10:08 +0100 | shriekingnoise | (~shrieking@186.137.175.87) (Quit: Quit) |
| 2023-12-18 05:12:24 +0100 | arahael_ | (~arahael@1.145.3.215) (Read error: Connection reset by peer) |
| 2023-12-18 05:18:56 +0100 | Domini | (~Domini@2a03:f680:fe00:782:f608:8441:2c18:f71) (Read error: Connection reset by peer) |
| 2023-12-18 05:19:05 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 256 seconds) |
| 2023-12-18 05:31:43 +0100 | aforemny | (~aforemny@2001:9e8:6cef:2b00:2a8:87dd:98aa:917b) |
| 2023-12-18 05:32:49 +0100 | aforemny_ | (~aforemny@2001:9e8:6cc8:4800:6191:b8f0:496f:ffa7) (Ping timeout: 256 seconds) |
| 2023-12-18 05:54:53 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2023-12-18 05:57:31 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2023-12-18 05:58:05 +0100 | trev | (~trev@user/trev) |
| 2023-12-18 06:08:09 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
| 2023-12-18 06:08:46 +0100 | michalz | (~michalz@185.246.204.126) |
| 2023-12-18 06:19:09 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds) |
| 2023-12-18 06:19:39 +0100 | euleritian | (~euleritia@dynamic-046-114-205-234.46.114.pool.telefonica.de) |
| 2023-12-18 06:21:20 +0100 | euleritian | (~euleritia@dynamic-046-114-205-234.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-12-18 06:21:37 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-12-18 06:27:49 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds) |
| 2023-12-18 06:28:02 +0100 | euleritian | (~euleritia@dynamic-046-114-205-234.46.114.pool.telefonica.de) |
| 2023-12-18 06:34:43 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2023-12-18 06:53:27 +0100 | thegeekinside | (~thegeekin@189.141.65.247) |
| 2023-12-18 06:54:29 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-12-18 06:57:49 +0100 | michalz | (~michalz@185.246.204.126) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-12-18 07:00:23 +0100 | euleritian | (~euleritia@dynamic-046-114-205-234.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-12-18 07:00:41 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-12-18 07:00:45 +0100 | michalz | (~michalz@185.246.204.107) |
| 2023-12-18 07:03:46 +0100 | shapr | (~user@2600:1700:c640:3100:17ce:8e1b:149d:4811) (Ping timeout: 268 seconds) |
| 2023-12-18 07:04:15 +0100 | <albet70> | what's the range of Word32? |
| 2023-12-18 07:07:35 +0100 | defkev2 | (~defkev@2a09:bac5:2a21:1b4b::2b8:2f) |
| 2023-12-18 07:07:43 +0100 | defkev | (~defkev@2a09:bac1:1e20:11e0::47:315) (Ping timeout: 246 seconds) |
| 2023-12-18 07:07:56 +0100 | <probie> | > [minBound :: Word32, maxBound] |
| 2023-12-18 07:07:58 +0100 | <lambdabot> | [0,4294967295] |
| 2023-12-18 07:11:24 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2023-12-18 07:11:49 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2023-12-18 07:14:29 +0100 | thegeekinside | (~thegeekin@189.141.65.247) (Ping timeout: 240 seconds) |
| 2023-12-18 07:15:08 +0100 | <ski> | > 2^32 - 1 |
| 2023-12-18 07:15:10 +0100 | <lambdabot> | 4294967295 |
| 2023-12-18 07:16:03 +0100 | <int-e> | > -1 :: Word32 |
| 2023-12-18 07:16:05 +0100 | <lambdabot> | 4294967295 |
| 2023-12-18 07:16:31 +0100 | chexum_ | (~quassel@gateway/tor-sasl/chexum) |
| 2023-12-18 07:16:48 +0100 | zetef | (~quassel@95.77.17.251) |
| 2023-12-18 07:17:48 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2023-12-18 07:18:05 +0100 | not_reserved | (~not_reser@154.16.157.85) |
| 2023-12-18 07:20:52 +0100 | igemnace | (~ian@user/igemnace) |
| 2023-12-18 07:24:58 +0100 | chomwitt | (~chomwitt@2a02:587:7a09:c300:1ac0:4dff:fedb:a3f1) |
| 2023-12-18 07:25:26 +0100 | <EvanR> | four billion something |
| 2023-12-18 07:26:52 +0100 | zetef | (~quassel@95.77.17.251) (Read error: Connection reset by peer) |
| 2023-12-18 07:27:33 +0100 | zetef | (~quassel@95.77.17.251) |
| 2023-12-18 07:36:31 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2023-12-18 07:36:31 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2023-12-18 07:37:01 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2023-12-18 07:37:22 +0100 | euleritian | (~euleritia@77.22.252.56) |
| 2023-12-18 07:52:34 +0100 | harveypwca | (~harveypwc@2601:246:c280:7940:585a:99af:3e4c:209b) |
| 2023-12-18 07:52:46 +0100 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (Quit: WeeChat 4.1.1) |
| 2023-12-18 07:54:17 +0100 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) |
| 2023-12-18 07:56:01 +0100 | zetef | (~quassel@95.77.17.251) (Ping timeout: 246 seconds) |
| 2023-12-18 07:59:27 +0100 | acidjnk | (~acidjnk@p200300d6e72b937545e16c5730f5fc30.dip0.t-ipconnect.de) |
| 2023-12-18 08:07:31 +0100 | rosco | (~rosco@175.136.152.56) (Quit: Lost terminal) |
| 2023-12-18 08:14:32 +0100 | zetef | (~quassel@95.77.17.251) |
| 2023-12-18 08:15:11 +0100 | gdown | (~gavin@h69-11-149-109.kndrid.broadband.dynamic.tds.net) (Remote host closed the connection) |
| 2023-12-18 08:33:11 +0100 | lisbeths_ | (uid135845@id-135845.lymington.irccloud.com) |
| 2023-12-18 08:45:09 +0100 | xdminsy | (~xdminsy@117.147.70.160) (Read error: Connection reset by peer) |
| 2023-12-18 08:46:44 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2023-12-18 08:48:13 +0100 | fendor | (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) |
| 2023-12-18 08:49:01 +0100 | Square2 | (~Square4@user/square) |
| 2023-12-18 08:52:00 +0100 | Square | (~Square@user/square) (Ping timeout: 268 seconds) |
| 2023-12-18 08:52:17 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-12-18 08:54:19 +0100 | zetef | (~quassel@95.77.17.251) (Ping timeout: 255 seconds) |
| 2023-12-18 09:00:09 +0100 | Guest61 | (~Guest61@c-24-147-249-131.hsd1.ma.comcast.net) |
| 2023-12-18 09:00:24 +0100 | CiaoSen | (~Jura@2a05:5800:29b:d900:ca4b:d6ff:fec1:99da) |
| 2023-12-18 09:00:41 +0100 | Guest61 | (~Guest61@c-24-147-249-131.hsd1.ma.comcast.net) (Client Quit) |
| 2023-12-18 09:13:49 +0100 | <phma> | I'm thinking of a function deal 5 "abcdefghijklmnopqrstuvwxyz" = ["afkpuz", "bglqv", "chmrw", "dinsx", "ejoty"]. Does such a function exist already? |
| 2023-12-18 09:13:50 +0100 | zetef | (~quassel@95.77.17.251) |
| 2023-12-18 09:14:43 +0100 | <dminuoso_> | Well, "it exists" sure. |
| 2023-12-18 09:15:08 +0100 | <haskellbridge> | 12<Celestial> `chunksOf` in the `split` package |
| 2023-12-18 09:15:13 +0100 | <dminuoso_> | The real question is: Do you expect this to be a in a library? And how do you want it to handle string input that is not divisibile by n? |
| 2023-12-18 09:16:00 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-12-18 09:16:45 +0100 | <ski> | > (transpose . chunksOf 3) [0 .. 9] |
| 2023-12-18 09:16:47 +0100 | <lambdabot> | [[0,3,6,9],[1,4,7],[2,5,8]] |
| 2023-12-18 09:17:16 +0100 | <ski> | > (transpose . chunksOf 5) ['a' .. 'z'] |
| 2023-12-18 09:17:17 +0100 | <lambdabot> | ["afkpuz","bglqv","chmrw","dinsx","ejoty"] |
| 2023-12-18 09:17:31 +0100 | <dminuoso_> | Ah, I didnt even see that the first element on the output was longer. |
| 2023-12-18 09:18:01 +0100 | <dminuoso_> | At any rate, the mere splitting doesnt require a whole package, you can just conjure it up yourself |
| 2023-12-18 09:18:05 +0100 | <haskellbridge> | 12<Celestial> oh I misread the output lol |
| 2023-12-18 09:18:40 +0100 | <ski> | > unfoldr (\xs -> guard (not (null xs)) >> Just (splitAt 3 xs)) [0 .. 9] |
| 2023-12-18 09:18:42 +0100 | <lambdabot> | [[0,1,2],[3,4,5],[6,7,8],[9]] |
| 2023-12-18 09:20:02 +0100 | <dminuoso_> | https://paste.tomsmeding.com/LhfO9zNK |
| 2023-12-18 09:20:34 +0100 | <ski> | s/negative/non-positive/ |
| 2023-12-18 09:20:37 +0100 | <phma> | Does (transpose . chunksOf) compute the whole "afkpuz" before "bglqv", or does it compute 'a', 'b', 'c', 'd', and 'e' before the next letter of each? |
| 2023-12-18 09:20:46 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
| 2023-12-18 09:21:04 +0100 | <ski> | phma : only if you force it to |
| 2023-12-18 09:21:44 +0100 | <phma> | The reason I ask is that I'd like to use it as a parallel strategy. I have a computation that starts with a list of Integer, |
| 2023-12-18 09:22:18 +0100 | <ski> | should work, i think |
| 2023-12-18 09:23:00 +0100 | <phma> | then turns each Integer into a big mess of stuff, and finally comes up with a floating-point number or two. |
| 2023-12-18 09:23:01 +0100 | <haskellbridge> | 12<Celestial> `liftM2 (>>) (guard . not . null) (Just . splitAt 3)` lol |
| 2023-12-18 09:23:48 +0100 | jmorris | (~joshua@220-233-36-28.ip4.superloop.au) |
| 2023-12-18 09:23:56 +0100 | <ski> | hm .. makes me wonder whether one could have a comonad for propagating number of cores to utilize, to subcomputations |
| 2023-12-18 09:24:20 +0100 | <ski> | yea, that `guard' isn't particularly pretty |
| 2023-12-18 09:24:21 +0100 | <phma> | I'm currently using the chunksOf strategy, but if I put the parenthesis in the wrong place, it gobbles up all the memory and gets killed. |
| 2023-12-18 09:25:11 +0100 | <ski> | (preferably, only the parallel strategy part of the code can depend on the number of cores to use, not the actual result computed) |
| 2023-12-18 09:25:27 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2023-12-18 09:25:27 +0100 | <phma> | true |
| 2023-12-18 09:27:14 +0100 | <phma> | deal numCapabilities |
| 2023-12-18 09:29:36 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-12-18 09:35:38 +0100 | misterfish | (~misterfis@87.215.131.102) |
| 2023-12-18 09:44:55 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:486d:1053:8f72:bd83) |
| 2023-12-18 09:47:39 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-12-18 09:48:46 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Read error: Connection reset by peer) |
| 2023-12-18 09:49:05 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2023-12-18 09:50:51 +0100 | rosco | (~rosco@175.136.152.56) |
| 2023-12-18 09:52:13 +0100 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 246 seconds) |
| 2023-12-18 09:52:50 +0100 | __monty__ | (~toonn@user/toonn) |
| 2023-12-18 09:53:45 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-12-18 09:53:45 +0100 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-12-18 09:53:45 +0100 | finn_elija | FinnElija |
| 2023-12-18 09:57:01 +0100 | zetef | (~quassel@95.77.17.251) (Ping timeout: 245 seconds) |
| 2023-12-18 10:03:47 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-12-18 10:05:11 +0100 | euleritian | (~euleritia@77.22.252.56) |
| 2023-12-18 10:12:51 +0100 | harveypwca | (~harveypwc@2601:246:c280:7940:585a:99af:3e4c:209b) (Quit: Leaving) |
| 2023-12-18 10:24:29 +0100 | gehmehgeh | (~user@user/gehmehgeh) |
| 2023-12-18 10:26:13 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2023-12-18 10:26:50 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds) |
| 2023-12-18 10:27:37 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2023-12-18 10:30:48 +0100 | zetef | (~quassel@95.77.17.251) |
| 2023-12-18 10:38:36 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-12-18 10:38:41 +0100 | jmorris | (~joshua@220-233-36-28.ip4.superloop.au) (Ping timeout: 245 seconds) |
| 2023-12-18 10:39:42 +0100 | ft | (~ft@p4fc2ae2b.dip0.t-ipconnect.de) (Quit: leaving) |
| 2023-12-18 10:42:27 +0100 | danse-nr3 | (~danse@151.57.127.106) |
| 2023-12-18 10:45:51 +0100 | mikess | (~sam@user/mikess) (Ping timeout: 252 seconds) |
| 2023-12-18 10:52:49 +0100 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Quit: zzz) |
| 2023-12-18 10:54:24 +0100 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) |
| 2023-12-18 10:58:01 +0100 | not_reserved | (~not_reser@154.16.157.85) (Quit: Client closed) |
| 2023-12-18 10:58:16 +0100 | zetef | (~quassel@95.77.17.251) (Ping timeout: 245 seconds) |
| 2023-12-18 11:02:56 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2023-12-18 11:03:39 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2023-12-18 11:32:20 +0100 | sawilagar | (~sawilagar@user/sawilagar) |
| 2023-12-18 11:36:38 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:39ee:ad48:213b:b43b) (Remote host closed the connection) |
| 2023-12-18 11:59:06 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-12-18 12:05:16 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Remote host closed the connection) |
| 2023-12-18 12:06:18 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-12-18 12:09:14 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 260 seconds) |
| 2023-12-18 12:10:01 +0100 | califax | (~califax@user/califx) |
| 2023-12-18 12:10:48 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-12-18 12:11:45 +0100 | califax | (~califax@user/califx) |
| 2023-12-18 12:12:29 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:39ee:ad48:213b:b43b) |
| 2023-12-18 12:22:43 +0100 | CiaoSen | (~Jura@2a05:5800:29b:d900:ca4b:d6ff:fec1:99da) (Ping timeout: 246 seconds) |
| 2023-12-18 12:27:18 +0100 | lisbeths_ | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-12-18 12:27:37 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2023-12-18 12:31:17 +0100 | araujo | (~araujo@45.146.54.162) |
| 2023-12-18 12:35:18 +0100 | michalz | (~michalz@185.246.204.107) (Ping timeout: 252 seconds) |
| 2023-12-18 12:39:17 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 240 seconds) |
| 2023-12-18 12:42:47 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-12-18 12:45:59 +0100 | lg188 | (~lg188@82.18.98.230) (Ping timeout: 260 seconds) |
| 2023-12-18 12:47:36 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3440-8a60-08ed-c985-fcf0-b19a.rev.sfr.net) |
| 2023-12-18 12:49:42 +0100 | danse-nr3 | (~danse@151.57.127.106) (Quit: Leaving) |
| 2023-12-18 12:51:31 +0100 | danse-nr3 | (~danse@151.57.127.106) |
| 2023-12-18 13:00:49 +0100 | defkev2 | (~defkev@2a09:bac5:2a21:1b4b::2b8:2f) (Quit: WeeChat 4.0.4) |
| 2023-12-18 13:01:03 +0100 | defkev | (~defkev@2a09:bac5:2a21:1b4b::2b8:2f) |
| 2023-12-18 13:02:39 +0100 | defkev | (~defkev@2a09:bac5:2a21:1b4b::2b8:2f) (Remote host closed the connection) |
| 2023-12-18 13:02:59 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 264 seconds) |
| 2023-12-18 13:04:18 +0100 | defkev | (~defkev@2a09:bac5:2a21:1b4b::2b8:2f) |
| 2023-12-18 13:04:39 +0100 | Maxdamantus | (~Maxdamant@user/maxdamantus) (Ping timeout: 260 seconds) |
| 2023-12-18 13:04:41 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2023-12-18 13:04:56 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2023-12-18 13:05:29 +0100 | Maxdamantus | (~Maxdamant@user/maxdamantus) |
| 2023-12-18 13:05:58 +0100 | CiaoSen | (~Jura@2a05:5800:29b:d900:ca4b:d6ff:fec1:99da) |
| 2023-12-18 13:06:04 +0100 | danse-nr3 | (~danse@151.57.127.106) (Ping timeout: 256 seconds) |
| 2023-12-18 13:11:43 +0100 | CAT_S | (apic@brezn3.muc.ccc.de) (Ping timeout: 276 seconds) |
| 2023-12-18 13:12:21 +0100 | michalz | (~michalz@185.246.204.126) |
| 2023-12-18 13:13:44 +0100 | danse-nr3 | (~danse@151.37.116.181) |
| 2023-12-18 13:15:55 +0100 | chele | (~chele@user/chele) |
| 2023-12-18 13:17:41 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-12-18 13:20:32 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2023-12-18 13:21:56 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-12-18 13:22:51 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 2023-12-18 13:24:05 +0100 | CAT_S | (apic@brezn3.muc.ccc.de) |
| 2023-12-18 13:25:03 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2023-12-18 13:29:19 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 240 seconds) |
| 2023-12-18 13:32:03 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2023-12-18 13:42:14 +0100 | cfricke | (~cfricke@user/cfricke) |
| 2023-12-18 13:58:09 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2023-12-18 13:58:41 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2023-12-18 14:02:12 +0100 | rosco | (~rosco@175.136.152.56) (Quit: Lost terminal) |
| 2023-12-18 14:02:54 +0100 | igemnace | (~ian@user/igemnace) (Read error: Connection reset by peer) |
| 2023-12-18 14:10:05 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 2023-12-18 14:19:00 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3440-8a60-08ed-c985-fcf0-b19a.rev.sfr.net) (Remote host closed the connection) |
| 2023-12-18 14:19:19 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3440-8a60-08ed-c985-fcf0-b19a.rev.sfr.net) |
| 2023-12-18 14:19:31 +0100 | igemnace | (~ian@user/igemnace) |
| 2023-12-18 14:27:34 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3440-8a60-08ed-c985-fcf0-b19a.rev.sfr.net) (Remote host closed the connection) |
| 2023-12-18 14:27:53 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3440-8a60-08ed-c985-fcf0-b19a.rev.sfr.net) |
| 2023-12-18 14:28:06 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-12-18 14:33:32 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3440-8a60-08ed-c985-fcf0-b19a.rev.sfr.net) (Remote host closed the connection) |
| 2023-12-18 14:33:51 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3440-8a60-08ed-c985-fcf0-b19a.rev.sfr.net) |
| 2023-12-18 14:43:57 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2023-12-18 14:47:32 +0100 | defkev | (~defkev@2a09:bac5:2a21:1b4b::2b8:2f) (Remote host closed the connection) |
| 2023-12-18 14:47:54 +0100 | defkev | (~defkev@2a09:bac5:2a21:1b4b::2b8:2f) |
| 2023-12-18 14:53:47 +0100 | zzz | (~z@user/zero) |
| 2023-12-18 14:57:28 +0100 | misterfish | (~misterfis@87.215.131.102) (Ping timeout: 255 seconds) |
| 2023-12-18 14:57:40 +0100 | zero | (~z@user/zero) (Ping timeout: 276 seconds) |
| 2023-12-18 14:57:40 +0100 | zzz | zero |
| 2023-12-18 14:57:45 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2023-12-18 15:05:41 +0100 | Square2 | (~Square4@user/square) (Ping timeout: 240 seconds) |
| 2023-12-18 15:11:41 +0100 | gdd | (~gdd@82-65-118-1.subs.proxad.net) |
| 2023-12-18 15:13:57 +0100 | Inst_ | (~Inst@120.244.192.109) |
| 2023-12-18 15:14:58 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-12-18 15:15:46 +0100 | thegeekinside | (~thegeekin@189.141.65.247) |
| 2023-12-18 15:16:27 +0100 | Inst | (~Inst@120.244.192.109) (Ping timeout: 252 seconds) |
| 2023-12-18 15:18:14 +0100 | gdd | help |
| 2023-12-18 15:18:18 +0100 | help | gdd |
| 2023-12-18 15:18:34 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2023-12-18 15:18:41 +0100 | danse-nr3 | (~danse@151.37.116.181) (Ping timeout: 245 seconds) |
| 2023-12-18 15:19:14 +0100 | acidjnk | (~acidjnk@p200300d6e72b937545e16c5730f5fc30.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2023-12-18 15:19:24 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3440-8a60-08ed-c985-fcf0-b19a.rev.sfr.net) (Remote host closed the connection) |
| 2023-12-18 15:19:44 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3440-8a60-08ed-c985-fcf0-b19a.rev.sfr.net) |
| 2023-12-18 15:24:35 +0100 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 264 seconds) |
| 2023-12-18 15:24:44 +0100 | sagax | (~sagax_nb@user/sagax) |
| 2023-12-18 15:24:51 +0100 | euleritian | (~euleritia@dynamic-046-114-201-038.46.114.pool.telefonica.de) |
| 2023-12-18 15:24:53 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 240 seconds) |
| 2023-12-18 15:27:44 +0100 | edr | (~edr@user/edr) |
| 2023-12-18 15:29:03 +0100 | Guest55 | (~Guest55@2603-7000-4b42-1100-0000-0000-0000-0001.res6.spectrum.com) |
| 2023-12-18 15:33:58 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:486d:1053:8f72:bd83) (Ping timeout: 256 seconds) |
| 2023-12-18 15:36:38 +0100 | phma_ | (phma@2001:5b0:211f:3288:c577:e822:4748:a446) |
| 2023-12-18 15:39:01 +0100 | phma | (phma@2001:5b0:211f:bd58:b1ee:a43c:c633:a8b3) (Ping timeout: 256 seconds) |
| 2023-12-18 15:40:05 +0100 | ystael | (~ystael@user/ystael) |
| 2023-12-18 15:45:50 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2023-12-18 15:47:32 +0100 | zPlus | (~weechat@user/zplus) |
| 2023-12-18 15:48:32 +0100 | <zPlus> | sorry how do I build the documentation? The readme here https://gitlab.haskell.org/ghc/ghc/blob/master/hadrian/README.md#documentation says to use "build docs" but I don't know where to get the "build" command from |
| 2023-12-18 15:51:59 +0100 | acidjnk | (~acidjnk@p200300d6e72b937545e16c5730f5fc30.dip0.t-ipconnect.de) |
| 2023-12-18 15:58:28 +0100 | euleritian | (~euleritia@dynamic-046-114-201-038.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-12-18 15:58:46 +0100 | euleritian | (~euleritia@77.22.252.56) |
| 2023-12-18 16:00:46 +0100 | CiaoSen | (~Jura@2a05:5800:29b:d900:ca4b:d6ff:fec1:99da) (Ping timeout: 246 seconds) |
| 2023-12-18 16:04:22 +0100 | <mauke> | https://gitlab.haskell.org/ghc/ghc/blob/master/hadrian/README.md#your-first-build |
| 2023-12-18 16:06:32 +0100 | danse-nr3 | (~danse@151.37.116.181) |
| 2023-12-18 16:13:52 +0100 | Guest55 | (~Guest55@2603-7000-4b42-1100-0000-0000-0000-0001.res6.spectrum.com) (Quit: Client closed) |
| 2023-12-18 16:24:11 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:6d53:2134:999a:d664) |
| 2023-12-18 16:24:33 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3440-8a60-08ed-c985-fcf0-b19a.rev.sfr.net) (Remote host closed the connection) |
| 2023-12-18 16:24:54 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3440-8a60-08ed-c985-fcf0-b19a.rev.sfr.net) |
| 2023-12-18 16:32:53 +0100 | <zPlus> | mauke: "Hadrian is the build system for the GHC" but when I run ./configure it says "error: GHC is required". Isn't Hadrian supposed to build GHC in the first place? |
| 2023-12-18 16:33:29 +0100 | <lortabac> | you need GHC to compile GHC |
| 2023-12-18 16:34:02 +0100 | <zPlus> | who builds the root GHC then? |
| 2023-12-18 16:34:07 +0100 | <mauke> | "We will further refer to the build script simply as `build`." |
| 2023-12-18 16:34:21 +0100 | <lortabac> | unless you want to go back to GHC 0.0.1 and compile from source |
| 2023-12-18 16:34:24 +0100 | not_reserved | (~not_reser@154.16.157.99) |
| 2023-12-18 16:34:40 +0100 | <lortabac> | zPlus: you need a binary |
| 2023-12-18 16:34:44 +0100 | <zPlus> | weird, but ok. Thank you for the help |
| 2023-12-18 16:35:08 +0100 | <mauke> | I mean, gcc is written in C++ |
| 2023-12-18 16:35:39 +0100 | <lortabac> | IIRC someone is trying to make GHC buildable from source but it's not an easy task |
| 2023-12-18 16:36:03 +0100 | <lortabac> | IIRC it requires Hugs for the first versions |
| 2023-12-18 16:36:07 +0100 | <duncan> | zPlus: K&R used to joke that they inserted a backdoor into the ANSI C compiler. And, they could have. |
| 2023-12-18 16:38:38 +0100 | <mauke> | Ken Thompson gave a lecture on how to insert an invisible backdoor in a compiler |
| 2023-12-18 16:38:45 +0100 | <mauke> | "reflections on trusting trust" |
| 2023-12-18 16:39:06 +0100 | <mauke> | that was before ANSI C |
| 2023-12-18 16:39:31 +0100 | <mauke> | and he actually did do it; at least in the form of a proof of concept |
| 2023-12-18 16:39:38 +0100 | <lortabac> | I wonder how far one should go back in time in order to FULLY build GHC from sources |
| 2023-12-18 16:39:55 +0100 | <lortabac> | I mean, if one doesn't want to use GCC binaries either |
| 2023-12-18 16:40:31 +0100 | <lortabac> | assuming it's even possible |
| 2023-12-18 16:41:24 +0100 | liamzy__ | (~Inst@120.244.192.109) |
| 2023-12-18 16:42:35 +0100 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 264 seconds) |
| 2023-12-18 16:42:56 +0100 | <noctux> | the code even got published at some point: https://www.win.tue.nl/~aeb/linux/hh/thompson/trust.html |
| 2023-12-18 16:43:22 +0100 | euleritian | (~euleritia@dynamic-046-114-201-038.46.114.pool.telefonica.de) |
| 2023-12-18 16:43:30 +0100 | <noctux> | the concept really profited from far simpler compilers back in the days :P |
| 2023-12-18 16:44:03 +0100 | Inst_ | (~Inst@120.244.192.109) (Ping timeout: 268 seconds) |
| 2023-12-18 16:45:24 +0100 | <mauke> | that's not the code, that's the lecture |
| 2023-12-18 16:45:40 +0100 | <mauke> | better formatting: https://www.cs.cmu.edu/~rdriley/487/papers/Thompson_1984_ReflectionsonTrustingTrust.pdf |
| 2023-12-18 16:47:09 +0100 | <mauke> | actual code: https://research.swtch.com/nih |
| 2023-12-18 16:47:17 +0100 | <noctux> | ah, right |
| 2023-12-18 16:48:13 +0100 | <noctux> | sorry for the mixup of links (out of the "recently in one of my feeds" + googling category...) |
| 2023-12-18 16:49:49 +0100 | misterfish | (~misterfis@84.53.85.146) |
| 2023-12-18 16:51:24 +0100 | <zPlus> | out of curiosity, is it possible to build *only* the "users guide" (which is using Sphinx) without building the whole GHC? |
| 2023-12-18 16:52:14 +0100 | <zPlus> | it does require for a "ghc_config" python module though |
| 2023-12-18 16:52:58 +0100 | xxpor | (~xxpor@user/xxpor) (Ping timeout: 260 seconds) |
| 2023-12-18 16:53:38 +0100 | barak | (~barak@2a0d:6fc7:444:5d4a:a53a:b6f6:30b8:baa1) |
| 2023-12-18 16:56:40 +0100 | <danse-nr3> | i would give it a shot if i were in you. There is also #ghc |
| 2023-12-18 16:57:49 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
| 2023-12-18 17:01:23 +0100 | <rovaughn> | fwiw looks like the lowest Nix goes to bootstrap is GHC 8.6.5 (https://github.com/NixOS/nixpkgs/blob/master/pkgs/development/compilers/ghc/8.6.5-binary.nix). That's from 2019, I'm not sure if there's a particular reason that's the oldest bootstrapping binary they keep around or if it's just cause no one'd care about older ones anyway |
| 2023-12-18 17:02:43 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 246 seconds) |
| 2023-12-18 17:03:46 +0100 | euleritian | (~euleritia@dynamic-046-114-201-038.46.114.pool.telefonica.de) (Ping timeout: 276 seconds) |
| 2023-12-18 17:03:53 +0100 | potato44 | (uid421314@id-421314.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-12-18 17:04:29 +0100 | euleritian | (~euleritia@dynamic-046-114-093-063.46.114.pool.telefonica.de) |
| 2023-12-18 17:07:57 +0100 | sagax | (~sagax_nb@user/sagax) (Read error: Connection reset by peer) |
| 2023-12-18 17:10:52 +0100 | danse-nr3 | (~danse@151.37.116.181) (Ping timeout: 256 seconds) |
| 2023-12-18 17:13:33 +0100 | <exarkun> | I have some code that turns [ResourceT IO ()] into [IO ()] with runResourceT and then uses mapConcurrently to get IO [()]. As I understand it, this means the different ResourceTs will not share resources. Is there a way to execute them concurrently and also with sharing? |
| 2023-12-18 17:17:13 +0100 | phma_ | phma |
| 2023-12-18 17:19:10 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-12-18 17:20:07 +0100 | sprout | (~quassel@2a02-a448-3a80-0-f5da-af75-343e-2df2.fixed6.kpn.net) |
| 2023-12-18 17:20:25 +0100 | danse-nr3 | (~danse@151.43.102.131) |
| 2023-12-18 17:21:23 +0100 | euleritian | (~euleritia@dynamic-046-114-093-063.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-12-18 17:21:28 +0100 | <sprout> | noob question. I am trying to tie a knot in determining the reachable set of a graph. I now think I probably hallucinated things but want to ask anyway |
| 2023-12-18 17:21:37 +0100 | <sprout> | work in progress code : https://pastebin.com/XJNwdDLT |
| 2023-12-18 17:21:42 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-12-18 17:21:54 +0100 | <sprout> | the idea is to build up a container that references itself |
| 2023-12-18 17:22:08 +0100 | <sprout> | but cannot be done? |
| 2023-12-18 17:23:10 +0100 | danse-nr3 | (~danse@151.43.102.131) (Read error: Connection reset by peer) |
| 2023-12-18 17:23:36 +0100 | danse-nr3 | (~danse@151.43.102.131) |
| 2023-12-18 17:24:03 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 2023-12-18 17:24:49 +0100 | <sprout> | the invariant I wanted to use is that a reachable set has at least one element, at the start, so you should be able to take the union of possibly infinite sets up to that element |
| 2023-12-18 17:25:01 +0100 | <sprout> | must have taken a left turn... |
| 2023-12-18 17:27:06 +0100 | <danse-nr3> | interesting problem... |
| 2023-12-18 17:27:58 +0100 | barak | (~barak@2a0d:6fc7:444:5d4a:a53a:b6f6:30b8:baa1) (Ping timeout: 260 seconds) |
| 2023-12-18 17:28:23 +0100 | alp__ | (~alp@2001:861:e3d6:8f80:1dd0:14ca:683c:aad5) |
| 2023-12-18 17:30:05 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:6d53:2134:999a:d664) (Ping timeout: 256 seconds) |
| 2023-12-18 17:30:11 +0100 | <ncf> | sprout: https://hackage.haskell.org/package/rec-def |
| 2023-12-18 17:30:25 +0100 | defkev | (~defkev@2a09:bac5:2a21:1b4b::2b8:2f) (Ping timeout: 276 seconds) |
| 2023-12-18 17:31:41 +0100 | <sprout> | ncf: I don't even know how to import stuff in haskell ;). but thanks |
| 2023-12-18 17:38:06 +0100 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.1.2) |
| 2023-12-18 17:41:45 +0100 | mikess | (~sam@user/mikess) |
| 2023-12-18 17:41:57 +0100 | not_reserved | (~not_reser@154.16.157.99) (Quit: Client closed) |
| 2023-12-18 17:42:16 +0100 | not_reserved | (~not_reser@154.16.157.99) |
| 2023-12-18 17:45:15 +0100 | bontaq | (~user@2600:380:8d1d:71e0:f3bf:1e8:5ada:421a) |
| 2023-12-18 17:46:37 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:39ee:ad48:213b:b43b) (Remote host closed the connection) |
| 2023-12-18 17:46:52 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b8f4:6692:c948:4fa) |
| 2023-12-18 17:46:55 +0100 | defkev | (~defkev@2a09:bac5:2a20:1b4b::2b8:2f) |
| 2023-12-18 17:53:32 +0100 | <exarkun> | answering myself, `mapConcurrentlyR f xs = withRunInIO (\runInIO -> mapConcurrently (runInIO . f) xs)` I think. |
| 2023-12-18 17:55:13 +0100 | Benzi-Junior | (~BenziJuni@dsl-149-64-112.hive.is) (Ping timeout: 246 seconds) |
| 2023-12-18 17:56:15 +0100 | Benzi-Junior | (~BenziJuni@88-149-65-224.du.xdsl.is) |
| 2023-12-18 18:01:47 +0100 | danse-nr3 | (~danse@151.43.102.131) (Ping timeout: 264 seconds) |
| 2023-12-18 18:05:58 +0100 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) (Quit: leaving) |
| 2023-12-18 18:08:06 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2023-12-18 18:11:00 +0100 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 268 seconds) |
| 2023-12-18 18:15:58 +0100 | tomboy64 | (~tomboy64@user/tomboy64) |
| 2023-12-18 18:16:34 +0100 | <sprout> | anyway, the problem should be in the/my logic. maybe I can figure out why my idea doesn't work instead of poking at it |
| 2023-12-18 18:16:44 +0100 | <sprout> | ah well |
| 2023-12-18 18:16:47 +0100 | <sprout> | thanks all |
| 2023-12-18 18:16:48 +0100 | <sprout> | o/ |
| 2023-12-18 18:17:20 +0100 | defkev | (~defkev@2a09:bac5:2a20:1b4b::2b8:2f) (Remote host closed the connection) |
| 2023-12-18 18:19:01 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2023-12-18 18:19:25 +0100 | zPlus | (~weechat@user/zplus) (parted) |
| 2023-12-18 18:25:18 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b8f4:6692:c948:4fa) (Remote host closed the connection) |
| 2023-12-18 18:25:58 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b8f4:6692:c948:4fa) |
| 2023-12-18 18:27:37 +0100 | aruns | (~aruns@user/aruns) |
| 2023-12-18 18:32:14 +0100 | shapr | (~user@2600:1700:c640:3100:2fb2:5291:c8c7:a8e0) |
| 2023-12-18 18:32:30 +0100 | solomon | (~solomon@75.60.187.54) |
| 2023-12-18 18:34:16 +0100 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) |
| 2023-12-18 18:40:39 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-12-18 18:44:37 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-12-18 18:49:47 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 2023-12-18 18:50:04 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3440-8a60-08ed-c985-fcf0-b19a.rev.sfr.net) (Ping timeout: 250 seconds) |
| 2023-12-18 18:50:24 +0100 | euleritian | (~euleritia@dynamic-046-114-093-063.46.114.pool.telefonica.de) |
| 2023-12-18 18:51:51 +0100 | phma | (phma@2001:5b0:211f:3288:c577:e822:4748:a446) (Read error: Connection reset by peer) |
| 2023-12-18 18:52:30 +0100 | phma | (~phma@host-67-44-208-48.hnremote.net) |
| 2023-12-18 18:59:37 +0100 | alp__ | (~alp@2001:861:e3d6:8f80:1dd0:14ca:683c:aad5) (Ping timeout: 256 seconds) |
| 2023-12-18 19:00:02 +0100 | euleritian | (~euleritia@dynamic-046-114-093-063.46.114.pool.telefonica.de) (Ping timeout: 268 seconds) |
| 2023-12-18 19:00:54 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-12-18 19:06:21 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 252 seconds) |
| 2023-12-18 19:09:27 +0100 | alp__ | (~alp@2001:861:e3d6:8f80:f17e:c887:deda:2b8) |
| 2023-12-18 19:17:04 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-12-18 19:17:12 +0100 | alp__ | (~alp@2001:861:e3d6:8f80:f17e:c887:deda:2b8) (Remote host closed the connection) |
| 2023-12-18 19:17:49 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:f17e:c887:deda:2b8) |
| 2023-12-18 19:24:36 +0100 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 256 seconds) |
| 2023-12-18 19:26:09 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2023-12-18 19:26:10 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2023-12-18 19:26:39 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-12-18 19:31:24 +0100 | aruns | (~aruns@user/aruns) (Ping timeout: 256 seconds) |
| 2023-12-18 19:32:45 +0100 | stef204 | (~stef204@user/stef204) |
| 2023-12-18 19:37:01 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds) |
| 2023-12-18 19:37:26 +0100 | tomboy64 | (~tomboy64@user/tomboy64) |
| 2023-12-18 19:37:56 +0100 | euleritian | (~euleritia@dynamic-089-204-154-126.89.204.154.pool.telefonica.de) |
| 2023-12-18 19:38:04 +0100 | solomon | (~solomon@75.60.187.54) (Quit: Client closed) |
| 2023-12-18 19:39:35 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2023-12-18 19:41:17 +0100 | aruns | (~aruns@user/aruns) |
| 2023-12-18 19:43:51 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b8f4:6692:c948:4fa) (Remote host closed the connection) |
| 2023-12-18 19:48:29 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds) |
| 2023-12-18 19:50:37 +0100 | euleritian | (~euleritia@dynamic-089-204-154-126.89.204.154.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-12-18 19:51:05 +0100 | euleritian | (~euleritia@dynamic-089-204-154-126.89.204.154.pool.telefonica.de) |
| 2023-12-18 19:54:50 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-12-18 19:58:31 +0100 | waldo | (~waldo@user/waldo) |
| 2023-12-18 20:00:08 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2023-12-18 20:00:18 +0100 | bontaq` | (~user@2600:380:8d7e:479b:58bd:7c00:2e7c:10ef) |
| 2023-12-18 20:02:31 +0100 | bontaq | (~user@2600:380:8d1d:71e0:f3bf:1e8:5ada:421a) (Ping timeout: 276 seconds) |
| 2023-12-18 20:03:49 +0100 | arkoinad | (~abhinav@c-67-169-139-16.hsd1.ca.comcast.net) |
| 2023-12-18 20:09:52 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b8f4:6692:c948:4fa) |
| 2023-12-18 20:15:17 +0100 | waldo | (~waldo@user/waldo) (Ping timeout: 240 seconds) |
| 2023-12-18 20:22:13 +0100 | misterfish | (~misterfis@84.53.85.146) |
| 2023-12-18 20:25:38 +0100 | segfaultfizzbuzz | (~segfaultf@12.172.217.142) |
| 2023-12-18 20:26:04 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2023-12-18 20:31:43 +0100 | sus02 | (zero@user/zeromomentum) (Quit: the lounge - https://webirc.envs.net) |
| 2023-12-18 20:32:27 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2023-12-18 20:37:37 +0100 | segfaultfizzbuzz | (~segfaultf@12.172.217.142) (Ping timeout: 246 seconds) |
| 2023-12-18 20:44:12 +0100 | waldo | (~waldo@user/waldo) |
| 2023-12-18 20:44:23 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2023-12-18 20:47:07 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 255 seconds) |
| 2023-12-18 20:59:48 +0100 | ft | (~ft@p4fc2ae2b.dip0.t-ipconnect.de) |
| 2023-12-18 21:11:37 +0100 | Henson | (~kvirc@192-0-202-2.cpe.teksavvy.com) |
| 2023-12-18 21:12:37 +0100 | <Henson> | has anybody used the functional graph library FGL to do depth first forest generation? |
| 2023-12-18 21:13:32 +0100 | bontaq` | (~user@2600:380:8d7e:479b:58bd:7c00:2e7c:10ef) (Ping timeout: 268 seconds) |
| 2023-12-18 21:17:41 +0100 | xdminsy | (~xdminsy@117.147.70.130) |
| 2023-12-18 21:20:32 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b8f4:6692:c948:4fa) (Remote host closed the connection) |
| 2023-12-18 21:20:40 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-12-18 21:22:03 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b8f4:6692:c948:4fa) |
| 2023-12-18 21:23:06 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b8f4:6692:c948:4fa) (Remote host closed the connection) |
| 2023-12-18 21:23:30 +0100 | <liamzy__> | why does postgresql seem like a total pain? |
| 2023-12-18 21:23:56 +0100 | <monochrom> | Does not, to me. |
| 2023-12-18 21:25:49 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 256 seconds) |
| 2023-12-18 21:27:59 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-12-18 21:28:32 +0100 | Lycurgus | neither |
| 2023-12-18 21:30:31 +0100 | trev | (~trev@user/trev) (Quit: trev) |
| 2023-12-18 21:33:05 +0100 | igemnace | (~ian@user/igemnace) (Quit: WeeChat 4.1.2) |
| 2023-12-18 21:35:17 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2023-12-18 21:36:27 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3240-8554-14df-bf2b-747b-2f4c.rev.sfr.net) |
| 2023-12-18 21:42:45 +0100 | <hc> | for me neither, I love postgresql |
| 2023-12-18 21:44:14 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-12-18 21:44:38 +0100 | <hc> | One of the best pieces of free software around :-) |
| 2023-12-18 21:46:13 +0100 | tv | (~tv@user/tv) (Ping timeout: 256 seconds) |
| 2023-12-18 21:52:49 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2023-12-18 21:54:19 +0100 | waldo | (~waldo@user/waldo) (Ping timeout: 276 seconds) |
| 2023-12-18 21:57:33 +0100 | <haskellbridge> | 06<sm> setting up authentication ? I do find that a total pain |
| 2023-12-18 21:58:29 +0100 | thegeekinside | (~thegeekin@189.141.65.247) (Ping timeout: 252 seconds) |
| 2023-12-18 21:58:36 +0100 | <haskellbridge> | 06<sm> upgrading across N versions ? total pain. Probably because I don't do postgres full time |
| 2023-12-18 21:58:55 +0100 | tv | (~tv@user/tv) |
| 2023-12-18 22:01:09 +0100 | jargon | (~jargon@15.sub-174-205-161.myvzw.com) |
| 2023-12-18 22:03:42 +0100 | solomon | (~solomon@75.60.187.54) |
| 2023-12-18 22:04:04 +0100 | solomon | (~solomon@75.60.187.54) (Client Quit) |
| 2023-12-18 22:06:16 +0100 | <juri_> | New version of implicitcad just dropped. yaay! :) |
| 2023-12-18 22:06:33 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2023-12-18 22:06:52 +0100 | <hc> | I never did postgres full time... I found that really easy |
| 2023-12-18 22:07:15 +0100 | <hc> | I do agree that upgrading to another major version *is* a major pain |
| 2023-12-18 22:07:50 +0100 | <hc> | s/that/authentication/ |
| 2023-12-18 22:08:06 +0100 | waldo | (~waldo@user/waldo) |
| 2023-12-18 22:13:04 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds) |
| 2023-12-18 22:15:33 +0100 | waldo | (~waldo@user/waldo) (Ping timeout: 252 seconds) |
| 2023-12-18 22:18:22 +0100 | not_reserved | (~not_reser@154.16.157.99) (Quit: Client closed) |
| 2023-12-18 22:20:07 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-12-18 22:24:50 +0100 | euleritian | (~euleritia@dynamic-089-204-154-126.89.204.154.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-12-18 22:29:54 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-12-18 22:31:25 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b8f4:6692:c948:4fa) |
| 2023-12-18 22:36:27 +0100 | <[exa]> | liamzy__: you will have to compare to mssql & other database gems. :D |
| 2023-12-18 22:37:05 +0100 | liamzy__ | Inst |
| 2023-12-18 22:37:19 +0100 | <Inst> | postgresql seems very ufll-featured and harder to pick up and use |
| 2023-12-18 22:46:54 +0100 | waldo | (~waldo@user/waldo) |
| 2023-12-18 22:47:05 +0100 | michalz | (~michalz@185.246.204.126) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-12-18 22:58:40 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:f17e:c887:deda:2b8) (Ping timeout: 276 seconds) |
| 2023-12-18 22:59:03 +0100 | <hc> | Nah, srsly, it's so easy to use, and yes, it does have a lot of features, but you needn't use them if you don't need them |
| 2023-12-18 23:02:51 +0100 | notzmv | (~zmv@user/notzmv) (Ping timeout: 256 seconds) |
| 2023-12-18 23:09:04 +0100 | fendor | (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) (Remote host closed the connection) |
| 2023-12-18 23:13:44 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-12-18 23:14:24 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-12-18 23:16:23 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-12-18 23:16:36 +0100 | thegeekinside | (~thegeekin@189.141.65.247) |
| 2023-12-18 23:22:19 +0100 | ph88 | (~ph88@2a02:8109:9e26:c800:9fc3:bef1:2212:70b2) |
| 2023-12-18 23:22:43 +0100 | Henson | (~kvirc@192-0-202-2.cpe.teksavvy.com) (Quit: KVIrc 5.0.1 Aria http://www.kvirc.net/) |
| 2023-12-18 23:22:53 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2023-12-18 23:26:46 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-12-18 23:26:54 +0100 | <ph88> | how do i map (Int -> Maybe Int) over (Maybe Int) without getting a double Maybe (Maybe Int) ? |
| 2023-12-18 23:27:04 +0100 | <ph88> | is there a function for it ? |
| 2023-12-18 23:27:15 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2023-12-18 23:27:16 +0100 | <int-e> | > Just 1 >>= Just |
| 2023-12-18 23:27:17 +0100 | <lambdabot> | Just 1 |
| 2023-12-18 23:27:33 +0100 | <int-e> | > Just 1 >>= Nothing |
| 2023-12-18 23:27:34 +0100 | <lambdabot> | error: |
| 2023-12-18 23:27:34 +0100 | <lambdabot> | • Couldn't match expected type ‘a1 -> Maybe b’ |
| 2023-12-18 23:27:34 +0100 | <lambdabot> | with actual type ‘Maybe a0’ |
| 2023-12-18 23:28:02 +0100 | <int-e> | err, should be `const Nothing`, but the point was, this is what the Monad instance of Maybe does |
| 2023-12-18 23:28:20 +0100 | <int-e> | > Just 1 >>= const Nothing :: Maybe Int |
| 2023-12-18 23:28:21 +0100 | <lambdabot> | Nothing |
| 2023-12-18 23:28:33 +0100 | <ph88> | didnt consider using monad, sometimes i think some function is without monad |
| 2023-12-18 23:28:39 +0100 | <ph88> | thanks int-e |
| 2023-12-18 23:29:17 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3240-8554-14df-bf2b-747b-2f4c.rev.sfr.net) (Remote host closed the connection) |
| 2023-12-18 23:31:17 +0100 | <EvanR> | join undoubles the Maybes |
| 2023-12-18 23:31:51 +0100 | <EvanR> | you can think of >>= as doing join after fmapping |
| 2023-12-18 23:34:11 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 2023-12-18 23:34:39 +0100 | <tomsmeding> | (unexpected category theory) |
| 2023-12-18 23:36:31 +0100 | ski | . o O ( Category Terrorists strike again ! ) |
| 2023-12-18 23:44:19 +0100 | <int-e> | evanr: the "m" is very important in the last word |
| 2023-12-18 23:45:04 +0100 | <EvanR> | so you want to return -1 let me first do some category theory |
| 2023-12-18 23:47:08 +0100 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-12-18 23:53:26 +0100 | <edwardk> | tomsmeding: by now i'd expect it is 'expected category theory' or folks haven't been paying attention |
| 2023-12-18 23:57:54 +0100 | <johnw> | edwardk: !!! |
| 2023-12-18 23:58:15 +0100 | waldo | (~waldo@user/waldo) (Ping timeout: 256 seconds) |
| 2023-12-18 23:58:16 +0100 | <Rembane> | Nobody expects the category theory! Or primary weapon is fear, fear and surprise! |
| 2023-12-18 23:58:25 +0100 | bratwurst | (~blaadsfa@S0106400fc136fc6e.lb.shawcable.net) |
| 2023-12-18 23:58:35 +0100 | <johnw> | A category theorist is unflappable: she always remains composed. |