2022-09-01 00:00:12 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
2022-09-01 00:04:46 +0200 | jespada | (~jespada@185.195.232.175) (Ping timeout: 260 seconds) |
2022-09-01 00:04:49 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 252 seconds) |
2022-09-01 00:06:00 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 244 seconds) |
2022-09-01 00:06:57 +0200 | rockymarine | (~rocky@user/rockymarine) |
2022-09-01 00:07:18 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
2022-09-01 00:08:29 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 252 seconds) |
2022-09-01 00:08:59 +0200 | jespada | (~jespada@cpc121060-nmal24-2-0-cust249.19-2.cable.virginm.net) |
2022-09-01 00:09:12 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
2022-09-01 00:17:32 +0200 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
2022-09-01 00:21:04 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
2022-09-01 00:21:37 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
2022-09-01 00:26:39 +0200 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) |
2022-09-01 00:28:41 +0200 | acidjnk | (~acidjnk@p200300d6e7137a348c7fe01a0065d5f9.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
2022-09-01 00:29:44 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 255 seconds) |
2022-09-01 00:30:08 +0200 | cheater | (~Username@user/cheater) |
2022-09-01 00:31:52 +0200 | Guest|80 | (~Guest|80@187.61.246.232) |
2022-09-01 00:33:25 +0200 | Sgeo | (~Sgeo@user/sgeo) |
2022-09-01 00:36:15 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
2022-09-01 00:37:52 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 268 seconds) |
2022-09-01 00:41:19 +0200 | rustisafungus | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
2022-09-01 00:43:25 +0200 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Quit: WeeChat 3.5) |
2022-09-01 00:43:48 +0200 | cheater1__ | (~Username@user/cheater) |
2022-09-01 00:43:58 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 268 seconds) |
2022-09-01 00:44:01 +0200 | cheater1__ | cheater |
2022-09-01 00:44:29 +0200 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) |
2022-09-01 00:45:31 +0200 | rustisafungus | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 252 seconds) |
2022-09-01 00:49:23 +0200 | rustisafungus | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
2022-09-01 00:52:34 +0200 | <c_wraith> | so... is this new to the recent cabal-install release? https://paste.tomsmeding.com/ZCOaea8v (I've trimmed the output a lot) |
2022-09-01 00:53:35 +0200 | rustisafungus | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 252 seconds) |
2022-09-01 00:54:40 +0200 | rustisafungus | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
2022-09-01 00:59:05 +0200 | rustisafungus | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 252 seconds) |
2022-09-01 01:03:41 +0200 | lemonsnicks | (~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) (Quit: ZNC 1.8.2 - https://znc.in) |
2022-09-01 01:04:00 +0200 | lemonsnicks | (~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) |
2022-09-01 01:04:56 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 268 seconds) |
2022-09-01 01:05:18 +0200 | rockymarine | (~rocky@user/rockymarine) |
2022-09-01 01:08:45 +0200 | <int-e> | c_wraith: the number for "Linking"? That seems to be a ghc-9.4 thing |
2022-09-01 01:08:53 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-12.elisa-laajakaista.fi) (Quit: Leaving.) |
2022-09-01 01:09:21 +0200 | <c_wraith> | I'm sad it wasn't [5 of 4] |
2022-09-01 01:09:42 +0200 | <c_wraith> | but yeah, right. that's GHC output, not cabal |
2022-09-01 01:10:34 +0200 | <int-e> | I did test it with GHC 9.2.3 (no such number) and 9.4.2 |
2022-09-01 01:12:02 +0200 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Ping timeout: 255 seconds) |
2022-09-01 01:14:54 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
2022-09-01 01:16:08 +0200 | dcoutts_ | (~duncan@host86-184-242-102.range86-184.btcentralplus.com) |
2022-09-01 01:16:16 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
2022-09-01 01:16:27 +0200 | dcoutts | (~duncan@host86-184-242-102.range86-184.btcentralplus.com) (Read error: Connection reset by peer) |
2022-09-01 01:18:53 +0200 | vglfr | (~vglfr@145.224.94.248) (Ping timeout: 252 seconds) |
2022-09-01 01:19:46 +0200 | xsarnik | (xsarnik@lounge.fi.muni.cz) (Ping timeout: 268 seconds) |
2022-09-01 01:19:54 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
2022-09-01 01:19:57 +0200 | xsarnik | (xsarnik@lounge.fi.muni.cz) |
2022-09-01 01:20:54 +0200 | vglfr | (~vglfr@145.224.94.248) |
2022-09-01 01:25:03 +0200 | MoC | (~moc@user/moc) (Quit: Konversation terminated!) |
2022-09-01 01:25:22 +0200 | soumen | (~soumen@58.182.45.203) (Quit: Konversation terminated!) |
2022-09-01 01:25:49 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
2022-09-01 01:27:33 +0200 | soumen | (~soumen@58.182.45.203) |
2022-09-01 01:27:44 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
2022-09-01 01:29:54 +0200 | rustisafungus | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
2022-09-01 01:30:25 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-09-01 01:33:38 +0200 | soumen | (~soumen@58.182.45.203) (Quit: Konversation terminated!) |
2022-09-01 01:35:45 +0200 | soumen | (~soumen@58.182.45.203) |
2022-09-01 01:35:52 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
2022-09-01 01:39:25 +0200 | guest8080 | (~guest8080@S01069050ca3016a3.vs.shawcable.net) |
2022-09-01 01:41:19 +0200 | braf | (~braf@180-150-13-139.b4960d.syd.static.aussiebb.net) |
2022-09-01 01:41:46 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
2022-09-01 01:42:26 +0200 | <guest8080> | I'm wondering if there is a Haskell equivalent of Vaadin (Java). In Vaadin the Web front end is constructed via server-side Java components. There is no (unless you want to reach down) javascript/typescript work. You simply construct a GUI in a way similar to writing a native app. Has anyone seen such a framework? |
2022-09-01 01:43:12 +0200 | rustisafungus | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 268 seconds) |
2022-09-01 01:48:37 +0200 | pavonia_ | (~user@user/siracusa) |
2022-09-01 01:48:54 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::a1ec) |
2022-09-01 01:50:47 +0200 | pavonia | (~user@user/siracusa) (Ping timeout: 252 seconds) |
2022-09-01 01:51:02 +0200 | pavonia_ | pavonia |
2022-09-01 01:51:09 +0200 | fserucas | (~fserucas@89.214.116.132) (Ping timeout: 252 seconds) |
2022-09-01 01:57:01 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 252 seconds) |
2022-09-01 01:57:32 +0200 | rustisafungus | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
2022-09-01 01:59:06 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
2022-09-01 01:59:45 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
2022-09-01 02:00:47 +0200 | luffy | (~chenqisu1@183.217.201.192) |
2022-09-01 02:01:07 +0200 | <maerwald[m]> | guest8080: server side is almost dead, but I agree it's cool |
2022-09-01 02:01:44 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 244 seconds) |
2022-09-01 02:02:35 +0200 | luffy | (~chenqisu1@183.217.201.192) (Remote host closed the connection) |
2022-09-01 02:02:44 +0200 | <guest8080> | TY! I agree its cool, I would much rather develop a SPA all within the server side dev env that fool with JS/TS/ and a billion new JS libraries |
2022-09-01 02:05:44 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
2022-09-01 02:08:44 +0200 | mncheck | (~mncheck@193.224.205.254) (Ping timeout: 255 seconds) |
2022-09-01 02:10:18 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds) |
2022-09-01 02:11:41 +0200 | nilradical | (~nilradica@user/naso) |
2022-09-01 02:16:44 +0200 | <hpc> | this is why you make server-side SPAs |
2022-09-01 02:16:53 +0200 | <hpc> | all the forms on one page and a wee bit of css at the top to toggle it |
2022-09-01 02:17:11 +0200 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
2022-09-01 02:18:06 +0200 | <hpc> | also in haskell you're kind of server-side by default unless you mess around with ghcjs |
2022-09-01 02:18:16 +0200 | <rustisafungus> | i run my server-side SPA on the client |
2022-09-01 02:18:46 +0200 | <rustisafungus> | that's the client-on-server-on-client architecture |
2022-09-01 02:18:53 +0200 | <Axman6> | guest8080: you might want to look at miso |
2022-09-01 02:19:00 +0200 | <hpc> | rustisafungus: ah yes, electron apps |
2022-09-01 02:19:12 +0200 | codaraxis__ | (~codaraxis@user/codaraxis) |
2022-09-01 02:19:28 +0200 | <rustisafungus> | guest8080: try elm or purescript. you can auto generate elm types from haskell |
2022-09-01 02:21:41 +0200 | Axman6 | mumbles something about rust absolutely not being a fungus |
2022-09-01 02:21:53 +0200 | <rustisafungus> | hpc: yeah and then you can run those on the server in a vm for convenience and security, so you end up with client-on-server-on-client-on-server |
2022-09-01 02:21:56 +0200 | Guest|80 | (~Guest|80@187.61.246.232) (Quit: Connection closed) |
2022-09-01 02:22:10 +0200 | rockymarine | (~rocky@user/rockymarine) |
2022-09-01 02:22:18 +0200 | <Axman6> | clearly the most efficient way to do things. |
2022-09-01 02:22:41 +0200 | codaraxis | (~codaraxis@user/codaraxis) (Ping timeout: 252 seconds) |
2022-09-01 02:22:57 +0200 | <guest8080> | TY everyone! I'm looking at purescript now. It looks like a nice bridge but still would require separate purescript development. I'm wondering if something like a Haskell widget package that permits the construction of the GUI on the Haskell/server-side. There would have to be event callbacks to the Haskell/server-side for GUI events |
2022-09-01 02:22:58 +0200 | <guest8080> | tho. |
2022-09-01 02:24:09 +0200 | <rustisafungus> | purescript is probably the better bet |
2022-09-01 02:25:05 +0200 | <rustisafungus> | do you need to distribute your server side GUI across a server cluster? |
2022-09-01 02:25:53 +0200 | <guest8080> | No simple simple dev test case. Entire backend (including peristence) on one machine |
2022-09-01 02:26:41 +0200 | <Axman6> | I can't wait for GHC to ship with a WASM backend, being able to run apps in secure containers will be fantastic for things like GUI apps |
2022-09-01 02:26:47 +0200 | <rustisafungus> | (that was a joke but gosh someone must do that, maybe faang) |
2022-09-01 02:27:42 +0200 | <rustisafungus> | i can't wait for an endless stream of WASM sandbox escape CVEs lolz |
2022-09-01 02:27:48 +0200 | <guest8080> | That would be nice...I could use that WASM in the browser with gRPC callbacks to the server-side |
2022-09-01 02:28:11 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 268 seconds) |
2022-09-01 02:28:17 +0200 | <rustisafungus> | guest8080: tbh, get started with elm |
2022-09-01 02:28:57 +0200 | <guest8080> | why elm rather than PS? I read somewhere elm is rather opinionated and narrower than PS. |
2022-09-01 02:29:14 +0200 | <rustisafungus> | the developer experience, at least when i tried it, was exquisite, lacking only in automatic reflection |
2022-09-01 02:29:30 +0200 | <rustisafungus> | just, try it, it's minimalist and nice and then branch out. for real world use PS is probably better |
2022-09-01 02:29:39 +0200 | mikoto-chan | (~mikoto-ch@164.5.249.78) (Ping timeout: 252 seconds) |
2022-09-01 02:29:49 +0200 | <guest8080> | Ok, i'll check it out too. |
2022-09-01 02:31:12 +0200 | <rustisafungus> | if haskell had elm-tier DX i would make happy fungus noises |
2022-09-01 02:32:05 +0200 | <guest8080> | i've only experienced silent fungus so far |
2022-09-01 02:33:02 +0200 | causal | (~user@2001:470:ea0f:3:329c:23ff:fe3f:1e0e) (Quit: WeeChat 3.6) |
2022-09-01 02:34:59 +0200 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Ping timeout: 268 seconds) |
2022-09-01 02:35:07 +0200 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) |
2022-09-01 02:36:27 +0200 | <rustisafungus> | distributed client-on-server-on-client-on-server GUIs running in a vm are the future |
2022-09-01 02:36:59 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 252 seconds) |
2022-09-01 02:37:14 +0200 | <Axman6> | guest8080: https://github.com/dmjio/miso/blob/master/README.md |
2022-09-01 02:37:51 +0200 | <guest8080> | It's right up there with running on an emulator for a non-existent architecture. Knuth's MMIX comes to mind |
2022-09-01 02:38:04 +0200 | <guest8080> | I think qemu has a MMIX emulator |
2022-09-01 02:38:13 +0200 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) |
2022-09-01 02:38:23 +0200 | <rustisafungus> | oh wow knuth designed an isa |
2022-09-01 02:38:44 +0200 | <guest8080> | In his spare time for just a bit of assembly language pedagogy |
2022-09-01 02:39:15 +0200 | <Axman6> | MMIX has some very cool instructions in it that I wish other architectures had |
2022-09-01 02:39:40 +0200 | <rustisafungus> | fpgammix -- sayeth wikipedia |
2022-09-01 02:40:06 +0200 | <guest8080> | Like? I thought he basically pulled the best of everything together even if it implied inconsistent HW implementation |
2022-09-01 02:41:08 +0200 | qy | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) |
2022-09-01 02:41:49 +0200 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Ping timeout: 268 seconds) |
2022-09-01 02:42:10 +0200 | bsima | (~bsima@143.198.118.179) |
2022-09-01 02:42:28 +0200 | <rustisafungus> | but i thought instructions didn't matter |
2022-09-01 02:42:43 +0200 | <rustisafungus> | except they do except they dont. |
2022-09-01 02:43:05 +0200 | <rustisafungus> | https://www.youtube.com/watch?v=gEyFH-a-XoQ |
2022-09-01 02:43:06 +0200 | rockymarine | (~rocky@user/rockymarine) |
2022-09-01 02:45:18 +0200 | <guest8080> | Axman6 , I ran across MISO in my research but set it aside because GHCJS was said to horribly slow. Has it worked well for you? |
2022-09-01 02:47:04 +0200 | <guest8080> | what is your fav assembly language instruction? Mine: Enforce In-order Execution of IO, a sync instruction on POWER/PowerPC: eieio |
2022-09-01 02:47:14 +0200 | <rustisafungus> | properly follow proper protocols. |
2022-09-01 02:47:55 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 268 seconds) |
2022-09-01 02:49:20 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
2022-09-01 02:49:44 +0200 | <guest8080> | reduce unsigned short to integer |
2022-09-01 02:51:44 +0200 | braf | (~braf@180-150-13-139.b4960d.syd.static.aussiebb.net) (Quit: Client closed) |
2022-09-01 02:56:21 +0200 | qy | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Quit: WeeChat 3.5) |
2022-09-01 02:57:22 +0200 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) |
2022-09-01 03:01:15 +0200 | rockymarine | (~rocky@user/rockymarine) |
2022-09-01 03:04:23 +0200 | <rustisafungus> | guest8080: have you tried using a quantum computer for your distributed client-on-server-on-client-on-server in a vm GUI? |
2022-09-01 03:04:54 +0200 | luffy | (~chenqisu1@183.217.201.192) |
2022-09-01 03:17:35 +0200 | <Axman6> | guest8080: I haven't used it myself, but it feels like the closest to what you want. I haven't heard people saying GHCJS is particularly slow, it tends to play quite well with many JS engines IIRC |
2022-09-01 03:19:09 +0200 | nate4 | (~nate@98.45.169.16) |
2022-09-01 03:24:16 +0200 | rustisafungus | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds) |
2022-09-01 03:24:19 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
2022-09-01 03:27:56 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
2022-09-01 03:29:04 +0200 | Inst__ | (~Inst@2601:6c4:4080:3f80:d8ab:2e91:63f7:db6e) (Ping timeout: 244 seconds) |
2022-09-01 03:29:31 +0200 | xff0x | (~xff0x@2405:6580:b080:900:1e7f:d8b4:4969:4ebb) (Ping timeout: 260 seconds) |
2022-09-01 03:30:21 +0200 | Achylles | (~Achylles_@2804:431:d724:2eb7:711b:e01b:906a:d4e) |
2022-09-01 03:35:11 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
2022-09-01 03:42:13 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-09-01 03:43:56 +0200 | <maerwald[m]> | Axman6: miso is client side |
2022-09-01 03:44:02 +0200 | <maerwald[m]> | Is it not? |
2022-09-01 03:47:25 +0200 | tom | (~chenqisu1@183.217.201.192) |
2022-09-01 03:48:29 +0200 | luffy | (~chenqisu1@183.217.201.192) (Ping timeout: 252 seconds) |
2022-09-01 03:48:49 +0200 | tom | Guest4212 |
2022-09-01 03:50:50 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 268 seconds) |
2022-09-01 03:53:36 +0200 | frost | (~frost@user/frost) |
2022-09-01 03:55:14 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 258 seconds) |
2022-09-01 03:56:11 +0200 | <Axman6> | I thought it was mix of both, but no idea. it's "isomorphic" - dmj` is probably the best person to answer |
2022-09-01 03:56:12 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
2022-09-01 03:58:43 +0200 | rockymarine | (~rocky@user/rockymarine) |
2022-09-01 04:00:08 +0200 | khumba | (~khumba@user/khumba) |
2022-09-01 04:00:19 +0200 | <maerwald[m]> | What is isomorphic? |
2022-09-01 04:01:24 +0200 | nate4 | (~nate@98.45.169.16) |
2022-09-01 04:02:30 +0200 | <sclv> | "isomorphic" is sometimes used to mean something entirely unlike the mathematical definition |
2022-09-01 04:02:50 +0200 | <maerwald[m]> | I know |
2022-09-01 04:02:56 +0200 | <sclv> | in the case of client side web programming people use it (unforgivably, i believe) to mean that the client and server code is the same language |
2022-09-01 04:03:11 +0200 | <maerwald[m]> | I'm asking what is supposed to be isomorphic in this case |
2022-09-01 04:03:27 +0200 | <maerwald[m]> | I don't think miso provides you with a server side framework |
2022-09-01 04:04:19 +0200 | <sclv> | miso claims in its docs to be both and to be "isomorphic" in the webservice sense |
2022-09-01 04:06:30 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
2022-09-01 04:07:05 +0200 | <maerwald[m]> | https://medium.com/airbnb-engineering/isomorphic-javascript-the-future-of-web-apps-10882b7a2ebc#.4… |
2022-09-01 04:07:54 +0200 | instantaphex | (~jb@c-73-171-252-84.hsd1.fl.comcast.net) |
2022-09-01 04:08:16 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 258 seconds) |
2022-09-01 04:08:20 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 244 seconds) |
2022-09-01 04:11:39 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
2022-09-01 04:12:35 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
2022-09-01 04:13:22 +0200 | <waleee> | today apparently was the day Haskell Curry passed away |
2022-09-01 04:15:11 +0200 | rockymarine | (~rocky@user/rockymarine) |
2022-09-01 04:19:28 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
2022-09-01 04:24:25 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 252 seconds) |
2022-09-01 04:26:36 +0200 | Katarushisu | (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) (Read error: Connection reset by peer) |
2022-09-01 04:27:17 +0200 | Katarushisu | (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) |
2022-09-01 04:27:42 +0200 | rockymarine | (~rocky@user/rockymarine) |
2022-09-01 04:30:29 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 255 seconds) |
2022-09-01 04:35:53 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 255 seconds) |
2022-09-01 04:37:18 +0200 | Achylles | (~Achylles_@2804:431:d724:2eb7:711b:e01b:906a:d4e) (Ping timeout: 240 seconds) |
2022-09-01 04:40:33 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds) |
2022-09-01 04:40:38 +0200 | nilradical | (~nilradica@user/naso) (Remote host closed the connection) |
2022-09-01 04:41:39 +0200 | nilradical | (~nilradica@user/naso) |
2022-09-01 04:43:14 +0200 | terrorjack | (~terrorjac@2a01:4f8:1c1e:509a::1) (Quit: The Lounge - https://thelounge.chat) |
2022-09-01 04:44:14 +0200 | terrorjack | (~terrorjac@2a01:4f8:1c1e:509a::1) |
2022-09-01 04:45:56 +0200 | td_ | (~td@94.134.91.66) (Ping timeout: 260 seconds) |
2022-09-01 04:47:20 +0200 | rockymarine | (~rocky@user/rockymarine) |
2022-09-01 04:47:51 +0200 | td_ | (~td@94.134.91.37) |
2022-09-01 04:50:38 +0200 | vglfr | (~vglfr@145.224.94.248) (Ping timeout: 268 seconds) |
2022-09-01 04:52:05 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 255 seconds) |
2022-09-01 04:55:57 +0200 | nilradical | (~nilradica@user/naso) (Ping timeout: 252 seconds) |
2022-09-01 04:58:12 +0200 | kannon | (~NK@135-180-47-54.fiber.dynamic.sonic.net) |
2022-09-01 05:00:43 +0200 | vglfr | (~vglfr@145.224.94.248) |
2022-09-01 05:03:47 +0200 | motherfsck | (~motherfsc@user/motherfsck) (Ping timeout: 255 seconds) |
2022-09-01 05:07:08 +0200 | rockymarine | (~rocky@user/rockymarine) |
2022-09-01 05:18:25 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 258 seconds) |
2022-09-01 05:19:07 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
2022-09-01 05:20:41 +0200 | nilradical | (~nilradica@user/naso) |
2022-09-01 05:25:01 +0200 | nilradical | (~nilradica@user/naso) (Remote host closed the connection) |
2022-09-01 05:25:16 +0200 | nilradical | (~nilradica@user/naso) |
2022-09-01 05:25:30 +0200 | nilradical | (~nilradica@user/naso) (Remote host closed the connection) |
2022-09-01 05:26:06 +0200 | nilradical | (~nilradica@user/naso) |
2022-09-01 05:27:01 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
2022-09-01 05:29:53 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 255 seconds) |
2022-09-01 05:30:47 +0200 | nilradical | (~nilradica@user/naso) (Ping timeout: 255 seconds) |
2022-09-01 05:32:08 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
2022-09-01 05:32:38 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
2022-09-01 05:44:03 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) |
2022-09-01 05:45:31 +0200 | rockymarine | (~rocky@user/rockymarine) |
2022-09-01 05:47:39 +0200 | nilradical | (~nilradica@user/naso) |
2022-09-01 05:52:34 +0200 | nate4 | (~nate@98.45.169.16) |
2022-09-01 05:56:18 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
2022-09-01 06:00:51 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 252 seconds) |
2022-09-01 06:05:11 +0200 | jargon | (~jargon@184.101.185.66) (Remote host closed the connection) |
2022-09-01 06:06:26 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds) |
2022-09-01 06:09:05 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-09-01 06:10:17 +0200 | zebrag | (~chris@user/zebrag) |
2022-09-01 06:14:14 +0200 | jargon | (~jargon@184.101.185.66) |
2022-09-01 06:14:54 +0200 | nilradical | (~nilradica@user/naso) () |
2022-09-01 06:15:35 +0200 | <Axman6> | maerwald[m]: https://github.com/dmjio/miso/blob/master/README.md http://nerds.airbnb.com/isomorphic-javascript-future-web-apps/ |
2022-09-01 06:17:29 +0200 | kannon | (~NK@135-180-47-54.fiber.dynamic.sonic.net) (Ping timeout: 244 seconds) |
2022-09-01 06:19:21 +0200 | <[Leary]> | So I'm discovering that type roles actually kinda suck: <https://gist.github.com/LSLeary/f136fdf7aa0b2517ded00fe493c16e04>. I don't suppose anyone has a better solution than that? I want my safe coercions back. |
2022-09-01 06:21:37 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
2022-09-01 06:29:58 +0200 | mikoto-chan | (~mikoto-ch@164.5.249.78) |
2022-09-01 06:33:56 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 258 seconds) |
2022-09-01 06:34:31 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2022-09-01 06:35:21 +0200 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
2022-09-01 06:37:01 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
2022-09-01 06:38:53 +0200 | tzh_ | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
2022-09-01 06:39:58 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Ping timeout: 240 seconds) |
2022-09-01 06:42:45 +0200 | haskell_ | (~haskell@172.56.152.30) |
2022-09-01 06:43:08 +0200 | haskell_ | (~haskell@172.56.152.30) (Remote host closed the connection) |
2022-09-01 06:43:33 +0200 | jargon | (~jargon@184.101.185.66) (Remote host closed the connection) |
2022-09-01 06:44:22 +0200 | monochrom | (trebla@216.138.220.146) (Quit: NO CARRIER) |
2022-09-01 06:48:28 +0200 | famubu | (~famubu@user/famubu) |
2022-09-01 06:48:48 +0200 | <famubu> | I was looking at https://github.com/ghc/ghc/blob/master/libraries/ghc-prim/GHC/Types.hs#L214 |
2022-09-01 06:48:57 +0200 | <famubu> | What does `I#` and `Int#` mean? |
2022-09-01 06:49:11 +0200 | <famubu> | In `data {-# CTYPE "HsInt" #-} Int = I# Int#` |
2022-09-01 06:49:22 +0200 | <famubu> | Do identifiers ending in `#` have special meaning? |
2022-09-01 06:51:20 +0200 | Maxdamantus | (~Maxdamant@user/maxdamantus) (Ping timeout: 255 seconds) |
2022-09-01 06:52:05 +0200 | <JensPetersen[m]> | Does anyone have ghc-9.4 working with github haskell/actions/setup ? Maybe I should ask ghcup |
2022-09-01 06:53:16 +0200 | <Axman6> | I# is the name of the constructor, Int# is the name of a type, which is an unlifted Int |
2022-09-01 06:53:41 +0200 | <Axman6> | they are special in that they're not generally allowed, but MagicHash allows you to use them |
2022-09-01 06:57:17 +0200 | Guest4212 | (~chenqisu1@183.217.201.192) (Ping timeout: 244 seconds) |
2022-09-01 06:59:34 +0200 | monochrom | (trebla@216.138.220.146) |
2022-09-01 06:59:40 +0200 | Guest34 | (~Guest34@176.122.87.241) |
2022-09-01 07:06:59 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
2022-09-01 07:07:19 +0200 | <maerwald[m]> | Jens Petersen: why not |
2022-09-01 07:09:46 +0200 | <mniip> | [Leary], when I import the constructor of ReaderT, ghc is able to infer `a ~R b => ReaderT IO a ~R ReaderT IO b` |
2022-09-01 07:10:09 +0200 | instantaphex | (~jb@c-73-171-252-84.hsd1.fl.comcast.net) (Ping timeout: 252 seconds) |
2022-09-01 07:10:23 +0200 | <mniip> | possibly via ReaderT () IO a ~R () -> IO a ~R () -> IO b ~R ReaderT IO b |
2022-09-01 07:10:53 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds) |
2022-09-01 07:15:19 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
2022-09-01 07:18:04 +0200 | <[Leary]> | mniip: That makes sense. But unfortunately, in the case that's troubling me, the constructor (the equivalent of App, rather than ReaderT) isn't exported. |
2022-09-01 07:18:13 +0200 | <[Leary]> | So this approach doesn't work outside the module. |
2022-09-01 07:18:34 +0200 | <mniip> | yeah in an ideal world role annotations would be dependent |
2022-09-01 07:19:29 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::a1ec) (Ping timeout: 244 seconds) |
2022-09-01 07:21:40 +0200 | instantaphex | (~jb@c-73-171-252-84.hsd1.fl.comcast.net) |
2022-09-01 07:22:14 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 258 seconds) |
2022-09-01 07:23:43 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 252 seconds) |
2022-09-01 07:24:00 +0200 | coot | (~coot@213.134.176.158) |
2022-09-01 07:25:59 +0200 | instantaphex | (~jb@c-73-171-252-84.hsd1.fl.comcast.net) (Ping timeout: 255 seconds) |
2022-09-01 07:28:10 +0200 | <JensPetersen[m]> | maerwald: sorry replied to you in #haskell-ghcup:libera.chat |
2022-09-01 07:28:47 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
2022-09-01 07:29:08 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
2022-09-01 07:40:06 +0200 | Maxdamantus | (~Maxdamant@user/maxdamantus) |
2022-09-01 07:40:55 +0200 | rockymarine | (~rocky@user/rockymarine) |
2022-09-01 07:42:11 +0200 | motherfsck | (~motherfsc@user/motherfsck) |
2022-09-01 07:43:05 +0200 | king_gs | (~Thunderbi@2806:103e:29:58a3:1594:b5e0:74f3:c774) |
2022-09-01 07:43:22 +0200 | king_gs | (~Thunderbi@2806:103e:29:58a3:1594:b5e0:74f3:c774) (Client Quit) |
2022-09-01 07:43:59 +0200 | shriekingnoise | (~shrieking@186.137.167.202) (Ping timeout: 255 seconds) |
2022-09-01 07:44:11 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
2022-09-01 07:45:40 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2022-09-01 07:48:58 +0200 | califax | (~califax@user/califx) |
2022-09-01 07:50:29 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 252 seconds) |
2022-09-01 07:52:18 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
2022-09-01 07:59:15 +0200 | instantaphex | (~jb@c-73-171-252-84.hsd1.fl.comcast.net) |
2022-09-01 08:00:48 +0200 | liz | (~liz@host86-157-124-38.range86-157.btcentralplus.com) |
2022-09-01 08:01:19 +0200 | liz | (~liz@host86-157-124-38.range86-157.btcentralplus.com) (Client Quit) |
2022-09-01 08:01:36 +0200 | liz | (~liz@host86-157-124-38.range86-157.btcentralplus.com) |
2022-09-01 08:02:41 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2022-09-01 08:03:08 +0200 | liz | (~liz@host86-157-124-38.range86-157.btcentralplus.com) (Client Quit) |
2022-09-01 08:03:14 +0200 | califax | (~califax@user/califx) |
2022-09-01 08:03:24 +0200 | instantaphex | (~jb@c-73-171-252-84.hsd1.fl.comcast.net) (Ping timeout: 244 seconds) |
2022-09-01 08:03:38 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 258 seconds) |
2022-09-01 08:03:57 +0200 | liz | (~liz@2a00:23c5:9680:501:b62e:99ff:fee4:47fa) |
2022-09-01 08:04:04 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
2022-09-01 08:06:21 +0200 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) |
2022-09-01 08:11:01 +0200 | <famubu> | Axman6: Thanks. Got something to read up. |
2022-09-01 08:11:04 +0200 | famubu | (~famubu@user/famubu) (Quit: leaving) |
2022-09-01 08:11:41 +0200 | michalz | (~michalz@185.246.204.65) (Remote host closed the connection) |
2022-09-01 08:14:15 +0200 | codaraxis__ | (~codaraxis@user/codaraxis) (Quit: Leaving) |
2022-09-01 08:14:28 +0200 | michalz | (~michalz@185.246.204.75) |
2022-09-01 08:18:09 +0200 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Quit: WeeChat 3.5) |
2022-09-01 08:19:13 +0200 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) |
2022-09-01 08:21:47 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 255 seconds) |
2022-09-01 08:21:59 +0200 | toeffel | (~toeffel@user/toeffel) |
2022-09-01 08:22:01 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 252 seconds) |
2022-09-01 08:22:03 +0200 | liz | (~liz@2a00:23c5:9680:501:b62e:99ff:fee4:47fa) (Quit: Leaving) |
2022-09-01 08:25:24 +0200 | alternateved | (~user@staticline-31-183-146-203.toya.net.pl) |
2022-09-01 08:27:22 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
2022-09-01 08:28:31 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2022-09-01 08:29:11 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
2022-09-01 08:29:39 +0200 | Guest34 | (~Guest34@176.122.87.241) (Quit: Client closed) |
2022-09-01 08:29:44 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
2022-09-01 08:33:17 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 268 seconds) |
2022-09-01 08:33:45 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 252 seconds) |
2022-09-01 08:37:33 +0200 | <Axman6> | there's nothing particularly special about MagicHash, it just gives a way for the compiler devs to namespace really internal things |
2022-09-01 08:38:02 +0200 | instantaphex | (~jb@c-73-171-252-84.hsd1.fl.comcast.net) |
2022-09-01 08:40:54 +0200 | ccntrq | (~Thunderbi@172.209.94.92.rev.sfr.net) |
2022-09-01 08:42:09 +0200 | instantaphex | (~jb@c-73-171-252-84.hsd1.fl.comcast.net) (Ping timeout: 244 seconds) |
2022-09-01 08:45:10 +0200 | toeffel_ | (~toeffel@user/toeffel) |
2022-09-01 08:46:13 +0200 | toeffel | (~toeffel@user/toeffel) (Ping timeout: 252 seconds) |
2022-09-01 08:53:44 +0200 | mikoto-chan | (~mikoto-ch@164.5.249.78) (Ping timeout: 255 seconds) |
2022-09-01 08:53:54 +0200 | instantaphex | (~jb@c-73-171-252-84.hsd1.fl.comcast.net) |
2022-09-01 08:55:26 +0200 | frost | (~frost@user/frost) (Ping timeout: 252 seconds) |
2022-09-01 08:56:55 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
2022-09-01 08:58:32 +0200 | instantaphex | (~jb@c-73-171-252-84.hsd1.fl.comcast.net) (Ping timeout: 268 seconds) |
2022-09-01 09:02:03 +0200 | rockymarine | (~rocky@user/rockymarine) |
2022-09-01 09:02:14 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds) |
2022-09-01 09:06:20 +0200 | mbuf | (~Shakthi@49.204.118.157) |
2022-09-01 09:06:47 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 255 seconds) |
2022-09-01 09:06:50 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
2022-09-01 09:12:19 +0200 | wonko_ | (~wjc@2a0e:1c80:2::130) |
2022-09-01 09:15:20 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
2022-09-01 09:21:10 +0200 | mncheck | (~mncheck@193.224.205.254) |
2022-09-01 09:22:22 +0200 | <bbear> | there's a chapter on this unboxed types in 'haskell in depth' that is worth reading |
2022-09-01 09:24:17 +0200 | <dminuoso> | Axman6: *to namespace unlifted things. At that point, I think it is particularly special. |
2022-09-01 09:24:58 +0200 | <dminuoso> | Given that it's a mostly well respected convention, you can for the most part conclude that something carrying a # at the end of its name is unlifted. That makes it particularly special in my mind. |
2022-09-01 09:25:11 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2022-09-01 09:25:20 +0200 | <dminuoso> | It's beyond just internal, since you cant use unlifted things in a place where lifted things are expected. |
2022-09-01 09:25:45 +0200 | <dminuoso> | i.e. `Maybe Int#` is not constructable |
2022-09-01 09:26:22 +0200 | <bbear> | but Maybe# Int# is ? :troll: |
2022-09-01 09:26:53 +0200 | <bbear> | but can it be said simply that this represent access to unboxed primitive types? |
2022-09-01 09:27:01 +0200 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Quit: WeeChat 3.5) |
2022-09-01 09:27:19 +0200 | codedmart | (codedmart@2600:3c01::f03c:92ff:fefe:8511) (Quit: ZNC 1.7.5+deb4 - https://znc.in) |
2022-09-01 09:27:29 +0200 | <dminuoso> | unboxed or unlifted, but yes |
2022-09-01 09:27:36 +0200 | <dminuoso> | As per convention, anyhow. |
2022-09-01 09:27:36 +0200 | <bbear> | I don't expect this unlifted thing to live in 99% percent of haskell programs |
2022-09-01 09:27:39 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-09-01 09:27:53 +0200 | <bbear> | (I mean in the source code) |
2022-09-01 09:27:56 +0200 | <dminuoso> | bbear: On the contrary, we have unlifted things in plenty of places. |
2022-09-01 09:28:02 +0200 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) |
2022-09-01 09:28:49 +0200 | acidjnk | (~acidjnk@p200300d6e7137a28f0c2e869287c3830.dip0.t-ipconnect.de) |
2022-09-01 09:29:36 +0200 | codedmart | (codedmart@2600:3c01::f03c:92ff:fefe:8511) |
2022-09-01 09:29:36 +0200 | <dminuoso> | newtype IO a = IO (State# RealWorld -> (# State# RealWorld, a #)) |
2022-09-01 09:29:48 +0200 | <dminuoso> | Every IO action is a function producing an unlifted tuple. |
2022-09-01 09:33:00 +0200 | Cale | (~cale@cpef48e38ee8583-cm30b7d4b3fc20.cpe.net.cable.rogers.com) (Remote host closed the connection) |
2022-09-01 09:34:58 +0200 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Quit: WeeChat 3.5) |
2022-09-01 09:35:52 +0200 | libertyprime | (~libertypr@118-92-68-91.dsl.dyn.ihug.co.nz) |
2022-09-01 09:36:07 +0200 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) |
2022-09-01 09:36:46 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:5545:114e:b297:6323) |
2022-09-01 09:41:18 +0200 | <Axman6> | (# (#) | Int# #) ~ Maybe# Int# (can't remember what the syntax for the unboxed 0-tuple) |
2022-09-01 09:44:07 +0200 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) (Quit: Konversation terminated!) |
2022-09-01 09:44:56 +0200 | tzh_ | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
2022-09-01 09:45:05 +0200 | benin0 | (~benin@59.92.178.116) (Quit: Ping timeout (120 seconds)) |
2022-09-01 09:45:26 +0200 | benin0 | (~benin@59.92.178.116) |
2022-09-01 09:45:46 +0200 | <dminuoso> | Axman6: It's the same as 1-tuples or 2-tuples etc |
2022-09-01 09:45:52 +0200 | <dminuoso> | (# Int# #) |
2022-09-01 09:46:18 +0200 | <dminuoso> | :k (# Int #) |
2022-09-01 09:46:20 +0200 | <lambdabot> | error: Operator applied to too few arguments: # |
2022-09-01 09:46:34 +0200 | <dminuoso> | lambdabot: Shush and just enable -XUnboxedTuples! |
2022-09-01 09:46:44 +0200 | dminuoso | wants yahb back |
2022-09-01 09:47:29 +0200 | <[Leary]> | % putStrLn "I am reborn?" |
2022-09-01 09:47:29 +0200 | <yahb2> | I am reborn? |
2022-09-01 09:47:47 +0200 | <[Leary]> | Yes, you are. |
2022-09-01 09:52:10 +0200 | <dminuoso> | Glory and cookies to your rescuer. |
2022-09-01 09:52:40 +0200 | <[Leary]> | That would be tomsmeding. |
2022-09-01 09:53:21 +0200 | <dminuoso> | I see, I guess tom's new job is adopting community services that are no longer maintained. |
2022-09-01 09:53:50 +0200 | <dminuoso> | What would we do without him. :) |
2022-09-01 09:55:10 +0200 | alternateved | (~user@staticline-31-183-146-203.toya.net.pl) (Remote host closed the connection) |
2022-09-01 09:57:56 +0200 | beteigeuze | (~Thunderbi@89.187.168.240) |
2022-09-01 09:59:58 +0200 | worldhelloworld1 | (uid543174@id-543174.helmsley.irccloud.com) |
2022-09-01 10:06:59 +0200 | Linux | (~kernel@user/OpenSource) (Ping timeout: 248 seconds) |
2022-09-01 10:07:25 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
2022-09-01 10:10:44 +0200 | instantaphex | (~jb@c-73-171-252-84.hsd1.fl.comcast.net) |
2022-09-01 10:11:55 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds) |
2022-09-01 10:14:03 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2022-09-01 10:14:23 +0200 | kannon | (~NK@135-180-47-54.fiber.dynamic.sonic.net) |
2022-09-01 10:15:11 +0200 | instantaphex | (~jb@c-73-171-252-84.hsd1.fl.comcast.net) (Ping timeout: 255 seconds) |
2022-09-01 10:16:45 +0200 | freemanX | (~user@203.117.163.130) |
2022-09-01 10:18:47 +0200 | kannon | (~NK@135-180-47-54.fiber.dynamic.sonic.net) (Ping timeout: 255 seconds) |
2022-09-01 10:20:53 +0200 | merijn | (~merijn@eduroam.wifi.infracom.nl) |
2022-09-01 10:24:33 +0200 | <lortabac> | is there an easy way to enforce a specific key order when encoding with aeson? |
2022-09-01 10:24:43 +0200 | <lortabac> | I mean aeson 2 |
2022-09-01 10:26:26 +0200 | instantaphex | (~jb@c-73-171-252-84.hsd1.fl.comcast.net) |
2022-09-01 10:26:41 +0200 | <lortabac> | or at least some documented workaround |
2022-09-01 10:28:34 +0200 | fserucas | (~fserucas@89.214.116.132) |
2022-09-01 10:29:23 +0200 | <dminuoso> | lortabac: Yes, you can implement a custom toEncoding for that specific field. |
2022-09-01 10:29:55 +0200 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
2022-09-01 10:29:59 +0200 | <dminuoso> | It's not clean, you cant use toJSON then |
2022-09-01 10:30:06 +0200 | OpenSource | (~kernel@user/OpenSource) |
2022-09-01 10:30:06 +0200 | <merijn> | Although I would instead recommend: Seriously reevaluating your life's choices leading up to wanting this... |
2022-09-01 10:30:09 +0200 | <dminuoso> | But as long as the code that uses it is under your control it works |
2022-09-01 10:30:42 +0200 | <lortabac> | merijn: I have good reasons |
2022-09-01 10:30:43 +0200 | instantaphex | (~jb@c-73-171-252-84.hsd1.fl.comcast.net) (Ping timeout: 252 seconds) |
2022-09-01 10:31:04 +0200 | zaquest | (~notzaques@5.130.79.72) |
2022-09-01 10:31:07 +0200 | <merijn> | I don't believe you, but that's between you and god :p |
2022-09-01 10:31:41 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
2022-09-01 10:32:00 +0200 | <lortabac> | haha |
2022-09-01 10:32:15 +0200 | <merijn> | Also between you and future you who will want to murder you |
2022-09-01 10:32:25 +0200 | [Leary] | (~Leary]@user/Leary/x-0910699) (Remote host closed the connection) |
2022-09-01 10:32:29 +0200 | <qrpnxz> | if the reason is "it's not up to me", then that's pretty good reason |
2022-09-01 10:33:09 +0200 | mzan | (~quassel@mail.asterisell.com) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
2022-09-01 10:33:24 +0200 | <merijn> | Agree to disagree :D |
2022-09-01 10:33:34 +0200 | freemanX | (~user@203.117.163.130) (Remote host closed the connection) |
2022-09-01 10:34:04 +0200 | <dminuoso> | lortabac: Essentially just copy and modify: https://hackage.haskell.org/package/aeson-2.1.0.0/docs/src/Data.Aeson.Encoding.Builder.html#object |
2022-09-01 10:34:51 +0200 | <dminuoso> | (Wrap the thing with a newtype accordingly)_ |
2022-09-01 10:35:18 +0200 | <lortabac> | dminuoso: thanks, I need to check if it's actually doable, as I don't own all the types involved |
2022-09-01 10:35:39 +0200 | <lortabac> | but it seems like a good way to approach the problem |
2022-09-01 10:37:36 +0200 | <lortabac> | it should be feasible with a couple of newtypes |
2022-09-01 10:38:09 +0200 | OpenSource | Linux |
2022-09-01 10:38:43 +0200 | MoC | (~moc@user/moc) |
2022-09-01 10:39:56 +0200 | mzan | (~quassel@mail.asterisell.com) |
2022-09-01 10:40:32 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2022-09-01 10:43:37 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
2022-09-01 10:44:13 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
2022-09-01 10:44:59 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-09-01 10:50:09 +0200 | libertyprime | (~libertypr@118-92-68-91.dsl.dyn.ihug.co.nz) (Ping timeout: 268 seconds) |
2022-09-01 10:50:19 +0200 | andreabedini | (~andreabed@host-87-18-207-240.retail.telecomitalia.it) |
2022-09-01 10:58:20 +0200 | [Leary] | (~Leary]@user/Leary/x-0910699) |
2022-09-01 10:58:33 +0200 | libertyprime | (~libertypr@118-92-68-91.dsl.dyn.ihug.co.nz) |
2022-09-01 11:01:17 +0200 | Me-me | VICTORIOUSakaVIC |
2022-09-01 11:02:17 +0200 | VICTORIOUSakaVIC | Me-me |
2022-09-01 11:05:58 +0200 | mbuf | (~Shakthi@49.204.118.157) (Quit: Leaving) |
2022-09-01 11:07:33 +0200 | Kaipei | (~Kaiepi@142.68.249.28) |
2022-09-01 11:08:44 +0200 | wonko_ | (~wjc@2a0e:1c80:2::130) (Ping timeout: 255 seconds) |
2022-09-01 11:08:44 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 255 seconds) |
2022-09-01 11:09:39 +0200 | imdoor | (~user@balticom-142-78-50.balticom.lv) |
2022-09-01 11:11:03 +0200 | Kaiepi | (~Kaiepi@142.68.249.28) (Ping timeout: 252 seconds) |
2022-09-01 11:11:45 +0200 | pagnol | (~me@213-205-209-87.ftth.glasoperator.nl) |
2022-09-01 11:12:09 +0200 | cheater | (~Username@user/cheater) |
2022-09-01 11:12:57 +0200 | frost | (~frost@user/frost) |
2022-09-01 11:15:51 +0200 | kitzman | (~kitzman@user/dekenevs) (Quit: C-x C-c) |
2022-09-01 11:16:10 +0200 | kitzman | (~kitzman@user/dekenevs) |
2022-09-01 11:18:10 +0200 | kuribas | (~user@silversquare.silversquare.eu) |
2022-09-01 11:20:16 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2022-09-01 11:21:16 +0200 | <kuribas> | is the STG documentation still relevant for x64? |
2022-09-01 11:21:39 +0200 | <kuribas> | I mean this page: https://gitlab.haskell.org/ghc/ghc/-/wikis/commentary/compiler/generated-code |
2022-09-01 11:23:21 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 258 seconds) |
2022-09-01 11:24:24 +0200 | <merijn> | define "relevant"? :) |
2022-09-01 11:25:04 +0200 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) |
2022-09-01 11:26:39 +0200 | Guest4212 | (~chenqisu1@183.217.201.192) |
2022-09-01 11:27:11 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 258 seconds) |
2022-09-01 11:34:12 +0200 | [Leary] | (~Leary]@user/Leary/x-0910699) (Remote host closed the connection) |
2022-09-01 11:35:43 +0200 | [Leary] | (~Leary]@user/Leary/x-0910699) |
2022-09-01 11:38:15 +0200 | <kuribas> | that it's enough to understand assembly output. |
2022-09-01 11:38:25 +0200 | <kuribas> | doesn't have to match 1 to 1 |
2022-09-01 11:39:46 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2022-09-01 11:46:31 +0200 | kenaryn | (~aurele@cre71-h03-89-88-44-27.dsl.sta.abo.bbox.fr) |
2022-09-01 11:47:24 +0200 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
2022-09-01 11:51:50 +0200 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
2022-09-01 11:57:59 +0200 | toeffel_ | (~toeffel@user/toeffel) (Ping timeout: 268 seconds) |
2022-09-01 12:00:44 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
2022-09-01 12:09:30 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
2022-09-01 12:09:31 +0200 | worldhelloworld1 | (uid543174@id-543174.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
2022-09-01 12:10:16 +0200 | nilradical | (~nilradica@user/naso) |
2022-09-01 12:10:19 +0200 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
2022-09-01 12:10:32 +0200 | kenaryn | (~aurele@cre71-h03-89-88-44-27.dsl.sta.abo.bbox.fr) (Quit: leaving) |
2022-09-01 12:13:59 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 255 seconds) |
2022-09-01 12:26:21 +0200 | libertyprime | (~libertypr@118-92-68-91.dsl.dyn.ihug.co.nz) (Ping timeout: 268 seconds) |
2022-09-01 12:27:45 +0200 | nilradical | (~nilradica@user/naso) (Remote host closed the connection) |
2022-09-01 12:27:56 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 255 seconds) |
2022-09-01 12:28:46 +0200 | nilradical | (~nilradica@user/naso) |
2022-09-01 12:33:33 +0200 | nilradical | (~nilradica@user/naso) (Ping timeout: 252 seconds) |
2022-09-01 12:40:05 +0200 | pagnol | (~me@213-205-209-87.ftth.glasoperator.nl) (Ping timeout: 255 seconds) |
2022-09-01 12:43:23 +0200 | merijn | (~merijn@eduroam.wifi.infracom.nl) (Read error: Connection reset by peer) |
2022-09-01 12:50:11 +0200 | gabiruh_ | (~gabiruh@vps19177.publiccloud.com.br) |
2022-09-01 12:50:37 +0200 | nilradical | (~nilradica@user/naso) |
2022-09-01 12:50:53 +0200 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) (Ping timeout: 255 seconds) |
2022-09-01 12:52:15 +0200 | nilradical | (~nilradica@user/naso) (Remote host closed the connection) |
2022-09-01 12:52:31 +0200 | nilradical | (~nilradica@user/naso) |
2022-09-01 12:55:40 +0200 | causal | (~user@50.35.83.177) |
2022-09-01 12:56:20 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
2022-09-01 12:56:38 +0200 | imdoor | (~user@balticom-142-78-50.balticom.lv) (Ping timeout: 240 seconds) |
2022-09-01 12:57:08 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
2022-09-01 13:00:48 +0200 | CiaoSen | (~Jura@p200300c9572e65002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
2022-09-01 13:02:31 +0200 | coot | (~coot@213.134.176.158) (Quit: coot) |
2022-09-01 13:06:23 +0200 | nilradical | (~nilradica@user/naso) (Remote host closed the connection) |
2022-09-01 13:06:59 +0200 | nilradical | (~nilradica@user/naso) |
2022-09-01 13:07:24 +0200 | libertyprime | (~libertypr@118-92-68-91.dsl.dyn.ihug.co.nz) |
2022-09-01 13:11:59 +0200 | nilradical | (~nilradica@user/naso) (Ping timeout: 268 seconds) |
2022-09-01 13:14:31 +0200 | xff0x | (~xff0x@ai071162.d.east.v6connect.net) |
2022-09-01 13:17:52 +0200 | Achylles | (~Achylles_@2804:431:d724:a3e0:a3ac:a5c3:30bd:f0d9) |
2022-09-01 13:18:54 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2022-09-01 13:20:21 +0200 | nilradical | (~nilradica@user/naso) |
2022-09-01 13:22:14 +0200 | akegalj | (~akegalj@93-138-22-32.adsl.net.t-com.hr) |
2022-09-01 13:27:07 +0200 | jespada | (~jespada@cpc121060-nmal24-2-0-cust249.19-2.cable.virginm.net) (Quit: Textual IRC Client: www.textualapp.com) |
2022-09-01 13:31:01 +0200 | merijn | (~merijn@sp-eduroam-215-3.wireless.uva.nl) |
2022-09-01 13:35:32 +0200 | CiaoSen | (~Jura@p200300c9572e65002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Quit: CiaoSen) |
2022-09-01 13:36:57 +0200 | pagnol | (~me@92-68-20-1.biz.kpn.net) |
2022-09-01 13:37:41 +0200 | merijn | (~merijn@sp-eduroam-215-3.wireless.uva.nl) (Ping timeout: 255 seconds) |
2022-09-01 13:37:55 +0200 | coot | (~coot@213.134.176.158) |
2022-09-01 13:43:16 +0200 | instantaphex | (~jb@c-73-171-252-84.hsd1.fl.comcast.net) |
2022-09-01 13:43:58 +0200 | jespada | (~jespada@cpc121060-nmal24-2-0-cust249.19-2.cable.virginm.net) |
2022-09-01 13:44:53 +0200 | benin0 | (~benin@59.92.178.116) (Ping timeout: 255 seconds) |
2022-09-01 13:47:30 +0200 | instantaphex | (~jb@c-73-171-252-84.hsd1.fl.comcast.net) (Ping timeout: 244 seconds) |
2022-09-01 13:48:38 +0200 | libertyprime | (~libertypr@118-92-68-91.dsl.dyn.ihug.co.nz) (Ping timeout: 240 seconds) |
2022-09-01 13:49:39 +0200 | toeffel | (~toeffel@user/toeffel) |
2022-09-01 13:50:23 +0200 | nilradical | (~nilradica@user/naso) (Remote host closed the connection) |
2022-09-01 13:50:59 +0200 | nilradical | (~nilradica@user/naso) |
2022-09-01 13:55:46 +0200 | nilradical | (~nilradica@user/naso) (Ping timeout: 268 seconds) |
2022-09-01 13:56:41 +0200 | c0c0 | (~coco@212-51-146-199.fiber7.init7.net) |
2022-09-01 13:56:51 +0200 | libertyprime | (~libertypr@118-92-68-91.dsl.dyn.ihug.co.nz) |
2022-09-01 13:57:29 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
2022-09-01 14:01:24 +0200 | coot | (~coot@213.134.176.158) (Quit: coot) |
2022-09-01 14:02:07 +0200 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
2022-09-01 14:10:45 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-09-01 14:14:54 +0200 | kannon | (~NK@135-180-47-54.fiber.dynamic.sonic.net) |
2022-09-01 14:19:05 +0200 | kannon | (~NK@135-180-47-54.fiber.dynamic.sonic.net) (Ping timeout: 255 seconds) |
2022-09-01 14:21:19 +0200 | nilradical | (~nilradica@user/naso) |
2022-09-01 14:22:38 +0200 | acidjnk | (~acidjnk@p200300d6e7137a28f0c2e869287c3830.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
2022-09-01 14:22:40 +0200 | akegalj | (~akegalj@93-138-22-32.adsl.net.t-com.hr) (Quit: leaving) |
2022-09-01 14:23:38 +0200 | benin0 | (~benin@117.193.64.161) |
2022-09-01 14:25:01 +0200 | c0c0 | (~coco@212-51-146-199.fiber7.init7.net) (Ping timeout: 252 seconds) |
2022-09-01 14:26:45 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
2022-09-01 14:27:32 +0200 | nilradical | (~nilradica@user/naso) (Remote host closed the connection) |
2022-09-01 14:27:47 +0200 | nilradical | (~nilradica@user/naso) |
2022-09-01 14:30:15 +0200 | oo_migue1 | (~pi@77-252-46-249.static.ip.netia.com.pl) (Quit: WeeChat 3.0) |
2022-09-01 14:30:17 +0200 | c0c0 | (~coco@85.195.206.136) |
2022-09-01 14:36:51 +0200 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
2022-09-01 14:40:14 +0200 | acidjnk | (~acidjnk@p200300d6e7137a28f0c2e869287c3830.dip0.t-ipconnect.de) |
2022-09-01 14:46:50 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
2022-09-01 14:47:23 +0200 | Guest4212 | (~chenqisu1@183.217.201.192) (Ping timeout: 252 seconds) |
2022-09-01 14:51:45 +0200 | nilradical | (~nilradica@user/naso) (Remote host closed the connection) |
2022-09-01 14:52:19 +0200 | smichel17[m] | (~smichel17@2001:470:69fc:105::2d32) (Ping timeout: 248 seconds) |
2022-09-01 14:52:23 +0200 | Kaipei | (~Kaiepi@142.68.249.28) (Ping timeout: 255 seconds) |
2022-09-01 14:52:32 +0200 | mima | (~mmh@aftr-62-216-207-250.dynamic.mnet-online.de) (Ping timeout: 268 seconds) |
2022-09-01 14:52:37 +0200 | smichel17[m] | (~smichel17@2001:470:69fc:105::2d32) |
2022-09-01 14:52:51 +0200 | fendor[m] | (~fendormat@2001:470:69fc:105::fcbd) (Ping timeout: 248 seconds) |
2022-09-01 14:52:51 +0200 | cdepillabout[m] | (~cdepillab@2001:470:69fc:105::3d3) (Ping timeout: 248 seconds) |
2022-09-01 14:52:53 +0200 | nilradical | (~nilradica@user/naso) |
2022-09-01 14:52:57 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
2022-09-01 14:53:06 +0200 | fendor[m] | (~fendormat@2001:470:69fc:105::fcbd) |
2022-09-01 14:54:37 +0200 | cdepillabout[m] | (~cdepillab@2001:470:69fc:105::3d3) |
2022-09-01 14:55:31 +0200 | siraben | (~siraben@user/siraben) (Ping timeout: 248 seconds) |
2022-09-01 14:56:31 +0200 | siraben | (~siraben@user/siraben) |
2022-09-01 14:57:47 +0200 | nilradical | (~nilradica@user/naso) (Ping timeout: 255 seconds) |
2022-09-01 15:00:56 +0200 | xff0x | (~xff0x@ai071162.d.east.v6connect.net) (Ping timeout: 255 seconds) |
2022-09-01 15:01:50 +0200 | fryguybob | (~fryguybob@cpe-74-67-169-145.rochester.res.rr.com) (Ping timeout: 255 seconds) |
2022-09-01 15:02:06 +0200 | fryguybob | (~fryguybob@cpe-74-67-169-145.rochester.res.rr.com) |
2022-09-01 15:04:23 +0200 | frost | (~frost@user/frost) (Quit: Ping timeout (120 seconds)) |
2022-09-01 15:06:45 +0200 | frost | (~frost@user/frost) |
2022-09-01 15:07:29 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
2022-09-01 15:11:53 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
2022-09-01 15:12:11 +0200 | CiaoSen | (~Jura@p200300c9572e65002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
2022-09-01 15:13:42 +0200 | xff0x | (~xff0x@2405:6580:b080:900:2fc4:f88d:3507:57fe) |
2022-09-01 15:16:22 +0200 | CiaoSen | (~Jura@p200300c9572e65002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
2022-09-01 15:16:22 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 244 seconds) |
2022-09-01 15:16:29 +0200 | shriekingnoise | (~shrieking@186.137.167.202) |
2022-09-01 15:16:53 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
2022-09-01 15:17:08 +0200 | coot | (~coot@213.134.176.158) |
2022-09-01 15:17:25 +0200 | nilradical | (~nilradica@user/naso) |
2022-09-01 15:24:44 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2022-09-01 15:25:30 +0200 | merijn | (~merijn@eduroam.wifi.infracom.nl) |
2022-09-01 15:27:18 +0200 | Kaipei | (~Kaiepi@142.68.249.28) |
2022-09-01 15:29:12 +0200 | nilradical | (~nilradica@user/naso) (Remote host closed the connection) |
2022-09-01 15:29:22 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-09-01 15:29:27 +0200 | nilradical | (~nilradica@user/naso) |
2022-09-01 15:38:54 +0200 | Kaipei | (~Kaiepi@142.68.249.28) (Remote host closed the connection) |
2022-09-01 15:39:42 +0200 | Kaipei | (~Kaiepi@142.68.249.28) |
2022-09-01 15:41:41 +0200 | Kaipei | (~Kaiepi@142.68.249.28) (Read error: Connection reset by peer) |
2022-09-01 15:42:05 +0200 | Kaipei | (~Kaiepi@142.68.249.28) |
2022-09-01 15:42:52 +0200 | guest8080 | (~guest8080@S01069050ca3016a3.vs.shawcable.net) (Quit: Client closed) |
2022-09-01 15:47:22 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2022-09-01 15:49:51 +0200 | tdbtwlt^^ | (~tdbtwlt@c-73-237-184-20.hsd1.ga.comcast.net) |
2022-09-01 15:57:33 +0200 | mncheck | (~mncheck@193.224.205.254) (Remote host closed the connection) |
2022-09-01 16:01:40 +0200 | toeffel_ | (~toeffel@user/toeffel) |
2022-09-01 16:02:17 +0200 | poscat | (~poscat@114.245.109.80) (Quit: Bye) |
2022-09-01 16:04:01 +0200 | toeffel | (~toeffel@user/toeffel) (Ping timeout: 252 seconds) |
2022-09-01 16:04:38 +0200 | poscat | (~poscat@2408:8206:4821:6e31:cce:2afe:4f78:9c82) |
2022-09-01 16:07:21 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Quit: WeeChat 3.6) |
2022-09-01 16:07:50 +0200 | Kaiepi | (~Kaiepi@142.68.249.28) |
2022-09-01 16:07:54 +0200 | wafflepirate | (sid467876@id-467876.ilkley.irccloud.com) (Ping timeout: 264 seconds) |
2022-09-01 16:07:58 +0200 | alinab | (sid468903@id-468903.helmsley.irccloud.com) (Ping timeout: 240 seconds) |
2022-09-01 16:07:58 +0200 | lally | (sid388228@id-388228.uxbridge.irccloud.com) (Ping timeout: 240 seconds) |
2022-09-01 16:07:58 +0200 | vito | (sid1962@user/vito) (Ping timeout: 240 seconds) |
2022-09-01 16:07:58 +0200 | cbarrett | (sid192934@id-192934.helmsley.irccloud.com) (Ping timeout: 240 seconds) |
2022-09-01 16:08:02 +0200 | wafflepirate | (sid467876@id-467876.ilkley.irccloud.com) |
2022-09-01 16:08:06 +0200 | alinab | (sid468903@id-468903.helmsley.irccloud.com) |
2022-09-01 16:08:07 +0200 | lally | (sid388228@id-388228.uxbridge.irccloud.com) |
2022-09-01 16:08:17 +0200 | Kaipei | (~Kaiepi@142.68.249.28) (Remote host closed the connection) |
2022-09-01 16:08:18 +0200 | meinside | (uid24933@id-24933.helmsley.irccloud.com) (Ping timeout: 240 seconds) |
2022-09-01 16:08:30 +0200 | SethTisue | (sid14912@id-14912.ilkley.irccloud.com) (Ping timeout: 264 seconds) |
2022-09-01 16:08:33 +0200 | __monty__ | (~toonn@user/toonn) |
2022-09-01 16:08:34 +0200 | Kaiepi | (~Kaiepi@142.68.249.28) (Read error: Connection reset by peer) |
2022-09-01 16:08:38 +0200 | pepeiborra | (sid443799@id-443799.ilkley.irccloud.com) (Ping timeout: 240 seconds) |
2022-09-01 16:08:44 +0200 | vito | (sid1962@user/vito) |
2022-09-01 16:08:58 +0200 | supersven | (sid501114@id-501114.ilkley.irccloud.com) (Ping timeout: 240 seconds) |
2022-09-01 16:09:02 +0200 | Fangs | (sid141280@id-141280.hampstead.irccloud.com) (Ping timeout: 268 seconds) |
2022-09-01 16:09:02 +0200 | mrianbloom | (sid350277@id-350277.ilkley.irccloud.com) (Ping timeout: 268 seconds) |
2022-09-01 16:09:16 +0200 | cbarrett | (sid192934@id-192934.helmsley.irccloud.com) |
2022-09-01 16:09:39 +0200 | JSharp | (sid4580@id-4580.lymington.irccloud.com) (Ping timeout: 268 seconds) |
2022-09-01 16:09:39 +0200 | pjlsergeant | (sid143467@id-143467.hampstead.irccloud.com) (Ping timeout: 268 seconds) |
2022-09-01 16:09:39 +0200 | AndreasK | (sid320732@id-320732.uxbridge.irccloud.com) (Ping timeout: 268 seconds) |
2022-09-01 16:09:39 +0200 | mustafa | (sid502723@rockylinux/releng/mustafa) (Ping timeout: 268 seconds) |
2022-09-01 16:09:39 +0200 | astra | (sid289983@user/amish) (Ping timeout: 268 seconds) |
2022-09-01 16:09:42 +0200 | Kaiepi | (~Kaiepi@142.68.249.28) |
2022-09-01 16:09:42 +0200 | wallymathieu | (sid533252@id-533252.uxbridge.irccloud.com) (Ping timeout: 264 seconds) |
2022-09-01 16:10:46 +0200 | mrianbloom | (sid350277@id-350277.ilkley.irccloud.com) |
2022-09-01 16:10:46 +0200 | supersven | (sid501114@id-501114.ilkley.irccloud.com) |
2022-09-01 16:10:46 +0200 | AndreasK | (sid320732@id-320732.uxbridge.irccloud.com) |
2022-09-01 16:10:46 +0200 | SethTisue | (sid14912@id-14912.ilkley.irccloud.com) |
2022-09-01 16:10:47 +0200 | pepeiborra | (sid443799@id-443799.ilkley.irccloud.com) |
2022-09-01 16:10:47 +0200 | wallymathieu | (sid533252@id-533252.uxbridge.irccloud.com) |
2022-09-01 16:10:57 +0200 | astra | (sid289983@id-289983.hampstead.irccloud.com) |
2022-09-01 16:10:57 +0200 | JSharp | (sid4580@id-4580.lymington.irccloud.com) |
2022-09-01 16:11:49 +0200 | meinside | (uid24933@id-24933.helmsley.irccloud.com) |
2022-09-01 16:11:49 +0200 | mustafa | (sid502723@rockylinux/releng/mustafa) |
2022-09-01 16:11:49 +0200 | pjlsergeant | (sid143467@id-143467.hampstead.irccloud.com) |
2022-09-01 16:11:49 +0200 | Fangs | (sid141280@id-141280.hampstead.irccloud.com) |
2022-09-01 16:12:03 +0200 | haskl | (~haskl@user/haskl) (Ping timeout: 268 seconds) |
2022-09-01 16:13:50 +0200 | libertyprime | (~libertypr@118-92-68-91.dsl.dyn.ihug.co.nz) (Ping timeout: 255 seconds) |
2022-09-01 16:15:39 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) (Quit: zxx7529) |
2022-09-01 16:16:31 +0200 | arahael | (~arahael@60-240-64-125.tpgi.com.au) (Ping timeout: 268 seconds) |
2022-09-01 16:20:02 +0200 | tdbtwlt^ | (~tdbtwlt@c-73-237-184-20.hsd1.ga.comcast.net) |
2022-09-01 16:22:55 +0200 | haskl | (~haskl@user/haskl) |
2022-09-01 16:23:27 +0200 | tdbtwlt^^ | (~tdbtwlt@c-73-237-184-20.hsd1.ga.comcast.net) (Ping timeout: 252 seconds) |
2022-09-01 16:23:52 +0200 | frost | (~frost@user/frost) (Ping timeout: 252 seconds) |
2022-09-01 16:24:38 +0200 | tdbtwlt^ | (~tdbtwlt@c-73-237-184-20.hsd1.ga.comcast.net) (Ping timeout: 255 seconds) |
2022-09-01 16:26:07 +0200 | benin0 | (~benin@117.193.64.161) (Ping timeout: 244 seconds) |
2022-09-01 16:28:42 +0200 | arahael | (~arahael@60-241-143-35.tpgi.com.au) |
2022-09-01 16:32:19 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 244 seconds) |
2022-09-01 16:32:35 +0200 | mima | (~mmh@dhcp-138-246-3-240.dynamic.eduroam.mwn.de) |
2022-09-01 16:35:01 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
2022-09-01 16:35:10 +0200 | toeffel | (~toeffel@user/toeffel) |
2022-09-01 16:37:18 +0200 | toeffel_ | (~toeffel@user/toeffel) (Ping timeout: 264 seconds) |
2022-09-01 16:38:53 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
2022-09-01 16:41:29 +0200 | tdbtwlt^ | (~tdbtwlt@c-73-237-184-20.hsd1.ga.comcast.net) |
2022-09-01 16:44:01 +0200 | benin0 | (~benin@117.193.64.161) |
2022-09-01 16:48:01 +0200 | dwt_ | (~dwt_@c-98-198-103-176.hsd1.tx.comcast.net) (Ping timeout: 252 seconds) |
2022-09-01 16:48:13 +0200 | o-90 | (~o-90@gateway/tor-sasl/o-90) |
2022-09-01 16:52:58 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
2022-09-01 16:55:54 +0200 | nisstyre | (wes@user/nisstyre) (Ping timeout: 264 seconds) |
2022-09-01 17:01:13 +0200 | arahael | (~arahael@60-241-143-35.tpgi.com.au) (Ping timeout: 252 seconds) |
2022-09-01 17:04:14 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
2022-09-01 17:05:24 +0200 | tdbtwlt^ | (~tdbtwlt@c-73-237-184-20.hsd1.ga.comcast.net) (Ping timeout: 244 seconds) |
2022-09-01 17:06:21 +0200 | dwt_ | (~dwt_@c-98-198-103-176.hsd1.tx.comcast.net) |
2022-09-01 17:06:42 +0200 | acidjnk | (~acidjnk@p200300d6e7137a28f0c2e869287c3830.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
2022-09-01 17:08:23 +0200 | gmg | (~user@user/gehmehgeh) |
2022-09-01 17:14:42 +0200 | arahael | (~arahael@115-64-199-183.tpgi.com.au) |
2022-09-01 17:15:35 +0200 | andreabedini | (~andreabed@host-87-18-207-240.retail.telecomitalia.it) (Quit: WeeChat 3.6) |
2022-09-01 17:15:36 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
2022-09-01 17:16:50 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
2022-09-01 17:17:10 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 258 seconds) |
2022-09-01 17:18:58 +0200 | mncheck | (~mncheck@193.224.205.254) |
2022-09-01 17:19:31 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
2022-09-01 17:21:33 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
2022-09-01 17:23:06 +0200 | libertyprime | (~libertypr@118-92-68-91.dsl.dyn.ihug.co.nz) |
2022-09-01 17:23:40 +0200 | jakalx | (~jakalx@base.jakalx.net) |
2022-09-01 17:24:04 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 258 seconds) |
2022-09-01 17:26:33 +0200 | nisstyre | (wes@user/nisstyre) |
2022-09-01 17:26:53 +0200 | merijn | (~merijn@eduroam.wifi.infracom.nl) (Ping timeout: 252 seconds) |
2022-09-01 17:27:15 +0200 | gmg | (~user@user/gehmehgeh) |
2022-09-01 17:27:35 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2022-09-01 17:28:41 +0200 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
2022-09-01 17:30:05 +0200 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
2022-09-01 17:31:00 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-09-01 17:31:48 +0200 | jakalx | (~jakalx@base.jakalx.net) |
2022-09-01 17:35:15 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
2022-09-01 17:35:25 +0200 | mikoto-chan | (~mikoto-ch@164.5.249.78) |
2022-09-01 17:41:02 +0200 | ardell | (~ardell@user/ardell) |
2022-09-01 17:41:11 +0200 | libertyprime | (~libertypr@118-92-68-91.dsl.dyn.ihug.co.nz) (Ping timeout: 252 seconds) |
2022-09-01 17:41:39 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
2022-09-01 17:42:07 +0200 | c0c0 | (~coco@85.195.206.136) (Quit: WeeChat 3.5) |
2022-09-01 17:42:42 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:5545:114e:b297:6323) (Ping timeout: 264 seconds) |
2022-09-01 17:43:16 +0200 | nilradical | (~nilradica@user/naso) () |
2022-09-01 17:44:00 +0200 | o-90 | (~o-90@gateway/tor-sasl/o-90) (Ping timeout: 258 seconds) |
2022-09-01 17:48:30 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
2022-09-01 17:50:20 +0200 | rockymarine | (~rocky@user/rockymarine) |
2022-09-01 17:56:45 +0200 | FragByte | (~christian@user/fragbyte) (Quit: Quit) |
2022-09-01 17:56:54 +0200 | FragByte | (~christian@user/fragbyte) |
2022-09-01 17:56:58 +0200 | o-90 | (~o-90@gateway/tor-sasl/o-90) |
2022-09-01 17:58:58 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
2022-09-01 18:04:30 +0200 | akegalj | (~akegalj@93-138-22-32.adsl.net.t-com.hr) |
2022-09-01 18:05:13 +0200 | titibandit | (~titibandi@xdsl-84-44-227-248.nc.de) |
2022-09-01 18:13:45 +0200 | acidjnk | (~acidjnk@p200300d6e7137a81c0d0b58e646b3d85.dip0.t-ipconnect.de) |
2022-09-01 18:14:40 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2022-09-01 18:14:56 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
2022-09-01 18:15:12 +0200 | kannon | (~NK@135-180-47-54.fiber.dynamic.sonic.net) |
2022-09-01 18:16:14 +0200 | kuribas | (~user@silversquare.silversquare.eu) (Remote host closed the connection) |
2022-09-01 18:19:23 +0200 | kannon | (~NK@135-180-47-54.fiber.dynamic.sonic.net) (Ping timeout: 255 seconds) |
2022-09-01 18:19:42 +0200 | pagnol | (~me@92-68-20-1.biz.kpn.net) (Ping timeout: 268 seconds) |
2022-09-01 18:19:57 +0200 | Midjak | (~Midjak@82.66.147.146) |
2022-09-01 18:21:52 +0200 | mikoto-chan | (~mikoto-ch@164.5.249.78) (Ping timeout: 244 seconds) |
2022-09-01 18:23:33 +0200 | o-90 | (~o-90@gateway/tor-sasl/o-90) (Quit: Leaving) |
2022-09-01 18:24:29 +0200 | Cale | (~cale@cpef48e38ee8583-cm30b7d4b3fc20.cpe.net.cable.rogers.com) |
2022-09-01 18:27:17 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
2022-09-01 18:29:26 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-12.elisa-laajakaista.fi) |
2022-09-01 18:33:06 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
2022-09-01 18:33:09 +0200 | jakalx | (~jakalx@base.jakalx.net) |
2022-09-01 18:34:14 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
2022-09-01 18:37:28 +0200 | <shapr> | @quote |
2022-09-01 18:37:28 +0200 | <lambdabot> | x11 says: -- this assumes bytes are 8 bits. I hope X isn't more portable than that :( |
2022-09-01 18:38:10 +0200 | neceve | (~quassel@2.26.93.14) |
2022-09-01 18:46:08 +0200 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) |
2022-09-01 18:46:45 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-09-01 18:50:54 +0200 | titibandit | (~titibandi@xdsl-84-44-227-248.nc.de) (Quit: Leaving.) |
2022-09-01 19:05:09 +0200 | fserucas | (~fserucas@89.214.116.132) (Ping timeout: 252 seconds) |
2022-09-01 19:06:29 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
2022-09-01 19:06:44 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2022-09-01 19:07:52 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
2022-09-01 19:11:25 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
2022-09-01 19:13:42 +0200 | biberu | (~biberu@user/biberu) |
2022-09-01 19:15:33 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
2022-09-01 19:15:35 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
2022-09-01 19:20:08 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds) |
2022-09-01 19:22:50 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
2022-09-01 19:23:43 +0200 | jakalx | (~jakalx@base.jakalx.net) |
2022-09-01 19:26:35 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
2022-09-01 19:26:53 +0200 | adanwan_ | (~adanwan@gateway/tor-sasl/adanwan) |
2022-09-01 19:27:07 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 258 seconds) |
2022-09-01 19:27:07 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 258 seconds) |
2022-09-01 19:27:32 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
2022-09-01 19:28:16 +0200 | johnw | (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) |
2022-09-01 19:29:43 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
2022-09-01 19:29:56 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
2022-09-01 19:29:57 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
2022-09-01 19:30:15 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
2022-09-01 19:31:43 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 258 seconds) |
2022-09-01 19:32:53 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2022-09-01 19:33:08 +0200 | ardell | (~ardell@user/ardell) (Quit: Leaving) |
2022-09-01 19:36:44 +0200 | benin0 | (~benin@117.193.64.161) (Quit: The Lounge - https://thelounge.chat) |
2022-09-01 19:46:15 +0200 | econo | (uid147250@user/econo) |
2022-09-01 19:54:06 +0200 | Guest36 | (~Guest36@2.58.185.24) |
2022-09-01 19:54:46 +0200 | Guest36 | (~Guest36@2.58.185.24) (Client Quit) |
2022-09-01 19:54:48 +0200 | gm3 | (~gm3@2.58.185.24) |
2022-09-01 19:55:21 +0200 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Read error: Connection reset by peer) |
2022-09-01 19:55:43 +0200 | ix | (~ix@82-71-2-184.dsl.in-addr.zen.co.uk) |
2022-09-01 19:57:15 +0200 | <gm3> | Data.Vector.replicate 10 undefined evaluates to undefined. Why is it forcing undefined? |
2022-09-01 19:57:16 +0200 | mikoto-chan | (~mikoto-ch@164.5.249.78) |
2022-09-01 19:58:09 +0200 | <dminuoso> | gm3: In what context did you try this? GHCi? |
2022-09-01 19:58:22 +0200 | <gm3> | No, compiled program. |
2022-09-01 19:58:35 +0200 | <dminuoso> | How are you using that vector? |
2022-09-01 19:59:17 +0200 | <gm3> | But I was testing it with a code lens. Maybe that's the problem? |
2022-09-01 19:59:32 +0200 | <dminuoso> | Quite possibly, yes. |
2022-09-01 19:59:48 +0200 | <dminuoso> | If you just try this in GHCi you will observe no bottom: seq (V.replicate 10 undefined) 1 |
2022-09-01 20:00:13 +0200 | <dminuoso> | tomsmeding: Whats the protocol to request changes to your yahb instance? I would like `vector` to be added for example |
2022-09-01 20:01:12 +0200 | <dminuoso> | gm3: What exactly do you mean by code lens? Im a mildly confused because you also said this was in a compiled program. |
2022-09-01 20:02:08 +0200 | gm3 | (~gm3@2.58.185.24) (Quit: Client closed) |
2022-09-01 20:10:42 +0200 | mikoto-chan | (~mikoto-ch@164.5.249.78) (Ping timeout: 268 seconds) |
2022-09-01 20:14:04 +0200 | gm3 | (~gm3@2.58.185.24) |
2022-09-01 20:16:54 +0200 | <zzz> | is implicit prelude considered a wart?? |
2022-09-01 20:18:34 +0200 | <[exa]> | no why |
2022-09-01 20:19:20 +0200 | mima | (~mmh@dhcp-138-246-3-240.dynamic.eduroam.mwn.de) (Ping timeout: 268 seconds) |
2022-09-01 20:19:57 +0200 | kadir | (~kadir@78.190.6.104) |
2022-09-01 20:20:58 +0200 | kadir | (~kadir@78.190.6.104) () |
2022-09-01 20:21:17 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
2022-09-01 20:21:55 +0200 | <monochrom> | Let's crank that up to eleven! |
2022-09-01 20:22:34 +0200 | <monochrom> | -XIncoherentInstances exists. Therefore, instance coherenence is considered a wart. >:) |
2022-09-01 20:22:45 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2022-09-01 20:25:19 +0200 | tdbtwlt^ | (~tdbtwlt@c-73-237-184-20.hsd1.ga.comcast.net) |
2022-09-01 20:25:40 +0200 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
2022-09-01 20:25:45 +0200 | <zzz> | well the only time i use Prelude is when writing a library and that's just because minimizing dependencies is good |
2022-09-01 20:25:53 +0200 | biberu\ | (~biberu@user/biberu) |
2022-09-01 20:26:07 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds) |
2022-09-01 20:26:19 +0200 | geekosaur | guesses you use it more than you think |
2022-09-01 20:26:41 +0200 | <zzz> | geekosaur: sure, but i wouldn't if i could avoid it |
2022-09-01 20:27:22 +0200 | <zzz> | it keeps us stuck i think |
2022-09-01 20:27:26 +0200 | biberu\ | biberu |
2022-09-01 20:27:27 +0200 | <geekosaur> | huh? |
2022-09-01 20:28:01 +0200 | <geekosaur> | it's filled with utility functions people use all the time? what's stuck about that? we should reinvent them all the time instead? |
2022-09-01 20:28:18 +0200 | <zzz> | oh no, that;s not my point at all |
2022-09-01 20:28:35 +0200 | <zzz> | of course it;s useful |
2022-09-01 20:29:15 +0200 | <zzz> | but it also keeps many undesireable things around |
2022-09-01 20:29:49 +0200 | <zzz> | well, i'm just bitching about nothing really... |
2022-09-01 20:30:10 +0200 | <geekosaur> | if you mean String, System.IO isn't in the Prelude and has a much larger effect |
2022-09-01 20:30:35 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 252 seconds) |
2022-09-01 20:30:46 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
2022-09-01 20:31:11 +0200 | <geekosaur> | (if you mean String, you probably shouldn't. I have lots of little programs sitting around that use String and rarely if ever use any Strings long enough to justify Text) |
2022-09-01 20:31:19 +0200 | <monochrom> | Have you used "1+1"? Then you have used Prelude. |
2022-09-01 20:31:29 +0200 | <monochrom> | Have you used do-notation? Then you have used Prelude. |
2022-09-01 20:31:37 +0200 | <zzz> | what's good does it do besides saving us the effort of writing `import Prelude` ? |
2022-09-01 20:31:44 +0200 | <zzz> | *what |
2022-09-01 20:32:16 +0200 | <monochrom> | Have you used "x == y"? Then you have used Prelude. |
2022-09-01 20:32:43 +0200 | <monochrom> | Have you used "otherwise"? Then you have used Prelude. |
2022-09-01 20:32:57 +0200 | <monochrom> | Have you used "Maybe"? Then you have used Prelude. |
2022-09-01 20:33:25 +0200 | <monochrom> | Have you used "Bool"? Then you have used Prelude. |
2022-09-01 20:33:34 +0200 | <zzz> | lol i get the point |
2022-09-01 20:34:15 +0200 | <geekosaur> | let's turn that around. why should I have to do an import to get very basic stuff? |
2022-09-01 20:34:29 +0200 | <geekosaur> | (as monochrom has been pointing out) |
2022-09-01 20:34:30 +0200 | <monochrom> | You can always write your own "import Prelude hiding (undesirable stuff)" by your logic. |
2022-09-01 20:34:45 +0200 | <zzz> | because you might prefer a Prelude alternative (as there are many) |
2022-09-01 20:34:59 +0200 | <monochrom> | No, speak for yourself. |
2022-09-01 20:35:03 +0200 | <geekosaur> | none of which has enough mindshare to catch on |
2022-09-01 20:35:14 +0200 | <monochrom> | I unprefer all those alternatives. |
2022-09-01 20:35:17 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 255 seconds) |
2022-09-01 20:35:21 +0200 | <geekosaur> | which is why there are so many of them: everyone's got their own notion of an ideal Prelude |
2022-09-01 20:35:35 +0200 | <geekosaur> | and nobody can agree on one |
2022-09-01 20:35:35 +0200 | <zzz> | right |
2022-09-01 20:35:42 +0200 | <zzz> | so why an implicit one? |
2022-09-01 20:35:45 +0200 | <geekosaur> | not because there's already a Prelude |
2022-09-01 20:35:59 +0200 | <geekosaur> | again, why do I have to import something to get the basics? |
2022-09-01 20:36:06 +0200 | <geekosaur> | this isn't Java |
2022-09-01 20:36:24 +0200 | <geekosaur> | and even that implicitly gives you java.lang.whatever |
2022-09-01 20:36:24 +0200 | <monochrom> | Actually Java has its equivalent of implicit prelude too IIRC. |
2022-09-01 20:36:40 +0200 | <monochrom> | Yeah, that. |
2022-09-01 20:36:50 +0200 | <zzz> | i'm getting the feeling i'm not the first person to contest this :p ok i get the point |
2022-09-01 20:37:13 +0200 | <monochrom> | Sure, you in good company with every alternative prelude authors. |
2022-09-01 20:37:21 +0200 | <monochrom> | s/you/you're/ |
2022-09-01 20:37:32 +0200 | <johnw> | rolling your own prelude is a rite of passage |
2022-09-01 20:38:03 +0200 | <monochrom> | But are you conflating "implicit prelude is a wart" with "the standard prelude is a wart"? |
2022-09-01 20:38:21 +0200 | <johnw> | I even did so at one point, but I'm sure glad not to have to maintain it now :) |
2022-09-01 20:38:48 +0200 | <monochrom> | Because surely everyone, especially the alternative prelude authors, have to think "implicit prelude is not a wart, as long as it's my prelude". |
2022-09-01 20:38:53 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 255 seconds) |
2022-09-01 20:39:01 +0200 | <monochrom> | Because programmers are egomaniacs. |
2022-09-01 20:39:06 +0200 | <zzz> | no. my point is that *any* implicit library is wart, because if in the future we find out that it contains something *really* undesireable, it's a pain to change it because "it breaks too many stuff" |
2022-09-01 20:39:24 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
2022-09-01 20:39:35 +0200 | <geekosaur> | it still breaks things if explicitly imported |
2022-09-01 20:39:42 +0200 | <johnw> | I think no size fits all, and engineering teams should evolve their own preludes specific to the applications they're building. If you're a library author, use what's standard. |
2022-09-01 20:39:45 +0200 | <monochrom> | How are explicit libraries any different? |
2022-09-01 20:39:57 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 258 seconds) |
2022-09-01 20:39:58 +0200 | <geekosaur> | it is literally no easier to remove something from an explicit prelude |
2022-09-01 20:40:00 +0200 | jinsun | Guest1029 |
2022-09-01 20:40:00 +0200 | jinsun__ | (~jinsun@user/jinsun) |
2022-09-01 20:40:00 +0200 | Guest1029 | (~jinsun@user/jinsun) (Killed (tantalum.libera.chat (Nickname regained by services))) |
2022-09-01 20:40:00 +0200 | jinsun__ | jinsun |
2022-09-01 20:40:19 +0200 | Topsi | (~Topsi@dyndsl-095-033-090-077.ewe-ip-backbone.de) |
2022-09-01 20:40:19 +0200 | <monochrom> | 99% of base is non-implicit and still suffers "it's a pain to change it because "it breaks too many stuff" |
2022-09-01 20:40:20 +0200 | <zzz> | geekosaur: no, legacy programs with implicit imports will continue to import the undesireable stuff, but new projects will just import UpdatedPrelude |
2022-09-01 20:40:27 +0200 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
2022-09-01 20:40:38 +0200 | <zzz> | s/will/would |
2022-09-01 20:40:57 +0200 | <monochrom> | lens suffers "it's a pain to change it because "it breaks too many stuff" |
2022-09-01 20:41:00 +0200 | <zzz> | s/implicit/explicit |
2022-09-01 20:41:15 +0200 | jinsun | (~jinsun@user/jinsun) |
2022-09-01 20:41:16 +0200 | <monochrom> | text suffers "it's a pain to change it because "it breaks too many stuff" |
2022-09-01 20:41:24 +0200 | <geekosaur> | that gets you UpdatedUpdatedUpdated...UpdatedPrelude |
2022-09-01 20:41:31 +0200 | <zzz> | geekosaur: yes |
2022-09-01 20:41:48 +0200 | <monochrom> | The only way to win is to not write software at all. |
2022-09-01 20:41:55 +0200 | <geekosaur> | I *could* see support for specifying a prelude to import, and even cabal support for that |
2022-09-01 20:42:22 +0200 | <geekosaur> | but not importing anything into ghci at all completely misses the point of ghci |
2022-09-01 20:42:35 +0200 | <yushyin> | geekosaur: we have that already with mixins, no? |
2022-09-01 20:42:36 +0200 | <geekosaur> | and the same can be said for small utility programs |
2022-09-01 20:42:50 +0200 | <geekosaur> | for the 5 people who know how to use mixins, maybe |
2022-09-01 20:44:45 +0200 | <monochrom> | Let's crank that up to one hundred and twenty one. |
2022-09-01 20:44:53 +0200 | <monochrom> | Is implicit GHC considered a wart? |
2022-09-01 20:47:08 +0200 | <monochrom> | Hrm so I'm one of the Big Five who know how to use mixins :) |
2022-09-01 20:47:33 +0200 | <johnw> | are mixins different from backpack? |
2022-09-01 20:47:55 +0200 | <monochrom> | We're going be permanent members of some United Haskellers Securty Council or something I guess >:) |
2022-09-01 20:48:14 +0200 | <yushyin> | johnw: it's a by-product of backpack :D |
2022-09-01 20:50:24 +0200 | <yushyin> | but makes it easy to change the implicit prelude to a different one |
2022-09-01 20:52:46 +0200 | <mniip> | so the story of These is that it's a coproduct in Set* and Aligned is a functor(ish) representable in Set* |
2022-09-01 20:53:00 +0200 | o-90 | (~o-90@gateway/tor-sasl/o-90) |
2022-09-01 20:53:00 +0200 | <mniip> | is there a story for working with higher arity coproducts in a way that doesn't suck? |
2022-09-01 20:56:15 +0200 | Achylles | (~Achylles_@2804:431:d724:a3e0:a3ac:a5c3:30bd:f0d9) (Quit: Leaving) |
2022-09-01 20:56:25 +0200 | <mniip> | I'm looking to write a function that is vaguely of the shape (Map k v1, ..., Map k vn) -> (Map k r1, ..., Map k rm) |
2022-09-01 20:56:53 +0200 | <mniip> | it would suck to go through These v1 (... (These vn-1 vn) ...) because that's exponentially many pattern cases |
2022-09-01 21:00:22 +0200 | <geekosaur> | ohai! (not that I know the answer) |
2022-09-01 21:01:04 +0200 | <mniip> | it's like a state machine but sideways |
2022-09-01 21:02:06 +0200 | <mniip> | in reality n=4 and m=2 but that's enough to make me struggle to manage the complexity of any ad-hoc solution |
2022-09-01 21:02:13 +0200 | <mniip> | (hi!) |
2022-09-01 21:05:29 +0200 | <mniip> | even ignoring the v1...vn bit |
2022-09-01 21:06:16 +0200 | <mniip> | is there a composable way to convert (Bool^n -> Bool^m) into ((Set k)^n -> (Set k)^m) |
2022-09-01 21:06:23 +0200 | <mniip> | assuming the input function is 0-preserving |
2022-09-01 21:06:31 +0200 | michalz | (~michalz@185.246.204.75) (Ping timeout: 252 seconds) |
2022-09-01 21:07:34 +0200 | <mniip> | this is the v~() version of the question and here we already run into questions like how to algebraically express the set of 0-preserving boolean functions |
2022-09-01 21:08:33 +0200 | michalz | (~michalz@185.246.204.75) |
2022-09-01 21:08:42 +0200 | o-90 | (~o-90@gateway/tor-sasl/o-90) (Ping timeout: 258 seconds) |
2022-09-01 21:13:06 +0200 | <mniip> | no wait |
2022-09-01 21:13:10 +0200 | <mniip> | These is a product |
2022-09-01 21:17:10 +0200 | <mniip> | do we have tensor-hom in Set*? |
2022-09-01 21:19:33 +0200 | kannon | (~NK@198-0-221-12-static.hfc.comcastbusiness.net) |
2022-09-01 21:21:26 +0200 | rustisafungus | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
2022-09-01 21:21:35 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
2022-09-01 21:22:16 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2022-09-01 21:23:04 +0200 | titibandit | (~titibandi@xdsl-84-44-227-248.nc.de) |
2022-09-01 21:23:31 +0200 | <mniip> | had to write that one down. Looks like Set* is not cartesian closed, so our ability to define n-ary functions by "currying" and consurming the arguments one by one -- is compromised |
2022-09-01 21:25:58 +0200 | rustisafungus | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 268 seconds) |
2022-09-01 21:28:20 +0200 | tdbtwlt^^ | (~tdbtwlt@c-73-237-184-20.hsd1.ga.comcast.net) |
2022-09-01 21:29:02 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
2022-09-01 21:30:16 +0200 | tdbtwlt^ | (~tdbtwlt@c-73-237-184-20.hsd1.ga.comcast.net) (Ping timeout: 268 seconds) |
2022-09-01 21:32:19 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
2022-09-01 21:33:53 +0200 | coot | (~coot@213.134.176.158) (Quit: coot) |
2022-09-01 21:38:46 +0200 | gm3 | (~gm3@2.58.185.24) (Quit: Client closed) |
2022-09-01 21:38:58 +0200 | <zzz> | oh no, <$> and == have the same priority :X |
2022-09-01 21:40:07 +0200 | neceve | (~quassel@2.26.93.14) (Ping timeout: 268 seconds) |
2022-09-01 21:40:26 +0200 | trcc | (~trcc@87-57-134-11-cable.dk.customer.tdc.net) |
2022-09-01 21:41:30 +0200 | kannon | (~NK@198-0-221-12-static.hfc.comcastbusiness.net) (Quit: leaving) |
2022-09-01 21:41:46 +0200 | mima | (~mmh@aftr-62-216-207-192.dynamic.mnet-online.de) |
2022-09-01 21:41:53 +0200 | tdbtwlt^^ | (~tdbtwlt@c-73-237-184-20.hsd1.ga.comcast.net) (Ping timeout: 255 seconds) |
2022-09-01 21:44:02 +0200 | <trcc> | https://paste.tomsmeding.com/4pLE8NSf for some reason I only get to ("Received the filename: " <> inputFilename), which is outputted. Then the terminal acts weird afterwards. Any ideas? |
2022-09-01 21:45:02 +0200 | adanwan_ | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
2022-09-01 21:45:29 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
2022-09-01 21:46:41 +0200 | <geekosaur> | the first getContents reads everything up to a control-D |
2022-09-01 21:46:51 +0200 | <geekosaur> | you want getLine |
2022-09-01 21:47:02 +0200 | <geekosaur> | (or control-Z on windows) |
2022-09-01 21:47:05 +0200 | <trcc> | ah ok |
2022-09-01 21:47:06 +0200 | <trcc> | thanks |
2022-09-01 21:49:25 +0200 | Topsi | (~Topsi@dyndsl-095-033-090-077.ewe-ip-backbone.de) (Ping timeout: 252 seconds) |
2022-09-01 21:53:03 +0200 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
2022-09-01 21:55:30 +0200 | adium | (adium@user/adium) (Write error: Connection reset by peer) |
2022-09-01 21:56:47 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
2022-09-01 21:57:39 +0200 | tdbtwlt^ | (~tdbtwlt@c-73-237-184-20.hsd1.ga.comcast.net) |
2022-09-01 22:03:00 +0200 | ix | (~ix@82-71-2-184.dsl.in-addr.zen.co.uk) (Quit: WeeChat 3.5) |
2022-09-01 22:04:06 +0200 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) |
2022-09-01 22:04:09 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-09-01 22:05:00 +0200 | gm3 | (~gm3@2.58.185.24) |
2022-09-01 22:08:26 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
2022-09-01 22:10:03 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-09-01 22:12:21 +0200 | adium | (adium@user/adium) |
2022-09-01 22:14:56 +0200 | trcc | (~trcc@87-57-134-11-cable.dk.customer.tdc.net) (Quit: Connection closed) |
2022-09-01 22:15:14 +0200 | akegalj | (~akegalj@93-138-22-32.adsl.net.t-com.hr) (Quit: leaving) |
2022-09-01 22:15:34 +0200 | ccntrq | (~Thunderbi@172.209.94.92.rev.sfr.net) (Remote host closed the connection) |
2022-09-01 22:16:59 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 255 seconds) |
2022-09-01 22:17:06 +0200 | cheater1__ | (~Username@user/cheater) |
2022-09-01 22:17:09 +0200 | cheater1__ | cheater |
2022-09-01 22:17:48 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Quit: ec) |
2022-09-01 22:28:14 +0200 | arahael | (~arahael@115-64-199-183.tpgi.com.au) (Ping timeout: 255 seconds) |
2022-09-01 22:29:32 +0200 | titibandit | (~titibandi@xdsl-84-44-227-248.nc.de) (Remote host closed the connection) |
2022-09-01 22:30:53 +0200 | toeffel | (~toeffel@user/toeffel) (Quit: quit) |
2022-09-01 22:32:19 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 252 seconds) |
2022-09-01 22:32:42 +0200 | cheater | (~Username@user/cheater) |
2022-09-01 22:32:43 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
2022-09-01 22:33:01 +0200 | GascOwn | (~gasc_own@151.16.85.124) |
2022-09-01 22:33:14 +0200 | codaraxis | (~codaraxis@user/codaraxis) |
2022-09-01 22:37:14 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 255 seconds) |
2022-09-01 22:37:55 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
2022-09-01 22:38:02 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-09-01 22:40:54 +0200 | arahael | (~arahael@60-242-185-235.tpgi.com.au) |
2022-09-01 22:47:35 +0200 | TonyStone | (~TonyStone@2603-7080-8607-c36a-a148-a5a9-53c4-68f2.res6.spectrum.com) (Ping timeout: 255 seconds) |
2022-09-01 22:49:57 +0200 | o-90 | (~o-90@gateway/tor-sasl/o-90) |
2022-09-01 22:50:58 +0200 | acidjnk | (~acidjnk@p200300d6e7137a81c0d0b58e646b3d85.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
2022-09-01 22:51:14 +0200 | acidjnk | (~acidjnk@p200300d6e7137a81043d6c871c3cb3d1.dip0.t-ipconnect.de) |
2022-09-01 22:53:26 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
2022-09-01 22:54:48 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-09-01 22:56:30 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
2022-09-01 22:58:43 +0200 | analoq | (~yashi@user/dies) |
2022-09-01 22:58:59 +0200 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Quit: WeeChat 3.5) |
2022-09-01 22:59:33 +0200 | TonyStone | (~TonyStone@2603-7080-8607-c36a-d034-9363-3fef-214e.res6.spectrum.com) |
2022-09-01 23:00:06 +0200 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) |
2022-09-01 23:00:11 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 255 seconds) |
2022-09-01 23:00:37 +0200 | cheater | (~Username@user/cheater) |
2022-09-01 23:02:09 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
2022-09-01 23:02:47 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2022-09-01 23:06:29 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
2022-09-01 23:06:56 +0200 | TonyStone | (~TonyStone@2603-7080-8607-c36a-d034-9363-3fef-214e.res6.spectrum.com) (Ping timeout: 255 seconds) |
2022-09-01 23:08:18 +0200 | o-90 | (~o-90@gateway/tor-sasl/o-90) (Ping timeout: 258 seconds) |
2022-09-01 23:09:02 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-09-01 23:11:11 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 244 seconds) |
2022-09-01 23:12:05 +0200 | janus | (janus@anubis.0x90.dk) |
2022-09-01 23:12:19 +0200 | <janus> | how do i set the equivalent of "profiling-detail: none" in stack.yaml? |
2022-09-01 23:12:24 +0200 | mikoto-chan | (~mikoto-ch@164.5.249.78) |
2022-09-01 23:12:55 +0200 | pagnol | (~me@213-205-209-87.ftth.glasoperator.nl) |
2022-09-01 23:13:41 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
2022-09-01 23:14:20 +0200 | GascOwn | (~gasc_own@151.16.85.124) (Read error: Connection reset by peer) |
2022-09-01 23:14:31 +0200 | mrmr | (~mrmr@user/mrmr) (Read error: Connection reset by peer) |
2022-09-01 23:14:47 +0200 | mrmr | (~mrmr@user/mrmr) |
2022-09-01 23:15:53 +0200 | cheater | (~Username@user/cheater) (Quit: BitchX: now with wings!) |
2022-09-01 23:16:19 +0200 | cheater | (~Username@user/cheater) |
2022-09-01 23:17:07 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2022-09-01 23:19:04 +0200 | TonyStone | (~TonyStone@2603-7080-8607-c36a-d034-9363-3fef-214e.res6.spectrum.com) |
2022-09-01 23:19:33 +0200 | MoC | (~moc@user/moc) (Quit: Konversation terminated!) |
2022-09-01 23:22:29 +0200 | pagnol | (~me@213-205-209-87.ftth.glasoperator.nl) (Ping timeout: 268 seconds) |
2022-09-01 23:23:17 +0200 | arahael | (~arahael@60-242-185-235.tpgi.com.au) (Ping timeout: 252 seconds) |
2022-09-01 23:23:45 +0200 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
2022-09-01 23:24:16 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2022-09-01 23:26:56 +0200 | mima | (~mmh@aftr-62-216-207-192.dynamic.mnet-online.de) (Remote host closed the connection) |
2022-09-01 23:35:44 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 255 seconds) |
2022-09-01 23:36:48 +0200 | <sm> | ghc-options: something something ? |
2022-09-01 23:37:40 +0200 | arahael | (~arahael@124.168.113.77) |
2022-09-01 23:43:12 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-09-01 23:47:21 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
2022-09-01 23:50:20 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2022-09-01 23:50:51 +0200 | arahael | (~arahael@124.168.113.77) (Ping timeout: 268 seconds) |
2022-09-01 23:51:06 +0200 | Kaipei | (~Kaiepi@142.68.249.28) |
2022-09-01 23:51:44 +0200 | <janus> | some invocations of ghc-options are only specific to the target though.. so i may need 'ghc-options: "$globals": ...' |
2022-09-01 23:51:53 +0200 | cheater1__ | (~Username@user/cheater) |
2022-09-01 23:53:17 +0200 | statusbot4 | (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) |
2022-09-01 23:54:01 +0200 | jinsun__ | (~jinsun@user/jinsun) |
2022-09-01 23:54:01 +0200 | jinsun | (~jinsun@user/jinsun) (Killed (silver.libera.chat (Nickname regained by services))) |
2022-09-01 23:54:01 +0200 | jinsun__ | jinsun |
2022-09-01 23:54:05 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 252 seconds) |
2022-09-01 23:54:08 +0200 | cheater1__ | cheater |
2022-09-01 23:54:11 +0200 | Kaiepi | (~Kaiepi@142.68.249.28) (Ping timeout: 255 seconds) |
2022-09-01 23:54:30 +0200 | polux8 | (~polux@51-15-169-172.rev.poneytelecom.eu) |
2022-09-01 23:54:34 +0200 | jrm2 | (~jrm@user/jrm) |
2022-09-01 23:54:40 +0200 | nek02 | (~nek0@2a01:4f8:222:2b41::12) |
2022-09-01 23:54:50 +0200 | res0nat0r08449 | (~Fletch@dia.whatbox.ca) |
2022-09-01 23:54:54 +0200 | drewolson3 | (~drewolson@user/drewolson) |
2022-09-01 23:55:05 +0200 | texasmynsted_ | (~texasmyns@99.96.221.112) |
2022-09-01 23:55:05 +0200 | edmundnoble_ | (sid229620@id-229620.helmsley.irccloud.com) |
2022-09-01 23:55:06 +0200 | christiaanb_ | (sid84827@id-84827.lymington.irccloud.com) |
2022-09-01 23:55:20 +0200 | ggb_ | (a62ffbaf4f@2604:bf00:561:2000::3ac) |
2022-09-01 23:55:20 +0200 | lukec_ | (9dfd4d094e@2604:bf00:561:2000::10e) |
2022-09-01 23:55:20 +0200 | filwisher_ | (2e6936c793@2604:bf00:561:2000::170) |
2022-09-01 23:55:20 +0200 | dawdler_ | (035b60b5aa@2604:bf00:561:2000::3b6) |
2022-09-01 23:55:20 +0200 | bsima1_ | (9d7e39c8ad@2604:bf00:561:2000::dd) |
2022-09-01 23:55:21 +0200 | samhh_ | (7569f027cf@2604:bf00:561:2000::e4) |
2022-09-01 23:55:34 +0200 | shreyasminocha_ | (51fdc93eda@user/shreyasminocha) |
2022-09-01 23:55:34 +0200 | jkoshy_ | (99b9359beb@user/jkoshy) |
2022-09-01 23:55:40 +0200 | matijja` | (~matijja@193.77.181.201) |
2022-09-01 23:55:42 +0200 | tdmm_ | (1c9b9145fc@2604:bf00:561:2000::1c8) |
2022-09-01 23:55:42 +0200 | fluffyballoon_ | (45ce440a48@2604:bf00:561:2000::e2) |
2022-09-01 23:55:43 +0200 | sooch__ | (sid533113@id-533113.hampstead.irccloud.com) |
2022-09-01 23:55:48 +0200 | glowcoil_ | (sid3405@id-3405.tinside.irccloud.com) |
2022-09-01 23:55:48 +0200 | ysh____ | (sid6017@id-6017.ilkley.irccloud.com) |
2022-09-01 23:55:48 +0200 | acertain_ | (sid470584@id-470584.hampstead.irccloud.com) |
2022-09-01 23:55:49 +0200 | jmtd | (jon@dow.land) |
2022-09-01 23:55:50 +0200 | jleightcap_ | (7bc4014b62@user/jleightcap) |
2022-09-01 23:55:50 +0200 | Ankhers_ | (e99e97ef8e@2604:bf00:561:2000::2a2) |
2022-09-01 23:55:50 +0200 | evanrelf_ | (3addc196af@2604:bf00:561:2000::f0) |
2022-09-01 23:55:50 +0200 | n1essa_ | (3d621153a5@2604:bf00:561:2000::df7) |
2022-09-01 23:55:50 +0200 | ymherklotz_ | (cb2c9cfbdd@2604:bf00:561:2000::29a) |
2022-09-01 23:55:50 +0200 | jakzale_ | (6291399afa@user/jakzale) |
2022-09-01 23:55:51 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
2022-09-01 23:55:55 +0200 | fvr_ | (ef3e56ca8b@2604:bf00:561:2000::3c4) |
2022-09-01 23:55:55 +0200 | b0o_ | (0e4a0bf4c9@2604:bf00:561:2000::1bf) |
2022-09-01 23:55:55 +0200 | MonsoonSecrecy_ | (f78c86e960@2604:bf00:561:2000::f99) |
2022-09-01 23:56:01 +0200 | bbhoss_ | (sid18216@id-18216.tinside.irccloud.com) |
2022-09-01 23:56:06 +0200 | telser_ | (~quassel@user/telser) |
2022-09-01 23:56:09 +0200 | matthews2 | (~matthews@gentoo/developer/matthew) |
2022-09-01 23:56:09 +0200 | feliix42 | (~felix@gibbs.uberspace.de) |
2022-09-01 23:56:09 +0200 | hendi_ | (sid489601@id-489601.lymington.irccloud.com) |
2022-09-01 23:56:10 +0200 | integral_ | (sid296274@id-296274.lymington.irccloud.com) |
2022-09-01 23:56:12 +0200 | Pent_ | (sid313808@id-313808.lymington.irccloud.com) |
2022-09-01 23:56:13 +0200 | zero | (~z@user/zero) |
2022-09-01 23:56:19 +0200 | orcus | (~orcus@user/brprice) |
2022-09-01 23:56:19 +0200 | cln_ | (sid336875@id-336875.ilkley.irccloud.com) |
2022-09-01 23:56:19 +0200 | kristjansson_ | (sid126207@id-126207.tinside.irccloud.com) |
2022-09-01 23:56:20 +0200 | PotatoGim_ | (sid99505@id-99505.lymington.irccloud.com) |
2022-09-01 23:56:25 +0200 | taeaad_ | (~taeaad@user/taeaad) |
2022-09-01 23:56:25 +0200 | hexeme_ | (~hexeme@user/hexeme) |
2022-09-01 23:56:27 +0200 | YoungFrawg | (~youngfrog@2a02:a03f:c21b:f900:d87c:4e75:f46f:408a) |
2022-09-01 23:56:27 +0200 | poscat0x04 | (~poscat@114.245.109.80) |
2022-09-01 23:56:27 +0200 | anderson_ | (~ande@user/anderson) |
2022-09-01 23:56:29 +0200 | sajith- | (~sajith@user/sajith) |
2022-09-01 23:56:31 +0200 | Taneb0 | (~Taneb@runciman.hacksoc.org) |
2022-09-01 23:56:31 +0200 | SethTisue_ | (sid14912@ilkley.irccloud.com) |
2022-09-01 23:56:34 +0200 | wafflepirate_ | (sid467876@id-467876.ilkley.irccloud.com) |
2022-09-01 23:56:35 +0200 | dispater- | (~dispater@mail.brprice.uk) |
2022-09-01 23:56:38 +0200 | gmc_ | (sid58314@id-58314.ilkley.irccloud.com) |
2022-09-01 23:56:40 +0200 | gm3 | (~gm3@2.58.185.24) (Quit: Client closed) |
2022-09-01 23:56:41 +0200 | nek0 | (~nek0@2a01:4f8:222:2b41::12) (Killed (NickServ (GHOST command used by nek02))) |
2022-09-01 23:56:45 +0200 | nek02 | nek0 |
2022-09-01 23:56:49 +0200 | agander_m_ | (sid407952@id-407952.tinside.irccloud.com) |
2022-09-01 23:56:51 +0200 | sa_ | (sid1055@id-1055.tinside.irccloud.com) |
2022-09-01 23:56:51 +0200 | Athas_ | (athas@2a01:7c8:aaac:1cf:239a:5046:d32e:432e) |
2022-09-01 23:57:00 +0200 | quintasan_ | (~quassel@quintasan.pl) |
2022-09-01 23:57:03 +0200 | qwedfg_ | (~qwedfg@user/qwedfg) |
2022-09-01 23:57:03 +0200 | SrPx_ | (sid108780@id-108780.uxbridge.irccloud.com) |
2022-09-01 23:57:10 +0200 | lottaquestions_ | (~nick@2607:fa49:503e:7100:1134:a996:3e20:f719) |
2022-09-01 23:57:20 +0200 | auri_ | (~auri@fsf/member/auri) |
2022-09-01 23:57:35 +0200 | whereiseveryone_ | (206ba86c98@2604:bf00:561:2000::2e4) |
2022-09-01 23:57:41 +0200 | defanor_ | (~defanor@tart.uberspace.net) |
2022-09-01 23:57:50 +0200 | sammelweis_ | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
2022-09-01 23:57:59 +0200 | meejah_ | (~meejah@rutas.meejah.ca) |
2022-09-01 23:58:00 +0200 | bsima- | (~bsima@2604:a880:400:d0::19f1:7001) |
2022-09-01 23:58:06 +0200 | nshepper1 | (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) |
2022-09-01 23:58:09 +0200 | laman1 | (~laman@rego.ai) |
2022-09-01 23:58:13 +0200 | scobydoo | (~whatsupbo@user/scobydoo) |
2022-09-01 23:58:14 +0200 | kawzeg_ | (kawzeg@2a01:7e01::f03c:92ff:fee2:ec34) |
2022-09-01 23:58:17 +0200 | sshine_ | (~simon@exocortex.online) |
2022-09-01 23:58:18 +0200 | Gowilla | (~ganesh@urchin.earth.li) |
2022-09-01 23:58:18 +0200 | sviermsung | (E3Ya4Aww1k@user/s4msung) |
2022-09-01 23:58:21 +0200 | vjok1 | (~vjoki@2a00:d880:3:1::fea1:9ae) |
2022-09-01 23:58:25 +0200 | bwe_ | (~bwe@2a01:4f8:1c1c:4878::2) |
2022-09-01 23:58:32 +0200 | nefercheprure | (tma@twin.jikos.cz) |
2022-09-01 23:58:43 +0200 | raehik1 | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
2022-09-01 23:58:56 +0200 | poscat | (~poscat@2408:8206:4821:6e31:cce:2afe:4f78:9c82) (Ping timeout: 244 seconds) |
2022-09-01 23:58:56 +0200 | jespada | (~jespada@cpc121060-nmal24-2-0-cust249.19-2.cable.virginm.net) (Ping timeout: 244 seconds) |
2022-09-01 23:58:56 +0200 | Jon | (jon@dow.land) (Ping timeout: 244 seconds) |
2022-09-01 23:58:56 +0200 | x88x88x | (~x88x88x@2001:19f0:5:39a8:5400:3ff:feb6:73cb) (Ping timeout: 244 seconds) |
2022-09-01 23:58:56 +0200 | hendi | (sid489601@id-489601.lymington.irccloud.com) (Ping timeout: 244 seconds) |
2022-09-01 23:58:56 +0200 | acertain | (sid470584@id-470584.hampstead.irccloud.com) (Ping timeout: 244 seconds) |
2022-09-01 23:58:56 +0200 | christiaanb | (sid84827@id-84827.lymington.irccloud.com) (Ping timeout: 244 seconds) |
2022-09-01 23:58:56 +0200 | gmc | (sid58314@id-58314.ilkley.irccloud.com) (Ping timeout: 244 seconds) |
2022-09-01 23:58:56 +0200 | ysh___ | (sid6017@id-6017.ilkley.irccloud.com) (Ping timeout: 244 seconds) |
2022-09-01 23:58:56 +0200 | ryantrinkle | (~ryan@2607:f00:3:14c0:7c6b:7160:d1ff:3f7) (Ping timeout: 244 seconds) |
2022-09-01 23:58:56 +0200 | Taneb | (~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0) (Ping timeout: 244 seconds) |
2022-09-01 23:58:56 +0200 | MonsoonSecrecy | (f78c86e960@2604:bf00:561:2000::f99) (Ping timeout: 244 seconds) |
2022-09-01 23:58:56 +0200 | sndr | (~sander@user/sander) (Ping timeout: 244 seconds) |
2022-09-01 23:58:56 +0200 | agander_m | (sid407952@id-407952.tinside.irccloud.com) (Ping timeout: 244 seconds) |
2022-09-01 23:58:56 +0200 | integral | (sid296274@user/integral) (Ping timeout: 244 seconds) |
2022-09-01 23:58:56 +0200 | cln | (sid336875@id-336875.ilkley.irccloud.com) (Ping timeout: 244 seconds) |
2022-09-01 23:58:56 +0200 | sa | (sid1055@id-1055.tinside.irccloud.com) (Ping timeout: 244 seconds) |
2022-09-01 23:58:56 +0200 | jleightcap | (7bc4014b62@user/jleightcap) (Ping timeout: 244 seconds) |
2022-09-01 23:58:56 +0200 | jakzale | (6291399afa@user/jakzale) (Ping timeout: 244 seconds) |
2022-09-01 23:58:56 +0200 | evanrelf | (3addc196af@2604:bf00:561:2000::f0) (Ping timeout: 244 seconds) |
2022-09-01 23:58:56 +0200 | ymherklotz | (cb2c9cfbdd@2604:bf00:561:2000::29a) (Ping timeout: 244 seconds) |
2022-09-01 23:58:56 +0200 | samhh | (7569f027cf@2604:bf00:561:2000::e4) (Ping timeout: 244 seconds) |
2022-09-01 23:58:56 +0200 | filwisher | (2e6936c793@2604:bf00:561:2000::170) (Ping timeout: 244 seconds) |
2022-09-01 23:58:56 +0200 | lukec | (9dfd4d094e@2604:bf00:561:2000::10e) (Ping timeout: 244 seconds) |
2022-09-01 23:58:56 +0200 | bsima1 | (9d7e39c8ad@2604:bf00:561:2000::dd) (Ping timeout: 244 seconds) |
2022-09-01 23:58:56 +0200 | Athas | (athas@sigkill.dk) (Ping timeout: 244 seconds) |
2022-09-01 23:58:56 +0200 | sajith | (~sajith@user/sajith) (Ping timeout: 244 seconds) |
2022-09-01 23:58:57 +0200 | orcus- | (~orcus@user/brprice) (Ping timeout: 244 seconds) |
2022-09-01 23:58:57 +0200 | hexeme | (~hexeme@user/hexeme) (Ping timeout: 244 seconds) |
2022-09-01 23:58:57 +0200 | qwedfg | (~qwedfg@user/qwedfg) (Ping timeout: 244 seconds) |
2022-09-01 23:58:57 +0200 | edmundnoble | (sid229620@id-229620.helmsley.irccloud.com) (Ping timeout: 244 seconds) |
2022-09-01 23:58:57 +0200 | nibelungen | (~asturias@2001:19f0:7001:638:5400:3ff:fef3:8725) (Ping timeout: 244 seconds) |
2022-09-01 23:58:57 +0200 | jkoshy | (99b9359beb@user/jkoshy) (Ping timeout: 244 seconds) |
2022-09-01 23:58:57 +0200 | fluffyballoon | (45ce440a48@2604:bf00:561:2000::e2) (Ping timeout: 244 seconds) |
2022-09-01 23:58:57 +0200 | tdmm | (1c9b9145fc@2604:bf00:561:2000::1c8) (Ping timeout: 244 seconds) |
2022-09-01 23:58:57 +0200 | b0o | (0e4a0bf4c9@2604:bf00:561:2000::1bf) (Ping timeout: 244 seconds) |
2022-09-01 23:58:57 +0200 | shreyasminocha | (51fdc93eda@user/shreyasminocha) (Ping timeout: 244 seconds) |
2022-09-01 23:58:57 +0200 | SethTisue | (sid14912@id-14912.ilkley.irccloud.com) (Ping timeout: 244 seconds) |
2022-09-01 23:58:57 +0200 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 244 seconds) |
2022-09-01 23:58:57 +0200 | robertm | (robertm@lattice.rojoma.com) (Ping timeout: 244 seconds) |
2022-09-01 23:58:57 +0200 | PotatoGim | (sid99505@id-99505.lymington.irccloud.com) (Ping timeout: 244 seconds) |
2022-09-01 23:58:57 +0200 | SrPx | (sid108780@id-108780.uxbridge.irccloud.com) (Ping timeout: 244 seconds) |
2022-09-01 23:58:57 +0200 | yahb2 | (~yahb2@2a01:4f8:c0c:5c7b::2) (Ping timeout: 244 seconds) |
2022-09-01 23:58:57 +0200 | lieven | (~mal@ns2.wyrd.be) (Ping timeout: 244 seconds) |
2022-09-01 23:58:57 +0200 | s4msung | (oruFimO38n@user/s4msung) (Ping timeout: 244 seconds) |
2022-09-01 23:58:57 +0200 | kawzeg | (kawzeg@2a01:7e01::f03c:92ff:fee2:ec34) (Ping timeout: 244 seconds) |
2022-09-01 23:58:57 +0200 | leah2 | (~leah@vuxu.org) (Ping timeout: 244 seconds) |
2022-09-01 23:58:57 +0200 | rodental | (~rodental@38.146.5.222) (Ping timeout: 244 seconds) |
2022-09-01 23:58:57 +0200 | nshepperd | (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) (Ping timeout: 244 seconds) |
2022-09-01 23:58:57 +0200 | mht-wtf | (~mht@mht.wtf) (Ping timeout: 244 seconds) |
2022-09-01 23:58:57 +0200 | |beowulf| | (~ircuser@sourcemage/mage/beowulf) (Ping timeout: 244 seconds) |
2022-09-01 23:58:57 +0200 | Pent | (sid313808@id-313808.lymington.irccloud.com) (Ping timeout: 244 seconds) |
2022-09-01 23:58:57 +0200 | teddyc | (theodorc@cassarossa.samfundet.no) (Ping timeout: 244 seconds) |
2022-09-01 23:58:57 +0200 | laman | (~laman@rego.ai) (Ping timeout: 244 seconds) |
2022-09-01 23:58:57 +0200 | Guest585 | (~mike@user/feetwind) (Ping timeout: 244 seconds) |
2022-09-01 23:58:57 +0200 | whatsupboy | (~whatsupbo@user/scobydoo) (Ping timeout: 244 seconds) |
2022-09-01 23:58:57 +0200 | n1essa | (3d621153a5@2604:bf00:561:2000::df7) (Ping timeout: 244 seconds) |
2022-09-01 23:58:57 +0200 | whereiseveryone | (206ba86c98@2604:bf00:561:2000::2e4) (Ping timeout: 244 seconds) |
2022-09-01 23:58:57 +0200 | sshine | (~simon@exocortex.online) (Ping timeout: 244 seconds) |
2022-09-01 23:58:57 +0200 | lyxia | (~lyxia@poisson.chat) (Ping timeout: 244 seconds) |
2022-09-01 23:58:57 +0200 | meejah | (~meejah@rutas.meejah.ca) (Ping timeout: 244 seconds) |
2022-09-01 23:58:57 +0200 | YoungFrog | (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) (Ping timeout: 244 seconds) |
2022-09-01 23:58:57 +0200 | kristjansson | (sid126207@id-126207.tinside.irccloud.com) (Ping timeout: 244 seconds) |
2022-09-01 23:58:57 +0200 | Heffalump | (~ganesh@urchin.earth.li) (Ping timeout: 244 seconds) |
2022-09-01 23:58:57 +0200 | matijja | (~matijja@193.77.181.201) (Ping timeout: 244 seconds) |
2022-09-01 23:58:58 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 244 seconds) |
2022-09-01 23:58:58 +0200 | wafflepirate | (sid467876@id-467876.ilkley.irccloud.com) (Ping timeout: 244 seconds) |
2022-09-01 23:58:58 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 244 seconds) |
2022-09-01 23:58:58 +0200 | zaquest | (~notzaques@5.130.79.72) (Ping timeout: 244 seconds) |
2022-09-01 23:58:58 +0200 | lottaquestions | (~nick@2607:fa49:503e:7100:8a8:aba4:ac00:def5) (Ping timeout: 244 seconds) |
2022-09-01 23:58:58 +0200 | feliix42_ | (~felix@gibbs.uberspace.de) (Ping timeout: 244 seconds) |
2022-09-01 23:58:58 +0200 | zzz | (~z@user/zero) (Ping timeout: 244 seconds) |
2022-09-01 23:58:58 +0200 | texasmynsted | (~texasmyns@99.96.221.112) (Ping timeout: 244 seconds) |
2022-09-01 23:58:58 +0200 | vjoki | (~vjoki@2a00:d880:3:1::fea1:9ae) (Ping timeout: 244 seconds) |
2022-09-01 23:58:58 +0200 | catern | (~sbaugh@2604:2000:8fc0:b:a9c7:866a:bf36:3407) (Ping timeout: 244 seconds) |
2022-09-01 23:58:58 +0200 | davean | (~davean@davean.sciesnet.net) (Ping timeout: 244 seconds) |
2022-09-01 23:58:58 +0200 | bwe | (~bwe@2a01:4f8:1c1c:4878::2) (Ping timeout: 244 seconds) |
2022-09-01 23:58:58 +0200 | landonf | (landonf@mac68k.info) (Ping timeout: 244 seconds) |
2022-09-01 23:58:58 +0200 | bsima | (~bsima@143.198.118.179) (Ping timeout: 244 seconds) |
2022-09-01 23:58:58 +0200 | auri | (~auri@fsf/member/auri) (Ping timeout: 244 seconds) |
2022-09-01 23:58:58 +0200 | Square | (~a@user/square) (Ping timeout: 244 seconds) |
2022-09-01 23:58:58 +0200 | anderson | (~ande@user/anderson) (Ping timeout: 244 seconds) |
2022-09-01 23:58:58 +0200 | Hafydd_ | (jc@user/hafydd) (Ping timeout: 244 seconds) |
2022-09-01 23:58:58 +0200 | bbhoss | (sid18216@id-18216.tinside.irccloud.com) (Ping timeout: 244 seconds) |
2022-09-01 23:58:58 +0200 | dispater | (~dispater@user/brprice) (Ping timeout: 244 seconds) |
2022-09-01 23:58:58 +0200 | sooch_ | (sid533113@id-533113.hampstead.irccloud.com) (Ping timeout: 244 seconds) |
2022-09-01 23:58:58 +0200 | glowcoil | (sid3405@id-3405.tinside.irccloud.com) (Ping timeout: 244 seconds) |
2022-09-01 23:58:58 +0200 | CAT_S | (apic@brezn3.muc.ccc.de) (Ping timeout: 244 seconds) |
2022-09-01 23:58:58 +0200 | defanor | (~defanor@tart.uberspace.net) (Ping timeout: 244 seconds) |
2022-09-01 23:58:58 +0200 | Ankhers | (e99e97ef8e@2604:bf00:561:2000::2a2) (Ping timeout: 244 seconds) |
2022-09-01 23:58:58 +0200 | fvr | (ef3e56ca8b@2604:bf00:561:2000::3c4) (Ping timeout: 244 seconds) |
2022-09-01 23:58:58 +0200 | ggb | (a62ffbaf4f@2604:bf00:561:2000::3ac) (Ping timeout: 244 seconds) |
2022-09-01 23:58:58 +0200 | dawdler | (035b60b5aa@user/dawdler) (Ping timeout: 244 seconds) |
2022-09-01 23:58:58 +0200 | sm[i]_ | (~user@li229-222.members.linode.com) (Ping timeout: 244 seconds) |
2022-09-01 23:58:58 +0200 | jrm | (~jrm@user/jrm) (Ping timeout: 244 seconds) |
2022-09-01 23:58:58 +0200 | TMA | (tma@twin.jikos.cz) (Ping timeout: 244 seconds) |
2022-09-01 23:58:58 +0200 | matthews | (~matthews@gentoo/developer/matthew) (Ping timeout: 244 seconds) |
2022-09-01 23:58:58 +0200 | cross | (~cross@spitfire.i.gajendra.net) (Ping timeout: 244 seconds) |
2022-09-01 23:58:59 +0200 | polux | (~polux@51-15-169-172.rev.poneytelecom.eu) (Ping timeout: 244 seconds) |
2022-09-01 23:58:59 +0200 | quintasan | (~quassel@quintasan.pl) (Ping timeout: 244 seconds) |
2022-09-01 23:58:59 +0200 | Aleksejs | (~Aleksejs@107.170.21.106) (Ping timeout: 244 seconds) |
2022-09-01 23:58:59 +0200 | telser | (~quassel@user/telser) (Ping timeout: 244 seconds) |
2022-09-01 23:58:59 +0200 | res0nat0r0844 | (~Fletch@dia.whatbox.ca) (Ping timeout: 244 seconds) |
2022-09-01 23:58:59 +0200 | taeaad | (~taeaad@user/taeaad) (Ping timeout: 244 seconds) |
2022-09-01 23:58:59 +0200 | drewolson | (~drewolson@user/drewolson) (Ping timeout: 244 seconds) |
2022-09-01 23:58:59 +0200 | Qudit | (~user@user/Qudit) (Ping timeout: 244 seconds) |
2022-09-01 23:58:59 +0200 | statusbot | (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) (Ping timeout: 244 seconds) |
2022-09-01 23:58:59 +0200 | lieven | (~mal@ns2.wyrd.be) |
2022-09-01 23:58:59 +0200 | christiaanb_ | christiaanb |
2022-09-01 23:58:59 +0200 | MonsoonSecrecy_ | MonsoonSecrecy |
2022-09-01 23:58:59 +0200 | gmc_ | gmc |
2022-09-01 23:58:59 +0200 | jleightcap_ | jleightcap |
2022-09-01 23:58:59 +0200 | acertain_ | acertain |
2022-09-01 23:58:59 +0200 | hendi_ | hendi |
2022-09-01 23:58:59 +0200 | ymherklotz_ | ymherklotz |
2022-09-01 23:58:59 +0200 | bsima1_ | bsima1 |
2022-09-01 23:58:59 +0200 | samhh_ | samhh |
2022-09-01 23:58:59 +0200 | jkoshy_ | jkoshy |
2022-09-01 23:58:59 +0200 | fluffyballoon_ | fluffyballoon |
2022-09-01 23:58:59 +0200 | tdmm_ | tdmm |
2022-09-01 23:58:59 +0200 | lukec_ | lukec |
2022-09-01 23:58:59 +0200 | n1essa_ | n1essa |
2022-09-01 23:58:59 +0200 | YoungFrawg | YoungFrog |
2022-09-01 23:58:59 +0200 | vjok1 | vjoki |
2022-09-01 23:58:59 +0200 | b0o_ | b0o |
2022-09-01 23:59:00 +0200 | bbhoss_ | bbhoss |
2022-09-01 23:59:00 +0200 | fvr_ | fvr |
2022-09-01 23:59:00 +0200 | sa_ | sa |
2022-09-01 23:59:00 +0200 | edmundnoble_ | edmundnoble |
2022-09-01 23:59:00 +0200 | wafflepirate_ | wafflepirate |
2022-09-01 23:59:00 +0200 | sooch__ | sooch_ |
2022-09-01 23:59:02 +0200 | SrPx_ | SrPx |
2022-09-01 23:59:03 +0200 | glowcoil_ | glowcoil |
2022-09-01 23:59:03 +0200 | evanrelf_ | evanrelf |
2022-09-01 23:59:03 +0200 | jakzale_ | jakzale |
2022-09-01 23:59:03 +0200 | Ankhers_ | Ankhers |
2022-09-01 23:59:03 +0200 | shreyasminocha_ | shreyasminocha |
2022-09-01 23:59:04 +0200 | integral_ | integral |
2022-09-01 23:59:04 +0200 | jespada_ | (~jespada@77.97.36.250) |
2022-09-01 23:59:04 +0200 | SethTisue_ | SethTisue |
2022-09-01 23:59:04 +0200 | jrm2 | jrm |
2022-09-01 23:59:04 +0200 | polux8 | polux |
2022-09-01 23:59:04 +0200 | drewolson3 | drewolson |
2022-09-01 23:59:08 +0200 | cross_ | (~cross@spitfire.i.gajendra.net) |
2022-09-01 23:59:10 +0200 | nibelungen | (~asturias@2001:19f0:7001:638:5400:3ff:fef3:8725) |
2022-09-01 23:59:14 +0200 | integral | (sid296274@id-296274.lymington.irccloud.com) (Changing host) |
2022-09-01 23:59:14 +0200 | integral | (sid296274@user/integral) |
2022-09-01 23:59:29 +0200 | robertm | (robertm@lattice.rojoma.com) |
2022-09-01 23:59:35 +0200 | mht-wtf | (~mht@2a03:b0c0:3:e0::1e2:c001) |
2022-09-01 23:59:40 +0200 | Aleksejs | (~Aleksejs@107.170.21.106) |
2022-09-01 23:59:55 +0200 | yahb2 | (~yahb2@2a01:4f8:c0c:5c7b::2) |
2022-09-01 23:59:59 +0200 | sander | (~sander@user/sander) |