| 2022-08-26 00:02:09 +0200 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 2022-08-26 00:03:43 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 00:04:06 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2022-08-26 00:04:50 +0200 | jinsun | (~jinsun@user/jinsun) |
| 2022-08-26 00:10:31 +0200 | waleee | (~waleee@h-176-10-137-138.na.cust.bahnhof.se) |
| 2022-08-26 00:11:52 +0200 | adanwan_ | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-08-26 00:11:52 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Quit: _) |
| 2022-08-26 00:15:04 +0200 | Colere | (~colere@about/linux/staff/sauvin) (Read error: Connection reset by peer) |
| 2022-08-26 00:16:11 +0200 | Colere | (~colere@about/linux/staff/sauvin) |
| 2022-08-26 00:16:56 +0200 | beteigeuze | (~Thunderbi@bl11-28-222.dsl.telepac.pt) (Quit: beteigeuze) |
| 2022-08-26 00:17:13 +0200 | beteigeuze | (~Thunderbi@bl11-28-222.dsl.telepac.pt) |
| 2022-08-26 00:19:52 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Remote host closed the connection) |
| 2022-08-26 00:21:57 +0200 | rik_tig | (~rik_tig@user/rik-tig/x-5430394) (Quit: Leaving) |
| 2022-08-26 00:22:05 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-26 00:22:11 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2022-08-26 00:23:32 +0200 | qhong_ | (~qhong@rescomp-21-400677.stanford.edu) |
| 2022-08-26 00:24:02 +0200 | hometown | (~blurb@96.45.2.121) |
| 2022-08-26 00:24:12 +0200 | neightchan | (~nate@98.45.169.16) |
| 2022-08-26 00:24:14 +0200 | chimp_ | (~Psybur@c-76-123-45-25.hsd1.va.comcast.net) |
| 2022-08-26 00:24:32 +0200 | lambdap232 | (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 2022-08-26 00:24:48 +0200 | ell9 | (~ellie@user/ellie) |
| 2022-08-26 00:25:20 +0200 | jmct_ | (sid160793@id-160793.tinside.irccloud.com) |
| 2022-08-26 00:25:20 +0200 | ysh___ | (sid6017@id-6017.ilkley.irccloud.com) |
| 2022-08-26 00:25:21 +0200 | gmc_ | (sid58314@id-58314.ilkley.irccloud.com) |
| 2022-08-26 00:25:22 +0200 | saolsen_ | (sid26430@id-26430.lymington.irccloud.com) |
| 2022-08-26 00:25:22 +0200 | tritlo_ | (sid58727@user/tritlo) |
| 2022-08-26 00:25:23 +0200 | christiaanb_ | (sid84827@id-84827.lymington.irccloud.com) |
| 2022-08-26 00:25:25 +0200 | nonzen | (~nonzen@user/nonzen) |
| 2022-08-26 00:25:28 +0200 | koz_ | (~koz@121.99.240.58) |
| 2022-08-26 00:25:28 +0200 | red-snail1 | (~snail@static.151.210.203.116.clients.your-server.de) |
| 2022-08-26 00:25:32 +0200 | jackdk_ | (sid373013@cssa/jackdk) |
| 2022-08-26 00:25:33 +0200 | acertain_ | (sid470584@id-470584.hampstead.irccloud.com) |
| 2022-08-26 00:25:35 +0200 | jtomas | (~jtomas@56.red-88-17-82.dynamicip.rima-tde.net) (Ping timeout: 252 seconds) |
| 2022-08-26 00:25:36 +0200 | natto17 | (~natto@140.238.225.67) |
| 2022-08-26 00:25:39 +0200 | megeve_ | (sid523379@id-523379.hampstead.irccloud.com) |
| 2022-08-26 00:25:42 +0200 | hendi_ | (sid489601@id-489601.lymington.irccloud.com) |
| 2022-08-26 00:25:45 +0200 | pierrot | (~pi@user/pierrot) |
| 2022-08-26 00:25:46 +0200 | feliix42_ | (~felix@gibbs.uberspace.de) |
| 2022-08-26 00:25:47 +0200 | loonycyborg_ | (loonycybor@chantal.wesnoth.org) |
| 2022-08-26 00:25:47 +0200 | orcus | (~orcus@user/brprice) |
| 2022-08-26 00:25:48 +0200 | Philonous | (~Philonous@user/philonous) |
| 2022-08-26 00:25:58 +0200 | micro_ | (~micro@user/micro) (Ping timeout: 240 seconds) |
| 2022-08-26 00:26:08 +0200 | jocke-l | (jocke-l@a.x0.is) (Ping timeout: 255 seconds) |
| 2022-08-26 00:26:08 +0200 | statusfailed | (~statusfai@statusfailed.com) (Ping timeout: 255 seconds) |
| 2022-08-26 00:26:15 +0200 | ProofTechnique_ | (sid79547@id-79547.ilkley.irccloud.com) |
| 2022-08-26 00:26:17 +0200 | RMSBach | (~guygastin@137.184.131.156) |
| 2022-08-26 00:26:19 +0200 | dexter1 | (~dexter@li655-253.members.linode.com) (Ping timeout: 252 seconds) |
| 2022-08-26 00:26:28 +0200 | Jon | (jon@dow.land) (Ping timeout: 244 seconds) |
| 2022-08-26 00:26:31 +0200 | PotatoGim_ | (sid99505@id-99505.lymington.irccloud.com) |
| 2022-08-26 00:26:32 +0200 | tom_ | (~tom@2a00:23c8:970c:4801:5b6a:e81b:79dc:f684) |
| 2022-08-26 00:26:36 +0200 | jakesyl____ | (sid56879@id-56879.hampstead.irccloud.com) |
| 2022-08-26 00:26:44 +0200 | SrPx_ | (sid108780@id-108780.uxbridge.irccloud.com) |
| 2022-08-26 00:27:21 +0200 | Rembane_ | (~Rembane@li346-36.members.linode.com) (Ping timeout: 268 seconds) |
| 2022-08-26 00:27:21 +0200 | mrmonday | (~robert@what.i.hope.is.not.a.tabernaevagant.es) (Ping timeout: 268 seconds) |
| 2022-08-26 00:27:21 +0200 | robertm | (robertm@lattice.rojoma.com) (Ping timeout: 268 seconds) |
| 2022-08-26 00:27:25 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2022-08-26 00:27:44 +0200 | peutri_ | (~peutri@bobo.desast.re) |
| 2022-08-26 00:27:50 +0200 | haasn` | (~nand@haasn.dev) |
| 2022-08-26 00:27:52 +0200 | nckx_ | (~nckx@tobias.gr) |
| 2022-08-26 00:27:58 +0200 | Patternm1ster | (~georg@li1192-118.members.linode.com) |
| 2022-08-26 00:28:03 +0200 | lisq | (~quassel@lis.moe) |
| 2022-08-26 00:28:12 +0200 | xnbya2 | (~xnbya@2a01:4f8:c17:cbdd::1) |
| 2022-08-26 00:28:18 +0200 | glider_ | (~glider@user/glider) |
| 2022-08-26 00:28:18 +0200 | bjobjo_ | (~bjobjo@user/bjobjo) |
| 2022-08-26 00:28:25 +0200 | kaol_ | (~kaol@94-237-42-30.nl-ams1.upcloud.host) |
| 2022-08-26 00:28:27 +0200 | pretty_d1 | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-08-26 00:28:29 +0200 | Fischmiep | (~Fischmiep@user/Fischmiep) |
| 2022-08-26 00:28:34 +0200 | tristanC_ | (~tristanC@user/tristanc) |
| 2022-08-26 00:28:45 +0200 | juri__ | (~juri@84-19-175-179.pool.ovpn.com) |
| 2022-08-26 00:28:51 +0200 | oo_migue1 | (~pi@77.252.47.226) |
| 2022-08-26 00:29:03 +0200 | aforemny_ | (~aforemny@static.248.158.34.188.clients.your-server.de) |
| 2022-08-26 00:29:28 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2022-08-26 00:29:39 +0200 | dtman34_ | (~dtman34@2601:446:4400:2ad9:9069:db35:869c:4723) |
| 2022-08-26 00:31:26 +0200 | x88x88x | (~x88x88x@2001:19f0:5:39a8:5400:3ff:feb6:73cb) |
| 2022-08-26 00:31:48 +0200 | TheCoffeMaker_ | (~TheCoffeM@200.126.129.149) |
| 2022-08-26 00:31:52 +0200 | ubert | (~Thunderbi@77.119.173.191.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2022-08-26 00:33:04 +0200 | sagax | (~sagax_nb@user/sagax) (*.net *.split) |
| 2022-08-26 00:33:04 +0200 | notzmv | (~zmv@user/notzmv) (*.net *.split) |
| 2022-08-26 00:33:04 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (*.net *.split) |
| 2022-08-26 00:33:04 +0200 | aeka | (~aeka@user/hiruji) (*.net *.split) |
| 2022-08-26 00:33:04 +0200 | tom__ | (~tom@2a00:23c8:970c:4801:5b6a:e81b:79dc:f684) (*.net *.split) |
| 2022-08-26 00:33:04 +0200 | nckx | (~nckx@tobias.gr) (*.net *.split) |
| 2022-08-26 00:33:04 +0200 | sibnull[m] | (~sibnullma@2001:470:69fc:105::1:1291) (*.net *.split) |
| 2022-08-26 00:33:04 +0200 | phuegrvs[m] | (~phuegrvsm@2001:470:69fc:105::1:65e4) (*.net *.split) |
| 2022-08-26 00:33:04 +0200 | dtman34 | (~dtman34@2601:446:4400:2ad9:e4dc:49f0:fa32:b190) (*.net *.split) |
| 2022-08-26 00:33:04 +0200 | feliix42 | (~felix@gibbs.uberspace.de) (*.net *.split) |
| 2022-08-26 00:33:04 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (*.net *.split) |
| 2022-08-26 00:33:04 +0200 | natto | (~natto@140.238.225.67) (*.net *.split) |
| 2022-08-26 00:33:04 +0200 | aveltras[m] | (~aveltrasm@2001:470:69fc:105::3ef9) (*.net *.split) |
| 2022-08-26 00:33:04 +0200 | christiaanb | (sid84827@2a03:5180:f:2::1:4b5b) (*.net *.split) |
| 2022-08-26 00:33:04 +0200 | SrPx | (sid108780@id-108780.uxbridge.irccloud.com) (*.net *.split) |
| 2022-08-26 00:33:04 +0200 | jackdk | (sid373013@cssa/jackdk) (*.net *.split) |
| 2022-08-26 00:33:04 +0200 | jakesyl___ | (sid56879@id-56879.hampstead.irccloud.com) (*.net *.split) |
| 2022-08-26 00:33:04 +0200 | loonycyborg | (loonycybor@wesnoth/developer/loonycyborg) (*.net *.split) |
| 2022-08-26 00:33:04 +0200 | peutri | (~peutri@bobo.desast.re) (*.net *.split) |
| 2022-08-26 00:33:04 +0200 | bjobjo | (~bjobjo@user/bjobjo) (*.net *.split) |
| 2022-08-26 00:33:04 +0200 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) (*.net *.split) |
| 2022-08-26 00:33:04 +0200 | juri_ | (~juri@84-19-175-179.pool.ovpn.com) (*.net *.split) |
| 2022-08-26 00:33:04 +0200 | Typedfern | (~Typedfern@202.red-83-37-35.dynamicip.rima-tde.net) (*.net *.split) |
| 2022-08-26 00:33:04 +0200 | Psybur | (~Psybur@c-76-123-45-25.hsd1.va.comcast.net) (*.net *.split) |
| 2022-08-26 00:33:04 +0200 | xnbya | (~xnbya@2a01:4f8:c17:cbdd::1) (*.net *.split) |
| 2022-08-26 00:33:04 +0200 | haasn | (~nand@haasn.dev) (*.net *.split) |
| 2022-08-26 00:33:04 +0200 | Patternmaster | (~georg@user/Patternmaster) (*.net *.split) |
| 2022-08-26 00:33:04 +0200 | natechan | (~nate@98.45.169.16) (*.net *.split) |
| 2022-08-26 00:33:04 +0200 | heartburn | (~gass@2a00:d880:3:1::b1e4:b241) (*.net *.split) |
| 2022-08-26 00:33:04 +0200 | koz | (~koz@121.99.240.58) (*.net *.split) |
| 2022-08-26 00:33:04 +0200 | tristanC | (~tristanC@user/tristanc) (*.net *.split) |
| 2022-08-26 00:33:04 +0200 | oo_miguel | (~pi@77.252.47.226) (*.net *.split) |
| 2022-08-26 00:33:04 +0200 | qhong | (~qhong@rescomp-21-400677.stanford.edu) (*.net *.split) |
| 2022-08-26 00:33:04 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (*.net *.split) |
| 2022-08-26 00:33:04 +0200 | ell | (~ellie@user/ellie) (*.net *.split) |
| 2022-08-26 00:33:04 +0200 | glider | (~glider@user/glider) (*.net *.split) |
| 2022-08-26 00:33:04 +0200 | pierrot_ | (~pi@user/pierrot) (*.net *.split) |
| 2022-08-26 00:33:04 +0200 | orcus- | (~orcus@user/brprice) (*.net *.split) |
| 2022-08-26 00:33:04 +0200 | Fischmie1 | (~Fischmiep@user/Fischmiep) (*.net *.split) |
| 2022-08-26 00:33:04 +0200 | Philonous_ | (~Philonous@user/philonous) (*.net *.split) |
| 2022-08-26 00:33:04 +0200 | kaol | (~kaol@94-237-42-30.nl-ams1.upcloud.host) (*.net *.split) |
| 2022-08-26 00:33:04 +0200 | red-snail | (~snail@static.151.210.203.116.clients.your-server.de) (*.net *.split) |
| 2022-08-26 00:33:04 +0200 | sloorush | (~sloorush@52.187.184.81) (*.net *.split) |
| 2022-08-26 00:33:04 +0200 | megeve | (sid523379@id-523379.hampstead.irccloud.com) (*.net *.split) |
| 2022-08-26 00:33:04 +0200 | ysh__ | (sid6017@id-6017.ilkley.irccloud.com) (*.net *.split) |
| 2022-08-26 00:33:04 +0200 | jmct | (sid160793@id-160793.tinside.irccloud.com) (*.net *.split) |
| 2022-08-26 00:33:05 +0200 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) (*.net *.split) |
| 2022-08-26 00:33:05 +0200 | ProofTechnique | (sid79547@id-79547.ilkley.irccloud.com) (*.net *.split) |
| 2022-08-26 00:33:05 +0200 | tritlo | (sid58727@user/tritlo) (*.net *.split) |
| 2022-08-26 00:33:05 +0200 | hendi | (sid489601@id-489601.lymington.irccloud.com) (*.net *.split) |
| 2022-08-26 00:33:05 +0200 | kadoban1 | (~kadoban@user/kadoban) (*.net *.split) |
| 2022-08-26 00:33:05 +0200 | guygastineau | (~guygastin@137.184.131.156) (*.net *.split) |
| 2022-08-26 00:33:05 +0200 | acertain | (sid470584@id-470584.hampstead.irccloud.com) (*.net *.split) |
| 2022-08-26 00:33:05 +0200 | x22x22x | (~x88x88x@2001:19f0:5:39a8:5400:3ff:feb6:73cb) (*.net *.split) |
| 2022-08-26 00:33:05 +0200 | gmc | (sid58314@id-58314.ilkley.irccloud.com) (*.net *.split) |
| 2022-08-26 00:33:05 +0200 | PotatoGim | (sid99505@id-99505.lymington.irccloud.com) (*.net *.split) |
| 2022-08-26 00:33:05 +0200 | lisq_ | (~quassel@lis.moe) (*.net *.split) |
| 2022-08-26 00:33:05 +0200 | nonzen_ | (~nonzen@user/nonzen) (*.net *.split) |
| 2022-08-26 00:33:05 +0200 | saolsen | (sid26430@id-26430.lymington.irccloud.com) (*.net *.split) |
| 2022-08-26 00:33:05 +0200 | aforemny | (~aforemny@static.248.158.34.188.clients.your-server.de) (*.net *.split) |
| 2022-08-26 00:33:05 +0200 | lambdap23 | (~lambdap@static.167.190.119.168.clients.your-server.de) (*.net *.split) |
| 2022-08-26 00:33:05 +0200 | offtherock | (~blurb@96.45.2.121) (*.net *.split) |
| 2022-08-26 00:33:05 +0200 | jmct_ | jmct |
| 2022-08-26 00:33:05 +0200 | jackdk_ | jackdk |
| 2022-08-26 00:33:05 +0200 | ProofTechnique_ | ProofTechnique |
| 2022-08-26 00:33:05 +0200 | saolsen_ | saolsen |
| 2022-08-26 00:33:06 +0200 | tritlo_ | tritlo |
| 2022-08-26 00:33:06 +0200 | nckx_ | nckx |
| 2022-08-26 00:33:07 +0200 | megeve_ | megeve |
| 2022-08-26 00:33:08 +0200 | ell9 | ell |
| 2022-08-26 00:33:08 +0200 | lambdap232 | lambdap23 |
| 2022-08-26 00:33:09 +0200 | christiaanb_ | christiaanb |
| 2022-08-26 00:33:10 +0200 | SrPx_ | SrPx |
| 2022-08-26 00:33:10 +0200 | haasn` | haasn |
| 2022-08-26 00:33:10 +0200 | acertain_ | acertain |
| 2022-08-26 00:33:10 +0200 | hendi_ | hendi |
| 2022-08-26 00:33:10 +0200 | gmc_ | gmc |
| 2022-08-26 00:33:10 +0200 | PotatoGim_ | PotatoGim |
| 2022-08-26 00:33:12 +0200 | aeka` | (~aeka@2606:6080:2001:9:2679:addd:655:8142) |
| 2022-08-26 00:33:36 +0200 | aeka` | aeka |
| 2022-08-26 00:33:53 +0200 | heartburn | (~gass@2a00:d880:3:1::b1e4:b241) |
| 2022-08-26 00:35:57 +0200 | <jackdk> | monochrom: what do you mean by "ride the coat-tail" here? |
| 2022-08-26 00:36:46 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-08-26 00:39:13 +0200 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) |
| 2022-08-26 00:39:52 +0200 | Typedfern | (~Typedfern@202.red-83-37-35.dynamicip.rima-tde.net) |
| 2022-08-26 00:39:56 +0200 | michalz | (~michalz@185.246.204.75) (Remote host closed the connection) |
| 2022-08-26 00:39:57 +0200 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) |
| 2022-08-26 00:42:16 +0200 | merijn | (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) |
| 2022-08-26 00:42:19 +0200 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 2022-08-26 00:42:22 +0200 | kadoban1 | (~kadoban@user/kadoban) |
| 2022-08-26 00:43:58 +0200 | hgolden | (~Howard@cpe-172-251-233-141.socal.res.rr.com) (Remote host closed the connection) |
| 2022-08-26 00:45:07 +0200 | sibnull[m] | (~sibnullma@2001:470:69fc:105::1:1291) |
| 2022-08-26 00:45:59 +0200 | aveltras[m] | (~aveltrasm@2001:470:69fc:105::3ef9) |
| 2022-08-26 00:46:24 +0200 | phuegrvs[m] | (~phuegrvsm@2001:470:69fc:105::1:65e4) |
| 2022-08-26 00:47:57 +0200 | hgolden | (~Howard@cpe-172-251-233-141.socal.res.rr.com) |
| 2022-08-26 00:50:08 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 00:50:29 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-08-26 00:51:06 +0200 | toeffel | (~toeffel@user/toeffel) |
| 2022-08-26 00:53:43 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Quit: Lost terminal) |
| 2022-08-26 00:54:17 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2022-08-26 00:54:36 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-08-26 00:54:39 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-08-26 00:55:48 +0200 | pretty_d1 | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
| 2022-08-26 00:56:13 +0200 | Hayro | (~vpn@91.93.236.226) |
| 2022-08-26 01:00:46 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-08-26 01:02:18 +0200 | jinsun | (~jinsun@user/jinsun) |
| 2022-08-26 01:03:02 +0200 | xff0x | (~xff0x@2405:6580:b080:900:ae06:3e97:decd:45dd) (Ping timeout: 255 seconds) |
| 2022-08-26 01:03:22 +0200 | Hayro | (~vpn@91.93.236.226) () |
| 2022-08-26 01:03:39 +0200 | Rembane | (~Rembane@li346-36.members.linode.com) |
| 2022-08-26 01:04:32 +0200 | Hash | OpenSource |
| 2022-08-26 01:06:08 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 268 seconds) |
| 2022-08-26 01:06:28 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-08-26 01:07:04 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 01:08:30 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-26 01:08:38 +0200 | kimjetwav | (~user@2607:fea8:235e:b600:7f88:edef:fe86:249f) |
| 2022-08-26 01:10:14 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-08-26 01:10:35 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-08-26 01:12:32 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 01:13:55 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-26 01:14:16 +0200 | xff0x | (~xff0x@2405:6580:b080:900:6f8a:e9c1:3bc4:a024) |
| 2022-08-26 01:15:03 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 01:15:05 +0200 | mrmonday | (~robert@what.i.hope.is.not.a.tabernaevagant.es) |
| 2022-08-26 01:15:18 +0200 | merijn | (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2022-08-26 01:15:44 +0200 | Jon | (jon@dow.land) |
| 2022-08-26 01:17:17 +0200 | luffy | (~chenqisu1@183.217.200.212) |
| 2022-08-26 01:18:03 +0200 | micro | (~micro@user/micro) |
| 2022-08-26 01:19:43 +0200 | eikke | (~NicolasT@user/NicolasT) |
| 2022-08-26 01:19:59 +0200 | PiDelport | (uid25146@id-25146.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-08-26 01:20:45 +0200 | <eikke> | The cabal.package docs say there can be `progname-options` options in package sections, like `ghc-options`. However, is there a list of valid `progname`s? `cc-options` (like in a cabal file) seem unsupported |
| 2022-08-26 01:21:51 +0200 | dexter1 | (dexter@2a01:7e00::f03c:91ff:fe86:59ec) |
| 2022-08-26 01:24:03 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-08-26 01:24:20 +0200 | robertm | (robertm@lattice.rojoma.com) |
| 2022-08-26 01:26:14 +0200 | <geekosaur> | https://cabal.readthedocs.io/en/3.6/cabal-package.html#build-information shows the unpacked names; cc-options is listed as valid for library and executable build information |
| 2022-08-26 01:26:26 +0200 | <geekosaur> | but it probably won't be used unless you actually have C sources |
| 2022-08-26 01:27:18 +0200 | <eikke> | geekosaur: that's in the package's cabal file, I'm referring to cabal.project |
| 2022-08-26 01:27:19 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2022-08-26 01:29:08 +0200 | <eikke> | Turns out `gcc-options` in the `program-options` section does work. But that seems a bit weird when comparing to `cc-options` in the package config, and not all C compilers are GCC |
| 2022-08-26 01:30:01 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
| 2022-08-26 01:30:58 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-12.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2022-08-26 01:31:26 +0200 | dsrt^ | (~dsrt@96.70.11.181) |
| 2022-08-26 01:31:33 +0200 | <geekosaur> | odd |
| 2022-08-26 01:31:48 +0200 | <geekosaur> | looks to me like it should work. what cabal-install version? |
| 2022-08-26 01:32:49 +0200 | jocke-l | (jocke-l@a.x0.is) |
| 2022-08-26 01:32:49 +0200 | toeffel | (~toeffel@user/toeffel) (Quit: quit) |
| 2022-08-26 01:33:43 +0200 | statusfailed | (~statusfai@statusfailed.com) |
| 2022-08-26 01:39:11 +0200 | <eikke> | 3.2.0.0 |
| 2022-08-26 01:40:04 +0200 | finsternis | (~X@23.226.237.192) (Read error: Connection reset by peer) |
| 2022-08-26 01:40:10 +0200 | <geekosaur> | that's a bit old. 3.8.1.0 just came out |
| 2022-08-26 01:40:20 +0200 | <geekosaur> | and I had several problems with 3.2 |
| 2022-08-26 01:40:39 +0200 | <eikke> | It's what comes with Fedora 36 :) |
| 2022-08-26 01:41:54 +0200 | <geekosaur> | this is why most of us use ghcup instead of relying on outdated distro packages |
| 2022-08-26 01:42:14 +0200 | <geekosaur> | (I'm on Ubuntu, it's even older…) |
| 2022-08-26 01:46:41 +0200 | td_ | (~td@94.134.91.83) (Quit: waking up from the american dream ...) |
| 2022-08-26 01:47:29 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2022-08-26 01:49:50 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-26 01:53:50 +0200 | <troydm> | tdammers: ic, thanks for explanation |
| 2022-08-26 01:57:26 +0200 | adanwan_ | (~adanwan@gateway/tor-sasl/adanwan) (Quit: _) |
| 2022-08-26 01:57:47 +0200 | <johnw> | does anyone know of determinism problems using the Decimal library? |
| 2022-08-26 01:58:12 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-08-26 02:01:02 +0200 | xff0x | (~xff0x@2405:6580:b080:900:6f8a:e9c1:3bc4:a024) (Quit: xff0x) |
| 2022-08-26 02:01:45 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-08-26 02:02:00 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-08-26 02:04:07 +0200 | xff0x | (~xff0x@ai071162.d.east.v6connect.net) |
| 2022-08-26 02:04:39 +0200 | td_ | (~td@94.134.91.83) |
| 2022-08-26 02:05:06 +0200 | <glguy> | johnw: Just glancing at the package (I haven't used it before) I imagine you could run into overflow issues given decimalPlaces :: Word8, but I'd be surprised if the Integer arithmetic had determinism issues |
| 2022-08-26 02:09:21 +0200 | TonyStone | (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) (Quit: Leaving) |
| 2022-08-26 02:09:48 +0200 | TonyStone | (~TonyStone@2603-7080-8607-c36a-a148-a5a9-53c4-68f2.res6.spectrum.com) |
| 2022-08-26 02:10:05 +0200 | dsrt^ | (~dsrt@96.70.11.181) (Ping timeout: 255 seconds) |
| 2022-08-26 02:10:30 +0200 | TonyStone | (~TonyStone@2603-7080-8607-c36a-a148-a5a9-53c4-68f2.res6.spectrum.com) (Remote host closed the connection) |
| 2022-08-26 02:13:42 +0200 | TonyStone | (~TonyStone@2603-7080-8607-c36a-a148-a5a9-53c4-68f2.res6.spectrum.com) |
| 2022-08-26 02:13:56 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds) |
| 2022-08-26 02:15:26 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-08-26 02:16:06 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 02:17:53 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
| 2022-08-26 02:17:54 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-08-26 02:30:46 +0200 | money | (~Gambino@pool-100-11-18-203.phlapa.fios.verizon.net) |
| 2022-08-26 02:30:46 +0200 | money | (~Gambino@pool-100-11-18-203.phlapa.fios.verizon.net) (Changing host) |
| 2022-08-26 02:30:46 +0200 | money | (~Gambino@user/polo) |
| 2022-08-26 02:30:48 +0200 | money | Polo |
| 2022-08-26 02:33:32 +0200 | dsrt^ | (~dsrt@96.70.11.181) |
| 2022-08-26 02:34:21 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-08-26 02:36:38 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 255 seconds) |
| 2022-08-26 02:37:32 +0200 | eikke | (~NicolasT@user/NicolasT) (Ping timeout: 255 seconds) |
| 2022-08-26 02:44:33 +0200 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2022-08-26 02:46:15 +0200 | Polo | (~Gambino@user/polo) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-08-26 02:46:32 +0200 | notzmv | (~zmv@user/notzmv) |
| 2022-08-26 02:47:24 +0200 | king_gs | (~Thunderbi@187.201.216.244) |
| 2022-08-26 02:51:05 +0200 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
| 2022-08-26 02:51:07 +0200 | liz | (~liz@host86-157-124-38.range86-157.btcentralplus.com) (Remote host closed the connection) |
| 2022-08-26 02:54:55 +0200 | hueso | (~root@user/hueso) (Quit: No Ping reply in 210 seconds.) |
| 2022-08-26 02:55:21 +0200 | hueso | (~root@user/hueso) |
| 2022-08-26 03:04:41 +0200 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-08-26 03:06:14 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 03:07:01 +0200 | king_gs1 | (~Thunderbi@2806:103e:29:da7a:1f74:531c:dec2:7aec) |
| 2022-08-26 03:08:11 +0200 | king_gs | (~Thunderbi@187.201.216.244) (Ping timeout: 260 seconds) |
| 2022-08-26 03:08:12 +0200 | king_gs1 | king_gs |
| 2022-08-26 03:10:31 +0200 | xff0x | (~xff0x@ai071162.d.east.v6connect.net) (Ping timeout: 260 seconds) |
| 2022-08-26 03:11:52 +0200 | merijn | (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) |
| 2022-08-26 03:13:53 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2022-08-26 03:16:12 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 268 seconds) |
| 2022-08-26 03:18:41 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 260 seconds) |
| 2022-08-26 03:25:14 +0200 | causal | (~user@50.35.83.177) |
| 2022-08-26 03:25:44 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-26 03:25:52 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-08-26 03:28:50 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 255 seconds) |
| 2022-08-26 03:30:23 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2022-08-26 03:36:10 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 03:40:32 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-26 03:40:48 +0200 | shailangsa | (~shailangs@host86-185-98-81.range86-185.btcentralplus.com) () |
| 2022-08-26 03:41:45 +0200 | beteigeuze | (~Thunderbi@bl11-28-222.dsl.telepac.pt) (Ping timeout: 252 seconds) |
| 2022-08-26 03:44:36 +0200 | SeanKing[m] | (~seankingm@2001:470:69fc:105::cf9c) |
| 2022-08-26 03:46:25 +0200 | merijn | (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
| 2022-08-26 03:51:24 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2022-08-26 03:52:16 +0200 | iqubic | (~iqubic@2601:602:9502:c70:8762:e35e:374b:9ef9) |
| 2022-08-26 03:56:58 +0200 | <Axman6> | johnw: Scientific might also be an option, but I think all these representations can run into calculations that run forever (the Word8 there might save you though) |
| 2022-08-26 03:58:20 +0200 | <Axman6> | (Hmmmm, the Decimal divide function looks like it could be really usefor for the project I'm working on at the moment...) |
| 2022-08-26 04:01:51 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-08-26 04:01:52 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-08-26 04:02:09 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-08-26 04:02:59 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-08-26 04:07:20 +0200 | iqubic | (~iqubic@2601:602:9502:c70:8762:e35e:374b:9ef9) (Quit: Client closed) |
| 2022-08-26 04:07:55 +0200 | Guest5647 | (~polo@user/polo) |
| 2022-08-26 04:11:45 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 04:15:24 +0200 | td_ | (~td@94.134.91.83) (Ping timeout: 268 seconds) |
| 2022-08-26 04:16:57 +0200 | td_ | (~td@94.134.91.103) |
| 2022-08-26 04:20:31 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-08-26 04:20:37 +0200 | adanwan_ | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-08-26 04:22:10 +0200 | <Axman6> | Possibly a #ghc question, but trying here first - if you have a literal in a compiled file for a ByteString, does anyone know how it's stored in the compiled binary? "foo |
| 2022-08-26 04:22:45 +0200 | shailangsa | (~shailangs@host86-185-98-81.range86-185.btcentralplus.com) |
| 2022-08-26 04:22:54 +0200 | <Axman6> | ""foo" :: ByteString - wondering if that goes voa String with the fromStringN call or if there's enough optimisation to store it as a C(ish) string and reference that directly |
| 2022-08-26 04:24:28 +0200 | <johnw> | > 15.034465284692086 ** 3.466120406090667 |
| 2022-08-26 04:24:30 +0200 | <lambdabot> | 12020.670425990642 |
| 2022-08-26 04:24:42 +0200 | <johnw> | on most machines, that answer is different |
| 2022-08-26 04:25:00 +0200 | <johnw> | Intel and M1 Mac give 12020.670425990644 |
| 2022-08-26 04:25:57 +0200 | <dolio> | Axman6: I think GHC builds regular strings from something more compact, like C strings. And then there are probably rewrite rules for directly building bytestrings without an intermediate String. |
| 2022-08-26 04:26:18 +0200 | <c_wraith> | Axman6: if the Lift instance is any good at all, it stores it as a BytesPrimL |
| 2022-08-26 04:26:33 +0200 | <c_wraith> | Axman6: which is literally an Addr# |
| 2022-08-26 04:26:53 +0200 | <c_wraith> | which I'd assume is a pointer into the text segment |
| 2022-08-26 04:28:17 +0200 | <c_wraith> | https://hackage.haskell.org/package/bytestring-0.11.3.1/docs/src/Data.ByteString.Internal.html#lin… |
| 2022-08-26 04:28:34 +0200 | <c_wraith> | Well, if template-haskell is new enough, it does |
| 2022-08-26 04:28:53 +0200 | <c_wraith> | I suppose BytesPrimL was added in 2.16 |
| 2022-08-26 04:29:14 +0200 | kimjetwav | (~user@2607:fea8:235e:b600:7f88:edef:fe86:249f) (Quit: ERC 5.4.1 (IRC client for GNU Emacs 29.0.50)) |
| 2022-08-26 04:29:40 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-08-26 04:29:48 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-26 04:29:54 +0200 | <c_wraith> | Otherwise it uses a StringPrimL, which is also an Addr#, but it implies conversion to and from characters which may not be appropriate |
| 2022-08-26 04:30:49 +0200 | <Axman6> | hmm - wasn;t thinking about TH, but thats interesting too. I remember seeing in the past String literals being compiled as fromCString "some string literal"# or whatever, I wondered if the bytestring would point directly to that |
| 2022-08-26 04:31:26 +0200 | <Axman6> | c_wraith: how new is that version of TH? |
| 2022-08-26 04:31:37 +0200 | <c_wraith> | no idea! |
| 2022-08-26 04:31:59 +0200 | <c_wraith> | Looks like ghc 8.10 |
| 2022-08-26 04:32:34 +0200 | <c_wraith> | So all the "modern" versions, for some definition of modern I just made up. |
| 2022-08-26 04:32:40 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 268 seconds) |
| 2022-08-26 04:32:51 +0200 | <Axman6> | so basically ancient history at this point |
| 2022-08-26 04:33:15 +0200 | <Axman6> | (we need a GHC equivalent of BCE; B8.10E) |
| 2022-08-26 04:34:31 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 260 seconds) |
| 2022-08-26 04:35:18 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-08-26 04:35:32 +0200 | <Axman6> | > 12020.670425990642 - 12020.670425990644 |
| 2022-08-26 04:35:34 +0200 | <lambdabot> | -1.8189894035458565e-12 |
| 2022-08-26 04:35:42 +0200 | Guest5647 | Polo |
| 2022-08-26 04:35:51 +0200 | <Axman6> | johnw: surely that's small enough for government work? |
| 2022-08-26 04:36:33 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 04:38:33 +0200 | <johnw> | not when you're hashing outputs |
| 2022-08-26 04:39:08 +0200 | <johnw> | so it seems that GHC, same version, both Intel processors, gives different answers between mine and a co-worker's machine |
| 2022-08-26 04:39:49 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2022-08-26 04:40:41 +0200 | tom | (~chenqisu1@183.217.200.212) |
| 2022-08-26 04:40:50 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-26 04:41:40 +0200 | luffy | (~chenqisu1@183.217.200.212) (Remote host closed the connection) |
| 2022-08-26 04:42:05 +0200 | tom | Guest4172 |
| 2022-08-26 04:43:16 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-08-26 04:44:18 +0200 | dsrt^ | (~dsrt@96.70.11.181) (Remote host closed the connection) |
| 2022-08-26 04:44:50 +0200 | king_gs | (~Thunderbi@2806:103e:29:da7a:1f74:531c:dec2:7aec) (Read error: Connection reset by peer) |
| 2022-08-26 04:45:01 +0200 | king_gs1 | (~Thunderbi@187.201.216.244) |
| 2022-08-26 04:45:45 +0200 | dsrt^ | (~dsrt@96.70.11.181) |
| 2022-08-26 04:47:19 +0200 | king_gs1 | king_gs |
| 2022-08-26 04:47:48 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) (Remote host closed the connection) |
| 2022-08-26 04:48:06 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2022-08-26 04:49:50 +0200 | terrorjack | (~terrorjac@2a01:4f8:1c1e:509a::1) (Quit: The Lounge - https://thelounge.chat) |
| 2022-08-26 04:51:03 +0200 | terrorjack | (~terrorjac@2a01:4f8:1c1e:509a::1) |
| 2022-08-26 04:51:18 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2022-08-26 04:59:55 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-08-26 04:59:55 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2022-08-26 04:59:55 +0200 | finn_elija | FinnElija |
| 2022-08-26 05:02:43 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 05:04:17 +0200 | king_gs | (~Thunderbi@187.201.216.244) (Read error: Connection reset by peer) |
| 2022-08-26 05:04:50 +0200 | Polo | (~polo@user/polo) (Quit: Textual IRC Client: www.textualapp.com) |
| 2022-08-26 05:05:02 +0200 | king_gs | (~Thunderbi@2806:103e:29:da7a:1f74:531c:dec2:7aec) |
| 2022-08-26 05:10:36 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
| 2022-08-26 05:13:07 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-26 05:13:11 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-08-26 05:13:36 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-08-26 05:15:14 +0200 | <Axman6> | how fun D: |
| 2022-08-26 05:15:29 +0200 | <Axman6> | I would love to know why if you find out |
| 2022-08-26 05:20:37 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 05:20:37 +0200 | Vajb | (~Vajb@2001:999:705:3c86:e7ea:442b:1e01:22d8) (Read error: Connection reset by peer) |
| 2022-08-26 05:21:06 +0200 | <johnw> | I'll let you know! It happens in Perl too, so it's not a GHC thing |
| 2022-08-26 05:21:20 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) |
| 2022-08-26 05:21:40 +0200 | vglfr | (~vglfr@145.224.94.75) (Read error: Connection reset by peer) |
| 2022-08-26 05:22:52 +0200 | vglfr | (~vglfr@145.224.94.75) |
| 2022-08-26 05:24:03 +0200 | jargon | (~jargon@184.101.169.20) (Ping timeout: 244 seconds) |
| 2022-08-26 05:25:24 +0200 | notzmv | (~zmv@user/notzmv) |
| 2022-08-26 05:26:44 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-26 05:30:58 +0200 | <Axman6> | well, that's a bit of a relief! |
| 2022-08-26 05:32:49 +0200 | hololeap | (~quassel@user/hololeap) (Quit: Bye) |
| 2022-08-26 05:33:47 +0200 | hololeap | (~quassel@user/hololeap) |
| 2022-08-26 05:34:20 +0200 | king_gs | (~Thunderbi@2806:103e:29:da7a:1f74:531c:dec2:7aec) (Ping timeout: 268 seconds) |
| 2022-08-26 05:42:23 +0200 | merijn | (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) |
| 2022-08-26 05:42:45 +0200 | waleee | (~waleee@h-176-10-137-138.na.cust.bahnhof.se) (Ping timeout: 252 seconds) |
| 2022-08-26 05:43:10 +0200 | Patternm1ster | (~georg@li1192-118.members.linode.com) (Quit: leaving) |
| 2022-08-26 05:43:30 +0200 | Patternmaster | (~georg@user/Patternmaster) |
| 2022-08-26 05:47:52 +0200 | _73 | (~user@pool-173-76-102-248.bstnma.fios.verizon.net) (Ping timeout: 268 seconds) |
| 2022-08-26 05:49:00 +0200 | <Clinton[m]> | I'm working on a cabal project, which consists of about a dozen cabal packages, and I have recently made the build process a bit stricter basically by ensuring all our packages are `-Wall` and `-Werror`. However, I'd like to be able to do say, a `cabal build all --dev` or something during development that turns off _some_ warnings, in particular the unused _blah_ warnings. But, I do want cabal to attempt to rebuild the files when I finally |
| 2022-08-26 05:49:00 +0200 | <Clinton[m]> | am ready to push a branch and do a `cabal build all`, not just use the built files that weren't checked for these warnings. |
| 2022-08-26 05:49:00 +0200 | <Clinton[m]> | Is there a way to achieve this? |
| 2022-08-26 05:49:06 +0200 | inversed | (~inversed@90.209.137.56) (Ping timeout: 268 seconds) |
| 2022-08-26 05:51:18 +0200 | inversed | (~inversed@90.209.137.56) |
| 2022-08-26 05:52:31 +0200 | <c_wraith> | Clinton[m]: untested, but maybe if you make it a cabal flag and reconfigure the package the flag changed? |
| 2022-08-26 05:52:44 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-08-26 05:53:19 +0200 | <c_wraith> | honestly, that's a tricky one. Usually people want to recompile *less*.. |
| 2022-08-26 05:53:47 +0200 | <c_wraith> | I guess you could also just fire off a cabal clean |
| 2022-08-26 05:54:22 +0200 | <c_wraith> | Put it into a script that also rebuilds with full warnings and -Werror |
| 2022-08-26 05:55:15 +0200 | <Clinton[m]> | c_wraith: as in, put the same flag in all my `.cabal` files, and make that flag turn off warnings? |
| 2022-08-26 05:55:35 +0200 | <Clinton[m]> | c_wraith: well turn off some of them at least |
| 2022-08-26 05:55:37 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-08-26 05:55:59 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 05:57:26 +0200 | ardell_ | (~ardell@user/ardell) (Quit: Leaving) |
| 2022-08-26 05:58:08 +0200 | <c_wraith> | something like that. My note is mostly based on the observation that cabal considers changing flags to be changing the package key, so it considers it a whole new package, and... hopefully recompiles because of that. |
| 2022-08-26 05:58:26 +0200 | <c_wraith> | changing cabal flags, that is |
| 2022-08-26 05:58:30 +0200 | ddb | (~ddb@ipv6two.tilde.club) (Ping timeout: 268 seconds) |
| 2022-08-26 06:00:12 +0200 | ddb | (~ddb@ipv6two.tilde.club) |
| 2022-08-26 06:00:13 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-26 06:00:23 +0200 | <L29Ah> | is it me or -Wall -Werror impacts portability a lot, basically forcing to get rid of deprecated everything and all the extra imports that allow building my code with older ghc/libs? |
| 2022-08-26 06:02:28 +0200 | <c_wraith> | You can work around those issues... but yes, it adds a lot of noise to do those workarounds |
| 2022-08-26 06:04:38 +0200 | sammelweis_ | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Read error: Connection reset by peer) |
| 2022-08-26 06:06:13 +0200 | <c_wraith> | keeping that even sort of relatively under control is why a lot of packages adopt things like 3-version rules, where they say every release of their library will support the last three major versions of GHC, but they make no guarantees going back further. |
| 2022-08-26 06:06:28 +0200 | <c_wraith> | ... Though the bugginess of 9.x releases has thrown a wrench into that. |
| 2022-08-26 06:07:49 +0200 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2022-08-26 06:15:58 +0200 | <monochrom> | I think -Wall hasn't changed a lot over the years? |
| 2022-08-26 06:16:16 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 06:16:53 +0200 | merijn | (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
| 2022-08-26 06:18:05 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-08-26 06:18:07 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 2022-08-26 06:18:38 +0200 | Vajb | (~Vajb@2001:999:705:3c86:e7ea:442b:1e01:22d8) |
| 2022-08-26 06:19:49 +0200 | <L29Ah> | it hasn't but libs changed |
| 2022-08-26 06:20:06 +0200 | <L29Ah> | some imports became redundant and -Wall -Werror happily explodes on them |
| 2022-08-26 06:20:15 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.5) |
| 2022-08-26 06:21:40 +0200 | <[Leary]> | You want something like -Wwarn=deprecations -Wwarn=dodgy-imports -Wwarn=unused-imports |
| 2022-08-26 06:22:26 +0200 | hgolden | (~Howard@cpe-172-251-233-141.socal.res.rr.com) (Ping timeout: 260 seconds) |
| 2022-08-26 06:24:03 +0200 | <c_wraith> | -Wall has definitely changed |
| 2022-08-26 06:24:13 +0200 | <c_wraith> | And there are people who get unhappy every time a new warning is added |
| 2022-08-26 06:25:30 +0200 | instantaphex | (~jb@c-73-171-252-84.hsd1.fl.comcast.net) |
| 2022-08-26 06:25:40 +0200 | <dolio> | That's why you shouldn't use -Wall. :þ |
| 2022-08-26 06:30:38 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-26 06:30:39 +0200 | <janus> | Clinton[m]: you can have multiple cabal.projects and choose the one to use using --project-file |
| 2022-08-26 06:31:11 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds) |
| 2022-08-26 06:31:12 +0200 | <janus> | Clinton[m]: cabal.project files are used only for local development, so it is what you want, since you don't want this to get used when not working on the library itself |
| 2022-08-26 06:32:06 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-08-26 06:35:28 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-08-26 06:43:06 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 06:44:36 +0200 | Guest4172 | (~chenqisu1@183.217.200.212) (Ping timeout: 260 seconds) |
| 2022-08-26 06:47:31 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-08-26 06:52:45 +0200 | mbuf | (~Shakthi@122.165.55.71) |
| 2022-08-26 06:54:32 +0200 | benin0 | (~benin@183.82.205.66) (Ping timeout: 268 seconds) |
| 2022-08-26 07:00:01 +0200 | <hololeap> | Clinton[m]: a common practice is to add a 'pedantic' flag which turns on -Werror, which you can add to a 'common' stanza and 'import' it everywhere. then you can turn it on/off in cabal.project.local as you see fit. you would have to add this same 'common' stanza and flag to all your packages, though |
| 2022-08-26 07:04:29 +0200 | cods_ | (~fred@82-65-232-44.subs.proxad.net) (Ping timeout: 268 seconds) |
| 2022-08-26 07:04:41 +0200 | cods | (~fred@82-65-232-44.subs.proxad.net) |
| 2022-08-26 07:06:21 +0200 | <hololeap> | for instance: https://github.com/hololeap/cabal-portage/blob/main/parsable/parsable.cabal#L26-L49 |
| 2022-08-26 07:09:55 +0200 | instantaphex | (~jb@c-73-171-252-84.hsd1.fl.comcast.net) (Ping timeout: 268 seconds) |
| 2022-08-26 07:10:50 +0200 | hgolden | (~Howard@cpe-172-251-233-141.socal.res.rr.com) |
| 2022-08-26 07:18:09 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 07:21:03 +0200 | <johnw> | Axman6: so here is some odd code: https://gist.github.com/f8eab8aca4ab60230ecfde0ca62bbf1d |
| 2022-08-26 07:21:14 +0200 | <johnw> | on some platforms, this prints two different answers from the same pow function! |
| 2022-08-26 07:21:27 +0200 | <johnw> | and it looks like whatever is happening due to my "safe_pow" wrapper, is what happens to GHC's FFI boundary |
| 2022-08-26 07:23:11 +0200 | king_gs | (~Thunderbi@187.201.216.244) |
| 2022-08-26 07:24:39 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) (Remote host closed the connection) |
| 2022-08-26 07:27:09 +0200 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) |
| 2022-08-26 07:29:04 +0200 | coot | (~coot@213.134.176.158) |
| 2022-08-26 07:35:17 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-26 07:36:54 +0200 | jargon | (~jargon@184.101.185.66) |
| 2022-08-26 07:43:02 +0200 | king_gs | (~Thunderbi@187.201.216.244) (Read error: Connection reset by peer) |
| 2022-08-26 07:43:11 +0200 | king_gs1 | (~Thunderbi@2806:103e:29:da7a:1f74:531c:dec2:7aec) |
| 2022-08-26 07:45:29 +0200 | king_gs1 | king_gs |
| 2022-08-26 07:46:16 +0200 | cheater | (~Username@user/cheater) |
| 2022-08-26 07:47:00 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
| 2022-08-26 07:56:25 +0200 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) |
| 2022-08-26 07:56:28 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-08-26 07:57:02 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-08-26 07:59:16 +0200 | qrpnxz | (~qrpnxz@fsf/member/qrpnxz) (Ping timeout: 260 seconds) |
| 2022-08-26 08:00:50 +0200 | qrpnxz | (~qrpnxz@fsf/member/qrpnxz) |
| 2022-08-26 08:03:04 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 08:05:02 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-08-26 08:07:26 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-08-26 08:10:58 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 268 seconds) |
| 2022-08-26 08:11:40 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
| 2022-08-26 08:12:56 +0200 | merijn | (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) |
| 2022-08-26 08:15:26 +0200 | dos__^^ | (~user@user/dos/x-1723657) (Read error: Connection reset by peer) |
| 2022-08-26 08:16:11 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds) |
| 2022-08-26 08:16:14 +0200 | chele | (~chele@user/chele) |
| 2022-08-26 08:17:11 +0200 | nilradical | (~nilradica@user/naso) (Remote host closed the connection) |
| 2022-08-26 08:17:47 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-08-26 08:20:06 +0200 | coot | (~coot@213.134.176.158) (Remote host closed the connection) |
| 2022-08-26 08:22:36 +0200 | nilradical | (~nilradica@user/naso) (Ping timeout: 260 seconds) |
| 2022-08-26 08:22:51 +0200 | kenran | (~kenran@p200300df77304e00c7e0792bdbb64275.dip0.t-ipconnect.de) |
| 2022-08-26 08:23:01 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 08:25:44 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
| 2022-08-26 08:25:59 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2022-08-26 08:30:27 +0200 | alternateved | (~user@staticline-31-183-146-203.toya.net.pl) |
| 2022-08-26 08:30:56 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-08-26 08:33:33 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2022-08-26 08:34:05 +0200 | coot | (~coot@213.134.176.158) |
| 2022-08-26 08:36:01 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 260 seconds) |
| 2022-08-26 08:36:11 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-08-26 08:38:26 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-26 08:41:37 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-08-26 08:47:06 +0200 | merijn | (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds) |
| 2022-08-26 08:54:26 +0200 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 2022-08-26 08:54:59 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::a1ec) (Ping timeout: 248 seconds) |
| 2022-08-26 08:56:54 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-08-26 08:57:42 +0200 | echoreply | (~echoreply@45.32.163.16) (Quit: WeeChat 2.8) |
| 2022-08-26 08:58:11 +0200 | echoreply | (~echoreply@45.32.163.16) |
| 2022-08-26 09:00:53 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-08-26 09:06:46 +0200 | zaquest | (~notzaques@5.130.79.72) |
| 2022-08-26 09:07:11 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:960c:3e36:2011:d901) |
| 2022-08-26 09:07:19 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 09:09:15 +0200 | dsrt^ | (~dsrt@96.70.11.181) (Remote host closed the connection) |
| 2022-08-26 09:09:49 +0200 | dsrt^ | (~dsrt@96.70.11.181) |
| 2022-08-26 09:11:52 +0200 | aforemny_ | aforemny |
| 2022-08-26 09:13:42 +0200 | nilradical | (~nilradica@user/naso) (Remote host closed the connection) |
| 2022-08-26 09:14:20 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-08-26 09:14:42 +0200 | jtomas | (~jtomas@56.red-88-17-82.dynamicip.rima-tde.net) |
| 2022-08-26 09:14:56 +0200 | michalz | (~michalz@185.246.204.90) |
| 2022-08-26 09:16:46 +0200 | acidjnk | (~acidjnk@p200300d6e7137a9065c8dabee66bffd1.dip0.t-ipconnect.de) |
| 2022-08-26 09:19:23 +0200 | nilradical | (~nilradica@user/naso) (Ping timeout: 255 seconds) |
| 2022-08-26 09:20:20 +0200 | nschoe | (~quassel@2a01:e0a:8e:a190:4494:42b0:507c:252c) |
| 2022-08-26 09:20:34 +0200 | merijn | (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) |
| 2022-08-26 09:25:25 +0200 | themc47 | (~mc47@xmonad/TheMC47) |
| 2022-08-26 09:27:15 +0200 | coot | (~coot@213.134.176.158) (Quit: coot) |
| 2022-08-26 09:28:03 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Ping timeout: 268 seconds) |
| 2022-08-26 09:31:15 +0200 | Pickchea | (~private@user/pickchea) |
| 2022-08-26 09:32:01 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-08-26 09:42:07 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-08-26 09:44:09 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 09:47:59 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-08-26 09:48:38 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-26 09:52:40 +0200 | tzh_ | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2022-08-26 09:53:14 +0200 | coot | (~coot@213.134.176.158) |
| 2022-08-26 09:58:58 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2022-08-26 10:02:07 +0200 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:4194:7795:a0fa:7264) |
| 2022-08-26 10:02:30 +0200 | <merijn> | Clinton[m]: /sb goto +20 |
| 2022-08-26 10:02:38 +0200 | <merijn> | hmm |
| 2022-08-26 10:02:45 +0200 | <merijn> | awkward tab complete failure xD |
| 2022-08-26 10:04:00 +0200 | phma | (phma@2001:5b0:210d:9458:aee1:2881:7c08:f7a7) |
| 2022-08-26 10:04:51 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2022-08-26 10:05:02 +0200 | Pickchea | (~private@user/pickchea) |
| 2022-08-26 10:05:09 +0200 | ccntrq | (~Thunderbi@172.209.94.92.rev.sfr.net) |
| 2022-08-26 10:08:00 +0200 | fserucas | (~fserucas@83.223.251.40) |
| 2022-08-26 10:17:34 +0200 | olle | (~olle@h-94-254-63-12.NA.cust.bahnhof.se) |
| 2022-08-26 10:17:45 +0200 | <olle> | What's the situation with printf in haskell? Only string literal? |
| 2022-08-26 10:17:53 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 10:20:11 +0200 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:4194:7795:a0fa:7264) (Remote host closed the connection) |
| 2022-08-26 10:20:30 +0200 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:e583:10da:cffa:3886) |
| 2022-08-26 10:23:10 +0200 | shriekingnoise | (~shrieking@186.137.167.202) (Quit: Quit) |
| 2022-08-26 10:24:16 +0200 | nilradical | (~nilradica@user/naso) (Remote host closed the connection) |
| 2022-08-26 10:25:26 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-08-26 10:26:29 +0200 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:e583:10da:cffa:3886) (Remote host closed the connection) |
| 2022-08-26 10:27:23 +0200 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:205a:6422:dcc1:1c1c) |
| 2022-08-26 10:27:38 +0200 | <maerwald[m]> | olle: printf works |
| 2022-08-26 10:28:32 +0200 | <tdammers> | The printf in base (Text.Printf.printf) works fine, it's just not fully typesafe |
| 2022-08-26 10:28:59 +0200 | <maerwald[m]> | printf was never typesafe |
| 2022-08-26 10:29:03 +0200 | <tdammers> | e.g., printf "%i %i" "Hello, world!" will compile, but it will error at runtime |
| 2022-08-26 10:29:49 +0200 | <merijn> | olle: There's not enough context to understand what kinda answer you're even looking for |
| 2022-08-26 10:30:08 +0200 | king_gs | (~Thunderbi@2806:103e:29:da7a:1f74:531c:dec2:7aec) (Remote host closed the connection) |
| 2022-08-26 10:30:15 +0200 | <tdammers> | and yeah, ^. |
| 2022-08-26 10:30:27 +0200 | king_gs | (~Thunderbi@2806:103e:29:da7a:1f74:531c:dec2:7aec) |
| 2022-08-26 10:31:02 +0200 | <maerwald[m]> | If you want something typesafe, then you don't want printf |
| 2022-08-26 10:31:50 +0200 | <dminuoso> | "As an ExitCode is not an IOException, exitWith bypasses the error handling in the IO monad and cannot be intercepted by catch from the Prelude" |
| 2022-08-26 10:32:07 +0200 | <dminuoso> | This seems misleading, as `catch` can catch this perfectly fine if you monomorphize it to SomeException... |
| 2022-08-26 10:33:21 +0200 | <dminuoso> | Or is there something subtle Im missing? |
| 2022-08-26 10:34:11 +0200 | <merijn> | dminuoso: check the repo to see how old those docs are? :p |
| 2022-08-26 10:34:32 +0200 | <dminuoso> | Fair *shrugs* |
| 2022-08-26 10:35:02 +0200 | <dminuoso> | Im just mildly annoyed that I cannot special-case ExitCode in a outermost `handle` |
| 2022-08-26 10:36:07 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-26 10:38:39 +0200 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:205a:6422:dcc1:1c1c) (Remote host closed the connection) |
| 2022-08-26 10:38:57 +0200 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:cead:ee68:494c:1354) |
| 2022-08-26 10:40:12 +0200 | nilradical | (~nilradica@user/naso) (Ping timeout: 268 seconds) |
| 2022-08-26 10:41:19 +0200 | jakalx | (~jakalx@base.jakalx.net) (Disconnected: Replaced by new connection) |
| 2022-08-26 10:41:20 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-08-26 10:44:22 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-08-26 10:45:22 +0200 | <olle> | merijn: in ocaml, they limit the first input arg to printf, it must be a string literal so that the compiler can figure out the function signature |
| 2022-08-26 10:46:17 +0200 | <olle> | tdammers: error at runtime, eh. |
| 2022-08-26 10:47:13 +0200 | <olle> | Just curious in general, since I'm writing on a little compiler project :) |
| 2022-08-26 10:47:49 +0200 | <merijn> | In general: Don't use printf |
| 2022-08-26 10:48:13 +0200 | <c_wraith> | Hey, now that the Uncons type family exists, you can write a type-safe printf |
| 2022-08-26 10:48:15 +0200 | <olle> | merijn: So what's the type-safe alternative...? |
| 2022-08-26 10:48:30 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-08-26 10:49:01 +0200 | nattiestnate | (~nate@202.138.250.9) |
| 2022-08-26 10:49:16 +0200 | <merijn> | olle: I use either Text Builder, a prettyprinter, or just "putStrLn $ mconcat [ list of strings and explicitly converted elements here]" |
| 2022-08-26 10:49:51 +0200 | <merijn> | c_wraith: A bunch of type safe printfs already exist, using all sorts of type level machinery and god knows what |
| 2022-08-26 10:50:05 +0200 | <c_wraith> | sure, but Uncons actually makes them efficient |
| 2022-08-26 10:50:27 +0200 | <merijn> | And you know what? I can get 99% of the power with 5% of the complexity by just "having a list of strings and things explicitly converted to strings" |
| 2022-08-26 10:50:31 +0200 | <c_wraith> | instead of taking minutes to compile if the format string is long... |
| 2022-08-26 10:51:38 +0200 | <maerwald[m]> | Shitty type families, because we want to be as cool as Idris |
| 2022-08-26 10:51:40 +0200 | <merijn> | Stuff like: https://github.com/merijn/Belewitte/blob/master/benchmark-analysis/model-src/Evaluate.hs#L375-L385 |
| 2022-08-26 10:51:59 +0200 | <merijn> | Added bonus: don't have to explain complicated type level stuff to beginners |
| 2022-08-26 10:52:32 +0200 | <c_wraith> | It's not that complicated to say "put a @ in front of the format string" |
| 2022-08-26 10:52:57 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2022-08-26 10:55:29 +0200 | <lortabac> | there are also a couple of string interpolation libraries |
| 2022-08-26 10:56:55 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2022-08-26 10:58:15 +0200 | <merijn> | c_wraith: And enable the relevant extension to enable that and hope the error messages don't become inscrutable |
| 2022-08-26 10:58:56 +0200 | <c_wraith> | inscrutable error messages are better than segfaults. :P |
| 2022-08-26 10:59:19 +0200 | <merijn> | c_wraith: Sure, but that wasn't the alternative I proposed |
| 2022-08-26 10:59:38 +0200 | <c_wraith> | But that's what people asking for printf expect |
| 2022-08-26 11:00:31 +0200 | <c_wraith> | also, your proposal is really bad at the cases where I'd want printf - formatting tabular numeric output. |
| 2022-08-26 11:02:00 +0200 | <merijn> | c_wraith: How is it worse at that then printf? |
| 2022-08-26 11:04:15 +0200 | <c_wraith> | printf provides a compact numeric format specification language that only takes 3 or 4 characters to full describe most numeric formats you want. That's a lot less pleasant than a bunch of function calls with slightly different parameters |
| 2022-08-26 11:05:15 +0200 | tremon | (~tremon@83-84-18-241.cable.dynamic.v4.ziggo.nl) |
| 2022-08-26 11:05:20 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 11:05:27 +0200 | <c_wraith> | err. more pleasant. brain failing |
| 2022-08-26 11:05:36 +0200 | <c_wraith> | how'd it get so late? |
| 2022-08-26 11:07:41 +0200 | acidjnk | (~acidjnk@p200300d6e7137a9065c8dabee66bffd1.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-08-26 11:11:18 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2022-08-26 11:12:22 +0200 | kaskal- | (~kaskal@213-225-33-152.nat.highway.a1.net) (Quit: ZNC - https://znc.in) |
| 2022-08-26 11:12:50 +0200 | kaskal | (~kaskal@2001:4bb8:2dc:7b0e:55ee:692c:e44d:a4b0) |
| 2022-08-26 11:18:37 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2022-08-26 11:20:42 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-08-26 11:23:35 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-26 11:23:58 +0200 | acidjnk | (~acidjnk@p200300d6e7137a90ed2e80addb26645c.dip0.t-ipconnect.de) |
| 2022-08-26 11:25:58 +0200 | king_gs | (~Thunderbi@2806:103e:29:da7a:1f74:531c:dec2:7aec) (Quit: king_gs) |
| 2022-08-26 11:43:14 +0200 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:cead:ee68:494c:1354) (Ping timeout: 252 seconds) |
| 2022-08-26 11:45:34 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 268 seconds) |
| 2022-08-26 11:48:20 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-08-26 11:48:21 +0200 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-08-26 11:49:36 +0200 | beteigeuze | (~Thunderbi@bl11-28-222.dsl.telepac.pt) |
| 2022-08-26 11:50:35 +0200 | Pickchea | (~private@user/pickchea) (Ping timeout: 255 seconds) |
| 2022-08-26 11:52:06 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 11:52:24 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 268 seconds) |
| 2022-08-26 11:53:55 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-08-26 11:56:41 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-08-26 12:00:11 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2022-08-26 12:00:36 +0200 | cfricke | (~cfricke@user/cfricke) (Read error: Connection reset by peer) |
| 2022-08-26 12:02:32 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-08-26 12:03:00 +0200 | nilradical | (~nilradica@user/naso) (Remote host closed the connection) |
| 2022-08-26 12:03:16 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-08-26 12:03:50 +0200 | cheater | (~Username@user/cheater) |
| 2022-08-26 12:05:27 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-08-26 12:07:24 +0200 | tremon | (~tremon@83-84-18-241.cable.dynamic.v4.ziggo.nl) (Quit: getting boxed in) |
| 2022-08-26 12:07:27 +0200 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:ebdd:9648:ec0b:a288) |
| 2022-08-26 12:08:23 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2022-08-26 12:10:08 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 12:15:10 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 268 seconds) |
| 2022-08-26 12:17:41 +0200 | fserucas | (~fserucas@83.223.251.40) (Ping timeout: 260 seconds) |
| 2022-08-26 12:25:14 +0200 | qrpnxz | (~qrpnxz@fsf/member/qrpnxz) (Ping timeout: 255 seconds) |
| 2022-08-26 12:27:09 +0200 | qrpnxz | (~qrpnxz@fsf/member/qrpnxz) |
| 2022-08-26 12:27:12 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-26 12:28:51 +0200 | MoC | (~moc@user/moc) |
| 2022-08-26 12:29:33 +0200 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:ebdd:9648:ec0b:a288) (Remote host closed the connection) |
| 2022-08-26 12:29:52 +0200 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:a29:a40d:c286:af9d) |
| 2022-08-26 12:32:26 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-08-26 12:36:02 +0200 | tom_ | (~tom@2a00:23c8:970c:4801:5b6a:e81b:79dc:f684) (Remote host closed the connection) |
| 2022-08-26 12:37:00 +0200 | tom_ | (~tom@2a00:23c8:970c:4801:f468:ae00:9bb1:fddf) |
| 2022-08-26 12:37:22 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 2022-08-26 12:41:04 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 12:42:11 +0200 | acidjnk | (~acidjnk@p200300d6e7137a90ed2e80addb26645c.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-08-26 12:43:47 +0200 | acidjnk | (~acidjnk@p200300d6e7137a90ed2e80addb26645c.dip0.t-ipconnect.de) |
| 2022-08-26 12:45:17 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-26 12:50:23 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-08-26 12:53:50 +0200 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
| 2022-08-26 12:55:15 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2022-08-26 13:03:26 +0200 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:a29:a40d:c286:af9d) (Remote host closed the connection) |
| 2022-08-26 13:03:45 +0200 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:4707:8153:2279:bb9) |
| 2022-08-26 13:12:26 +0200 | fserucas | (~fserucas@2001:8a0:75cf:a000:3e07:2fab:6f55:9d33) |
| 2022-08-26 13:14:21 +0200 | fserucas | (~fserucas@2001:8a0:75cf:a000:3e07:2fab:6f55:9d33) (Client Quit) |
| 2022-08-26 13:14:38 +0200 | fserucas | (~fserucas@2001:8a0:75cf:a000:3e07:2fab:6f55:9d33) |
| 2022-08-26 13:19:34 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 13:20:06 +0200 | nilradical | (~nilradica@user/naso) (Remote host closed the connection) |
| 2022-08-26 13:21:18 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-08-26 13:24:21 +0200 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:4707:8153:2279:bb9) (Remote host closed the connection) |
| 2022-08-26 13:24:40 +0200 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:7a19:dcb1:41a4:e1bf) |
| 2022-08-26 13:25:16 +0200 | Midjak | (~Midjak@82.66.147.146) |
| 2022-08-26 13:25:23 +0200 | xff0x | (~xff0x@ai071162.d.east.v6connect.net) |
| 2022-08-26 13:25:56 +0200 | CiaoSen | (~Jura@p200300c95738a5002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-08-26 13:27:57 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-08-26 13:28:57 +0200 | nilradical | (~nilradica@user/naso) (Remote host closed the connection) |
| 2022-08-26 13:29:12 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-08-26 13:35:57 +0200 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:7a19:dcb1:41a4:e1bf) (Remote host closed the connection) |
| 2022-08-26 13:39:02 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-26 13:43:02 +0200 | nilradical | (~nilradica@user/naso) (Remote host closed the connection) |
| 2022-08-26 13:43:48 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-08-26 13:48:24 +0200 | nilradical | (~nilradica@user/naso) (Remote host closed the connection) |
| 2022-08-26 13:48:42 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-08-26 13:48:47 +0200 | Pickchea | (~private@user/pickchea) |
| 2022-08-26 13:51:25 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 13:55:33 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-26 13:55:56 +0200 | __monty__ | (~toonn@user/toonn) |
| 2022-08-26 13:58:22 +0200 | nilradical | (~nilradica@user/naso) (Remote host closed the connection) |
| 2022-08-26 13:58:49 +0200 | Guest4172 | (~chenqisu1@183.217.200.212) |
| 2022-08-26 13:59:10 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-08-26 14:01:15 +0200 | Guest4172 | (~chenqisu1@183.217.200.212) (Max SendQ exceeded) |
| 2022-08-26 14:01:43 +0200 | Guest4172 | (~chenqisu1@183.217.200.212) |
| 2022-08-26 14:03:29 +0200 | `2jt | (~jtomas@56.red-88-17-82.dynamicip.rima-tde.net) |
| 2022-08-26 14:04:56 +0200 | jtomas | (~jtomas@56.red-88-17-82.dynamicip.rima-tde.net) (Ping timeout: 268 seconds) |
| 2022-08-26 14:05:31 +0200 | nilradical | (~nilradica@user/naso) (Ping timeout: 268 seconds) |
| 2022-08-26 14:09:33 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-08-26 14:09:38 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 14:09:41 +0200 | fserucas | (~fserucas@2001:8a0:75cf:a000:3e07:2fab:6f55:9d33) (Ping timeout: 260 seconds) |
| 2022-08-26 14:09:50 +0200 | Guest4172 | (~chenqisu1@183.217.200.212) (Ping timeout: 268 seconds) |
| 2022-08-26 14:10:21 +0200 | nilradical | (~nilradica@user/naso) (Remote host closed the connection) |
| 2022-08-26 14:11:24 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-08-26 14:12:35 +0200 | nilradical | (~nilradica@user/naso) (Remote host closed the connection) |
| 2022-08-26 14:12:51 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-08-26 14:15:25 +0200 | kenran | (~kenran@p200300df77304e00c7e0792bdbb64275.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2022-08-26 14:17:07 +0200 | kenran | (~kenran@ip-037-024-119-190.um08.pools.vodafone-ip.de) |
| 2022-08-26 14:19:20 +0200 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
| 2022-08-26 14:20:11 +0200 | acidjnk | (~acidjnk@p200300d6e7137a90ed2e80addb26645c.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-08-26 14:20:43 +0200 | vgtw | (~vgtw@user/vgtw) (Quit: ZNC - https://znc.in) |
| 2022-08-26 14:23:47 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2022-08-26 14:24:08 +0200 | <troydm> | is there a way to get object reference address in memory in Haskell? |
| 2022-08-26 14:25:14 +0200 | <troydm> | like I have something like type MyType = MyType Text which I want to implement Eq by reference in memory, I know that doesn't sounds right but it's performance optimization hack |
| 2022-08-26 14:27:11 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-08-26 14:27:46 +0200 | <opqdonut> | there's stuff like reallyUnsafePtrEquality# |
| 2022-08-26 14:27:52 +0200 | <opqdonut> | but I have no idea how to use those correctly |
| 2022-08-26 14:30:22 +0200 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) (Quit: Konversation terminated!) |
| 2022-08-26 14:30:50 +0200 | <jackdk> | opqdonut: Manuel Chakravaty used it in his Haskell bindings to SpriteKit to provide a declarative interface and avoid many expensive equality checks. I think it's in https://www.youtube.com/watch?v=GaorHAlUkVs but my internet is bad right now. |
| 2022-08-26 14:31:05 +0200 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:fd36:7f1:588a:9c0f) |
| 2022-08-26 14:31:38 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2022-08-26 14:32:24 +0200 | <merijn> | troydm: No, because memory location isn't fixed |
| 2022-08-26 14:34:50 +0200 | <troydm> | merijn: if you force both values they won't change their memory location right? |
| 2022-08-26 14:34:57 +0200 | <merijn> | Maybe |
| 2022-08-26 14:35:08 +0200 | <merijn> | troydm: GC can move them, and GC can happen basically anytime |
| 2022-08-26 14:35:28 +0200 | <merijn> | I know reallyUnsafePtrEquality# can give both false positives *and* false negatives even when paranoidly used |
| 2022-08-26 14:36:04 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-08-26 14:36:21 +0200 | <merijn> | troydm: More importantly, Text already does pointer equality internally before doing full comparison |
| 2022-08-26 14:37:04 +0200 | <troydm> | merijn: it does? |
| 2022-08-26 14:37:21 +0200 | <troydm> | merijn: if it does my problem is solved |
| 2022-08-26 14:37:36 +0200 | <merijn> | hmm, maybe not, I thought it did. But it does a bunch of optimisations already |
| 2022-08-26 14:37:53 +0200 | <merijn> | Like, if two texts have different lengths it immediately returns false without checking contents |
| 2022-08-26 14:38:37 +0200 | <troydm> | <interactive>:9:41: error: parse error on input ‘\#’ |
| 2022-08-26 14:38:38 +0200 | <troydm> | ghci> import GHC.Prim (reallyUnsafePtrEquality#) |
| 2022-08-26 14:38:43 +0200 | <troydm> | how do I use it? |
| 2022-08-26 14:39:11 +0200 | <troydm> | merijn: yeah I understand that |
| 2022-08-26 14:39:17 +0200 | <merijn> | It requires MagicHash |
| 2022-08-26 14:43:21 +0200 | nilradical | (~nilradica@user/naso) (Remote host closed the connection) |
| 2022-08-26 14:44:13 +0200 | <troydm> | another way I think is to use IORef values and check those to each other right? |
| 2022-08-26 14:44:22 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-08-26 14:44:43 +0200 | vglfr | (~vglfr@145.224.94.75) (Read error: Connection reset by peer) |
| 2022-08-26 14:45:00 +0200 | vglfr | (~vglfr@145.224.94.75) |
| 2022-08-26 14:45:17 +0200 | <merijn> | IORefs and MVar always compare by their location, yes |
| 2022-08-26 14:46:57 +0200 | coot | (~coot@213.134.176.158) (Quit: coot) |
| 2022-08-26 14:49:20 +0200 | nilradical | (~nilradica@user/naso) (Ping timeout: 268 seconds) |
| 2022-08-26 14:50:28 +0200 | vgtw | (~vgtw@user/vgtw) |
| 2022-08-26 14:52:25 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-08-26 14:54:10 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 14:54:11 +0200 | dsrt^ | (~dsrt@96.70.11.181) (Remote host closed the connection) |
| 2022-08-26 14:55:55 +0200 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:fd36:7f1:588a:9c0f) (Remote host closed the connection) |
| 2022-08-26 14:56:56 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2022-08-26 14:58:40 +0200 | fserucas | (~fserucas@2001:8a0:75cf:a000:3e07:2fab:6f55:9d33) |
| 2022-08-26 15:01:23 +0200 | kadobanana | (~mud@user/kadoban) (Ping timeout: 248 seconds) |
| 2022-08-26 15:01:33 +0200 | vgtw | (~vgtw@user/vgtw) (Ping timeout: 252 seconds) |
| 2022-08-26 15:03:35 +0200 | averell | (~averell@user/averell) (Quit: .) |
| 2022-08-26 15:04:13 +0200 | finsternis | (~X@23.226.237.192) |
| 2022-08-26 15:04:54 +0200 | kadobanana | (~mud@user/kadoban) |
| 2022-08-26 15:06:47 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-26 15:06:53 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 15:13:31 +0200 | nattiestnate | (~nate@202.138.250.9) (Quit: WeeChat 3.6) |
| 2022-08-26 15:15:19 +0200 | eikke | (~NicolasT@user/NicolasT) |
| 2022-08-26 15:17:10 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-08-26 15:17:52 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2022-08-26 15:18:09 +0200 | Pickchea | (~private@user/pickchea) |
| 2022-08-26 15:22:10 +0200 | <eikke> | Looks like `--gcc-options` passed to `cabal configure` are passed to gcc when compiling a hsc2hs-generated C file, but not whejn compiling C files part of a package's `c-sources`. Is that expected? |
| 2022-08-26 15:22:21 +0200 | coot | (~coot@213.134.176.158) |
| 2022-08-26 15:22:35 +0200 | vgtw | (~vgtw@user/vgtw) |
| 2022-08-26 15:22:57 +0200 | <geekosaur> | this might be a question for #hackage (which despite its name is about cabal) |
| 2022-08-26 15:23:32 +0200 | <Maeda> | Hi! Is this a good place to start with learning Haskell? https://wiki.haskell.org/Tutorials, especially "Introduction to Haskell (Spring 2013)". I do not want to start with obsolete content :). Thanks. |
| 2022-08-26 15:23:45 +0200 | <eikke> | geekosaur: thanks! |
| 2022-08-26 15:24:12 +0200 | <geekosaur> | most of the changes since 2013 have been to advanced topics |
| 2022-08-26 15:24:35 +0200 | <merijn> | eikke: Don't use gcc-options, use c-options |
| 2022-08-26 15:24:41 +0200 | <geekosaur> | the spring 2013 course by byorgey is generally considered the best one tp start from |
| 2022-08-26 15:24:54 +0200 | <opqdonut> | Maeda: consider https://haskell.mooc.fi/ |
| 2022-08-26 15:25:04 +0200 | <merijn> | eikke: C files get compiled via C compiler invoked by GHC and I dunno how gcc-options are handled there |
| 2022-08-26 15:25:45 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-26 15:26:29 +0200 | <eikke> | merijn: I can put stuff in `cc-options`, sure, but I was thinking to move a bunch of not-needed compiler flags out of my lib's lib.cabal file and move them in cabal.project |
| 2022-08-26 15:26:58 +0200 | <eikke> | As an example, ghc-options -Wall aren't really needed in lib.cabal's ghc-options. Same for C compiler -Wall. Having stuff in cabal.project would allow to have -Werror in there |
| 2022-08-26 15:27:52 +0200 | <merijn> | You shouldn't have -Werror in your cabal anyway if you plan to upload to hackage (in fact, pretty sure Hackage will reject your package if you do that) |
| 2022-08-26 15:28:00 +0200 | tristanC_ | tristanC |
| 2022-08-26 15:28:16 +0200 | <eikke> | merijn: I know. But having it in cabal.project is a different story, right? |
| 2022-08-26 15:28:41 +0200 | <merijn> | Yeah, but I'd just move the -Werror into cabal.project, not the others :p |
| 2022-08-26 15:28:47 +0200 | <eikke> | That's the point, I'd like my local dev env and other contributors and CI etc to have -Werror, but the distributed package not |
| 2022-08-26 15:29:05 +0200 | <geekosaur> | then you want cabal.project.local, not cabal.project |
| 2022-08-26 15:29:20 +0200 | <eikke> | geekosaur: why .local only? |
| 2022-08-26 15:29:33 +0200 | <geekosaur> | because that's the one that's not part of the package |
| 2022-08-26 15:30:03 +0200 | <eikke> | I have 2 libs in the same git-tree, cabal.project is at the root, are you saying it's somehow still made part of the sdists of the (subdir) libraries? |
| 2022-08-26 15:30:08 +0200 | <geekosaur> | well, if you're breaking it up then cabal.project belongs only to the package it shares a directory with |
| 2022-08-26 15:30:20 +0200 | <geekosaur> | it may be okay in that case |
| 2022-08-26 15:30:36 +0200 | <merijn> | geekosaur: huh, -Werror and stuff sounds right for cabal.project |
| 2022-08-26 15:30:44 +0200 | <geekosaur> | but you should develop the habit of using .local so as to not get a surprise when it's in the same dir as a cabal file |
| 2022-08-26 15:30:44 +0200 | <merijn> | He said he wants it set for all contriubtors |
| 2022-08-26 15:31:30 +0200 | <eikke> | geekosaur: .local shouldn't be in VCS, so seems weird if these are settings that should be applied to all dev/CI envs |
| 2022-08-26 15:32:09 +0200 | <eikke> | (I was out of the Haskell sphere for a while, when cabal.project was introduced, so I may be missing a couple of things ;)) |
| 2022-08-26 15:33:03 +0200 | <merijn> | eikke: I think geekosaur is misunderstanding you |
| 2022-08-26 15:33:20 +0200 | <eikke> | The way I interpreted is: foo.cabal is about the package, what gets sdist'ed/uploaded to hackage. cabal.project is about dev/build environment but doesn't influence sdist/hackage. c.p.local is system-local overrides |
| 2022-08-26 15:33:31 +0200 | <merijn> | eikke: Yes |
| 2022-08-26 15:34:15 +0200 | <eikke> | so having compiler warnings (and optionally -Werror) seems a good fit for cabal.project, but not foo.cabal (where historically these things were put) |
| 2022-08-26 15:34:52 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 15:36:01 +0200 | nilradical | (~nilradica@user/naso) (Ping timeout: 252 seconds) |
| 2022-08-26 15:36:24 +0200 | kenran | (~kenran@ip-037-024-119-190.um08.pools.vodafone-ip.de) (Quit: WeeChat info:version) |
| 2022-08-26 15:36:27 +0200 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.6) |
| 2022-08-26 15:36:37 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-26 15:37:53 +0200 | <merijn> | I would keep warnings inside the cabal file, though. Makes it easier for users to spot things going potentially wrong that your tests may not see |
| 2022-08-26 15:39:40 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 15:39:54 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:960c:3e36:2011:d901) (Ping timeout: 268 seconds) |
| 2022-08-26 15:40:56 +0200 | <eikke> | merijn: maybe, though seems unlikely because when installed as a dep, the cabal output won't show the compiler output by default iirc |
| 2022-08-26 15:44:01 +0200 | flukiluke | (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) (Remote host closed the connection) |
| 2022-08-26 15:44:03 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-26 15:45:11 +0200 | flukiluke | (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) |
| 2022-08-26 15:48:46 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 15:52:34 +0200 | acidjnk | (~acidjnk@p200300d6e7137a90e5222ed8f1aa363c.dip0.t-ipconnect.de) |
| 2022-08-26 15:57:16 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.dsl.dynamic.sonic.net) |
| 2022-08-26 15:58:01 +0200 | GoldsteinQ | (~goldstein@goldstein.rs) |
| 2022-08-26 15:59:23 +0200 | jonathanx_ | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2022-08-26 15:59:38 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 268 seconds) |
| 2022-08-26 16:01:41 +0200 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Ping timeout: 255 seconds) |
| 2022-08-26 16:01:41 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.dsl.dynamic.sonic.net) (Ping timeout: 252 seconds) |
| 2022-08-26 16:05:24 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-08-26 16:09:28 +0200 | shriekingnoise | (~shrieking@186.137.167.202) |
| 2022-08-26 16:09:51 +0200 | jonathanx_ | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Ping timeout: 260 seconds) |
| 2022-08-26 16:14:54 +0200 | worldhelloworld1 | (uid543174@id-543174.helmsley.irccloud.com) |
| 2022-08-26 16:16:02 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-08-26 16:16:07 +0200 | <worldhelloworld1> | How do I see a history of this irc channel? My irc client doesn't retain history :( |
| 2022-08-26 16:17:25 +0200 | <geekosaur> | there's a log in the /topic |
| 2022-08-26 16:17:44 +0200 | <geekosaur> | (search doesn't work, though) |
| 2022-08-26 16:19:54 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.dsl.dynamic.sonic.net) |
| 2022-08-26 16:21:20 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2022-08-26 16:21:47 +0200 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:bd51:d0d0:1488:2474) |
| 2022-08-26 16:23:55 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2022-08-26 16:25:53 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-08-26 16:26:45 +0200 | alternateved | (~user@staticline-31-183-146-203.toya.net.pl) (Remote host closed the connection) |
| 2022-08-26 16:27:29 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.6) |
| 2022-08-26 16:28:31 +0200 | acidjnk | (~acidjnk@p200300d6e7137a90e5222ed8f1aa363c.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-08-26 16:30:16 +0200 | nilradical | (~nilradica@user/naso) (Ping timeout: 260 seconds) |
| 2022-08-26 16:31:13 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-26 16:32:50 +0200 | gnyeki | (~gnyeki@user/gnyeki) (Quit: leaving) |
| 2022-08-26 16:33:56 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-08-26 16:35:59 +0200 | gnyeki | (~gnyeki@user/gnyeki) |
| 2022-08-26 16:38:15 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 16:39:06 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 2022-08-26 16:39:38 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-26 16:40:57 +0200 | eikke | (~NicolasT@user/NicolasT) (Ping timeout: 268 seconds) |
| 2022-08-26 16:41:34 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.dsl.dynamic.sonic.net) (Ping timeout: 268 seconds) |
| 2022-08-26 16:42:29 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 16:43:25 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-08-26 16:52:38 +0200 | ddellacosta | (~ddellacos@143.244.47.90) |
| 2022-08-26 16:53:16 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-26 16:54:32 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2022-08-26 16:56:03 +0200 | pavonia | (~user@user/siracusa) |
| 2022-08-26 16:57:03 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-08-26 16:58:19 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.dsl.dynamic.sonic.net) |
| 2022-08-26 17:02:27 +0200 | zebrag | (~chris@user/zebrag) |
| 2022-08-26 17:03:15 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 17:04:38 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-26 17:05:33 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 17:06:21 +0200 | son0p | (~ff@181.136.122.143) (Ping timeout: 268 seconds) |
| 2022-08-26 17:07:06 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-26 17:07:12 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 17:07:38 +0200 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:bd51:d0d0:1488:2474) (Remote host closed the connection) |
| 2022-08-26 17:07:57 +0200 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:16a0:cc74:b1e8:4d5) |
| 2022-08-26 17:08:27 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-08-26 17:11:05 +0200 | nilradical | (~nilradica@user/naso) () |
| 2022-08-26 17:11:25 +0200 | econo | (uid147250@user/econo) |
| 2022-08-26 17:18:40 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-26 17:22:24 +0200 | ccntrq | (~Thunderbi@172.209.94.92.rev.sfr.net) (Quit: ccntrq) |
| 2022-08-26 17:24:50 +0200 | maroloccio | (~marolocci@151.53.151.111) |
| 2022-08-26 17:25:57 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 17:29:14 +0200 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:16a0:cc74:b1e8:4d5) (Remote host closed the connection) |
| 2022-08-26 17:29:46 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.dsl.dynamic.sonic.net) (Ping timeout: 260 seconds) |
| 2022-08-26 17:30:20 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-26 17:37:12 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-08-26 17:38:33 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Client Quit) |
| 2022-08-26 17:38:44 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-08-26 17:42:09 +0200 | justDeez | justache |
| 2022-08-26 17:46:08 +0200 | alternateved | (~user@staticline-31-183-146-203.toya.net.pl) |
| 2022-08-26 17:46:49 +0200 | maroloccio | (~marolocci@151.53.151.111) (Quit: WeeChat 3.0) |
| 2022-08-26 17:58:34 +0200 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) |
| 2022-08-26 17:59:43 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 18:08:11 +0200 | oo_migue1 | (~pi@77.252.47.226) (Ping timeout: 252 seconds) |
| 2022-08-26 18:10:01 +0200 | tom_ | (~tom@2a00:23c8:970c:4801:f468:ae00:9bb1:fddf) (Ping timeout: 260 seconds) |
| 2022-08-26 18:10:18 +0200 | oo_migue1 | (~pi@77.252.47.160) |
| 2022-08-26 18:10:45 +0200 | ystael | (~ystael@user/ystael) (Read error: Connection reset by peer) |
| 2022-08-26 18:11:11 +0200 | fserucas | (~fserucas@2001:8a0:75cf:a000:3e07:2fab:6f55:9d33) (Ping timeout: 260 seconds) |
| 2022-08-26 18:11:21 +0200 | adanwan_ | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-08-26 18:11:21 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2022-08-26 18:11:36 +0200 | ystael | (~ystael@user/ystael) |
| 2022-08-26 18:11:39 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-08-26 18:12:10 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-08-26 18:17:12 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.dsl.dynamic.sonic.net) |
| 2022-08-26 18:17:25 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-08-26 18:17:46 +0200 | oo_migue1 | (~pi@77.252.47.160) (Ping timeout: 268 seconds) |
| 2022-08-26 18:19:21 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-08-26 18:19:39 +0200 | oo_migue1 | (~pi@77-252-46-58.static.ip.netia.com.pl) |
| 2022-08-26 18:22:03 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.dsl.dynamic.sonic.net) (Ping timeout: 268 seconds) |
| 2022-08-26 18:23:09 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.dsl.dynamic.sonic.net) |
| 2022-08-26 18:24:09 +0200 | wonko | (~wjc@2a0e:1c80:2::130) |
| 2022-08-26 18:25:07 +0200 | hometown | (~blurb@96.45.2.121) (Quit: Leaving) |
| 2022-08-26 18:28:14 +0200 | acidjnk | (~acidjnk@p54ad5adb.dip0.t-ipconnect.de) |
| 2022-08-26 18:30:06 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-08-26 18:31:16 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.dsl.dynamic.sonic.net) (Quit: segfaultfizzbuzz) |
| 2022-08-26 18:32:22 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 18:33:05 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-08-26 18:35:26 +0200 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 2022-08-26 18:35:39 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-08-26 18:36:00 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-08-26 18:37:53 +0200 | nschoe | (~quassel@2a01:e0a:8e:a190:4494:42b0:507c:252c) (Remote host closed the connection) |
| 2022-08-26 18:38:41 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-26 18:39:05 +0200 | nschoe | (~quassel@2a01:e0a:8e:a190:97b:9ffd:dcae:7700) |
| 2022-08-26 18:39:05 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2022-08-26 18:39:56 +0200 | qrpnxz | (~qrpnxz@fsf/member/qrpnxz) (Ping timeout: 268 seconds) |
| 2022-08-26 18:39:58 +0200 | wonko | (~wjc@2a0e:1c80:2::130) (Ping timeout: 268 seconds) |
| 2022-08-26 18:41:39 +0200 | qrpnxz | (~qrpnxz@fsf/member/qrpnxz) |
| 2022-08-26 18:43:01 +0200 | TravisAthougies[ | (~tathougie@2001:470:69fc:105::2:6fbd) |
| 2022-08-26 18:44:20 +0200 | eikke | (~NicolasT@user/NicolasT) |
| 2022-08-26 18:46:04 +0200 | tremon | (~tremon@83-84-18-241.cable.dynamic.v4.ziggo.nl) |
| 2022-08-26 18:50:27 +0200 | nschoe | (~quassel@2a01:e0a:8e:a190:97b:9ffd:dcae:7700) (Ping timeout: 268 seconds) |
| 2022-08-26 18:51:31 +0200 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) (Quit: Konversation terminated!) |
| 2022-08-26 18:58:04 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-08-26 18:58:06 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2022-08-26 18:58:20 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-08-26 19:00:25 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 19:02:37 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-08-26 19:06:57 +0200 | nschoe | (~quassel@2a01:e0a:8e:a190:6c1:7ffb:81b:ea40) |
| 2022-08-26 19:07:59 +0200 | merijn | (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) (Ping timeout: 255 seconds) |
| 2022-08-26 19:10:41 +0200 | eikke | (~NicolasT@user/NicolasT) (Ping timeout: 260 seconds) |
| 2022-08-26 19:17:23 +0200 | <raehik> | I'm designing some type classes for parsing & serializing, like Aeson. Question: morally/in your opinion, should I provide instances for Void? Aeson does, but it means ToJSON Void runtime errors |
| 2022-08-26 19:17:35 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 268 seconds) |
| 2022-08-26 19:17:40 +0200 | OpenSource | (~Hash@tunnel686959-pt.tunnel.tserv15.lax1.ipv6.he.net) (Changing host) |
| 2022-08-26 19:17:40 +0200 | OpenSource | (~Hash@user/OpenSource) |
| 2022-08-26 19:17:53 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-26 19:18:03 +0200 | <raehik> | The underlying question here is perhaps "how should one use Void" |
| 2022-08-26 19:18:08 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 19:22:56 +0200 | <zero> | did takeUntil disappear or did i dream about such a function? |
| 2022-08-26 19:23:31 +0200 | <c_wraith> | I don't think it takeUntil ever existed in base, but I'm sure many packages have defined it |
| 2022-08-26 19:23:36 +0200 | <geekosaur> | is that a list function or a parser function? |
| 2022-08-26 19:23:45 +0200 | <zero> | list |
| 2022-08-26 19:23:58 +0200 | <geekosaur> | I think there are megaparsec functions of that variety, but never a list function |
| 2022-08-26 19:24:44 +0200 | <zero> | maybe i'm getting it mixed with takeWhile |
| 2022-08-26 19:26:20 +0200 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Ping timeout: 268 seconds) |
| 2022-08-26 19:27:28 +0200 | mbuf | (~Shakthi@122.165.55.71) (Quit: Leaving) |
| 2022-08-26 19:29:16 +0200 | acidjnk | (~acidjnk@p54ad5adb.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2022-08-26 19:32:26 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-26 19:33:06 +0200 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) |
| 2022-08-26 19:33:42 +0200 | <[exa]> | raehik: you can perfectly run ToJSON Void, if someone marks the void for you as Void -- you just output the "null" or something and don't even think about touching the parameter |
| 2022-08-26 19:33:45 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-08-26 19:34:34 +0200 | acidjnk | (~acidjnk@p200300d6e7137a55e00ff7705fa34544.dip0.t-ipconnect.de) |
| 2022-08-26 19:34:57 +0200 | <raehik> | [exa]: really? `ToJSON Void` uses `toJSON = absurd` |
| 2022-08-26 19:35:15 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 19:35:19 +0200 | <raehik> | ToJSON () outputs a JSON null (or w/e it's called) |
| 2022-08-26 19:35:23 +0200 | <c_wraith> | I think using absurd is better anyway. anyone who claims to be giving you a Void is lying |
| 2022-08-26 19:35:29 +0200 | coot | (~coot@213.134.176.158) (Quit: coot) |
| 2022-08-26 19:35:31 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-08-26 19:36:58 +0200 | <raehik> | I felt uneasy even implementing an instance for Void. But I'm seeing some use as an end user to mark something as "obviously failable if you broke an expectation" |
| 2022-08-26 19:37:45 +0200 | <raehik> | and if I don't add an instance then it will become an orphan and I can't have that weighing on my consciousness so I think I'll add it |
| 2022-08-26 19:37:51 +0200 | <[exa]> | yeah well, true that anything except `absurd` would be a crime in the standard library |
| 2022-08-26 19:38:45 +0200 | califax | (~califax@user/califx) |
| 2022-08-26 19:38:51 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-26 19:38:58 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 19:39:07 +0200 | <[exa]> | I think there was another reason for that, something that helped the typechecking in more complicated cases, basically by making Void completely unexceptional |
| 2022-08-26 19:40:22 +0200 | rekahsoft | (~rekahsoft@bras-base-wdston4533w-grc-02-142-113-160-8.dsl.bell.ca) |
| 2022-08-26 19:40:24 +0200 | <raehik> | on the generics side I can generate a type error if I get a void constructor which is nice |
| 2022-08-26 19:44:03 +0200 | worldhelloworld1 | (uid543174@id-543174.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-08-26 19:45:55 +0200 | OpenSource | (~Hash@user/OpenSource) (Quit: ZNC - https://znc.in) |
| 2022-08-26 19:46:10 +0200 | OpenSource | (~kernel@user/OpenSource) |
| 2022-08-26 19:51:33 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-26 19:59:01 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 20:02:07 +0200 | Inst | (~Inst@2601:6c4:4080:3f80:d8ab:2e91:63f7:db6e) |
| 2022-08-26 20:03:09 +0200 | toby | (~toby@137.220.84.171) (Quit: Lost terminal) |
| 2022-08-26 20:05:29 +0200 | CiaoSen | (~Jura@p200300c95738a5002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2022-08-26 20:19:46 +0200 | <dmj`> | may or may not have implemented a JSON parser at the type level. |
| 2022-08-26 20:20:10 +0200 | <geekosaur> | rip your snaity |
| 2022-08-26 20:20:14 +0200 | <geekosaur> | *sanity |
| 2022-08-26 20:20:23 +0200 | codaraxis | (~codaraxis@user/codaraxis) |
| 2022-08-26 20:25:00 +0200 | <dmj`> | geekosaur: https://gist.github.com/dmjio/2e94862988830dfd7e4bd51d29c1a9ba |
| 2022-08-26 20:27:04 +0200 | <monochrom> | haha achievement unlocked |
| 2022-08-26 20:27:14 +0200 | <dmj`> | haha :P |
| 2022-08-26 20:28:11 +0200 | <monochrom> | <Q> Hi why do you use C++ for prime factorization and Haskell for webapps? <A> Because I want to do those at compile time. |
| 2022-08-26 20:28:33 +0200 | <c_wraith> | that's what template haskell is for! |
| 2022-08-26 20:28:55 +0200 | <c_wraith> | ... ghci interpretation can't be any slower than template interpretation |
| 2022-08-26 20:28:58 +0200 | bjobjo_ | (~bjobjo@user/bjobjo) (Quit: leaving) |
| 2022-08-26 20:29:59 +0200 | <dmj`> | Lots can be done now, can have type safe jq queries as well, or json path, can augment it to have json schema too. |
| 2022-08-26 20:31:06 +0200 | <dmj`> | c_wraith: I guess its the difference between the yesod approach and the servant approach. |
| 2022-08-26 20:31:18 +0200 | califax | (~califax@user/califx) (Read error: Connection reset by peer) |
| 2022-08-26 20:31:31 +0200 | califax | (~califax@user/califx) |
| 2022-08-26 20:32:49 +0200 | bjobjo | (~bjobjo@user/bjobjo) |
| 2022-08-26 20:32:50 +0200 | qhong_ | qhong |
| 2022-08-26 20:32:53 +0200 | <dmj`> | this is why I want type level Read, but I guess an open type family can do that |
| 2022-08-26 20:34:19 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2022-08-26 20:35:13 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2022-08-26 20:35:27 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-08-26 20:36:02 +0200 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2022-08-26 20:36:15 +0200 | MoC | (~moc@user/moc) (Quit: Konversation terminated!) |
| 2022-08-26 20:36:20 +0200 | zebrag | (~chris@user/zebrag) |
| 2022-08-26 20:37:04 +0200 | wonko | (~wjc@2a0e:1c80:2::130) |
| 2022-08-26 20:37:05 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2022-08-26 20:37:07 +0200 | <monochrom> | Laplace's Web Programming Method: 1. Predict all requests in the future. 2. Hardcode the desired responses as a type-level list. 3. Deploy. |
| 2022-08-26 20:38:31 +0200 | <c_wraith> | look, the set of possible http request bodies is countable. This should be easy! |
| 2022-08-26 20:38:56 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-12.elisa-laajakaista.fi) |
| 2022-08-26 20:40:50 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 2022-08-26 20:44:01 +0200 | acidjnk | (~acidjnk@p200300d6e7137a55e00ff7705fa34544.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-08-26 20:44:34 +0200 | <dmj`> | the grammar could be extended to include types so, `type Schema = "{ \"thing\" : @Thing }", which could produce a function to parse / encode, `toJSON :: Thing -> Value; toJSON (Proxy @Schema)", using the type family induction trick. |
| 2022-08-26 20:45:32 +0200 | <zero> | i just found out about constance synonyms like HasCallStack and Partial. where can i read about constant synonyms? |
| 2022-08-26 20:45:41 +0200 | <zero> | s/constance/constant |
| 2022-08-26 20:46:48 +0200 | <zero> | oops, nvm that |
| 2022-08-26 20:47:11 +0200 | <zero> | s/constant/constraint/g |
| 2022-08-26 20:48:10 +0200 | beteigeuze | (~Thunderbi@bl11-28-222.dsl.telepac.pt) (Quit: beteigeuze) |
| 2022-08-26 20:48:22 +0200 | beteigeuze | (~Thunderbi@bl11-28-222.dsl.telepac.pt) |
| 2022-08-26 20:48:24 +0200 | causal | (~user@50.35.83.177) (Quit: WeeChat 3.6) |
| 2022-08-26 20:48:31 +0200 | <dmj`> | monochrom: oh cmon', responses should be predictable, not necessarily requests. |
| 2022-08-26 20:50:04 +0200 | <monochrom> | Oh! You're right! |
| 2022-08-26 20:50:45 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 268 seconds) |
| 2022-08-26 20:51:59 +0200 | <zero> | ok now by searching for the correct term i found ConstraintKinds |
| 2022-08-26 20:52:03 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-08-26 20:52:06 +0200 | <zero> | thank you rubber duckies |
| 2022-08-26 20:52:10 +0200 | <monochrom> | The Laplace-Feynman Web Programming Method: 1. Read the specification very carefully. 2. Think very hard. 3. Write down the predicted future responses. |
| 2022-08-26 20:53:38 +0200 | <monochrom> | Don't forget to import Data.Kind for Constraint. |
| 2022-08-26 20:54:43 +0200 | <dmj`> | it's a schema of the response |
| 2022-08-26 20:58:15 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-08-26 21:00:40 +0200 | random-jellyfish | (~random-je@user/random-jellyfish) |
| 2022-08-26 21:01:31 +0200 | <random-jellyfish> | is there a tool similar to jq for lisp source code? |
| 2022-08-26 21:02:18 +0200 | o-90 | (~o-90@gateway/tor-sasl/o-90) |
| 2022-08-26 21:07:32 +0200 | o-90 | (~o-90@gateway/tor-sasl/o-90) (Remote host closed the connection) |
| 2022-08-26 21:08:01 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 268 seconds) |
| 2022-08-26 21:08:45 +0200 | <dmj`> | monochrom: don't make me implement a SQL parser now |
| 2022-08-26 21:09:19 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-08-26 21:09:27 +0200 | o-90 | (~o-90@gateway/tor-sasl/o-90) |
| 2022-08-26 21:09:33 +0200 | <tdammers> | I think that tool is called "lisp" XD |
| 2022-08-26 21:09:35 +0200 | <monochrom> | haha |
| 2022-08-26 21:10:27 +0200 | <monochrom> | I should s/the specification/the initial state of the world/ :) |
| 2022-08-26 21:11:02 +0200 | o-90 | (~o-90@gateway/tor-sasl/o-90) (Remote host closed the connection) |
| 2022-08-26 21:11:10 +0200 | <monochrom> | Then there is no input to parse! Based on the initial state, you think very carefully to see all correct responses in the future! |
| 2022-08-26 21:11:42 +0200 | <monochrom> | "Kripke would be proud" :) |
| 2022-08-26 21:12:30 +0200 | o-90 | (~o-90@gateway/tor-sasl/o-90) |
| 2022-08-26 21:12:42 +0200 | acidjnk | (~acidjnk@p200300d6e7137a55e00ff7705fa34544.dip0.t-ipconnect.de) |
| 2022-08-26 21:17:24 +0200 | o-90 | (~o-90@gateway/tor-sasl/o-90) (Remote host closed the connection) |
| 2022-08-26 21:17:43 +0200 | <dmj`> | I hope so |
| 2022-08-26 21:20:07 +0200 | gmg | (~user@user/gehmehgeh) |
| 2022-08-26 21:26:04 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-26 21:27:56 +0200 | notzmv | (~zmv@user/notzmv) |
| 2022-08-26 21:31:18 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-08-26 21:32:52 +0200 | califax | (~califax@user/califx) |
| 2022-08-26 21:41:41 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 21:46:23 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-26 21:46:28 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:3c0d:13d8:ef0f:4c79) |
| 2022-08-26 21:46:33 +0200 | ozkutuk | (~ozkutuk@176.240.173.153) |
| 2022-08-26 21:47:12 +0200 | kenran | (~kenran@200116b82b092600f9ea957e5315559f.dip.versatel-1u1.de) |
| 2022-08-26 21:49:19 +0200 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) (Quit: o/) |
| 2022-08-26 21:49:56 +0200 | <ozkutuk> | What is the purpose of `other-extensions` field of Cabal? How is it different from `default-extensions`? |
| 2022-08-26 21:51:18 +0200 | <ozkutuk> | The documentation mentions the listed extensions may be provided via LANGUAGE pragmas, but I couldn't really make sense of this as they can be provided without listing them in the `other-extensions` field regardless |
| 2022-08-26 21:52:47 +0200 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) |
| 2022-08-26 21:53:04 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 21:53:22 +0200 | <dmj`> | ozkutuk: https://cabal.readthedocs.io/en/stable/cabal-package.html#pkg-field-other-extensions |
| 2022-08-26 21:54:57 +0200 | <ozkutuk> | dmj`: That is the documentation I mentioned, but from that I couldn't understand why I would want to use that field |
| 2022-08-26 21:55:08 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-26 21:55:30 +0200 | <ozkutuk> | For project-wide extensions I tend to use `default-extensions`, and for per-file extensions I use LANGUAGE pragmas |
| 2022-08-26 21:55:50 +0200 | <ozkutuk> | What use case does `other-extensions` cover? |
| 2022-08-26 21:57:21 +0200 | <geekosaur> | validation (not using extensions not listed in it), documentation |
| 2022-08-26 21:58:04 +0200 | <geekosaur> | checking that the specified extensions are supported by the compiler (e.g. not using LinearTypes in ghc 8.10.7) |
| 2022-08-26 21:59:00 +0200 | <dmj`> | ^ also, "The new 'default-extensions' field lists extensions that are used in all modules in the component, while the 'other-extensions' field lists extensions that are used in some modules, e.g. via the {-# LANGUAGE #-} pragma." |
| 2022-08-26 22:00:59 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-08-26 22:01:24 +0200 | <ozkutuk> | So if I list some extensions in the `other-extensions` field, would GHC complain if I provide an extension through LANGUAGE pragma that isn't part of the field? |
| 2022-08-26 22:02:20 +0200 | <geekosaur> | ghc wouldn't. cabal might; I don't know if it actually validates that currently |
| 2022-08-26 22:02:35 +0200 | coot | (~coot@213.134.176.158) |
| 2022-08-26 22:03:52 +0200 | random-jellyfish | (~random-je@user/random-jellyfish) (Quit: Client closed) |
| 2022-08-26 22:03:57 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 22:04:14 +0200 | random-jellyfish | (~random-je@user/random-jellyfish) |
| 2022-08-26 22:04:49 +0200 | pavonia | (~user@user/siracusa) |
| 2022-08-26 22:06:23 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-08-26 22:06:31 +0200 | remexre | (~remexre@user/remexre) (Remote host closed the connection) |
| 2022-08-26 22:06:34 +0200 | <ozkutuk> | I think it doesn't, at least that's what I observed from a quick test with one my existing projects |
| 2022-08-26 22:06:47 +0200 | <ozkutuk> | I guess documentation is still a valid use-case though |
| 2022-08-26 22:07:17 +0200 | remexre | (~remexre@user/remexre) |
| 2022-08-26 22:08:26 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-26 22:11:27 +0200 | oo_migue1 | (~pi@77-252-46-58.static.ip.netia.com.pl) (Ping timeout: 268 seconds) |
| 2022-08-26 22:12:11 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 22:13:19 +0200 | oo_migue1 | (~pi@77-252-46-249.static.ip.netia.com.pl) |
| 2022-08-26 22:16:46 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-08-26 22:19:16 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-08-26 22:19:47 +0200 | remexre | (~remexre@user/remexre) (Ping timeout: 248 seconds) |
| 2022-08-26 22:20:55 +0200 | remexre | (~remexre@user/remexre) |
| 2022-08-26 22:22:32 +0200 | remexre | (~remexre@user/remexre) (Remote host closed the connection) |
| 2022-08-26 22:23:14 +0200 | remexre | (~remexre@user/remexre) |
| 2022-08-26 22:24:26 +0200 | remexre | (~remexre@user/remexre) (Remote host closed the connection) |
| 2022-08-26 22:26:05 +0200 | remexre | (~remexre@user/remexre) |
| 2022-08-26 22:28:41 +0200 | wonko | (~wjc@2a0e:1c80:2::130) (Ping timeout: 255 seconds) |
| 2022-08-26 22:31:17 +0200 | remexre | (~remexre@user/remexre) (Remote host closed the connection) |
| 2022-08-26 22:33:51 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-08-26 22:34:23 +0200 | remexre | (~remexre@user/remexre) |
| 2022-08-26 22:34:29 +0200 | remexre | (~remexre@user/remexre) (Remote host closed the connection) |
| 2022-08-26 22:35:23 +0200 | califax | (~califax@user/califx) |
| 2022-08-26 22:36:09 +0200 | remexre | (~remexre@user/remexre) |
| 2022-08-26 22:38:03 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 22:40:00 +0200 | fjmorazan | (~quassel@user/fjmorazan) () |
| 2022-08-26 22:40:18 +0200 | remexre | (~remexre@user/remexre) (Remote host closed the connection) |
| 2022-08-26 22:40:49 +0200 | fjmorazan | (~quassel@user/fjmorazan) |
| 2022-08-26 22:41:56 +0200 | remexre | (~remexre@user/remexre) |
| 2022-08-26 22:42:06 +0200 | remexre | (~remexre@user/remexre) (Remote host closed the connection) |
| 2022-08-26 22:42:19 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:3c0d:13d8:ef0f:4c79) (Ping timeout: 268 seconds) |
| 2022-08-26 22:42:33 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-26 22:42:40 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-08-26 22:43:28 +0200 | remexre | (~remexre@user/remexre) |
| 2022-08-26 22:44:51 +0200 | alternateved | (~user@staticline-31-183-146-203.toya.net.pl) (Remote host closed the connection) |
| 2022-08-26 22:44:52 +0200 | kenran | (~kenran@200116b82b092600f9ea957e5315559f.dip.versatel-1u1.de) (Quit: WeeChat info:version) |
| 2022-08-26 22:46:32 +0200 | random-jellyfish | (~random-je@user/random-jellyfish) (Quit: Client closed) |
| 2022-08-26 22:55:37 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 23:01:42 +0200 | Pickchea | (~private@user/pickchea) |
| 2022-08-26 23:02:43 +0200 | coot | (~coot@213.134.176.158) (Quit: coot) |
| 2022-08-26 23:10:17 +0200 | kmein | (~weechat@user/kmein) (Quit: ciao kakao) |
| 2022-08-26 23:12:27 +0200 | kmein | (~weechat@user/kmein) |
| 2022-08-26 23:12:47 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-26 23:19:19 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 268 seconds) |
| 2022-08-26 23:22:27 +0200 | califax | (~califax@user/califx) (Ping timeout: 268 seconds) |
| 2022-08-26 23:22:39 +0200 | stef204 | (~stef204@user/stef204) |
| 2022-08-26 23:23:04 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 268 seconds) |
| 2022-08-26 23:23:11 +0200 | azimut_ | (~azimut@gateway/tor-sasl/azimut) |
| 2022-08-26 23:23:30 +0200 | califax | (~califax@user/califx) |
| 2022-08-26 23:23:41 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 268 seconds) |
| 2022-08-26 23:23:41 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 268 seconds) |
| 2022-08-26 23:24:14 +0200 | tcard | (~tcard@114.164.44.242) (Quit: Leaving) |
| 2022-08-26 23:24:18 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 268 seconds) |
| 2022-08-26 23:24:18 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 268 seconds) |
| 2022-08-26 23:25:38 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-08-26 23:26:09 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-08-26 23:26:20 +0200 | gmg | (~user@user/gehmehgeh) |
| 2022-08-26 23:28:17 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2022-08-26 23:29:18 +0200 | tcard | (~tcard@p945242-ipngn9701hodogaya.kanagawa.ocn.ne.jp) |
| 2022-08-26 23:29:23 +0200 | stefan-_ | (~cri@42dots.de) (Ping timeout: 252 seconds) |
| 2022-08-26 23:31:02 +0200 | zebrag | (~chris@user/zebrag) (Ping timeout: 268 seconds) |
| 2022-08-26 23:31:49 +0200 | zebrag | (~chris@user/zebrag) |
| 2022-08-26 23:31:52 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-08-26 23:32:16 +0200 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2022-08-26 23:35:31 +0200 | acidjnk | (~acidjnk@p200300d6e7137a55e00ff7705fa34544.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-08-26 23:36:13 +0200 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
| 2022-08-26 23:37:14 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-08-26 23:40:04 +0200 | stefan-_ | (~cri@42dots.de) |
| 2022-08-26 23:42:54 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 23:47:09 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-26 23:53:43 +0200 | beteigeuze | (~Thunderbi@bl11-28-222.dsl.telepac.pt) (Quit: beteigeuze) |
| 2022-08-26 23:53:58 +0200 | beteigeuze | (~Thunderbi@bl11-28-222.dsl.telepac.pt) |
| 2022-08-26 23:59:40 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |