| 2022-06-16 00:02:08 +0200 | qhong_ | (~qhong@rescomp-21-400677.stanford.edu) |
| 2022-06-16 00:03:53 +0200 | lukec_ | (9dfd4d094e@2604:bf00:561:2000::10e) |
| 2022-06-16 00:03:53 +0200 | bsima1_ | (9d7e39c8ad@2604:bf00:561:2000::dd) |
| 2022-06-16 00:03:53 +0200 | filwisher_ | (2e6936c793@2604:bf00:561:2000::170) |
| 2022-06-16 00:03:54 +0200 | samhh_ | (7569f027cf@2604:bf00:561:2000::e4) |
| 2022-06-16 00:03:54 +0200 | hongminhee_ | (sid295@id-295.tinside.irccloud.com) |
| 2022-06-16 00:03:57 +0200 | tdmm_ | (1c9b9145fc@2604:bf00:561:2000::1c8) |
| 2022-06-16 00:03:57 +0200 | fluffyballoon_ | (45ce440a48@2604:bf00:561:2000::e2) |
| 2022-06-16 00:03:58 +0200 | bookshelfdave_ | (sid28102@id-28102.ilkley.irccloud.com) |
| 2022-06-16 00:03:59 +0200 | defanor_ | (~defanor@tart.uberspace.net) |
| 2022-06-16 00:04:00 +0200 | dawdler_ | (035b60b5aa@2604:bf00:561:2000::3b6) |
| 2022-06-16 00:04:00 +0200 | loonycyborg_ | (~loonycybo@chantal.wesnoth.org) |
| 2022-06-16 00:04:03 +0200 | jakzale_ | (6291399afa@user/jakzale) |
| 2022-06-16 00:04:03 +0200 | kvakil_ | (6f76c3db2e@2604:bf00:561:2000::40a) |
| 2022-06-16 00:04:04 +0200 | sa1_ | (sid7690@id-7690.ilkley.irccloud.com) |
| 2022-06-16 00:04:07 +0200 | wallymathieu_ | (sid533252@id-533252.uxbridge.irccloud.com) |
| 2022-06-16 00:04:08 +0200 | Ankhers_ | (e99e97ef8e@2604:bf00:561:2000::2a2) |
| 2022-06-16 00:04:08 +0200 | grfn_ | (sid449115@id-449115.helmsley.irccloud.com) |
| 2022-06-16 00:04:11 +0200 | whez_ | (sid470288@id-470288.lymington.irccloud.com) |
| 2022-06-16 00:04:17 +0200 | evanrelf_ | (3addc196af@2604:bf00:561:2000::f0) |
| 2022-06-16 00:04:18 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 244 seconds) |
| 2022-06-16 00:04:19 +0200 | jonrh_ | (sid5185@id-5185.ilkley.irccloud.com) |
| 2022-06-16 00:04:22 +0200 | fvr_ | (ef3e56ca8b@2604:bf00:561:2000::3c4) |
| 2022-06-16 00:04:25 +0200 | jmct_ | (sid160793@id-160793.tinside.irccloud.com) |
| 2022-06-16 00:04:26 +0200 | Techcable_ | (~Techcable@user/Techcable) |
| 2022-06-16 00:04:27 +0200 | ymherklotz_ | (cb2c9cfbdd@2604:bf00:561:2000::29a) |
| 2022-06-16 00:04:27 +0200 | b0o_ | (0e4a0bf4c9@2604:bf00:561:2000::1bf) |
| 2022-06-16 00:04:27 +0200 | shreyasminocha_ | (51fdc93eda@user/shreyasminocha) |
| 2022-06-16 00:04:27 +0200 | sm2n_ | (ae95cb1267@user/sm2n) |
| 2022-06-16 00:04:27 +0200 | raghavgururajan_ | (ea769b8000@user/raghavgururajan) |
| 2022-06-16 00:04:27 +0200 | jleightcap_ | (7bc4014b62@user/jleightcap) |
| 2022-06-16 00:04:27 +0200 | jkoshy_ | (99b9359beb@user/jkoshy) |
| 2022-06-16 00:04:32 +0200 | davetapley_ | (sid666@id-666.uxbridge.irccloud.com) |
| 2022-06-16 00:04:33 +0200 | elvishjerricco_ | (sid237756@id-237756.helmsley.irccloud.com) |
| 2022-06-16 00:04:34 +0200 | kevinsjoberg_ | (sid499516@id-499516.lymington.irccloud.com) |
| 2022-06-16 00:04:37 +0200 | tomgus1_ | (~tomgus1@90.218.25.145) |
| 2022-06-16 00:04:40 +0200 | dsal_ | (sid13060@id-13060.lymington.irccloud.com) |
| 2022-06-16 00:04:48 +0200 | agander_m_ | (sid407952@id-407952.tinside.irccloud.com) |
| 2022-06-16 00:04:48 +0200 | conjunctive_ | (sid433686@id-433686.helmsley.irccloud.com) |
| 2022-06-16 00:04:52 +0200 | Boarders__ | (sid425905@id-425905.lymington.irccloud.com) |
| 2022-06-16 00:04:53 +0200 | JSharp_ | (sid4580@id-4580.lymington.irccloud.com) |
| 2022-06-16 00:04:56 +0200 | sa_ | (sid1055@id-1055.tinside.irccloud.com) |
| 2022-06-16 00:05:04 +0200 | bw_ | (sid2730@id-2730.ilkley.irccloud.com) |
| 2022-06-16 00:05:05 +0200 | sunarch_ | (sid526836@user/sunarch) |
| 2022-06-16 00:06:50 +0200 | heath1 | (~heath@user/heath) |
| 2022-06-16 00:06:59 +0200 | cjay- | (cjay@nerdbox.nerd2nerd.org) |
| 2022-06-16 00:07:11 +0200 | swistak- | (~swistak@185.21.216.141) |
| 2022-06-16 00:07:19 +0200 | immae1 | (~immae@2a01:4f8:141:53e7::) |
| 2022-06-16 00:07:19 +0200 | xnyhps_ | (~xnyhps@2a02:2770:3:0:216:3eff:fe67:3288) |
| 2022-06-16 00:07:23 +0200 | defanor | (~defanor@tart.uberspace.net) (Ping timeout: 250 seconds) |
| 2022-06-16 00:07:23 +0200 | sa1 | (sid7690@id-7690.ilkley.irccloud.com) (Ping timeout: 250 seconds) |
| 2022-06-16 00:07:23 +0200 | jmct | (sid160793@id-160793.tinside.irccloud.com) (Ping timeout: 250 seconds) |
| 2022-06-16 00:07:23 +0200 | tomgus1 | (~tomgus1@2a02:c7e:4229:d900:dea6:32ff:fe3d:d1a3) (Ping timeout: 250 seconds) |
| 2022-06-16 00:07:23 +0200 | ymherklotz | (cb2c9cfbdd@2604:bf00:561:2000::29a) (Ping timeout: 250 seconds) |
| 2022-06-16 00:07:23 +0200 | jakzale | (6291399afa@user/jakzale) (Ping timeout: 250 seconds) |
| 2022-06-16 00:07:23 +0200 | lukec | (9dfd4d094e@2604:bf00:561:2000::10e) (Ping timeout: 250 seconds) |
| 2022-06-16 00:07:23 +0200 | loonycyborg | (loonycybor@wesnoth/developer/loonycyborg) (Ping timeout: 250 seconds) |
| 2022-06-16 00:07:23 +0200 | swistak | (~swistak@185.21.216.141) (Ping timeout: 250 seconds) |
| 2022-06-16 00:07:23 +0200 | Ankhers | (e99e97ef8e@2604:bf00:561:2000::2a2) (Ping timeout: 250 seconds) |
| 2022-06-16 00:07:23 +0200 | tdmm | (1c9b9145fc@2604:bf00:561:2000::1c8) (Ping timeout: 250 seconds) |
| 2022-06-16 00:07:23 +0200 | catern | (~sbaugh@2604:2000:8fc0:b:a9c7:866a:bf36:3407) (Ping timeout: 250 seconds) |
| 2022-06-16 00:07:23 +0200 | Boarders_ | (sid425905@2a03:5180:f:2::6:7fb1) (Ping timeout: 250 seconds) |
| 2022-06-16 00:07:23 +0200 | bookshelfdave | (sid28102@id-28102.ilkley.irccloud.com) (Ping timeout: 250 seconds) |
| 2022-06-16 00:07:23 +0200 | dsal | (sid13060@id-13060.lymington.irccloud.com) (Ping timeout: 250 seconds) |
| 2022-06-16 00:07:23 +0200 | sm2n | (ae95cb1267@user/sm2n) (Ping timeout: 250 seconds) |
| 2022-06-16 00:07:23 +0200 | jkoshy | (99b9359beb@user/jkoshy) (Ping timeout: 250 seconds) |
| 2022-06-16 00:07:23 +0200 | gonz_____ | (sid304396@id-304396.lymington.irccloud.com) (Ping timeout: 250 seconds) |
| 2022-06-16 00:07:23 +0200 | conjunctive | (sid433686@id-433686.helmsley.irccloud.com) (Ping timeout: 250 seconds) |
| 2022-06-16 00:07:23 +0200 | bw | (sid2730@user/betawaffle) (Ping timeout: 250 seconds) |
| 2022-06-16 00:07:23 +0200 | JSharp | (sid4580@id-4580.lymington.irccloud.com) (Ping timeout: 250 seconds) |
| 2022-06-16 00:07:23 +0200 | sunarch | (sid526836@user/sunarch) (Ping timeout: 250 seconds) |
| 2022-06-16 00:07:23 +0200 | hongminhee | (sid295@2a03:5180:f::127) (Ping timeout: 250 seconds) |
| 2022-06-16 00:07:23 +0200 | grfn | (sid449115@2a03:5180:f:1::6:da5b) (Ping timeout: 250 seconds) |
| 2022-06-16 00:07:23 +0200 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) (Ping timeout: 250 seconds) |
| 2022-06-16 00:07:24 +0200 | Techcable | (~Techcable@user/Techcable) (Ping timeout: 250 seconds) |
| 2022-06-16 00:07:24 +0200 | dwt_ | (~dwt_@c-98-198-103-176.hsd1.tx.comcast.net) (Ping timeout: 250 seconds) |
| 2022-06-16 00:07:24 +0200 | fvr | (ef3e56ca8b@2604:bf00:561:2000::3c4) (Ping timeout: 250 seconds) |
| 2022-06-16 00:07:24 +0200 | kvakil | (6f76c3db2e@2604:bf00:561:2000::40a) (Ping timeout: 250 seconds) |
| 2022-06-16 00:07:24 +0200 | filwisher | (2e6936c793@2604:bf00:561:2000::170) (Ping timeout: 250 seconds) |
| 2022-06-16 00:07:24 +0200 | dawdler | (035b60b5aa@user/dawdler) (Ping timeout: 250 seconds) |
| 2022-06-16 00:07:24 +0200 | samhh | (7569f027cf@2604:bf00:561:2000::e4) (Ping timeout: 250 seconds) |
| 2022-06-16 00:07:24 +0200 | bsima1 | (9d7e39c8ad@2604:bf00:561:2000::dd) (Ping timeout: 250 seconds) |
| 2022-06-16 00:07:24 +0200 | tomgus1_ | tomgus1 |
| 2022-06-16 00:07:24 +0200 | heath | (~heath@user/heath) (Ping timeout: 250 seconds) |
| 2022-06-16 00:07:24 +0200 | wallymathieu | (sid533252@id-533252.uxbridge.irccloud.com) (Ping timeout: 250 seconds) |
| 2022-06-16 00:07:24 +0200 | sa | (sid1055@id-1055.tinside.irccloud.com) (Ping timeout: 250 seconds) |
| 2022-06-16 00:07:24 +0200 | qhong | (~qhong@rescomp-21-400677.stanford.edu) (Ping timeout: 250 seconds) |
| 2022-06-16 00:07:24 +0200 | son0p | (~ff@181.136.122.143) (Ping timeout: 250 seconds) |
| 2022-06-16 00:07:24 +0200 | jonrh | (sid5185@id-5185.ilkley.irccloud.com) (Ping timeout: 250 seconds) |
| 2022-06-16 00:07:24 +0200 | elvishjerricco | (sid237756@id-237756.helmsley.irccloud.com) (Ping timeout: 250 seconds) |
| 2022-06-16 00:07:24 +0200 | kevinsjoberg | (sid499516@id-499516.lymington.irccloud.com) (Ping timeout: 250 seconds) |
| 2022-06-16 00:07:24 +0200 | synthmeat | (~synthmeat@user/synthmeat) (Ping timeout: 250 seconds) |
| 2022-06-16 00:07:24 +0200 | b0o | (0e4a0bf4c9@2604:bf00:561:2000::1bf) (Ping timeout: 250 seconds) |
| 2022-06-16 00:07:24 +0200 | jleightcap | (7bc4014b62@user/jleightcap) (Ping timeout: 250 seconds) |
| 2022-06-16 00:07:24 +0200 | fluffyballoon | (45ce440a48@2604:bf00:561:2000::e2) (Ping timeout: 250 seconds) |
| 2022-06-16 00:07:24 +0200 | evanrelf | (3addc196af@2604:bf00:561:2000::f0) (Ping timeout: 250 seconds) |
| 2022-06-16 00:07:24 +0200 | raghavgururajan | (ea769b8000@user/raghavgururajan) (Ping timeout: 250 seconds) |
| 2022-06-16 00:07:24 +0200 | shreyasminocha | (51fdc93eda@user/shreyasminocha) (Ping timeout: 250 seconds) |
| 2022-06-16 00:07:24 +0200 | sphynx | (~xnyhps@2a02:2770:3:0:216:3eff:fe67:3288) (Ping timeout: 250 seconds) |
| 2022-06-16 00:07:24 +0200 | immae | (~immae@2a01:4f8:141:53e7::) (Ping timeout: 250 seconds) |
| 2022-06-16 00:07:24 +0200 | lambdabot | (~lambdabot@haskell/bot/lambdabot) (Ping timeout: 250 seconds) |
| 2022-06-16 00:07:24 +0200 | davetapley | (sid666@2a03:5180:f:5::29a) (Ping timeout: 250 seconds) |
| 2022-06-16 00:07:24 +0200 | cjay | (cjay@nerdbox.nerd2nerd.org) (Ping timeout: 250 seconds) |
| 2022-06-16 00:07:24 +0200 | whez | (sid470288@id-470288.lymington.irccloud.com) (Ping timeout: 250 seconds) |
| 2022-06-16 00:07:24 +0200 | agander_m | (sid407952@id-407952.tinside.irccloud.com) (Ping timeout: 250 seconds) |
| 2022-06-16 00:07:24 +0200 | Unhammer | (~Unhammer@user/unhammer) (Ping timeout: 250 seconds) |
| 2022-06-16 00:07:24 +0200 | sa1_ | sa1 |
| 2022-06-16 00:07:25 +0200 | jakzale_ | jakzale |
| 2022-06-16 00:07:25 +0200 | ymherklotz_ | ymherklotz |
| 2022-06-16 00:07:25 +0200 | tdmm_ | tdmm |
| 2022-06-16 00:07:25 +0200 | jkoshy_ | jkoshy |
| 2022-06-16 00:07:25 +0200 | bookshelfdave_ | bookshelfdave |
| 2022-06-16 00:07:25 +0200 | Ankhers_ | Ankhers |
| 2022-06-16 00:07:25 +0200 | fvr_ | fvr |
| 2022-06-16 00:07:25 +0200 | bsima1_ | bsima1 |
| 2022-06-16 00:07:25 +0200 | fluffyballoon_ | fluffyballoon |
| 2022-06-16 00:07:25 +0200 | shreyasminocha_ | shreyasminocha |
| 2022-06-16 00:07:25 +0200 | kvakil_ | kvakil |
| 2022-06-16 00:07:25 +0200 | hongminhee_ | hongminhee |
| 2022-06-16 00:07:25 +0200 | grfn_ | grfn |
| 2022-06-16 00:07:25 +0200 | jonrh_ | jonrh |
| 2022-06-16 00:07:25 +0200 | raghavgururajan_ | raghavgururajan |
| 2022-06-16 00:07:25 +0200 | dsal_ | dsal |
| 2022-06-16 00:07:25 +0200 | b0o_ | b0o |
| 2022-06-16 00:07:25 +0200 | lukec_ | lukec |
| 2022-06-16 00:07:25 +0200 | samhh_ | samhh |
| 2022-06-16 00:07:25 +0200 | jleightcap_ | jleightcap |
| 2022-06-16 00:07:25 +0200 | jmct_ | jmct |
| 2022-06-16 00:07:26 +0200 | whez_ | whez |
| 2022-06-16 00:07:26 +0200 | Techcable_ | Techcable |
| 2022-06-16 00:07:26 +0200 | wallymathieu_ | wallymathieu |
| 2022-06-16 00:07:26 +0200 | sm2n_ | sm2n |
| 2022-06-16 00:07:27 +0200 | evanrelf_ | evanrelf |
| 2022-06-16 00:07:27 +0200 | JSharp_ | JSharp |
| 2022-06-16 00:07:28 +0200 | kevinsjoberg_ | kevinsjoberg |
| 2022-06-16 00:07:30 +0200 | sunarch_ | sunarch |
| 2022-06-16 00:07:31 +0200 | sa_ | sa |
| 2022-06-16 00:07:43 +0200 | Unhammer | (~Unhammer@user/unhammer) |
| 2022-06-16 00:08:11 +0200 | matijja | (~matijja@193.77.181.201) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-06-16 00:08:21 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-06-16 00:08:21 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Remote host closed the connection) |
| 2022-06-16 00:08:31 +0200 | dwt_ | (~dwt_@c-98-198-103-176.hsd1.tx.comcast.net) |
| 2022-06-16 00:08:52 +0200 | synthmeat | (~synthmeat@user/synthmeat) |
| 2022-06-16 00:08:58 +0200 | lambdabot | (~lambdabot@silicon.int-e.eu) |
| 2022-06-16 00:08:59 +0200 | lambdabot | (~lambdabot@silicon.int-e.eu) (Changing host) |
| 2022-06-16 00:08:59 +0200 | lambdabot | (~lambdabot@haskell/bot/lambdabot) |
| 2022-06-16 00:09:05 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-16 00:09:19 +0200 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) |
| 2022-06-16 00:10:08 +0200 | elvishjerricco_ | (sid237756@id-237756.helmsley.irccloud.com) () |
| 2022-06-16 00:10:27 +0200 | matijja | (~matijja@193.77.181.201) |
| 2022-06-16 00:10:29 +0200 | elvishjerricco | (sid237756@id-237756.helmsley.irccloud.com) |
| 2022-06-16 00:11:40 +0200 | bw_ | bw |
| 2022-06-16 00:11:53 +0200 | bw | (sid2730@id-2730.ilkley.irccloud.com) (Changing host) |
| 2022-06-16 00:11:53 +0200 | bw | (sid2730@user/betawaffle) |
| 2022-06-16 00:13:08 +0200 | <dsal> | shapr: I tend to do as many as possible. I find that for many things where I might hand write input for a test, making broader arbitrary input isn't that much harder and usually helps. |
| 2022-06-16 00:13:26 +0200 | <dsal> | I have plenty of exceptions, though. :) |
| 2022-06-16 00:13:45 +0200 | cheater | (~Username@user/cheater) |
| 2022-06-16 00:15:06 +0200 | nicbk | (~nicbk@user/nicbk) (Quit: nicbk) |
| 2022-06-16 00:15:57 +0200 | juri_ | (~juri@178.63.35.222) (Ping timeout: 256 seconds) |
| 2022-06-16 00:17:29 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Read error: Connection reset by peer) |
| 2022-06-16 00:23:52 +0200 | acidjnk | (~acidjnk@p200300d0c7068b91355c8005d240682c.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2022-06-16 00:24:18 +0200 | orc | (sid509852@user/orc) |
| 2022-06-16 00:24:32 +0200 | orc | (sid509852@user/orc) () |
| 2022-06-16 00:25:08 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-06-16 00:26:02 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2022-06-16 00:27:49 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:1834:2996:45d4:5368) (Remote host closed the connection) |
| 2022-06-16 00:28:24 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-06-16 00:29:16 +0200 | <maerwald[m]> | dsal: you can use QuickCheck to write unit tests, but that doesn't really make them property tests imo. |
| 2022-06-16 00:30:26 +0200 | <dsal> | Sure, it can be a bit blurry. Someone at work wrote a test using hedgehog with a fixed value generator and one iteration because `===` provided better error messages. |
| 2022-06-16 00:32:51 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2022-06-16 00:32:57 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2022-06-16 00:34:14 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2022-06-16 00:39:54 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2022-06-16 00:40:20 +0200 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2022-06-16 00:40:37 +0200 | machinedgod | (~machinedg@66.244.246.252) (Ping timeout: 260 seconds) |
| 2022-06-16 00:42:22 +0200 | machinedgod | (~machinedg@66.244.246.252) |
| 2022-06-16 00:46:06 +0200 | jargon | (~jargon@184.101.186.108) |
| 2022-06-16 00:48:00 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-06-16 00:48:49 +0200 | Pickchea | (~private@user/pickchea) (Ping timeout: 256 seconds) |
| 2022-06-16 00:51:08 +0200 | dzdcnfzd | (~dzdcnfzd@2600:387:5:805::a2) |
| 2022-06-16 00:54:39 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:1834:2996:45d4:5368) |
| 2022-06-16 00:56:28 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 246 seconds) |
| 2022-06-16 01:01:22 +0200 | Colere | (~colere@about/linux/staff/sauvin) (Ping timeout: 246 seconds) |
| 2022-06-16 01:03:54 +0200 | juri_ | (~juri@178.63.35.222) |
| 2022-06-16 01:06:58 +0200 | Colere | (~colere@about/linux/staff/sauvin) |
| 2022-06-16 01:09:28 +0200 | dzdcnfzd | (~dzdcnfzd@2600:387:5:805::a2) (Quit: Client closed) |
| 2022-06-16 01:12:39 +0200 | zeenk | (~zeenk@2a02:2f04:a013:9000:e45d:7fb3:ec71:e806) |
| 2022-06-16 01:16:46 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2022-06-16 01:20:34 +0200 | Topsi | (~Topsi@dyndsl-095-033-095-142.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
| 2022-06-16 01:21:12 +0200 | zeenk | (~zeenk@2a02:2f04:a013:9000:e45d:7fb3:ec71:e806) (Quit: Konversation terminated!) |
| 2022-06-16 01:27:35 +0200 | vicfred | (~vicfred@user/vicfred) (Quit: Leaving) |
| 2022-06-16 01:28:56 +0200 | gurkenglas | (~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) (Ping timeout: 248 seconds) |
| 2022-06-16 01:30:44 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-06-16 01:33:46 +0200 | tabemann | (~tabemann@2600:1700:7990:24e0:df83:5bf2:4e42:22d0) |
| 2022-06-16 01:41:34 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-16 01:45:27 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-06-16 01:50:07 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
| 2022-06-16 01:50:37 +0200 | hpc | (~juzz@ip98-169-32-242.dc.dc.cox.net) (Ping timeout: 260 seconds) |
| 2022-06-16 01:52:23 +0200 | hpc | (~juzz@ip98-169-32-242.dc.dc.cox.net) |
| 2022-06-16 01:59:50 +0200 | pleo | (~pleo@user/pleo) (Ping timeout: 240 seconds) |
| 2022-06-16 02:01:28 +0200 | pleo | (~pleo@user/pleo) |
| 2022-06-16 02:01:28 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-173.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2022-06-16 02:07:42 +0200 | dzdcnfzd | (~dzdcnfzd@pool-108-54-250-165.nycmny.fios.verizon.net) |
| 2022-06-16 02:07:53 +0200 | aegon | (~mike@174.127.249.180) |
| 2022-06-16 02:08:45 +0200 | <aegon> | hey all, i'm trying to optimize some docker containers for size using stack... the starting container is ~2 gigs, after a (stack build && stack install && rm -Rf ./.stack-work && rm -Rf ~/.stack) |
| 2022-06-16 02:08:50 +0200 | <aegon> | it balloons to almost 10 gigs |
| 2022-06-16 02:09:16 +0200 | <aegon> | any idea where all those gigs are coming from? are there artifacts placed elsewhere than ~/.stack or ./.stack-work |
| 2022-06-16 02:11:04 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-06-16 02:13:51 +0200 | son0p | (~ff@181.136.122.143) |
| 2022-06-16 02:15:07 +0200 | werneta | (~werneta@137.79.230.15) (Ping timeout: 260 seconds) |
| 2022-06-16 02:16:27 +0200 | <DigitalKiwi> | is not using stack an option |
| 2022-06-16 02:16:50 +0200 | <aegon> | not one without a high cost |
| 2022-06-16 02:16:52 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-06-16 02:17:45 +0200 | <aegon> | i'm just kinda curous, would be open to moving away from it but wher else would these gigs be going? i thought in docker at least, everything with an && was treated as one delta so removing .stack / .stack-work should be the majority of the excess |
| 2022-06-16 02:18:03 +0200 | <aegon> | but removing those folders only saved me ~ 800 megs or so in final image size |
| 2022-06-16 02:20:28 +0200 | <aegon> | i guess at the end of the day storage is dirt cheap, 10 gigs seems excessive though |
| 2022-06-16 02:21:10 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2022-06-16 02:21:54 +0200 | werneta | (~werneta@137.79.230.15) |
| 2022-06-16 02:22:27 +0200 | <jackdk> | I use nix these days, but I understand that's a massive jump. But 2MB static binaries built against musl are tasty |
| 2022-06-16 02:22:56 +0200 | <dragestil> | kinda related but i find haskell binaries rather big |
| 2022-06-16 02:23:16 +0200 | <geekosaur> | 10GB big seems unlikely though |
| 2022-06-16 02:23:20 +0200 | jgeerds | (~jgeerds@55d45f48.access.ecotel.net) (Ping timeout: 248 seconds) |
| 2022-06-16 02:23:52 +0200 | <geekosaur> | (haskell binaries are linked statically to most things, which bloats them considerably. but dynamic linking poses a bunch of other problems) |
| 2022-06-16 02:24:17 +0200 | <geekosaur> | (as Arch likes to demonstrate regularly, since they force dynamic linking) |
| 2022-06-16 02:25:40 +0200 | dzdcnfzd | (~dzdcnfzd@pool-108-54-250-165.nycmny.fios.verizon.net) (Quit: Client closed) |
| 2022-06-16 02:26:25 +0200 | <dragestil> | i see |
| 2022-06-16 02:26:38 +0200 | stackdroid18 | (~stackdroi@user/stackdroid) (Quit: hasta la vista... tchau!) |
| 2022-06-16 02:26:41 +0200 | <aegon> | yeah, i'm doing a test build to see how big the bin is, but the wholse .stack-work foldier after a build is ~5 gigs |
| 2022-06-16 02:26:59 +0200 | <dragestil> | I wonder why dynamic linking is a problem with haskell, but not some other langs |
| 2022-06-16 02:27:14 +0200 | <aegon> | i should bite the nix bullet, i just got comfy with kubernetes |
| 2022-06-16 02:27:15 +0200 | <geekosaur> | because the dependencies are *really* tight |
| 2022-06-16 02:27:48 +0200 | <aegon> | i'm pretty sure my exe is dynamically linked with libzmq but it might be be static i'll check that too |
| 2022-06-16 02:27:54 +0200 | <geekosaur> | ghc exposes module internals for cross-module optimization, which means the ABI is much larger than you would expect, and must match precisely or you get runtime crashes |
| 2022-06-16 02:28:30 +0200 | <geekosaur> | so you can't for example simply replace a shared object with a new one, you have to recompile everything using it because the ABI may have changed |
| 2022-06-16 02:28:41 +0200 | xff0x | (~xff0x@2405:6580:b080:900:22c7:1522:c1f2:cdfc) (Ping timeout: 258 seconds) |
| 2022-06-16 02:28:42 +0200 | <dragestil> | ok |
| 2022-06-16 02:29:07 +0200 | <aegon> | i'm updating zeromq4-haskell bindings with some of the more recent draft apis it looks like the maintainer hasn't done anything with the project in 3 years, whats the etiquette for republishing to hackage :? |
| 2022-06-16 02:29:56 +0200 | <geekosaur> | try to contact the maintainer to be added as a co-maintainer. if you get no response in ~3 months you can request a package takeover on the libraries list |
| 2022-06-16 02:31:08 +0200 | <dragestil> | btw i've been playing with haddock code. it uses the TTG pattern (a new type instance for the HsSyn ast param thingie) but does not offer Data instance so is a pain to try to look into it |
| 2022-06-16 02:31:26 +0200 | <aegon> | kk I'll reach out now then. Related, these drafts require linking to functions only valid if the library was built with a preprocessor define, afaik theres no artifact left around to determing if the symbols will be present. Is there a way to offer a cabal or stack flag so i can conditionally bind in the .hsc file? |
| 2022-06-16 02:32:21 +0200 | <dragestil> | e.g. I can't use showAstData / pprTrace to print out the ast |
| 2022-06-16 02:32:28 +0200 | <aegon> | hmm.. that would also have ramifications to non .hsc modules |
| 2022-06-16 02:32:48 +0200 | <geekosaur> | no. in fact that sitation is supposed to not happen and is a violation of the Cabal (not cabal/stack but the package system) standard, precisely because there's no good way to test for it |
| 2022-06-16 02:33:32 +0200 | <geekosaur> | dragestil, talk to Hecate, maybe one can be added |
| 2022-06-16 02:34:22 +0200 | <dragestil> | geekosaur: ok thanks for the pointer |
| 2022-06-16 02:35:46 +0200 | <aegon> | geekosaur: darn, so maybe this is why the origonal maintainer didn't bother with them |
| 2022-06-16 02:36:13 +0200 | <jackdk> | aegon: you can wire cabal into a configure script if things get dire. Set `build-type: Configure`, make `Setup.hs` contain `main = defaultMainWithHooks autoconfUserHooks` and write a configure script (using autoconf and autoheader to generate a `config.h` might go?) |
| 2022-06-16 02:36:15 +0200 | <jackdk> | https://cabal.readthedocs.io/en/3.4/cabal-package.html#system-dependent-parameters |
| 2022-06-16 02:37:18 +0200 | <jackdk> | I speak fluent autoconf and wrote something that used zmq many years ago, so maybe I can help if you get stuck |
| 2022-06-16 02:38:42 +0200 | <aegon> | jackdk: thanks! :) sounds promising i'll readthedocs to start, likely wont be tackling it till july but will start picking away at it |
| 2022-06-16 02:42:12 +0200 | feliix42 | (~felix@gibbs.uberspace.de) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-06-16 02:42:47 +0200 | feliix42 | (~felix@gibbs.uberspace.de) |
| 2022-06-16 02:43:34 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 240 seconds) |
| 2022-06-16 02:44:01 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2022-06-16 02:48:04 +0200 | pleo | (~pleo@user/pleo) (Ping timeout: 248 seconds) |
| 2022-06-16 02:50:43 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-16 02:52:23 +0200 | lottaquestions | (~nick@2607:fa49:5041:a200:e93:cdbf:1805:a1c8) (Ping timeout: 255 seconds) |
| 2022-06-16 02:53:30 +0200 | motherfsck | (~motherfsc@user/motherfsck) |
| 2022-06-16 02:55:30 +0200 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) (Remote host closed the connection) |
| 2022-06-16 02:58:17 +0200 | alp | (~alp@user/alp) (Ping timeout: 260 seconds) |
| 2022-06-16 02:59:49 +0200 | <Axman6> | aegon: I assume this docker image is for building using stack, and not deploying? |
| 2022-06-16 02:59:54 +0200 | <aegon> | welp, that was dumb, i was adding the src directory into the container that already had .stack-work files in it, went from adding ~8gigs to adding ~ 30 megs |
| 2022-06-16 03:00:14 +0200 | <Axman6> | yeah... don't include the host's .stack-work :P |
| 2022-06-16 03:00:22 +0200 | benin | (~benin@183.82.27.33) (Ping timeout: 246 seconds) |
| 2022-06-16 03:01:22 +0200 | <aegon> | :X yeah, my bad. thats a suprising amount of artifacts but i think this stack work had artifacts from 2 ghc 8.x builds and ghc 9.x |
| 2022-06-16 03:01:30 +0200 | <Axman6> | when it comes to deployment images, it is possible to make very small images with static linking - I had a web service that ended up with an 8MB image (can't remember how though) |
| 2022-06-16 03:01:38 +0200 | jargon | (~jargon@184.101.186.108) (Remote host closed the connection) |
| 2022-06-16 03:01:59 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2022-06-16 03:02:43 +0200 | benin | (~benin@183.82.204.191) |
| 2022-06-16 03:03:41 +0200 | mixfix41 | (~sdenynine@user/mixfix41) (Ping timeout: 256 seconds) |
| 2022-06-16 03:07:56 +0200 | lainon | (~lainon@2601:7c0:c500:4d20:758f:bedd:f48d:1829) |
| 2022-06-16 03:11:44 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-06-16 03:12:04 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-16 03:12:42 +0200 | raym | (~raym@user/raym) (Quit: leaving) |
| 2022-06-16 03:13:21 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2022-06-16 03:14:56 +0200 | <aegon> | Axman6: that woudl be super cool to know if you remember :) |
| 2022-06-16 03:15:53 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2022-06-16 03:17:51 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-06-16 03:17:57 +0200 | Alleria | (~textual@user/alleria) (Read error: Connection reset by peer) |
| 2022-06-16 03:30:53 +0200 | lainon | (~lainon@2601:7c0:c500:4d20:758f:bedd:f48d:1829) (Quit: Textual IRC Client: www.textualapp.com) |
| 2022-06-16 03:38:49 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 256 seconds) |
| 2022-06-16 03:42:50 +0200 | king_gs | (~Thunderbi@187.201.173.69) |
| 2022-06-16 03:42:53 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-06-16 03:45:03 +0200 | YoungFrog | (~youngfrog@2a02:a03f:c21b:f900:4407:6901:d62:3299) (Quit: ZNC 1.7.x-git-3-96481995 - https://znc.in) |
| 2022-06-16 03:45:23 +0200 | YoungFrog | (~youngfrog@2a02:a03f:c21b:f900:9057:83fb:8876:5481) |
| 2022-06-16 03:48:20 +0200 | king_gs | (~Thunderbi@187.201.173.69) (Quit: king_gs) |
| 2022-06-16 03:50:56 +0200 | frost | (~frost@user/frost) |
| 2022-06-16 04:03:54 +0200 | dyeplexer | (~dyeplexer@user/dyeplexer) |
| 2022-06-16 04:10:33 +0200 | td_ | (~td@muedsl-82-207-238-033.citykom.de) (Ping timeout: 256 seconds) |
| 2022-06-16 04:12:32 +0200 | td_ | (~td@muedsl-82-207-238-107.citykom.de) |
| 2022-06-16 04:20:19 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-06-16 04:25:17 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 256 seconds) |
| 2022-06-16 04:25:40 +0200 | hughjfch1 | (~hughjfche@vmi556545.contaboserver.net) (Quit: WeeChat 2.8) |
| 2022-06-16 04:27:59 +0200 | frost | (~frost@user/frost) (Quit: Ping timeout (120 seconds)) |
| 2022-06-16 04:29:34 +0200 | hughjfchen | (~hughjfche@vmi556545.contaboserver.net) |
| 2022-06-16 04:30:28 +0200 | frost | (~frost@user/frost) |
| 2022-06-16 04:30:37 +0200 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2022-06-16 04:30:41 +0200 | benin | (~benin@183.82.204.191) (Ping timeout: 246 seconds) |
| 2022-06-16 04:36:57 +0200 | mtjm | (~mutantmel@2604:a880:2:d0::208b:d001) (Remote host closed the connection) |
| 2022-06-16 04:37:44 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2022-06-16 04:37:44 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-06-16 04:37:44 +0200 | finn_elija | FinnElija |
| 2022-06-16 04:38:00 +0200 | mtjm | (~mutantmel@2604:a880:2:d0::208b:d001) |
| 2022-06-16 04:42:11 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 255 seconds) |
| 2022-06-16 04:42:16 +0200 | lottaquestions | (~nick@2607:fa49:5041:a200:617:f64b:a96:e051) |
| 2022-06-16 04:49:04 +0200 | jinsun__ | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 2022-06-16 04:52:11 +0200 | jinsun | (~jinsun@user/jinsun) |
| 2022-06-16 04:54:31 +0200 | <shapr> | wait, why doesn't hpc work on internal libraries?! |
| 2022-06-16 04:58:45 +0200 | <Axman6> | yeah hpc, why you gotta be like that? |
| 2022-06-16 04:59:51 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-06-16 05:05:39 +0200 | <shapr> | :-P |
| 2022-06-16 05:07:54 +0200 | <shapr> | @paste |
| 2022-06-16 05:07:54 +0200 | <lambdabot> | A pastebin: https://paste.debian.net/ |
| 2022-06-16 05:08:19 +0200 | <shapr> | Axman6: I mean https://paste.debian.net/1244258/ |
| 2022-06-16 05:09:23 +0200 | <shapr> | I wrote a minimum viable prototype for a feedback loop between quickcheck and hpc ( https://wiki.haskell.org/Haskell_program_coverage ) and now hpc doesn't work for internal libraries? |
| 2022-06-16 05:13:47 +0200 | <Axman6> | hmm, sounds like a good #ghc question |
| 2022-06-16 05:14:04 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-06-16 05:15:37 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-16 05:17:03 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-06-16 05:21:55 +0200 | <shapr> | yeah, gotta finish reading the cabal docs on internal libraries first. I have to ask an informed question! |
| 2022-06-16 05:22:19 +0200 | <shapr> | specifically: https://cabal.readthedocs.io/en/3.6/cabal-package.html#sublibs |
| 2022-06-16 05:23:52 +0200 | slack1256 | (~slack1256@186.11.82.227) (Ping timeout: 258 seconds) |
| 2022-06-16 05:24:04 +0200 | whosthis | (~whosthis@97-122-203-212.hlrn.qwest.net) (Read error: Connection reset by peer) |
| 2022-06-16 05:42:04 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-16 05:47:30 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
| 2022-06-16 05:53:10 +0200 | machinedgod | (~machinedg@66.244.246.252) (Ping timeout: 240 seconds) |
| 2022-06-16 05:55:04 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-16 06:01:14 +0200 | yauhsien_ | (~yauhsien@61-231-59-135.dynamic-ip.hinet.net) |
| 2022-06-16 06:01:15 +0200 | yauhsien | (~yauhsien@61-231-59-135.dynamic-ip.hinet.net) (Read error: Connection reset by peer) |
| 2022-06-16 06:02:10 +0200 | dyeplexer | (~dyeplexer@user/dyeplexer) (Remote host closed the connection) |
| 2022-06-16 06:02:54 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2022-06-16 06:04:12 +0200 | slack1256 | (~slack1256@181.43.227.13) |
| 2022-06-16 06:07:58 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::4588) |
| 2022-06-16 06:09:58 +0200 | machinedgod | (~machinedg@66.244.246.252) |
| 2022-06-16 06:15:42 +0200 | noteness | (~noteness@user/noteness) (Remote host closed the connection) |
| 2022-06-16 06:16:04 +0200 | noteness | (~noteness@user/noteness) |
| 2022-06-16 06:17:23 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-06-16 06:17:27 +0200 | bilegeek | (~bilegeek@2600:1008:b004:f8a7:1da1:2f77:e7e0:d631) |
| 2022-06-16 06:18:07 +0200 | Vajb | (~Vajb@2001:999:40:4c50:1b24:879c:6df3:1d06) |
| 2022-06-16 06:18:45 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-06-16 06:24:56 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-06-16 06:27:33 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-06-16 06:27:46 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-06-16 06:32:54 +0200 | takuan | (~takuan@178.116.218.225) |
| 2022-06-16 06:46:24 +0200 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) |
| 2022-06-16 06:57:40 +0200 | machinedgod | (~machinedg@66.244.246.252) (Ping timeout: 246 seconds) |
| 2022-06-16 07:16:04 +0200 | yauhsien_ | (~yauhsien@61-231-59-135.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-06-16 07:16:13 +0200 | Pickchea | (~private@user/pickchea) |
| 2022-06-16 07:27:09 +0200 | yauhsien | (~yauhsien@61-231-59-135.dynamic-ip.hinet.net) |
| 2022-06-16 07:31:00 +0200 | coot | (~coot@213.134.190.95) |
| 2022-06-16 07:33:59 +0200 | littlebo1eep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-16 07:34:04 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-16 07:36:24 +0200 | k8yun | (~k8yun@user/k8yun) |
| 2022-06-16 07:37:48 +0200 | mattil | (~mattil@helsinki.portalify.com) |
| 2022-06-16 07:42:35 +0200 | coot | (~coot@213.134.190.95) () |
| 2022-06-16 07:42:48 +0200 | stefan-_ | (~cri@42dots.de) (Ping timeout: 248 seconds) |
| 2022-06-16 07:43:31 +0200 | motherfsck | (~motherfsc@user/motherfsck) (Quit: quit) |
| 2022-06-16 07:44:10 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2022-06-16 07:46:04 +0200 | k8yun | (~k8yun@user/k8yun) (Quit: Leaving) |
| 2022-06-16 07:49:07 +0200 | stefan-_ | (~cri@42dots.de) |
| 2022-06-16 07:50:32 +0200 | Pickchea | (~private@user/pickchea) (Ping timeout: 246 seconds) |
| 2022-06-16 07:53:06 +0200 | acidjnk | (~acidjnk@p200300d0c7068b45256a07aefaa7dce4.dip0.t-ipconnect.de) |
| 2022-06-16 08:02:12 +0200 | HotblackDesiato | (~HotblackD@gateway/tor-sasl/hotblackdesiato) (Remote host closed the connection) |
| 2022-06-16 08:02:41 +0200 | HotblackDesiato | (~HotblackD@gateway/tor-sasl/hotblackdesiato) |
| 2022-06-16 08:09:04 +0200 | littlebo1eep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-16 08:09:07 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-16 08:15:18 +0200 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2022-06-16 08:15:54 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-06-16 08:17:04 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-16 08:18:06 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-16 08:18:13 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-06-16 08:18:27 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-06-16 08:18:28 +0200 | img | (~img@user/img) |
| 2022-06-16 08:18:45 +0200 | <dragestil> | Is there a way to invoke haddock without cabal, that builds haddock for a package? I'm guessing no because haddock has no idea about where to find build-depends |
| 2022-06-16 08:19:46 +0200 | img | (~img@user/img) (Client Quit) |
| 2022-06-16 08:21:10 +0200 | img | (~img@user/img) |
| 2022-06-16 08:21:51 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-06-16 08:26:34 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 246 seconds) |
| 2022-06-16 08:29:36 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Remote host closed the connection) |
| 2022-06-16 08:29:36 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Read error: Connection reset by peer) |
| 2022-06-16 08:29:36 +0200 | winny | (~weechat@user/winny) (Remote host closed the connection) |
| 2022-06-16 08:29:36 +0200 | noteness | (~noteness@user/noteness) (Remote host closed the connection) |
| 2022-06-16 08:29:37 +0200 | Neuromancer | (~Neuromanc@user/neuromancer) |
| 2022-06-16 08:29:59 +0200 | noteness | (~noteness@user/noteness) |
| 2022-06-16 08:30:13 +0200 | winny | (~weechat@user/winny) |
| 2022-06-16 08:30:40 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-06-16 08:37:03 +0200 | echoreply | (~echoreply@45.32.163.16) (Quit: WeeChat 2.8) |
| 2022-06-16 08:38:21 +0200 | echoreply | (~echoreply@45.32.163.16) |
| 2022-06-16 08:40:19 +0200 | cony_mony[m] | (~conymonym@2001:470:69fc:105::2:2ea2) |
| 2022-06-16 08:45:20 +0200 | <Hecate> | dragestil: you would basically have to replicate the haddock invocation that cabal does, just without cabal |
| 2022-06-16 08:46:01 +0200 | <DigitalKiwi> | o/ Hecate |
| 2022-06-16 08:46:05 +0200 | <dragestil> | Hecate: ok, how do I find the invocation? |
| 2022-06-16 08:47:29 +0200 | <Hecate> | heya DigitalKiwi |
| 2022-06-16 08:47:45 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-16 08:47:58 +0200 | <Hecate> | dragestil: I'd say check your computer's processes when `cabal haddock` is launched |
| 2022-06-16 08:48:01 +0200 | <Hecate> | with htop or something |
| 2022-06-16 08:48:24 +0200 | <dragestil> | ok thanks |
| 2022-06-16 08:49:02 +0200 | <DigitalKiwi> | use a slow computer for better results! |
| 2022-06-16 08:52:08 +0200 | [exa] | nostalgically smashes the turbo button |
| 2022-06-16 08:53:05 +0200 | <DigitalKiwi> | https://xkcd.com/1172/ |
| 2022-06-16 08:54:00 +0200 | <DigitalKiwi> | is tomsmeding here |
| 2022-06-16 08:59:07 +0200 | kenran | (~kenran@200116b82bfe7600e70c06a9d9c609b8.dip.versatel-1u1.de) |
| 2022-06-16 08:59:28 +0200 | ccntrq | (~Thunderbi@172.209.94.92.rev.sfr.net) |
| 2022-06-16 09:00:03 +0200 | kenran | (~kenran@200116b82bfe7600e70c06a9d9c609b8.dip.versatel-1u1.de) (Client Quit) |
| 2022-06-16 09:01:21 +0200 | <tomsmeding> | DigitalKiwi: now I am |
| 2022-06-16 09:01:26 +0200 | bilegeek | (~bilegeek@2600:1008:b004:f8a7:1da1:2f77:e7e0:d631) (Quit: Leaving) |
| 2022-06-16 09:08:32 +0200 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 2022-06-16 09:10:00 +0200 | <tomsmeding> | DigitalKiwi: what was the question :p |
| 2022-06-16 09:10:05 +0200 | zaquest | (~notzaques@5.130.79.72) |
| 2022-06-16 09:10:33 +0200 | dschrempf | (~dominik@mobiledyn-62-240-134-11.mrsn.at) |
| 2022-06-16 09:11:24 +0200 | MajorBiscuit | (~MajorBisc@c-001-020-042.client.tudelft.eduvpn.nl) |
| 2022-06-16 09:17:59 +0200 | Cale | (~cale@cpef48e38ee8583-cm30b7d4b3fc20.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 2022-06-16 09:20:19 +0200 | alp | (~alp@user/alp) |
| 2022-06-16 09:20:42 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-06-16 09:24:06 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-06-16 09:24:19 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:1834:2996:45d4:5368) (Remote host closed the connection) |
| 2022-06-16 09:34:34 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-16 09:49:18 +0200 | zeenk | (~zeenk@2a02:2f04:a013:9000:e45d:7fb3:ec71:e806) |
| 2022-06-16 09:53:22 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2022-06-16 09:58:45 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-06-16 09:59:48 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-16 10:00:11 +0200 | img | (~img@user/img) |
| 2022-06-16 10:01:12 +0200 | AlexNoo | (~AlexNoo@178.34.150.200) |
| 2022-06-16 10:02:18 +0200 | Alex_test | (~al_test@178.34.150.200) |
| 2022-06-16 10:03:02 +0200 | AlexZenon | (~alzenon@178.34.150.200) |
| 2022-06-16 10:04:26 +0200 | <merijn> | dragestil: "probably", but it's a pain |
| 2022-06-16 10:04:50 +0200 | <merijn> | dragestil: Why do you wanna do it without cabal, though? |
| 2022-06-16 10:05:43 +0200 | <slack1256> | Do anyone know what Edward Z Yang uses for his slides? Example: http://ezyang.com/slides/ezyang15-cnf-slides.pdf |
| 2022-06-16 10:05:57 +0200 | <slack1256> | Is that just a wacom output made slides? |
| 2022-06-16 10:05:58 +0200 | <dragestil> | merijn: oh i'm hacking on haddock code, and it would be easier to test and iterate if I don't have to invoke cabal to call my modified haddock |
| 2022-06-16 10:06:28 +0200 | coot | (~coot@213.134.190.95) |
| 2022-06-16 10:06:38 +0200 | <merijn> | ah, wouldn't the haddock tests be a better example to check? |
| 2022-06-16 10:07:05 +0200 | <dragestil> | yeah, I found an abundance of test cases there. I will try those first |
| 2022-06-16 10:08:02 +0200 | <dragestil> | i hope that is sufficient |
| 2022-06-16 10:08:25 +0200 | benin | (~benin@183.82.28.222) |
| 2022-06-16 10:09:10 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-06-16 10:09:49 +0200 | yauhsien | (~yauhsien@61-231-59-135.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-06-16 10:10:24 +0200 | yauhsien | (~yauhsien@61-231-59-135.dynamic-ip.hinet.net) |
| 2022-06-16 10:11:34 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-16 10:12:02 +0200 | slac79071 | (~slack1256@186.11.47.77) |
| 2022-06-16 10:14:21 +0200 | slack1256 | (~slack1256@181.43.227.13) (Ping timeout: 256 seconds) |
| 2022-06-16 10:15:01 +0200 | <tomsmeding> | slac79071: looks very much like that yes |
| 2022-06-16 10:15:08 +0200 | <tomsmeding> | oh sorry wrong ping |
| 2022-06-16 10:18:16 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-16 10:19:34 +0200 | <Tisoxin> | Is it possible to collect all top level functions in a module in a list with template haskell? |
| 2022-06-16 10:21:03 +0200 | mixfix41 | (~sdenynine@user/mixfix41) |
| 2022-06-16 10:22:51 +0200 | <merijn> | Tisoxin: "It Depends (TM)" |
| 2022-06-16 10:23:06 +0200 | <merijn> | Most crucially on "where is said TH code" |
| 2022-06-16 10:23:08 +0200 | <tomsmeding> | Tisoxin: judging by QuickCheck's implementation of the same, no https://hackage.haskell.org/package/QuickCheck-2.14.2/docs/src/Test.QuickCheck.All.html#line-143 |
| 2022-06-16 10:23:55 +0200 | jgeerds | (~jgeerds@55d45f48.access.ecotel.net) |
| 2022-06-16 10:23:59 +0200 | <tomsmeding> | but maybe if you're in a different module you can request the functions exported by a module? |
| 2022-06-16 10:24:44 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:1834:2996:45d4:5368) |
| 2022-06-16 10:25:24 +0200 | moonsheep | (~user@user/moonsheep) |
| 2022-06-16 10:27:18 +0200 | slac79071 | slack1256 |
| 2022-06-16 10:28:47 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:1834:2996:45d4:5368) (Ping timeout: 240 seconds) |
| 2022-06-16 10:29:19 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-06-16 10:29:43 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2022-06-16 10:32:34 +0200 | moonsheep | (~user@user/moonsheep) (Ping timeout: 246 seconds) |
| 2022-06-16 10:33:47 +0200 | slack1256 | (~slack1256@186.11.47.77) (Remote host closed the connection) |
| 2022-06-16 10:40:36 +0200 | aegon | (~mike@174.127.249.180) (Remote host closed the connection) |
| 2022-06-16 10:58:51 +0200 | judeka[m] | (~judekamat@2001:470:69fc:105::1:559c) |
| 2022-06-16 11:00:20 +0200 | TitusTzeng[m] | (~titusjgrm@2001:470:69fc:105::2:1140) (Quit: You have been kicked for being idle) |
| 2022-06-16 11:01:14 +0200 | judeka[m] | (~judekamat@2001:470:69fc:105::1:559c) () |
| 2022-06-16 11:03:03 +0200 | kimjetwav | (~user@2607:fea8:2340:da00:592f:dda3:fea6:1b4c) (Remote host closed the connection) |
| 2022-06-16 11:04:44 +0200 | ubert | (~Thunderbi@2a02:8109:abc0:6434:c1f3:6a1d:d03:af39) (Remote host closed the connection) |
| 2022-06-16 11:05:50 +0200 | kimjetwav | (~user@2607:fea8:2340:da00:592f:dda3:fea6:1b4c) |
| 2022-06-16 11:08:43 +0200 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-06-16 11:09:05 +0200 | tungki | (~tungki@182.253.45.237) |
| 2022-06-16 11:10:45 +0200 | Pickchea | (~private@user/pickchea) |
| 2022-06-16 11:11:08 +0200 | ccntrq1 | (~Thunderbi@87.139.187.64) |
| 2022-06-16 11:11:39 +0200 | bliminse | (~bliminse@host86-164-164-134.range86-164.btcentralplus.com) (Quit: leaving) |
| 2022-06-16 11:12:15 +0200 | gdd | (~gdd@2001:470:1f13:187:c211:ee4c:6eca:b634) |
| 2022-06-16 11:12:43 +0200 | ccntrq | (~Thunderbi@172.209.94.92.rev.sfr.net) (Ping timeout: 256 seconds) |
| 2022-06-16 11:12:44 +0200 | ccntrq1 | ccntrq |
| 2022-06-16 11:13:29 +0200 | bliminse | (~bliminse@host86-164-164-134.range86-164.btcentralplus.com) |
| 2022-06-16 11:15:08 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-06-16 11:15:15 +0200 | vglfr | (~vglfr@coupling.penchant.volia.net) (Remote host closed the connection) |
| 2022-06-16 11:15:46 +0200 | ubert | (~Thunderbi@2a02:8109:abc0:6434:6683:c4a9:3b6d:6651) |
| 2022-06-16 11:15:52 +0200 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-06-16 11:18:24 +0200 | jgeerds | (~jgeerds@55d45f48.access.ecotel.net) (Ping timeout: 276 seconds) |
| 2022-06-16 11:20:41 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-06-16 11:21:07 +0200 | heinz9 | (~trace@user/trace) |
| 2022-06-16 11:21:20 +0200 | <heinz9> | how do I execute haskell programs on arm |
| 2022-06-16 11:24:35 +0200 | <heinz9> | okay forget my question |
| 2022-06-16 11:26:59 +0200 | gurkenglas | (~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) |
| 2022-06-16 11:27:04 +0200 | <heinz9> | can haskell programs be converted to something, so all haskell programs can be executed on arm64 ? |
| 2022-06-16 11:27:27 +0200 | Cale | (~cale@cpef48e38ee8583-cm30b7d4b3fc20.cpe.net.cable.rogers.com) |
| 2022-06-16 11:31:06 +0200 | <jackdk> | Yeah, ghc has an arm64 target these days I think' |
| 2022-06-16 11:32:34 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-16 11:37:04 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-16 11:40:19 +0200 | <merijn> | Depends which exact arm you're talking about |
| 2022-06-16 11:40:45 +0200 | <merijn> | heinz9: https://gitlab.haskell.org/ghc/ghc/-/wikis/platforms |
| 2022-06-16 11:41:06 +0200 | <merijn> | I think that page is a little out of date |
| 2022-06-16 11:41:30 +0200 | dschrempf | (~dominik@mobiledyn-62-240-134-11.mrsn.at) (Quit: WeeChat 3.5) |
| 2022-06-16 11:42:27 +0200 | <heinz9> | merijn, what is newer known about haskell on arm |
| 2022-06-16 11:43:55 +0200 | <merijn> | heinz9: Might wanna ask in #ghc for more detailed info on the status of ARM support |
| 2022-06-16 11:43:58 +0200 | <heinz9> | what does the Native Code Generator (NCG) do ? |
| 2022-06-16 11:44:12 +0200 | <merijn> | It, eh, generates native code? :D |
| 2022-06-16 11:44:25 +0200 | <heinz9> | what is native code |
| 2022-06-16 11:44:32 +0200 | <merijn> | As in "executable binary" |
| 2022-06-16 11:44:38 +0200 | <heinz9> | oh |
| 2022-06-16 11:44:50 +0200 | <heinz9> | the page you suggested, haskell cannot do this on arm |
| 2022-06-16 11:45:11 +0200 | chele | (~chele@user/chele) |
| 2022-06-16 11:45:17 +0200 | <merijn> | It's a bit out of date, because (at least) NCG support for the Apple M1 should be in 9.4(?) |
| 2022-06-16 11:45:36 +0200 | <merijn> | heinz9: But better off asking in #ghc, because the people who know hang out there |
| 2022-06-16 11:46:46 +0200 | <heinz9> | and GHCi does not create native code? |
| 2022-06-16 11:49:01 +0200 | <heinz9> | ah |
| 2022-06-16 11:49:05 +0200 | <heinz9> | this seems to be an interpreter |
| 2022-06-16 11:49:08 +0200 | <tomsmeding> | by default, it does not; you can tell it to compile to native code with the -fobject-code flag, I think |
| 2022-06-16 11:49:09 +0200 | <tomsmeding> | yes |
| 2022-06-16 11:49:15 +0200 | <merijn> | By default ghci creates bytecode that gets interpreted |
| 2022-06-16 11:49:31 +0200 | <heinz9> | so on arm it gets interpreted |
| 2022-06-16 11:49:58 +0200 | <tomsmeding> | ghci interprets code, yes; however, you cannot load more than one package into ghci at the same time |
| 2022-06-16 11:50:28 +0200 | <merijn> | tomsmeding: Pedantic nitpick: Not more than one component |
| 2022-06-16 11:50:34 +0200 | <tomsmeding> | good point |
| 2022-06-16 11:50:36 +0200 | <merijn> | Even if in the same package |
| 2022-06-16 11:50:58 +0200 | <tomsmeding> | but in any case, if you can get ghci to work on a platform, you can probably also get the whole GHC situation orking on that platform |
| 2022-06-16 11:51:09 +0200 | <tomsmeding> | so the fact that ghci doesn't compile to native code doesn't buy you much |
| 2022-06-16 11:55:46 +0200 | yauhsien | (~yauhsien@61-231-59-135.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-06-16 11:56:51 +0200 | shriekingnoise | (~shrieking@201.212.175.181) (Quit: Quit) |
| 2022-06-16 12:09:16 +0200 | <heinz9> | I tried to compile ghc on arm64, but ./boot does not create a ./configure file |
| 2022-06-16 12:12:47 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 256 seconds) |
| 2022-06-16 12:19:49 +0200 | <heinz9> | Can every or most haskell programs be cross-compiled to arm64? |
| 2022-06-16 12:20:13 +0200 | <maerwald[m]> | heinz9: there are binsists |
| 2022-06-16 12:20:27 +0200 | <maerwald[m]> | Install via GHCup |
| 2022-06-16 12:23:20 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-06-16 12:23:21 +0200 | yauhsien | (~yauhsien@61-231-59-135.dynamic-ip.hinet.net) |
| 2022-06-16 12:26:55 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:1834:2996:45d4:5368) |
| 2022-06-16 12:28:05 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 246 seconds) |
| 2022-06-16 12:31:17 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:1834:2996:45d4:5368) (Ping timeout: 258 seconds) |
| 2022-06-16 12:38:17 +0200 | merijn | (~merijn@c-001-001-018.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 2022-06-16 12:40:34 +0200 | <tomsmeding> | (a "bindist" is a "binary distribution", i.e. a GHC that is already compiled and can be downloaded and run just like that) |
| 2022-06-16 12:43:24 +0200 | Midjak | (~Midjak@82.66.147.146) |
| 2022-06-16 12:44:16 +0200 | glguy | (x@libera/staff/glguy) (Read error: Connection reset by peer) |
| 2022-06-16 12:44:44 +0200 | glguy | (x@libera/staff/glguy) |
| 2022-06-16 12:48:50 +0200 | gmg | (~user@user/gehmehgeh) |
| 2022-06-16 12:48:59 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2022-06-16 12:50:11 +0200 | <heinz9> | maerwald[m], google can not find them |
| 2022-06-16 12:52:19 +0200 | <tomsmeding> | heinz9: use ghcup https://www.haskell.org/ghcup/ |
| 2022-06-16 12:54:15 +0200 | <tomsmeding> | heinz9: alternatively, if you like to do stuff manually, they are here https://downloads.haskell.org/~ghc/ |
| 2022-06-16 12:54:48 +0200 | <tomsmeding> | (the newest stable is 9.2.3) |
| 2022-06-16 12:55:42 +0200 | HotblackDesiato | (~HotblackD@gateway/tor-sasl/hotblackdesiato) (Remote host closed the connection) |
| 2022-06-16 12:56:02 +0200 | HotblackDesiato | (~HotblackD@gateway/tor-sasl/hotblackdesiato) |
| 2022-06-16 12:57:07 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-06-16 12:57:52 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Client Quit) |
| 2022-06-16 13:00:34 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-16 13:01:20 +0200 | MajorBiscuit | (~MajorBisc@c-001-020-042.client.tudelft.eduvpn.nl) (Ping timeout: 272 seconds) |
| 2022-06-16 13:03:34 +0200 | MajorBiscuit | (~MajorBisc@2a02-a461-129d-1-193d-75d8-745d-e91e.fixed6.kpn.net) |
| 2022-06-16 13:04:10 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-16 13:04:38 +0200 | geraldus | (~geraldus@139.45.240.5) |
| 2022-06-16 13:05:56 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-06-16 13:06:00 +0200 | <geraldus> | Hello everybody! Looking for a way to write TH function which will return module name at use site. Can someone give some clues? |
| 2022-06-16 13:08:40 +0200 | chele_ | (~chele@user/chele) |
| 2022-06-16 13:08:51 +0200 | chele | (~chele@user/chele) (Ping timeout: 258 seconds) |
| 2022-06-16 13:09:01 +0200 | chele_ | chele |
| 2022-06-16 13:10:26 +0200 | merijn | (~merijn@c-001-001-018.client.esciencecenter.eduvpn.nl) |
| 2022-06-16 13:13:17 +0200 | geraldus | (~geraldus@139.45.240.5) (Quit: Ping timeout (120 seconds)) |
| 2022-06-16 13:14:59 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::4588) (Ping timeout: 258 seconds) |
| 2022-06-16 13:16:02 +0200 | kenran | (~kenran@200116b82bfe76009675698051763dd9.dip.versatel-1u1.de) |
| 2022-06-16 13:20:17 +0200 | lyle | (~lyle@104.246.145.85) |
| 2022-06-16 13:21:01 +0200 | kenran | (~kenran@200116b82bfe76009675698051763dd9.dip.versatel-1u1.de) (Quit: WeeChat info:version) |
| 2022-06-16 13:24:43 +0200 | xstill_7 | xstill_ |
| 2022-06-16 13:25:39 +0200 | leeb | (~leeb@KD106155004098.au-net.ne.jp) |
| 2022-06-16 13:26:35 +0200 | jgeerds | (~jgeerds@55d45f48.access.ecotel.net) |
| 2022-06-16 13:30:08 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-06-16 13:33:48 +0200 | geraldus | (~geraldus@139.45.240.5) |
| 2022-06-16 13:33:58 +0200 | geraldus | (~geraldus@139.45.240.5) (Client Quit) |
| 2022-06-16 13:35:00 +0200 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) |
| 2022-06-16 13:39:14 +0200 | <tomsmeding> | (Language.Haskell.TH.thisModule, but they're gone) |
| 2022-06-16 13:40:06 +0200 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
| 2022-06-16 14:03:48 +0200 | MajorBiscuit | (~MajorBisc@2a02-a461-129d-1-193d-75d8-745d-e91e.fixed6.kpn.net) (Ping timeout: 248 seconds) |
| 2022-06-16 14:05:49 +0200 | MajorBiscuit | (~MajorBisc@c-001-030-042.client.tudelft.eduvpn.nl) |
| 2022-06-16 14:05:53 +0200 | chele_ | (~chele@user/chele) |
| 2022-06-16 14:07:15 +0200 | chele | (~chele@user/chele) (Ping timeout: 256 seconds) |
| 2022-06-16 14:07:18 +0200 | benin | (~benin@183.82.28.222) (Quit: The Lounge - https://thelounge.chat) |
| 2022-06-16 14:11:04 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2022-06-16 14:11:05 +0200 | yauhsien | (~yauhsien@61-231-59-135.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-06-16 14:12:26 +0200 | Haskelytic | (~Haskelyti@118.179.211.17) |
| 2022-06-16 14:13:03 +0200 | gaff | (~gaff@49.207.216.96) |
| 2022-06-16 14:13:10 +0200 | gaff | (~gaff@49.207.216.96) (Client Quit) |
| 2022-06-16 14:14:59 +0200 | xff0x | (~xff0x@2405:6580:b080:900:f5db:151e:7d9e:c4bc) |
| 2022-06-16 14:16:01 +0200 | yauhsien | (~yauhsien@61-231-59-135.dynamic-ip.hinet.net) |
| 2022-06-16 14:16:30 +0200 | sshine_ | sshine |
| 2022-06-16 14:23:02 +0200 | pleo | (~pleo@user/pleo) |
| 2022-06-16 14:23:02 +0200 | EsoAlgo | (~EsoAlgo@129.146.136.145) (Quit: Ping timeout (120 seconds)) |
| 2022-06-16 14:23:28 +0200 | EsoAlgo | (~EsoAlgo@129.146.136.145) |
| 2022-06-16 14:24:05 +0200 | lemonsnicks | (~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-06-16 14:24:10 +0200 | jespada | (~jespada@cpc121022-nmal24-2-0-cust171.19-2.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2022-06-16 14:24:18 +0200 | dschrempf | (~dominik@mobiledyn-62-240-134-11.mrsn.at) |
| 2022-06-16 14:24:23 +0200 | lemonsnicks | (~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) |
| 2022-06-16 14:25:04 +0200 | siers69 | (~ij@user/ij) (Ping timeout: 244 seconds) |
| 2022-06-16 14:25:05 +0200 | siers | (~ij@user/ij) |
| 2022-06-16 14:25:50 +0200 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) (Quit: Leaving) |
| 2022-06-16 14:27:35 +0200 | jespada | (~jespada@cpc121022-nmal24-2-0-cust171.19-2.cable.virginm.net) |
| 2022-06-16 14:28:36 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-06-16 14:32:56 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 248 seconds) |
| 2022-06-16 14:39:05 +0200 | mixfix41 | (~sdenynine@user/mixfix41) (Ping timeout: 252 seconds) |
| 2022-06-16 14:45:04 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2022-06-16 14:47:34 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-06-16 14:50:07 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2022-06-16 14:52:09 +0200 | <byorgey> | @tell geraldus Language.Haskell.TH.thisModule |
| 2022-06-16 14:52:10 +0200 | <lambdabot> | Consider it noted. |
| 2022-06-16 14:53:14 +0200 | kenran | (~kenran@200116b82bfe76009675698051763dd9.dip.versatel-1u1.de) |
| 2022-06-16 15:01:24 +0200 | mattil | (~mattil@helsinki.portalify.com) (Remote host closed the connection) |
| 2022-06-16 15:14:47 +0200 | <cdsmith> | Anyone know a clean way to make a build fail if a type class instance doesn't exist? I have defined a type class called ValidSchema that performs some checks on fairly complex type synonym that defines a data schema. I'd like the build to fail in the module where I define the schema if it's not an instance of ValidSchema. |
| 2022-06-16 15:16:31 +0200 | <merijn> | cdsmith: Put a ValidSchema constraint on it? :p |
| 2022-06-16 15:17:09 +0200 | <cdsmith> | merijn: On what? I can't put a context on a type synonym... |
| 2022-06-16 15:17:20 +0200 | <merijn> | Or do like: "validSchema :: ValidSchema a => a -> a; validSchema = id" |
| 2022-06-16 15:17:22 +0200 | <tomsmeding> | cdsmith: no, apart from defining an unused top level definition that has the constraint on it |
| 2022-06-16 15:17:26 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-06-16 15:17:28 +0200 | <merijn> | and call validSchema on your thing |
| 2022-06-16 15:17:45 +0200 | <tomsmeding> | oh right, unused top-level def doesn't even work, ignore please |
| 2022-06-16 15:18:09 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-06-16 15:18:11 +0200 | <cdsmith> | merijn: Here's an example of the module that I would like to fail to build if a ValidSchema instance doesn't exist: https://github.com/cdsmith/ourmud/blob/main/app/Model.hs |
| 2022-06-16 15:18:15 +0200 | fweht | (uid404746@id-404746.lymington.irccloud.com) |
| 2022-06-16 15:18:27 +0200 | acidjnk | (~acidjnk@p200300d0c7068b45256a07aefaa7dce4.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-06-16 15:19:00 +0200 | <merijn> | Thanks, I hate it :) |
| 2022-06-16 15:19:42 +0200 | <tomsmeding> | unused :: () ; unused = validSchema (Proxy @MUDSchema) where validSchema :: ValidSchema a -> Proxy a -> () ; validSchema _ _ = () |
| 2022-06-16 15:19:53 +0200 | <geekosaur> | cdsmith, I think the open world assumption makes what you want impossible? |
| 2022-06-16 15:19:56 +0200 | <tomsmeding> | not sure if it satisfies the requirement for "clean" :D |
| 2022-06-16 15:20:09 +0200 | <merijn> | geekosaur: It does not |
| 2022-06-16 15:20:14 +0200 | <tomsmeding> | oh the first -> should be a => |
| 2022-06-16 15:21:08 +0200 | <cdsmith> | I guess I could define a dummy type class like `class ValidSchema schema => SchemaValidator schema`, and then write `instance SchemaValidator MySchema` to do the validation. That's probably the way |
| 2022-06-16 15:23:13 +0200 | <tomsmeding> | cdsmith: data Dict c a where { Dict :: c a => Dict c a } ; witness :: Dict ValidSchema MUDSchema ; witness = Dict |
| 2022-06-16 15:23:31 +0200 | Kaiepi | (~Kaiepi@156.34.47.253) |
| 2022-06-16 15:23:53 +0200 | <tomsmeding> | ConstraintKinds, GADTs; the extensions aren't necessary if you're willing to specialise the Dict type to this particular case |
| 2022-06-16 15:24:34 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-16 15:26:42 +0200 | <tomsmeding> | (another name for Dict is Has) |
| 2022-06-16 15:33:03 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-16 15:34:58 +0200 | briandaed | (~briandaed@109.95.143.14.r.toneticgroup.pl) (Ping timeout: 246 seconds) |
| 2022-06-16 15:36:32 +0200 | ccntrq1 | (~Thunderbi@172.209.94.92.rev.sfr.net) |
| 2022-06-16 15:37:58 +0200 | ccntrq | (~Thunderbi@87.139.187.64) (Ping timeout: 256 seconds) |
| 2022-06-16 15:37:58 +0200 | ccntrq1 | ccntrq |
| 2022-06-16 15:40:46 +0200 | <exarkun> | I'm having trouble converting from `nullIsError :: a -> IO (Ptr a) -> ExceptT b IO a` from `nullIsError' :: a -> Ptr a -> ExceptT b IO a`. I can use the former like `nullIsError SomeErr someIO :: ExceptT b IO a` and I would expect to be able to use the latter like `someIO >>= nullIsError'` |
| 2022-06-16 15:41:17 +0200 | <exarkun> | Somehow the latter ends up as `IO a` instead of `ExceptT b IO a`? I don't see how though. |
| 2022-06-16 15:43:07 +0200 | <merijn> | exarkun: eh, nullIsError takes 2 arguments and your example passes it to >>= which expects a one argument function? |
| 2022-06-16 15:43:42 +0200 | <exarkun> | oops, quite :/ What if I fix that dumb mistake like this: `someIO >>= nullIsError' SomeErr` |
| 2022-06-16 15:43:52 +0200 | <merijn> | exarkun: actually, the more I look at your example it's obvious why? |
| 2022-06-16 15:44:11 +0200 | <merijn> | exarkun: if someIO is a valid second argument to nullIsError, then "someIO :: IO (Ptr a)" |
| 2022-06-16 15:44:28 +0200 | <merijn> | exarkun: So "someIO >>= " is obviously gonna expect some IO |
| 2022-06-16 15:44:33 +0200 | <merijn> | :t (>>=) |
| 2022-06-16 15:44:35 +0200 | <lambdabot> | Monad m => m a -> (a -> m b) -> m b |
| 2022-06-16 15:44:45 +0200 | <merijn> | Note the same 'm' on both sides |
| 2022-06-16 15:45:02 +0200 | <exarkun> | Arg. Right. This is a persistent hole in my understand... |
| 2022-06-16 15:45:15 +0200 | <exarkun> | Or, wait is it |
| 2022-06-16 15:45:21 +0200 | <exarkun> | am I just missing liftIO |
| 2022-06-16 15:45:25 +0200 | <merijn> | exarkun: You probably want "liftIO someIO >>=" :) |
| 2022-06-16 15:45:26 +0200 | <merijn> | Yeah |
| 2022-06-16 15:45:41 +0200 | <exarkun> | right ok, thank you |
| 2022-06-16 15:45:48 +0200 | <merijn> | Although, nullIsError feels like a "withX" wrapper |
| 2022-06-16 15:46:07 +0200 | <merijn> | Actually, then it still won't work |
| 2022-06-16 15:46:27 +0200 | <merijn> | Because you'll be passing "Ptr a" to nullIsError, which expects "IO (Ptr a)" |
| 2022-06-16 15:47:16 +0200 | <exarkun> | nullIsError doesn't really need to be in IO, hence my attempt at nullIsError' |
| 2022-06-16 15:47:34 +0200 | Haskelytic | (~Haskelyti@118.179.211.17) (Ping timeout: 252 seconds) |
| 2022-06-16 15:48:08 +0200 | <exarkun> | (big picture is I am doing a lot of FFI and any null result along the way aborts the computation, I just want to annotate the result with which step failed) |
| 2022-06-16 15:48:26 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-06-16 15:52:39 +0200 | catern | (~sbaugh@2604:2000:8fc0:b:a9c7:866a:bf36:3407) |
| 2022-06-16 15:52:50 +0200 | <dragestil> | oh man, it seems to me the haddock markup type (DocH see also markup) does not distinguish between block and inline elements. so one can append an inline element to a block element? |
| 2022-06-16 15:54:02 +0200 | dyeplexer | (~dyeplexer@user/dyeplexer) |
| 2022-06-16 15:54:50 +0200 | <catern> | i'm not familiar with Haskell development, if I want a nice development shell for https://github.com/sweirich/pi-forall/tree/2022/version1 using just Nix to manage dependencies (i.e. using packages from Nix rather than using Stack), is there a known best way to do that? |
| 2022-06-16 15:54:51 +0200 | <dragestil> | but the htmls are all generated correctly, interesting |
| 2022-06-16 15:56:51 +0200 | <merijn> | The best way to do that is "get someone else to fix all the Nix stuff for you" :p |
| 2022-06-16 15:57:35 +0200 | <dragestil> | i'm guessing the comment documentation syntax + the parsing somehow guarantee no bad mix of inline and block |
| 2022-06-16 15:57:56 +0200 | emad | (~emad@156.214.76.207) |
| 2022-06-16 15:59:32 +0200 | <exarkun> | catern: What is the goal of getting them from nixpkgs instead of stackage? |
| 2022-06-16 15:59:58 +0200 | thewaves | (~thewaves@2001:470:69fc:105::2:2eef) |
| 2022-06-16 16:00:01 +0200 | <catern> | exarkun: just makes my life easier to not have to deal with other package managers |
| 2022-06-16 16:00:28 +0200 | <exarkun> | catern: If upstream doesn't manage their dependencies that way then as far as I know it's very annoying for you to get them that way. |
| 2022-06-16 16:00:50 +0200 | <exarkun> | catern: Another way to not deal with another package manager (ie, stack) is to let haskell.nix deal with it for you. |
| 2022-06-16 16:01:07 +0200 | <exarkun> | catern: haskell.nix will read stack or cabal files so you don't have to |
| 2022-06-16 16:01:32 +0200 | <exarkun> | Of course if upstream isn't using haskell.nix then you have to maintain that part yourself. |
| 2022-06-16 16:03:12 +0200 | <exarkun> | Here's my Haskell project that uses it, for a sense of what's involved, https://github.com/PrivateStorageio/PaymentServer/tree/main/nix |
| 2022-06-16 16:03:19 +0200 | <catern> | I see |
| 2022-06-16 16:03:21 +0200 | <exarkun> | (pre-flakes, so ...) |
| 2022-06-16 16:03:32 +0200 | <catern> | what about cabal2nix? I can't see much comparison of the two |
| 2022-06-16 16:03:56 +0200 | <exarkun> | I haven't used that one much so I'm not sure if I can help with a comparison. |
| 2022-06-16 16:04:33 +0200 | <exarkun> | I _think_ that with either cabal2nix or haskell.nix, you're still not taking Haskell packages from nixpkgs, but it sounds like that isn't your primary concern anyway. |
| 2022-06-16 16:08:36 +0200 | <catern> | I think that's true for haskell.nix but not for cabal2nix, it uses Haskell packages from nixpkgs |
| 2022-06-16 16:11:52 +0200 | <geekosaur> | hm? cabal2nix converts a cabal file into a nix derivation |
| 2022-06-16 16:12:29 +0200 | <geekosaur> | using other dependencies fron mix (sometimes annoyingly: last I heard it removed the version ranges, leaving that solely to nix) |
| 2022-06-16 16:12:41 +0200 | <geekosaur> | s/mix/nix/ |
| 2022-06-16 16:12:58 +0200 | <catern> | https://haskell4nix.readthedocs.io/index.html aha here this is perfect I think |
| 2022-06-16 16:14:27 +0200 | <exarkun> | So now I have my careful null pointer checks factored somewhat more nicely ... I don't suppose there's a pointer type for representing only non-null pointers? |
| 2022-06-16 16:14:41 +0200 | <geekosaur> | nope |
| 2022-06-16 16:15:01 +0200 | <geekosaur> | the sole reason Haskell has a Ptr type is the FFI, which in general makes no such guarantee |
| 2022-06-16 16:16:22 +0200 | <geekosaur> | of course if you check your raw Ptrs carefully enough you can then designate a Ptr ThisWillNeverBeNull or some such; that's completely up to you |
| 2022-06-16 16:16:44 +0200 | <catern> | any thoughts about why I'd be getting "Preprocessing test suite 'test-pi-forall' for pi-forall-0.2..\n Setup: can't find source for Main in dist/build/test-pi-forall/test-pi-forall-tmp, test"? is this a bug in the .cabal file, because there's no test/Main.hs that I see https://github.com/sweirich/pi-forall/blob/2022/version1/pi-forall.cabal#L84 |
| 2022-06-16 16:18:09 +0200 | gurkenglas | (~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) (Ping timeout: 256 seconds) |
| 2022-06-16 16:18:35 +0200 | causal | (~user@2001:470:ea0f:3:329c:23ff:fe3f:1e0e) (Quit: WeeChat 3.5) |
| 2022-06-16 16:21:54 +0200 | coot | (~coot@213.134.190.95) |
| 2022-06-16 16:24:36 +0200 | frost | (~frost@user/frost) (Ping timeout: 252 seconds) |
| 2022-06-16 16:24:51 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-06-16 16:26:22 +0200 | shriekingnoise | (~shrieking@201.212.175.181) |
| 2022-06-16 16:27:13 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2022-06-16 16:27:22 +0200 | jgeerds | (~jgeerds@55d45f48.access.ecotel.net) (Ping timeout: 260 seconds) |
| 2022-06-16 16:29:12 +0200 | <tomsmeding> | catern: yeah that looks broken, seems that version doesn't have a test/ |
| 2022-06-16 16:29:27 +0200 | <tomsmeding> | version3 does have a test/ |
| 2022-06-16 16:29:44 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 248 seconds) |
| 2022-06-16 16:29:56 +0200 | <catern> | tomsmeding: thanks for confirming, I just sent a PR about it https://github.com/sweirich/pi-forall/pull/17 |
| 2022-06-16 16:31:21 +0200 | <tomsmeding> | catern: "the build is broken" is relative; the haskell build tools generally don't build test suites that you don't explicitly specify (because they may have additional dependencies) |
| 2022-06-16 16:31:32 +0200 | <tomsmeding> | but it's still a (minor) issue |
| 2022-06-16 16:31:37 +0200 | <catern> | ah, well, okay, shrug |
| 2022-06-16 16:31:51 +0200 | <tomsmeding> | same holds for version2 apparently |
| 2022-06-16 16:32:06 +0200 | <cdsmith> | Grr... that works, but triggers warnings for orphan instances... |
| 2022-06-16 16:32:17 +0200 | dschrempf | (~dominik@mobiledyn-62-240-134-11.mrsn.at) (Quit: WeeChat 3.5) |
| 2022-06-16 16:32:43 +0200 | <tomsmeding> | cdsmith: I've always found it unfortunate that there isn't a pragma for saying "yes this specific instance is an orphan, don't complain" |
| 2022-06-16 16:32:50 +0200 | <catern> | i noticed it only because cabal2nix builds the test suite by default |
| 2022-06-16 16:33:01 +0200 | <tomsmeding> | cdsmith: because clearly in this case the instance is fine, because you're not even exporting the class |
| 2022-06-16 16:35:07 +0200 | emad | (~emad@156.214.76.207) (Quit: Leaving) |
| 2022-06-16 16:37:30 +0200 | <merijn> | tomsmeding: I proposed one |
| 2022-06-16 16:37:56 +0200 | <merijn> | tomsmeding: It was shot down as too limited and "we should just have a generic pragma that lets you selectively disable warnings for pieces of code" |
| 2022-06-16 16:38:17 +0200 | <merijn> | Of course, the generic solution is too vague to have a concrete plan and is thus still waiting to be implemented |
| 2022-06-16 16:38:18 +0200 | <tomsmeding> | merijn: as in, -Wno-orphans? |
| 2022-06-16 16:38:32 +0200 | <tomsmeding> | oh, as in disabling warnings for a particular chunk of code in a file |
| 2022-06-16 16:38:40 +0200 | <cdsmith> | Okay, I settled on writing `data SchemaValidator schema where ValidateSchema :: ValidSchema schema => SchemaValidator schema`, and then when the schema is defined, `_ = ValidateSchema @MySchema` |
| 2022-06-16 16:38:42 +0200 | <tomsmeding> | yeah that's a design mess |
| 2022-06-16 16:38:42 +0200 | <merijn> | tomsmeding: No, I argued for an "{-# ADOPT #-}" macro, because I'm a funny guy :D |
| 2022-06-16 16:38:47 +0200 | <tomsmeding> | lol |
| 2022-06-16 16:38:52 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-06-16 16:38:59 +0200 | <merijn> | I was so proud of thinking of that too... |
| 2022-06-16 16:39:03 +0200 | <tomsmeding> | merijn: name is funny but not really appropriate for the cases where you write an orphan instance though |
| 2022-06-16 16:39:07 +0200 | <merijn> | Damn you, GHCHQ! Damn you! |
| 2022-06-16 16:39:08 +0200 | Haskelytic | (~Haskelyti@118.179.211.17) |
| 2022-06-16 16:39:30 +0200 | <tomsmeding> | cdsmith: that's another option :p |
| 2022-06-16 16:40:31 +0200 | <catern> | would it be sane to have the pragma also *require* that the annotated thing is an orphan, rather than just disable warnings? |
| 2022-06-16 16:40:42 +0200 | heinz9 | (~trace@user/trace) (Remote host closed the connection) |
| 2022-06-16 16:41:22 +0200 | <tomsmeding> | catern: something ceases to be an orphan if 1. the class definition is moved into the same file, or 2. the data type that the instance is of, is moved into the same file |
| 2022-06-16 16:41:38 +0200 | <catern> | yes |
| 2022-06-16 16:42:06 +0200 | <catern> | i'm saying this as a response to the response that merijn got, that a generic warning-disabler is better than something specific to orphans |
| 2022-06-16 16:42:08 +0200 | <tomsmeding> | neither is a thing that usually happens in practice, and in neither case do the things that you'd usually use {-# ADOPT #-} for fail in those cases |
| 2022-06-16 16:44:49 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-06-16 16:46:12 +0200 | machinedgod | (~machinedg@66.244.246.252) |
| 2022-06-16 16:47:30 +0200 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) |
| 2022-06-16 16:49:08 +0200 | Inoperable | (~PLAYER_1@fancydata.science) (Excess Flood) |
| 2022-06-16 16:49:57 +0200 | Inoperable | (~PLAYER_1@fancydata.science) |
| 2022-06-16 16:55:14 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-06-16 16:56:01 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:1834:2996:45d4:5368) |
| 2022-06-16 16:57:07 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-06-16 16:57:07 +0200 | Vajb | (~Vajb@2001:999:40:4c50:1b24:879c:6df3:1d06) (Read error: Connection reset by peer) |
| 2022-06-16 16:57:31 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-06-16 16:57:57 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-06-16 16:59:06 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-06-16 17:00:14 +0200 | alexhandy2 | (~trace@user/trace) |
| 2022-06-16 17:01:53 +0200 | <alexhandy2> | how certainly is haskell going to become much better for aarch64 and arm? |
| 2022-06-16 17:02:49 +0200 | <geekosaur> | better than what? |
| 2022-06-16 17:03:04 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 240 seconds) |
| 2022-06-16 17:03:13 +0200 | <alexhandy2> | that it is not only the interpreter but the compiler that translates to arm |
| 2022-06-16 17:03:23 +0200 | <geekosaur> | 8.10.7 requires the llvm backend, but as of 9.2.3 aarch64 native support is up to the same level as native x86 |
| 2022-06-16 17:03:49 +0200 | dextaa | (~DV@user/dextaa) (Read error: Connection reset by peer) |
| 2022-06-16 17:03:55 +0200 | Cupcakus | (~Cupcakus@c-73-205-77-141.hsd1.fl.comcast.net) |
| 2022-06-16 17:03:57 +0200 | <alexhandy2> | compiled or interpreted? |
| 2022-06-16 17:04:01 +0200 | <geekosaur> | both |
| 2022-06-16 17:04:04 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 240 seconds) |
| 2022-06-16 17:04:22 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-06-16 17:04:22 +0200 | <alexhandy2> | great, so the doc is out of date |
| 2022-06-16 17:04:34 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 240 seconds) |
| 2022-06-16 17:04:34 +0200 | califax | (~califax@user/califx) (Ping timeout: 240 seconds) |
| 2022-06-16 17:04:45 +0200 | califax_ | (~califax@user/califx) |
| 2022-06-16 17:04:54 +0200 | <alexhandy2> | because it displays only the interpreter is going to work on aarch64 |
| 2022-06-16 17:05:12 +0200 | <geekosaur> | o.O iirc it was the opposite, compiling worked but the interpreter had problems |
| 2022-06-16 17:05:23 +0200 | <geekosaur> | because the interpreter's linker didn't work right on arm |
| 2022-06-16 17:05:30 +0200 | <geekosaur> | that's been fixed |
| 2022-06-16 17:05:46 +0200 | <alexhandy2> | I tried to compile ghc |
| 2022-06-16 17:05:49 +0200 | dextaa | (~DV@user/dextaa) |
| 2022-06-16 17:05:54 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-06-16 17:06:08 +0200 | <alexhandy2> | but there are only .configure files in subdirectories |
| 2022-06-16 17:06:20 +0200 | califax_ | califax |
| 2022-06-16 17:06:25 +0200 | <alexhandy2> | and I could not finish one of them |
| 2022-06-16 17:06:32 +0200 | <geekosaur> | building ghc from scratch is quite difficult |
| 2022-06-16 17:06:35 +0200 | <alexhandy2> | .boot worked so fat |
| 2022-06-16 17:06:38 +0200 | <alexhandy2> | far |
| 2022-06-16 17:06:43 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-06-16 17:06:45 +0200 | <alexhandy2> | okay 👌 |
| 2022-06-16 17:07:18 +0200 | <geekosaur> | you need a bootstrap ghc, and you need to run boot to generate most of the actual configure files, plus you need to do git submodule update --init --recursive |
| 2022-06-16 17:07:38 +0200 | <geekosaur> | usually it's better to find an existing binary distribution than to try to build it yourself, even on intel |
| 2022-06-16 17:08:03 +0200 | <alexhandy2> | so, probably will support haskell some day later for aarch64? |
| 2022-06-16 17:08:31 +0200 | <alexhandy2> | so, probably distributions will support haskell some day later for aarch64? |
| 2022-06-16 17:08:46 +0200 | <geekosaur> | https://downloads.haskell.org/~ghc/9.2.3/ |
| 2022-06-16 17:09:00 +0200 | <geekosaur> | I see aarch 64 for both darwin/m1 and debian |
| 2022-06-16 17:09:11 +0200 | <alexhandy2> | as manjaro and gentoo have no aarch64 or arm packages |
| 2022-06-16 17:09:29 +0200 | <alexhandy2> | for haskell |
| 2022-06-16 17:09:34 +0200 | <geekosaur> | linux distributions will probably take longer, mostly because their haskell maintainers all seem to be ditching traditional distributions for nix |
| 2022-06-16 17:09:41 +0200 | dextaa | (~DV@user/dextaa) (Read error: Connection reset by peer) |
| 2022-06-16 17:10:10 +0200 | <geekosaur> | (we've been waiting almost a year for distributions to pick up the latest xmonad…) |
| 2022-06-16 17:10:30 +0200 | <catern> | geekosaur: really?? i hadn't heard that heh, that's good news for me, a nix zealot... |
| 2022-06-16 17:10:55 +0200 | <geekosaur> | that's the report from both arch and debian, at least |
| 2022-06-16 17:10:59 +0200 | <telser> | FWIW there is an aarch64 package of ghc for FreeBSD, so at least _some_ OSes are up on this. |
| 2022-06-16 17:11:06 +0200 | <geekosaur> | there seem to still be maintainers on fedora |
| 2022-06-16 17:11:07 +0200 | <exarkun> | I was just playing with `nix bundle` which can now produce a Docker image, an RPM, or a deb for a more-or-less arbitrary nix derivation... |
| 2022-06-16 17:11:18 +0200 | <exarkun> | So there is some consolation for users of other distros ;) |
| 2022-06-16 17:11:51 +0200 | dextaa | (~DV@user/dextaa) |
| 2022-06-16 17:12:39 +0200 | ArthurS | (~arthur@163.5.10.3) |
| 2022-06-16 17:12:49 +0200 | <alexhandy2> | so chosing haskell as lang for arm / aarch64 is a good move? |
| 2022-06-16 17:13:11 +0200 | <geekosaur> | should be, you'll just have to use ghcup or a bindist from the link I posted |
| 2022-06-16 17:13:21 +0200 | <geekosaur> | we recommend ghcup anyway |
| 2022-06-16 17:14:35 +0200 | <geekosaur> | the ghc ecosystem moves pretty fast (you'll note a 9.4.1 prerelease is also present at the link), so waiting for distros to catch up is usually a bad move anyway |
| 2022-06-16 17:14:55 +0200 | <geekosaur> | even rolling release distros usually need some time to sort out new releases |
| 2022-06-16 17:15:12 +0200 | <maerwald[m]> | I think the latest GHCs are missing armv7 bindists though |
| 2022-06-16 17:15:31 +0200 | <maerwald[m]> | https://downloads.haskell.org/~ghc/9.2.3/ |
| 2022-06-16 17:15:39 +0200 | <maerwald[m]> | Seems so |
| 2022-06-16 17:15:49 +0200 | <telser> | I think that depends on your use case. I know some industry users are on 8.6.5 currently and no rush to update. |
| 2022-06-16 17:15:56 +0200 | Haskelytic | (~Haskelyti@118.179.211.17) (Ping timeout: 252 seconds) |
| 2022-06-16 17:16:05 +0200 | <geekosaur> | sure, and much of the ecosystem is still sticking to 8.10.7 |
| 2022-06-16 17:16:35 +0200 | zebrag | (~chris@user/zebrag) |
| 2022-06-16 17:16:35 +0200 | <geekosaur> | there's some discussion going on about having ghc lts releases for folks who don't like rollercoasters |
| 2022-06-16 17:17:51 +0200 | <alexhandy2> | is anything known about haskell for riscv? |
| 2022-06-16 17:18:02 +0200 | <geekosaur> | main problem being we'd need lts maintainers because the ghc dev crew's overworked enough already |
| 2022-06-16 17:18:04 +0200 | alexhandy2 | (~trace@user/trace) (Read error: Connection reset by peer) |
| 2022-06-16 17:18:23 +0200 | alexhandy | (~trace@user/trace) |
| 2022-06-16 17:19:37 +0200 | <telser> | I suspect llvm backend probably is at least minimally usable. Seem to recall seeing an issue on ghc tracker around that. |
| 2022-06-16 17:20:07 +0200 | chele_ | (~chele@user/chele) (Remote host closed the connection) |
| 2022-06-16 17:20:22 +0200 | <geekosaur> | I just checked the issue tracker and someone is definitelyt working on risc-v support |
| 2022-06-16 17:20:41 +0200 | <geekosaur> | https://gitlab.haskell.org/groups/ghc/-/issues/?search=risc-v&sort=created_date&state=opened |
| 2022-06-16 17:20:45 +0200 | coot | (~coot@213.134.190.95) |
| 2022-06-16 17:22:23 +0200 | ArthurS | arthur |
| 2022-06-16 17:23:04 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-16 17:23:55 +0200 | <alexhandy> | geekosaur, sounds great |
| 2022-06-16 17:25:57 +0200 | <catern> | hmm, annoying, if I run haskell-language-server and internally when it runs hie-bios that fails to run cabal, it doesn't print any error messages, it just assumes empty flags will suffice to compile the project |
| 2022-06-16 17:26:06 +0200 | <catern> | that's not very safe lol |
| 2022-06-16 17:27:15 +0200 | <alexhandy> | there is literature about learning haskell, but is there literature about typical functional code? |
| 2022-06-16 17:27:46 +0200 | <alexhandy> | in imperative code you are used to typical code programming ways |
| 2022-06-16 17:27:59 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2022-06-16 17:29:06 +0200 | arthur | (~arthur@163.5.10.3) (Quit: arthur) |
| 2022-06-16 17:29:12 +0200 | arthur | (~arthur@163.5.10.3) |
| 2022-06-16 17:30:16 +0200 | <alexhandy> | I just do not want to learn long time to get used to functional paradigm |
| 2022-06-16 17:30:38 +0200 | <alexhandy> | so I think it should be best to read existing code |
| 2022-06-16 17:30:57 +0200 | <alexhandy> | right? yes! |
| 2022-06-16 17:31:03 +0200 | <telser> | Style varies quite a bit both with Haskell and other languages |
| 2022-06-16 17:31:23 +0200 | <alexhandy> | I just normally write imperative |
| 2022-06-16 17:31:31 +0200 | <alexhandy> | for decades |
| 2022-06-16 17:32:26 +0200 | <alexhandy> | I always found the haskell way fun, but never did much with haskell |
| 2022-06-16 17:33:23 +0200 | yrlnry | (~yrlnry@pool-108-2-150-109.phlapa.fios.verizon.net) (Remote host closed the connection) |
| 2022-06-16 17:34:30 +0200 | pleo | (~pleo@user/pleo) (Ping timeout: 258 seconds) |
| 2022-06-16 17:35:13 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:1834:2996:45d4:5368) (Remote host closed the connection) |
| 2022-06-16 17:39:34 +0200 | acidjnk | (~acidjnk@p200300d0c7068b45256a07aefaa7dce4.dip0.t-ipconnect.de) |
| 2022-06-16 17:44:10 +0200 | arthur | (~arthur@163.5.10.3) (Ping timeout: 240 seconds) |
| 2022-06-16 17:47:34 +0200 | kenran | (~kenran@200116b82bfe76009675698051763dd9.dip.versatel-1u1.de) (Quit: WeeChat info:version) |
| 2022-06-16 17:58:09 +0200 | zeenk | (~zeenk@2a02:2f04:a013:9000:e45d:7fb3:ec71:e806) (Quit: Konversation terminated!) |
| 2022-06-16 18:01:07 +0200 | vicfred | (~vicfred@user/vicfred) |
| 2022-06-16 18:01:07 +0200 | ubert | (~Thunderbi@2a02:8109:abc0:6434:6683:c4a9:3b6d:6651) (Remote host closed the connection) |
| 2022-06-16 18:02:10 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::4588) |
| 2022-06-16 18:02:30 +0200 | pleo | (~pleo@user/pleo) |
| 2022-06-16 18:09:47 +0200 | jespada | (~jespada@cpc121022-nmal24-2-0-cust171.19-2.cable.virginm.net) (Read error: Connection reset by peer) |
| 2022-06-16 18:10:19 +0200 | jespada | (~jespada@cpc121022-nmal24-2-0-cust171.19-2.cable.virginm.net) |
| 2022-06-16 18:10:32 +0200 | acidjnk | (~acidjnk@p200300d0c7068b45256a07aefaa7dce4.dip0.t-ipconnect.de) (Ping timeout: 258 seconds) |
| 2022-06-16 18:11:05 +0200 | yrlnry | (~yrlnry@pool-108-2-150-109.phlapa.fios.verizon.net) |
| 2022-06-16 18:14:26 +0200 | stackdroid18 | (14094@user/stackdroid) |
| 2022-06-16 18:14:56 +0200 | motherfsck | (~motherfsc@user/motherfsck) |
| 2022-06-16 18:16:01 +0200 | machinedgod | (~machinedg@66.244.246.252) (Ping timeout: 256 seconds) |
| 2022-06-16 18:17:37 +0200 | machinedgod | (~machinedg@66.244.246.252) |
| 2022-06-16 18:19:58 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-06-16 18:21:00 +0200 | raym | (~raym@user/raym) |
| 2022-06-16 18:25:31 +0200 | tungki | (~tungki@182.253.45.237) (Remote host closed the connection) |
| 2022-06-16 18:27:30 +0200 | alexhandy | (~trace@user/trace) (Ping timeout: 240 seconds) |
| 2022-06-16 18:34:54 +0200 | MajorBiscuit | (~MajorBisc@c-001-030-042.client.tudelft.eduvpn.nl) (Quit: WeeChat 3.5) |
| 2022-06-16 18:35:42 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-06-16 18:39:11 +0200 | k8yun | (~k8yun@user/k8yun) |
| 2022-06-16 18:40:18 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 244 seconds) |
| 2022-06-16 18:41:12 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-06-16 18:43:36 +0200 | pleo | (~pleo@user/pleo) (Ping timeout: 248 seconds) |
| 2022-06-16 18:48:57 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:1834:2996:45d4:5368) |
| 2022-06-16 18:52:45 +0200 | pleo | (~pleo@user/pleo) |
| 2022-06-16 18:54:54 +0200 | neoatnebula | (~neoatnebu@2409:4071:4d8f:ce27:ead8:44cb:83ba:d42f) |
| 2022-06-16 18:55:22 +0200 | Kaiepi | (~Kaiepi@156.34.47.253) (Ping timeout: 272 seconds) |
| 2022-06-16 18:55:26 +0200 | neoatnebula | (~neoatnebu@2409:4071:4d8f:ce27:ead8:44cb:83ba:d42f) (Client Quit) |
| 2022-06-16 18:56:05 +0200 | neoatnebula | (~neoatnebu@2409:4071:4d8f:ce27:ead8:44cb:83ba:d42f) |
| 2022-06-16 18:57:57 +0200 | leeb | (~leeb@KD106155004098.au-net.ne.jp) (Ping timeout: 256 seconds) |
| 2022-06-16 19:07:35 +0200 | merijn | (~merijn@c-001-001-018.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 2022-06-16 19:09:55 +0200 | econo | (uid147250@user/econo) |
| 2022-06-16 19:12:24 +0200 | arthur | (~arthur@78.196.67.166) |
| 2022-06-16 19:13:41 +0200 | arthur | (~arthur@78.196.67.166) (Client Quit) |
| 2022-06-16 19:13:52 +0200 | coot | (~coot@213.134.190.95) |
| 2022-06-16 19:16:48 +0200 | xcmw | (~textual@c-73-79-213-46.hsd1.pa.comcast.net) |
| 2022-06-16 19:17:49 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2022-06-16 19:20:46 +0200 | dyeplexer | (~dyeplexer@user/dyeplexer) (Remote host closed the connection) |
| 2022-06-16 19:22:29 +0200 | gmg | (~user@user/gehmehgeh) |
| 2022-06-16 19:22:37 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-06-16 19:24:47 +0200 | Kaiepi | (~Kaiepi@156.34.47.253) |
| 2022-06-16 19:27:22 +0200 | neoatnebula | (~neoatnebu@2409:4071:4d8f:ce27:ead8:44cb:83ba:d42f) (Quit: Client closed) |
| 2022-06-16 19:28:25 +0200 | jespada | (~jespada@cpc121022-nmal24-2-0-cust171.19-2.cable.virginm.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-06-16 19:31:47 +0200 | z | (~wu000168@host-187-23.ilchtbc.chicago.il.us.clients.pavlovmedia.net) |
| 2022-06-16 19:35:06 +0200 | merijn | (~merijn@c-001-001-018.client.esciencecenter.eduvpn.nl) |
| 2022-06-16 19:36:15 +0200 | yrlnry | (~yrlnry@pool-108-2-150-109.phlapa.fios.verizon.net) (Remote host closed the connection) |
| 2022-06-16 19:36:56 +0200 | z | (~wu000168@host-187-23.ilchtbc.chicago.il.us.clients.pavlovmedia.net) (Killed (NickServ (GHOST command used by Kirjava!~cake@user/kirjava))) |
| 2022-06-16 19:37:15 +0200 | z | (~wu000168@host-187-23.ilchtbc.chicago.il.us.clients.pavlovmedia.net) |
| 2022-06-16 19:38:02 +0200 | jespada | (~jespada@cpc121022-nmal24-2-0-cust171.19-2.cable.virginm.net) |
| 2022-06-16 19:38:07 +0200 | z | (~wu000168@host-187-23.ilchtbc.chicago.il.us.clients.pavlovmedia.net) (Killed (NickServ (GHOST command used by Kirjava!~cake@user/kirjava))) |
| 2022-06-16 19:39:12 +0200 | z | (~wu000168@host-187-23.ilchtbc.chicago.il.us.clients.pavlovmedia.net) |
| 2022-06-16 19:40:12 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-181.elisa-laajakaista.fi) |
| 2022-06-16 19:43:10 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-06-16 19:46:41 +0200 | terrorjack | (~terrorjac@2a01:4f8:1c1e:509a::1) (Quit: The Lounge - https://thelounge.chat) |
| 2022-06-16 19:48:19 +0200 | terrorjack | (~terrorjac@2a01:4f8:1c1e:509a::1) |
| 2022-06-16 19:49:32 +0200 | m1dnight | (~christoph@78-22-9-5.access.telenet.be) (Ping timeout: 244 seconds) |
| 2022-06-16 19:49:57 +0200 | Cupcakus | (~Cupcakus@c-73-205-77-141.hsd1.fl.comcast.net) (Ping timeout: 276 seconds) |
| 2022-06-16 19:51:14 +0200 | m1dnight | (~christoph@78-22-9-5.access.telenet.be) |
| 2022-06-16 19:53:02 +0200 | fweht | (uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-06-16 19:56:53 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-06-16 19:57:55 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-06-16 20:02:33 +0200 | tenniscp25 | (~tenniscp2@2001:fb1:fd:64d5:7839:1037:411f:b650) |
| 2022-06-16 20:03:32 +0200 | tenniscp25 | (~tenniscp2@2001:fb1:fd:64d5:7839:1037:411f:b650) (Client Quit) |
| 2022-06-16 20:04:12 +0200 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) |
| 2022-06-16 20:13:44 +0200 | cosimone | (~user@93-44-186-171.ip98.fastwebnet.it) (Read error: Connection reset by peer) |
| 2022-06-16 20:19:47 +0200 | liz | (~liz@cpc84585-newc17-2-0-cust60.16-2.cable.virginm.net) |
| 2022-06-16 20:20:06 +0200 | <unclechu> | Hey, a question about servant-client. How could I see the built Request (e.g. to log it) of a client before evaluating it using runClientM? |
| 2022-06-16 20:21:11 +0200 | jgeerds | (~jgeerds@55d45f48.access.ecotel.net) |
| 2022-06-16 20:22:35 +0200 | xcmw | (~textual@c-73-79-213-46.hsd1.pa.comcast.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-06-16 20:26:10 +0200 | cosimone | (~user@2001:b07:ae5:db26:57c7:21a5:6e1c:6b81) |
| 2022-06-16 20:26:22 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-06-16 20:30:52 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 244 seconds) |
| 2022-06-16 20:36:18 +0200 | Timely_Ratio9567 | (~Timely_Ra@2409:4050:db6:aa85:c7d7:c00d:7cf4:8f91) |
| 2022-06-16 20:40:49 +0200 | liz | (~liz@cpc84585-newc17-2-0-cust60.16-2.cable.virginm.net) (Quit: Lost terminal) |
| 2022-06-16 20:42:16 +0200 | Timely_Ratio9567 | (~Timely_Ra@2409:4050:db6:aa85:c7d7:c00d:7cf4:8f91) (Quit: Leaving) |
| 2022-06-16 20:42:55 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-06-16 20:44:19 +0200 | liz | (~liz@cpc84585-newc17-2-0-cust60.16-2.cable.virginm.net) |
| 2022-06-16 20:46:01 +0200 | cosimone | (~user@2001:b07:ae5:db26:57c7:21a5:6e1c:6b81) (Remote host closed the connection) |
| 2022-06-16 20:46:29 +0200 | <tomsmeding> | > fix (join (.) (1:) . join ((. tail) . zipWith (+))) |
| 2022-06-16 20:46:31 +0200 | <lambdabot> | [1,1,2,3,5,8,13,21,34,55,89,144,233,377,610,987,1597,2584,4181,6765,10946,17... |
| 2022-06-16 20:46:53 +0200 | cosimone | (~user@2001:b07:ae5:db26:57c7:21a5:6e1c:6b81) |
| 2022-06-16 20:50:44 +0200 | tomekgrzesiak | (~tomekgrze@109.206.198.75) |
| 2022-06-16 20:50:52 +0200 | tomekgrzesiak | (~tomekgrze@109.206.198.75) (Client Quit) |
| 2022-06-16 20:53:19 +0200 | <tomsmeding> | > fix (zipWith (+) >>= ((id =<< (.)) (1:) .) . (. tail)) |
| 2022-06-16 20:53:21 +0200 | <lambdabot> | [1,1,2,3,5,8,13,21,34,55,89,144,233,377,610,987,1597,2584,4181,6765,10946,17... |
| 2022-06-16 20:56:38 +0200 | acidjnk | (~acidjnk@p200300d0c7068b450c914120f4f505ee.dip0.t-ipconnect.de) |
| 2022-06-16 20:58:23 +0200 | pleo | (~pleo@user/pleo) (Quit: quit) |
| 2022-06-16 20:59:42 +0200 | yrlnry | (~yrlnry@pool-108-2-150-109.phlapa.fios.verizon.net) |
| 2022-06-16 21:02:56 +0200 | Cupcakus | (~Cupcakus@c-73-205-77-141.hsd1.fl.comcast.net) |
| 2022-06-16 21:03:52 +0200 | kuribas | (~user@ptr-17d51eors28p6gwk9l6.18120a2.ip6.access.telenet.be) (Ping timeout: 260 seconds) |
| 2022-06-16 21:06:25 +0200 | glguy_ | (x@libera/staff/glguy) |
| 2022-06-16 21:07:10 +0200 | glguy | (x@libera/staff/glguy) (Read error: Connection reset by peer) |
| 2022-06-16 21:07:17 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-06-16 21:08:36 +0200 | brettgilio | (~brettgili@virtlab.gq) (Ping timeout: 276 seconds) |
| 2022-06-16 21:10:35 +0200 | <[Leary]> | > fix (\l a b -> a:l b (a+b)) 0 1 |
| 2022-06-16 21:10:37 +0200 | <lambdabot> | [0,1,1,2,3,5,8,13,21,34,55,89,144,233,377,610,987,1597,2584,4181,6765,10946,... |
| 2022-06-16 21:11:14 +0200 | <[Leary]> | Much cuter, imo. |
| 2022-06-16 21:17:35 +0200 | <int-e> | > fix ((0:) . scanl (+) 1) |
| 2022-06-16 21:17:38 +0200 | <lambdabot> | [0,1,1,2,3,5,8,13,21,34,55,89,144,233,377,610,987,1597,2584,4181,6765,10946,... |
| 2022-06-16 21:19:52 +0200 | <int-e> | @tell geekosaur A PR would probably be best because I won't get to it before next week in any case; as for admin commands... they should probably be a separate section (they aren't secret but most users won't be able to use them) |
| 2022-06-16 21:19:52 +0200 | <lambdabot> | Consider it noted. |
| 2022-06-16 21:20:14 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-16 21:20:40 +0200 | machinedgod | (~machinedg@66.244.246.252) (Ping timeout: 258 seconds) |
| 2022-06-16 21:21:13 +0200 | <geekosaur> | they're already in a separate section, but I could see some reason to hide them given that I can think of ways to try to masquerade as an admin without some care |
| 2022-06-16 21:21:23 +0200 | <geekosaur> | not that I know who is an admin |
| 2022-06-16 21:22:48 +0200 | Feuermagier_ | (~Feuermagi@84.17.49.10) |
| 2022-06-16 21:22:58 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-06-16 21:23:03 +0200 | Feuermagier_ | (~Feuermagi@84.17.49.10) (Remote host closed the connection) |
| 2022-06-16 21:25:11 +0200 | stackdroid18 | (14094@user/stackdroid) (Quit: hasta la vista... tchau!) |
| 2022-06-16 21:25:27 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) (Ping timeout: 260 seconds) |
| 2022-06-16 21:27:27 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2022-06-16 21:28:59 +0200 | Feuermagier_ | (~Feuermagi@84.17.49.10) |
| 2022-06-16 21:29:06 +0200 | Feuermagier_ | (~Feuermagi@84.17.49.10) (Remote host closed the connection) |
| 2022-06-16 21:29:51 +0200 | kuribas | (~user@ptr-17d51eocoqvs7v5fptz.18120a2.ip6.access.telenet.be) |
| 2022-06-16 21:31:13 +0200 | michalz | (~michalz@185.246.204.105) |
| 2022-06-16 21:32:39 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) (Ping timeout: 276 seconds) |
| 2022-06-16 21:33:11 +0200 | Guest27 | (~Guest27@2601:281:d47f:1590::2df) |
| 2022-06-16 21:37:09 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2022-06-16 21:41:03 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-06-16 21:41:22 +0200 | terrorjack | (~terrorjac@2a01:4f8:1c1e:509a::1) (Quit: The Lounge - https://thelounge.chat) |
| 2022-06-16 21:42:15 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:1834:2996:45d4:5368) (Remote host closed the connection) |
| 2022-06-16 21:42:27 +0200 | terrorjack | (~terrorjac@2a01:4f8:1c1e:509a::1) |
| 2022-06-16 21:43:35 +0200 | Topsi | (~Topsi@dyndsl-095-033-088-230.ewe-ip-backbone.de) |
| 2022-06-16 21:45:31 +0200 | machinedgod | (~machinedg@S0106ac17c8c1d72e.cg.shawcable.net) |
| 2022-06-16 21:45:41 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2022-06-16 21:49:45 +0200 | tomboy64 | (~tomboy64@user/tomboy64) (Quit: Off to see the wizard.) |
| 2022-06-16 21:51:43 +0200 | tomboy64 | (~tomboy64@user/tomboy64) |
| 2022-06-16 21:54:21 +0200 | pleo | (~pleo@user/pleo) |
| 2022-06-16 21:55:09 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-06-16 21:57:40 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-06-16 21:58:28 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-06-16 21:58:43 +0200 | glguy_ | glguy |
| 2022-06-16 21:59:10 +0200 | jgeerds | (~jgeerds@55d45f48.access.ecotel.net) (Ping timeout: 240 seconds) |
| 2022-06-16 22:01:01 +0200 | aeka | (~aeka@user/hiruji) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-06-16 22:01:18 +0200 | aeka | (~aeka@user/hiruji) |
| 2022-06-16 22:01:33 +0200 | gdd | (~gdd@2001:470:1f13:187:c211:ee4c:6eca:b634) (Remote host closed the connection) |
| 2022-06-16 22:07:47 +0200 | Haskelytic | (~Haskelyti@118.179.211.17) |
| 2022-06-16 22:12:13 +0200 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2022-06-16 22:14:24 +0200 | lyle | (~lyle@104.246.145.85) (Quit: WeeChat 3.5) |
| 2022-06-16 22:16:31 +0200 | cjay- | cjay |
| 2022-06-16 22:21:11 +0200 | yauhsien | (~yauhsien@61-231-59-135.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-06-16 22:21:44 +0200 | yauhsien | (~yauhsien@61-231-59-135.dynamic-ip.hinet.net) |
| 2022-06-16 22:23:46 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-06-16 22:24:01 +0200 | alp | (~alp@user/alp) (Ping timeout: 244 seconds) |
| 2022-06-16 22:26:52 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-06-16 22:27:20 +0200 | zeenk | (~zeenk@2a02:2f04:a013:9000:e45d:7fb3:ec71:e806) |
| 2022-06-16 22:28:37 +0200 | jgeerds | (~jgeerds@55d45f48.access.ecotel.net) |
| 2022-06-16 22:32:04 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-16 22:32:13 +0200 | takuan | (~takuan@178.116.218.225) (Remote host closed the connection) |
| 2022-06-16 22:32:22 +0200 | pavonia | (~user@user/siracusa) |
| 2022-06-16 22:33:22 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-16 22:38:40 +0200 | littlebo1eep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-16 22:40:34 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-16 22:42:39 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:1834:2996:45d4:5368) |
| 2022-06-16 22:43:47 +0200 | Guest27 | (~Guest27@2601:281:d47f:1590::2df) (Quit: Client closed) |
| 2022-06-16 22:45:10 +0200 | jinsun__ | (~jinsun@user/jinsun) |
| 2022-06-16 22:45:25 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-06-16 22:47:48 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:1834:2996:45d4:5368) (Ping timeout: 272 seconds) |
| 2022-06-16 22:48:12 +0200 | alp | (~alp@user/alp) |
| 2022-06-16 22:48:50 +0200 | jinsun | (~jinsun@user/jinsun) (Ping timeout: 258 seconds) |
| 2022-06-16 22:52:34 +0200 | littlebo1eep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-16 22:52:35 +0200 | jinsun__ | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 2022-06-16 22:53:16 +0200 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2022-06-16 22:56:39 +0200 | jinsun | (~jinsun@user/jinsun) |
| 2022-06-16 22:59:03 +0200 | vicfred | (~vicfred@user/vicfred) (Remote host closed the connection) |
| 2022-06-16 22:59:22 +0200 | vicfred | (~vicfred@user/vicfred) |
| 2022-06-16 23:00:07 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-16 23:01:56 +0200 | arahael | (~arahael@203.220.147.161) (Ping timeout: 246 seconds) |
| 2022-06-16 23:05:08 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-06-16 23:05:10 +0200 | Cupcakus | (~Cupcakus@c-73-205-77-141.hsd1.fl.comcast.net) (Ping timeout: 240 seconds) |
| 2022-06-16 23:05:48 +0200 | motherfsck | (~motherfsc@user/motherfsck) (Quit: quit) |
| 2022-06-16 23:06:16 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-06-16 23:06:23 +0200 | michalz | (~michalz@185.246.204.105) (Remote host closed the connection) |
| 2022-06-16 23:07:55 +0200 | motherfsck | (~motherfsc@user/motherfsck) |
| 2022-06-16 23:08:52 +0200 | adanwan_ | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-06-16 23:09:34 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 240 seconds) |
| 2022-06-16 23:10:26 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) (Remote host closed the connection) |
| 2022-06-16 23:10:44 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2022-06-16 23:12:12 +0200 | machinedgod | (~machinedg@S0106ac17c8c1d72e.cg.shawcable.net) (Ping timeout: 260 seconds) |
| 2022-06-16 23:15:17 +0200 | arahael | (~arahael@203.213.84.157) |
| 2022-06-16 23:16:49 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 258 seconds) |
| 2022-06-16 23:16:54 +0200 | pretty_d1 | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-06-16 23:29:06 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-06-16 23:29:38 +0200 | arahael | (~arahael@203.213.84.157) (Ping timeout: 244 seconds) |
| 2022-06-16 23:32:14 +0200 | machinedgod | (~machinedg@66.244.246.252) |
| 2022-06-16 23:33:34 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-16 23:34:15 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:1834:2996:45d4:5368) |
| 2022-06-16 23:35:14 +0200 | Feuermagier_ | (~Feuermagi@213.149.82.60) |
| 2022-06-16 23:35:55 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2022-06-16 23:36:27 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-06-16 23:37:15 +0200 | Feuermagier_ | (~Feuermagi@213.149.82.60) (Client Quit) |
| 2022-06-16 23:38:00 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) (Ping timeout: 248 seconds) |
| 2022-06-16 23:42:53 +0200 | tomgus1 | (~tomgus1@90.218.25.145) (Ping timeout: 246 seconds) |
| 2022-06-16 23:44:16 +0200 | arahael | (~arahael@121-44-19-180.tpgi.com.au) |
| 2022-06-16 23:44:36 +0200 | tomgus1 | (~tomgus1@2a02:c7e:4229:d900:dea6:32ff:fe3d:d1a3) |
| 2022-06-16 23:46:09 +0200 | gdd | (~gdd@2001:470:1f13:187:49b9:231c:6a88:73db) |
| 2022-06-16 23:47:12 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2022-06-16 23:49:09 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 276 seconds) |
| 2022-06-16 23:55:42 +0200 | Guest27 | (~Guest27@2601:281:d47f:1590::2df) |
| 2022-06-16 23:59:30 +0200 | arthur | (~arthur@78.196.67.166) |
| 2022-06-16 23:59:54 +0200 | Feuermagier_ | (~Feuermagi@84.17.49.10) |