| 2023-10-12 00:02:05 +0000 | <solrize> | > fix error |
| 2023-10-12 00:02:07 +0000 | <lambdabot> | "*Exception: *Exception: *Exception: *Exception: *Exception: *Exception: *Ex... |
| 2023-10-12 00:04:43 +0000 | hiyori | (~hiyori@user/hiyori) (Ping timeout: 245 seconds) |
| 2023-10-12 00:10:25 +0000 | <davean> | Inst: People didn't like Yesod's style at the time - its super anti-haskell |
| 2023-10-12 00:11:28 +0000 | myxokephale | (~myxos@cpe-65-28-251-121.cinci.res.rr.com) (Quit: myxokephale) |
| 2023-10-12 00:12:12 +0000 | Inst | (~Inst@120.244.192.250) (Ping timeout: 240 seconds) |
| 2023-10-12 00:12:36 +0000 | <monochrom> | And conversely, a lot of other people like a lot of web/html templating and came from that background (just look at how PHP started out), so they were attracted to Yesod. |
| 2023-10-12 00:17:00 +0000 | zer0bitz_ | (~zer0bitz@user/zer0bitz) |
| 2023-10-12 00:19:17 +0000 | <solrize> | you mean the like yesod more now? it was hacky but it did a lot iirc |
| 2023-10-12 00:20:29 +0000 | zer0bitz | (~zer0bitz@user/zer0bitz) (Ping timeout: 248 seconds) |
| 2023-10-12 00:20:31 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-10-12 00:20:31 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-10-12 00:20:31 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-10-12 00:21:20 +0000 | <monochrom> | Oh, usually the hacky ways are the ways that get a lot more done haha. |
| 2023-10-12 00:21:33 +0000 | <monochrom> | Just look at C. >:D |
| 2023-10-12 00:21:58 +0000 | <monochrom> | Even C++ started out as a meta-hack. |
| 2023-10-12 00:22:58 +0000 | <monochrom> | But I bet: Those same people haven't changed. But the set of all people changed. |
| 2023-10-12 00:24:46 +0000 | stites | (~stites@130.44.147.204) (Read error: Connection reset by peer) |
| 2023-10-12 00:24:56 +0000 | stites | (~stites@130.44.147.204) |
| 2023-10-12 00:25:41 +0000 | <solrize> | pipes avoided the hacks and could in principle could have been extended to do the same stuff, i thought. but i never used either |
| 2023-10-12 00:29:00 +0000 | stites | (~stites@130.44.147.204) (Ping timeout: 248 seconds) |
| 2023-10-12 00:29:17 +0000 | derpyxdhs | (~Thunderbi@user/derpyxdhs) |
| 2023-10-12 00:29:59 +0000 | stites | (~stites@2607:fb90:ad61:8a6e:9493:31c0:7f1b:f1e6) |
| 2023-10-12 00:30:06 +0000 | <EvanR> | pipes as a web server? or template language or |
| 2023-10-12 00:30:27 +0000 | <solrize> | pipes as an alternative to conduit |
| 2023-10-12 00:30:35 +0000 | <monochrom> | linear pipes can web the world! >:) |
| 2023-10-12 00:30:40 +0000 | <solrize> | hhe |
| 2023-10-12 00:30:41 +0000 | <solrize> | heh |
| 2023-10-12 00:31:09 +0000 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2023-10-12 00:31:53 +0000 | <EvanR> | linear pipes, is that a thing yet |
| 2023-10-12 00:32:05 +0000 | stites | (~stites@2607:fb90:ad61:8a6e:9493:31c0:7f1b:f1e6) (Read error: Connection reset by peer) |
| 2023-10-12 00:32:26 +0000 | stites | (~stites@130.44.147.204) |
| 2023-10-12 00:34:44 +0000 | <geekosaur> | is pipes even being maintained? I thought conduit won the war |
| 2023-10-12 00:35:10 +0000 | <EvanR> | then I should probably learn how to actually use pipes before it ceases to compile |
| 2023-10-12 00:35:27 +0000 | <solrize> | yeah i think pipes got overcomplicated |
| 2023-10-12 00:35:37 +0000 | <solrize> | and is somewhat abandoned now |
| 2023-10-12 00:36:26 +0000 | hugo- | (znc@verdigris.lysator.liu.se) (Ping timeout: 260 seconds) |
| 2023-10-12 00:37:24 +0000 | <mauke> | that reminds me, I think I still have an open PR in streaming |
| 2023-10-12 00:37:37 +0000 | <jackdk> | I have always found pipes overcomplicated and hard to use. See also: https://www.haskellforall.com/2023/10/my-views-on-neohaskell.html -> "I learned this the hard way when I tried to shoehorn everything into my pipes package and realized that it was a huge mistake" |
| 2023-10-12 00:37:55 +0000 | <jackdk> | Where the package author regrets pipes' design but does not go into detail |
| 2023-10-12 00:38:39 +0000 | <jackdk> | mauke: I have one and you have two. Do you know if streaming gets much love these days? It is easily my favourite take on the streaming problem. |
| 2023-10-12 00:41:11 +0000 | <mauke> | given that I've had no response since july 5, it looks pretty dead |
| 2023-10-12 00:42:09 +0000 | <jackdk> | I think I've seen treeowl commenting on Haskell stuff in recent memory, have you tried pinging him again? |
| 2023-10-12 00:43:39 +0000 | <mauke> | I just did :-) |
| 2023-10-12 00:49:15 +0000 | <EvanR> | I wonder if there's a micropipes or something because damn |
| 2023-10-12 00:49:26 +0000 | <EvanR> | that's a lot of type variables |
| 2023-10-12 00:49:40 +0000 | <EvanR> | and they're not all different letters |
| 2023-10-12 00:50:26 +0000 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-10-12 00:50:26 +0000 | <jackdk> | I don't think I've ever needed bidirectional streaming, and if you cut that many variables go away. |
| 2023-10-12 00:51:20 +0000 | <mauke> | isn't streaming like micropipes? |
| 2023-10-12 00:51:36 +0000 | <jackdk> | I'd say so - the core type is pretty simple and in the worst case you can pattern-match your way to victory |
| 2023-10-12 00:52:39 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds) |
| 2023-10-12 00:53:20 +0000 | <jackdk> | I think also that the pipes/conduit style of "I have separate 'input' and 'output' type variables" makes it hard to do some things that I really want, like chunking without giving up perfect streaming. compare the grouping API of streaming with the lens/freeT-based one in pipes-group |
| 2023-10-12 00:53:23 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2023-10-12 00:54:38 +0000 | puke | (~puke@user/puke) (Remote host closed the connection) |
| 2023-10-12 00:54:59 +0000 | puke | (~puke@user/puke) |
| 2023-10-12 00:56:17 +0000 | puke | (~puke@user/puke) (Max SendQ exceeded) |
| 2023-10-12 00:57:58 +0000 | puke | (~puke@user/puke) |
| 2023-10-12 00:58:42 +0000 | <EvanR> | what is perfect streaming |
| 2023-10-12 00:59:16 +0000 | puke | (~puke@user/puke) (Max SendQ exceeded) |
| 2023-10-12 01:00:49 +0000 | <mauke> | yield elements to downstream consumers as soon as possible, without building intermediate structures in memory or performing additional effects |
| 2023-10-12 01:00:58 +0000 | puke | (~puke@user/puke) |
| 2023-10-12 01:02:35 +0000 | <mauke> | consider something that streams lines from stdin and the equivalent of a 'group' operation |
| 2023-10-12 01:03:15 +0000 | <mauke> | it should be able to 'yield' the first line of input immediately, without reading any further input |
| 2023-10-12 01:03:45 +0000 | <EvanR> | how does pipes fail at that |
| 2023-10-12 01:04:23 +0000 | <mauke> | I don't think pipes has "native" support for chunking |
| 2023-10-12 01:04:57 +0000 | <mauke> | and if you build it wrong, you'll accumulate equal lines until you get a different one before yielding the first group |
| 2023-10-12 01:05:14 +0000 | harveypwca_ | (~harveypwc@2601:246:c280:6a90:837d:db39:3eea:f7db) (Quit: Leaving) |
| 2023-10-12 01:09:07 +0000 | <jackdk> | There's a separate pipes-group library with a truly spectacular type signature: https://hackage.haskell.org/package/pipes-group-1.0.12/docs/Pipes-Group.html#v:groups |
| 2023-10-12 01:10:13 +0000 | <EvanR> | >Group elements without collecting them into memory |
| 2023-10-12 01:10:18 +0000 | <EvanR> | how... |
| 2023-10-12 01:12:55 +0000 | <jackdk> | by knowing when to yield vs start a new group |
| 2023-10-12 01:15:35 +0000 | jinsun | (~jinsun@user/jinsun) (Ping timeout: 240 seconds) |
| 2023-10-12 01:16:24 +0000 | haritzondo | (~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220) |
| 2023-10-12 01:16:30 +0000 | <EvanR> | it's cool that pipes-group doesn't depend on lens I guess |
| 2023-10-12 01:16:41 +0000 | haritz | (~hrtz@user/haritz) (Ping timeout: 260 seconds) |
| 2023-10-12 01:16:58 +0000 | <EvanR> | and then the docs don't have the Lens type linked |
| 2023-10-12 01:17:40 +0000 | <jackdk> | that's because you can define `type Lens s t a b = forall f . Functor f => (a -> f b) -> s -> f t` in your code and it will play nicely with any van Laarhoven lens library. |
| 2023-10-12 01:18:13 +0000 | <geekosaur> | microlens comes to mind |
| 2023-10-12 01:18:29 +0000 | <EvanR> | I heard of that, unfortunate for the documentation though |
| 2023-10-12 01:19:12 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-10-12 01:20:09 +0000 | <mauke> | https://hackage.haskell.org/package/streaming-0.2.4.0/docs/Streaming-Prelude.html#v:group |
| 2023-10-12 01:21:43 +0000 | ph88^ | (~ph88@2a02:8109:9e26:c800:4032:6e4:4abc:bb40) |
| 2023-10-12 01:21:50 +0000 | otto_s | (~user@p4ff272d5.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2023-10-12 01:22:34 +0000 | YuutaW | (~YuutaW@2404:f4c0:f9c3:502::100:17b7) (Ping timeout: 258 seconds) |
| 2023-10-12 01:23:20 +0000 | otto_s | (~user@p5b0447b7.dip0.t-ipconnect.de) |
| 2023-10-12 01:23:46 +0000 | <EvanR> | that doesn't even use lens smh |
| 2023-10-12 01:23:50 +0000 | YuutaW | (~YuutaW@mail.yuuta.moe) |
| 2023-10-12 01:23:51 +0000 | ph88 | (~ph88@2a01:598:b034:e155:39dc:f437:99ae:bc1f) (Ping timeout: 240 seconds) |
| 2023-10-12 01:28:50 +0000 | otto_s | (~user@p5b0447b7.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 2023-10-12 01:30:29 +0000 | otto_s | (~user@p5b044ce8.dip0.t-ipconnect.de) |
| 2023-10-12 01:38:55 +0000 | <jackdk> | I love lens, but I don't understand that perspective. |
| 2023-10-12 01:39:00 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 255 seconds) |
| 2023-10-12 01:39:44 +0000 | <mauke> | what, sarcasm? |
| 2023-10-12 01:40:05 +0000 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds) |
| 2023-10-12 01:41:11 +0000 | raym | (~ray@user/raym) (Ping timeout: 260 seconds) |
| 2023-10-12 01:42:44 +0000 | <Clint> | many people don't |
| 2023-10-12 01:45:17 +0000 | erisco | (~erisco@d24-141-66-165.home.cgocable.net) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) |
| 2023-10-12 01:46:06 +0000 | erisco | (~erisco@d24-141-66-165.home.cgocable.net) |
| 2023-10-12 01:47:05 +0000 | <jackdk> | I sometimes miss it over text, yeah |
| 2023-10-12 01:48:51 +0000 | raym | (~ray@user/raym) |
| 2023-10-12 01:51:14 +0000 | hiyori | (~hiyori@user/hiyori) |
| 2023-10-12 01:55:55 +0000 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-10-12 01:56:59 +0000 | geekosaur | 's xmonad config uses dbus, which means it has both conduit and lens in its dependency graph |
| 2023-10-12 01:57:19 +0000 | <geekosaur> | why yes, my window manager has half of hackage in its dependencies, doesn't everyone's? 😛 |
| 2023-10-12 01:59:34 +0000 | <geekosaur> | (I am occasionally tempted to just have it shell out to dbus-send) |
| 2023-10-12 01:59:56 +0000 | EvanR | (~EvanR@user/evanr) (Ping timeout: 260 seconds) |
| 2023-10-12 02:00:44 +0000 | <geekosaur> | guess I scared him off 😛 |
| 2023-10-12 02:04:31 +0000 | yaroot | (~yaroot@2400:4052:ac0:d900:1cf4:2aff:fe51:c04c) (Remote host closed the connection) |
| 2023-10-12 02:04:45 +0000 | <monochrom> | "broken pipe" >:) |
| 2023-10-12 02:05:08 +0000 | yaroot | (~yaroot@p3477236-ipngn9802souka.saitama.ocn.ne.jp) |
| 2023-10-12 02:07:22 +0000 | <monochrom> | Um lens plus conduit plus their dependencies look like a pretty short list (under 30). |
| 2023-10-12 02:07:52 +0000 | <monochrom> | err actually let me try with a more clean slate |
| 2023-10-12 02:08:41 +0000 | <geekosaur> | there's a few other things involved, like XML processing. the dependency list was certainly over 30, that fits on my screen 🙂 |
| 2023-10-12 02:09:53 +0000 | derpyxdhs | (~Thunderbi@user/derpyxdhs) (Remote host closed the connection) |
| 2023-10-12 02:13:27 +0000 | geekosaur | has to wait, he broke cabal-plan by purging old compilers. oughtta switch to install-method=copy… |
| 2023-10-12 02:14:34 +0000 | <monochrom> | Yeah absolutely. In .cabal/config "install-method: copy" |
| 2023-10-12 02:14:35 +0000 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-10-12 02:15:17 +0000 | <monochrom> | I actually don't understand why it is not the default, and what went into the dev minds back then. |
| 2023-10-12 02:15:30 +0000 | img | (~img@user/img) |
| 2023-10-12 02:15:35 +0000 | <geekosaur> | oh, actually I have that set now, just didn't when I installed it |
| 2023-10-12 02:16:12 +0000 | <geekosaur> | (~/.config/cabal/config 🙂 ) |
| 2023-10-12 02:16:32 +0000 | <monochrom> | haha new generation |
| 2023-10-12 02:20:16 +0000 | xff0x | (~xff0x@ai101218.d.east.v6connect.net) (Ping timeout: 260 seconds) |
| 2023-10-12 02:20:22 +0000 | haritzondo | haritz |
| 2023-10-12 02:20:23 +0000 | haritz | (~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220) (Changing host) |
| 2023-10-12 02:20:23 +0000 | haritz | (~hrtz@user/haritz) |
| 2023-10-12 02:21:55 +0000 | derpyxdhs | (~Thunderbi@user/derpyxdhs) |
| 2023-10-12 02:22:29 +0000 | hsw__ | (~hsw@112-104-139-44.adsl.dynamic.seed.net.tw) |
| 2023-10-12 02:23:32 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2023-10-12 02:23:35 +0000 | hsw_ | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) (Ping timeout: 240 seconds) |
| 2023-10-12 02:24:15 +0000 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds) |
| 2023-10-12 02:24:23 +0000 | <geekosaur> | beta tester 🙂 |
| 2023-10-12 02:25:24 +0000 | khumba | (~khumba@user/khumba) |
| 2023-10-12 02:26:53 +0000 | barzo | (~hd@31.223.56.222) |
| 2023-10-12 02:31:12 +0000 | <geekosaur> | huh, actually cabal-plan (with some munging) says it is that short |
| 2023-10-12 02:31:28 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-10-12 02:31:44 +0000 | <geekosaur> | wait, no, half the deps are missing |
| 2023-10-12 02:32:31 +0000 | sabino | (~sabino@user/sabino) (Ping timeout: 260 seconds) |
| 2023-10-12 02:32:53 +0000 | <geekosaur> | okay, unit ids list got them. 111 |
| 2023-10-12 02:33:14 +0000 | <monochrom> | Yeah OK that's epic. |
| 2023-10-12 02:34:31 +0000 | sabino | (~sabino@user/sabino) |
| 2023-10-12 02:36:01 +0000 | hsw__ | (~hsw@112-104-139-44.adsl.dynamic.seed.net.tw) (Quit: Leaving) |
| 2023-10-12 02:37:31 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:5d3c:fd45:6dba:f35a) (Remote host closed the connection) |
| 2023-10-12 02:37:46 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:5d3c:fd45:6dba:f35a) |
| 2023-10-12 02:38:42 +0000 | <sclv> | copy is unreliable as an install method in the presence of data files iirc |
| 2023-10-12 02:39:05 +0000 | <geekosaur> | https://paste.tomsmeding.com/kMCJCk7V |
| 2023-10-12 02:39:16 +0000 | <sclv> | ie a copied executable is still system specific. |
| 2023-10-12 02:39:25 +0000 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-10-12 02:39:29 +0000 | <geekosaur> | also interestingly I have install-method: copy in my cabal config and it's still making symlinks |
| 2023-10-12 02:39:59 +0000 | <sclv> | maybe its using the new config location?? |
| 2023-10-12 02:40:05 +0000 | <sclv> | xdg |
| 2023-10-12 02:40:15 +0000 | <monochrom> | Nice, actual tree picture :) |
| 2023-10-12 02:40:44 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 248 seconds) |
| 2023-10-12 02:40:45 +0000 | <geekosaur> | uh. how did I get cabal stuff in the old location again? now I can't trust my config |
| 2023-10-12 02:40:59 +0000 | geekosaur | nukes it and recreates mode 0 file ~/.cabal |
| 2023-10-12 02:41:51 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-10-12 02:41:51 +0000 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-10-12 02:41:51 +0000 | finn_elija | FinnElija |
| 2023-10-12 02:41:55 +0000 | <geekosaur> | got rid of that after the h;s update that stopped it from using cabal-3.6 during startup |
| 2023-10-12 02:44:15 +0000 | ddellacosta | (~ddellacos@ool-44c738de.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2023-10-12 02:45:10 +0000 | <geekosaur> | and it's rebuilding everything again now; guess it was using the wrong store, and I'm lucky it didn't run me out of disk space |
| 2023-10-12 02:45:47 +0000 | grnman_ | (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) |
| 2023-10-12 02:46:30 +0000 | ddellacosta | (~ddellacos@ool-44c738de.dyn.optonline.net) |
| 2023-10-12 02:46:37 +0000 | <monochrom> | And there are 108 packages to rebuild from Pandora's box... |
| 2023-10-12 02:48:16 +0000 | <geekosaur> | wait until I rebuild cabal 😛 |
| 2023-10-12 02:48:28 +0000 | <geekosaur> | (probably kick that just before I go to bed, it takes forever) |
| 2023-10-12 02:49:01 +0000 | <monochrom> | haha yeah cabal-install is a whole different saga. |
| 2023-10-12 02:49:34 +0000 | <monochrom> | So between dbus and cabal, you build the whole hackage >:) |
| 2023-10-12 02:51:09 +0000 | <geekosaur> | no, to do that I have to build HLS 😛 |
| 2023-10-12 02:51:20 +0000 | <monochrom> | Ah haha |
| 2023-10-12 02:55:27 +0000 | td_ | (~td@83.135.9.0) (Ping timeout: 240 seconds) |
| 2023-10-12 02:57:30 +0000 | td_ | (~td@83.135.9.0) |
| 2023-10-12 03:04:04 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-10-12 03:04:34 +0000 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2023-10-12 03:08:52 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 255 seconds) |
| 2023-10-12 03:16:00 +0000 | aforemny_ | (~aforemny@2001:9e8:6ceb:0:6ec0:34fc:a71b:7bb4) |
| 2023-10-12 03:17:44 +0000 | aforemny | (~aforemny@i59f516dd.versanet.de) (Ping timeout: 272 seconds) |
| 2023-10-12 03:35:55 +0000 | iris_67 | (~iris_67@2804:14c:5b61:83f2:e405:79f2:828f:7823) |
| 2023-10-12 03:36:39 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 240 seconds) |
| 2023-10-12 03:41:21 +0000 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 260 seconds) |
| 2023-10-12 03:57:34 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2023-10-12 03:58:18 +0000 | <lisbeths> | can we get lambdabot to service #lambdacalculus ? |
| 2023-10-12 04:04:15 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-10-12 04:06:52 +0000 | bilegeek | (~bilegeek@2600:1008:b040:bd71:632a:39d1:f069:5361) |
| 2023-10-12 04:10:37 +0000 | michalz | (~michalz@185.246.207.203) |
| 2023-10-12 04:11:05 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 252 seconds) |
| 2023-10-12 04:19:40 +0000 | Jackneill | (~Jackneill@20014C4E1E021C0091E9A35ED697ECF8.dsl.pool.telekom.hu) |
| 2023-10-12 04:21:22 +0000 | thegeekinside | (~thegeekin@189.217.90.224) (Read error: Connection reset by peer) |
| 2023-10-12 04:30:58 +0000 | hrberg | (~quassel@171.79-160-161.customer.lyse.net) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2023-10-12 04:31:21 +0000 | hrberg | (~quassel@171.79-160-161.customer.lyse.net) |
| 2023-10-12 04:31:26 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-10-12 04:34:22 +0000 | derpyxdhs | (~Thunderbi@user/derpyxdhs) (Ping timeout: 272 seconds) |
| 2023-10-12 04:42:10 +0000 | Square | (~Square4@user/square) |
| 2023-10-12 04:42:33 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-10-12 04:43:22 +0000 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-10-12 04:49:36 +0000 | sabino | (~sabino@user/sabino) (Quit: Lambda _ -> x) |
| 2023-10-12 04:51:24 +0000 | bilegeek | (~bilegeek@2600:1008:b040:bd71:632a:39d1:f069:5361) (Ping timeout: 248 seconds) |
| 2023-10-12 04:52:49 +0000 | michalz | (~michalz@185.246.207.203) (Ping timeout: 255 seconds) |
| 2023-10-12 04:53:53 +0000 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-10-12 04:56:53 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-10-12 04:57:35 +0000 | kantokuen | (~kantokuen@user/kantokuen) (Remote host closed the connection) |
| 2023-10-12 04:59:57 +0000 | kantokuen | (~kantokuen@user/kantokuen) |
| 2023-10-12 05:11:14 +0000 | Square2 | (~Square4@user/square) |
| 2023-10-12 05:13:36 +0000 | Square | (~Square4@user/square) (Ping timeout: 260 seconds) |
| 2023-10-12 05:15:52 +0000 | alphacentauri | (alphacenta@gateway/vpn/protonvpn/alphacentauri) (Quit: WeeChat 4.0.5) |
| 2023-10-12 05:17:12 +0000 | iris_67 | (~iris_67@2804:14c:5b61:83f2:e405:79f2:828f:7823) (Quit: Client closed) |
| 2023-10-12 05:25:40 +0000 | acidjnk | (~acidjnk@p200300d6e7072f59e8bb91743ee028d6.dip0.t-ipconnect.de) |
| 2023-10-12 05:27:44 +0000 | khumba | (~khumba@user/khumba) () |
| 2023-10-12 05:31:18 +0000 | derpyxdhs | (~Thunderbi@user/derpyxdhs) |
| 2023-10-12 05:32:00 +0000 | alphacentauri | (alphacenta@gateway/vpn/protonvpn/alphacentauri) |
| 2023-10-12 05:39:01 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2023-10-12 05:41:00 +0000 | notzmv | (~zmv@user/notzmv) (Ping timeout: 240 seconds) |
| 2023-10-12 05:49:41 +0000 | derpyxdhs | (~Thunderbi@user/derpyxdhs) (Quit: derpyxdhs) |
| 2023-10-12 05:53:49 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds) |
| 2023-10-12 05:54:12 +0000 | euleritian | (~euleritia@dynamic-046-114-200-180.46.114.pool.telefonica.de) |
| 2023-10-12 06:00:51 +0000 | <geekosaur> | lisbeths, talk to int-e |
| 2023-10-12 06:02:19 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
| 2023-10-12 06:02:21 +0000 | euleritian | (~euleritia@dynamic-046-114-200-180.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-10-12 06:03:17 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-10-12 06:04:45 +0000 | Inst | (~Inst@120.244.192.250) |
| 2023-10-12 06:06:34 +0000 | alphacentauri | (alphacenta@gateway/vpn/protonvpn/alphacentauri) (Quit: WeeChat 4.0.5) |
| 2023-10-12 06:08:06 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 272 seconds) |
| 2023-10-12 06:08:20 +0000 | euleritian | (~euleritia@dynamic-046-114-200-180.46.114.pool.telefonica.de) |
| 2023-10-12 06:08:32 +0000 | fweht | (uid404746@id-404746.lymington.irccloud.com) |
| 2023-10-12 06:14:38 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-10-12 06:14:39 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 245 seconds) |
| 2023-10-12 06:17:09 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2023-10-12 06:25:04 +0000 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 245 seconds) |
| 2023-10-12 06:26:54 +0000 | gmg | (~user@user/gehmehgeh) |
| 2023-10-12 06:27:14 +0000 | barzo | (~hd@31.223.56.222) (Quit: Leaving) |
| 2023-10-12 06:32:17 +0000 | mango | (~finn@2001:861:5863:3d50:d5e4:95a:fce0:2cfc) |
| 2023-10-12 06:35:12 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-10-12 06:35:31 +0000 | califax | (~califax@user/califx) |
| 2023-10-12 06:38:06 +0000 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 260 seconds) |
| 2023-10-12 06:40:44 +0000 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-10-12 06:46:13 +0000 | Fischmiep | (~Fischmiep@user/Fischmiep) (Ping timeout: 255 seconds) |
| 2023-10-12 06:51:24 +0000 | YuutaW | (~YuutaW@mail.yuuta.moe) (Ping timeout: 248 seconds) |
| 2023-10-12 06:51:29 +0000 | yuuta | (~YuutaW@mail.yuuta.moe) |
| 2023-10-12 06:53:23 +0000 | vpan | (~vpan@212.117.1.172) |
| 2023-10-12 06:56:17 +0000 | Fischmiep | (~Fischmiep@user/Fischmiep) |
| 2023-10-12 07:00:18 +0000 | akyv13 | (~akyv13@2409:4060:e88:f604:717a:9822:971:f588) |
| 2023-10-12 07:04:06 +0000 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-10-12 07:05:35 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-10-12 07:07:28 +0000 | danza | (~francesco@151.35.159.63) |
| 2023-10-12 07:10:31 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 255 seconds) |
| 2023-10-12 07:11:08 +0000 | akyv13 | (~akyv13@2409:4060:e88:f604:717a:9822:971:f588) (Ping timeout: 248 seconds) |
| 2023-10-12 07:11:22 +0000 | fendor | (~fendor@2a02:8388:1640:be00:aab:1226:f274:5021) |
| 2023-10-12 07:12:13 +0000 | akyv13 | (~akyv13@2409:4060:e88:f604:717a:9822:971:f588) |
| 2023-10-12 07:13:31 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:d165:e3fc:42c2:c7a2) |
| 2023-10-12 07:15:26 +0000 | ft | (~ft@p3e9bc680.dip0.t-ipconnect.de) (Quit: leaving) |
| 2023-10-12 07:15:41 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-10-12 07:17:02 +0000 | danza | (~francesco@151.35.159.63) (Read error: Connection reset by peer) |
| 2023-10-12 07:17:29 +0000 | danza | (~francesco@151.35.203.111) |
| 2023-10-12 07:24:06 +0000 | euleritian | (~euleritia@dynamic-046-114-200-180.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-10-12 07:24:28 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-10-12 07:28:03 +0000 | Nixkernal | (~Nixkernal@115.16.194.178.dynamic.wline.res.cust.swisscom.ch) |
| 2023-10-12 07:28:50 +0000 | cpressey | (~cpressey@host-2-102-11-74.as13285.net) |
| 2023-10-12 07:29:07 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 2023-10-12 07:29:50 +0000 | euleritian | (~euleritia@dynamic-046-114-200-180.46.114.pool.telefonica.de) |
| 2023-10-12 07:30:34 +0000 | mango | (~finn@2001:861:5863:3d50:d5e4:95a:fce0:2cfc) (Ping timeout: 258 seconds) |
| 2023-10-12 07:31:31 +0000 | danza | (~francesco@151.35.203.111) (Ping timeout: 264 seconds) |
| 2023-10-12 07:31:39 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 252 seconds) |
| 2023-10-12 07:35:08 +0000 | rgw | (~R@2605:a601:a0df:5600:786b:f462:3e9c:5be6) (Read error: Connection reset by peer) |
| 2023-10-12 07:36:14 +0000 | benjaminl | (~benjaminl@user/benjaminl) (Read error: Connection reset by peer) |
| 2023-10-12 07:36:29 +0000 | benjaminl | (~benjaminl@user/benjaminl) |
| 2023-10-12 07:37:30 +0000 | vgtw | (~vgtw@user/vgtw) (Quit: ZNC - https://znc.in) |
| 2023-10-12 07:37:31 +0000 | blackfield | (~aenima@85.255.4.218) (Quit: see you) |
| 2023-10-12 07:37:42 +0000 | dfg | (~dfg@user/dfg) (Remote host closed the connection) |
| 2023-10-12 07:37:50 +0000 | vgtw | (~vgtw@user/vgtw) |
| 2023-10-12 07:37:58 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2023-10-12 07:38:00 +0000 | dfg | (~dfg@dfg.rocks) |
| 2023-10-12 07:38:00 +0000 | dfg | (~dfg@dfg.rocks) (Changing host) |
| 2023-10-12 07:38:00 +0000 | dfg | (~dfg@user/dfg) |
| 2023-10-12 07:38:18 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2023-10-12 07:41:41 +0000 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 258 seconds) |
| 2023-10-12 07:42:14 +0000 | blackfield | (~aenima@85.255.4.218) |
| 2023-10-12 07:44:23 +0000 | sm | (~sm@plaintextaccounting/sm) |
| 2023-10-12 07:45:44 +0000 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) |
| 2023-10-12 07:45:59 +0000 | vglfr | (~vglfr@88.155.190.13) (Read error: Connection reset by peer) |
| 2023-10-12 07:46:20 +0000 | vglfr | (vglfr@gateway/vpn/protonvpn/vglfr) |
| 2023-10-12 07:47:32 +0000 | Inst | (~Inst@120.244.192.250) (Ping timeout: 272 seconds) |
| 2023-10-12 07:49:20 +0000 | notzmv | (~zmv@user/notzmv) |
| 2023-10-12 07:51:14 +0000 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-10-12 07:54:15 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:5d3c:fd45:6dba:f35a) (Remote host closed the connection) |
| 2023-10-12 07:54:39 +0000 | aforemny_ | (~aforemny@2001:9e8:6ceb:0:6ec0:34fc:a71b:7bb4) (Ping timeout: 240 seconds) |
| 2023-10-12 07:55:32 +0000 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-10-12 07:56:26 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-10-12 07:58:05 +0000 | raym | (~ray@user/raym) (Ping timeout: 240 seconds) |
| 2023-10-12 07:59:53 +0000 | raym | (~ray@user/raym) |
| 2023-10-12 08:05:29 +0000 | aforemny | (~aforemny@2001:9e8:6cf2:3b00:b450:922f:4e53:8c55) |
| 2023-10-12 08:06:37 +0000 | Inst | (~Inst@120.244.192.250) |
| 2023-10-12 08:06:38 +0000 | vglfr | (vglfr@gateway/vpn/protonvpn/vglfr) (Ping timeout: 255 seconds) |
| 2023-10-12 08:06:57 +0000 | vglfr | (~vglfr@88.155.190.13) |
| 2023-10-12 08:06:59 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:d165:e3fc:42c2:c7a2) (Ping timeout: 258 seconds) |
| 2023-10-12 08:09:25 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:d165:e3fc:42c2:c7a2) |
| 2023-10-12 08:14:19 +0000 | danse-nr3 | (~francesco@151.35.203.111) |
| 2023-10-12 08:14:40 +0000 | thyriaen | (~thyriaen@2a01:aea0:dd4:7157:6245:cbff:fe9f:48b1) |
| 2023-10-12 08:15:49 +0000 | sm | (~sm@plaintextaccounting/sm) |
| 2023-10-12 08:19:38 +0000 | CiaoSen | (~Jura@2a05:5800:2b6:8b00:664b:f0ff:fe37:9ef) |
| 2023-10-12 08:19:58 +0000 | cfricke | (~cfricke@user/cfricke) |
| 2023-10-12 08:20:58 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:d165:e3fc:42c2:c7a2) (Ping timeout: 252 seconds) |
| 2023-10-12 08:21:21 +0000 | lortabac | (~lortabac@88.125.6.227) |
| 2023-10-12 08:23:39 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-10-12 08:23:47 +0000 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-10-12 08:25:28 +0000 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-10-12 08:32:27 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:5d3c:fd45:6dba:f35a) |
| 2023-10-12 08:33:08 +0000 | sm | (~sm@plaintextaccounting/sm) |
| 2023-10-12 08:37:34 +0000 | arahael | (~arahael@119-18-2-212.771202.syd.nbn.aussiebb.net) |
| 2023-10-12 08:38:17 +0000 | mc47 | (~mc47@xmonad/TheMC47) |
| 2023-10-12 08:39:15 +0000 | Square3 | (~Square4@user/square) |
| 2023-10-12 08:41:03 +0000 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 240 seconds) |
| 2023-10-12 08:41:34 +0000 | Square2 | (~Square4@user/square) (Ping timeout: 255 seconds) |
| 2023-10-12 08:44:07 +0000 | chele | (~chele@user/chele) |
| 2023-10-12 08:44:43 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-10-12 08:46:25 +0000 | akyv13 | (~akyv13@2409:4060:e88:f604:717a:9822:971:f588) (Remote host closed the connection) |
| 2023-10-12 08:47:08 +0000 | akyv13 | (~akyv13@157.40.217.62) |
| 2023-10-12 08:47:44 +0000 | connrs | (~connrs@user/connrs) |
| 2023-10-12 08:49:39 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2023-10-12 08:50:38 +0000 | connrs | (~connrs@user/connrs) (Client Quit) |
| 2023-10-12 08:50:55 +0000 | connrs | (~connrs@user/connrs) |
| 2023-10-12 08:52:11 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-10-12 08:56:29 +0000 | connrs | (~connrs@user/connrs) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-10-12 08:57:48 +0000 | euleritian | (~euleritia@dynamic-046-114-200-180.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-10-12 08:57:56 +0000 | Xe | (~cadey@tailscale/xe) (Changing host) |
| 2023-10-12 08:57:56 +0000 | Xe | (~cadey@user/xe) |
| 2023-10-12 08:58:05 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-10-12 08:58:31 +0000 | misterfish | (~misterfis@46.44.172.198) |
| 2023-10-12 08:59:49 +0000 | akyv13 | (~akyv13@157.40.217.62) (Read error: Connection reset by peer) |
| 2023-10-12 09:00:32 +0000 | Inst | (~Inst@120.244.192.250) (Ping timeout: 255 seconds) |
| 2023-10-12 09:03:56 +0000 | connrs | (~connrs@user/connrs) |
| 2023-10-12 09:07:35 +0000 | connrs | (~connrs@user/connrs) (Client Quit) |
| 2023-10-12 09:08:16 +0000 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 252 seconds) |
| 2023-10-12 09:10:42 +0000 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-10-12 09:11:29 +0000 | chele | (~chele@user/chele) (Read error: Connection reset by peer) |
| 2023-10-12 09:11:48 +0000 | chele | (~chele@user/chele) |
| 2023-10-12 09:17:35 +0000 | simendsjo | (~user@84.211.91.241) |
| 2023-10-12 09:18:12 +0000 | fweht | (uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-10-12 09:20:39 +0000 | vglfr | (~vglfr@88.155.190.13) (Ping timeout: 240 seconds) |
| 2023-10-12 09:21:16 +0000 | Square3 | (~Square4@user/square) (Ping timeout: 248 seconds) |
| 2023-10-12 09:23:40 +0000 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-10-12 09:24:17 +0000 | migas1 | (~migas@astra4961.startdedicated.net) |
| 2023-10-12 09:25:37 +0000 | migas | (~migas@astra4961.startdedicated.net) (Ping timeout: 260 seconds) |
| 2023-10-12 09:25:37 +0000 | migas1 | migas |
| 2023-10-12 09:27:11 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-10-12 09:29:43 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 252 seconds) |
| 2023-10-12 09:31:24 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2023-10-12 09:37:13 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2023-10-12 09:38:06 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2023-10-12 09:38:19 +0000 | alphacentauri | (alphacenta@gateway/vpn/protonvpn/alphacentauri) |
| 2023-10-12 09:40:30 +0000 | Guest4140 | (~pera@8.29.109.183) |
| 2023-10-12 09:41:12 +0000 | cpressey | (~cpressey@host-2-102-11-74.as13285.net) (Quit: Client closed) |
| 2023-10-12 09:41:24 +0000 | cpressey | (~cpressey@host-2-102-11-74.as13285.net) |
| 2023-10-12 09:45:23 +0000 | <Guest4140> | I have seen this unfortunate pattern many times now: you have a function that generates some sort of record where everything is pure except for one random uuid that is created in this function, and because of this you have io everywhere, is there a good way to avoid this? I winder if there is a type that is some sort of promise of an effect |
| 2023-10-12 09:49:12 +0000 | <stefan-__> | you could take the UUID as an argument to that function |
| 2023-10-12 09:50:32 +0000 | <dminuoso> | Guest4140: This is not an unfortunate pattern. |
| 2023-10-12 09:50:34 +0000 | <dminuoso> | It's honesty. |
| 2023-10-12 09:50:50 +0000 | <dminuoso> | The creation of your value transitively depends on IO. |
| 2023-10-12 09:51:19 +0000 | <dminuoso> | If you want to get rid of it, you can parameterize it over the IO dependent value, ie.: f :: IO Int; g :: Int -> Foo |
| 2023-10-12 09:53:25 +0000 | shriekingnoise | (~shrieking@186.137.175.87) (Ping timeout: 255 seconds) |
| 2023-10-12 09:57:38 +0000 | <Guest4140> | thanks both for your answers :) |
| 2023-10-12 09:58:34 +0000 | <danse-nr3> | also if you add the needed value as the last one of the function, you should get a rather nice Id -> Record interface |
| 2023-10-12 10:05:28 +0000 | connrs | (~connrs@user/connrs) |
| 2023-10-12 10:05:35 +0000 | <arahael> | dminuoso: Yes, but when you do that, if you call the parameterised value, doesn't it become effectively static? |
| 2023-10-12 10:06:17 +0000 | accord | (uid568320@id-568320.hampstead.irccloud.com) |
| 2023-10-12 10:08:51 +0000 | connrs | (~connrs@user/connrs) (Client Quit) |
| 2023-10-12 10:10:41 +0000 | <[exa]> | Guest4140: kinda more generally, I push hard to always have IDs and UUIDs and similar identifiers _outside_ of the data structures. They are the "locator" information that should be external to data, not the "actual data". |
| 2023-10-12 10:10:56 +0000 | <[exa]> | (as an anti-example, if the ID is in the data structure, it "identifies itself") |
| 2023-10-12 10:11:28 +0000 | <[exa]> | (which sounds loopy and everyone should instinctively refuse it, right. :D ) |
| 2023-10-12 10:11:43 +0000 | <dminuoso> | `foo 1 2 "bar" <$> getUUID` is wonderfully descriptive. |
| 2023-10-12 10:12:02 +0000 | <dminuoso> | The <$>/<*> syntax lends itself wonderfully for applying functions to pure and effectful values |
| 2023-10-12 10:12:46 +0000 | cpressey | (~cpressey@host-2-102-11-74.as13285.net) (Quit: Client closed) |
| 2023-10-12 10:13:00 +0000 | <[exa]> | +1 ^. the other quite sensible pattern is: withUUID :: a -> IO (Identified a) |
| 2023-10-12 10:13:23 +0000 | <[exa]> | (you can even overload there a bit and get specific uuids for specific stuff) |
| 2023-10-12 10:13:29 +0000 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 258 seconds) |
| 2023-10-12 10:14:47 +0000 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 255 seconds) |
| 2023-10-12 10:20:42 +0000 | vglfr | (~vglfr@88.155.190.13) |
| 2023-10-12 10:24:08 +0000 | cpressey | (~cpressey@host-2-102-11-74.as13285.net) |
| 2023-10-12 10:25:47 +0000 | mmhat | (~mmh@p200300f1c711729fee086bfffe095315.dip0.t-ipconnect.de) |
| 2023-10-12 10:25:59 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-10-12 10:27:36 +0000 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-10-12 10:27:37 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2023-10-12 10:28:23 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 252 seconds) |
| 2023-10-12 10:28:32 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-10-12 10:31:03 +0000 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Quit: zzz) |
| 2023-10-12 10:37:33 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 252 seconds) |
| 2023-10-12 10:38:33 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2023-10-12 10:39:43 +0000 | mmhat | (~mmh@p200300f1c711729fee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 4.0.5) |
| 2023-10-12 10:41:10 +0000 | <Guest4140> | ah I like that! |
| 2023-10-12 10:47:45 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2023-10-12 10:54:47 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 252 seconds) |
| 2023-10-12 10:54:48 +0000 | mango | (~finn@2001:861:5863:3d50:76fc:baa:58aa:4fea) |
| 2023-10-12 10:55:34 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2023-10-12 11:01:31 +0000 | danse-nr3 | (~francesco@151.35.203.111) (Ping timeout: 255 seconds) |
| 2023-10-12 11:03:19 +0000 | cpressey | (~cpressey@host-2-102-11-74.as13285.net) (Quit: Client closed) |
| 2023-10-12 11:03:46 +0000 | connrs | (~connrs@user/connrs) |
| 2023-10-12 11:05:49 +0000 | xff0x | (~xff0x@2405:6580:b080:900:48d1:b80:5bf6:f420) |
| 2023-10-12 11:07:05 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-10-12 11:09:16 +0000 | simendsjo | (~user@84.211.91.241) (Remote host closed the connection) |
| 2023-10-12 11:10:05 +0000 | misterfish | (~misterfis@46.44.172.198) (Ping timeout: 240 seconds) |
| 2023-10-12 11:11:58 +0000 | connrs | (~connrs@user/connrs) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-10-12 11:12:02 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 255 seconds) |
| 2023-10-12 11:12:02 +0000 | simendsjo | (~user@84.211.91.241) |
| 2023-10-12 11:12:15 +0000 | connrs | (~connrs@user/connrs) |
| 2023-10-12 11:15:40 +0000 | connrs | (~connrs@user/connrs) (Client Quit) |
| 2023-10-12 11:15:59 +0000 | connrs | (~connrs@user/connrs) |
| 2023-10-12 11:16:02 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-10-12 11:18:54 +0000 | connrs | (~connrs@user/connrs) (Client Quit) |
| 2023-10-12 11:19:12 +0000 | connrs_ | (~connrs@user/connrs) |
| 2023-10-12 11:19:41 +0000 | connrs_ | connrs |
| 2023-10-12 11:20:52 +0000 | tromp | (~textual@92.110.219.57) |
| 2023-10-12 11:21:41 +0000 | cpressey | (~cpressey@host-2-102-11-74.as13285.net) |
| 2023-10-12 11:22:41 +0000 | connrs | (~connrs@user/connrs) (Client Quit) |
| 2023-10-12 11:22:57 +0000 | connrs | (~connrs@user/connrs) |
| 2023-10-12 11:26:40 +0000 | connrs | (~connrs@user/connrs) (Client Quit) |
| 2023-10-12 11:30:45 +0000 | hiyori | (~hiyori@user/hiyori) (Quit: Client closed) |
| 2023-10-12 11:33:34 +0000 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-10-12 11:33:39 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 252 seconds) |
| 2023-10-12 11:33:52 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2023-10-12 11:35:08 +0000 | xff0x | (~xff0x@2405:6580:b080:900:48d1:b80:5bf6:f420) (Ping timeout: 258 seconds) |
| 2023-10-12 11:35:31 +0000 | xff0x | (~xff0x@ai101218.d.east.v6connect.net) |
| 2023-10-12 11:40:21 +0000 | CiaoSen | (~Jura@2a05:5800:2b6:8b00:664b:f0ff:fe37:9ef) (Ping timeout: 260 seconds) |
| 2023-10-12 11:52:22 +0000 | pera | (~pera@8.29.109.184) |
| 2023-10-12 11:52:45 +0000 | pera | Guest3951 |
| 2023-10-12 11:53:03 +0000 | tromp | (~textual@92.110.219.57) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-10-12 11:54:36 +0000 | Guest4140 | (~pera@8.29.109.183) (Ping timeout: 255 seconds) |
| 2023-10-12 11:55:10 +0000 | actioninja | (~actioninj@user/actioninja) (Ping timeout: 272 seconds) |
| 2023-10-12 11:56:39 +0000 | Guest3951 | (~pera@8.29.109.184) (Ping timeout: 240 seconds) |
| 2023-10-12 11:57:00 +0000 | arahael | (~arahael@119-18-2-212.771202.syd.nbn.aussiebb.net) (Ping timeout: 248 seconds) |
| 2023-10-12 12:00:10 +0000 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) |
| 2023-10-12 12:00:15 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2023-10-12 12:00:36 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2023-10-12 12:09:09 +0000 | vglfr | (~vglfr@88.155.190.13) (Remote host closed the connection) |
| 2023-10-12 12:09:39 +0000 | danse-nr3 | (~francesco@151.35.146.11) |
| 2023-10-12 12:09:48 +0000 | vglfr | (~vglfr@88.155.190.13) |
| 2023-10-12 12:15:05 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 252 seconds) |
| 2023-10-12 12:18:02 +0000 | pera | (~pera@8.29.109.184) |
| 2023-10-12 12:18:07 +0000 | vglfr | (~vglfr@88.155.190.13) (Remote host closed the connection) |
| 2023-10-12 12:18:25 +0000 | pera | Guest3869 |
| 2023-10-12 12:18:43 +0000 | vglfr | (~vglfr@88.155.190.13) |
| 2023-10-12 12:19:19 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2023-10-12 12:20:35 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds) |
| 2023-10-12 12:21:14 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2023-10-12 12:22:05 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-10-12 12:24:12 +0000 | mango | (~finn@2001:861:5863:3d50:76fc:baa:58aa:4fea) (Ping timeout: 258 seconds) |
| 2023-10-12 12:25:26 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-10-12 12:30:19 +0000 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 264 seconds) |
| 2023-10-12 12:31:58 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds) |
| 2023-10-12 12:34:45 +0000 | euleritian | (~euleritia@dynamic-046-114-204-025.46.114.pool.telefonica.de) |
| 2023-10-12 12:35:11 +0000 | accord | (uid568320@id-568320.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-10-12 12:35:50 +0000 | Inst | (~Inst@120.244.192.250) |
| 2023-10-12 12:36:04 +0000 | <Inst> | cd ~ |
| 2023-10-12 12:36:31 +0000 | <danse-nr3> | /home/inst |
| 2023-10-12 12:36:43 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 252 seconds) |
| 2023-10-12 12:37:04 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2023-10-12 12:40:30 +0000 | CiaoSen | (~Jura@2a05:5800:2b6:8b00:664b:f0ff:fe37:9ef) |
| 2023-10-12 12:41:15 +0000 | Guest3869 | (~pera@8.29.109.184) (Quit: leaving) |
| 2023-10-12 12:42:25 +0000 | <Inst> | gah, not again ;_; |
| 2023-10-12 12:44:05 +0000 | <[exa]> | better than autopiloting `su -` password |
| 2023-10-12 12:46:23 +0000 | vpan | (~vpan@212.117.1.172) (Quit: Leaving.) |
| 2023-10-12 12:50:06 +0000 | connrs | (~connrs@user/connrs) |
| 2023-10-12 12:51:48 +0000 | stites | (~stites@130.44.147.204) (Ping timeout: 240 seconds) |
| 2023-10-12 12:52:05 +0000 | <danse-nr3> | which kind of environment would enable that type of errors? Emacs using the shell and the chat in the editor i guess. I gave up using the shell in emacs ... could have some advantages but felt clunky |
| 2023-10-12 12:52:28 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-10-12 12:52:54 +0000 | stites | (~stites@2607:fb91:dc7:121d:dfe0:41cb:ddb6:f516) |
| 2023-10-12 12:53:28 +0000 | connrs | (~connrs@user/connrs) (Client Quit) |
| 2023-10-12 12:53:46 +0000 | connrs | (~connrs@user/connrs) |
| 2023-10-12 12:56:38 +0000 | hugo- | (znc@verdigris.lysator.liu.se) |
| 2023-10-12 12:59:36 +0000 | connrs | (~connrs@user/connrs) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-10-12 13:00:35 +0000 | <probie> | danse-nr3: Any environment where the user is typing commands without actually looking. Back when I used xmonad I had a bad habit of doing that, because I had it set up to follow window focus to mouse focus, and would sometimes bump my laptop's trackpad |
| 2023-10-12 13:05:41 +0000 | <danse-nr3> | good point |
| 2023-10-12 13:06:14 +0000 | hugo- | (znc@verdigris.lysator.liu.se) (Ping timeout: 255 seconds) |
| 2023-10-12 13:14:03 +0000 | zer0bitz_ | (~zer0bitz@user/zer0bitz) (Read error: Connection reset by peer) |
| 2023-10-12 13:15:09 +0000 | migas | (~migas@astra4961.startdedicated.net) (Remote host closed the connection) |
| 2023-10-12 13:15:26 +0000 | migas | (~migas@astra4961.startdedicated.net) |
| 2023-10-12 13:20:42 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-10-12 13:20:43 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-10-12 13:20:43 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-10-12 13:26:32 +0000 | zer0bitz | (~zer0bitz@user/zer0bitz) |
| 2023-10-12 13:33:24 +0000 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Ping timeout: 240 seconds) |
| 2023-10-12 13:34:17 +0000 | hugo- | (znc@verdigris.lysator.liu.se) |
| 2023-10-12 13:35:11 +0000 | waleee | (~waleee@2001:9b0:21c:e600:f2f3:f744:435d:137c) |
| 2023-10-12 13:38:51 +0000 | stites | (~stites@2607:fb91:dc7:121d:dfe0:41cb:ddb6:f516) (Read error: Connection reset by peer) |
| 2023-10-12 13:39:11 +0000 | stites | (~stites@130.44.147.204) |
| 2023-10-12 13:42:12 +0000 | hugo- | (znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds) |
| 2023-10-12 13:48:19 +0000 | shriekingnoise | (~shrieking@186.137.175.87) |
| 2023-10-12 13:48:59 +0000 | Xe | (~cadey@user/xe) (Changing host) |
| 2023-10-12 13:48:59 +0000 | Xe | (~cadey@perl/impostor/xe) |
| 2023-10-12 13:54:59 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 246 seconds) |
| 2023-10-12 13:55:30 +0000 | waleee | (~waleee@2001:9b0:21c:e600:f2f3:f744:435d:137c) (Ping timeout: 272 seconds) |
| 2023-10-12 14:04:16 +0000 | euleritian | (~euleritia@dynamic-046-114-204-025.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-10-12 14:04:33 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-10-12 14:05:55 +0000 | zer0bitz | (~zer0bitz@user/zer0bitz) (Read error: Connection reset by peer) |
| 2023-10-12 14:08:02 +0000 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) |
| 2023-10-12 14:12:43 +0000 | zer0bitz | (~zer0bitz@user/zer0bitz) |
| 2023-10-12 14:16:13 +0000 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 2023-10-12 14:18:28 +0000 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Ping timeout: 252 seconds) |
| 2023-10-12 14:21:37 +0000 | lortabac | (~lortabac@88.125.6.227) (Ping timeout: 255 seconds) |
| 2023-10-12 14:22:27 +0000 | hugo- | (znc@verdigris.lysator.liu.se) |
| 2023-10-12 14:23:49 +0000 | thegeekinside | (~thegeekin@189.217.90.224) |
| 2023-10-12 14:26:38 +0000 | pavonia | (~user@user/siracusa) (Read error: Connection reset by peer) |
| 2023-10-12 14:27:51 +0000 | gmg | (~user@user/gehmehgeh) |
| 2023-10-12 14:28:48 +0000 | pavonia | (~user@user/siracusa) |
| 2023-10-12 14:40:51 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-10-12 14:44:56 +0000 | nschoe | (~q@2a01:e0a:8e:a190:a198:8ffb:336f:49b4) |
| 2023-10-12 14:48:43 +0000 | stites | (~stites@130.44.147.204) (Ping timeout: 258 seconds) |
| 2023-10-12 14:48:56 +0000 | stites | (~stites@2607:fb91:dc1:f07b:65ae:93be:5a06:c81f) |
| 2023-10-12 14:54:34 +0000 | phma | (~phma@host-67-44-208-58.hnremote.net) (Read error: Connection reset by peer) |
| 2023-10-12 14:54:51 +0000 | CiaoSen | (~Jura@2a05:5800:2b6:8b00:664b:f0ff:fe37:9ef) (Ping timeout: 258 seconds) |
| 2023-10-12 14:55:17 +0000 | phma | (phma@2001:5b0:215a:f2d8:2f48:c224:bf4d:895e) |
| 2023-10-12 14:56:49 +0000 | hiyori | (~hiyori@user/hiyori) |
| 2023-10-12 14:57:48 +0000 | glguy | ghoulguy |
| 2023-10-12 15:07:04 +0000 | danse-nr3 | (~francesco@151.35.146.11) (Ping timeout: 255 seconds) |
| 2023-10-12 15:07:54 +0000 | ph88^ | (~ph88@2a02:8109:9e26:c800:4032:6e4:4abc:bb40) (Quit: Leaving) |
| 2023-10-12 15:08:37 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-10-12 15:08:40 +0000 | sm | (~sm@plaintextaccounting/sm) |
| 2023-10-12 15:12:01 +0000 | stites | (~stites@2607:fb91:dc1:f07b:65ae:93be:5a06:c81f) (Ping timeout: 260 seconds) |
| 2023-10-12 15:12:33 +0000 | stites | (~stites@2607:fb90:ade2:bb6:9fcf:a71c:da98:b324) |
| 2023-10-12 15:13:22 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 255 seconds) |
| 2023-10-12 15:13:34 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-10-12 15:14:39 +0000 | danse-nr3 | (~francesco@151.35.146.11) |
| 2023-10-12 15:15:01 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-10-12 15:17:41 +0000 | danse-nr3_ | (~francesco@151.35.222.110) |
| 2023-10-12 15:17:57 +0000 | danse-nr3 | (~francesco@151.35.146.11) (Read error: Connection reset by peer) |
| 2023-10-12 15:18:59 +0000 | stites | (~stites@2607:fb90:ade2:bb6:9fcf:a71c:da98:b324) (Ping timeout: 246 seconds) |
| 2023-10-12 15:20:38 +0000 | stites | (~stites@2607:fb91:de2:cdae:1c4c:467:f7ab:f2a6) |
| 2023-10-12 15:22:10 +0000 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.0.4) |
| 2023-10-12 15:22:40 +0000 | EvanR | (~EvanR@user/evanr) |
| 2023-10-12 15:27:08 +0000 | stites | (~stites@2607:fb91:de2:cdae:1c4c:467:f7ab:f2a6) (Ping timeout: 248 seconds) |
| 2023-10-12 15:28:09 +0000 | stites | (~stites@2607:fb91:de0:c5ac:395a:13db:5f58:787d) |
| 2023-10-12 15:31:08 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2023-10-12 15:32:09 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2023-10-12 15:32:22 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2023-10-12 15:32:32 +0000 | euleritian | (~euleritia@dynamic-046-114-204-025.46.114.pool.telefonica.de) |
| 2023-10-12 15:34:52 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 260 seconds) |
| 2023-10-12 15:36:22 +0000 | nschoe | (~q@2a01:e0a:8e:a190:a198:8ffb:336f:49b4) (Quit: Switching off) |
| 2023-10-12 15:39:20 +0000 | rawles | (~rawles@user/rawles) |
| 2023-10-12 15:40:40 +0000 | Pozyomka | (~pyon@user/pyon) |
| 2023-10-12 15:41:09 +0000 | euleritian | (~euleritia@dynamic-046-114-204-025.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-10-12 15:41:36 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-10-12 15:41:58 +0000 | shapr | (~user@2600:1700:c640:3100:ae91:4ce3:990:5e2b) (Remote host closed the connection) |
| 2023-10-12 15:42:11 +0000 | shapr | (~user@2600:1700:c640:3100:b619:36b:df80:3ea0) |
| 2023-10-12 15:44:08 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2023-10-12 15:44:28 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-10-12 15:45:53 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2023-10-12 15:46:01 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-10-12 15:48:48 +0000 | erisco | (~erisco@d24-141-66-165.home.cgocable.net) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) |
| 2023-10-12 15:48:52 +0000 | rawles | (~rawles@user/rawles) (Textual IRC Client: www.textualapp.com) |
| 2023-10-12 15:50:05 +0000 | erisco | (~erisco@d24-141-66-165.home.cgocable.net) |
| 2023-10-12 15:52:24 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:5d3c:fd45:6dba:f35a) (Remote host closed the connection) |
| 2023-10-12 15:52:40 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:5d3c:fd45:6dba:f35a) |
| 2023-10-12 15:52:59 +0000 | stites | (~stites@2607:fb91:de0:c5ac:395a:13db:5f58:787d) (Read error: Connection reset by peer) |
| 2023-10-12 15:53:20 +0000 | stites | (~stites@130.44.147.204) |
| 2023-10-12 15:53:44 +0000 | haskellbridge | (~haskellbr@069-135-003-034.biz.spectrum.com) (Ping timeout: 255 seconds) |
| 2023-10-12 15:53:56 +0000 | mango | (~finn@2001:861:5863:3d50:4039:bf13:7a44:542) |
| 2023-10-12 15:56:55 +0000 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) |
| 2023-10-12 15:58:41 +0000 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2023-10-12 15:58:59 +0000 | haskellbridge | (~haskellbr@069-135-003-034.biz.spectrum.com) |
| 2023-10-12 15:58:59 +0000 | ChanServ | +v haskellbridge |
| 2023-10-12 16:00:22 +0000 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2023-10-12 16:02:01 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-10-12 16:02:25 +0000 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 252 seconds) |
| 2023-10-12 16:02:53 +0000 | erisco | (~erisco@d24-141-66-165.home.cgocable.net) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) |
| 2023-10-12 16:04:09 +0000 | erisco | (~erisco@d24-141-66-165.home.cgocable.net) |
| 2023-10-12 16:05:45 +0000 | nitrix | nitrix-or-treat |
| 2023-10-12 16:05:55 +0000 | John_Ivan_ | (~John_Ivan@user/john-ivan/x-1515935) |
| 2023-10-12 16:06:01 +0000 | John_Ivan | (~John_Ivan@user/john-ivan/x-1515935) (Read error: Connection reset by peer) |
| 2023-10-12 16:10:24 +0000 | Flow | (~none@gentoo/developer/flow) (Ping timeout: 272 seconds) |
| 2023-10-12 16:15:28 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 255 seconds) |
| 2023-10-12 16:16:14 +0000 | mc47 | (~mc47@xmonad/TheMC47) |
| 2023-10-12 16:19:19 +0000 | caubert_ | (~caubert@user/caubert) |
| 2023-10-12 16:19:22 +0000 | caubert | (~caubert@user/caubert) (Read error: Connection reset by peer) |
| 2023-10-12 16:19:25 +0000 | xigua | (~xigua@user/xigua) (Ping timeout: 246 seconds) |
| 2023-10-12 16:19:28 +0000 | delyan_ | (sid523379@id-523379.hampstead.irccloud.com) (Ping timeout: 252 seconds) |
| 2023-10-12 16:19:28 +0000 | aspen | (sid449115@helmsley.irccloud.com) (Ping timeout: 252 seconds) |
| 2023-10-12 16:19:32 +0000 | meooow | (~meooow@2400:6180:100:d0::ad9:e001) (Quit: q) |
| 2023-10-12 16:19:33 +0000 | edmundnoble_ | (sid229620@helmsley.irccloud.com) (Read error: Connection reset by peer) |
| 2023-10-12 16:19:33 +0000 | orcus | (~orcus@mail.brprice.uk) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-10-12 16:19:34 +0000 | nonzen | (~nonzen@user/nonzen) (Quit: Gone) |
| 2023-10-12 16:19:41 +0000 | edmundnoble_ | (sid229620@id-229620.helmsley.irccloud.com) |
| 2023-10-12 16:19:44 +0000 | jmct | (sid160793@tinside.irccloud.com) (Read error: Connection reset by peer) |
| 2023-10-12 16:19:45 +0000 | liyang | (sid322268@uxbridge.irccloud.com) (Read error: Connection reset by peer) |
| 2023-10-12 16:19:46 +0000 | amir | (sid22336@user/amir) (Read error: Connection reset by peer) |
| 2023-10-12 16:19:46 +0000 | mankyKitty | (sid31287@helmsley.irccloud.com) (Read error: Connection reset by peer) |
| 2023-10-12 16:19:47 +0000 | meooow | (~meooow@165.232.184.169) |
| 2023-10-12 16:19:51 +0000 | mango | (~finn@2001:861:5863:3d50:4039:bf13:7a44:542) (Ping timeout: 240 seconds) |
| 2023-10-12 16:19:52 +0000 | nonzen_ | (~nonzen@user/nonzen) |
| 2023-10-12 16:19:52 +0000 | jmct | (sid160793@id-160793.tinside.irccloud.com) |
| 2023-10-12 16:19:54 +0000 | mankyKitty | (sid31287@id-31287.helmsley.irccloud.com) |
| 2023-10-12 16:19:54 +0000 | Noinia | (~Frank@77-162-168-71.fixed.kpn.net) (Read error: Connection reset by peer) |
| 2023-10-12 16:19:56 +0000 | liyang | (sid322268@id-322268.uxbridge.irccloud.com) |
| 2023-10-12 16:19:56 +0000 | amir | (sid22336@user/amir) |
| 2023-10-12 16:19:57 +0000 | sajith | (~sajith@user/sajith) (Quit: Gone) |
| 2023-10-12 16:19:58 +0000 | dunj3 | (~dunj3@kingdread.de) (Remote host closed the connection) |
| 2023-10-12 16:19:58 +0000 | jbalint | (~jbalint@2600:6c44:117f:e98a:816a:9488:fb1:7b7) (Remote host closed the connection) |
| 2023-10-12 16:19:58 +0000 | SrPx | (sid108780@uxbridge.irccloud.com) (Read error: Connection reset by peer) |
| 2023-10-12 16:19:58 +0000 | edm | (sid147314@hampstead.irccloud.com) (Read error: Connection reset by peer) |
| 2023-10-12 16:19:59 +0000 | flocks | (~flocks@134.122.90.60) (Quit: ZNC 1.8.2+deb2build5 - https://znc.in) |
| 2023-10-12 16:20:00 +0000 | edwardk | (sid47016@haskell/developer/edwardk) (Read error: Connection reset by peer) |
| 2023-10-12 16:20:01 +0000 | acro | (~acro@user/acro) (Quit: Bye.) |
| 2023-10-12 16:20:01 +0000 | YoungFrog | (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) (Quit: ZNC 1.7.x-git-3-96481995 - https://znc.in) |
| 2023-10-12 16:20:01 +0000 | chymera | (~chymera@ns1000526.ip-51-81-46.us) (Remote host closed the connection) |
| 2023-10-12 16:20:03 +0000 | manwithluck | (~manwithlu@2406:da14:5ea:e400:7863:dbc1:6a84:3050) (Excess Flood) |
| 2023-10-12 16:20:03 +0000 | Ekho | (~Ekho@user/ekho) (Remote host closed the connection) |
| 2023-10-12 16:20:04 +0000 | MelanieMalik | (ellenor@callbox.trd.is) (Quit: Bye Open Projects!) |
| 2023-10-12 16:20:07 +0000 | aspen | (sid449115@id-449115.helmsley.irccloud.com) |
| 2023-10-12 16:20:08 +0000 | Noinia | (~Frank@77-162-168-71.fixed.kpn.net) |
| 2023-10-12 16:20:08 +0000 | jbalint | (~jbalint@2600:6c44:117f:e98a:816a:9488:fb1:7b7) |
| 2023-10-12 16:20:11 +0000 | edwardk | (sid47016@haskell/developer/edwardk) |
| 2023-10-12 16:20:13 +0000 | flocks_ | (~flocks@134.122.90.60) |
| 2023-10-12 16:20:20 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 258 seconds) |
| 2023-10-12 16:20:20 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Ping timeout: 258 seconds) |
| 2023-10-12 16:20:22 +0000 | quintasan | (~quassel@quintasan.pl) (Quit: No Ping reply in 180 seconds.) |
| 2023-10-12 16:20:23 +0000 | manwithluck | (manwithluc@2406:da14:5ea:e400:7863:dbc1:6a84:3050) |
| 2023-10-12 16:20:23 +0000 | orcus | (~orcus@mail.brprice.uk) |
| 2023-10-12 16:20:23 +0000 | edm | (sid147314@id-147314.hampstead.irccloud.com) |
| 2023-10-12 16:20:24 +0000 | Dykam | (Dykam@dykam.nl) (Remote host closed the connection) |
| 2023-10-12 16:20:25 +0000 | sajith | (~sajith@user/sajith) |
| 2023-10-12 16:20:31 +0000 | xigua | (~xigua@user/xigua) |
| 2023-10-12 16:20:40 +0000 | SrPx | (sid108780@id-108780.uxbridge.irccloud.com) |
| 2023-10-12 16:20:47 +0000 | acro | (~acro@user/acro) |
| 2023-10-12 16:21:07 +0000 | mc47 | (~mc47@xmonad/TheMC47) (Ping timeout: 252 seconds) |
| 2023-10-12 16:21:13 +0000 | dunj3 | (~dunj3@kingdread.de) |
| 2023-10-12 16:21:25 +0000 | YoungFrog | (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) |
| 2023-10-12 16:21:34 +0000 | Dykam | (Dykam@dykam.nl) |
| 2023-10-12 16:21:40 +0000 | echoreply | (~echoreply@45.32.163.16) (Ping timeout: 252 seconds) |
| 2023-10-12 16:21:46 +0000 | kantokuen | (~kantokuen@user/kantokuen) (Remote host closed the connection) |
| 2023-10-12 16:22:01 +0000 | quintasan | (~quassel@quintasan.pl) |
| 2023-10-12 16:22:17 +0000 | chymera | (~chymera@ns1000526.ip-51-81-46.us) |
| 2023-10-12 16:22:32 +0000 | xsarnik7 | (xsarnik@lounge.fi.muni.cz) |
| 2023-10-12 16:22:32 +0000 | xstill_4 | (xstill@fimu/xstill) |
| 2023-10-12 16:22:40 +0000 | Unode_ | (~Unode@fg-ext-220.embl.de) |
| 2023-10-12 16:22:41 +0000 | xsarnik | (xsarnik@lounge.fi.muni.cz) (Ping timeout: 246 seconds) |
| 2023-10-12 16:22:41 +0000 | xstill_ | (xstill@fimu/xstill) (Ping timeout: 246 seconds) |
| 2023-10-12 16:22:42 +0000 | xsarnik7 | xsarnik |
| 2023-10-12 16:22:42 +0000 | xstill_4 | xstill_ |
| 2023-10-12 16:22:42 +0000 | echoreply | (~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) |
| 2023-10-12 16:23:02 +0000 | Unode | (~Unode@fg-ext-220.embl.de) (Read error: Connection reset by peer) |
| 2023-10-12 16:23:03 +0000 | Unode_ | Unode |
| 2023-10-12 16:23:18 +0000 | euleritian | (~euleritia@dynamic-046-114-204-025.46.114.pool.telefonica.de) |
| 2023-10-12 16:23:21 +0000 | delyan_ | (sid523379@id-523379.hampstead.irccloud.com) |
| 2023-10-12 16:23:47 +0000 | pounce | (~pounce@user/cute/pounce) (Ping timeout: 258 seconds) |
| 2023-10-12 16:24:05 +0000 | pounce | (~pounce@user/cute/pounce) |
| 2023-10-12 16:24:39 +0000 | haasn | (sid579015@id-579015.hampstead.irccloud.com) (Ping timeout: 245 seconds) |
| 2023-10-12 16:25:51 +0000 | haasn | (sid579015@id-579015.hampstead.irccloud.com) |
| 2023-10-12 16:28:47 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:5d3c:fd45:6dba:f35a) (Remote host closed the connection) |
| 2023-10-12 16:29:04 +0000 | Ellenor | (ellenor@callbox.trd.is) |
| 2023-10-12 16:30:35 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-10-12 16:32:25 +0000 | Ekho | (~Ekho@user/ekho) |
| 2023-10-12 16:32:54 +0000 | Flow | (~none@gentoo/developer/flow) |
| 2023-10-12 16:34:06 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:5d3c:fd45:6dba:f35a) |
| 2023-10-12 16:34:08 +0000 | erisco | (~erisco@d24-141-66-165.home.cgocable.net) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) |
| 2023-10-12 16:34:14 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 245 seconds) |
| 2023-10-12 16:35:25 +0000 | erisco | (~erisco@d24-141-66-165.home.cgocable.net) |
| 2023-10-12 16:37:55 +0000 | euleritian | (~euleritia@dynamic-046-114-204-025.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-10-12 16:38:13 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-10-12 16:40:08 +0000 | cpressey | (~cpressey@host-2-102-11-74.as13285.net) (Ping timeout: 245 seconds) |
| 2023-10-12 16:43:29 +0000 | connrs | (~connrs@user/connrs) |
| 2023-10-12 16:44:47 +0000 | cpressey | (~cpressey@host-2-102-82-205.as13285.net) |
| 2023-10-12 16:47:53 +0000 | connrs | (~connrs@user/connrs) (Client Quit) |
| 2023-10-12 16:48:11 +0000 | connrs | (~connrs@user/connrs) |
| 2023-10-12 16:51:20 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-10-12 16:51:20 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-10-12 16:51:20 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-10-12 16:51:54 +0000 | igghibu | (~igghibu@146.70.225.100) |
| 2023-10-12 16:52:36 +0000 | <danse-nr3_> | hmm found no haddock syntax for records inline |
| 2023-10-12 16:52:39 +0000 | <danse-nr3_> | newtype BoolCons = BoolCons { dec :: Bool {- ^ `dec` for deconstructor -} } |
| 2023-10-12 16:53:43 +0000 | <danse-nr3_> | putting it on multiple lines makes it less immediate |
| 2023-10-12 17:00:11 +0000 | <ghoulguy> | danse-nr3_: That's the inline syntax. What do you mean "found no"? |
| 2023-10-12 17:01:26 +0000 | <danse-nr3_> | is that it? I just made it up but i do not see it in https://haskell-haddock.readthedocs.io/en/latest/markup.html#constructors-and-record-fields |
| 2023-10-12 17:01:55 +0000 | <ghoulguy> | "Record fields are documented using one of these styles:" |
| 2023-10-12 17:02:06 +0000 | <ghoulguy> | and then it shows using | and ^ comments on the fields |
| 2023-10-12 17:02:53 +0000 | <danse-nr3_> | cool, there was no instance with {- ^ comment -} so had no clue. Thanks |
| 2023-10-12 17:03:17 +0000 | <ghoulguy> | "You can also use Haskell’s nested-comment style for documentation annotations, which is sometimes more convenient when using multi-line comments:" |
| 2023-10-12 17:05:29 +0000 | <danse-nr3_> | in the whole page there is not a single `{-^`, just instances of `{-|`, so i was not sure but good to know, thanks! |
| 2023-10-12 17:06:37 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:5d3c:fd45:6dba:f35a) (Remote host closed the connection) |
| 2023-10-12 17:06:42 +0000 | igghibu | (~igghibu@146.70.225.100) (Quit: igghibu) |
| 2023-10-12 17:08:24 +0000 | sabino | (~sabino@user/sabino) |
| 2023-10-12 17:19:22 +0000 | connrs | (~connrs@user/connrs) (Ping timeout: 258 seconds) |
| 2023-10-12 17:21:04 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2023-10-12 17:21:43 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-10-12 17:24:43 +0000 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-10-12 17:25:06 +0000 | hugo- | (znc@verdigris.lysator.liu.se) (Ping timeout: 260 seconds) |
| 2023-10-12 17:33:38 +0000 | rgw | (~R@2605:a601:a0df:5600:6e:28bc:4499:64c5) |
| 2023-10-12 17:34:46 +0000 | connrs | (~connrs@user/connrs) |
| 2023-10-12 17:34:49 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
| 2023-10-12 17:36:38 +0000 | jinsun | (~jinsun@user/jinsun) |
| 2023-10-12 17:36:59 +0000 | hugo- | (znc@verdigris.lysator.liu.se) |
| 2023-10-12 17:41:40 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-10-12 17:44:40 +0000 | misterfish | (~misterfis@178.228.65.237) |
| 2023-10-12 17:45:14 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:5d3c:fd45:6dba:f35a) |
| 2023-10-12 17:48:29 +0000 | qqq | (~qqq@92.43.167.61) |
| 2023-10-12 17:48:37 +0000 | connrs | (~connrs@user/connrs) (Ping timeout: 255 seconds) |
| 2023-10-12 17:52:14 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:5d3c:fd45:6dba:f35a) (Remote host closed the connection) |
| 2023-10-12 17:52:29 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:5d3c:fd45:6dba:f35a) |
| 2023-10-12 17:54:59 +0000 | connrs | (~connrs@user/connrs) |
| 2023-10-12 17:55:30 +0000 | califax | (~califax@user/califx) |
| 2023-10-12 17:55:34 +0000 | igghibu | (~igghibu@146.70.225.100) |
| 2023-10-12 17:57:44 +0000 | igghibu | (~igghibu@146.70.225.100) (Client Quit) |
| 2023-10-12 17:58:51 +0000 | hugo- | (znc@verdigris.lysator.liu.se) (Ping timeout: 258 seconds) |
| 2023-10-12 18:14:57 +0000 | hugo- | (znc@verdigris.lysator.liu.se) |
| 2023-10-12 18:20:42 +0000 | ft | (~ft@p3e9bc680.dip0.t-ipconnect.de) |
| 2023-10-12 18:27:35 +0000 | grnman_ | (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) (Ping timeout: 240 seconds) |
| 2023-10-12 18:31:02 +0000 | hugo- | (znc@verdigris.lysator.liu.se) (Ping timeout: 260 seconds) |
| 2023-10-12 18:33:15 +0000 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) |
| 2023-10-12 18:33:21 +0000 | misterfish | (~misterfis@178.228.65.237) (Ping timeout: 258 seconds) |
| 2023-10-12 18:34:13 +0000 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 255 seconds) |
| 2023-10-12 18:35:55 +0000 | grnman_ | (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) |
| 2023-10-12 18:36:07 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Quit: ChaiTRex) |
| 2023-10-12 18:37:34 +0000 | phma | (phma@2001:5b0:215a:f2d8:2f48:c224:bf4d:895e) (Read error: Connection reset by peer) |
| 2023-10-12 18:37:36 +0000 | hugo- | (znc@verdigris.lysator.liu.se) |
| 2023-10-12 18:38:23 +0000 | phma | (~phma@host-67-44-208-195.hnremote.net) |
| 2023-10-12 18:42:33 +0000 | hugo- | (znc@verdigris.lysator.liu.se) (Ping timeout: 258 seconds) |
| 2023-10-12 18:43:33 +0000 | kantokuen | (~kantokuen@user/kantokuen) |
| 2023-10-12 18:44:14 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds) |
| 2023-10-12 18:45:27 +0000 | euleritian | (~euleritia@dynamic-046-114-204-025.46.114.pool.telefonica.de) |
| 2023-10-12 18:46:47 +0000 | danse-nr3_ | (~francesco@151.35.222.110) (Remote host closed the connection) |
| 2023-10-12 18:47:09 +0000 | danse-nr3_ | (~francesco@151.35.222.110) |
| 2023-10-12 18:47:48 +0000 | cpressey | (~cpressey@host-2-102-82-205.as13285.net) (Quit: Client closed) |
| 2023-10-12 18:50:36 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2023-10-12 18:50:45 +0000 | euleritian | (~euleritia@dynamic-046-114-204-025.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-10-12 18:50:59 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2023-10-12 18:51:02 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-10-12 18:51:56 +0000 | danse-nr3_ | (~francesco@151.35.222.110) (Ping timeout: 255 seconds) |
| 2023-10-12 18:54:39 +0000 | hugo- | (znc@verdigris.lysator.liu.se) |
| 2023-10-12 18:58:24 +0000 | Square | (~Square@user/square) |
| 2023-10-12 18:58:31 +0000 | cpressey | (~cpressey@host-2-102-82-205.as13285.net) |
| 2023-10-12 18:59:16 +0000 | simendsjo | (~user@84.211.91.241) (Ping timeout: 255 seconds) |
| 2023-10-12 19:10:09 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-10-12 19:12:09 +0000 | Kuttenbrunzer | (~Kuttenbru@2a02:8108:8b80:1d48::5735) |
| 2023-10-12 19:13:42 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-10-12 19:14:10 +0000 | califax | (~califax@user/califx) |
| 2023-10-12 19:14:36 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2023-10-12 19:17:17 +0000 | kantokuen | (~kantokuen@user/kantokuen) (Remote host closed the connection) |
| 2023-10-12 19:19:19 +0000 | kantokuen | (~kantokuen@user/kantokuen) |
| 2023-10-12 19:19:23 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2023-10-12 19:19:35 +0000 | cpressey | (~cpressey@host-2-102-82-205.as13285.net) (Quit: Client closed) |
| 2023-10-12 19:27:10 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-10-12 19:27:36 +0000 | cpressey | (~cpressey@host-2-102-82-205.as13285.net) |
| 2023-10-12 19:27:38 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2023-10-12 19:28:46 +0000 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) |
| 2023-10-12 19:29:38 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-10-12 19:30:13 +0000 | Kuttenbrunzer | (~Kuttenbru@2a02:8108:8b80:1d48::5735) (Remote host closed the connection) |
| 2023-10-12 19:31:42 +0000 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-10-12 19:32:41 +0000 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Remote host closed the connection) |
| 2023-10-12 19:32:56 +0000 | billchenchina | (~billchenc@2408:824e:d29:eb41:605f:8cb3:4c7b:b56b) |
| 2023-10-12 19:32:59 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-10-12 19:44:22 +0000 | danza | (~francesco@151.35.183.92) |
| 2023-10-12 19:44:55 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:5d3c:fd45:6dba:f35a) (Remote host closed the connection) |
| 2023-10-12 19:45:13 +0000 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2023-10-12 19:45:18 +0000 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2023-10-12 19:45:42 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-10-12 19:48:06 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2023-10-12 19:51:49 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-10-12 19:52:58 +0000 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Ping timeout: 255 seconds) |
| 2023-10-12 19:55:14 +0000 | Inst | (~Inst@120.244.192.250) (Read error: Connection reset by peer) |
| 2023-10-12 19:59:06 +0000 | billchenchina | (~billchenc@2408:824e:d29:eb41:605f:8cb3:4c7b:b56b) (Remote host closed the connection) |
| 2023-10-12 20:00:05 +0000 | waleee | (~waleee@2001:9b0:21c:e600:f2f3:f744:435d:137c) |
| 2023-10-12 20:03:29 +0000 | hiyori | (~hiyori@user/hiyori) (Quit: Ping timeout (120 seconds)) |
| 2023-10-12 20:09:28 +0000 | danza | (~francesco@151.35.183.92) (Ping timeout: 255 seconds) |
| 2023-10-12 20:09:29 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2023-10-12 20:14:23 +0000 | fendor | (~fendor@2a02:8388:1640:be00:aab:1226:f274:5021) (Remote host closed the connection) |
| 2023-10-12 20:14:25 +0000 | mc47 | (~mc47@xmonad/TheMC47) |
| 2023-10-12 20:14:52 +0000 | waleee | (~waleee@2001:9b0:21c:e600:f2f3:f744:435d:137c) (Ping timeout: 260 seconds) |
| 2023-10-12 20:15:40 +0000 | waleee | (~waleee@2001:9b0:21c:e600:f2f3:f744:435d:137c) |
| 2023-10-12 20:20:38 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e08f:f595:f5d4:b57f) |
| 2023-10-12 20:45:16 +0000 | cawfee_ | (~root@2406:3003:2077:2758::babe) (Ping timeout: 272 seconds) |
| 2023-10-12 20:45:16 +0000 | landonf | (landonf@mac68k.info) (Ping timeout: 272 seconds) |
| 2023-10-12 20:45:23 +0000 | jbalint | (~jbalint@2600:6c44:117f:e98a:816a:9488:fb1:7b7) (Quit: Bye!) |
| 2023-10-12 20:45:23 +0000 | landonf | (landonf@mac68k.info) |
| 2023-10-12 20:45:34 +0000 | jbalint | (~jbalint@2600:6c44:117f:e98a:816a:9488:fb1:7b7) |
| 2023-10-12 20:45:36 +0000 | cawfee_ | (~root@2406:3003:2077:2758::babe) |
| 2023-10-12 20:45:59 +0000 | ddellacosta | (~ddellacos@ool-44c738de.dyn.optonline.net) (Ping timeout: 258 seconds) |
| 2023-10-12 20:46:55 +0000 | ddellacosta | (~ddellacos@ool-44c738de.dyn.optonline.net) |
| 2023-10-12 20:52:52 +0000 | vglfr | (~vglfr@88.155.190.13) (Read error: Connection reset by peer) |
| 2023-10-12 20:53:39 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-10-12 20:56:33 +0000 | hiyori | (~hiyori@user/hiyori) |
| 2023-10-12 21:09:34 +0000 | hiyori | (~hiyori@user/hiyori) (Quit: Client closed) |
| 2023-10-12 21:09:45 +0000 | Jackneill | (~Jackneill@20014C4E1E021C0091E9A35ED697ECF8.dsl.pool.telekom.hu) (Ping timeout: 258 seconds) |
| 2023-10-12 21:11:23 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2023-10-12 21:12:51 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-10-12 21:33:08 +0000 | acidjnk | (~acidjnk@p200300d6e7072f59e8bb91743ee028d6.dip0.t-ipconnect.de) (Ping timeout: 258 seconds) |
| 2023-10-12 21:34:57 +0000 | <EvanR> | I heard that haskell was made pure because not pure and lazy was considered a very bad idea by the designers. It sounded like a hypothetical but I guess there was precedent? https://en.wikipedia.org/wiki/Jensen%27s_device |
| 2023-10-12 21:38:53 +0000 | waleee | (~waleee@2001:9b0:21c:e600:f2f3:f744:435d:137c) (Ping timeout: 258 seconds) |
| 2023-10-12 21:39:03 +0000 | acidjnk | (~acidjnk@p200300d6e7072f66ed0567410d5301c2.dip0.t-ipconnect.de) |
| 2023-10-12 21:40:35 +0000 | pavonia | (~user@user/siracusa) |
| 2023-10-12 21:41:11 +0000 | grnman_ | (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) (Ping timeout: 258 seconds) |
| 2023-10-12 21:41:23 +0000 | bilegeek | (~bilegeek@2600:1008:b0ad:12bd:96ec:644e:d052:37ec) |
| 2023-10-12 21:43:25 +0000 | notzmv | (~zmv@user/notzmv) (Ping timeout: 252 seconds) |
| 2023-10-12 21:48:14 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2023-10-12 21:48:51 +0000 | alphacentauri | (alphacenta@gateway/vpn/protonvpn/alphacentauri) (Quit: WeeChat 4.0.5) |
| 2023-10-12 21:50:11 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2023-10-12 22:02:13 +0000 | <monochrom> | You can re-live effectful-and-lazy in Haskell by playing with unsafeInterleaveIO. :) |
| 2023-10-12 22:05:34 +0000 | <monochrom> | But the other angle is that pure-and-eager is the worst of both worlds. For example, suppose you want constant-time FIFO queue operations. Okasaki's book (and thesis probably, I haven't checked) shows how to do it with laziness, if you want pure (immutable). It looks like you need either lazy or mutable. |
| 2023-10-12 22:06:50 +0000 | waleee | (~waleee@2001:9b0:21c:e600:f2f3:f744:435d:137c) |
| 2023-10-12 22:09:27 +0000 | <monochrom> | Haha Jensen's device is pretty cute. At least the example on wikipedia. |
| 2023-10-12 22:10:01 +0000 | <monochrom> | It almost reads like a macro system. (Then again call-by-name does, in general.) |
| 2023-10-12 22:10:19 +0000 | <dolio> | unsafeInterleaveIO is too well behaved, I think. |
| 2023-10-12 22:12:46 +0000 | hugo- | (znc@verdigris.lysator.liu.se) (Ping timeout: 255 seconds) |
| 2023-10-12 22:13:28 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-10-12 22:25:01 +0000 | <cheater> | unsafeLaunchRockets |
| 2023-10-12 22:26:19 +0000 | arahael | (~arahael@119-18-2-212.771202.syd.nbn.aussiebb.net) |
| 2023-10-12 22:26:54 +0000 | <davean> | Rocket launches should be safe, its the arrivals we want to have be unsafe. |
| 2023-10-12 22:28:03 +0000 | <monochrom> | No! Rocket launches release so much poisonous gases that observers are required to stay like 2 miles away. That's how unsafe it is. |
| 2023-10-12 22:28:22 +0000 | <EvanR> | unless you're filming soyuz launches for roscosmos |
| 2023-10-12 22:28:25 +0000 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-10-12 22:29:03 +0000 | <EvanR> | also I wonder if there has been haskell in space ever |
| 2023-10-12 22:29:27 +0000 | <EvanR> | space probe teams write all their code in C and wonder why they crash into the moon |
| 2023-10-12 22:29:58 +0000 | <geekosaur> | actually nasa is funding clash and another write-trusted-C-code-via-Haskell tool |
| 2023-10-12 22:30:21 +0000 | <monochrom> | Um, "clash" is not a very lucky name :) |
| 2023-10-12 22:30:43 +0000 | <EvanR> | crash -> clash |
| 2023-10-12 22:30:47 +0000 | <EvanR> | right -> left |
| 2023-10-12 22:31:13 +0000 | <tomsmeding> | geekosaur: Copilot? |
| 2023-10-12 22:31:20 +0000 | <tomsmeding> | not to be confused with the other thing with the same name |
| 2023-10-12 22:31:29 +0000 | <monochrom> | Someone is going to jinx themselves by naming their language "crash" and their system "burn". >:) |
| 2023-10-12 22:31:40 +0000 | <geekosaur> | right, that one |
| 2023-10-12 22:32:10 +0000 | <monochrom> | Ugh too many chefs and copilots. >:) |
| 2023-10-12 22:32:32 +0000 | waleee | (~waleee@2001:9b0:21c:e600:f2f3:f744:435d:137c) (Ping timeout: 260 seconds) |
| 2023-10-12 22:32:59 +0000 | <tomsmeding> | monochrom: here in NL most trailers for rent seem to be made by a company whose name translates to "falters" |
| 2023-10-12 22:33:26 +0000 | <tomsmeding> | and that translation is not an exaggeration |
| 2023-10-12 22:33:35 +0000 | <monochrom> | haha |
| 2023-10-12 22:33:38 +0000 | <EvanR> | faulty towers Inc |
| 2023-10-12 22:33:48 +0000 | <tomsmeding> | (Hapert, for the dutchies around) |
| 2023-10-12 22:34:23 +0000 | <tomsmeding> | oh it's a European brand apparently |
| 2023-10-12 22:35:28 +0000 | waleee | (~waleee@2001:9b0:21c:e600:f2f3:f744:435d:137c) |
| 2023-10-12 22:36:58 +0000 | <davean> | monochrom: uh, I mean it varies by the rocket, many don't give off any toxins. |
| 2023-10-12 22:37:31 +0000 | <davean> | You have to be much more worried about launch failures |
| 2023-10-12 22:37:52 +0000 | <monochrom> | I forgot those. |
| 2023-10-12 22:41:03 +0000 | <davean> | Some of the largest explosions in human history are rocket launch failures |
| 2023-10-12 22:41:38 +0000 | <davean> | We don't want those though, hence safeLaunchRockets, unsafeDeliverRockets |
| 2023-10-12 22:45:06 +0000 | acidjnk | (~acidjnk@p200300d6e7072f66ed0567410d5301c2.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2023-10-12 22:51:48 +0000 | erisco | (~erisco@d24-141-66-165.home.cgocable.net) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) |
| 2023-10-12 22:52:37 +0000 | erisco | (~erisco@d24-141-66-165.home.cgocable.net) |
| 2023-10-12 23:09:57 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 252 seconds) |
| 2023-10-12 23:10:30 +0000 | motherfsck | (~motherfsc@user/motherfsck) |
| 2023-10-12 23:11:39 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-10-12 23:14:25 +0000 | alphacentauri | (~alphacent@modemcable048.127-56-74.mc.videotron.ca) |
| 2023-10-12 23:16:32 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 255 seconds) |
| 2023-10-12 23:16:39 +0000 | zero | (~z@user/zero) |
| 2023-10-12 23:19:41 +0000 | zzz | (~z@user/zero) |
| 2023-10-12 23:20:05 +0000 | yin | (~z@user/zero) (Ping timeout: 258 seconds) |
| 2023-10-12 23:21:26 +0000 | zero | (~z@user/zero) (Ping timeout: 260 seconds) |
| 2023-10-12 23:21:26 +0000 | zzz | zero |
| 2023-10-12 23:25:36 +0000 | alphacentauri | (~alphacent@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 4.0.5) |
| 2023-10-12 23:42:31 +0000 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Ping timeout: 260 seconds) |
| 2023-10-12 23:45:08 +0000 | xff0x | (~xff0x@ai101218.d.east.v6connect.net) (Ping timeout: 272 seconds) |
| 2023-10-12 23:46:28 +0000 | hiyori | (~hiyori@user/hiyori) |
| 2023-10-12 23:46:52 +0000 | xff0x | (~xff0x@178.255.149.135) |
| 2023-10-12 23:52:28 +0000 | alphacentauri | (alphacenta@gateway/vpn/protonvpn/alphacentauri) |
| 2023-10-12 23:55:24 +0000 | waleee | (~waleee@2001:9b0:21c:e600:f2f3:f744:435d:137c) (Ping timeout: 240 seconds) |
| 2023-10-12 23:55:50 +0000 | waleee | (~waleee@2001:9b0:21c:e600:f2f3:f744:435d:137c) |
| 2023-10-12 23:59:23 +0000 | adium | (adium@user/adium) |