| 2023-01-13 00:00:33 +0100 | mizlan | (~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 +0100 | talismanick | (~talismani@campus-110-233.ucdavis.edu) (Ping timeout: 252 seconds) |
| 2023-01-13 00:06:36 +0100 | Unicorn_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 +0100 | mizlan | (~mizlan@2607:f010:2a7:1005:94e1:194a:53e4:73b4) |
| 2023-01-13 00:09:08 +0100 | cods | (~fred@82-65-232-44.subs.proxad.net) (Ping timeout: 246 seconds) |
| 2023-01-13 00:09:21 +0100 | cods | (~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 +0100 | panovia | (~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 +0100 | Guest6780 | (~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 +0100 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.7.1) |
| 2023-01-13 00:20:38 +0100 | machinedgod | (~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 +0100 | machinedgod | (~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 +0100 | jumper149 | (~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 +0100 | jero98772 | (~jero98772@2800:484:1d80:d8ce:9815:cfda:3661:17bb) |
| 2023-01-13 00:39:27 +0100 | titibandit1 | (~titibandi@xdsl-81-173-160-143.nc.de) (Remote host closed the connection) |
| 2023-01-13 00:54:26 +0100 | v0id_ptr | (~adrift@user/ptr-frac7al/x-0038398) |
| 2023-01-13 00:56:23 +0100 | oldfashionedcow | gen43 |
| 2023-01-13 00:56:46 +0100 | ubert | (~Thunderbi@p548c9ce5.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2023-01-13 00:59:44 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Quit: Lost terminal) |
| 2023-01-13 00:59:55 +0100 | accord | (uid568320@id-568320.hampstead.irccloud.com) |
| 2023-01-13 01:00:11 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-01-13 01:13:11 +0100 | mizlan | (~mizlan@2607:f010:2a7:1005:94e1:194a:53e4:73b4) (Ping timeout: 246 seconds) |
| 2023-01-13 01:14:17 +0100 | tjakway | (~tjakway@cpe-107-184-74-161.socal.res.rr.com) |
| 2023-01-13 01:14:58 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-152.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2023-01-13 01:20:59 +0100 | unit73e | (~emanuel@2001:818:e8dd:7c00:656:e5ff:fe72:9d36) |
| 2023-01-13 01:22:01 +0100 | mizlan | (~mizlan@2607:f010:2a7:1005:94e1:194a:53e4:73b4) |
| 2023-01-13 01:22:43 +0100 | tjakway | (~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 +0100 | jao | (~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 +0100 | ddellacosta | (~ddellacos@143.244.47.100) |
| 2023-01-13 01:35:55 +0100 | laalyn | (~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 +0100 | jao | (~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 +0100 | kjak | (~kjak@pool-72-66-75-40.washdc.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2023-01-13 01:50:29 +0100 | kjak | (~kjak@pool-72-66-75-40.washdc.fios.verizon.net) |
| 2023-01-13 01:51:33 +0100 | lagash_ | (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in) |
| 2023-01-13 01:55:32 +0100 | lagash_ | (lagash@lagash.shelltalk.net) |
| 2023-01-13 01:56:50 +0100 | zeenk | (~zeenk@2a02:2f04:a014:8700::fba) (Quit: Konversation terminated!) |
| 2023-01-13 01:59:04 +0100 | razetime | (~Thunderbi@117.193.7.219) |
| 2023-01-13 01:59:54 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-01-13 02:04:23 +0100 | bitdex | (~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 +0100 | albet70 | (~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 +0100 | tremon | (~tremon@83-85-213-108.cable.dynamic.v4.ziggo.nl) (Quit: getting boxed in) |
| 2023-01-13 02:13:42 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2023-01-13 02:16:34 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 272 seconds) |
| 2023-01-13 02:16:42 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-01-13 02:19:58 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-01-13 02:19:58 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-01-13 02:19:58 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2023-01-13 02:22:15 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-01-13 02:26:09 +0100 | talismanick | (~talismani@campus-114-208.ucdavis.edu) |
| 2023-01-13 02:27:55 +0100 | xff0x_ | (~xff0x@2405:6580:b080:900:c56:6e84:5fde:af1e) (Ping timeout: 252 seconds) |
| 2023-01-13 02:28:08 +0100 | mizlan | (~mizlan@2607:f010:2a7:1005:94e1:194a:53e4:73b4) (Ping timeout: 255 seconds) |
| 2023-01-13 02:30:07 +0100 | mizlan | (~mizlan@89.46.114.56) |
| 2023-01-13 02:30:23 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2023-01-13 02:35:59 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 260 seconds) |
| 2023-01-13 02:36:53 +0100 | mizlan_ | (~mizlan@2607:f010:2a7:1005:94e1:194a:53e4:73b4) |
| 2023-01-13 02:39:11 +0100 | mizlan | (~mizlan@89.46.114.56) (Ping timeout: 264 seconds) |
| 2023-01-13 02:47:01 +0100 | moonsheep | (~moonsheep@user/moonsheep) |
| 2023-01-13 02:47:35 +0100 | talismanick | (~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 +0100 | kimjetwav | (~user@2607:fea8:235e:b600:eeaa:dbc4:ae4b:9b7c) (Ping timeout: 256 seconds) |
| 2023-01-13 02:55:28 +0100 | mizlan_ | (~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 +0100 | TonyStone | (~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 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2023-01-13 03:12:50 +0100 | xff0x_ | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2023-01-13 03:12:58 +0100 | abhixec | (~abhinav@c-67-169-139-16.hsd1.ca.comcast.net) |
| 2023-01-13 03:15:27 +0100 | gen43 | (~Rahul_San@user/oldfashionedcow) (Quit: WeeChat 3.7.1) |
| 2023-01-13 03:24:21 +0100 | mizlan | (~mizlan@2607:f010:2e9:21:4d77:68e3:90e8:57ac) |
| 2023-01-13 03:27:04 +0100 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 2023-01-13 03:28:50 +0100 | mizlan | (~mizlan@2607:f010:2e9:21:4d77:68e3:90e8:57ac) (Ping timeout: 260 seconds) |
| 2023-01-13 03:30:58 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 2023-01-13 03:36:00 +0100 | hsw | (~hsw@112-104-142-182.adsl.dynamic.seed.net.tw) (Quit: Leaving) |
| 2023-01-13 03:38:03 +0100 | unit73e | (~emanuel@2001:818:e8dd:7c00:656:e5ff:fe72:9d36) (Ping timeout: 248 seconds) |
| 2023-01-13 03:42:51 +0100 | fizbin | (~fizbin@user/fizbin) (Ping timeout: 248 seconds) |
| 2023-01-13 03:43:40 +0100 | accord | (uid568320@id-568320.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-01-13 03:46:33 +0100 | ec__ | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2023-01-13 03:47:09 +0100 | ec__ | (~ec@gateway/tor-sasl/ec) |
| 2023-01-13 03:49:30 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:54fb:433:f271:a472) |
| 2023-01-13 03:50:50 +0100 | Guest|9 | (~Guest|9@d173-180-234-92.bchsia.telus.net) |
| 2023-01-13 03:51:50 +0100 | beteigeuze | (~Thunderbi@a79-169-109-107.cpe.netcabo.pt) (Quit: beteigeuze) |
| 2023-01-13 03:52:13 +0100 | beteigeuze | (~Thunderbi@a79-169-109-107.cpe.netcabo.pt) |
| 2023-01-13 03:53:50 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:54fb:433:f271:a472) (Ping timeout: 246 seconds) |
| 2023-01-13 03:56:01 +0100 | jero98772 | (~jero98772@2800:484:1d80:d8ce:9815:cfda:3661:17bb) (Remote host closed the connection) |
| 2023-01-13 03:59:24 +0100 | beteigeuze | (~Thunderbi@a79-169-109-107.cpe.netcabo.pt) (Ping timeout: 260 seconds) |
| 2023-01-13 04:04:11 +0100 | Guest|9 | (~Guest|9@d173-180-234-92.bchsia.telus.net) (Quit: Connection closed) |
| 2023-01-13 04:09:07 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 252 seconds) |
| 2023-01-13 04:10:08 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2023-01-13 04:13:32 +0100 | eggplantade | (~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 +0100 | ec__ | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2023-01-13 04:19:11 +0100 | ec | (~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 +0100 | mechap | (~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 +0100 | mechap | (~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 +0100 | freeside | (~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 +0100 | Katarushisu | (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) (Quit: Ping timeout (120 seconds)) |
| 2023-01-13 04:31:33 +0100 | Katarushisu | (~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 +0100 | hueso | (~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 +0100 | waleee | (~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 +0100 | troydm | (~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 +0100 | sm | checks 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 +0100 | finsternis | (~X@23.226.237.192) |
| 2023-01-13 04:52:43 +0100 | myxokephale | (~myxokepha@cpe-65-28-251-121.cinci.res.rr.com) (Quit: myxokephale) |
| 2023-01-13 04:52:57 +0100 | myxokephale | (~myxokepha@cpe-65-28-251-121.cinci.res.rr.com) |
| 2023-01-13 04:54:43 +0100 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-01-13 04:54:43 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-01-13 04:54:43 +0100 | finn_elija | FinnElija |
| 2023-01-13 04:56:44 +0100 | myxokephale | (~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 +0100 | myxokephale | (~myxokepha@cpe-65-28-251-121.cinci.res.rr.com) |
| 2023-01-13 04:57:41 +0100 | troydm | (~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 +0100 | myxokephale | (~myxokepha@cpe-65-28-251-121.cinci.res.rr.com) (Client Quit) |
| 2023-01-13 05:00:01 +0100 | myxokephale | (~myxokepha@cpe-65-28-251-121.cinci.res.rr.com) |
| 2023-01-13 05:00:14 +0100 | hueso | (~root@user/hueso) |
| 2023-01-13 05:00:15 +0100 | myxokephale | (~myxokepha@cpe-65-28-251-121.cinci.res.rr.com) (Client Quit) |
| 2023-01-13 05:00:40 +0100 | myxokephale | (~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 +0100 | td_ | (~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 +0100 | td_ | (~td@83.135.9.14) |
| 2023-01-13 05:03:40 +0100 | qhong_ | (~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 +0100 | qhong | (~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 +0100 | hueso | (~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 +0100 | caryhartline | (~caryhartl@2600:1700:2d0:8d30:c1fe:ec76:ecb9:a42c) (Quit: caryhartline) |
| 2023-01-13 05:33:57 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2023-01-13 05:35:32 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-01-13 05:36:21 +0100 | hueso | (~root@user/hueso) |
| 2023-01-13 05:38:36 +0100 | ddellacosta | (~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 +0100 | hueso | (~root@user/hueso) (Quit: hueso) |
| 2023-01-13 05:44:15 +0100 | hueso | (~root@user/hueso) |
| 2023-01-13 05:49:16 +0100 | johnw_ | (~johnw@2600:1700:cf00:db0:bdcf:33ab:b8ee:3af) (Quit: ZNC - http://znc.in) |
| 2023-01-13 06:01:11 +0100 | hueso | (~root@user/hueso) (Quit: hueso) |
| 2023-01-13 06:03:59 +0100 | hueso | (~root@user/hueso) |
| 2023-01-13 06:04:02 +0100 | rustisafungus | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 246 seconds) |
| 2023-01-13 06:04:41 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 2023-01-13 06:06:28 +0100 | jao | (~jao@92.233.85.247) (Ping timeout: 272 seconds) |
| 2023-01-13 06:08:13 +0100 | kaskal | (~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 +0100 | hueso | (~root@user/hueso) (Quit: hueso) |
| 2023-01-13 06:28:14 +0100 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-01-13 06:33:38 +0100 | hueso | (~root@user/hueso) |
| 2023-01-13 06:44:44 +0100 | hgolden | (~hgolden@cpe-172-251-233-141.socal.res.rr.com) (Remote host closed the connection) |
| 2023-01-13 06:47:35 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 264 seconds) |
| 2023-01-13 06:51:18 +0100 | talismanick | (~talismani@2601:200:c181:8250::ce24) |
| 2023-01-13 06:57:21 +0100 | sayola | (~sayola@ipservice-092-213-087-211.092.213.pools.vodafone-ip.de) (Read error: Connection reset by peer) |
| 2023-01-13 06:59:06 +0100 | sayola | (~sayola@ipservice-092-213-087-211.092.213.pools.vodafone-ip.de) |
| 2023-01-13 07:02:08 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2023-01-13 07:07:28 +0100 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2023-01-13 07:08:14 +0100 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-01-13 07:14:14 +0100 | v0id_ptr | (~adrift@user/ptr-frac7al/x-0038398) (Ping timeout: 272 seconds) |
| 2023-01-13 07:18:03 +0100 | trev | (~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 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-01-13 07:28:04 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2023-01-13 07:29:21 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-01-13 07:30:49 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
| 2023-01-13 07:32:28 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-01-13 07:32:38 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-01-13 07:42:19 +0100 | nerdypepper | np |
| 2023-01-13 07:43:34 +0100 | v0id_ptr | (~adrift@user/ptr-frac7al/x-0038398) |
| 2023-01-13 07:49:07 +0100 | mei | (~mei@user/mei) |
| 2023-01-13 07:52:29 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz) |
| 2023-01-13 07:56:14 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2023-01-13 07:58:11 +0100 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving) |
| 2023-01-13 08:00:07 +0100 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2023-01-13 08:02:21 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-01-13 08:02:58 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit) |
| 2023-01-13 08:03:54 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-01-13 08:04:05 +0100 | Guest6780 | (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2023-01-13 08:10:03 +0100 | Guest6780 | (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 248 seconds) |
| 2023-01-13 08:10:07 +0100 | jakalx | (~jakalx@base.jakalx.net) (Disconnected: Replaced by new connection) |
| 2023-01-13 08:10:08 +0100 | jakalx | (~jakalx@base.jakalx.net) |
| 2023-01-13 08:19:28 +0100 | troydm | (~troydm@user/troydm) (Ping timeout: 272 seconds) |
| 2023-01-13 08:21:03 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-01-13 08:24:38 +0100 | hsw | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) |
| 2023-01-13 08:26:46 +0100 | kenran | (~user@user/kenran) |
| 2023-01-13 08:28:29 +0100 | hgolden | (~hgolden@cpe-172-251-233-141.socal.res.rr.com) |
| 2023-01-13 08:31:24 +0100 | Guest6780 | (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2023-01-13 08:32:46 +0100 | abhixec | (~abhinav@c-67-169-139-16.hsd1.ca.comcast.net) (Ping timeout: 272 seconds) |
| 2023-01-13 08:33:36 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-01-13 08:35:57 +0100 | califax | (~califax@user/califx) |
| 2023-01-13 08:36:33 +0100 | oldfashionedcow | (~Rahul_San@user/oldfashionedcow) |
| 2023-01-13 08:37:12 +0100 | shriekingnoise | (~shrieking@186.137.175.87) (Ping timeout: 272 seconds) |
| 2023-01-13 08:40:15 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2023-01-13 08:40:33 +0100 | curious-user | (~user@user/curious-user) |
| 2023-01-13 08:41:38 +0100 | bitdex | (~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 +0100 | hgolden | (~hgolden@cpe-172-251-233-141.socal.res.rr.com) (Remote host closed the connection) |
| 2023-01-13 08:49:54 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-01-13 08:51:32 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-01-13 08:52:10 +0100 | johnw | (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) |
| 2023-01-13 08:53:14 +0100 | lortabac | (~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 +0100 | chele | (~chele@user/chele) |
| 2023-01-13 09:06:42 +0100 | hueso | (~root@user/hueso) (Read error: Connection reset by peer) |
| 2023-01-13 09:06:51 +0100 | hueso_ | (~root@user/hueso) |
| 2023-01-13 09:08:03 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2023-01-13 09:08:37 +0100 | paulpaul1076 | (~textual@95-29-5-111.broadband.corbina.ru) |
| 2023-01-13 09:10:07 +0100 | Sauvin | (~sauvin@user/Sauvin) (Ping timeout: 265 seconds) |
| 2023-01-13 09:10:10 +0100 | Bocaneri | (~sauvin@user/Sauvin) |
| 2023-01-13 09:10:34 +0100 | Bocaneri | Guest4106 |
| 2023-01-13 09:11:46 +0100 | razetime | (~Thunderbi@117.193.7.219) (Remote host closed the connection) |
| 2023-01-13 09:12:26 +0100 | vpan | (~0@212.117.1.172) |
| 2023-01-13 09:12:40 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 272 seconds) |
| 2023-01-13 09:15:40 +0100 | nschoe | (~q@141.101.51.197) |
| 2023-01-13 09:18:27 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:54fb:433:f271:a472) (Remote host closed the connection) |
| 2023-01-13 09:26:14 +0100 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2023-01-13 09:29:27 +0100 | oldfashionedcow | (~Rahul_San@user/oldfashionedcow) (Quit: WeeChat 3.7.1) |
| 2023-01-13 09:29:59 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-01-13 09:31:24 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Read error: Connection reset by peer) |
| 2023-01-13 09:32:03 +0100 | razetime | (~Thunderbi@117.193.7.219) |
| 2023-01-13 09:32:27 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-01-13 09:36:39 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2023-01-13 09:44:06 +0100 | titibandit1 | (~titibandi@xdsl-81-173-160-143.nc.de) |
| 2023-01-13 09:44:56 +0100 | kenran` | (~user@user/kenran) |
| 2023-01-13 09:46:29 +0100 | kenran | (~user@user/kenran) (Ping timeout: 256 seconds) |
| 2023-01-13 09:50:20 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 260 seconds) |
| 2023-01-13 09:50:23 +0100 | curious-user | (~user@user/curious-user) (Quit: WeeChat 3.7.1) |
| 2023-01-13 09:52:53 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-01-13 09:54:37 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-01-13 09:54:52 +0100 | avicenzi | (~avicenzi@2a00:ca8:a1f:b004::c32) |
| 2023-01-13 09:55:27 +0100 | talismanick | (~talismani@2601:200:c181:8250::ce24) (Ping timeout: 260 seconds) |
| 2023-01-13 09:55:33 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2023-01-13 09:55:37 +0100 | ubert | (~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 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2023-01-13 09:59:33 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2023-01-13 10:01:01 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-01-13 10:02:01 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2023-01-13 10:05:17 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-01-13 10:11:47 +0100 | m1dnight | (~christoph@78-22-0-121.access.telenet.be) (Quit: WeeChat 3.8) |
| 2023-01-13 10:11:50 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2023-01-13 10:12:31 +0100 | m1dnight | (~christoph@78-22-0-121.access.telenet.be) |
| 2023-01-13 10:15:33 +0100 | ft | (~ft@p4fc2a257.dip0.t-ipconnect.de) (Quit: leaving) |
| 2023-01-13 10:17:31 +0100 | titibandit1 | (~titibandi@xdsl-81-173-160-143.nc.de) (Remote host closed the connection) |
| 2023-01-13 10:18:02 +0100 | MajorBiscuit | (~MajorBisc@145.94.179.130) |
| 2023-01-13 10:18:56 +0100 | eggplantade | (~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 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:54fb:433:f271:a472) (Ping timeout: 252 seconds) |
| 2023-01-13 10:30:52 +0100 | cfricke | (~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 +0100 | merijn | (~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 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2023-01-13 10:39:44 +0100 | kenran` | (~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 +0100 | freeside | (~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 +0100 | jinsl- | (~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 +0100 | jinsl | (~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 +0100 | zeenk | (~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 +0100 | CiaoSen | (~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 +0100 | teo | (~teo@user/teo) |
| 2023-01-13 11:00:21 +0100 | <maerwald> | this is the correct bindist |
| 2023-01-13 11:00:31 +0100 | califax_ | (~califax@user/califx) |
| 2023-01-13 11:01:32 +0100 | poljar | (~poljar@93-139-120-188.adsl.net.t-com.hr) |
| 2023-01-13 11:01:39 +0100 | choram | (~user@58.231.189.202) |
| 2023-01-13 11:02:14 +0100 | poljar1 | (~poljar@93-139-83-160.adsl.net.t-com.hr) (Ping timeout: 272 seconds) |
| 2023-01-13 11:03:43 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 260 seconds) |
| 2023-01-13 11:03:53 +0100 | sammelweis | (~quassel@mobile-107-92-122-242.mycingular.net) |
| 2023-01-13 11:03:56 +0100 | califax | (~califax@user/califx) (Ping timeout: 255 seconds) |
| 2023-01-13 11:03:56 +0100 | califax_ | 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 +0100 | ccapndave | (~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 +0100 | xff0x_ | (~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 +0100 | choram | (~user@58.231.189.202) (ERC 5.4 (IRC client for GNU Emacs 28.2)) |
| 2023-01-13 11:12:29 +0100 | ccapndave | (~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 +0100 | freeside | (~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 +0100 | freeside | (~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 +0100 | alternateved | (~user@staticline-31-183-174-39.toya.net.pl) |
| 2023-01-13 11:24:04 +0100 | troydm | (~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 +0100 | v0id_ptr | (~adrift@user/ptr-frac7al/x-0038398) (Ping timeout: 252 seconds) |
| 2023-01-13 11:28:25 +0100 | sammelweis | (~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 +0100 | sammelweis | (~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 +0100 | Guest4106 | (~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 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Remote host closed the connection) |
| 2023-01-13 11:36:19 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2023-01-13 11:36:20 +0100 | Sauvin | (~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 +0100 | tromp | (~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 +0100 | mmhat | (~mmh@p200300f1c7123cd2ee086bfffe095315.dip0.t-ipconnect.de) |
| 2023-01-13 11:42:55 +0100 | mmhat | (~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 +0100 | tromp | (~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 +0100 | Profpatsch | pets lambdabot |
| 2023-01-13 11:57:50 +0100 | eldritchcookie[4 | test command |
| 2023-01-13 11:58:33 +0100 | freeside | (~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 +0100 | freeside | (~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 +0100 | guest333 | (~guest333@138.34.86.165) |
| 2023-01-13 12:03:32 +0100 | hsw | (~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 +0100 | guest333 | (~guest333@138.34.86.165) (Client Quit) |
| 2023-01-13 12:03:55 +0100 | hsw | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) |
| 2023-01-13 12:04:44 +0100 | jinsl- | (~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 +0100 | jinsl | (~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 +0100 | xff0x_ | (~xff0x@2405:6580:b080:900:33f6:9250:43b6:b1c7) |
| 2023-01-13 12:09:32 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2023-01-13 12:10:02 +0100 | chiselfu1e | (~chiselfus@user/chiselfuse) |
| 2023-01-13 12:12:57 +0100 | opticblast | (~Thunderbi@secure-165.caltech.edu) (Read error: Connection reset by peer) |
| 2023-01-13 12:13:15 +0100 | opticblast | (~Thunderbi@secure-165.caltech.edu) |
| 2023-01-13 12:13:56 +0100 | v0id_ptr | (~adrift@user/ptr-frac7al/x-0038398) |
| 2023-01-13 12:17:37 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2023-01-13 12:19:15 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-01-13 12:24:54 +0100 | __monty__ | (~toonn@user/toonn) |
| 2023-01-13 12:28:18 +0100 | kaskal | (~kaskal@089144220250.atnat0029.highway.webapn.at) |
| 2023-01-13 12:29:35 +0100 | razetime | (~Thunderbi@117.193.7.219) (Quit: See You Space Cowboy) |
| 2023-01-13 12:30:08 +0100 | razetime | (~Thunderbi@117.193.7.219) |
| 2023-01-13 12:30:51 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:c22d:f6b8:83f8:5e46) (Ping timeout: 260 seconds) |
| 2023-01-13 12:34:00 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-01-13 12:35:05 +0100 | thyriaen | (~thyriaen@2a01:aea0:dd4:4bae:6245:cbff:fe9f:48b1) |
| 2023-01-13 12:35:08 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-01-13 12:36:33 +0100 | CiaoSen | (~Jura@p200300c9574fa4002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 2023-01-13 12:40:51 +0100 | fizbin | (~fizbin@user/fizbin) |
| 2023-01-13 12:44:43 +0100 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.7.1) |
| 2023-01-13 12:50:26 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Quit: leaving) |
| 2023-01-13 12:51:15 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:2bfe:bf83:f12e:5445) |
| 2023-01-13 12:52:26 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2023-01-13 12:54:58 +0100 | beteigeuze | (~Thunderbi@a79-169-109-107.cpe.netcabo.pt) |
| 2023-01-13 13:00:39 +0100 | freeside | (~mengwong@bb219-75-41-181.singnet.com.sg) |
| 2023-01-13 13:02:19 +0100 | razetime | (~Thunderbi@117.193.7.219) (Ping timeout: 248 seconds) |
| 2023-01-13 13:05:35 +0100 | freeside | (~mengwong@bb219-75-41-181.singnet.com.sg) (Ping timeout: 264 seconds) |
| 2023-01-13 13:05:48 +0100 | fizbin | (~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 +0100 | gensyst | (gensyst@user/gensyst) |
| 2023-01-13 13:12:03 +0100 | biberu\ | (~biberu@user/biberu) |
| 2023-01-13 13:12:35 +0100 | Kaipei | (~Kaiepi@nwcsnbsc03w-47-55-159-86.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 2023-01-13 13:16:30 +0100 | biberu | (~biberu@user/biberu) (Ping timeout: 272 seconds) |
| 2023-01-13 13:16:30 +0100 | Kaiepi | (~Kaiepi@nwcsnbsc03w-47-55-159-86.dhcp-dynamic.fibreop.nb.bellaliant.net) (Ping timeout: 272 seconds) |
| 2023-01-13 13:16:30 +0100 | biberu\ | 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 +0100 | thegeekinside | (~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 +0100 | gensyst | (gensyst@user/gensyst) (Quit: Leaving) |
| 2023-01-13 13:27:10 +0100 | MajorBiscuit | (~MajorBisc@145.94.179.130) (Quit: WeeChat 3.6) |
| 2023-01-13 13:31:38 +0100 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-01-13 13:35:30 +0100 | Techcable | (~Techcable@user/Techcable) (Ping timeout: 272 seconds) |
| 2023-01-13 13:35:54 +0100 | freeside | (~mengwong@bb219-75-41-181.singnet.com.sg) |
| 2023-01-13 13:40:18 +0100 | raehik | (~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 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2023-01-13 13:40:51 +0100 | freeside | (~mengwong@bb219-75-41-181.singnet.com.sg) (Ping timeout: 268 seconds) |
| 2023-01-13 13:41:08 +0100 | boxscape_ | (~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 +0100 | Techcable | (~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 +0100 | ix | (~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 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-01-13 13:53:35 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2023-01-13 13:56:34 +0100 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) |
| 2023-01-13 14:02:36 +0100 | bilegeek | (~bilegeek@2600:1008:b00b:7932:83b7:b59b:b4f7:d8cd) |
| 2023-01-13 14:04:42 +0100 | bilegeek_ | (~bilegeek@2600:1008:b086:e65c:c0f3:8b92:9d2d:aaef) |
| 2023-01-13 14:06:07 +0100 | Guest6780 | (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Remote host closed the connection) |
| 2023-01-13 14:07:27 +0100 | bilegeek | (~bilegeek@2600:1008:b00b:7932:83b7:b59b:b4f7:d8cd) (Ping timeout: 255 seconds) |
| 2023-01-13 14:09:41 +0100 | bilegeek_ | (~bilegeek@2600:1008:b086:e65c:c0f3:8b92:9d2d:aaef) (Ping timeout: 255 seconds) |
| 2023-01-13 14:12:41 +0100 | Xeroine | (~Xeroine@user/xeroine) (Ping timeout: 252 seconds) |
| 2023-01-13 14:15:51 +0100 | Xeroine | (~Xeroine@user/xeroine) |
| 2023-01-13 14:18:52 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2023-01-13 14:26:15 +0100 | Neuromancer | (~Neuromanc@user/neuromancer) |
| 2023-01-13 14:28:09 +0100 | razetime | (~Thunderbi@117.193.7.219) |
| 2023-01-13 14:34:19 +0100 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Quit: WeeChat 3.7.1) |
| 2023-01-13 14:35:04 +0100 | paulpaul1076 | (~textual@95-29-5-111.broadband.corbina.ru) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2023-01-13 14:35:43 +0100 | paulpaul1076 | (~textual@95-29-5-111.broadband.corbina.ru) |
| 2023-01-13 14:36:36 +0100 | razetime | (~Thunderbi@117.193.7.219) (Read error: Connection reset by peer) |
| 2023-01-13 14:37:25 +0100 | razetime | (~Thunderbi@117.193.7.219) |
| 2023-01-13 14:41:15 +0100 | agumonkey | (~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 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2023-01-13 14:49:51 +0100 | mei_ | (~mei@user/mei) |
| 2023-01-13 14:50:12 +0100 | cfricke | (~cfricke@user/cfricke) |
| 2023-01-13 14:50:18 +0100 | gnalzo | (~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 +0100 | mei__ | (~mei@user/mei) |
| 2023-01-13 14:51:47 +0100 | opticblast | (~Thunderbi@secure-165.caltech.edu) (Ping timeout: 260 seconds) |
| 2023-01-13 14:52:30 +0100 | mei | (~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 +0100 | mei_ | (~mei@user/mei) (Ping timeout: 246 seconds) |
| 2023-01-13 14:59:16 +0100 | off^ | (~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 +0100 | megaTherion | (~therion@unix.io) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-01-13 15:02:09 +0100 | thegeekinside | (~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 +0100 | megaTherion | (~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 +0100 | tromp | (~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 +0100 | mei | (~mei@user/mei) |
| 2023-01-13 15:09:17 +0100 | v0id_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 +0100 | mei__ | (~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 +0100 | kurbus | (~kurbus@user/kurbus) |
| 2023-01-13 15:14:40 +0100 | mei | (~mei@user/mei) (Ping timeout: 260 seconds) |
| 2023-01-13 15:16:22 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-01-13 15:17:35 +0100 | L29Ah | (~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 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-01-13 15:26:04 +0100 | kurbus | (~kurbus@user/kurbus) (Quit: Client closed) |
| 2023-01-13 15:27:33 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-01-13 15:32:16 +0100 | merijn | (~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 +0100 | boxscape_ | (~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 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2023-01-13 16:00:41 +0100 | shriekingnoise | (~shrieking@186.137.175.87) |
| 2023-01-13 16:01:55 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 260 seconds) |
| 2023-01-13 16:05:00 +0100 | mei | (~mei@user/mei) |
| 2023-01-13 16:10:07 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2023-01-13 16:10:46 +0100 | boxscape_ | (~boxscape_@213.52.37.155) |
| 2023-01-13 16:11:37 +0100 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) |
| 2023-01-13 16:12:13 +0100 | Xeroine | (~Xeroine@user/xeroine) (Ping timeout: 252 seconds) |
| 2023-01-13 16:13:50 +0100 | ix | (~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 +0100 | kurbus | (~kurbus@user/kurbus) |
| 2023-01-13 16:15:11 +0100 | <merijn> | Mu |
| 2023-01-13 16:15:37 +0100 | ix | (~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 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:2bfe:bf83:f12e:5445) (Quit: WeeChat 2.8) |
| 2023-01-13 16:16:53 +0100 | Xeroine | (~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 +0100 | kurbus | (~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 +0100 | eggplantade | (~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 +0100 | eggplantade | (~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 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2023-01-13 16:34:50 +0100 | kurbus | (~kurbus@user/kurbus) |
| 2023-01-13 16:37:14 +0100 | hgolden | (~hgolden@cpe-172-251-233-141.socal.res.rr.com) |
| 2023-01-13 16:38:19 +0100 | freeside | (~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 +0100 | razetime | (~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 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-01-13 16:44:12 +0100 | laalyn | (~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 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2023-01-13 16:51:23 +0100 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-01-13 16:52:45 +0100 | tromp | (~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 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 260 seconds) |
| 2023-01-13 16:55:02 +0100 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Remote host closed the connection) |
| 2023-01-13 16:55:11 +0100 | ix | (~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 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:54fb:433:f271:a472) |
| 2023-01-13 17:00:39 +0100 | jao | (~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 +0100 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Remote host closed the connection) |
| 2023-01-13 17:06:59 +0100 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) |
| 2023-01-13 17:07:02 +0100 | CiaoSen | (~Jura@p200300c9574fa4002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2023-01-13 17:07:13 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-01-13 17:07:50 +0100 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Remote host closed the connection) |
| 2023-01-13 17:08:00 +0100 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) |
| 2023-01-13 17:08:08 +0100 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Client Quit) |
| 2023-01-13 17:08:11 +0100 | nschoe | (~q@141.101.51.197) (Quit: Switching off) |
| 2023-01-13 17:09:01 +0100 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) |
| 2023-01-13 17:10:37 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:54fb:433:f271:a472) (Remote host closed the connection) |
| 2023-01-13 17:10:50 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 272 seconds) |
| 2023-01-13 17:12:34 +0100 | kurbus | (~kurbus@user/kurbus) (Quit: Client closed) |
| 2023-01-13 17:14:28 +0100 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Ping timeout: 252 seconds) |
| 2023-01-13 17:15:32 +0100 | troydm | (~troydm@user/troydm) (Ping timeout: 255 seconds) |
| 2023-01-13 17:16:30 +0100 | lagash_ | (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in) |
| 2023-01-13 17:17:02 +0100 | cfricke | (~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 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-01-13 17:25:08 +0100 | boxscape_ | (~boxscape_@213.52.37.155) (Quit: Connection closed) |
| 2023-01-13 17:25:21 +0100 | lagash | (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 +0100 | mechap1 | (~mechap@user/mechap) |
| 2023-01-13 17:33:09 +0100 | <ncf> | cool |
| 2023-01-13 17:34:54 +0100 | mechap | (~mechap@user/mechap) (Ping timeout: 272 seconds) |
| 2023-01-13 17:42:25 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-152.elisa-laajakaista.fi) |
| 2023-01-13 17:44:38 +0100 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-01-13 17:46:03 +0100 | lagash | (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in) |
| 2023-01-13 17:50:18 +0100 | lagash_ | (lagash@lagash.shelltalk.net) |
| 2023-01-13 17:59:47 +0100 | econo | (uid147250@user/econo) |
| 2023-01-13 18:00:31 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2023-01-13 18:01:11 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 246 seconds) |
| 2023-01-13 18:03:32 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2023-01-13 18:03:33 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2023-01-13 18:03:33 +0100 | ec | (~ec@gateway/tor-sasl/ec) (Write error: Connection reset by peer) |
| 2023-01-13 18:03:33 +0100 | califax | (~califax@user/califx) (Read error: Connection reset by peer) |
| 2023-01-13 18:04:03 +0100 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-01-13 18:04:20 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2023-01-13 18:04:25 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2023-01-13 18:04:45 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2023-01-13 18:04:51 +0100 | califax | (~califax@user/califx) |
| 2023-01-13 18:08:27 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 252 seconds) |
| 2023-01-13 18:10:12 +0100 | CiaoSen | (~Jura@p200300c9574fa4002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2023-01-13 18:10:43 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-01-13 18:11:08 +0100 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2023-01-13 18:16:04 +0100 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2023-01-13 18:16:41 +0100 | alfonsox | (~quassel@103.87.57.33) |
| 2023-01-13 18:19:37 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-01-13 18:20:49 +0100 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) |
| 2023-01-13 18:22:45 +0100 | thongpv | (~thongpv87@2402:9d80:3c5:3279:6838:f48f:3c76:575c) (Ping timeout: 252 seconds) |
| 2023-01-13 18:25:43 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-01-13 18:27:24 +0100 | alfonsox | (~quassel@103.87.57.33) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2023-01-13 18:27:37 +0100 | elevenkb | (~elevenkb@105.224.38.20) |
| 2023-01-13 18:28:46 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2023-01-13 18:29:01 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2023-01-13 18:29:22 +0100 | thongpv | (~thongpv87@2402:9d80:3bd:68e:7af8:9a7e:452b:164c) |
| 2023-01-13 18:34:10 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2023-01-13 18:34:42 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2023-01-13 18:35:46 +0100 | fserucas | (~fserucas@2001:818:e376:a400:fb92:70c1:dd88:c7d7) (Quit: Leaving) |
| 2023-01-13 18:38:40 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 252 seconds) |
| 2023-01-13 18:39:49 +0100 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
| 2023-01-13 18:40:41 +0100 | elevenkb | (~elevenkb@105.224.38.20) (Quit: Client closed) |
| 2023-01-13 18:44:14 +0100 | ft | (~ft@p4fc2a257.dip0.t-ipconnect.de) |
| 2023-01-13 18:49:54 +0100 | trev | (~trev@user/trev) (Remote host closed the connection) |
| 2023-01-13 18:50:16 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 272 seconds) |
| 2023-01-13 18:51:37 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2023-01-13 18:52:48 +0100 | vpan | (~0@212.117.1.172) (Quit: Leaving.) |
| 2023-01-13 18:54:55 +0100 | coot | (~coot@213.134.171.3) |
| 2023-01-13 18:58:30 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2023-01-13 18:58:38 +0100 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-01-13 18:58:38 +0100 | finn_elija | FinnElija |
| 2023-01-13 18:59:32 +0100 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2023-01-13 19:00:47 +0100 | avicenzi | (~avicenzi@2a00:ca8:a1f:b004::c32) (Ping timeout: 264 seconds) |
| 2023-01-13 19:01:10 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2023-01-13 19:04:55 +0100 | coot | (~coot@213.134.171.3) (Quit: coot) |
| 2023-01-13 19:06:06 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 272 seconds) |
| 2023-01-13 19:08:52 +0100 | troydm | (~troydm@user/troydm) |
| 2023-01-13 19:11:01 +0100 | titibandit1 | (~titibandi@xdsl-81-173-160-143.nc.de) |
| 2023-01-13 19:15:59 +0100 | titibandit1 | (~titibandi@xdsl-81-173-160-143.nc.de) (Quit: Leaving.) |
| 2023-01-13 19:16:02 +0100 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2023-01-13 19:17:41 +0100 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2023-01-13 19:18:08 +0100 | Xeroine | (~Xeroine@user/xeroine) (Quit: ZNC 1.8.2+deb2+b1 - https://znc.in) |
| 2023-01-13 19:18:27 +0100 | Xeroine | (~Xeroine@user/xeroine) |
| 2023-01-13 19:18:29 +0100 | teo | (~teo@user/teo) (Ping timeout: 252 seconds) |
| 2023-01-13 19:23:12 +0100 | Neuromancer | (~Neuromanc@user/neuromancer) (Ping timeout: 272 seconds) |
| 2023-01-13 19:23:27 +0100 | alternateved | (~user@staticline-31-183-174-39.toya.net.pl) (Remote host closed the connection) |
| 2023-01-13 19:23:56 +0100 | oldfashionedcow | (~Rahul_San@user/oldfashionedcow) |
| 2023-01-13 19:26:32 +0100 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2023-01-13 19:28:23 +0100 | beteigeuze | (~Thunderbi@a79-169-109-107.cpe.netcabo.pt) (Ping timeout: 264 seconds) |
| 2023-01-13 19:33:31 +0100 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-01-13 19:35:57 +0100 | mei_ | (~mei@user/mei) |
| 2023-01-13 19:36:29 +0100 | mei | (~mei@user/mei) (Ping timeout: 260 seconds) |
| 2023-01-13 19:37:11 +0100 | kurbus | (~kurbus@user/kurbus) |
| 2023-01-13 19:39:28 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2023-01-13 19:41:54 +0100 | jero98772 | (~jero98772@2800:484:1d80:d8ce:9815:cfda:3661:17bb) |
| 2023-01-13 19:43:29 +0100 | kurbus | (~kurbus@user/kurbus) (Quit: Client closed) |
| 2023-01-13 19:44:56 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2023-01-13 19:45:11 +0100 | beteigeuze | (~Thunderbi@a79-169-109-107.cpe.netcabo.pt) |
| 2023-01-13 19:45:19 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds) |
| 2023-01-13 19:46:06 +0100 | kurbus | (~kurbus@user/kurbus) |
| 2023-01-13 19:46:15 +0100 | xacktm | (~xacktm@user/xacktm) (Ping timeout: 260 seconds) |
| 2023-01-13 19:46:38 +0100 | andreas303 | (andreas303@ip227.orange.bnc4free.com) (Ping timeout: 272 seconds) |
| 2023-01-13 19:46:42 +0100 | zmt01 | (~zmt00@user/zmt00) |
| 2023-01-13 19:49:39 +0100 | beteigeuze | (~Thunderbi@a79-169-109-107.cpe.netcabo.pt) (Ping timeout: 260 seconds) |
| 2023-01-13 19:50:43 +0100 | zmt00 | (~zmt00@user/zmt00) (Ping timeout: 252 seconds) |
| 2023-01-13 19:59:14 +0100 | jludwig | (~justin@li657-110.members.linode.com) (Quit: ZNC - https://znc.in) |
| 2023-01-13 20:00:21 +0100 | jludwig | (~justin@li657-110.members.linode.com) |
| 2023-01-13 20:07:01 +0100 | beteigeuze | (~Thunderbi@bl14-81-220.dsl.telepac.pt) |
| 2023-01-13 20:09:24 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz) |
| 2023-01-13 20:10:32 +0100 | andreas303 | (andreas303@ip227.orange.bnc4free.com) |
| 2023-01-13 20:11:51 +0100 | merijn | (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) |
| 2023-01-13 20:14:09 +0100 | talismanick | (~talismani@campus-055-139.ucdavis.edu) |
| 2023-01-13 20:18:01 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2023-01-13 20:22:54 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 260 seconds) |
| 2023-01-13 20:23:29 +0100 | jinsun__ | (~jinsun@user/jinsun) |
| 2023-01-13 20:23:29 +0100 | jinsun | (~jinsun@user/jinsun) (Killed (osmium.libera.chat (Nickname regained by services))) |
| 2023-01-13 20:23:29 +0100 | jinsun__ | jinsun |
| 2023-01-13 20:24:45 +0100 | xacktm | (~xacktm@user/xacktm) |
| 2023-01-13 20:26:10 +0100 | oldfashionedcow | gen43 |
| 2023-01-13 20:27:06 +0100 | gen43 | oldfashionedcow |
| 2023-01-13 20:36:13 +0100 | EsoAlgo | (~EsoAlgo@129.146.136.145) (Remote host closed the connection) |
| 2023-01-13 20:37:35 +0100 | EsoAlgo8 | (~EsoAlgo@129.146.136.145) |
| 2023-01-13 20:37:47 +0100 | kurbus | (~kurbus@user/kurbus) (Quit: Client closed) |
| 2023-01-13 20:43:24 +0100 | kurbus | (~kurbus@user/kurbus) |
| 2023-01-13 20:44:30 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2023-01-13 20:46:21 +0100 | merijn | (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
| 2023-01-13 20:46:33 +0100 | mc47 | (~mc47@xmonad/TheMC47) |
| 2023-01-13 20:46:44 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2023-01-13 20:48:45 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2023-01-13 20:48:45 +0100 | moonsheep | (~moonsheep@user/moonsheep) (Read error: Connection reset by peer) |
| 2023-01-13 20:48:50 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 255 seconds) |
| 2023-01-13 20:49:30 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2023-01-13 20:53:23 +0100 | emad_ | (~emad@41.239.96.79) |
| 2023-01-13 20:54:24 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 272 seconds) |
| 2023-01-13 20:54:47 +0100 | talismanick | (~talismani@campus-055-139.ucdavis.edu) (Ping timeout: 264 seconds) |
| 2023-01-13 20:59:59 +0100 | mechap1 | (~mechap@user/mechap) (Quit: WeeChat 3.8) |
| 2023-01-13 21:00:16 +0100 | mechap | (~mechap@user/mechap) |
| 2023-01-13 21:03:30 +0100 | mechap | (~mechap@user/mechap) (Client Quit) |
| 2023-01-13 21:04:02 +0100 | mechap | (~mechap@user/mechap) |
| 2023-01-13 21:04:19 +0100 | mimmy_ | (~mimmy@86.48.15.175) |
| 2023-01-13 21:04:30 +0100 | mechap | (~mechap@user/mechap) (Max SendQ exceeded) |
| 2023-01-13 21:04:58 +0100 | mechap | (~mechap@user/mechap) |
| 2023-01-13 21:06:46 +0100 | kurbus | (~kurbus@user/kurbus) (Quit: Client closed) |
| 2023-01-13 21:09:15 +0100 | johnw | (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) (Quit: ZNC - http://znc.in) |
| 2023-01-13 21:09:37 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2023-01-13 21:10:22 +0100 | trev | (~trev@user/trev) |
| 2023-01-13 21:11:23 +0100 | johnw | (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) |
| 2023-01-13 21:11:24 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2023-01-13 21:12:08 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2023-01-13 21:13:29 +0100 | mechap | (~mechap@user/mechap) (Ping timeout: 268 seconds) |
| 2023-01-13 21:14:14 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 260 seconds) |
| 2023-01-13 21:15:22 +0100 | mechap | (~mechap@user/mechap) |
| 2023-01-13 21:15:56 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2023-01-13 21:25:45 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:1a81:1c8e:cd4e:58e9) |
| 2023-01-13 21:26:17 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 255 seconds) |
| 2023-01-13 21:30:12 +0100 | CoolMa7 | (~CoolMa7@2a02:8109:9d40:14ea:f0d1:ec87:105d:bdfe) |
| 2023-01-13 21:34:09 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2023-01-13 21:34:17 +0100 | bilegeek | (~bilegeek@29.sub-174-208-235.myvzw.com) |
| 2023-01-13 21:34:53 +0100 | mechap | (~mechap@user/mechap) (Quit: WeeChat 3.8) |
| 2023-01-13 21:35:48 +0100 | emad_ | (~emad@41.239.96.79) (Quit: Leaving) |
| 2023-01-13 21:36:24 +0100 | thyriaen | (~thyriaen@2a01:aea0:dd4:4bae:6245:cbff:fe9f:48b1) (Remote host closed the connection) |
| 2023-01-13 21:38:40 +0100 | offdg^ | (~offdg@76.145.190.81) |
| 2023-01-13 21:52:09 +0100 | mimmy_ | (~mimmy@86.48.15.175) (Ping timeout: 260 seconds) |
| 2023-01-13 21:52:31 +0100 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2023-01-13 21:53:02 +0100 | mimmy_ | (~mimmy@86.48.15.172) |
| 2023-01-13 22:00:30 +0100 | Midjak | (~Midjak@82.66.147.146) |
| 2023-01-13 22:02:00 +0100 | merijn | (~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 +0100 | titibandit1 | (~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 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2023-01-13 22:22:16 +0100 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2023-01-13 22:23:21 +0100 | mimmy_ | (~mimmy@86.48.15.172) (Read error: Connection reset by peer) |
| 2023-01-13 22:24:49 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2023-01-13 22:26:07 +0100 | abhixec | (~abhinav@c-67-169-139-16.hsd1.ca.comcast.net) |
| 2023-01-13 22:26:27 +0100 | mizlan | (~mizlan@131.179.76.218) |
| 2023-01-13 22:31:45 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:54fb:433:f271:a472) |
| 2023-01-13 22:33:20 +0100 | Midjak | (~Midjak@82.66.147.146) (Quit: Leaving) |
| 2023-01-13 22:33:27 +0100 | gmg | (~user@user/gehmehgeh) |
| 2023-01-13 22:34:28 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2023-01-13 22:34:56 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2023-01-13 22:35:23 +0100 | juri_ | (~juri@84-19-175-179.pool.ovpn.com) (Ping timeout: 252 seconds) |
| 2023-01-13 22:35:46 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2023-01-13 22:36:47 +0100 | merijn | (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) (Ping timeout: 264 seconds) |
| 2023-01-13 22:41:02 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:1a81:1c8e:cd4e:58e9) (Quit: WeeChat 2.8) |
| 2023-01-13 22:42:11 +0100 | juri_ | (~juri@84-19-175-179.pool.ovpn.com) |
| 2023-01-13 22:45:33 +0100 | Me-me | (~me-me@2602:ff16:3:0:1:dc:beef:d00d) (Quit: Disconnecting on purpose.) |
| 2023-01-13 22:45:45 +0100 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 2023-01-13 22:46:01 +0100 | jinsun | (~jinsun@user/jinsun) |
| 2023-01-13 22:46:28 +0100 | abhixec | (~abhinav@c-67-169-139-16.hsd1.ca.comcast.net) (Ping timeout: 265 seconds) |
| 2023-01-13 22:46:32 +0100 | Me-me | (~me-me@2602:ff16:3:0:1:dc:beef:d00d) |
| 2023-01-13 22:46:33 +0100 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Remote host closed the connection) |
| 2023-01-13 22:46:47 +0100 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2023-01-13 22:47:16 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 252 seconds) |
| 2023-01-13 22:48:17 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:54fb:433:f271:a472) (Remote host closed the connection) |
| 2023-01-13 22:48:57 +0100 | titibandit1 | (~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 +0100 | califax | (~califax@user/califx) (Ping timeout: 255 seconds) |
| 2023-01-13 22:51:38 +0100 | Midjak | (~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 +0100 | califax | (~califax@user/califx) |
| 2023-01-13 22:53:43 +0100 | mizlan | (~mizlan@131.179.76.218) (Ping timeout: 265 seconds) |
| 2023-01-13 22:54:26 +0100 | mizlan | (~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 +0100 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.7.1) |
| 2023-01-13 23:09:38 +0100 | CoolMa7 | (~CoolMa7@2a02:8109:9d40:14ea:f0d1:ec87:105d:bdfe) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2023-01-13 23:10:35 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2023-01-13 23:10:43 +0100 | cheater | (~Username@user/cheater) |
| 2023-01-13 23:12:49 +0100 | CoolMa7 | (~CoolMa7@2a02:8109:9d40:14ea:f0d1:ec87:105d:bdfe) |
| 2023-01-13 23:12:53 +0100 | unit73e | (~emanuel@2001:818:e8dd:7c00:656:e5ff:fe72:9d36) |
| 2023-01-13 23:13:04 +0100 | mizlan | (~mizlan@2607:f010:2e9:21:5d22:1e45:a3c8:5050) (Ping timeout: 252 seconds) |
| 2023-01-13 23:13:37 +0100 | trev | (~trev@user/trev) (Remote host closed the connection) |
| 2023-01-13 23:15:07 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 256 seconds) |
| 2023-01-13 23:16:49 +0100 | mizlan | (~mizlan@169.150.203.52) |
| 2023-01-13 23:21:27 +0100 | forell | (~forell@user/forell) |
| 2023-01-13 23:22:11 +0100 | fizbin | (~fizbin@user/fizbin) |
| 2023-01-13 23:29:50 +0100 | fizbin | (~fizbin@user/fizbin) (Read error: Connection reset by peer) |
| 2023-01-13 23:32:58 +0100 | merijn | (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) |
| 2023-01-13 23:33:38 +0100 | mizlan | (~mizlan@169.150.203.52) (Ping timeout: 246 seconds) |
| 2023-01-13 23:33:57 +0100 | elevenkb | (~elevenkb@105.224.38.20) |
| 2023-01-13 23:34:37 +0100 | TonyStone | (~TonyStone@cpe-74-76-57-186.nycap.res.rr.com) (Quit: Leaving) |
| 2023-01-13 23:36:29 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2023-01-13 23:38:27 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:54fb:433:f271:a472) |
| 2023-01-13 23:38:55 +0100 | mizlan | (~mizlan@169.150.203.65) |
| 2023-01-13 23:43:02 +0100 | ub | (~Thunderbi@p200300ecdf264e047aac122d9aee2265.dip0.t-ipconnect.de) |
| 2023-01-13 23:43:20 +0100 | mizlan | (~mizlan@169.150.203.65) (Ping timeout: 268 seconds) |
| 2023-01-13 23:44:23 +0100 | ubert | (~Thunderbi@p200300ecdf264e3ba430b09a3aa3621d.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2023-01-13 23:44:24 +0100 | ub | ubert |
| 2023-01-13 23:45:34 +0100 | elevenkb | (~elevenkb@105.224.38.20) (Quit: Client closed) |
| 2023-01-13 23:46:36 +0100 | mizlan | (~mizlan@static-198-54-129-86.cust.tzulo.com) |
| 2023-01-13 23:50:01 +0100 | elevenkb | (~elevenkb@105.224.38.20) |
| 2023-01-13 23:52:35 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 268 seconds) |
| 2023-01-13 23:53:16 +0100 | mizlan | (~mizlan@static-198-54-129-86.cust.tzulo.com) (Ping timeout: 252 seconds) |
| 2023-01-13 23:54:43 +0100 | Xeroine | (~Xeroine@user/xeroine) (Quit: ZNC 1.8.2+deb2+b1 - https://znc.in) |
| 2023-01-13 23:55:02 +0100 | Xeroine | (~Xeroine@user/xeroine) |
| 2023-01-13 23:56:12 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) |
