Logs: freenode/#haskell
| 2021-04-12 17:19:50 | × | chenshen quits (~chenshen@2620:10d:c090:400::5:f4f2) (Quit: My MacBook Pro has gone to sleep. ZZZzzz…) |
| 2021-04-12 17:21:30 | → | __monty__ joins (~toonn@unaffiliated/toonn) |
| 2021-04-12 17:21:40 | × | ep1ctetus quits (~epictetus@ip72-194-215-136.sb.sd.cox.net) (Ping timeout: 252 seconds) |
| 2021-04-12 17:23:03 | → | elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 2021-04-12 17:24:18 | → | lordyod joins (~lordyod@c-67-169-144-132.hsd1.ca.comcast.net) |
| 2021-04-12 17:24:20 | → | jb55 joins (~jb55@gateway/tor-sasl/jb55) |
| 2021-04-12 17:24:42 | × | haskellstudent quits (~quassel@213-225-6-101.nat.highway.a1.net) (Ping timeout: 265 seconds) |
| 2021-04-12 17:26:58 | → | chenshen joins (~chenshen@2620:10d:c090:400::5:f4f2) |
| 2021-04-12 17:28:13 | × | superstar64 quits (6ccefa7c@108-206-250-124.lightspeed.miamfl.sbcglobal.net) (Quit: Connection closed) |
| 2021-04-12 17:28:15 | × | chenshen quits (~chenshen@2620:10d:c090:400::5:f4f2) (Client Quit) |
| 2021-04-12 17:29:35 | → | superstar64 joins (6ccefa7c@108-206-250-124.lightspeed.miamfl.sbcglobal.net) |
| 2021-04-12 17:30:02 | → | kiweun joins (~kiweun@2607:fea8:2a62:9600:e4bf:b288:514c:1188) |
| 2021-04-12 17:30:24 | <monochrom> | Guest60991: https://paste.tomsmeding.com/E1fzjdjK |
| 2021-04-12 17:30:38 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2021-04-12 17:30:53 | × | Jajik quits (xchlup2@gateway/shell/fi.muni.cz/x-addkanorupodyldz) (Ping timeout: 240 seconds) |
| 2021-04-12 17:30:53 | × | xsarnik0 quits (xsarnik@gateway/shell/fi.muni.cz/x-bdqphpqxvzmclymb) (Ping timeout: 240 seconds) |
| 2021-04-12 17:31:29 | → | dmytrish joins (~mitra@2a02:8084:a82:d900:b81f:59fe:5cfc:b422) |
| 2021-04-12 17:33:04 | → | chenshen joins (~chenshen@2620:10d:c090:400::5:f4f2) |
| 2021-04-12 17:34:22 | × | kiweun quits (~kiweun@2607:fea8:2a62:9600:e4bf:b288:514c:1188) (Ping timeout: 258 seconds) |
| 2021-04-12 17:35:32 | → | Jajik joins (xchlup2@gateway/shell/fi.muni.cz/x-mbreufimrxubbqnd) |
| 2021-04-12 17:35:35 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 252 seconds) |
| 2021-04-12 17:36:37 | → | Pickchea joins (~private@unaffiliated/pickchea) |
| 2021-04-12 17:39:02 | <Guest60991> | @monochrom ahhh thanks so much! I've been stuck on this for ages, can't believe it's not spelled out anywhere |
| 2021-04-12 17:39:02 | <lambdabot> | Unknown command, try @list |
| 2021-04-12 17:39:11 | <Guest60991> | monochrom: ahhh thanks so much! I've been stuck on this for ages, can't believe it's not spelled out anywhere |
| 2021-04-12 17:40:29 | × | idhugo__ quits (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 268 seconds) |
| 2021-04-12 17:40:31 | <monochrom> | :) |
| 2021-04-12 17:43:04 | <monochrom> | My (\(Mu e) -> e alg) there is (cata alg). "in_ c = Mu (\alg -> alg (fmap (cata alg) c))" may be more easily reconcilable with the famous commuting diagram of in_ (the initial algebra), cata, and alg (the arbitrary algebra). |
| 2021-04-12 17:46:39 | × | heatsink_ quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-04-12 17:47:12 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-04-12 17:50:09 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 2021-04-12 17:50:28 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 2021-04-12 17:50:33 | × | Jajik quits (xchlup2@gateway/shell/fi.muni.cz/x-mbreufimrxubbqnd) (Ping timeout: 240 seconds) |
| 2021-04-12 17:50:39 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 2021-04-12 17:52:07 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-2-51.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-04-12 17:52:18 | → | Jajik joins (xchlup2@gateway/shell/fi.muni.cz/x-ynaunapgbwfqheim) |
| 2021-04-12 17:52:18 | → | cansis joins (uid90033@gateway/web/irccloud.com/x-ifsukysjwkgufywd) |
| 2021-04-12 17:52:27 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-2-51.w83-200.abo.wanadoo.fr) |
| 2021-04-12 17:54:10 | <Guest60991> | Aha, yes. And the type makes it quite clear that we're translating a nested expression "f (Mu f)" into "Mu f" |
| 2021-04-12 17:54:51 | × | dmytrish quits (~mitra@2a02:8084:a82:d900:b81f:59fe:5cfc:b422) (Ping timeout: 260 seconds) |
| 2021-04-12 17:55:01 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-04-12 17:56:12 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-12 17:56:15 | × | Aquazi quits (uid312403@gateway/web/irccloud.com/x-lebgsvzszhbzqzrr) (Quit: Connection closed for inactivity) |
| 2021-04-12 17:56:23 | → | dmytrish joins (~mitra@37.228.247.154) |
| 2021-04-12 17:57:17 | ← | chenin parts (bab7251a@186.183.37.26) () |
| 2021-04-12 17:57:32 | × | myShoggoth quits (~myShoggot@75.164.73.93) (Ping timeout: 260 seconds) |
| 2021-04-12 17:58:35 | → | myShoggoth joins (~myShoggot@97-120-72-12.ptld.qwest.net) |
| 2021-04-12 17:58:48 | → | kiweun joins (~kiweun@2607:fea8:2a62:9600:21ac:92a1:db64:4dd2) |
| 2021-04-12 17:59:22 | → | xsarnik0 joins (xsarnik@gateway/shell/fi.muni.cz/x-nisloqezbzpgxfhz) |
| 2021-04-12 18:06:46 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-04-12 18:08:58 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-12 18:09:05 | → | idhugo__ joins (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
| 2021-04-12 18:10:42 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Ping timeout: 268 seconds) |
| 2021-04-12 18:12:50 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Quit: Goodbye) |
| 2021-04-12 18:14:08 | → | vicfred joins (~vicfred@unaffiliated/vicfred) |
| 2021-04-12 18:14:28 | → | jumper149 joins (~jumper149@80.240.31.34) |
| 2021-04-12 18:14:53 | × | lawid quits (~quassel@ip5b41869c.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds) |
| 2021-04-12 18:14:56 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-04-12 18:15:04 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2021-04-12 18:15:17 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 2021-04-12 18:15:26 | × | dyeplexer quits (~lol@unaffiliated/terpin) (Remote host closed the connection) |
| 2021-04-12 18:16:03 | → | lawid joins (~quassel@ip5b41869c.dynamic.kabel-deutschland.de) |
| 2021-04-12 18:16:19 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 2021-04-12 18:17:46 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 240 seconds) |
| 2021-04-12 18:20:38 | → | haskellstudent joins (~quassel@213-225-6-101.nat.highway.a1.net) |
| 2021-04-12 18:20:58 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-12 18:23:04 | <arpl> | Today I noticed a resource leak (handles) on my Windows laptop. I have pinpointed it to WinGHCi. Running the same code in GHCi (on both Windows and Linux) works just fine. (When I noticed it I had about 15k of iterations resulting in 150k handles. When I ran it in GHCi with 500k iterations handles remained stable.) Is there any point in looking into this any deeper/further? I hardly ever use WinGHCi and I don´t think many people do ei |
| 2021-04-12 18:23:04 | <arpl> | her. Also, the handles are released the moment WinGHCi is closed. |
| 2021-04-12 18:25:35 | <d34df00d> | koz_: gave it a shot with massiv — well, it's a bit faster, but not too much faster (think 1.6-1.7 seconds now). |
| 2021-04-12 18:25:39 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-04-12 18:25:45 | <d34df00d> | Although slicing in massiv is indeed way nicer than in repa! |
| 2021-04-12 18:25:58 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-12 18:26:12 | <koz_> | With massiv questions, you could try asking lehins (the author), but he's not here. :( |
| 2021-04-12 18:26:36 | → | idhugo_ joins (~idhugo@87-49-44-84-mobile.dk.customer.tdc.net) |
| 2021-04-12 18:27:32 | × | vv8 quits (~egp_@128-71-69-136.broadband.corbina.ru) (Ping timeout: 265 seconds) |
| 2021-04-12 18:29:28 | × | idhugo__ quits (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 265 seconds) |
| 2021-04-12 18:29:29 | × | quinn quits (~quinn@c-73-223-224-163.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 2021-04-12 18:30:31 | → | nilof joins (~olofs@90-227-86-119-no542.tbcn.telia.com) |
| 2021-04-12 18:31:07 | × | Guest60991 quits (d5cdf004@213.205.240.4) (Quit: Connection closed) |
| 2021-04-12 18:32:24 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 2021-04-12 18:32:25 | × | rajivr quits (uid269651@gateway/web/irccloud.com/x-wqstqfwsmnwqeeor) (Quit: Connection closed for inactivity) |
| 2021-04-12 18:32:37 | → | idhugo__ joins (~idhugo@87-49-44-84-mobile.dk.customer.tdc.net) |
| 2021-04-12 18:33:01 | → | Sorny joins (~Sornaensi@077213203030.dynamic.telenor.dk) |
| 2021-04-12 18:33:33 | × | BosonCollider quits (~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 240 seconds) |
| 2021-04-12 18:35:22 | × | idhugo_ quits (~idhugo@87-49-44-84-mobile.dk.customer.tdc.net) (Ping timeout: 252 seconds) |
| 2021-04-12 18:36:12 | × | Sorna quits (~Sornaensi@79.142.232.102.static.router4.bolignet.dk) (Ping timeout: 240 seconds) |
| 2021-04-12 18:37:41 | × | ystael quits (~ystael@209.6.50.55) (Ping timeout: 240 seconds) |
| 2021-04-12 18:40:22 | <d34df00d> | I'l stick around! |
| 2021-04-12 18:40:47 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 3.1) |
| 2021-04-12 18:41:36 | × | rj quits (~x@gateway/tor-sasl/rj) (Quit: rj) |
| 2021-04-12 18:42:07 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-12 18:44:22 | <koz_> | They have a Gitter you could hit up? |
| 2021-04-12 18:44:36 | <koz_> | https://gitter.im/haskell-massiv |
| 2021-04-12 18:44:52 | → | quinn joins (~quinn@c-73-223-224-163.hsd1.ca.comcast.net) |
| 2021-04-12 18:45:18 | × | poscat quits (~poscat@114.245.106.173) (Ping timeout: 260 seconds) |
| 2021-04-12 18:46:21 | × | Rudd0 quits (~Rudd0@185.189.115.108) (Ping timeout: 252 seconds) |
| 2021-04-12 18:47:01 | → | poscat joins (~poscat@114.245.106.173) |
| 2021-04-12 18:47:50 | × | APic quits (apic@apic.name) (Ping timeout: 265 seconds) |
| 2021-04-12 18:48:23 | <d34df00d> | Oh, cool! |
| 2021-04-12 18:49:00 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
All times are in UTC.