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