Logs: liberachat/#haskell
| 2021-08-10 23:03:01 | <monochrom> | @quote monochrom 389238493 |
| 2021-08-10 23:03:01 | <lambdabot> | monochrom says: some kind of lazy evaluation is already known to highschool kids. teachers tell you that in a*(b+c), "evaluate b+c first", right? well, I challenge you to take 0*(389238493+97283748) |
| 2021-08-10 23:03:01 | <lambdabot> | and find one single student who faithfully evaluate 389238493+97283748 first. |
| 2021-08-10 23:03:28 | × | Natch quits (~natch@c-e070e255.014-297-73746f25.bbcust.telenor.se) (Remote host closed the connection) |
| 2021-08-10 23:04:46 | × | MoC quits (~moc@user/moc) (Quit: Konversation terminated!) |
| 2021-08-10 23:09:28 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-08-10 23:09:30 | × | dermato quits (~dermatobr@154.21.23.75) (Ping timeout: 268 seconds) |
| 2021-08-10 23:09:37 | → | Matthias1 joins (~Matthias1@2603-8001-b545-4900-9150-e432-def8-8add.res6.spectrum.com) |
| 2021-08-10 23:12:42 | → | dermato joins (~dermatobr@154.21.23.75) |
| 2021-08-10 23:15:40 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-08-10 23:19:54 | → | cladur joins (~cladur@user-5-173-146-83.play-internet.pl) |
| 2021-08-10 23:22:15 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 2021-08-10 23:27:23 | × | shapr quits (~user@pool-108-28-144-11.washdc.fios.verizon.net) (Ping timeout: 268 seconds) |
| 2021-08-10 23:28:13 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 244 seconds) |
| 2021-08-10 23:29:13 | × | cladur quits (~cladur@user-5-173-146-83.play-internet.pl) (Ping timeout: 268 seconds) |
| 2021-08-10 23:31:02 | → | Guest366 joins (~Guest3@221.124.9.182) |
| 2021-08-10 23:32:05 | × | dermato quits (~dermatobr@154.21.23.75) (Ping timeout: 258 seconds) |
| 2021-08-10 23:32:36 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-10 23:33:00 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 2021-08-10 23:33:55 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-08-10 23:34:18 | × | pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.2) |
| 2021-08-10 23:35:02 | → | dermato joins (~dermatobr@154.21.23.75) |
| 2021-08-10 23:40:29 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-08-10 23:41:32 | × | PinealGl1ndOptic quits (~PinealGla@37.115.210.35) (Quit: leaving) |
| 2021-08-10 23:44:53 | × | deejaytee quits (~deejaytee@cpc91196-cmbg18-2-0-cust215.5-4.cable.virginm.net) (Quit: Leaving) |
| 2021-08-10 23:44:53 | × | bontaq quits (~user@ool-18e47f8d.dyn.optonline.net) (Remote host closed the connection) |
| 2021-08-10 23:46:10 | × | wrengr quits (~wrengr@56.4.82.34.bc.googleusercontent.com) (Quit: leaving) |
| 2021-08-10 23:51:04 | × | derelict quits (~derelict@user/derelict) (Quit: WeeChat 3.2) |
| 2021-08-10 23:51:15 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 258 seconds) |
| 2021-08-10 23:51:41 | → | wrengr joins (~wrengr@56.4.82.34.bc.googleusercontent.com) |
| 2021-08-10 23:55:45 | × | amahl quits (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) (Ping timeout: 268 seconds) |
| 2021-08-10 23:56:55 | <lechner> | Hi, what's a popular, simple but validating HTTPS request library please? |
| 2021-08-11 00:00:08 | × | potato_dev quits (~potato_to@elara.whatbox.ca) (Quit: ZNC - https://znc.in) |
| 2021-08-11 00:00:38 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 2021-08-11 00:01:05 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2021-08-11 00:01:38 | <lechner> | Also, is there an XML library, please, that can parse known data similar to the way aeson or yaml do (and does not use a generic DOM data model)? |
| 2021-08-11 00:03:27 | × | pe200012 quits (~pe200012@113.105.10.33) (Ping timeout: 245 seconds) |
| 2021-08-11 00:03:35 | → | pe200012_ joins (~pe200012@218.107.49.28) |
| 2021-08-11 00:04:58 | → | Cajun joins (~Cajun@user/cajun) |
| 2021-08-11 00:04:58 | → | cladur joins (~cladur@user-5-173-146-9.play-internet.pl) |
| 2021-08-11 00:05:01 | × | cladur quits (~cladur@user-5-173-146-9.play-internet.pl) (Remote host closed the connection) |
| 2021-08-11 00:05:50 | × | ec quits (~ec@gateway/tor-sasl/ec) (Quit: ec) |
| 2021-08-11 00:11:16 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-08-11 00:11:29 | <dsal> | I use wreq for simple http stuff. I don't do all that much xml. I've integrated some junk in the past, but I used SAX-like stuff. |
| 2021-08-11 00:11:54 | <dsal> | Looks like I used xeno for that. |
| 2021-08-11 00:12:54 | × | Guest9632 quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-08-11 00:14:56 | <lechner> | dsal: thanks! |
| 2021-08-11 00:15:29 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 248 seconds) |
| 2021-08-11 00:17:47 | → | chris joins (~chris@81.96.113.213) |
| 2021-08-11 00:17:51 | chris | is now known as Guest2402 |
| 2021-08-11 00:18:20 | → | shapr joins (~user@pool-100-36-247-68.washdc.fios.verizon.net) |
| 2021-08-11 00:18:51 | × | skykanin quits (~skykanin@115.81-166-221.customer.lyse.net) (Quit: WeeChat 3.2) |
| 2021-08-11 00:21:01 | × | shailangsa quits (~shailangs@host86-185-58-139.range86-185.btcentralplus.com) (Ping timeout: 268 seconds) |
| 2021-08-11 00:21:53 | × | eltonpinto quits (~eltonpint@169.109.136.34.bc.googleusercontent.com) (Quit: WeeChat 2.3) |
| 2021-08-11 00:22:50 | × | Guest2402 quits (~chris@81.96.113.213) (Ping timeout: 272 seconds) |
| 2021-08-11 00:23:08 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-08-11 00:23:29 | × | Gurkenglas quits (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) (Ping timeout: 268 seconds) |
| 2021-08-11 00:23:49 | → | derelict joins (~derelict@user/derelict) |
| 2021-08-11 00:23:55 | <davean> | janus: I did |
| 2021-08-11 00:30:29 | × | spruit11 quits (~quassel@2a02:a467:ccd6:1:90c7:da5b:b845:b6e9) (Ping timeout: 268 seconds) |
| 2021-08-11 00:30:48 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 2021-08-11 00:30:48 | → | allbery_b joins (~geekosaur@xmonad/geekosaur) |
| 2021-08-11 00:30:52 | allbery_b | is now known as geekosaur |
| 2021-08-11 00:31:53 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-11 00:34:21 | → | chris joins (~chris@81.96.113.213) |
| 2021-08-11 00:34:25 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-11 00:34:25 | chris | is now known as Guest6722 |
| 2021-08-11 00:34:26 | × | Guest366 quits (~Guest3@221.124.9.182) (Quit: Client closed) |
| 2021-08-11 00:35:24 | → | spruit11 joins (~quassel@2a02:a467:ccd6:1:cc2:35ba:cbc2:b281) |
| 2021-08-11 00:38:25 | → | Matthias_ joins (~Matthias1@2603-8001-b545-4900-6964-f050-e27a-a1cb.res6.spectrum.com) |
| 2021-08-11 00:38:43 | × | Matthias_ quits (~Matthias1@2603-8001-b545-4900-6964-f050-e27a-a1cb.res6.spectrum.com) (Remote host closed the connection) |
| 2021-08-11 00:38:47 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 258 seconds) |
| 2021-08-11 00:38:47 | × | sim590 quits (~simon@modemcable090.207-203-24.mc.videotron.ca) (Ping timeout: 258 seconds) |
| 2021-08-11 00:38:54 | → | Matthias_ joins (~Matthias1@2603-8001-b545-4900-6964-f050-e27a-a1cb.res6.spectrum.com) |
| 2021-08-11 00:40:39 | × | Matthias_ quits (~Matthias1@2603-8001-b545-4900-6964-f050-e27a-a1cb.res6.spectrum.com) (Remote host closed the connection) |
| 2021-08-11 00:41:01 | → | Matthias_ joins (~Matthias1@2603-8001-b545-4900-6964-f050-e27a-a1cb.res6.spectrum.com) |
| 2021-08-11 00:41:05 | × | Matthias1 quits (~Matthias1@2603-8001-b545-4900-9150-e432-def8-8add.res6.spectrum.com) (Ping timeout: 258 seconds) |
| 2021-08-11 00:43:55 | → | pschorf joins (~user@c-73-77-28-188.hsd1.tx.comcast.net) |
| 2021-08-11 00:44:22 | × | shapr quits (~user@pool-100-36-247-68.washdc.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2021-08-11 00:46:43 | <lechner> | Hi, is it possible to import just the operator ^. from Control.Lens, please? |
| 2021-08-11 00:46:55 | <Axman6> | import Control.Lens ((^.)) |
| 2021-08-11 00:47:29 | → | euouae joins (~euouae@user/euouae) |
| 2021-08-11 00:47:33 | × | slack1256 quits (~slack1256@181.203.126.41) (Ping timeout: 268 seconds) |
| 2021-08-11 00:47:42 | <euouae> | Hello, how can I read base's docs offline? |
| 2021-08-11 00:48:01 | <euouae> | I looked under ~/.cabal/share/doc, etc but nothing was found there other than license files |
| 2021-08-11 00:48:21 | <euouae> | and `cabal haddock base` said `Up to date`, but I can't find where they're stored |
| 2021-08-11 00:48:32 | → | slack1256 joins (~slack1256@191.126.23.98) |
| 2021-08-11 00:50:35 | → | norias joins (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) |
| 2021-08-11 00:50:57 | <lechner> | Axman6: Thanks! |
| 2021-08-11 00:51:39 | → | sim590 joins (~simon@modemcable090.207-203-24.mc.videotron.ca) |
| 2021-08-11 00:58:14 | <Axman6> | has anyone ever had an issue where compiling using cabal on macOS just stops? I have two clang processes which are just sitting there doing nothing |
| 2021-08-11 01:01:14 | <lechner> | Axman6: are they detached? |
| 2021-08-11 01:02:39 | <monochrom> | euouae: If you know where you have installed GHC, all docs that come with GHC are somewhere along the line of <prefix>/share/doc/ghc-<version>/html/index.html |
| 2021-08-11 01:03:29 | → | shapr joins (~user@pool-100-36-247-68.washdc.fios.verizon.net) |
| 2021-08-11 01:04:29 | <euouae> | monochrom: Great, thanks. I actually tried reading the man page of ghc but it wasn't listed there I believe |
| 2021-08-11 01:04:38 | <Axman6> | lechner: detached how? |
| 2021-08-11 01:04:49 | <monochrom> | Right, I think the man page doesn't talk about it. |
| 2021-08-11 01:04:50 | × | Matthias_ quits (~Matthias1@2603-8001-b545-4900-6964-f050-e27a-a1cb.res6.spectrum.com) (Remote host closed the connection) |
| 2021-08-11 01:05:19 | <lechner> | Axman6: is cabal blocking your terminal? |
| 2021-08-11 01:05:34 | <Axman6> | what do you mean by blocking my terminal |
All times are in UTC.