IRCBrowse

2021/09/30

2021-09-30 00:00:04 +0200 <monochrom> But may I attribute the 1st monad analogy stack? SpaceSuitT NuclearWaste or something... :)
2021-09-30 00:01:58 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-09-30 00:07:11 +0200xff0x(~xff0x@2001:1a81:5386:1100:51ce:15a:f28:e4d7) (Ping timeout: 245 seconds)
2021-09-30 00:07:35 +0200mc47(~mc47@xmonad/TheMC47) (Remote host closed the connection)
2021-09-30 00:08:13 +0200xff0x(~xff0x@2001:1a81:5386:1100:959c:7ba1:9c0e:1cbf)
2021-09-30 00:11:16 +0200benin036932301(~benin@183.82.176.107) (Quit: The Lounge - https://thelounge.chat)
2021-09-30 00:14:11 +0200Guest4176(~Guest41@eth-west-pareq2-46-193-4-100.wb.wifirst.net) (Quit: Client closed)
2021-09-30 00:16:15 +0200benin036932301(~benin@183.82.176.107)
2021-09-30 00:20:43 +0200yauhsien(~yauhsien@118-167-50-28.dynamic-ip.hinet.net)
2021-09-30 00:25:22 +0200yauhsien(~yauhsien@118-167-50-28.dynamic-ip.hinet.net) (Ping timeout: 252 seconds)
2021-09-30 00:25:29 +0200cheater(~Username@user/cheater) (Ping timeout: 252 seconds)
2021-09-30 00:25:39 +0200cheater(~Username@user/cheater)
2021-09-30 00:25:47 +0200random-jellyfish(~random-je@user/random-jellyfish)
2021-09-30 00:25:53 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2021-09-30 00:26:16 +0200unmanbearpig(~unmanbear@45.76.95.141) (Changing host)
2021-09-30 00:26:16 +0200unmanbearpig(~unmanbear@user/unmanbearpig)
2021-09-30 00:26:44 +0200random-jellyfish(~random-je@user/random-jellyfish) (Client Quit)
2021-09-30 00:27:08 +0200azimut_(~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
2021-09-30 00:34:17 +0200mikoto-chan(~mikoto-ch@83.137.2.251) (Ping timeout: 252 seconds)
2021-09-30 00:36:07 +0200mikoto-chan(~mikoto-ch@83.137.2.252)
2021-09-30 00:36:21 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds)
2021-09-30 00:37:36 +0200waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 245 seconds)
2021-09-30 00:39:50 +0200waleee(~waleee@h-98-128-228-119.NA.cust.bahnhof.se)
2021-09-30 00:43:15 +0200pavonia(~user@user/siracusa)
2021-09-30 00:43:48 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2021-09-30 00:44:16 +0200Organizers|Robin(~Robin_Jad@152.67.64.160) (Ping timeout: 245 seconds)
2021-09-30 00:45:50 +0200acidjnk(~acidjnk@p200300d0c703cb532872c69d6a5a30e0.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2021-09-30 00:50:10 +0200MQ-17J(~MQ-17J@d192-24-122-179.try.wideopenwest.com) (Read error: Connection reset by peer)
2021-09-30 00:50:43 +0200mikoto-chan(~mikoto-ch@83.137.2.252) (Ping timeout: 252 seconds)
2021-09-30 00:50:44 +0200MQ-17J(~MQ-17J@d192-24-122-179.try.wideopenwest.com)
2021-09-30 00:56:10 +0200ubert(~Thunderbi@178.115.55.159.wireless.dyn.drei.com) (Ping timeout: 252 seconds)
2021-09-30 00:56:37 +0200yauhsien(~yauhsien@118-167-50-28.dynamic-ip.hinet.net)
2021-09-30 00:57:28 +0200yauhsien(~yauhsien@118-167-50-28.dynamic-ip.hinet.net) (Remote host closed the connection)
2021-09-30 00:59:44 +0200tsmc[m](~tsmcmatri@2001:470:69fc:105::1:7e1)
2021-09-30 01:00:31 +0200hendursaga(~weechat@user/hendursaga) (Remote host closed the connection)
2021-09-30 01:01:00 +0200hendursaga(~weechat@user/hendursaga)
2021-09-30 01:03:59 +0200MQ-17J(~MQ-17J@d192-24-122-179.try.wideopenwest.com) (Ping timeout: 252 seconds)
2021-09-30 01:04:41 +0200CnnibisIndica(~herb@user/mesaboogie) (Ping timeout: 245 seconds)
2021-09-30 01:04:51 +0200codygman[m](~codygman@2001:470:69fc:105::b4ba)
2021-09-30 01:05:03 +0200CnnibisIndica(~herb@user/mesaboogie)
2021-09-30 01:06:22 +0200pfurla(~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 260 seconds)
2021-09-30 01:08:58 +0200Tuplanolla(~Tuplanoll@91-159-69-50.elisa-laajakaista.fi) (Quit: Leaving.)
2021-09-30 01:09:38 +0200Guest79(~Guest79@47.186.214.206)
2021-09-30 01:12:03 +0200 <Guest79> Can anyone help? I'm stuck trying to use a custom Logging monad transformer inside of my App monad. I don't know how to go from LoggingOrville -> App here: https://github.com/codygman/smol-monadorville-example/blob/a95261633eed1b9df9bf1d4df8255cec92fecc2…
2021-09-30 01:13:07 +0200 <Guest79> Maybe with MonadIO? I want my soon to be custom instance of `runningQuery` to be used
2021-09-30 01:13:42 +0200machinedgod(~machinedg@135-23-192-217.cpe.pppoe.ca) (Remote host closed the connection)
2021-09-30 01:14:36 +0200MQ-17J(~MQ-17J@d192-24-122-179.try.wideopenwest.com)
2021-09-30 01:14:40 +0200machinedgod(~machinedg@135-23-192-217.cpe.pppoe.ca)
2021-09-30 01:17:06 +0200euandreh(~euandreh@2804:14c:33:9fe5:6daf:7cb1:25f6:bef8) (Ping timeout: 260 seconds)
2021-09-30 01:20:47 +0200emf_(~emf@2601:602:9401:b660:47d:d5f4:4143:7c05)
2021-09-30 01:20:51 +0200xsperry(~xs@user/xsperry) (Remote host closed the connection)
2021-09-30 01:21:14 +0200xsperry(~xs@cpe-188-129-101-182.dynamic.amis.hr)
2021-09-30 01:22:29 +0200euandreh(~euandreh@2804:14c:33:9fe5:2810:3afa:c444:8029)
2021-09-30 01:23:10 +0200emf(~emf@2620:10d:c090:400::5:2507) (Ping timeout: 260 seconds)
2021-09-30 01:28:05 +0200Guest79(~Guest79@47.186.214.206) (Quit: Ping timeout (120 seconds))
2021-09-30 01:28:16 +0200Guest79(~Guest79@47.186.214.206)
2021-09-30 01:28:27 +0200yauhsien(~yauhsien@118-167-50-28.dynamic-ip.hinet.net)
2021-09-30 01:29:30 +0200mestre(~mestre@191.177.175.57) (Quit: leaving)
2021-09-30 01:29:47 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 265 seconds)
2021-09-30 01:32:55 +0200Guest79(~Guest79@47.186.214.206) (Client Quit)
2021-09-30 01:33:08 +0200yauhsien(~yauhsien@118-167-50-28.dynamic-ip.hinet.net) (Ping timeout: 252 seconds)
2021-09-30 01:35:35 +0200MQ-17J(~MQ-17J@d192-24-122-179.try.wideopenwest.com) (Ping timeout: 265 seconds)
2021-09-30 01:37:04 +0200mestre(~mestre@191.177.175.57)
2021-09-30 01:40:43 +0200MQ-17J(~MQ-17J@d192-24-122-179.try.wideopenwest.com)
2021-09-30 01:40:59 +0200Gurkenglas(~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) (Ping timeout: 246 seconds)
2021-09-30 01:45:52 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-09-30 01:45:52 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-09-30 01:45:52 +0200wroathe(~wroathe@user/wroathe)
2021-09-30 01:49:07 +0200BosonCollider(~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 252 seconds)
2021-09-30 01:50:11 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 252 seconds)
2021-09-30 01:50:40 +0200ph88(~ph88@2a02:8109:9e00:7e5c:5435:afc4:e6b4:ce6b) (Ping timeout: 252 seconds)
2021-09-30 01:52:33 +0200benin0369323016(~benin@183.82.30.62)
2021-09-30 01:53:25 +0200aegon(~mike@174.127.249.180) (Remote host closed the connection)
2021-09-30 01:53:38 +0200zebrag(~chris@user/zebrag)
2021-09-30 01:54:16 +0200benin036932301(~benin@183.82.176.107) (Ping timeout: 245 seconds)
2021-09-30 01:54:16 +0200benin0369323016benin036932301
2021-09-30 01:55:57 +0200ec(~ec@gateway/tor-sasl/ec) (Ping timeout: 276 seconds)
2021-09-30 02:01:40 +0200myShoggoth(~myShoggot@97-120-70-214.ptld.qwest.net) (Ping timeout: 252 seconds)
2021-09-30 02:02:15 +0200yin(~yin@user/yin)
2021-09-30 02:02:26 +0200thorongil(~thorongil@c-24-218-164-113.hsd1.vt.comcast.net)
2021-09-30 02:05:10 +0200zzz(~yin@user/yin) (Ping timeout: 260 seconds)
2021-09-30 02:05:10 +0200yinzzz
2021-09-30 02:05:12 +0200emf_(~emf@2601:602:9401:b660:47d:d5f4:4143:7c05) (Quit: emf_)
2021-09-30 02:05:39 +0200 <thorongil> hi there. i'm running ghc 8.10.7 and cabal 3.6.0.0, installed by ghcup 0.1.17.1. when i run "cabal init" and then "cabal install diagrams", it complains that it can't build the executables in package diagrams because it does not contain any executables. any suggestions on how to debug it? the cabal documentation suggests (to me) that this should work.
2021-09-30 02:06:20 +0200 <sclv> thorongil: you're following old v1 instructions
2021-09-30 02:06:29 +0200 <sclv> with v2 build you don't usually install packages to use them
2021-09-30 02:06:42 +0200 <sclv> you just create projects and add them as dependencies and cabal manages them for you
2021-09-30 02:07:04 +0200 <monochrom> "cabal install foo" means executables only. This has been true for a pretty long time.
2021-09-30 02:08:01 +0200 <geekosaur> whereas diagrams is a library with no executables
2021-09-30 02:08:07 +0200 <thorongil> got it, thanks
2021-09-30 02:08:15 +0200 <thorongil> nice to know the documentation is years out of date
2021-09-30 02:08:19 +0200mestre(~mestre@191.177.175.57) (Quit: leaving)
2021-09-30 02:08:28 +0200unmanbearpig(~unmanbear@user/unmanbearpig) (Ping timeout: 265 seconds)
2021-09-30 02:09:07 +0200 <awpr> (which documentation? I wouldn't expect old documentation to be purged from the internet, but I would expect official sources to be up-to-date)
2021-09-30 02:10:01 +0200 <thorongil> this is where i found it: https://cabal.readthedocs.io/en/3.6/installing-packages.html#building-and-installing-packages
2021-09-30 02:10:15 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 276 seconds)
2021-09-30 02:10:47 +0200alzgh(~alzgh@user/alzgh) (Remote host closed the connection)
2021-09-30 02:10:49 +0200 <awpr> huh. yeah, that looks like the official documentation to me, and it seems misleading at best.
2021-09-30 02:11:07 +0200 <sclv> yeah that section needs rewriting. here's the right section: https://cabal.readthedocs.io/en/3.6/nix-local-build-overview.html
2021-09-30 02:11:08 +0200alzgh(~alzgh@user/alzgh)
2021-09-30 02:11:37 +0200 <awpr> uh... I completely ignored that section because I assumed it was documenting Nix integration
2021-09-30 02:11:39 +0200 <thorongil> i skimmed the intro sections and it does not make a sufficiently clear distinction between v1 and v2 cabal stuff imo, especially now that the v2 stuff is silently the default.
2021-09-30 02:12:08 +0200 <awpr> like, I saw it in the sidebar and thought "yep, that part is irrelevant to this situation"
2021-09-30 02:12:52 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2021-09-30 02:14:13 +0200 <awpr> seems like a significant doc bug to me that the entire current usage of cabal is disguised under a section title that makes it look irrelevant/niche
2021-09-30 02:14:26 +0200ec(~ec@gateway/tor-sasl/ec)
2021-09-30 02:14:29 +0200 <sclv> the docs need a lot of work, there's been a bunch of tickets on it and ongoing prs
2021-09-30 02:14:34 +0200 <sclv> haven't been keeping track of the details
2021-09-30 02:14:48 +0200hendursaga(~weechat@user/hendursaga) (Ping timeout: 276 seconds)
2021-09-30 02:15:27 +0200hendursaga(~weechat@user/hendursaga)
2021-09-30 02:15:28 +0200Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer)
2021-09-30 02:15:43 +0200 <monochrom> "To be written" :)
2021-09-30 02:16:23 +0200 <sclv> i think the docs are mainly updated, skimming through. this is just a stray section that was never fully deleted
2021-09-30 02:16:36 +0200 <monochrom> Right.
2021-09-30 02:16:44 +0200Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi)
2021-09-30 02:17:01 +0200 <sclv> please open an issue, or better yet a pr :-) https://github.com/haskell/cabal/labels/documentation
2021-09-30 02:17:01 +0200MQ-17J(~MQ-17J@d192-24-122-179.try.wideopenwest.com) (Read error: Connection reset by peer)
2021-09-30 02:17:11 +0200 <monochrom> Yikes.
2021-09-30 02:17:38 +0200MQ-17J(~MQ-17J@d192-24-122-179.try.wideopenwest.com)
2021-09-30 02:17:51 +0200 <sclv> a lot of the older doc tickets can probably be closed -- nobody's really been grooming em sadly
2021-09-30 02:18:19 +0200 <awpr> looks like https://github.com/haskell/cabal/issues/6913
2021-09-30 02:18:30 +0200 <sclv> we've been getting more individual doc contributors lately, but no real "doc czar"
2021-09-30 02:18:41 +0200 <awpr> oh, that's about the `--help` text
2021-09-30 02:19:33 +0200 <sclv> eh, i'll hijack it for this too
2021-09-30 02:23:14 +0200yauhsien(~yauhsien@118-167-50-28.dynamic-ip.hinet.net)
2021-09-30 02:23:26 +0200 <geekosaur> I have to admit I'd been wondering why the old v1 docs still not only hang around but come first, and why v2 is confusingly called "nix-style"
2021-09-30 02:24:31 +0200 <thorongil> my understanding is it's because the v2 style was inspired by NixOS's ability to have multiple library versions installed concurrently
2021-09-30 02:24:34 +0200 <boxscape_> "nix-style" sounds like a reasonable title while v1 was default, to give people an idea of what the alternative is
2021-09-30 02:24:55 +0200 <boxscape_> (the reason it's still named that now, is, presumably, mainly inertia?)
2021-09-30 02:28:08 +0200hyiltiz(~quassel@31.220.5.250) (Ping timeout: 252 seconds)
2021-09-30 02:28:16 +0200yauhsien(~yauhsien@118-167-50-28.dynamic-ip.hinet.net) (Ping timeout: 265 seconds)
2021-09-30 02:28:23 +0200 <geekosaur> actually it's worse than that, "nix style would have been fine but "nix local builds" is misleading at best
2021-09-30 02:28:26 +0200 <sclv> people have been trying to clear this stuff up. just needs more contributers
2021-09-30 02:28:58 +0200 <awpr> that's just the URL, right?
2021-09-30 02:29:34 +0200myShoggoth(~myShoggot@97-120-70-214.ptld.qwest.net)
2021-09-30 02:29:46 +0200 <awpr> I guess it's probably the basename of a markdown file somewhere too, though
2021-09-30 02:29:46 +0200 <monochrom> "nix-style local builds" is best/worst of both worlds :)
2021-09-30 02:30:16 +0200VoidNoir0(~VoidNoir0@72.80.203.52) (Quit: Connection closed)
2021-09-30 02:30:30 +0200 <monochrom> I think someone manually chose the filenames.
2021-09-30 02:30:52 +0200 <monochrom> Package Concepts and Development -> concepts-and-development
2021-09-30 02:31:17 +0200 <monochrom> Configuration and Installing Packages -> config-and-install
2021-09-30 02:31:54 +0200 <monochrom> Package Description Format Specification History -> file-format-changelog
2021-09-30 02:32:11 +0200 <monochrom> Not even GPT3 is smart enough for that last one :)
2021-09-30 02:32:31 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-09-30 02:33:46 +0200 <monochrom> cabal-install Commands -> open-the-door-HAL
2021-09-30 02:34:11 +0200myShoggoth(~myShoggot@97-120-70-214.ptld.qwest.net) (Ping timeout: 252 seconds)
2021-09-30 02:36:38 +0200 <monochrom> cabal v2-upgrade -> open-the-door-HAL.html#I-cant-do-that-Dave
2021-09-30 02:39:07 +0200thorongil(~thorongil@c-24-218-164-113.hsd1.vt.comcast.net) (Quit: leaving)
2021-09-30 02:40:05 +0200Cajun(~Cajun@user/cajun)
2021-09-30 02:41:24 +0200myShoggoth(~myShoggot@97-120-70-214.ptld.qwest.net)
2021-09-30 02:41:30 +0200unmanbearpig(~unmanbear@45.76.95.141)
2021-09-30 02:41:49 +0200 <sm> as sclv says, a real doc czar is needed
2021-09-30 02:44:47 +0200hyiltiz(~quassel@31.220.5.250)
2021-09-30 02:45:32 +0200anonymous(~eaweadwwd@64.64.117.15)
2021-09-30 02:50:14 +0200alzgh(~alzgh@user/alzgh) (Remote host closed the connection)
2021-09-30 02:51:00 +0200pfurla(~pfurla@ool-182ed2e2.dyn.optonline.net)
2021-09-30 02:57:36 +0200tommd(~tommd@75-164-130-101.ptld.qwest.net) (Ping timeout: 245 seconds)
2021-09-30 02:58:14 +0200y04nn(~y04nn@193.32.127.238) (Ping timeout: 265 seconds)
2021-09-30 02:58:33 +0200falafel(~falafel@2603-8000-d800-688c-d1df-4118-0ede-09f0.res6.spectrum.com)
2021-09-30 03:01:41 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds)
2021-09-30 03:02:14 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-09-30 03:02:15 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-09-30 03:02:15 +0200wroathe(~wroathe@user/wroathe)
2021-09-30 03:02:52 +0200brsvh(~brsvh@45.33.39.92)
2021-09-30 03:04:45 +0200lavaman(~lavaman@98.38.249.169)
2021-09-30 03:07:11 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-09-30 03:09:23 +0200lavaman(~lavaman@98.38.249.169) (Ping timeout: 252 seconds)
2021-09-30 03:13:55 +0200brettgilio(~brettgili@x-node.gq) (Quit: Leaving...)
2021-09-30 03:14:39 +0200boxscape_(~boxscape_@i577BCBE7.versanet.de) (Quit: Connection closed)
2021-09-30 03:14:55 +0200brettgilio(~brettgili@x-node.gq)
2021-09-30 03:16:32 +0200myShoggoth(~myShoggot@97-120-70-214.ptld.qwest.net) (Ping timeout: 252 seconds)
2021-09-30 03:18:40 +0200brettgilio(~brettgili@x-node.gq) (Remote host closed the connection)
2021-09-30 03:19:07 +0200xff0x(~xff0x@2001:1a81:5386:1100:959c:7ba1:9c0e:1cbf) (Ping timeout: 240 seconds)
2021-09-30 03:20:27 +0200ec(~ec@gateway/tor-sasl/ec) (Ping timeout: 276 seconds)
2021-09-30 03:21:01 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2021-09-30 03:21:23 +0200xff0x(~xff0x@2001:1a81:53c2:e100:55e4:10f:376d:73f2)
2021-09-30 03:22:10 +0200brettgilio(~brettgili@x-node.gq)
2021-09-30 03:23:08 +0200alx741(~alx741@186.178.109.205) (Ping timeout: 252 seconds)
2021-09-30 03:26:39 +0200slack1256(~slack1256@181.203.20.152)
2021-09-30 03:31:54 +0200vicfred(~vicfred@user/vicfred)
2021-09-30 03:33:26 +0200falafel(~falafel@2603-8000-d800-688c-d1df-4118-0ede-09f0.res6.spectrum.com) (Ping timeout: 245 seconds)
2021-09-30 03:34:12 +0200yauhsien(~yauhsien@118-167-50-28.dynamic-ip.hinet.net)
2021-09-30 03:43:07 +0200 <Axman6> @hoogle m a -> (a -> m b) -> m a
2021-09-30 03:43:09 +0200 <lambdabot> Language.Fixpoint.Misc (=>>) :: Monad m => m b -> (b -> m a) -> m b
2021-09-30 03:43:09 +0200 <lambdabot> StatusNotifier.Util (>>=/) :: Monad m => m a -> (a -> m b) -> m a
2021-09-30 03:43:09 +0200 <lambdabot> Language.Fixpoint.Misc (<<=) :: Monad m => (b -> m a) -> m b -> m b
2021-09-30 03:47:19 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2021-09-30 03:48:10 +0200ChaiTRex(~ChaiTRex@user/chaitrex)
2021-09-30 03:49:34 +0200xosdy[m](~xosdyalet@2001:470:69fc:105::31f7)
2021-09-30 03:55:35 +0200slack1256(~slack1256@181.203.20.152) (Ping timeout: 252 seconds)
2021-09-30 04:02:13 +0200Psybur(~Psybur@mobile-166-170-32-197.mycingular.net) (Remote host closed the connection)
2021-09-30 04:04:57 +0200yinghua(~yinghua@181.228.40.183) (Quit: Leaving)
2021-09-30 04:05:34 +0200td_(~td@muedsl-82-207-238-213.citykom.de) (Ping timeout: 265 seconds)
2021-09-30 04:07:13 +0200td_(~td@muedsl-82-207-238-004.citykom.de)
2021-09-30 04:09:16 +0200waleee(~waleee@h-98-128-228-119.NA.cust.bahnhof.se) (Ping timeout: 252 seconds)
2021-09-30 04:15:18 +0200myShoggoth(~myShoggot@97-120-70-214.ptld.qwest.net)
2021-09-30 04:26:19 +0200jaitoon(~Jaitoon@2a02:c7f:a5f:1d00:f43d:e16d:5d40:5652) (Ping timeout: 252 seconds)
2021-09-30 04:31:24 +0200anonymous(~eaweadwwd@64.64.117.15) (Quit: Leaving)
2021-09-30 04:34:05 +0200shapr(~user@pool-100-36-247-68.washdc.fios.verizon.net) (Ping timeout: 252 seconds)
2021-09-30 04:34:38 +0200yauhsien(~yauhsien@118-167-50-28.dynamic-ip.hinet.net) (Ping timeout: 252 seconds)
2021-09-30 04:40:34 +0200Stotteren(~Stotteren@pool-108-20-79-41.bstnma.fios.verizon.net)
2021-09-30 04:41:26 +0200brsvh(~brsvh@45.33.39.92) (Quit: Client closed)
2021-09-30 04:43:02 +0200thyriaen(~thyriaen@dynamic-089-012-045-073.89.12.pool.telefonica.de)
2021-09-30 04:45:14 +0200thyriaen_(~thyriaen@dynamic-077-013-206-009.77.13.pool.telefonica.de)
2021-09-30 04:47:57 +0200thyriaen(~thyriaen@dynamic-089-012-045-073.89.12.pool.telefonica.de) (Ping timeout: 265 seconds)
2021-09-30 04:49:39 +0200brsvh(~brsvh@45.33.39.92)
2021-09-30 04:53:16 +0200machinedgod(~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 265 seconds)
2021-09-30 04:57:34 +0200justsomeguy(~justsomeg@user/justsomeguy)
2021-09-30 05:00:01 +0200haasn(~nand@haasn.dev) (Quit: ZNC 1.7.5+deb4 - https://znc.in)
2021-09-30 05:01:28 +0200haasn(~nand@haasn.dev)
2021-09-30 05:02:29 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 264 seconds)
2021-09-30 05:03:16 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-09-30 05:03:54 +0200td_(~td@muedsl-82-207-238-004.citykom.de) (Ping timeout: 265 seconds)
2021-09-30 05:04:14 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2021-09-30 05:05:16 +0200td_(~td@94.134.91.102)
2021-09-30 05:09:47 +0200 <Axman6> @hoogle hex
2021-09-30 05:09:47 +0200 <lambdabot> Numeric.Lens hex :: Integral a => Prism' String a
2021-09-30 05:09:47 +0200 <lambdabot> Formatting.Formatters hex :: Integral a => Format r (a -> r)
2021-09-30 05:09:47 +0200 <lambdabot> Formatting.Internal.Raw hex :: Integral a => a -> Builder
2021-09-30 05:09:57 +0200 <Axman6> @hoogle+
2021-09-30 05:09:57 +0200 <lambdabot> Data.Text.Format hex :: Integral a => a -> Builder
2021-09-30 05:09:57 +0200 <lambdabot> Numeric.Optics hex :: Integral a => Prism' String a
2021-09-30 05:09:58 +0200 <lambdabot> package hex
2021-09-30 05:11:24 +0200Stotteren(~Stotteren@pool-108-20-79-41.bstnma.fios.verizon.net) (Quit: Leaving)
2021-09-30 05:13:54 +0200Stotteren(~Stotteren@pool-108-20-79-41.bstnma.fios.verizon.net)
2021-09-30 05:17:57 +0200Null_A(~null_a@2601:645:8700:2290:91f2:4a69:be9c:a77e) (Remote host closed the connection)
2021-09-30 05:21:20 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
2021-09-30 05:22:25 +0200mjrosenb(~mjrosenb@pool-108-54-97-96.nycmny.fios.verizon.net) (Remote host closed the connection)
2021-09-30 05:22:47 +0200Lycurgus(~juan@98.4.112.204)
2021-09-30 05:25:56 +0200benin036932301(~benin@183.82.30.62) (Ping timeout: 245 seconds)
2021-09-30 05:29:26 +0200xsperry(~xs@cpe-188-129-101-182.dynamic.amis.hr) (Remote host closed the connection)
2021-09-30 05:29:49 +0200xsperry(~xs@cpe-188-129-101-182.dynamic.amis.hr)
2021-09-30 05:32:11 +0200Morrow(~Morrow@bzq-110-168-31-106.red.bezeqint.net) (Ping timeout: 245 seconds)
2021-09-30 05:36:46 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-09-30 05:37:20 +0200doyougnu(~user@c-73-25-202-122.hsd1.or.comcast.net) (Ping timeout: 252 seconds)
2021-09-30 05:40:02 +0200mjrosenb(~mjrosenb@pool-108-54-97-96.nycmny.fios.verizon.net)
2021-09-30 05:56:54 +0200norskalm(~norskalm@101.175.64.73)
2021-09-30 05:56:57 +0200tommd(~tommd@75-164-130-101.ptld.qwest.net)
2021-09-30 05:59:17 +0200justsomeguy(~justsomeg@user/justsomeguy) (Quit: WeeChat 3.2)
2021-09-30 06:00:42 +0200yauhsien(~yauhsien@118-167-50-28.dynamic-ip.hinet.net)
2021-09-30 06:05:06 +0200yauhsien(~yauhsien@118-167-50-28.dynamic-ip.hinet.net) (Ping timeout: 245 seconds)
2021-09-30 06:05:49 +0200zebrag(~chris@user/zebrag) (Remote host closed the connection)
2021-09-30 06:08:38 +0200benin036932301(~benin@183.82.30.62)
2021-09-30 06:10:36 +0200 <codygman[m]> I'm having trouble understanding how to run a Monad Transformer I created to override a typeclass behavior to enable logging my App Monad Transformer. I created a reproduction with a `runNormalQuery` that works fine but don't know how to make `runLoggingQuery` typecheck and work: https://github.com/codygman/smol-monadorville-example/blob/980855a950c5335cf243e2fee7cc83071e8a36f…
2021-09-30 06:15:58 +0200brsvh(~brsvh@45.33.39.92) (Quit: Client closed)
2021-09-30 06:16:03 +0200brsvh38(~brsvh@45.33.39.92)
2021-09-30 06:16:11 +0200brsvh38(~brsvh@45.33.39.92) (Client Quit)
2021-09-30 06:21:57 +0200free_functorcads
2021-09-30 06:29:33 +0200benin036932301(~benin@183.82.30.62) (Quit: The Lounge - https://thelounge.chat)
2021-09-30 06:30:42 +0200geekosaur(~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2021-09-30 06:34:23 +0200geekosaur(~geekosaur@xmonad/geekosaur)
2021-09-30 06:34:38 +0200Stotteren(~Stotteren@pool-108-20-79-41.bstnma.fios.verizon.net) (Quit: Leaving)
2021-09-30 06:36:56 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2021-09-30 06:39:24 +0200bontaqbontaq-zzz
2021-09-30 06:41:39 +0200Stotteren(~Stotteren@pool-108-20-79-41.bstnma.fios.verizon.net)
2021-09-30 06:44:02 +0200Stotteren(~Stotteren@pool-108-20-79-41.bstnma.fios.verizon.net) (Client Quit)
2021-09-30 06:44:14 +0200zmt00(~zmt00@user/zmt00)
2021-09-30 06:44:30 +0200Stotteren(~Stotteren@pool-108-20-79-41.bstnma.fios.verizon.net)
2021-09-30 06:46:00 +0200dkeohane1(~dkeohane@ec2-18-189-29-140.us-east-2.compute.amazonaws.com) (Ping timeout: 260 seconds)
2021-09-30 06:46:35 +0200dragestil(~znc@user/dragestil) (Ping timeout: 260 seconds)
2021-09-30 06:46:55 +0200dragestil(~znc@user/dragestil)
2021-09-30 06:47:21 +0200ByronJohnson(~bairyn@mail.digitalkingdom.org) (Read error: Connection reset by peer)
2021-09-30 06:48:11 +0200dkeohane1(~dkeohane@ec2-18-189-29-140.us-east-2.compute.amazonaws.com)
2021-09-30 06:49:37 +0200 <Axman6> codygman[m]: can you share some errors? We're not going to type check your whole project in our heads :) Also seeing Reader.liftIO all over the place seems very off to me, why not import Control.Monad.... (MonadIO(liftIO))?
2021-09-30 06:50:46 +0200 <Axman6> importing everything qualified makes this so hard to read :(
2021-09-30 06:51:15 +0200 <dsal> Especially with words for every qualifier. I looked at this earlier and things kept looking like typos. heh
2021-09-30 06:55:00 +0200fvr(uid503686@id-503686.uxbridge.irccloud.com)
2021-09-30 06:55:45 +0200benin036932301(~benin@183.82.30.62)
2021-09-30 06:56:59 +0200benin036932301(~benin@183.82.30.62) (Client Quit)
2021-09-30 06:58:04 +0200benin036932301(~benin@183.82.30.62)
2021-09-30 07:02:22 +0200jespada(~jespada@2803:9800:9842:7a62:9cdc:f08c:7ab8:bd6a) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-09-30 07:03:56 +0200slowButPresent(~slowButPr@user/slowbutpresent) (Quit: leaving)
2021-09-30 07:05:07 +0200benin036932301(~benin@183.82.30.62) (Quit: The Lounge - https://thelounge.chat)
2021-09-30 07:06:11 +0200benin036932301(~benin@183.82.30.62)
2021-09-30 07:06:32 +0200lavaman(~lavaman@98.38.249.169)
2021-09-30 07:07:48 +0200haskl(~haskl@user/haskl)
2021-09-30 07:10:44 +0200vaibhavsagar[m](~vaibhavsa@2001:470:69fc:105::ffe)
2021-09-30 07:10:50 +0200lavaman(~lavaman@98.38.249.169) (Ping timeout: 252 seconds)
2021-09-30 07:11:04 +0200benin036932301(~benin@183.82.30.62) (Client Quit)
2021-09-30 07:12:25 +0200benin036932301(~benin@183.82.30.62)
2021-09-30 07:16:21 +0200geranim0(~geranim0@modemcable242.171-178-173.mc.videotron.ca) (Ping timeout: 245 seconds)
2021-09-30 07:19:13 +0200yauhsien(~yauhsien@118-167-50-28.dynamic-ip.hinet.net)
2021-09-30 07:20:09 +0200 <ChaiTRex> How do I make this typecheck? data AST t = Terminal (Value t) | Application (Value (s -> t)) (Value s)
2021-09-30 07:21:36 +0200Null_A(~null_a@2601:645:8700:2290:2145:379c:d283:cea8)
2021-09-30 07:22:17 +0200 <ChaiTRex> Sorry, should be data AST = Terminal (Value t) | Application (AST (s -> t)) (AST s)
2021-09-30 07:22:58 +0200 <vaibhavsagar[m]> should AST have a type parameter?
2021-09-30 07:23:30 +0200 <vaibhavsagar[m]> it looks like it does in the first definition but not in the second
2021-09-30 07:23:47 +0200 <vaibhavsagar[m]> also what is the definition of `Value`?
2021-09-30 07:24:04 +0200yauhsien(~yauhsien@118-167-50-28.dynamic-ip.hinet.net) (Ping timeout: 265 seconds)
2021-09-30 07:24:08 +0200Lycurgus(~juan@98.4.112.204) (Quit: Exeunt)
2021-09-30 07:25:15 +0200 <ChaiTRex> Oh, sorry, it's AST t = ....
2021-09-30 07:25:22 +0200 <cads> AST = Terminal (Value t) | Application (Value (s -> t)) (Value s) <- this looks plausible
2021-09-30 07:25:52 +0200 <cads> ChaiTRex, do you want AST to have a parameterizing type?
2021-09-30 07:26:27 +0200 <ChaiTRex> Yes, AST t.
2021-09-30 07:26:30 +0200 <cads> what does it mean to have an AST over type s -> t?
2021-09-30 07:26:40 +0200 <cads> its an AST that expresses a function?
2021-09-30 07:26:56 +0200 <ChaiTRex> Yes, the second constructor is for function application.
2021-09-30 07:27:33 +0200iridium__(~iridium@110.224.206.102)
2021-09-30 07:29:05 +0200michalz(~michalz@185.246.204.93)
2021-09-30 07:29:13 +0200jushur(~human@user/jushur) (Quit: ¯\_(ツ)_/¯)
2021-09-30 07:29:57 +0200 <cads> so the application constructor takes two ASTified types: one is a function-AST, and the other is a compatible value-ast
2021-09-30 07:30:41 +0200Null_A(~null_a@2601:645:8700:2290:2145:379c:d283:cea8) ()
2021-09-30 07:30:56 +0200 <cads> Then AST t = Terminal (Value t) | Forall s. Application (AST (s -> t)) (AST s)
2021-09-30 07:31:07 +0200 <codygman[m]> <Axman6> "codygman: can you share some..." <- Axman6 Thanks for taking a look. I linked to the error? Everything type checks but the typed hole I linked to. I wish I could reduce the repro more but I'm not sure how to.
2021-09-30 07:31:07 +0200 <codygman[m]> After looking at it more I believe I defined `runLoggingOrville :: Orville.OrvilleT c m a` incorrectly here since it's not even a transformer and need it to be `runLoggingOrville :: m a` or concretely `runLoggingOrville :: (App String IO) a`... maybe
2021-09-30 07:31:31 +0200jushur(~human@user/jushur)
2021-09-30 07:31:43 +0200trinity(~marvin@user/trinity)
2021-09-30 07:31:51 +0200 <vaibhavsagar[m]> does Cabal-the-library as invoked with `runghc Setup.hs` not support Backpack?
2021-09-30 07:31:51 +0200 <codygman[m]> <Axman6> "importing everything qualified..." <- Yeah, at work everyone prefers qualified. It used to ve hard for me to read
2021-09-30 07:32:09 +0200 <cads> ChaiTRex, in order to bind that free 's' in your term, you can wrap it in a universal Forall s.. I think.
2021-09-30 07:32:43 +0200 <vaibhavsagar[m]> I'm trying to build https://github.com/kowainik/containers-backpack and it seems to work okay with `cabal build` but not with `runghc Setup.hs configure` (which is what Nix is using)
2021-09-30 07:33:10 +0200 <ChaiTRex> cads: Thanks.
2021-09-30 07:33:14 +0200 <cads> > AST t = Terminal t | Forall s. Application (AST (s -> t)) (AST s)
2021-09-30 07:33:15 +0200 <lambdabot> <hint>:1:7: error: parse error on input ‘=’
2021-09-30 07:33:38 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-09-30 07:33:55 +0200 <ChaiTRex> Hmm, looks like I need a typelevel tree or something to implement Show on it.
2021-09-30 07:34:59 +0200 <cads> ChaiTRex, Terminal can also box your values, but I am not sure if you were already using Value for something important
2021-09-30 07:36:31 +0200 <ChaiTRex> No, I don't necessarily need Value.
2021-09-30 07:38:01 +0200 <cads> well good luck, glad if I helped! sorry I don't actually know how to write it so that lambdabot will confirm it typechecks - I mainly do category theory these days, and all my coding is in python :(
2021-09-30 07:38:33 +0200 <cads> > let AST t = Terminal t | forall s. Application (AST (s -> t)) (AST s)
2021-09-30 07:38:34 +0200 <lambdabot> <hint>:1:24: error: parse error on input ‘|’
2021-09-30 07:39:21 +0200 <vaibhavsagar[m]> > let data AST t = Terminal t | forall s. Application (AST (s -> t)) (AST s)
2021-09-30 07:39:23 +0200 <lambdabot> <hint>:1:5: error: parse error on input ‘data’
2021-09-30 07:39:34 +0200yauhsien(~yauhsien@118-167-50-28.dynamic-ip.hinet.net)
2021-09-30 07:39:40 +0200 <vaibhavsagar[m]> > data AST t = Terminal t | forall s. Application (AST (s -> t)) (AST s)
2021-09-30 07:39:41 +0200 <lambdabot> <hint>:1:1: error: parse error on input ‘data’
2021-09-30 07:39:47 +0200 <vaibhavsagar[m]> wtf
2021-09-30 07:39:49 +0200yauhsien(~yauhsien@118-167-50-28.dynamic-ip.hinet.net) (Remote host closed the connection)
2021-09-30 07:39:57 +0200trinity(~marvin@user/trinity) ()
2021-09-30 07:40:15 +0200cadsloves that nerdsniping someone into a brute force lambdabot interrogation session is on topic for this channel <3
2021-09-30 07:41:43 +0200 <vaibhavsagar[m]> clearly my lambdabot-fu is weak
2021-09-30 07:42:08 +0200 <cads> I think that if we took the channel logs we could probably a natural language better parse error explainer that gives more insight than "parse error on input ‘data’"
2021-09-30 07:42:20 +0200 <cads> we could probably train*
2021-09-30 07:42:36 +0200 <cads> err, actually that sentence has multiple transcription errors!
2021-09-30 07:43:06 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl)
2021-09-30 07:43:20 +0200 <cads> I'm trying to say that we can improve the compiler error messages by simulating the speech in #haskell QA sessions with AI
2021-09-30 07:44:07 +0200 <cads> I don't think any other langauge has tried to improve their own compiler messages with NLP like this, lol
2021-09-30 07:45:25 +0200 <cads> wait, nvm, I think someone built something that takes a line of bash and explains what it does... so whoever is doing that work is probably thinking about improving explainability of computer errors and bugs
2021-09-30 07:45:55 +0200 <vaibhavsagar[m]> % data AST t = Terminal t | forall s. Application (AST (s -> t)) (AST s)
2021-09-30 07:45:56 +0200 <yahb> vaibhavsagar[m]:
2021-09-30 07:46:22 +0200yauhsien(~yauhsien@118-167-50-28.dynamic-ip.hinet.net)
2021-09-30 07:46:35 +0200 <vaibhavsagar[m]> progress!
2021-09-30 07:46:43 +0200Andrew_Andrew
2021-09-30 07:47:45 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 265 seconds)
2021-09-30 07:50:52 +0200yauhsien(~yauhsien@118-167-50-28.dynamic-ip.hinet.net) (Ping timeout: 252 seconds)
2021-09-30 07:57:25 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-09-30 07:58:51 +0200qbt(~edun@user/edun)
2021-09-30 08:02:16 +0200_xor(~xor@74.215.232.67) (Quit: brb)
2021-09-30 08:02:37 +0200_xor(~xor@74.215.232.67)
2021-09-30 08:03:13 +0200ByronJohnson(~bairyn@mail.digitalkingdom.org)
2021-09-30 08:07:47 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-09-30 08:11:48 +0200Tavi[m](~factoidde@2001:470:69fc:105::1:819)
2021-09-30 08:16:48 +0200tubogram(~tubogram@user/tubogram) (Quit: See ya later!)
2021-09-30 08:20:21 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:a6c2:21c3:31ae:f837)
2021-09-30 08:20:42 +0200tubogram(~tubogram@user/tubogram)
2021-09-30 08:22:44 +0200max22-(~maxime@2a01cb0883359800761b1c69d9198b7f.ipv6.abo.wanadoo.fr)
2021-09-30 08:23:09 +0200santiagopim[m](~santiagop@2001:470:69fc:105::e57d)
2021-09-30 08:25:33 +0200ubert(~Thunderbi@178.115.55.159.wireless.dyn.drei.com)
2021-09-30 08:25:44 +0200dhouthoo(~dhouthoo@178-117-36-167.access.telenet.be)
2021-09-30 08:28:47 +0200yauhsien(~yauhsien@118-167-50-28.dynamic-ip.hinet.net)
2021-09-30 08:31:46 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl)
2021-09-30 08:33:11 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (Ping timeout: 265 seconds)
2021-09-30 08:33:26 +0200yauhsien(~yauhsien@118-167-50-28.dynamic-ip.hinet.net) (Ping timeout: 245 seconds)
2021-09-30 08:33:42 +0200ubert1(~Thunderbi@178.115.55.159.wireless.dyn.drei.com)
2021-09-30 08:34:02 +0200rtjure(~rtjure@dynamic-002-247-249-147.2.247.pool.telefonica.de)
2021-09-30 08:40:25 +0200vysn(~vysn@user/vysn)
2021-09-30 08:43:26 +0200ByronJohnson(~bairyn@mail.digitalkingdom.org) (Remote host closed the connection)
2021-09-30 08:49:54 +0200dschrempf(~dominik@070-207.dynamic.dsl.fonira.net)
2021-09-30 08:52:21 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-09-30 08:54:00 +0200Gurkenglas(~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de)
2021-09-30 08:55:28 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl)
2021-09-30 08:57:47 +0200ByronJohnson(~bairyn@mail.digitalkingdom.org)
2021-09-30 09:12:27 +0200hnOsmium0001(uid453710@id-453710.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2021-09-30 09:17:20 +0200yauhsien(~yauhsien@118-167-50-28.dynamic-ip.hinet.net)
2021-09-30 09:17:50 +0200yauhsien(~yauhsien@118-167-50-28.dynamic-ip.hinet.net) (Remote host closed the connection)
2021-09-30 09:19:48 +0200yauhsien(~yauhsien@118-167-50-28.dynamic-ip.hinet.net)
2021-09-30 09:21:49 +0200 <ChaiTRex> If I have data A a = A a, how do I implement Show A such that if a is Show, show (A a) = "A " ++ show a, and if a isn't Show, show (A a) = "unshowable"?
2021-09-30 09:22:18 +0200 <opqdonut> short answer: you can't
2021-09-30 09:23:17 +0200 <opqdonut> long answer: there are various tricks you can use, e.g. https://github.com/well-typed/recover-rtti
2021-09-30 09:23:50 +0200 <c_wraith> All of the tricks can fail, though, because ghc makes some assumptions that you write correct programs.
2021-09-30 09:24:31 +0200yauhsien(~yauhsien@118-167-50-28.dynamic-ip.hinet.net) (Ping timeout: 252 seconds)
2021-09-30 09:24:31 +0200Moyst(~moyst@user/moyst) (Ping timeout: 252 seconds)
2021-09-30 09:25:03 +0200 <c_wraith> If you have a show instance for a type in a module that isn't in scope where that trick is being used, it'll do the wrong thing.
2021-09-30 09:25:22 +0200Moyst(~moyst@user/moyst)
2021-09-30 09:25:32 +0200 <c_wraith> because GHC assumes that instances will only matter if they're visible
2021-09-30 09:25:39 +0200 <ChaiTRex> OK, thanks.
2021-09-30 09:28:26 +0200jonathanx(~jonathan@dyn-8-sc.cdg.chalmers.se)
2021-09-30 09:28:27 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 240 seconds)
2021-09-30 09:30:09 +0200tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz)
2021-09-30 09:31:50 +0200chele(~chele@user/chele)
2021-09-30 09:33:32 +0200thyriaen_(~thyriaen@dynamic-077-013-206-009.77.13.pool.telefonica.de) (Remote host closed the connection)
2021-09-30 09:37:36 +0200shriekingnoise(~shrieking@186.137.144.80) (Ping timeout: 245 seconds)
2021-09-30 09:38:40 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2021-09-30 09:45:53 +0200_\_(~o@user/ding) (Quit: ___)
2021-09-30 09:46:07 +0200lll(~o@user/ding)
2021-09-30 09:46:50 +0200lll_\_
2021-09-30 09:46:51 +0200acidjnk(~acidjnk@p200300d0c703cb7644139f8968654743.dip0.t-ipconnect.de)
2021-09-30 09:49:41 +0200neurocyte0132(~neurocyte@45.14.189.33)
2021-09-30 09:49:41 +0200neurocyte0132(~neurocyte@45.14.189.33) (Changing host)
2021-09-30 09:49:41 +0200neurocyte0132(~neurocyte@user/neurocyte)
2021-09-30 09:49:53 +0200hyiltiz(~quassel@31.220.5.250) (Ping timeout: 264 seconds)
2021-09-30 09:50:02 +0200tommd(~tommd@75-164-130-101.ptld.qwest.net) (Ping timeout: 265 seconds)
2021-09-30 09:51:13 +0200tommd(~tommd@75-164-130-101.ptld.qwest.net)
2021-09-30 09:55:20 +0200hyiltiz(~quassel@31.220.5.250)
2021-09-30 09:55:34 +0200tommd(~tommd@75-164-130-101.ptld.qwest.net) (Ping timeout: 260 seconds)
2021-09-30 09:57:29 +0200rtjure(~rtjure@dynamic-002-247-249-147.2.247.pool.telefonica.de) (Ping timeout: 252 seconds)
2021-09-30 09:58:15 +0200ubert(~Thunderbi@178.115.55.159.wireless.dyn.drei.com) (Ping timeout: 265 seconds)
2021-09-30 09:58:59 +0200cfricke(~cfricke@user/cfricke)
2021-09-30 09:59:13 +0200ubert1(~Thunderbi@178.115.55.159.wireless.dyn.drei.com) (Ping timeout: 265 seconds)
2021-09-30 10:05:14 +0200hendursa1(~weechat@user/hendursaga)
2021-09-30 10:08:39 +0200hendursaga(~weechat@user/hendursaga) (Ping timeout: 276 seconds)
2021-09-30 10:11:01 +0200yauhsien(~yauhsien@118-167-50-28.dynamic-ip.hinet.net)
2021-09-30 10:13:37 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-09-30 10:15:38 +0200yauhsien(~yauhsien@118-167-50-28.dynamic-ip.hinet.net) (Ping timeout: 252 seconds)
2021-09-30 10:15:49 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl)
2021-09-30 10:17:42 +0200geekosaur(~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2021-09-30 10:17:51 +0200geekosaur(~geekosaur@xmonad/geekosaur)
2021-09-30 10:20:56 +0200xff0x(~xff0x@2001:1a81:53c2:e100:55e4:10f:376d:73f2) (Ping timeout: 245 seconds)
2021-09-30 10:21:49 +0200xff0x(~xff0x@2001:1a81:53c2:e100:ccd2:b734:993c:a05c)
2021-09-30 10:24:18 +0200econo(uid147250@user/econo) (Quit: Connection closed for inactivity)
2021-09-30 10:24:23 +0200gehmehgeh(~user@user/gehmehgeh)
2021-09-30 10:25:23 +0200gehmehgeh(~user@user/gehmehgeh) (Client Quit)
2021-09-30 10:26:36 +0200gehmehgeh(~user@user/gehmehgeh)
2021-09-30 10:27:06 +0200merijn(~merijn@145.136.149.229)
2021-09-30 10:31:19 +0200 <sm> isn't there a safe version of !! in Data.List yet ?
2021-09-30 10:31:54 +0200iridium__(~iridium@110.224.206.102) (Quit: leaving)
2021-09-30 10:32:51 +0200lavaman(~lavaman@98.38.249.169)
2021-09-30 10:34:09 +0200 <sm> ansi-terminal-game is great, f-a
2021-09-30 10:34:26 +0200yauhsien(~yauhsien@118-167-50-28.dynamic-ip.hinet.net)
2021-09-30 10:35:04 +0200 <dminuoso> sm: Mmm, no and I dont think there should be.
2021-09-30 10:38:02 +0200 <dminuoso> In my opinion we shouldn't be promoting random access on []
2021-09-30 10:38:09 +0200 <dminuoso> You can trivially roll it yourself, if need be.
2021-09-30 10:39:04 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-09-30 10:41:03 +0200 <maerwald> @hoogle atMay
2021-09-30 10:41:04 +0200 <lambdabot> Safe atMay :: [a] -> Int -> Maybe a
2021-09-30 10:41:04 +0200 <lambdabot> Protolude atMay :: [a] -> Int -> Maybe a
2021-09-30 10:41:04 +0200 <lambdabot> Protolude.Safe atMay :: [a] -> Int -> Maybe a
2021-09-30 10:41:09 +0200 <maerwald> @hoogle (!?)
2021-09-30 10:41:09 +0200 <lambdabot> Data.IntMap.Internal (!?) :: IntMap a -> Key -> Maybe a
2021-09-30 10:41:09 +0200 <lambdabot> Data.IntMap.Lazy (!?) :: IntMap a -> Key -> Maybe a
2021-09-30 10:41:09 +0200 <lambdabot> Data.IntMap.Strict (!?) :: IntMap a -> Key -> Maybe a
2021-09-30 10:41:10 +0200lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2021-09-30 10:41:22 +0200 <maerwald> https://hackage.haskell.org/package/extra-1.7.10/docs/Data-List-Extra.html#v:-33--63-
2021-09-30 10:41:55 +0200Neuromancer(~Neuromanc@user/neuromancer)
2021-09-30 10:45:19 +0200yauhsien(~yauhsien@118-167-50-28.dynamic-ip.hinet.net) (Remote host closed the connection)
2021-09-30 10:46:36 +0200yauhsien(~yauhsien@118-167-50-28.dynamic-ip.hinet.net)
2021-09-30 10:47:04 +0200nfd(~nfd@user/nfd)
2021-09-30 10:50:57 +0200 <sm> it is a travesty
2021-09-30 10:51:27 +0200yauhsien(~yauhsien@118-167-50-28.dynamic-ip.hinet.net) (Ping timeout: 240 seconds)
2021-09-30 10:52:35 +0200 <sm> if there was an array or vector type as easy to work with as list, it might be arguable
2021-09-30 10:53:24 +0200 <maerwald> > preview (ix 1) "abc"
2021-09-30 10:53:25 +0200 <lambdabot> Just 'b'
2021-09-30 10:53:25 +0200smgrumbles and takes another run at arrays and vectors
2021-09-30 10:53:28 +0200 <maerwald> there you go
2021-09-30 10:54:15 +0200 <sm> sure, it's easy to show the solution when you know the vast api..
2021-09-30 10:54:15 +0200 <sm> but thank you :)
2021-09-30 10:54:33 +0200smreconsiders, learning new api is out of scope for this little project
2021-09-30 10:54:44 +0200 <maerwald> please don't look at array if you value your mental health
2021-09-30 10:55:14 +0200 <sm> right.. which I do
2021-09-30 10:55:20 +0200smimports trusty Safe
2021-09-30 10:55:20 +0200 <maerwald> vector is ok
2021-09-30 10:56:03 +0200 <Hecate> yes
2021-09-30 11:00:11 +0200CnnibisIndica(~herb@user/mesaboogie) (Quit: ZNC - https://znc.in)
2021-09-30 11:02:26 +0200CnnibisIndica(~herb@user/mesaboogie)
2021-09-30 11:04:42 +0200fvr(uid503686@id-503686.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
2021-09-30 11:11:42 +0200lavaman(~lavaman@98.38.249.169)
2021-09-30 11:11:54 +0200azeem(~azeem@2a00:801:42e:f0c5:54bc:9505:1b65:51ec) (Read error: Connection reset by peer)
2021-09-30 11:12:06 +0200azeem(~azeem@emp-93-135.eduroam.uu.se)
2021-09-30 11:13:15 +0200 <cads> hey all, does anyone know of a tool that can help you systematically audit the entirety of a haskell project, keep track what which parts you've read, and then update you when parts change?
2021-09-30 11:13:38 +0200 <cads> or generally for an entire code base
2021-09-30 11:14:16 +0200Gurkenglas(~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) (Ping timeout: 245 seconds)
2021-09-30 11:16:33 +0200lavaman(~lavaman@98.38.249.169) (Ping timeout: 265 seconds)
2021-09-30 11:16:35 +0200 <cads> I have a tendency to wander around in the code at random, kind of clueless about how the system works. But if I read in a certain order, like, say, I read the readme file first, then the cabal file, then skim the libraries
2021-09-30 11:17:24 +0200 <cads> I also have a tendency of encountering stuff I don't understand, and attempting to understand it by /refactoring it/ - this leads to lots of commits I end up reverting when I actually understand the code
2021-09-30 11:17:57 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:f920:a9dd:18bc:fca2) (Remote host closed the connection)
2021-09-30 11:18:10 +0200 <cads> so it would be nice if I can annotate part of the code that seem messy on the first read, skip the premature refactoring, but keep the annotations for later
2021-09-30 11:18:36 +0200dschrempf(~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.3)
2021-09-30 11:19:06 +0200 <cads> .... but of course, if I did this by leaving comments in the code like "refactor this maybe", that in itself would really just suck
2021-09-30 11:19:22 +0200 <maerwald> I'm not even sure how exactly such a tool would work
2021-09-30 11:19:47 +0200 <maerwald> I know a way of monitoring your screen time (and by that, which files you're looking at)
2021-09-30 11:20:00 +0200 <maerwald> then you can have stats about which modules you spent time on
2021-09-30 11:20:17 +0200 <maerwald> https://hackage.haskell.org/package/arbtt
2021-09-30 11:20:22 +0200yauhsien(~yauhsien@118-167-50-28.dynamic-ip.hinet.net)
2021-09-30 11:20:58 +0200 <cads> I think I could use existing code review tools to break a code base into small chunks that I then have to review individually and sign off on
2021-09-30 11:21:29 +0200 <cads> and when there are no more reviews to perform I can certify that I've given the entire code base a read through
2021-09-30 11:21:31 +0200nfd(~nfd@user/nfd) (Ping timeout: 252 seconds)
2021-09-30 11:21:40 +0200yauhsien(~yauhsien@118-167-50-28.dynamic-ip.hinet.net) (Remote host closed the connection)
2021-09-30 11:22:26 +0200 <cads> maerwald, wow, I could have really used that tracker for another project!
2021-09-30 11:22:39 +0200yauhsien(~yauhsien@118-167-50-28.dynamic-ip.hinet.net)
2021-09-30 11:22:55 +0200cadswas doing tons of cad drawings, and kept forgetting to enable their time tracker
2021-09-30 11:23:35 +0200 <cads> if I could have tracked when my cad application was on screen and active in a customer file, then I could have billed the customer without... guessing!
2021-09-30 11:24:15 +0200 <maerwald> well... just bill them for the day
2021-09-30 11:24:43 +0200 <cads> that's thinking with portals
2021-09-30 11:25:11 +0200 <maerwald> using screen time to bill is odd... it's not like my brain shuts off the second the screen goes idle
2021-09-30 11:25:20 +0200 <maerwald> I wish that was the case
2021-09-30 11:25:22 +0200 <maerwald> but it isn't
2021-09-30 11:26:47 +0200 <cads> @maerwald, do you do much graphic or industrial design?
2021-09-30 11:26:47 +0200 <lambdabot> Unknown command, try @list
2021-09-30 11:26:54 +0200 <cads> oops
2021-09-30 11:27:08 +0200 <maerwald> graphic? no
2021-09-30 11:27:41 +0200yauhsien(~yauhsien@118-167-50-28.dynamic-ip.hinet.net) (Ping timeout: 264 seconds)
2021-09-30 11:27:51 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c44c:b521:4020:aaef)
2021-09-30 11:28:03 +0200 <dminuoso> cads: Mmm, so for a comprehensive audit you could simply use code comments.
2021-09-30 11:28:44 +0200 <dminuoso> If you adopt some tag style to quickly search for them (perhaps write a custom editor plugin for that?), you can annotate and navigate fairly quickly.
2021-09-30 11:29:13 +0200 <dminuoso> This helps you attach thoughts to code directly, and you directly keep track of what parts you have dealt with.
2021-09-30 11:30:16 +0200 <dminuoso> Doing this "systematically" is hard to do generally, since this process is largely architecturally driven.
2021-09-30 11:30:39 +0200 <dminuoso> So it all depends on how well a given software project is structured, or whether you have some big pile of spaghetti
2021-09-30 11:30:41 +0200 <cads> deducing the architecture and inferring the reading order is a huge problem I have
2021-09-30 11:30:52 +0200 <cads> since I tend to review code bases as an outsider without any insider help
2021-09-30 11:31:21 +0200 <cads> the reading order can really depend on my objective as well
2021-09-30 11:31:30 +0200 <maerwald> You might want a tool that can parse comments and structure and summarize them
2021-09-30 11:31:33 +0200 <dminuoso> Currently I spend a lot of time reverse engineering rspamd, and it's a huge pile of spaghetti with almost no internal architecture whatsoever.
2021-09-30 11:31:46 +0200 <dminuoso> It's completely disgusting, and all attempts at trying to do this in a structured manner have failed.
2021-09-30 11:32:11 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c44c:b521:4020:aaef) (Ping timeout: 245 seconds)
2021-09-30 11:32:15 +0200 <maerwald> like you write TODO somewhere, you want a list of where you wrote TODOs (and when), without doing grep
2021-09-30 11:32:20 +0200 <dminuoso> maerwald: You could actually even use ANN! :)
2021-09-30 11:32:48 +0200 <cads> maerwald, if I had 3 ai wishes I would wish for what you said, plus something that can take a bigger architectural view of the system and explain what certain directories or source files are for
2021-09-30 11:33:04 +0200 <cads> and third one is that really this AI is also a pair programmer that is your friend
2021-09-30 11:33:21 +0200 <cads> the friendship part is 100% key, and should be authentic
2021-09-30 11:33:24 +0200 <maerwald> but you can't drink a beer with an AI
2021-09-30 11:33:26 +0200 <dminuoso> Im not sure we're anywhere near that kind of sophistication in artificial intelligence.
2021-09-30 11:33:42 +0200 <dminuoso> really the problem is, if you have non-trivial software, there better be architectural diagrams
2021-09-30 11:33:42 +0200 <cads> maerwald, alas, I think requirement 3 will not be met for a while
2021-09-30 11:33:54 +0200 <cads> dminuoso, tell that to pythonists
2021-09-30 11:34:00 +0200 <earthy> cads: it's not haskell, but https://www.sourcetrail.com/ might be useful?
2021-09-30 11:34:14 +0200 <maerwald> dminuoso: what would you draw?
2021-09-30 11:34:28 +0200 <cads> earthy, wow!
2021-09-30 11:34:54 +0200 <earthy> (unfortunately recently the maintainers announced their stepping down)
2021-09-30 11:34:56 +0200 <cads> how did you land on that without getting deluged by commercial code review solutions?
2021-09-30 11:35:13 +0200 <cads> asking for myself, lol
2021-09-30 11:35:13 +0200 <dminuoso> maerwald: Hard to say generally, but a simple diagram like https://www.aosabook.org/images/ghc/hscpipe2.png can do wonders when starting on GHC,
2021-09-30 11:35:21 +0200 <earthy> cads: the appropriate set of twitter follows, apparently. :)
2021-09-30 11:35:33 +0200 <earthy> (it was actually on my twitter feed yesterday)
2021-09-30 11:35:48 +0200 <cads> dminuoso, good god of all diagrams. I am blessed on this day
2021-09-30 11:35:49 +0200 <cads> thank you
2021-09-30 11:35:58 +0200 <earthy> cads: another possibility would be to look into feenk.com's moldable development tooling with GToolkit
2021-09-30 11:36:38 +0200 <dminuoso> maerwald: For our SDN compiler we have a similar architectural diagram as well, and a markdown file breaking down how the module structure relates to the architecture.
2021-09-30 11:36:39 +0200 <maerwald> dminuoso: some of those boxes have ~20 years of engineering and PhD thesis behind them :D
2021-09-30 11:36:47 +0200 <dminuoso> It's not rocket science.
2021-09-30 11:36:54 +0200 <dminuoso> maerwald: Sure, but that's not really the point.
2021-09-30 11:37:20 +0200 <maerwald> does Sourcetrail support haskell?
2021-09-30 11:37:30 +0200 <earthy> maerwald: not currently, as I stated.
2021-09-30 11:37:31 +0200 <maerwald> "supporting C, C++, Java and Python"
2021-09-30 11:37:33 +0200 <dminuoso> It's simply that architecture for complex software can be visualized. If you cant, there's a fair chance you might have a pile of spaghetti without any architecturing effort.
2021-09-30 11:38:32 +0200 <cads> dminuoso, I think many projects operate in a capital poor environment, so they don't have the tooling to generate clean, up to date diagrams of their system
2021-09-30 11:38:49 +0200 <maerwald> I try to have my spaghetti be a tree, as if it's stuck at the ceiling.
2021-09-30 11:38:53 +0200 <dminuoso> cads: But anyhow. Personally, Id simply start emacs, run org-mode in one buffer, have HLS/lsp/lsp-ui for easy exploration and navigation and online type signatures, and then start using a structured comment tag (or ANN tag) system
2021-09-30 11:38:54 +0200 <cads> I feel like many OSS maintainers reason that they can diagram their system for the sake of attracting unpaid volunteers that may or may not arrive, or they can release new features.
2021-09-30 11:39:37 +0200 <maerwald> cads: https://github.com/alexwl/haskell-code-explorer
2021-09-30 11:39:47 +0200 <dminuoso> cads: org-mode gives me a very neat way of keeping track of todos, time, and what not, lsp greatly improves navigating, HLS ensures I can interactively explore haskell code, and comments or ANN let me annotate knowledge and thoughs directly on code.
2021-09-30 11:39:54 +0200 <maerwald> might work better than HLS for just reading
2021-09-30 11:41:02 +0200yauhsien(~yauhsien@118-167-50-28.dynamic-ip.hinet.net)
2021-09-30 11:41:40 +0200 <earthy> sourcetrail would probably be great with LSP support.
2021-09-30 11:41:47 +0200y04nn(~y04nn@193.32.127.238)
2021-09-30 11:41:59 +0200 <earthy> (but I have too much on my plate as it is)
2021-09-30 11:42:41 +0200 <cads> dminuoso, how do you envision keeping track code that has been read vs code that's not been read vs code we're skipping as irrelevant to the review? I feel like tracking that should be somewhat automatic, and it might require data structures apart from comments
2021-09-30 11:42:41 +0200 <lortabac> maerwald: anything works better than something that doesn't work :P
2021-09-30 11:43:10 +0200 <sm> cads, if you're an emacs power user I expect you could add hooks to track which files you visit and maybe even which regions
2021-09-30 11:43:21 +0200 <dminuoso> cads: You can simply annotate code regions quickly with NOTRELEVANT
2021-09-30 11:43:23 +0200 <sm> it does seem like something that must exist
2021-09-30 11:43:34 +0200 <dminuoso> cads: make some bindings to insert these automatically
2021-09-30 11:44:27 +0200benin036932301(~benin@183.82.30.62) (Quit: The Lounge - https://thelounge.chat)
2021-09-30 11:44:58 +0200 <cads> dminuoso, one way is it goes through the code inserting a "review tag" every, say, 15 lines. As you read, you write x on the review tag to signify you understood, and ? to signify you are still confused about that section but have moved on. When there are no comment lines without xs, that file is reviewed.
2021-09-30 11:45:21 +0200benin036932301(~benin@183.82.30.62)
2021-09-30 11:45:34 +0200 <dminuoso> cads: You could also generate `-- TOOO-REVIEW` comments above *every* top level definition automatically.
2021-09-30 11:45:56 +0200yauhsien(~yauhsien@118-167-50-28.dynamic-ip.hinet.net) (Ping timeout: 245 seconds)
2021-09-30 11:45:57 +0200 <dminuoso> And as you navigate through it, using key binds, you automatically insert more such comments in large portions, or replace/delete them as you make progress
2021-09-30 11:46:00 +0200 <cads> it seems like this could be a really pedantic and really annoying way to sign off on section, but if it gets the review done and over with, okay
2021-09-30 11:46:12 +0200lavaman(~lavaman@98.38.249.169)
2021-09-30 11:50:20 +0200 <cads> in vscode there is a mode that lets you review changes to the code in a diff view. It splits the changes into a set of hunks, and you can use arrows buttons to go back and forth between hunks, and press a button to either revert the hunk or stage it for the current commit
2021-09-30 11:51:05 +0200lavaman(~lavaman@98.38.249.169) (Ping timeout: 264 seconds)
2021-09-30 11:51:47 +0200 <cads> I wonder if it is difficult to make a similar extension that will instead let you navigate between the individual review sections, and either highlight them as "skipped" or "reviewed"
2021-09-30 11:52:44 +0200img_(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2021-09-30 11:54:07 +0200img(~img@user/img)
2021-09-30 11:59:40 +0200 <cads> earthy, it looks like sourcetrail was having either code or business sustainability issues around 2019 and decided to open source the code. no community maintainers stepped up and current volunteer effort is not enough to keep their dependencies updated
2021-09-30 12:00:01 +0200 <cads> I love that the open sourced the code though
2021-09-30 12:01:47 +0200 <cads> I will try to use it to review its own code base!
2021-09-30 12:03:44 +0200gdhffd[m](~gdhffdmat@2001:470:69fc:105::1:799)
2021-09-30 12:04:12 +0200 <cads> At least it uses functors! C++ functors, that is!
2021-09-30 12:05:37 +0200xsperry(~xs@cpe-188-129-101-182.dynamic.amis.hr) (Changing host)
2021-09-30 12:05:37 +0200xsperry(~xs@user/xsperry)
2021-09-30 12:07:50 +0200benin036932301(~benin@183.82.30.62) (Quit: The Lounge - https://thelounge.chat)
2021-09-30 12:08:01 +0200y04nn(~y04nn@193.32.127.238) (Ping timeout: 268 seconds)
2021-09-30 12:22:34 +0200yauhsien(~yauhsien@118-167-50-28.dynamic-ip.hinet.net)
2021-09-30 12:24:05 +0200azeem(~azeem@emp-93-135.eduroam.uu.se) (Ping timeout: 250 seconds)
2021-09-30 12:26:47 +0200yauhsien(~yauhsien@118-167-50-28.dynamic-ip.hinet.net) (Ping timeout: 240 seconds)
2021-09-30 12:27:57 +0200xsperry(~xs@user/xsperry) ()
2021-09-30 12:28:23 +0200azeem(~azeem@2a00:801:42e:f0c5:54bc:9505:1b65:51ec)
2021-09-30 12:29:42 +0200geekosaur(~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2021-09-30 12:30:45 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker)
2021-09-30 12:31:33 +0200jaitoon(~Jaitoon@2a02:c7f:a5f:1d00:655a:4e49:d8df:532d)
2021-09-30 12:32:30 +0200geekosaur(~geekosaur@xmonad/geekosaur)
2021-09-30 12:32:35 +0200shriekingnoise(~shrieking@186.137.144.80)
2021-09-30 12:35:33 +0200ubert(~Thunderbi@178.115.54.19.wireless.dyn.drei.com)
2021-09-30 12:36:03 +0200y04nn(~y04nn@193.32.127.238)
2021-09-30 12:38:53 +0200Gurkenglas(~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de)
2021-09-30 12:39:04 +0200terrorjack(~terrorjac@static.3.200.12.49.clients.your-server.de) (Read error: Connection reset by peer)
2021-09-30 12:43:02 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (Ping timeout: 250 seconds)
2021-09-30 12:43:11 +0200azeem(~azeem@2a00:801:42e:f0c5:54bc:9505:1b65:51ec) (Read error: Connection reset by peer)
2021-09-30 12:43:30 +0200azeem(~azeem@emp-93-135.eduroam.uu.se)
2021-09-30 12:51:04 +0200alzgh(~alzgh@user/alzgh)
2021-09-30 12:51:16 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker)
2021-09-30 12:54:18 +0200neurocyte0132(~neurocyte@user/neurocyte) (Ping timeout: 260 seconds)
2021-09-30 12:57:05 +0200y04nn(~y04nn@193.32.127.238) (Ping timeout: 265 seconds)
2021-09-30 12:57:55 +0200Organizers|Robin(~Robin_Jad@152.67.64.160)
2021-09-30 12:59:16 +0200hyiltiz(~quassel@31.220.5.250) (Ping timeout: 245 seconds)
2021-09-30 13:00:56 +0200alx741(~alx741@186.178.109.116)
2021-09-30 13:01:09 +0200hyiltiz(~quassel@31.220.5.250)
2021-09-30 13:03:26 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (Ping timeout: 245 seconds)
2021-09-30 13:03:26 +0200shriekingnoise(~shrieking@186.137.144.80) (Read error: Connection reset by peer)
2021-09-30 13:05:39 +0200shriekingnoise(~shrieking@186.137.144.80)
2021-09-30 13:08:34 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker)
2021-09-30 13:11:31 +0200y04nn(~y04nn@193.32.127.238)
2021-09-30 13:13:39 +0200geranim0(~geranim0@modemcable242.171-178-173.mc.videotron.ca)
2021-09-30 13:16:08 +0200unmanbearpig(~unmanbear@45.76.95.141) (Quit: unmanbearpig)
2021-09-30 13:20:42 +0200tubogram(~tubogram@user/tubogram) (Quit: See ya later!)
2021-09-30 13:20:52 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (Ping timeout: 252 seconds)
2021-09-30 13:21:12 +0200ec(~ec@gateway/tor-sasl/ec)
2021-09-30 13:22:26 +0200tubogram(~tubogram@user/tubogram)
2021-09-30 13:23:26 +0200merijn(~merijn@145.136.149.229) (Ping timeout: 245 seconds)
2021-09-30 13:25:17 +0200xiongxin(~quassel@119.123.100.167)
2021-09-30 13:26:59 +0200tubogram(~tubogram@user/tubogram) (Client Quit)
2021-09-30 13:27:20 +0200y04nn(~y04nn@193.32.127.238) (Ping timeout: 260 seconds)
2021-09-30 13:27:47 +0200shriekingnoise(~shrieking@186.137.144.80) (Ping timeout: 240 seconds)
2021-09-30 13:28:01 +0200hyiltiz(~quassel@31.220.5.250) (Ping timeout: 252 seconds)
2021-09-30 13:28:09 +0200yauhsien(~yauhsien@118-167-50-28.dynamic-ip.hinet.net)
2021-09-30 13:28:19 +0200tubogram(~tubogram@user/tubogram)
2021-09-30 13:29:38 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c44c:b521:4020:aaef)
2021-09-30 13:30:37 +0200pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2021-09-30 13:31:11 +0200yauhsien(~yauhsien@118-167-50-28.dynamic-ip.hinet.net) (Remote host closed the connection)
2021-09-30 13:31:30 +0200azeem(~azeem@emp-93-135.eduroam.uu.se) (Read error: Connection reset by peer)
2021-09-30 13:32:14 +0200yauhsien(~yauhsien@118-167-50-28.dynamic-ip.hinet.net)
2021-09-30 13:33:51 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c44c:b521:4020:aaef) (Ping timeout: 245 seconds)
2021-09-30 13:33:58 +0200azeem(~azeem@emp-93-135.eduroam.uu.se)
2021-09-30 13:35:48 +0200bontaq-zzzbontaq
2021-09-30 13:36:46 +0200yauhsien(~yauhsien@118-167-50-28.dynamic-ip.hinet.net) (Ping timeout: 245 seconds)
2021-09-30 13:39:49 +0200hyiltiz(~quassel@31.220.5.250)
2021-09-30 13:40:27 +0200terrorjack(~terrorjac@static.3.200.12.49.clients.your-server.de)
2021-09-30 13:40:42 +0200y04nn(~y04nn@193.32.127.238)
2021-09-30 13:44:51 +0200xsperry(~xs@user/xsperry)
2021-09-30 13:47:36 +0200mei(~mei@user/mei)
2021-09-30 13:50:49 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-09-30 13:52:48 +0200tubogram(~tubogram@user/tubogram) (Quit: See ya later!)
2021-09-30 13:54:06 +0200tubogram(~tubogram@user/tubogram)
2021-09-30 13:55:41 +0200amahl(~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi)
2021-09-30 13:57:31 +0200machinedgod(~machinedg@135-23-192-217.cpe.pppoe.ca)
2021-09-30 14:00:51 +0200lavaman(~lavaman@98.38.249.169)
2021-09-30 14:02:00 +0200qbt(~edun@user/edun) (Remote host closed the connection)
2021-09-30 14:02:23 +0200qbt(~edun@user/edun)
2021-09-30 14:02:55 +0200max22-(~maxime@2a01cb0883359800761b1c69d9198b7f.ipv6.abo.wanadoo.fr) (Ping timeout: 260 seconds)
2021-09-30 14:03:19 +0200MQ-17J(~MQ-17J@d192-24-122-179.try.wideopenwest.com) (Read error: Connection reset by peer)
2021-09-30 14:03:54 +0200MQ-17J(~MQ-17J@8.6.144.233)
2021-09-30 14:08:32 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2021-09-30 14:09:29 +0200alzgh(~alzgh@user/alzgh) (Ping timeout: 256 seconds)
2021-09-30 14:12:02 +0200doyougnu(~user@c-73-25-202-122.hsd1.or.comcast.net)
2021-09-30 14:13:15 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl)
2021-09-30 14:13:52 +0200kuribas(~user@ip-188-118-57-242.reverse.destiny.be)
2021-09-30 14:14:22 +0200qbt(~edun@user/edun) (Remote host closed the connection)
2021-09-30 14:14:40 +0200jespada(~jespada@2803:9800:9842:7a62:a5:6e91:7fa0:aa24)
2021-09-30 14:23:05 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2021-09-30 14:26:16 +0200tabaqui(~root@46.39.45.162)
2021-09-30 14:31:41 +0200 <tabaqui> Is it possible to place SCC for Arrow syntax?
2021-09-30 14:34:58 +0200 <tabaqui> hm, looks like only after -<
2021-09-30 14:35:17 +0200 <tabaqui> a <- f -< {-# SCC "here" #-} x
2021-09-30 14:35:30 +0200 <tabaqui> not sure if it's useful
2021-09-30 14:36:13 +0200ishutin(~ishutin@62-165-196-48.pool.digikabel.hu) (Ping timeout: 252 seconds)
2021-09-30 14:37:01 +0200 <geekosaur> you'd want to look at how arrow syntax expands to see why
2021-09-30 14:37:06 +0200hololeap(~hololeap@user/hololeap) (Ping timeout: 276 seconds)
2021-09-30 14:37:20 +0200NieDzejkob(~quassel@195.149.98.3) (Read error: Connection reset by peer)
2021-09-30 14:37:44 +0200ishutin(~ishutin@79.120.162.138)
2021-09-30 14:37:53 +0200NieDzejkob(~quassel@195.149.98.3)
2021-09-30 14:37:59 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker)
2021-09-30 14:38:32 +0200tubogram(~tubogram@user/tubogram) (Quit: See ya later!)
2021-09-30 14:40:19 +0200shriekingnoise(~shrieking@186.137.144.80)
2021-09-30 14:40:37 +0200hololeap(~hololeap@user/hololeap)
2021-09-30 14:40:42 +0200tubogram(~tubogram@user/tubogram)
2021-09-30 14:44:20 +0200fendor_(~fendor@178.115.64.173.wireless.dyn.drei.com)
2021-09-30 14:45:34 +0200Psybur(~Psybur@mobile-166-170-32-197.mycingular.net)
2021-09-30 14:46:47 +0200fendor(~fendor@178.165.164.78.wireless.dyn.drei.com) (Ping timeout: 252 seconds)
2021-09-30 14:49:07 +0200pbrisbin(~patrick@pool-173-49-147-250.phlapa.fios.verizon.net)
2021-09-30 14:50:20 +0200 <tabaqui> Yeah, I know about all this >>>, first, second. Had hopes that it's simple
2021-09-30 14:51:24 +0200 <tabaqui> *these
2021-09-30 14:54:06 +0200acidjnk_new(~acidjnk@pd9e0b933.dip0.t-ipconnect.de)
2021-09-30 14:55:11 +0200waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd)
2021-09-30 14:56:17 +0200acidjnk_new3(~acidjnk@p200300d0c703cb763077999fa0268789.dip0.t-ipconnect.de)
2021-09-30 14:56:21 +0200Morrow(~Morrow@bzq-110-168-31-106.red.bezeqint.net)
2021-09-30 14:56:39 +0200euandreh(~euandreh@2804:14c:33:9fe5:2810:3afa:c444:8029) (Quit: WeeChat 3.2.1)
2021-09-30 14:57:30 +0200acidjnk(~acidjnk@p200300d0c703cb7644139f8968654743.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2021-09-30 14:58:51 +0200acidjnk_new(~acidjnk@pd9e0b933.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2021-09-30 14:59:12 +0200ec(~ec@gateway/tor-sasl/ec) (Ping timeout: 276 seconds)
2021-09-30 15:00:21 +0200euandreh(~euandreh@2804:14c:33:9fe5:2810:3afa:c444:8029)
2021-09-30 15:00:35 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2021-09-30 15:00:39 +0200euandreh(~euandreh@2804:14c:33:9fe5:2810:3afa:c444:8029) (Client Quit)
2021-09-30 15:00:56 +0200xff0x(~xff0x@2001:1a81:53c2:e100:ccd2:b734:993c:a05c) (Ping timeout: 245 seconds)
2021-09-30 15:01:31 +0200euandreh(~euandreh@2804:14c:33:9fe5:2810:3afa:c444:8029)
2021-09-30 15:03:19 +0200xiongxin(~quassel@119.123.100.167) (Ping timeout: 252 seconds)
2021-09-30 15:03:24 +0200Lycurgus(~juan@98.4.112.204)
2021-09-30 15:04:16 +0200lavaman(~lavaman@98.38.249.169) (Ping timeout: 252 seconds)
2021-09-30 15:04:18 +0200euandreh(~euandreh@2804:14c:33:9fe5:2810:3afa:c444:8029) (Client Quit)
2021-09-30 15:05:08 +0200euandreh(~euandreh@2804:14c:33:9fe5:2810:3afa:c444:8029)
2021-09-30 15:05:13 +0200euandreh(~euandreh@2804:14c:33:9fe5:2810:3afa:c444:8029) (Client Quit)
2021-09-30 15:05:23 +0200xff0x(~xff0x@2001:1a81:53c2:e100:ccd2:b734:993c:a05c)
2021-09-30 15:05:54 +0200Lycurgusremembers when main channel had 2X this many users
2021-09-30 15:05:57 +0200slowButPresent(~slowButPr@user/slowbutpresent)
2021-09-30 15:06:04 +0200euandreh(~euandreh@2804:14c:33:9fe5:2810:3afa:c444:8029)
2021-09-30 15:22:40 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-09-30 15:26:21 +0200hyiltiz(~quassel@31.220.5.250) (Ping timeout: 245 seconds)
2021-09-30 15:26:23 +0200 <Psybur> Will disk use always be an issue when compiling? I want to build Carp but I only have 2 gb free on my disk >.>;
2021-09-30 15:26:54 +0200 <merijn> Depends on how big a thing you wanna compile :p
2021-09-30 15:27:15 +0200 <merijn> Usually RAM will be the bottleneck, but also 2GB free is...not a lot :p
2021-09-30 15:27:35 +0200hyiltiz(~quassel@31.220.5.250)
2021-09-30 15:28:52 +0200yauhsien(~yauhsien@118-167-50-28.dynamic-ip.hinet.net)
2021-09-30 15:29:23 +0200max22-(~maxime@2a01cb08833598008dc43d9542692ebe.ipv6.abo.wanadoo.fr)
2021-09-30 15:30:40 +0200 <Psybur> Heh, I did have to create a swapfile recently to compile Hakyll recently. I have since moved away from it
2021-09-30 15:31:06 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c44c:b521:4020:aaef)
2021-09-30 15:31:07 +0200 <Psybur> such recently wow
2021-09-30 15:32:48 +0200 <merijn> Why's your machine so limited?
2021-09-30 15:33:55 +0200yauhsien(~yauhsien@118-167-50-28.dynamic-ip.hinet.net) (Ping timeout: 260 seconds)
2021-09-30 15:34:44 +0200 <Lycurgus> in today's world, for a dev host, having 2GB disk will always be an issue unless c oder
2021-09-30 15:35:31 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c44c:b521:4020:aaef) (Ping timeout: 245 seconds)
2021-09-30 15:36:02 +0200 <Lycurgus> but 2G free in an otherwise stable env should mostly work if none of it used for swap or buffer
2021-09-30 15:36:48 +0200 <Lycurgus> maybe rasp pi or somesuch
2021-09-30 15:37:02 +0200 <Lycurgus> linode nano
2021-09-30 15:37:54 +0200 <Lycurgus> not a phone prolly, it would have more
2021-09-30 15:37:55 +0200 <merijn> Lycurgus: Sure, the question is: If your stable environment is so constrained, just...don't compile on it? :)
2021-09-30 15:38:17 +0200 <Lycurgus> right why I used 'dev'
2021-09-30 15:39:30 +0200 <merijn> The biggest damage dynamic languages have wreaked upon a generation of developers is causing them to conflate build and deploy environments and treat every deploy environment as a build environment (see also some of the docker atrocities on the web)
2021-09-30 15:40:05 +0200 <Lycurgus> in which I presume you mean to contrast with static hs
2021-09-30 15:40:34 +0200 <merijn> Or C or C++
2021-09-30 15:40:38 +0200 <merijn> Even Java to some extent
2021-09-30 15:40:47 +0200 <Lycurgus> i think it was when memory became super cheap
2021-09-30 15:40:48 +0200hololeap(~hololeap@user/hololeap) (Ping timeout: 276 seconds)
2021-09-30 15:42:19 +0200 <Lycurgus> well it doesn't happen in lisp because there is essentially is no difference
2021-09-30 15:42:56 +0200 <Lycurgus> this or that thing turned off on an app or implementation basis
2021-09-30 15:43:12 +0200 <Lycurgus> same with smalltalk
2021-09-30 15:43:21 +0200 <kuribas> merijn: what does building and deploying have to do with dynamic/static?
2021-09-30 15:44:00 +0200 <Lycurgus> it's culture dependent
2021-09-30 15:44:15 +0200 <Psybur> im too lazy to go and free up more space on my windoze partition heh. Ive got 4 gb free maybe now itll work :P
2021-09-30 15:44:47 +0200 <Lycurgus> some langs force a tear down of dev stuff for prod dist
2021-09-30 15:45:21 +0200 <Psybur> And i cant find any binaries for carp lisp D;
2021-09-30 15:45:27 +0200 <merijn> kuribas: Most dynamic languages don't have a clear way to separate "build results" from "input source"
2021-09-30 15:45:39 +0200 <kuribas> hmm, right
2021-09-30 15:45:42 +0200 <merijn> kuribas: As a result, most of their environments kinda assume you just distribute both
2021-09-30 15:45:56 +0200hololeap(~hololeap@user/hololeap)
2021-09-30 15:46:24 +0200 <merijn> kuribas: In cabal-install the build artifacts are very clearly delineated and you can just copy them to another machine with 0 haskell tools and it will keep working
2021-09-30 15:46:44 +0200 <kuribas> that's why you need docker for python and JS?
2021-09-30 15:46:49 +0200 <merijn> A python codebase will require python on deployment host anyway
2021-09-30 15:46:57 +0200 <merijn> kuribas: In essence, yes
2021-09-30 15:47:13 +0200 <kuribas> well, sort of, because I cannot copy between debian linux and centos.
2021-09-30 15:47:17 +0200 <merijn> If you can't distinguish build output from input it becomes hard to nail down what is required at runtime
2021-09-30 15:47:20 +0200 <kuribas> due to libc differences.
2021-09-30 15:47:28 +0200 <merijn> kuribas: RIght, you need compatible libraries on the host, but other than that
2021-09-30 15:47:44 +0200 <merijn> kuribas: And you can build entirely static executables that only depend on the kernel if you use musl
2021-09-30 15:48:39 +0200pbrisbin(~patrick@pool-173-49-147-250.phlapa.fios.verizon.net) (Quit: WeeChat 3.2.1)
2021-09-30 15:48:43 +0200 <merijn> kuribas: Docker's popularity in the Python/JS/Ruby/etc. spheres is basically everyone collectively giving up on defining/figuring out what exactly their runtime dependencies/environment should be and saying "fuck it, we'll just ship development"
2021-09-30 15:48:55 +0200VoidNoir0(~VoidNoir0@72.80.203.52)
2021-09-30 15:50:15 +0200hyiltiz(~quassel@31.220.5.250) (Ping timeout: 260 seconds)
2021-09-30 15:50:23 +0200 <merijn> programmers are lazy, which is a virtue when it comes to writing code. But bad for packaging. For packaging you wanna specify your dependencies and inputs as explicitly as possible, because that makes setting up an environment elsewhere easy.
2021-09-30 15:50:31 +0200 <dminuoso> The story behind docker: https://i.imgur.com/3eTKEZp.jpg
2021-09-30 15:51:28 +0200 <merijn> See also the unending rift between people who want more automatic magic into cabal "because I don't wanna manually specify all this stuff". But you have to explicitly specify what you're talking about while dealing with packaging, you don't wanna embed random shit on your filesystem in your distribution
2021-09-30 15:51:36 +0200 <dminuoso> For over 3 decades, linux folks have managed *just* *fine* with autotool and packaging. Sure, there was some friction here and there, but I can install a postfix on anything from ancient debians to anything that runs today.
2021-09-30 15:52:12 +0200 <kuribas> *just fine* might be a slight exageration.
2021-09-30 15:52:14 +0200hyiltiz(~quassel@31.220.5.250)
2021-09-30 15:52:23 +0200 <kuribas> As in, when autotool works it's fine, misery otherwise.
2021-09-30 15:53:17 +0200 <dminuoso> The real problem is:
2021-09-30 15:53:20 +0200 <dminuoso> 15:47:13 kuribas | well, sort of, because I cannot copy between debian linux and centos.
2021-09-30 15:53:24 +0200 <dminuoso> Why do you even expect this to work reasonably?
2021-09-30 15:53:30 +0200fendor_(~fendor@178.115.64.173.wireless.dyn.drei.com) (Remote host closed the connection)
2021-09-30 15:53:31 +0200 <kuribas> Do you put Atribtrary instances in your tests, or besides your data definitions?
2021-09-30 15:53:45 +0200 <dminuoso> That seems to already imply that ELF was a portable way of delivering artifacts, which its not.
2021-09-30 15:53:53 +0200 <kuribas> dminuoso: windows is binary compatible, so is macos.
2021-09-30 15:54:03 +0200 <dminuoso> "binary compatible" is not saying much, really.
2021-09-30 15:54:35 +0200 <dminuoso> It's sort of like "why doesnt this windows binary run on linux? this is just x86 machine code"
2021-09-30 15:55:00 +0200 <kuribas> wine? :-)
2021-09-30 15:55:05 +0200 <dminuoso> "binary compatible" only makes sense when you have absolutely no outside dependencies
2021-09-30 15:55:22 +0200 <merijn> dminuoso: Which is why you static link everything :p
2021-09-30 15:55:39 +0200 <dminuoso> merijn: Im not convinced this is a wise idea anymore.
2021-09-30 15:55:46 +0200 <dminuoso> Most things, yes.
2021-09-30 15:55:49 +0200 <dminuoso> OpenSSL? No.
2021-09-30 15:56:31 +0200 <dminuoso> merijn: and even static linking is not enough.
2021-09-30 15:56:45 +0200 <dminuoso> Suddenly your program wants to open a socket under /run/foo.pid, but /run does not exist on that other distribution.
2021-09-30 15:57:05 +0200 <dminuoso> And it wants to setuid/setgrp under uids that dont exist. Open config files or need a load of system resources.
2021-09-30 15:57:10 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-09-30 15:57:11 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-09-30 15:57:11 +0200wroathe(~wroathe@user/wroathe)
2021-09-30 15:57:44 +0200mjs2600(~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Ping timeout: 252 seconds)
2021-09-30 15:57:46 +0200 <dminuoso> Sorry, I meant *open a pid file
2021-09-30 15:58:26 +0200 <dminuoso> I mean yeah, some software can just be handed as some single binary and be a mostly portable ELF. When that works, great.
2021-09-30 15:58:55 +0200 <dminuoso> It's part of why Prometheus is so successful, it's dead simple to populate exporters onto brittle legacy infrastructure without major updates.
2021-09-30 15:59:32 +0200 <kuribas> dminuoso: that's why there is a POSIX standard?
2021-09-30 15:59:34 +0200 <merijn> I blame the linux circlejerk of entirely superficial variations with no meaningful difference
2021-09-30 15:59:43 +0200 <kuribas> merijn: word :)
2021-09-30 15:59:46 +0200 <merijn> Just use FreeBSD
2021-09-30 16:00:09 +0200 <merijn> Or any BSD
2021-09-30 16:00:30 +0200 <dminuoso> merijn: The day that NixOS supports the BSD kernel, you have won me over!
2021-09-30 16:02:15 +0200xsperry(~xs@user/xsperry) (Remote host closed the connection)
2021-09-30 16:02:29 +0200 <dminuoso> Even without liking nixos, you have to admit that they at least have *meaningful* differences from "boilerplate distributions"
2021-09-30 16:02:36 +0200xsperry(~xs@cpe-188-129-101-182.dynamic.amis.hr)
2021-09-30 16:03:14 +0200 <merijn> The day Nix can work without you being root or manually building 12 dependencies from source (because it's not statically linked!) I'll think about it for more than 3 seconds
2021-09-30 16:03:26 +0200neurocyte0132(~neurocyte@45.14.189.33)
2021-09-30 16:03:26 +0200neurocyte0132(~neurocyte@45.14.189.33) (Changing host)
2021-09-30 16:03:26 +0200neurocyte0132(~neurocyte@user/neurocyte)
2021-09-30 16:03:49 +0200 <merijn> dminuoso: As for linking OpenSSL statically, see that's just a feature, forcing you have a good update plan and re-deploy plan that's frequently exercised
2021-09-30 16:04:16 +0200 <merijn> It's a built in deprecator on everything you deploy!
2021-09-30 16:05:02 +0200shapr(~user@pool-100-36-247-68.washdc.fios.verizon.net)
2021-09-30 16:05:11 +0200 <dminuoso> merijn: I see it as a risk rather. Just because its linked statically, you're not forced to do anything. The opposite, once you have statically linked openssl, you *must* *update* *every* package every time OpenSSL folks screw up basic security hygiene again.
2021-09-30 16:05:22 +0200 <dminuoso> It delays getting updates
2021-09-30 16:06:15 +0200 <merijn> Consider it motivation to not rely on OpenSSL :p
2021-09-30 16:07:15 +0200 <merijn> dminuoso: Like, why can't you use LibreSSL instead?
2021-09-30 16:07:41 +0200 <dminuoso> I knew you were going to say this.
2021-09-30 16:08:01 +0200 <merijn> Of course, I'm predictably consistent :p
2021-09-30 16:08:18 +0200Lycurgus(~juan@98.4.112.204) (Quit: Exeunt)
2021-09-30 16:08:36 +0200 <dminuoso> I guess I can.
2021-09-30 16:08:48 +0200 <merijn> I have far more faith in the OpenBSD people than any of the linux devs or OpenSSL devs
2021-09-30 16:09:04 +0200 <merijn> Not just in terms of security, but also general robustness and ease of use
2021-09-30 16:09:17 +0200jaitoon1(~Jaitoon@178.238.11.42)
2021-09-30 16:09:18 +0200jaitoon(~Jaitoon@2a02:c7f:a5f:1d00:655a:4e49:d8df:532d) (Ping timeout: 250 seconds)
2021-09-30 16:09:30 +0200 <merijn> Compare pledge(2) to whatever the linux flavour-of-the-month capability framework is
2021-09-30 16:10:50 +0200 <dminuoso> merijn: Absolutely, did you get that memo about that recent OpenSSL 3.0 release that deprecated a huge bunch of functions, except for some of them they simply forgot to mention in the documentation for some of them a) that they are deprecated, or b) what to use instead.
2021-09-30 16:11:00 +0200 <dminuoso> It does make you wonder what they do for a living.
2021-09-30 16:12:15 +0200 <merijn> (Open)BSD vs linux/openssl/etc. is, in my mind, the difference between the mindset of "software *engineer*" and "programmer"
2021-09-30 16:12:53 +0200mikoto-chan(~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be)
2021-09-30 16:13:20 +0200 <merijn> "we have a new fine-grained capability system for security!" 'cool...how you can migrate 4 decades worth of tools to it?'
2021-09-30 16:13:44 +0200 <merijn> s/how you can/how are you gonna
2021-09-30 16:14:03 +0200 <merijn> or s/how you can/can you
2021-09-30 16:14:12 +0200 <merijn> I need a rate limiter on my brain-to-typing interface...
2021-09-30 16:15:35 +0200 <kuribas> How do you garantee coverage of all sums in an Arbitrary instance?
2021-09-30 16:19:26 +0200 <kuribas> Such that, if I update the datatype, the test will fail?
2021-09-30 16:19:30 +0200 <kuribas> or fail to compile better.
2021-09-30 16:20:45 +0200Psybur(~Psybur@mobile-166-170-32-197.mycingular.net) (Remote host closed the connection)
2021-09-30 16:21:53 +0200 <merijn> You don't? :p
2021-09-30 16:22:10 +0200Psybur(~Psybur@mobile-166-170-32-197.mycingular.net)
2021-09-30 16:22:56 +0200 <kuribas> merijn: you count on the programmer remembering?
2021-09-30 16:22:56 +0200 <merijn> Was it hedgehog that had better support for checking meta-properties like the randomness of generated values? I forget...
2021-09-30 16:23:46 +0200 <kuribas> it is better that nothing I suppose...
2021-09-30 16:24:15 +0200jaitoon1(~Jaitoon@178.238.11.42) (Quit: Leaving)
2021-09-30 16:24:34 +0200y04nn(~y04nn@193.32.127.238) (Ping timeout: 252 seconds)
2021-09-30 16:24:51 +0200rtjure(~rtjure@bras-79-132-17-74.comnet.bg)
2021-09-30 16:24:52 +0200 <kuribas> I can imagine some hack using Data.Data...
2021-09-30 16:26:22 +0200ec(~ec@gateway/tor-sasl/ec)
2021-09-30 16:26:32 +0200 <kuribas> like counting the number of sums...
2021-09-30 16:26:37 +0200yaroot(~yaroot@6.3.30.125.dy.iij4u.or.jp) (Quit: The Lounge - https://thelounge.chat)
2021-09-30 16:27:07 +0200 <dsal> kuribas: generics are helpful. Looking at coverage is also helpful. I like to look at my test coverage periodically.
2021-09-30 16:27:32 +0200yaroot(~yaroot@6.3.30.125.dy.iij4u.or.jp)
2021-09-30 16:28:25 +0200 <kuribas> dsal: maybe generics-eot, my favourite generics library.
2021-09-30 16:29:01 +0200mikoto-chan(~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) (Quit: mikoto-chan)
2021-09-30 16:29:14 +0200mikoto-chan(~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be)
2021-09-30 16:29:35 +0200 <dsal> merijn: your rant reminded me of a recent set of videos showing all these tracing tools in Linux. strace and ftrace and perf and some other junk and how you can combine them to learn some things if you're careful. Combined, they were a tiny subset of what I'd do in production with dtrace
2021-09-30 16:30:05 +0200 <dsal> kuribas: there's a generic arbitrary library I've used.
2021-09-30 16:30:06 +0200acidjnk_new3(~acidjnk@p200300d0c703cb763077999fa0268789.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2021-09-30 16:30:22 +0200 <kuribas> dsal: I cannot use a generic library.
2021-09-30 16:30:29 +0200 <kuribas> the strings aren't generic.
2021-09-30 16:30:33 +0200 <kuribas> they cannot contain "/"
2021-09-30 16:31:29 +0200 <dsal> The older code liked to do this thing where it added change detectors in every place that used sums (or products) to make sure it stopped compiling if something changed. I did not like this.
2021-09-30 16:31:37 +0200 <merijn> dsal: DTrace is so nice
2021-09-30 16:31:54 +0200 <kuribas> n <- choose (1, length (constructors (datatype (Proxy @SQID))))
2021-09-30 16:31:55 +0200 <merijn> I don't use it often enough to be good with it. But it's so obviously superior
2021-09-30 16:32:08 +0200 <merijn> dsal: Also, compare Intel VTune to gprof
2021-09-30 16:32:12 +0200 <kuribas> then case n of ... , _ -> error "constructor not handled."
2021-09-30 16:32:37 +0200 <kuribas> dsal: why not?
2021-09-30 16:32:57 +0200fvr(uid503686@id-503686.uxbridge.irccloud.com)
2021-09-30 16:33:27 +0200 <dsal> merijn: yeah, back then, Linux excited you to use systemtap, which required a new kernel, a c compiler, and a ton of time and memory to do something they thought was similar.
2021-09-30 16:33:29 +0200 <lortabac> kuribas: maybe you should use a newtype for the strings
2021-09-30 16:33:48 +0200 <kuribas> lortabac: that's polluting the datatype just for tests...
2021-09-30 16:33:53 +0200 <merijn> dsal: My first unix machine was FreeBSD
2021-09-30 16:34:01 +0200 <merijn> dsal: So I was never excited about linux
2021-09-30 16:34:01 +0200 <dsal> kuribas: it was just a lot of noise, and I found a better way every time.
2021-09-30 16:34:10 +0200 <dsal> merijn: yeah, I also downgraded
2021-09-30 16:34:18 +0200 <merijn> A solid 90% of my linux experience has just been annoyance and disappointment
2021-09-30 16:34:43 +0200 <merijn> dsal: And the documentation...
2021-09-30 16:34:49 +0200 <merijn> Now I'm sad again
2021-09-30 16:35:40 +0200 <dsal> kuribas: it's not just for the test, it sounds like a correctness issue. Otherwise, a test can just toss out the bad values. If / isn't valid, but can be supplied, then don't make it a possible value. :)
2021-09-30 16:36:22 +0200jaitoon(~Jaitoon@178.238.11.42)
2021-09-30 16:37:41 +0200CiaoSen(~Jura@p5dcc151c.dip0.t-ipconnect.de)
2021-09-30 16:40:12 +0200 <kuribas> yeah, I understand, but it's a balance between keeping things simple.
2021-09-30 16:40:38 +0200 <kuribas> I am already splitting it before parsing, so it's an unlikely error.
2021-09-30 16:43:36 +0200 <dminuoso> 16:34:43 merijn | dsal: And the documentation...
2021-09-30 16:43:38 +0200 <dminuoso> Linux has documentation?
2021-09-30 16:43:44 +0200 <dminuoso> I mean yeah, the kernel has some.
2021-09-30 16:43:47 +0200 <dminuoso> :>
2021-09-30 16:44:33 +0200 <dsal> kuribas: simple == there's no way to express something that's wrong. :)
2021-09-30 16:44:33 +0200azeem(~azeem@emp-93-135.eduroam.uu.se) (Read error: Connection reset by peer)
2021-09-30 16:45:04 +0200azeem(~azeem@emp-93-135.eduroam.uu.se)
2021-09-30 16:45:06 +0200 <merijn> dminuoso: That's what I meant
2021-09-30 16:45:15 +0200 <kuribas> dsal: not always.
2021-09-30 16:45:17 +0200 <dminuoso> merijn: I know.
2021-09-30 16:45:27 +0200 <merijn> FreeBSD Handbook is so great
2021-09-30 16:45:28 +0200 <kuribas> dsal: and I'd be programming in idris if I wanted that always.
2021-09-30 16:45:29 +0200azeem(~azeem@emp-93-135.eduroam.uu.se) (Read error: Connection reset by peer)
2021-09-30 16:46:07 +0200azeem(~azeem@emp-93-135.eduroam.uu.se)
2021-09-30 16:46:16 +0200 <dminuoso> merijn: Actually in some sense, my comment implies what the biggest problem behind linux is.
2021-09-30 16:46:38 +0200 <merijn> Actually
2021-09-30 16:46:41 +0200Heffalump(~ganesh@urchin.earth.li) ()
2021-09-30 16:46:42 +0200 <dminuoso> It's that Linux really is just the kernel. There's a lot of different also called "Linux", but really there's no coherent product.
2021-09-30 16:46:45 +0200 <merijn> The problem with linux isn't the lack of it
2021-09-30 16:46:47 +0200 <dminuoso> Some distributions actually have handbooks and manuals.
2021-09-30 16:46:54 +0200 <merijn> It's that there's too much of it and it's all terrible
2021-09-30 16:46:55 +0200 <dminuoso> Red Hat is on the better side of documentation
2021-09-30 16:47:25 +0200 <dminuoso> In fact, I find myself referring to their resources from time to time, as it's quite comprehensive
2021-09-30 16:48:55 +0200 <dminuoso> Heck, even NixOS is accumulating a relatively decent manual.
2021-09-30 16:49:11 +0200 <dminuoso> But most popular distributions are mysteriously undocumented
2021-09-30 16:49:19 +0200 <dminuoso> It's as if the majority users dont care for documentation?
2021-09-30 16:49:29 +0200 <dminuoso> I dont know
2021-09-30 16:49:42 +0200 <dminuoso> Experience shows that a lot of people dont even know how to use `info` or `man`
2021-09-30 16:49:47 +0200 <dminuoso> Or know of their existence
2021-09-30 16:50:04 +0200 <dminuoso> Which in recent years is probably not much of a loss anyway
2021-09-30 16:59:05 +0200neurocyte0132(~neurocyte@user/neurocyte) (Quit: The Lounge - https://thelounge.chat)
2021-09-30 17:00:00 +0200hnOsmium0001(uid453710@id-453710.hampstead.irccloud.com)
2021-09-30 17:00:23 +0200neurocyte0132(~neurocyte@45.14.189.33)
2021-09-30 17:00:23 +0200neurocyte0132(~neurocyte@45.14.189.33) (Changing host)
2021-09-30 17:00:23 +0200neurocyte0132(~neurocyte@user/neurocyte)
2021-09-30 17:01:39 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 265 seconds)
2021-09-30 17:08:27 +0200xiongxin(~quassel@113.116.35.63)
2021-09-30 17:13:07 +0200alx741(~alx741@186.178.109.116) (Ping timeout: 240 seconds)
2021-09-30 17:15:14 +0200pbrisbin(~patrick@pool-173-49-147-250.phlapa.fios.verizon.net)
2021-09-30 17:17:56 +0200wroathe(~wroathe@user/wroathe)
2021-09-30 17:18:56 +0200Psybur(~Psybur@mobile-166-170-32-197.mycingular.net) (Read error: Connection reset by peer)
2021-09-30 17:19:40 +0200Organizers|Robin(~Robin_Jad@152.67.64.160) (Remote host closed the connection)
2021-09-30 17:20:18 +0200Psybur(~Psybur@mobile-166-170-32-197.mycingular.net)
2021-09-30 17:21:00 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c44c:b521:4020:aaef)
2021-09-30 17:22:12 +0200ec(~ec@gateway/tor-sasl/ec) (Ping timeout: 276 seconds)
2021-09-30 17:22:19 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 252 seconds)
2021-09-30 17:22:32 +0200euandreh(~euandreh@2804:14c:33:9fe5:2810:3afa:c444:8029) (Ping timeout: 250 seconds)
2021-09-30 17:24:35 +0200euandreh(~euandreh@2804:14c:33:9fe5:9472:a2eb:3822:1241)
2021-09-30 17:25:01 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c44c:b521:4020:aaef) (Remote host closed the connection)
2021-09-30 17:25:10 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c44c:b521:4020:aaef)
2021-09-30 17:25:59 +0200alx741(~alx741@181.196.69.214)
2021-09-30 17:26:11 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:a6c2:21c3:31ae:f837) (Quit: WeeChat 2.8)
2021-09-30 17:27:05 +0200ec(~ec@gateway/tor-sasl/ec)
2021-09-30 17:30:55 +0200yauhsien(~yauhsien@118-167-50-28.dynamic-ip.hinet.net)
2021-09-30 17:34:19 +0200mortemeur(~mortemeur@pool-173-76-107-201.bstnma.fios.verizon.net)
2021-09-30 17:34:58 +0200doyougnu(~user@c-73-25-202-122.hsd1.or.comcast.net) (Remote host closed the connection)
2021-09-30 17:35:31 +0200yauhsien(~yauhsien@118-167-50-28.dynamic-ip.hinet.net) (Ping timeout: 245 seconds)
2021-09-30 17:40:12 +0200Psybur(~Psybur@mobile-166-170-32-197.mycingular.net) (Remote host closed the connection)
2021-09-30 17:40:41 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c44c:b521:4020:aaef) (Remote host closed the connection)
2021-09-30 17:42:32 +0200y04nn(~y04nn@193.32.127.238)
2021-09-30 17:42:36 +0200neurocyte0132(~neurocyte@user/neurocyte) (Ping timeout: 245 seconds)
2021-09-30 17:42:59 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-09-30 17:50:29 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c44c:b521:4020:aaef)
2021-09-30 17:52:45 +0200xiongxin(~quassel@113.116.35.63) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2021-09-30 17:53:09 +0200Null_A(~null_a@2601:645:8700:2290:e9de:2461:c7b1:d42b)
2021-09-30 17:54:41 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c44c:b521:4020:aaef) (Ping timeout: 245 seconds)
2021-09-30 17:54:50 +0200azeem(~azeem@emp-93-135.eduroam.uu.se) (Read error: Connection reset by peer)
2021-09-30 17:55:15 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c44c:b521:4020:aaef)
2021-09-30 17:58:11 +0200cfricke(~cfricke@user/cfricke) (Ping timeout: 252 seconds)
2021-09-30 17:58:17 +0200chris(~chris@81.96.113.213)
2021-09-30 17:58:21 +0200chrisGuest8165
2021-09-30 17:58:45 +0200azeem(~azeem@2a00:801:2d7:a6ce:1ae9:943a:b76:848d)
2021-09-30 18:01:56 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer)
2021-09-30 18:07:13 +0200chele(~chele@user/chele) (Remote host closed the connection)
2021-09-30 18:13:04 +0200lbseale(~lbseale@user/ep1ctetus)
2021-09-30 18:13:10 +0200kuribas(~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection)
2021-09-30 18:15:56 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds)
2021-09-30 18:17:22 +0200doyougnu(~user@c-73-25-202-122.hsd1.or.comcast.net)
2021-09-30 18:29:02 +0200econo(uid147250@user/econo)
2021-09-30 18:30:20 +0200Tuplanolla(~Tuplanoll@91-159-69-50.elisa-laajakaista.fi)
2021-09-30 18:31:09 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl)
2021-09-30 18:33:17 +0200nfd(~nfd@user/nfd)
2021-09-30 18:37:19 +0200justsomeguy(~justsomeg@user/justsomeguy)
2021-09-30 18:37:29 +0200lavaman(~lavaman@98.38.249.169)
2021-09-30 18:38:35 +0200enikarenicar
2021-09-30 18:39:57 +0200Sgeo(~Sgeo@user/sgeo)
2021-09-30 18:42:04 +0200CiaoSen(~Jura@p5dcc151c.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2021-09-30 18:42:13 +0200lavaman(~lavaman@98.38.249.169) (Ping timeout: 252 seconds)
2021-09-30 18:43:56 +0200emf(~emf@2601:602:9401:b660:47d:d5f4:4143:7c05)
2021-09-30 18:45:27 +0200Cajun(~Cajun@user/cajun) (Ping timeout: 256 seconds)
2021-09-30 18:46:01 +0200emf_(~emf@2620:10d:c090:400::5:5b52)
2021-09-30 18:48:26 +0200emf(~emf@2601:602:9401:b660:47d:d5f4:4143:7c05) (Ping timeout: 245 seconds)
2021-09-30 18:48:59 +0200mortemeur(~mortemeur@pool-173-76-107-201.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
2021-09-30 18:51:08 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-09-30 18:55:56 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-09-30 18:56:58 +0200tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
2021-09-30 19:01:14 +0200Null_A(~null_a@2601:645:8700:2290:e9de:2461:c7b1:d42b) (Remote host closed the connection)
2021-09-30 19:01:39 +0200Null_A(~null_a@2601:645:8700:2290:e9de:2461:c7b1:d42b)
2021-09-30 19:02:06 +0200abhixec(~abhixec@c-67-169-139-16.hsd1.ca.comcast.net)
2021-09-30 19:02:20 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2021-09-30 19:02:28 +0200a6a45081-2b83(~aditya@2601:249:4300:1296:88ec:cc73:84d4:1507)
2021-09-30 19:03:05 +0200 <a6a45081-2b83> what could be a reason for Int64 to be 2x slower than Integer?
2021-09-30 19:07:08 +0200yauhsien(~yauhsien@118-167-50-28.dynamic-ip.hinet.net)
2021-09-30 19:07:49 +0200jinsun__(~quassel@user/jinsun)
2021-09-30 19:08:11 +0200Gestotterd(~Stotteren@pool-108-20-79-41.bstnma.fios.verizon.net)
2021-09-30 19:08:28 +0200aaa(~asdf@ip-64-72-99-234.lasvegas.net)
2021-09-30 19:08:35 +0200tzh_(~tzh@c-24-21-73-154.hsd1.or.comcast.net)
2021-09-30 19:08:52 +0200aaaGuest1169
2021-09-30 19:08:54 +0200chris(~chris@81.96.113.213)
2021-09-30 19:08:58 +0200chrisGuest2141
2021-09-30 19:09:09 +0200dextaa7(~DV@user/dextaa)
2021-09-30 19:09:11 +0200vicfred_(~vicfred@user/vicfred)
2021-09-30 19:09:14 +0200Flonk6(~Flonk@ec2-52-40-29-25.us-west-2.compute.amazonaws.com)
2021-09-30 19:10:10 +0200mrkajetanp_(~mrkajetan@2a01:4b00:ea36:6c00:7994:941c:3f5d:2b88)
2021-09-30 19:10:13 +0200byorgey_(~byorgey@155.138.238.211)
2021-09-30 19:10:18 +0200janus__(janus@anubis.0x90.dk)
2021-09-30 19:10:25 +0200megaTherion_(~therion@coruscant.unix.io)
2021-09-30 19:10:27 +0200lll(~o@user/ding)
2021-09-30 19:10:54 +0200nitrix(~nitrix@user/nitrix) (Ping timeout: 260 seconds)
2021-09-30 19:10:57 +0200cheater1__(~Username@user/cheater)
2021-09-30 19:11:13 +0200shapr`(~user@pool-100-36-247-68.washdc.fios.verizon.net)
2021-09-30 19:11:34 +0200Null_A(~null_a@2601:645:8700:2290:e9de:2461:c7b1:d42b) (Remote host closed the connection)
2021-09-30 19:11:41 +0200CodeKiwi(~kiwi@2604:a880:400:d0::12fc:5001)
2021-09-30 19:12:00 +0200Null_A(~null_a@2601:645:8700:2290:e9de:2461:c7b1:d42b)
2021-09-30 19:12:18 +0200dhouthoo_(~dhouthoo@178-117-36-167.access.telenet.be)
2021-09-30 19:12:21 +0200ystael_(~ystael@user/ystael)
2021-09-30 19:12:30 +0200dkeohane2(~dkeohane@ec2-18-189-29-140.us-east-2.compute.amazonaws.com)
2021-09-30 19:12:34 +0200nfd_(~nfd@user/nfd)
2021-09-30 19:12:38 +0200werneta_(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2021-09-30 19:12:39 +0200agoraphobic_(~agoraphob@ip11-173.bon.riksnet.se)
2021-09-30 19:12:42 +0200jlamothe_(~jlamothe@104.158.48.100)
2021-09-30 19:12:51 +0200dixie_(~dixie@real.wilbury.sk)
2021-09-30 19:14:15 +0200img_(~img@user/img)
2021-09-30 19:15:46 +0200shapr(~user@pool-100-36-247-68.washdc.fios.verizon.net) (Killed (NickServ (GHOST command used by shapr`)))
2021-09-30 19:15:49 +0200shapr`shapr
2021-09-30 19:16:49 +0200mht-wtf(~mht@2a03:b0c0:3:e0::1e2:c001)
2021-09-30 19:17:35 +0200a6a45081-2b83(~aditya@2601:249:4300:1296:88ec:cc73:84d4:1507) (*.net *.split)
2021-09-30 19:17:35 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (*.net *.split)
2021-09-30 19:17:35 +0200tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (*.net *.split)
2021-09-30 19:17:36 +0200nfd(~nfd@user/nfd) (*.net *.split)
2021-09-30 19:17:36 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl) (*.net *.split)
2021-09-30 19:17:36 +0200Guest8165(~chris@81.96.113.213) (*.net *.split)
2021-09-30 19:17:36 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c44c:b521:4020:aaef) (*.net *.split)
2021-09-30 19:17:36 +0200alx741(~alx741@181.196.69.214) (*.net *.split)
2021-09-30 19:17:36 +0200euandreh(~euandreh@2804:14c:33:9fe5:9472:a2eb:3822:1241) (*.net *.split)
2021-09-30 19:17:36 +0200fvr(uid503686@id-503686.uxbridge.irccloud.com) (*.net *.split)
2021-09-30 19:17:36 +0200VoidNoir0(~VoidNoir0@72.80.203.52) (*.net *.split)
2021-09-30 19:17:36 +0200jespada(~jespada@2803:9800:9842:7a62:a5:6e91:7fa0:aa24) (*.net *.split)
2021-09-30 19:17:36 +0200img(~img@user/img) (*.net *.split)
2021-09-30 19:17:36 +0200_\_(~o@user/ding) (*.net *.split)
2021-09-30 19:17:36 +0200dhouthoo(~dhouthoo@178-117-36-167.access.telenet.be) (*.net *.split)
2021-09-30 19:17:36 +0200_xor(~xor@74.215.232.67) (*.net *.split)
2021-09-30 19:17:36 +0200dkeohane1(~dkeohane@ec2-18-189-29-140.us-east-2.compute.amazonaws.com) (*.net *.split)
2021-09-30 19:17:36 +0200Stotteren(~Stotteren@pool-108-20-79-41.bstnma.fios.verizon.net) (*.net *.split)
2021-09-30 19:17:36 +0200zmt00(~zmt00@user/zmt00) (*.net *.split)
2021-09-30 19:17:36 +0200haasn(~nand@haasn.dev) (*.net *.split)
2021-09-30 19:17:36 +0200vicfred(~vicfred@user/vicfred) (*.net *.split)
2021-09-30 19:17:36 +0200cheater(~Username@user/cheater) (*.net *.split)
2021-09-30 19:17:36 +0200janus(janus@anubis.0x90.dk) (*.net *.split)
2021-09-30 19:17:36 +0200mht(~mht@mht.wtf) (*.net *.split)
2021-09-30 19:17:36 +0200dixie(~dixie@real.wilbury.sk) (*.net *.split)
2021-09-30 19:17:36 +0200juhp(~juhp@128.106.188.220) (*.net *.split)
2021-09-30 19:17:36 +0200jlamothe(~jlamothe@104.158.48.100) (*.net *.split)
2021-09-30 19:17:36 +0200ystael(~ystael@user/ystael) (*.net *.split)
2021-09-30 19:17:36 +0200byorgey(~byorgey@155.138.238.211) (*.net *.split)
2021-09-30 19:17:36 +0200segfaultfizzbuzz(~segfaultf@135-180-0-138.static.sonic.net) (*.net *.split)
2021-09-30 19:17:36 +0200Flonk(~Flonk@ec2-52-40-29-25.us-west-2.compute.amazonaws.com) (*.net *.split)
2021-09-30 19:17:36 +0200phma(~phma@host-67-44-208-25.hnremote.net) (*.net *.split)
2021-09-30 19:17:36 +0200spruit11(~quassel@2a02:a467:ccd6:1:ed67:f262:991e:7f5) (*.net *.split)
2021-09-30 19:17:36 +0200agoraphobic(~agoraphob@ip11-173.bon.riksnet.se) (*.net *.split)
2021-09-30 19:17:36 +0200DigitalKiwi(~kiwi@192.241.157.119) (*.net *.split)
2021-09-30 19:17:36 +0200mrkajetanp(~mrkajetan@88.98.245.28) (*.net *.split)
2021-09-30 19:17:36 +0200dextaa(~DV@user/dextaa) (*.net *.split)
2021-09-30 19:17:36 +0200cads(~asdf@ip-64-72-99-234.lasvegas.net) (*.net *.split)
2021-09-30 19:17:36 +0200drdo(~drdo@overlord0.drdo.eu) (*.net *.split)
2021-09-30 19:17:36 +0200Xnuk(~xnuk@45.76.202.58) (*.net *.split)
2021-09-30 19:17:36 +0200son0p(~ff@181.136.122.143) (*.net *.split)
2021-09-30 19:17:36 +0200jinsun(~quassel@user/jinsun) (*.net *.split)
2021-09-30 19:17:36 +0200hiruji(~hiruji@user/hiruji) (*.net *.split)
2021-09-30 19:17:36 +0200teddyc(theodorc@cassarossa.samfundet.no) (*.net *.split)
2021-09-30 19:17:36 +0200megaTherion(~therion@coruscant.unix.io) (*.net *.split)
2021-09-30 19:17:36 +0200amirouche(~amirouche@user/amirouche) (*.net *.split)
2021-09-30 19:17:37 +0200Flonk6Flonk
2021-09-30 19:17:37 +0200dextaa7dextaa
2021-09-30 19:17:37 +0200lll_\_
2021-09-30 19:17:43 +0200cheater1__cheater
2021-09-30 19:18:02 +0200megaTherion_megaTherion
2021-09-30 19:18:44 +0200Xnuk(~xnuk@45.76.202.58)
2021-09-30 19:20:11 +0200Gurkenglas_(~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de)
2021-09-30 19:20:44 +0200nitrix(~nitrix@user/nitrix)
2021-09-30 19:21:55 +0200Null_A(~null_a@2601:645:8700:2290:e9de:2461:c7b1:d42b) (Remote host closed the connection)
2021-09-30 19:22:02 +0200myShoggoth(~myShoggot@97-120-70-214.ptld.qwest.net) (Read error: Connection reset by peer)
2021-09-30 19:22:07 +0200__xor(~xor@74.215.232.67)
2021-09-30 19:22:07 +0200fizzsegfaultbuzz(~segfaultf@135-180-0-138.static.sonic.net)
2021-09-30 19:22:07 +0200a6a45081-2b83(~aditya@2601:249:4300:1296:88ec:cc73:84d4:1507)
2021-09-30 19:22:07 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c44c:b521:4020:aaef)
2021-09-30 19:22:07 +0200euandreh(~euandreh@2804:14c:33:9fe5:9472:a2eb:3822:1241)
2021-09-30 19:22:07 +0200fvr(uid503686@id-503686.uxbridge.irccloud.com)
2021-09-30 19:22:07 +0200jespada(~jespada@2803:9800:9842:7a62:a5:6e91:7fa0:aa24)
2021-09-30 19:22:07 +0200zmt00(~zmt00@user/zmt00)
2021-09-30 19:22:07 +0200haasn(~nand@haasn.dev)
2021-09-30 19:22:07 +0200spruit11(~quassel@2a02:a467:ccd6:1:ed67:f262:991e:7f5)
2021-09-30 19:22:07 +0200drdo(~drdo@overlord0.drdo.eu)
2021-09-30 19:22:07 +0200teddyc(theodorc@cassarossa.samfundet.no)
2021-09-30 19:22:07 +0200amirouche(~amirouche@user/amirouche)
2021-09-30 19:22:12 +0200byorgey_byorgey
2021-09-30 19:22:19 +0200myShoggoth(~myShoggot@97-120-70-214.ptld.qwest.net)
2021-09-30 19:22:20 +0200Null_A(~null_a@c-98-210-133-39.hsd1.ca.comcast.net)
2021-09-30 19:22:34 +0200phma_(~phma@host-67-44-208-25.hnremote.net)
2021-09-30 19:23:32 +0200doyougnu(~user@c-73-25-202-122.hsd1.or.comcast.net) (Read error: Connection reset by peer)
2021-09-30 19:23:46 +0200Gurkenglas(~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) (Ping timeout: 265 seconds)
2021-09-30 19:24:00 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-09-30 19:24:00 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-09-30 19:24:00 +0200wroathe(~wroathe@user/wroathe)
2021-09-30 19:24:32 +0200alx741(~alx741@181.196.69.214)
2021-09-30 19:24:52 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-09-30 19:25:03 +0200hendursa1(~weechat@user/hendursaga) (Ping timeout: 276 seconds)
2021-09-30 19:27:00 +0200hiruji(~hiruji@user/hiruji)
2021-09-30 19:27:34 +0200janus__janus
2021-09-30 19:29:20 +0200pfurla_(~pfurla@ool-182ed2e2.dyn.optonline.net)
2021-09-30 19:29:25 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-09-30 19:29:39 +0200raoul(~raoul@95.179.203.88) (Quit: Ping timeout (120 seconds))
2021-09-30 19:29:39 +0200pfurla(~pfurla@ool-182ed2e2.dyn.optonline.net) (Read error: Connection reset by peer)
2021-09-30 19:29:51 +0200raoul(~raoul@95.179.203.88)
2021-09-30 19:30:28 +0200y04nn(~y04nn@193.32.127.238) (Ping timeout: 252 seconds)
2021-09-30 19:30:31 +0200xsperry(~xs@cpe-188-129-101-182.dynamic.amis.hr) (Ping timeout: 265 seconds)
2021-09-30 19:31:29 +0200xsperry(~xs@cpe-188-129-101-182.dynamic.amis.hr)
2021-09-30 19:31:29 +0200Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Ping timeout: 265 seconds)
2021-09-30 19:31:46 +0200Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi)
2021-09-30 19:32:16 +0200Null_A(~null_a@c-98-210-133-39.hsd1.ca.comcast.net) (Remote host closed the connection)
2021-09-30 19:32:41 +0200Null_A(~null_a@2601:645:8700:2290:e9de:2461:c7b1:d42b)
2021-09-30 19:32:56 +0200tabaqui(~root@46.39.45.162) (Ping timeout: 265 seconds)
2021-09-30 19:33:54 +0200emf_(~emf@2620:10d:c090:400::5:5b52) (Quit: emf_)
2021-09-30 19:34:53 +0200justsomeguy(~justsomeg@user/justsomeguy) (Quit: WeeChat 3.2)
2021-09-30 19:36:51 +0200hendursaga(~weechat@user/hendursaga)
2021-09-30 19:37:41 +0200Psybur(~Psybur@mobile-166-170-32-197.mycingular.net)
2021-09-30 19:38:42 +0200yauhsien(~yauhsien@118-167-50-28.dynamic-ip.hinet.net) (Quit: Leaving...)
2021-09-30 19:40:55 +0200haskl[error](~haskl@user/haskl)
2021-09-30 19:40:57 +0200gabiruh_(~gabiruh@vps19177.publiccloud.com.br)
2021-09-30 19:41:04 +0200n8chan(~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2021-09-30 19:41:09 +0200vicfred_(~vicfred@user/vicfred) (Quit: Leaving)
2021-09-30 19:41:29 +0200tomsmeding_(~tomsmedin@tomsmeding.com)
2021-09-30 19:41:30 +0200Morrow_(~Morrow@bzq-110-168-31-106.red.bezeqint.net)
2021-09-30 19:41:58 +0200Partmedia2(~kevinz@172-221-159-029.res.spectrum.com)
2021-09-30 19:42:22 +0200df_(~ben@justworks.xyz)
2021-09-30 19:42:24 +0200deni(~deni@mail.denibertovic.com)
2021-09-30 19:42:27 +0200feliix42_(~felix@gibbs.uberspace.de)
2021-09-30 19:42:29 +0200some02(~cat@h-98-128-128-173.A351.priv.bahnhof.se)
2021-09-30 19:42:29 +0200sqrt2_(~ben@tunnel330957-pt.tunnel.tserv6.fra1.ipv6.he.net)
2021-09-30 19:42:31 +0200dhouthoo(~dhouthoo@178-117-36-167.access.telenet.be)
2021-09-30 19:42:36 +0200Null_A(~null_a@2601:645:8700:2290:e9de:2461:c7b1:d42b) (Remote host closed the connection)
2021-09-30 19:43:04 +0200Null_A(~null_a@2601:645:8700:2290:e9de:2461:c7b1:d42b)
2021-09-30 19:43:12 +0200fr33domlover1(~fr33domlo@angeley.es)
2021-09-30 19:43:18 +0200haritzondo(~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220)
2021-09-30 19:44:00 +0200Taneb0(~Taneb@runciman.hacksoc.org)
2021-09-30 19:44:02 +0200td__(~td@94.134.91.102)
2021-09-30 19:44:03 +0200urdh_(~urdh@user/urdh)
2021-09-30 19:44:04 +0200ridcully_(~ridcully@p57b523cc.dip0.t-ipconnect.de)
2021-09-30 19:44:08 +0200bsima1(~bsima@simatime.com)
2021-09-30 19:44:14 +0200Tordek_(tordek@triton.blinkenshell.org)
2021-09-30 19:44:17 +0200infinity0_(~infinity0@occupy.ecodis.net)
2021-09-30 19:44:17 +0200infinity0(~infinity0@occupy.ecodis.net) (Killed (lead.libera.chat (Nickname regained by services)))
2021-09-30 19:44:17 +0200infinity0_infinity0
2021-09-30 19:44:25 +0200finn_elija(~finn_elij@user/finn-elija/x-0085643)
2021-09-30 19:44:25 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (platinum.libera.chat (Nickname regained by services)))
2021-09-30 19:44:25 +0200finn_elijaFinnElija
2021-09-30 19:44:28 +0200haskl(~haskl@user/haskl) (Ping timeout: 265 seconds)
2021-09-30 19:44:28 +0200noctux(~noctux@user/noctux) (Ping timeout: 265 seconds)
2021-09-30 19:44:28 +0200shailangsa(~shailangs@host217-39-45-200.range217-39.btcentralplus.com) (Ping timeout: 265 seconds)
2021-09-30 19:44:28 +0200gabiruh(~gabiruh@vps19177.publiccloud.com.br) (Ping timeout: 265 seconds)
2021-09-30 19:44:28 +0200Morrow(~Morrow@bzq-110-168-31-106.red.bezeqint.net) (Ping timeout: 265 seconds)
2021-09-30 19:44:28 +0200tomsmeding(~tomsmedin@tomsmeding.com) (Ping timeout: 265 seconds)
2021-09-30 19:44:28 +0200Partmedia(~kevinz@172-221-159-029.res.spectrum.com) (Ping timeout: 265 seconds)
2021-09-30 19:44:28 +0200feliix42(~felix@gibbs.uberspace.de) (Ping timeout: 265 seconds)
2021-09-30 19:44:28 +0200dhouthoo_(~dhouthoo@178-117-36-167.access.telenet.be) (Ping timeout: 265 seconds)
2021-09-30 19:44:29 +0200df(~ben@justworks.xyz) (Ping timeout: 265 seconds)
2021-09-30 19:44:29 +0200sqrt2(~ben@80-108-18-7.cable.dynamic.surfer.at) (Ping timeout: 265 seconds)
2021-09-30 19:44:29 +0200fr33domlover(~fr33domlo@angeley.es) (Ping timeout: 265 seconds)
2021-09-30 19:44:29 +0200urdh(~urdh@user/urdh) (Ping timeout: 265 seconds)
2021-09-30 19:44:29 +0200Guest6153(~deni@mail.denibertovic.com) (Ping timeout: 265 seconds)
2021-09-30 19:44:29 +0200tureba(~tureba@tureba.org) (Ping timeout: 265 seconds)
2021-09-30 19:44:29 +0200sudden(~cat@h-98-128-128-173.A351.priv.bahnhof.se) (Ping timeout: 265 seconds)
2021-09-30 19:44:29 +0200td_(~td@94.134.91.102) (Ping timeout: 265 seconds)
2021-09-30 19:44:29 +0200echoreply(~echoreply@45.32.163.16) (Ping timeout: 265 seconds)
2021-09-30 19:44:29 +0200ridcully(~ridcully@p57b523cc.dip0.t-ipconnect.de) (Ping timeout: 265 seconds)
2021-09-30 19:44:29 +0200dka(~code-is-a@ns3059207.ip-193-70-33.eu) (Ping timeout: 265 seconds)
2021-09-30 19:44:29 +0200paddymahoney(~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com) (Ping timeout: 265 seconds)
2021-09-30 19:44:29 +0200neightchan(~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds)
2021-09-30 19:44:29 +0200Tordek(~tordek@triton.blinkenshell.org) (Ping timeout: 265 seconds)
2021-09-30 19:44:29 +0200edr(~edr@user/edr) (Ping timeout: 265 seconds)
2021-09-30 19:44:29 +0200opqdonut(opqdonut@pseudo.fixme.fi) (Ping timeout: 265 seconds)
2021-09-30 19:44:29 +0200kmein(~weechat@user/kmein) (Ping timeout: 265 seconds)
2021-09-30 19:44:29 +0200Taneb(~Taneb@runciman.hacksoc.org) (Ping timeout: 265 seconds)
2021-09-30 19:44:29 +0200dkeohane2(~dkeohane@ec2-18-189-29-140.us-east-2.compute.amazonaws.com) (Ping timeout: 265 seconds)
2021-09-30 19:44:29 +0200michalz(~michalz@185.246.204.93) (Ping timeout: 265 seconds)
2021-09-30 19:44:29 +0200bsima(~bsima@simatime.com) (Ping timeout: 265 seconds)
2021-09-30 19:44:29 +0200haritz(~hrtz@user/haritz) (Ping timeout: 265 seconds)
2021-09-30 19:44:29 +0200pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 265 seconds)
2021-09-30 19:44:29 +0200Ram-Z(~Ram-Z@li1814-254.members.linode.com) (Ping timeout: 265 seconds)
2021-09-30 19:44:29 +0200urdh_urdh
2021-09-30 19:44:30 +0200megaTherion_(~therion@unix.io)
2021-09-30 19:44:31 +0200CnnibisIndica(~herb@user/mesaboogie) (Remote host closed the connection)
2021-09-30 19:44:32 +0200megaTherion(~therion@coruscant.unix.io) (Ping timeout: 265 seconds)
2021-09-30 19:44:32 +0200ubert(~Thunderbi@178.115.54.19.wireless.dyn.drei.com) (Ping timeout: 265 seconds)
2021-09-30 19:44:32 +0200ByronJohnson(~bairyn@mail.digitalkingdom.org) (Ping timeout: 265 seconds)
2021-09-30 19:44:33 +0200ubert1ubert
2021-09-30 19:44:34 +0200Ram-Z_(~Ram-Z@li1814-254.members.linode.com)
2021-09-30 19:44:34 +0200opqdonut_(opqdonut@pseudo.fixme.fi)
2021-09-30 19:44:39 +0200kmein(~weechat@user/kmein)
2021-09-30 19:44:48 +0200dka(~code-is-a@ns3059207.ip-193-70-33.eu)
2021-09-30 19:44:49 +0200noctux(~noctux@user/noctux)
2021-09-30 19:44:55 +0200betelgeuse(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-09-30 19:45:14 +0200betelgeuse(~betelgeus@94-225-47-8.access.telenet.be)
2021-09-30 19:45:15 +0200megaTherion_megaTherion
2021-09-30 19:45:27 +0200tureba(~tureba@tureba.org)
2021-09-30 19:45:37 +0200dkeohane2(~dkeohane@ec2-18-189-29-140.us-east-2.compute.amazonaws.com)
2021-09-30 19:45:52 +0200ByronJohnson(~bairyn@mail.digitalkingdom.org)
2021-09-30 19:45:52 +0200CnnibisIndica(~herb@user/mesaboogie)
2021-09-30 19:45:52 +0200pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2021-09-30 19:46:03 +0200edr(~edr@50.116.53.250)
2021-09-30 19:46:04 +0200edr(~edr@50.116.53.250) (Changing host)
2021-09-30 19:46:04 +0200edr(~edr@user/edr)
2021-09-30 19:46:29 +0200echoreply(~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d)
2021-09-30 19:46:36 +0200tabaqui(~root@46.39.45.162)
2021-09-30 19:47:02 +0200lemonsnicks(~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) (Read error: Connection reset by peer)
2021-09-30 19:47:04 +0200lemonsni-(~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net)
2021-09-30 19:47:06 +0200paddymahoney(~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com)
2021-09-30 19:52:59 +0200Null_A(~null_a@2601:645:8700:2290:e9de:2461:c7b1:d42b) (Remote host closed the connection)
2021-09-30 19:53:25 +0200Null_A(~null_a@2601:645:8700:2290:e9de:2461:c7b1:d42b)
2021-09-30 19:53:34 +0200haritzondo(~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220) (Changing host)
2021-09-30 19:53:34 +0200haritzondo(~hrtz@user/haritz)
2021-09-30 19:53:44 +0200haritzondoharitz
2021-09-30 19:54:33 +0200y04nn(~y04nn@193.32.127.238)
2021-09-30 19:54:55 +0200Taneb0Taneb
2021-09-30 20:01:01 +0200 <zincy_> Should I define a custom monad as an "interpreter" if I have [Op] where data Op = FlipY | FlipX | Shift Int and these operations change a grid (list of lists)
2021-09-30 20:01:19 +0200 <zincy_> Or would I just be redefining the state monad>
2021-09-30 20:01:20 +0200 <zincy_> ?
2021-09-30 20:03:20 +0200Null_A(~null_a@2601:645:8700:2290:e9de:2461:c7b1:d42b) (Remote host closed the connection)
2021-09-30 20:03:26 +0200 <monochrom> Yes. Yes.
2021-09-30 20:03:45 +0200Null_A(~null_a@2601:645:8700:2290:e9de:2461:c7b1:d42b)
2021-09-30 20:03:48 +0200 <Hecate> heyo
2021-09-30 20:04:04 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-09-30 20:04:08 +0200 <zincy_> monochrom: Thanks
2021-09-30 20:05:40 +0200 <Rembane> Hi Hecate !
2021-09-30 20:05:52 +0200 <monochrom> Here is why the much beloved pedagocial parser monad String -> [(a, String)] is "just redefining" StateT String []:
2021-09-30 20:05:54 +0200 <Rembane> Hecate: Are you summoned by saying monad twice?
2021-09-30 20:06:00 +0200 <monochrom> @unmtl StateT String [] a
2021-09-30 20:06:00 +0200 <lambdabot> String -> [] (a, String)
2021-09-30 20:06:25 +0200 <Hecate> I can be slightly confused about the various metaprogramming features we have in GHC sometimes, so I was wondering if there was a ± reliable way to get the name of the function I am in?
2021-09-30 20:06:31 +0200 <monochrom> And here is why we still roll our own rather than resuse StateT:
2021-09-30 20:06:34 +0200 <Hecate> Rembane: I am an incrediblt lurker :P
2021-09-30 20:06:44 +0200 <monochrom> The fundamental primitives of StateT are put and get
2021-09-30 20:06:54 +0200 <Hecate> I know that with TH I can get access to the name of the module, and even the location in the source file
2021-09-30 20:07:14 +0200 <monochrom> The fundamental primitives of a parser monad are anyChar and eof.
2021-09-30 20:07:34 +0200 <Rembane> Hecate: Agree ^^
2021-09-30 20:08:05 +0200 <monochrom> API > type representation
2021-09-30 20:08:11 +0200y04nn(~y04nn@193.32.127.238) (Ping timeout: 250 seconds)
2021-09-30 20:09:25 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
2021-09-30 20:10:15 +0200lavaman(~lavaman@98.38.249.169)
2021-09-30 20:11:57 +0200 <awpr> `callStack` should provide a path to getting the current function's name. looks like you have to add a `HasCallStack` constraint to that function, though, else it just gives an empty call stack
2021-09-30 20:13:40 +0200Null_A(~null_a@2601:645:8700:2290:e9de:2461:c7b1:d42b) (Remote host closed the connection)
2021-09-30 20:14:05 +0200Null_A(~null_a@2601:645:8700:2290:e9de:2461:c7b1:d42b)
2021-09-30 20:14:35 +0200_ht(~quassel@82-169-194-8.biz.kpn.net)
2021-09-30 20:14:39 +0200lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2021-09-30 20:14:54 +0200lavaman(~lavaman@98.38.249.169)
2021-09-30 20:15:02 +0200lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2021-09-30 20:15:02 +0200shailangsa_(~shailangs@host217-39-45-200.range217-39.btcentralplus.com)
2021-09-30 20:15:18 +0200lavaman(~lavaman@98.38.249.169)
2021-09-30 20:15:26 +0200lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2021-09-30 20:15:41 +0200lavaman(~lavaman@98.38.249.169)
2021-09-30 20:15:44 +0200 <Hecate> awpr: yeah it feels like my only option at the moment
2021-09-30 20:15:48 +0200lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2021-09-30 20:17:08 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 246 seconds)
2021-09-30 20:17:11 +0200pavonia(~user@user/siracusa)
2021-09-30 20:19:17 +0200dhouthoo(~dhouthoo@178-117-36-167.access.telenet.be) (Quit: WeeChat 3.2)
2021-09-30 20:24:00 +0200Null_A(~null_a@2601:645:8700:2290:e9de:2461:c7b1:d42b) (Remote host closed the connection)
2021-09-30 20:24:25 +0200Null_A(~null_a@2601:645:8700:2290:e9de:2461:c7b1:d42b)
2021-09-30 20:26:05 +0200y04nn(~y04nn@193.32.127.238)
2021-09-30 20:28:01 +0200aegon(~mike@174.127.249.180)
2021-09-30 20:33:01 +0200y04nn(~y04nn@193.32.127.238) (Ping timeout: 265 seconds)
2021-09-30 20:34:20 +0200Null_A(~null_a@2601:645:8700:2290:e9de:2461:c7b1:d42b) (Remote host closed the connection)
2021-09-30 20:34:37 +0200hyiltiz(~quassel@31.220.5.250) (Ping timeout: 250 seconds)
2021-09-30 20:34:48 +0200Null_A(~null_a@2601:645:8700:2290:e9de:2461:c7b1:d42b)
2021-09-30 20:36:06 +0200benin036932301(~benin@183.82.205.250)
2021-09-30 20:36:33 +0200phma_phma
2021-09-30 20:38:16 +0200neurocyte0132(~neurocyte@user/neurocyte)
2021-09-30 20:40:02 +0200nfd_(~nfd@user/nfd) (Ping timeout: 260 seconds)
2021-09-30 20:40:05 +0200hyiltiz(~quassel@31.220.5.250)
2021-09-30 20:41:30 +0200 <dsal> I added dtrace functionality the erlang interpreter thing a while back and "what function am I in" ends up actually being a kind of hard problem. I got close enough for most of my needs, but functions don't have clean entry and exit points necessarily.
2021-09-30 20:42:01 +0200NiKaN(sid385034@id-385034.helmsley.irccloud.com) (Ping timeout: 252 seconds)
2021-09-30 20:42:01 +0200tnks(sid412124@2a03:5180:f:1::6:49dc) (Ping timeout: 252 seconds)
2021-09-30 20:42:01 +0200NemesisD(sid24071@id-24071.lymington.irccloud.com) (Ping timeout: 252 seconds)
2021-09-30 20:42:01 +0200teehemkay(sid14792@id-14792.lymington.irccloud.com) (Ping timeout: 252 seconds)
2021-09-30 20:42:09 +0200teehemkay(sid14792@id-14792.lymington.irccloud.com)
2021-09-30 20:42:10 +0200tnks(sid412124@id-412124.helmsley.irccloud.com)
2021-09-30 20:42:18 +0200tommd(~tommd@75-164-130-101.ptld.qwest.net)
2021-09-30 20:42:29 +0200NemesisD(sid24071@id-24071.lymington.irccloud.com)
2021-09-30 20:42:49 +0200 <geekosaur> especially with inlining
2021-09-30 20:42:56 +0200 <geekosaur> and rewriting
2021-09-30 20:43:38 +0200NiKaN(sid385034@id-385034.helmsley.irccloud.com)
2021-09-30 20:44:43 +0200Null_A(~null_a@2601:645:8700:2290:e9de:2461:c7b1:d42b) (Remote host closed the connection)
2021-09-30 20:44:56 +0200lavaman(~lavaman@98.38.249.169)
2021-09-30 20:45:08 +0200Null_A(~null_a@2601:645:8700:2290:e9de:2461:c7b1:d42b)
2021-09-30 20:49:41 +0200Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer)
2021-09-30 20:50:16 +0200jinsun__jinsun
2021-09-30 20:50:54 +0200emf(~emf@2620:10d:c090:400::5:5b52)
2021-09-30 20:55:03 +0200Null_A(~null_a@2601:645:8700:2290:e9de:2461:c7b1:d42b) (Remote host closed the connection)
2021-09-30 20:55:12 +0200Guest1169(~asdf@ip-64-72-99-234.lasvegas.net) (Remote host closed the connection)
2021-09-30 20:55:27 +0200Null_A(~null_a@2601:645:8700:2290:e9de:2461:c7b1:d42b)
2021-09-30 20:55:34 +0200Guest1169(~asdf@ip-64-72-99-234.lasvegas.net)
2021-09-30 20:56:58 +0200Morrow_(~Morrow@bzq-110-168-31-106.red.bezeqint.net) (Ping timeout: 252 seconds)
2021-09-30 20:58:19 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c44c:b521:4020:aaef) (Remote host closed the connection)
2021-09-30 21:02:17 +0200nfd(~nfd@user/nfd)
2021-09-30 21:03:27 +0200Morrow(~Morrow@bzq-110-168-31-106.red.bezeqint.net)
2021-09-30 21:04:26 +0200hyiltiz(~quassel@31.220.5.250) (Ping timeout: 265 seconds)
2021-09-30 21:04:48 +0200hyiltiz(~quassel@31.220.5.250)
2021-09-30 21:05:23 +0200Null_A(~null_a@2601:645:8700:2290:e9de:2461:c7b1:d42b) (Remote host closed the connection)
2021-09-30 21:05:48 +0200Null_A(~null_a@2601:645:8700:2290:e9de:2461:c7b1:d42b)
2021-09-30 21:08:24 +0200hendursaga(~weechat@user/hendursaga) (Ping timeout: 276 seconds)
2021-09-30 21:09:37 +0200emf(~emf@2620:10d:c090:400::5:5b52) (Quit: emf)
2021-09-30 21:09:49 +0200hendursaga(~weechat@user/hendursaga)
2021-09-30 21:10:10 +0200lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2021-09-30 21:12:56 +0200 <dsal> The tiny detail I ran into in erlang was TCO. Functions could be entered, but never exited. We'd just suddenly like "be" in a different function. In general, the runtime doesn't necessarily match your mental model. If the computer can do an equivalent thing that's significantly more efficient, then that's great unless you want to try to map it back to your mental model.
2021-09-30 21:14:32 +0200mikoto-chan(~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) (Ping timeout: 252 seconds)
2021-09-30 21:15:02 +0200MQ-17J(~MQ-17J@8.6.144.233) (Ping timeout: 260 seconds)
2021-09-30 21:15:25 +0200razor[m](~razormone@2001:470:69fc:105::f048)
2021-09-30 21:15:31 +0200MQ-17J(~MQ-17J@8.6.144.233)
2021-09-30 21:15:43 +0200Null_A(~null_a@2601:645:8700:2290:e9de:2461:c7b1:d42b) (Remote host closed the connection)
2021-09-30 21:16:07 +0200Null_A(~null_a@2601:645:8700:2290:e9de:2461:c7b1:d42b)
2021-09-30 21:16:26 +0200Skyfire(~pyon@user/pyon) (Ping timeout: 260 seconds)
2021-09-30 21:16:39 +0200mikoto-chan(~mikoto-ch@83.137.2.243)
2021-09-30 21:18:42 +0200cheater(~Username@user/cheater) (Ping timeout: 268 seconds)
2021-09-30 21:21:24 +0200Skyfire(~pyon@user/pyon)
2021-09-30 21:21:51 +0200MQ-17J(~MQ-17J@8.6.144.233) (Ping timeout: 250 seconds)
2021-09-30 21:22:10 +0200myShoggoth(~myShoggot@97-120-70-214.ptld.qwest.net) (Ping timeout: 252 seconds)
2021-09-30 21:25:37 +0200Pacra(~Pacra@pool-100-11-34-209.phlapa.fios.verizon.net)
2021-09-30 21:26:03 +0200Null_A(~null_a@2601:645:8700:2290:e9de:2461:c7b1:d42b) (Remote host closed the connection)
2021-09-30 21:26:15 +0200Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi)
2021-09-30 21:26:28 +0200Null_A(~null_a@2601:645:8700:2290:e9de:2461:c7b1:d42b)
2021-09-30 21:27:20 +0200benin036932301(~benin@183.82.205.250) (Quit: The Lounge - https://thelounge.chat)
2021-09-30 21:28:17 +0200benin036932301(~benin@183.82.205.250)
2021-09-30 21:28:25 +0200cheater(~Username@user/cheater)
2021-09-30 21:28:34 +0200emf(~emf@2620:10d:c090:400::5:5b52)
2021-09-30 21:29:12 +0200myShoggoth(~myShoggot@97-120-70-214.ptld.qwest.net)
2021-09-30 21:29:40 +0200a6a45081-2b83(~aditya@2601:249:4300:1296:88ec:cc73:84d4:1507) (Remote host closed the connection)
2021-09-30 21:32:12 +0200acidjnk_new3(~acidjnk@p200300d0c703cb763077999fa0268789.dip0.t-ipconnect.de)
2021-09-30 21:33:23 +0200benin0369323016(~benin@183.82.205.250)
2021-09-30 21:34:47 +0200acidjnk(~acidjnk@p200300d0c703cb763077999fa0268789.dip0.t-ipconnect.de)
2021-09-30 21:36:02 +0200benin036932301(~benin@183.82.205.250) (Ping timeout: 250 seconds)
2021-09-30 21:36:03 +0200benin0369323016benin036932301
2021-09-30 21:36:13 +0200benin036932301(~benin@183.82.205.250) (Client Quit)
2021-09-30 21:36:24 +0200Null_A(~null_a@2601:645:8700:2290:e9de:2461:c7b1:d42b) (Remote host closed the connection)
2021-09-30 21:36:49 +0200Null_A(~null_a@2601:645:8700:2290:e9de:2461:c7b1:d42b)
2021-09-30 21:37:07 +0200benin0369323016(~benin@183.82.205.250)
2021-09-30 21:40:23 +0200benin0369323016(~benin@183.82.205.250) (Client Quit)
2021-09-30 21:41:23 +0200benin0369323016(~benin@183.82.205.250)
2021-09-30 21:46:44 +0200Null_A(~null_a@2601:645:8700:2290:e9de:2461:c7b1:d42b) (Remote host closed the connection)
2021-09-30 21:48:31 +0200TranquilEcho(~grom@user/tranquilecho)
2021-09-30 21:53:28 +0200benin0369323016(~benin@183.82.205.250) (Quit: The Lounge - https://thelounge.chat)
2021-09-30 21:54:23 +0200benin0369323016(~benin@183.82.205.250)
2021-09-30 21:54:49 +0200zebrag(~chris@user/zebrag)
2021-09-30 21:55:02 +0200_ht(~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection)
2021-09-30 21:56:42 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c44c:b521:4020:aaef)
2021-09-30 22:01:37 +0200shailangsa_(~shailangs@host217-39-45-200.range217-39.btcentralplus.com) ()
2021-09-30 22:02:53 +0200yin(~yin@user/yin)
2021-09-30 22:03:44 +0200yinghua(~yinghua@181.228.40.183)
2021-09-30 22:03:53 +0200rembo10(~rembo10@wally.codeshy.com) (Ping timeout: 265 seconds)
2021-09-30 22:04:22 +0200immae(~immae@2a01:4f8:141:53e7::) (Ping timeout: 265 seconds)
2021-09-30 22:04:30 +0200dixie_(~dixie@real.wilbury.sk) (Ping timeout: 260 seconds)
2021-09-30 22:04:31 +0200cjay(cjay@nerdbox.nerd2nerd.org) (Ping timeout: 252 seconds)
2021-09-30 22:04:37 +0200wolfshappen(~waff@irc.furworks.de) (Ping timeout: 252 seconds)
2021-09-30 22:04:41 +0200haasn(~nand@haasn.dev) (Ping timeout: 245 seconds)
2021-09-30 22:04:45 +0200juri_(~juri@178.63.35.222) (Ping timeout: 250 seconds)
2021-09-30 22:04:51 +0200aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net) (Ping timeout: 265 seconds)
2021-09-30 22:04:53 +0200Philonous_(~Philonous@user/philonous) (Ping timeout: 264 seconds)
2021-09-30 22:04:58 +0200lambdap(~lambdap@static.167.190.119.168.clients.your-server.de) (Ping timeout: 260 seconds)
2021-09-30 22:05:04 +0200V(~v@anomalous.eu) (Ping timeout: 252 seconds)
2021-09-30 22:05:04 +0200xerox(~edi@user/edi) (Ping timeout: 252 seconds)
2021-09-30 22:05:04 +0200noctuks(SOLseiizId@user/noctux) (Ping timeout: 252 seconds)
2021-09-30 22:05:04 +0200TimWolla(~timwolla@2a01:4f8:150:6153:beef::6667) (Ping timeout: 252 seconds)
2021-09-30 22:05:10 +0200kmein(~weechat@user/kmein) (Ping timeout: 252 seconds)
2021-09-30 22:05:14 +0200TimWolla_(~timwolla@2a01:4f8:150:6153:beef::6667)
2021-09-30 22:05:21 +0200xnbya(~xnbya@2a01:4f8:c17:cbdd::1) (Ping timeout: 268 seconds)
2021-09-30 22:05:21 +0200jakalx(~jakalx@base.jakalx.net) (Ping timeout: 268 seconds)
2021-09-30 22:05:26 +0200yushyin(zYaB0OiS15@karif.server-speed.net) (Ping timeout: 260 seconds)
2021-09-30 22:05:29 +0200bastelfreak(~bastelfre@basteles-bastelknecht.bastelfreak.org) (Ping timeout: 264 seconds)
2021-09-30 22:05:29 +0200int-e(~noone@int-e.eu) (Ping timeout: 264 seconds)
2021-09-30 22:05:46 +0200lambdap(~lambdap@static.167.190.119.168.clients.your-server.de)
2021-09-30 22:05:47 +0200zzz(~yin@user/yin) (Ping timeout: 240 seconds)
2021-09-30 22:05:47 +0200yinzzz
2021-09-30 22:05:50 +0200rembo10(~rembo10@wally.codeshy.com)
2021-09-30 22:05:54 +0200V(~v@anomalous.eu)
2021-09-30 22:05:57 +0200aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net)
2021-09-30 22:05:59 +0200ubert(~Thunderbi@178.115.54.19.wireless.dyn.drei.com) (Remote host closed the connection)
2021-09-30 22:05:59 +0200haasn(~nand@haasn.dev)
2021-09-30 22:06:00 +0200xnbya(~xnbya@2a01:4f8:c17:cbdd::1)
2021-09-30 22:06:16 +0200juri_(~juri@178.63.35.222)
2021-09-30 22:06:32 +0200xerox(~edi@user/edi)
2021-09-30 22:06:38 +0200noctuks(3ifQGPdAXw@user/noctux)
2021-09-30 22:06:38 +0200immae(~immae@2a01:4f8:141:53e7::)
2021-09-30 22:06:45 +0200dixie(~dixie@real.wilbury.sk)
2021-09-30 22:06:46 +0200juhp(~juhp@128.106.188.220)
2021-09-30 22:06:48 +0200wolfshappen(~waff@irc.furworks.de)
2021-09-30 22:06:52 +0200Philonous(~Philonous@user/philonous)
2021-09-30 22:06:59 +0200neurocyte01326(~neurocyte@212.232.88.198)
2021-09-30 22:06:59 +0200neurocyte01326(~neurocyte@212.232.88.198) (Changing host)
2021-09-30 22:07:00 +0200neurocyte01326(~neurocyte@user/neurocyte)
2021-09-30 22:07:00 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-09-30 22:07:03 +0200int-e(~noone@int-e.eu)
2021-09-30 22:07:05 +0200TimWolla_TimWolla
2021-09-30 22:07:05 +0200kmein(~weechat@user/kmein)
2021-09-30 22:07:17 +0200justsomeguy(~justsomeg@user/justsomeguy)
2021-09-30 22:07:26 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c44c:b521:4020:aaef) (Remote host closed the connection)
2021-09-30 22:07:42 +0200jpds(~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2021-09-30 22:07:42 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Write error: Connection reset by peer)
2021-09-30 22:07:42 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Read error: Connection reset by peer)
2021-09-30 22:07:42 +0200gehmehgeh(~user@user/gehmehgeh) (Read error: Connection reset by peer)
2021-09-30 22:07:42 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Read error: Connection reset by peer)
2021-09-30 22:07:42 +0200ec(~ec@gateway/tor-sasl/ec) (Read error: Connection reset by peer)
2021-09-30 22:07:42 +0200hololeap(~hololeap@user/hololeap) (Read error: Connection reset by peer)
2021-09-30 22:07:42 +0200chexum(~quassel@gateway/tor-sasl/chexum) (Read error: Connection reset by peer)
2021-09-30 22:07:45 +0200ubert(~Thunderbi@178.115.54.19.wireless.dyn.drei.com)
2021-09-30 22:07:55 +0200chexum(~quassel@gateway/tor-sasl/chexum)
2021-09-30 22:07:56 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2021-09-30 22:08:00 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2021-09-30 22:08:04 +0200bastelfreak(~bastelfre@basteles-bastelknecht.bastelfreak.org)
2021-09-30 22:08:11 +0200hololeap(~hololeap@user/hololeap)
2021-09-30 22:08:19 +0200neurocyte0132(~neurocyte@user/neurocyte) (Ping timeout: 252 seconds)
2021-09-30 22:08:19 +0200neurocyte01326neurocyte0132
2021-09-30 22:08:25 +0200norskalm(~norskalm@101.175.64.73) (Ping timeout: 256 seconds)
2021-09-30 22:08:42 +0200yushyin(XZhaV87tPp@karif.server-speed.net)
2021-09-30 22:08:48 +0200jpds(~jpds@gateway/tor-sasl/jpds)
2021-09-30 22:09:04 +0200ChaiTRex(~ChaiTRex@user/chaitrex)
2021-09-30 22:09:39 +0200cjay(cjay@nerdbox.nerd2nerd.org)
2021-09-30 22:10:38 +0200gehmehgeh(~user@user/gehmehgeh)
2021-09-30 22:10:49 +0200hyiltiz(~quassel@31.220.5.250) (Ping timeout: 250 seconds)
2021-09-30 22:13:00 +0200ec(~ec@gateway/tor-sasl/ec)
2021-09-30 22:15:13 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-09-30 22:15:13 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-09-30 22:15:13 +0200wroathe(~wroathe@user/wroathe)
2021-09-30 22:15:37 +0200mikoto-chan(~mikoto-ch@83.137.2.243) (Read error: Connection reset by peer)
2021-09-30 22:16:36 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c44c:b521:4020:aaef)
2021-09-30 22:16:55 +0200benin0369323016(~benin@183.82.205.250) (Quit: The Lounge - https://thelounge.chat)
2021-09-30 22:18:10 +0200benin0369323016(~benin@183.82.205.250)
2021-09-30 22:18:34 +0200roboguy_(~roboguy_@2605:a601:afe7:9f00:1985:e1e8:468b:4573)
2021-09-30 22:19:50 +0200benin0369323016(~benin@183.82.205.250) (Client Quit)
2021-09-30 22:23:13 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 252 seconds)
2021-09-30 22:24:11 +0200hyiltiz(~quassel@31.220.5.250)
2021-09-30 22:27:33 +0200y04nn(~y04nn@193.32.127.238)
2021-09-30 22:28:56 +0200xyh(~xyh@113.92.75.196)
2021-09-30 22:29:20 +0200doyougnu(~user@c-73-25-202-122.hsd1.or.comcast.net)
2021-09-30 22:29:27 +0200Guest1169(~asdf@ip-64-72-99-234.lasvegas.net) (Ping timeout: 240 seconds)
2021-09-30 22:36:01 +0200xyh(~xyh@113.92.75.196) (Quit: WeeChat 3.3)
2021-09-30 22:38:04 +0200shailangsa(~shailangs@host217-39-45-200.range217-39.btcentralplus.com)
2021-09-30 22:39:40 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-09-30 22:41:09 +0200averell(~averell@user/averell) (Quit: .)
2021-09-30 22:48:23 +0200wroathe(~wroathe@173-160-115-161-Minnesota.hfc.comcastbusiness.net)
2021-09-30 22:48:23 +0200wroathe(~wroathe@173-160-115-161-Minnesota.hfc.comcastbusiness.net) (Changing host)
2021-09-30 22:48:23 +0200wroathe(~wroathe@user/wroathe)
2021-09-30 22:54:11 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Read error: Connection reset by peer)
2021-09-30 22:56:18 +0200y04nn(~y04nn@193.32.127.238) (Ping timeout: 260 seconds)
2021-09-30 22:57:04 +0200averell(~averell@user/averell)
2021-09-30 22:57:25 +0200k(~user@152.1.137.158) (Remote host closed the connection)
2021-09-30 22:57:36 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2021-09-30 23:06:43 +0200Morrow(~Morrow@bzq-110-168-31-106.red.bezeqint.net) (Ping timeout: 250 seconds)
2021-09-30 23:08:32 +0200 <codygman[m]> Hi all, hope this question is concise with enough context.... (full message at https://libera.ems.host/_matrix/media/r0/download/libera.chat/18685e5ba30dbbd27642515b163160dd645b…)
2021-09-30 23:09:29 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 252 seconds)
2021-09-30 23:09:35 +0200 <codygman[m]> * instances which instance head is correct:
2021-09-30 23:12:14 +0200hyiltiz(~quassel@31.220.5.250) (Ping timeout: 250 seconds)
2021-09-30 23:12:43 +0200ubert(~Thunderbi@178.115.54.19.wireless.dyn.drei.com) (Ping timeout: 252 seconds)
2021-09-30 23:13:50 +0200hyiltiz(~quassel@31.220.5.250)
2021-09-30 23:15:26 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds)
2021-09-30 23:15:48 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2021-09-30 23:17:37 +0200lavaman(~lavaman@98.38.249.169)
2021-09-30 23:20:14 +0200justsomeguy(~justsomeg@user/justsomeguy) (Quit: WeeChat 3.2)
2021-09-30 23:22:44 +0200Morrow(~Morrow@bzq-110-168-31-106.red.bezeqint.net)
2021-09-30 23:23:43 +0200nfd(~nfd@user/nfd) (Ping timeout: 252 seconds)
2021-09-30 23:25:47 +0200lavaman(~lavaman@98.38.249.169) (Ping timeout: 246 seconds)
2021-09-30 23:26:56 +0200mehlon(~mehlon@user/mehlon)
2021-09-30 23:27:12 +0200geekosaur(~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2021-09-30 23:29:03 +0200geekosaur(~geekosaur@xmonad/geekosaur)
2021-09-30 23:32:10 +0200hyiltiz(~quassel@31.220.5.250) (Ping timeout: 250 seconds)
2021-09-30 23:33:49 +0200hyiltiz(~quassel@31.220.5.250)
2021-09-30 23:35:19 +0200notzmv(~zmv@user/notzmv) (Ping timeout: 250 seconds)
2021-09-30 23:37:33 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl)
2021-09-30 23:38:38 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 252 seconds)
2021-09-30 23:43:02 +0200hyiltiz(~quassel@31.220.5.250) (Ping timeout: 252 seconds)
2021-09-30 23:47:01 +0200notzmv(~zmv@user/notzmv)
2021-09-30 23:47:54 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-09-30 23:48:45 +0200hyiltiz(~quassel@31.220.5.250)
2021-09-30 23:55:06 +0200Guest|39(~Guest|39@31.124.144.173)
2021-09-30 23:55:39 +0200Guest|39(~Guest|39@31.124.144.173) (Client Quit)
2021-09-30 23:58:24 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-09-30 23:58:24 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-09-30 23:58:24 +0200wroathe(~wroathe@user/wroathe)