Logs on 2021-05-27 (liberachat/#haskell)
| 00:01:22 | × | lbseale_ quits (~lbseale@ip72-194-54-201.sb.sd.cox.net) (Ping timeout: 264 seconds) |
| 00:01:56 | × | dhil quits (~dhil@195.213.192.85) (Ping timeout: 252 seconds) |
| 00:02:06 | → | tremon joins (~tremon@217-63-61-89.cable.dynamic.v4.ziggo.nl) |
| 00:02:46 | → | waleee joins (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
| 00:03:54 | → | khumba joins (~kvirc@S01066038e0ca1250.ok.shawcable.net) |
| 00:05:27 | <edwardk> | > "freenode" & base 36 -~ 1233806175148 |
| 00:05:29 | <lambdabot> | "libera" |
| 00:05:37 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 00:07:32 | → | gzj joins (~GZJ0X@185.212.59.97.16clouds.com) |
| 00:07:48 | → | trent joins (~trent@2001:8003:340d:d00:b2de:b98:7a93:b0ea) |
| 00:09:37 | → | ddellacosta joins (~ddellacos@89.46.62.66) |
| 00:10:22 | × | noddy quits (~self@user/noddy) (Ping timeout: 264 seconds) |
| 00:11:05 | × | zeenk quits (~zeenk@2a02:2f04:a310:b600:b098:bf18:df4d:4c41) (Quit: Konversation terminated!) |
| 00:11:17 | × | tricklynch quits (~tricklync@216-180-94-57.starry-inc.net) (Ping timeout: 252 seconds) |
| 00:11:31 | × | danso quits (~danso@23-233-111-52.cpe.pppoe.ca) (Quit: WeeChat 3.1) |
| 00:12:18 | → | kollin joins (~kollin@95-25-152-112.broadband.corbina.ru) |
| 00:12:54 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 00:13:58 | × | Robin_Jadoul quits (~Robin_Jad@152.67.64.160) (Ping timeout: 264 seconds) |
| 00:14:03 | × | ddellacosta quits (~ddellacos@89.46.62.66) (Ping timeout: 264 seconds) |
| 00:14:05 | <monochrom> | Uh this only reminds me that every algorithm corresponds to a natural number... |
| 00:15:00 | <kollin> | up to enumeration scheme |
| 00:15:23 | × | waleee quits (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 272 seconds) |
| 00:15:45 | <monochrom> | There exists an operator # such that for every desired output y there exists a number x such that "monochrom" # x = y. This makes my nick look very fundamental and universal... |
| 00:18:17 | <kollin> | (was just checking if #haskell is available from libera) |
| 00:18:23 | × | kollin quits (~kollin@95-25-152-112.broadband.corbina.ru) (Quit: Connection closed) |
| 00:18:43 | <monochrom> | COME BACK!!!!! |
| 00:19:11 | × | orion quits (~orion@user/orion) (Ping timeout: 272 seconds) |
| 00:19:27 | → | waleee joins (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
| 00:19:51 | → | orion joins (~orion@user/orion) |
| 00:19:53 | × | moet quits (~moet@172.58.35.192) (Read error: Connection reset by peer) |
| 00:20:08 | → | moet joins (~moet@172.58.35.192) |
| 00:20:38 | × | ikex quits (~ash@user/ikex) (Ping timeout: 252 seconds) |
| 00:21:09 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 00:21:14 | × | dunj3 quits (~dunj3@2001:16b8:30e3:e400:e945:12f3:ab36:6c09) (Quit: Leaving) |
| 00:22:02 | × | trent quits (~trent@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (Quit: WeeChat 3.1) |
| 00:24:27 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds) |
| 00:25:02 | × | hpc quits (~juzz@ip98-169-35-13.dc.dc.cox.net) (Ping timeout: 252 seconds) |
| 00:25:28 | → | ddellacosta joins (~ddellacos@86.106.121.36) |
| 00:26:06 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 264 seconds) |
| 00:26:21 | × | moet quits (~moet@172.58.35.192) (Ping timeout: 272 seconds) |
| 00:27:10 | × | guest0123 quits (~aaron@2601:602:a080:fa0:745b:c700:b4c:aac3) (Ping timeout: 264 seconds) |
| 00:29:16 | → | codedmart joins (codedmart@2600:3c01::f03c:92ff:fefe:8511) |
| 00:29:21 | → | danso joins (~danso@23-233-111-52.cpe.pppoe.ca) |
| 00:30:03 | × | tremon quits (~tremon@217-63-61-89.cable.dynamic.v4.ziggo.nl) (Quit: getting boxed in) |
| 00:30:03 | × | hounded quits (~hounded@2603-7000-2145-c400-0000-0000-0000-0004.res6.spectrum.com) (Quit: Leaving) |
| 00:30:18 | × | ddellacosta quits (~ddellacos@86.106.121.36) (Ping timeout: 264 seconds) |
| 00:31:40 | → | hpc joins (~juzz@ip98-169-35-13.dc.dc.cox.net) |
| 00:31:47 | × | Mark_ quits (uid14803@user/mark/x-9597255) (Quit: Connection closed for inactivity) |
| 00:36:09 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 00:36:26 | × | hpc quits (~juzz@ip98-169-35-13.dc.dc.cox.net) (Ping timeout: 244 seconds) |
| 00:39:29 | → | sheepduck joins (~sheepduck@2607:fea8:2a60:b700::5d55) |
| 00:39:54 | × | dmwit quits (~dmwit@pool-173-66-86-32.washdc.fios.verizon.net) (Quit: lol) |
| 00:40:06 | → | da39a3ee5e6b4b0d joins (~textual@2403:6200:8876:ee80:d1f8:2f2f:4629:dfc9) |
| 00:40:53 | → | o1lo01ol1o joins (~o1lo01ol1@cpe-74-72-45-166.nyc.res.rr.com) |
| 00:40:58 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds) |
| 00:42:01 | × | Aran quits (~Aran@port-92-194-80-170.dynamic.as20676.net) (Quit: Leaving) |
| 00:43:48 | → | joniibou joins (~joniibou@softbank060120010042.bbtec.net) |
| 00:43:56 | → | tabemann joins (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) |
| 00:44:26 | → | ddellacosta joins (~ddellacos@86.106.121.115) |
| 00:45:43 | × | ystael quits (~ystael@user/ystael) (Ping timeout: 265 seconds) |
| 00:45:46 | × | o1lo01ol1o quits (~o1lo01ol1@cpe-74-72-45-166.nyc.res.rr.com) (Ping timeout: 264 seconds) |
| 00:48:41 | × | ddellacosta quits (~ddellacos@86.106.121.115) (Ping timeout: 252 seconds) |
| 00:49:14 | → | noddy joins (~self@c6a7c7c7.vpn.njalla.net) |
| 00:49:14 | × | noddy quits (~self@c6a7c7c7.vpn.njalla.net) (Changing host) |
| 00:49:14 | → | noddy joins (~self@user/noddy) |
| 00:49:52 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 244 seconds) |
| 00:50:08 | × | sheepduck quits (~sheepduck@2607:fea8:2a60:b700::5d55) (Quit: Leaving) |
| 00:50:32 | → | sheepduck joins (~sheepduck@2607:fea8:2a60:b700::5d55) |
| 00:50:56 | → | tA joins (~thorn@121.220.36.168) |
| 00:51:58 | → | Lycurgus joins (~juan@cpe-45-46-140-49.buffalo.res.rr.com) |
| 00:53:02 | × | sheepduck quits (~sheepduck@2607:fea8:2a60:b700::5d55) (Client Quit) |
| 00:53:28 | → | sheepduck joins (~sheepduck@2607:fea8:2a60:b700::5d55) |
| 00:56:04 | × | gzj quits (~GZJ0X@185.212.59.97.16clouds.com) (Ping timeout: 264 seconds) |
| 00:56:05 | → | vonfry joins (~user@240e:688:3:1010:d165:d0b6:b436:8121) |
| 00:58:47 | × | gambpang quits (~ian@207.181.230.156) (Remote host closed the connection) |
| 00:59:36 | × | sheepduck quits (~sheepduck@2607:fea8:2a60:b700::5d55) (Remote host closed the connection) |
| 00:59:41 | → | hmmmas joins (~chenqisu1@183.217.202.217) |
| 00:59:58 | × | hmmmas quits (~chenqisu1@183.217.202.217) (Client Quit) |
| 01:01:19 | → | sheepduck joins (~sheepduck@2607:fea8:2a60:b700::5d55) |
| 01:01:19 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:b043:8b77:c7da:42a0) (Remote host closed the connection) |
| 01:02:51 | Guest98 | is now known as AdmiralBumbleBee |
| 01:03:10 | → | ddellacosta joins (~ddellacos@86.106.121.86) |
| 01:04:03 | → | o1lo01ol1o joins (~o1lo01ol1@cpe-74-72-45-166.nyc.res.rr.com) |
| 01:04:27 | × | spirgel quits (~spirgel@81.92.200.60) () |
| 01:04:37 | → | lavaman joins (~lavaman@98.38.249.169) |
| 01:06:35 | × | zzing quits (~zzing@d24-57-14-115.home.cgocable.net) () |
| 01:07:19 | × | xff0x quits (~xff0x@2001:1a81:5359:7600:b228:4a6c:72ab:2551) (Ping timeout: 272 seconds) |
| 01:07:58 | × | kewa quits (~kewa@5.138.211.57) (Ping timeout: 264 seconds) |
| 01:08:09 | × | ddellacosta quits (~ddellacos@86.106.121.86) (Ping timeout: 272 seconds) |
| 01:08:28 | → | hmmmas joins (~chenqisu1@183.217.202.217) |
| 01:08:32 | → | xff0x joins (~xff0x@2001:1a81:5398:5c00:c47d:75cc:a946:f749) |
| 01:10:27 | × | dy quits (~dy@user/dy) (Quit: Textual IRC Client: www.textualapp.com) |
| 01:10:55 | → | dy joins (~dy@user/dy) |
| 01:10:56 | × | AdmiralBumbleBee quits (~textual@47.203.170.49) (Quit: Textual IRC Client: www.textualapp.com) |
| 01:14:09 | × | waleee quits (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 244 seconds) |
| 01:14:20 | → | notzmv joins (~zmv@user/notzmv) |
| 01:16:11 | → | waleee joins (~waleee@h-98-128-228-119.NA.cust.bahnhof.se) |
| 01:16:14 | → | Ranhir joins (~Ranhir@157.97.53.139) |
| 01:18:16 | → | plateno joins (~plateno@safiro.ggpz.space) |
| 01:18:46 | × | lbseale__ quits (~lbseale@ip72-194-54-201.sb.sd.cox.net) (Read error: Connection reset by peer) |
| 01:20:10 | → | ddellacosta joins (~ddellacos@89.46.62.75) |
| 01:21:21 | → | lbseale joins (~lbseale@ip72-194-54-201.sb.sd.cox.net) |
| 01:21:30 | × | Lycurgus quits (~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt) |
| 01:23:15 | → | learner-monad joins (~ehanneken@cpe-174-105-47-100.columbus.res.rr.com) |
| 01:23:50 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 01:24:46 | × | ddellacosta quits (~ddellacos@89.46.62.75) (Ping timeout: 264 seconds) |
| 01:25:53 | dy | is now known as Guest9477 |
| 01:26:04 | → | leif joins (~lm@202.36.244.40) |
| 01:27:48 | × | leif quits (~lm@202.36.244.40) (Client Quit) |
| 01:29:19 | → | leif joins (uid501722@id-501722.stonehaven.irccloud.com) |
| 01:30:05 | <geekosaur> | hah. someone already registered "rasengone" |
| 01:30:40 | × | Ranhir quits (~Ranhir@157.97.53.139) (Quit: KVIrc 5.0.0 Aria http://www.kvirc.net/) |
| 01:31:48 | → | cdsmithus joins (~cdsmithus@c-73-184-127-183.hsd1.ga.comcast.net) |
| 01:33:07 | → | Mark_ joins (uid14803@user/mark/x-9597255) |
| 01:35:04 | × | m_shiraeeshi quits (~shiraeesh@109.166.58.113) (Ping timeout: 264 seconds) |
| 01:35:26 | <monochrom> | heh |
| 01:37:36 | → | ddellacosta joins (~ddellacos@86.106.121.75) |
| 01:40:23 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 01:41:34 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds) |
| 01:41:44 | → | xandaros joins (~xandaros@user/xandaros) |
| 01:42:15 | × | ddellacosta quits (~ddellacos@86.106.121.75) (Ping timeout: 264 seconds) |
| 01:42:25 | → | ystael joins (~ystael@user/ystael) |
| 01:42:43 | × | learner-monad quits (~ehanneken@cpe-174-105-47-100.columbus.res.rr.com) (Quit: WeeChat 3.1) |
| 01:42:46 | × | waleee quits (~waleee@h-98-128-228-119.NA.cust.bahnhof.se) (Ping timeout: 264 seconds) |
| 01:44:06 | × | curiousgay quits (~curiousga@178.217.208.8) (Remote host closed the connection) |
| 01:44:08 | → | waleee joins (~waleee@h-98-128-228-119.NA.cust.bahnhof.se) |
| 01:44:19 | → | curiousgay joins (~curiousga@178.217.208.8) |
| 01:47:45 | → | ku joins (~ku@2601:280:c780:7ea0:8d75:13f2:a7bb:13b1) |
| 01:51:26 | → | leeb joins (~leeb@2001:268:c082:ffba:425b:d8ff:fe03:4cd) |
| 01:51:55 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:b043:8b77:c7da:42a0) |
| 01:53:09 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 01:53:59 | × | Guest9519 quits (~cross@spitfire.i.gajendra.net) (Quit: leaving) |
| 01:54:11 | → | cross joins (~cross@spitfire.i.gajendra.net) |
| 01:54:23 | × | jlamothe quits (~jlamothe@198.251.57.81) (Remote host closed the connection) |
| 01:54:34 | cross | is now known as Guest3669 |
| 01:54:42 | → | ddellacosta joins (~ddellacos@86.106.121.100) |
| 01:55:10 | ← | Guest3669 parts (~cross@spitfire.i.gajendra.net) () |
| 01:55:51 | → | anon57342 joins (~anon57342@79.105.25.79) |
| 01:56:00 | → | _xor joins (~xor@74.215.46.133) |
| 01:56:16 | × | anon57342 quits (~anon57342@79.105.25.79) (Client Quit) |
| 01:57:20 | Guest9477 | is now known as dy |
| 01:57:54 | → | hpc joins (~juzz@ip98-169-35-13.dc.dc.cox.net) |
| 01:57:54 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds) |
| 01:59:36 | → | jlamothe joins (~jlamothe@198.251.57.81) |
| 01:59:53 | × | ddellacosta quits (~ddellacos@86.106.121.100) (Ping timeout: 272 seconds) |
| 02:02:10 | × | Erutuon quits (~Erutuon@97-116-14-180.mpls.qwest.net) (Quit: WeeChat 2.8) |
| 02:03:47 | → | Ranhir joins (~Ranhir@157.97.53.139) |
| 02:04:03 | → | alexeikale joins (~manjaro-u@2601:1c2:1b80:100:4ea5:a35a:95ba:fcb1) |
| 02:04:58 | × | oxide quits (~lambda@user/oxide) (Ping timeout: 264 seconds) |
| 02:06:54 | → | wei2912_ joins (~wei2912@112.199.250.21) |
| 02:06:55 | → | oxide joins (~lambda@user/oxide) |
| 02:09:00 | × | nuncanada quits (~dude@179.235.160.168) (Quit: Leaving) |
| 02:09:16 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 02:11:03 | → | timsears joins (uid501726@id-501726.highgate.irccloud.com) |
| 02:11:26 | wei2912_ | is now known as wei2912 |
| 02:12:18 | → | ddellacosta joins (~ddellacos@89.46.62.26) |
| 02:13:09 | → | lu joins (~lu@user/lu) |
| 02:14:14 | × | curiousgay quits (~curiousga@178.217.208.8) (Remote host closed the connection) |
| 02:14:21 | → | curiousgay_ joins (~curiousga@178.217.208.8) |
| 02:14:31 | × | wei2912 quits (~wei2912@112.199.250.21) (Quit: libera) |
| 02:14:46 | → | wei2912 joins (~wei2912@112.199.250.21) |
| 02:15:54 | → | gambpang joins (~ian@207.181.230.156) |
| 02:17:03 | × | ddellacosta quits (~ddellacos@89.46.62.26) (Ping timeout: 264 seconds) |
| 02:17:05 | zzz | is now known as pranwsalad |
| 02:18:18 | → | Toast52 joins (~Toast52@151.192.167.120) |
| 02:20:04 | × | waleee quits (~waleee@h-98-128-228-119.NA.cust.bahnhof.se) (Ping timeout: 264 seconds) |
| 02:20:04 | × | finn_elija quits (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 264 seconds) |
| 02:21:53 | → | finn_elija joins (~finn_elij@user/finn-elija/x-0085643) |
| 02:22:44 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 02:26:33 | → | dunham joins (~dunham@97-113-50-142.tukw.qwest.net) |
| 02:28:58 | × | myShoggoth quits (~myShoggot@97-120-89-117.ptld.qwest.net) (Ping timeout: 264 seconds) |
| 02:29:27 | × | jmpeax quits (~jmpeax@host-68-169-156-162.WISOLT2.epbfi.com) (Quit: leaving) |
| 02:30:29 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 272 seconds) |
| 02:33:40 | × | wei2912 quits (~wei2912@112.199.250.21) (Quit: leaving) |
| 02:34:02 | → | wei2912 joins (~wei2912@112.199.250.21) |
| 02:35:32 | × | Toast52 quits (~Toast52@151.192.167.120) (Quit: Leaving) |
| 02:35:41 | × | sadbrad quits (~sadbrad@2600:1700:8a14:2a0:f1ff:d819:17cd:fe61) (Read error: Connection reset by peer) |
| 02:35:43 | → | a6a45081-2b83 joins (~aditya@106.214.73.78) |
| 02:37:15 | × | td_ quits (~td@94.134.91.198) (Ping timeout: 272 seconds) |
| 02:37:35 | × | alex3 quits (~Chel@BSN-77-82-41.static.siol.net) (Ping timeout: 252 seconds) |
| 02:38:30 | → | td_ joins (~td@94.134.91.249) |
| 02:39:34 | → | kewa joins (~kewa@5.138.211.57) |
| 02:39:49 | → | alex3 joins (~Chel@BSN-77-82-41.static.siol.net) |
| 02:41:25 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 02:42:44 | × | o1lo01ol1o quits (~o1lo01ol1@cpe-74-72-45-166.nyc.res.rr.com) (Remote host closed the connection) |
| 02:42:45 | → | rbtEngrDude joins (~gankoji@2600:8800:a610:3e00:50e7:6309:a8d2:5cb5) |
| 02:43:22 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 02:43:27 | → | o1lo01ol1o joins (~o1lo01ol1@cpe-74-72-45-166.nyc.res.rr.com) |
| 02:43:27 | ← | tcard parts (~tcard@p2307053-ipngn17101hodogaya.kanagawa.ocn.ne.jp) (Leaving) |
| 02:44:16 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 02:45:01 | × | o1lo01ol1o quits (~o1lo01ol1@cpe-74-72-45-166.nyc.res.rr.com) (Remote host closed the connection) |
| 02:45:13 | → | o1lo01ol1o joins (~o1lo01ol1@cpe-74-72-45-166.nyc.res.rr.com) |
| 02:46:35 | × | wei2912 quits (~wei2912@112.199.250.21) (Quit: leaving) |
| 02:46:39 | × | lechner quits (~lechner@letbox-vps.us-core.com) (Quit: WeeChat 3.0) |
| 02:47:21 | → | ddellacosta joins (~ddellacos@86.106.121.100) |
| 02:47:24 | → | lechner joins (~lechner@letbox-vps.us-core.com) |
| 02:47:26 | → | wei2912 joins (~wei2912@112.199.250.21) |
| 02:47:35 | → | myShoggoth joins (~myShoggot@97-120-89-117.ptld.qwest.net) |
| 02:47:56 | × | lbseale quits (~lbseale@ip72-194-54-201.sb.sd.cox.net) (Read error: Connection reset by peer) |
| 02:49:17 | <edwardk> | i'm just saying if we have a rasenGAN it means we have a generator and a discriminator network, and only one network is discriminating against users of the other at this point. |
| 02:49:29 | → | yumaikas- joins (~yumaikas@2601:281:c700:4240:74c8:b58a:1006:7ff1) |
| 02:49:37 | curiousgay_ | is now known as curiousgay |
| 02:50:11 | × | lechner quits (~lechner@letbox-vps.us-core.com) (Client Quit) |
| 02:50:26 | → | lechner joins (~lechner@letbox-vps.us-core.com) |
| 02:51:29 | <Axman6> | dy made this, and I love them for it https://imgflip.com/i/5b3f7k |
| 02:51:53 | × | ddellacosta quits (~ddellacos@86.106.121.100) (Ping timeout: 252 seconds) |
| 02:52:02 | <shachaf> | edwardk: Oh, I was thinking it was something about a generator of a free node. |
| 02:52:51 | × | o1lo01ol1o quits (~o1lo01ol1@cpe-74-72-45-166.nyc.res.rr.com) (Remote host closed the connection) |
| 02:53:52 | → | o1lo01ol1o joins (~o1lo01ol1@cpe-74-72-45-166.nyc.res.rr.com) |
| 02:54:48 | × | lechner quits (~lechner@letbox-vps.us-core.com) (Client Quit) |
| 02:55:13 | → | lechner joins (~lechner@letbox-vps.us-core.com) |
| 02:55:53 | → | axelf joins (~user@cust-95-80-43-214.csbnet.se) |
| 02:56:34 | × | hmmmas quits (~chenqisu1@183.217.202.217) (Ping timeout: 264 seconds) |
| 02:57:06 | → | tcard joins (~tcard@p2307053-ipngn17101hodogaya.kanagawa.ocn.ne.jp) |
| 02:57:10 | × | doc2 quits (~doc@59-102-3-251.tpgi.com.au) (Ping timeout: 264 seconds) |
| 02:57:31 | × | Axman6 quits (~Axman6@user/axman6) (Ping timeout: 272 seconds) |
| 02:57:32 | → | doc2 joins (~doc@59-102-3-251.tpgi.com.au) |
| 02:57:58 | → | Axman6 joins (~Axman6@user/axman6) |
| 02:58:00 | × | o1lo01ol1o quits (~o1lo01ol1@cpe-74-72-45-166.nyc.res.rr.com) (Ping timeout: 244 seconds) |
| 02:59:03 | → | hmmmas joins (~chenqisu1@183.217.202.217) |
| 02:59:25 | → | tddpirate joins (~omer_zak@2a0d:6fc0:789:f200:a5ea:482d:1acf:8f67) |
| 03:00:04 | × | axelf quits (~user@cust-95-80-43-214.csbnet.se) (Ping timeout: 244 seconds) |
| 03:04:28 | × | smitop quits (uid328768@user/smitop) (Quit: Connection closed for inactivity) |
| 03:06:35 | × | wagle quits (~wagle@quassel.wagle.io) (Ping timeout: 272 seconds) |
| 03:06:39 | × | khumba quits (~kvirc@S01066038e0ca1250.ok.shawcable.net) (Changing host) |
| 03:06:39 | → | khumba joins (~kvirc@user/khumba) |
| 03:07:02 | × | khumba quits (~kvirc@user/khumba) () |
| 03:07:20 | × | myShoggoth quits (~myShoggot@97-120-89-117.ptld.qwest.net) (Read error: Connection reset by peer) |
| 03:07:39 | → | myShoggoth joins (~myShoggot@97-120-89-117.ptld.qwest.net) |
| 03:07:51 | → | khumba joins (~kvirc@user/khumba) |
| 03:08:55 | <edwardk> | right now the problem is that freenode is down to one generator, when there were more of them.. |
| 03:10:12 | → | wagle joins (~wagle@quassel.wagle.io) |
| 03:14:57 | pranwsalad | is now known as onion |
| 03:15:39 | <tddpirate> | What do you mean by 'generator'? |
| 03:17:23 | × | abhixec quits (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Quit: leaving) |
| 03:17:52 | <edwardk> | as in generator of a free group, not a terribly sophisticated reference. https://en.wikipedia.org/wiki/Free_group |
| 03:19:56 | × | kewa quits (~kewa@5.138.211.57) (Ping timeout: 252 seconds) |
| 03:20:25 | <tapas> | i've officially dropped all of my nicks |
| 03:20:34 | <tapas> | RIP, lasted 12 yeras |
| 03:20:37 | <tapas> | *years |
| 03:20:52 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 03:20:57 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 272 seconds) |
| 03:20:58 | <unyu> | edwardk: So how do we find relations to show that the group is no longer free? |
| 03:21:30 | → | hughjfchen joins (~hughjfche@2409:8954:32d4:7cbd:a8c8:815d:e613:614a) |
| 03:21:35 | nitrix | headpats unyu. |
| 03:21:44 | <unyu> | nitrix: Hello. |
| 03:21:51 | Lord_of_Life_ | is now known as Lord_of_Life |
| 03:22:18 | × | hughjfchen quits (~hughjfche@2409:8954:32d4:7cbd:a8c8:815d:e613:614a) (Read error: Connection reset by peer) |
| 03:22:43 | → | ddellacosta joins (~ddellacos@86.106.121.17) |
| 03:22:58 | × | ku quits (~ku@2601:280:c780:7ea0:8d75:13f2:a7bb:13b1) (Ping timeout: 264 seconds) |
| 03:23:02 | → | hughjfchen joins (~hughjfche@2409:8954:32d4:7cbd:a8c8:815d:e613:614a) |
| 03:23:09 | → | Xentripetal joins (~Core2634@2600:1700:7720:cf80:e5c9:ba10:fef:d134) |
| 03:23:41 | × | hughjfchen quits (~hughjfche@2409:8954:32d4:7cbd:a8c8:815d:e613:614a) (Read error: Connection reset by peer) |
| 03:27:54 | × | y04nn quits (~y04nn@185.204.1.208) (Ping timeout: 264 seconds) |
| 03:28:28 | × | ddellacosta quits (~ddellacos@86.106.121.17) (Ping timeout: 264 seconds) |
| 03:31:17 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 03:31:34 | → | dmwit joins (~dmwit@pool-173-66-86-32.washdc.fios.verizon.net) |
| 03:34:21 | → | glowcoil joins (sid3405@id-3405.tinside.irccloud.com) |
| 03:37:27 | ← | tddpirate parts (~omer_zak@2a0d:6fc0:789:f200:a5ea:482d:1acf:8f67) (Leaving) |
| 03:38:04 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 264 seconds) |
| 03:38:06 | × | lu quits (~lu@user/lu) (Ping timeout: 264 seconds) |
| 03:38:07 | Xentripetal | is now known as Core1950 |
| 03:38:18 | Core1950 | is now known as xentripetal |
| 03:38:28 | × | yumaikas- quits (~yumaikas@2601:281:c700:4240:74c8:b58a:1006:7ff1) (Remote host closed the connection) |
| 03:39:11 | → | yumaikas- joins (~yumaikas@2601:281:c700:4240:74c8:b58a:1006:7ff1) |
| 03:44:42 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 264 seconds) |
| 03:44:52 | → | moet joins (~moet@172.58.35.238) |
| 03:47:15 | → | notzmv joins (~zmv@user/notzmv) |
| 03:48:39 | × | a6a45081-2b83 quits (~aditya@106.214.73.78) (Remote host closed the connection) |
| 03:50:12 | → | a6a45081-2b83 joins (~aditya@106.214.73.78) |
| 03:50:24 | ← | onion parts (~yin@user/yin) () |
| 03:52:46 | × | boxscape quits (~boxscape@user/boxscape) (Ping timeout: 265 seconds) |
| 03:53:04 | × | moet quits (~moet@172.58.35.238) (Ping timeout: 264 seconds) |
| 03:53:11 | → | onion joins (~yin@user/yin) |
| 03:53:14 | ← | onion parts (~yin@user/yin) () |
| 03:55:09 | × | meejah quits (~meejah@rutas.meejah.ca) (Quit: Reconnecting) |
| 03:55:18 | → | meejah joins (~meejah@rutas.meejah.ca) |
| 03:58:09 | → | ddellacosta joins (~ddellacos@86.106.121.75) |
| 03:58:09 | × | mig quits (~mig@2405:6580:b1c0:2500:3c98:f151:a0d9:62c7) (Read error: Connection reset by peer) |
| 04:00:20 | × | da39a3ee5e6b4b0d quits (~textual@2403:6200:8876:ee80:d1f8:2f2f:4629:dfc9) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 04:02:14 | × | Scotty_Trees quits (~Scotty_Tr@162-234-179-169.lightspeed.brhmal.sbcglobal.net) (Quit: Leaving) |
| 04:04:13 | × | ddellacosta quits (~ddellacos@86.106.121.75) (Ping timeout: 272 seconds) |
| 04:04:48 | × | pilipilihoho quits (~pilipilih@108.180.14.158) (Quit: See ya!) |
| 04:05:50 | × | nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Quit: WeeChat 2.9) |
| 04:06:11 | → | nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 04:06:46 | × | nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Client Quit) |
| 04:07:17 | → | nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 04:07:28 | × | a6a45081-2b83 quits (~aditya@106.214.73.78) (Remote host closed the connection) |
| 04:08:09 | nate1 | is now known as natechan |
| 04:08:14 | → | lavaman joins (~lavaman@98.38.249.169) |
| 04:10:07 | × | alexeikale quits (~manjaro-u@2601:1c2:1b80:100:4ea5:a35a:95ba:fcb1) (Quit: Konversation terminated!) |
| 04:12:46 | × | yumaikas- quits (~yumaikas@2601:281:c700:4240:74c8:b58a:1006:7ff1) (Remote host closed the connection) |
| 04:13:06 | → | yumaikas- joins (~yumaikas@2601:281:c700:4240:74c8:b58a:1006:7ff1) |
| 04:13:52 | × | Athas quits (athas@2a01:7c8:aaac:1cf:f685:221c:33ac:efb6) (Quit: ZNC 1.8.2 - https://znc.in) |
| 04:14:01 | → | Athas joins (athas@sigkill.dk) |
| 04:16:35 | → | SeemedLikeAGoodI joins (~whateverm@pool-108-54-183-148.nycmny.fios.verizon.net) |
| 04:16:58 | → | ddellacosta joins (~ddellacos@86.106.121.87) |
| 04:18:52 | × | ThatsWhatIDo quits (~whateverm@pool-108-54-183-148.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
| 04:21:22 | → | xlei_ joins (znc@pool-68-129-84-118.nycmny.fios.verizon.net) |
| 04:21:46 | × | ddellacosta quits (~ddellacos@86.106.121.87) (Ping timeout: 265 seconds) |
| 04:22:22 | × | xlei quits (znc@pool-68-129-84-118.nycmny.fios.verizon.net) (Ping timeout: 264 seconds) |
| 04:22:22 | xlei_ | is now known as xlei |
| 04:24:46 | × | dmwit quits (~dmwit@pool-173-66-86-32.washdc.fios.verizon.net) (Ping timeout: 264 seconds) |
| 04:25:56 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.0.1) |
| 04:26:31 | → | dmwit joins (~dmwit@pool-173-66-86-32.washdc.fios.verizon.net) |
| 04:28:39 | → | img joins (~img@2405:6580:b1c0:2500:3c98:f151:a0d9:62c7) |
| 04:30:00 | → | o1lo01ol1o joins (~o1lo01ol1@cpe-74-72-45-166.nyc.res.rr.com) |
| 04:30:22 | → | alexeikale joins (~alexeikal@2601:1c2:1b80:100:4ea5:a35a:95ba:fcb1) |
| 04:30:55 | <alexeikale> | join #haskell-offtopic |
| 04:31:31 | ← | alexeikale parts (~alexeikal@2601:1c2:1b80:100:4ea5:a35a:95ba:fcb1) () |
| 04:32:23 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 04:34:28 | × | o1lo01ol1o quits (~o1lo01ol1@cpe-74-72-45-166.nyc.res.rr.com) (Ping timeout: 264 seconds) |
| 04:35:26 | → | ddellacosta joins (~ddellacos@89.46.62.108) |
| 04:36:10 | × | yumaikas- quits (~yumaikas@2601:281:c700:4240:74c8:b58a:1006:7ff1) (Ping timeout: 264 seconds) |
| 04:39:12 | fiddlerwoaroof | is now known as edwlan |
| 04:39:54 | × | ddellacosta quits (~ddellacos@89.46.62.108) (Ping timeout: 264 seconds) |
| 04:39:55 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 04:40:49 | → | MorrowM joins (~MorrowM_@147.161.9.230) |
| 04:43:22 | × | abrar quits (~abrar@static-108-30-103-121.nycmny.fios.verizon.net) (Ping timeout: 264 seconds) |
| 04:43:46 | → | abrar joins (~abrar@static-108-30-103-121.nycmny.fios.verizon.net) |
| 04:44:29 | × | Morrow quits (~MorrowM_@147.161.9.80) (Ping timeout: 265 seconds) |
| 04:45:23 | × | MorrowM quits (~MorrowM_@147.161.9.230) (Ping timeout: 272 seconds) |
| 04:45:56 | × | hiruji quits (~hiruji@user/hiruji) (Ping timeout: 265 seconds) |
| 04:46:44 | → | hiruji joins (~hiruji@user/hiruji) |
| 04:50:17 | × | xlei quits (znc@pool-68-129-84-118.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
| 04:51:02 | × | ornxka quits (~ornxka@user/ornxka) (Read error: Connection reset by peer) |
| 04:58:03 | × | hiptobecubic quits (~john@c-73-55-99-95.hsd1.fl.comcast.net) (Ping timeout: 272 seconds) |
| 05:04:54 | → | ornxka joins (~ornxka@207.246.90.152) |
| 05:06:07 | × | ornxka quits (~ornxka@207.246.90.152) (Changing host) |
| 05:06:07 | → | ornxka joins (~ornxka@user/ornxka) |
| 05:06:45 | × | Axman6 quits (~Axman6@user/axman6) (Remote host closed the connection) |
| 05:07:00 | → | Axman6 joins (~Axman6@user/axman6) |
| 05:07:34 | × | rbtEngrDude quits (~gankoji@2600:8800:a610:3e00:50e7:6309:a8d2:5cb5) (Quit: Leaving) |
| 05:07:53 | × | alx741 quits (~alx741@186.178.109.84) (Quit: alx741) |
| 05:09:25 | → | xlei joins (znc@pool-68-129-84-118.nycmny.fios.verizon.net) |
| 05:10:21 | → | haskman joins (~haskman@223.190.83.69) |
| 05:10:31 | → | ddellacosta joins (~ddellacos@86.106.121.109) |
| 05:11:49 | → | Gurkenglas joins (~Gurkengla@dslb-088-075-022-175.088.075.pools.vodafone-ip.de) |
| 05:14:31 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 05:14:40 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds) |
| 05:15:18 | × | ddellacosta quits (~ddellacos@86.106.121.109) (Ping timeout: 264 seconds) |
| 05:21:16 | → | guest0123 joins (~aaron@2601:602:a080:fa0:745b:c700:b4c:aac3) |
| 05:25:14 | → | meiji163 joins (~meiji163@2603-8000-9000-7400-3023-3cc3-41dd-c0a1.res6.spectrum.com) |
| 05:26:57 | × | gambpang quits (~ian@207.181.230.156) (Remote host closed the connection) |
| 05:28:19 | → | lavaman joins (~lavaman@98.38.249.169) |
| 05:29:24 | → | bfrk joins (~Thunderbi@200116b845a103000156427e7b23f5f6.dip.versatel-1u1.de) |
| 05:30:10 | ← | eal parts (~eal@customer-46-39-107-10.stosn.net) (ERC (IRC client for Emacs 27.2)) |
| 05:30:50 | → | Guest85 joins (~Guest85@157-131-242-180.fiber.dynamic.sonic.net) |
| 05:32:17 | × | xkapastel quits (uid17782@id-17782.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 05:32:23 | × | Guest85 quits (~Guest85@157-131-242-180.fiber.dynamic.sonic.net) (Client Quit) |
| 05:32:51 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 05:32:54 | → | Guest85 joins (~Guest85@157-131-242-180.fiber.dynamic.sonic.net) |
| 05:33:04 | → | lavaman joins (~lavaman@98.38.249.169) |
| 05:33:12 | × | Guest85 quits (~Guest85@157-131-242-180.fiber.dynamic.sonic.net) (Client Quit) |
| 05:33:29 | <meiji163> | hi |
| 05:34:53 | → | spider joins (~spider@vps-951ce37a.vps.ovh.ca) |
| 05:35:02 | spider | is now known as spider_ |
| 05:35:25 | × | MasterControl quits (~Master@238.140.4.85.dynamic.wline.res.cust.swisscom.ch) (Ping timeout: 272 seconds) |
| 05:35:59 | → | coot joins (~coot@37.30.49.19.nat.umts.dynamic.t-mobile.pl) |
| 05:36:08 | × | spider_ quits (~spider@vps-951ce37a.vps.ovh.ca) (Client Quit) |
| 05:36:36 | → | spider_ joins (~spider@vps-951ce37a.vps.ovh.ca) |
| 05:37:59 | → | MorrowM joins (~MorrowM_@147.161.14.173) |
| 05:38:35 | → | sondre joins (~sondrelun@cm-84.212.100.140.getinternet.no) |
| 05:38:42 | → | ntm joins (~ntm@69-212-61-243.lightspeed.cicril.sbcglobal.net) |
| 05:38:54 | <Axman6> | hello meiji163! |
| 05:40:41 | × | unyu quits (~pyon@user/pyon) (Quit: WeeChat 3.1) |
| 05:40:52 | × | meiji163 quits (~meiji163@2603-8000-9000-7400-3023-3cc3-41dd-c0a1.res6.spectrum.com) (Quit: WeeChat 3.1) |
| 05:43:11 | → | buggy joins (~buggy@27.6.222.224) |
| 05:43:25 | × | buggy quits (~buggy@27.6.222.224) (Changing host) |
| 05:43:25 | → | buggy joins (~buggy@user/smorgasbord) |
| 05:44:19 | → | ddellacosta joins (~ddellacos@89.46.62.48) |
| 05:46:08 | → | kewa joins (~kewa@5.138.211.57) |
| 05:48:07 | doc2 | is now known as vk3wtf |
| 05:48:52 | × | ddellacosta quits (~ddellacos@89.46.62.48) (Ping timeout: 264 seconds) |
| 05:49:22 | × | myShoggoth quits (~myShoggot@97-120-89-117.ptld.qwest.net) (Ping timeout: 264 seconds) |
| 05:50:34 | × | xandaros quits (~xandaros@user/xandaros) (Ping timeout: 264 seconds) |
| 05:51:53 | → | ksqsf joins (~textual@67.209.186.120.16clouds.com) |
| 05:52:43 | × | vk3wtf quits (~doc@59-102-3-251.tpgi.com.au) (Quit: WeeChat 3.1) |
| 05:52:58 | → | doc1 joins (~doc@59-102-3-251.tpgi.com.au) |
| 05:53:03 | doc1 | is now known as vk3wtf |
| 05:53:09 | → | Pseudonym joins (~Pseudonym@118.211.110.39) |
| 05:58:36 | → | Franciman joins (~francesco@host-80-180-196-134.retail.telecomitalia.it) |
| 05:59:44 | → | Guest11 joins (~textual@146.212.240.255) |
| 06:02:54 | → | ddellacosta joins (~ddellacos@89.46.62.125) |
| 06:03:03 | × | Kevin578 quits (~Kevin578@pool-98-110-163-110.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 06:04:06 | → | xandaros joins (~xandaros@user/xandaros) |
| 06:06:13 | → | chexum joins (~quassel@2a02:a03f:62f9:3f00:6b71:476f:e71b:80b) |
| 06:07:43 | × | ddellacosta quits (~ddellacos@89.46.62.125) (Ping timeout: 272 seconds) |
| 06:09:40 | × | ukari quits (~ukari@user/ukari) (Remote host closed the connection) |
| 06:09:54 | → | MrGreen joins (~MrGreen@103.217.109.88) |
| 06:10:14 | → | ukari joins (~ukari@user/ukari) |
| 06:10:27 | × | MorrowM quits (~MorrowM_@147.161.14.173) (Read error: Connection reset by peer) |
| 06:10:44 | → | Morrow joins (~MorrowM_@147.161.14.173) |
| 06:11:46 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 06:12:00 | → | lavaman joins (~lavaman@98.38.249.169) |
| 06:12:08 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 06:12:23 | → | lavaman joins (~lavaman@98.38.249.169) |
| 06:12:30 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 06:12:45 | → | lavaman joins (~lavaman@98.38.249.169) |
| 06:12:52 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 06:13:07 | → | lavaman joins (~lavaman@98.38.249.169) |
| 06:13:13 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 06:13:38 | → | da39a3ee5e6b4b0d joins (~textual@mx-ll-171.6.241-188.dynamic.3bb.co.th) |
| 06:13:54 | × | sondre quits (~sondrelun@cm-84.212.100.140.getinternet.no) (Ping timeout: 265 seconds) |
| 06:14:35 | → | imdoor joins (~imdoor@balticom-142-78-50.balticom.lv) |
| 06:15:21 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:2343:c6dc:9eb2:eac7) |
| 06:17:07 | → | v01d4lph4 joins (~v01d4lph4@122.160.65.250) |
| 06:17:07 | × | v01d4lph4 quits (~v01d4lph4@122.160.65.250) (Changing host) |
| 06:17:07 | → | v01d4lph4 joins (~v01d4lph4@user/v01d4lph4) |
| 06:17:51 | × | haskman quits (~haskman@223.190.83.69) (Quit: Going to sleep. ZZZzzz…) |
| 06:18:13 | → | berberman_ joins (~berberman@user/berberman) |
| 06:18:39 | → | o1lo01ol1o joins (~o1lo01ol1@cpe-74-72-45-166.nyc.res.rr.com) |
| 06:19:22 | × | berberman quits (~berberman@user/berberman) (Ping timeout: 264 seconds) |
| 06:19:55 | → | ddellacosta joins (~ddellacos@89.46.62.53) |
| 06:19:58 | × | radw quits (~radw@user/radw) (Ping timeout: 264 seconds) |
| 06:20:14 | edwlan | is now known as fiddlerwoaroof |
| 06:21:02 | → | radw joins (~radw@user/radw) |
| 06:21:10 | × | kewa quits (~kewa@5.138.211.57) (Ping timeout: 264 seconds) |
| 06:22:13 | × | ddellacosta quits (~ddellacos@89.46.62.53) (Read error: Connection reset by peer) |
| 06:22:55 | → | michalz joins (~user@185.246.204.50) |
| 06:23:06 | × | o1lo01ol1o quits (~o1lo01ol1@cpe-74-72-45-166.nyc.res.rr.com) (Ping timeout: 264 seconds) |
| 06:24:07 | → | dhouthoo joins (~dhouthoo@178-117-36-167.access.telenet.be) |
| 06:24:37 | → | Guest6618 joins (~Guest66@66.115.157.132) |
| 06:24:48 | → | kewa joins (~kewa@5.138.211.57) |
| 06:25:16 | → | koolazer joins (~koo@user/koolazer) |
| 06:27:01 | → | pe200012 joins (~pe200012@120.236.162.14) |
| 06:27:11 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 06:29:12 | × | Guest6618 quits (~Guest66@66.115.157.132) (Quit: Connection closed) |
| 06:29:15 | × | sheepduck quits (~sheepduck@2607:fea8:2a60:b700::5d55) (Ping timeout: 272 seconds) |
| 06:30:57 | × | fabfianda quits (~fabfianda@net-93-148-125-174.cust.vodafonedsl.it) (Ping timeout: 272 seconds) |
| 06:31:01 | × | sa1 quits (uid7690@id-7690.charlton.irccloud.com) (Quit: Connection closed for inactivity) |
| 06:31:32 | → | fabfianda joins (~fabfianda@net-93-148-125-174.cust.dsl.teletu.it) |
| 06:31:58 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 264 seconds) |
| 06:31:58 | × | urdh quits (~urdh@h88-129-148-132.cust.a3fiber.se) (Ping timeout: 264 seconds) |
| 06:35:45 | → | hello joins (~hello@66.115.157.132) |
| 06:35:53 | → | Tomurb joins (~tom@158.194.92.121) |
| 06:36:09 | → | ddellacosta joins (~ddellacos@89.46.62.60) |
| 06:36:09 | × | hello quits (~hello@66.115.157.132) (Client Quit) |
| 06:39:00 | → | ubert joins (~Thunderbi@p200300ecdf259d7974882ed522245916.dip0.t-ipconnect.de) |
| 06:39:02 | × | fabfianda quits (~fabfianda@net-93-148-125-174.cust.dsl.teletu.it) (Read error: Connection reset by peer) |
| 06:39:11 | → | fabfianda joins (~fabfianda@net-93-148-125-174.cust.vodafonedsl.it) |
| 06:41:17 | × | ddellacosta quits (~ddellacos@89.46.62.60) (Ping timeout: 272 seconds) |
| 06:42:26 | × | satai quits (~satai@ip-37-188-166-29.eurotel.cz) (Quit: satai) |
| 06:43:52 | → | _ht joins (~quassel@82-169-194-8.biz.kpn.net) |
| 06:44:07 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 06:45:10 | × | ubert quits (~Thunderbi@p200300ecdf259d7974882ed522245916.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 06:45:51 | × | Morrow quits (~MorrowM_@147.161.14.173) (Ping timeout: 244 seconds) |
| 06:47:22 | × | MrGreen quits (~MrGreen@103.217.109.88) (Quit: MrGreen) |
| 06:47:36 | → | MrGreen joins (~MrGreen@103.217.109.88) |
| 06:50:02 | × | xandaros quits (~xandaros@user/xandaros) (Ping timeout: 252 seconds) |
| 06:50:24 | → | urdh joins (~urdh@h88-129-148-132.cust.a3fiber.se) |
| 06:52:42 | × | MrGreen quits (~MrGreen@103.217.109.88) (Quit: MrGreen) |
| 06:53:02 | × | ntm quits (~ntm@69-212-61-243.lightspeed.cicril.sbcglobal.net) (Quit: Leaving) |
| 06:53:49 | → | ddellacosta joins (~ddellacos@89.46.62.110) |
| 06:53:59 | → | MrGreen joins (~MrGreen@103.217.109.88) |
| 06:56:06 | × | MrGreen quits (~MrGreen@103.217.109.88) (Client Quit) |
| 06:57:14 | → | thsig joins (~thsig@ip5f5bd3f1.dynamic.kabel-deutschland.de) |
| 06:58:10 | × | slowButPresent quits (~slowButPr@user/slowbutpresent) (Quit: leaving) |
| 06:58:28 | × | ddellacosta quits (~ddellacos@89.46.62.110) (Ping timeout: 264 seconds) |
| 07:00:18 | → | qbt joins (~edun@user/edun) |
| 07:03:44 | → | xandaros joins (~xandaros@user/xandaros) |
| 07:03:52 | → | zyzzyxdonta joins (~zyzzyxdon@p54bdfd77.dip0.t-ipconnect.de) |
| 07:05:07 | → | nsilv joins (~nsilv@212.103.198.210) |
| 07:08:03 | × | kewa quits (~kewa@5.138.211.57) (Read error: Connection reset by peer) |
| 07:09:55 | → | ddellacosta joins (~ddellacos@86.106.121.44) |
| 07:13:39 | → | chele joins (~chele@user/chele) |
| 07:13:59 | × | img quits (~img@2405:6580:b1c0:2500:3c98:f151:a0d9:62c7) (Read error: Connection reset by peer) |
| 07:14:35 | → | unyu joins (~pyon@user/pyon) |
| 07:14:42 | × | ddellacosta quits (~ddellacos@86.106.121.44) (Ping timeout: 264 seconds) |
| 07:18:10 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 07:21:10 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 264 seconds) |
| 07:23:23 | × | thsig quits (~thsig@ip5f5bd3f1.dynamic.kabel-deutschland.de) (Quit: Leaving...) |
| 07:23:56 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 07:26:21 | → | smr joins (~smn@91-114-147-117.adsl.highway.telekom.at) |
| 07:26:23 | × | smr quits (~smn@91-114-147-117.adsl.highway.telekom.at) (Remote host closed the connection) |
| 07:26:39 | → | smr joins (~smn@91-114-147-117.adsl.highway.telekom.at) |
| 07:28:45 | → | winter joins (~winter@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) |
| 07:28:48 | → | ddellacosta joins (~ddellacos@89.46.62.59) |
| 07:30:21 | → | img joins (~img@2405:6580:b1c0:2500:94ef:e7f9:57a3:5892) |
| 07:33:01 | × | bfrk quits (~Thunderbi@200116b845a103000156427e7b23f5f6.dip.versatel-1u1.de) (Ping timeout: 272 seconds) |
| 07:33:16 | × | ddellacosta quits (~ddellacos@89.46.62.59) (Ping timeout: 264 seconds) |
| 07:36:11 | → | bhrgunatha joins (~bhrgunath@2001-b011-8011-6163-fde3-9a54-1125-48fe.dynamic-ip6.hinet.net) |
| 07:40:28 | × | buggy quits (~buggy@user/smorgasbord) (Ping timeout: 264 seconds) |
| 07:41:14 | → | buggy joins (~buggy@27.6.222.224) |
| 07:43:43 | → | m_shiraeeshi joins (~shiraeesh@109.166.58.113) |
| 07:44:29 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 07:46:35 | → | ddellacosta joins (~ddellacos@89.46.62.110) |
| 07:46:55 | × | michalz quits (~user@185.246.204.50) (Remote host closed the connection) |
| 07:47:11 | × | gehmehgeh quits (~user@user/gehmehgeh) (Client Quit) |
| 07:47:27 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 07:47:40 | × | tA quits (~thorn@121.220.36.168) (Ping timeout: 264 seconds) |
| 07:49:17 | <joel135> | kakuhen: http://math.andrej.com/2016/08/06/hask-is-not-a-category/ |
| 07:50:35 | <kakuhen> | yeah, looks like this pesky "undefined" term just ruins everything |
| 07:50:46 | → | alinab joins (sid468903@id-468903.brockwell.irccloud.com) |
| 07:51:18 | × | ddellacosta quits (~ddellacos@89.46.62.110) (Ping timeout: 264 seconds) |
| 07:51:38 | × | nsilv quits (~nsilv@212.103.198.210) (Ping timeout: 252 seconds) |
| 07:52:41 | → | prite joins (~pritam@user/pritambaral) |
| 07:53:34 | <nitrix> | Seems to me like any _|_ bottom substitute would have the same problem, though I recall a talk on the design of Haskell and it seemed to be like System Fw was precisely engineered to have those, as opposed to some other popular models. |
| 07:53:54 | <kakuhen> | though a little birdie told me it's something you can safely "ignore" from the type system because it's primary purpose is a hack so you can compile incomplete code |
| 07:53:56 | <dminuoso> | kakuhen: That's not what the article says. |
| 07:53:57 | <nitrix> | It's a little blurry. |
| 07:54:48 | → | spirgel joins (spirgel@gateway/vpn/protonvpn/spirgel) |
| 07:55:00 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:b043:8b77:c7da:42a0) (Remote host closed the connection) |
| 07:55:17 | <kakuhen> | dminuoso: how do you interpret the argument? |
| 07:55:48 | <kakuhen> | i haven't read the supplemental arguments yet, but the biggest issue im seeing involves the fact that the "supposed identity morphisms" aren't really identities |
| 07:55:49 | → | zeenk joins (~zeenk@2a02:2f04:a310:b600:b098:bf18:df4d:4c41) |
| 07:56:03 | <dminuoso> | kakuhen: The problem is there's no formal definition/construction of that thing "Hask". It's a blurry and handwaving notion without specification. |
| 07:56:07 | × | oxide quits (~lambda@user/oxide) (Ping timeout: 244 seconds) |
| 07:56:11 | <kakuhen> | I see |
| 07:56:12 | <joel135> | It would be cool to implement an actual category called Hask in agda somehow, and then somehow use it to talk to a haskell process. |
| 07:56:42 | <kakuhen> | My interpretation of Bauer's argument was mostly "with the current handwavy definition, we can't even check off all the axioms of a category, and the following proposed solutions still have issues." |
| 07:58:05 | → | haskman joins (~haskman@223.190.83.69) |
| 07:58:14 | → | oxide joins (~lambda@user/oxide) |
| 07:58:18 | dy | is now known as pissnet |
| 07:58:23 | <joel135> | Perhaps one could cook up an adjunction between Hask and Set or something. |
| 07:58:24 | pissnet | is now known as dy |
| 07:59:01 | <dminuoso> | kakuhen: No, its not that we cant prove it, it's that nobody has defined it. |
| 08:00:13 | <dminuoso> | kakuhen: If you dont specify what `f x = g x` even means, you cant check whether its correct. |
| 08:00:50 | <kakuhen> | right, nobody has defined Hask so that it *is* a category |
| 08:00:52 | → | ubert joins (~Thunderbi@p200300ecdf259d7974882ed522245916.dip0.t-ipconnect.de) |
| 08:00:55 | → | michalz joins (~user@185.246.204.50) |
| 08:01:16 | → | poljar joins (~poljar@93-143-155-14.adsl.net.t-com.hr) |
| 08:01:53 | <kakuhen> | in any case, i'm very very new to haskell and i've read some things that have turned out to be false :< |
| 08:02:06 | <kakuhen> | i'm assuming my next disappoint will be the fact that functors in haskell don't behave in any way like functors in math do. |
| 08:02:21 | → | nsilv joins (~nsilv@212.103.198.210) |
| 08:02:55 | <dminuoso> | kakuhen: To be fair, one should at the same time also consider https://www.cs.ox.ac.uk/jeremy.gibbons/publications/fast+loose.pdf |
| 08:03:10 | → | ddellacosta joins (~ddellacos@89.46.62.17) |
| 08:03:10 | × | michalz quits (~user@185.246.204.50) (Remote host closed the connection) |
| 08:03:21 | → | michalz joins (~user@185.246.204.60) |
| 08:03:43 | <joel135> | I think Hask is a category to the same extent that you can do Euclidean category freehand. |
| 08:03:54 | <dminuoso> | In this lose handwaving notion, you usually pretend that seq does not exist, and that your program terminates. |
| 08:03:54 | × | poljar1 quits (~poljar@93-139-109-71.adsl.net.t-com.hr) (Ping timeout: 264 seconds) |
| 08:04:25 | <joel135> | It is hard to draw circles. |
| 08:04:58 | <joel135> | The sheet of paper is bounded. |
| 08:05:03 | <kakuhen> | let me try it a few hundred times with my compass ! |
| 08:05:10 | <dminuoso> | kakuhen: And in fact, folks like edwardk seem to pull a lot of weight from applying category theory to Haskell. |
| 08:05:32 | <dminuoso> | So clearly it is useful to some degree. |
| 08:05:33 | <kakuhen> | dminuoso: i appreciate the 2nd paper, but a lot of it goes over my head sadly. |
| 08:06:04 | → | epolanski joins (uid312403@id-312403.brockwell.irccloud.com) |
| 08:06:23 | → | dhil joins (~dhil@195.213.192.85) |
| 08:06:48 | → | o1lo01ol1o joins (~o1lo01ol1@cpe-74-72-45-166.nyc.res.rr.com) |
| 08:06:48 | × | epolanski quits (uid312403@id-312403.brockwell.irccloud.com) (Client Quit) |
| 08:06:53 | <joel135> | s/category/geometry/ xD |
| 08:07:00 | → | wallymathieu joins (~wallymath@81-234-151-21-no94.tbcn.telia.com) |
| 08:07:11 | <kakuhen> | We already have cartesian closure, why not define euclidean closure :3c |
| 08:07:53 | → | ubert1 joins (~Thunderbi@p200300ecdf259d79e6b318fffe838f33.dip0.t-ipconnect.de) |
| 08:07:58 | × | ddellacosta quits (~ddellacos@89.46.62.17) (Ping timeout: 265 seconds) |
| 08:08:24 | → | MasterControl joins (~Master@238.140.4.85.dynamic.wline.res.cust.swisscom.ch) |
| 08:10:28 | → | nschoe joins (~quassel@178.251.84.79) |
| 08:11:40 | × | o1lo01ol1o quits (~o1lo01ol1@cpe-74-72-45-166.nyc.res.rr.com) (Ping timeout: 264 seconds) |
| 08:12:11 | → | ku joins (~ku@2601:280:c780:7ea0:8d75:13f2:a7bb:13b1) |
| 08:12:38 | → | boxscape joins (~boxscape@user/boxscape) |
| 08:12:55 | × | hpc quits (~juzz@ip98-169-35-13.dc.dc.cox.net) (Ping timeout: 272 seconds) |
| 08:13:31 | × | Pseudonym quits (~Pseudonym@118.211.110.39) (Quit: Going offline, see ya! (www.adiirc.com)) |
| 08:14:08 | × | bhrgunatha quits (~bhrgunath@2001-b011-8011-6163-fde3-9a54-1125-48fe.dynamic-ip6.hinet.net) (Quit: Leaving) |
| 08:14:12 | → | hpc joins (~juzz@ip98-169-35-13.dc.dc.cox.net) |
| 08:15:48 | × | MidAutumnMoon quits (~MidAutumn@user/midautumnmoon) (Quit: Ping timeout (120 seconds)) |
| 08:17:38 | → | allbery_b joins (~geekosaur@069-135-003-034.biz.spectrum.com) |
| 08:19:04 | × | xandaros quits (~xandaros@user/xandaros) (Quit: WeeChat 3.1) |
| 08:20:14 | × | alex3 quits (~Chel@BSN-77-82-41.static.siol.net) (Ping timeout: 252 seconds) |
| 08:20:26 | → | autophagy joins (~mika@2a02:8109:8540:36a0::fccc) |
| 08:20:35 | → | bfrk joins (~Thunderbi@200116b845a103000156427e7b23f5f6.dip.versatel-1u1.de) |
| 08:20:40 | × | geekosaur quits (~geekosaur@069-135-003-034.biz.spectrum.com) (Ping timeout: 264 seconds) |
| 08:21:57 | → | ddellacosta joins (~ddellacos@86.106.121.36) |
| 08:22:31 | → | sondre joins (~sondrelun@eduroam-193-157-188-96.wlan.uio.no) |
| 08:23:57 | × | img quits (~img@2405:6580:b1c0:2500:94ef:e7f9:57a3:5892) (Quit: ZNC 1.8.1 - https://znc.in) |
| 08:24:13 | → | img joins (~img@2405:6580:b1c0:2500:94ef:e7f9:57a3:5892) |
| 08:24:16 | → | alex3 joins (~Chel@BSN-77-82-41.static.siol.net) |
| 08:25:33 | → | Boomerang joins (~Boomerang@xd520f68c.cust.hiper.dk) |
| 08:26:17 | × | ddellacosta quits (~ddellacos@86.106.121.36) (Ping timeout: 252 seconds) |
| 08:32:27 | × | dminuoso quits (~dminuoso@static.88-198-218-68.clients.your-server.de) (Changing host) |
| 08:32:27 | → | dminuoso joins (~dminuoso@user/dminuoso) |
| 08:35:35 | → | pe200012_ joins (~pe200012@119.131.208.84) |
| 08:36:00 | × | pe200012 quits (~pe200012@120.236.162.14) (Ping timeout: 265 seconds) |
| 08:37:28 | <tdammers> | bottoms are inevitable in a turing-complete language, aren't they |
| 08:37:40 | → | tonyz joins (~tonyz@user/tonyz) |
| 08:37:56 | <mniip> | 🥺 |
| 08:38:06 | ← | tonyz parts (~tonyz@user/tonyz) () |
| 08:38:27 | → | ddellacosta joins (~ddellacos@89.46.62.22) |
| 08:39:51 | → | turion joins (~turion@2a02:810d:8ac0:251e:e8a3:1701:9e78:7013) |
| 08:40:13 | × | haskman quits (~haskman@223.190.83.69) (Quit: Going to sleep. ZZZzzz…) |
| 08:41:12 | → | lcp joins (~hellcp@83.24.148.243.ipv4.supernova.orange.pl) |
| 08:41:22 | × | econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 08:43:19 | × | ddellacosta quits (~ddellacos@89.46.62.22) (Ping timeout: 272 seconds) |
| 08:43:28 | × | m_shiraeeshi quits (~shiraeesh@109.166.58.113) (Ping timeout: 264 seconds) |
| 08:44:37 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 08:48:03 | × | hnOsmium0001 quits (uid453710@id-453710.stonehaven.irccloud.com) (Quit: Connection closed for inactivity) |
| 08:49:41 | → | m_shiraeeshi joins (~shiraeesh@109.166.58.113) |
| 08:50:04 | × | MasterControl quits (~Master@238.140.4.85.dynamic.wline.res.cust.swisscom.ch) (Ping timeout: 264 seconds) |
| 08:52:14 | → | vonfry` joins (~user@240e:688:3:1010:d165:d0b6:b436:8121) |
| 08:52:42 | → | MidAutumnMoon joins (~MidAutumn@user/midautumnmoon) |
| 08:53:54 | × | vonfry quits (~user@240e:688:3:1010:d165:d0b6:b436:8121) (Read error: Connection reset by peer) |
| 08:55:24 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:b043:8b77:c7da:42a0) |
| 08:57:04 | → | ddellacosta joins (~ddellacos@86.106.121.82) |
| 08:59:42 | × | MidAutumnMoon quits (~MidAutumn@user/midautumnmoon) (Quit: Ping timeout (120 seconds)) |
| 09:00:03 | → | Torro joins (Torro@gateway/vpn/protonvpn/torro) |
| 09:00:18 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:b043:8b77:c7da:42a0) (Ping timeout: 264 seconds) |
| 09:01:30 | × | ddellacosta quits (~ddellacos@86.106.121.82) (Ping timeout: 264 seconds) |
| 09:03:39 | → | space-shell joins (~space-she@88.98.247.38) |
| 09:05:02 | <dminuoso> | /home/dminuoso/wobcom/projects/freyja/dist-newstyle/build/x86_64-linux/ghc-8.8.4/freyja-0.4.0.0/l/freyja-lib/noopt/build/freyja-lib/libHSfreyja-0.4.0.0-inplace-freyja-lib.a(IPUtils.o)(.text..LruUS_info+0x14): error: undefined reference to 'ipzm1zi7zi3zm4668157351bfd065b5138d0033c408000ad61c3db5993a261c8759c634d1374e_NetziIPv4_range_closure' |
| 09:05:08 | <dminuoso> | Linker errors! Do I get a prize? |
| 09:06:16 | <dminuoso> | Not bad, nuking dist-newstyle helped. |
| 09:08:51 | × | dunham quits (~dunham@97-113-50-142.tukw.qwest.net) (Ping timeout: 272 seconds) |
| 09:09:17 | → | MidAutumnMoon joins (~MidAutumn@user/midautumnmoon) |
| 09:10:53 | × | jjhoo quits (~jahakala@dsl-trebng21-b048b5-171.dhcp.inet.fi) (Quit: leaving) |
| 09:11:04 | → | jjhoo joins (jahakala@dsl-trebng21-b048b5-171.dhcp.inet.fi) |
| 09:14:12 | → | ddellacosta joins (~ddellacos@86.106.121.109) |
| 09:18:52 | × | ddellacosta quits (~ddellacos@86.106.121.109) (Ping timeout: 264 seconds) |
| 09:19:17 | → | endre joins (~endre@91-114-211-69.adsl.highway.telekom.at) |
| 09:19:30 | × | winter quits (~winter@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Ping timeout: 265 seconds) |
| 09:19:56 | → | hiptobecubic joins (~john@c-73-55-99-95.hsd1.fl.comcast.net) |
| 09:20:41 | → | dunham joins (~dunham@97-113-35-16.tukw.qwest.net) |
| 09:25:54 | → | holy_ joins (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) |
| 09:29:32 | → | haskman joins (~haskman@223.190.83.69) |
| 09:30:26 | × | vicfred quits (~vicfred@user/vicfred) (Quit: Leaving) |
| 09:30:56 | × | nckx quits (~nckx@tobias.gr) (Ping timeout: 272 seconds) |
| 09:31:11 | × | leeb quits (~leeb@2001:268:c082:ffba:425b:d8ff:fe03:4cd) (Ping timeout: 252 seconds) |
| 09:31:11 | × | space-shell quits (~space-she@88.98.247.38) (Quit: Connection closed) |
| 09:31:12 | → | albertodvp joins (~user@185.137.204.140) |
| 09:31:29 | → | ddellacosta joins (~ddellacos@86.106.121.100) |
| 09:31:34 | × | nsilv quits (~nsilv@212.103.198.210) (Quit: WeeChat 3.0.1) |
| 09:32:34 | × | jonathanclarke quits (~jonathanc@202-51-76-36.vianet.com.np) (Ping timeout: 264 seconds) |
| 09:32:42 | → | nsilv joins (~nsilv@37.163.54.40) |
| 09:33:11 | × | turion quits (~turion@2a02:810d:8ac0:251e:e8a3:1701:9e78:7013) (Quit: Leaving.) |
| 09:34:12 | ← | khs9ne parts (~xxwa@khs9ne.mempool.co) (Leaving) |
| 09:34:39 | × | da39a3ee5e6b4b0d quits (~textual@mx-ll-171.6.241-188.dynamic.3bb.co.th) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 09:36:05 | × | ddellacosta quits (~ddellacos@86.106.121.100) (Ping timeout: 272 seconds) |
| 09:38:57 | → | azeem joins (~azeem@dynamic-adsl-84-220-228-254.clienti.tiscali.it) |
| 09:39:15 | → | __monty__ joins (~toonn@user/toonn) |
| 09:40:57 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 09:41:21 | <tomsmeding> | nice symbol name |
| 09:41:32 | <taeaad> | Why are there so many people that code in Haskell these days? FB uses Haskell, who else? |
| 09:41:42 | <taeaad> | I can join off-topic maybe. |
| 09:43:48 | → | da39a3ee5e6b4b0d joins (~textual@2403:6200:8876:ee80:447b:c412:6cc3:c2bf) |
| 09:45:04 | <dminuoso> | I think it's quite ontop. |
| 09:45:26 | → | jonathanclarke joins (~jonathanc@103.10.31.4) |
| 09:45:34 | <dminuoso> | Whether "many use them" is debatable. |
| 09:45:36 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 265 seconds) |
| 09:45:44 | <dminuoso> | Oh. |
| 09:45:47 | <dminuoso> | The topic moved to offtopic. |
| 09:45:53 | <tomsmeding> | it did :) |
| 09:46:09 | <tomsmeding> | the topic is now off-topic |
| 09:46:22 | <dminuoso> | Although its quite ontopic. |
| 09:46:30 | <dminuoso> | It's offtopic for -offtopic. |
| 09:46:33 | <dminuoso> | :) |
| 09:47:22 | <Taneb> | Maybe it should be in #haskell-offtopic-offtopic |
| 09:47:58 | <tdammers> | wouldn't that just be #haskell, minus category theory jokes? |
| 09:48:56 | <dminuoso> | Why dont we have #cocohaskell, for extra category theory jokes? |
| 09:49:06 | × | imdoor quits (~imdoor@balticom-142-78-50.balticom.lv) (Quit: imdoor) |
| 09:49:29 | <Taneb> | A category theorist's favourite breakfast cereal is pops? |
| 09:50:27 | × | haskman quits (~haskman@223.190.83.69) (Ping timeout: 272 seconds) |
| 09:50:34 | × | ku quits (~ku@2601:280:c780:7ea0:8d75:13f2:a7bb:13b1) (Ping timeout: 264 seconds) |
| 09:50:38 | → | aez joins (~aez@zoo-zarebski.zoo.ox.ac.uk) |
| 09:52:02 | <tdammers> | I believe some also like fresh nuts |
| 09:52:47 | × | zegalch96 quits (~zegalch@178.128.75.133) (Remote host closed the connection) |
| 09:53:11 | → | tulushev joins (~textual@91.218.97.155) |
| 09:55:14 | → | o1lo01ol1o joins (~o1lo01ol1@cpe-74-72-45-166.nyc.res.rr.com) |
| 09:56:01 | × | tulushev quits (~textual@91.218.97.155) (Client Quit) |
| 09:56:29 | → | teehemkay joins (sid14792@id-14792.tooting.irccloud.com) |
| 09:56:42 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:b043:8b77:c7da:42a0) |
| 09:57:32 | × | hiptobecubic quits (~john@c-73-55-99-95.hsd1.fl.comcast.net) (Ping timeout: 244 seconds) |
| 09:59:51 | → | Scotty_Trees joins (~Scotty_Tr@162-234-179-169.lightspeed.brhmal.sbcglobal.net) |
| 10:00:09 | × | o1lo01ol1o quits (~o1lo01ol1@cpe-74-72-45-166.nyc.res.rr.com) (Ping timeout: 272 seconds) |
| 10:01:26 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:b043:8b77:c7da:42a0) (Ping timeout: 252 seconds) |
| 10:01:40 | × | buggy quits (~buggy@27.6.222.224) (Ping timeout: 244 seconds) |
| 10:03:06 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 10:04:32 | → | pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 10:06:04 | → | sciencentistguy joins (~sciencent@191.101.209.9) |
| 10:09:11 | → | ddellacosta joins (~ddellacos@89.46.62.36) |
| 10:10:28 | → | mstruebing joins (~maex@2001:41d0:8:93c7::1) |
| 10:10:29 | × | wei2912 quits (~wei2912@112.199.250.21) (Remote host closed the connection) |
| 10:11:11 | → | sshine joins (~simon@hubris.eta.solutions) |
| 10:12:08 | × | wallymathieu quits (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 10:12:40 | → | rahguzar joins (~rahguzar@dynamic-adsl-84-220-228-254.clienti.tiscali.it) |
| 10:12:57 | × | lemmih quits (~lemmih@2406:3003:2072:44:2433:3f59:2991:b388) (Remote host closed the connection) |
| 10:12:58 | → | dcoutts joins (~duncan@94.186.125.91.dyn.plus.net) |
| 10:13:15 | → | lemmih joins (~lemmih@2406:3003:2072:44:a0fb:4a2e:4541:1c1d) |
| 10:14:11 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 10:14:40 | × | ddellacosta quits (~ddellacos@89.46.62.36) (Ping timeout: 264 seconds) |
| 10:15:34 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 10:17:06 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 10:17:35 | × | azeem quits (~azeem@dynamic-adsl-84-220-228-254.clienti.tiscali.it) (Quit: Connection closed) |
| 10:17:43 | <arahael> | If this is "has kell", shouldn't we have a "no kell" channel? ;) |
| 10:18:19 | × | holy_ quits (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) (Ping timeout: 272 seconds) |
| 10:18:27 | → | azeem joins (~azeem@dynamic-adsl-84-220-228-254.clienti.tiscali.it) |
| 10:18:40 | <Taneb> | I've never had kell and if I did I would go to a doctor |
| 10:18:52 | × | Ranhir quits (~Ranhir@157.97.53.139) (Remote host closed the connection) |
| 10:20:03 | <opqdonut> | what did j say when h asked for a favour? "h, ask ell!" |
| 10:20:48 | <dminuoso> | Can we have a fork of GHC implementing Cohaskell? Here's the cotype of `fmap :: f b <- f a <- (b <- a) <= Functor f` |
| 10:21:37 | <dminuoso> | Could help with adoption in Arabic regions. |
| 10:21:50 | × | __monty__ quits (~toonn@user/toonn) (Quit: brb) |
| 10:22:12 | → | __monty__ joins (~toonn@user/toonn) |
| 10:22:20 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 244 seconds) |
| 10:22:35 | <boxscape> | shouldn't it be Contravariant f |
| 10:22:52 | <dminuoso> | boxscape: Nope! |
| 10:22:53 | × | __monty__ quits (~toonn@user/toonn) (Client Quit) |
| 10:22:55 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 10:23:06 | <dminuoso> | The dual of Functor is still.. functor. |
| 10:23:15 | <boxscape> | oh, right, that's why it's not a cofuncor |
| 10:23:19 | <boxscape> | s//t |
| 10:23:21 | <tomsmeding> | in co- arrows flip, right? So it would be `fmap :: f b -> f a -> (b -> a) => Functor f` |
| 10:23:33 | <sshine> | ɹoʇɔunℲ |
| 10:23:42 | <dminuoso> | tomsmeding: cunning. |
| 10:23:53 | → | __monty__ joins (~toonn@user/toonn) |
| 10:24:21 | → | ku joins (~ku@2601:280:c780:7ea0:8d75:13f2:a7bb:13b1) |
| 10:24:22 | <dminuoso> | but no |
| 10:24:25 | <kakuhen> | sshine: i propose that as the name for a contravariant functor |
| 10:24:40 | <kakuhen> | a ɹoʇɔunℲ C -> D being a functor C^op -> D |
| 10:24:45 | <tomsmeding> | dminuoso: Oh! I messed up the parens |
| 10:25:01 | <tomsmeding> | fmap :: f b -> (f a -> (b -> a)) => Functor f |
| 10:25:03 | <tomsmeding> | should be that |
| 10:25:12 | × | autophagy quits (~mika@2a02:8109:8540:36a0::fccc) (Changing host) |
| 10:25:12 | → | autophagy joins (~mika@user/autophagy) |
| 10:25:29 | <tomsmeding> | um |
| 10:25:33 | <dminuoso> | tomsmeding: well I intentionally set the parens the other way in my example, since I presumed all infixr and infixl to be flipped. |
| 10:25:49 | <tomsmeding> | fmap :: (f b -> f a) -> (b -> a) => Functor f, that |
| 10:25:56 | × | __monty__ quits (~toonn@user/toonn) (Client Quit) |
| 10:26:07 | <tomsmeding> | oh right maybe operator associativity is also flipped, hmm |
| 10:26:15 | × | kakuhen quits (~kakuhen@user/kakuhen) (Quit: Leaving...) |
| 10:26:16 | <tomsmeding> | perhaps this needs RFC discussion first |
| 10:26:21 | <dminuoso> | tomsmeding: Mmm, I just realized, this almost looks like a proof of `Functor f` |
| 10:26:42 | <boxscape> | `(f a -> f b) -> a -> b` almost feels like it could be the method for a reasonable class |
| 10:27:43 | <tomsmeding> | doesn't that hold exactly for all trivial newtypes or something |
| 10:27:50 | × | lcp quits (~hellcp@83.24.148.243.ipv4.supernova.orange.pl) (Quit: lcp) |
| 10:27:52 | <boxscape> | I guess that's just the dual of fmap? |
| 10:27:57 | <boxscape> | which would make it equivalent to fmap? |
| 10:28:03 | <boxscape> | maybe not |
| 10:28:08 | → | ddellacosta joins (~ddellacos@89.46.62.35) |
| 10:28:44 | <boxscape> | you certainly can't get a -> b from IO a -> IO b, so no |
| 10:28:47 | <dminuoso> | tomsmeding: Yeah. It sort of looks like a dictionary constructor. |
| 10:29:00 | <dminuoso> | That makes me wonder |
| 10:29:14 | <dminuoso> | Do we have the machinery to craft dictionaries if we have the individual members as values in our hands? |
| 10:29:21 | → | __monty__ joins (~toonn@user/toonn) |
| 10:29:28 | <boxscape> | yes, it's called unsafeCoerce |
| 10:29:38 | × | azeem quits (~azeem@dynamic-adsl-84-220-228-254.clienti.tiscali.it) (Quit: Connection closed) |
| 10:29:42 | <merijn> | dminuoso: reflection? |
| 10:29:54 | <merijn> | @hackage reflection |
| 10:29:54 | <lambdabot> | https://hackage.haskell.org/package/reflection |
| 10:30:13 | aez | is now known as zarebski |
| 10:30:17 | <dminuoso> | Mmm doesnt quite look like it |
| 10:31:16 | → | Ranhir joins (~Ranhir@157.97.53.139) |
| 10:31:27 | <boxscape> | can you ensure any callee would use your constructed dictionary rather than ghc trying to find a different one? |
| 10:31:45 | <boxscape> | considering it can usually assume coherent instances |
| 10:32:34 | × | ddellacosta quits (~ddellacos@89.46.62.35) (Ping timeout: 264 seconds) |
| 10:33:04 | <dminuoso> | Well dictionaries are passed explicitly in core |
| 10:33:43 | <boxscape> | (ooh, ((f a -> f b) -> a -> b) isn't the dual of fmap because the arrow in the middle doesn't get flipped when you look at the dual of a functor, got it) |
| 10:33:57 | <boxscape> | dminuoso sure lots of things are possible if you program directly in core |
| 10:34:03 | <dminuoso> | withDict :: HasDict c e => e -> (c => r) -> r |
| 10:34:24 | <dminuoso> | So the principle machinery to feed reified dicts already exists in `constraints` |
| 10:35:15 | <boxscape> | hmm I guess since it's polymorphic that might guarantee that the dictionary you supply to withDict is the one that's used |
| 10:35:22 | → | wallymathieu joins (~wallymath@81-234-151-21-no94.tbcn.telia.com) |
| 10:35:41 | × | poljar quits (~poljar@93-143-155-14.adsl.net.t-com.hr) (Remote host closed the connection) |
| 10:35:53 | <dminuoso> | Well, internally this is just pattern matching on `data Dict :: Constraint -> * where Dict :: a => Dict a` |
| 10:36:01 | <dminuoso> | So its still the constraint solver that does its magic |
| 10:36:05 | → | poljar joins (~poljar@93-139-119-30.adsl.net.t-com.hr) |
| 10:36:50 | → | yoctocell joins (~user@h87-96-130-155.cust.a3fiber.se) |
| 10:37:22 | <dminuoso> | I suppose the way to do what Im thinking, is simply newtypes |
| 10:37:45 | × | ubert quits (~Thunderbi@p200300ecdf259d7974882ed522245916.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 10:37:45 | ubert1 | is now known as ubert |
| 10:37:53 | <dminuoso> | That is, create a newtype, supply an instance, and then use stuff like coerce/ala/friends |
| 10:38:04 | → | ub joins (~Thunderbi@p200300ecdf259d7974882ed522245916.dip0.t-ipconnect.de) |
| 10:38:17 | × | nsilv quits (~nsilv@37.163.54.40) (Ping timeout: 265 seconds) |
| 10:40:42 | <Philonous_> | According to the haskell wiki. ByteStrings have 9 words overhead, why is that? As far as I can see it should 1 word for the constructor, 1 word for the unpacked Int (the length) and 1 for the ForeignPtr to the data |
| 10:40:56 | → | ubikium joins (~ubikium@113x43x248x70.ap113.ftth.arteria-hikari.net) |
| 10:42:37 | × | img quits (~img@2405:6580:b1c0:2500:94ef:e7f9:57a3:5892) (Quit: ZNC 1.8.1 - https://znc.in) |
| 10:42:54 | → | img joins (~img@2405:6580:b1c0:2500:94ef:e7f9:57a3:5892) |
| 10:43:36 | → | mikoto-chan joins (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) |
| 10:43:51 | × | smr quits (~smn@91-114-147-117.adsl.highway.telekom.at) (Ping timeout: 272 seconds) |
| 10:44:31 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 10:44:35 | → | tricklynch joins (~tricklync@216-180-94-57.starry-inc.net) |
| 10:44:44 | → | ddellacosta joins (~ddellacos@89.46.62.59) |
| 10:44:50 | → | __monty__ joins (~toonn@user/toonn) |
| 10:45:42 | → | Robin_Jadoul joins (~Robin_Jad@152.67.64.160) |
| 10:48:11 | × | ubikium quits (~ubikium@113x43x248x70.ap113.ftth.arteria-hikari.net) (Quit: Quit) |
| 10:48:13 | → | winter joins (~winter@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) |
| 10:49:21 | × | ddellacosta quits (~ddellacos@89.46.62.59) (Ping timeout: 272 seconds) |
| 10:49:57 | → | ccntrq joins (~ccntrq@business-90-187-183-141.pool2.vodafone-ip.de) |
| 10:50:50 | → | holy_ joins (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) |
| 10:54:04 | → | lavaman joins (~lavaman@98.38.249.169) |
| 10:54:24 | → | ubikium joins (~ubikium@113x43x248x70.ap113.ftth.arteria-hikari.net) |
| 10:55:08 | × | ubikium quits (~ubikium@113x43x248x70.ap113.ftth.arteria-hikari.net) (Client Quit) |
| 10:55:55 | → | ubikium joins (~ubikium@113x43x248x70.ap113.ftth.arteria-hikari.net) |
| 10:57:03 | → | tA joins (~thorn@121.220.36.168) |
| 10:58:12 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:b043:8b77:c7da:42a0) |
| 10:58:38 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 252 seconds) |
| 10:59:03 | → | dustingetz joins (~textual@pool-173-49-123-198.phlapa.fios.verizon.net) |
| 11:00:22 | → | imdoor joins (~imdoor@balticom-142-78-50.balticom.lv) |
| 11:01:25 | × | gawen quits (~gawen@user/gawen) (Quit: cya) |
| 11:01:28 | × | wallymathieu quits (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 11:02:08 | → | lcp joins (~hellcp@83.24.148.243.ipv4.supernova.orange.pl) |
| 11:02:29 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:b043:8b77:c7da:42a0) (Ping timeout: 252 seconds) |
| 11:02:31 | nf | is now known as cf |
| 11:02:37 | → | wallymathieu joins (~wallymath@81-234-151-21-no94.tbcn.telia.com) |
| 11:02:44 | → | epolanski joins (uid312403@id-312403.brockwell.irccloud.com) |
| 11:02:51 | → | gawen joins (~gawen@user/gawen) |
| 11:03:01 | → | ddellacosta joins (~ddellacos@89.46.62.65) |
| 11:03:26 | × | da39a3ee5e6b4b0d quits (~textual@2403:6200:8876:ee80:447b:c412:6cc3:c2bf) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 11:03:56 | <[exa]> | Philonous_: lazy or strict ones? I'd believe this could work with lazy ones. |
| 11:05:10 | × | gilligan quits (~gilligan@b2b-109-90-166-248.unitymedia.biz) (Remote host closed the connection) |
| 11:05:18 | → | da39a3ee5e6b4b0d joins (~textual@2403:6200:8876:ee80:d5a4:34e6:41e0:8f20) |
| 11:06:06 | → | YiChen joins (~user@222.94.45.136) |
| 11:07:46 | × | ddellacosta quits (~ddellacos@89.46.62.65) (Ping timeout: 265 seconds) |
| 11:09:20 | × | winter quits (~winter@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Quit: WeeChat 3.1) |
| 11:09:38 | × | tA quits (~thorn@121.220.36.168) (Ping timeout: 252 seconds) |
| 11:10:20 | → | YiChen` joins (~user@222.94.45.34) |
| 11:12:07 | × | YiChen quits (~user@222.94.45.136) (Ping timeout: 265 seconds) |
| 11:12:41 | × | wallymathieu quits (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 11:14:23 | × | ksqsf quits (~textual@67.209.186.120.16clouds.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 11:14:43 | × | ubikium quits (~ubikium@113x43x248x70.ap113.ftth.arteria-hikari.net) (Quit: Quit) |
| 11:14:56 | → | ubikium joins (~ubikium@113x43x248x70.ap113.ftth.arteria-hikari.net) |
| 11:15:21 | → | smr joins (~smn@91-114-147-117.adsl.highway.telekom.at) |
| 11:16:58 | × | urdh quits (~urdh@h88-129-148-132.cust.a3fiber.se) (Ping timeout: 264 seconds) |
| 11:18:06 | × | tricklynch quits (~tricklync@216-180-94-57.starry-inc.net) (Quit: Quit) |
| 11:19:12 | → | urdh joins (~urdh@h88-129-148-132.cust.a3fiber.se) |
| 11:19:57 | × | oxide quits (~lambda@user/oxide) (Ping timeout: 272 seconds) |
| 11:20:12 | × | holy_ quits (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) (Remote host closed the connection) |
| 11:20:33 | → | holy_ joins (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) |
| 11:21:18 | cf | is now known as nf |
| 11:21:25 | <dminuoso> | Philonous_: refer to http://blog.johantibell.com/2011/06/computing-size-of-hashmap.html |
| 11:21:43 | <dminuoso> | At first glance, it seems the 9 bytes is old. |
| 11:21:47 | <dminuoso> | *9 words |
| 11:22:30 | × | Gurkenglas quits (~Gurkengla@dslb-088-075-022-175.088.075.pools.vodafone-ip.de) (Ping timeout: 264 seconds) |
| 11:22:47 | → | oxide joins (~lambda@user/oxide) |
| 11:23:57 | <dminuoso> | Presumably bytestring got reworked, but the memory requirements table was not updated |
| 11:24:10 | × | urdh quits (~urdh@h88-129-148-132.cust.a3fiber.se) (Ping timeout: 264 seconds) |
| 11:24:24 | → | Megant joins (~kaitsu@user/megant) |
| 11:24:24 | ts1 | is now known as st |
| 11:24:56 | → | urdh joins (~urdh@h88-129-148-132.cust.a3fiber.se) |
| 11:26:15 | <dminuoso> | So judging from this, you're also off on your assumption about ForeignPtr, there's more than just an address in there |
| 11:27:45 | × | holy_ quits (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) (Remote host closed the connection) |
| 11:28:00 | → | holy_ joins (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) |
| 11:28:19 | → | agumonke` joins (~user@88.160.31.174) |
| 11:30:49 | × | holy_ quits (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) (Remote host closed the connection) |
| 11:30:59 | → | lavaman joins (~lavaman@98.38.249.169) |
| 11:31:55 | → | holy_ joins (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) |
| 11:32:07 | <dminuoso> | If my math isnt off, it seems a current ByteString has 8 bytes of overhead it created on the heap |
| 11:32:13 | <dminuoso> | plus the content |
| 11:32:23 | <dminuoso> | *8 words. |
| 11:32:25 | <dminuoso> | gosh |
| 11:33:07 | <Philonous_> | Right, they removed the offset |
| 11:33:15 | <kritzefitz> | Is it just me or is it kinda confusing that ForeignPtrs are freed by Haskell's (i.e. the “native”) garbage collector? |
| 11:34:18 | → | smitop joins (uid328768@user/smitop) |
| 11:34:30 | × | guest0123 quits (~aaron@2601:602:a080:fa0:745b:c700:b4c:aac3) (Ping timeout: 264 seconds) |
| 11:34:58 | × | ku quits (~ku@2601:280:c780:7ea0:8d75:13f2:a7bb:13b1) (Ping timeout: 264 seconds) |
| 11:35:34 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 11:37:03 | <adamse> | kritzefitz: what the gc does with the underlying storage depends a bit on what ForeignPtr you have right? |
| 11:38:12 | → | ddellacosta joins (~ddellacos@86.106.121.23) |
| 11:39:00 | <kritzefitz> | adamse, yeah, forget that said “freed”. I'm mostly bugged by the fact that ForeignPtrs are tracked by the garbage collector while non-foreign Ptrs aren't (apart from the pointer itself). |
| 11:40:27 | <dminuoso> | Well, isnt that the whole point of them? |
| 11:40:44 | × | lcp quits (~hellcp@83.24.148.243.ipv4.supernova.orange.pl) (Quit: lcp) |
| 11:40:52 | <dminuoso> | Or do you expect the finalizers to fire magically, without assistance? |
| 11:41:09 | → | hellcp joins (~hellcp@83.24.148.243.ipv4.supernova.orange.pl) |
| 11:41:45 | ← | hellcp parts (~hellcp@83.24.148.243.ipv4.supernova.orange.pl) () |
| 11:41:53 | <kritzefitz> | No, I just find the naming confusing. Like, both Ptrs but ForeignPtrs point to foreign data. I don't see how adding “Foreign” to the name signifies the tracking by the gc. |
| 11:42:25 | ← | YiChen` parts (~user@222.94.45.34) (ERC (IRC client for Emacs 28.0.50)) |
| 11:42:41 | <dminuoso> | The word foreign denotes that the memory region is, usually, managed by a foreign library. |
| 11:42:53 | → | danidiaz joins (~ESDPC@static-184-112-86-188.ipcom.comunitel.net) |
| 11:43:10 | <dminuoso> | Do you have a better prefix? |
| 11:43:22 | → | o1lo01ol1o joins (~o1lo01ol1@cpe-74-72-45-166.nyc.res.rr.com) |
| 11:43:27 | × | ddellacosta quits (~ddellacos@86.106.121.23) (Ping timeout: 244 seconds) |
| 11:43:49 | Philonous_ | is now known as Philonous |
| 11:44:24 | <kritzefitz> | Not sure, “GCTracked“ comes to mind, but it seems a bit verbose. |
| 11:44:53 | <opqdonut> | just call them Ptr and Qtr |
| 11:45:03 | <opqdonut> | supports later expansion to Otr and Rtr |
| 11:45:08 | <opqdonut> | or perhaps Ptr and Ptr' |
| 11:45:35 | <dminuoso> | Naming is hard. :) |
| 11:45:50 | <dminuoso> | Eventually you will always find a reason why a chosen name is bad. |
| 11:46:15 | <__monty__> | kritzefitz: But that suggests the memory region is managed by the GC, which isn't what happens right? |
| 11:47:01 | × | asthasr quits (~asthasr@162.210.29.120) (Quit: asthasr) |
| 11:47:57 | <dminuoso> | kritzefitz: Usually the intend is that ForeignPtr points towards memory owned/managed by a foreign (ffi) library. The GC interaction is just so finalizers back into FFI can be called whenever Haskell loses track of it. |
| 11:48:04 | <dminuoso> | Personally I find the name okay. |
| 11:48:16 | × | o1lo01ol1o quits (~o1lo01ol1@cpe-74-72-45-166.nyc.res.rr.com) (Ping timeout: 264 seconds) |
| 11:48:37 | <Philonous> | I think it's one of those things that could go both ways, like "safe" and "unsafe" ffi calls. We own the pointer but we have to call a foreign finalizer. |
| 11:51:31 | <kritzefitz> | I don't find the notion that a foreign library “owns” the memory region really useful. Ultimately the GC own no memory, the closest it gets is just borrowing it directly from the kernel. A ForeignPtr feels more native to me in that (usually) the GC decides how long it lives (assuming the finalizer actually causes the foreign libraty to free the memory). |
| 11:52:25 | → | avzorov joins (~textual@114.129.18.130) |
| 11:52:55 | <kritzefitz> | Whereas plain Ptrs feel much more foreign in some cases. For example, if we receive a pointer in a call from C to Haskell, we might have no control whatsoever over the lifetime of the memory, because the memory is entirely managed (allocated and freed) by the caller. |
| 11:53:29 | <dminuoso> | Ah, I think I see what you are getting at. |
| 11:53:59 | <dminuoso> | Then yeah, perhaps TrackedPtr would have been a better name. |
| 11:54:05 | <dminuoso> | Or FinalizingPtr |
| 11:54:17 | → | Brumaire joins (~quassel@81-64-14-121.rev.numericable.fr) |
| 11:54:41 | → | guest0123 joins (~aaron@2601:602:a080:fa0:3d68:2a1a:74b4:e9fa) |
| 11:55:05 | <opqdonut> | Ptr is just a pointer with no additional semantics, ForeingPtr is something like AllocatedRegion, right? |
| 11:55:13 | → | hughjfchen joins (~hughjfche@120.229.94.210) |
| 11:55:25 | → | ddellacosta joins (~ddellacos@89.46.62.112) |
| 11:55:30 | <dminuoso> | ForeignPtr is just a Ptr with finalizers attached to it |
| 11:56:24 | × | hughjfchen quits (~hughjfche@120.229.94.210) (Client Quit) |
| 11:56:55 | → | involans joins (~alex@cpc92718-cmbg20-2-0-cust157.5-4.cable.virginm.net) |
| 11:59:29 | <kritzefitz> | I don't even want to say that Ptrs are necessarily “more foreign” than ForeignPtrs. Ptrs just seems more general in both directions. The distinction between the two types seems orthogonal to their “foreignness” to me. |
| 11:59:50 | <kritzefitz> | I like FinalizingPtr. It seems really on point about their difference. |
| 12:00:29 | × | ddellacosta quits (~ddellacos@89.46.62.112) (Ping timeout: 272 seconds) |
| 12:01:00 | × | avzorov quits (~textual@114.129.18.130) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 12:01:52 | ← | involans parts (~alex@cpc92718-cmbg20-2-0-cust157.5-4.cable.virginm.net) (WeeChat 2.3) |
| 12:02:29 | × | ubikium quits (~ubikium@113x43x248x70.ap113.ftth.arteria-hikari.net) (Quit: Quit) |
| 12:04:06 | → | involans joins (~alex@cpc92718-cmbg20-2-0-cust157.5-4.cable.virginm.net) |
| 12:06:04 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 12:06:18 | → | o1lo01ol1o joins (~o1lo01ol1@cpe-74-72-45-166.nyc.res.rr.com) |
| 12:07:43 | × | zyzzyxdonta quits (~zyzzyxdon@p54bdfd77.dip0.t-ipconnect.de) (Quit: Leaving) |
| 12:08:59 | → | spirgel_ joins (spirgel@gateway/vpn/protonvpn/spirgel) |
| 12:10:54 | × | hmmmas quits (~chenqisu1@183.217.202.217) (Quit: Leaving.) |
| 12:11:40 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 12:12:19 | × | spirgel quits (spirgel@gateway/vpn/protonvpn/spirgel) (Ping timeout: 272 seconds) |
| 12:14:25 | → | ddellacosta joins (~ddellacos@86.106.121.40) |
| 12:15:18 | × | holy_ quits (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) (Ping timeout: 264 seconds) |
| 12:15:22 | → | fm joins (~fmeyer@p2e5339c6.dip0.t-ipconnect.de) |
| 12:15:56 | → | Toast52 joins (~Toast52@151.192.167.120) |
| 12:16:32 | ← | albertodvp parts (~user@185.137.204.140) (ERC (IRC client for Emacs 26.3)) |
| 12:17:17 | → | haskman joins (~haskman@106.212.143.206) |
| 12:17:33 | × | allbery_b quits (~geekosaur@069-135-003-034.biz.spectrum.com) (Ping timeout: 244 seconds) |
| 12:18:50 | → | wallymathieu joins (~wallymath@81-234-151-21-no94.tbcn.telia.com) |
| 12:18:52 | × | ddellacosta quits (~ddellacos@86.106.121.40) (Ping timeout: 264 seconds) |
| 12:22:33 | → | holy_ joins (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) |
| 12:25:37 | → | nsilv joins (~nsilv@212.103.198.210) |
| 12:28:44 | → | dut joins (~dut@user/dut) |
| 12:29:04 | → | geekosaur joins (~geekosaur@069-135-003-034.biz.spectrum.com) |
| 12:30:59 | × | sondre quits (~sondrelun@eduroam-193-157-188-96.wlan.uio.no) (Ping timeout: 244 seconds) |
| 12:31:51 | → | ddellacosta joins (~ddellacos@89.46.62.124) |
| 12:33:44 | → | sondre joins (~sondrelun@eduroam-193-157-188-96.wlan.uio.no) |
| 12:34:22 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 264 seconds) |
| 12:34:48 | → | alx741 joins (~alx741@186.178.109.84) |
| 12:35:21 | × | agumonke` quits (~user@88.160.31.174) (Remote host closed the connection) |
| 12:36:15 | → | Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 12:36:18 | × | ddellacosta quits (~ddellacos@89.46.62.124) (Ping timeout: 264 seconds) |
| 12:38:42 | × | sondre quits (~sondrelun@eduroam-193-157-188-96.wlan.uio.no) (Ping timeout: 264 seconds) |
| 12:41:34 | × | leotaku quits (~leotaku@046207185046.atmpu0030.highway.a1.net) (Ping timeout: 264 seconds) |
| 12:41:40 | → | favonia joins (~favonia@user/favonia) |
| 12:42:17 | → | Lycurgus joins (~juan@cpe-45-46-140-49.buffalo.res.rr.com) |
| 12:42:56 | × | xentripetal quits (~Core2634@2600:1700:7720:cf80:e5c9:ba10:fef:d134) (Quit: xentripetal) |
| 12:43:33 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:2343:c6dc:9eb2:eac7) (Quit: WeeChat 2.8) |
| 12:43:59 | → | ac[m] joins (~aloiscoch@2001:470:69fc:105::65) |
| 12:45:41 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 12:47:19 | → | sondre joins (~sondrelun@eduroam-193-157-188-96.wlan.uio.no) |
| 12:49:02 | × | o1lo01ol1o quits (~o1lo01ol1@cpe-74-72-45-166.nyc.res.rr.com) (Remote host closed the connection) |
| 12:49:26 | → | ddellacosta joins (~ddellacos@89.46.62.88) |
| 12:49:44 | × | ryantrinkle quits (~ryan@24.229.199.25.res-cmts.sm.ptd.net) (Ping timeout: 252 seconds) |
| 12:50:47 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:2343:c6dc:9eb2:eac7) |
| 12:52:10 | × | sondre quits (~sondrelun@eduroam-193-157-188-96.wlan.uio.no) (Ping timeout: 265 seconds) |
| 12:54:06 | × | ddellacosta quits (~ddellacos@89.46.62.88) (Ping timeout: 265 seconds) |
| 12:54:48 | → | FunctorPunk joins (~igloo@c-73-119-137-166.hsd1.ma.comcast.net) |
| 12:56:34 | × | rahguzar quits (~rahguzar@dynamic-adsl-84-220-228-254.clienti.tiscali.it) (Ping timeout: 264 seconds) |
| 12:57:06 | <maerwald> | you can tell github was bought by MS... it's starting to show random popups more frequently |
| 12:57:43 | → | ubikium joins (~ubikium@113x43x248x70.ap113.ftth.arteria-hikari.net) |
| 12:59:03 | <Toast52> | what kind of popups? |
| 12:59:04 | <siraben> | maerwald: hah, what kinds of popups |
| 12:59:20 | × | FunctorPunk quits (~igloo@c-73-119-137-166.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 12:59:21 | → | rahguzar joins (~rahguzar@dynamic-adsl-84-220-228-254.clienti.tiscali.it) |
| 12:59:24 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:b043:8b77:c7da:42a0) |
| 12:59:32 | <maerwald> | I dunno, sth about features I don't care about while I was trying to browse a file diff |
| 12:59:34 | → | caubert joins (~caubert@136.244.111.235) |
| 12:59:38 | → | brandonh joins (~brandonh@151.38.0.85) |
| 12:59:45 | rahguzar | is now known as Guest3637 |
| 12:59:49 | <maerwald> | and it wouldn't hide, until I click it away |
| 12:59:59 | <maerwald> | proper windows flair |
| 13:00:02 | × | Guest3637 quits (~rahguzar@dynamic-adsl-84-220-228-254.clienti.tiscali.it) (Client Quit) |
| 13:00:32 | → | ddellacosta joins (~ddellacos@86.106.121.75) |
| 13:00:49 | → | sondre joins (~sondrelun@eduroam-193-157-188-96.wlan.uio.no) |
| 13:01:40 | × | endre quits (~endre@91-114-211-69.adsl.highway.telekom.at) (Quit: brb) |
| 13:02:17 | → | rahguzar joins (~rahguzar@dynamic-adsl-84-220-228-254.clienti.tiscali.it) |
| 13:02:35 | × | roconnor quits (~roconnor@host-45-58-226-129.dyn.295.ca) (Quit: Konversation terminated!) |
| 13:03:06 | <dminuoso> | maerwald: Proper windows flair would be if you got popups suggesting you get an improved user experience if you browsed github with Edge. |
| 13:03:08 | <dminuoso> | :p |
| 13:03:37 | <maerwald> | I sent feedback telling them I don't want to feel as if I'm using windows |
| 13:04:10 | × | ub quits (~Thunderbi@p200300ecdf259d7974882ed522245916.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 13:04:24 | <maerwald> | bad enough I am currently using windows myself... now I get reminded of it when I browse github |
| 13:04:27 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:b043:8b77:c7da:42a0) (Ping timeout: 272 seconds) |
| 13:04:29 | <Toast52> | kek |
| 13:04:29 | → | ub joins (~Thunderbi@p200300ecdf259d7974882ed522245916.dip0.t-ipconnect.de) |
| 13:04:56 | × | ac[m] quits (~aloiscoch@2001:470:69fc:105::65) (Quit: node-irc says goodbye) |
| 13:05:17 | <Toast52> | speaking of windows I messed up my install pretty big time trying to probe into the install directory of the windows store apps |
| 13:06:40 | <Toast52> | feels bad |
| 13:07:04 | → | mceldeen joins (~igloo@71-33-209-141.hlrn.qwest.net) |
| 13:08:47 | <rahguzar> | Any idea how long it takes hackage-trustees to respond to an email requesting upload permission? |
| 13:09:42 | <rahguzar> | It is probably just me being impatient but I sent a one line email asking for them after creating an account and I would like to upload a package. |
| 13:10:37 | <dminuoso> | rahguzar: Hold on, is this a new package? |
| 13:10:45 | <dminuoso> | Or do you wish to take over maintainership of an abandoned package? |
| 13:10:52 | × | mceldeen quits (~igloo@71-33-209-141.hlrn.qwest.net) (Quit: Igloo IRC: https://iglooirc.com) |
| 13:11:07 | → | mceldeen joins (~igloo@71-33-209-141.hlrn.qwest.net) |
| 13:11:46 | <rahguzar> | Yes a new one |
| 13:12:21 | → | buggy joins (~buggy@27.6.222.224) |
| 13:12:43 | × | dwt_ quits (~dwt_@c-98-200-58-177.hsd1.tx.comcast.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 13:13:17 | → | roconnor_ joins (~roconnor@host-184-164-3-109.dyn.295.ca) |
| 13:13:22 | × | mceldeen quits (~igloo@71-33-209-141.hlrn.qwest.net) (Remote host closed the connection) |
| 13:13:49 | → | ac[m] joins (~aloiscoch@2001:470:69fc:105::65) |
| 13:14:02 | <zarebski> | Does anyone have a strong opinion about the gnuplot package? |
| 13:14:02 | <rahguzar> | dminuoso , something like fzf but with brick but it can be used as a limited library too |
| 13:14:18 | roconnor_ | is now known as roconnor |
| 13:14:31 | × | roconnor quits (~roconnor@host-184-164-3-109.dyn.295.ca) (Client Quit) |
| 13:14:55 | <zarebski> | Currently I have to jump over to R for visualisation but would much prefer to stay in haskell, have people found solutions to this? |
| 13:15:16 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 13:15:24 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 13:16:10 | gehmehgeh | is now known as gehmehgeh_ |
| 13:16:28 | gehmehgeh_ | is now known as gehmehgeh |
| 13:16:51 | → | mceldeen joins (~igloo@71-33-209-141.hlrn.qwest.net) |
| 13:17:22 | <dminuoso> | rahguzar: I dont think one needs explicit permission from hackage-trustees to upload to hackage. |
| 13:17:56 | → | zarak joins (~zarak@101.50.108.132) |
| 13:17:58 | zarak | is now known as z0k |
| 13:18:26 | <raehik> | dminuoso: I had to request permission when I uploaded a while back. recent-ish anti-spam policy I believe |
| 13:18:46 | <rahguzar> | dminuoso , onedoes, that is what it says in the account registration email. Send them an email to request permission to upload |
| 13:19:01 | × | pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.2-dev) |
| 13:19:38 | × | mceldeen quits (~igloo@71-33-209-141.hlrn.qwest.net) (Client Quit) |
| 13:19:48 | <raehik> | rahguzar: someone replied to me in a day |
| 13:19:52 | → | mceldeen joins (~igloo@71-33-209-141.hlrn.qwest.net) |
| 13:20:18 | <dminuoso> | Ah, indeed. |
| 13:20:19 | <raehik> | On Freenode, there used to be a #hackage-trustees channel or something. perhaps check in #hackage and #hackage-trustees here on libera ? |
| 13:21:05 | <rahguzar> | raehik , I guess I will wait another day and then maybe send a more detailed email |
| 13:21:48 | × | Mark_ quits (uid14803@user/mark/x-9597255) (Quit: Connection closed for inactivity) |
| 13:22:50 | <rahguzar> | raehik and thanks, the #hackage channel has some users and hopefully one of the trustees too so I will ask there |
| 13:23:01 | <raehik> | great! :) |
| 13:23:12 | → | FunctorPunk joins (~igloo@c-73-119-137-166.hsd1.ma.comcast.net) |
| 13:23:50 | → | hughjfchen joins (~hughjfche@120.229.94.210) |
| 13:24:07 | → | dwt_ joins (~dwt_@c-98-200-58-177.hsd1.tx.comcast.net) |
| 13:24:08 | × | FunctorPunk quits (~igloo@c-73-119-137-166.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 13:24:19 | × | hughjfchen quits (~hughjfche@120.229.94.210) (Client Quit) |
| 13:24:49 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 13:25:46 | → | Brighthammer joins (~Brightham@89.44.10.132) |
| 13:26:39 | → | roconnor joins (~roconnor@host-184-164-3-109.dyn.295.ca) |
| 13:26:42 | → | FunctorPunk joins (~igloo@c-73-119-137-166.hsd1.ma.comcast.net) |
| 13:26:45 | × | Brighthammer quits (~Brightham@89.44.10.132) (Client Quit) |
| 13:29:40 | → | ddellaco_ joins (~ddellacos@89.46.62.116) |
| 13:29:41 | × | FunctorPunk quits (~igloo@c-73-119-137-166.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 13:30:20 | → | FunctorPunk joins (~igloo@c-73-119-137-166.hsd1.ma.comcast.net) |
| 13:30:49 | × | FunctorPunk quits (~igloo@c-73-119-137-166.hsd1.ma.comcast.net) (Client Quit) |
| 13:30:54 | × | mceldeen quits (~igloo@71-33-209-141.hlrn.qwest.net) (Ping timeout: 264 seconds) |
| 13:30:56 | <maerwald> | sm: I got ansi escape codes working on windows: https://dpaste.com/3LVXDQBNU |
| 13:31:58 | <maerwald> | shameless rip-off of https://docs.rs/ansi_term/0.12.1/x86_64-pc-windows-msvc/src/ansi_term/windows.rs.html#10-61 |
| 13:33:00 | × | buggy quits (~buggy@27.6.222.224) (Quit: Lost terminal) |
| 13:33:35 | × | ddellacosta quits (~ddellacos@86.106.121.75) (Ping timeout: 272 seconds) |
| 13:35:18 | × | leah2 quits (~leah@vuxu.org) (Quit: trotz alledem!) |
| 13:35:39 | × | ddellaco_ quits (~ddellacos@89.46.62.116) (Quit: Leaving...) |
| 13:36:15 | → | leah2 joins (~leah@vuxu.org) |
| 13:36:36 | <maerwald> | but unicode chars don't seem to work correctly in the console |
| 13:36:46 | × | Franciman quits (~francesco@host-80-180-196-134.retail.telecomitalia.it) (Quit: Leaving) |
| 13:36:46 | <geekosaur> | chcp 65001 |
| 13:37:44 | <geekosaur> | sets the console to utf8 codepage |
| 13:38:06 | × | haskman quits (~haskman@106.212.143.206) (Quit: Going to sleep. ZZZzzz…) |
| 13:39:12 | → | Kevin578 joins (~Kevin578@pool-98-110-163-110.bstnma.fios.verizon.net) |
| 13:39:28 | → | FreeVariable joins (~FreeVaria@156.25.4.27) |
| 13:41:17 | → | o1lo01ol1o joins (~o1lo01ol1@cpe-74-72-187-2.nyc.res.rr.com) |
| 13:42:19 | <maerwald> | https://dev.to/mattn/please-stop-hack-chcp-65001-27db |
| 13:42:48 | × | roconnor quits (~roconnor@host-184-164-3-109.dyn.295.ca) (Quit: Konversation terminated!) |
| 13:44:16 | × | sajith quits (~sajith@marsh.hcoop.net) (Changing host) |
| 13:44:16 | → | sajith joins (~sajith@user/sajith) |
| 13:44:55 | <maerwald> | +RTS --io-manager=native seems to do somethng |
| 13:45:08 | <maerwald> | but that get stuck in powershell :) |
| 13:45:46 | × | o1lo01ol1o quits (~o1lo01ol1@cpe-74-72-187-2.nyc.res.rr.com) (Ping timeout: 264 seconds) |
| 13:47:01 | → | space-shell joins (~space-she@88.98.247.38) |
| 13:47:03 | <boxscape> | maerwald huh judging by that, it looks like the usual, expected state for Japanese windows is to display file paths (at least in cmd) with ¥ instead of \ |
| 13:47:25 | × | FreeVariable quits (~FreeVaria@156.25.4.27) (Quit: Connection closed) |
| 13:47:35 | <geekosaur> | no, that's reportedly what happens with chcp 65001 instead of the native Japanese codepage |
| 13:48:05 | <boxscape> | no, here he says it uses ¥ *before* calling chcp 65001 https://github.com/stedolan/jq/issues/1121 |
| 13:48:06 | <maerwald> | can you have default RTS options for an executable? |
| 13:48:35 | × | xff0x quits (~xff0x@2001:1a81:5398:5c00:c47d:75cc:a946:f749) (Ping timeout: 272 seconds) |
| 13:48:53 | <maerwald> | https://gitlab.haskell.org/ghc/ghc/-/issues/4471 suggests the correct fix is to just use the native window io manager indeed |
| 13:49:50 | → | xff0x joins (~xff0x@2001:1a81:53be:400:e35f:b79:8fb6:e57a) |
| 13:50:35 | <geekosaur> | that gives you a version constraint, I don't think 8.x has the native IO manager |
| 13:50:38 | <maerwald> | https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/runtime_control.html#rts-opts-compile-time |
| 13:50:41 | <maerwald> | geekosaur: correct |
| 13:51:00 | <maerwald> | I have a 9.0.1 version constraint anyway due to process and Win32 being ancient on 8.10 |
| 13:52:01 | × | yoctocell quits (~user@h87-96-130-155.cust.a3fiber.se) (Remote host closed the connection) |
| 13:52:17 | → | ddellacosta joins (~ddellacos@89.46.62.115) |
| 13:52:49 | → | ksqsf joins (~textual@67.209.186.120.16clouds.com) |
| 13:55:16 | → | piq9117 joins (~ken@pool-108-39-145-78.pitbpa.fios.verizon.net) |
| 13:55:28 | × | piq9117 quits (~ken@pool-108-39-145-78.pitbpa.fios.verizon.net) (Client Quit) |
| 13:56:25 | → | Gurkenglas joins (~Gurkengla@dslb-088-075-022-175.088.075.pools.vodafone-ip.de) |
| 13:59:05 | → | dunj3 joins (~dunj3@2001:16b8:3025:3200:19d0:6936:8815:415c) |
| 13:59:36 | → | slowButPresent joins (~slowButPr@user/slowbutpresent) |
| 13:59:40 | × | ubert quits (~Thunderbi@p200300ecdf259d79e6b318fffe838f33.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 13:59:40 | ub | is now known as ubert |
| 13:59:59 | → | ubert1 joins (~Thunderbi@p200300ecdf259d79e6b318fffe838f33.dip0.t-ipconnect.de) |
| 14:01:02 | × | xprlgjf quits (~gavin@60.27.93.209.dyn.plus.net) (Remote host closed the connection) |
| 14:02:50 | → | siraben` joins (~sirabenma@2001:470:69fc:105::5e) |
| 14:02:53 | × | SteelZeal quits (~SteelZeal@user/steelzeal) (Ping timeout: 252 seconds) |
| 14:03:14 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 14:03:42 | → | slack1256 joins (~slack1256@181.203.32.1) |
| 14:04:02 | → | nsilv-phone joins (~nsilv-pho@37.163.54.40) |
| 14:04:35 | → | xprlgjf joins (~gavin@60.27.93.209.dyn.plus.net) |
| 14:04:39 | × | Ranhir quits (~Ranhir@157.97.53.139) (Remote host closed the connection) |
| 14:06:59 | → | doublex joins (~doublex@2601:542:c480:6ee0:a5a3:1270:f9ea:4275) |
| 14:08:26 | → | frosch03 joins (~user@2a02:8070:7ab:1b00:397e:4353:be62:b47b) |
| 14:08:55 | × | frosch03 quits (~user@2a02:8070:7ab:1b00:397e:4353:be62:b47b) (Remote host closed the connection) |
| 14:11:54 | × | ukari quits (~ukari@user/ukari) (Remote host closed the connection) |
| 14:12:44 | → | ukari joins (~ukari@user/ukari) |
| 14:14:05 | × | pflanze quits (~pflanze@2001:1a88:19e:4500:24b7:a963:b85:697d) (Remote host closed the connection) |
| 14:14:07 | × | brandonh quits (~brandonh@151.38.0.85) (Quit: brandonh) |
| 14:14:49 | → | haskman joins (~haskman@106.212.143.206) |
| 14:15:05 | niko | is now known as o |
| 14:15:40 | → | o1lo01ol1o joins (~o1lo01ol1@cpe-74-72-187-2.nyc.res.rr.com) |
| 14:18:08 | × | Lycurgus quits (~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt) |
| 14:19:37 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 272 seconds) |
| 14:20:18 | × | siraben` quits (~sirabenma@2001:470:69fc:105::5e) (Quit: node-irc says goodbye) |
| 14:21:10 | → | yumaikas- joins (~yumaikas@c-73-14-132-194.hsd1.co.comcast.net) |
| 14:21:49 | × | siraben quits (~user@user/siraben) (Quit: switching to matrix) |
| 14:22:38 | → | allbery_b joins (~geekosaur@069-135-003-034.biz.spectrum.com) |
| 14:23:42 | × | geekosaur quits (~geekosaur@069-135-003-034.biz.spectrum.com) (Ping timeout: 264 seconds) |
| 14:23:54 | allbery_b | is now known as geekosaur |
| 14:23:58 | × | xprlgjf quits (~gavin@60.27.93.209.dyn.plus.net) (Remote host closed the connection) |
| 14:26:25 | → | rostero joins (uid236576@id-236576.tooting.irccloud.com) |
| 14:26:32 | × | z0k quits (~zarak@101.50.108.132) (Ping timeout: 252 seconds) |
| 14:26:44 | → | waleee joins (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
| 14:30:24 | → | lorxiu joins (~user@240e:3b1:2470:b600:bb:1c1e:4256:2) |
| 14:30:46 | × | smr quits (~smn@91-114-147-117.adsl.highway.telekom.at) (Ping timeout: 264 seconds) |
| 14:33:30 | → | siraben joins (~siraben@user/siraben) |
| 14:33:44 | × | Robin_Jadoul quits (~Robin_Jad@152.67.64.160) (Remote host closed the connection) |
| 14:35:32 | → | archbish joins (~archbish@vps-67389805.vps.ovh.net) |
| 14:35:36 | ← | archbish parts (~archbish@vps-67389805.vps.ovh.net) () |
| 14:36:52 | → | nckx joins (~nckx@tobias.gr) |
| 14:37:07 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 14:37:27 | → | mojobask joins (~user@95.155.34.8) |
| 14:37:30 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 14:39:13 | → | Ranhir joins (~Ranhir@157.97.53.139) |
| 14:39:18 | × | holy_ quits (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) (Ping timeout: 264 seconds) |
| 14:39:56 | → | vicentius joins (~vicentius@user/vicentius) |
| 14:41:37 | → | Robin_Jadoul joins (~Robin_Jad@152.67.64.160) |
| 14:41:51 | → | shapr joins (~user@pool-100-36-247-68.washdc.fios.verizon.net) |
| 14:42:15 | × | ramon quits (~ramon@user/ramon) (Quit: Konversation terminated!) |
| 14:42:22 | × | mojobask quits (~user@95.155.34.8) (Ping timeout: 265 seconds) |
| 14:42:36 | × | MidAutumnMoon quits (~MidAutumn@user/midautumnmoon) (Quit: Quit 啾) |
| 14:45:16 | → | favonia joins (~favonia@user/favonia) |
| 14:45:53 | × | ddellacosta quits (~ddellacos@89.46.62.115) (Remote host closed the connection) |
| 14:46:24 | → | MidAutumnMoon joins (~MidAutumn@user/midautumnmoon) |
| 14:46:28 | → | ddellacosta joins (~ddellacos@89.46.62.115) |
| 14:49:20 | <seeg> | does anyone know why I get this error in haddock: |
| 14:49:20 | <seeg> | parse error on input ‘-- | Adding new 'Children' score’ |
| 14:49:20 | <seeg> | the code looks like this: |
| 14:49:20 | <seeg> | -- Hence others lists lay around 0 score |
| 14:49:20 | <seeg> | addScorePatch fl (t, (NgramsPatch children' (Patch.Replace old_list new_list))) = |
| 14:49:21 | <seeg> | -- | Adding new 'Children' score |
| 14:50:25 | × | ubert quits (~Thunderbi@p200300ecdf259d7974882ed522245916.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 14:50:25 | ubert1 | is now known as ubert |
| 14:50:25 | → | ikex joins (~ash@user/ikex) |
| 14:50:36 | ← | lorxiu parts (~user@240e:3b1:2470:b600:bb:1c1e:4256:2) (ERC (IRC client for Emacs 28.0.50)) |
| 14:50:44 | → | ub joins (~Thunderbi@p200300ecdf259d7974882ed522245916.dip0.t-ipconnect.de) |
| 14:50:45 | <dminuoso> | seeg: -- | is a stanza for haddock decoration |
| 14:50:57 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:b043:8b77:c7da:42a0) |
| 14:51:05 | <dminuoso> | It's for stuff like the following (!) binding or constructor |
| 14:51:35 | <dminuoso> | Since syntactically an expression follows, rather than the definition of a constructor or a binding group, a parse error ensues. |
| 14:51:52 | × | betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Ping timeout: 264 seconds) |
| 14:52:50 | <seeg> | ah ok |
| 14:52:58 | <seeg> | so just '-- Adding ...' is enough? |
| 14:53:03 | <dminuoso> | Yes. |
| 14:53:06 | <seeg> | ok |
| 14:53:13 | <dminuoso> | seeg: https://haskell-haddock.readthedocs.io/en/latest/markup.html |
| 14:53:33 | <dminuoso> | Any of this markup triggers haddock. There you can find documentation on when which markup stanza is expected/allowed. |
| 14:53:49 | <seeg> | yes but this is about top-level definitions however this page doesn't say much about definitions inside functions :) |
| 14:54:14 | <seeg> | https://www.haskell.org/haddock/doc/html/ch03s02.html |
| 14:54:24 | <seeg> | but this is for function definition anyways |
| 14:54:33 | <dminuoso> | seeg: the documentation is not very good, admittedly |
| 14:54:46 | <seeg> | ok, i just try to add basic docs to a large codebase |
| 14:54:57 | × | haskman quits (~haskman@106.212.143.206) (Quit: Going to sleep. ZZZzzz…) |
| 14:55:03 | <seeg> | but thank you, error is gone now |
| 14:55:20 | <seeg> | and for commented out code like: |
| 14:55:21 | <seeg> | -- $ Set.toList |
| 14:55:27 | <seeg> | i guess it should be: |
| 14:55:27 | <seeg> | -- \$ Set.toList |
| 14:55:39 | → | holy_ joins (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) |
| 14:55:46 | <seeg> | btw docs don't say anything about -- $ so i didn't expect this to fail |
| 14:55:52 | <dminuoso> | They do |
| 14:55:55 | <seeg> | ah? |
| 14:55:57 | <dminuoso> | See named chunks |
| 14:56:07 | <seeg> | The following characters have special meanings in documentation comments: \, /, ', `, ", @, <. |
| 14:56:15 | <seeg> | ah ok |
| 14:56:18 | <dminuoso> | Like I said, the documentation is not very good. |
| 14:56:26 | <dminuoso> | You have to read it all to understand |
| 14:56:39 | <seeg> | ok i guess with this codebase i'll learn quite a bit :) |
| 14:57:24 | <dminuoso> | seeg: By the way, feel free to improve the haddock documentation along the way |
| 14:57:35 | <dminuoso> | So that the next unsuspecting user will stumble over the same steps. |
| 14:58:12 | <seeg> | i guess if it were all on one page then my search for '$' would point me here, somehow i missed this page |
| 14:58:20 | × | ukari quits (~ukari@user/ukari) (Remote host closed the connection) |
| 14:58:47 | <seeg> | well, i guess in similiary to a FAQ, a 'common errors' page could be nice |
| 14:59:00 | × | ddellacosta quits (~ddellacos@89.46.62.115) (Read error: Connection reset by peer) |
| 14:59:00 | <seeg> | i'll add a stub |
| 14:59:16 | <dminuoso> | seeg: https://github.com/haskell/haddock/tree/ghc-9.2/doc |
| 14:59:21 | → | ukari joins (~ukari@user/ukari) |
| 15:00:19 | <seeg> | error: object 2b07607c4562034359f52b42055f8d2af4721ca4: missingNameBeforeEmail: invalid author/committer line - missing space before email |
| 15:00:19 | <seeg> | cloning is problematic already :D |
| 15:01:01 | × | coot quits (~coot@37.30.49.19.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 15:01:13 | → | pricly_yellow joins (~pricly_ye@static.90.189.158.212.sinor.ru) |
| 15:01:31 | × | pricly_yellow quits (~pricly_ye@static.90.189.158.212.sinor.ru) (Remote host closed the connection) |
| 15:01:36 | <dminuoso> | huh |
| 15:01:57 | → | brandonh joins (~brandonh@151.38.94.3) |
| 15:02:07 | × | holy_ quits (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) (Remote host closed the connection) |
| 15:02:18 | → | pricly_yellow joins (~pricly_ye@static.90.189.158.212.sinor.ru) |
| 15:02:24 | → | holy_ joins (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) |
| 15:03:04 | <dminuoso> | You can set `fsck.missingNameBeforeEmail = ignore` is a hotfix I guess? But its awkward, I wonder whether you have an old git version |
| 15:03:26 | → | ddellacosta joins (~ddellacos@86.106.121.100) |
| 15:03:28 | <dminuoso> | Clones fine for me |
| 15:03:52 | <seeg> | i use arch, usually all packages are quite fresh |
| 15:04:22 | → | sedeki joins (~textual@user/sedeki) |
| 15:04:57 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:2343:c6dc:9eb2:eac7) (Ping timeout: 244 seconds) |
| 15:05:19 | <dminuoso> | Ah yes, I see the same warnings in `git fsck` |
| 15:05:30 | × | da39a3ee5e6b4b0d quits (~textual@2403:6200:8876:ee80:d5a4:34e6:41e0:8f20) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 15:05:56 | <dminuoso> | Perhaps those commits should be added to an fsck skiplist |
| 15:06:01 | → | mceldeen joins (~igloo@71-33-209-141.hlrn.qwest.net) |
| 15:06:39 | → | leotaku joins (~leotaku@046075079231.atmpu0011.highway.a1.net) |
| 15:07:59 | × | falsifian quits (~falsifian@cpef81d0f9cb2f3-cmf81d0f9cb2f0.cpe.net.fido.ca) (Quit: leaving) |
| 15:08:49 | × | ac[m] quits (~aloiscoch@2001:470:69fc:105::65) (Quit: node-irc says goodbye) |
| 15:08:49 | × | siraben quits (~siraben@user/siraben) (Quit: node-irc says goodbye) |
| 15:08:54 | × | MidAutumnMoon quits (~MidAutumn@user/midautumnmoon) (Quit: Quit 啾) |
| 15:09:15 | → | ac[m] joins (~aloiscoch@2001:470:69fc:105::65) |
| 15:09:15 | → | siraben joins (~siraben@user/siraben) |
| 15:09:31 | → | MidAutumnMoon joins (~MidAutumn@user/midautumnmoon) |
| 15:09:34 | × | mceldeen quits (~igloo@71-33-209-141.hlrn.qwest.net) (Remote host closed the connection) |
| 15:10:24 | <dminuoso> | seeg: But anyway, you can just configure the above fsck setting in your git config |
| 15:11:40 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 244 seconds) |
| 15:11:42 | → | ddellaco_ joins (~ddellacos@86.106.121.30) |
| 15:12:26 | <seeg> | ok thank you |
| 15:13:25 | → | favonia joins (~favonia@user/favonia) |
| 15:13:58 | × | ddellacosta quits (~ddellacos@86.106.121.100) (Ping timeout: 264 seconds) |
| 15:14:23 | o | is now known as niko |
| 15:14:55 | × | geekosaur quits (~geekosaur@069-135-003-034.biz.spectrum.com) (Ping timeout: 272 seconds) |
| 15:16:17 | → | reumeth joins (~joakim@2001:4652:9745:0:72c9:4eff:fea7:32ab) |
| 15:16:50 | → | geekosaur joins (~geekosaur@069-135-003-034.biz.spectrum.com) |
| 15:17:41 | → | haskman joins (~haskman@106.212.143.206) |
| 15:18:52 | × | Toast52 quits (~Toast52@151.192.167.120) (Ping timeout: 264 seconds) |
| 15:19:39 | × | hydroxonium quits (uid500654@stonehaven.irccloud.com) (Quit: Connection closed for inactivity) |
| 15:19:46 | → | SteelZeal joins (~SteelZeal@user/steelzeal) |
| 15:20:27 | → | Dynom joins (~niels@80-114-12-206.cable.dynamic.v4.ziggo.nl) |
| 15:20:56 | → | myShoggoth joins (~myShoggot@97-120-89-117.ptld.qwest.net) |
| 15:20:59 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 252 seconds) |
| 15:21:15 | × | sondre quits (~sondrelun@eduroam-193-157-188-96.wlan.uio.no) (Ping timeout: 272 seconds) |
| 15:21:58 | → | ryantrinkle joins (~ryan@static-108-30-103-121.nycmny.fios.verizon.net) |
| 15:22:04 | → | favonia joins (~favonia@user/favonia) |
| 15:23:17 | → | coot joins (~coot@37.30.49.19.nat.umts.dynamic.t-mobile.pl) |
| 15:27:18 | → | smr joins (~smn@91-114-147-117.adsl.highway.telekom.at) |
| 15:27:21 | → | pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 15:29:30 | × | reumeth quits (~joakim@2001:4652:9745:0:72c9:4eff:fea7:32ab) (Quit: reumeth) |
| 15:29:55 | × | ikex quits (~ash@user/ikex) (Ping timeout: 272 seconds) |
| 15:30:07 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 272 seconds) |
| 15:30:43 | → | favonia joins (~favonia@user/favonia) |
| 15:31:12 | → | mc47 joins (~yecinem@89.246.239.190) |
| 15:31:25 | × | smr quits (~smn@91-114-147-117.adsl.highway.telekom.at) (Client Quit) |
| 15:31:40 | × | fabfianda quits (~fabfianda@net-93-148-125-174.cust.vodafonedsl.it) (Ping timeout: 265 seconds) |
| 15:32:32 | → | fabfianda joins (~fabfianda@mob-5-90-250-59.net.vodafone.it) |
| 15:33:34 | → | pe200012 joins (~pe200012@119.131.208.84) |
| 15:33:55 | × | pe200012_ quits (~pe200012@119.131.208.84) (Ping timeout: 272 seconds) |
| 15:35:17 | × | holy_ quits (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) (Remote host closed the connection) |
| 15:35:43 | → | holy_ joins (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) |
| 15:38:05 | → | ddellacosta joins (~ddellacos@86.106.121.100) |
| 15:38:21 | × | ddellaco_ quits (~ddellacos@86.106.121.30) (Ping timeout: 272 seconds) |
| 15:38:26 | × | vicentius quits (~vicentius@user/vicentius) (Ping timeout: 265 seconds) |
| 15:38:34 | → | turion joins (~turion@2a02:810d:8ac0:251e:e8a3:1701:9e78:7013) |
| 15:39:12 | × | turion quits (~turion@2a02:810d:8ac0:251e:e8a3:1701:9e78:7013) (Client Quit) |
| 15:40:02 | → | reumeth joins (~joakim@2001:4652:9745:0:72c9:4eff:fea7:32ab) |
| 15:40:36 | × | holy_ quits (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) (Ping timeout: 244 seconds) |
| 15:41:33 | → | turion joins (~turion@2a02:810d:8ac0:251e:e8a3:1701:9e78:7013) |
| 15:41:58 | × | turion quits (~turion@2a02:810d:8ac0:251e:e8a3:1701:9e78:7013) (Client Quit) |
| 15:42:58 | → | sondre joins (~sondrelun@cm-84.212.100.140.getinternet.no) |
| 15:43:13 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 15:43:22 | × | imdoor quits (~imdoor@balticom-142-78-50.balticom.lv) (Quit: imdoor) |
| 15:43:43 | → | ddellaco_ joins (~ddellacos@89.46.62.122) |
| 15:44:23 | → | dr_spaceman joins (~dr_spacem@user/dr-spaceman/x-5682504) |
| 15:45:53 | × | ccntrq quits (~ccntrq@business-90-187-183-141.pool2.vodafone-ip.de) (Remote host closed the connection) |
| 15:46:17 | × | ddellacosta quits (~ddellacos@86.106.121.100) (Ping timeout: 244 seconds) |
| 15:46:34 | × | qbt quits (~edun@user/edun) (Quit: WeeChat 3.1) |
| 15:46:39 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 15:46:46 | → | Toast52 joins (~Toast52@151.192.167.120) |
| 15:47:16 | → | lbseale joins (~lbseale@ip72-194-54-201.sb.sd.cox.net) |
| 15:48:52 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 244 seconds) |
| 15:49:01 | → | imdoor joins (~imdoor@balticom-142-78-50.balticom.lv) |
| 15:49:16 | → | favonia joins (~favonia@user/favonia) |
| 15:49:45 | × | guest0123 quits (~aaron@2601:602:a080:fa0:3d68:2a1a:74b4:e9fa) (Ping timeout: 272 seconds) |
| 15:49:57 | × | sedeki quits (~textual@user/sedeki) (Quit: Textual IRC Client: www.textualapp.com) |
| 15:51:29 | <siers> | if I grow the heap to 1G more and then I don't need it later, will the process's used memory shrink later? |
| 15:51:54 | → | hnOsmium0001 joins (uid453710@id-453710.stonehaven.irccloud.com) |
| 15:51:58 | → | z0k joins (~z0k@101.50.108.132) |
| 15:52:12 | → | xkapastel joins (uid17782@id-17782.tinside.irccloud.com) |
| 15:52:13 | × | imdoor quits (~imdoor@balticom-142-78-50.balticom.lv) (Client Quit) |
| 15:52:23 | <siers> | seems so, yes "By default, the heap will start small, and grow and shrink as necessary." https://downloads.haskell.org/~ghc/7.0.1/docs/html/users_guide/runtime-control.html |
| 15:52:53 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
| 15:53:39 | <c_wraith> | shrinking can be hit-or-miss |
| 15:54:03 | <c_wraith> | I know recent versions of GHC have done some work in how they arrange things to make it work more often |
| 15:57:32 | <c_wraith> | on the other hand, recent versions of (64-bit linux) ghc will ask the OS to set aside 1TB for their heap at startup anyway |
| 15:57:47 | × | Jon quits (jon@dow.land) (Remote host closed the connection) |
| 15:58:10 | × | lisq quits (~quassel@lis.moe) (Remote host closed the connection) |
| 15:58:21 | → | Jon joins (jon@dow.land) |
| 15:58:34 | <c_wraith> | top is telling me ghci is using 1024.3 GB of virtual memory |
| 15:59:05 | <Rembane> | Same here. I interpret that as a practical joke. |
| 15:59:17 | → | lisq joins (~quassel@lis.moe) |
| 15:59:33 | <c_wraith> | ghc takes advantage of linux overcommit to max effect |
| 16:00:03 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:b043:8b77:c7da:42a0) (Remote host closed the connection) |
| 16:01:01 | × | myShoggoth quits (~myShoggot@97-120-89-117.ptld.qwest.net) (Read error: Connection reset by peer) |
| 16:01:17 | → | timsears_ joins (sid501726@id-501726.highgate.irccloud.com) |
| 16:01:19 | → | myShoggoth joins (~myShoggot@97-120-89-117.ptld.qwest.net) |
| 16:02:12 | <c_wraith> | I believe it uses that space for independent arenas for each size of small object, so that it never needs to deal with logically fragmenting its memory space with small objects. Large objects are another story. |
| 16:02:18 | → | Deide joins (~Deide@wire.desu.ga) |
| 16:02:18 | × | Deide quits (~Deide@wire.desu.ga) (Changing host) |
| 16:02:18 | → | Deide joins (~Deide@user/deide) |
| 16:02:38 | × | nsilv quits (~nsilv@212.103.198.210) (Quit: WeeChat 3.0.1) |
| 16:02:39 | × | timsears_ quits (sid501726@id-501726.highgate.irccloud.com) (Client Quit) |
| 16:03:12 | → | T_S_ joins (sid501726@id-501726.highgate.irccloud.com) |
| 16:03:17 | → | ScriptDevil joins (~ScriptDev@202.164.25.5) |
| 16:03:18 | <monochrom> | resident size is a much better measure |
| 16:03:23 | ← | ScriptDevil parts (~ScriptDev@202.164.25.5) () |
| 16:04:09 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 16:05:35 | × | xff0x quits (~xff0x@2001:1a81:53be:400:e35f:b79:8fb6:e57a) (Ping timeout: 272 seconds) |
| 16:06:03 | → | xff0x joins (~xff0x@2001:1a81:53be:400:1c90:d6e6:3f17:edb2) |
| 16:06:39 | → | holy_ joins (~h01y_b4z0@103.244.176.36) |
| 16:07:03 | <boxscape> | (Foo, Foo, [Foo]) or (Foo, NonEmpty Foo)? Or is there a better alternative? (Aside from Vec (S (S n)) Foo) |
| 16:07:33 | × | timsears quits (uid501726@id-501726.highgate.irccloud.com) () |
| 16:07:43 | <boxscape> | (to signify a list with at least 2 elements) |
| 16:08:50 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
| 16:09:26 | → | machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 16:10:01 | → | Guest7447 joins (~Guest74@103.78.167.55) |
| 16:10:38 | ac | is now known as alois |
| 16:11:30 | alois | is now known as ac |
| 16:12:50 | × | amk quits (~amk@176.61.106.150) (Read error: Connection reset by peer) |
| 16:12:58 | × | T_S_ quits (sid501726@id-501726.highgate.irccloud.com) () |
| 16:13:01 | → | amk joins (~amk@176.61.106.150) |
| 16:13:50 | × | boxscape quits (~boxscape@user/boxscape) (Quit: Connection closed) |
| 16:14:08 | → | TS joins (sid501726@id-501726.highgate.irccloud.com) |
| 16:14:14 | → | boxscape joins (~boxscape@user/boxscape) |
| 16:14:24 | × | epolanski quits (uid312403@id-312403.brockwell.irccloud.com) (Quit: Connection closed for inactivity) |
| 16:14:25 | → | MasterControl joins (~Master@238.140.4.85.dynamic.wline.res.cust.swisscom.ch) |
| 16:15:16 | × | relrod quits (~relrod@user/relrod) (Changing host) |
| 16:15:16 | → | relrod joins (~relrod@ansible/staff/relrod) |
| 16:15:35 | → | comradecow joins (~a0ee4aa7@ircip2.mibbit.com) |
| 16:16:38 | <comradecow> | monochrom: I am not one whom you are thinking and don't be an old idiot to ban in libera network because you assume I am a troll from freenode. |
| 16:16:50 | <comradecow> | even if I am |
| 16:16:58 | <comradecow> | you shouldn't do that |
| 16:17:50 | × | TS quits (sid501726@id-501726.highgate.irccloud.com) (Client Quit) |
| 16:18:06 | → | TDS_ joins (sid501726@id-501726.highgate.irccloud.com) |
| 16:18:42 | × | TDS_ quits (sid501726@id-501726.highgate.irccloud.com) (Client Quit) |
| 16:19:20 | → | T_S_ joins (sid501726@id-501726.highgate.irccloud.com) |
| 16:20:24 | × | Guest7447 quits (~Guest74@103.78.167.55) (Ping timeout: 250 seconds) |
| 16:21:19 | × | space-shell quits (~space-she@88.98.247.38) (Quit: Connection closed) |
| 16:22:46 | → | Guest9449 joins (~Guest9449@103.78.167.55) |
| 16:23:20 | × | dr_spaceman quits (~dr_spacem@user/dr-spaceman/x-5682504) (Remote host closed the connection) |
| 16:23:28 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 16:24:06 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 16:25:12 | → | T_S__ joins (sid501726@id-501726.highgate.irccloud.com) |
| 16:25:16 | → | moet joins (~moet@172.58.38.218) |
| 16:25:26 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.0.1) |
| 16:25:48 | → | ccntrq joins (~ccntrq@dynamic-077-008-079-078.77.8.pool.telefonica.de) |
| 16:26:00 | → | spirgel joins (spirgel@gateway/vpn/protonvpn/spirgel) |
| 16:26:09 | → | Guest944973 joins (~Guest9449@103.78.167.55) |
| 16:27:00 | × | lisq quits (~quassel@lis.moe) (Quit: lisq) |
| 16:27:14 | → | lisq joins (~quassel@lis.moe) |
| 16:27:42 | × | holy_ quits (~h01y_b4z0@103.244.176.36) (Remote host closed the connection) |
| 16:28:09 | → | holy_ joins (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) |
| 16:29:27 | × | spirgel_ quits (spirgel@gateway/vpn/protonvpn/spirgel) (Ping timeout: 272 seconds) |
| 16:29:56 | × | Guest9449 quits (~Guest9449@103.78.167.55) (Ping timeout: 250 seconds) |
| 16:31:22 | → | lavaman joins (~lavaman@98.38.249.169) |
| 16:31:40 | <tomsmeding> | boxscape: data List2 a = List2 a a [a], and implement the instances you need |
| 16:31:45 | × | ukari quits (~ukari@user/ukari) (Remote host closed the connection) |
| 16:31:56 | <boxscape> | hm yeah that makes sense |
| 16:31:57 | <tomsmeding> | e.g. IsList |
| 16:31:59 | <tomsmeding> | :) |
| 16:32:55 | → | ukari joins (~ukari@user/ukari) |
| 16:33:16 | → | blurgy joins (~blurgy@blurgy.xyz) |
| 16:34:05 | × | rahguzar quits (~rahguzar@dynamic-adsl-84-220-228-254.clienti.tiscali.it) (Ping timeout: 272 seconds) |
| 16:34:16 | × | Guest944973 quits (~Guest9449@103.78.167.55) (Ping timeout: 250 seconds) |
| 16:34:21 | <boxscape> | ty |
| 16:34:51 | × | Toast52 quits (~Toast52@151.192.167.120) (Read error: Connection reset by peer) |
| 16:36:16 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 264 seconds) |
| 16:36:53 | → | EvanR joins (~evan@user/evanr) |
| 16:37:22 | → | winter joins (~winter@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) |
| 16:38:14 | → | fresheyeball joins (~fresheyeb@c-71-237-105-37.hsd1.co.comcast.net) |
| 16:38:17 | → | Mark_ joins (uid14803@user/mark/x-9597255) |
| 16:40:33 | × | fresheyeball quits (~fresheyeb@c-71-237-105-37.hsd1.co.comcast.net) (Client Quit) |
| 16:41:44 | <EvanR> | RIP #haskell on freenode :( |
| 16:41:49 | <EvanR> | invite only |
| 16:42:10 | × | nschoe quits (~quassel@178.251.84.79) (Ping timeout: 264 seconds) |
| 16:42:48 | × | werneta_ quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection) |
| 16:43:46 | <maerwald> | not sure why anyone would still bother with freenode |
| 16:44:13 | × | Tomurb quits (~tom@158.194.92.121) (Ping timeout: 272 seconds) |
| 16:44:20 | → | pavonia joins (~user@user/siracusa) |
| 16:45:33 | × | dy quits (~dy@user/dy) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 16:46:10 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 16:46:16 | <EvanR> | "this channel's name is in violation of the channel naming policy" wtf |
| 16:48:19 | × | Torro quits (Torro@gateway/vpn/protonvpn/torro) (Quit: bye) |
| 16:49:02 | × | pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.2-dev) |
| 16:50:34 | × | cdsmithus quits (~cdsmithus@c-73-184-127-183.hsd1.ga.comcast.net) (Ping timeout: 264 seconds) |
| 16:50:38 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
| 16:51:18 | × | nsilv-phone quits (~nsilv-pho@37.163.54.40) (Ping timeout: 264 seconds) |
| 16:52:02 | → | nsilv-phone joins (~nsilv-pho@host-82-50-119-12.retail.telecomitalia.it) |
| 16:54:57 | × | holy_ quits (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) (Remote host closed the connection) |
| 16:55:15 | → | holy_ joins (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) |
| 16:55:40 | → | xwx joins (~george@user/george) |
| 16:55:58 | → | sheepduck joins (~sheepduck@2607:fea8:2a60:b700::5d55) |
| 16:56:03 | ac[m] | is now known as alois[m] |
| 16:57:09 | → | chocabloc joins (~chocabloc@223.189.218.148) |
| 16:57:17 | × | siraben quits (~siraben@user/siraben) (Quit: node-irc says goodbye) |
| 16:57:17 | × | alois[m] quits (~aloiscoch@2001:470:69fc:105::65) (Quit: node-irc says goodbye) |
| 16:57:21 | <chocabloc> | hi there |
| 16:57:25 | <chocabloc> | im new to haskell |
| 16:58:10 | <chocabloc> | what are the best resources to learn it |
| 16:58:17 | × | immibis quits (~immibis@62.156.144.218) (Remote host closed the connection) |
| 16:58:40 | → | immibis joins (~immibis@62.156.144.218) |
| 16:59:09 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 16:59:35 | <edwardk> | EvanR: there's a tiny ##haskell, but its mostly a refuge for folks til matrix support turns on here |
| 16:59:52 | <xwx> | [] is the type constructor for lists and has kind * -> *, how can i express the type constructor for a list of lists, which also has kind * -> *? |
| 17:00:04 | → | ddellacosta joins (~ddellacos@86.106.121.27) |
| 17:00:14 | <EvanR> | thanks everyone for doing this move and not really lingers on the old network |
| 17:00:20 | <EvanR> | lingering |
| 17:00:20 | <xwx> | at the moment i'm using newtype LL a = LL {unLL :: [[a]]} |
| 17:00:25 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:b043:8b77:c7da:42a0) |
| 17:00:36 | <xwx> | and using LL as the type constructor, is there a nicer way? |
| 17:01:04 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 17:01:29 | <xwx> | chocabloc: http://learnyouahaskell.com/ is a good resource in my opinion, although not everyone would agree |
| 17:01:30 | → | siraben joins (~siraben@user/siraben) |
| 17:01:40 | → | ac[m] joins (~aloiscoch@2001:470:69fc:105::65) |
| 17:01:57 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 17:02:18 | → | econo joins (uid147250@user/econo) |
| 17:03:24 | <EvanR> | Though it might be a bit old there's still https://www.haskell.org/tutorial/ |
| 17:03:35 | <EvanR> | I used it |
| 17:03:39 | × | ddellaco_ quits (~ddellacos@89.46.62.122) (Ping timeout: 272 seconds) |
| 17:04:25 | <chocabloc> | i see, thanks |
| 17:04:49 | <chocabloc> | what would you say about "The Simple Haskell Handbook"? |
| 17:05:06 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:b043:8b77:c7da:42a0) (Ping timeout: 264 seconds) |
| 17:05:16 | × | xacktm quits (xacktm@user/xacktm) (Remote host closed the connection) |
| 17:05:24 | × | haskman quits (~haskman@106.212.143.206) (Quit: Going to sleep. ZZZzzz…) |
| 17:05:47 | <sclv> | chocabloc: there was just a thread on reddit about this! https://www.reddit.com/r/haskell/comments/nlpxjw/anyone_read_the_simple_haskell_handbook_and_can/ |
| 17:06:04 | <sclv> | also there's a fairly big list of books and docs you can explore on the main website |
| 17:06:05 | <sclv> | @where docs |
| 17:06:05 | <lambdabot> | https://www.haskell.org/documentation/ |
| 17:06:09 | <lbseale> | chocabloc: This youtube video series really helped me learn https://www.youtube.com/watch?v=Vgu82wiiZ90&list=PLe7Ei6viL6jGp1Rfu0dil1JH1SHk9bgDV |
| 17:06:46 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds) |
| 17:06:58 | <chocabloc> | thanks, thats very helpful |
| 17:07:08 | × | holy_ quits (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) (Ping timeout: 252 seconds) |
| 17:07:17 | ac[m] | is now known as alois |
| 17:07:28 | → | sifu joins (~marek@219.244.200.146.dyn.plus.net) |
| 17:07:31 | → | rahguzar joins (~rahguzar@dynamic-adsl-84-220-228-254.clienti.tiscali.it) |
| 17:07:43 | <lbseale> | also this video was nice to just get started writing code: https://www.youtube.com/watch?v=02_H3LjqMr8 |
| 17:08:21 | <ddellacosta> | are we talking about what good Haskell learning resources are? I gotta call out Graham Hutton's Programnming in Haskell, definitely worth checking out http://www.cs.nott.ac.uk/~pszgmh/pih.html |
| 17:08:32 | <ddellacosta> | I think that's listed in the haskell reddit actually |
| 17:09:55 | → | qbt joins (~edun@user/edun) |
| 17:10:06 | <zarebski> | graham hutton also has a series of video lectures on youtube for haskell which look good |
| 17:10:24 | <zarebski> | https://www.youtube.com/channel/UCBDp7ydYTHi1dh4Gnf3VTPA |
| 17:11:54 | → | mojvei joins (~mojvei@user/mojvei) |
| 17:11:58 | ← | mojvei parts (~mojvei@user/mojvei) (WeeChat 2.3) |
| 17:13:55 | × | dut quits (~dut@user/dut) (Quit: Leaving) |
| 17:14:12 | × | zarebski quits (~aez@zoo-zarebski.zoo.ox.ac.uk) (Quit: WeeChat 3.0) |
| 17:14:37 | ac | is now known as ac[irc] |
| 17:14:58 | alois | is now known as ac |
| 17:15:13 | → | lavaman joins (~lavaman@98.38.249.169) |
| 17:16:06 | → | xacktm joins (xacktm@user/xacktm) |
| 17:20:20 | → | Lycurgus joins (~juan@cpe-45-46-140-49.buffalo.res.rr.com) |
| 17:20:20 | × | myShoggoth quits (~myShoggot@97-120-89-117.ptld.qwest.net) (Ping timeout: 252 seconds) |
| 17:20:29 | → | haskman joins (~haskman@106.212.143.206) |
| 17:21:51 | × | brandonh quits (~brandonh@151.38.94.3) (Quit: brandonh) |
| 17:22:52 | <tomsmeding> | xwx: you can't do much better than your LL |
| 17:23:56 | <tomsmeding> | to remove the requirement for a separate newtype, you'd need a kind of "type-level lambda", looking something like "\a -> [[a]]", but Haskell doesn't currently support that |
| 17:24:27 | × | MasterControl quits (~Master@238.140.4.85.dynamic.wline.res.cust.swisscom.ch) (Ping timeout: 244 seconds) |
| 17:24:36 | × | ksqsf quits (~textual@67.209.186.120.16clouds.com) (Remote host closed the connection) |
| 17:25:37 | × | rostero quits (uid236576@id-236576.tooting.irccloud.com) (Quit: Connection closed for inactivity) |
| 17:25:45 | <xwx> | tomsmeding: ah cool, thanks |
| 17:26:01 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:b043:8b77:c7da:42a0) |
| 17:27:09 | <tomsmeding> | xwx: what do you need it for? |
| 17:27:52 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 17:28:23 | → | MasterControl joins (~Master@238.140.4.85.dynamic.wline.res.cust.swisscom.ch) |
| 17:30:23 | × | ub quits (~Thunderbi@p200300ecdf259d7974882ed522245916.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 17:30:42 | → | ub joins (~Thunderbi@p200300ecdf259d7974882ed522245916.dip0.t-ipconnect.de) |
| 17:30:55 | → | riku joins (~riku@136.37.120.69) |
| 17:30:56 | <maerwald> | anyone has experience with the retry package and what's a good retry policy to e.g. remove files on windows? |
| 17:31:10 | → | y04nn joins (~y04nn@185.204.1.208) |
| 17:31:46 | × | chocabloc quits (~chocabloc@223.189.218.148) (Read error: Connection reset by peer) |
| 17:32:26 | × | sheepduck quits (~sheepduck@2607:fea8:2a60:b700::5d55) (Ping timeout: 252 seconds) |
| 17:32:47 | → | ksqsf joins (~textual@67.209.186.120.16clouds.com) |
| 17:32:52 | <maerwald> | https://www.sqlite.org/src/info/89f1848d7f seems to be miliseconds here |
| 17:32:54 | × | riku quits (~riku@136.37.120.69) (Quit: leaving) |
| 17:33:07 | × | ksqsf quits (~textual@67.209.186.120.16clouds.com) (Client Quit) |
| 17:33:19 | → | ksqsf joins (~textual@67.209.186.120.16clouds.com) |
| 17:34:17 | × | reumeth quits (~joakim@2001:4652:9745:0:72c9:4eff:fea7:32ab) (Quit: reumeth) |
| 17:34:33 | → | reumeth joins (~reumeth@2001:4652:9745:0:72c9:4eff:fea7:32ab) |
| 17:34:38 | × | johnw quits (~johnw@2600:1700:cf00:db0:c055:a527:375d:4be5) (Quit: ZNC - http://znc.in) |
| 17:36:24 | × | ksqsf quits (~textual@67.209.186.120.16clouds.com) (Remote host closed the connection) |
| 17:36:44 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:b043:8b77:c7da:42a0) (Remote host closed the connection) |
| 17:37:11 | → | python476 joins (~user@88.160.31.174) |
| 17:37:32 | → | k-os joins (~user@p200300d63f13f400065e695575674907.dip0.t-ipconnect.de) |
| 17:37:45 | <python476> | who else here is in group theory ? (and combinatorics oriented programming) |
| 17:38:13 | <python476> | I barely know about it but I have a hunch that it's both pleasurable and safe for very generic programs |
| 17:39:25 | ← | k-os parts (~user@p200300d63f13f400065e695575674907.dip0.t-ipconnect.de) (ERC (IRC client for Emacs 28.0.50)) |
| 17:40:15 | → | riku joins (~riku@136.37.120.69) |
| 17:41:55 | × | haskman quits (~haskman@106.212.143.206) (Quit: Going to sleep. ZZZzzz…) |
| 17:41:56 | → | myShoggoth joins (~myShoggot@97-120-89-117.ptld.qwest.net) |
| 17:43:23 | × | siraben quits (~siraben@user/siraben) (Quit: node-irc says goodbye) |
| 17:43:23 | × | ac quits (~aloiscoch@2001:470:69fc:105::65) (Quit: node-irc says goodbye) |
| 17:43:28 | × | ub quits (~Thunderbi@p200300ecdf259d7974882ed522245916.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 17:43:47 | → | ub joins (~Thunderbi@p200300ecdf259d7974882ed522245916.dip0.t-ipconnect.de) |
| 17:44:23 | → | siraben joins (~siraben@user/siraben) |
| 17:44:38 | → | ac joins (~aloiscoch@2001:470:69fc:105::65) |
| 17:46:42 | → | dr_bot joins (~dr_bot@cpe-24-209-62-187.neo.res.rr.com) |
| 17:46:51 | <rahguzar> | python476 :It is certainly very pleasurable, but I don't know much use it finds in programming outside some very specialized areas like cryptography. Semigroups and monoids seem much more common |
| 17:48:16 | → | haskman joins (~haskman@106.212.143.206) |
| 17:50:40 | × | siraben quits (~siraben@user/siraben) (Quit: node-irc says goodbye) |
| 17:50:40 | × | ac quits (~aloiscoch@2001:470:69fc:105::65) (Quit: node-irc says goodbye) |
| 17:51:00 | → | siraben joins (~siraben@user/siraben) |
| 17:51:17 | → | ac joins (~aloiscoch@2001:470:69fc:105::65) |
| 17:52:09 | → | vicfred joins (~vicfred@user/vicfred) |
| 17:54:30 | → | sheepduck joins (~sheepduck@2607:fea8:2a60:b700::5d55) |
| 17:54:41 | → | cnr joins (~cnr@user/cnr) |
| 17:56:09 | → | ego joins (~egoist@186.235.82.52) |
| 17:57:04 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:b043:8b77:c7da:42a0) |
| 17:57:11 | × | xff0x quits (~xff0x@2001:1a81:53be:400:1c90:d6e6:3f17:edb2) (Ping timeout: 252 seconds) |
| 17:57:17 | × | chkno quits (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer) |
| 17:57:28 | → | chkno joins (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) |
| 17:57:59 | → | vicentius joins (~vicentius@user/vicentius) |
| 17:58:04 | × | sheepduck quits (~sheepduck@2607:fea8:2a60:b700::5d55) (Client Quit) |
| 17:58:14 | → | xff0x joins (~xff0x@2001:1a81:53be:400:57c4:638d:15c6:fc7a) |
| 18:00:34 | × | dr_bot quits (~dr_bot@cpe-24-209-62-187.neo.res.rr.com) (Quit: Leaving) |
| 18:04:24 | × | xwx quits (~george@user/george) (Ping timeout: 264 seconds) |
| 18:07:08 | → | Zemyla joins (~ec2-user@ec2-54-196-11-2.compute-1.amazonaws.com) |
| 18:07:31 | → | holy_ joins (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) |
| 18:07:47 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 265 seconds) |
| 18:07:51 | × | orion quits (~orion@user/orion) (Ping timeout: 244 seconds) |
| 18:08:03 | → | lu joins (~lu@user/lu) |
| 18:08:05 | → | orion joins (~orion@user/orion) |
| 18:10:55 | ← | comradecow parts (~a0ee4aa7@ircip2.mibbit.com) () |
| 18:11:34 | × | bfrk quits (~Thunderbi@200116b845a103000156427e7b23f5f6.dip.versatel-1u1.de) (Ping timeout: 264 seconds) |
| 18:13:33 | → | sheepduck joins (~sheepduck@2607:fea8:2a60:b700::5d55) |
| 18:13:35 | × | hueso quits (~root@152.170.216.40) (Ping timeout: 265 seconds) |
| 18:14:15 | → | gensyst joins (gensyst@user/gensyst) |
| 18:14:27 | → | hueso joins (~root@152.170.216.40) |
| 18:15:13 | <gensyst> | Is Double substantially faster/slower than Rational? |
| 18:16:51 | <Zemyla> | Double is hardware accelerated. |
| 18:16:59 | <geekosaur> | generally faster since Rational is based on Integer / bignums, whereas Double ius machine numbers |
| 18:16:59 | <Zemyla> | Also, it's not arbitrary precision. |
| 18:17:14 | → | holy_bazooka joins (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) |
| 18:17:43 | <Zemyla> | The only operation for which Rational is faster than Double is toRational. |
| 18:17:54 | <gensyst> | :D |
| 18:17:59 | <gensyst> | thanks |
| 18:18:20 | → | pe200012_ joins (~pe200012@119.131.208.84) |
| 18:18:46 | × | pe200012 quits (~pe200012@119.131.208.84) (Ping timeout: 264 seconds) |
| 18:19:22 | <cjay> | Hmm, I wonder if there is some corner cases where Rational is faster. Rational division is just two multiplications, maybe that's faster than one Double division? |
| 18:20:14 | <cjay> | recip certainly is faster ^^ |
| 18:20:49 | × | autophagy quits (~mika@user/autophagy) (Quit: WeeChat 3.1) |
| 18:20:55 | × | holy_ quits (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) (Ping timeout: 272 seconds) |
| 18:21:10 | → | autophagy joins (~mika@2a02:8109:8540:36a0::fccc) |
| 18:22:49 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 18:23:38 | × | autophagy quits (~mika@2a02:8109:8540:36a0::fccc) (Changing host) |
| 18:23:38 | → | autophagy joins (~mika@user/autophagy) |
| 18:23:42 | × | autophagy quits (~mika@user/autophagy) (Client Quit) |
| 18:23:43 | <python476> | rahguzar: i've read that 50s CS researchers were deep into monoidal computation |
| 18:24:00 | <python476> | also I remember some papers about group theory regarding grammars |
| 18:24:03 | → | autophagy joins (~mika@user/autophagy) |
| 18:24:45 | × | siraben quits (~siraben@user/siraben) (Quit: node-irc says goodbye) |
| 18:24:46 | × | ac quits (~aloiscoch@2001:470:69fc:105::65) (Quit: node-irc says goodbye) |
| 18:25:08 | → | siraben joins (~siraben@user/siraben) |
| 18:25:24 | → | ac joins (~aloiscoch@2001:470:69fc:105::65) |
| 18:26:59 | × | siraben quits (~siraben@user/siraben) (Client Quit) |
| 18:26:59 | × | ac quits (~aloiscoch@2001:470:69fc:105::65) (Client Quit) |
| 18:27:14 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 18:27:20 | → | siraben joins (~siraben@user/siraben) |
| 18:27:36 | → | ac joins (~aloiscoch@2001:470:69fc:105::65) |
| 18:27:46 | <Zemyla> | cjay: recip isn't necessarily faster, especially if it's unboxed or the Rational is negative. |
| 18:28:02 | <bbhoss> | Anyone have any experience writing custom Servant serializers/deserializers? I am using GCP PubSub to post messages to my servant endpoint. It's posting JSON but that JSON is just a wrapper around the message data which is protobuf in this case. I'd like to maintain the way servant does content negotiation etc but also embed the sum type of the various PB messages in the API itself. Is this possible? |
| 18:29:08 | <bbhoss> | It seems like this: https://hackage.haskell.org/package/servant-0.18.2/docs/Servant-API-ContentTypes.html could be useful but it also seems like the only way to negotiate is via the accept/content type header, which will be json still. Or could I implement a custom MimeUnrender instance that looks at the message itself? |
| 18:31:56 | <xerox> | what is a possible approachable strategy to come up with an injective T -> Int for a substantially complex type T that doesn't contain stuff that is impossible to hash in such a manner? |
| 18:32:42 | × | vicentius quits (~vicentius@user/vicentius) (Ping timeout: 264 seconds) |
| 18:34:13 | → | bfrk joins (~Thunderbi@200116b845a103000156427e7b23f5f6.dip.versatel-1u1.de) |
| 18:34:56 | × | Lycurgus quits (~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt) |
| 18:36:46 | <Athas> | xerox: derive Show and hash the string. |
| 18:37:15 | <Athas> | Oh, you want the inverse as well? |
| 18:37:56 | × | holy_bazooka quits (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) (Remote host closed the connection) |
| 18:38:27 | → | slac36573 joins (~slack1256@181.203.105.152) |
| 18:38:47 | <xerox> | no |
| 18:38:59 | × | SteelZeal quits (~SteelZeal@user/steelzeal) (Quit: Leaving) |
| 18:39:15 | → | holy_ joins (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) |
| 18:39:54 | × | rahguzar quits (~rahguzar@dynamic-adsl-84-220-228-254.clienti.tiscali.it) (Ping timeout: 264 seconds) |
| 18:40:04 | × | holy_ quits (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) (Remote host closed the connection) |
| 18:40:26 | → | tremon joins (~tremon@217-63-61-89.cable.dynamic.v4.ziggo.nl) |
| 18:40:50 | → | holy_ joins (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) |
| 18:41:06 | × | slack1256 quits (~slack1256@181.203.32.1) (Ping timeout: 264 seconds) |
| 18:41:15 | <altern> | anyone can help with the SO question? https://stackoverflow.com/questions/67728103/how-to-list-all-commits-with-gitlib |
| 18:46:42 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:b043:8b77:c7da:42a0) (Remote host closed the connection) |
| 18:46:55 | × | gensyst quits (gensyst@user/gensyst) (Quit: Leaving) |
| 18:47:42 | → | tenniscp25 joins (~textual@134.196.209.118) |
| 18:50:48 | × | lu quits (~lu@user/lu) (Ping timeout: 265 seconds) |
| 18:51:18 | <sm> | maerwald: nice! So the trick was to eNABLE_VIRTUAL_TERMINAL_PROCESSING ? |
| 18:54:44 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 18:56:25 | × | dunham quits (~dunham@97-113-35-16.tukw.qwest.net) (Ping timeout: 244 seconds) |
| 18:57:01 | × | zeenk quits (~zeenk@2a02:2f04:a310:b600:b098:bf18:df4d:4c41) (Ping timeout: 272 seconds) |
| 18:57:07 | → | Morrow joins (~MorrowM_@bzq-110-168-31-106.red.bezeqint.net) |
| 18:58:06 | × | tenniscp25 quits (~textual@134.196.209.118) (Quit: Textual IRC Client: www.textualapp.com) |
| 18:58:24 | → | tenniscp25 joins (~textual@134.196.209.118) |
| 18:59:40 | → | johnw joins (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) |
| 19:00:59 | × | tenniscp25 quits (~textual@134.196.209.118) (Client Quit) |
| 19:01:20 | → | tenniscp25 joins (~textual@134.196.209.118) |
| 19:02:10 | × | ubert quits (~Thunderbi@p200300ecdf259d79e6b318fffe838f33.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 19:02:10 | ub | is now known as ubert |
| 19:02:29 | → | ubert1 joins (~Thunderbi@p200300ecdf259d79e6b318fffe838f33.dip0.t-ipconnect.de) |
| 19:04:27 | × | tenniscp25 quits (~textual@134.196.209.118) (Client Quit) |
| 19:05:06 | × | cnr quits (~cnr@user/cnr) (Ping timeout: 264 seconds) |
| 19:05:09 | → | tenniscp25 joins (~tenniscp2@134.196.209.118) |
| 19:05:15 | × | holy_ quits (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) (Remote host closed the connection) |
| 19:05:40 | → | holy_ joins (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) |
| 19:06:07 | → | rahguzar joins (~rahguzar@dynamic-adsl-84-220-228-254.clienti.tiscali.it) |
| 19:06:52 | → | cnr joins (~cnr@user/cnr) |
| 19:07:09 | → | thblt joins (~thblt@k9.thb.lt) |
| 19:07:10 | ← | thblt parts (~thblt@k9.thb.lt) () |
| 19:07:21 | × | yumaikas- quits (~yumaikas@c-73-14-132-194.hsd1.co.comcast.net) (Ping timeout: 272 seconds) |
| 19:07:47 | → | dut joins (~dut@user/dut) |
| 19:09:20 | × | ubert1 quits (~Thunderbi@p200300ecdf259d79e6b318fffe838f33.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 19:10:14 | × | ddellacosta quits (~ddellacos@86.106.121.27) (Remote host closed the connection) |
| 19:10:43 | → | ddellacosta joins (~ddellacos@86.106.121.27) |
| 19:11:08 | glguy | sets mode -o glguy |
| 19:11:38 | → | ixlun joins (~user@217.75.9.51.dyn.plus.net) |
| 19:11:52 | × | Guest11 quits (~textual@146.212.240.255) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 19:11:57 | <boxscape> | % :instances forall a . Show a => [a] |
| 19:11:57 | <yahb> | boxscape: |
| 19:11:58 | <boxscape> | :( |
| 19:12:21 | <maerwald> | sm: yeah |
| 19:12:24 | <boxscape> | wonder how hard it'd be to implement that |
| 19:13:24 | <ixlun> | Hi all, I've got a function 'x :: IO (Either String Obj)'. Is there a way I can mix the IO with Either so that if one of the intermediate steps in the computation yields a Left the whole thing aborts automatically? |
| 19:13:42 | <boxscape> | ixlun have you ever heard of Monad Transformers |
| 19:14:23 | × | ddellacosta quits (~ddellacos@86.106.121.27) (Remote host closed the connection) |
| 19:14:31 | → | skius joins (~skius@user/skius) |
| 19:14:32 | → | ddellacosta joins (~ddellacos@86.106.121.27) |
| 19:14:34 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 264 seconds) |
| 19:14:34 | <ixlun> | boxscape: I've heard of them yeah, but I've never used them! |
| 19:14:44 | × | ryantrinkle quits (~ryan@static-108-30-103-121.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 19:14:48 | <boxscape> | ixlun this seems like a perfect opportunity to get to know them |
| 19:15:12 | × | Xe quits (~cadey@user/xe) (Quit: WeeChat 3.1) |
| 19:15:15 | <boxscape> | specifically, EitherT String IO Obj I believe |
| 19:15:22 | <boxscape> | @unmtl EitherT String IO Obj |
| 19:15:22 | <lambdabot> | EitherT String IO Obj |
| 19:15:31 | → | Xe joins (~cadey@user/xe) |
| 19:15:34 | <boxscape> | er no, not at all |
| 19:15:38 | <boxscape> | @unmtl ExcepT String IO Obj |
| 19:15:38 | <lambdabot> | ExcepT String IO Obj |
| 19:15:41 | <boxscape> | @unmtl ExceptT String IO Obj |
| 19:15:41 | <lambdabot> | IO (Either String Obj) |
| 19:15:57 | <boxscape> | ixlun the Monad transformer for Either is called Except |
| 19:16:00 | → | favonia joins (~favonia@user/favonia) |
| 19:16:02 | <boxscape> | all the others have their usual names |
| 19:16:34 | → | zeenk joins (~zeenk@2a02:2f04:a310:b600:b098:bf18:df4d:4c41) |
| 19:16:46 | × | sifu quits (~marek@219.244.200.146.dyn.plus.net) (Remote host closed the connection) |
| 19:17:11 | <ixlun> | Right, I'll hoogle ExceptT now and take a look |
| 19:17:14 | <boxscape> | ixlun you can use it with the transformers library, or with the mtl library, which defines a few extra classes to make it more convenient |
| 19:17:30 | <boxscape> | (but they both use the type defined in transformers, and both libraries ship with ghc) |
| 19:17:46 | <ixlun> | I'm hoping this will reduce nesting that I've got! |
| 19:17:50 | ← | riku parts (~riku@136.37.120.69) () |
| 19:18:10 | <boxscape> | it probably will |
| 19:18:50 | <ixlun> | Great, I'll do some reading and give it a go! Thanks for the help boxscape |
| 19:19:00 | <boxscape> | sure, np |
| 19:20:16 | → | safinaskar joins (~user@109.252.90.89) |
| 19:20:39 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 272 seconds) |
| 19:21:22 | → | meltedbrain_y2k joins (~tekserf@31.4.247.19) |
| 19:21:36 | → | dunham joins (~dunham@97-113-35-16.tukw.qwest.net) |
| 19:22:05 | <safinaskar> | hi |
| 19:22:08 | <boxscape> | hey |
| 19:22:51 | <safinaskar> | consider this situation: hackage package A depends on B and C, B depends on D 0.1, C depends on D 0.2. as well as I understand this makes A uninstallable, right? |
| 19:24:10 | × | winter quits (~winter@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Ping timeout: 264 seconds) |
| 19:24:24 | <davean> | Yes, it makes A uninstallable |
| 19:25:15 | × | holy_ quits (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) (Read error: Connection reset by peer) |
| 19:25:40 | → | winter joins (~winter@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) |
| 19:25:58 | → | holy_ joins (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) |
| 19:25:59 | → | brian_da_mage joins (~Neuromanc@user/briandamag) |
| 19:26:06 | × | dunham quits (~dunham@97-113-35-16.tukw.qwest.net) (Ping timeout: 264 seconds) |
| 19:27:23 | → | zyzzyxdonta joins (~zyzzyxdon@p54bdfd77.dip0.t-ipconnect.de) |
| 19:29:44 | × | rahguzar quits (~rahguzar@dynamic-adsl-84-220-228-254.clienti.tiscali.it) (Quit: Connection closed) |
| 19:29:57 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 19:30:02 | <ixlun> | boxscape: okay first question I've got: One of the functions I've got only returns a Maybe. Can I convert that to an Either by providing an error message for the Nothing case so it works in ExceptT? |
| 19:30:17 | → | Guest11 joins (~textual@146.212.240.255) |
| 19:30:18 | <ixlun> | doing a search for 'Maybe a -> Either b a' on hoogle didn't yield anything. |
| 19:30:59 | <geekosaur> | :t maybe (Left "oops") Right |
| 19:31:00 | <lambdabot> | Maybe b -> Either [Char] b |
| 19:31:44 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 19:32:56 | → | pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 19:33:01 | <boxscape> | ixlun what geekosaur said. Btw here's a fairly minimal example in mtl style: |
| 19:33:02 | <boxscape> | % f :: (MonadError String m, MonadIO m) => Int -> m (); f x = do {when (x < 5) (throwError "too small"); when (x > 10) (throwError "too big"); liftIO $ print "just right"} |
| 19:33:02 | <yahb> | boxscape: |
| 19:33:11 | <boxscape> | % runExceptT (f 13) |
| 19:33:11 | <yahb> | boxscape: Left "too big" |
| 19:33:11 | <python476> | prolog is a bit of a partition function over F[2] |
| 19:33:11 | × | tenniscp25 quits (~tenniscp2@134.196.209.118) (Quit: Textual IRC Client: www.textualapp.com) |
| 19:33:16 | <ski> | @type fromMaybe (error "oops") |
| 19:33:17 | <lambdabot> | Maybe a -> a |
| 19:33:48 | <boxscape> | (in the style of my example it would be `maybe (throwError "oops") pure`) |
| 19:35:07 | <ski> | python476 : huh ? |
| 19:35:32 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 19:36:53 | <siers> | c_wraith, I am pretty sure the virtual memory doesn't count. |
| 19:36:54 | <ixlun> | Right, think I've got it. Thanks geekosaur |
| 19:37:22 | <ixlun> | Right, I see what you're saying about mtl boxscape, it gives you more functions to play with |
| 19:37:31 | → | ku joins (~ku@2601:280:c780:7ea0:c5a6:e466:b3e6:a4ee) |
| 19:37:53 | × | holy_ quits (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) (Remote host closed the connection) |
| 19:38:27 | <boxscape> | ixlun yeah it also lets you decide later on which actual implementation you want to use for a particular constraint, so people use it for example to have implementations for testing and production |
| 19:38:40 | <boxscape> | s/to have/to have different/ |
| 19:38:47 | <c_wraith> | siers: virt tells you how much the program asked the OS for, but that doesn't tell you a thing about how much the OS actually has provided to it. |
| 19:38:56 | → | betelgeuse joins (~john2gb@94-225-47-8.access.telenet.be) |
| 19:39:00 | → | rahguzar joins (~rahguzar@dynamic-adsl-84-220-228-254.clienti.tiscali.it) |
| 19:39:21 | × | v01d4lph4 quits (~v01d4lph4@user/v01d4lph4) (Remote host closed the connection) |
| 19:39:32 | → | dunham joins (~dunham@97-113-35-16.tukw.qwest.net) |
| 19:39:54 | → | v01d4lph4 joins (~v01d4lph4@122.160.65.250) |
| 19:39:54 | × | v01d4lph4 quits (~v01d4lph4@122.160.65.250) (Changing host) |
| 19:39:54 | → | v01d4lph4 joins (~v01d4lph4@user/v01d4lph4) |
| 19:40:45 | <python476> | sorry i'm thinking out loud |
| 19:41:55 | <python476> | partion of n is the set of tuples < n such that sum(tuples) == n |
| 19:42:26 | <python476> | prolog generate all subtrees and(subtrees) holds |
| 19:42:57 | × | sheepduck quits (~sheepduck@2607:fea8:2a60:b700::5d55) (Remote host closed the connection) |
| 19:43:16 | → | sheepduck joins (~sheepduck@2607:fea8:2a60:b700::5d55) |
| 19:44:34 | × | v01d4lph4 quits (~v01d4lph4@user/v01d4lph4) (Ping timeout: 264 seconds) |
| 19:44:53 | × | relrod quits (~relrod@ansible/staff/relrod) (Changing host) |
| 19:44:53 | → | relrod joins (~relrod@redhat/ansible.staff.relrod) |
| 19:45:21 | × | pe200012_ quits (~pe200012@119.131.208.84) (Remote host closed the connection) |
| 19:45:26 | → | gankoji joins (~gankoji@2600:8800:a610:3e00:3597:cb87:7217:357f) |
| 19:46:16 | → | pe200012_ joins (~pe200012@218.107.17.245) |
| 19:46:30 | × | vicfred quits (~vicfred@user/vicfred) (Ping timeout: 264 seconds) |
| 19:46:38 | × | ddellacosta quits (~ddellacos@86.106.121.27) (Remote host closed the connection) |
| 19:47:03 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:b043:8b77:c7da:42a0) |
| 19:47:07 | → | ddellacosta joins (~ddellacos@86.106.121.27) |
| 19:47:50 | × | nsilv-phone quits (~nsilv-pho@host-82-50-119-12.retail.telecomitalia.it) (Ping timeout: 265 seconds) |
| 19:47:59 | <safinaskar> | davean: thanks |
| 19:48:11 | × | ddellacosta quits (~ddellacos@86.106.121.27) (Remote host closed the connection) |
| 19:48:21 | → | ddellacosta joins (~ddellacos@86.106.121.27) |
| 19:48:46 | → | nsilv-phone joins (~nsilv-pho@37.160.61.54) |
| 19:49:42 | → | yumaikas- joins (~yumaikas@c-73-14-132-194.hsd1.co.comcast.net) |
| 19:51:28 | × | ubert quits (~Thunderbi@p200300ecdf259d7974882ed522245916.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 19:51:46 | → | ubert joins (~Thunderbi@p200300ecdf259d7974882ed522245916.dip0.t-ipconnect.de) |
| 19:51:46 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:b043:8b77:c7da:42a0) (Ping timeout: 264 seconds) |
| 19:52:41 | × | myShoggoth quits (~myShoggot@97-120-89-117.ptld.qwest.net) (Ping timeout: 252 seconds) |
| 19:54:30 | → | simendsjo joins (~user@cm-84.211.91.241.getinternet.no) |
| 19:54:42 | tremon | is now known as tremon_ |
| 19:55:30 | → | ub joins (~Thunderbi@p200300ecdf259d8974882ed522245916.dip0.t-ipconnect.de) |
| 19:56:23 | × | simendsjo quits (~user@cm-84.211.91.241.getinternet.no) (Client Quit) |
| 19:56:32 | × | ubert quits (~Thunderbi@p200300ecdf259d7974882ed522245916.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 19:56:32 | ub | is now known as ubert |
| 19:57:18 | × | wonko quits (~wjc@user/wonko) (Ping timeout: 264 seconds) |
| 19:57:25 | → | simendsjo joins (~user@cm-84.211.91.241.getinternet.no) |
| 19:57:54 | × | MidAutumnMoon quits (~MidAutumn@user/midautumnmoon) (Ping timeout: 264 seconds) |
| 19:58:46 | × | simendsjo quits (~user@cm-84.211.91.241.getinternet.no) (Client Quit) |
| 19:59:12 | → | myShoggoth joins (~myShoggot@97-120-89-117.ptld.qwest.net) |
| 19:59:35 | → | simendsjo joins (~user@cm-84.211.91.241.getinternet.no) |
| 20:00:15 | × | pricly_yellow quits (~pricly_ye@static.90.189.158.212.sinor.ru) (Remote host closed the connection) |
| 20:01:10 | → | cadenhaustein joins (~brightly-@2604:2d80:e084:b300:2ce2:847e:52d6:2480) |
| 20:01:23 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 20:01:35 | × | cadenhaustein quits (~brightly-@2604:2d80:e084:b300:2ce2:847e:52d6:2480) (Client Quit) |
| 20:02:00 | × | bjs quits (sid190364@user/bjs) () |
| 20:02:13 | → | bjs joins (sid190364@user/bjs) |
| 20:02:44 | → | ddellaco_ joins (~ddellacos@86.106.121.110) |
| 20:03:46 | → | ddellac__ joins (~ddellacos@89.46.62.31) |
| 20:03:58 | → | pricly_yellow joins (~pricly_ye@static.90.189.158.212.sinor.ru) |
| 20:05:29 | × | leotaku quits (~leotaku@046075079231.atmpu0011.highway.a1.net) (Read error: No route to host) |
| 20:05:43 | × | ddellacosta quits (~ddellacos@86.106.121.27) (Ping timeout: 265 seconds) |
| 20:05:45 | → | minoru_shiraeesh joins (~shiraeesh@5.101.59.63) |
| 20:06:14 | ← | safinaskar parts (~user@109.252.90.89) () |
| 20:06:59 | × | ddellaco_ quits (~ddellacos@86.106.121.110) (Ping timeout: 252 seconds) |
| 20:07:30 | × | qbt quits (~edun@user/edun) (Ping timeout: 264 seconds) |
| 20:07:58 | × | m_shiraeeshi quits (~shiraeesh@109.166.58.113) (Ping timeout: 264 seconds) |
| 20:09:16 | × | yahb quits (xsbot@user/mniip/bot/yahb) (Ping timeout: 264 seconds) |
| 20:10:40 | × | simendsjo quits (~user@cm-84.211.91.241.getinternet.no) (Quit: ERC (IRC client for Emacs 28.0.50)) |
| 20:11:34 | × | dunham quits (~dunham@97-113-35-16.tukw.qwest.net) (Ping timeout: 264 seconds) |
| 20:14:44 | → | psydroid joins (~psydroidm@user/psydroid) |
| 20:14:48 | × | pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.2-dev) |
| 20:15:24 | → | yahb joins (xsbot@user/mniip/bot/yahb) |
| 20:15:39 | → | tanner_ joins (~tanner@74.221.100.239) |
| 20:15:48 | → | pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 20:16:24 | → | dunham joins (~dunham@97-113-35-16.tukw.qwest.net) |
| 20:16:38 | → | ryantrinkle joins (~ryan@static-108-30-103-121.nycmny.fios.verizon.net) |
| 20:17:30 | → | Frosky joins (~Frosky@n220246094251.netvigator.com) |
| 20:17:33 | × | pricly_yellow quits (~pricly_ye@static.90.189.158.212.sinor.ru) (Remote host closed the connection) |
| 20:17:36 | × | pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Client Quit) |
| 20:18:11 | → | pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 20:19:00 | → | zopsi joins (sid153252@id-153252.stonehaven.irccloud.com) |
| 20:19:22 | × | ku quits (~ku@2601:280:c780:7ea0:c5a6:e466:b3e6:a4ee) (Ping timeout: 264 seconds) |
| 20:19:27 | → | pricly_yellow joins (~pricly_ye@static.90.189.158.212.sinor.ru) |
| 20:19:34 | × | caubert quits (~caubert@136.244.111.235) (Quit: WeeChat 3.1) |
| 20:20:07 | → | caubert joins (~caubert@136.244.111.235) |
| 20:21:46 | × | kong quits (~harrison@c-174-51-131-199.hsd1.co.comcast.net) (Ping timeout: 264 seconds) |
| 20:22:25 | → | kong joins (~harrison@c-174-51-131-199.hsd1.co.comcast.net) |
| 20:22:48 | × | Guest11 quits (~textual@146.212.240.255) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 20:23:10 | <xerox> | ever seen this? https://pastebin.com/raw/x4eEQqmC only happens once in a while during cabal build |
| 20:23:44 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:b043:8b77:c7da:42a0) |
| 20:26:40 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds) |
| 20:27:30 | × | caubert quits (~caubert@136.244.111.235) (Quit: WeeChat 3.1) |
| 20:27:52 | <tanner_> | Beginner question, ghci say ([1,2] + 1) has type (Num a, Num [a]) => [a]. But ([1,2] + 1) can |
| 20:28:06 | <tanner_> | *can't be evaluated. |
| 20:28:48 | <pavonia> | Because there's no instance for Num [a] in scope |
| 20:29:23 | × | dhouthoo quits (~dhouthoo@178-117-36-167.access.telenet.be) (Quit: WeeChat 3.1) |
| 20:29:27 | <mniip> | it could be evaluated if an instance became availabe |
| 20:29:48 | → | caubert joins (~caubert@136.244.111.235) |
| 20:30:03 | × | reumeth quits (~reumeth@2001:4652:9745:0:72c9:4eff:fea7:32ab) (Quit: reumeth) |
| 20:30:19 | <tanner_> | But (+) has type Num a => a -> a -> a, I would think regardless of whether an instance for Num [a] existed it would still refuse to evaluate on account of a and [a] being different types |
| 20:30:21 | × | danso quits (~danso@23-233-111-52.cpe.pppoe.ca) (Quit: WeeChat 3.1) |
| 20:30:45 | <tdammers> | yes, except that integer literals are polymorphic |
| 20:30:47 | <tdammers> | :t 1 |
| 20:30:47 | <boxscape> | % :t 1 |
| 20:30:47 | <yahb> | boxscape: Num p => p |
| 20:30:48 | <lambdabot> | Num p => p |
| 20:30:58 | <boxscape> | % instance Num a => Num [a] where (+) = zipWith (+); fromInteger = repeat . fromInteger |
| 20:30:58 | <yahb> | boxscape: ; <interactive>:53:10: warning: [-Wmissing-methods]; * No explicit implementation for; `*', `abs', `signum', and (either `negate' or `-'); * In the instance declaration for `Num [a]' |
| 20:31:03 | <boxscape> | % ([1,2] + 1) |
| 20:31:03 | <yahb> | boxscape: [2,3] |
| 20:31:21 | <tdammers> | there are two Num constraints inferred here |
| 20:32:23 | → | nsilv-phone-1 joins (~nsilv-pho@host-82-50-119-12.retail.telecomitalia.it) |
| 20:32:35 | <tdammers> | :t (+) |
| 20:32:36 | <lambdabot> | Num a => a -> a -> a |
| 20:32:52 | <tdammers> | right? so that means that [1, 2] must be of type a, and 1 must also be of type a |
| 20:33:07 | <boxscape> | tanner_ note that `5.6 + 1` works, as well, even though one might assume that 5.6 is Double and 1 is an Integer |
| 20:33:28 | <boxscape> | in practice, these both end up being Double in this case |
| 20:33:42 | × | geekosaur quits (~geekosaur@069-135-003-034.biz.spectrum.com) (Remote host closed the connection) |
| 20:34:07 | → | geekosaur joins (~geekosaur@069-135-003-034.biz.spectrum.com) |
| 20:34:43 | × | Dynom quits (~niels@80-114-12-206.cable.dynamic.v4.ziggo.nl) (Quit: WeeChat 3.1) |
| 20:34:58 | × | nsilv-phone quits (~nsilv-pho@37.160.61.54) (Ping timeout: 264 seconds) |
| 20:35:01 | <tanner_> | Ok... so 1 could be inferred as the type (Num a, Num [a]) => [a] and then (+) 1 [1,2] makes sense. Is that correct? |
| 20:35:44 | <boxscape> | tanner_ Yes. You're right that `x + y` wouldn't work if `x :: a` and ``y :: [a]`. But in the expression `([1,2] + 1)`, both argument have type (Num a, Num [a]) => [a] |
| 20:36:07 | <tanner_> | But this could (and would) only happen if an instance of Num [a] was in scope |
| 20:36:46 | <boxscape> | well, GHC infers that type anyway, and then afterwards determines that no such instance is available |
| 20:37:12 | <boxscape> | which is why :t works |
| 20:37:13 | → | onion_ joins (~zzz@user/yin) |
| 20:37:48 | × | rahguzar quits (~rahguzar@dynamic-adsl-84-220-228-254.clienti.tiscali.it) (Ping timeout: 250 seconds) |
| 20:38:13 | × | wallymathieu quits (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 20:38:18 | <tanner_> | Ok, so GHC infers the type no matter what, because it is a valid type. The error only comes when it trys to evaluate such an expression, discovers there are no such instances in scope, and then gives and error |
| 20:38:26 | <boxscape> | right |
| 20:38:46 | <tanner_> | Ok, wow, thats actually really cool, thanks |
| 20:38:49 | → | ixlun` joins (~user@217.75.9.51.dyn.plus.net) |
| 20:38:54 | <boxscape> | yeah :) |
| 20:40:32 | × | ixlun quits (~user@217.75.9.51.dyn.plus.net) (Ping timeout: 252 seconds) |
| 20:41:16 | <ski> | @let instance Num a => Num [a] where (+) = zipWith (+); (-) = zipWith (-); (*) = zipWith (*); negate = map negate; abs = map abs; signum = map signum; fromInteger = repeat . fromInteger |
| 20:41:18 | <lambdabot> | Defined. |
| 20:41:37 | <ski> | > [1,2] + 1 -- tanner_, here you go |
| 20:41:39 | <lambdabot> | [2,3] |
| 20:42:06 | → | abhixec joins (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 20:42:21 | → | MidAutumnMoon joins (~MidAutumn@user/midautumnmoon) |
| 20:42:33 | → | Frosky8 joins (~Frosky@n220246094251.netvigator.com) |
| 20:43:30 | × | dustingetz quits (~textual@pool-173-49-123-198.phlapa.fios.verizon.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 20:43:51 | × | dut quits (~dut@user/dut) (Read error: Connection reset by peer) |
| 20:44:02 | <boxscape> | with us saying "has an instance of" instead of "is a member of" is does seem like maybe "trait" is a better name than "type class" |
| 20:45:24 | <boxscape> | or.. "interface" like Idris has, I guess, as long as you don't think too hard about OOP |
| 20:45:43 | → | spirgel_ joins (spirgel@gateway/vpn/protonvpn/spirgel) |
| 20:46:02 | × | Frosky quits (~Frosky@n220246094251.netvigator.com) (Ping timeout: 250 seconds) |
| 20:46:16 | → | eL_Bart0 joins (eL_Bart0@dietunichtguten.org) |
| 20:46:17 | → | hiptobecubic joins (~john@c-73-55-99-95.hsd1.fl.comcast.net) |
| 20:46:55 | <tanner_> | thank you ski |
| 20:47:04 | × | ryantrinkle quits (~ryan@static-108-30-103-121.nycmny.fios.verizon.net) (Ping timeout: 264 seconds) |
| 20:47:28 | <tanner_> | I need to make a "cool stuff" section of my notes apparently! |
| 20:47:58 | <boxscape> | (or, how about this, we have "type constructor", so the obvious name is "constraint constructor") |
| 20:48:23 | <boxscape> | ooh the keyword could be lowercase constraint, too |
| 20:48:25 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 20:48:36 | <boxscape> | maybe 30 years too late for that now, though :) |
| 20:48:46 | × | superbil quits (~superbil@1-34-176-171.HINET-IP.hinet.net) (Ping timeout: 264 seconds) |
| 20:49:03 | × | spirgel quits (spirgel@gateway/vpn/protonvpn/spirgel) (Ping timeout: 244 seconds) |
| 20:49:44 | → | pe200012 joins (~pe200012@119.131.208.84) |
| 20:49:58 | × | pe200012_ quits (~pe200012@218.107.17.245) (Ping timeout: 264 seconds) |
| 20:50:21 | × | ixlun` quits (~user@217.75.9.51.dyn.plus.net) (Remote host closed the connection) |
| 20:52:05 | × | eL_Bart0 quits (eL_Bart0@dietunichtguten.org) (Quit: Restarting) |
| 20:52:17 | → | eL_Bart0 joins (eL_Bart0@dietunichtguten.org) |
| 20:53:15 | <ski> | (hm .. i think i probably wouldn't say "has an instance of") |
| 20:53:47 | ski | . o O ( "constructor classes" ) |
| 20:53:52 | → | dustingetz joins (~textual@pool-173-49-123-198.phlapa.fios.verizon.net) |
| 20:54:01 | <boxscape> | what would you say in natural language to indicate that an instance Num a => Num [a] exists |
| 20:54:28 | <boxscape> | (with or without the Num a constraint is fine) |
| 20:55:08 | <ski> | `[a]' is an instance of `Num' (provided `a' is) |
| 20:55:19 | <boxscape> | okay, fair |
| 20:55:24 | <ski> | `[a]' has a `Num' instance (provided `a' does) |
| 20:55:40 | × | MasterControl quits (~Master@238.140.4.85.dynamic.wline.res.cust.swisscom.ch) (Remote host closed the connection) |
| 20:55:42 | <boxscape> | ok |
| 20:55:56 | → | MasterControl joins (~Master@238.140.4.85.dynamic.wline.res.cust.swisscom.ch) |
| 20:56:06 | <ski> | having an instance `Num a' implies an instance `Num [a]' |
| 20:57:17 | <ski> | (can't recall whether i've seen others say "has an instance of". it just sounded slightly off to me, for whatever reason) |
| 20:57:32 | → | sm[m] joins (~sm@plaintextaccounting/sm) |
| 20:57:34 | <boxscape> | in retrospect your variants do sound better to me, as well |
| 21:01:03 | × | coot quits (~coot@37.30.49.19.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 21:03:16 | × | MidAutumnMoon quits (~MidAutumn@user/midautumnmoon) (Ping timeout: 264 seconds) |
| 21:09:54 | × | slac36573 quits (~slack1256@181.203.105.152) (Ping timeout: 264 seconds) |
| 21:11:04 | × | sondre quits (~sondrelun@cm-84.212.100.140.getinternet.no) (Ping timeout: 264 seconds) |
| 21:12:33 | → | __monty__ joins (~toonn@user/toonn) |
| 21:15:45 | → | superbil joins (~superbil@1-34-176-171.HINET-IP.hinet.net) |
| 21:15:48 | × | kong quits (~harrison@c-174-51-131-199.hsd1.co.comcast.net) (Quit: WeeChat 2.8) |
| 21:18:07 | → | river joins (~river@tilde.team/user/river) |
| 21:19:43 | × | wagle quits (~wagle@quassel.wagle.io) (Ping timeout: 272 seconds) |
| 21:20:43 | × | mc47 quits (~yecinem@89.246.239.190) (Quit: Leaving) |
| 21:21:05 | → | nsilv joins (~nsilv@host-82-50-119-12.retail.telecomitalia.it) |
| 21:22:11 | × | abrar quits (~abrar@static-108-30-103-121.nycmny.fios.verizon.net) (Quit: WeeChat 2.9) |
| 21:23:20 | → | rahguzar joins (~rahguzar@dynamic-adsl-84-220-228-254.clienti.tiscali.it) |
| 21:25:21 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 21:25:41 | → | safinaskar joins (~user@109.252.90.89) |
| 21:25:52 | <safinaskar> | what is current state of cabal-doctest integration? |
| 21:26:08 | <safinaskar> | i see command v1-doctest, but not v2-doctest. why? |
| 21:26:33 | <safinaskar> | my cabal version is 3.4.0.0 |
| 21:28:58 | × | zyzzyxdonta quits (~zyzzyxdon@p54bdfd77.dip0.t-ipconnect.de) (Quit: Leaving) |
| 21:29:55 | × | gankoji quits (~gankoji@2600:8800:a610:3e00:3597:cb87:7217:357f) (Quit: Leaving) |
| 21:30:02 | × | MasterControl quits (~Master@238.140.4.85.dynamic.wline.res.cust.swisscom.ch) (Ping timeout: 252 seconds) |
| 21:30:32 | × | autophagy quits (~mika@user/autophagy) (Quit: WeeChat 3.1) |
| 21:32:16 | <boxscape> | ski if we didn't have type families, how would you feel about calling `Maybe` a "type family"? |
| 21:33:02 | ← | sm2n parts (~sm2n@user/sm2n) (Leaving) |
| 21:33:17 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 21:33:19 | × | pfurla quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Quit: gone to sleep. ZZZzzz…) |
| 21:33:19 | <geekosaur> | type schema, maybe |
| 21:33:25 | <boxscape> | hm |
| 21:33:48 | <boxscape> | I can see that |
| 21:33:54 | × | pricly_yellow quits (~pricly_ye@static.90.189.158.212.sinor.ru) (Ping timeout: 264 seconds) |
| 21:34:44 | <monochrom> | I would just state the kind. |
| 21:34:46 | → | sm2n joins (~sm2n@user/sm2n) |
| 21:36:50 | → | wagle joins (~wagle@quassel.wagle.io) |
| 21:36:59 | → | MasterControl joins (~Master@238.140.4.85.dynamic.wline.res.cust.swisscom.ch) |
| 21:37:25 | <monochrom> | You would really have to give me a very limited language, such that the only kinds are * and *^n -> *, such as Java and C++, to convince me that it is useful to emphasize a terminology that highlights the dichotomy between * and *^n -> * |
| 21:38:26 | × | nckx quits (~nckx@tobias.gr) (Quit: Updating my Guix System — https://guix.gnu.org) |
| 21:38:35 | <monochrom> | Along the same line, you would really have to inflict absolutely barebon untyped lambda calculus on me, in which there are only vars and lambda, to convince me that the word "function" is informative. |
| 21:38:45 | <boxscape> | that's fair |
| 21:39:11 | → | dut joins (~dut@user/dut) |
| 21:39:11 | <ski> | "schema" is already used to describe open type expressions |
| 21:39:14 | ← | danidiaz parts (~ESDPC@static-184-112-86-188.ipcom.comunitel.net) () |
| 21:39:37 | <monochrom> | In a language in which "X->Y" and "X->Y->(Z->X)->K" are fundamentally unrelated, sentences like "it is a function" "it is not a function" are utterly useless. |
| 21:41:18 | → | MidAutumnMoon joins (~MidAutumn@user/midautumnmoon) |
| 21:41:45 | → | nckx joins (~nckx@tobias.gr) |
| 21:42:23 | <ski> | it seems to me "function" would not really be too informative there, if the only things variables can be bound to, are functions .. |
| 21:42:48 | × | o1lo01ol1o quits (~o1lo01ol1@cpe-74-72-187-2.nyc.res.rr.com) (Remote host closed the connection) |
| 21:43:32 | → | Aran joins (~Aran@port-92-194-80-170.dynamic.as20676.net) |
| 21:43:49 | × | wagle quits (~wagle@quassel.wagle.io) (Ping timeout: 244 seconds) |
| 21:43:50 | <ski> | i tend to view "function" as abbreviation of "function with domain such-and-such and codomain such-and-such". the term is comparable to e.g. "conjunction" or "implication" |
| 21:43:59 | <safinaskar> | so, what is today recommended way to use cabal and doctest together?? |
| 21:45:34 | → | otto_s joins (~user@p5de2f722.dip0.t-ipconnect.de) |
| 21:48:20 | × | dustingetz quits (~textual@pool-173-49-123-198.phlapa.fios.verizon.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 21:49:23 | <monochrom> | Of course, I lied. In front of my students, I still say "polymorphic type" for Maybe, I just did in today's lecture. This is because in my course I don't introduce kinds and I won't get to monad transformers. So in my course I really only have * and morally *^n -> * |
| 21:50:51 | → | pfurla joins (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 21:51:34 | → | ddellacosta joins (~ddellacos@89.46.62.25) |
| 21:52:22 | × | sheepduck quits (~sheepduck@2607:fea8:2a60:b700::5d55) (Ping timeout: 264 seconds) |
| 21:54:10 | × | ddellac__ quits (~ddellacos@89.46.62.31) (Ping timeout: 264 seconds) |
| 21:55:22 | × | pe200012 quits (~pe200012@119.131.208.84) (Ping timeout: 264 seconds) |
| 21:55:41 | → | pe200012 joins (~pe200012@119.131.208.84) |
| 21:55:55 | × | rahguzar quits (~rahguzar@dynamic-adsl-84-220-228-254.clienti.tiscali.it) (Quit: Client closed) |
| 21:56:39 | <monochrom> | You may like to know that the word "schema" can carry connotation about how instantiation is achieved, not just that it is allowed. |
| 21:57:37 | <monochrom> | So for example suppose you try to state induction in first-order logic. It's first-order so you can't start with "for all predicate p". |
| 21:57:48 | → | wagle joins (~wagle@quassel.wagle.io) |
| 21:58:49 | <monochrom> | The workaround is you move that forall to the meta level. You say: for every predicate p, this sentence is an axiom: "p(0) and (forall n. p(n) implies p(n+1)) implies (forall n. p(n))" |
| 21:59:34 | × | tanner_ quits (~tanner@74.221.100.239) (Ping timeout: 264 seconds) |
| 21:59:36 | <monochrom> | In addition you actually don't want to commit to the stance "I have infinitely many axioms". Every proof should use only finitely many axioms. |
| 22:00:16 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 22:00:23 | <davean> | monochrom: if i have infinite many axioms, do I get to choose from them? |
| 22:00:32 | <monochrom> | So they call their approach "axiom schema", and the intention is to instantiate it on demand, instantiate only what you need. |
| 22:01:57 | <monochrom> | As opposed to in higher-order logic, you just add one axiom, and it goes "forall p. ...", and it's instantiated inside the logic, not at the meta level. |
| 22:02:33 | <monochrom> | So "schema" carries the connotation that you instantiate at a meta level, and I would associate it with how C++ does it. |
| 22:02:58 | → | Guest2998 joins (~Guest29@212095008205.public.telering.at) |
| 22:05:04 | × | mikoto-chan quits (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) (Ping timeout: 264 seconds) |
| 22:05:04 | × | Guest2998 quits (~Guest29@212095008205.public.telering.at) (Client Quit) |
| 22:05:10 | × | Raito_Bezarius quits (~Raito@user/raito-bezarius/x-8759638) (Changing host) |
| 22:05:10 | → | Raito_Bezarius joins (~Raito@wireguard/tunneler/raito-bezarius) |
| 22:05:39 | → | ku joins (~ku@2601:280:c780:7ea0:40a4:e850:40ff:b5e) |
| 22:07:04 | × | gehmehgeh quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 22:08:40 | × | MasterControl quits (~Master@238.140.4.85.dynamic.wline.res.cust.swisscom.ch) (Remote host closed the connection) |
| 22:08:58 | → | MasterControl joins (~Master@238.140.4.85.dynamic.wline.res.cust.swisscom.ch) |
| 22:10:23 | × | python476 quits (~user@88.160.31.174) (Ping timeout: 272 seconds) |
| 22:10:27 | → | slack1256 joins (~slack1256@181.203.105.152) |
| 22:12:37 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 22:17:34 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 264 seconds) |
| 22:18:52 | × | spirgel_ quits (spirgel@gateway/vpn/protonvpn/spirgel) (Remote host closed the connection) |
| 22:19:20 | <ski> | yes, and this parallels inferring a type schema, for an expfression/term in the simply-typed lambda calculus. the `forall' is on the meta-level |
| 22:19:40 | × | michalz quits (~user@185.246.204.60) (Remote host closed the connection) |
| 22:20:19 | × | ku quits (~ku@2601:280:c780:7ea0:40a4:e850:40ff:b5e) (Ping timeout: 272 seconds) |
| 22:20:38 | × | dut quits (~dut@user/dut) (Ping timeout: 252 seconds) |
| 22:22:43 | <ski> | you interpret `\ f. \ x. f x x : (alpha -> (alpha -> beta)) -> (alpha -> beta)' as claiming that for every actual two types (iow with no variables in them) we replace the schematic / meta variables `alpha' and `beta' with, the given term (`\ f. \ x. f x x') can be assigned the resulting type (with no variables left) |
| 22:23:25 | → | Guest11 joins (~textual@146.212.240.255) |
| 22:24:08 | <ski> | then you can compare this with `reverse :: [a] -> [a]', or `map :: (a -> b) -> ([a] -> [b])', in Haskell |
| 22:24:56 | × | ego quits (~egoist@186.235.82.52) (Quit: WeeChat 3.1) |
| 22:27:47 | × | geekosaur quits (~geekosaur@069-135-003-034.biz.spectrum.com) (Remote host closed the connection) |
| 22:28:07 | → | peddie joins (~peddie@static-198-54-129-62.cust.tzulo.com) |
| 22:28:54 | ← | peddie parts (~peddie@static-198-54-129-62.cust.tzulo.com) () |
| 22:29:42 | → | geekosaur joins (~geekosaur@069-135-003-034.biz.spectrum.com) |
| 22:30:09 | × | nsilv quits (~nsilv@host-82-50-119-12.retail.telecomitalia.it) (Quit: WeeChat 2.8) |
| 22:32:42 | → | cdsmithus joins (~cdsmithus@c-73-184-127-183.hsd1.ga.comcast.net) |
| 22:33:13 | × | meltedbrain_y2k quits (~tekserf@31.4.247.19) (Quit: Leaving.) |
| 22:33:30 | × | cdsmithus quits (~cdsmithus@c-73-184-127-183.hsd1.ga.comcast.net) (Read error: Connection reset by peer) |
| 22:34:55 | → | spirgel joins (spirgel@gateway/vpn/protonvpn/spirgel) |
| 22:36:49 | → | vicfred joins (~vicfred@user/vicfred) |
| 22:36:54 | × | ccntrq quits (~ccntrq@dynamic-077-008-079-078.77.8.pool.telefonica.de) (Ping timeout: 264 seconds) |
| 22:37:00 | × | wagle quits (~wagle@quassel.wagle.io) (Ping timeout: 265 seconds) |
| 22:37:35 | → | Guest22 joins (~Guest22@umbreller.kvi.sgsnet.se) |
| 22:38:16 | → | wagle joins (~wagle@quassel.wagle.io) |
| 22:41:28 | Guest22 | is now known as typesafety |
| 22:41:33 | <boxscape> | oh, wow, in HEAD you can have actual `String`s, i.e. [Char], on the type level |
| 22:41:41 | <boxscape> | they're still distinct from Symbol though |
| 22:41:45 | <safinaskar> | monochrom: "such that the only kinds are * and *^n -> *, such as Java and C++" - c++ allows quite complicated kinds. for example, one could write "template <template <typename> typename T> class X { ... }". this means "data X (T :: * -> *) = ...", i. e. X will have kind ((* -> *) -> *) |
| 22:43:45 | <boxscape> | hmm looking at the merge request it might even be in a released ghc version |
| 22:44:10 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 22:45:25 | <safinaskar> | monochrom: also, in c++20 we can pass compile-time struct values as template parameters, this can be used to implement very ugly ad hoc theorem checker in type-level compilation-type c++, similary to how this is possible in type-level haskell |
| 22:45:50 | <safinaskar> | monochrom: type system of c++ is quite complicated |
| 22:46:04 | ← | safinaskar parts (~user@109.252.90.89) () |
| 22:48:05 | × | ddellacosta quits (~ddellacos@89.46.62.25) (Remote host closed the connection) |
| 22:48:34 | → | ddellacosta joins (~ddellacos@89.46.62.25) |
| 22:48:59 | × | typesafety quits (~Guest22@umbreller.kvi.sgsnet.se) (Quit: Client closed) |
| 22:49:01 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 272 seconds) |
| 22:49:26 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 244 seconds) |
| 22:49:31 | × | MasterControl quits (~Master@238.140.4.85.dynamic.wline.res.cust.swisscom.ch) (Remote host closed the connection) |
| 22:49:47 | → | MasterControl joins (~Master@238.140.4.85.dynamic.wline.res.cust.swisscom.ch) |
| 22:50:08 | → | favonia joins (~favonia@user/favonia) |
| 22:50:38 | × | ddellacosta quits (~ddellacos@89.46.62.25) (Read error: Connection reset by peer) |
| 22:51:42 | × | haskman quits (~haskman@106.212.143.206) (Quit: Going to sleep. ZZZzzz…) |
| 22:51:54 | × | zeenk quits (~zeenk@2a02:2f04:a310:b600:b098:bf18:df4d:4c41) (Quit: Konversation terminated!) |
| 22:53:26 | → | xwx joins (~george@user/george) |
| 22:54:00 | → | chisui joins (~chisui@200116b8663f48001b1ac13283537396.dip.versatel-1u1.de) |
| 22:55:28 | × | chisui quits (~chisui@200116b8663f48001b1ac13283537396.dip.versatel-1u1.de) (Client Quit) |
| 22:55:32 | × | sm[m] quits (~sm@plaintextaccounting/sm) (Quit: node-irc says goodbye) |
| 22:55:43 | → | chisui joins (~chisui@200116b8663f48001b1ac13283537396.dip.versatel-1u1.de) |
| 22:55:48 | → | sm[m] joins (~sm@plaintextaccounting/sm) |
| 22:57:20 | → | kline joins (~freedom0@libera/staff/kline) |
| 22:57:37 | → | allbery_b joins (~geekosaur@069-135-003-034.biz.spectrum.com) |
| 22:57:44 | ← | kline parts (~freedom0@libera/staff/kline) (*.bannana *.split) |
| 22:57:50 | → | tonyday joins (~user@202-65-93-249.ip4.superloop.com) |
| 22:58:37 | <chisui> | Hey, is there a special name for categories that have `a -> (a, a)` for all `a`? |
| 22:59:22 | <dolio> | If (a, a) means product, then every category with products has that. |
| 22:59:56 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 23:00:39 | → | dy joins (~dy@user/dy) |
| 23:00:41 | <tonyday> | Hello haskellers, how would I programmatically get core for a particular function, or just all of core if that's too hard? |
| 23:00:47 | × | geekosaur quits (~geekosaur@069-135-003-034.biz.spectrum.com) (Ping timeout: 252 seconds) |
| 23:01:18 | <boxscape> | tonyday -ddump-simpl |
| 23:02:30 | <chisui> | dolio: Yes, sorry I meant Product. Thank you, after looking again it's kind of in the Definition. |
| 23:02:32 | <tonyday> | thx, and if I'm sitting inside a haskell program, analysing some code? |
| 23:02:55 | <monochrom> | No. |
| 23:03:09 | <boxscape> | (I overread the "programmatically" part I think) |
| 23:03:19 | → | bilegeek joins (~bilegeek@2600:1008:b01a:69cf:a58b:76f2:71:1386) |
| 23:03:29 | <boxscape> | (and by overread I mean "missed") |
| 23:04:08 | → | pe200012_ joins (~pe200012@218.107.17.245) |
| 23:04:24 | × | boxscape quits (~boxscape@user/boxscape) (Quit: Connection closed) |
| 23:04:33 | <tonyday> | I dont even know if it's a thing. But I'd like to add the core for a function as a comment above the function itself. |
| 23:04:39 | × | pe200012 quits (~pe200012@119.131.208.84) (Ping timeout: 272 seconds) |
| 23:05:03 | <monochrom> | Manual copy-paste. |
| 23:05:48 | <tonyday> | Yep, that's what I'm doing now - just getting bored! |
| 23:07:23 | × | waleee quits (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 252 seconds) |
| 23:07:26 | <sm[m]> | tonyday: I bet you can script it up with elisp |
| 23:07:49 | → | waleee joins (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
| 23:08:02 | <tonyday> | I bet someone could but not me! |
| 23:08:37 | → | charles joins (~charles@user/ergo) |
| 23:09:42 | <monochrom> | emacs haskell-mode does have a command and hotkey for running "ghc -ddump-simpl" for you and pulling up the output in a buffer. |
| 23:09:55 | <monochrom> | But it's a new buffer, and it's uncustomizable. |
| 23:10:46 | <monochrom> | For example I don't always want -ddump-simpl, I may want -ddump-prep |
| 23:11:08 | × | Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
| 23:11:13 | <monochrom> | For example (less often) I may want -dsuppress-all or I may not. |
| 23:11:48 | <sm[m]> | look at that! almost there! |
| 23:12:16 | allbery_b | is now known as geekosaur |
| 23:12:21 | <monochrom> | Five more of these second-order effects later, I don't bother, I just run my ghc command in a terminal. |
| 23:12:57 | <sm[m]> | but haskell-language-server would be the best place for this, right ? |
| 23:14:07 | × | MasterControl quits (~Master@238.140.4.85.dynamic.wline.res.cust.swisscom.ch) (Read error: Connection reset by peer) |
| 23:14:47 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 272 seconds) |
| 23:15:50 | → | favonia joins (~favonia@user/favonia) |
| 23:16:18 | → | Wally joins (~Wally@dragonbox/forum-staff/wally) |
| 23:16:31 | <Wally> | https://wiki.haskell.org/IRC_channel just FYI it still says freenode in the page ;) |
| 23:16:55 | → | ServerStatsDisco joins (~serversta@2001:470:69fc:105::1a) |
| 23:18:21 | <monochrom> | But it's describing history. |
| 23:18:53 | → | ddellacosta joins (~ddellacos@86.106.121.72) |
| 23:19:08 | <monochrom> | But this is what's wrong with the haskell wiki. People are too polite to delete outdated information. |
| 23:19:26 | <monochrom> | I mean look at mentioning hpaste too. |
| 23:20:35 | <Morrow> | Imagine if people were the same way about bug fixing. "But it's part of the project's history!" |
| 23:20:35 | <monochrom> | You know what, I was too polite too. |
| 23:20:43 | <monochrom> | s/polite/chicken/ |
| 23:20:53 | <monochrom> | There, more honest and brave. |
| 23:20:54 | <Wally> | monochrom: yeah i'd fix it myself but I don't have an account :) |
| 23:21:48 | <yushyin> | who use that wiki anyway? |
| 23:22:00 | <Wally> | I just googled freenode |
| 23:22:08 | <Wally> | and saw it then noticed you were pointing at libera.chat |
| 23:22:13 | → | hendursaga joins (~weechat@user/hendursaga) |
| 23:22:16 | <Wally> | Thought it'd be good to bring it to your attention :) |
| 23:22:25 | <yushyin> | right :) |
| 23:22:35 | <hendursaga> | Good to be back! I had to wait 'til the onion was up |
| 23:23:01 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 244 seconds) |
| 23:24:15 | → | favonia joins (~favonia@user/favonia) |
| 23:24:34 | × | ddellacosta quits (~ddellacos@86.106.121.72) (Ping timeout: 244 seconds) |
| 23:26:44 | <hpc> | jeez, just looked at the user list and i can see why account creation is disabled |
| 23:27:15 | → | bfrk1 joins (~Thunderbi@200116b84508c2004c8614311807bd60.dip.versatel-1u1.de) |
| 23:27:32 | <davean> | Wally: hgolden will get you an account. |
| 23:27:35 | → | srid[m] joins (~sridmatri@2001:470:69fc:105::1c2) |
| 23:27:40 | × | bfrk quits (~Thunderbi@200116b845a103000156427e7b23f5f6.dip.versatel-1u1.de) (Ping timeout: 244 seconds) |
| 23:27:40 | bfrk1 | is now known as bfrk |
| 23:27:51 | <davean> | Account signup is closed but account issuance is not |
| 23:28:10 | <Wally> | It'd be easier if someone actually changed the stuff themselves. |
| 23:28:20 | <Wally> | I don't actually use haskell so |
| 23:28:28 | <hendursaga> | hpc: what user list now? |
| 23:28:42 | <hpc> | https://wiki.haskell.org/Special:ListUsers |
| 23:29:21 | × | dunham quits (~dunham@97-113-35-16.tukw.qwest.net) (Ping timeout: 272 seconds) |
| 23:29:30 | <srid[m]> | Is this IRC bridge or a pure Matrix room hosted at domain libera.chat (because the address certainly looks like one)? |
| 23:30:24 | <hpc> | nobody knows |
| 23:30:29 | <hpc> | the legends say this channel has always existed |
| 23:30:31 | → | MatrixTravelerbo joins (~voyagert2@2001:470:69fc:105::22) |
| 23:30:38 | <hpc> | other legends say this is irc |
| 23:30:52 | × | jpds quits (~jpds@tor-relay.zwiebeltoralf.de) (Ping timeout: 264 seconds) |
| 23:30:54 | × | xwx quits (~george@user/george) (Ping timeout: 264 seconds) |
| 23:30:57 | → | Jeanne-Kamikaze joins (~Jeanne-Ka@192.252.212.7) |
| 23:31:00 | <yushyin> | srid[m]: for me it's an irc channel |
| 23:31:17 | → | dunham joins (~dunham@97-113-35-16.tukw.qwest.net) |
| 23:31:35 | <srid[m]> | <hpc "other legends say this is irc"> Yet I can "quote reply" like I do on Matrix (I'm using Element.io right now). I wonder how that appears on IRC clients. |
| 23:31:56 | × | cnr quits (~cnr@user/cnr) (Remote host closed the connection) |
| 23:31:57 | <hpc> | literally, '<hpc "what i said"> what you said' |
| 23:32:24 | <ski> | srid[m] : uglily |
| 23:32:31 | srid[m] | uploaded an image: (77KiB) < https://libera.ems.host/_matrix/media/r0/download/matrix.org/mWKtkiTzHixEIkIpGqvpAtGj/image.png > |
| 23:32:46 | → | xwx joins (~george@user/george) |
| 23:32:54 | → | MorrowM[m] joins (~morrowmma@2001:470:69fc:105::1d0) |
| 23:33:42 | <sm[m]> | srid: it appears as a little more quoting that IRC users usually do. But pretty compact all the same (just an excerpt of what matrix users see) |
| 23:33:42 | <srid[m]> | Only missing marquees |
| 23:33:48 | → | gambpang joins (~ian@207.181.230.156) |
| 23:33:59 | <sm[m]> | but generally you want to be sparing with matrix client features in a portal room like this |
| 23:34:04 | <Morrow> | It seems to lag behind quite a bit |
| 23:34:21 | <Morrow> | In the Matrix -> IRC direction |
| 23:34:28 | → | guest0123 joins (~aaron@2601:602:a080:fa0:3d68:2a1a:74b4:e9fa) |
| 23:34:51 | MorrowM[m] | is now known as Morrow[m] |
| 23:35:44 | <ski> | preflex: xseen mmorrow |
| 23:36:03 | <sm[m]> | (the bridge is still in testing and could lag or be restarted any time. Most likely it'll be ready/announced in a day or two.) |
| 23:36:14 | × | dunham quits (~dunham@97-113-35-16.tukw.qwest.net) (Ping timeout: 264 seconds) |
| 23:36:24 | <Morrow[m]> | Sweet |
| 23:36:44 | → | ddellacosta joins (~ddellacos@89.46.62.92) |
| 23:40:20 | → | v01d4lph4 joins (~v01d4lph4@122.160.65.250) |
| 23:40:20 | × | v01d4lph4 quits (~v01d4lph4@122.160.65.250) (Changing host) |
| 23:40:20 | → | v01d4lph4 joins (~v01d4lph4@user/v01d4lph4) |
| 23:40:22 | <Axman6> | Anyone know of a matrix (protocol) implementation for Haskell? I had a go at making one once by auto generating servant bindings but didn't get very far |
| 23:40:32 | × | simmsb quits (~simmsb@2a02:c7f:343a:6d00:69bb:9905:870a:6538) (Remote host closed the connection) |
| 23:41:38 | × | ddellacosta quits (~ddellacos@89.46.62.92) (Ping timeout: 264 seconds) |
| 23:42:01 | × | tremon_ quits (~tremon@217-63-61-89.cable.dynamic.v4.ziggo.nl) (Quit: getting boxed in) |
| 23:43:28 | <sm[m]> | Axman6: nothing much I think |
| 23:43:39 | <sm[m]> | which is a pity |
| 23:43:49 | <sm[m]> | I was asking in #haskell:matrix.org yesterday about reworking glguy's glirc into a matrix client |
| 23:43:49 | <Axman6> | it is a very big API |
| 23:43:55 | <sm[m]> | is it ? |
| 23:43:55 | <Axman6> | yes pleased |
| 23:43:59 | <Axman6> | please* |
| 23:44:08 | Axman6 | Sent from my glirc |
| 23:44:09 | <sm[m]> | I keep hearing how easy it is to write bots etc. |
| 23:45:14 | × | v01d4lph4 quits (~v01d4lph4@user/v01d4lph4) (Ping timeout: 264 seconds) |
| 23:45:23 | sm[m] | finds just https://github.com/unclechu/hatrix and https://github.com/livmackintosh/matrix-sdk |
| 23:45:26 | <Axman6> | I imagine not implementing the whole spec isn't too difficult |
| 23:46:01 | <monochrom> | A bot can afford to just care about a limited subset of the API. |
| 23:46:16 | <Axman6> | yeah |
| 23:46:31 | <sm[m]> | there is apparently no good TUI client yet, everybody wants one, and the rusties are uncharacteristically slow off the mark - we could get the jump on them |
| 23:46:35 | <Axman6> | a chat client can probably get away with a reduced API too |
| 23:46:44 | <Axman6> | ha, yeah |
| 23:46:53 | <glguy> | I think it would probably be challenging to adapt my client to another protocol |
| 23:47:12 | <glguy> | I went out of my way to expose all the protocol details so I would have access to everything |
| 23:49:03 | × | caubert quits (~caubert@136.244.111.235) (Quit: WeeChat 3.1) |
| 23:49:36 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 23:50:14 | → | caubert joins (~caubert@136.244.111.235) |
| 23:51:17 | sm[m] | notes the matrix test bridge is dropping some IRC stuff, do not rely on it yet |
| 23:51:22 | → | simmsb joins (~simmsb@2a02:c7f:343a:6d00:69bb:9905:870a:6538) |
| 23:52:51 | → | ddellacosta joins (~ddellacos@86.106.121.34) |
| 23:52:58 | <sm> | glguy: if someone didn't care about merging or multi protocols, just matrix, I guess yours would still be a useful starting point ? They could use the TUI and just rip out the irc stuff ? |
| 23:53:43 | <glguy> | sm: perhaps. I don't know enough about matrix to know how hard it would be, tbh |
| 23:53:55 | <glguy> | I just know I didn't try to abstract much of anything |
| 23:54:11 | <sm> | 1. rip out irc stuff 2. ... 3. PROFIT |
| 23:55:10 | → | dunham joins (~dunham@97-113-35-16.tukw.qwest.net) |
| 23:55:48 | × | plateno quits (~plateno@safiro.ggpz.space) (Changing host) |
| 23:55:48 | → | plateno joins (~plateno@user/plateno) |
| 23:56:15 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 23:57:18 | × | ddellacosta quits (~ddellacos@86.106.121.34) (Ping timeout: 264 seconds) |
| 23:57:23 | × | Deide quits (~Deide@user/deide) (Quit: Seeee yaaaa) |
| 23:57:41 | × | Frosky8 quits (~Frosky@n220246094251.netvigator.com) (Quit: Client closed) |
| 23:58:32 | <sm> | glguy: I have to report some user feedback. I installed glirc the other day and gave up when I could not figure out how to exit :) |
| 23:59:11 | × | Gurkenglas quits (~Gurkengla@dslb-088-075-022-175.088.075.pools.vodafone-ip.de) (Ping timeout: 244 seconds) |
| 23:59:49 | <Axman6> | sm: how hard is /exit? :P |
| 23:59:53 | <Axman6> | or /help |
All times are in UTC on 2021-05-27.