2023/01/13

2023-01-13 00:00:33 +0100mizlan(~mizlan@2607:f010:2a7:1005:94e1:194a:53e4:73b4) (Ping timeout: 255 seconds)
2023-01-13 00:03:25 +0100 <eldritchcookie[4> has anyone here previously used c2hs?
2023-01-13 00:03:49 +0100talismanick(~talismani@campus-110-233.ucdavis.edu) (Ping timeout: 252 seconds)
2023-01-13 00:06:36 +0100Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving)
2023-01-13 00:07:56 +0100 <eldritchcookie[4> if yes have you ever used the fun directive for anything other than 1 marshalling to equivalent haskell 2 using alloca- haskell type peek*
2023-01-13 00:08:39 +0100 <geekosaur> generally it's used in build-depends to generate bindings automatically
2023-01-13 00:08:47 +0100mizlan(~mizlan@2607:f010:2a7:1005:94e1:194a:53e4:73b4)
2023-01-13 00:09:08 +0100cods(~fred@82-65-232-44.subs.proxad.net) (Ping timeout: 246 seconds)
2023-01-13 00:09:21 +0100cods(~fred@82-65-232-44.subs.proxad.net)
2023-01-13 00:09:29 +0100 <eldritchcookie[4> how?
2023-01-13 00:12:13 +0100 <eldritchcookie[4> i may be misunderstanding by automatic i think you are saying that with only c2hs and a c header and minimal or none help from the programmer it generates the haskell code that seems kinda difficult
2023-01-13 00:12:50 +0100 <geekosaur> that's what gtk2hs does
2023-01-13 00:13:11 +0100 <geekosaur> but I forgot it's still using its own modified version that understands how glib onjects are assembled
2023-01-13 00:13:16 +0100 <geekosaur> *objects
2023-01-13 00:14:34 +0100panovia(~user@user/siracusa)
2023-01-13 00:14:46 +0100 <eldritchcookie[4> how does that work? how do they find which are the relevant functions/values and which are internal?
2023-01-13 00:15:02 +0100Guest6780(~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 246 seconds)
2023-01-13 00:18:24 +0100 <glguy> internal functions wouldn't be found in the public headers
2023-01-13 00:19:15 +0100 <glguy> for libraries that put internal things in non-internal headers you have to specify
2023-01-13 00:19:59 +0100gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.7.1)
2023-01-13 00:20:38 +0100machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Quit: Lost terminal)
2023-01-13 00:20:39 +0100 <geekosaur> https://hackage.haskell.org/package/gtk2hs-buildtools-0.13.8.3/src/src/Gtk2HsSetup.hs is the gtk2hs setup hook that locates and processes headers
2023-01-13 00:21:03 +0100machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-01-13 00:22:21 +0100 <geekosaur> and writes out a list of which modules to build based on which functions are found on the building system, since it changes based on installed gtk+ version
2023-01-13 00:22:39 +0100 <eldritchcookie[4> sorry it still isn't clear to me are the .chs file autogenerated from the c headers ?
2023-01-13 00:23:18 +0100 <glguy> The .chs files are inputs to the c2hs program which emits auto-generated .hs files
2023-01-13 00:23:37 +0100jumper149(~jumper149@base.felixspringer.xyz) (Quit: WeeChat 3.7.1)
2023-01-13 00:25:57 +0100 <glguy> and Cabal knows about .chs files, so it can invoke the preprocessor at build time
2023-01-13 00:27:52 +0100 <eldritchcookie[4> ok know things make sense when you said automatically generated i thought it was the .chs files so i was confused as that seems impossible
2023-01-13 00:28:19 +0100 <eldritchcookie[4> *now
2023-01-13 00:35:46 +0100jero98772(~jero98772@2800:484:1d80:d8ce:9815:cfda:3661:17bb)
2023-01-13 00:39:27 +0100titibandit1(~titibandi@xdsl-81-173-160-143.nc.de) (Remote host closed the connection)
2023-01-13 00:54:26 +0100v0id_ptr(~adrift@user/ptr-frac7al/x-0038398)
2023-01-13 00:56:23 +0100oldfashionedcowgen43
2023-01-13 00:56:46 +0100ubert(~Thunderbi@p548c9ce5.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2023-01-13 00:59:44 +0100machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Quit: Lost terminal)
2023-01-13 00:59:55 +0100accord(uid568320@id-568320.hampstead.irccloud.com)
2023-01-13 01:00:11 +0100machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-01-13 01:13:11 +0100mizlan(~mizlan@2607:f010:2a7:1005:94e1:194a:53e4:73b4) (Ping timeout: 246 seconds)
2023-01-13 01:14:17 +0100tjakway(~tjakway@cpe-107-184-74-161.socal.res.rr.com)
2023-01-13 01:14:58 +0100Tuplanolla(~Tuplanoll@91-159-68-152.elisa-laajakaista.fi) (Quit: Leaving.)
2023-01-13 01:20:59 +0100unit73e(~emanuel@2001:818:e8dd:7c00:656:e5ff:fe72:9d36)
2023-01-13 01:22:01 +0100mizlan(~mizlan@2607:f010:2a7:1005:94e1:194a:53e4:73b4)
2023-01-13 01:22:43 +0100tjakway(~tjakway@cpe-107-184-74-161.socal.res.rr.com) (Quit: WeeChat 3.5)
2023-01-13 01:23:40 +0100 <unit73e> meh looks like I didn't use binary package correctly. I've been using more and more abstractions over the years. I guess that's common with haskellers.
2023-01-13 01:24:47 +0100jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection)
2023-01-13 01:25:32 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2023-01-13 01:34:02 +0100ddellacosta(~ddellacos@143.244.47.100)
2023-01-13 01:35:55 +0100laalyn(~laalyn@c-73-241-126-7.hsd1.ca.comcast.net)
2023-01-13 01:37:28 +0100 <cheater> @faq can haskell run java?
2023-01-13 01:37:28 +0100 <lambdabot> https://wiki.haskell.org/FAQ
2023-01-13 01:37:32 +0100 <cheater> :(
2023-01-13 01:38:12 +0100jao(~jao@92.233.85.247)
2023-01-13 01:38:45 +0100 <geekosaur> dons's cheeky answer went away a decade or so ago
2023-01-13 01:38:53 +0100 <cheater> i know
2023-01-13 01:38:58 +0100 <jackdk> cheater: https://www.tweag.io/blog/tags/inline-java/ Tweag was doing stuff with an `inline-java` package for a while
2023-01-13 01:39:05 +0100 <unit73e> what was the checky answer?
2023-01-13 01:39:14 +0100 <geekosaur> "Yes! Haskell can do that!"
2023-01-13 01:39:20 +0100 <cheater> no, it wasn't
2023-01-13 01:39:30 +0100 <cheater> it was
2023-01-13 01:39:32 +0100 <cheater> "Yes, Haskell can do that!"
2023-01-13 01:39:53 +0100 <unit73e> lol precision
2023-01-13 01:40:09 +0100 <cheater> the comma is ontological
2023-01-13 01:40:52 +0100 <unit73e> I guess that was at a time java was very popular? most programming programming language can run java
2023-01-13 01:41:43 +0100 <unit73e> java latest stealing from haskell was records btw
2023-01-13 01:41:47 +0100 <unit73e> the name
2023-01-13 01:42:10 +0100 <unit73e> no derives or any of that fancy stuff though
2023-01-13 01:44:38 +0100 <unit73e> scala has case class, kotlin has data class, and java chose to borrow "record" from haskell. the most sensible name imo, case class is the worst.
2023-01-13 01:49:48 +0100kjak(~kjak@pool-72-66-75-40.washdc.fios.verizon.net) (Ping timeout: 265 seconds)
2023-01-13 01:50:29 +0100kjak(~kjak@pool-72-66-75-40.washdc.fios.verizon.net)
2023-01-13 01:51:33 +0100lagash_(lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
2023-01-13 01:55:32 +0100lagash_(lagash@lagash.shelltalk.net)
2023-01-13 01:56:50 +0100zeenk(~zeenk@2a02:2f04:a014:8700::fba) (Quit: Konversation terminated!)
2023-01-13 01:59:04 +0100razetime(~Thunderbi@117.193.7.219)
2023-01-13 01:59:54 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex)
2023-01-13 02:04:23 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 255 seconds)
2023-01-13 02:09:47 +0100 <EvanR> I used java-bridge once
2023-01-13 02:10:35 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2023-01-13 02:12:15 +0100 <monochrom> Haskell2010 still has reserved room for FFI calling conventions cplusplus, jvm, dotnet, but leaving them open, waiting for the next generation to specify them. :)
2023-01-13 02:12:55 +0100tremon(~tremon@83-85-213-108.cable.dynamic.v4.ziggo.nl) (Quit: getting boxed in)
2023-01-13 02:13:42 +0100justsomeguy(~justsomeg@user/justsomeguy)
2023-01-13 02:16:34 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 272 seconds)
2023-01-13 02:16:42 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-01-13 02:19:58 +0100wroathe(~wroathe@207-153-38-140.fttp.usinternet.com)
2023-01-13 02:19:58 +0100wroathe(~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
2023-01-13 02:19:58 +0100wroathe(~wroathe@user/wroathe)
2023-01-13 02:22:15 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex)
2023-01-13 02:26:09 +0100talismanick(~talismani@campus-114-208.ucdavis.edu)
2023-01-13 02:27:55 +0100xff0x_(~xff0x@2405:6580:b080:900:c56:6e84:5fde:af1e) (Ping timeout: 252 seconds)
2023-01-13 02:28:08 +0100mizlan(~mizlan@2607:f010:2a7:1005:94e1:194a:53e4:73b4) (Ping timeout: 255 seconds)
2023-01-13 02:30:07 +0100mizlan(~mizlan@89.46.114.56)
2023-01-13 02:30:23 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2023-01-13 02:35:59 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 260 seconds)
2023-01-13 02:36:53 +0100mizlan_(~mizlan@2607:f010:2a7:1005:94e1:194a:53e4:73b4)
2023-01-13 02:39:11 +0100mizlan(~mizlan@89.46.114.56) (Ping timeout: 264 seconds)
2023-01-13 02:47:01 +0100moonsheep(~moonsheep@user/moonsheep)
2023-01-13 02:47:35 +0100talismanick(~talismani@campus-114-208.ucdavis.edu) (Ping timeout: 264 seconds)
2023-01-13 02:52:22 +0100 <glguy> Does eta still exist?
2023-01-13 02:55:05 +0100kimjetwav(~user@2607:fea8:235e:b600:eeaa:dbc4:ae4b:9b7c) (Ping timeout: 256 seconds)
2023-01-13 02:55:28 +0100mizlan_(~mizlan@2607:f010:2a7:1005:94e1:194a:53e4:73b4) (Ping timeout: 260 seconds)
2023-01-13 02:56:11 +0100 <DigitalKiwi> last i heard the dev got a job working on something not eta
2023-01-13 02:58:42 +0100 <DigitalKiwi> unit73e: the bot used to respond to every question of the form "can haskell _" or some such not just "run java" with "yes, haskell can do that!"
2023-01-13 02:59:40 +0100 <unit73e> lol
2023-01-13 03:00:07 +0100 <unit73e> so haskell used to be able to do me a sandwich
2023-01-13 03:00:24 +0100 <unit73e> with coffee
2023-01-13 03:01:10 +0100 <DigitalKiwi> there's probably an arduino coffee cup heater and you can program arduinos with haskell so....
2023-01-13 03:01:37 +0100 <DigitalKiwi> https://joeyh.name/blog/entry/announcing_arduino-copilot/
2023-01-13 03:03:17 +0100TonyStone(~TonyStone@cpe-74-76-57-186.nycap.res.rr.com)
2023-01-13 03:03:23 +0100 <DigitalKiwi> glguy: hi buddy :D how're you
2023-01-13 03:04:56 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2023-01-13 03:12:50 +0100xff0x_(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
2023-01-13 03:12:58 +0100abhixec(~abhinav@c-67-169-139-16.hsd1.ca.comcast.net)
2023-01-13 03:15:27 +0100gen43(~Rahul_San@user/oldfashionedcow) (Quit: WeeChat 3.7.1)
2023-01-13 03:24:21 +0100mizlan(~mizlan@2607:f010:2e9:21:4d77:68e3:90e8:57ac)
2023-01-13 03:27:04 +0100zaquest(~notzaques@5.130.79.72) (Remote host closed the connection)
2023-01-13 03:28:50 +0100mizlan(~mizlan@2607:f010:2e9:21:4d77:68e3:90e8:57ac) (Ping timeout: 260 seconds)
2023-01-13 03:30:58 +0100machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 268 seconds)
2023-01-13 03:36:00 +0100hsw(~hsw@112-104-142-182.adsl.dynamic.seed.net.tw) (Quit: Leaving)
2023-01-13 03:38:03 +0100unit73e(~emanuel@2001:818:e8dd:7c00:656:e5ff:fe72:9d36) (Ping timeout: 248 seconds)
2023-01-13 03:42:51 +0100fizbin(~fizbin@user/fizbin) (Ping timeout: 248 seconds)
2023-01-13 03:43:40 +0100accord(uid568320@id-568320.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2023-01-13 03:46:33 +0100ec__(~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
2023-01-13 03:47:09 +0100ec__(~ec@gateway/tor-sasl/ec)
2023-01-13 03:49:30 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:54fb:433:f271:a472)
2023-01-13 03:50:50 +0100Guest|9(~Guest|9@d173-180-234-92.bchsia.telus.net)
2023-01-13 03:51:50 +0100beteigeuze(~Thunderbi@a79-169-109-107.cpe.netcabo.pt) (Quit: beteigeuze)
2023-01-13 03:52:13 +0100beteigeuze(~Thunderbi@a79-169-109-107.cpe.netcabo.pt)
2023-01-13 03:53:50 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:54fb:433:f271:a472) (Ping timeout: 246 seconds)
2023-01-13 03:56:01 +0100jero98772(~jero98772@2800:484:1d80:d8ce:9815:cfda:3661:17bb) (Remote host closed the connection)
2023-01-13 03:59:24 +0100beteigeuze(~Thunderbi@a79-169-109-107.cpe.netcabo.pt) (Ping timeout: 260 seconds)
2023-01-13 04:04:11 +0100Guest|9(~Guest|9@d173-180-234-92.bchsia.telus.net) (Quit: Connection closed)
2023-01-13 04:09:07 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 252 seconds)
2023-01-13 04:10:08 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2023-01-13 04:13:32 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:54fb:433:f271:a472)
2023-01-13 04:15:31 +0100 <Inst> so disappointing, there's like no major webdev users of Haskell ;_;
2023-01-13 04:15:35 +0100 <Inst> possibly a cultural mismatch
2023-01-13 04:16:14 +0100 <sm> Inst: the IHP community is pretty active
2023-01-13 04:16:19 +0100 <Axman6> what makesd you think that profound statement is true?
2023-01-13 04:17:48 +0100 <sm> I like the Southern Exposure Seed Exchange mentioned at https://www.reddit.com/r/haskell/comments/fafvd4/any_examples_of_large_haskell_web_apis/
2023-01-13 04:17:55 +0100 <Inst> define active
2023-01-13 04:17:57 +0100 <Inst> https://ihp.digitallyinduced.com/community/
2023-01-13 04:18:26 +0100 <Inst> Axman6: I hang around with JSers on Codewars, etc, and I try to cajole all the hobby-level JS to Haskellers to make more apps in Haskell and try to push it into production
2023-01-13 04:18:38 +0100 <sm> lots of updates and happy sounds from users. Please define major webdev users ?
2023-01-13 04:18:49 +0100 <Inst> I put up a thread, but it's hard for me to see people building substantial stuff with Haskell server kits
2023-01-13 04:19:06 +0100ec__(~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
2023-01-13 04:19:11 +0100ec(~ec@gateway/tor-sasl/ec)
2023-01-13 04:19:21 +0100 <Inst> and generally, Haskell websites don't look well-designed; maybe they understand their audience (put off by frapperies)
2023-01-13 04:19:42 +0100mechap(~mechap@user/mechap) (Ping timeout: 252 seconds)
2023-01-13 04:19:48 +0100 <Axman6> Inst: why do you do that? It seems like something that's only going to annoy people. you seem to have an obsession with making haskell "successful" when it already is successful in the ways that matter to us. We don't have any ambitions to by python or ruby
2023-01-13 04:20:33 +0100 <Inst> newbie enthusiasm, i guess
2023-01-13 04:20:52 +0100 <maerwald> true, let them be enthusiastic before reality hits them
2023-01-13 04:21:19 +0100 <sm> Haskell hasn't reached ruby on rails level of excitement for web dev, but I think a fair number of web apps and apis are using it without fuss
2023-01-13 04:21:38 +0100mechap(~mechap@user/mechap)
2023-01-13 04:21:52 +0100 <Axman6> yep, it's probably one of the places that Haskell in production is most common
2023-01-13 04:22:58 +0100 <sm> re well-designed, in the graphic/UX sense - it's of course possible but people don't reach for haskell for that, so the set of pretty haskell web apps is quite small
2023-01-13 04:23:03 +0100 <Axman6> Also I'm not sure a quiet forum indicates a lack of use, it could also indicate a lack of problems; most people don't go on a forum just to say "Another day of using IHP, I didn't run into any bugs today"
2023-01-13 04:23:43 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2023-01-13 04:24:06 +0100 <sm> let's hope :)
2023-01-13 04:24:20 +0100 <sm> it's still on my list to try
2023-01-13 04:25:36 +0100 <Axman6> yeah I don't tend have many reasons to do web dev, but I would like to give it a go too
2023-01-13 04:26:07 +0100 <sm> a 1G vps isn't big enough for the nix install, must try again
2023-01-13 04:28:07 +0100 <Axman6> Damn, looks like it's come a long way since I last looked at it, looks really slick
2023-01-13 04:31:15 +0100Katarushisu(~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) (Quit: Ping timeout (120 seconds))
2023-01-13 04:31:33 +0100Katarushisu(~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net)
2023-01-13 04:32:17 +0100 <jackdk> I'll say it: we just had another week of Haskell web services where nothing broke. Haven't looked into the IHPverse though...
2023-01-13 04:32:33 +0100 <jackdk> Just like many weeks before it.
2023-01-13 04:33:12 +0100 <sm> jackdk: sounds pretty boring. Love it. :)
2023-01-13 04:33:47 +0100 <jackdk> Haskell makes writing software a lot more boring. It's pretty cool.
2023-01-13 04:33:51 +0100 <Axman6> I've been told by my previous boss the web service I wrote... 8 years ago... is still running just fine in production
2023-01-13 04:35:37 +0100 <sm> BORING
2023-01-13 04:36:38 +0100 <sm> I would like to know of one really snazzy-looking haskell web app, if anyone knows one.
2023-01-13 04:36:59 +0100 <sm> I know that's nothing to do with haskell, except good for perception
2023-01-13 04:37:12 +0100 <Axman6> yeah, it just sits there, using minimal memory, performing well, day in, day out. Basically wrote myself out of a job
2023-01-13 04:37:15 +0100hueso(~root@user/hueso) (Quit: hueso)
2023-01-13 04:37:28 +0100 <sm> doh
2023-01-13 04:38:12 +0100 <Axman6> (not really)
2023-01-13 04:38:16 +0100waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 252 seconds)
2023-01-13 04:38:25 +0100 <Axman6> IHP have some case studies on their website
2023-01-13 04:38:31 +0100 <monochrom> How about hackage? How much of hackage is written in Haskell?
2023-01-13 04:39:04 +0100troydm(~troydm@user/troydm) (Ping timeout: 272 seconds)
2023-01-13 04:39:40 +0100 <sm> yup hackage is certainly a serious web app
2023-01-13 04:39:56 +0100 <maerwald> I don't like how the search behaves since a couple of months
2023-01-13 04:40:01 +0100 <maerwald> it's slower and not streaming results
2023-01-13 04:40:09 +0100 <sm> now I'm thinking of the Daedalus wallet app, but I'm not sure which parts are haskell
2023-01-13 04:40:16 +0100 <maerwald> sm: none
2023-01-13 04:40:22 +0100 <maerwald> it's js/electron
2023-01-13 04:40:31 +0100smchecks https://flora.pm
2023-01-13 04:40:52 +0100 <sm> no haskell involved ?
2023-01-13 04:41:48 +0100 <sm> https://www.haskellers.com is still going
2023-01-13 04:43:22 +0100 <sm> https://hub.darcs.net/dolio is a serious web app, though not fancy
2023-01-13 04:43:35 +0100 <sm> er, not just dolio's part.
2023-01-13 04:50:07 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer)
2023-01-13 04:51:13 +0100finsternis(~X@23.226.237.192)
2023-01-13 04:52:43 +0100myxokephale(~myxokepha@cpe-65-28-251-121.cinci.res.rr.com) (Quit: myxokephale)
2023-01-13 04:52:57 +0100myxokephale(~myxokepha@cpe-65-28-251-121.cinci.res.rr.com)
2023-01-13 04:54:43 +0100finn_elija(~finn_elij@user/finn-elija/x-0085643)
2023-01-13 04:54:43 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2023-01-13 04:54:43 +0100finn_elijaFinnElija
2023-01-13 04:56:44 +0100myxokephale(~myxokepha@cpe-65-28-251-121.cinci.res.rr.com) (Client Quit)
2023-01-13 04:56:48 +0100 <Inst> hackage is supposed to be on happstack, no?
2023-01-13 04:57:07 +0100myxokephale(~myxokepha@cpe-65-28-251-121.cinci.res.rr.com)
2023-01-13 04:57:41 +0100troydm(~troydm@user/troydm)
2023-01-13 04:58:12 +0100 <Inst> i was just more disappointed that there were no good user testimonials for Haskell from web developers on the thread I put up
2023-01-13 04:59:45 +0100myxokephale(~myxokepha@cpe-65-28-251-121.cinci.res.rr.com) (Client Quit)
2023-01-13 05:00:01 +0100myxokephale(~myxokepha@cpe-65-28-251-121.cinci.res.rr.com)
2023-01-13 05:00:14 +0100hueso(~root@user/hueso)
2023-01-13 05:00:15 +0100myxokephale(~myxokepha@cpe-65-28-251-121.cinci.res.rr.com) (Client Quit)
2023-01-13 05:00:40 +0100myxokephale(~myxokepha@cpe-65-28-251-121.cinci.res.rr.com)
2023-01-13 05:01:29 +0100 <sm> yes it's build on happstack
2023-01-13 05:01:52 +0100td_(~td@83.135.9.35) (Ping timeout: 272 seconds)
2023-01-13 05:02:07 +0100 <DigitalKiwi> sm: do you have swap on your 1G VPS
2023-01-13 05:02:46 +0100 <sm> probably a little, but that's too slow for haskell work, I bumped it up to 4G today
2023-01-13 05:03:04 +0100 <sm> needed it for compiling haskell programs too
2023-01-13 05:03:12 +0100 <DigitalKiwi> a lot of (nix/haskell) things that don't work on small systems work with a bit of swap
2023-01-13 05:03:28 +0100td_(~td@83.135.9.14)
2023-01-13 05:03:40 +0100qhong_(~qhong@rescomp-21-400677.stanford.edu) (Read error: Connection reset by peer)
2023-01-13 05:03:44 +0100 <DigitalKiwi> nix haskell or otherwise won't like 1g without swap ime
2023-01-13 05:04:21 +0100 <DigitalKiwi> 21:36 sm: I would like to know of one really snazzy-looking haskell web app, if anyone knows one.
2023-01-13 05:04:29 +0100 <DigitalKiwi> https://mostlyabsurd.com/gallery/
2023-01-13 05:04:32 +0100 <DigitalKiwi> ;)
2023-01-13 05:04:39 +0100 <monochrom> heh
2023-01-13 05:04:47 +0100 <sm> 512M swap, it has
2023-01-13 05:05:22 +0100qhong(~qhong@rescomp-21-400677.stanford.edu)
2023-01-13 05:05:25 +0100 <DigitalKiwi> i usually do 2-4 but at least 1GB
2023-01-13 05:05:40 +0100 <sm> very cool. https://mostlyabsurd.com/pieces/2019/12/30/nixos-lambda/
2023-01-13 05:07:38 +0100 <DigitalKiwi> thanks
2023-01-13 05:10:20 +0100 <DigitalKiwi> i've nixos and haskell on raspberry pi 3b+ successfully with enough swap lol
2023-01-13 05:14:10 +0100 <sm> "I only started learning Haskell last year, simultaneously with IHP, and have not worked with other Haskell frameworks so I am not able to compare it with others. However, as a beginner, it was very easy to get going and has been an effective way to learn Haskell for me. After using it for a while now and moving somewhat beyond complete beginner skills, I still find it more than sufficient for my needs. So definitely yes, I would recommend it."
2023-01-13 05:14:45 +0100 <DigitalKiwi> sm they never said if they didn't mind tsk tsk
2023-01-13 05:15:18 +0100 <DigitalKiwi> 22:11 sm: that's very cool, thanks
2023-01-13 05:15:19 +0100 <DigitalKiwi> 22:12 sm: if you don't mind I'll quote that in the other-room web dev chat
2023-01-13 05:15:21 +0100 <DigitalKiwi> 22:13 DigitalKiwi: and if you do mind i will quote it instead because i'm rude and you're already anonymous lol
2023-01-13 05:26:46 +0100hueso(~root@user/hueso) (Quit: hueso)
2023-01-13 05:30:32 +0100 <Inst> I wonder if IHP is viable as a place to drop off people who want to learn Haskell, since it gets them to do something practical with the language
2023-01-13 05:32:50 +0100caryhartline(~caryhartl@2600:1700:2d0:8d30:c1fe:ec76:ecb9:a42c) (Quit: caryhartline)
2023-01-13 05:33:57 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2023-01-13 05:35:32 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex)
2023-01-13 05:36:21 +0100hueso(~root@user/hueso)
2023-01-13 05:38:36 +0100ddellacosta(~ddellacos@143.244.47.100) (Ping timeout: 272 seconds)
2023-01-13 05:39:46 +0100 <DigitalKiwi> help is this what you would call a recursive make (considered harmful) https://www.dropbox.com/s/gyyik9qpl1b62mj/2023-01-12%2022.21.47.jpg?dl=0
2023-01-13 05:41:27 +0100hueso(~root@user/hueso) (Quit: hueso)
2023-01-13 05:44:15 +0100hueso(~root@user/hueso)
2023-01-13 05:49:16 +0100johnw_(~johnw@2600:1700:cf00:db0:bdcf:33ab:b8ee:3af) (Quit: ZNC - http://znc.in)
2023-01-13 06:01:11 +0100hueso(~root@user/hueso) (Quit: hueso)
2023-01-13 06:03:59 +0100hueso(~root@user/hueso)
2023-01-13 06:04:02 +0100rustisafungus(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 246 seconds)
2023-01-13 06:04:41 +0100azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds)
2023-01-13 06:06:28 +0100jao(~jao@92.233.85.247) (Ping timeout: 272 seconds)
2023-01-13 06:08:13 +0100kaskal(~kaskal@213-147-167-253.nat.highway.webapn.at) (Ping timeout: 268 seconds)
2023-01-13 06:11:19 +0100 <sm> Inst: yes, by all accounts it is a good place for at least some people
2023-01-13 06:11:52 +0100 <sm> server side web dev heads, at least
2023-01-13 06:14:46 +0100 <sm> some might do better at https://code.world and then https://code.world/haskell
2023-01-13 06:27:21 +0100hueso(~root@user/hueso) (Quit: hueso)
2023-01-13 06:28:14 +0100Lycurgus(~juan@user/Lycurgus)
2023-01-13 06:33:38 +0100hueso(~root@user/hueso)
2023-01-13 06:44:44 +0100hgolden(~hgolden@cpe-172-251-233-141.socal.res.rr.com) (Remote host closed the connection)
2023-01-13 06:47:35 +0100justsomeguy(~justsomeg@user/justsomeguy) (Ping timeout: 264 seconds)
2023-01-13 06:51:18 +0100talismanick(~talismani@2601:200:c181:8250::ce24)
2023-01-13 06:57:21 +0100sayola(~sayola@ipservice-092-213-087-211.092.213.pools.vodafone-ip.de) (Read error: Connection reset by peer)
2023-01-13 06:59:06 +0100sayola(~sayola@ipservice-092-213-087-211.092.213.pools.vodafone-ip.de)
2023-01-13 07:02:08 +0100L29Ah(~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer)
2023-01-13 07:07:28 +0100ec(~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
2023-01-13 07:08:14 +0100ec(~ec@gateway/tor-sasl/ec)
2023-01-13 07:14:14 +0100v0id_ptr(~adrift@user/ptr-frac7al/x-0038398) (Ping timeout: 272 seconds)
2023-01-13 07:18:03 +0100trev(~trev@user/trev)
2023-01-13 07:21:47 +0100 <Inst> thanks for bringing up codeworld, sm
2023-01-13 07:22:04 +0100 <Inst> I've ALWAYS wanted to learn FRP, but never had a good angle, three penny gui was too hard
2023-01-13 07:22:18 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-01-13 07:28:04 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2023-01-13 07:29:21 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643)
2023-01-13 07:30:49 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 252 seconds)
2023-01-13 07:32:28 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-01-13 07:32:38 +0100takuan(~takuan@178-116-218-225.access.telenet.be)
2023-01-13 07:42:19 +0100nerdypeppernp
2023-01-13 07:43:34 +0100v0id_ptr(~adrift@user/ptr-frac7al/x-0038398)
2023-01-13 07:49:07 +0100mei(~mei@user/mei)
2023-01-13 07:52:29 +0100Lycurgus(~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz)
2023-01-13 07:56:14 +0100chiselfuse(~chiselfus@user/chiselfuse) (Remote host closed the connection)
2023-01-13 07:58:11 +0100tcard(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving)
2023-01-13 08:00:07 +0100tcard(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303)
2023-01-13 08:02:21 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-01-13 08:02:58 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit)
2023-01-13 08:03:54 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-01-13 08:04:05 +0100Guest6780(~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2023-01-13 08:10:03 +0100Guest6780(~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 248 seconds)
2023-01-13 08:10:07 +0100jakalx(~jakalx@base.jakalx.net) (Disconnected: Replaced by new connection)
2023-01-13 08:10:08 +0100jakalx(~jakalx@base.jakalx.net)
2023-01-13 08:19:28 +0100troydm(~troydm@user/troydm) (Ping timeout: 272 seconds)
2023-01-13 08:21:03 +0100Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542)
2023-01-13 08:24:38 +0100hsw(~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net)
2023-01-13 08:26:46 +0100kenran(~user@user/kenran)
2023-01-13 08:28:29 +0100hgolden(~hgolden@cpe-172-251-233-141.socal.res.rr.com)
2023-01-13 08:31:24 +0100Guest6780(~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2023-01-13 08:32:46 +0100abhixec(~abhinav@c-67-169-139-16.hsd1.ca.comcast.net) (Ping timeout: 272 seconds)
2023-01-13 08:33:36 +0100califax(~califax@user/califx) (Remote host closed the connection)
2023-01-13 08:35:57 +0100califax(~califax@user/califx)
2023-01-13 08:36:33 +0100oldfashionedcow(~Rahul_San@user/oldfashionedcow)
2023-01-13 08:37:12 +0100shriekingnoise(~shrieking@186.137.175.87) (Ping timeout: 272 seconds)
2023-01-13 08:40:15 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2023-01-13 08:40:33 +0100curious-user(~user@user/curious-user)
2023-01-13 08:41:38 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex)
2023-01-13 08:47:37 +0100 <curious-user> hi, does anyone remeber a web site with monads/typeclasses tutorials and exercises, it was unfinished several years ago, it was a dedicated site(not a blog post) and i think it had a lot of red color
2023-01-13 08:49:47 +0100hgolden(~hgolden@cpe-172-251-233-141.socal.res.rr.com) (Remote host closed the connection)
2023-01-13 08:49:54 +0100sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
2023-01-13 08:51:32 +0100sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2023-01-13 08:52:10 +0100johnw(~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net)
2023-01-13 08:53:14 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:c22d:f6b8:83f8:5e46)
2023-01-13 08:53:48 +0100 <Unicorn_Princess> curious-user: not a lot of red colour, but it does have a lot of here's-a-typeclass-figure-out-what-the-function-should-be exercises: https://github.com/system-f/fp-course
2023-01-13 08:54:19 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2023-01-13 08:57:15 +0100 <curious-user> Unicorn_Princess: thanks! that's not it but it's still useful
2023-01-13 08:58:39 +0100 <Unicorn_Princess> sorry, s/typeclass/type, mostly
2023-01-13 09:06:05 +0100chele(~chele@user/chele)
2023-01-13 09:06:42 +0100hueso(~root@user/hueso) (Read error: Connection reset by peer)
2023-01-13 09:06:51 +0100hueso_(~root@user/hueso)
2023-01-13 09:08:03 +0100coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba)
2023-01-13 09:08:37 +0100paulpaul1076(~textual@95-29-5-111.broadband.corbina.ru)
2023-01-13 09:10:07 +0100Sauvin(~sauvin@user/Sauvin) (Ping timeout: 265 seconds)
2023-01-13 09:10:10 +0100Bocaneri(~sauvin@user/Sauvin)
2023-01-13 09:10:34 +0100BocaneriGuest4106
2023-01-13 09:11:46 +0100razetime(~Thunderbi@117.193.7.219) (Remote host closed the connection)
2023-01-13 09:12:26 +0100vpan(~0@212.117.1.172)
2023-01-13 09:12:40 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 272 seconds)
2023-01-13 09:15:40 +0100nschoe(~q@141.101.51.197)
2023-01-13 09:18:27 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:54fb:433:f271:a472) (Remote host closed the connection)
2023-01-13 09:26:14 +0100econo(uid147250@user/econo) (Quit: Connection closed for inactivity)
2023-01-13 09:29:27 +0100oldfashionedcow(~Rahul_San@user/oldfashionedcow) (Quit: WeeChat 3.7.1)
2023-01-13 09:29:59 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2023-01-13 09:31:24 +0100sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Read error: Connection reset by peer)
2023-01-13 09:32:03 +0100razetime(~Thunderbi@117.193.7.219)
2023-01-13 09:32:27 +0100sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2023-01-13 09:36:39 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2023-01-13 09:44:06 +0100titibandit1(~titibandi@xdsl-81-173-160-143.nc.de)
2023-01-13 09:44:56 +0100kenran`(~user@user/kenran)
2023-01-13 09:46:29 +0100kenran(~user@user/kenran) (Ping timeout: 256 seconds)
2023-01-13 09:50:20 +0100sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 260 seconds)
2023-01-13 09:50:23 +0100curious-user(~user@user/curious-user) (Quit: WeeChat 3.7.1)
2023-01-13 09:52:53 +0100machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-01-13 09:54:37 +0100sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2023-01-13 09:54:52 +0100avicenzi(~avicenzi@2a00:ca8:a1f:b004::c32)
2023-01-13 09:55:27 +0100talismanick(~talismani@2601:200:c181:8250::ce24) (Ping timeout: 260 seconds)
2023-01-13 09:55:33 +0100chele(~chele@user/chele) (Remote host closed the connection)
2023-01-13 09:55:37 +0100ubert(~Thunderbi@p200300ecdf264e3ba430b09a3aa3621d.dip0.t-ipconnect.de)
2023-01-13 09:57:05 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
2023-01-13 09:58:25 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2023-01-13 09:59:33 +0100machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 260 seconds)
2023-01-13 10:01:01 +0100machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-01-13 10:02:01 +0100chiselfuse(~chiselfus@user/chiselfuse)
2023-01-13 10:05:17 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex)
2023-01-13 10:11:47 +0100m1dnight(~christoph@78-22-0-121.access.telenet.be) (Quit: WeeChat 3.8)
2023-01-13 10:11:50 +0100tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz)
2023-01-13 10:12:31 +0100m1dnight(~christoph@78-22-0-121.access.telenet.be)
2023-01-13 10:15:33 +0100ft(~ft@p4fc2a257.dip0.t-ipconnect.de) (Quit: leaving)
2023-01-13 10:17:31 +0100titibandit1(~titibandi@xdsl-81-173-160-143.nc.de) (Remote host closed the connection)
2023-01-13 10:18:02 +0100MajorBiscuit(~MajorBisc@145.94.179.130)
2023-01-13 10:18:56 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:54fb:433:f271:a472)
2023-01-13 10:22:15 +0100 <mei> the new ghcup version fail to start in windows: libstdc++-6.dll missing
2023-01-13 10:24:10 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:54fb:433:f271:a472) (Ping timeout: 252 seconds)
2023-01-13 10:30:52 +0100cfricke(~cfricke@user/cfricke)
2023-01-13 10:33:22 +0100 <maerwald[m]> mei: oy
2023-01-13 10:34:09 +0100 <mei> it's somehow documented in another context https://docs.haskellstack.org/en/stable/faq/#how-to-get-a-working-executable-on-windows
2023-01-13 10:34:10 +0100 <maerwald[m]> I wonder if some msys2 stuff sneaked in
2023-01-13 10:34:28 +0100 <mei> but the thing is that i don't have libstdc++-6.dll anywhere
2023-01-13 10:34:47 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net)
2023-01-13 10:37:37 +0100 <maerwald[m]> mei: do you have C:\\ghcup\\msys2 or sth?
2023-01-13 10:38:08 +0100 <mei> of course, or i don't think even the older version would have worked
2023-01-13 10:38:16 +0100 <mei> also, i tried to rename ghcup folder and did a clean install
2023-01-13 10:39:07 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2023-01-13 10:39:44 +0100kenran`(~user@user/kenran) (Remote host closed the connection)
2023-01-13 10:41:12 +0100 <maerwald[m]> mei: and is msys2 stuff in your PATH?
2023-01-13 10:41:52 +0100 <mei> well, what directory?
2023-01-13 10:42:11 +0100 <mei> i don't think so though
2023-01-13 10:43:28 +0100 <maerwald[m]> C:\msys64\mingw64\bin
2023-01-13 10:43:39 +0100 <maerwald[m]> C:\msys64\usr\bin
2023-01-13 10:43:46 +0100 <maerwald[m]> Something like that
2023-01-13 10:43:47 +0100 <mei> there isn't that dll but i will try
2023-01-13 10:43:52 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 272 seconds)
2023-01-13 10:43:59 +0100 <maerwald[m]> It's not supposed to be in PATH
2023-01-13 10:44:09 +0100 <maerwald[m]> But it may make it work
2023-01-13 10:44:27 +0100 <mei> i think it would if the dll was there...
2023-01-13 10:45:04 +0100 <mei> yeah, no outcome
2023-01-13 10:45:29 +0100 <maerwald[m]> Which directories did you add
2023-01-13 10:45:46 +0100 <mei> C:\ghcup\msys64\mingw64\bin;C:\ghcup\msys64\usr\bin
2023-01-13 10:46:18 +0100 <mei> trust me i used the search bar, that dll is not anywhere
2023-01-13 10:47:05 +0100jinsl-(~jinsl@123.120.176.13)
2023-01-13 10:47:59 +0100 <mei> i wonder if that lib was static in the previous version...
2023-01-13 10:48:11 +0100jinsl(~jinsl@123.120.176.13) (Ping timeout: 260 seconds)
2023-01-13 10:49:00 +0100 <mei> i will try to download msys2 standalone
2023-01-13 10:50:32 +0100zeenk(~zeenk@2a02:2f04:a014:8700::7fe)
2023-01-13 10:50:55 +0100 <mei> no libstdc++-6.dll there
2023-01-13 10:51:38 +0100 <maerwald> lemme try in vbox
2023-01-13 10:54:32 +0100 <eldritchcookie[4> is there anything to automate generating c2hs binding modules, it is amazing what boilerplate it saves me but i am not using all its power and probably won't need it
2023-01-13 10:56:07 +0100 <eldritchcookie[4> like all my fun directives are use haskell equivalent types, and one or other also has this argument is returned by reference.
2023-01-13 10:57:30 +0100 <maerwald> mei: can reproduce
2023-01-13 10:57:33 +0100 <maerwald> it's not msys2
2023-01-13 10:57:47 +0100 <maerwald> it's fuckup due to text-2.0
2023-01-13 10:57:53 +0100 <maerwald> which requires C++
2023-01-13 10:58:11 +0100 <maerwald> and now GHC links the *internal* libstdc++
2023-01-13 10:58:35 +0100 <maerwald> the workaround is to put this in your PATH: C:\ghcup\ghc\9.2.5\mingw\bin
2023-01-13 10:58:41 +0100 <maerwald> or equivalent of any ghc version
2023-01-13 10:58:43 +0100 <mei> well you first need ghc....
2023-01-13 10:58:49 +0100 <mei> and ghcup is used to get ghc
2023-01-13 10:58:53 +0100 <maerwald> yep
2023-01-13 10:59:00 +0100CiaoSen(~Jura@p200300c9574fa4002a3a4dfffe84dbd5.dip0.t-ipconnect.de)
2023-01-13 10:59:02 +0100 <mei> now i'm sad i removed the old folder
2023-01-13 10:59:12 +0100 <maerwald> GHC is just unpack on windows
2023-01-13 10:59:27 +0100 <mei> ok let me see
2023-01-13 10:59:30 +0100 <maerwald> you can unpack a bindist somewhere in tmp dir and add that to path
2023-01-13 10:59:41 +0100 <maerwald> https://downloads.haskell.org/~ghc/9.2.5/ghc-9.2.5-x86_64-unknown-mingw32.zip
2023-01-13 10:59:58 +0100 <mei> is that 32 correct? i'm on 64
2023-01-13 11:00:15 +0100teo(~teo@user/teo)
2023-01-13 11:00:21 +0100 <maerwald> this is the correct bindist
2023-01-13 11:00:31 +0100califax_(~califax@user/califx)
2023-01-13 11:01:32 +0100poljar(~poljar@93-139-120-188.adsl.net.t-com.hr)
2023-01-13 11:01:39 +0100choram(~user@58.231.189.202)
2023-01-13 11:02:14 +0100poljar1(~poljar@93-139-83-160.adsl.net.t-com.hr) (Ping timeout: 272 seconds)
2023-01-13 11:03:43 +0100sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 260 seconds)
2023-01-13 11:03:53 +0100sammelweis(~quassel@mobile-107-92-122-242.mycingular.net)
2023-01-13 11:03:56 +0100califax(~califax@user/califx) (Ping timeout: 255 seconds)
2023-01-13 11:03:56 +0100califax_califax
2023-01-13 11:03:58 +0100 <choram> hello!
2023-01-13 11:05:25 +0100 <eldritchcookie[4> is there anything to automate generating c2hs binding modules, it is amazing what boilerplate it saves me but i am not using all its power and probably won't need it
2023-01-13 11:05:26 +0100ccapndave(~ccapndave@mob-194-230-158-224.cgn.sunrise.net)
2023-01-13 11:05:37 +0100 <fendor[m]> Can I get a source location for an error call caused by `NonEmpty.fromList`? I am trying `cabal test --enable-profiling --test-options="+RTS -xc"`, but even with the stack trace, I can't determine the source location of the error
2023-01-13 11:06:23 +0100 <maerwald> mei: please raise the issue here https://github.com/haskell/ghcup-hs/issues and tag bgamari
2023-01-13 11:06:39 +0100 <maerwald> unfortunately, I'm off to a date and can't fix it right now
2023-01-13 11:07:07 +0100xff0x_(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 252 seconds)
2023-01-13 11:07:08 +0100 <maerwald> the short-term solution seems to be to downgrade text so we don't get this C++ madness
2023-01-13 11:07:12 +0100 <maerwald> then roll a new point release
2023-01-13 11:07:15 +0100 <mei> bgamari bgamari[m] is in this room though
2023-01-13 11:07:23 +0100 <maerwald> mei: yes, on the *ticket*
2023-01-13 11:07:35 +0100choram(~user@58.231.189.202) (ERC 5.4 (IRC client for GNU Emacs 28.2))
2023-01-13 11:12:29 +0100ccapndave(~ccapndave@mob-194-230-158-224.cgn.sunrise.net) (Quit: Textual IRC Client: www.textualapp.com)
2023-01-13 11:15:54 +0100 <mei> btw even with this workaround the install fail
2023-01-13 11:16:02 +0100 <mei> "_eghcup --cache install ghc recommended" failed!
2023-01-13 11:16:03 +0100 <mei> cat: 'https'$'\357\200\272''/www.haskell.org/ghcup/sh/bootstrap-haskell': No such file or directory
2023-01-13 11:16:14 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2023-01-13 11:16:21 +0100 <mei> but i can finish manually with ghcup
2023-01-13 11:20:23 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 246 seconds)
2023-01-13 11:21:01 +0100 <mei> btw my bad that i tried to add the lib from msys, but the wiki stated from ghc
2023-01-13 11:21:09 +0100 <mei> "Those libraries are shipped with GHC (and, theoretically in some cases, MSYS)"
2023-01-13 11:22:00 +0100alternateved(~user@staticline-31-183-174-39.toya.net.pl)
2023-01-13 11:24:04 +0100troydm(~troydm@user/troydm)
2023-01-13 11:24:10 +0100 <maerwald> I can make it work when I point it to the internal GHC dir that containst libstdc++
2023-01-13 11:24:20 +0100 <maerwald> that's C:\ghcup\ghc\9.2.5\mingw\bin here
2023-01-13 11:27:02 +0100 <maerwald> mei: https://github.com/haskell/ghcup-hs/issues/745
2023-01-13 11:27:43 +0100 <mei> what do you mean by pointing to it? adding that to path? did it and ghcup is working fine. but i'm saying that the script that install the thing at some point fail as i showed you
2023-01-13 11:27:58 +0100v0id_ptr(~adrift@user/ptr-frac7al/x-0038398) (Ping timeout: 252 seconds)
2023-01-13 11:28:25 +0100sammelweis(~quassel@mobile-107-92-122-242.mycingular.net) (Ping timeout: 252 seconds)
2023-01-13 11:28:38 +0100 <mei> i'm fine, since i did ghcup install stuff later, but maybe there are people out there that want the installer script to work :D
2023-01-13 11:28:58 +0100sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2023-01-13 11:29:06 +0100 <maerwald> yes, adding to Path
2023-01-13 11:29:09 +0100 <maerwald> the env var
2023-01-13 11:29:51 +0100 <mei> yes, ghcup is fixed. but still the install script fail after installing ghcup, so you don't have any ghc and so on at install complete
2023-01-13 11:30:06 +0100Guest4106(~sauvin@user/Sauvin) (Ping timeout: 272 seconds)
2023-01-13 11:34:48 +0100 <Profpatsch> Is there a selection of newtype wrappers that will only implement subsets of Num?
2023-01-13 11:35:12 +0100 <Profpatsch> i.e. newtype Foo a = Foo a deriving Num via Addition
2023-01-13 11:35:34 +0100 <Profpatsch> Where Addition will only implement (+) and throw errors for any other function
2023-01-13 11:35:54 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Remote host closed the connection)
2023-01-13 11:36:19 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2023-01-13 11:36:20 +0100Sauvin(~sauvin@user/Sauvin)
2023-01-13 11:36:36 +0100 <eldritchcookie[4> why would you want that i am genuinely curious
2023-01-13 11:37:18 +0100 <mei> maerwald: i think the issue is that the path we added to windows is not considered inside msys, so the script fail to run ghcup there
2023-01-13 11:37:28 +0100 <Profpatsch> eldritchcookie[4: because Num a => Semigroup (Sum a)
2023-01-13 11:37:44 +0100 <Profpatsch> But my newtype should decidedly only ever be used for addition
2023-01-13 11:38:28 +0100 <Profpatsch> I’d rather throw a runtime error if somebody would ever try to multiply or negate it
2023-01-13 11:38:47 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-01-13 11:40:37 +0100 <maerwald[m]> mei: yes, there's a config option to inherit env
2023-01-13 11:41:06 +0100 <eldritchcookie[4> if you newtype is based on a Num a you can do newtype onlySum deriving semigroup via Sum BaseType
2023-01-13 11:41:24 +0100 <chreekat> Too bad + was stolen by Num and not something... else
2023-01-13 11:41:38 +0100 <maerwald[m]> MSYS2_PATH_TYPE=inherit
2023-01-13 11:42:01 +0100 <maerwald[m]> https://stackoverflow.com/questions/45404631/msys2-not-finding-windows-programs-despite-msys2-path…
2023-01-13 11:42:55 +0100mmhat(~mmh@p200300f1c7123cd2ee086bfffe095315.dip0.t-ipconnect.de)
2023-01-13 11:42:55 +0100mmhat(~mmh@p200300f1c7123cd2ee086bfffe095315.dip0.t-ipconnect.de) (Client Quit)
2023-01-13 11:43:56 +0100 <eldritchcookie[4> like if there is one canonical associative operation for your type it should be Semigroup not Num
2023-01-13 11:44:40 +0100 <Profpatsch> eldritchcookie[4: it’s the other way around
2023-01-13 11:44:44 +0100 <Profpatsch> my newtype is in a sum
2023-01-13 11:45:22 +0100 <Profpatsch> Maybe I should invert that actually
2023-01-13 11:45:31 +0100 <eldritchcookie[4> sorry i don't understand please send your newtype definition
2023-01-13 11:45:52 +0100 <Profpatsch> newtype Foo a = Foo a
2023-01-13 11:46:13 +0100 <Profpatsch> Or rather newtype Foo = Foo Int
2023-01-13 11:47:28 +0100 <eldritchcookie[4> so you want to have sum but not multiplication?
2023-01-13 11:48:52 +0100 <eldritchcookie[4> why is newtype Foo = Foo Int deriving Semigroup via Sum Int not acceptable?
2023-01-13 11:49:45 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-01-13 11:52:38 +0100 <Profpatsch> eldritchcookie[4: Not entirely sure, but it feels wrong to implement a Semigroup instance on this directly
2023-01-13 11:53:06 +0100 <Profpatsch> Also you need Num if you want to allow for overloaded number literals
2023-01-13 11:55:36 +0100 <Profpatsch> > 4 * 4 :: MilkAmount
2023-01-13 11:55:38 +0100 <lambdabot> error:
2023-01-13 11:55:38 +0100 <eldritchcookie[4> well if you need Num but only sum and are ok with leaving it incomplete you will need to wrap and unwrap
2023-01-13 11:55:38 +0100 <lambdabot> Not in scope: type constructor or class ‘MilkAmount’
2023-01-13 11:55:38 +0100 <Profpatsch> MilkAmount {unMilkAmount = *** Exception: Only addition allowed for MilkAmount
2023-01-13 11:55:48 +0100 <Profpatsch> > 4 + 4 :: MilkAmount
2023-01-13 11:55:50 +0100 <lambdabot> error:
2023-01-13 11:55:50 +0100 <lambdabot> Not in scope: type constructor or class ‘MilkAmount’
2023-01-13 11:55:50 +0100 <Profpatsch> MilkAmount {unMilkAmount = 8.0}
2023-01-13 11:55:52 +0100 <Profpatsch> like this
2023-01-13 11:56:22 +0100 <Profpatsch> newtype MilkAmount = MilkAmount {unMilkAmount :: Scientific}
2023-01-13 11:56:23 +0100 <Profpatsch> deriving (Num) via (AdditionOnly "MilkAmount" Scientific)
2023-01-13 11:56:25 +0100 <Profpatsch> I think that’s okay
2023-01-13 11:56:48 +0100Profpatschpets lambdabot
2023-01-13 11:57:50 +0100eldritchcookie[4test command
2023-01-13 11:58:33 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2023-01-13 12:00:03 +0100 <jackdk> @botsnack
2023-01-13 12:00:03 +0100 <lambdabot> :)
2023-01-13 12:02:20 +0100 <eldritchcookie[4> is there some way to prevent the massive amount of boilerplate needed when using c2hs? like is there some way to say for these functions just convert to appropriate haskell type no fancy pointer tricks needed?
2023-01-13 12:02:59 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 260 seconds)
2023-01-13 12:03:20 +0100 <eldritchcookie[4> like for instance i have a lot like this ```haskell
2023-01-13 12:03:20 +0100 <eldritchcookie[4> {#fun unsafe update_display_region as ^ {`Int',`Int',`Int',`Int'} -> `()'#}
2023-01-13 12:03:20 +0100 <eldritchcookie[4> ```
2023-01-13 12:03:27 +0100guest333(~guest333@138.34.86.165)
2023-01-13 12:03:32 +0100hsw(~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) (Remote host closed the connection)
2023-01-13 12:03:44 +0100 <eldritchcookie[4> {#fun unsafe update_display_region as ^ {Int',Int',Int',Int'} -> `()'#}
2023-01-13 12:03:53 +0100guest333(~guest333@138.34.86.165) (Client Quit)
2023-01-13 12:03:55 +0100hsw(~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net)
2023-01-13 12:04:44 +0100jinsl-(~jinsl@123.120.176.13) (Ping timeout: 260 seconds)
2023-01-13 12:05:08 +0100 <eldritchcookie[4> like it is smart enough to know if that is valid couldn't it have a default fun directive for the vast majority like this?
2023-01-13 12:05:21 +0100jinsl(~jinsl@2408:8207:255f:27d0:211:32ff:fec8:6aea)
2023-01-13 12:05:49 +0100 <eldritchcookie[4> so it would shorten to {#default fun update_display_region as ^ #}
2023-01-13 12:08:29 +0100 <eldritchcookie[4> which may not seem like a lot but i am doing this for like hundreds of functions so that would translate to fewerr hundreds of lines
2023-01-13 12:08:47 +0100xff0x_(~xff0x@2405:6580:b080:900:33f6:9250:43b6:b1c7)
2023-01-13 12:09:32 +0100chiselfuse(~chiselfus@user/chiselfuse) (Remote host closed the connection)
2023-01-13 12:10:02 +0100chiselfu1e(~chiselfus@user/chiselfuse)
2023-01-13 12:12:57 +0100opticblast(~Thunderbi@secure-165.caltech.edu) (Read error: Connection reset by peer)
2023-01-13 12:13:15 +0100opticblast(~Thunderbi@secure-165.caltech.edu)
2023-01-13 12:13:56 +0100v0id_ptr(~adrift@user/ptr-frac7al/x-0038398)
2023-01-13 12:17:37 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2023-01-13 12:19:15 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643)
2023-01-13 12:24:54 +0100__monty__(~toonn@user/toonn)
2023-01-13 12:28:18 +0100kaskal(~kaskal@089144220250.atnat0029.highway.webapn.at)
2023-01-13 12:29:35 +0100razetime(~Thunderbi@117.193.7.219) (Quit: See You Space Cowboy)
2023-01-13 12:30:08 +0100razetime(~Thunderbi@117.193.7.219)
2023-01-13 12:30:51 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:c22d:f6b8:83f8:5e46) (Ping timeout: 260 seconds)
2023-01-13 12:34:00 +0100sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
2023-01-13 12:35:05 +0100thyriaen(~thyriaen@2a01:aea0:dd4:4bae:6245:cbff:fe9f:48b1)
2023-01-13 12:35:08 +0100sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2023-01-13 12:36:33 +0100CiaoSen(~Jura@p200300c9574fa4002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 255 seconds)
2023-01-13 12:40:51 +0100fizbin(~fizbin@user/fizbin)
2023-01-13 12:44:43 +0100cfricke(~cfricke@user/cfricke) (Quit: WeeChat 3.7.1)
2023-01-13 12:50:26 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net) (Quit: leaving)
2023-01-13 12:51:15 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:2bfe:bf83:f12e:5445)
2023-01-13 12:52:26 +0100jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2023-01-13 12:54:58 +0100beteigeuze(~Thunderbi@a79-169-109-107.cpe.netcabo.pt)
2023-01-13 13:00:39 +0100freeside(~mengwong@bb219-75-41-181.singnet.com.sg)
2023-01-13 13:02:19 +0100razetime(~Thunderbi@117.193.7.219) (Ping timeout: 248 seconds)
2023-01-13 13:05:35 +0100freeside(~mengwong@bb219-75-41-181.singnet.com.sg) (Ping timeout: 264 seconds)
2023-01-13 13:05:48 +0100fizbin(~fizbin@user/fizbin) (Ping timeout: 255 seconds)
2023-01-13 13:06:58 +0100 <dminuoso> I have a new typeclass I enjoy `class Isomorphic s t where morph :: s -> t` with an obvious implied law.
2023-01-13 13:07:33 +0100 <dminuoso> Its the result of fighting with three different IPv4 data types and not wanting to deal with the constant confusion of "which conversion function do I want"
2023-01-13 13:07:49 +0100 <dminuoso> (well and IPv6, and IPv4Prefix, and IPv6Prefix)
2023-01-13 13:07:58 +0100 <dminuoso> Combinations were just a bit too much :)
2023-01-13 13:09:02 +0100 <dminuoso> Even comes with something like `instance Isomorphic s t => Isomorphic (Maybe s) (Maybe t) where morph = fmap morph`
2023-01-13 13:10:56 +0100gensyst(gensyst@user/gensyst)
2023-01-13 13:12:03 +0100biberu\(~biberu@user/biberu)
2023-01-13 13:12:35 +0100Kaipei(~Kaiepi@nwcsnbsc03w-47-55-159-86.dhcp-dynamic.fibreop.nb.bellaliant.net)
2023-01-13 13:16:30 +0100biberu(~biberu@user/biberu) (Ping timeout: 272 seconds)
2023-01-13 13:16:30 +0100Kaiepi(~Kaiepi@nwcsnbsc03w-47-55-159-86.dhcp-dynamic.fibreop.nb.bellaliant.net) (Ping timeout: 272 seconds)
2023-01-13 13:16:30 +0100biberu\biberu
2023-01-13 13:16:31 +0100 <gensyst> I'm looking for a way to version a type in a simple but future-proof way, such that at deserialization (sometime in the future) I can "keep trying" until I "find the right version".
2023-01-13 13:16:32 +0100 <gensyst> Here's my current thinking: (1) For cases where the types differ enough for deserialization to fail, there is nothing to do. (2) For the remaining cases (where the types are similar enough for deserialization to succeed), how do I artificially cause the deserialization to fail as appropriate?
2023-01-13 13:17:04 +0100 <gensyst> What versioning trickery to use?
2023-01-13 13:17:12 +0100 <dminuoso> Keep a version information in the format itself.
2023-01-13 13:17:26 +0100 <dminuoso> Say a byte header that denotes a kind of serialization format version.
2023-01-13 13:17:33 +0100 <gensyst> hmmk
2023-01-13 13:17:48 +0100 <dminuoso> It's robust and future proof. Do this also when you dont expect the format to change.
2023-01-13 13:18:19 +0100 <gensyst> So obvious lol, thank you!
2023-01-13 13:18:22 +0100thegeekinside(~thegeekin@189.217.82.244) (Read error: Connection reset by peer)
2023-01-13 13:19:30 +0100 <dminuoso> Ah and I can even generalize the isomorphic thing above. `instance (Functor f, Isomorphic s t) => Isomorphic (f s) (f t) where iso = fmap iso`
2023-01-13 13:19:34 +0100 <dminuoso> Beautiful
2023-01-13 13:19:53 +0100 <dminuoso> This nicely pierces through `IO (Maybe IPv4)`
2023-01-13 13:23:10 +0100gensyst(gensyst@user/gensyst) (Quit: Leaving)
2023-01-13 13:27:10 +0100MajorBiscuit(~MajorBisc@145.94.179.130) (Quit: WeeChat 3.6)
2023-01-13 13:31:38 +0100gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-01-13 13:35:30 +0100Techcable(~Techcable@user/Techcable) (Ping timeout: 272 seconds)
2023-01-13 13:35:54 +0100freeside(~mengwong@bb219-75-41-181.singnet.com.sg)
2023-01-13 13:40:18 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Remote host closed the connection)
2023-01-13 13:40:41 +0100 <Jadesheit[m]> is there an idiom for traverse print
2023-01-13 13:40:43 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2023-01-13 13:40:51 +0100freeside(~mengwong@bb219-75-41-181.singnet.com.sg) (Ping timeout: 268 seconds)
2023-01-13 13:41:08 +0100boxscape_(~boxscape_@213.52.37.155)
2023-01-13 13:44:09 +0100 <boxscape_> For converting HsExpr to TH, what is the reason a Core expression has to be run that produces the TH Exp, rather than directly traversing the AST and transforming it into TH?
2023-01-13 13:44:22 +0100 <boxscape_> actually meant to ask in #ghc but people here might know too
2023-01-13 13:44:43 +0100Techcable(~Techcable@user/Techcable)
2023-01-13 13:45:53 +0100 <Axman6> Jadesheit[m]: for_ print? :)
2023-01-13 13:46:04 +0100 <Axman6> @hoogle for_
2023-01-13 13:46:04 +0100 <lambdabot> Data.Foldable for_ :: (Foldable t, Applicative f) => t a -> (a -> f b) -> f ()
2023-01-13 13:46:04 +0100 <lambdabot> System.Directory.Internal.Prelude for_ :: (Foldable t, Applicative f) => t a -> (a -> f b) -> f ()
2023-01-13 13:46:04 +0100 <lambdabot> Distribution.Compat.Prelude.Internal for_ :: (Foldable t, Applicative f) => t a -> (a -> f b) -> f ()
2023-01-13 13:46:30 +0100 <Axman6> @hoogle (Foldable t, Applicative f) => (a -> f b) -> t a -> f ()
2023-01-13 13:46:31 +0100 <lambdabot> Data.Foldable traverse_ :: (Foldable t, Applicative f) => (a -> f b) -> t a -> f ()
2023-01-13 13:46:31 +0100 <lambdabot> System.Directory.Internal.Prelude traverse_ :: (Foldable t, Applicative f) => (a -> f b) -> t a -> f ()
2023-01-13 13:46:31 +0100 <lambdabot> Distribution.Compat.Prelude.Internal traverse_ :: (Foldable t, Applicative f) => (a -> f b) -> t a -> f ()
2023-01-13 13:46:44 +0100 <Axman6> traverse_ is really what I meant
2023-01-13 13:47:26 +0100 <dminuoso> Jadesheit[m]: What do you want that could possibly be more idiomatic than `traverse_ print`?
2023-01-13 13:47:46 +0100 <Jadesheit[m]> something shorter for golfing haha
2023-01-13 13:47:55 +0100 <dminuoso> Shorter than using 2 variables. Huh.
2023-01-13 13:48:25 +0100 <dminuoso> You said idiomatic, not maximally small in terms of _ (characters? variables?)
2023-01-13 13:48:25 +0100ix(~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Read error: Connection reset by peer)
2023-01-13 13:48:34 +0100 <Jadesheit[m]> mapM print works
2023-01-13 13:48:40 +0100 <Axman6> mapM_ print is better
2023-01-13 13:48:57 +0100 <Jadesheit[m]> Axman6: longer for golfing ;)
2023-01-13 13:49:02 +0100 <dminuoso> traverse looks and reads nicer *shrugs*
2023-01-13 13:49:21 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-01-13 13:53:35 +0100coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot)
2023-01-13 13:56:34 +0100ix(~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe)
2023-01-13 14:02:36 +0100bilegeek(~bilegeek@2600:1008:b00b:7932:83b7:b59b:b4f7:d8cd)
2023-01-13 14:04:42 +0100bilegeek_(~bilegeek@2600:1008:b086:e65c:c0f3:8b92:9d2d:aaef)
2023-01-13 14:06:07 +0100Guest6780(~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Remote host closed the connection)
2023-01-13 14:07:27 +0100bilegeek(~bilegeek@2600:1008:b00b:7932:83b7:b59b:b4f7:d8cd) (Ping timeout: 255 seconds)
2023-01-13 14:09:41 +0100bilegeek_(~bilegeek@2600:1008:b086:e65c:c0f3:8b92:9d2d:aaef) (Ping timeout: 255 seconds)
2023-01-13 14:12:41 +0100Xeroine(~Xeroine@user/xeroine) (Ping timeout: 252 seconds)
2023-01-13 14:15:51 +0100Xeroine(~Xeroine@user/xeroine)
2023-01-13 14:18:52 +0100coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba)
2023-01-13 14:26:15 +0100Neuromancer(~Neuromanc@user/neuromancer)
2023-01-13 14:28:09 +0100razetime(~Thunderbi@117.193.7.219)
2023-01-13 14:34:19 +0100ix(~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Quit: WeeChat 3.7.1)
2023-01-13 14:35:04 +0100paulpaul1076(~textual@95-29-5-111.broadband.corbina.ru) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2023-01-13 14:35:43 +0100paulpaul1076(~textual@95-29-5-111.broadband.corbina.ru)
2023-01-13 14:36:36 +0100razetime(~Thunderbi@117.193.7.219) (Read error: Connection reset by peer)
2023-01-13 14:37:25 +0100razetime(~Thunderbi@117.193.7.219)
2023-01-13 14:41:15 +0100agumonkey(~user@2a01:e0a:8f9:d3e0:f706:363c:fbf7:9934)
2023-01-13 14:42:28 +0100 <eldritchcookie[4> i have events, they can be any of 20+ types, each has data specific to the event i currently have a known event constructor with EventType and KnownEventData and unknownEvent is there some way to prevent a eventType from havbing wrong data besides doing 20 constructors?
2023-01-13 14:48:44 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2023-01-13 14:49:51 +0100mei_(~mei@user/mei)
2023-01-13 14:50:12 +0100cfricke(~cfricke@user/cfricke)
2023-01-13 14:50:18 +0100gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.7.1)
2023-01-13 14:51:40 +0100 <jean-paul[m]> I have a test suite that uses the Paths_... module. This works fine with cabal test. But if I try to run the test executable directly then the paths come out wrong (pointing way down into dist-newstyle). How do I control what's in Paths_...?
2023-01-13 14:51:43 +0100mei__(~mei@user/mei)
2023-01-13 14:51:47 +0100opticblast(~Thunderbi@secure-165.caltech.edu) (Ping timeout: 260 seconds)
2023-01-13 14:52:30 +0100mei(~mei@user/mei) (Ping timeout: 260 seconds)
2023-01-13 14:53:04 +0100 <Axman6> > generalCategory '¢'
2023-01-13 14:53:06 +0100 <lambdabot> CurrencySymbol
2023-01-13 14:53:13 +0100 <Axman6> > generalCategory '$'
2023-01-13 14:53:15 +0100 <lambdabot> CurrencySymbol
2023-01-13 14:54:59 +0100mei_(~mei@user/mei) (Ping timeout: 246 seconds)
2023-01-13 14:59:16 +0100off^(~off@76.145.190.81) (Remote host closed the connection)
2023-01-13 15:01:11 +0100 <fendor[m]> eldritch cookie GADTs with phantom types, maybe?
2023-01-13 15:01:44 +0100megaTherion(~therion@unix.io) (Quit: ZNC 1.8.2 - https://znc.in)
2023-01-13 15:02:09 +0100thegeekinside(~thegeekin@189.217.82.244)
2023-01-13 15:02:18 +0100 <dminuoso> `withCStringLen :: String -> (CStringLen -> IO a) -> IO a` is there an equivalent primitive for Text?
2023-01-13 15:03:30 +0100 <Hecate> dminuoso: https://hackage.haskell.org/package/text-1.2.4.0/docs/Data-Text-Foreign.html#v:withCStringLen
2023-01-13 15:03:35 +0100megaTherion(~therion@unix.io)
2023-01-13 15:03:47 +0100 <dminuoso> Hecate: Ah hah. I looked at maybe 10 modules, but that one I mentally skipped over.
2023-01-13 15:03:49 +0100 <dminuoso> Thanks.
2023-01-13 15:04:00 +0100 <Hecate> 👍 :)
2023-01-13 15:05:17 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-01-13 15:06:44 +0100 <stefan-_> ByteString.readFile "large.xml" errors with "heap overflow" in IHaskell, in "stack ghci" it works
2023-01-13 15:06:47 +0100 <stefan-_> any ideas?
2023-01-13 15:09:06 +0100mei(~mei@user/mei)
2023-01-13 15:09:17 +0100v0id_ptr(~adrift@user/ptr-frac7al/x-0038398) (Ping timeout: 246 seconds)
2023-01-13 15:10:09 +0100 <Axman6> which ByteString module?
2023-01-13 15:10:54 +0100 <stefan-_> Axman6, Data.ByteString
2023-01-13 15:11:17 +0100 <Axman6> there's a package which can mmap a file into a bytestring, which would likely avoid that
2023-01-13 15:11:26 +0100mei__(~mei@user/mei) (Ping timeout: 246 seconds)
2023-01-13 15:11:45 +0100 <Axman6> (that's probably what readFile should do if the file is very large...)
2023-01-13 15:14:02 +0100kurbus(~kurbus@user/kurbus)
2023-01-13 15:14:40 +0100mei(~mei@user/mei) (Ping timeout: 260 seconds)
2023-01-13 15:16:22 +0100azimut(~azimut@gateway/tor-sasl/azimut)
2023-01-13 15:17:35 +0100L29Ah(~L29Ah@wikipedia/L29Ah)
2023-01-13 15:17:42 +0100 <Axman6> ok I assumed there'd be something more recent, but I've used https://hackage.haskell.org/package/bytestring-mmap in the past; I wonder if it still compiles
2023-01-13 15:19:59 +0100 <stefan-_> Axman6, it is a bit weird that it works in ghci, but not in IHaskell
2023-01-13 15:20:12 +0100 <tv> i've used the slightly more recent mmap package recently
2023-01-13 15:20:25 +0100 <stefan-_> maybe there is a memory setting, which can be tuned
2023-01-13 15:25:37 +0100 <Axman6> stefan-_: I would imagine IHaskell would intentionally have a restricted heap allocation
2023-01-13 15:25:40 +0100sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
2023-01-13 15:26:04 +0100kurbus(~kurbus@user/kurbus) (Quit: Client closed)
2023-01-13 15:27:33 +0100sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2023-01-13 15:32:16 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net)
2023-01-13 15:32:41 +0100 <stefan-_> Axman6, I think I found it, there is a -M3g flag in the kernel.json specification
2023-01-13 15:35:59 +0100 <Axman6> sounds likely - how big is the file anyway? and what're you doing with it?
2023-01-13 15:39:28 +0100 <stefan-_> Axman6, it is 3.7G, I wanted to compare the memory usage against Python's lxml
2023-01-13 15:39:38 +0100boxscape_(~boxscape_@213.52.37.155) (Ping timeout: 272 seconds)
2023-01-13 15:41:14 +0100 <stefan-_> the lxml DOM takes about 40GB, xeno DOM requires only 12GB
2023-01-13 15:57:09 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2023-01-13 16:00:41 +0100shriekingnoise(~shrieking@186.137.175.87)
2023-01-13 16:01:55 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 260 seconds)
2023-01-13 16:05:00 +0100mei(~mei@user/mei)
2023-01-13 16:10:07 +0100coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot)
2023-01-13 16:10:46 +0100boxscape_(~boxscape_@213.52.37.155)
2023-01-13 16:11:37 +0100ix(~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe)
2023-01-13 16:12:13 +0100Xeroine(~Xeroine@user/xeroine) (Ping timeout: 252 seconds)
2023-01-13 16:13:50 +0100ix(~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Read error: Connection reset by peer)
2023-01-13 16:14:34 +0100 <eldritchcookie[4> a c unsigned integer is represented as Word correct?
2023-01-13 16:14:56 +0100kurbus(~kurbus@user/kurbus)
2023-01-13 16:15:11 +0100 <merijn> Mu
2023-01-13 16:15:37 +0100ix(~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe)
2023-01-13 16:16:09 +0100 <merijn> There's a lot of problems with that question :)
2023-01-13 16:16:19 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:2bfe:bf83:f12e:5445) (Quit: WeeChat 2.8)
2023-01-13 16:16:53 +0100Xeroine(~Xeroine@user/xeroine)
2023-01-13 16:17:15 +0100 <merijn> Such as C doesn't actually specify the representation of unsigned integers and also Word is completely unspecified and both depend on the platform you're talking about
2023-01-13 16:17:30 +0100 <merijn> For purposes of FFI the real answer is: use CUInt
2023-01-13 16:18:20 +0100 <eldritchcookie[4> which normal haskell type would best be used to represent it after marshaling?
2023-01-13 16:18:32 +0100 <mauke> well, assuming you mean an "unsigned int". C has multiple unsigned integer types
2023-01-13 16:19:08 +0100 <merijn> eldritchcookie[4: Define "normal" Haskell tyoe
2023-01-13 16:19:15 +0100 <merijn> CUInt *is* a normal haskell type
2023-01-13 16:19:39 +0100kurbus(~kurbus@user/kurbus) (Client Quit)
2023-01-13 16:20:02 +0100 <eldritchcookie[4> normally used, we don't just use CUInt in our programs normally i want a idiomatic haskell type
2023-01-13 16:20:24 +0100 <merijn> I'm not sure what idiomatic Haskell even means in this context
2023-01-13 16:20:44 +0100 <merijn> If you wanna talk to C, the idiomatic thing to do is: use CUInt
2023-01-13 16:20:54 +0100 <merijn> Like, that's *literally* what it's for
2023-01-13 16:21:12 +0100 <merijn> Any alternative is just gonna boil down to: manually trying to cover all the stuff CUInt does
2023-01-13 16:21:57 +0100 <eldritchcookie[4> by idiomatic i mean when you want a non negative integer type which one do you use?
2023-01-13 16:22:16 +0100 <boxscape_> Natural?
2023-01-13 16:22:20 +0100 <merijn> Int xD
2023-01-13 16:22:31 +0100 <mauke> size_t
2023-01-13 16:22:38 +0100 <merijn> Everytime I think using Word/Natural is a great idea it comes back to bite me in the ass
2023-01-13 16:22:58 +0100 <boxscape_> :(
2023-01-13 16:23:50 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:54fb:433:f271:a472)
2023-01-13 16:23:53 +0100 <eldritchcookie[4> ok can i safely convert CUInt to Int or will i need to change all types to Integer?
2023-01-13 16:24:31 +0100 <merijn> No
2023-01-13 16:24:39 +0100 <mauke> from a C point of view, CUInt can be arbitrarily large and Int might be only 30 bits
2023-01-13 16:24:40 +0100 <merijn> Since Haskell report only guarantees 28 bits for Int
2023-01-13 16:24:51 +0100 <mauke> well, s/C/C and Haskell standard/
2023-01-13 16:24:54 +0100 <merijn> mauke: Pretty sure it's only 27 or 28 bits:p
2023-01-13 16:25:38 +0100 <mauke> haddock for Int says "A fixed-precision integer type with at least the range `[-2^29 .. 2^29-1]`."
2023-01-13 16:25:42 +0100 <boxscape_> just to be clear, CUInt is guaranteed to be the same size as unsigned int though?
2023-01-13 16:26:04 +0100 <merijn> boxscape_: Well, define guaranteed ;) But yeah, it's a bug if it's not :p
2023-01-13 16:26:14 +0100 <boxscape_> right I was close to putting guaranteed into quotes :D
2023-01-13 16:28:13 +0100 <eldritchcookie[4> ok better question what type can i use to minimize conversions for users of my library?
2023-01-13 16:28:15 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:54fb:433:f271:a472) (Ping timeout: 256 seconds)
2023-01-13 16:30:11 +0100 <eldritchcookie[4> assuming i can potentially receive any valid CUInt from the C side?
2023-01-13 16:30:45 +0100 <mauke> String
2023-01-13 16:31:06 +0100 <mauke> otherwise they'd have to convert it every time they print it
2023-01-13 16:32:11 +0100 <merijn> eldritchcookie[4: Minimal conversions would be just using CUInt :p
2023-01-13 16:33:25 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2023-01-13 16:34:50 +0100kurbus(~kurbus@user/kurbus)
2023-01-13 16:37:14 +0100hgolden(~hgolden@cpe-172-251-233-141.socal.res.rr.com)
2023-01-13 16:38:19 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 260 seconds)
2023-01-13 16:41:08 +0100 <eldritchcookie[4> users of my library the conversions i do i do not care
2023-01-13 16:41:31 +0100razetime(~Thunderbi@117.193.7.219) (Ping timeout: 248 seconds)
2023-01-13 16:42:13 +0100 <eldritchcookie[4> ok my internet was down for a minute what integral type should i use if i want users of my library to do minimal conversions?
2023-01-13 16:42:31 +0100jmdaemon(~jmdaemon@user/jmdaemon)
2023-01-13 16:44:12 +0100laalyn(~laalyn@c-73-241-126-7.hsd1.ca.comcast.net) (Quit: Client closed)
2023-01-13 16:46:17 +0100 <geekosaur> I think if you're looking for "minimal conversions" you're using the wrong language
2023-01-13 16:47:52 +0100 <merijn> ooh...this looks neat: https://github.com/stevana/bits-and-bobs#readme
2023-01-13 16:48:21 +0100 <merijn> I made an ad hoc implementation of something like that a while ago, but that was kinda hacky
2023-01-13 16:50:16 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2023-01-13 16:51:23 +0100Sgeo(~Sgeo@user/sgeo)
2023-01-13 16:52:45 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-01-13 16:53:30 +0100 <eldritchcookie[4> ok i am not looking for minimal conversions i want users to feel as if the library was a pure haskell one and make the c code an implementation detail so which type should a non negative number be?
2023-01-13 16:54:59 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 260 seconds)
2023-01-13 16:55:02 +0100ix(~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Remote host closed the connection)
2023-01-13 16:55:11 +0100ix(~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe)
2023-01-13 16:56:55 +0100 <boxscape_> seems like it probably depends on what the number represents
2023-01-13 16:57:06 +0100 <boxscape_> i don't have a lot of experience with making C bindings though
2023-01-13 16:58:08 +0100 <geekosaur> a Haskell developer would use Word (64 bits) or Natural (unbounded) normally. but if combination with signed types is expected they may use Int/Integer
2023-01-13 16:58:51 +0100 <geekosaur> (I consider the latter a bad idea since it'll fail badly if it actually needs that extra bit, but it doesn't seem to bother some developers)
2023-01-13 16:59:05 +0100 <eldritchcookie[4> ok the type is supposed to be an id i probably should newtype CUInt right?
2023-01-13 17:00:08 +0100 <boxscape_> that seems like a good idea
2023-01-13 17:00:26 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:54fb:433:f271:a472)
2023-01-13 17:00:39 +0100jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 268 seconds)
2023-01-13 17:01:59 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2023-01-13 17:06:49 +0100ix(~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Remote host closed the connection)
2023-01-13 17:06:59 +0100ix(~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe)
2023-01-13 17:07:02 +0100CiaoSen(~Jura@p200300c9574fa4002a3a4dfffe84dbd5.dip0.t-ipconnect.de)
2023-01-13 17:07:13 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-01-13 17:07:50 +0100ix(~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Remote host closed the connection)
2023-01-13 17:08:00 +0100ix(~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe)
2023-01-13 17:08:08 +0100ix(~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Client Quit)
2023-01-13 17:08:11 +0100nschoe(~q@141.101.51.197) (Quit: Switching off)
2023-01-13 17:09:01 +0100ix(~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe)
2023-01-13 17:10:37 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:54fb:433:f271:a472) (Remote host closed the connection)
2023-01-13 17:10:50 +0100jmdaemon(~jmdaemon@user/jmdaemon) (Ping timeout: 272 seconds)
2023-01-13 17:12:34 +0100kurbus(~kurbus@user/kurbus) (Quit: Client closed)
2023-01-13 17:14:28 +0100ix(~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Ping timeout: 252 seconds)
2023-01-13 17:15:32 +0100troydm(~troydm@user/troydm) (Ping timeout: 255 seconds)
2023-01-13 17:16:30 +0100lagash_(lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
2023-01-13 17:17:02 +0100cfricke(~cfricke@user/cfricke) (Quit: WeeChat 3.7.1)
2023-01-13 17:20:01 +0100 <ncf> int-e: i may have taken our discussion too far https://gist.github.com/ncfavier/3085a2a2a72c5ea83291204fcf6d56ad
2023-01-13 17:21:18 +0100 <ncf> (if you add internal parametricity somehow you can even get ℕ ≃ MEndo directly, naturality being "for free")
2023-01-13 17:23:20 +0100jmdaemon(~jmdaemon@user/jmdaemon)
2023-01-13 17:25:08 +0100boxscape_(~boxscape_@213.52.37.155) (Quit: Connection closed)
2023-01-13 17:25:21 +0100lagash(lagash@lagash.shelltalk.net)
2023-01-13 17:25:21 +0100 <int-e> ncf: I don't know what you mean by "too far". This goes in a different direction, but I think it ventures a bit further: https://www.isa-afp.org/entries/Goodstein_Lambda.html
2023-01-13 17:26:35 +0100 <int-e> (One could try *that* in Agda... I think the type system would be strong enough.)
2023-01-13 17:31:39 +0100mechap1(~mechap@user/mechap)
2023-01-13 17:33:09 +0100 <ncf> cool
2023-01-13 17:34:54 +0100mechap(~mechap@user/mechap) (Ping timeout: 272 seconds)
2023-01-13 17:42:25 +0100Tuplanolla(~Tuplanoll@91-159-68-152.elisa-laajakaista.fi)
2023-01-13 17:44:38 +0100gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-01-13 17:46:03 +0100lagash(lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
2023-01-13 17:50:18 +0100lagash_(lagash@lagash.shelltalk.net)
2023-01-13 17:59:47 +0100econo(uid147250@user/econo)
2023-01-13 18:00:31 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2023-01-13 18:01:11 +0100jmdaemon(~jmdaemon@user/jmdaemon) (Ping timeout: 246 seconds)
2023-01-13 18:03:32 +0100stiell_(~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection)
2023-01-13 18:03:33 +0100jpds(~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2023-01-13 18:03:33 +0100ec(~ec@gateway/tor-sasl/ec) (Write error: Connection reset by peer)
2023-01-13 18:03:33 +0100califax(~califax@user/califx) (Read error: Connection reset by peer)
2023-01-13 18:04:03 +0100ec(~ec@gateway/tor-sasl/ec)
2023-01-13 18:04:20 +0100wootehfoot(~wootehfoo@user/wootehfoot)
2023-01-13 18:04:25 +0100stiell_(~stiell@gateway/tor-sasl/stiell)
2023-01-13 18:04:45 +0100jpds(~jpds@gateway/tor-sasl/jpds)
2023-01-13 18:04:51 +0100califax(~califax@user/califx)
2023-01-13 18:08:27 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 252 seconds)
2023-01-13 18:10:12 +0100CiaoSen(~Jura@p200300c9574fa4002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2023-01-13 18:10:43 +0100jmdaemon(~jmdaemon@user/jmdaemon)
2023-01-13 18:11:08 +0100eggplantade(~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net)
2023-01-13 18:16:04 +0100eggplantade(~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds)
2023-01-13 18:16:41 +0100alfonsox(~quassel@103.87.57.33)
2023-01-13 18:19:37 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2023-01-13 18:20:49 +0100bgs(~bgs@212-85-160-171.dynamic.telemach.net)
2023-01-13 18:22:45 +0100thongpv(~thongpv87@2402:9d80:3c5:3279:6838:f48f:3c76:575c) (Ping timeout: 252 seconds)
2023-01-13 18:25:43 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-01-13 18:27:24 +0100alfonsox(~quassel@103.87.57.33) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2023-01-13 18:27:37 +0100elevenkb(~elevenkb@105.224.38.20)
2023-01-13 18:28:46 +0100jpds(~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2023-01-13 18:29:01 +0100jpds(~jpds@gateway/tor-sasl/jpds)
2023-01-13 18:29:22 +0100thongpv(~thongpv87@2402:9d80:3bd:68e:7af8:9a7e:452b:164c)
2023-01-13 18:34:10 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2023-01-13 18:34:42 +0100jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2023-01-13 18:35:46 +0100fserucas(~fserucas@2001:818:e376:a400:fb92:70c1:dd88:c7d7) (Quit: Leaving)
2023-01-13 18:38:40 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 252 seconds)
2023-01-13 18:39:49 +0100bgs(~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection)
2023-01-13 18:40:41 +0100elevenkb(~elevenkb@105.224.38.20) (Quit: Client closed)
2023-01-13 18:44:14 +0100ft(~ft@p4fc2a257.dip0.t-ipconnect.de)
2023-01-13 18:49:54 +0100trev(~trev@user/trev) (Remote host closed the connection)
2023-01-13 18:50:16 +0100jmdaemon(~jmdaemon@user/jmdaemon) (Ping timeout: 272 seconds)
2023-01-13 18:51:37 +0100tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
2023-01-13 18:52:48 +0100vpan(~0@212.117.1.172) (Quit: Leaving.)
2023-01-13 18:54:55 +0100coot(~coot@213.134.171.3)
2023-01-13 18:58:30 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2023-01-13 18:58:38 +0100finn_elija(~finn_elij@user/finn-elija/x-0085643)
2023-01-13 18:58:38 +0100finn_elijaFinnElija
2023-01-13 18:59:32 +0100eggplantade(~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net)
2023-01-13 19:00:47 +0100avicenzi(~avicenzi@2a00:ca8:a1f:b004::c32) (Ping timeout: 264 seconds)
2023-01-13 19:01:10 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2023-01-13 19:04:55 +0100coot(~coot@213.134.171.3) (Quit: coot)
2023-01-13 19:06:06 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 272 seconds)
2023-01-13 19:08:52 +0100troydm(~troydm@user/troydm)
2023-01-13 19:11:01 +0100titibandit1(~titibandi@xdsl-81-173-160-143.nc.de)
2023-01-13 19:15:59 +0100titibandit1(~titibandi@xdsl-81-173-160-143.nc.de) (Quit: Leaving.)
2023-01-13 19:16:02 +0100eggplantade(~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2023-01-13 19:17:41 +0100segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net)
2023-01-13 19:18:08 +0100Xeroine(~Xeroine@user/xeroine) (Quit: ZNC 1.8.2+deb2+b1 - https://znc.in)
2023-01-13 19:18:27 +0100Xeroine(~Xeroine@user/xeroine)
2023-01-13 19:18:29 +0100teo(~teo@user/teo) (Ping timeout: 252 seconds)
2023-01-13 19:23:12 +0100Neuromancer(~Neuromanc@user/neuromancer) (Ping timeout: 272 seconds)
2023-01-13 19:23:27 +0100alternateved(~user@staticline-31-183-174-39.toya.net.pl) (Remote host closed the connection)
2023-01-13 19:23:56 +0100oldfashionedcow(~Rahul_San@user/oldfashionedcow)
2023-01-13 19:26:32 +0100eggplantade(~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net)
2023-01-13 19:28:23 +0100beteigeuze(~Thunderbi@a79-169-109-107.cpe.netcabo.pt) (Ping timeout: 264 seconds)
2023-01-13 19:33:31 +0100Lycurgus(~juan@user/Lycurgus)
2023-01-13 19:35:57 +0100mei_(~mei@user/mei)
2023-01-13 19:36:29 +0100mei(~mei@user/mei) (Ping timeout: 260 seconds)
2023-01-13 19:37:11 +0100kurbus(~kurbus@user/kurbus)
2023-01-13 19:39:28 +0100wootehfoot(~wootehfoo@user/wootehfoot) (Quit: Leaving)
2023-01-13 19:41:54 +0100jero98772(~jero98772@2800:484:1d80:d8ce:9815:cfda:3661:17bb)
2023-01-13 19:43:29 +0100kurbus(~kurbus@user/kurbus) (Quit: Client closed)
2023-01-13 19:44:56 +0100emmanuelux(~emmanuelu@user/emmanuelux)
2023-01-13 19:45:11 +0100beteigeuze(~Thunderbi@a79-169-109-107.cpe.netcabo.pt)
2023-01-13 19:45:19 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds)
2023-01-13 19:46:06 +0100kurbus(~kurbus@user/kurbus)
2023-01-13 19:46:15 +0100xacktm(~xacktm@user/xacktm) (Ping timeout: 260 seconds)
2023-01-13 19:46:38 +0100andreas303(andreas303@ip227.orange.bnc4free.com) (Ping timeout: 272 seconds)
2023-01-13 19:46:42 +0100zmt01(~zmt00@user/zmt00)
2023-01-13 19:49:39 +0100beteigeuze(~Thunderbi@a79-169-109-107.cpe.netcabo.pt) (Ping timeout: 260 seconds)
2023-01-13 19:50:43 +0100zmt00(~zmt00@user/zmt00) (Ping timeout: 252 seconds)
2023-01-13 19:59:14 +0100jludwig(~justin@li657-110.members.linode.com) (Quit: ZNC - https://znc.in)
2023-01-13 20:00:21 +0100jludwig(~justin@li657-110.members.linode.com)
2023-01-13 20:07:01 +0100beteigeuze(~Thunderbi@bl14-81-220.dsl.telepac.pt)
2023-01-13 20:09:24 +0100Lycurgus(~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz)
2023-01-13 20:10:32 +0100andreas303(andreas303@ip227.orange.bnc4free.com)
2023-01-13 20:11:51 +0100merijn(~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl)
2023-01-13 20:14:09 +0100talismanick(~talismani@campus-055-139.ucdavis.edu)
2023-01-13 20:18:01 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2023-01-13 20:22:54 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 260 seconds)
2023-01-13 20:23:29 +0100jinsun__(~jinsun@user/jinsun)
2023-01-13 20:23:29 +0100jinsun(~jinsun@user/jinsun) (Killed (osmium.libera.chat (Nickname regained by services)))
2023-01-13 20:23:29 +0100jinsun__jinsun
2023-01-13 20:24:45 +0100xacktm(~xacktm@user/xacktm)
2023-01-13 20:26:10 +0100oldfashionedcowgen43
2023-01-13 20:27:06 +0100gen43oldfashionedcow
2023-01-13 20:36:13 +0100EsoAlgo(~EsoAlgo@129.146.136.145) (Remote host closed the connection)
2023-01-13 20:37:35 +0100EsoAlgo8(~EsoAlgo@129.146.136.145)
2023-01-13 20:37:47 +0100kurbus(~kurbus@user/kurbus) (Quit: Client closed)
2023-01-13 20:43:24 +0100kurbus(~kurbus@user/kurbus)
2023-01-13 20:44:30 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2023-01-13 20:46:21 +0100merijn(~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds)
2023-01-13 20:46:33 +0100mc47(~mc47@xmonad/TheMC47)
2023-01-13 20:46:44 +0100jpds(~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2023-01-13 20:48:45 +0100jpds(~jpds@gateway/tor-sasl/jpds)
2023-01-13 20:48:45 +0100moonsheep(~moonsheep@user/moonsheep) (Read error: Connection reset by peer)
2023-01-13 20:48:50 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 255 seconds)
2023-01-13 20:49:30 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2023-01-13 20:53:23 +0100emad_(~emad@41.239.96.79)
2023-01-13 20:54:24 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 272 seconds)
2023-01-13 20:54:47 +0100talismanick(~talismani@campus-055-139.ucdavis.edu) (Ping timeout: 264 seconds)
2023-01-13 20:59:59 +0100mechap1(~mechap@user/mechap) (Quit: WeeChat 3.8)
2023-01-13 21:00:16 +0100mechap(~mechap@user/mechap)
2023-01-13 21:03:30 +0100mechap(~mechap@user/mechap) (Client Quit)
2023-01-13 21:04:02 +0100mechap(~mechap@user/mechap)
2023-01-13 21:04:19 +0100mimmy_(~mimmy@86.48.15.175)
2023-01-13 21:04:30 +0100mechap(~mechap@user/mechap) (Max SendQ exceeded)
2023-01-13 21:04:58 +0100mechap(~mechap@user/mechap)
2023-01-13 21:06:46 +0100kurbus(~kurbus@user/kurbus) (Quit: Client closed)
2023-01-13 21:09:15 +0100johnw(~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) (Quit: ZNC - http://znc.in)
2023-01-13 21:09:37 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2023-01-13 21:10:22 +0100trev(~trev@user/trev)
2023-01-13 21:11:23 +0100johnw(~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net)
2023-01-13 21:11:24 +0100jpds(~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2023-01-13 21:12:08 +0100jpds(~jpds@gateway/tor-sasl/jpds)
2023-01-13 21:13:29 +0100mechap(~mechap@user/mechap) (Ping timeout: 268 seconds)
2023-01-13 21:14:14 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 260 seconds)
2023-01-13 21:15:22 +0100mechap(~mechap@user/mechap)
2023-01-13 21:15:56 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds)
2023-01-13 21:25:45 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:1a81:1c8e:cd4e:58e9)
2023-01-13 21:26:17 +0100stiell_(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 255 seconds)
2023-01-13 21:30:12 +0100CoolMa7(~CoolMa7@2a02:8109:9d40:14ea:f0d1:ec87:105d:bdfe)
2023-01-13 21:34:09 +0100stiell_(~stiell@gateway/tor-sasl/stiell)
2023-01-13 21:34:17 +0100bilegeek(~bilegeek@29.sub-174-208-235.myvzw.com)
2023-01-13 21:34:53 +0100mechap(~mechap@user/mechap) (Quit: WeeChat 3.8)
2023-01-13 21:35:48 +0100emad_(~emad@41.239.96.79) (Quit: Leaving)
2023-01-13 21:36:24 +0100thyriaen(~thyriaen@2a01:aea0:dd4:4bae:6245:cbff:fe9f:48b1) (Remote host closed the connection)
2023-01-13 21:38:40 +0100offdg^(~offdg@76.145.190.81)
2023-01-13 21:52:09 +0100mimmy_(~mimmy@86.48.15.175) (Ping timeout: 260 seconds)
2023-01-13 21:52:31 +0100eggplantade(~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2023-01-13 21:53:02 +0100mimmy_(~mimmy@86.48.15.172)
2023-01-13 22:00:30 +0100Midjak(~Midjak@82.66.147.146)
2023-01-13 22:02:00 +0100merijn(~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl)
2023-01-13 22:07:29 +0100 <DigitalKiwi> anyone want to help me with this nerd snipe i got on christmas from one of my friends
2023-01-13 22:08:10 +0100 <DigitalKiwi> https://1drv.ms/u/s!Ap7Q1OKE4r7GgY4jmWkTq6s8wFY6Cg?e=gqeI7b
2023-01-13 22:08:49 +0100 <DigitalKiwi> someone said it's probably a linear regression?
2023-01-13 22:08:59 +0100 <DigitalKiwi> https://en.wikipedia.org/wiki/Linear_regression
2023-01-13 22:09:06 +0100 <DigitalKiwi> https://code.jsoftware.com/wiki/Essays/Linear_Regression
2023-01-13 22:09:13 +0100 <DigitalKiwi> and gave me those links but i am lost lol
2023-01-13 22:11:50 +0100 <DigitalKiwi> https://www.dropbox.com/scl/fi/htdsqj962xfe9p558clbm/signal-2022-12-25-081714.jpeg.ods?dl=0&rlkey=… here's a spreadsheet with the data easier to work with than a screenshot lol
2023-01-13 22:12:37 +0100 <DigitalKiwi> could this be helpful https://hackage.haskell.org/package/statistics-linreg
2023-01-13 22:13:40 +0100 <DigitalKiwi> or this https://hackage.haskell.org/package/regression-simple
2023-01-13 22:13:58 +0100 <shapr> Is there a good way to search for typeclass instances? Does Hoogle do that?
2023-01-13 22:14:04 +0100 <shapr> howdy kiwi
2023-01-13 22:14:29 +0100 <DigitalKiwi> hey shapr :D
2023-01-13 22:14:36 +0100 <DigitalKiwi> long time
2023-01-13 22:15:51 +0100titibandit1(~titibandi@xdsl-81-173-160-143.nc.de)
2023-01-13 22:16:41 +0100 <DigitalKiwi> shapr: what're you looking for
2023-01-13 22:18:59 +0100 <[exa]> DigitalKiwi: sounds ugly lot like anova
2023-01-13 22:19:34 +0100 <[exa]> (spoiler: all tricky business logic lead to anova and you may spend explaining years and years that anova is BS but they will still believe in it)
2023-01-13 22:21:03 +0100coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba)
2023-01-13 22:22:16 +0100mc47(~mc47@xmonad/TheMC47) (Remote host closed the connection)
2023-01-13 22:23:21 +0100mimmy_(~mimmy@86.48.15.172) (Read error: Connection reset by peer)
2023-01-13 22:24:49 +0100jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 260 seconds)
2023-01-13 22:26:07 +0100abhixec(~abhinav@c-67-169-139-16.hsd1.ca.comcast.net)
2023-01-13 22:26:27 +0100mizlan(~mizlan@131.179.76.218)
2023-01-13 22:31:45 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:54fb:433:f271:a472)
2023-01-13 22:33:20 +0100Midjak(~Midjak@82.66.147.146) (Quit: Leaving)
2023-01-13 22:33:27 +0100gmg(~user@user/gehmehgeh)
2023-01-13 22:34:28 +0100Lord_of_Life_(~Lord@user/lord-of-life/x-2819915)
2023-01-13 22:34:56 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds)
2023-01-13 22:35:23 +0100juri_(~juri@84-19-175-179.pool.ovpn.com) (Ping timeout: 252 seconds)
2023-01-13 22:35:46 +0100Lord_of_Life_Lord_of_Life
2023-01-13 22:36:47 +0100merijn(~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) (Ping timeout: 264 seconds)
2023-01-13 22:41:02 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:1a81:1c8e:cd4e:58e9) (Quit: WeeChat 2.8)
2023-01-13 22:42:11 +0100juri_(~juri@84-19-175-179.pool.ovpn.com)
2023-01-13 22:45:33 +0100Me-me(~me-me@2602:ff16:3:0:1:dc:beef:d00d) (Quit: Disconnecting on purpose.)
2023-01-13 22:45:45 +0100jinsun(~jinsun@user/jinsun) (Read error: Connection reset by peer)
2023-01-13 22:46:01 +0100jinsun(~jinsun@user/jinsun)
2023-01-13 22:46:28 +0100abhixec(~abhinav@c-67-169-139-16.hsd1.ca.comcast.net) (Ping timeout: 265 seconds)
2023-01-13 22:46:32 +0100Me-me(~me-me@2602:ff16:3:0:1:dc:beef:d00d)
2023-01-13 22:46:33 +0100tcard(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Remote host closed the connection)
2023-01-13 22:46:47 +0100tcard(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303)
2023-01-13 22:47:16 +0100cheater(~Username@user/cheater) (Ping timeout: 252 seconds)
2023-01-13 22:48:17 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:54fb:433:f271:a472) (Remote host closed the connection)
2023-01-13 22:48:57 +0100titibandit1(~titibandi@xdsl-81-173-160-143.nc.de) (Remote host closed the connection)
2023-01-13 22:51:06 +0100 <eldritchcookie[4> for some reason c2hs is importing as the wrong type
2023-01-13 22:51:20 +0100califax(~califax@user/califx) (Ping timeout: 255 seconds)
2023-01-13 22:51:38 +0100Midjak(~Midjak@82.66.147.146)
2023-01-13 22:52:37 +0100 <eldritchcookie[4> actually is there any way to make it not choke whenever i have a module importing another via {#import #}
2023-01-13 22:53:04 +0100califax(~califax@user/califx)
2023-01-13 22:53:43 +0100mizlan(~mizlan@131.179.76.218) (Ping timeout: 265 seconds)
2023-01-13 22:54:26 +0100mizlan(~mizlan@2607:f010:2e9:21:5d22:1e45:a3c8:5050)
2023-01-13 22:59:54 +0100 <eldritchcookie[4> besides reordering my exposed modules?
2023-01-13 23:02:02 +0100gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.7.1)
2023-01-13 23:09:38 +0100CoolMa7(~CoolMa7@2a02:8109:9d40:14ea:f0d1:ec87:105d:bdfe) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2023-01-13 23:10:35 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2023-01-13 23:10:43 +0100cheater(~Username@user/cheater)
2023-01-13 23:12:49 +0100CoolMa7(~CoolMa7@2a02:8109:9d40:14ea:f0d1:ec87:105d:bdfe)
2023-01-13 23:12:53 +0100unit73e(~emanuel@2001:818:e8dd:7c00:656:e5ff:fe72:9d36)
2023-01-13 23:13:04 +0100mizlan(~mizlan@2607:f010:2e9:21:5d22:1e45:a3c8:5050) (Ping timeout: 252 seconds)
2023-01-13 23:13:37 +0100trev(~trev@user/trev) (Remote host closed the connection)
2023-01-13 23:15:07 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 256 seconds)
2023-01-13 23:16:49 +0100mizlan(~mizlan@169.150.203.52)
2023-01-13 23:21:27 +0100forell(~forell@user/forell)
2023-01-13 23:22:11 +0100fizbin(~fizbin@user/fizbin)
2023-01-13 23:29:50 +0100fizbin(~fizbin@user/fizbin) (Read error: Connection reset by peer)
2023-01-13 23:32:58 +0100merijn(~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl)
2023-01-13 23:33:38 +0100mizlan(~mizlan@169.150.203.52) (Ping timeout: 246 seconds)
2023-01-13 23:33:57 +0100elevenkb(~elevenkb@105.224.38.20)
2023-01-13 23:34:37 +0100TonyStone(~TonyStone@cpe-74-76-57-186.nycap.res.rr.com) (Quit: Leaving)
2023-01-13 23:36:29 +0100coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot)
2023-01-13 23:38:27 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:54fb:433:f271:a472)
2023-01-13 23:38:55 +0100mizlan(~mizlan@169.150.203.65)
2023-01-13 23:43:02 +0100ub(~Thunderbi@p200300ecdf264e047aac122d9aee2265.dip0.t-ipconnect.de)
2023-01-13 23:43:20 +0100mizlan(~mizlan@169.150.203.65) (Ping timeout: 268 seconds)
2023-01-13 23:44:23 +0100ubert(~Thunderbi@p200300ecdf264e3ba430b09a3aa3621d.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2023-01-13 23:44:24 +0100ububert
2023-01-13 23:45:34 +0100elevenkb(~elevenkb@105.224.38.20) (Quit: Client closed)
2023-01-13 23:46:36 +0100mizlan(~mizlan@static-198-54-129-86.cust.tzulo.com)
2023-01-13 23:50:01 +0100elevenkb(~elevenkb@105.224.38.20)
2023-01-13 23:52:35 +0100takuan(~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 268 seconds)
2023-01-13 23:53:16 +0100mizlan(~mizlan@static-198-54-129-86.cust.tzulo.com) (Ping timeout: 252 seconds)
2023-01-13 23:54:43 +0100Xeroine(~Xeroine@user/xeroine) (Quit: ZNC 1.8.2+deb2+b1 - https://znc.in)
2023-01-13 23:55:02 +0100Xeroine(~Xeroine@user/xeroine)
2023-01-13 23:56:12 +0100justsomeguy(~justsomeg@user/justsomeguy)